pith. sign in

arxiv: 2604.27556 · v1 · submitted 2026-04-30 · 🧮 math.AP

Freidlin-G\"artner formula and asymptotic profile in reaction-diffusion equations

Pith reviewed 2026-05-07 10:19 UTC · model grok-4.3

classification 🧮 math.AP
keywords reaction-diffusion equationsperiodic mediaFreidlin-Gärtner formulaasymptotic shapepulsating traveling frontsinvasion setbistable nonlinearitylarge-time behavior
0
0 comments X

The pith

The Freidlin-Gärtner formula characterizes the asymptotic shape of the invasion set for reaction-diffusion equations in periodic media.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper examines how solutions to reaction-diffusion equations behave over long times in media that repeat periodically in space. It shows that the region where the solution invades and spreads out takes a specific shape given by the Freidlin-Gärtner formula. The work outlines a general proof that applies to various reaction terms and then focuses on bistable cases where solutions approach traveling front profiles. This matters because it helps predict the speed and direction of spreading phenomena like fires, epidemics, or population invasions in repeating environments such as striped landscapes or periodic habitats.

Core claim

The asymptotic shape of the invasion set for solutions of reaction-diffusion equations with periodic coefficients is given by the Freidlin-Gärtner formula. For general reaction terms, this formula holds, and for weakly bistable nonlinearities, a regularized version applies, with solutions having bounded or unbounded initial data converging in profile to pulsating traveling fronts.

What carries the argument

The Freidlin-Gärtner formula, which characterizes the asymptotic shape of the invasion set.

Load-bearing premise

The spatial coefficients are periodic and the reaction nonlinearity satisfies the conditions for general or weakly bistable type, with initial data having bounded or unbounded support.

What would settle it

A counterexample in a periodic medium with a weakly bistable reaction where the level sets of the solution at large times fail to match the boundary given by the Freidlin-Gärtner formula would disprove the claim.

Figures

Figures reproduced from arXiv: 2604.27556 by Luca Rossi.

Figure 1
Figure 1. Figure 1: The first contact point (tn, xn) between tK and the level set {u(t + n, ·) = η}. We call un(t, x) := u(tn + n + t, tnxn + x). Conditions (3.6) rewrite as ( ∀t < 0, ∀x ∈ (tn + t)K − {tnxn}, un(t, x) > η un(0, 0) = η. (3.7) Now, the crucial observation is that, being K ⋐ W star-shaped with respect to the origin, the definition (3.5) of W implies that the family tK evolves by normal velocity less than c ∗ (ν)… view at source ↗
read the original abstract

We address the question of the large-time behavior of solutions to reaction-diffusion equations in periodic media. We start with the description of the asymptotic shape of the invasion set, which is characterized by the Freidlin-G\"artner formula. We outline a proof of the formula that holds true for general types of reaction terms. We then present some recent results, obtained in collaboration with H. Guo and F. Hamel, for (weakly) bistable equations. They include a regular version of the Freidlin-G\"artner formula and the convergence in profile towards pulsating traveling fronts for solutions with either bounded or unbounded initial support.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript examines the large-time behavior of solutions to reaction-diffusion equations in spatially periodic media. It characterizes the asymptotic shape of the invasion set via the Freidlin-Gärtner formula, outlines a proof valid for general reaction terms, and presents new results (with Guo and Hamel) for weakly bistable nonlinearities: a regular version of the formula together with profile convergence to pulsating traveling fronts, covering both bounded and unbounded initial supports.

Significance. If the outlined arguments hold, the work supplies a unified treatment of invasion dynamics across reaction types in periodic media, extending classical results to the weakly bistable regime and to unbounded initial data. The reliance on standard tools (comparison principles, variational methods for periodic problems) and the absence of free parameters or circular reductions strengthen the contribution to the literature on spreading speeds and asymptotic profiles.

major comments (2)
  1. [Outline of the proof for general reaction terms] Outline of the proof for general reaction terms: the sketch invokes comparison principles and variational methods, yet the passage to the sharp Freidlin-Gärtner formula requires explicit uniformity estimates with respect to the periodic cell; without them the claim that the formula holds for arbitrary reaction terms remains formally incomplete.
  2. [Results for (weakly) bistable equations] Results for (weakly) bistable equations: the announced 'regular version' of the Freidlin-Gärtner formula is not accompanied by a precise statement of the regularity condition or the modified variational characterization; this definition is load-bearing for the subsequent profile-convergence theorem.
minor comments (2)
  1. The manuscript should explicitly separate the new results from those already obtained in the cited collaboration with Guo and Hamel.
  2. Notation for the periodic coefficients, the nonlinearity, and the pulsating fronts should be collected in a preliminary section to improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the positive assessment recommending minor revision. We address each major comment below and will incorporate the necessary clarifications into the revised version.

read point-by-point responses
  1. Referee: Outline of the proof for general reaction terms: the sketch invokes comparison principles and variational methods, yet the passage to the sharp Freidlin-Gärtner formula requires explicit uniformity estimates with respect to the periodic cell; without them the claim that the formula holds for arbitrary reaction terms remains formally incomplete.

    Authors: We agree that explicit uniformity estimates are essential to rigorize the passage from the variational characterization to the sharp Freidlin-Gärtner formula. The outline in the manuscript relies on the fact that the periodicity of the coefficients and the standard comparison principle for periodic problems automatically yield uniformity over the cell; however, to make this fully transparent, we will expand the sketch (in the relevant section) by inserting the explicit uniformity estimates obtained from the variational formulation and the periodicity. This addition will confirm that the formula holds for general reaction terms without additional assumptions. revision: yes

  2. Referee: Results for (weakly) bistable equations: the announced 'regular version' of the Freidlin-Gärtner formula is not accompanied by a precise statement of the regularity condition or the modified variational characterization; this definition is load-bearing for the subsequent profile-convergence theorem.

    Authors: We acknowledge that the precise regularity condition and the modified variational characterization for the regular version of the Freidlin-Gärtner formula need to be stated explicitly. In the current manuscript the regular version is introduced via a modified variational problem that incorporates a regularity assumption on the nonlinearity (ensuring the existence of pulsating fronts), but the statement is concise. We will add a dedicated paragraph or subsection immediately preceding the profile-convergence theorem that gives the exact regularity condition (C^1 nonlinearity satisfying standard growth and bistability hypotheses) together with the modified variational characterization. This will make the load-bearing definition fully explicit and self-contained. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation follows from PDE structure

full rationale

The paper outlines a direct proof of the Freidlin-Gärtner formula from the reaction-diffusion PDE under spatial periodicity and standard reaction conditions (zeros and signs). The bistable results are presented as collaborative extensions but the central characterization and profile convergence do not reduce to self-definitions, fitted inputs renamed as predictions, or load-bearing self-citations. Assumptions are external and standard; the chain is self-contained against the PDE and periodicity.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard assumptions from the theory of reaction-diffusion equations rather than new free parameters or invented entities.

axioms (2)
  • domain assumption The diffusion and reaction coefficients are periodic with respect to the spatial variable.
    Invoked to define the periodic media and enable the variational characterization of spreading speeds.
  • domain assumption The nonlinearity f(x,u) satisfies conditions appropriate to general or weakly bistable reaction terms, including f(x,0)=f(x,1)=0 with suitable sign conditions.
    Required for the existence of invasion and the applicability of comparison principles and front constructions.

pith-pipeline@v0.9.0 · 5389 in / 1352 out tokens · 92240 ms · 2026-05-07T10:19:17.098864+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages

  1. [1]

    D. G. Aronson and H. F. Weinberger, Multidimensional nonlinear diffusion arising in population genetics,Adv. Math.30 (1978), 33–76

  2. [2]

    Berestycki and F

    H. Berestycki and F. Hamel, Front propagation in periodic excitable media,Comm. Pure Appl. Math.55 (2002), 949–1032

  3. [3]

    Berestycki and F

    H. Berestycki and F. Hamel. Generalized travelling waves for reaction-diffusion equations. InPerspectives in nonlinear partial differential equations, volume 446 of Contemp. Math., pages 101–123. Amer. Math. Soc., Providence, RI, 2007

  4. [4]

    Berestycki, F

    H. Berestycki, F. Hamel and G. Nadin, Asymptotic spreading in heterogeneous diffusive media,J. Funct. Anal.255 (2008), 2146–2189

  5. [5]

    Berestycki, F

    H. Berestycki, F. Hamel, and N. Nadirashvili. The speed of propagation for KPP type problems. I. Periodic framework.J. Eur. Math. Soc. (JEMS), 7(2):173–213, 2005

  6. [6]

    M. Bramson. Convergence of solutions of the Kolmogorov equation to travelling waves.Mem. Amer. Math. Soc., 44(285):iv+190, 1983

  7. [7]

    W. Ding, F. Hamel, and X.-Q. Zhao. Bistable pulsating fronts for reaction-diffusion equations in a periodic habitat.Indiana Univ. Math. J., 66(4):1189–1265, 2017. 13

  8. [8]

    Du and H

    Y. Du and H. Matano. Radial terrace solutions and propagation profile of multi- stable reaction-diffusion equations overR N.https://arxiv.org/pdf/1711.00952.pdf

  9. [9]

    Ducasse and L

    R. Ducasse and L. Rossi. Blocking and invasion for reaction-diffusion equations in periodic media.Calc. Var. Partial Differential Equations, 57(5):Art. 142, 39, 2018

  10. [10]

    A. Ducrot. On the large time behaviour of the multi-dimensional Fisher-KPP equation with compactly supported initial data.Nonlinearity, 28(4):1043–1076, 2015

  11. [11]

    Ducrot, T

    A. Ducrot, T. Giletti, and H. Matano. Existence and convergence to a propagating terrace in one-dimensional reaction-diffusion equations.Trans. Amer. Math. Soc., 366(10):5541–5566, 2014

  12. [12]

    C.; Souganidis, P

    Evans, L. C.; Souganidis, P. E. A PDE approach to geometric optics for certain semilinear parabolic equations.Indiana Univ. Math. J.38(1989), no. 1, 141–172

  13. [13]

    Fang and X.-Q

    J. Fang and X.-Q. Zhao. Bistable traveling waves for monotone semiflows with applications.J. Eur. Math. Soc. (JEMS), 17(9):2243–2288, 2015

  14. [14]

    Freidlin and J

    M. Freidlin and J. G¨ artner, On the propagation of concentration waves in periodic and random media,Sov. Math. Dokl.20 (1979), 1282–1286

  15. [15]

    G¨ artner

    J. G¨ artner. Location of wave fronts for the multidimensional KPP equation and Brownian first exit densities.Math. Nachr., 105:317–351, 1982

  16. [16]

    Giletti and L

    T. Giletti and L. Rossi. Pulsating solutions for multidimensional bistable and multistable equations.Math. Ann., 378(3-4):1555–1611, 2020

  17. [17]

    Giletti and L

    T. Giletti and L. Rossi. Stability of propagating terraces in spatially periodic multistable equations inR N.https://arxiv.org/abs/2503.07128

  18. [18]

    H. Guo, F. Hamel, and L. Rossi, Asymptotic profile of solutions of reaction-diffusion equations.To appear on Trans. Am. Math. Soc

  19. [19]

    H. Guo, F. Hamel and L. Rossi. Reaction-diffusion equations in periodic media: spreading speeds and spreading sets.In preparation

  20. [20]

    Hamel, J

    F. Hamel, J. Nolen, J.-M. Roquejoffre, and L. Ryzhik. A short proof of the logarith- mic Bramson correction in Fisher-KPP equations.Netw. Heterog. Media, 8(1):275– 289, 2013

  21. [21]

    Hamel, J

    F. Hamel, J. Nolen, J.-M. Roquejoffre, and L. Ryzhik. The logarithmic delay of KPP fronts in a periodic medium.J. Eur. Math. Soc. (JEMS), 18(3):465–505, 2016

  22. [22]

    Hamel and L

    F. Hamel and L. Rossi. Spreading speeds and spreading sets of reaction-diffusion equations.Preprint, arXiv: 2105.08344, 2026

  23. [23]

    C. K. R. T. Jones. Asymptotic behaviour of a reaction-diffusion equation in higher space dimensions.Rocky Mountain J. Math., 13(2):355–364, 1983. 14

  24. [24]

    Roquejoffre, L

    J.-M. Roquejoffre, L. Rossi, and V. Roussier-Michon. Sharp large time behaviour in N-dimensional Fisher-KPP equations.Discrete Contin. Dyn. Syst., 39(12):7265– 7290, 2019

  25. [25]

    L. Rossi. Symmetrization and anti-symmetrization in parabolic equations.Proc. Amer. Math. Soc., 145(6):2527–2537, 2017

  26. [26]

    L. Rossi. The Freidlin-G¨ artner formula for general reaction terms.Adv. Math., 317:267–298, 2017

  27. [27]

    Roussier

    V. Roussier. Stability of radially symmetric travelling waves in reaction-diffusion equations.Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire, 21(3):341–379, 2004

  28. [28]

    Shigesada, K

    N. Shigesada, K. Kawasaki, and E. Teramoto. Traveling periodic waves in hetero- geneous environments.Theoret. Population Biol., 30(1):143–160, 1986

  29. [29]

    Uchiyama

    K. Uchiyama. Asymptotic behavior of solutions of reaction-diffusion equations with varying drift coefficients.Arch. Rational Mech. Anal., 90(4):291–311, 1985

  30. [30]

    Weinberger, H. F. On spreading speeds and traveling waves for growth and migra- tion models in a periodic habitat.J. Math. Biol.45(2002), no. 6, 511–548

  31. [31]

    X. Xin. Existence and stability of traveling waves in periodic media governed by a bistable nonlinearity.J. Dynam. Differential Equations, 3(4):541–573, 1991

  32. [32]

    J. X. Xin. Existence and nonexistence of traveling waves and reaction-diffusion front propagation in periodic media.J. Statist. Phys., 73(5-6):893–926, 1993

  33. [33]

    Yagisita

    H. Yagisita. Nearly spherically symmetric expanding fronts in a bistable reaction- diffusion equation.J. Dynam. Differential Equations, 13(2):323–353, 2001. 15