[論文レビュー] Infinite-time concentration in Aggregation--Diffusion equations with a given potential

José A. Carrillo, David Gómez‐Castro+1 more|arXiv (Cornell University)|Mar 23, 2021

Mathematical Biology Tumor Growth参考文献 54被引用数 8

ひとこと要約

本稿は、非線形的高速拡散 (0 < m < 1) と与えられた径対称ポテンシャル V を持つ集合拡散方程式の径対称解を研究し、適切な条件下で、解が無限時間にわたって、可積分関数と原点におけるデルタ関数の和からなる定常状態に収束することを証明している。主な結果は無限時間集中現象であり、強い集合が高速拡散を上回ることで質量が原点に蓄積される。

ABSTRACT

Typically, aggregation-diffusion is modeled by parabolic equations that combine linear or nonlinear diffusion with a Fokker-Planck convection term. Under very general suitable assumptions, we prove that radial solutions of the evolution process converge asymptotically in time towards a stationary state representing the balance between the two effects. Our parabolic system is the gradient flow of an energy functional, and in fact we show that the stationary states are minimizers of a relaxed energy. Here, we study radial solutions of an aggregation-diffusion model that combines nonlinear fast diffusion with a convection term driven by the gradient of a potential, both in balls and the whole space. We show that, depending on the exponent of fast diffusion and the potential, the steady state is given by the sum of an explicit integrable function, plus a Dirac delta at the origin containing the rest of the mass of the initial datum. Furthermore, it is a global minimizer of the relaxed energy. This splitting phenomenon is an uncommon example of blow-up in infinite time.

研究の動機と目的

• 径対称集合拡散方程式に対して、高速拡散 (0 < m < 1) および与えられた径対称ポテンシャルを持つ場合の、時間全域における弱解の存在を確立すること。
• このような解の長時間漸近的挙動を分析すること、特に質量集中に至る条件を特定すること。
• 漸近的極限を、可積分関数と原点におけるデルタ関数の和として表される測度として特徴付けること。
• 得られる測度が緩和された自由エネルギー汎関数を最小化することを示し、動的挙動と変分原理を結びつけること。
• 全質量が t → ∞ のとき原点に集中する条件を提示すること。これは高速拡散の滑らか化効果にもかかわらず成立する。

提案手法

• 自由エネルギー汎関数 F[ρ] = 1/(m−1)∫ρ^m dx + ∫Vρ dx の 2-ウォッサーシュタイン勾配流として、PDE ∂ρ/∂t = Δρ^m + ∇·(ρ∇V) を形式化すること。
• 変分法およびエネルギー散逸を用いて事前推定を導出し、時間全域における弱解の存在を確立すること。
• h ≥ 0 に対して、ρ_V+h(x) = [(1−m)/m (V(x)+h)]^{-1/(1−m)} で与えられる明示的な定常解を構成すること。h > 0 のとき有界である。
• デルタ関数形成の鍵となる基準として、小質量条件 a_V = ∫ρ_V dx < 1 を導入すること。
• 比較原理および可視化解法を用いて、解の分裂定常状態への収束を分析すること。
• 極限測度 µ_∞ = (1−a_V)δ_0 + ρ_V が確率測度空間における緩和エネルギー汎関数を最小化することを証明すること。

実験結果

リサーチクエスチョン

• RQ1 ポテンシャル V および初期データ ρ_0 がどのような条件下で、解 ρ(t) が t → ∞ 時に原点におけるデルタ関数を含む測度に収束するか。
• RQ2 高速拡散 (0 < m < 1) と ∇V を通じる集合の間の相互作用が、無限時間集中をどのように引き起こすか。
• RQ3 漸近的極限が緩和された自由エネルギー汎関数の最小化子として特徴付けられるか。
• RQ4 小質量条件 a_V = ∫ρ_V dx < 1 がデルタ関数形成を可能にする役割は何か。
• RQ5 径対称初期データのもとで、分裂定常状態 µ_∞ = (1−a_V)δ_0 + ρ_V への収束は安定的かつ一意的か。

主な発見

• 径対称初期データ ρ_0 ≥ ρ_V の場合、解 ρ(t) は t → ∞ 時に質量の意味で µ_∞ = (1−a_V)δ_0 + ρ_V に収束する。
• 原点におけるデルタ関数形成のための必要十分条件は a_V = ∫ρ_V dx < 1 である。
• 定常状態 ρ_V は h = 0 のとき、ρ_V(x) = [(1−m)/m (V(x))]^{-1/(1−m)} で明示的に与えられ、仮定 ∫_{B_1} ρ_V^{1+ε} dx < ∞ を満たす ε > 0 が存在するとき可積分である。
• 極限測度 µ_∞ は確率測度空間における緩和自由エネルギー汎関数のグローバル最小化子である。
• 集中は無限時間にわたって発生し、有限時間での消滅とは異なる、無限時間における爆発の新規な例を示している。これは集合がない高速拡散とは異なる。
• 適切な境界条件および V に関する仮定のもとで、結果は有界領域（例えば球）へ拡張可能である。