pith. sign in

arxiv: 2505.00954 · v1 · pith:TKG74M2Qnew · submitted 2025-05-02 · 🧮 math.PR

Nonexplosion for a large class of superlinear stochastic parabolic equations, in arbitrary spatial dimension

Michael Salins , Yuyang Zhang This is my paper

Pith reviewed 2026-05-22 18:08 UTC · model grok-4.3

classification 🧮 math.PR
keywords stochastic parabolic equationsnon-explosionfinite-time explosionsuperlinear growthcolored noiseelliptic operatorboundary conditions
0
0 comments X

The pith

Stochastic parabolic equations with superlinear multiplicative noise do not explode in finite time in arbitrary dimensions.

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

The paper establishes global existence without explosion for solutions of stochastic parabolic equations driven by colored noise when the diffusion coefficient grows like a power of the solution. This growth can be as strong as a specific exponent depending on how singular the noise and the heat kernel are. Readers should care because many real-world models involve such nonlinear stochastic effects, and preventing explosion allows for meaningful long-term predictions and simulations. The proof covers arbitrary dimensions and general boundary conditions, broadening the applicability beyond previous results.

Core claim

We prove non-explosion in finite time for the stochastic parabolic equation with σ(u) ≈ C(1 + |u|^χ) where χ reaches the level 1 + (1-η)/(2β) in arbitrary spatial dimension, for general second-order self-adjoint elliptic operator A and general space-time colored noise under Neumann, periodic or Dirichlet boundary conditions.

What carries the argument

The allowable superlinear growth rate χ = 1 + (1-η)/(2β) based on the singularity parameters η and β of the heat kernel and the noise covariance kernel.

Load-bearing premise

The singularities in the heat kernel of the elliptic operator and in the covariance of the noise are controlled by fixed parameters η and β.

What would settle it

Finding a specific instance of the noise and operator where the growth exponent exceeds 1 + (1-η)/(2β) and the solution explodes in finite time would show the bound is necessary.

read the original abstract

This paper explores the finite time explosion of the stochastic parabolic equation $\frac{\partial u}{\partial t}(t,x)=Au(t,x)+\sigma(u(t,x))\dot{W}(t,x)$ in arbitrary bounded spatial domain with a large class of space-time colored noise under Neumann, periodic or Dirichlet boundary conditions where $A$ is second-order self-adjoint elliptic operator and $\sigma$ grows like $\sigma(u)\approx C(1+|u|^{\chi})$ where $\chi=1+\frac{1-\eta}{2\beta}$ with $\eta$ and $\beta$ are the parameters related to the singularities of heat kernel and noise covariance kernel. We improve upon previous results by proving the theory in arbitrary spatial dimension, general elliptic operator, general space-time colored noise, a larger class of boundary conditions and proves that $\chi$ can reach the level $1+\frac{1-\eta}{2\beta}$.

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

1 major / 2 minor

Summary. The manuscript proves non-explosion in finite time for mild solutions of the stochastic parabolic equation ∂u/∂t = A u + σ(u) ḊW on a bounded domain in arbitrary spatial dimension, where A is a general second-order self-adjoint elliptic operator, the noise is space-time colored with covariance singularity parameter β, the heat kernel of A has singularity parameter η, and σ grows at most like C(1 + |u|^χ) with χ reaching the critical value 1 + (1-η)/(2β), under Neumann, periodic, or Dirichlet boundary conditions.

Significance. If the central estimates close, the result substantially extends the literature on non-explosion for superlinear SPDEs by removing dimension restrictions, allowing general elliptic operators and colored noise, and achieving the sharp growth threshold determined by the kernel singularities.

major comments (1)
  1. [§4] §4 (moment estimates, around the application of Burkholder-Davis-Gundy and Hölder/Young): at the critical exponent χ = 1 + (1-η)/(2β), the resulting integral inequality for m(t) = E[sup_{s≤t} ∥u(s)∥_p^p] acquires a remainder of the form C ∫ m(s) log(1 + m(s)) ds rather than a linear term. Standard Gronwall does not close to a finite bound on arbitrary [0,T]; please exhibit the precise inequality obtained and the argument (modified Gronwall, stopping times, or truncation) that rules out finite-time blow-up in this boundary case.
minor comments (2)
  1. [§3] Clarify the precise range of p for which the L^p-norm estimates are derived and how the choice of p interacts with the parameters η and β.
  2. [Introduction] Add a short remark comparing the obtained χ-threshold with the corresponding deterministic (β=0) case to highlight the effect of the noise regularity.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for highlighting the technical detail in the critical-exponent case. We address the comment below and will incorporate the requested clarification into the revised version.

read point-by-point responses

  1. Referee: [§4] §4 (moment estimates, around the application of Burkholder-Davis-Gundy and Hölder/Young): at the critical exponent χ = 1 + (1-η)/(2β), the resulting integral inequality for m(t) = E[sup_{s≤t} ∥u(s)∥_p^p] acquires a remainder of the form C ∫ m(s) log(1 + m(s)) ds rather than a linear term. Standard Gronwall does not close to a finite bound on arbitrary [0,T]; please exhibit the precise inequality obtained and the argument (modified Gronwall, stopping times, or truncation) that rules out finite-time blow-up in this boundary case.

    Authors: We agree that the critical growth produces a logarithmic remainder. After applying the Burkholder–Davis–Gundy inequality followed by Hölder and Young inequalities with the precise exponents determined by η and β, one obtains the integral inequality m(t) ≤ C_T + C ∫_0^t m(s) log(1 + m(s)) ds for any fixed T < ∞, where the constant C_T absorbs the initial-data and heat-kernel contributions. This inequality is closed by comparison with the ODE y' = C y log(1 + y). The explicit solution of the ODE remains finite on every finite time interval (it grows at most double-exponentially). Equivalently, one may introduce the stopping times τ_R = inf{t ≥ 0 : m(t) ≥ R}, apply the standard Gronwall lemma on [0, t ∧ τ_R] to obtain a uniform bound, and pass to the limit R → ∞ to conclude that m(t) < ∞ a.s. for every finite t. We will insert the exact statement of the inequality together with this argument (or the ODE comparison) into Section 4 of the revised manuscript. revision: yes

Circularity Check

0 steps flagged

No significant circularity; proof uses independent kernel assumptions and standard estimates

full rationale

The derivation establishes non-explosion via mild-formulation moment bounds, Burkholder-Davis-Gundy inequality, and Gronwall closure under the given singularity parameters η and β for the heat kernel and noise covariance. These parameters are external inputs that determine the allowable χ; the resulting differential inequality for the p-moment is closed directly from the assumptions without reducing to a fitted quantity or self-referential definition. No load-bearing self-citation or uniqueness theorem imported from the authors' prior work is required for the central bound, and the argument remains self-contained against the stated regularity conditions on A and the noise.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard domain assumptions about the elliptic operator and noise regularity parameters; no free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption A is a second-order self-adjoint elliptic operator on a bounded domain
    Invoked to define the linear evolution and heat kernel singularities parameterized by η and β.
  • domain assumption The space-time noise has a covariance kernel with singularity parameters η and β
    These parameters control the allowable superlinear growth exponent χ in the non-explosion statement.

pith-pipeline@v0.9.0 · 5687 in / 1341 out tokens · 48358 ms · 2026-05-22T18:08:05.959634+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

28 extracted references · 28 canonical work pages

  1. [1]

    Reaction-diffusion equations with transport noise and critical superlinear diffusion: Local well-posedness and positivity

    Antonio Agresti and Mark Veraar. Reaction-diffusion equations with transport noise and critical superlinear diffusion: Local well-posedness and positivity. Journal of Differential Equations, 368:247–300, 2023

    work page 2023

  2. [2]

    Blowup for the heat equation with a no ise term

    Sower Richard Carl Mueller. Blowup for the heat equation with a no ise term. Probab. Th. Rel. Fields , 97:287–320, 1993

    work page 1993

  3. [3]

    Stochastic reaction-diffusion systems with multiplicativ e noise and non- lipschitz reaction term

    Cerrai, S. Stochastic reaction-diffusion systems with multiplicativ e noise and non- lipschitz reaction term. Probab. Th. Rel. Fields , 125:271–304, 2003

    work page 2003

  4. [4]

    Superlinear stochastic heat equat ion on Rd

    Chen, Le and Huang, Jingyu. Superlinear stochastic heat equat ion on Rd. Proc. Amer. Math. Soc. , 151(9):4063–4078, 2023

    work page 2023

  5. [5]

    Stochastic Equations in Infinite Dimensions

    Giuseppe Da Prato and Jerzy Zabczyk. Stochastic Equations in Infinite Dimensions . Encyclopedia of Mathematics and its Applications. Cambridge Univers ity Press, 2 edi- tion, 2014

    work page 2014

  6. [6]

    Extending the Martingale Measure Stochastic In tegral With Applica- tions to Spatially Homogeneous S.P.D.E.’s

    Robert Dalang. Extending the Martingale Measure Stochastic In tegral With Applica- tions to Spatially Homogeneous S.P.D.E.’s. Electronic Journal of Probability , 4(none):1 – 29, 1999

    work page 1999

  7. [7]

    and Debussche A

    de Bouard A. and Debussche A. On the effect of a noise on the solu tions of the focusing supercritical nonlinear schr¨ odinger equation. Probab. Th. Rel. Fields , 123:76–96, 2002

    work page 2002

  8. [8]

    Time–space white noise eliminates global solutions in reaction–diffusion equations

    Julian Fern´ andez Bonder and Pablo Groisman. Time–space white noise eliminates global solutions in reaction–diffusion equations. Physica D: Nonlinear Phenomena , 238(2):209– 215, 2009

    work page 2009

  9. [9]

    Non-existence results fo r stochastic wave equations in one dimension

    Mohammud Foondun and Eulalia Nualart. Non-existence results fo r stochastic wave equations in one dimension. Journal of Differential Equations , 318:557–578, 2022

    work page 2022

  10. [10]

    On non-existence o f global solutions to a class of stochastic heat equations

    Foondun, Mohammud and Parshad, Rana D. On non-existence o f global solutions to a class of stochastic heat equations. Proc. Amer. Math. Soc. , 143(9):4085–4094, 2015

    work page 2015

  11. [11]

    Franzova

    N. Franzova. Long time existence for the heat equation with a s patially correlated noise term. Stochastic Analysis and Applications , 17(2):169–190, 1999

    work page 1999

  12. [12]

    Long Time Existence for the Heat Equation with a Spatially Co rrelated Noise Term

    Nora Franzova. Long Time Existence for the Heat Equation with a Spatially Co rrelated Noise Term. Phd thesis, University of Rochester, 1996. 21

    work page 1996

  13. [13]

    Comparison methods for a class of function value d stochastic partial differential equations

    Kotelenez, P. Comparison methods for a class of function value d stochastic partial differential equations. Probab. Th. Rel. Fields , 93:1–19, 1992

    work page 1992

  14. [14]

    Krylov, N. V. On lp-theory of stochastic partial differential equations in the whole sp ace. SIAM Journal on Mathematical Analysis , 27(2):313–340, 1996

    work page 1996

  15. [15]

    Global existence and finit e time blow-up for a stochastic non-local reaction-diffusion equation

    Liang, Fei and Zhao, Shuangshuang. Global existence and finit e time blow-up for a stochastic non-local reaction-diffusion equation. J. Geom. Phys. , 178:Paper No. 104577, 21, 2022

    work page 2022

  16. [16]

    Global solutions to stochast ic wave equations with superlinear coefficients

    Annie Millet and Marta Sanz-Sol´ e. Global solutions to stochast ic wave equations with superlinear coefficients. Stochastic Processes and their Applications , 139:175–211, 2021

    work page 2021

  17. [17]

    Some non-existen ce results for a class of stochastic partial differential equations

    Foondun Mohammud, Liu Wei, and Nane Erkan. Some non-existen ce results for a class of stochastic partial differential equations. J. Differential Equations , 266(5):2575–2596, 2019

    work page 2019

  18. [18]

    The Osgood condition for stochastic partial differential equations

    Mohammud Foondun and Eulalia Nualart. The Osgood condition for stochastic partial differential equations. Bernoulli, 27(1):295 – 311, 2021

    work page 2021

  19. [19]

    Long time existence for the heat equation with a no ise term

    Carl Mueller. Long time existence for the heat equation with a no ise term. Probab. Th. Rel. Fields , 90:505–517, 1991

    work page 1991

  20. [20]

    On the support of solutions to the heat equation w ith noise

    Carl Mueller. On the support of solutions to the heat equation w ith noise. Stochastics Stochastics Rep., 37(4):225–245, 1991

    work page 1991

  21. [21]

    Long time existence for the wave equation with a no ise term

    Carl Mueller. Long time existence for the wave equation with a no ise term. The Annals of Probability, 25(1):133 – 151, 1997

    work page 1997

  22. [22]

    Long-time existence for signed solutions of the he at equation with a noise term

    Carl Mueller. Long-time existence for signed solutions of the he at equation with a noise term. Probab Theory Relat Fields , 110:51–68, 1998

    work page 1998

  23. [23]

    The critical parameter for the heat equation with a noise term to blow up in finite time

    Carl Mueller. The critical parameter for the heat equation with a noise term to blow up in finite time. The Annals of Probability , 28(4):1735 – 1746, 2000

    work page 2000

  24. [24]

    Existence and blow-up of solutions to the fractio nal stochastic heat equations

    Bezdek Pavel. Existence and blow-up of solutions to the fractio nal stochastic heat equations. Stoch. Partial Differ. Equ. Anal. Comput. , 6(1):73–108, 2018

    work page 2018

  25. [25]

    Dalang and Davar Khoshnevisan and Tusheng Zhang

    Robert C. Dalang and Davar Khoshnevisan and Tusheng Zhang. Global solutions to stochastic reaction–diffusion equations with super-linear drift and multiplicative noise. The Annals of Probability , 47(1):519 – 559, 2019. 22

    work page 2019

  26. [26]

    Global solutions to the stochastic reaction-diffu sion equation with su- perlinear accretive reaction term and superlinear multiplicative noise term on a bounded spatial domain

    Michael Salins. Global solutions to the stochastic reaction-diffu sion equation with su- perlinear accretive reaction term and superlinear multiplicative noise term on a bounded spatial domain. Trans. Amer. Math. Soc. , 375:8083–8099, 2023

    work page 2023

  27. [27]

    Solutions to the stochastic heat equation with po lynomially growing multiplicative noise do not explode in the critical regime

    Michael Salins. Solutions to the stochastic heat equation with po lynomially growing multiplicative noise do not explode in the critical regime. The Annals of Probability , 53(1):223 – 238, 2025

    work page 2025

  28. [28]

    Stochastic heat equations wit h logarithmic nonlin- earity

    Shijie Shang and Tusheng Zhang. Stochastic heat equations wit h logarithmic nonlin- earity. Journal of Differential Equations , 313:85–121, 2022. 23

    work page 2022