[論文レビュー] Global existence and blow-up of solutions to porous medium equation and pseudo-parabolic equation, I. Stratified Groups

Michael Ruzhansky, Bolys Sabitbek+1 more|arXiv (Cornell University)|Jun 1, 2021

Nonlinear Partial Differential Equations被引用数 4

ひとこと要約

本稿では、階層的リー群上の非線形多孔質媒体方程式および擬放物型方程式の正の解について、全時間存在および爆発の臨界条件を確立する。凹性法と階層群におけるPoincaré型不等式を組み合わせることで、初期データおよび非線形性の構造に基づいた、有限時刻での爆発または全時間存在の十分条件を導出する。これは、非ユークリッド幾何を有するサブリーマン多様体への古典的結果の拡張である。

ABSTRACT

In this paper, we prove a global existence and blow-up of the positive solutions to the initial-boundary value problem of the nonlinear porous medium equation and the nonlinear pseudo-parabolic equation on the stratified Lie groups. Our proof is based on the concavity argument and the Poincaré inequality, established in [38] for stratified groups.

研究の動機と目的

• 非線形放物型方程式の爆発および全時間存在に関する古典的理論を、階層的リー群のサブリーマン幾何的設定へ拡張すること。
• 階層的リー群内の有界領域における非線形多孔質媒体方程式および非線形擬放物型方程式の初期境界値問題を分析すること。
• 初期データおよび非線形性の構造的性質に基づいて、正の解の有限時刻での爆発または全時間存在の十分条件を確立すること。
• 凹性法を階層群の設定へ一般化し、$p$-サブラプラシアンおよび水平勾配構造を統合すること。
• 解の挙動が、初期エネルギー、非線形性$f(u)$、およびPoincaré型不等式による領域の幾何学的性質の間の相互作用に強く依存することを証明すること。

提案手法

• 解の$L^2$ノルムと水平勾配の$L^p$セミノルムを含む関数 $E_p(t)$ に凹性議論を適用する。
• 階層群における[38]で確立されたPoincaré不等式を用いて、$u$の$L^2$ノルムを$\nabla_H u$の$L^p$セミノルムで制御する。
• エネルギー関数 $\mathcal{E}(t) = \int_D \left[u^2 + \frac{2}{p}|\nabla_H u|^p\right] dx$ を定義し、部分積分と方程式を用いてその時間微分を導出する。
• 非線形項を制御し、エネルギーの減衰または増大を制御するために、構造的仮定 $\alpha F(u) \geq u f(u) + \beta u^p + \alpha \gamma$ を適用する。
• エネルギー関数に対する微分不等式を導出し、常微分方程式との比較により爆発または全時間存在を導出する。
• 初期エネルギー $\mathcal{F}_0 > 0$ と条件 $\beta \geq \frac{p - \alpha}{2}$ を用いて、エネルギーの減衰および全時間存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 階層的リー群上での多孔質媒体方程式の解が有限時刻で爆発するための初期データおよび非線形性に関する条件は何か？
• RQ2 非線形性 $f(u)$ にどのような構造的条件を課すと、階層的リー群上での擬放物型方程式の正の解が全時間存在するか？
• RQ3 階層的リー群の幾何的性質 — 特に $p$-サブラプラシアンおよび水平勾配 — は、解の爆発または全時間存在にどのように影響するか？
• RQ4 凹性法は、非ユークリッド的設定、例えば階層的リー群へ適応可能か？また、その場合に必要な修正は何か？
• RQ5 初期データおよび群パラメータの観点から、爆発時刻 $T^*$ の明示的な上界は何か？

主な発見

• 多孔質媒体方程式に関して、初期エネルギー $\mathcal{F}(0) > 0$ ならば、解は有限時刻で爆発し、上界 $T^* \leq \frac{M}{\sigma \int_D [u_0^2 + \frac{2}{p}|\nabla_H u_0|^p] dx}$ を満たす。ここで $M$ および $\sigma$ は初期データによって定義される。
• 擬放物型方程式に関して、条件 $\alpha \leq 0$, $\beta \geq \frac{p - \alpha}{2}$, および $\gamma \geq 0$ を満たすとき、解は全時間存在し、$\mathcal{E}(t) \leq \exp(-(p - \alpha)t) \mathcal{E}(0)$ を満たす。
• 爆発時刻は、解およびその水平勾配の初期$L^2$および$L^p$セミノルムの関数として明示的に上界が与えられる。
• 非線形性が $\alpha F(u) \geq u f(u) + \beta u^p + \alpha \gamma$ を満たし、$\beta \geq \frac{p - \alpha}{2}$ かつ $\alpha \leq 0$ であるとき、全時間存在が保証される。
• 非線形性が構造的不等式を満たすとき、エネルギー関数 $\mathcal{E}(t)$ は指数関数的に時間とともに減衰し、全時間存在が保証される。
• 証明は、水平勾配セミノルムによる$L^2$ノルムの制御を可能にする階層群のPoincaré不等式に依存しており、これは主要な技術的要素である。