[論文レビュー] Existence, Uniqueness and Lipschitz Dependence for Patlak-Keller-Segel and Navier-Stokes in R2 with Measure-valued Initial Data

Jacob Bedrossian, Nader Masmoudi|arXiv (Cornell University)|May 7, 2012

Mathematical Biology Tumor Growth参考文献 45被引用数 4

ひとこと要約

本稿は、2次元パットラック＝ケラー＝セゲル方程式および2次元ナビエ＝ストークス方程式について、測度値初期データを想定した局所的well-posednessを確立し、点質量が $8\pi$ を超えないという条件下で、弱解や小データ枠組みを超えた、鋭い大データ枠組みにおける解の存在、一意性、リプシッツ連続性を示した。著者らはギャラーガーとガヤーの手法を発展させ、PKSにおけるより強い特異性を持つ線形推移の見積もりを扱い、従来の小データおよび弱解に関する結果を、鋭い大データ枠組みへと拡張した。

ABSTRACT

We establish a new local well-posedness result in the space of finite Borel measures for mild solutions of the parabolic-elliptic Patlak-Keller-Segel (PKS) model of chemotactic aggregation in two dimensions. Our result only requires that the initial measure satisfy the necessary assumption $\max_{x \in \Real^2}μ(\set{x}) < 8π$. This work improves the small-data results of Biler and the existence results of Senba and Suzuki. Our work is based on that of Gallagher and Gallay, who prove the uniqueness and log-Lipschitz continuity of the solution map for the 2D Navier-Stokes equations (NSE) with measure-valued initial vorticity. We refine their techniques and present an alternative version of their proof which yields existence, uniqueness and \emph{Lipschitz} continuity of the solution maps of both PKS and NSE. Many steps are more difficult for PKS than for NSE, particularly on the level of the linear estimates related to the self-similar spreading solutions.

研究の動機と目的

• 2次元放物的・楕円型パットラック＝ケラー＝セゲルモデルについて、非負有限Borel測度空間における最初の大データ局所的well-posedness結果を確立すること。
• 初期データに点質量が $8\pi$ を超えないという臨界質量条件 $\max_x \mu(\{x\}) < 8\pi$ を満たす場合に、弱解や小データ枠組みを超えて、弱解が存在するかという未解決問題を解消すること。
• ナビエ＝ストークス方程式におけるギャラーガーとガヤーの解の一意性およびリプシッツ連続性枠組みを、より強い特異性を持つ線形見積もりを伴うキマイオタクシスモデルPKSへと拡張すること。
• PKSおよびナビエ＝ストークスの両者に対して、同一の関数空間内での存在、一意性、リプシッツ依存性を保証する統一的な証明戦略を提供すること。

提案手法

• 著者らは、熱核と非線形駆動項を含む積分表現を用いて弱解を定義し、正則性制約として超合同的推移推移 $\sup_{t\in(0,T)} t^{1/4}\|u(t)\|_{4/3} < \infty$ を鍵とする。
• 重み付き $L^p$ ノルムと $L^{4/3}$ ノルムを両方制御する、注意深く選ばれた関数空間 $X$ において、縮小写像法を用いた。重みは自己相似解に関連している。
• 自己相似拡散解 $G_\alpha$ を基準プロファイルとして用いることで、源項付き熱流の精密な線形見積もりに依拠する。
• ギャラーガーとガヤーによるナビエ＝ストークス渦度に関するスペクトルおよび楕円型正則性技術を、より特異なPKS系に適応・一般化した。
• 線形化作用素 $L - \Lambda_\alpha$ のスペクトルギャップを活用し、自己相似プロファイルと摂動の分解を用いて解写像の事前評価を確立した。
• 主な技術的革新は、非線形駆動項 $\nabla \cdot (u \nabla c)$ を制御するための重み付き $L^p$ 空間（$m > 4$）の使用であり、これにより縮小写像原理が適用可能になる。

実験結果

リサーチクエスチョン

• RQ1 初期データが $8\pi$ を超えない点質量をもつ有限Borel測度である2次元パットラック＝ケラー＝セゲル方程式に対して、弱解が存在し、一意的であることを示せるか？
• RQ2 この条件下で、初期測度から解への写像が全 variation ノルムに関してリプシッツ連続であるか？
• RQ3 測度値渦度をもつナビエ＝ストークス方程式に用いられる手法を、より特異なパットラック＝ケラー＝セゲル系に適応可能か。特に、自己相似解の線形見積もりの取り扱いにおいて。
• RQ4 すべての $\alpha \in (0, 8\pi)$ に対して自己相似解が存在することは、小データ仮定なしに、完全な大データ領域を捉える縮小写像法を可能にするか？
• RQ5 2次元PKSモデルについて、有限Borel測度空間における局所的well-posednessを保証する初期測度の鋭い条件は何か？

主な発見

• 本稿は、$\max_{x\in\mathbb{R}^2} \mu(\{x\}) < 8\pi$ という条件下で、2次元パットラック＝ケラー＝セゲルモデルが有限Borel測度空間において局所的well-posedであることを確立した。この条件は鋭く、必要不可欠である。
• 初期データの全 variation ノルムに関して、解写像が局所的にリプシッツ連続であることが示された。これは強い安定性結果である。
• 原子質量が $8\pi$ 未満であれば、初期データに原子を含んでも、すべての $t > 0$ に対して解が滑らかであることが保証された。これは主要な未解決問題を解消した。
• 著者らは、$\alpha < 8\pi$ のとき、自己相似解 $G_\alpha$ が動的挙動における唯一のグローバルアトラクターであることを証明し、解析の中心的基準プロファイルとして用いた。
• ナビエ＝ストークスと比較して、PKSでは特異性が強いことに対応する源項付き熱流の線形見積もりを、重み付き $L^p$ ノルム（$m > 4$）において精密化した。これは縮小写像法に不可欠である。
• 証明手法により、測度値渦度をもつ2次元ナビエ＝ストークス方程式に対しても、同様にwell-posednessおよびリプシッツ連続性の結果が得られ、ギャラーガーとガヤーによる先行研究を拡張した。