pith. sign in

arxiv: 2604.08715 · v1 · submitted 2026-04-09 · 🧮 math.AP · cs.NA· math.NA

Proving the existence of localized patterns, periodic solutions, and branches of periodic solutions in the 1D Thomas model

Dominic Blanco This is my paper

Pith reviewed 2026-05-10 17:03 UTC · model grok-4.3

classification 🧮 math.AP cs.NAmath.NA
keywords Thomas modellocalized solutionsperiodic solutionsNewton-Kantorovich theoremcomputer-assisted proofsreaction-diffusion equations1D patternsrigorous numerics
0
0 comments X

The pith

A framework using Newton-Kantorovich theorems and approximate inverses proves the existence of localized and periodic solutions in the 1D Thomas model.

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

The paper develops a general method to rigorously verify the existence of stationary localized solutions, spatially periodic solutions, and branches of such periodic solutions in the one-dimensional Thomas model. By starting from a numerical approximation of a solution, the authors construct an approximate inverse to the linearized operator and derive explicit bounds to show that a fixed-point map is contracting in a neighborhood of the approximation. This computer-assisted approach handles the non-polynomial nonlinearity of the model through tailored estimates. If successful, it confirms both the existence and local uniqueness of the desired patterns without relying solely on analytical techniques. Such proofs are valuable because they provide certainty for patterns observed numerically in reaction-diffusion systems.

Core claim

Given an approximate solution bar u, the framework constructs an approximate inverse of the linearization and establishes conditions under which the Newton-Kantorovich fixed point map contracts on a ball around bar u. This yields rigorous proof of existence and local uniqueness for stationary localized solutions, spatially periodic solutions, and branches of periodic solutions in the 1D Thomas model, with explicit upper bounds computed for the required quantities despite the non-polynomial nature of the nonlinearity.

What carries the argument

The Newton-Kantorovich approach with a constructed approximate inverse of the linearized operator around an approximate solution bar u, which allows verification of contraction conditions for the fixed-point map.

If this is right

  • Existence and local uniqueness of stationary localized solutions near the approximate solution.
  • Existence and local uniqueness of spatially periodic solutions.
  • Existence of branches of spatially periodic solutions.
  • Control over the linearization around the approximate solution.
  • Applicability to models with non-polynomial nonlinearities via specialized bounding techniques.

Where Pith is reading between the lines

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

  • This method could extend to proving stability or dynamics of these solutions in time-dependent settings.
  • Similar computer-assisted techniques might apply to higher-dimensional versions of the Thomas model or other reaction-diffusion equations.
  • By making the bounds explicit and computable, the approach enables systematic exploration of parameter ranges where patterns exist.

Load-bearing premise

That a sufficiently accurate numerical approximate solution can be computed such that the constructed approximate inverse yields a contraction constant small enough to satisfy the Newton-Kantorovich conditions.

What would settle it

For a specific approximate solution bar u, if the computed upper bounds on the operator norms or the contraction constant exceed the thresholds required by the theorem, then the existence proof for solutions near that bar u fails.

Figures

Figures reproduced from arXiv: 2604.08715 by Dominic Blanco.

Figure 1
Figure 1. Figure 1: Plot of U1 (L) and U2 (R) on (−25, 25) used in the proof of Theorem 2.14. Theorem 2.15 (Second Localized Solution in Thomas). Let ν = 1.1664, ν1 = 8, ν2 = 1, ν3 = 0.28, ν4 = 39.10658, ν5 = 150. Moreover, let r0 def = 2 × 10−9 . Then there exists a unique solution u˜ to (2) in Br0 (u) ⊂ He and we have that ku˜ − ukH ≤ r0. Proof. Choose N0 = 750, N = 300, d = 50. The proof is obtained similarly to that of Th… view at source ↗
Figure 2
Figure 2. Figure 2: Plot of U1 (L) and U2 (R) on (−50, 50) used in the proof of Theorem 2.15. 18 [PITH_FULL_IMAGE:figures/full_fig_p018_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Plot of U1 (L) and U2 (R) on (−50, 50) used in the proof of Theorem 2.16. Theorem 2.17 (Fourth Localized Solution in Thomas). Let ν = 0.2116, ν1 = 8, ν2 = 1, ν3 = 0.28, ν4 = 21.3, ν5 = 64.5. Moreover, let r0 def = 4 × 10−11. Then there exists a unique solution u˜ to (2) in Br0 (u) ⊂ He and we have that ku˜ − ukH ≤ r0. Proof. Choose N0 = 1800, N = 650, d = 57. The proof is obtained similarly to that of Theo… view at source ↗
Figure 4
Figure 4. Figure 4: Plot of U1 (L) and U2 (R) on (−50, 50) used in the proof of Theorem 2.17. 19 [PITH_FULL_IMAGE:figures/full_fig_p019_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Plot of U1 (L) and U2 (R) on (−62, 62) used in the proof of Theorem 2.18. We have now completed our rigorous study of localized patterns in (1). We provided explicit estimates which allow for one to prove localized solutions in this model, which partially answers the question asked by the authors of [2]. To provide more rigorous results, we now move to periodic solutions. 3 Periodic Solutions In [2], the a… view at source ↗
Figure 6
Figure 6. Figure 6: Plot of U1 (L) and U2 (R) on (−5, 5) used in the proof of Theorem 3.7. 25 [PITH_FULL_IMAGE:figures/full_fig_p025_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Plot of U1 (L) and U2 (R) on − 10 3 , 10 3  used in the proof of Theorem 3.8. Theorem 3.9 (Third Periodic Solution in Thomas). Let ν = 0.1764, ν1 = 8, ν2 = 1, ν3 = 0.28, ν4 = 21, ν5 = 65. Moreover, let R def = 3 × 10−7 , τ def = 1.02. Then there exists a unique solution Ue to (28) in BR(U) ⊂ ℓ 1 e,1.02 and we have that kUe − Uk1,1.02 ≤ R. Proof. Choose N0 = 100, N = 100, d = 10. The proof follows similarl… view at source ↗
Figure 8
Figure 8. Figure 8: Plot of U1 (L) and U2 (R) on (−10, 10) used in the proof of Theorem 3.9. 26 [PITH_FULL_IMAGE:figures/full_fig_p026_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: The approximate branch of solutions proven in Theorem 4.5 [PITH_FULL_IMAGE:figures/full_fig_p032_9.png] view at source ↗
read the original abstract

In this paper, we present a general framework for constructively proving the existence and of stationary localized solutions, spatially periodic solutions, and branches of spatially periodic solutions in the 1D Thomas model. Specifically, we develop the necessary analysis to compute explicit upper bounds required in a Newton--Kantorovich approach. Given an approximate solution $\bar{\mathbf{u}}$, this approach relies on establishing that a well-chosen fixed point map is contracting on a neighborhood $\bar{\mathbf{u}}$. For this matter, we construct an approximate inverse of the linearization around $\bar{\mathbf{u}}$, and establish sufficient conditions under which the contraction is achieved. This provides a framework for which computer-assisted analysis can be applied to verify the existence and local uniqueness of solutions in a vicinity of $\bar{\mathbf{u}}$, and control the linearization around $\bar{\mathbf{u}}$. Furthermore, as the Thomas model has a non-polynomial nonlinearity, we will need to use different techniques to handle it during our analysis. The code to perform the rigorous proofs is available on Github.

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 / 3 minor

Summary. The paper presents a general framework for constructively proving the existence of stationary localized solutions, spatially periodic solutions, and branches of spatially periodic solutions in the 1D Thomas model. It develops the analysis needed to compute explicit upper bounds in a Newton-Kantorovich approach: given a numerical approximation bar u, an approximate inverse to the linearization is constructed and sufficient conditions are derived to ensure the fixed-point map is contracting on a neighborhood of bar u. Special techniques are introduced to bound the non-polynomial nonlinearity, and the implementation code using interval arithmetic is made available on GitHub.

Significance. If the case-by-case validations hold, the work supplies a reproducible, computer-assisted method for rigorously confirming the existence and local uniqueness of patterns in a reaction-diffusion equation with transcendental nonlinearity. The emphasis on explicit bounds, the handling of the non-polynomial term, and the public code repository constitute clear strengths that enhance verifiability and potential reuse in the validated-numerics literature.

major comments (2)
  1. The central claim rests on the contraction constant being strictly less than one and the validated radius being positive for each chosen bar u. The manuscript should therefore include, in the results section that presents the first localized solution, the explicit numerical values of these quantities together with the truncation and rounding-error bounds that were used to obtain them.
  2. In the analysis of the non-polynomial nonlinearity, the Taylor remainder estimate must be shown to be compatible with the interval-arithmetic enclosure; a concrete inequality or lemma number should be cited that guarantees the remainder term does not destroy the contraction property.
minor comments (3)
  1. Abstract: the phrase 'existence and of stationary localized solutions' contains a typographical error and should read 'existence of stationary localized solutions'.
  2. Abstract: the statement 'control the linearization around bar u' is imprecise; a brief clarification of which spectral or norm properties are being controlled would improve readability.
  3. The manuscript should state explicitly in the introduction or methods section that all truncation and rounding errors arising from the numerical approximation and interval arithmetic are rigorously bounded, rather than leaving this implicit.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We are pleased that the referee recognizes the strengths of our framework and the availability of the code. Below we address each major comment point by point.

read point-by-point responses

  1. Referee: The central claim rests on the contraction constant being strictly less than one and the validated radius being positive for each chosen bar u. The manuscript should therefore include, in the results section that presents the first localized solution, the explicit numerical values of these quantities together with the truncation and rounding-error bounds that were used to obtain them.

    Authors: We agree that providing these explicit values will improve the transparency of our results. In the revised version of the manuscript, we will add to the results section, immediately following the presentation of the first localized solution, the specific numerical values for the contraction constant (strictly less than one), the positive validated radius, the truncation level, and the rounding-error bounds. These quantities are computed using our interval arithmetic implementation and will be reported directly from the code. revision: yes

  2. Referee: In the analysis of the non-polynomial nonlinearity, the Taylor remainder estimate must be shown to be compatible with the interval-arithmetic enclosure; a concrete inequality or lemma number should be cited that guarantees the remainder term does not destroy the contraction property.

    Authors: We appreciate this observation. Our analysis in the section on bounding the non-polynomial nonlinearity already employs a Taylor remainder estimate that is enclosed using interval arithmetic. To make the compatibility explicit as requested, we will cite the relevant inequality (or add a reference to a lemma in the appendix if appropriate) that ensures the remainder term's enclosure preserves the contraction property. This clarification will be incorporated in the revised manuscript. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper constructs a Newton-Kantorovich fixed-point argument around a given numerical approximate solution bar u, deriving explicit bounds on the approximate inverse and contraction constant to certify existence and local uniqueness in a ball. These bounds are computed from the linearization at bar u and interval arithmetic on the non-polynomial nonlinearity; the target solution is not defined in terms of the bounds, nor is any prediction fitted to data and then re-labeled. No self-citation chain, imported uniqueness theorem, or ansatz smuggling appears in the derivation. The central claim remains conditional on case-by-case verification that the contraction constant is strictly less than one, which is an external numerical check rather than an internal reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the Banach fixed-point theorem applied to a Newton-like map, standard Sobolev embeddings for the function space, and the ability to compute rigorous upper bounds on the nonlinear remainder via interval arithmetic. No new entities are postulated.

axioms (2)
  • standard math Banach fixed-point theorem in a complete metric space
    Invoked to conclude existence and uniqueness once the map is shown to be a contraction on a closed ball.
  • domain assumption Existence of a sufficiently accurate numerical approximate solution bar u
    The method requires that an initial guess can be computed numerically to sufficient precision so that the contraction constant is less than 1.

pith-pipeline@v0.9.0 · 5487 in / 1493 out tokens · 45314 ms · 2026-05-10T17:03:53.011247+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

81 extracted references · 81 canonical work pages · 3 internal anchors

  1. [1]

    Al Saadi, A

    F. Al Saadi, A. Champneys, and N. Verschueren. Localized patt erns and semi-strong inter- action, a unifying framework for reaction–diffusion systems. IMA Journal of Applied Mathe- matics, 86(5):1031–1065, 2021

    work page 2021

  2. [2]

    Al Saadi, A

    F. Al Saadi, A. Worthy, H. Alriheieli, and M. Nelson. Localised spatia l structures in the Thomas model. Mathematics and Computers in Simulation , 194:141–158, 2022

    work page 2022

  3. [3]

    Arioli and H

    G. Arioli and H. Koch. Computer-Assisted Methods for the Stud y of Stationary Solutions in Dissipative Systems, Applied to the Kuramoto-Sivashinski Equatio n. Archive for Rational Mechanics and Analysis , 197:1033–1051, 2010

    work page 2010

  4. [4]

    Ayala, C

    M. Ayala, C. Garcia-Azpeitia, and J.-P. Lessard. Computer-Ass isted Proofs of Gap Solitons in Bose-Einstein Condensates. arXiv:2503.04701, 2026

    work page arXiv 2026

  5. [5]

    Benet and D

    L. Benet and D. Sanders. Intervalarithmetic.jl, 2022. https://github.com/JuliaIntervals/IntervalArithmetic.jl

    work page 2022

  6. [6]

    D. Blanco. D3D6solutionSH.jl, 2026. https://github.com/dominicblanco/D3D6solutionsSH.jl

    work page 2026

  7. [7]

    D. Blanco. Proving periodic solutions and branches in the 2D Swift H ohenberg PDE with hexagonal and triangular symmetry. arXiv:2602.12491, 2026

    work page arXiv 2026

  8. [8]

    D. Blanco. ThomasProofs.jl, 2026. https://https://github.com/dominicblanco/ThomasProofs.jl

    work page 2026

  9. [9]

    Blanco and M

    D. Blanco and M. Cadiot. Localizedpatternsshsymmetry.jl, 2025 . https://github.com/dominicblanco/LocalizedPatternsSHsymmetry.jl

    work page 2025

  10. [10]

    Blanco and M

    D. Blanco and M. Cadiot. Proving symmetry of localized solutions a nd application to dihedral patterns in the planar Swift-Hohenberg PDE. arXiv:2509.10375, 2025

    work page arXiv 2025

  11. [11]

    Blanco, M

    D. Blanco, M. Cadiot, and D. Fassler. Proofactivatorinhibitor.j l, 2025. https://github.com/dominicblanco/LocalizedPatternsActivatorInhibitor.jl

    work page 2025

  12. [12]

    Blanco, M

    D. Blanco, M. Cadiot, and D. Fassler. Proving the existence of lo calized patterns and saddle node bifurcations in 1D activator-inhibitor type models. arXiv:2509.17099, 2025

    work page internal anchor Pith review arXiv 2025

  13. [13]

    G. M. Boissoniere, R. Choksi, and J.-P. Lessard. Microscopic pa tterns in the 2D phase-field crystal model. Nonlinearity, 35:1500–1520, 2022

    work page 2022

  14. [14]

    M. Breden. Computer-assisted proofs for some nonlinear diffu sion problems. Communications in Nonlinear Science and Numerical Simulation , 109:106292, 2022

    work page 2022

  15. [15]

    M. Breden. A Posteriori Validation of Generalized Polynomial Cha os Expansions. SIAM Journal on Applied Dynamical Systems , 22(2):765–801, 2023

    work page 2023

  16. [16]

    M. Breden. Computer-assisted proofs for differential equat ions and dynamical systems, 2025. 39

    work page 2025

  17. [17]

    Breden and H

    M. Breden and H. Chu. Constructive proofs for some semilinear PDEs on H 2(e|x|2/ 4, Rd). Numerische Mathematik , pages 2097–2143, 2025

    work page 2097

  18. [18]

    Breden and H

    M. Breden and H. Chu. Solutions of differential equations in Freu d-weighted Sobolev spaces, 2025

    work page 2025

  19. [19]

    Breden, L

    M. Breden, L. Desvillettes, and J.-P. Lessard. Rigorous numer ics for nonlinear operators with tridiagonal dominant linear part. Discrete Contin. Dyn. Syst. , 35(10):4765–4789, 2015

    work page 2015

  20. [20]

    Breden, J.-P

    M. Breden, J.-P. Lessard, and M. Vanicat. Global bifurcation d iagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction -diffusion system. Acta Applicandae Mathematicae, 128(1):113–152, 2013

    work page 2013

  21. [21]

    Breden and M

    M. Breden and M. Payan. Computer-assisted proofs for the m any steady states of a chemotaxis model with local sensing. Physica D: Nonlinear Phenomena , 466:134221, 2024

    work page 2024

  22. [22]

    Cabr´ e, E

    X. Cabr´ e, E. Fontich, and R. de la Llave. The parameterizationmethod for invariant manifolds. I. Manifolds associated to non-resonant subspaces. Indiana Univ. Math. J. , 52(2):283–328, 2003

    work page 2003

  23. [23]

    Cabr´ e, E

    X. Cabr´ e, E. Fontich, and R. de la Llave. The parameterizationmethod for invariant manifolds. II. Regularity with respect to parameters. Indiana Univ. Math. J. , 52(2):329–360, 2003

    work page 2003

  24. [24]

    Cabr´ e, E

    X. Cabr´ e, E. Fontich, and R. de la Llave. The parameterizationmethod for invariant manifolds. III. Overview and applications. J. Differential Equations , 218(2):444–515, 2005

    work page 2005

  25. [25]

    M. Cadiot. Proofkawahara.jl, 2023. https://github.com/matthieucadiot/ProofKawahara.jl

    work page 2023

  26. [26]

    M. Cadiot. Localizedpatternsh.jl, 2024. https://github.com/matthieucadiot/LocalizedPatternSH.jl

    work page 2024

  27. [27]

    M. Cadiot. Constructive proofs of existence and stability of so litary waves in the Whitham and capillary–gravity Whitham equations. Nonlinearity, 38(3):035021, 2025

    work page 2025

  28. [28]

    Cadiot and D

    M. Cadiot and D. Blanco. Localizedpatterngs.jl, 2024. https://github.com/dominicblanco/LocalizedPatternGS.jl

    work page 2024

  29. [29]

    Cadiot and D

    M. Cadiot and D. Blanco. Localized stationary patterns in the 2d gray scott model: computer- assisted proofs of existence. Nonlinearity, 38(4):045016, 2025

    work page 2025

  30. [30]

    Cadiot, J.-P

    M. Cadiot, J.-P. Lessard, and J.-C. Nave. Rigorous Computatio n of Solutions of Semilinear PDEs on Unbounded Domains via Spectral Methods. SIAM Journal on Applied Dynamical Systems, 23(3):1966–2017, 2024

    work page 1966

  31. [31]

    Cadiot, J.-P

    M. Cadiot, J.-P. Lessard, and J.-C. Nave. Stationary non-rad ial localized patterns in the planar Swift-Hohenberg PDE: Constructive proofs of existence. Journal of Differential Equations , 414:555–608, 2025

    work page 2025

  32. [32]

    Calleja, C

    R. Calleja, C. Garcia-Azpeitia, O. Henot, J.-P. Lessard, and J. Mireles-James. From the Lagrange Triangle to the Figure Eight Choreography: Proof of Marchal’s Conjecture. arXiv:2406.17564, 2024

    work page arXiv 2024

  33. [33]

    Champneys, F

    A. Champneys, F. Al Saadi, V. F. Bre˜ na–Medina, V. A. Grieneis en, A. F. Mar´ ee, N. Ver- schueren, and B. Wuyts. Bistability, wave pinning and localisation in na tural reaction–diffusion systems. Physica D: Nonlinear Phenomena , 416:132735, 2021

    work page 2021

  34. [34]

    K. E. Church, J.-Y. Dai, O. Henot, and P. Lappicy. Global Contin uation of Stable Periodic Orbits in Systems of Competing Predators. arXiv:2504.03058v2, 2026

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  35. [35]

    Cyranka and J.-P

    J. Cyranka and J.-P. Lessard. Validated forward integration s cheme for parabolic PDEs via Chebyshev series. Commun. Nonlinear Sci. Numer. Simul. , 109:Paper No. 106304, 32, 2022

    work page 2022

  36. [36]

    Cyranka and P

    J. Cyranka and P. B. Mucha. A construction of two different so lutions to an elliptic system. Journal of Mathematical Analysis and Applications , 465(1):500–530, 2018. 40

    work page 2018

  37. [37]

    Day, J.-P

    S. Day, J.-P. Lessard, and K. Mischaikow. Validated Continuatio n for Equilibria of PDEs. SIAM Journal on Numerical Analysis , 45(4):1398–1424, 2007

    work page 2007

  38. [38]

    Figueras and R

    J.-L. Figueras and R. de la Llave. Numerical computations and co mputer assisted proofs of periodic orbits of the Kuramoto-Sivashinsky equation. SIAM J. Appl. Dyn. Syst. , 16(2):834– 852, 2017

    work page 2017

  39. [39]

    Figueras, A

    J.-L. Figueras, A. Haro, and A. Luque. Rigorous computer ass isted application of KAM theory: a modern approach. Foundations of Computational Mathematics , 17:1123–1193, 2017

    work page 2017

  40. [40]

    Gameiro and J.-P

    M. Gameiro and J.-P. Lessard. Analytic estimates and rigorous c ontinuation for equilibria of higher-dimensional PDEs. Journal of Differential Equations , 249(9):2237–2268, 2010

    work page 2010

  41. [41]

    Gameiro and J.-P

    M. Gameiro and J.-P. Lessard. Efficient rigorous numerics for hig her-dimensional PDEs via one-dimensional estimates. SIAM Journal on Numerical Analysis , 51(4):2063–2087, 2013

    work page 2063

  42. [42]

    Gameiro and J.-P

    M. Gameiro and J.-P. Lessard. A posteriori verification of invar iant objects of evolution equations: Periodic orbits in the Kuramoto–Sivashinsky PDE. SIAM Journal on Applied Dynamical Systems , 16(1):687–728, 2017

    work page 2017

  43. [43]

    Gray and S

    P. Gray and S. K. Scott. Sustained oscillations and other exotic patterns of behavior in isothermal reactions. Journal of Physical Chemistry , 89(1):22–32, 1985

    work page 1985

  44. [44]

    Hao and C

    W. Hao and C. Xue. Spatial pattern formation in reaction–diffus ion models: a computational approach. Journal of Mathematical Biology , 80:521–543, 2020

    work page 2020

  45. [45]

    O. Henot. On polynomial forms of nonlinear functional different ial equations. Journal of Computational Dynamics , 8:307–323, 2021

    work page 2021

  46. [46]

    Hervagault, A

    J. Hervagault, A. Friboulet, J. Kernevez, and D. Thomas. Spa tiotemporal behaviors in im- mobilized enzyme systems. Biochimie, 62:367–373, 1980

    work page 1980

  47. [47]

    O. H´ enot. Radiipolynomial.jl, 2022.https://github.com/OlivierHnt/RadiiPolynomial.jl

    work page 2022

  48. [48]

    Kernevez, E

    J. Kernevez, E. Doedel, M. Duban, J. Hervagault, G. Joly, and D. Thomas. Spatio-Temporal Organization in Immobilized Enzyme Systems. Rhythms in Biology and Other Fields of Ap- plication, 49:50–75, 1983

    work page 1983

  49. [49]

    Kernevez, G

    J. Kernevez, G. Joly, M. Duban, B. Bunow, and D. Thomas. Hys teresis, oscillations, and pattern formation in realistic immobilized enzyme systems. Journal of Mathematical Biology , 7:41–56, 1979

    work page 1979

  50. [50]

    J.-P. Lessard. Rigorous verification of saddle-node bifurcatio ns in ODEs. Indagationes Math- ematicae, 27:1013–1026, 2016

    work page 2016

  51. [51]

    J.-P. Lessard. Continuation of solutions and studying delay diffe rential equations via rigorous numerics. Proceedings of Symposia in Applied Mathematics , pages 81–122, 2018

    work page 2018

  52. [52]

    Lessard, J

    J.-P. Lessard, J. Mireles-James, and J. Ransford. Automatic differentiation for Fourier series and the radii polynomial approach. Physica D: Nonlinear Phenomena , 334:174–186, 2016

    work page 2016

  53. [53]

    Lessard and A

    J.-P. Lessard and A. Pugliese. Cusp bifurcations: Numerical de tection via two-parameter continuation and computer-assisted proofs of existence. Discrete and Continuous Dynamical Systems - B , 30(6):2135–2158, 2025

    work page 2025

  54. [54]

    Lessard, E

    J.-P. Lessard, E. Sander, and T. Wanner. Rigorous continuat ion of bifurcation points in the diblock copolymer equation. Journal of Computational Dynamics , 4(1&2):71–118, 2017

    work page 2017

  55. [55]

    Mignacca

    M. Mignacca. Rigorous proof of one-dimensional steady state s in a neural field model. Master’s thesis, McGill University, 2025

    work page 2025

  56. [56]

    J. Murray. On pattern formation mechanisms for lepidopteran wing patterns and mammalian coat markings. Philosophical Transactions B , 295:473–496, 1981. 41

    work page 1981

  57. [57]

    J. Murray. A pre-pattern formation mechanism for animal coa t markings. Journal of Theo- retical Biology, 88:161–199, 1981

    work page 1981

  58. [58]

    J. D. Murray. Mathematical Biology, volume 1. Springer Nature Link, 2003

    work page 2003

  59. [59]

    J. D. Murray. Mathematical Biology II , volume 2. Springer Nature Link, 2003

    work page 2003

  60. [60]

    M. T. Nakao, M. Plum, and Y. Watanabe. Numerical verification methods and computer- assisted proofs for partial differential equations . Springer, 2019

    work page 2019

  61. [61]

    Payne and C

    R. Payne and C. Grierson. A theoretical model for rop localisat ion by auxin in arabidopsis root hair cells. PLoS ONE , 2009

    work page 2009

  62. [62]

    Prigogine and R

    I. Prigogine and R. Lefever. Symmetry breaking instabilities in dis sipative systems. ii. The Journal of Chemical Physics , 1968

    work page 1968

  63. [63]

    Sander and T

    E. Sander and T. Wanner. Pattern formation in a nonlinear mode l for animal coats. Journal of Differential Equations , 191:143–174, 2003

    work page 2003

  64. [64]

    Sander and T

    E. Sander and T. Wanner. Equilibrium validation in models for patte rn formation based on Sobolev embeddings. Discrete and Continuous Dynamical Systems - B , 26:603–632, 2020

    work page 2020

  65. [65]

    Sander and T

    E. Sander and T. Wanner. Equilibrium validation in models for patte rn formation based on Sobolev embeddings. Discrete and Continuous Dynamical Systems - B , 26(1):603–632, 2021

    work page 2021

  66. [66]

    Schnakenberg

    J. Schnakenberg. Simple chemical reaction systems with limit cyc le behaviour. Journal of Theoretical Biology, 81(3):389–400, 1979

    work page 1979

  67. [67]

    E. E. Sel’kov. Self-oscillations in glycolysis 1. a simple kinetic model. European Journal of Biochemistry, 4(1):79–86, 1968

    work page 1968

  68. [68]

    Siteur, E

    K. Siteur, E. Siero, M. B. Eppinga, J. D. Rademacher, A. Doelma n, and M. Rietkerk. Beyond turing: The response of patterned ecosystems to environmenta l change. Ecological Complexity, 20:81–96, 2014

    work page 2014

  69. [69]

    Thomas, A

    L. Thomas, A. Gibson, and S. Bhattacharyya. Spatial and tem poral variations of the atmo- spheric sodium layer observed with a steerable laser radar. Nature, 263:115–116, 1976

    work page 1976

  70. [70]

    J. B. van den Berg, M. Breden, J.-P. Lessard, J. Mireles-Jame s, and K. Mischaikow. Rigorous numerics for symmetric connecting orbits: even homoclinics of the G ray-Scott equation. SIAM Journal on Mathematical Analysis , 43(4):1557–1594, 2011

    work page 2011

  71. [71]

    J. B. van den Berg, M. Breden, J.-P. Lessard, and M. Murray. Continuation of homoclinic orbits in the suspension bridge equation: A computer-assisted pro of. Journal of Differential Equations, 264(5):3086–3130, 2018

    work page 2018

  72. [72]

    J. B. van den Berg, M. Breden, J.-P. Lessard, and M. Murray. Continuation of homoclinic orbits in the suspension bridge equation: A computer-assisted pro of. Journal of Differential Equations, 264:3086–3130, 2018

    work page 2018

  73. [73]

    J. B. van den Berg, A. Deschenes, J.-P. Lessard, and J. Mirele s-James. Stationary coexistence of hexagons and rolls via rigorous computations. SIADS, 2:942–979, 2015

    work page 2015

  74. [74]

    J. B. van den Berg, O. H´ enot, and J.-P. Lessard. Construct ive proofs for localized radial solutions of semilinear elliptic systems on Rd. Nonlinearity, 36(12):6476–6512, 2023

    work page 2023

  75. [75]

    van den Berg, J.-P

    J.-B. van den Berg, J.-P. Lessard, and K. Mischaikow. Global sm ooth solution curves using rigorous branch following. Mathematics of Computation , 79(271):1565–1584, 2010

    work page 2010

  76. [76]

    van den Berg and J

    J.-B. van den Berg and J. Williams. Rigorously Computing Symmetric Stationary Sates of the Ohta-Kawasaki Problem in Three Dimensions. SIAM J. Math Anal. , 2019. 42

    work page 2019

  77. [77]

    van den Berg and J

    J.-B. van den Berg and J. Williams. Optimal periodic structures wit h general space group symmetries in the Ohta-Kawasaki problem. Physica D (Nonlinear Phenomena) , 2021

    work page 2021

  78. [78]

    van der Aalst and M

    L. van der Aalst and M. Cadiot. Existence proofs of traveling wa ve solutions on an infinite strip for the suspension bridge equation and proof of orbital st. arXiv:2509.16693, 2026

    work page internal anchor Pith review arXiv 2026

  79. [79]

    van der Aalst, J

    L. van der Aalst, J. B. van den Berg, and J.-P. Lessard. Period ic localised traveling waves in the two-dimensional suspension bridge equation. Nonlinearity, 38(7):075029, 2025

    work page 2025

  80. [80]

    J. M. Wunderlich. Computer-assisted Existence Proofs for Navier-Stokes Equ ations on an Unbounded Strip with Obstacle . PhD thesis, Karlsruher Institut f¨ ur Technologie (KIT), 2022

    work page 2022

Showing first 80 references.