[论文解读] 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系统中，即使在两个方程均存在扩散时所有解均为全局有界，扩散仍可在非负解中引发有限时间爆破。关键结果表明，当一个组分中去除扩散（d=0）时，由于图灵型不稳定性，解会在单一点发生爆破，尽管在两个组分均扩散时解全局存在。

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系统中非负解全局存在性与爆破行为的影响。
• 分析当一个方程中无扩散（d=0）时，解如何被不稳定化并导致有限时间爆破，即使在完全扩散条件下解仍保持有界。
• 建立图灵型不稳定性不仅引发模式形成，还导致空间非均匀解爆破的条件。
• 证明当两个组分均扩散（d>0, D>0）时，非负解保持全局有界，但当一个组分无扩散（d=0）时，解可能在有限时间内爆破。

提出的方法

• 构建一个双组分系统：一个反应-扩散方程（u）和一个常微分方程（v），通过非线性项u^p f(v) 耦合。
• 采用齐次诺伊曼边界条件以保持总质量和解的非负性。
• 应用先验估计和霍尔德正则性论证，控制v(x,t)的行为，并推导出对u(x,t)的界。
• 通过u(x,t)的显式积分公式构造上解，以分析爆破动力学。
• 利用连续性论证和反证法，证明解在x=0附近无法超过某一衰减速率，从而导致在t=T_max时爆破。
• 利用v(x,t)的霍尔德连续性及初始数据的衰减性，推导出与ε无关的统一有界性。

实验结果

研究问题

• RQ1 反应-扩散-ODE系统中的扩散驱动不稳定性是否可导致非负解的有限时间爆破？
• RQ2 当一个组分中去除扩散（d=0）时，与两个组分均扩散（d>0, D>0）相比，解的行为如何变化？
• RQ3 非扩散组分的存在是否会使常数解和空间非均匀解均不稳定化，从而导致爆破？
• RQ4 即使总质量守恒且解非负，爆破是否仍可能发生在空间单一点？
• RQ5 在何种条件下系统表现出全局存在性而非有限时间爆破？

主要发现

• 当d>0且D>0时，系统的所有非负解在时间上全局有界，保持非负性和总质量。
• 当d=0且D>0时，存在非负的、空间非均匀的初始数据，导致在x=0处发生有限时间爆破。
• 爆破发生在单一点，由u方程中无扩散与图灵型不稳定性之间的相互作用引发。
• 在给定假设下，当初始数据足够小时，爆破时间T_max被统一有界于1。
• 对所有(x,t) ∈ Ω × [0,T_max)，解u(x,t)满足先验估计u(x,t) < ε|x|^{-α/(p-1)}，其中ε充分小。
• 当ε较小时，函数v(x,t)从下方有正下界，确保在爆破过程中非线性项f(v)保持行为良好。