[論文レビュー] Well-posedness of a porous medium flow with fractional pressure in Sobolev spaces

Xuhuan Zhou, Weiliang Xiao|arXiv (Cornell University)|Mar 6, 2016

Nonlinear Partial Differential Equations参考文献 8被引用数 3

ひとこと要約

本稿は、$\alpha > \frac{n}{2}+1$ および $s \in [\frac{1}{2}, 1)$ の条件下で、非負の初期データをもつ分数階の多孔質媒体方程式の解の存在および一意性を確立する。著者らは、線形の退化する拡散・輸送系を構築し、解析することで、高次のソボレフノルムにおける正則化とエネルギー推定を用いて適切な解の存在を証明する新規な手法を提案し、以前のベゾフ空間における解析における誤りを是正する。

ABSTRACT

The nonnegative solution for a linear degenerate diffusion transport eqution is proved. As a result, we show the existence and uniqueness of the solution for the fractional porous medium equation in Sobolev spaces $H^α$ with nonnegative initial data, $α>\frac d2+1$. Besides, we correct a mistake in our previous paper \cite{zhou01}.

研究の動機と目的

• 非負の初期データをもつ分数階多孔質媒体方程式の、ソボレフ空間 $H^\alpha$ における解の存在および一意性を確立すること。
• 線形の退化する拡散・輸送系を構築することに基づく、方程式の適切な解の存在を解析するための新規な手法を開発すること。
• 特にエネルギー推定における重要な項 $J_4'$ の推定に関する、以前のベゾフ空間解析における誤りを是正すること。

提案手法

• モリフィア $J_\epsilon$ を用いて方程式を正則化し、$C^1([0,T_\epsilon); H^\alpha)$ 内の近似解 $u^\epsilon$ を構成する。
• Picard反復と $H^\alpha$ におけるエネルギー推定を用いて、$\alpha > \frac{n}{2}+1$ の条件下で線形化された系の局所的適切性を証明する。
• 分数階ラプラシアンに関する点付き不等式（例：$2f\Lambda^s f \geq \Lambda^s f^2$）を用いて非線形項を制御する。
• 交換子推定とソボレフ埋め込みを適用し、$\|u\|_{H^\alpha}$ および $\|v\|_{H^\alpha}$ を用いて非線形項を $H^\alpha$ で有界化する。
• 2乗ノルムにおける2つの解の差を推定することで、Gronwallの不等式を用いて $L^2$-安定性を確立する。
• 以前の誤りを是正するため、誤った $J_4'$ の推定を [10] からの点付き不等式に置き換え、ベゾフノルムにおける修正された有界性を得る。

実験結果

リサーチクエスチョン

• RQ1 分数階多孔質媒体方程式が $s \in [\frac{1}{2},1)$ のとき、非負の初期データ $u_0 \in H^\alpha(\mathbb{R}^n)$ をもつ場合、$\alpha > \frac{n}{2}+1$ の条件下で $H^\alpha(\mathbb{R}^n)$ 内に一意な解をもつか。
• RQ2 弱解や近似スキームではなく、線形の退化する拡散・輸送系に基づく新規な手法によって、方程式の適切な解の存在を確立できるか。
• RQ3 以前の研究 [13] のエネルギー推定における交換子項 $J_4'$ の正しい推定値は何か。また、その推定はベゾフ空間における適切な解の存在証明にどのように影響するか。
• RQ4 初期データの正則性が $H^\alpha$ に属し、$\alpha > \frac{n}{2}+1$ を満たす場合、時間区間 $[0,T_0]$ 内で一意な解が存在することをどのように保証できるか。
• RQ5 $H^\alpha$ 空間における手法を、以前のベゾフ空間解析における誤ったエネルギー推定を是正するために応用できるか。

主な発見

• $s \in [\frac{1}{2}, 1)$、$\alpha > \frac{n}{2}+1$、非負の初期データ $u_0 \in H^\alpha(\mathbb{R}^n)$ の下で、方程式に対して $u \in C^1([0,T_0]; H^\alpha(\mathbb{R}^n))$ 内の一意解が存在する。
• 初期データが非負であれば、解はすべての $t \in [0,T_0]$ において非負のままである。これは分数階ラプラシアンを用いた最小値原理の議論により確立される。
• 線形の退化する拡散・輸送系を構築し、それらを解析することで、高次のソボレフ空間における適切な解の存在を示すための新規で効果的なアプローチが得られた。
• 著者らは、[13] における誤った $J_4'$ の推定を、有効な点付き不等式に置き換えることで、誤りを是正し、正しい $L^2$-安定性推定を導いた。
• 修正された $J_4'$ の推定は $J_4' \leq 2^{-j\alpha}\|u^{(n)}\|_{B_{1,\infty}^{r+2-2s}}\|u^{(n+1)}\|_{B_{1,\infty}^\alpha}$（$r = \alpha - 1$）であり、ベゾフ空間における収束を保証する。
• エネルギー推定により、Gronwall型の不等式 $\frac{d}{dt}\|w\|_{L^2} \leq C\|u\|_{H^\alpha}\|w\|_{L^2}$ が得られ、$w \equiv 0$ により一意性が示される。