[論文レビュー] Diffusion-driven blowup of nonnegative solutions to reaction-diffusion-ODE systems

Anna Marciniak‐Czochra, Grzegorz Karch+2 more|arXiv (Cornell University)|Nov 8, 2015

Advanced Mathematical Modeling in Engineering被引用数 6

ひとこと要約

本稿では、反応拡散ODE系における拡散が、両方の項に拡散が存在する場合に全解が大域的に有界であるにもかかわらず、非負解に対して有限時刻 blow-up を引き起こすことを示している。主な結果は、1つの成分で拡散を除去（d=0）すると、Turing型不安定性に起因する1点での blow-up が生じることであり、両成分に拡散がある場合には大域的解が保証される。

ABSTRACT

In this paper we provide an example of a class of two reaction-diffusion-ODE equations with homogeneous Neumann boundary conditions, in which Turing-type instability not only destabilizes constant steady states but also induces blow-up of nonnegative spatially heterogeneous solutions. Solutions of this problem preserve nonnegativity and uniform boundedness of the total mass. Moreover, for the corresponding system with two non-zero diffusion coefficients, all nonnegative solutions are global in time. We prove that a removal of diffusion in one of the equations leads to a finite-time blow-up of some nonnegative spatially heterogeneous solutions.

研究の動機と目的

• 反応拡散ODE系における非負解の大域的存在性および blow-up 動態に及ぼす拡散の影響を調査すること。
• 一方の項で拡散が欠落している場合（d=0）に解が不安定化し、有限時刻 blow-up を引き起こすメカニズムを分析すること。これは両成分に拡散がある場合に解が有界に保たれるのと対照的である。
• Turing型不安定性がパターン形成をもたらすだけでなく、空間的に不均一な解に対しても blow-up を引き起こす条件を特定すること。
• 両成分に拡散がある場合（d>0, D>0）には非負解が大域的に有界に保たれるが、一方の成分が拡散を持たない場合（d=0）には有限時刻 blow-up が発生することを証明すること。

提案手法

• 2成分系を定式化：1つは反応拡散方程式（u）、もう1つはODE（v）、非線形結合は u^p f(v) を通じて行う。
• 全質量と解の非負性を保つために、均一なノイマン境界条件を採用する。
• 事前推定と Hölder 正則性の議論を用いて、v(x,t) の挙動を制御し、u(x,t) の境界を導出する。
• u(x,t) の明示的積分公式を用いて上界解を構成し、blow-up 動態を分析する。
• 連続性の議論と背理法を用いて、x=0 の近傍で解が特定の減衰率を超えることはできないことを示し、t=T_max で blow-up が発生することを導く。
• v(x,t) の Hölder 連続性と初期データの減衰性を活用し、ε に依存しない一様な境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 反応拡散ODE系において、拡散駆動型不安定性が非負解の有限時刻 blow-up を引き起こすことはあるか？
• RQ2 拡散が1つの成分から除去された場合（d=0）と両成分に拡散がある場合（d>0, D>0）とを比較したとき、解の挙動はどのように変化するか？
• RQ3 非拡散成分が存在する場合、定数解および空間的に不均一な解の両方を不安定化させ、blow-up を引き起こすか？
• RQ4 全質量が保存され、解が非負であるにもかかわらず、空間の1点での blow-up が発生しうるか？
• RQ5 どのような条件下で、系は大域的解を示し、有限時刻 blow-up を示すか？

主な発見

• d>0 かつ D>0 のとき、系のすべての非負解は時間全域で大域的に有界であり、非負性と全質量の保存が保たれる。
• d=0 かつ D>0 のとき、有限時刻 blow-up が発生する非負で空間的に不均一な初期データが存在する。
• blow-up は1点に局在し、u方程式における拡散の欠如とTuring型不安定性の相乗作用によって引き起こされる。
• 与えられた仮定のもとで、初期データが十分に小さい場合には、blow-up 時刻 T_max は1で一様に有界である。
• 十分に小さい ε に対して、すべての (x,t) ∈ Ω × [0,T_max) で、a priori 推定 u(x,t) < ε|x|^{-α/(p-1)} が成り立つ。
• 十分に小さい ε に対して、関数 v(x,t) は正の定数から下限され、blow-up 時に非線形項 f(v) が適切に振る舞うことが保証される。