Special Session 65: 

Logarithmic corrections in Fisher-KPP problems for the Porous Medium Equation

Maolin Zhou
University of New England
Australia
Co-Author(s):    Yihong Du, Fernando Quir\\\\`{o}s
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\}$: \[ (*)\;\;\;\;u_t=\Delta u^m+u-u^2\quad\text{in }Q:=\mathbb{R}^N\times\mathbb{R}_+,\qquad u(\cdot,0)=u_0\quad\text{in }\mathbb{R}^N, \] 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 traveling wave solution $\Phi_{c_*}$ with a finite front, and this traveling wave solution is asymptotically stable in the sense that if the initial function $u_0\in L^\infty(\mathbb R)$ satisfies $\liminf_{x\to -\infty} u_0(x)>0$ and $u_0(x)=0$ for all large $x$, then $\lim_{t\to\infty} \left\{\sup_{x\in \mathbb R}|u(x,t)-\Phi_{c_*}(x-c_*t-x_0)|\right\}=0$ for some $x_0\in \mathbb R$. In dimension one we obtain an analogous stability result for the case of compactly supported initial data, not necessarily symmetric. In higher dimensions we show that $\Phi_{c_*}$ is still attractive, albeit that a logarithmic shifting occurs. More precisely, if the initial function in $(*)$ 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\to\infty}\left\{\sup_{x\in\mathbb R^N}|u(x,t)-\Phi_{c_*}(|x|-c_*t+(N-1)c^*\log t-r_0)|\right\}=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)$ for all large time $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\}$, and for any $c\in (0, c^*)$, $ \lim_{t\to\infty}u(x,t)=1 \mbox{ uniformly in } \big\{|x|\leq c_*t-(N-1)c\log t\big\}. $