[論文レビュー] Solutions of the 4-species quadratic reaction-diffusion system are bounded and $C^\infty$, in any space dimension

Cristina Caputo, Thierry Goudon+1 more|arXiv (Cornell University)|Sep 17, 2017

Mathematical Biology Tumor Growth参考文献 10被引用数 3

ひとこと要約

本稿では、任意の空間次元 $N>2$ において、4種の種が関与する二次反応拡散系の解のグローバル有界性と $C^∞$-滑らかさを、De Giorgiの反復法と双対性の議論を用いて確立する。質量とエントロピーを制御する。主な結果は、放物型正則化を介したエントロピー散逸と $L^{(N+1)/N}$ 評価を活用することで、従来の2次元における正則性結果を高次元に拡張する。

ABSTRACT

We establish the boundedness of solutions of reaction-diffusion systems with quadratic (in fact slightly super-quadratic) reaction terms that satisfy a natural entropy dissipation property, in any space dimension N>2. This bound imply the smoothness of the solutions. This result extends the theory which was restricted to the two-dimensional case. The proof heavily uses De Giorgi's iteration scheme, which allows us to obtain local estimates. The arguments rely on duality reasonings in order to obtain new estimates on the total mass of the system, both in $L^{(N+1)/N}$ norm and in a suitable weak norm. The latter uses $C^α$ regularization properties for parabolic equations.

研究の動機と目的

• 任意の空間次元 $N>2$ において、4種の種が関与する二次反応拡散系の解のグローバル有界性と滑らかさを確立すること。
• 従来の2次元に限局在する結果を高次元設定に拡張すること。
• 直接最大値原理を適用できない非一様な拡散係数の課題に対処すること。
• エントロピー散逸と質量保存が、爆発を防ぎ、グローバル正則性を保証するために十分であることを証明すること。

提案手法

• De Giorgiの反復スキームを用いて、全質量 $M(t,x) = \sum_{i=1}^4 a_i(t,x)$ の局所 $L^\infty$ 評価を導出する。
• 双対性の議論を用いて、全質量を $L^{(N+1)/N}(\mathbb{R}^N)$ および弱 $L^1$-型ノルムで推定する。
• 全質量 $M(t,x)$ が消える場合の特異性を扱うために、滑らか化された拡散係数 $d_\mu(t,x)$ を導入する。
• 最大値原理とHahn-Banach定理を用いて、随伴方程式の解の $L^1$ ノルムを評価する。
• 放物型方程式の $C^\alpha$ 正則性特性を活用し、双対性評価における $\Delta\zeta$ の $L^1$ ノルムを制御する。
• エントロピー散逸 $\sum Q_i(a)\ln a_i \leq 0$ と $L^1$ および $L^{(N+1)/N}$ 評価を組み合わせ、有界性の議論を閉じる。

実験結果

リサーチクエスチョン

• RQ1 非一様な拡散係数を有する4種の種が関与する二次反応拡散系の解は、空間次元 $N>2$ においてもグローバルに有界に保たれるか？
• RQ2 エントロピー散逸性質 $\sum Q_i(a)\ln a_i \leq 0$ は、高次元において爆発を防ぐのに十分か？
• RQ3 De Giorgiの反復スキームは、$N>2$ において全質量の $L^\infty$ 界を導出するために適応可能か？
• RQ4 同じ物理的制約下で、高次元において解の $C^\infty$-正則性がグローバルに保たれるか？
• RQ5 双対性技術は、全質量の $L^{(N+1)/N}$ ノルムを効果的に制御し、有界性を保証するために有効か？

主な発見

• 4種の種が関与する二次反応拡散系の解は、任意の空間次元 $N>2$ においてグローバルに有界であり、その有界性は初期全質量と空間次元にのみ依存する。
• 全質量 $M(t,x)$ の有界性は、すべての時間 $t>0$ において解が $C^\infty$-滑らかであることを示し、2次元の場合を越えた正則性結果を拡張する。
• 不等式 $\|M(t,\cdot)\|_{L^\infty(\mathbb{R}^N)} \leq K_N \|M(0,\cdot)\|_{L^\infty}^{1-2/N} \|M(0,\cdot)\|_{L^1}^{2/N}$ が $N \geq 3$ に対して成り立ち、$K_N>0$ は $N$ のみに依存する。
• 証明は、双対性とDe Giorgiの反復法を用いて、$M$ の $L^{(N+1)/N}$ ノルムを制御し、$C^\alpha$ 正則性を介した弱 $L^1$-型評価を導出する。
• 滑らか化された拡散係数 $d_\mu$ の使用により、$M(t,x)$ が消える場合でも双対性の議論における正則性が保証される。
• エントロピー散逸条件 $\sum Q_i(a)\ln a_i \leq 0$ は、非線形微分項の制御と $L^\infty$ 界の導出に不可欠である。