pith. sign in

arxiv: 2604.06645 · v1 · submitted 2026-04-08 · 🧮 math.PR · math.AP

Global in time solutions to stochastic reaction-diffusion systems with superlinear reactions satisfying a triangular control of mass

Dionysis Milesis , Michael Salins This is my paper

Pith reviewed 2026-05-10 18:35 UTC · model grok-4.3

classification 🧮 math.PR math.AP
keywords reaction-diffusion equationsmultiplicative noiseglobal existencestochastic partial differential equationsmass controlquasipositivitysuperlinear reactionstriangular control
0
0 comments X

The pith

Suitable multiplicative noise ensures global-in-time solutions for stochastic reaction-diffusion systems obeying triangular mass control.

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

The paper shows that reaction-diffusion systems whose reactions satisfy quasipositivity, a triangular mass-control structure, and polynomial growth continue to possess global solutions when perturbed by appropriate multiplicative noise. This closes a gap left by earlier stochastic work, which had imposed stronger conditions that ruled out many standard models from chemistry and biology. The deterministic versions of these systems already enjoy global existence thanks to the mass-control property, but the addition of noise had left the question of blow-up unresolved. The result therefore supplies global well-posedness for a broad and practically relevant class of stochastic models.

Core claim

We show that stochastically perturbing reaction-diffusion systems with triangular mass control by suitable multiplicative noise leads to solutions that exist for all time. The underlying reaction terms obey quasipositivity, the triangular mass-control structure, and polynomial growth; under these conditions the deterministic problem is already known to be globally well-posed, and the multiplicative noise is chosen so that the same control persists in the stochastic setting.

What carries the argument

The triangular mass-control structure on the reactions together with multiplicative noise that preserves the control and prevents finite-time blow-up.

If this is right

  • Global existence and uniqueness hold for the stochastic systems under the stated assumptions on reactions and noise.
  • The same mass-control argument that works deterministically extends directly to the stochastic setting once the noise is multiplicative.
  • A wide family of chemical and biological reaction-diffusion models now possesses rigorous stochastic versions with solutions defined for all time.
  • No additional growth restrictions beyond polynomial growth are required once the triangular control and suitable noise are present.

Where Pith is reading between the lines

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

  • The technique may extend to other superlinear stochastic PDEs where a similar structural control can be identified and preserved by multiplicative noise.
  • Numerical simulations of concrete chemical kinetics under this noise could verify that the mass bounds remain effective in practice.
  • Biological population models previously regularized by artificial cut-offs might now be treated directly with multiplicative noise while retaining global existence.

Load-bearing premise

The reaction terms must satisfy quasipositivity together with the triangular mass-control structure, and the noise must be multiplicative and of suitable form.

What would settle it

An explicit example of a quasipositive system with triangular mass control and polynomial growth whose solution explodes in finite time under any multiplicative noise of the admissible class would refute the claim.

read the original abstract

We study systems of reaction-diffusion equations perturbed by multiplicative noise, where the reaction terms satisfy quasipositivity, a triangular mass-control structure, and polynomial growth. Our results apply to a broad class of reaction-diffusion systems arising, most notably, in chemistry and biology. In the deterministic setting these assumptions are known to guarantee the global existence of solutions. In the stochastic setting, however, reaction-diffusion systems have typically been analyzed under different assumptions on the reactions that preclude many natural models, such as chemical reaction systems, and the question of global existence and uniqueness under a mass-control structure has remained open. In this work, we show that stochastically perturbing reaction-diffusion systems with triangular mass control by suitable multiplicative noise leads to solutions that exist for all time.

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

Summary. The paper proves global-in-time existence and uniqueness of mild solutions to systems of stochastic reaction-diffusion equations driven by multiplicative noise. The reactions satisfy quasipositivity, a triangular mass-control structure, and polynomial growth; the noise is constructed so that the associated Itô corrections preserve the mass estimates. The argument proceeds via stopping-time localization to obtain local solutions, followed by a priori L^1 bounds inherited from the deterministic triangular structure, truncation to control superlinear growth, and passage to the limit.

Significance. If the central existence result holds, the work fills a notable gap in the theory of stochastic reaction-diffusion systems by extending deterministic global-existence theorems (based on mass control) to the stochastic setting. This is relevant for models in chemistry and biology that were previously excluded by stricter growth assumptions in the stochastic literature. The manuscript demonstrates that a carefully chosen multiplicative noise structure can be made compatible with quasipositivity and mass bounds without introducing new integrability obstructions.

minor comments (4)
  1. §2.1, Definition 2.3: the precise measurability and adaptedness requirements on the multiplicative noise coefficient should be stated explicitly rather than referred to as 'suitable'; this would clarify compatibility with the Itô correction terms used later.
  2. §4.2, after equation (4.8): the uniform integrability argument for the truncated solutions relies on the L^1 bound; a short remark on why the stochastic integral does not destroy the tightness would strengthen the passage to the limit.
  3. Introduction, paragraph 3: the citation to the deterministic triangular-control result is given only by author name; adding the year and a brief statement of the exact theorem invoked would help readers trace the a priori estimates.
  4. Figure 1: the caption does not indicate the spatial dimension or the specific reaction system used for the numerical illustration; this reduces clarity for applied readers.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation for minor revision. The referee's summary correctly identifies the key elements of the proof strategy, including the use of stopping-time localization, a priori L^1 bounds from the triangular structure, and passage to the limit after truncation.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper establishes global existence by localizing solutions via stopping times and propagating a priori L1-type mass bounds that follow directly from the given triangular control structure and quasipositivity assumptions. These bounds are inherited from standard deterministic reaction-diffusion theory rather than being redefined or fitted within the stochastic argument. The multiplicative noise is constructed so that Itô corrections preserve the same structural inequalities without introducing new fitted parameters or self-referential definitions. No load-bearing self-citations, ansatz smuggling, or renaming of known results occur; the central existence statement remains independent of its own inputs and is self-contained against external deterministic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review; the paper invokes standard deterministic global-existence results under triangular mass control and assumes the noise is 'suitable' multiplicative noise, but no explicit free parameters, ad-hoc axioms, or invented entities are visible.

axioms (1)
  • domain assumption Deterministic reaction-diffusion systems with quasipositivity, triangular mass control, and polynomial growth admit global solutions.
    Abstract states this is known in the deterministic setting and is used as the base for the stochastic extension.

pith-pipeline@v0.9.0 · 5424 in / 1083 out tokens · 43194 ms · 2026-05-10T18:35:40.689707+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

37 extracted references · 37 canonical work pages

  1. [1]

    Antonio Agresti. Delayed blow-up and enhanced diffusion by transport noise for systems of reaction–diffusion equations.Stochastics and Partial Differential Equations: Analysis and Computations, 12(3):1907–1981, 2024

    work page 1907

  2. [2]

    N Alaa and I Mounir. Global existence for reaction-diffusion systems with mass control and critical growth with respect to the gradient.Journal of Mathematical Analysis and Applications, 253(2):532–557, 2001

    work page 2001

  3. [3]

    Noureddine Alaa, N Idrissi Fatmi, Jean Rodolphe Roche, and A Tounsi. Mathematical analysis for a model of nickel-iron alloy electrodeposition on rotating disk electrode: parabolic case.International Journal of Mathematics and Statistics, 2(S08):30–48, 2008

    work page 2008

  4. [4]

    A reaction–diffusion model of spatial propagation ofα βoligomers in early stage alzheimer’s disease.Journal of Mathematical Biology, 82(5):39, 2021

    Martin Andrade-Restrepo, Ionel Sorin Ciuperca, Paul Lemarre, Laurent Pujo-Menjouet, and L´ eon Matar Tine. A reaction–diffusion model of spatial propagation ofα βoligomers in early stage alzheimer’s disease.Journal of Mathematical Biology, 82(5):39, 2021

    work page 2021

  5. [5]

    Triangular reaction–diffusion systems with integrable initial data.Nonlinear Analysis: Theory, Methods & Applications, 33(7):785–801, 1998

    S Bonafede and D Schmitt. Triangular reaction–diffusion systems with integrable initial data.Nonlinear Analysis: Theory, Methods & Applications, 33(7):785–801, 1998

    work page 1998

  6. [6]

    The instantaneous limit for reaction-diffusion sys- tems with a fast irreversible reaction.Discrete and Continuous Dynamical Systems-S, 5(1):49–59, 2011

    Dieter Bothe and Michel Pierre. The instantaneous limit for reaction-diffusion sys- tems with a fast irreversible reaction.Discrete and Continuous Dynamical Systems-S, 5(1):49–59, 2011

    work page 2011

  7. [7]

    Cross-diffusion limit for a reaction- diffusion system with fast reversible reaction.Communications in Partial Differential Equations, 37(11):1940–1966, 2012

    Dieter Bothe, Michel Pierre, and Guillaume Rolland. Cross-diffusion limit for a reaction- diffusion system with fast reversible reaction.Communications in Partial Differential Equations, 37(11):1940–1966, 2012

    work page 1940

  8. [8]

    N Calvar, B Gonz´ alez, and A Dominguez. Esterification of acetic acid with ethanol: Reaction kinetics and operation in a packed bed reactive distillation column.Chemical engineering and processing: Process Intensification, 46(12):1317–1323, 2007. 34

    work page 2007

  9. [9]

    Stochastic reaction-diffusion systems with multiplicative noise and non- lipschitz reaction term.Probability Theory and Related Fields, 125(2):271–304, 2003

    Sandra Cerrai. Stochastic reaction-diffusion systems with multiplicative noise and non- lipschitz reaction term.Probability Theory and Related Fields, 125(2):271–304, 2003

    work page 2003

  10. [10]

    A khasminkii type averaging principle for stochastic reaction–diffusion equations.The Annals of Applied Probability, 19(3):899–948, 2009

    Sandra Cerrai. A khasminkii type averaging principle for stochastic reaction–diffusion equations.The Annals of Applied Probability, 19(3):899–948, 2009

    work page 2009

  11. [11]

    Cambridge university press, 2014

    Giuseppe Da Prato and Jerzy Zabczyk.Stochastic equations in infinite dimensions, volume 152. Cambridge university press, 2014

    work page 2014

  12. [12]

    Springer Nature, 2026

    Robert C Dalang and Marta Sanz-Sol´ e.Stochastic Partial Differential Equations, Space- Time White Noise and Random Fields. Springer Nature, 2026

    work page 2026

  13. [13]

    American mathematical society, 2022

    Lawrence C Evans.Partial differential equations, volume 19. American mathematical society, 2022

    work page 2022

  14. [14]

    Global classical solutions to quadratic systems with mass control in arbitrary dimensions

    Klemens Fellner, Jeff Morgan, and Bao Quoc Tang. Global classical solutions to quadratic systems with mass control in arbitrary dimensions. InAnnales de l’Institut Henri Poincar´ e C, Analyse non lin´ eaire, volume 37, pages 281–307. Elsevier, 2020

    work page 2020

  15. [15]

    A reaction-diffusion system modeling di- rect and indirect transmission of diseases.Discrete and Continuous Dynamical Systems- B, 4(4):893–910, 2004

    WE Fitzgibbon, M Langlais, and JJ Morgan. A reaction-diffusion system modeling di- rect and indirect transmission of diseases.Discrete and Continuous Dynamical Systems- B, 4(4):893–910, 2004

    work page 2004

  16. [16]

    Reaction- diffusion-advection systems with discontinuous diffusion and mass control.SIAM Jour- nal on Mathematical Analysis, 53(6):6771–6803, 2021

    William E Fitzgibbon, Jeffrey J Morgan, Bao Q Tang, and Hong-Ming Yin. Reaction- diffusion-advection systems with discontinuous diffusion and mass control.SIAM Jour- nal on Mathematical Analysis, 53(6):6771–6803, 2021

    work page 2021

  17. [17]

    Global existence for reaction-diffusion systems modelling ignition.Archive for rational mechanics and anal- ysis, 142(3):219–251, 1998

    Miguel A Herrero, Andrew A Lacey, and Juan JL Vel´ azquez. Global existence for reaction-diffusion systems modelling ignition.Archive for rational mechanics and anal- ysis, 142(3):219–251, 1998

    work page 1998

  18. [18]

    Global existence and bounded- ness in reaction-diffusion systems.SIAM Journal on Mathematical Analysis, 18(3):744– 761, 1987

    Selwyn L Hollis, Robert H Martin, Jr, and Michel Pierre. Global existence and bounded- ness in reaction-diffusion systems.SIAM Journal on Mathematical Analysis, 18(3):744– 761, 1987

    work page 1987

  19. [19]

    Comparison methods for a class of function valued stochastic partial differential equations.Probability Theory and related fields, 93(1):1–19, 1992

    Peter Kotelenez. Comparison methods for a class of function valued stochastic partial differential equations.Probability Theory and related fields, 93(1):1–19, 1992

    work page 1992

  20. [20]

    Global existence for reaction–diffusion systems with nonlinear diffusion and control of mass

    El Haj Laamri and Michel Pierre. Global existence for reaction–diffusion systems with nonlinear diffusion and control of mass. InAnnales de l’Institut Henri Poincar´ e C, Analyse non lin´ eaire, volume 34, pages 571–591. Elsevier, 2017. 35

    work page 2017

  21. [21]

    Global existence in reaction–diffusion systems with mass control under relaxed assumptions merely referring to cross-absorptive effects

    Johannes Lankeit and Michael Winkler. Global existence in reaction–diffusion systems with mass control under relaxed assumptions merely referring to cross-absorptive effects. Journal of Evolution Equations, 22(1):14, 2022

    work page 2022

  22. [22]

    Springer Science & Business Media, 2012

    Alessandra Lunardi.Analytic semigroups and optimal regularity in parabolic problems. Springer Science & Business Media, 2012

    work page 2012

  23. [23]

    Influence of mixed boundary conditions in some reaction–diffusion systems.Proceedings of the Royal Society of Edinburgh Section A: Mathematics, 127(5):1053–1066, 1997

    Robert H Martin and Michel Pierre. Influence of mixed boundary conditions in some reaction–diffusion systems.Proceedings of the Royal Society of Edinburgh Section A: Mathematics, 127(5):1053–1066, 1997

    work page 1997

  24. [24]

    A priori bounds for reaction–diffusion systems arising in chemical and biological dynamics.Applied mathematics and computation, 163(1):1– 16, 2005

    Jeff S McGough and Kyle L Riley. A priori bounds for reaction–diffusion systems arising in chemical and biological dynamics.Applied mathematics and computation, 163(1):1– 16, 2005

    work page 2005

  25. [25]

    Boundedness for reaction–diffusion systems with lyapunov functions and intermediate sum conditions.Nonlinearity, 33(7):3105–3133, 2020

    Jeff Morgan and Bao Quoc Tang. Boundedness for reaction–diffusion systems with lyapunov functions and intermediate sum conditions.Nonlinearity, 33(7):3105–3133, 2020

    work page 2020

  26. [26]

    Kinetic mechanisms for o2 binding to myoglobins and hemoglobins

    John S Olson. Kinetic mechanisms for o2 binding to myoglobins and hemoglobins. Molecular aspects of medicine, 84:101024, 2022

    work page 2022

  27. [27]

    Springer Science & Business Media, 2012

    Amnon Pazy.Semigroups of linear operators and applications to partial differential equations, volume 44. Springer Science & Business Media, 2012

    work page 2012

  28. [28]

    Globall ∞-bounds and long-time behavior of a diffusive epi- demic system in a heterogeneous environment.SIAM Journal on Mathematical Analysis, 53(3):2776–2810, 2021

    Rui Peng and Yixiang Wu. Globall ∞-bounds and long-time behavior of a diffusive epi- demic system in a heterogeneous environment.SIAM Journal on Mathematical Analysis, 53(3):2776–2810, 2021

    work page 2021

  29. [29]

    Global existence in reaction-diffusion systems with control of mass: a survey.Milan Journal of Mathematics, 78(2):417–455, 2010

    Michel Pierre. Global existence in reaction-diffusion systems with control of mass: a survey.Milan Journal of Mathematics, 78(2):417–455, 2010

    work page 2010

  30. [30]

    Global existence for a class of quadratic reaction– diffusion systems with nonlinear diffusions and l1 initial data.Nonlinear Analysis, 138:369–387, 2016

    Michel Pierre and Guillaume Rolland. Global existence for a class of quadratic reaction– diffusion systems with nonlinear diffusions and l1 initial data.Nonlinear Analysis, 138:369–387, 2016

    work page 2016

  31. [31]

    Blowup in reaction-diffusion systems with dissipation of mass.SIAM review, 42(1):93–106, 2000

    Michel Pierre and Didier Schmitt. Blowup in reaction-diffusion systems with dissipation of mass.SIAM review, 42(1):93–106, 2000

    work page 2000

  32. [32]

    Global classical solutions for reaction–diffusion systems with nonlinearities of exponential growth.Journal of Evolution Equations, 10(3):511–527, 2010

    Belgacem Rebiai and Sa¨ ıd Benachour. Global classical solutions for reaction–diffusion systems with nonlinearities of exponential growth.Journal of Evolution Equations, 10(3):511–527, 2010. 36

    work page 2010

  33. [33]

    Reaction kinetic study of solketal production from glycerol ketalization with acetone.Industrial & Engineering Chemistry Research, 56(2):479–488, 2017

    Vinicius Rossa, Yolanda da SP Pessanha, Gisel Ch D´ ıaz, Leˆ oncio Diogenes Tavares Caˆ amara, Sibele BC Pergher, and Donato AG Aranda. Reaction kinetic study of solketal production from glycerol ketalization with acetone.Industrial & Engineering Chemistry Research, 56(2):479–488, 2017

    work page 2017

  34. [34]

    Michael Salins. Systems of small-noise stochastic reaction–diffusion equations satisfy a large deviations principle that is uniform over all initial data.Stochastic Processes and their Applications, 142:159–194, 2021

    work page 2021

  35. [35]

    Michael Salins and Yuyang Zhang. Nonexplosion for a large class of superlinear stochas- tic parabolic equations, in arbitrary spatial dimension.Stochastics and Partial Differ- ential Equations: Analysis and Computations, pages 1–22, 2025

    work page 2025

  36. [36]

    Global existence for reaction–diffusion systems with dissipation of mass and quadratic growth.Journal of Evolution Equations, 18(4):1713–1720, 2018

    Philippe Souplet. Global existence for reaction–diffusion systems with dissipation of mass and quadratic growth.Journal of Evolution Equations, 18(4):1713–1720, 2018

    work page 2018

  37. [37]

    Comprehensive study of the hydration and dehydration reactions of carbon dioxide in aqueous solution.The journal of physical chemistry A, 114(4):1734–1740, 2010

    Xiaoguang Wang, William Conway, Robert Burns, Nichola McCann, and Marcel Maeder. Comprehensive study of the hydration and dehydration reactions of carbon dioxide in aqueous solution.The journal of physical chemistry A, 114(4):1734–1740, 2010. 37

    work page 2010