REVIEW 3 major objections 6 minor 1 cited by
A stochastic heat equation with non-locally Lipschitz coefficients
T0 review · 3 major / 6 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read Logarithmic singularities at zero in drift and noise still admit a unique global positive mild solution of the stochastic heat equation.
desk verdict The main well-posedness theorem is real and the proof is sound, but the abstract and Theorem 4.1 both overstate or contradict what is actually proved. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central machinery is a stopping-time localization scheme, driven by estimate (3.11). For each cutoff $\epsilon$, the coefficients are replaced by $b_\epsilon(z)=b(\epsilon)z/\epsilon$ and $\sigma_\epsilon(z)=\sigma(\epsilon)z/\epsilon$ on $(0,\epsilon]$, making them globally Lipschitz with growth constants $O((\log(1/\epsilon))^{A_1})$ and $O((\log(1/\epsilon))^{A_2})$; the approximating equations have unique global solutions. The proof tracks the stopping time at which a rescaled solution with initial value $e^{-k}$ first dips to $e^{-(k+1)}$, bounding this probability through the Hölder modulus of a process $V^{(k+1)}$ via a moment inequality and a continuity argument. The load-bearing chain of estimates ends in (3.11): with $H=L_b+p^2L_\sigma^4$, the probability that any ladder is crossed within the allotted time is bounded by $\binom{2m}{m}\exp(\cdots)$, and because $A_1<1$ and $4A_2<1$ the exponent is dominated by $-\beta\lambda p m\log m/4$, forcing the crossing times to diverge almost surely.
What would settle it
Run the construction for a coefficient pair inside the stated range, say $b(z)=z(\log(1/z))^{0.9}$ and $\sigma(z)=z(\log(1/z))^{0.24}$ near zero with a bounded Hölder initial condition, and compute the cutoff-crossing probabilities in (3.8) as the cutoff shrinks. The theorem predicts these probabilities converge to zero and the limit in (3.14) solves the mild equation (1.2) with finite moments of every order; a violation for any pair inside the stated range would falsify Theorem 3.1.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is Theorem 3.1: for nonnegative bounded Hölder continuous initial data, the stochastic heat equation $\partial_t u = \frac12 \partial_x^2 u + b(u) + \sigma(u)\dot W$ on $\mathbb{T}=[0,1]$ has a global mild solution, nonnegative, with $\sup_{t\le T}\sup_x E[u(t,x)^p]<\infty$ for every $p\ge 2$; and if $\inf_x u_0(x)>0$, the solution is unique and strictly positive in $C([0,\infty)\times\mathbb{T};\mathbb{R})$. The solution is built by modifying $b$ and $\sigma$ below a cutoff $\epsilon$ so they become globally Lipschitz, then showing the first passage below $\epsilon$ does not occur before a fixed time with probability tending to one. A comparison principle extends the construction to merely nonnegative initial data by approximating $u_0+1/n$ and taking a monotone limit. The quantitative engine is estimate (3.11), whose decay forces the cutoff-crossing times to diverge almost surely under exactly the assumptions $A_1<1$ and $4A_2<1$.
Load-bearing premise
The load-bearing premise is that near zero the noise coefficient grows no faster than $u\,(\log(1/u))^{1/4}$ and the drift grows no faster than $u\log(1/u)$; at or beyond that growth the proof's key probability bound no longer shrinks to zero, and the paper supplies no alternative argument.
Editorial extensions
If this is right
- For every bounded Hölder initial condition, the constructed solution is nonnegative, exists for all times, and has finite moments of every order uniformly on compact time intervals.
- If the initial condition is bounded away from zero, the global solution is unique and strictly positive at every position and time.
- With the same noise coefficient, smaller drift and smaller initial data yield a pointwise smaller solution almost surely; in particular the comparison principle covers the solutions built by localization even without the strict-positivity assumption.
- The critical drift case $A_1=1$ admits a global solution for sign-definite $b$ satisfying (4.1), for example $b(z)=-z\log(1/z)$.
- Allowing superlinear growth at infinity as well, the same method yields a unique global solution for coefficients with $b(u)=O(u\log u)$ and $\sigma(u)=O(u(\log u)^{1/4})$ as $u\to\infty$.
Reading between the lines
- Extension — The paper leaves the sharpness of $A_2<1/4$ open; testing $\sigma(z)=z(\log(1/z))^{1/4}$ would show whether the threshold is real or only a limitation of the proof.
- Extension — Because the proof relies on heat-kernel estimates on the torus rather than on the specific structure of the noise, the same localization scheme may carry over to colored noise or fractional Laplacians, though the authors do not claim this.
- Extension — Strict positivity of the solution means it never touches zero at finite times; that suggests pathwise separation-from-zero and support properties that could be useful in comparison or population-model arguments, a direction the paper does not pursue.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the one-dimensional stochastic heat equation on the torus with drift b and diffusion coefficient σ whose Lipschitz constants may blow up as the argument approaches zero. Under growth conditions |b(z)/z| = O((log(1/z))^{A1}) and |σ(z)/z| = O((log(1/z))^{A2}) for z near zero, with A1<1 and A2<1/4, the authors construct a global mild solution by truncating the coefficients away from a small cutoff and proving, via a stopping-time estimate, that the truncated solutions do not hit the cutoff before any fixed time. They claim existence, uniqueness, and strict positivity when the initial condition is bounded away from zero, and they also propose extensions to the critical case A1=1 and to superlinear growth at infinity. The central stopping-time estimate is the main technical contribution.
Significance. If Theorem 3.1 is correct, it is a genuine advance: it extends well-posedness for the stochastic heat equation to drift and diffusion coefficients that are only locally Lipschitz away from zero, it removes the monotonicity assumption on σ(z)/z used in the recent work of Han-Kim-Yi, and it permits a nonzero drift term. The proof is a derivation from the stated assumptions using standard external tools (Walsh integral, Kotelenez comparison, heat-kernel estimates); there are no fitted parameters, and the central claim does not reduce to an earlier result. The stopping-time probability estimate is a real technical novelty. The main issues are concentrated in the abstract, in a reduction step for small positive initial data, and in the critical-case extension, which is internally inconsistent as stated.
major comments (3)
- [Abstract and Theorem 3.1(1)] The abstract states that a unique global mild solution that remains strictly positive is established under an initial condition that is only nonnegative and not identically zero. Theorem 3.1(1), however, proves strict positivity and uniqueness only under the additional condition inf_{z∈T} u0(z) > 0, stated in (3.3). The abstract should either include this hypothesis or the theorem must be strengthened; as written, the abstract overclaims the main result.
- [Theorem 3.1, Step 3 (Section 3, after Remark 3.2)] In Step 3, the proof approximates a general nonnegative initial condition by u0,n = u0 + 1/n and says that Step 1 applies to these initial data. However, Step 1 (specifically Step 1-1) was proved only under the assumption inf u0 ≥ 1. The approximating data u0 + 1/n have infimum 1/n, which is below 1 for all large n, so the proof does not cover the intermediate case 0 < inf u0 < 1. A scaling argument or an analogous stopping-time proof for arbitrary positive lower bound is needed; as written, the reduction is incomplete.
- [Theorem 4.1, condition (4.1) and Step 1] The theorem's motivating example b(z) = -z log(1/z) does not satisfy condition (4.1): for this function, |b(z)|/z = log(1/z) is strictly increasing as z ↓ 0, so for every δ ∈ (0,1) and z < δ one has |b(z)|/z > |b(δ)|/δ, violating (4.1). In addition, under (4.1) the modified coefficient b^{(α)} defined in (4.3) is nonincreasing in α when θ_b = +1 and nondecreasing when θ_b = -1, opposite to the monotonicity claim in the proof of Step 1; the comparison direction must be reversed. The theorem as stated is internally inconsistent with its stated example.
minor comments (6)
- [Proposition 2.3, after (2.8)] The condition 2√p Lσ (π/√κ)^{1/2} < 1/8 requires κ > (16√π√p Lσ)^4 = 65536 π^2 p^2 Lσ^4, not the stated κ > 216π^2 p^2 Lσ^4. The proof of the explicit constant in (2.2) is therefore not valid as written; replacing 216 by a sufficiently large constant repairs the argument without affecting the qualitative results.
- [Proof of Theorem 3.1, Step 1-1, the proof of (3.2)] The displayed equality for E[u(t,x)^p] drops the term E[u(t,x)^p 1_{t>τ_ϵ}] without justification as ϵ → 0. A Fatou argument applied to u(t,x)^p 1_{t<τ_ϵ}, together with the uniform moment bounds for u~_ϵ, would give the claimed finiteness, but the current line is not rigorous.
- [Equations (3.10) and (3.11)] The suprema in (3.10) involve |V^{(k+1)}(s,x) - V^{(k+1)}(0,x)|, but (3.11) writes |V^{(k+1)}(s,x) - V^{(k)}(0,x)|; also the event in (3.11) is labeled {T_m ≤ T} after the proof was tracking T_{2m}. These notational inconsistencies should be cleaned up.
- [Theorem 4.2] The hypothesis 'u0 > 0' should be stated precisely as inf_{x∈T} u0(x) > 0, since uniqueness in Theorem 3.1 requires the condition (3.3).
- [Definition of T_k in Step 1-1] The notation 'T_k := inf_{0≤s≤t} {s > T_{k-1}, ...}' is confusing because t is already used as the fixed horizon; it should read 'T_k := inf{s > T_{k-1} : inf_{x∈T} u_{ϵ(k)}(s,x) ≤ e^{-k}}'.
- [Proof of Theorem 4.2] The statement that u^{(M)} is a strong Markov process is used in the induction on the time intervals but is not justified or cited; a reference or a short argument should be provided.
Circularity Check
No significant circularity: Theorem 3.1 is proved by a self-contained stopping-time localization argument, with the assumptions A1 < 1 and A2 < 1/4 used exactly in estimate (3.11) rather than imported from the conclusion.
full rationale
The paper's central claim (Theorem 3.1) is derived directly from the stated assumptions using standard machinery: Itô–Walsh integration, Picard-iteration moment bounds (Proposition 2.3), Hölder regularity with explicit dependence on the Lipschitz constants (Proposition 2.4), and a localization/comparison argument. The modified coefficients b_epsilon and sigma_epsilon in (3.4) are globally Lipschitz by construction, and the stopping-time analysis uses A1 < 1 and 4A2 < 1 exactly to make the probability bound in (3.11) vanish as m grows. This is a quantitative threshold inside the proof, not a restatement of existence, and no data or fitted parameter is renamed as a prediction. The self-citations are auxiliary and non-circular: [4] supplies the heat-kernel increment bound used as Lemma A.3, a parameter-free classical estimate whose assumptions do not include Theorem 3.1, while [2] and [3] appear only as prior context. The comparison principle is taken from Kotelenez [14], an external source, and no uniqueness result from the authors' earlier work is used to force the argument. Two correctness concerns are unrelated to circularity: the abstract's blanket claim of strict positivity omits the additional hypothesis inf u0 > 0, and Theorem 4.1's condition (4.1) is incompatible with the advertised example b(z) = -z log(1/z), since |b(z)|/z = log(1/z) increases as z decreases. These issues do not make the central derivation circular.
Assumptions & free parameters
assumptions (5)
- standard math Space-time white noise is a worthy martingale measure and the Walsh stochastic integral exists for square-integrable integrands.
- standard math The heat kernel on the torus satisfies the semigroup identity and the bounds in Lemma A.3.
- domain assumption The weak comparison principle for SHE with globally Lipschitz coefficients holds.
- standard math Kolmogorov's continuity theorem gives a version of the solution with Holder sample paths and bounds on suprema.
- standard math Picard iteration converges in the weighted norm under the contraction condition, yielding moment bounds for globally Lipschitz coefficients.
Cite this review
Pith. "Pith review of A stochastic heat equation with non-locally Lipschitz coefficients." pith.science (2026). https://pith.science/paper/YSEB3OYT
@misc{pith2026250723637,
author = {Pith},
title = {Pith review of: A stochastic heat equation with non-locally Lipschitz coefficients},
year = {2026},
howpublished = {\url{https://pith.science/paper/YSEB3OYT}},
note = {Machine review of arXiv:2507.23637}
}
abstract
We consider the stochastic heat equation (SHE) on the torus $\mathbb{T}=[0,1]$, driven by space-time white noise $\dot W$, with an initial condition $u_0$ that is nonnegative and not identically zero: \begin{equation*} \frac{\partial u}{\partial t} = \tfrac{1}{2}\frac{\partial^2 u}{\partial x^2} + b(u) + \sigma(u)\dot{W}. \end{equation*} The drift $b$ and diffusion coefficient $\sigma$ are Lipschitz continuous away from zero, although their Lipschitz constants may blow up as the argument approaches zero. We establish the existence of a unique global mild solution that remains strictly positive. Examples include $b(u)=u|\log u|^{A_1}$ and $\sigma(u)=u|\log u|^{A_2}$ with $A_1\in(0,1)$ and $A_2\in(0,1/4)$.
Forward citations
Cited by 1 Pith paper
-
Three-dimensional stochastic wave equation with non-Lipschitz coefficients
For the 3D stochastic wave equation with noise white in time and colored in space, a unique global mild solution exists when drift and diffusion grow at most like |u| (log |u|)^θ, with θ below explicit thresholds.
Reference graph
Works this paper leans on
-
[11]
Beom-Seok Han, Kunwoo Kim, and Jaeyun Yi, On the support of solutions to nonlinear stochastic heat equations, Preprint arXiv:2407.06827 (2024July), http://arXiv.org/abs/2407.06827
-
[29]
Differential Equations 313 (2022), 85–121, https://doi.org/10.1016/j.jde.2021.12.033
Shijie Shang and Tusheng Zhang, Stochastic heat equations with logarithmic nonlinearity, J. Differential Equations 313 (2022), 85–121, https://doi.org/10.1016/j.jde.2021.12.033. MR4362370
-
[1]
1, 62–93, https://www.sciencedirect.com/science/article/pii/0003491676900579
Iwo Bialynicki-Birula and Jerzy Mycielski, Nonlinear wave mechanics , Annals of Physics 100 (1976), no. 1, 62–93, https://www.sciencedirect.com/science/article/pii/0003491676900579
arXiv 1976
-
[2]
Le Chen, Mohammud Foondun, Jingyu Huang, and Michael Salins, Global solution for superlinear stochastic heat equation on Rd under osgood-type conditions, Preprint arXiv:2310.02153 (2023October), http://arXiv.org/abs/2310.02153
-
[3]
Le Chen and Jingyu Huang, Superlinear stochastic heat equation on Rd, Proc. Amer. Math. Soc. 151 (2023), no. 9, 4063–4078, https://doi.org/10.1090/proc/16436. MR4607649
-
[4]
Le Chen, Cheng Ouyang, and William Vickery, Parabolic anderson model with colored noise on torus , Preprint arXiv:2308.10802, to appear in Bernoulli (2023August), http://arXiv.org/abs/2308.10802
-
[5]
1962, Springer-Verlag, Berlin,
Robert Dalang, Davar Khoshnevisan, Carl Mueller, David Nualart, and Yimin Xiao, A minicourse on stochastic partial differential equations, Lecture Notes in Mathematics, vol. 1962, Springer-Verlag, Berlin,
work page 1962
-
[6]
Robert C. Dalang, Davar Khoshnevisan, and Tusheng Zhang, Global solutions to stochastic reaction- diffusion equations with super-linear drift and multiplicative noise , Ann. Probab. 47 (2019), no. 1, 519– 559, https://doi.org/10.1214/18-AOP1270. MR3909975. 24
Show all 31 references
-
[7]
D 238 (2009), no
Julian Fern´ andez Bonder and Pablo Groisman, Time-space white noise eliminates global solutions in reaction-diffusion equations, Phys. D 238 (2009), no. 2, 209–215, https://doi.org/10.1016/j.physd. 2008.09.005. MR2516340
2009 doi
-
[8]
Mohammud Foondun and Davar Khoshnevisan, Intermittence and nonlinear parabolic stochastic partial differential equations , Electron. J. Probab. 14 (2009), no. 21, 548–568, https://doi.org/10.1214/ EJP.v14-614. MR2480553
2009
-
[9]
1, 295–311, https://doi.org/10.3150/20-BEJ1240
Mohammud Foondun and Eulalia Nualart, The Osgood condition for stochastic partial differential equa- tions, Bernoulli 27 (2021), no. 1, 295–311, https://doi.org/10.3150/20-BEJ1240. MR4177371
2021 doi
-
[10]
Galaktionov and Juan L
Victor A. Galaktionov and Juan L. V´ azquez, The problem of blow-up in nonlinear parabolic equations , 2002, pp. 399–433. Current developments in partial differential equations (Temuco, 1999). MR1897690
2002
-
[12]
Kavin and Ananta K
R. Kavin and Ananta K. Majee, L´ evy Driven Stochastic Heat Equation with Logarithmic Nonlinearity: Well-Posedness and Large Deviation Principle , Appl. Math. Optim. 91 (2025), no. 2, Paper No. 51, https://doi.org/10.1007/s00245-025-10247-5 . MR4881026
2025 doi
-
[13]
119, Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 2014
Davar Khoshnevisan, Analysis of stochastic partial differential equations , CBMS Regional Conference Series in Mathematics, vol. 119, Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 2014. MR3222416
2014
-
[14]
Theory Related Fields 93 (1992), no
Peter Kotelenez, Comparison methods for a class of function valued stochastic partial differen- tial equations , Probab. Theory Related Fields 93 (1992), no. 1, 1–19, https://doi.org/10.1007/ BF01195385. MR1172936
1992
-
[15]
24, Cambridge University Press, Cambridge, 1990
Hiroshi Kunita, Stochastic flows and stochastic differential equations , Cambridge Studies in Advanced Mathematics, vol. 24, Cambridge University Press, Cambridge, 1990. MR1070361
1990
-
[16]
Annie Millet and Marta Sanz-Sol´ e,Global solutions to stochastic wave equations with superlinear coef- ficients, Stochastic Process. Appl. 139 (2021), 175–211, https://doi.org/10.1016/j.spa.2021.05
2021 doi
-
[17]
Carl Mueller, Long time existence for the wave equation with a noise term , Ann. Probab. 25 (1997), no. 1, 133–151, https://doi.org/10.1214/aop/1024404282. MR1428503
1997
-
[18]
Theory Related Fields 110 (1998), no
, Long-time existence for signed solutions of the heat equation with a noise term , Probab. Theory Related Fields 110 (1998), no. 1, 51–68, https://doi.org/10.1007/s004400050144. MR1602036
1998 doi
-
[19]
, The critical parameter for the heat equation with a noise term to blow up in finite time , Ann. Probab. 28 (2000), no. 4, 1735–1746, https://doi.org/10.1214/aop/1019160505. MR1813841
2000
-
[20]
Theory Related Fields 97 (1993), no
Carl Mueller and Richard Sowers, Blowup for the heat equation with a noise term , Probab. Theory Related Fields 97 (1993), no. 3, 287–320, https://doi.org/10.1007/BF01195068. MR1245247
1993 doi
-
[21]
Theory Related Fields 149 (2011), no
Leonid Mytnik and Edwin Perkins, Pathwise uniqueness for stochastic heat equations with H¨ older con- tinuous coefficients: the white noise case , Probab. Theory Related Fields 149 (2011), no. 1-2, 1–96, https://doi.org/10.1007/s00440-009-0241-7 . MR2773025
2011 doi
-
[22]
W. F. Osgood, Beweis der Existenz einer L¨ osung der Differentialgleichung dy dx = f (x, y) ohne Hinzu- nahme der Cauchy-Lipschitz’schen Bedingung , Monatsh. Math. Phys. 9 (1898), no. 1, 331–345, https: //doi.org/10.1007/BF01707876. MR1546565
-
[23]
62 (2025), no
Tianyi Pan, Shijie Shang, and Tusheng Zhang, Large Deviations of Stochastic Heat Equations with Logarithmic Nonlinearity , Potential Anal. 62 (2025), no. 2, 439–463, https://doi.org/10.1007/ s11118-024-10142-8 . MR4866619
2025
-
[24]
Gerald Rosen, Dilatation covariance and exact solutions in local relativistic field theories , Phys. Rev. 183 (1969Jul), 1186–1188, https://link.aps.org/doi/10.1103/PhysRev.183.1186
-
[25]
Salins, Existence and uniqueness for the mild solution of the stochastic heat equation with non- Lipschitz drift on an unbounded spatial domain , Stoch
M. Salins, Existence and uniqueness for the mild solution of the stochastic heat equation with non- Lipschitz drift on an unbounded spatial domain , Stoch. Partial Differ. Equ. Anal. Comput. 9 (2021), no. 3, 714–745, https://doi.org/10.1007/s40072-020-00182-7 . MR4297238. 25
2021 doi
-
[26]
Michael Salins, Global solutions for the stochastic reaction-diffusion equation with super-linear mul- tiplicative noise and strong dissipativity , Electron. J. Probab. 27 (2022), Paper No. 12, 17, https: //doi.org/10.1214/22-ejp740. MR4372099
2022 doi
-
[27]
, Global solutions to the stochastic reaction-diffusion equation with superlinear accretive reaction term and superlinear multiplicative noise term on a bounded spatial domain , Trans. Amer. Math. Soc. 375 (2022), no. 11, 8083–8099, https://doi.org/10.1090/tran/8763. MR4491446
2022 doi
-
[28]
, Solutions to the stochastic heat equation with polynomially growing multiplicative noise do not explode in the critical regime , Ann. Probab. 53 (2025), no. 1, 223–238, https://doi.org/10.1214/ 24-aop1704. MR4852006
2025
-
[30]
Walsh, An introduction to stochastic partial differential equations , ´Ecole d’´ et´ e de probabilit´ es de Saint-Flour, XIV—1984, 1986, pp
John B. Walsh, An introduction to stochastic partial differential equations , ´Ecole d’´ et´ e de probabilit´ es de Saint-Flour, XIV—1984, 1986, pp. 265–439. MR876085. Author Information Le Chen Department of Mathematics and Statistics, Auburn University Auburn, AL 36849, USA ...
1984
-
[2009]
MR1500166
Held at the University of Utah, Salt Lake City, UT, May 8–19, 2006, Edited by Khoshnevisan and Firas Rassoul-Agha. MR1500166
2006
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.