[论文解读] Logarithmic corrections in Fisher-KPP type Porous Medium Equations

Yihong Du, Fernando Quirós+1 more|arXiv (Cornell University)|Jun 6, 2018

Mathematical and Theoretical Epidemiology and Ecology Models参考文献 29被引用 3

一句话总结

本文分析了具有Fisher-KPP型反应项的非线性扩散方程（$u_t = \Delta u^m + u - u^2$，$m > 1$）在大时间尺度下的解的行为。研究结果表明，在高维空间（$N \geq 2$）中，解的自由边界传播速度表现出对数校正项，其渐近收敛于一个被平移了$(N-1)c^*\log t$的行波解形式，其中$c^*$为与维度$N$及初始数据无关的普适常数。该校正项源于多孔介质方程的退化特性，且在一维情形下不存在。

ABSTRACT

We consider the large time behaviour of solutions to the porous medium equation with a Fisher-KPP type reaction term and nonnegative, compactly supported initial function in $L^\infty(\mathbb{R}^N)\setminus\{0\}$: \begin{equation} \label{eq:abstract} ag{$\star$}u_t=Δu^m+u-u^2\quad ext{in }Q:=\mathbb{R}^N imes\mathbb{R}_+,\qquad u(\cdot,0)=u_0\quad ext{in }\mathbb{R}^N, \end{equation} with $m>1$. It is well known that the spatial support of the solution $u(\cdot, t)$ to this problem remains bounded for all time $t>0$. In spatial dimension one it is known that there is a minimal speed $c_*>0$ for which the equation admits a wavefront solution $Φ_{c_*}$ with a finite front, and it attract solutions with initial functions behaving like a Heaviside function. In dimension one we can obtain an analogous stability result for the case of compactly supported initial data. In higher dimensions we show that $Φ_{c_*}$ is still attractive, albeit that a logarithmic shifting occurs. More precisely, if the initial function in \eqref{eq:abstract} is additionally assumed to be radially symmetric, then there exists a second constant $c^*>0$ independent of the dimension $N$ and the initial function $u_0$, such that \[ \lim_{t o\infty}\left\{\sup_{x\in\mathbb R^N}\big|u(x,t)-Φ_{c_*}(|x|-c_*t+(N-1)c^*\log t-r_0)\big| ight\}=0 \] for some $r_0\in\mathbb{R}$ (depending on $u_0$). If the initial function is not radially symmetric, then there exist $r_1, r_2\in \mathbb{R}$ such that the boundary of the spatial support of the solution $u(\cdot, t)$ is contained in the spherical shell $\{x\in\mathbb R^N: r_1\leq |x|-c_* t+(N-1)c^* \log t\leq r_2\}$ for all $t\ge1$. Moreover, as $t o\infty$, $u(x,t)$ converges to $1$ uniformly in $\big\{|x|\leq c_*t-(N-1)c\log t\big\}$ for any $c>c^*$.

研究动机与目标

• 刻画在高维空间中具有Fisher-KPP反应项的多孔介质方程解的精确大时间行为。
• 确定当$m > 1$时，紧支集初始数据的解的自由边界随时间的演化规律。
• 建立在$\mathbb{R}^N$（$N \geq 2$）中，解的支撑集传播速度存在一个普适的对数校正项。
• 将最小速度行波解的渐近稳定性结果从一维情形推广至高维情形，同时考虑与维度相关的对数位移。

提出的方法

• 作者基于连接平衡态1和0的行波解$\Phi_{c_*}$，构造了精心设计的上下解，并利用比较原理。
• 引入径向变换将问题转化为一维情形，从而可应用一维行波解的已知结果。
• 关键技巧在于构造一个依赖于时间的位移项$k(t) = c_*t - (N-1)c^*\log t$，以捕捉前缘传播中的对数校正。
• 证明依赖于在移动坐标系$x \mapsto |x| - c_*t + (N-1)c^*\log t$中的一致收敛估计，结合能量估计与比较论证。
• 对于非径向初始数据，该方法通过相同的比较原理证明自由边界位于一个具有对数校正的球壳内。
• 分析使用了弱解理论及退化抛物方程的性质，特别是$\nabla u^m \in L^2_{\text{loc}}$这一关键事实。

实验结果

研究问题

• RQ1 当$t \to \infty$时，在高维空间（$N \geq 2$）中，Fisher-KPP型多孔介质方程解的自由边界行为如何？
• RQ2 当初始数据为紧支集且非径向时，解的支撑集的精确渐近形式及其传播速度为何？
• RQ3 为何在高维空间中，前缘传播速度会出现对数校正项$(N-1)c^*\log t$，而一维情形下却不存在？
• RQ4 最小速度行波解$\Phi_{c_*}$的渐近稳定性能否推广至$\mathbb{R}^N$中的非径向初始数据？若能，该位移参数如何确定？
• RQ5 普适常数$c^* > 0$（与$N$和初始数据无关）在前缘位置的对数校正中起何作用？

主要发现

• 在$\mathbb{R}^N$（$N \geq 2$）中，当$t \to \infty$时，解$u(x,t)$一致收敛于行波解$\Phi_{c_*}(|x| - c_*t + (N-1)c^*\log t - r_0)$，其中$r_0 \in \mathbb{R}$为依赖于初始数据的常数。
• 对所有$t \geq 1$，解的自由边界位于球壳$\{ x : r_1 \leq |x| - c_*t + (N-1)c^*\log t \leq r_2 \}$内，其中$r_1, r_2 \in \mathbb{R}$依赖于$u_0$。
• 对任意$c > c^*$，当$t \to \infty$时，$u(x,t) \to 1$在球域$\{ |x| \leq c_*t - (N-1)c\log t \}$中一致收敛。
• 常数$c^* > 0$为普适常数：其值与空间维数$N$及初始数据$u_0$无关，且由径向情形下解的渐近行为所决定。
• 在一维情形下，解收敛于一个无对数校正的平移行波解；但在高维情形下，对数项对于正确捕捉前缘位置至关重要。
• 本文识别并填补了Biró（2011）先前结果中的一个空白，通过非退化性估计与精细时间序列构造，证明了行波解的位移与前缘位置一致。