[論文レビュー] The porous medium equation with large initial data on negatively curved Riemannian manifolds

Gabriele Grillo, Matteo Muratori+1 more|arXiv (Cornell University)|Sep 21, 2016

Geometric Analysis and Curvature Flows参考文献 44被引用数 42

ひとこと要約

本稿は、非正の断面曲率と $-C_0(1 + d(x,o)^ u)$ で下から有界なリッチ曲率をもつカルタン＝ハダマール多様体上における多孔質媒体方程式の非常に弱い解の存在、一意性、および鋭い存在時間の見積もりを確立する。初期データが $ (1 + \rho(x))^{\sigma/(m-1)} $ のように増加する場合、$ \sigma = (2 - \gamma)/2 \land 2 $ であるが、その増加率に応じた最大存在時間にまで解が存在し、より速い増加は非存在をもたらす。結果は最適であり、臨界的増加率の初期データに対してモデル多様体上での点付き爆発が示され、結果の鋭さが裏付けられる。

ABSTRACT

We show existence and uniqueness of very weak solutions of the Cauchy problem for the porous medium equation on Cartan-Hadamard manifolds satisfying suitable lower bounds on Ricci curvature, with initial data that can grow at infinity at a prescribed rate, that depends crucially on the curvature bounds. The curvature conditions we require are sharp for uniqueness in the sense that if they are not satisfied then, in general, there can be infinitely many solutions of the Cauchy problem even for bounded data. Furthermore, under matching upper bounds on sectional curvatures, we give a precise estimate for the maximal existence time, and we show that in general solutions do not exist if the initial data grow at infinity too fast. This proves in particular that the growth rate of the data we consider is optimal for existence. Pointwise blow-up is also shown for a particular class of manifolds and of initial data.

研究の動機と目的

• カルタン＝ハダマール多様体上における非常に大きな初期データが無限遠で増加する場合の多孔質媒体方程式に対する非常に弱い解の存在と一意性を確立すること。
• 解の存在に必要な初期データの増加率の鋭い評価を、曲率の下界に応じて特定すること。
• 導出された増加条件が最適であることを、より速い増加率のデータに対して非存在を示すことで証明すること。
• モデル多様体上での臨界的増加率の初期データに対して点付き爆発が発生することを示し、結果の鋭さを確認すること。

提案手法

• 曲率の減衰に合わせて調整された、後退放物型問題に対する上界解の構成に基づくバリア法の使用。これは径数的変換により重み付きユークリッド方程式に還元される。
• 一意性のための双対性法の適用。重み付きユークリッド設定において臨界的減衰 $|x|^{-2}$ を示す、巧みに構築された上界解に依存する。
• ジオデシック球の体積増加とリッチ曲率の下界を含む、上界解のプロファイルのための径数的常微分方程式モデルを用いた事前推定の導出。
• 上界解のプロファイルに対する再帰的反復推定を用いて、解の無限遠における増加の鋭い下界および上界を導出する。
• 変数分離と時間スケーリングを用いて放物型問題をモデル多様体上での定常問題に還元する。
• 臨界的 $|x|^{-2}$ 重みをもつ重み付き熱方程式の既知の漸近挙動を、上界解の構築を導くために活用する。

実験結果

リサーチクエスチョン

• RQ1 カルタン＝ハダマール多様体上における多孔質媒体方程式の局所的時間解が存在するための、初期データが無限遠で増加する最大速度は何か？
• RQ2 リッチ曲率の下界が、解の存在に必要な初期データの増加率にどのように影響するか？
• RQ3 同じ曲率仮定のもとで、導出された増加条件は最適であるか、それ以上改善可能か？
• RQ4 臨界的増加率の初期データに対して点付き爆発が発生するか？ これは条件の鋭さを示唆する。
• RQ5 初期データと同じ増加境界を満たす解のクラスにおいて、一意性は保証されるか？

主な発見

• 初期データが $ |u_0(x)| \leq C (1 + \rho(x))^{\sigma/(m-1)} $ を満たす場合に解が存在する。ここで $ \sigma = (2 - \gamma)/2 \land 2 $、$ \rho(x) = d(x,o) $ であり、リッチ曲率が $ -C_0(1 + \rho(x)^\gamma) $ で下から有界である。
• 初期データが臨界的増加率 $ \rho(x)^{\sigma/(m-1)} $ で増加する解の最大存在時間は、存在定理で得られた時間 $ T $ の定数倍以内であり、より速い増加率のデータに対しては正の分布的解は存在しない。
• 特定のクラスの初期データが臨界的増加率を示すモデル多様体上では点付き爆発が発生し、増加条件の鋭さが裏付けられる。
• 解のクラスにおいて $ |u(x,t)| \leq C (1 + \rho(x))^{\sigma/(m-1)} $ を満たすものに対して一意性が成り立つ。これは $ \sigma $ を通じてリッチ曲率の下界に強く依存する。
• 曲率依存パrameter $ \sigma $ は、許容される増加率と最大存在時間の両方を決定し、その条件をみたさない場合に非存在が生じることから、鋭さを示す。
• 結果は最適である：与えられた曲率仮定のもとで、初期データの増加率を改善することはできない。これは臨界的データでの爆発と超臨界的データでの非存在によって確認される。