[論文レビュー] A new convergence proof for approximations of the Stefan problem

Robert Eymard, Thierry Gallouët|arXiv (Cornell University)|Jun 14, 2022

Numerical methods in inverse problems被引用数 1

ひとこと要約

この論文は、負の順位のソボレフ空間におけるコンパクト性を用いて、ステファン問題の有限要素近似の収束を初めて証明する。正則化された問題に対して、拡散項を消去し、弱形式を用いることで、正則化解列が $L^2(]0,T[, H^{-1}(Ω))$ で収束し、$φ(u_n)$ が $L^2(]0,T[, H^1_0(\u03a9))$ で弱収束することを確立し、正則および不規則なデータの両方の仮定のもとで弱解への収束を証明する。

ABSTRACT

We consider the Stefan problem, firstly with regular data and secondly with irregular data. In both cases is given a proof for the convergence of an approximation obtained by regularising the problem. These proofs are based on weak formulations and on compactness results in some Sobolev spaces with negative exponents.

研究の動機と目的

• 負の順位のソボレフ空間におけるコンパクト性を用いて、ステファン問題の収束証明を代替的に提供すること。
• 時間正則化を施さずに、$f \in L^1(]0,T[, L^1(\u03a9))$ および $u_0 \in L^1(\u03a9)$ のような不規則なデータに対しても収束結果を拡張すること。
• 正則化スキームが $L^2(]0,T[, H^{-1}(\u03a9))$ で収束すること、および $φ(u_n)$ が $L^2(]0,T[, H^1_0(\u03a9))$ で弱収束することを確立すること。
• データに対する最小限の正則性仮定のもとで弱解の存在および一意性を証明すること。
• 自由境界問題に対する負の順位のソボレフノルムに基づくコンパクト性技術を一般化すること。

提案手法

• 元の式に $-\frac{1}{n}\Delta u$ を加えることで正則化問題を導入する。
• 時間的および空間的微分の弱形式を $L^2(]0,T[, H^{-1}(\u03a9))$ および $L^2(]0,T[, H^1_0(\u03a9))$ で用いる。
• $n \to \infty$ の極限を取る際に、負の順位のソボレフ空間 $H^{-1}(\u03a9)$ におけるコンパクト性の議論を適用する。
• ミントンのテクニックと弱収束・強収束を用いて、$φ(u)$ が $φ(u_n)$ の極限として特定されることを示す。
• 不規則なデータの場合、$f^{(n)} \to f$ および $u_0^{(n)} \to u_0$ を $L^1$ で満たす近似列を構築し、同じコンパクト性フレームワークを適用する。
• 切り捨て技術とアスコリの定理を用いて、時間正則性および初期条件の収束を証明する。

実験結果

リサーチクエスチョン

• RQ1 古典的なアビン＝リオンズの議論に代えて、負の順位のソボレフ空間におけるコンパクト性を用いて、正則化されたステファン問題の収束を証明できるか？
• RQ2 追加の時間正則化を施さずに、$f$ および $u_0$ に対して $L^1$-データが適用可能か？
• RQ3 $φ$ がリプシッツかつ非減少である場合、$φ(u_n)$ の弱収束をどのように確立できるか？
• RQ4 データが $L^1$ の場合に、$φ$ が無限大で線形関数を支配するという仮定が果たす役割は何か？
• RQ5 $u_n$ が $C([0,T], H^{-1}(\u03a9))$ で収束することを用いて、初期条件 $u(0) = u_0$ を回復できるか？

主な発見

• 正則化解 $u_n$ は、$C([0,T], H^{-1}(\u03a9))$ で弱解 $u$ に収束し、$L^\infty(]0,T[, L^2(\u03a9))$ で弱収束する。
• $\phi(u_n)$ は $L^2(]0,T[, H^1_0(\u03a9))$ で弱収束し、$φ(u)$ に収束することで、非線形項が正しく捉えられる。
• $L^1$-データの場合、$φ$ が無限大で線形関数を支配するという仮定のもとで、収束は $C([0,T], W^{-1,1}_\star(\u03a9))$ で成立する。
• アスコリの定理と $π_t u_n \in L^1(]0,T[, W^{-1,1}_\star(\u03a9))$ からの一様な時間正則性を用いて、初期条件 $u(0) = u_0$ が回復される。
• 時間正則化を避けるために負の順位のソボレフコンパクト性に依存することで、[1]および[2]の先行手法を改善する。
• 最小限の正則性のもとで収束を可能にする、$L^2(]0,T[, H^{-1}(\u03a9))$ における新しいコンパクト性結果が確立される。