Recognition: 2 theorem links
· Lean TheoremAveraging principle for a slow-fast stochastic nonlinear fractional Schr\"odinger equation
Pith reviewed 2026-05-13 01:42 UTC · model grok-4.3
The pith
As the timescale separation vanishes, the slow component of a stochastic nonlinear fractional Schrödinger system converges strongly to an effective equation whose drift is averaged over the fast dynamics' unique invariant measure.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Under dissipative assumptions that guarantee ergodicity and a unique invariant measure for the fast dynamics, the slow component converges strongly to the solution of an effective stochastic fractional Schrödinger equation whose drift term is the average of the coupling function taken with respect to that invariant measure.
What carries the argument
Ergodic averaging of the coupling term with respect to the unique invariant measure of the frozen fast dynamics, justified by a Khasminskii-type time-discretization argument adapted to fractional dispersive semigroups.
Load-bearing premise
The fast component must admit a unique invariant measure under the given dissipative conditions so that the averaged drift is well-defined independently of initial data.
What would settle it
Numerical trajectories of the full system for successively smaller values of the scale-separation parameter that fail to approach the solution of the averaged equation in probability would show the claimed strong convergence does not hold.
read the original abstract
We establish an averaging principle for a structural multiscale stochastic nonlinear fractional Schr\"odinger system on the one-dimensional torus driven by a multiplicative Wiener noise. The slow component is governed by a fractional Schr\"odinger operator with a general polynomial nonlinearity, while the fast component evolves on a shorter time scale and exhibits dissipative diffusion, nonlinear interactions, and stochastic forcing. Under suitable dissipative assumptions, we have shown that, as the scale separation parameter tends to zero, the slow component converges strongly to an effective stochastic fractional Schr\"odinger equation. The effective drift is obtained by averaging the coupling term with respect to the unique invariant measure of the frozen fast dynamics. The proof relies on uniform a priori estimates, ergodicity of the fast equation, H\"older time regularity of the slow component obtained via a vanishing viscosity method, and a Khasminskii-type time discretization argument adapted to fractional dispersive operators. The analysis is technically challenging due to limited smoothing of the fractional Schr\"odinger semigroup and the presence of general polynomial nonlinearities, which are handled through refined estimates and viscosity approximation.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript establishes an averaging principle for a slow-fast stochastic system on the one-dimensional torus, where the slow component is a nonlinear fractional Schrödinger equation driven by multiplicative noise, and the fast component is a dissipative stochastic PDE. As the scale separation parameter tends to zero, the slow component is shown to converge strongly to the solution of an effective stochastic fractional Schrödinger equation, with the effective drift obtained by averaging the coupling term against the unique invariant measure of the frozen fast dynamics. The proof strategy involves uniform a priori estimates, ergodicity of the fast equation, Hölder regularity via vanishing viscosity, and a Khasminskii-type time discretization adapted to fractional operators.
Significance. This result contributes to the theory of averaging principles for multiscale stochastic partial differential equations with fractional dispersion, which arise in applications such as nonlinear optics and quantum mechanics. The technical handling of limited smoothing properties of the fractional Schrödinger semigroup through viscosity approximation and the adaptation of discretization arguments represent a non-trivial extension of existing averaging techniques to dispersive settings with general polynomial nonlinearities. If the central convergence holds, it provides a rigorous foundation for effective equation derivations in such systems.
major comments (1)
- [Khasminskii discretization argument] The strong convergence relies on the time-discretization error vanishing as the scale separation parameter ε → 0. However, the Hölder exponent α for the slow component is obtained only through vanishing-viscosity regularization, and given the limited smoothing of the fractional semigroup, it is not clear if α is sufficiently large (e.g., α ≥ 1/2) to control the remainder uniformly. Explicit verification that the discretization error bound tends to zero is required, as this is load-bearing for the averaging limit.
minor comments (2)
- [Abstract] The abstract mentions 'general polynomial nonlinearity' but the specific degree or growth conditions should be stated more precisely to allow readers to assess the applicability.
- [Assumptions] The dissipative assumptions ensuring the unique invariant measure for the fast dynamics could be listed explicitly in a dedicated assumption block for clarity.
Simulated Author's Rebuttal
We thank the referee for the positive evaluation of our work and for the detailed technical comment on the discretization argument. We address the concern below and will revise the manuscript accordingly to strengthen the presentation of the estimates.
read point-by-point responses
-
Referee: [Khasminskii discretization argument] The strong convergence relies on the time-discretization error vanishing as the scale separation parameter ε → 0. However, the Hölder exponent α for the slow component is obtained only through vanishing-viscosity regularization, and given the limited smoothing of the fractional semigroup, it is not clear if α is sufficiently large (e.g., α ≥ 1/2) to control the remainder uniformly. Explicit verification that the discretization error bound tends to zero is required, as this is load-bearing for the averaging limit.
Authors: We agree that an explicit verification of the vanishing of the discretization error is important for clarity. In Proposition 2.5 we obtain Hölder continuity in time for the slow component with any exponent α < 1/2 − δ (δ > 0 small, depending on the fractional order s and the polynomial degree of the nonlinearity) via the vanishing-viscosity approximation; the uniform-in-viscosity a priori bounds then pass to the limit. In the Khasminskii argument (Section 4.3) the discretization step is chosen as δ_ε = ε^θ with 0 < θ < α/(α + 1), so that the remainder term—controlled by the Hölder modulus times the integrated oscillation of the fast process over intervals of length δ_ε—tends to zero as ε → 0 by the ergodicity of the frozen fast dynamics (Theorem 2.3). The limited smoothing of the fractional semigroup is compensated precisely by the viscosity regularization, which yields the required uniform estimates. We will add a short lemma (new Lemma 4.4) that explicitly computes the limit of the discretization error and confirms it vanishes uniformly, thereby making the dependence on α fully transparent. revision: yes
Circularity Check
No circularity; averaging constructed from independent ergodic measure
full rationale
The derivation establishes strong convergence of the slow component to an effective averaged equation by first proving uniform a priori estimates and ergodicity of the fast dynamics (under dissipative assumptions yielding a unique invariant measure), then applying a Khasminskii-type discretization after obtaining Hölder regularity via vanishing-viscosity approximation. The effective drift is defined by explicit averaging of the coupling term against this independently characterized measure; no parameter is fitted to the target limit, no self-definitional reduction occurs, and the proof steps rely on standard techniques adapted to the fractional setting without reducing the central claim to a tautology or self-citation chain. The potential technical difficulty with Hölder exponents is a question of proof validity, not circularity.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Existence of a unique invariant measure for the frozen fast dynamics under the stated dissipative assumptions
- domain assumption Uniform a priori estimates for solutions of the coupled system
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclearas the scale separation parameter tends to zero, the slow component converges strongly to an effective stochastic fractional Schrödinger equation. The effective drift is obtained by averaging the coupling term with respect to the unique invariant measure of the frozen fast dynamics.
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclearHölder time regularity of the slow component obtained via a vanishing viscosity method, and a Khasminskii-type time discretization argument adapted to fractional dispersive operators
Reference graph
Works this paper leans on
-
[1]
G. P. Agrawal.Applications of nonlinear fiber optics. Academic press, 2020
work page 2020
- [2]
-
[3]
J. Bao, G. Yin, and C. Yuan. Two-time-scale stochastic partial differential equations driven by α-stable noises: averaging principles.Bernoulli, 23(1):645–669, 2017. 36
work page 2017
- [4]
-
[5]
International Monographs on Advanced Mathematics and Physics
N.N.BogoliubovandY.A.Mitropolsky.Asymptotic methods in the theory of non-linear oscillations. International Monographs on Advanced Mathematics and Physics. Hindustan Publishing Corp., Delhi, Gordon and Breach Science Publishers, Inc., New York, russian edition, 1961
work page 1961
-
[6]
Z. Brzeźniak, F. Hornung, and L. Weis. Martingale solutions for the stochastic nonlinear Schrödinger equation in the energy space.Probab. Theory Related Fields, 174(3-4):1273–1338, 2019
work page 2019
-
[7]
Z. Brzeźniak and A. Millet. On the stochastic Strichartz estimates and the stochastic nonlinear Schrödinger equation on a compact Riemannian manifold.Potential Anal., 41(2):269–315, 2014
work page 2014
-
[8]
J. B. Casteras and L. Monsaingeon. Invariant measures and global well-posedness for a fractional Schrödinger equation with Moser-Trudinger type nonlinearity.Stoch. Partial Differ. Equ. Anal. Comput., 12(1):416–465, 2024
work page 2024
-
[9]
S. Cerrai. A Khasminskii type averaging principle for stochastic reaction-diffusion equations.Ann. Appl. Probab., 19(3):899–948, 2009
work page 2009
-
[10]
S. Cerrai and M. Freidlin. Averaging principle for a class of stochastic reaction-diffusion equations. Probab. Theory Related Fields, 144(1-2):137–177, 2009
work page 2009
-
[11]
S. Cerrai and A. Lunardi. Averaging principle for nonautonomous slow-fast systems of stochastic reaction-diffusion equations: the almost periodic case.SIAM J. Math. Anal., 49(4):2843–2884, 2017
work page 2017
-
[12]
S. Cerrai and Y. Zhu. Averaging principle for slow-fast systems of stochastic PDEs with rough coefficients.Stochastic Process. Appl., 185:Paper No. 104618, 27, 2025
work page 2025
-
[13]
F. F. Chen et al.Introduction to plasma physics and controlled fusion, volume 1. Springer, 1984
work page 1984
- [14]
-
[15]
A. de Bouard and A. Debussche. A stochastic nonlinear Schrödinger equation with multiplicative noise.Comm. Math. Phys., 205(1):161–181, 1999
work page 1999
-
[16]
A. de Bouard and A. Debussche. The stochastic nonlinear Schrödinger equation inH1.Stochastic Anal. Appl., 21(1):97–126, 2003
work page 2003
- [17]
-
[18]
Z. Dong, X. Sun, H. Xiao, and J. Zhai. Averaging principle for one dimensional stochastic Burgers equation.J. Differential Equations, 265(10):4749–4797, 2018
work page 2018
-
[19]
Y. Du, Y. Chen, and Q. Zhang. Averaging principle and optimal control for a two-time-scale stochastic reaction-diffusion HIV model.Adv. Contin. Discrete Models, pages Paper No. 177, 45, 2025
work page 2025
-
[20]
L. C. Evans.Partial differential equations, volume 19 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, second edition, 2010
work page 2010
- [21]
-
[22]
P. Gao. Averaging principle for stochastic Kuramoto-Sivashinsky equation with a fast oscillation. Discrete Contin. Dyn. Syst., 38(11):5649–5684, 2018
work page 2018
-
[23]
P. Gao. Averaging principle for the higher order nonlinear Schrödinger equation with a random fast oscillation.J. Stat. Phys., 171(5):897–926, 2018
work page 2018
-
[24]
P. Gao. Averaging principle for multiscale stochastic fractional Schrödinger–Korteweg-de Vries system.J. Stat. Phys., 181(5):1781–1816, 2020. 37
work page 2020
-
[25]
P. Gao. Averaging principle for multiscale stochastic fractional Schrödinger equation.Ann. Henri Poincaré, 21(5):1637–1675, 2020
work page 2020
-
[26]
P. Gao. Stratonovich-Khasminskii averaging principle for multiscale random Korteweg–de Vries– Burgers equation.Nonlinearity, 36(11):6124–6151, 2023
work page 2023
- [27]
-
[28]
O. Goubet and E. Zahrouni. Finite dimensional global attractor for a fractional nonlinear Schrödinger equation.NoDEA Nonlinear Differential Equations Appl., 24(5):Paper No. 59, 16, 2017
work page 2017
-
[29]
G. F. Gronchi. Generalized averaging principle and the secular evolution of planet crossing orbits. volume 83, pages 97–120. 2002. Modern celestial mechanics: from theory to applications (Rome, 2001)
work page 2002
- [30]
- [31]
-
[32]
Y. Hong and Y. Sire. A new class of traveling solitons for cubic fractional nonlinear Schrödinger equations.Nonlinearity, 30(4):1262–1286, 2017
work page 2017
-
[33]
F. Hornung. The nonlinear stochastic Schrödinger equation via stochastic Strichartz estimates.J. Evol. Equ., 18(3):1085–1114, 2018
work page 2018
- [34]
-
[35]
C. K. R. T. Jones. Geometric singular perturbation theory. InDynamical systems (Montecatini Terme, 1994), volume 1609 ofLecture Notes in Math., pages 44–118. Springer, Berlin, 1995
work page 1994
-
[36]
D. Keller and H. Lisei. Variational solution of stochastic Schrödinger equations with power-type nonlinearity.Stoch. Anal. Appl., 33(4):653–672, 2015
work page 2015
-
[37]
R. Z. Khasminskii. On the principle of averaging the Itô’s stochastic differential equations.Kyber- netika (Prague), 4:260–279, 1968
work page 1968
-
[38]
Z. Lai, S. Huang, Y. Kong, S. Zhao, J. Zhao, and L. Huang. Hybrid resolved-unresolved CFD-DEM framework for multiscale fluid-particle systems with irregular-shaped and polydisperse particles.J. Comput. Phys., 554:Paper No. 114759, 2026
work page 2026
-
[39]
N. Laskin. Fractional quantum mechanics and Lévy path integrals.Phys. Lett. A, 268(4-6):298–305, 2000
work page 2000
-
[40]
N. Laskin. Fractional Schrödinger equation.Phys. Rev. E (3), 66(5):056108, 7, 2002
work page 2002
-
[41]
M.-K. Lee and J.-H. Kim. Valuation of options subject to default risk under a mixed fractional and multiscale stochastic volatility model.Adv. Contin. Discrete Models, pages Paper No. 93, 27, 2025
work page 2025
-
[42]
C. Li, H. Zhang, X. Lai, and J. Lei. Combination therapy for colorectal cancer with anti-PD-L1 and cancer vaccine: a multiscale mathematical model of tumor-immune interactions.Math. Biosci., 394:Paper No. 109637, 19, 2026
work page 2026
-
[43]
H. Lisei and D. Keller. A stochastic nonlinear Schrödinger problem in variational formulation. NoDEA Nonlinear Differential Equations Appl., 23(2):Art. 22, 27, 2016
work page 2016
-
[44]
V. A. Liskevich and M. A. Perelmuter. Analyticity of sub-Markovian semigroups.Proc. Amer. Math. Soc., 123(4):1097–1104, 1995
work page 1995
-
[45]
D. Liu. Strong convergence of principle of averaging for multiscale stochastic dynamical systems. Commun. Math. Sci., 8(4):999–1020, 2010. 38
work page 2010
-
[46]
W. Liu, M. Röckner, X. Sun, and Y. Xie. Averaging principle for slow-fast stochastic differential equations with time dependent locally Lipschitz coefficients.J. Differential Equations, 268(6):2910– 2948, 2020
work page 2020
-
[47]
C. Marinelli and M. Röckner. On the maximal inequalities of Burkholder, Davis and Gundy.Expo. Math., 34(1):1–26, 2016
work page 2016
-
[48]
A. A. Martynjuk. The averaging principle in nonlinear mechanics.Prikl. Mekh., 15(8):80–86, 142, 1979
work page 1979
- [49]
-
[50]
H. Mun, J. An, and J. Kim. The Cauchy problem for the fractional nonlinear Schrödinger equation in Sobolev space.Bull. Belg. Math. Soc. Simon Stevin, 31(3):278–293, 2024
work page 2024
-
[51]
B. Sanchez, O. Riaño, and S. Roudenko. On the well-posedness of the periodic fractional Schrödinger equation.Partial Differ. Equ. Appl., 6(3):Paper No. 23, 28, 2025
work page 2025
-
[52]
J. A. Sanders. On the fundamental theorem of averaging.SIAM J. Math. Anal., 14(1):1–10, 1983
work page 1983
-
[53]
J. A. Sanders, F. Verhulst, and J. Murdock.Averaging methods in nonlinear dynamical systems, volume 59 ofApplied Mathematical Sciences. Springer, New York, second edition, 2007
work page 2007
-
[54]
S. Secchi. Ground state solutions for nonlinear fractional Schrödinger equations inRN.J. Math. Phys., 54(3):031501, 17, 2013
work page 2013
-
[55]
Shankar.Principles of quantum mechanics
R. Shankar.Principles of quantum mechanics. Springer Science & Business Media, 2012
work page 2012
-
[56]
Y. Song, R. Zhang, and J. Zheng. Global well-posedness of fractional order nonlinear Schrödinger equation on compact manifolds.J. Geom. Anal., 35(10):Paper No. 327, 49, 2025
work page 2025
-
[57]
C. Sulem and P.-L. Sulem.The nonlinear Schrödinger equation, volume 139 ofApplied Mathematical Sciences. Springer-Verlag, New York, 1999. Self-focusing and wave collapse
work page 1999
-
[58]
C. Sulem and P.-L. Sulem.The nonlinear Schrödinger equation: self-focusing and wave collapse, volume 139. Springer Science & Business Media, 2007
work page 2007
- [59]
-
[60]
M. V. Vladimirov. Solvability of a mixed problem for the nonlinear Schrödinger equation.Mathe- matics of the USSR-Sbornik, 58(2):525, 1987
work page 1987
-
[61]
O. A. Žautykov. The averaging principle in nonlinear mechanics as applied to denumerable systems of equations.Ukrain. Mat. Ž., 17(1):39–46, 1965
work page 1965
-
[62]
Y. Wang, H. Gu, and R. An. Averaging principle for space-fractional stochastic partial differential equations driven by Lévy white noise and fractional Brownian motion.AIMS Math., 10(4):9013– 9033, 2025
work page 2025
-
[63]
J. Xiang and H. Qiao. Asymptotic behaviors of multiscale McKean-Vlasov stochastic systems. Discrete Contin. Dyn. Syst. Ser. S, 21:63–87, 2026
work page 2026
-
[64]
J. Xu. An averaging principle for slow-fast fractional stochastic parabolic equations on unbounded domains.Stochastic Process. Appl., 150:358–396, 2022
work page 2022
-
[65]
Y. Xu, J. Duan, and W. Xu. An averaging principle for stochastic dynamical systems with Lévy noise.Phys. D, 240(17):1395–1401, 2011
work page 2011
-
[66]
Y. Yin, J. A. Flegg, and M. B. Flegg. Accurate stochastic simulation algorithm for multiscale models of infectious diseases.J. Theoret. Biol., 612:Paper No. 112194, 13, 2025
work page 2025
- [67]
-
[68]
X. Zhao. A combination of multiscale time integrator and two-scale formulation for the nonlinear Schrödinger equation with wave operator.J. Comput. Appl. Math., 326:320–336, 2017. 39
work page 2017
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.