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

非线性 Stefan 问题解的数值验证

• 批准号: 06740161
• 负责人: 土屋 卓也
• 金额: $ 0.58万
• 依托单位: Ehime University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1994
• 资助国家: 日本
• 起止时间: 1994 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-06740161/
• 关键词: ステファン問題; 解の数値的検証

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

When studying the problem of inverse, inverse, and 1-dimensional linear shapes, we will try to solve the problem of numerical values. The following is a list of the ways in which 1. The integral equation of a dimensional problem The solution of the integral equation of the problem is expressed as a fixed point. The integral equation is defined as a bounded convex closed set, which is written by itself. The fixed point theorem of the integral equation is proved successfully. The integral equation is correct, and the integral value is correct. This method is applicable to general problems, but it is not applicable to general problems.