[論文レビュー] Existence, Uniqueness and Asymptotic behaviour for fractional porous medium equations on bounded domains

Matteo Bonforte, Yannick Sire+1 more|arXiv (Cornell University)|Apr 24, 2014

Nonlinear Partial Differential Equations参考文献 47被引用数 167

ひとこと要約

本稿は、有界領域における分数マスコビウス方程式の存在、一意性、および長時間漸近挙動を、双対空間における最大単調作用素理論を用いて確立する。収束速度を明示的に得る分離変数型「フレンドリー・ジャイアント」解への収束を証明し、その副産物として、分数ラプラシアンを伴う非線形楕円型方程式の存在と一意性が得られる。

ABSTRACT

We consider nonlinear diffusive evolution equations posed on bounded space domains, governed by fractional Laplace-type operators, and involving porous medium type nonlinearities. We establish existence and uniqueness results in a suitable class of solutions using the theory of maximal monotone operators on dual spaces. Then we describe the long-time asymptotics in terms of separate-variables solutions of the friendly giant type. As a by-product, we obtain an existence and uniqueness result for semilinear elliptic non local equations with sub-linear nonlinearities. The Appendix contains a review of the theory of fractional Sobolev spaces and of the interpolation theory that are used in the rest of the paper.

研究の動機と目的

• 有界領域における分数ラプラシアン作用素を伴う分数マスコビウス方程式の解の存在と一意性を確立すること。
• 解の長時間漸近挙動を分析し、特に自己相似型「フレンドリー・ジャイアント」プロファイルへの収束を特定すること。
• スペクトル的および制限付きディリクレ分数ラプラシアンの両者に一様に適用可能な、分数ソボレフ空間および補間空間を用いた統一的関数的枠組みを構築すること。
• 時間発展解析の副産物として、非線形楕円型非局所方程式の存在と一意性結果を導出すること。
• 漸近的状態におけるエントロピー散逸およびホルダー連続性推定を用いて、収束速度を定量化すること。

提案手法

• 適切な関数空間における解の存在と一意性を示すために、双対空間上における最大単調作用素理論を用いる。
• 有界領域における非局所作用素を扱うために、補間理論および分数ソボレフ空間（H^s(Ω), H^s_0(Ω)）を応用する。
• 固有関数展開と半群表現を用いて、分数ラプラシアンのスペクトル的定義を適用する。
• 大時間挙動を記述するため、分離変数解として「フレンドリー・ジャイアント」解を構成する。
• エントロピー散逸および相対誤差推定を用いて、L∞およびホルダーノルムにおける定量的収束速度を導出する。
• ラジェンドル変換および双対性技法を用いて、関数不等式を導出し、補間ノルムを制御する。

実験結果

リサーチクエスチョン

• RQ1 有界領域における分数ラプラシアン作用素を伴う分数マスコビウス方程式が、どのような条件下で一意な解をもつか。
• RQ2 時間t → ∞ において解はどのように漸近的に振る舞い、自己相似型プロファイルで記述可能か。
• RQ3 定常解への収束速度は何か、エントロピーまたはホルダー推定を用いてどのように定量化できるか。
• RQ4 時間発展問題の存在・一意性理論を、関連する半線形楕円型非局所方程式へ拡張できるか。
• RQ5 H^s(Ω)空間およびその双対空間は、特に境界条件の違いにかかわらず、解の枠組みとどのように関係するか。

主な発見

• 解は時間全域にわたり存在し、最大単調作用素理論によりH*-solutionsのクラスにおいて一意であることが保証される。
• 解はt → ∞ において分離変数型「フレンドリー・ジャイアント」解に収束し、L∞およびホルダーノルムにおける収束速度が導出される。
• 収束速度はエントロピー散逸を用いて定量化され、あるθ > 0に対して、‖u(t) − U(t)‖_L∞ ≤ C t^{−θ} の形の推定が得られる。
• 本手法により、0 < p < 1 に対して ℒv = v^p という形の非線形非局所楕円型方程式の存在と一意性が副産物として得られる。
• 理論は、スペクトル的および制限付きディリクレ分数ラプラシアンの両方に対して一様に適用可能であり、適切な関数的設定の調整で成立する。
• 補間理論およびG法を用いて定量的推定が得られ、固有値ギャップおよび対数項に明示的な依存関係を持つ。