REVIEW 3 major objections 5 minor 1 cited by
Strong averaging principle for nonautonomous slow-fast SPDEs driven by $\alpha$-stable processes
T0 review · 3 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read This paper proves that in nonautonomous slow-fast SPDEs driven by $\alpha$-stable processes, the slow component converges strongly in $L^p$ to the solution of an averaged equation with an explicit rate, even when the drift is unbounded.
desk verdict Genuinely new averaging principle for nonautonomous slow-fast SPDEs with α-stable noise, but the stated θ range in A2 is too broad because Lemma 3.2 uses an inequality that only holds for θ ≤ 2/α. 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 machinery is the evolution system of measures $\{\mu^x_t\}_{t\in\mathbb{R}}$ for the time-inhomogeneous frozen fast equation $dY_t = [BY_t + G(t,x,Y_t)]\,dt + dZ_t$, which plays the role that an invariant measure plays in autonomous averaging. The load-bearing property is the exponential contraction of the frozen flow, $|Y^{s,x_1,y_1}_t - Y^{s,x_2,y_2}_t| \le e^{-(\beta_1-L_G)(t-s)/2}|y_1-y_2| + C|x_1-x_2|$, together with the consequent exponential convergence of the transition semigroup to the evolution system of measures (4.8). The slow-fast proof then uses Khasminskii's time-discretization: on intervals of length $\delta$ the fast process is replaced by an auxiliary process with the slow component frozen, and the three error terms---time-regularity of the slow path, difference between true and auxiliary fast process, and the mixing error controlled by (4.8)---are balanced by choosing $\delta = \varepsilon^{2/(\theta(p-1)+2)}$. The function $U_\rho(x)=(|x|^2+\rho)^{p/2}$ is used to handle $L^p$ estimates for non-integer $p$ without assuming boundedness of $F$.
What would settle it
Run the stochastic heat equation example of Section 6 with $p=1.5$, $\alpha=1.7$, $\theta=0.5$, compute the empirical $L^p$ error between $X^{\varepsilon}$ and the averaged solution for $\varepsilon = 10^{-1}, 10^{-2}, 10^{-3}$, and plot the error against $\varepsilon$ on a log-log scale: the slope should equal $\theta(p-1)/(\theta(p-1)+2)$. A slope clearly below that value, or a non-vanishing error, would falsify Theorem 2.3.
Extended reading notes
Core claim
Under Assumptions A1--A3, for every $p\in(1,\alpha)$ and $T>0$ the paper establishes the estimate $\sup_{t\in[0,T]} E|X^{\varepsilon}_t - \bar{X}^{\varepsilon}_t|^p \le C_{p,T}(1+|x|^p+|y|^p)\,\varepsilon^{\theta(p-1)/(\theta(p-1)+2)}$, where $\bar{X}^{\varepsilon}$ solves the averaged equation $d\bar{X}^{\varepsilon}_t = [A\bar{X}^{\varepsilon}_t + \bar{F}(t/\varepsilon,\bar{X}^{\varepsilon}_t)]\,dt + dL_t$ with $\bar{F}(t,x)=\int_H F(t,x,y)\,\mu^x_t(dy)$, the average of the slow drift against the evolution system of measures of the frozen fast equation. Theorems 2.5 and 2.6 give the same convergence toward an $\varepsilon$-independent averaged equation under time-periodicity (A4) or asymptotic convergence (A5) of the coefficients, with the rate in the asymptotic case also depending on how quickly the coefficients approach their limits. The proof removes the uniform boundedness of $F$ that earlier $\alpha$-stable averaging results required, solving the problem raised in [1, Remark 3.3].
Load-bearing premise
Everything rests on the fast component's self-interaction being strictly weaker than its linear damping ($L_G < \beta_1$), which forces the frozen fast flow to contract exponentially; if that inequality fails, the averaged coefficient may not even be defined and the rate estimates collapse.
Editorial extensions
If this is right
- The slow component $X^{\varepsilon}$ can be replaced, in $L^p$ for any $p<\alpha$, by the solution of the one-equation averaged system with error of order $\varepsilon^{\theta(p-1)/(\theta(p-1)+2)}$, making the approximation quantitative for simulation and control.
- When the coefficients are time-periodic, the averaged limit is an autonomous SPDE, so the long-time behaviour of the original nonautonomous system is governed by an autonomous equation with constant coefficients.
- Under the asymptotic-convergence assumption, the rate is degraded by the rate at which the coefficients forget their initial time, as measured by $\phi_1$ and the convolution-weighted $\tilde{\phi}_2$.
- The result answers the open question from the earlier $\alpha$-stable averaging literature by removing the uniform boundedness assumption on the drift $F$, at the price of only mild regularity and a strict contraction condition on the fast equation.
Reading between the lines
- The balancing choice $\delta = \varepsilon^{2/(\theta(p-1)+2)}$ suggests the error is dominated jointly by slow-path regularity and fast mixing; a numerical test could probe whether the exponent is sharp or whether a Poisson-equation approach yields the closer-to-optimal rate the authors mention in Remark 2.4.
- The strict inequality $L_G < \beta_1$ is used for exponential contraction; a natural testable extension is whether the averaging principle survives with only partial dissipation in the fast component, as has been explored for time-inhomogeneous SDEs with Poisson techniques.
- The same evolution-system-of-measures framework should extend to multiplicative $\alpha$-stable noise or other pure-jump L\'evy processes with comparable scaling, as long as the frozen flow contracts; the key bottleneck would be the analogue of estimate (4.8).
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the nonautonomous slow-fast SPDE system (1.1) driven by cylindrical alpha-stable processes with alpha in (1,2). The authors introduce an evolution system of measures for the time-inhomogeneous frozen fast equation and define averaged drift coefficients. The main result, Theorem 2.3, asserts strong L^p convergence of the slow component to the solution of an averaged equation with an explicit rate under Assumptions A1-A3. Under additional periodicity or asymptotic-convergence assumptions, Theorems 2.5 and 2.6 give convergence to averaged equations with epsilon-independent coefficients. The paper closes with a stochastic heat equation example verifying the hypotheses. The proof strategy follows Khasminskii's time discretization combined with exponential contraction estimates for the frozen flow.
Significance. If correct, the results would provide the first strong averaging principle for nonautonomous slow-fast SPDEs driven by alpha-stable noise, and they would resolve the open problem mentioned in [1, Remark 3.3] by removing the uniform boundedness condition on F. The use of evolution systems of measures is a natural extension of the Brownian framework to heavy-tailed noise, and the explicit convergence rates are a useful quantitative feature. The paper is clearly organized, and the main estimates are largely worked out. However, the current proofs contain a few correctable but load-bearing gaps, in particular in the temporal regularity estimate for the stochastic convolution and in the rigorous justification of the Itô-type chain rule for mild solutions.
major comments (3)
- [§3, Lemma 3.2, Eq. (3.9)] The inequality 1 - e^{-x} <= C x^{alpha theta / 2} used in (3.9) is not valid for all x > 0 when alpha theta / 2 > 1; in that regime 1 - e^{-x} ~ x as x decreases to 0. Since Assumption A2 does not exclude alpha theta / 2 > 1, the claimed bound (3.4) is not established for the full range of theta. A corrected argument gives at best delta^{1/alpha} in place of delta^{theta/2} for the stochastic convolution term, which changes the balancing of epsilon/delta and delta^{theta(p-1)/2} in the proof of Theorem 2.3 and propagates through Lemma 3.3 to Theorems 2.5 and 2.6. The authors should either add the restriction theta < 2/alpha to A2 or reformulate the rates with min(theta/2, 1/alpha).
- [§5.1, proof of Theorem 2.3, Step 1] The argument below Eq. (5.4) applies the chain rule to U_rho(Z^epsilon_t), where Z^epsilon is a difference of two mild solutions and is not known to be a strong solution. Although the noise terms cancel in the equation for Z^epsilon, the mild solution need not be differentiable, so the displayed identity for E U_rho(Z^epsilon_t) requires a justification via Yosida or Galerkin approximations. This is a standard but necessary step, and the main L^p estimate depends on it.
- [§4, Proposition 4.4] Proposition 4.4 is a central ingredient: it establishes that {mu^x_t} is an evolution system of measures and provides the exponential convergence (4.8) used in Lemma 5.1, Theorem 2.3, and Theorem 2.6. The proof is omitted with a reference to [11], which treats Brownian noise. Because the present setting has alpha-stable noise and only p < alpha moments, the adaptation is not immediate; the authors should give a proof or a detailed sketch of the proposition.
minor comments (5)
- [§1 and §4] There are several typographical errors, e.g., "This paper focus" in the introduction and "Lipshcitz" in Section 4; the text should be proofread carefully.
- [§5.1 and §5.2] The proof of Theorem 2.5 uses the same symbol delta for the discretization step as in Theorem 2.3 but chooses a different value delta = epsilon^{2/(theta+2)}; the two choices should be distinguished to avoid confusion.
- [§3, Lemma 3.2, Eq. (3.6)] The H_theta norm of the initial condition term is bounded by C t^{-theta/2}|x|, which diverges as t to 0; this is acceptable because the subsequent integrals start at delta > 0, but this should be stated explicitly.
- [§5.2, Eq. (5.20)] The exponent p theta/(2+theta) in (5.20) is obtained by balancing (epsilon/delta)^p and delta^{p theta/2}; adding one line showing this balance would improve readability.
- [§6, Example] In the asymptotic convergence case of the example, the verification that Assumption A5 holds for the Nemytskii operators is only sketched; a direct statement of the operator-level estimates would make the example self-contained.
Circularity Check
No significant circularity: averaged equations are genuine limits, not repackaged inputs.
full rationale
The derivation chain is self-contained in the relevant sense. The averaged coefficients (1.2), (1.5), and (1.7) are defined from the model data (F, G, B, and the evolution system of measures for the frozen fast equation), not fitted to the slow dynamics; the convergence Theorems 2.3, 2.5, and 2.6 are then proved by bounding X^epsilon - Xbar^epsilon through Khasminskii time-discretization, Lemmas 3.2, 3.3, and the exponential contraction (4.8). The bound (4.8) is stated in Proposition 4.4 with the proof omitted and cited to Da Prato-Roeckner [11], an external source rather than a self-citation. The same-authors preprints [28] and [29] are used only for an elementary periodic-integral estimate and a Laplace-tail fact, not as the source of the averaging principle itself. No fitted parameter is renamed as a prediction, no authors' uniqueness theorem is invoked to force a choice, and the limiting equations are not restatements of the assumptions. A separate mathematical gap exists in Lemma 3.2: the inequality 1 - e^{-x} <= C x^{alpha theta/2} is valid only when alpha theta/2 <= 1, so the stated rate is not proved for theta > 2/alpha permitted by Assumption A2. This is a correctness concern, not a circularity pattern, and it does not change the circularity score.
Assumptions & free parameters
assumptions (5)
- domain assumption A1: A and B are self-adjoint operators with eigenvalues -lambda_k and -beta_k, where lambda_k, beta_k > 0 and tend to infinity.
- domain assumption A2: For some theta in (0,2), sum_k rho_k^alpha / lambda_k^{1-alpha theta/2} < infinity and sum_k gamma_k^alpha / beta_k < infinity.
- domain assumption A3: F and G are Lipschitz and linearly growing, with Lipschitz constant L_G < beta_1 for G in its second argument.
- domain assumption A4/A5: Coefficients F and G are time-periodic with rational ratio, or satisfy asymptotic convergence conditions (2.10)-(2.11).
- standard math Existence and uniqueness of the evolution system of measures (Proposition 4.4), from Da Prato and Roeckner [11].
Cite this review
Pith. "Pith review of Strong averaging principle for nonautonomous slow-fast SPDEs driven by $\alpha$-stable processes." pith.science (2026). https://pith.science/paper/UUI5BHA7
@misc{pith2026250707538,
author = {Pith},
title = {Pith review of: Strong averaging principle for nonautonomous slow-fast SPDEs driven by $\alpha$-stable processes},
year = {2026},
howpublished = {\url{https://pith.science/paper/UUI5BHA7}},
note = {Machine review of arXiv:2507.07538}
}
abstract
This paper considers a class of nonautonomous slow-fast stochastic partial differential equations driven by $\alpha$-stable processes for $\alpha\in (1,2)$. By introducing the evolution system of measures, we establish an averaging principle for this stochastic system. Specifically, we first prove the strong convergence (in the $L^p$ sense for $p\in (1,\alpha)$) of the slow component to the solution of a simplified averaged equation with coefficients depend on the scaling parameter. Furthermore, under conditions that coefficients are time-periodic or satisfy certain asymptotic convergence, we prove that the slow component converges strongly to the solution of an averaged equation, whose coefficients are independent of the scaling parameter. Finally, a concrete example is provided to illustrate the applicability of our assumptions. Notably, the absence of finite second moments in the solution caused by the $\alpha$-stable processes requires new technical treatments, thereby solving a problem mentioned in [1,Remark 3.3].
Forward citations
Cited by 1 Pith paper
-
Strong averaging principle for multiscale time-inhomogeneous SDEs with multiplicative $\alpha$-stable noises
Multiscale SDEs with multiplicative alpha-stable noise: the slow component converges in L^p to an averaged equation at rate epsilon^((p-1)/(alpha+p-1)).
Reference graph
Works this paper leans on
-
[11]
G. Da Prato, M. Röckner, Dissipative stochastic equations in Hilbert space with time dependent coefficients, Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl.17(2006), no.4, 397-403
work page 2006
-
[1]
J. Bao, G. Yin, C. Yuan, Two-time-scale stochastic partial differential equations driven byα-stable noises: aver- aging principles.Bernoulli 23(1) (2017) 645-669
work page 2017
-
[2]
R. Bertram, J. E. Rubin, Multi-timescale systems and fast-slow analysis.Math. Biosci.287 (2017) 105-121
work page 2017
-
[3]
N.N. Bogoliubov, Y.A. Mitropolsky,Asymptotic methods in the theory of Non-linear Oscillations. Gordon and Breach Science Publishers, New York, 1961
work page 1961
-
[4]
Bréhier, Strong and weak orders in averaging for SPDEs.Stochastic Process
C.E. Bréhier, Strong and weak orders in averaging for SPDEs.Stochastic Process. Appl.122 (2012) 2553-2593
work page 2012
-
[5]
Cerrai, A Khasminskii type averaging principle for stochastic reaction-diffusion equations.Ann
S. Cerrai, A Khasminskii type averaging principle for stochastic reaction-diffusion equations.Ann. Appl. Probab. 19 (2009) 899-948
work page 2009
- [6]
- [7]
Show all 38 references
-
[8]
Y. Chen, Y. Shi, X. Sun, Averaging principle for slow-fast stochastic Burgers equation driven byα-stable process. Appl. Math. Lett.103 (2020) 106199
2020
-
[9]
Cheng, Z
M. Cheng, Z. Liu, Periodic, almost periodic and almost automorphic solutions for SPDEs with monotone coeffi- cients, Discrete Contin. Dyn. Syst., Ser. B26 (2021) 6425-6462
2021
-
[10]
Cheng and Z
M. Cheng and Z. Liu, The second Bogolyubov theorem and global averaging principle for SPDEs with monotone coefficients, SIAM J. Math. Anal., 55 (2023), 1100-1144
2023
-
[12]
Da Prato, M
G. Da Prato, M. Röckner, A note on evolution systems of measures for time-dependent stochastic differential equations. Seminar on Stochastic Analysis, Random Fields and Applications V, 59 (2008), 115-122
2008
-
[13]
Da Prato and C
G. Da Prato and C. Tudor, Periodic and almost periodic solutions for semilinear stochastic equations,Stochastic Anal. Appl., 13 (1995), 13-33
1995
-
[14]
Z. Dong, L. Xu, X. Zhang, Exponential ergodicity of stochastic Burgers equations driven byα-stable processes. J. Stat. Phys.154(2014), 929-949. STRONG A VERAGING PRINCIPLE FOR NONAUTONOMOUS SLOW-F AST SPDES 23
2014
-
[15]
Z. Dong, X. Sun, H. Xiao and J. Zhai, Averaging principle for one dimensional stochastic Burgers equation.J. Differential Equations265 (2018) 4749-4797
2018
-
[16]
E, and B
W. E, and B. Engquist, Multiscale modeling and computations,Notice of AMS, 50 (2003), 1062-1070
2003
-
[17]
Freidlin, A.D
M. Freidlin, A.D. Wentzell,Random perturbations of dynamical systems.Third edition, Springer, Heidelberg,
-
[18]
H. Fu, L. Wan, J. Liu, Strong convergence in averaging principle for stochastic hyperbolic-parabolic equations with two time-scales.Stochastic Process. Appl.125 (2015) 3255-3279
2015
-
[19]
Galtier, G
M. Galtier, G. Wainrib, Multiscale analysis of slow-fast neuronal learning models with noise,J. Math. Neurosci. 2 (2012) 1-64
2012
-
[20]
P. Gao, X. Sun, Optimal convergence order for multi-scale stochastic Burgers equation,Stoch PDE: Anal Comp 13(1)(2025), 421-464
2025
-
[21]
Khasminskii, On the principle of averaging the Itô stochastic differential equations.Kibernetica4 (1968), 260-279
R.Z. Khasminskii, On the principle of averaging the Itô stochastic differential equations.Kibernetica4 (1968), 260-279
1968
-
[22]
W. Liu, M. Röckner, X. Sun, Y. Xie, Strong averaging principle for slow-fast stochastic partial differential equations with locally monotone coefficients,Appl. Math. Optim.87(3) (2023) paper No. 39
2023
-
[23]
G. A. Pavliotis and A. M. Stuart,Multiscale methods: averaging and homogenization. volume 53 of Texts in Applied Mathematics. Springer, New York, 2008
2008
-
[24]
B. Pei, Y. Xu, G. Yin, Stochastic averaging for a class of two-time-scale systems of stochastic partial differential equations. Nonlinear Anal.160 (2017) 159-176
2017
-
[25]
Priola, J
E. Priola, J. Zabczyk, Structural properties of semilinear SPDEs driven by cylindrical stable processes.Probab. Theory Related Fields149 (2011) 97-137
2011
-
[26]
Priola, A
E. Priola, A. Shirikyan, L. Xu, and J. Zabczyk, Exponential ergodicity and regularity for equations with Lévy Noise. Stochastic Process. Appl.122 (2012) 106-133
2012
-
[27]
Y. Shi, H. Gao, Weak and strong averaging principle for a stochastic coupled fast-slow atmosphere-ocean model with non-Lipschitz Lévy noise,Nonlinear Anal.218 (2022) Paper No. 112794, 34 pp
2022
-
[28]
X. Sun, J. Wang and Y. Xie, Averaging principles for time-inhomogeneous multi-scale SDEs via nonautonomous Poisson equations.arxiv.org/abs/2412.09850, 2024
2024 arXiv
-
[29]
X. Sun, J. Wang and Y. Xie, Averaging principles for time-inhomogeneous multi-scale SDEs with partially dissipative coefficients.arxiv.org/abs/2506.18558, 2025
2025 arXiv
-
[30]
X. Sun, L. Xie and Y. Xie, Strong and weak convergence rates for slow-fast stochastic differential equations driven byα-stable process,Bernoulli 28 (2022), 343-369
2022
-
[31]
Sun and Y
X. Sun and Y. Xie, Orders of strong and weak averaging principle for multi-scale SPDEs driven byα-stable process, J. Differential Equations, 351 (2023), 194-242
2023
-
[32]
Sun and J
X. Sun and J. Zhai, Averaging principle for stochastic real Ginzburg-Landau equation driven byα-stable process. Commun. Pure Appl. Anal.19 (2020) 1291-1319
2020
-
[33]
Uda, Averaging principle for stochastic differential equations in the random periodic regime,Stochastic Pro- cess
K. Uda, Averaging principle for stochastic differential equations in the random periodic regime,Stochastic Pro- cess. Appl.139 (2021), 1-36
2021
-
[34]
Wainrib, Double averaging principle for periodically forced slow-fast stochastic systems,Electron
G. Wainrib, Double averaging principle for periodically forced slow-fast stochastic systems,Electron. Commun. Probab.18 (2013), 1-12
2013
-
[35]
Wang, A.J
W. Wang, A.J. Roberts, Average and deviation for slow-fast stochastic partial differential equations.J. Differ- ential Equations253 (2012) 1265-1286
2012
-
[36]
F. Wu, T. Tian, J.B. Rawlings, G. Yin, Approximate method for stochastic chemical kinetics with two-time scales by chemical Langevin equations.J. Chem. Phys.144 (2016) 174112
2016
-
[37]
J. Xu, Y. Miao, J. Liu, Strong averaging principle for slow-fast SPDEs with Poisson random measures.Discrete Contin. Dyn. Syst. Ser. B20 (2015) 2233-2256
2015
-
[38]
Xu, Ergodicity of the stochastic real Ginzburg-Landau equation driven byα-stable noises.Stochastic Process
L. Xu, Ergodicity of the stochastic real Ginzburg-Landau equation driven byα-stable noises.Stochastic Process. Appl. 123 (2013) 3710-3736. 24 YUELING LI, XIAOBIN SUN, ZIJUAN W ANG, AND YINGCHAO XIE Current address, Li, Y.: School of Mathematics and Statistics/RIMS, Jiangsu Nor...
2013
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.