Pith. sign in

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 →

arxiv 2507.07538 v1 pith:UUI5BHA7 submitted 2025-07-10 math.PR

classification math.PR MSC 60H35
keywords averagingprincipleslow-fastSPDEstochasticpartialdifferentialequationsevolutionsystemofmeasuresnonautonomousα-stableprocesstimeperiodicstrongconvergence
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Slow-fast systems couple a quickly changing variable to a slowly changing one; over long times the slow variable often behaves like an averaged, simpler system. This paper proves such an averaging principle for stochastic partial differential equations driven by heavy-tailed $\alpha$-stable noise, where the coefficients depend on time and the drift is allowed to grow linearly rather than be bounded. The central result is a strong $L^p$ convergence (for $p$ strictly below the stability index $\alpha$) of the slow component to the solution of an averaged equation, with an explicit polynomial rate in the scale parameter $\varepsilon$. The paper also shows that when the coefficients are time-periodic, or converge asymptotically, the averaged equation can be chosen independent of $\varepsilon$. A concrete stochastic heat equation shows the assumptions are satisfiable.

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.

Watch

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

Editorial extensions of the paper, not claims the author makes directly.

  • 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).
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

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)
  1. [§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).
  2. [§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.
  3. [§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. [§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.
  2. [§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. [§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.
  4. [§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.
  5. [§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

0 steps flagged · score 0.0 of 10

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 0 free parameters · 5 assumptions · 0 invented entities

No free parameters are fitted to data; the constants in Assumptions A1-A3 are model inputs. The parameter theta in A2 is a regularity exponent whose existence is assumed, and the theorems hold for any such theta. The paper introduces no new physical entities; the evolution system of measures is an existing analytic object.

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.
    Defines the linear damping structure of the SPDE; standard for diagonalizable operators and needed for the semigroup estimates in (2.4).
  • 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.
    Controls the stochastic convolution of the cylindrical alpha-stable noise so that finite p-th moments exist for p < alpha; the parameter theta also determines the convergence rate.
  • domain assumption A3: F and G are Lipschitz and linearly growing, with Lipschitz constant L_G < beta_1 for G in its second argument.
    Ensures well-posedness of (1.1) and exponential ergodicity of the frozen fast equation, which is the basis for the evolution system of measures.
  • domain assumption A4/A5: Coefficients F and G are time-periodic with rational ratio, or satisfy asymptotic convergence conditions (2.10)-(2.11).
    Needed to make the second level of averaging well-defined and to obtain averaged equations whose coefficients do not depend on epsilon.
  • standard math Existence and uniqueness of the evolution system of measures (Proposition 4.4), from Da Prato and Roeckner [11].
    External theorem guaranteeing a time-dependent family of measures for the frozen equation; the proof is omitted in this paper but available in the cited reference.

how reviews work

0 comments
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].

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Strong averaging principle for multiscale time-inhomogeneous SDEs with multiplicative $\alpha$-stable noises

    math.PR 2026-08 conditional novelty 6.0 of 10

    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

38 extracted references · 36 canonical work pages · cited by 1 Pith paper

  1. [11]

    Da Prato, M

    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

  2. [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

  3. [2]

    Bertram, J

    R. Bertram, J. E. Rubin, Multi-timescale systems and fast-slow analysis.Math. Biosci.287 (2017) 105-121

  4. [3]

    Bogoliubov, Y.A

    N.N. Bogoliubov, Y.A. Mitropolsky,Asymptotic methods in the theory of Non-linear Oscillations. Gordon and Breach Science Publishers, New York, 1961

  5. [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

  6. [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

  7. [6]

    Cerrai, M

    S. Cerrai, M. Freidlin, Averaging principle for stochastic reaction-diffusion equations,Probab.Theory Related Fields 144 (2009) 137-177

  8. [7]

    Cerrai, A

    S. Cerrai, A. Lunardi, Averaging principle for nonautonomous slow-fast systems of stochastic reaction-diffusion equations: the almost periodic case.SIAM J. Math. Anal.49 (2017) 2843-2884

Show all 38 references
  1. [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

  2. [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

  3. [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

  4. [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

  5. [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

  6. [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

  7. [15]

    Z. Dong, X. Sun, H. Xiao and J. Zhai, Averaging principle for one dimensional stochastic Burgers equation.J. Differential Equations265 (2018) 4749-4797

  8. [16]

    E, and B

    W. E, and B. Engquist, Multiscale modeling and computations,Notice of AMS, 50 (2003), 1062-1070

  9. [17]

    Freidlin, A.D

    M. Freidlin, A.D. Wentzell,Random perturbations of dynamical systems.Third edition, Springer, Heidelberg,

  10. [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

  11. [19]

    Galtier, G

    M. Galtier, G. Wainrib, Multiscale analysis of slow-fast neuronal learning models with noise,J. Math. Neurosci. 2 (2012) 1-64

  12. [20]

    P. Gao, X. Sun, Optimal convergence order for multi-scale stochastic Burgers equation,Stoch PDE: Anal Comp 13(1)(2025), 421-464

  13. [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

  14. [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

  15. [23]

    G. A. Pavliotis and A. M. Stuart,Multiscale methods: averaging and homogenization. volume 53 of Texts in Applied Mathematics. Springer, New York, 2008

  16. [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

  17. [25]

    Priola, J

    E. Priola, J. Zabczyk, Structural properties of semilinear SPDEs driven by cylindrical stable processes.Probab. Theory Related Fields149 (2011) 97-137

  18. [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

  19. [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

  20. [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

  21. [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

  22. [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

  23. [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

  24. [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

  25. [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

  26. [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

  27. [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

  28. [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

  29. [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

  30. [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...

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.