pith. machine review for the scientific record. sign in

arxiv: 2605.11319 · v1 · submitted 2026-05-11 · 🧮 math.PR

Recognition: 1 theorem link

· Lean Theorem

Positive probability of explosion for stochastic heat equation with superlinear accretive reaction term and polynomially growing multiplicative noise

Michael Salins, Yuyang Zhang

Pith reviewed 2026-05-13 01:34 UTC · model grok-4.3

classification 🧮 math.PR
keywords stochastic heat equationfinite time explosionmild solutionsmultiplicative noisesuperlinear reactionspace-time white noiseexplosion probability
0
0 comments X

The pith

Mild solutions to the stochastic heat equation explode with positive probability for beta in (1,3) with gamma in (beta/2, (beta+3)/4) or beta greater than 1 with gamma up to beta/2.

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

The paper proves that mild solutions of the stochastic heat equation with superlinear reaction term of power beta and multiplicative noise coefficient growing like u to the power gamma on the periodic interval can explode in finite time with positive probability. This holds in the regime where beta is between 1 and 3 and gamma lies between beta over 2 and (beta plus 3) over 4, as well as when beta exceeds 1 and gamma is at most beta over 2. A sympathetic reader cares because the result maps out when the nonlinear drift overcomes the noise to produce blow-up, clarifying the boundary between global existence and explosion in parabolic SPDEs. It refines earlier work by covering an intermediate parameter range where the competition between the terms was previously unresolved.

Core claim

The central claim is that for the equation partial u over partial t equals partial squared u over partial x squared plus u to the beta plus sigma(u) dot W, with sigma(u) approximately u to the gamma near infinity, mild solutions explode with positive probability if beta is in (1,3) and gamma in (beta/2, (beta+3)/4), or if beta exceeds 1 and gamma is in (0, beta/2]. The result is obtained on the periodic domain with space-time white noise and provides a partial characterization of explosion behavior in the intermediate regime.

What carries the argument

Mild solutions defined up to the potential explosion time, whose existence allows direct analysis of the probability that the solution reaches infinity in finite time when the reaction and noise exponents satisfy the stated inequalities.

Load-bearing premise

The noise coefficient behaves like a power of the solution near infinity, together with the existence of mild solutions up to the potential explosion time on the periodic interval.

What would settle it

A numerical simulation of a spatial discretization of the equation for parameters inside the claimed range, such as beta equal to 2 and gamma equal to 1.1, showing that the solution remains finite for all time with probability one would falsify the positive probability of explosion.

Figures

Figures reproduced from arXiv: 2605.11319 by Michael Salins, Yuyang Zhang.

Figure 1
Figure 1. Figure 1: Explosion regions (A) If β > 1 and γ ∈ (0, β 2 ], we prove that solutions can explode with positive probability in Section 4. (B) If β ∈ (1, 3) and γ ∈ ( β 2 , β+3 4 ), we prove that solutions can explode with positive probability in Section 5. (C) If β ∈ [0, 1] and γ ∈ [0, 3 2 ] then solutions cannot explode by [20, 30] and comparison principle [14, 21]. (D) If β ≥ 0 and γ > 3 2 , then results of Mueller … view at source ↗
Figure 2
Figure 2. Figure 2: Explosion regions Section 4 10 [PITH_FULL_IMAGE:figures/full_fig_p011_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Explosion regions Section 5 stochastic convolution integrals in (5.1). Let ϕ be an adapted random field, define Z ϕ (t, x) := Z t 0 Z G(t − s, x − y)ϕ(s, y)W(dyds) (5.2) and Y ϕ (t, x) := Z t 0 Z G(t − s, x − y)ϕ(s, y)dyds. (5.3) Theorem 4 (Theorem 1.2 of [30]) For any p > 6 there exists a constant Cp > 0 such that for any T ∈ [0, 1] and any adapted ϕ, E sup t∈[0,T] sup x∈D |Z ϕ (t, x)| p ≤ CpT p 4 − 3 2E … view at source ↗
read the original abstract

This paper studies the finite time explosion of the stochastic heat equation $\frac{\partial u}{\partial t}(t,x)=\frac{\partial^2}{\partial x^2} u(t,x)+(u(t,x))^{\beta}+\sigma(u(t,x))\dot{W}(t,x)$. We consider an interval $D=[-\pi,\pi]$ under periodic boundary condition where $\dot{W}(t,x)$ is a space-time white noise and $\sigma(u)\approx u^{\gamma}$ near $\infty$. Our results refine existing results by identifying behavior in a previously less understood regime, where we show that if $\beta\in(1,3),\gamma\in(\frac{\beta}{2},\frac{\beta+3}{4})$ or $\beta>1,\gamma\in(0,\frac{\beta}{2}]$ then mild solutions can explode with positive probability. This paper provides a partial characterization of the explosion behavior in an intermediate parameter regime, and contribute to the understanding of the interplay between the drift and diffusion terms.

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

Summary. The paper proves that mild solutions to the stochastic heat equation ∂_t u = ∂_{xx} u + u^β + σ(u) Ẇ on the torus [-π,π] with space-time white noise explode in finite time with positive probability, provided β ∈ (1,3) and γ ∈ (β/2, (β+3)/4), or β > 1 and γ ∈ (0, β/2], where σ(u) ∼ u^γ near infinity. The result refines earlier explosion criteria by covering an intermediate regime in which the noise growth competes with the superlinear drift.

Significance. If the local existence and stopping-time arguments hold, the work supplies a more complete picture of the parameter region separating global existence from finite-time blow-up for SPDEs with locally Lipschitz coefficients. It clarifies the balance between the accretive reaction term and the multiplicative noise in the presence of space-time white noise.

major comments (1)
  1. [§3] §3 (local existence and stopping time): the mild solution is constructed on [0,τ) with τ = inf{t : ||u(t)||_∞ = ∞} via truncation and fixed-point in a ball of the mild integral equation. For γ > β/2 the stochastic convolution term must map into a space where u ↦ u^γ remains locally Lipschitz; given the Hölder regularity <1/4 of the space-time white noise, the a priori estimates used to close the contraction (or to obtain a positive lower bound on τ) are not shown to hold uniformly up to the boundary of the claimed regime γ = (β+3)/4. This is load-bearing for the positive-probability explosion statement.
minor comments (1)
  1. [Theorem 1.1] The notation for the explosion time τ and the precise function space in which the mild solution lives should be stated explicitly in the statement of the main theorem (currently only in the abstract).

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the detailed comment on the local existence construction. We address the concern point by point below and clarify that the estimates hold uniformly inside the open interval for γ.

read point-by-point responses
  1. Referee: [§3] §3 (local existence and stopping time): the mild solution is constructed on [0,τ) with τ = inf{t : ||u(t)||_∞ = ∞} via truncation and fixed-point in a ball of the mild integral equation. For γ > β/2 the stochastic convolution term must map into a space where u ↦ u^γ remains locally Lipschitz; given the Hölder regularity <1/4 of the space-time white noise, the a priori estimates used to close the contraction (or to obtain a positive lower bound on τ) are not shown to hold uniformly up to the boundary of the claimed regime γ = (β+3)/4. This is load-bearing for the positive-probability explosion statement.

    Authors: We appreciate the referee highlighting the need for explicit uniformity. In the proof of local existence (Theorem 3.1), we work in the Hölder space C^α([0,T]×𝕋) with α<1/4 chosen small enough depending on γ. The stochastic convolution is estimated via the heat kernel and BDG inequality, producing the key bound (3.12) whose contraction factor contains the term T^θ with θ=(β+3)/4−γ>0. Because the claimed regime is the open interval γ<(β+3)/4, θ remains strictly positive and we may choose T>0 small enough, uniformly in the truncation level N, to close the contraction mapping and guarantee inf τ_N>0 with positive probability. The boundary γ=(β+3)/4 is deliberately excluded precisely because θ=0 would prevent this uniform control. We will add a short remark after the proof of Theorem 3.1 making the dependence on the gap θ explicit. revision: partial

Circularity Check

0 steps flagged

No circularity: standard SPDE local existence and explosion probability proof

full rationale

The derivation proceeds via the standard mild formulation of the stochastic heat equation on the torus, local existence of mild solutions up to a stopping time via truncation or fixed-point arguments in appropriate Hölder spaces, and then separate probabilistic estimates showing that the explosion time is finite with positive probability under the given parameter ranges for β and γ. These steps rely on classical semigroup theory for the heat kernel, Burkholder-Davis-Gundy inequalities for the stochastic convolution, and comparison or test-function arguments for explosion; none reduce by construction to fitted parameters, self-definitions, or load-bearing self-citations. The paper refines prior results in the literature without invoking uniqueness theorems or ansatzes from the authors' own prior work as the sole justification.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard assumptions from stochastic analysis and the specific growth conditions stated for the coefficients.

axioms (2)
  • domain assumption Existence of mild solutions to the SPDE up to explosion time
    The paper discusses mild solutions and their explosion, assuming they exist under the given conditions.
  • standard math Standard properties of space-time white noise on the periodic domain
    Invoked implicitly for the stochastic integral in the mild formulation.

pith-pipeline@v0.9.0 · 5480 in / 1183 out tokens · 35671 ms · 2026-05-13T01:34:50.623194+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.

Reference graph

Works this paper leans on

31 extracted references · 31 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

  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

  3. [3]

    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

  4. [4]

    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

  5. [5]

    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

  6. [6]

    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

  7. [7]

    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. Phys. D , 238(2):209–215, 2009

  8. [8]

    In stantaneous everywhere-blowup of parabolic SPDEs

    Mohammud Foondun, Davar Khoshnevisan, and Eulalia Nualart. In stantaneous everywhere-blowup of parabolic SPDEs. Probab. Theory Related Fields , 190(1-2):601– 624, 2024

  9. [9]

    Franzova

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

  10. [10]

    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

  11. [11]

    Blowup for the multiplicative s tochastic heat equation with superlinear drift, 2026

    Mathew Joseph and Shubham Ovhal. Blowup for the multiplicative s tochastic heat equation with superlinear drift, 2026

  12. [12]

    On the growth of solutions of quasi-linear parab olic equations

    Stanley Kaplan. On the growth of solutions of quasi-linear parab olic equations. Comm. Pure Appl. Math. , 16:305–330, 1963. 24

  13. [13]

    Stochastic stability of differential equations , volume 66 of Stochastic Modelling and Applied Probability

    Rafail Khasminskii. Stochastic stability of differential equations , volume 66 of Stochastic Modelling and Applied Probability . Springer, Heidelberg, second edition, 2012. With contributions by G. N. Milstein and M. B. Nevelson

  14. [14]

    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

  15. [15]

    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

  16. [16]

    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

  17. [17]

    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 Process. Appl., 139:175–211, 2021

  18. [18]

    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

  19. [19]

    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

  20. [20]

    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

  21. [21]

    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

  22. [22]

    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

  23. [23]

    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

  24. [24]

    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

  25. [25]

    W. F. Osgood. Beweis der Existenz einer L¨ osung der Differentia lgleichung dy dx =f (x,y ) ohne Hinzunahme der Cauchy-Lipschitz’schen Bedingung. Monatsh. Math. Phys. , 9(1):331–345, 1898. 25

  26. [26]

    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

  27. [27]

    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

  28. [28]

    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

  29. [29]

    Global solutions to the stochastic heat equation with superlinear ac- cretive reaction term and polynomially growing multiplicative white noise coefficient

    Michael Salins. Global solutions to the stochastic heat equation with superlinear ac- cretive reaction term and polynomially growing multiplicative white noise coefficient. Stoch PDE: Anal Comp , 2025. https://doi.org/10.1007/s40072-025-00351-6

  30. [30]

    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

  31. [31]

    Nonexplosion for a large class o f superlinear stochas- tic parabolic equations, in arbitrary spatial dimension

    Michael Salins and Yuyang Zhang. Nonexplosion for a large class o f superlinear stochas- tic parabolic equations, in arbitrary spatial dimension. Stoch PDE: Anal Comp , 2025. https://doi.org/10.1007/s40072-025-00400-0. 26