[論文レビュー] On Nonlinear Parabolic Equation in Nondivergent Form with Implicit Degeneration and Embedding Theorems

Kamal N. Soltanov, Mahmud A. Ahmadov|arXiv (Cornell University)|Jul 30, 2012

Advanced Mathematical Modeling in Engineering参考文献 9被引用数 5

ひとこと要約

本稿では、非発散型で隠れ特異性を有する非線形放物型方程式の可解性を確立し、新しく定義された関数空間における解の存在と正則性を証明する。重み付きソボレフ型空間における埋め込み定理とコンパクト性の議論を用いて、最適なパrameter条件の下で解が特定の関数空間に属することを示し、追加の制約なしにn次元領域への一般化を達成する。

ABSTRACT

The mixed problem for the implicit degenerating nonlinear parabolic equation is considered, and the solvability and behavior of solutions of this problem are studied. Furthermore, some classes of function spaces and their relations with Sobolev spaces are investigated, embedding and compactness theorems for these spaces are proved

研究の動機と目的

• n次元空間における隠れ特異性を有する非線形放物型方程式の可解性および解の挙動を調査すること。
• 方程式の構造に適合した、$\mathbf{P}_{1,p,q}(Q_T)$ と表記される新しい関数空間クラスを定義し、その解析を行うこと。
• これらの空間に対する埋め込み定理およびコンパクト性定理を確立し、それらを古典的ソボレフ空間と結びつけること。
• 領域やデータに対する追加の正則性仮定を必要としない最適なパrameter条件の下で解の存在を証明すること。
• 1次元の結果を高次元へ一般化するため、非線形で特異性を有する時間発展問題の関数解析的枠組みを構築すること。

提案手法

• 問題は、境界が$C^1$級である有界領域$\Omega \subset \mathbb{R}^n$上で、初期条件および境界条件を併せ持つ混合型設定で取り扱われる。
• 時間重み付きソボレフ空間と特異性を有するエネルギー空間の共通部分として、$|u|^\rho \Delta u$を介して隠れ特異性を組み込んだ、新たな関数空間$\mathbf{P}_{1,p,q}(Q_T)$が導入される。
• バナッハ空間における弱コンパクト性、弱収縮性、および事前推定に基づく一般的存在定理（定理2）を用いて、存在定理が証明される。
• 証明は、パrameter $\varepsilon > 0$ を用いた正則化問題の構築に依存し、ガラーキン型近似とエネルギー推定が適用される。
• 一般化されたミンコフスキーの不等式および指数的減衰推定を用いて、時間微分$\frac{dx_\varepsilon}{dt}$の一様有界性が得られる。
• パrameter $\varepsilon \searrow 0$ における極限操作は、弱コンパクト性および$\varepsilon$スケーリングに起因する2階正則化項の消滅により達成される。

実験結果

リサーチクエスチョン

• RQ1 隠れ特異性を有する非線形放物型方程式が$n$次元空間で解を有するための$\rho$, $\mu$, および$b_0$に関する条件は何か？
• RQ2 関数空間$\mathbf{P}_{1,p,q}(Q_T)$は古典的ソボレフ空間およびルベーグ空間とどのように関係しているか？ また、それらに対して成り立つ埋め込み定理は何か？
• RQ3 特異性を有する放物型方程式の解の正則性は何か？ また、それはどのように埋め込み定理から導かれるか？
• RQ4 可解性結果を、データに対する追加の滑らかさや構造的仮定を課さずに高次元に拡張できるか？
• RQ5 演算子$L$およびその随伴$L^*$は、与えられた変分不等式を通じて解の存在を保証するために果たす役割は何か？

主な発見

• 条件$\min\{0, \frac{\rho}{2} - 1\} \leq \mu < \rho \leq 2$ または $\frac{\rho}{2} - 1 \leq \mu < \rho$ の下で、$p = \rho + 2$, $q = \frac{\rho + 2}{\rho + 1}$ とすると、問題(1.1)–(1.3)は空間$\mathbf{P}(Q_T) = \mathbf{P}_{1,p,q}(Q_T) \cap \{u(0,x) = 0\}$で可解である。
• 解は$L_p(0,T; \overset{0}{S}_{\Delta,\rho,2}(\Omega)) \cap W_q^1(0,T; L_q(\Omega))$に属しており、特異性に整合した時間的および空間的正則性を示している。
• 関数空間$\mathbf{P}_{1,p,q}(Q_T)$に対して埋め込み定理が確立され、それらがソボレフ空間およびルベーグ空間と結びついている。また、与えられたパrameter制約の下でコンパクト性が証明されている。
• 解空間は時間発展に対して不変であり、すべての$\varepsilon > 0$に対して時間微分$\frac{dx_\varepsilon}{dt}$は$L_q(0,T; Y)$において一様有界のままであるため、極限への移行が可能である。
• 正則化項$\varepsilon \frac{d^2x_\varepsilon}{dt^2}$は、$\varepsilon$スケーリングおよび$\left\| \frac{dx_\varepsilon}{dt} \right\|_{L_q}$の一様有界性により極限で消えるため、元の問題の解への収束が保証される。
• 随伴演算子$L^*$の核は自明である（$\ker L^* = \{0\}$）ことが示され、これは正則化問題および極限過程における解の一意性と可解性を保証する上で不可欠である。