REVIEW 2 major objections 4 minor 2 cited by
Martingale Solutions of Fractional Stochastic Reaction-Diffusion Equations Driven by Superlinear Noise
T0 review · 2 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read This paper proves that martingale solutions exist for a broad class of stochastic PDEs with pseudo-monotone drift and superlinear, merely continuous noise, without any local Lipschitz condition.
desk verdict A useful extension of the Rockner–Shang–Zhang existence result to arbitrary polynomial drift and continuous superlinear noise, but the proof of Theorem 2.3 skips the one step that actually identifies the drift limit. 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 load-bearing object is the pseudo-monotone drift operator $A(t,\cdot)=\sum_{j=1}^J A_j(t,\cdot)$ acting on the intersection $V=\bigcap_{j=1}^J V_j$ of several reflexive Banach spaces, together with the compact embedding $V\subset H$. Pseudo-monotonicity here means that weak convergence of $v_n$ to $v$ plus $\liminf_n (A(t,v_n),v_n-v)\ge 0$ lets one pass to the limit in the duality pairing. The proof machinery consists of Galerkin approximations, uniform moment estimates from Itô's formula, tightness in $L^{q_j}_w(0,T;V_j)\cap L^\infty_{w*}(0,T;H)\cap C([0,T],V^*)$, and the Skorokhod-Jakubowski representation theorem for topological spaces, which replaces the invalid strong Skorokhod theorem. The final identification $\sum_{j=1}^J \tilde A_j = \sum_{j=1}^J A_j(\cdot,\tilde Z)$ is delegated to the pseudo-monotone argument of [29] adapted to the multi-space setting.
What would settle it
One concrete test is to take the scalar equation with $f(u)=-|u|^{p-2}u$ and a continuous superlinear $\sigma$, and check directly whether the pseudo-monotone step (2.64)-(2.63) identifies the limit drift when the Galerkin sequence converges only weakly in $L^p$; a sequence satisfying the bound (2.71) with two distinct possible limit drifts would falsify the argument.
Extended reading notes
Core claim
The central discovery is that the existence of martingale solutions survives the combination of three relaxations: the drift may be only continuous and decreasing with polynomial growth of arbitrary order, the noise may grow superlinearly with order $q<p$ and be only continuous, and no local Lipschitz or differentiability condition is needed. The proof passes to the limit of Galerkin approximations without a metric Skorokhod representation, using the Skorokhod-Jakubowski theorem on a topological space built from weak and weak-* topologies, and then identifies the limit drift by a pseudo-monotone argument. The same abstract theorem delivers the fractional reaction-diffusion application and, under the additional assumptions (3.45)-(3.46), pathwise uniqueness of the solution.
Load-bearing premise
The load-bearing step is the claim, asserted without proof, that the pseudo-monotone argument of Lemma 2.16 in [29], proved for one Banach space with a strong Skorokhod representation, still works in the present multi-space setting with weak and weak-* topologies; if that transfer fails, the drift in the limiting equation (2.63) is never identified and existence is not established.
Editorial extensions
If this is right
- If the abstract theorem is right, the fractional stochastic reaction-diffusion equation (1.1)-(1.3) has at least one martingale solution for every $u_0\in H$ under assumptions (3.1)-(3.8).
- The same abstract result covers fractional $p$-Laplace and tamed Navier-Stokes equations with polynomial drift of arbitrary order, as the paper states.
- Under the additional monotonicity assumptions (3.45)-(3.46), the martingale solution is pathwise unique, so the system has a unique solution in the sense of Definition 2.2.
- For every $p\ge 1$ the solution satisfies the uniform bound (2.12), giving finite moments of the supremum of the $H$-norm and of the sums of the $V_j$-powers.
Reading between the lines
- The multi-space formulation suggests the same existence proof should transfer to any monotone SPDE whose drift splits over several anisotropic function spaces, provided each component is hemicontinuous and the compact embedding $V\subset H$ holds.
- A testable consequence is that the threshold $q<p$ is likely sharp for this proof: the uniform-integrability step uses $q<p$ when bounding the $\|\tilde Z_n\|^{q_j}_{V_j}$ terms, so critical growth $q=p$ would require a new compactness mechanism.
- Because the paper replaces the strong Skorokhod representation with the topological version, the argument should carry over to settings where the solution space is only a topological space with separating continuous functions, for example locally convex spaces with weak topologies.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves an abstract existence result, Theorem 2.3, for martingale solutions of stochastic evolution equations dX = A(t,X)dt + B(t,X)dW with pseudo-monotone drift of polynomial growth and continuous, possibly superlinear, diffusion coefficients that are not locally Lipschitz. The proof uses Galerkin approximations, a priori estimates (Lemmas 2.4 and 2.5), tightness in weak and weak-* topologies (Lemmas 2.6 and 2.7), and the Skorokhod-Jakubowski representation theorem to pass to the limit. The limiting drift is identified in Step (iv) of Section 2.4 by appealing to Lemma 2.16 of [29] without proof. The abstract result is then applied in Theorem 3.2 to the fractional stochastic reaction-diffusion system (1.1)-(1.3) with decreasing polynomial drift and superlinear noise, and a pathwise uniqueness result is given in Theorem 3.3 under additional assumptions.
Significance. If the proof is completed, the paper would make a genuinely useful extension of existing well-posedness results: it removes local Lipschitz continuity from both drift and diffusion and allows superlinear noise with growth order below the drift's polynomial order. The a priori estimates, the tightness argument, and the separation between existence and pathwise uniqueness are valuable and are written out in considerable detail. The main obstacle is that the decisive identification of the limiting drift is deferred to an external lemma in a different setting; this point must be fully resolved before the central claim can be regarded as established. The paper also has the merit of avoiding the disputed strong Skorokhod representation by using the Jakubowski theorem in non-metric topologies.
major comments (2)
- [Section 2.4, Step (iv)]
- [Section 3, verification of (H4) for A_3]
minor comments (4)
- [Section 2.3, Lemma 2.7]
- [Section 2.3, Lemma 2.8]
- [Section 2.4, Step (iii)]
- [Section 3, proof of Theorem 3.2]
Circularity Check
No circularity: all claims are derived from stated hypotheses via Galerkin approximation, tightness, and external representation/compactness results; the sole deferred step is an omitted adaptation of an external lemma, which is a completeness gap rather than circular reduction.
full rationale
No circular step found. The derivation of Theorem 2.3 starts from the stated hypotheses (H1), (H2)', (H3)-(H5) and the compact embedding V⊂H. Uniform estimates in Lemmas 2.4-2.5 are proven by Ito's formula, the BDG inequality, Gronwall's inequality, and Fatou's lemma; tightness in Lemmas 2.6-2.7 uses Aldous's condition and separability/metrizability arguments; the Skorokhod-Jakubowski representation is quoted from [4,17] and stated as Proposition 4.1. The weak limit equation is obtained in Steps (i)-(ii), with B(·,Z~) identified using assumption (2.8) and dominated convergence. Step (iii) derives the liminf inequality (2.64) from Ito's formula and lower semicontinuity. Step (iv) is the one omitted piece: the identification ∑_j A~_j = ∑_j A_j(·,Z~) is said to follow 'by the pseudo-monotone argument of Lemma 2.16 in [29]' with details omitted. This is an external lemma from Rockner, Shang, and Zhang, not the present author's own prior result, and it is not used to define a parameter or to restate the conclusion. Whether that lemma extends to the multi-space weak/weak-* setting is a completeness or soundness question, not a circularity. No fitted input is later called a prediction, no assumption is defined in terms of the target solution, and no self-citation is load-bearing. The application to the fractional reaction-diffusion system in Theorem 3.2 verifies (H1)-(H5) directly from (3.1)-(3.8), so it is not circular.
Assumptions & free parameters
assumptions (6)
- standard math Skorokhod-Jakubowski representation theorem (Proposition 4.1, cited to [4] and [17]) applies to the topological space Y times C([0,T],U0), and that space admits a countable separating family of continuous functions.
- domain assumption Lemma 2.16 of [29] supplies the pseudo-monotone identification of the weak limit of the drift: sum_j A~_j = sum_j A_j(.,Z~) a.e., given uniform integrability of psi_n and the bound (2.71).
- domain assumption The counterexample of [26] invalidates the 'strong' Skorokhod representation theorem even in Polish spaces.
- standard math Existence of martingale solutions for the finite-dimensional Galerkin SDE (2.13) with continuous drift and diffusion (theory from [14]).
- standard math Lemma 2.1 in [6] passes stochastic integrals of strongly convergent integrands to the weak limit (used in Step (ii) of Theorem 2.3).
- standard math Standard functional-analytic facts for the application: V = V_1 intersect V_2 compactly embeds into H on a bounded domain; fractional Poincare inequality controls ||v||_H by the V_1 norm; Nemytskii operators for f and h are continuous on V_2 and V_3.
Cite this review
Pith. "Pith review of Martingale Solutions of Fractional Stochastic Reaction-Diffusion Equations Driven by Superlinear Noise." pith.science (2026). https://pith.science/paper/4EWZ3SKB
@misc{pith2026250512180,
author = {Pith},
title = {Pith review of: Martingale Solutions of Fractional Stochastic Reaction-Diffusion Equations Driven by Superlinear Noise},
year = {2026},
howpublished = {\url{https://pith.science/paper/4EWZ3SKB}},
note = {Machine review of arXiv:2505.12180}
}
read the original abstract
In this paper, we prove the existence of martingale solutions of a class of stochastic equations with pseudo-monotone drift of polynomial growth of arbitrary order and a continuous diffusion term with superlinear growth. Both the nonlinear drift and diffusion terms are not required to be locally Lipschitz continuous. We then apply the abstract result to establish the existence of martingale solutions of the fractional stochastic reaction-diffusion equation with polynomial drift driven by a superlinear noise. The pseudo-monotonicity techniques and the Skorokhod-Jakubowski representation theorem in a topological space are used to pass to the limit of a sequence of approximate solutions defined by the Galerkin method.
Forward citations
Cited by 2 Pith papers
-
Uniform Large Deviations of Mckean-Vlasov Stochastic Fractional $(\alpha,p)$-Laplacian Equations Driven by Superlinear Noise on $\mathbb{R}^d$
McKean–Vlasov stochastic fractional (α,p)-Laplacian equations with superlinear multiplicative noise on R^d are globally well-posed and satisfy Freidlin–Wentzell and Dembo–Zeitouni uniform large deviation principles.
-
Well-posedness of Fractional Stochastic p-Laplace Equations Driven by Superlinear Transport Noise
Existence and uniqueness of strong solutions is established for abstract SPDEs with fully local monotonicity, then applied to fractional p-Laplace equations with arbitrary-order polynomial drift and superlinear transp...
Reference graph
Works this paper leans on
-
[29]
M. Rockner, S. Shang and T. Zhang, Well-posedness of sto chastic partial differential equations with fully local monotone coefficients, Mathematische Annalen , 390 (2024), 3419-3469
work page 2024
-
[32]
M. Salins, Global solutions for the stochastic reactio n-diffusion equation with super-linear mul- tiplicative noise and strong dissipativity, Electronic Journal of Probability , 27 (2022), article no. 12, 1-17
work page 2022
-
[37]
R. Wang, T. Caraballo and N. Tuan, Mean attractors and in variant measures of locally mono- tone and generally coercive SPDEs driven by superlinear noi se, Journal of Differential Equa- tions, 381 (2024), 209-259
work page 2024
-
[26]
M. Ondrejat and J. Seidler, A counterexample to the stro ng Skorokhod representation the- orem, Stochastics and Partial Differential Equations: Analysis a nd Computations , DOI: 10.1007/s40072-025-00357-0, 2025
- [1]
-
[2]
Aldous, Stopping times and tightness, Annals of Probability , 6 (1978), 335-340
D. Aldous, Stopping times and tightness, Annals of Probability , 6 (1978), 335-340
work page 1978
-
[3]
A. Bensoussan. Stochastic Navier-Stokes equations, Acta Appl. Math. , 38 (1995), 267-304
work page 1995
-
[4]
Z. Brze´ zniak and L. Motyl, Existence of a martingale sol ution of the stochastic Navier-Stokes equations in unbounded 2D and 3D domains. Journal of Differential Equations , 254 (2013), 1627-1685
work page 2013
Show all 38 references
-
[5]
Caffarelli, J
L. Caffarelli, J. Roquejoffre and Y. Sire, Variational probl ems for free boundaries for the fractional Laplacian, Journal of the European Mathematical Society , 12 (2010), 1151-1179
2010
-
[6]
Debussche, N
A. Debussche, N. Glatt-Holtz and R. Temam, Local marting ale and pathwise solutions for an abstract fluids model, Physica D: Nonlinear Phenomena , 240 (2011), 1123-1144
2011
-
[7]
Di Nezza, G
E. Di Nezza, G. Palatucci and E. Valdinoci, Hitchhiker’s guide to the fractional Sobolev spaces, Bull. Sci. Math. , 136 (2012), 521-573
2012
-
[8]
Flandoli and D
F. Flandoli and D. Gatarek, Martingale and stationary so lutions for stochastic Navier-Stokes equations, Probability Theory and Related Fields , 102 (1995), 367-391
1995
-
[9]
Gal and M
C. Gal and M. Warma, Reaction-diffusion equations with fra ctional diffusion on non-smooth domains with various boundary conditions, Discrete and Continuous Dynamical Systems , 36 (2016), 1279-1319
2016
-
[10]
Garroni and S
A. Garroni and S. Muller, A variational model for disloc ations in the line tension limit, Archive for Rational Mechanics and Analysis , 181 (2006), 535-578. 35
2006
-
[11]
Goldys, M
B. Goldys, M. Rockner and X. Zhang, Martingale solution s and Markov selections for stochastic partial differential equations, Stochastic Processes and Their Applications , 119 (2009), 1725- 1764
2009
-
[12]
A. Gu, D. Li, B. Wang and H. Yang, Regularity of random att ractors for fractional stochastic reaction-diffusion equations on Rn, Journal of Differential Equations , 264 (2018), 7094-7137
2018
-
[13]
Guan and Z
Q. Guan and Z. Ma, Reflected symmetric α -stable processes and regional fractional Laplacian, Probability Theory and Related Fields , 134 (2006), 649-694
2006
-
[14]
Hofmanova and J
M. Hofmanova and J. Seidler, On weak solutions of stocha stic differential equations II, Stochas- tic Analysis and Applications 31 (2013), , 663-670
2013
-
[15]
Jara, Nonequilibrium scaling limit for a tagged part icle in the simple exclusion process with long jumps, Communications on Pure and Applied Mathematics , 62 (2009), 198-214
M. Jara, Nonequilibrium scaling limit for a tagged part icle in the simple exclusion process with long jumps, Communications on Pure and Applied Mathematics , 62 (2009), 198-214
2009
-
[16]
Jakubowski, On the Skorokhod topology, Ann
A. Jakubowski, On the Skorokhod topology, Ann. Inst. H. Poincare Probability and Statistics , 22 (1986), 263-285
1986
-
[17]
Jakubowski, The almost sure Skorokhod representati on for subsequences in nonmetric spaces, Theory of Probability and Its Applications 42 (1988), 167-175
A. Jakubowski, The almost sure Skorokhod representati on for subsequences in nonmetric spaces, Theory of Probability and Its Applications 42 (1988), 167-175
1988
-
[18]
Koslowski, A
M. Koslowski, A. Cuitino and M. Ortiz, A phasefield theor y of dislocation dynamics, strain hardening and hysteresis in ductile single crystal, J. Mech. Phys. Solids , 50 (2002), 2597-2635
2002
-
[19]
Krylov and B.L
N.V. Krylov and B.L. Rozovskii, Stochastic evolution e quations, Journal of Soviet Mathemat- ics, 16 (1981), 1233-1277
1981
-
[20]
Liu and M
W. Liu and M. Rockner, Stochastic Partial Differential Equations: An Introduction , Springer, Berlin, 2015
2015
-
[21]
Liu and M
W. Liu and M. Rockner, Local and global well-posedness o f SPDE with generalized coercivity conditions. Journal of Differential Equations , 254 (2013), 725-755
2013
-
[22]
H. Lu, P. W. Bates, S. Lu and M. Zhang, Dynamics of 3D fract ional complex Ginzburg-Landau equation, Journal of Differential Equations , 259 (2015), 5276-5301
2015
-
[23]
H. Lu, P. W. Bates, J. Xin and M. Zhang, Asymptotic behavi or of stochastic fractional power dissipative equations on Rn, Nonlinear Analysis TMA , 128 (2015), 176-198
2015
-
[24]
Marinelli, On well-posedness of semilinear stochas tic evolution equations on Lp spaces, SIAM Journal on Mathematical Analysis , 50 (2018), 2111-2143
C. Marinelli, On well-posedness of semilinear stochas tic evolution equations on Lp spaces, SIAM Journal on Mathematical Analysis , 50 (2018), 2111-2143
2018
-
[25]
Nguyen, K
P. Nguyen, K. Tawri and R. Temam, Nonlinear stochastic p arabolic partial differential equa- tions with a monotone operator of the Ladyzenskaya-Smagori nsky type driven by a Levy noise, Journal of Functional Analysis , 281 (2021), 109157. 36
2021
-
[27]
Pardoux, Equations aux derivees partielles stochas tiques non lineaires monotones, Ph.D
E. Pardoux, Equations aux derivees partielles stochas tiques non lineaires monotones, Ph.D. thesis, Universite Paris XI, 1975
1975
-
[28]
Peccati, Weak convergence to Ocone martingales: a re mark, Electronic Communications in Probability, 9 (2004), 172-174
G. Peccati, Weak convergence to Ocone martingales: a re mark, Electronic Communications in Probability, 9 (2004), 172-174
2004
-
[30]
Ros-Oton and J
X. Ros-Oton and J. Serra, The Dirichlet problem for the f ractional Laplacian: regularity up to the boundary, Journal de Mathematiques Pures et Appliquees , 101 (2014), 275-302
2014
-
[31]
M. Salins, Systems of small-noise stochastic reaction -diffusion equations satisfy a large devia- tions principle that is uniform over all initial data, Stochastic Processes and their Applications , 142 (2021), 159-194
2021
-
[33]
Servadei and E
R. Servadei and E. Valdinoci, Variational methods for n on-local operators of elliptic type, Discrete and Continuous Dynamical Systems , 33 (2013), 2105-2137
2013
-
[34]
Vallet and A
G. Vallet and A. Zimmermann, Well-posedness for a pseud omonotone evolution problem with multiplicative noise, Journal of Evolution Equations , 19 (2019), 153-202
2019
-
[35]
Wang, Asymptotic behavior of non-autonomous fracti onal stochastic reaction-diffusion equations, Nonlinear Analysis TMA , 158 (2017), 60-82
B. Wang, Asymptotic behavior of non-autonomous fracti onal stochastic reaction-diffusion equations, Nonlinear Analysis TMA , 158 (2017), 60-82
2017
-
[36]
Wang, Dynamics of fractional stochastic reaction-d iffusion equations on unbounded domains driven by nonlinear noise
B. Wang, Dynamics of fractional stochastic reaction-d iffusion equations on unbounded domains driven by nonlinear noise. Journal of Differential Equations , 268 (2019), 1-59
2019
-
[38]
Zhang, On stochastic evolution equations with non-L ipschitz coefficients, Stochastics and Dynamics, 9 (2009), 549-595
X. Zhang, On stochastic evolution equations with non-L ipschitz coefficients, Stochastics and Dynamics, 9 (2009), 549-595. 37
2009
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.