[論文レビュー] Viscosity Solutions for the two-phase Stefan Problem

Inwon C. Kim, Norbert Požár|arXiv (Cornell University)|Oct 20, 2010

Nonlinear Partial Differential Equations参考文献 15被引用数 4

ひとこと要約

本稿は、初期のムーシー領域（ゼロ温度で正の測度を有する領域）を考慮する二相ステファノフ問題の粘性解フレームワークを導入する。初期データから生じる一般的なムーシー領域を扱う。粘性解における比較原理を確立し、初期ムーシー領域が存在しない場合には粘性解が弱解と等価であることを証明し、熱方程式および自由境界問題の既存理論と整合性を保つ。

ABSTRACT

We introduce a notion of viscosity solutions for the two-phase Stefan problem, which incorporates possible existence of a mushy region generated by the initial data. We show that a comparison principle holds between viscosity solutions, and investigate the coincidence of the viscosity solutions and the weak solutions defined via integration by parts. In particular, in the absence of initial mushy region, viscosity solution is the unique weak solution with the same boundary data.

研究の動機と目的

• 初期データによって生じる初期ムーシー領域を扱える、二相ステファノフ問題の堅牢な粘性解理論の構築。
• 粘性下解と上解の間の比較原理の確立により、最大および最小の粘性解の存在を保証する。
• 部分積分を用いて定義された弱解と粘性解との関係を、特に初期ムーシー領域が存在しない場合に調査する。
• 初期データにムーシー領域が含まれない場合に、粘性解が弱解と一致し、一意性が保証されることを示す。
• 自由境界の非単調的かつより複雑な進化を示す二相設定に、粘性解法の適用範囲を拡張する。

提案手法

• 温度 $ u = \chi(h) $ がエンタルピー $ h $ から導かれるエンタルピー表現を用いて、二相ステファノフ問題の粘性解を定義する。ここで $ \chi $ は区分線形関数である。
• ムーシー領域 $ \Gamma(u) = \{ -1 \leq h \leq 0 \} $ の可能性を組み込み、特に $ |\{-1 \leq h_0 \leq 0\}| > 0 $ の場合に時間経過とともに持続または縮小する可能性を考慮する。
• 自由境界の非単調的進化を考慮した適切なテスト関数の構築により、粘性下解と上解の間の比較原理を確立する。
• 粘性解フレームワークを用いて、最大および最小の粘性解が、与えられた温度分布に対して最大および最小の初期エンタルピーを持つ弱解に対応することを示す。
• 初期ムーシー領域が存在しない場合、粘性解が一意的であり、Caffarelli と Evans の連続性および正則性結果を用いて、一意な弱解と一致することを証明する。
• Crandall-Lions の粘性理論の技術を二相設定に適応し、一相の場合を越えて非単調的自由境界の扱いを可能にする。

実験結果

リサーチクエスチョン

• RQ1 初期ムーシー領域の可能性を含む二相ステファノフ問題に対して、一貫した粘性解フレームワークを定義可能か？
• RQ2 自由境界が非単調的に進化する場合でも、二相ステファノフ問題における粘性解に対して比較原理が成り立つか？
• RQ3 どのような条件下で、粘性解は部分積分を用いて定義された弱解と一致するか？
• RQ4 初期ムーシー領域が存在しない場合、粘性解は一意的であり、熱方程式の既存の粘性解理論とどのように関係するか？
• RQ5 初期ムーシー領域の存在が、粘性解フレームワークにおける自由境界の正則性および伝播速度にどのように影響するか？

主な発見

• 領域 $ Q $ における二相ステファノフ問題に対して粘性解が存在し、粘性下解と上解の間で比較原理が成り立つ。これにより、最大および最小の解の存在が保証される。
• 最大および最小の粘性解は、固定された初期温度 $ u_0 $ に対して、最大および最小の初期エンタルピーを持つ二相ステファノフ問題の弱解に対応する。
• Caffarelli と Evans が定義する意味でのすべての弱解は、粘性解としても成立する。これにより、二つの解の概念の直接的な関連が確立される。
• 初期データにムーシー領域が含まれない場合（すなわち、$ |\{-1 \leq h_0 \leq 0\}| = 0 $）、粘性解は一意的であり、一意な弱解と一致する。
• 初期ムーシー領域が存在しない場合、粘性解はCrandall-Lionsおよび関連研究で定義された粘性解の概念と一致する。これにより、既存理論との整合性が裏付けられる。
• 本手法は堅牢であり、熱方程式を越えるより広いクラスの放物型作用素へも適用可能である。比較原理および解の構成の一般性が、その拡張性を示している。