pith. sign in

arxiv: 2301.11504 · v3 · submitted 2023-01-27 · 🧮 math.DS

Traveling waves in reaction-diffusion equations with delay in both diffusion and reaction terms

William Barker , Nguyen Van Minh This is my paper

Pith reviewed 2026-05-24 09:42 UTC · model grok-4.3

classification 🧮 math.DS
keywords traveling wavesreaction-diffusion equationstime delaysmonotone iteration methodGreen's functionFisher-KPP equationBelousov-Zhabotinski equation
0
0 comments X

The pith

Traveling waves exist for Fisher-KPP and Belousov-Zhabotinski equations with sufficiently small delays in both diffusion and reaction terms.

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

The paper proves that traveling wave solutions exist for reaction-diffusion systems that include positive delays in both the diffusion operator and the reaction term. It establishes this by first proving a sign property for the Green's function of an auxiliary linear functional differential equation when the delay parameter is small. The property allows the monotone iteration scheme to produce ordered upper and lower solutions. The argument is carried through explicitly for the Fisher-KPP equation and the Belousov-Zhabotinski system, showing that the waves known to exist in the delay-free case survive under sufficiently small delays.

Core claim

We show that for sufficiently small positive r the linear functional equation x''(t) - a x'(t+r) - b x(t+r) = f(t) admits a unique bounded solution on the whole line, and that this solution is non-positive whenever f is non-negative. Using this sign property we extend the monotone iteration method to reaction-diffusion systems with delays in both diffusion and reaction, and thereby obtain traveling waves for the Fisher-KPP and Belousov-Zhabotinski equations when the delays τ1 and τ2 are small.

What carries the argument

The sign property of the Green's function for the linear functional differential equation x''(t) - a x'(t+r) - b x(t+r) = f(t) when r > 0 is sufficiently small.

If this is right

  • Traveling waves exist for the Fisher-KPP equation when both delays are sufficiently small.
  • Traveling waves exist for the Belousov-Zhabotinski equation when both delays are sufficiently small.
  • The monotone iteration method applies to systems satisfying the standard monotonicity conditions once the Green's function sign property holds.
  • Upper and lower solutions can be constructed from the sign property in the same manner as in the non-delayed case.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same sign-property argument may apply to other monotone reaction-diffusion systems not treated in the paper.
  • For delays larger than the threshold where the sign property fails, existence may require entirely different methods.
  • Numerical integration of the delayed Fisher-KPP equation for a sequence of decreasing small delays could check whether the predicted waves appear.
  • The result suggests that small finite-speed effects in both diffusion and reaction do not eliminate wave propagation in these two models.

Load-bearing premise

The delays must be small enough that the Green's function of the associated linear delayed equation satisfies the required sign condition.

What would settle it

An explicit calculation for some small r > 0 that produces a non-negative f whose corresponding bounded solution x_f is positive at some point.

read the original abstract

We study the existence of traveling waves of reaction-diffusion systems with delays in both diffusion and reaction terms of the form $\partial u(x,t)/\partial t = \Delta u(x,t-\tau_1)+f(u(x,t),u(x,t-\tau_2))$, where $\tau_1,\tau_2$ are positive constants. We extend the monotone iteration method to systems that satisfy typical monotone conditions by thoroughly studying the sign of the Green function associated with a linear functional differential equation. Namely, we show that for small positive $r$ the functional equation $x''(t)-ax'(t+r)-bx(t+r)=f(t)$, where $a\not=0, b>0$ has a unique bounded solution for each given bounded and continuous $f(t)$. Moreover, if $r>0$ is sufficiently small, $f(t)\ge 0$ for $t\in {\mathbb R}$, then the unique bounded solution $x_f(t)\le 0$ for all $t\in {\mathbb R}$. In the framework of the monotone iteration method that is developed based on this result, upper and lower solutions are found for Fisher-KPP and Belousov-Zhabotinski equations to show that traveling waves exist for these equations when delays are small in both diffusion and reaction terms. The obtained results appear to be new.

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

0 major / 3 minor

Summary. The manuscript proves existence of traveling waves for reaction-diffusion equations with delays in both diffusion and reaction terms. For the Fisher-KPP and Belousov-Zhabotinski systems, traveling waves are shown to exist when the delays τ1 and τ2 are sufficiently small. The proof proceeds by establishing that the linear functional differential equation x''(t) - a x'(t+r) - b x(t+r) = f(t) (a ≠ 0, b > 0) admits a unique bounded solution whose sign is opposite to that of f when r > 0 is small, via perturbation from the r = 0 case; this sign property is then used to construct upper and lower solutions and apply the monotone iteration method.

Significance. If the Green's function sign property holds as stated, the work extends the monotone iteration technique to a broader class of delayed reaction-diffusion systems, addressing a gap where delays appear in the diffusion term. This is relevant for applications in population dynamics and chemical kinetics. The perturbation argument from the non-delayed Green's function and the explicit limitation to small delays are technically appropriate strengths; the results are presented as new.

minor comments (3)
  1. [§2] §2 (linear FDE analysis): the perturbation argument establishing the sign property for small r would benefit from an explicit estimate on the size of r in terms of a and b to make the 'sufficiently small' condition quantitative rather than existential.
  2. The relation between the delay parameter r in the linear equation and the original delays τ1, τ2 in the PDE should be stated explicitly when the traveling-wave ODE is derived, to clarify how the small-r condition translates to the original system.
  3. [Introduction] A brief comparison paragraph with prior monotone-iteration results for reaction delays only (without diffusion delay) would help situate the novelty.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript, the accurate summary of the results on traveling waves for delayed reaction-diffusion systems, and the recommendation of minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained analysis

full rationale

The paper establishes existence of traveling waves for small delays by first proving (via perturbation from the r=0 case) that the linear FDE x''(t) - a x'(t+r) - b x(t+r) = f(t) admits a unique bounded solution x_f with sign opposite to f when r is small and b>0. This sign property is then used to construct monotone upper/lower solutions for the traveling-wave ODEs of the Fisher-KPP and BZ systems. No step reduces a claimed result to a fitted parameter, self-definition, or load-bearing self-citation; the central argument is an independent perturbation analysis followed by standard monotone iteration. The result is therefore not equivalent to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard existence and uniqueness results for linear functional differential equations and the monotone iteration framework; no free parameters are fitted and no new entities are postulated.

axioms (2)
  • standard math Existence and uniqueness of bounded solutions to the linear functional differential equation x''(t)-a x'(t+r)-b x(t+r)=f(t) for small r
    Invoked to establish the Green's function sign property that underpins the monotone iteration.
  • domain assumption The system satisfies typical monotone conditions allowing upper and lower solutions to be constructed
    Required for the monotone iteration method to apply to Fisher-KPP and Belousov-Zhabotinski equations.

pith-pipeline@v0.9.0 · 5773 in / 1433 out tokens · 38026 ms · 2026-05-24T09:42:20.296185+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

30 extracted references · 30 canonical work pages

  1. [1]

    Al-Omari, S

    J. Al-Omari, S. Gourley, Monotone travelling fronts in an age-str uctured reaction-diffusion model of a single species. J Math Biol 45, 294–312 (2002)

    work page 2002

  2. [2]

    Boumenir, N

    A. Boumenir, N. Van Minh, Perron Theorem in the Monotone Itera tion Method for Traveling Waves in Delayed Reaction-Diffusion Equations, J. Differential Equations 7 (2008) 1551-1570

    work page 2008

  3. [3]

    Broughton, Continuous Dependence of Solutions of Equatio ns on Parameters Mathematical Sciences Technical Reports (MSTR)

    S.A. Broughton, Continuous Dependence of Solutions of Equatio ns on Parameters Mathematical Sciences Technical Reports (MSTR). 107 (2014)

    work page 2014

  4. [4]

    Cantrell, C

    R. Cantrell, C. Cosner. Spatial Ecology via Reaction-Diffusion Equ ations. John Wiley & Sons. London 2003

    work page 2003

  5. [5]

    Cooke, Z

    K. Cooke, Z. Grossman, Discrete Delay, Distributed Delay and St ability Switches. J. Math. Anal. App. 86 ( 1982) 592-627

    work page 1982

  6. [6]

    Dalecki, M

    J. Dalecki, M. Krein, Stability of Solutions of Differential Equations in Banach S pace, Translations of Mathematical Monographs, 43 (1974)

    work page 1974

  7. [7]

    Dieudonne

    J. Dieudonne. Foundations of Modern Analysis . Academic Press. New York/London. 1960

    work page 1960

  8. [8]

    Durrett, and S.A

    R. Durrett, and S.A. Levin. The importance of being discrete (an d spatial). Theor. Pop. Biol. 46 (1994), 363–394

    work page 1994

  9. [9]

    J. Fang, P. Shao, J. Shi. Bistable traveling waves for time periodic reaction-diffusion equations in strip with Dirichlet boundary condition. J. Differential Equations , 339 (2022), 350-371

    work page 2022

  10. [10]

    P. C. Fife, Mathematical Aspects of Reaction and Diffusion Systems Lect ure Notes in Biomathematics , Vol. 28, Springer-Verlag, Berlin and New York, 1979

    work page 1979

  11. [11]

    Fisher, The Wave of Advance of Advantageous Genes, Ann

    R.A. Fisher, The Wave of Advance of Advantageous Genes, Ann. Eugenics 7 (1937) 355–369

    work page 1937

  12. [12]

    Hale, Theory of Functional Differential Equations , Springer-Verlag, New York 1977

    J. Hale, Theory of Functional Differential Equations , Springer-Verlag, New York 1977

    work page 1977

  13. [13]

    Huang, X

    J. Huang, X. Zou, Existence of traveling wavefronts of delaye d reaction diffusion systems without mono- tonicity, Discrete Continuous Dyn. Syst. 9(4) (2003) 1117–1128

    work page 2003

  14. [14]

    Kolmogorov, I.G

    A.N. Kolmogorov, I.G. Petrovskii, N.S. Piskunov, Study of a diffus ion equation that is related to the growth of a quality of matter, and its application to a biological proble m, Byul. Mosk. Gos. Univ. Ser. A Mat. Mekh. 1 (1937) 1–26

    work page 1937

  15. [15]

    C. Liu, M. Mei, J. Yang, Global stability of traveling waves for non local time-delayed degenerate diffusion equation. J. Differential Equations 306 (2022), 60-100

    work page 2022

  16. [16]

    Ma, Traveling Waves for Delayed Reaction-Diffusion Systems V ia a Fixed Point Theorem, J

    S. Ma, Traveling Waves for Delayed Reaction-Diffusion Systems V ia a Fixed Point Theorem, J. Differ- ential Equations , 171 (2001) 294-314

    work page 2001

  17. [17]

    Mallet-Paret

    J. Mallet-Paret. The Fredholm Alternative for Function Differen tial Equations of Mixed Type. J. Dy- namics and Differential Equations , 11 (1999). p. 1-47

    work page 1999

  18. [18]

    Murakami, T

    S. Murakami, T. Naito, Nguyen Van Minh. Evolution semigroups an d sums of commuting operators: A new approach to the admissibility theory of function spaces. J. Differential Equations , 164 (2000), 240-285

    work page 2000

  19. [19]

    An Introduction , Springer-Verlag, New York 2002

    J.D Murray, Mathematical Biology I. An Introduction , Springer-Verlag, New York 2002

    work page 2002

  20. [20]

    Spatial Models and Biomedical App lications, Springer-Verlag, New York 2002

    J.D Murray, Mathematical Biology II. Spatial Models and Biomedical App lications, Springer-Verlag, New York 2002

    work page 2002

  21. [21]

    J. Pruss. Bounded Solutions of Volterra Equations. SIAM J. Math Anal. , 19 (1988). p. 133-149. 36 BARKER AND N.V. MINH

    work page 1988

  22. [22]

    Schaaf, Asymptotic Behavior and Traveling Wave Solutions fo r Parabolic Functional Differential Equations, Transactions of the American Mathematical Society 302 (1987) 587-615

    K. Schaaf, Asymptotic Behavior and Traveling Wave Solutions fo r Parabolic Functional Differential Equations, Transactions of the American Mathematical Society 302 (1987) 587-615

    work page 1987

  23. [23]

    Smith, Monotone Dynamical Systems: An Introduction to the Theory o f Competitive and Cooperative Systems, Am

    H. Smith, Monotone Dynamical Systems: An Introduction to the Theory o f Competitive and Cooperative Systems, Am. Math. Soc., Providence, RI, 1995

    work page 1995

  24. [24]

    S. Ruan, J. Wei, On the zeros of transcendental functions wit h applications to stability of delay differ- ential equations with two delays, Dynam. Contin. Discrete Impuls. Systems: Series A: Math. An al. 10 (2003), 863–874

    work page 2003

  25. [25]

    S. Ruan, W. Feng , X. Lu, On traveling wave solutions in general r eaction–diffusion systems with time delays, J. Math. Anal. Appl. 448 (2017) 376–400

    work page 2017

  26. [26]

    V. Volpert. Existence of Waves for a Bistable Reaction–Diffusion System with Delay. Journal of Dynam- ics and Differential Equations , 32 (2020), 615-629

    work page 2020

  27. [27]

    A. I. Volpert, V. A. Volpert, and V. A. Volpert. Traveling Wave Solutions of Parabolic Systems . Trans- lations of Mathematical Monographs, Vol. 140, Am. Math. Soc., Providence, RI, 1994

    work page 1994

  28. [28]

    J. Wei, S. Ruan, Stability and bifurcation in a neural network mod el with two delays, Physica D 130 (1999), 255–272

    work page 1999

  29. [29]

    J. Wu, X. Zou, Traveling Wave Fronts of Reaction-Diffusion equa tions with Delay, Journal of Dynamics and Differential Equations 13 (2001) 651-687

    work page 2001

  30. [30]

    X. Q. Zhao, W.Wang, Fisher waves in an epidemic model. Discrete Contin. Dyn. Syst. Ser. B 4 (2004) 1117–1128. Department of Mathematics and Statistics, University of Ar kansas at Little Rock,, 2801 S University A ve, Little Rock, AR 72204. USA, Email: wkbarke r@ualr.edu Department of Mathematics and Statistics, University of Ar kansas at Little Rock,, 280...

    work page 2004