pith. machine review for the scientific record. sign in

arxiv: 2605.11561 · v1 · submitted 2026-05-12 · 🧮 math.AP

Recognition: 2 theorem links

· Lean Theorem

Averaging principle for a slow-fast stochastic nonlinear fractional Schr\"odinger equation

Debopriya Mukherjee, Manil T. Mohan, Sandip Roy

Pith reviewed 2026-05-13 01:42 UTC · model grok-4.3

classification 🧮 math.AP
keywords averaging principlestochastic fractional Schrödinger equationslow-fast systemsergodicityinvariant measureKhasminskii discretizationfractional dispersive operatorsmultiplicative noise
0
0 comments X

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.

The paper establishes an averaging principle for a coupled slow-fast system on the one-dimensional torus, where the slow variable follows a fractional Schrödinger equation with polynomial nonlinearity and multiplicative noise, while the fast variable evolves dissipatively with its own noise and nonlinearity. When the fast timescale parameter tends to zero, the slow solution converges strongly in probability to the solution of a limiting stochastic fractional Schrödinger equation that replaces the coupling interaction by its average against the unique stationary distribution of the frozen fast process. A sympathetic reader would care because this reduces a two-scale stochastic dispersive model to a single effective equation that is easier to analyze or simulate while preserving the essential probabilistic behavior. The proof combines uniform bounds, ergodicity of the fast equation, Hölder regularity obtained through vanishing viscosity, and a Khasminskii discretization tailored to the limited smoothing of the fractional operator.

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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

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

1 responses · 0 unresolved

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
  1. 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

0 steps flagged

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

0 free parameters · 2 axioms · 0 invented entities

The result depends on standard domain assumptions from stochastic PDE theory rather than new postulates; the central claim rests on dissipativity ensuring ergodicity and uniform bounds, which are invoked but not derived here.

axioms (2)
  • domain assumption Existence of a unique invariant measure for the frozen fast dynamics under the stated dissipative assumptions
    Directly used to define the averaged drift term in the effective slow equation.
  • domain assumption Uniform a priori estimates for solutions of the coupled system
    Required to obtain tightness and pass to the limit in the averaging argument.

pith-pipeline@v0.9.0 · 5492 in / 1363 out tokens · 50654 ms · 2026-05-13T01:42:53.146833+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

Reference graph

Works this paper leans on

68 extracted references · 68 canonical work pages

  1. [1]

    G. P. Agrawal.Applications of nonlinear fiber optics. Academic press, 2020

  2. [2]

    Atlas, M

    A. Atlas, M. Bendahmane, F. Karami, J. Tagoudjeu, and M. Zagour. Integrating stochastic chemotaxis-haptotaxis mechanisms in cancer invasion: a multiscale derivation and computational perspective.Math. Biosci. Eng., 22(10):2641–2671, 2025

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

  4. [4]

    Barbu, M

    V. Barbu, M. Röckner, and D. Zhang. Stochastic nonlinear Schrödinger equations with linear multiplicative noise: rescaling approach.J. Nonlinear Sci., 24(3):383–409, 2014

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

  6. [6]

    Brzeźniak, F

    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

  7. [7]

    Brzeźniak and A

    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

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

  9. [9]

    S. Cerrai. A Khasminskii type averaging principle for stochastic reaction-diffusion equations.Ann. Appl. Probab., 19(3):899–948, 2009

  10. [10]

    Cerrai and M

    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

  11. [11]

    Cerrai and A

    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

  12. [12]

    Cerrai and Y

    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

  13. [13]

    F. F. Chen et al.Introduction to plasma physics and controlled fusion, volume 1. Springer, 1984

  14. [14]

    Cheng, Z

    M. Cheng, Z. Liu, and M. Röckner. Averaging principle for stochastic complex Ginzburg-Landau equations.J. Differential Equations, 368:58–104, 2023

  15. [15]

    de Bouard and A

    A. de Bouard and A. Debussche. A stochastic nonlinear Schrödinger equation with multiplicative noise.Comm. Math. Phys., 205(1):161–181, 1999

  16. [16]

    de Bouard and A

    A. de Bouard and A. Debussche. The stochastic nonlinear Schrödinger equation inH1.Stochastic Anal. Appl., 21(1):97–126, 2003

  17. [17]

    Demirbas

    S. Demirbas. Almost sure global well-posedness for the fractional cubic Schrödinger equation on the torus.Canad. Math. Bull., 58(3):471–485, 2015

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

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

  20. [20]

    L. C. Evans.Partial differential equations, volume 19 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, second edition, 2010

  21. [21]

    Fenichel

    N. Fenichel. Geometric singular perturbation theory for ordinary differential equations.J. Differ- ential Equations, 31(1):53–98, 1979

  22. [22]

    P. Gao. Averaging principle for stochastic Kuramoto-Sivashinsky equation with a fast oscillation. Discrete Contin. Dyn. Syst., 38(11):5649–5684, 2018

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

  24. [24]

    P. Gao. Averaging principle for multiscale stochastic fractional Schrödinger–Korteweg-de Vries system.J. Stat. Phys., 181(5):1781–1816, 2020. 37

  25. [25]

    P. Gao. Averaging principle for multiscale stochastic fractional Schrödinger equation.Ann. Henri Poincaré, 21(5):1637–1675, 2020

  26. [26]

    P. Gao. Stratonovich-Khasminskii averaging principle for multiscale random Korteweg–de Vries– Burgers equation.Nonlinearity, 36(11):6124–6151, 2023

  27. [27]

    Gao and Y

    P. Gao and Y. Li. Averaging principle for the Schrödinger equations.Discrete Contin. Dyn. Syst. Ser. B, 22(6):2147–2168, 2017

  28. [28]

    Goubet and E

    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

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

  30. [30]

    Guo and Z

    B. Guo and Z. Huo. Global well-posedness for the fractional nonlinear Schrödinger equation.Comm. Partial Differential Equations, 36(2):247–255, 2011

  31. [31]

    Guo and Z

    B. Guo and Z. Huo. Well-posedness for the nonlinear fractional Schrödinger equation and inviscid limit behavior of solution for the fractional Ginzburg-Landau equation.Fract. Calc. Appl. Anal., 16(1):226–242, 2013

  32. [32]

    Hong and Y

    Y. Hong and Y. Sire. A new class of traveling solitons for cubic fractional nonlinear Schrödinger equations.Nonlinearity, 30(4):1262–1286, 2017

  33. [33]

    F. Hornung. The nonlinear stochastic Schrödinger equation via stochastic Strichartz estimates.J. Evol. Equ., 18(3):1085–1114, 2018

  34. [34]

    Ji and J

    Q. Ji and J. Liu. Averaging principle for multiscale forward-backward stochastic differential equa- tions, with application to quasi-linear pde’s.Potential Anal., 64(1):Paper No. 17, 55, 2026

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

  36. [36]

    Keller and H

    D. Keller and H. Lisei. Variational solution of stochastic Schrödinger equations with power-type nonlinearity.Stoch. Anal. Appl., 33(4):653–672, 2015

  37. [37]

    R. Z. Khasminskii. On the principle of averaging the Itô’s stochastic differential equations.Kyber- netika (Prague), 4:260–279, 1968

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

  39. [39]

    N. Laskin. Fractional quantum mechanics and Lévy path integrals.Phys. Lett. A, 268(4-6):298–305, 2000

  40. [40]

    N. Laskin. Fractional Schrödinger equation.Phys. Rev. E (3), 66(5):056108, 7, 2002

  41. [41]

    Lee and J.-H

    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

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

  43. [43]

    Lisei and D

    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

  44. [44]

    V. A. Liskevich and M. A. Perelmuter. Analyticity of sub-Markovian semigroups.Proc. Amer. Math. Soc., 123(4):1097–1104, 1995

  45. [45]

    D. Liu. Strong convergence of principle of averaging for multiscale stochastic dynamical systems. Commun. Math. Sci., 8(4):999–1020, 2010. 38

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

  47. [47]

    Marinelli and M

    C. Marinelli and M. Röckner. On the maximal inequalities of Burkholder, Davis and Gundy.Expo. Math., 34(1):1–26, 2016

  48. [48]

    A. A. Martynjuk. The averaging principle in nonlinear mechanics.Prikl. Mekh., 15(8):80–86, 142, 1979

  49. [49]

    M. T. Mohan. Averaging principle for the stochastic convective Brinkman-Forchheimer equations. arXiv preprint arXiv:2008.06646, 2020

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

  51. [51]

    Sanchez, O

    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

  52. [52]

    J. A. Sanders. On the fundamental theorem of averaging.SIAM J. Math. Anal., 14(1):1–10, 1983

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

  54. [54]

    S. Secchi. Ground state solutions for nonlinear fractional Schrödinger equations inRN.J. Math. Phys., 54(3):031501, 17, 2013

  55. [55]

    Shankar.Principles of quantum mechanics

    R. Shankar.Principles of quantum mechanics. Springer Science & Business Media, 2012

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

  57. [57]

    Sulem and P.-L

    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

  58. [58]

    Sulem and P.-L

    C. Sulem and P.-L. Sulem.The nonlinear Schrödinger equation: self-focusing and wave collapse, volume 139. Springer Science & Business Media, 2007

  59. [59]

    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(3):1291–1319, 2020

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

  61. [61]

    O. A. Žautykov. The averaging principle in nonlinear mechanics as applied to denumerable systems of equations.Ukrain. Mat. Ž., 17(1):39–46, 1965

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

  63. [63]

    Xiang and H

    J. Xiang and H. Qiao. Asymptotic behaviors of multiscale McKean-Vlasov stochastic systems. Discrete Contin. Dyn. Syst. Ser. S, 21:63–87, 2026

  64. [64]

    J. Xu. An averaging principle for slow-fast fractional stochastic parabolic equations on unbounded domains.Stochastic Process. Appl., 150:358–396, 2022

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

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

  67. [67]

    Zhang, Y

    A. Zhang, Y. Zhang, and J. Duan. Stochastic perturbations in the fractional nonlinear Schrödinger equation: Well-posedness and blow-up.arXiv preprint arXiv:2308.10270, 2023

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