[論文レビュー] Regularity of solutions of the fractional porous medium flow

Luis Caffarelli, Fernando Soria+1 more|arXiv (Cornell University)|Jan 29, 2012

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

ひとこと要約

本稿は、圧力が逆分数ラプラシアンで与えられる非局所拡散を伴う分数ポーラス媒体方程式の弱解の有界性および Hölder 正則性（$C^\alpha$）を確立する。エネルギー推定と幾何的変換を用いて、$0 < s < 1$、$s \neq 1/2$ の場合に、$L^1$ 初期データから出発する解が、空間時間において瞬時に有界かつ Hölder 継続的であることを証明する。次元および $s$ に依存する普遍的な Hölder 指数を用いる。これは連続的弱解の存在理論を完成させる。

ABSTRACT

We study a porous medium equation with nonlocal diffusion effects given by an inverse fractional Laplacian operator. More precisely, $$ u_t= abla\cdot(u abla (-Δ)^{-s}u), \quad \ 0

研究の動機と目的

• 非局所ポーラス媒体方程式に分数拡散を伴う弱解の正則性を確立すること。
• 初期データが $L^1$ である解が、空間時間において瞬時に有界かつ Hölder 継続的であることを証明すること。
• 一般の $L^1$ 初期データに対して、連続的弱解を構成することにより、存在理論を完成させること。
• 非線形的・退化的構造を有する非局所拡散方程式における正則性ギャップを解消すること。

提案手法

• $t > 0$ における解の有界性を示すためにエネルギー推定と双線形形式理論を用いる。
• $0 < s < 1/2$ の場合に、古典的手法を用いて非局所正則性理論の技術を適用し、繰り返しエネルギー推定を実行する。
• $s > 1/2$ のより複雑な場合における積分の無限大への成長を制御するために幾何的変換を用いる。
• 弱形式における極限に移行するために、コンactness 論法と近似列の収束を用いる。
• Sobolev および Riesz の埋め込み定理を用いて、圧力項 $Ku = (-\Delta)^{-s}u$ の正則性を制御する。
• J. Simon のコンパクトネス結果を用いて、初期データがトレースの意味で取り込まれることを確認する。

実験結果

リサーチクエスチョン

• RQ1 逆分数ラプラシアン圧力付き分数ポーラス媒体方程式の弱解が有界かつ Hölder 継続的であることを示せるか？
• RQ2 初期データが $L^1$ のみである場合でも、解が瞬時に正則化されるか？
• RQ3 標準的なエネルギー推定が失敗する $s > 1/2$ の範囲において、正則性理論をどのように拡張できるか？
• RQ4 コンパクトネスおよび収束の議論を用いて、$L^1$ 初期データに対して連続的弱解を構成することは可能か？

主な発見

• 初期データが $L^1 \log L$ に属する解は、瞬時に有界となり、この正則性は補間により $L^1$ 初期データへと拡張される。
• $0 < s < 1$、$s \neq 1/2$ の場合、有界かつ非負の解は、次元 $N$ および $s$ に依存する普遍的な $\alpha \in (0,1)$ を用いて $(x,t)$ で $C^\alpha$ 継続的である。
• $s < 1/2$ の場合、繰り返しエネルギー推定により $C^\alpha$ 正則性を証明し、$s > 1/2$ の場合、成長を制御するための幾何的変換を用いる。
• 解は空間時間で連続的であり、初期条件はトレースの意味で満たされ、$t \to 0^+$ のとき $u(t) \to u_0$ が $W^{-1,1}_{\text{loc}}$ で成り立つ。
• エネルギー不等式 $\frac{1}{2}\int H(u(t_2))^2 dx + \int_{t_1}^{t_2} \int u |\nabla Ku|^2 dx dt \leq \frac{1}{2}\int H(u(t_1))^2 dx$ が一様に成り立ち、$t=0$ 近傍での可積分性を保証する。
• $\int H(u(t))^2 dx$ のエネルギー項の減衰率が $t^{\lambda-1}$ であることが示され、$\lambda = \frac{2}{N+2-2s}$ である。これは時間における一様可積分性を支持する。