Ergodicity of reflected stochastic reaction-diffusion equations driven by space-time white noise
Pith reviewed 2026-06-30 05:20 UTC · model grok-4.3
The pith
The reflected stochastic reaction-diffusion equation with space-time white noise has a unique invariant measure and mixes exponentially under a dissipative condition allowing superlinear growth.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Under the dissipative condition (b(x)−b(y))(x−y)≤−α(x−y)^2, the reflected stochastic reaction-diffusion equation driven by space-time white noise on [0,1] with zero Dirichlet boundaries admits a unique invariant measure, and the distribution of the solution converges exponentially fast to it.
What carries the argument
Comparison principles of the reflected stochastic reaction-diffusion equation used to derive mixing properties without an Itô formula.
Load-bearing premise
The comparison principles provide a way to establish contraction in the space of measures without relying on an Itô formula or energy equality.
What would settle it
An explicit construction of two distinct invariant measures for an equation satisfying the dissipative condition, or a numerical computation showing sub-exponential convergence rates.
read the original abstract
We consider the reflected stochastic reaction-diffusion equation on $[0,1]$: \begin{align*} \left\{ \begin{aligned} d u(t,x) &=\frac{1}{2}\partial_{xx} u(t,x)dt +b(u(t,x))dt + \sigma(u(t,x)) W(dt,dx)+L(dt,dx),\\ u(t,x)&\geq 0, \quad t\geq 0, \ x\in [0,1],\\ u(0,x)&=u_0(x)\geq 0, \quad x\in [0,1],\\ u(t,0) &= u(t,1) = 0, \quad \forall\ t\geq 0, \end{aligned} \right. \end{align*} where the initial value $u_0$ is non-negative on $[0,1]$ satisfying $u_0(0)=u_0(1)=0$, and $ W(dt,dx)$ is a space-time white noise. The $L$ in the equation is a random measure on $[0,\infty)\times(0,1)$, which is a part of the solution pair $(u, L)$. In this paper, we establish the existence and uniqueness of invariant measures, as well as exponential mixing for the reflected stochastic reaction diffusion equation under the dissipative condition $$(b(x)-b(y))(x-y)\leq -\alpha (x-y)^2,$$ which include the coefficients having polynomial, even exponential growth. The big obstacle of utilizing the dissipative condition is the lack of the It\^{o} formula/energy equality for such equations. To circumvent the problem, we use the newly found method in our paper (arXiv:2606.26619, 2026) to fully exploit comparison principles of reflected stochastic reaction-diffusion equation.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript establishes existence and uniqueness of an invariant measure together with exponential mixing for the reflected stochastic reaction-diffusion equation on [0,1] driven by space-time white noise, under the one-sided dissipative condition (b(x)-b(y))(x-y) ≤ -α(x-y)^2 that permits polynomial or exponential growth of b. The argument first invokes well-posedness (presumably from the companion preprint) and then applies comparison principles developed in arXiv:2606.26619 to obtain the necessary tightness and contraction estimates, thereby circumventing the absence of an Itô formula or energy identity.
Significance. If the central claims hold, the work would extend ergodicity results for reflected SPDEs to a class of superlinear coefficients that are excluded by standard energy methods. The systematic use of comparison principles to replace missing Itô calculus constitutes a technically interesting methodological contribution for positivity-constrained stochastic PDEs.
major comments (2)
- [Introduction and Section 3 (main argument)] The entire ergodicity argument rests on comparison principles and auxiliary results imported from the authors' companion preprint arXiv:2606.26619. The manuscript must either reproduce the relevant statements (with proofs or precise citations to numbered lemmas) or demonstrate that the application to the present equation is direct and does not require additional verification; without this, the central claim cannot be checked independently.
- [Section 4 (invariant measure and mixing)] It is not shown how the comparison principle yields a uniform-in-time moment bound or a contraction in a Wasserstein-type distance sufficient for exponential mixing; the dissipative condition alone does not automatically produce the required Lyapunov function or coupling estimate when the Itô formula is unavailable.
minor comments (2)
- [Equation (1.1)] The notation for the reflection measure L(dt,dx) and the precise sense in which the pair (u,L) solves the equation should be stated explicitly (e.g., in the sense of distributions or via Skorokhod reflection).
- [Assumptions] The initial condition u0 is required to satisfy u0(0)=u0(1)=0; it would be useful to clarify whether this boundary compatibility is preserved by the flow and used in the comparison arguments.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments. We address the two major points below and will incorporate the suggested clarifications into the revised manuscript.
read point-by-point responses
-
Referee: [Introduction and Section 3 (main argument)] The entire ergodicity argument rests on comparison principles and auxiliary results imported from the authors' companion preprint arXiv:2606.26619. The manuscript must either reproduce the relevant statements (with proofs or precise citations to numbered lemmas) or demonstrate that the application to the present equation is direct and does not require additional verification; without this, the central claim cannot be checked independently.
Authors: We agree that clearer documentation is needed. In the revision we will insert precise citations to the companion preprint, specifically Lemma 2.4 (comparison principle for reflected SPDEs with space-time white noise) and Lemma 3.7 (auxiliary contraction estimates under one-sided dissipativity). We will also add one paragraph in Section 3 stating that the hypotheses of those lemmas are satisfied verbatim by our equation (Dirichlet boundary conditions, non-negative reflection, and the given dissipative condition on b), so the application is direct and requires no extra verification. revision: yes
-
Referee: [Section 4 (invariant measure and mixing)] It is not shown how the comparison principle yields a uniform-in-time moment bound or a contraction in a Wasserstein-type distance sufficient for exponential mixing; the dissipative condition alone does not automatically produce the required Lyapunov function or coupling estimate when the Itô formula is unavailable.
Authors: We will expand Section 4 with an explicit derivation. Using the comparison principle we construct a dominating process whose moments are controlled uniformly in time by the dissipativity; the same comparison yields a monotone coupling whose distance contracts exponentially in a suitable Wasserstein metric. The new subsection will spell out these steps without invoking Itô's formula, following the framework already established in the companion paper. revision: yes
Circularity Check
Self-citation load-bearing for core technical workaround
specific steps
-
self citation load bearing
[Abstract]
"The big obstacle of utilizing the dissipative condition is the lack of the Itô formula/energy equality for such equations. To circumvent the problem, we use the newly found method in our paper (arXiv:2606.26619, 2026) to fully exploit comparison principles of reflected stochastic reaction-diffusion equation."
The paper's strategy for obtaining the ergodicity results under the one-sided dissipative condition on b is declared to rest on the comparison-principle method developed in the authors' own recent preprint; without that self-citation the stated obstacle remains unaddressed, so the central claim reduces to dependence on the overlapping-author reference.
full rationale
The paper's central argument for ergodicity (existence/uniqueness of invariant measure and exponential mixing) explicitly identifies the lack of Itô formula/energy equality as the main obstacle and states that it is circumvented exclusively by invoking a method from the authors' own concurrent preprint arXiv:2606.26619. This matches the self_citation_load_bearing pattern because the load-bearing step reducing the dissipative condition to usable comparison estimates rests on self-authored machinery. The remainder of the derivation (tightness, contraction) is not shown to be independent of that step. However, the paper still performs additional analysis beyond the citation, so the circularity is partial rather than total reduction to input. No other patterns (self-definitional, fitted predictions, etc.) are present in the provided text.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The dissipative condition (b(x)-b(y))(x-y) ≤ −α(x−y)^2 holds for the reaction coefficient b.
- domain assumption Comparison principles for the reflected stochastic reaction-diffusion equation hold as established in arXiv:2606.26619.
Reference graph
Works this paper leans on
-
[1]
Assing and R
S. Assing and R. Manthey. Invariant measures for stochastic heat equations with unbounded coefficients. Stoch. Process. Appl., 2003, 103(2): 237–256
2003
-
[2]
Da Prato and J
G. Da Prato and J. Zabczyk. Stochastic Equations in Infinite Dimensions. Ency- clopedia of Mathematics and its Applications, vol. 44. Cambridge University Press, Cambridge, 1992
1992
-
[3]
Da Prato and J
G. Da Prato and J. Zabczyk. Ergodicity for Infinite-Dimensional Systems. London Mathematical Society Lecture Note Series, vol. 229. Cambridge University Press, Cambridge, 1996
1996
-
[4]
R. C. Dalang, C. Mueller and L. Zambotti. Hitting properties of parabolic SPDEs with reflection. Ann. Probab., 2006, 34(4): 1423–1450. 21
2006
-
[5]
Donati-Martin and E
C. Donati-Martin and E. Pardoux. White noise driven SPDEs with reflection. Probab. Theory Relat. Fields, 1993, 95: 1–24
1993
-
[6]
Donati-Martin and E
C. Donati-Martin and E. Pardoux. EDPS r´ efl´ echies et calcul de Malliavin. Bull. Sci. Math., 1997, 121(5): 405–422
1997
-
[7]
Funaki and S
T. Funaki and S. Olla. Fluctuations for∇ϕinterface model on a wall. Stochastic Process. Appl., 2001, 94(1): 1–27
2001
-
[8]
Hairer and J
M. Hairer and J. C. Mattingly. Ergodicity of the 2D Navier-Stokes equations with degenerate stochastic forcing. Ann. of Math. (2), 2006, 164(3): 993–1032
2006
-
[9]
U. G. Haussmann and E. Pardoux. Stochastic variational inequalities of parabolic type. Appl. Math. Optim., 1989, 20: 163–192
1989
-
[10]
J. Kalsi. Existence of invariant measures for reflected stochastic partial differential equations. J. Theoret. Probab., 2020, 33(3): 1755–1767
2020
-
[11]
Khoshnevisan
D. Khoshnevisan. Analysis of Stochastic Partial Differential Equations. American Mathematical Society, Providence, RI, 2014
2014
-
[12]
Manthey and T
R. Manthey and T. Zausinger. Stochastic evolution equations inL 2ν ρ . Stochastics Stochastics Rep., 1999, 66(1-2): 37–85
1999
-
[13]
Nualart and E
D. Nualart and E. Pardoux. White noise driven quasilinear SPDEs with reflection. Probab. Theory Relat. Fields, 1992, 93: 77–89
1992
-
[14]
Peszat and J
S. Peszat and J. Zabczyk. Strong Feller property and irreducibility for diffusions on Hilbert spaces. Ann. Probab., 1995, 23(1): 157–172
1995
-
[15]
S. Shang, J. Zhai and T. Zhang. Ergodicity of stochastic reaction-diffusion equations on unbounded domains driven by space-time white noise. arXiv:2606.26619, 2026
Pith/arXiv arXiv 2026
-
[16]
J. B. Walsh. An introduction to stochastic partial differential equations. In: ´Ecole d’´ et´ e de probabilit´ es de Saint-Flour XIV—1984, Lecture Notes in Math., vol. 1180, pp. 265–439. Springer, Berlin, 1986
1984
-
[17]
Xu and T
T. Xu and T. Zhang. White noise driven SPDEs with reflection: existence, uniqueness and large deviation principles. Stochastic Process. Appl., 2009, 119(10): 3453–3470
2009
-
[18]
Yang and T
J. Yang and T. Zhang. Existence and uniqueness of invariant measures for SPDEs with two reflecting walls. J. Theoret. Probab., 2014, 27(3): 863–877
2014
-
[19]
Zambotti
L. Zambotti. A reflected stochastic heat equation as symmetric dynamics with respect to the 3-d Bessel bridge. J. Funct. Anal., 2001, 180: 195–209
2001
-
[20]
T. Zhang. White noise driven SPDEs with reflection: strong Feller properties and Harnack inequalities. Potential Anal., 2010, 33(2): 137–151. 22
2010
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.