Whole-space eventual log-concavity and level-set geometry for the multidimensional Fisher-KPP equation
We study eventual strict log-concavity and level-set geometry for the multidimensional Fisher-KPP equation with nontrivial, nonnegative, smooth compactly supported initial data, without assuming radial symmetry or convexity of the initial superlevel sets. Our main result is that there exist $T>1$ and $c>0$ such that $D_x^2\log u(t,x)\le -(c/t)e^{-β_*t}\mathrm{Id}$ for all $t\ge T$ and $x\in\mathbb{R}^N$, where $β_*=2(\sqrt2-1)$. Consequently, after a single waiting time, $u(t,\cdot)$ has exactly one critical point, a nondegenerate global maximizer, and every level set $\{u(t,\cdot)=λ\}$ with $0<λ<\max_x u(t,x)$ is a smooth closed strictly convex hypersurface with positive principal curvatures. For levels in any fixed closed interval $K\subset(0,1)$, the level sets are radial graphs $ρ=R_λ(t,ω)$, with every principal curvature bounded below by $(1-C\log t/t)/(2t)$ for all sufficiently large $t$. Unlike log-concavity, ordinary concavity exhibits a threshold determined by the inflection level of the critical travelling wave: for each fixed level above it, $u$ is eventually strictly concave on its superlevel set, whereas below it concavity eventually fails. Our proof proceeds by establishing estimates in four overlapping spatial regions. In the fixed-front region, we combine a one-sided estimate for second angular derivatives with radial and mixed derivative bounds to obtain curvature control without differentiating the Lipschitz directional phase. In the remaining regions, absorptive comparison in the invaded interior, leading-edge barriers and blow-up arguments through the diffusive scale, and Gaussian amplitude estimates combined with parabolic regularity in the exterior yield the required logarithmic-Hessian bounds.