REVIEW 3 major objections 3 minor 22 references
Three-dimensional stochastic wave equation with non-Lipschitz coefficients
T0 review · 3 major / 3 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read This paper proves that the three-dimensional stochastic wave equation with multiplicative Gaussian noise admits a unique global mild solution when drift and diffusion grow only logarithmically faster than linearly, under covariance…
desk verdict Genuine extension of Mueller's wave-equation result to 3D with a new covariance assumption; the main theorem is new, but Proposition 3.1 has an unpatched hypothesis gap that should be fixed before publication. 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 object is the 3D wave kernel $G_t=\frac{1}{4\pi t}A_t$, where $A_t$ is uniform surface measure on the sphere of radius $t$, with the scaling property $G_t(dy)=tG_1(t^{-1}dy)$ and the convolution identity $(G_s*G_t)(dx)=\frac{1}{8\pi|x|}\mathbf{1}_{[s-t,s+t]}(|x|)\,dx$. The argument recenters all spherical measures at the origin to turn stochastic-integral terms into convolutions, where Assumption 1.1's bounds (1.6)--(1.8) control the $L^p$ moments and the spherical cancellation estimates (1.9)--(1.10) control temporal increments. These H\"older estimates feed a stopping-time construction: drift and diffusion are truncated at levels $N_n=K2^n$, and events on dyadic space-time grids ensure the truncated solutions agree up to a common time that grows to infinity.
What would settle it
Compute the left-hand sides of (1.9) and (1.10) for a spatial covariance $f$ that satisfies (1.6)--(1.8) but has oscillatory or anisotropic structure, such as $f(z)=\cos(k\cdot z)/(1+|z|^2)$; if either quantity fails to be $O(h^{\mu_1})$ or $O(h^{2\mu_2})$ with positive exponents as $h\to 0$, then Proposition 3.2's temporal H\"older estimate is unavailable, and the paper's proof of Theorem 1.2 does not close for that noise.
Extended reading notes
Core claim
The central claim is Theorem 1.2: for a spatial covariance $f$ satisfying Assumption 1.1 (in particular the integrability and spherical-difference bounds (1.6)--(1.10)), and for locally Lipschitz drift $b$ and diffusion $\sigma$ with $b(z)=O(|z|(\log|z|)^{\theta_1})$, $\sigma(z)=O(|z|(\log|z|)^{\theta_2})$, $0<\theta_1<2$, $0<\theta_2<(\bar\nu+1)/2$ with $\bar\nu=\min\{\nu,\nu_1,\nu_2\}$, there exists a unique global mild solution to (1.1) on every $[0,T]$ from bounded H\"older initial data. The mechanism is to prove moment bounds and spatial and temporal H\"older estimates for the truncated globally Lipschitz equations, then to patch solutions across an increasing sequence of stopping times using the logarithmic growth to keep the patching events overwhelmingly likely until $\tau_\infty=\infty$.
Load-bearing premise
The proof stands on the two spherical cancellation estimates (1.9) and (1.10) for the spatial covariance $f$: without them the temporal H\"older bound in Proposition 3.2 does not follow, and the stopping-time argument cannot close; these estimates are verified for smooth, Riesz, and Bessel kernels but are not consequences of the simpler growth bounds (1.6)--(1.8).
Editorial extensions
If this is right
- For any fixed $T>0$ and admissible initial data, the solution $u$ exists, is unique, and has finite $L^p$ moments uniformly on $[0,T]\times\mathbb{R}^3$.
- The theorem applies to Riesz kernels $f(z)=|z|^{-\beta}$ with $0<\beta<2$ and to Bessel kernels of order $\alpha>3$, giving explicit ranges for $\theta_1$ and $\theta_2$ in both cases.
- It also applies to every bounded covariance $f\in C^2_b(\mathbb{R}^3)$, with the simplest parameter values $\nu=\nu_1=\nu_2=2$ and $\gamma_1=\gamma_2=\mu_1=\mu_2=1$.
- Within the stated growth classes, no finite-time blow-up can occur on any fixed time interval, in contrast to supercritical polynomial growth where earlier blow-up results apply.
- The mild solution is built coherently from truncated equations, so it coincides with the unique Lipschitz-coefficient solution on every set where the solution stays below the truncation level.
Reading between the lines
- Going beyond the paper: the explicit threshold $\theta_2<(\bar\nu+1)/2$ raises the question of whether $\theta_2=(\bar\nu+1)/2$ is a genuine critical exponent; at that value the summability estimate in Proposition 4.2 stops being strict, and testing the borderline case would require a separate argument.
- Going beyond the paper: the spherical cancellation conditions (1.9)--(1.10) are shape conditions on the covariance rather than simple integrability conditions, so covariances with strong anisotropy or oscillation may fail them even when (1.6)--(1.8) hold; checking such an $f$ would delineate the method's scope.
- Going beyond the paper: the same machinery of H\"older estimates plus stopping times could be adapted to other wave-type equations with measure-supported kernels, such as the damped wave equation in three dimensions, where the kernel has similar sphere structure.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the three-dimensional stochastic wave equation (1.1) driven by multiplicative Gaussian noise that is white in time and correlated in space, with locally Lipschitz drift b and diffusion coefficient σ satisfying the logarithmic growth conditions (1.11). Under Assumption 1.1 on the spatial covariance f, the authors prove existence and uniqueness of a global mild solution on any fixed time interval [0,T] (Theorem 1.2). The proof combines a truncation/stopping-time argument adapted from Mueller [11] with spatial and temporal Hölder regularity estimates for the equation with globally Lipschitz coefficients (Propositions 3.1 and 3.2). These regularity estimates rely on Assumption 1.1, which is verified for C^2_b functions, Riesz kernels, and Bessel kernels in Section 5. The paper also gives a self-contained moment bound (Proposition 2.1) for the globally Lipschitz case.
Significance. If the results are correct, this is a meaningful extension of Mueller's long-time existence theory for stochastic wave equations from dimensions one and two to dimension three, where the wave kernel is a surface measure and the analysis is considerably more delicate. The paper makes the covariance assumptions explicit and demonstrates them on several natural examples, and the proof is presented in considerable detail. The main technical gap identified in Proposition 3.1 is local and appears readily fixable without changing the theorem; the other issues are notational or typographical. The reliance on [9] is as a tool for regularity estimates, and I do not see a circularity problem.
major comments (3)
- [Section 3.1, Eq. (3.8)] The estimate of Q21 in (3.8) is obtained by writing |σ(u)|^2 ≤ L_σ^2(1+|u|^2), which uses the implicit inequality |σ(0)| ≤ C L_σ. This is not a hypothesis of Proposition 3.1, which is stated for arbitrary globally Lipschitz σ. The sentence 'In Q21 we have bounded |σ(0)|/Lσ by a constant since finally in this paper Lσ will be large, see (4.2)' refers to the truncated coefficients in Section 4 and does not justify the general statement. The proof can be repaired either by adding L_σ ≥ C|σ(0)| as an explicit hypothesis of Proposition 3.1, or by carrying the extra |σ(0)|^2 |w|^{2γ1} ∫_0^t (t-s)^{ν1} ds term through the Gronwall argument and absorbing it into the forcing term M|w|^{2γ̄} on the right-hand side of (3.1). Since Theorem 1.2 uses the proposition only for truncations with L_{σ_N} = O((log N)^{θ_2}) → ∞, this gap does not invalidate the main theorem, but the proof as written is incomplete.
- [Section 3.2, Proposition 3.2 and proof] The exponent in the statement is displayed as '0< µ < µ= 1/2 min{2µ2, ν+ 1,2 γ, γ+µ 1}' with γ undefined, while the proof uses '0<2µ <2 µ := min{2µ2,2 γ, ν+ 1,γ+µ 1}'. The symbol γ should be ¯γ = min{α1,α2,α3,γ1,γ2}, and the two displays should be normalized so that the Hölder exponent claimed in (3.13) is unambiguous. This matters because Lemma 4.4 and Proposition 4.2 subsequently use the exponent γ∧µ with a separate parameter γ ∈ (0,γ̄), and the current notation makes it difficult to verify that the constants are uniform over the truncation levels and over the choice of γ.
- [Section 4, definition of E_1 (Eq. (4.7))] The event E_1 is defined as {sup_{C(t_1,0)} |u^{N_1}(t,x)| ≤ M + K^2}, but the induction in (4.9) and the argument in Lemma 4.3 require the base case sup_{C(t_1,0)} |u^{N_1}(t,x)| ≤ M + K/2, which is the value obtained by substituting n=1 into the general increment K 2^{n-2}. With the printed definition, E_1 only gives M+K^2, and the chain of inequalities in (4.9) fails for large K; the proof of Proposition 4.2 is therefore not justified as written. This is evidently a typographical slip (K^2 should be K/2), but it must be corrected, or the induction in (4.9) reformulated, before the stopping-time proof is valid.
minor comments (3)
- [Section 5.2 and 5.3] The verifications of (1.9) and (1.10) for the Riesz and Bessel kernels are delegated to [9, Proposition 5.3] and [9, Proposition 5.4] without explicitly listing the inherited parameter choices for γ1, γ2, µ1, µ2, ν1, and ν2. Please state the resulting parameter assignments so that the reader can confirm that the version of Assumption 1.1 used here is indeed satisfied.
- [Theorem 1.2 and abstract] The growth condition (1.11) is written with log|z|, while the abstract uses log_+(z)=log(z∨e). For consistency, define log_+ immediately before (1.11) or assume |z| large enough so that the two statements agree outside a compact set.
- [Proposition 2.1, Eq. (2.6)] The constant M in (2.6) contains T∥v0∥_{L∞} + ∥u0∥_{L∞} + T∥∇u0∥_{L∞}; since the preceding display bounds |V(t,x)| by t∥v0∥_{L∞} + ∥u0∥_{L∞} + t∥∇u0∥_{L∞}, it would be clearer to write sup_{t∈[0,T]} explicitly when defining M.
Circularity Check
No significant circularity: Theorem 1.2 is proved from explicit assumptions on f, b, and σ; the cited self-work [9] supplies technical lemmas, not the main existence conclusion.
full rationale
The central claim, global existence and uniqueness for the 3D stochastic wave equation with non-Lipschitz coefficients, is a genuinely new conditional result. It is derived from Assumption 1.1 on the spatial covariance f, the moment bound in Proposition 2.1, and the spatial and temporal Hölder estimates in Propositions 3.1 and 3.2, using a stopping-time argument adapted from Mueller [11]. The paper does not fit any parameter to the target solution, and Theorem 1.2 is not assumed anywhere in the hypotheses. The main self-citations are to [9] (Hu–Huang–Nualart, coauthored by Huang) for the wave-kernel convolution identity in Lemma 2.2, for the spherical-kernel technique, and for verification of parts of Assumption 1.1 in the Riesz and Bessel examples. These citations are external, published technical facts used as tools: the identity parameter-free and checkable, and the covariance examples only illustrate applicability of the conditional theorem. No uniqueness theorem is imported from the authors to force the choice of the stopping-time construction, and the logarithmic growth conditions on b and σ are explicitly stated hypotheses rather than conclusions. The only questionable passage is the sentence 'In Q21 we have bounded |σ(0)|/Lσ by a constant since finally in this paper Lσ will be large, see (4.2)' in the proof of Proposition 3.1. That is an incomplete justification for a constant in an estimate, not an instance of the conclusion being inserted into the assumptions; it is a proof gap to be patched, not a circular step. Therefore the paper has no significant circularity, and the low score reflects only the presence of self-citations in auxiliary, non-load-bearing roles.
Assumptions & free parameters
assumptions (5)
- standard math Wave kernel convolution identity: for s≥t, (G_s * G_t)(dx) = (1/(8π|x|)) 1_{[s-t,s+t]}(|x|) dx (Lemma 2.2, from [9]).
- standard math Burkholder-Davis-Gundy inequality for Itô-Walsh integrals (Theorem B.1 of [10]).
- standard math Deterministic wave regularity bound V(t',t,x)^2 ≤ C(|t'-t|^{2α2} + |t'-t|^{2α3}) ([5, Lemma 4.9]).
- standard math Riesz kernel representation and integral bounds ([5, Lemma 2.6] and [7, Corollary 3.4], used as Lemma A.1 and A.2).
- domain assumption Assumption 1.1 on the spatial covariance f, including the sphere-path estimates (1.9) and (1.10).
Cite this review
Pith. "Pith review of Three-dimensional stochastic wave equation with non-Lipschitz coefficients." pith.science (2026). https://pith.science/paper/25N7AEHD
@misc{pith2026260806646,
author = {Pith},
title = {Pith review of: Three-dimensional stochastic wave equation with non-Lipschitz coefficients},
year = {2026},
howpublished = {\url{https://pith.science/paper/25N7AEHD}},
note = {Machine review of arXiv:2608.06646}
}
abstract
We consider the three-dimensional stochastic wave equation (SWE) driven by a multiplicative Gaussian noise that is white in time and colored in space: \[ \frac{\partial^2 u}{\partial t^2} = \Delta u + b\bigl(u\bigr) + \sigma\bigl(u\bigr)\,\dot{W}, \] where the drift function $ b $ and diffusion coefficient $\sigma$ are assumed to be locally Lipschitz and exhibit logarithmic superlinear growth at infinity. We establish the existence and uniqueness of a global mild solution on any fixed time interval $[0,T]$ under suitable assumptions on the spatial covariance function $ f $ of the noise $\dot W(t,x)$. Our results apply, for example, to the case \[ b(u) = u (\log_+ u)^{\theta_1} \quad \text{and} \quad \sigma(u) = u (\log_+ u)^{\theta_2}, \] with parameters $\theta_1 \in (0,2)$ and $\theta_2 \in \bigl(0, \tfrac{\bar{\nu}+1}{2}\bigr)$, and $\log_+(z)=\log(z\vee e)$, where $\bar{\nu}$ is determined by the assumptions on $ f $.
Reference graph
Works this paper leans on
-
[9]
Yaozhong Hu, Jingyu Huang, and David Nualart,On H¨ older continuity of the solution of stochastic wave equations in dimension three, Stoch. Partial Differ. Equ. Anal. Comput.2(2014), no. 3, 353–407, https://doi.org/10.1007/s40072-014-0035-5. MR3255232
-
[5]
Robert C. Dalang and Marta Sanz-Sol´ e,H¨ older-Sobolev regularity of the solution to the stochastic wave equation in dimension three, Mem. Amer. Math. Soc.199(2009), no. 931, vi+70,https://doi.org/ 10.1090/memo/0931. MR2512755
-
[7]
Mohammud Foondun and Davar Khoshnevisan,On the stochastic heat equation with spatially-colored random forcing, Trans. Amer. Math. Soc.365(2013), no. 1, 409–458,https://doi.org/10.1090/ S0002-9947-2012-05616-9. MR2984063. 3D STOCHASTIC W A VE EQUATION WITH NON-LIPSCHITZ COEFFICIENTS 31
work page 2013
-
[11]
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
arXiv 1997
-
[1]
Le Chen, Mohammud Foondun, Jingyu Huang, and Michael Salins,Global solution for superlinear stochastic heat equation onR d under Osgood-type conditions, Nonlinearity38(2025), no. 5, Paper No. 055026, 25,https://doi.org/10.1088/1361-6544/add3b2. MR4904500
-
[2]
Le Chen, Jingyu Huang, and Wenxuan Tao,A stochastic heat equation with non-locally lipschitz coeffi- cients, Preprint arXiv:2507.23637, to appear in Bernoulli (2025September),https://arxiv.org/abs/ 2507.23637
-
[3]
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
-
[4]
Dalang and Llu ´ ıs Quer-Sardanyons,Stochastic integrals for spde’s: a comparison, Expo
Robert C. Dalang and Llu ´ ıs Quer-Sardanyons,Stochastic integrals for spde’s: a comparison, Expo. Math. 29(2011), no. 1, 67–109,https://doi.org/10.1016/j.exmath.2010.09.005. MR2785545
Show all 22 references
-
[6]
D238(2009), no
Julian Fern´ andez Bonder and Pablo Groisman,Time-space white noise eliminates global solutions in reaction-diffusion equations, Phys. D238(2009), no. 2, 209–215,https://doi.org/10.1016/j.physd. 2008.09.005. MR2516340
2009 doi
-
[8]
Differential Equations318(2022), 557–578,https://doi.org/10.1016/j.jde.2022
Mohammud Foondun and Eulalia Nualart,Non-existence results for stochastic wave equations in one dimension, J. Differential Equations318(2022), 557–578,https://doi.org/10.1016/j.jde.2022. 02.038. MR4387900
2022 doi
-
[10]
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
-
[12]
Theory Related Fields110(1998), no
,Long-time existence for signed solutions of the heat equation with a noise term, Probab. Theory Related Fields110(1998), no. 1, 51–68,https://doi.org/10.1007/s004400050144. MR1602036
1998 doi
-
[13]
Probab.28(2000), no
,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
-
[14]
Theory Related Fields97(1993), no
Carl Mueller and Richard Sowers,Blowup for the heat equation with a noise term, Probab. Theory Related Fields97(1993), no. 3, 287–320,https://doi.org/10.1007/BF01195068. MR1245247
1993 doi
-
[15]
Szymon Peszat,The Cauchy problem for a nonlinear stochastic wave equation in any dimension, J. Evol. Equ.2(2002), no. 3, 383–394,https://doi.org/10.1007/PL00013197. MR1930613
2002 doi
-
[16]
Theory Related Fields116(2000), no
Szymon Peszat and Jerzy Zabczyk,Nonlinear stochastic wave and heat equations, Probab. Theory Related Fields116(2000), no. 3, 421–443,https://doi.org/10.1007/s004400050257. MR1749283
2000 doi
-
[17]
Salins,Global solutions to the stochastic heat equation with superlinear accretive reaction term and polynomially growing multiplicative white noise coefficient, Stoch
M. Salins,Global solutions to the stochastic heat equation with superlinear accretive reaction term and polynomially growing multiplicative white noise coefficient, Stoch. Partial Differ. Equ. Anal. Comput. 14(2026), no. 1, 109–132,https://doi.org/10.1007/s40072-025-00351-6. MR5015569
2026 doi
-
[18]
Dyn.22(2022), no
Michael Salins,Existence and uniqueness of global solutions to the stochastic heat equation with su- perlinear drift on an unbounded spatial domain, Stoch. Dyn.22(2022), no. 5, Paper No. 2250014, 30, https://doi.org/10.1142/S0219493722500149. MR4486234
2022 doi
-
[19]
,Global solutions for the stochastic reaction-diffusion equation with super-linear multiplicative noise and strong dissipativity, Electron. J. Probab.27(2022), Paper No. 12, 17,https://doi.org/10. 1214/22-ejp740. MR4372099
2022
-
[20]
Probab.53(2025), no
,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
-
[21]
Shijie Shang and Tusheng Zhang,Global well-posedness to stochastic reaction-diffusion equations on the real lineRwith superlinear drifts driven by multiplicative space-time white noise, Preprint arXiv:2106.02879 (2021June),http://arXiv.org/abs/2106.02879
-
[22]
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. 1 School of Mathematics, University of Birmingham, Birmingham, B15 2TT, United King- dom Email address: † j.hua...
1984
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.