非線形ステファン問題の解の数値的検証

• Project/Area Number: 06740161
• Research Category: Grant-in-Aid for Encouragement of Young Scientists (A)
• Allocation Type: Single-year Grants
• Research Field: General mathematics (including Probability theory/Statistical mathematics)
• Research Institution: Ehime University
• Principal Investigator: 土屋 卓也 愛媛大学, 理学部, 助教授 (00163832)
• Project Period (FY): 1994
• Project Status: Completed (Fiscal Year 1994)
• Budget Amount: ¥900,000 (Direct Cost: ¥900,000); Fiscal Year 1994: ¥900,000 (Direct Cost: ¥900,000)
• Keywords: ステファン問題 / 解の数値的検証

Research Abstract

当研究では、まず、1次元線形ステファン問題について解の数値的検証を試みてみた。その方法は、以下のとおり。1次元ステファン問題は熱方程式に対するグリーン関数を用いて積分方程式に変換できる。そして問題の解はその積分方程式の不動点として表わすことができる。よって積分方程式によって定義される作用素により、ある有界な凸閉集合が、それ自身に写されることを計算機によって示せれば、シャウダーの不動点定理により、解の数値的検証が成功したことになる。
積分方程式に対しては、積分の値を上下から評価してやることにより、上のプログラムを実行することに成功した。
しかし、この方法は一般のステファン問題に適応する は向いておらず、現在より一般的な方法を模索中である。