[論文レビュー] Weak Solution of a Doubly Degenerate Parabolic Equation

Di Kang, Tharathep Sangsawang+1 more|arXiv (Cornell University)|Oct 20, 2016

Fluid Dynamics and Thin Films参考文献 4被引用数 7

ひとこと要約

本稿では、球面上の薄膜流れをモデル化する4階、二重に退化する放物型方程式に対して、正の弱解の存在を示している。正則化法を用い、εおよびδのパラメータを導入した。主な結果は、重み付きソボレフ空間 $ H^1_w((-1,1)) $ における解の存在の証明であり、解の収束性およびホルダー連続性を示しており、初期データが非負であれば解も非負であることが保証される。

ABSTRACT

This paper studies a fourth-order, nonlinear, doubly-degenerate parabolic equation derived from the thin film equation in spherical geometry. A regularization method is used to study the equation and several useful estimates are obtained. The main result of this paper is to prove the existence of a weak solution of the equation in a weighted Sobolev space.

研究の動機と目的

• 球面上の薄膜流れから導かれる二重に退化する放物型方程式に対する弱解の存在を確立すること。
• 方程式が $ x = \pm 1 $ および $ u = 0 $ で放物型性を失うため、標準的な放物型理論が適用できない問題に対処すること。
• 退化方程式に用いられる古典的な正則化アプローチを、空間的に変化する係数を有する二重に退化する設定に拡張すること。
• 球面幾何を反映する重み $ w(x) = 1 - x^2 $ を持つ重み付きソボレフ空間 $ H^1_w $ における解の存在を証明すること。
• 初期データが非負であれば、解がその非負性を保つこと、物理的期待に整合することを保証すること。

提案手法

• 非退化する正則化方程式が得られるように、非線形拡散項に $ \epsilon > 0 $ を加え、空間係数 $ 1 - x^2 $ に $ \delta > 0 $ を加える二重正則化を適用する。
• 正則化された設定において、シュアウド推移とコンパクトネスの議論を用い、$ H^1_w $-ノルムおよびホルダーノルムに対する一様なバウンディングを導出する。
• 一般化されたニレングェルクの不等式および重み付き埋め込み定理を用いて、境界 $ x = \pm 1 $ 近傍における解の振る舞いを制御する。
• 正則化解の列 $ u_{\epsilon,\delta} $ を構成し、アーヴェラ・アスコリの定理を用いて $ C^{1/2,1/8}_{x,t,w} $-ノルムにおける同調連続性を証明する。
• $ \epsilon \to 0 $ および $ \delta \to 0 $ の極限に移行し、一様なバウンディングと収束性を用いて弱形式を満たす極限関数 $ u $ を得る。
• 補助関数 $ g_\epsilon $ および $ G_\epsilon $ を用いた比較論法により、初期データが非負であれば $ u \geq 0 $ であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 方程式が $ x = \pm 1 $ で放物型性を失い、$ u = 0 $ のときにも同様である場合、球面領域上における二重に退化する薄膜方程式に対して弱解が存在するか？
• RQ2 特異的重み $ 1 - x^2 $ のため、重み付きソボレフ空間における非負弱解の存在は証明可能か？
• RQ3 パラメータ $ \epsilon $ および $ \delta $ を用いた正則化法は、退化設定における存在証明をどのように支援するか？
• RQ4 弱解の正則性は、空間的および時間的ホルダー連続性の観点でどのように記述できるか？
• RQ5 与えられた方程式構造のもとで、初期データの非負性が解に保たれるか？

主な発見

• 重み $ w(x) = 1 - x^2 $ を持つ重み付きソボレフ空間 $ H^1_w((-1,1)) $ において、二重に退化する放物型方程式に対して弱解が存在する。
• 解 $ u $ は空間的・時間的ホルダー連続性を示し、それぞれホルダー指数 $ \frac{1}{2} $ および $ \frac{1}{8} $ を有する。これは定義域全域で一様に成り立つ。
• 解は $ P = \Omega \times (0,T) \setminus \{u = 0\} $ において弱形式を満たし、フラックス項に $ |u|^n(1 - x^2) $ および $ (1 - x^2)u_x $ の2階微分が含まれる。
• 解は非負性を保つ：初期データ $ u_0 \geq 0 $ ならば、ほとんど everywhere で $ u \geq 0 $ である。
• 正則化解 $ u_{\epsilon,\delta} $ から $ u $ への収束は、アーヴェラ・アスコリの定理とコンパクトネスを用いて $ \Omega \times (0,T) $ 全体で一様に成立する。
• 証明は、重み付き $ H^1 $-ノルムの一様有界性および $ \epsilon, \delta \to 0 $ の極限における正則化項の消滅に依存する。