alphaFeedback

WorksMathematics

The Hamel-Nadirashvili conjecture for the Fisher-KPP equation

AI contributions
Not recorded for this paper
View details

Abstract

We resolve the Hamel-Nadirashvili conjecture, which concerns the classification of all [0,1]-valued entire solutions of Fisher-KPP equations with concave C^2 reaction terms in arbitrary space dimension. We prove that every such solution is a C_{loc}^{1,2} limit of solutions generated by finitely many planar traveling fronts, possibly together with a spatially homogeneous solution. Our approach reveals an ordered linear structure underlying the nonlinear solution space, leading to a critical-subcritical spectral decomposition. The proof combines linear reconstruction of subcritical approximants with a measure representation (a kind of nonlinear Martin representation) of critical solutions, obtained through small-amplitude asymptotics and comparison with a radially symmetric entire solution.

Introduction and main results

In this paper, we consider entire solutions of the homogeneous Fisher–KPP equation

ut=Δu+f(u),for (t,x)∈R×RN,(1)u_t=\Delta u+f(u),\qquad\text{for }(t,x)\in\mathbb{R}\times\mathbb{R}^{N}, \tag*{(1)}

with N≥1N\ge1 and a reaction satisfying

f∈C2([0,1]),f(0)=f(1)=0,f(u)>0for 0<u<1,f\in C^2([0,1]),\qquad f(0)=f(1)=0,\qquad f(u)>0\quad\text{for }0<u<1,
f′′(u)≤0for 0≤u≤1.(2)f''(u)\le0\quad\text{for }0\le u\le1. \tag*{(2)}

For convenience, we extend ff to a concave C1C^1 function on R\mathbb{R} by setting f(u)=f′(0)uf(u)=f'(0)u for u<0u<0 and f(u)=f′(1)(u−1)f(u)=f'(1)(u-1) for u>1u>1. Concavity and positivity imply

f′(0)>0,f′(1)<0,f(u)≤f′(0)ufor 0≤u≤1.f'(0)>0,\qquad f'(1)<0,\qquad f(u)\le f'(0)u\quad\text{for }0\le u\le1.

A typical example is the logistic nonlinearity, that is, f(u)=u(1−u)f(u)=u(1-u) for u∈[0,1]u\in[0,1]. This equation was introduced in the pioneering works of Fisher [16] and Kolmogorov, Petrovskii, and Piskunov [33]. Equation (1) also arises in models of population dynamics and other biological phenomena; see [2, 3, 15, 16, 17, 38, 44, 52]. An entire solution is a classical solution defined for t∈Rt\in\mathbb{R} and x∈RNx\in\mathbb{R}^{N}. In this work, we only consider entire solutions between 0 and 1. The strong maximum principle implies that it is either identically 0, identically 1, or strictly between 0 and 1. Let E\mathcal{E} denote this class of entire solutions. Our purpose is to prove the Hamel–Nadirashvili closure conjecture under (2), that is, every entire solution between 0 and 1 can be approximated by Hamel–Nadirashvili solutions generated by traveling fronts and the spatially homogeneous solution.

A typical entire solution of (1) is the traveling wave solution. It is well known that, in dimension N=1N=1, (1) admits traveling wave solutions u(t,x)=ϕc(x+ct)u(t,x)=\phi_c(x+ct) if and only if c≥c∗=2f′(0)c\ge c_* = 2\sqrt{f'(0)}, where c∗c_* is called the minimal, or critical speed, see [2, 9, 15, 17, 21, 32, 44, 52]. The profile ϕc\phi_c and the speed cc of the traveling wave solution satisfy

ϕ′′−cϕ′+f(ϕ)=0,ϕ(−∞)=0,ϕ(+∞)=1,ϕ′>0.(3)\phi''-c\phi'+f(\phi)=0,\qquad\phi(-\infty)=0,\qquad\phi(+\infty)=1,\qquad\phi'>0. \tag*{(3)}

The profile ϕc\phi_c is increasing and unique up to translation. Since ϕc\phi_c connects the two equilibrium states 0 and 1, we also call ϕc(x+ct)\phi_c(x+ct) traveling front. One of the important features of ϕc(s)\phi_c(s) is its leading-edge tail near the unstable equilibrium 0 as s→−∞s\to-\infty. By the phase-plane analysis, one knows that the leading-edge tail is asymptotically governed by the linearized equation ϕ′′−cϕ′+f′(0)ϕ=0\phi''-c\phi'+f'(0)\phi=0. This ODE has eigenvalues

λ(c)=c−c2−4f′(0)2>0,λ+(c)=c+c2−4f′(0)2>0.\lambda(c)=\frac{c-\sqrt{c^2-4f'(0)}}{2}>0,\qquad\lambda^+(c)=\frac{c+\sqrt{c^2-4f'(0)}}{2}>0.

In particular, λ∗:=λ(c∗)=λ+(c∗)=c∗/2=f′(0)\lambda_*:=\lambda(c_*)=\lambda^+(c_*)=c_*/2=\sqrt{f'(0)} is the double root of the quadratic equation λ2−c∗λ+f′(0)=0\lambda^2-c_*\lambda+f'(0)=0. Up to translation, one has the following leading-edge tail of ϕc\phi_c

for c>c∗,ϕc(s)∼eλ(c)sas s→−∞,(4)\text{for }c>c_*,\qquad\phi_c(s)\sim e^{\lambda(c)s}\quad\text{as }s\to-\infty, \tag*{(4)}

and

ϕ∗(s):=ϕc∗(s)∼∣s∣eλ∗sas s→−∞.(5)\phi_*(s):=\phi_{c_*}(s)\sim|s|e^{\lambda_*s}\quad\text{as }s\to-\infty. \tag*{(5)}

More precisely, there exist B∈RB\in\mathbb{R} and δ>0\delta>0 such that

ϕ∗(s)=eλ∗s(−s+B+O(eδs))as s→−∞.(6)\phi_*(s)=e^{\lambda_*s}\left(-s+B+O(e^{\delta s})\right)\quad\text{as }s\to-\infty. \tag*{(6)}

The standard asymptotic estimates (4) and (5) can be found in [1, 7, 9, 13, 21, 31, 43, 54]. We also use the logarithmic derivative estimates

0<ϕc′(s)ϕc(s)<λ(c) for s∈R,ϕc′(s)ϕc(s)→λ(c) as s→−∞,c≥c∗.(7)0 < \frac{\phi_c'(s)}{\phi_c(s)} < \lambda(c) \text{ for } s \in\mathbb{R}, \qquad\frac{\phi_c'(s)}{\phi_c(s)} \to\lambda(c) \text{ as } s \to-\infty,\qquad c \ge c_*. \tag*{(7)}

The estimates (7) follow from [25]. In higher dimensions, the corresponding planar traveling fronts are ϕc(x⋅ν+ct)\phi_c(x \cdot\nu+ ct) for ν∈SN−1\nu\in\mathbb{S}^{N-1}. Throughout, the traveling fronts are fixed by (4) and (5).

In past decades, the theory of traveling wave solutions has been highly developed. When the coefficients of the equation depend on space and/or time, translation invariance is lost and such standard traveling fronts generally cease to exist, but new analogous notions have been introduced. In spatially and/or temporally periodic heterogeneous media, the natural analogue is a pulsating traveling front: the front propagates with a well-defined average speed while its profile is periodically modulated by the medium. Existence, uniqueness, stability, and spreading-speed properties of such fronts for KPP-type equations have been extensively studied, see [4, 8, 14, 23, 34, 35, 39, 42, 51, 55]. This framework has also been extended to almost-periodic, almost-automorphic, recurrent, random, and uniquely ergodic settings, see [29, 36, 40, 45, 46, 47, 48, 50, 49]. For still more general nonperiodic or nonautonomous heterogeneous media, the notions of generalized transition front provide a flexible description of entire solutions connecting the invaded and uninvaded states through an interface of uniformly bounded width, without requiring a rigid profile, a constant instantaneous speed, or periodicity, see [5, 6, 22, 24, 26, 58].

Entire solutions describe complete trajectories of the parabolic dynamics, connecting prescribed asymptotic patterns in the past to their evolution. After a suitable space-time rescaling, they may also arise as local limiting profiles near regions where several interfaces interact. A natural strategy of constructing entire solutions is taking one or several traveling fronts as their asymptotic building blocks. For bistable equations, where ff satisfies f(0)=f(1)=f(θ)=0f(0) = f(1) = f(\theta) = 0, f<0f < 0 on (0,θ)(0,\theta) and f>0f > 0 on (θ,1)(\theta,1) for some θ∈(0,1)\theta\in(0,1), the classical two front constructions describe oppositely oriented fronts approaching and merging, see [10, 11, 12, 18, 57]. Recent higher-dimensional results mix finitely many planar fronts to obtain transition fronts with changing shape, or obtain lower-dimensional and polyhedral entire solutions as limits of multidimensional traveling fronts [19, 41, 53].

Hamel–Nadirashvili conjecture

We first recall the work of Hamel and Nadirashvili and their conjecture [27, 28]. In the one-dimensional setting of (1), they [27] used two basic building blocks to construct entire solutions. The first is the spatially homogeneous solution ξf(t)\xi_f(t), defined by

ξf′(t)=f(ξf(t)),0<ξf(t)<1,ξf(t)∼ef′(0)t as t→−∞.(8)\xi_f'(t) = f(\xi_f(t)), \qquad0 < \xi_f(t) < 1, \qquad\xi_f(t) \sim e^{f'(0)t} \text{ as } t \to-\infty. \tag*{(8)}

This normalization determines ξf\xi_f uniquely. It is increasing and converges to 1 as t→+∞t \to+\infty; see [28]. For K>0K > 0, the homogeneous solution with leading coefficient KK is ξf(t+ln⁡K/f′(0))\xi_f(t + \ln K/f'(0)). The second consists of two counter-propagating traveling fronts,

uc,h+(t,x)=ϕc(x+ct+h),uc′,h′−(t,x)=ϕc′(−x+c′t+h′),u^+_{c,h}(t,x) = \phi_c(x + ct + h), \qquad u^-_{c',h'}(t,x) = \phi_{c'}(-x + c't + h'),

where c,c′>c∗c,c' > c_*. As (c,h)(c,h) and (c′,h′)(c',h') vary, these solutions form two dimensional manifolds of entire solutions. By mixing such fronts, with or without a time translate of ξf\xi_f, they constructed finite dimensional manifolds of entire solutions.

In arbitrary dimensions, they [28] extended this construction by mixing planar fronts through suitable Radon measures. More precisely, let

X:=(SN−1×[c∗,+∞))∪{∞}.X := \left(S^{N-1} \times[c_{*},+\infty)\right) \cup\{\infty\}.

The set SN−1×[c∗,+∞)S^{N-1} \times[c_{*},+\infty) is endowed with its usual topology, while a subset A⊂XA \subset X is a neighborhood of ∞\infty if ∞∈A\infty\in A and

SN−1×[c0,+∞)⊂AS^{N-1} \times[c_{0},+\infty) \subset A

for some c0≥c∗c_{0} \ge c_{*}. Thus, XX is a compact direction-speed space, and the additional point ∞\infty represents the spatially homogeneous solution, viewed as a front with infinite speed. Throughout, a positive measure means a nonnegative measure that is not identically zero. Let M\mathcal{M} denote the class of finite positive Radon measures ϑ\vartheta on XX such that the restriction of ϑ\vartheta to the critical speed set is a finite sum of Dirac masses:

ϑ∣SN−1×{c∗}=∑i=1kmiδ(νi,c∗),\left.\vartheta\right|_{S^{N-1}\times\{c_{*}\}}=\sum_{i=1}^{k}m_i\delta_{(\nu_i,c_{*})},

References

  1. [1]S. Agmon and L. Nirenberg, Properties of solutions of ordinary differential equations in a Banach space, Comm. Pure Appl. Math. 16 (1963), 121–239.DOI
  2. [2]D. G. Aronson and H. F. Weinberger, Multidimensional nonlinear diffusions arising in population genetics, Adv. Math. 30 (1978), 33–76.DOI
  3. [3]G. I. Barenblatt and Ya. B. Zel’dovich, Intermediate asymptotics in mathematical physics, Uspekhi Mat. Nauk 26 (1971), 115–129; English transl., Russian Math. Surveys 26 (1971), 45–61.DOI
  4. [4]H. Berestycki and F. Hamel, Front propagation in periodic excitable media, Comm. Pure Appl. Math. 55 (2002), 949–1032.
  5. [5]H. Berestycki and F. Hamel, Generalized travelling waves for reaction-diffusion equations, Contemp. Math. 446 (2007), 101–124.DOI
  6. [6]H. Berestycki and F. Hamel, Generalized transition waves and their properties, Comm. Pure Appl. Math. 65 (2012), 592–648.arxiv.org/abs/1012.0794
  7. [7]H. Berestycki and L. Nirenberg, Travelling fronts in cylinders, Ann. Inst. H. Poincaré Anal. Non Linéaire 9 (1992), 497–572.DOI
  8. [8]N. Boutillon, F. Hamel, and L. Roques, Periodic KPP equations: new insights into persistence, spreading, and the role of advection, J. Differential Equations 463 (2026), Paper No. 114174.arxiv.org/abs/2503.20390
  9. [9]M. Bramson, Convergence of solutions of the Kolmogorov equation to travelling waves, American Mathematical Society, Providence, RI, 1983.DOI
  10. [10]X. Chen and J.-S. Guo, Existence and uniqueness of entire solutions for a reaction–diffusion equation, J. Differential Equations 212 (2005), 62–84.
  11. [11]X. Chen, J.-S. Guo, and H. Ninomiya, Entire solutions of reaction–diffusion equations with balanced bistable nonlinearities, Proc. R. Soc. Edinburgh Sect. A 136 (2006), 1207–1237.
  12. [12]Y.-Y. Chen, J.-S. Guo, H. Ninomiya, and C.-H. Yao, Entire solutions originating from monotone fronts to the Allen–Cahn equation, Physica D 378–379 (2018), 1–19.DOI
  13. [13]E. A. Coddington and N. Levinson, Theory of Ordinary Differential Equations, McGraw–Hill, New York, 1955.
  14. [14]L. Deng and A. Ducrot, Existence of multi-dimensional pulsating fronts for KPP equations: a new formulation approach, Calc. Var. Partial Differential Equations 62 (2023), Paper No. 134.
  15. [15]P. C. Fife, Mathematical aspects of reacting and diffusing systems, Springer Science & Business Media, 2013.
  16. [16]R. A. Fisher, The wave of advance of advantageous genes, Ann. Eugenics 7 (1937), 355–369.DOI
  17. [17]M. Freidlin, Wave-front propagation for KPP-type equations, Surveys in Applied Mathematics, vol. 2, Springer US, Boston, MA, 1995, 1–62.DOI
  18. [18]J.-S. Guo and Y. Morita, Entire solutions of reaction–diffusion equations and an application to discrete diffusive equations, Discrete Contin. Dyn. Syst. 12 (2005), 193–212.DOI
  19. [19]H. Guo and K. Wang, Some new bistable transition fronts with changing shape, Math. Ann. 392 (2025), 3797–3850.arxiv.org/abs/2404.09237
  20. [20]H. Guo, K. Wang, and M. Zhou, Critical endpoint asymptotics for radial entire solutions of the Fisher–KPP equation, in preparation.
  21. [21]K. P. Hadeler and F. Rothe, Travelling fronts in nonlinear diffusion equations, J. Math. Biol. 2 (1975), 251–263.DOI
  22. [22]F. Hamel and G. Nadin, Diameters of the level sets for reaction-diffusion equations in nonperiodic slowly varying media, Proc. Amer. Math. Soc. 150 (2022), 3549–3564.arxiv.org/abs/2105.08359
  23. [23]F. Hamel and L. Roques, Uniqueness and stability properties of monostable pulsating fronts, J. Eur. Math. Soc. 13 (2011), 345–390.
  24. [24]F. Hamel and L. Rossi, Admissible speeds of transition fronts for non-autonomous monostable equations, SIAM J. Math. Anal. 47 (2015), 3342–3392.arxiv.org/abs/1411.5808
  25. [25]F. Hamel and L. Rossi, Transition fronts for the Fisher–KPP equation, Trans. Amer. Math. Soc. 368 (2016), 8675–8713.arxiv.org/abs/1404.2821
  26. [26]F. Hamel and M. Zhang, KPP transition fronts in a one-dimensional two-patch habitat, Math. Med. Biol. 42 (2025), 71–97.arxiv.org/abs/2307.13307
  27. [27]F. Hamel and N. Nadirashvili, Entire solutions of the KPP equation, Comm. Pure Appl. Math. 52 (1999), 1255–1276.
  28. [28]F. Hamel and N. Nadirashvili, Travelling fronts and entire solutions of the Fisher–KPP equation in ℝ^N, Arch. Ration. Mech. Anal. 157 (2001), 91–163.
  29. [29]J. Huang and W. Shen, Speeds of spread and propagation for KPP models in time almost periodic media, SIAM J. Appl. Dyn. Syst. 8 (2009), 790–821.DOI
  30. [30]S. Kakutani, Concrete representation of abstract (M)-spaces (A characterization of the space of continuous functions), Ann. of Math. (2) 42 (1941), 994–1024.DOI
  31. [31]Y. Kametaka, On the nonlinear diffusion equation of Kolmogorov–Petrovskii–Piskunov type, Osaka J. Math. 13 (1976), 11–66.
  32. [32]Ya. I. Kanel’, Some problems involving burning-theory equations, Soviet Math. Dokl. 2 (1961), 48–51.
  33. [33]A. N. Kolmogorov, I. G. Petrovskij, and N. S. Piskunov, A study of the diffusion equation with increase in the amount of substance, and its application to a biological problem, Bull. Moscow Univ. Math. Mech. 1 (1937), 1–25.
  34. [34]X. Liang and X. Q. Zhao, Asymptotic speeds of spread and traveling waves for monotone semiflows with applications, Comm. Pure Appl. Math. 60 (2007), 1–40.DOI
  35. [35]X. Liang and X. Q. Zhao, Spreading speeds and traveling waves for abstract monostable evolution systems, J. Funct. Anal. 259 (2010), 857–903.DOI
  36. [36]X. Liang and T. Zhou, Propagation of KPP equations with advection in one-dimensional almost periodic media and its symmetry, Adv. Math. 407 (2022), Paper No. 108568.DOI
  37. [37]F. Lin and Q. S. Zhang, On ancient solutions of the heat equation, Comm. Pure Appl. Math. 72 (2019), 2006–2028.arxiv.org/abs/1712.04091
  38. [38]J. D. Murray, Mathematical Biology, Springer-Verlag, Berlin, 1989.
  39. [39]G. Nadin, Travelling fronts in space-time periodic media, J. Math. Pures Appl. 92 (2009), 232–262.arxiv.org/abs/1609.01431
  40. [40]G. Nadin and L. Rossi, Generalized transition fronts for one-dimensional almost periodic Fisher–KPP equations, Arch. Ration. Mech. Anal. 223 (2017), 1239–1267.DOI
  41. [41]H. Ninomiya and M. Taniguchi, Traveling front solutions of dimension n generate entire solutions of dimension (n − 1) in reaction–diffusion equations as the speeds go to infinity, Arch. Ration. Mech. Anal. 249 (2025), Paper No. 13.DOI
  42. [42]J. Nolen, M. Rudd, and J. Xin, Existence of KPP fronts in spatially-temporally periodic advection and variational principle for propagation speeds, Dyn. Partial Differ. Equ. 2 (2005), 1–24.DOI
  43. [43]A. Pazy, Asymptotic expansions of solutions of ordinary differential equations in Hilbert space, Arch. Ration. Mech. Anal. 24 (1967), 193–218.DOI
  44. [44]F. Rothe, Convergence to pushed fronts, Rocky Mountain J. Math. 11 (1981), 617–633.DOI
  45. [45]R. B. Salako and W. Shen, Long-time behavior of random and nonautonomous Fisher–KPP equations. Part II. Transition fronts, Stoch. Dyn. 19 (2019), Paper No. 1950046.arxiv.org/abs/1806.03508
  46. [46]W. Shen, Dynamical systems and traveling waves in almost periodic structures, J. Differential Equations 169 (2001), 493–548.DOI
  47. [47]W. Shen, Traveling waves in diffusive random media, J. Dynam. Differential Equations 16 (2004), 1011–1060.DOI
  48. [48]W. Shen, Variational principle for spreading speeds and generalized propagating speeds in time almost periodic and space periodic KPP models, Trans. Amer. Math. Soc. 362 (2010), 5125–5168.DOI
  49. [49]W. Shen, Existence, uniqueness, and stability of generalized traveling waves in time-dependent monostable equations, J. Dynam. Differential Equations 23 (2011), 1–44.DOI
  50. [50]W. Shen, Existence of generalized traveling waves in time-recurrent and space-periodic monostable equations, J. Appl. Anal. Comput. 1 (2011), 69–93.DOI
  51. [51]N. Shigesada, K. Kawasaki, and E. Teramoto, Traveling periodic waves in heterogeneous environments, Theor. Popul. Biol. 30 (1986), 143–160.DOI
  52. [52]A. N. Stokes, On two types of moving front in quasilinear diffusion, Math. Biosci. 31 (1976), 307–315.DOI
  53. [53]M. Taniguchi, Polyhedral entire solutions in reaction–diffusion equations, J. Differential Equations 429 (2025), 529–565.DOI
  54. [54]K. Uchiyama, The behavior of solutions of some semilinear diffusion equation for large time, J. Math. Kyoto Univ. 18 (1978), 453–508.
  55. [55]H. F. Weinberger, On spreading speeds and traveling waves for growth and migration models in a periodic habitat, J. Math. Biol. 45 (2002), 511–548.
  56. [56]D. V. Widder, The Heat Equation, Pure and Applied Mathematics, Vol. 67, Academic Press, New York–London, 1975.
  57. [57]H. Yagisita, Backward global solutions characterizing annihilation dynamics of travelling fronts, Publ. Res. Inst. Math. Sci. 39 (2003), 117–164.DOI
  58. [58]A. Zlatos, Transition fronts in inhomogeneous Fisher–KPP reaction-diffusion equations, J. Math. Pures Appl. 98 (2012), 89–102.arxiv.org/abs/1103.3094

Paper details

vlnc:W_33daj5ga
v1 · latestHistory (1)

published · Fresh — added to the Hub within the last 30 days

added ·

Usage

views · 0

downloads · 0

A view counts once per browser per day, a download each time the PDF is requested.

CC BY 4.0

Original source

  • Mathematics

Not recorded for this paper · View statement →

Looking for related papers…
Contents