Recognition: 2 theorem links
· Lean TheoremExponential mixing for nonlinear Schr\"odinger equations perturbed by bounded degenerate noise
Pith reviewed 2026-05-10 18:45 UTC · model grok-4.3
The pith
Minimal noise on two modes produces exponential mixing in damped NLS
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove the exponential convergence to a unique invariant measure for locally damped nonlinear Schrödinger equations, perturbed by bounded noise acting on only two Fourier modes. To tackle the lack of smoothing effect, we introduce asymptotic compactness of linearized system to enhance the coupling method. Inspired by prior works, we establish a new criterion for exponential mixing by combining elements from global stability, nonlinear smoothing, and geometric control.
What carries the argument
Asymptotic compactness of the linearized system, which strengthens the coupling method to establish a new criterion for exponential mixing when combined with global stability, nonlinear smoothing, and geometric control.
If this is right
- The system forgets its initial conditions exponentially fast.
- A unique invariant measure exists and governs all long-term statistics.
- Quantitative bounds on the mixing rate become available for relaxation-time estimates.
- Geometric control conditions ensure effective interaction between the two-mode noise and the local damping.
- The result applies specifically to this combination of local damping and degenerate bounded noise.
Where Pith is reading between the lines
- Similar compactness arguments could apply to other dispersive PDEs where noise affects only a few modes.
- Simulations might converge faster by sampling directly from the invariant measure instead of evolving individual paths.
- The approach suggests minimal noise suffices for mixing in many damped wave systems if local damping is present.
- Physical models in optics or fluid waves could use this to predict steady states under sparse perturbations.
Load-bearing premise
The linearized system around trajectories has asymptotic compactness that compensates for the limited support of the noise and allows the new mixing criterion to hold.
What would settle it
An explicit example or numerical trajectory showing that solutions starting from different initial data fail to approach the same measure or do so at a non-exponential rate.
Figures
read the original abstract
We prove the exponential convergence to a unique invariant measure for locally damped nonlinear Schr\"odinger equations, perturbed by bounded noise acting on only two Fourier modes. To tackle the lack of smoothing effect, we introduce asymptotic compactness of linearized system to enhance the coupling method. Inspired by [14,33,39], we establish a new criterion for exponential mixing. Elements from global stability, nonlinear smoothing, and geometric control are combined when applying this criterion.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves exponential convergence to a unique invariant measure for locally damped nonlinear Schrödinger equations perturbed by bounded noise supported on only two Fourier modes. It introduces asymptotic compactness of the linearized system as a tool to strengthen the coupling method and establishes a new criterion for exponential mixing, combining this with global stability, nonlinear smoothing, and geometric control.
Significance. If the central claims hold, the work would advance the ergodic theory of infinite-dimensional stochastic PDEs by handling degenerate noise with minimal smoothing. The new criterion and linearized asymptotic compactness provide a potentially reusable technique for proving exponential mixing in dispersive systems where standard hypoellipticity or full-noise assumptions fail. Credit is due for the explicit combination of global stability, nonlinear smoothing, and geometric control within the new framework.
major comments (2)
- [Statement and proof of the new mixing criterion] The new criterion (introduced after the abstract's description of the strategy) augments the coupling method via asymptotic compactness of the linearized flow. For noise acting on only two Fourier modes and local damping, it is unclear whether this compactness produces the uniform exponential contraction required by the criterion, as uncontrolled directions may persist in the linearization; the manuscript must verify that the decay rate propagates to the full nonlinear system without hidden assumptions on damping geometry.
- [Application of the criterion to the damped NLS] § on application to the NLS (combining global stability, nonlinear smoothing, and geometric control): the two-mode support of the noise may leave the linearized difference insufficiently compact under local damping, undermining the claimed enhancement of the coupling method. Explicit estimates showing that the asymptotic compactness closes the criterion at an exponential rate are needed to support the main theorem.
minor comments (2)
- The abstract cites inspiration from [14,33,39] but does not specify how the new criterion differs in its use of linearized compactness; add a short comparison paragraph in the introduction.
- Notation for the coupling distance and the linearized operator should be introduced with a numbered display equation for reference.
Simulated Author's Rebuttal
We thank the referee for the careful reading, positive evaluation of the work's significance, and constructive major comments. We address each point below by clarifying the proof structure and adding explicit estimates as requested. The revisions strengthen the presentation without altering the main results.
read point-by-point responses
-
Referee: [Statement and proof of the new mixing criterion] The new criterion (introduced after the abstract's description of the strategy) augments the coupling method via asymptotic compactness of the linearized flow. For noise acting on only two Fourier modes and local damping, it is unclear whether this compactness produces the uniform exponential contraction required by the criterion, as uncontrolled directions may persist in the linearization; the manuscript must verify that the decay rate propagates to the full nonlinear system without hidden assumptions on damping geometry.
Authors: We agree that additional verification is needed for clarity. The new criterion is stated as Theorem 2.1, with its proof in Section 3 relying on asymptotic compactness (Proposition 3.2) of the linearized flow. In the revised manuscript, we have inserted a new Lemma 3.4 that explicitly decomposes the linearized difference into modes controlled by the two-mode noise and the remaining directions. Using the geometric control condition (Assumption 2.3) on the local damping, we show that the compactness absorbs the uncontrolled components at a uniform exponential rate, which then propagates to the nonlinear system via the global stability estimates of Section 4. This uses only the stated assumptions on the damping geometry and two-mode support; no hidden conditions are invoked. The decay rate is quantified explicitly in the proof. revision: yes
-
Referee: [Application of the criterion to the damped NLS] § on application to the NLS (combining global stability, nonlinear smoothing, and geometric control): the two-mode support of the noise may leave the linearized difference insufficiently compact under local damping, undermining the claimed enhancement of the coupling method. Explicit estimates showing that the asymptotic compactness closes the criterion at an exponential rate are needed to support the main theorem.
Authors: We concur that explicit estimates are essential to confirm the enhancement. In the original proof of the main result (Theorem 6.1), the combination is outlined but not fully expanded. The revised version adds detailed calculations in Section 6.2: we derive the exponential contraction rate for the linearized difference by combining the nonlinear smoothing (Proposition 5.1) with the asymptotic compactness, showing that the two-mode noise plus local damping forces the uncontrolled modes to decay exponentially. These estimates close the criterion at the required rate and directly support the coupling argument. The revisions include the full chain of inequalities requested. revision: yes
Circularity Check
No circularity: derivation combines independent elements without reduction to inputs
full rationale
The paper's central claim rests on introducing asymptotic compactness of the linearized system to augment the coupling method, then combining it with global stability, nonlinear smoothing, and geometric control to establish a new exponential mixing criterion. No step reduces a claimed result to a fitted parameter, self-definition, or load-bearing self-citation chain by construction; the abstract explicitly states that the new criterion is established within the paper while drawing inspiration from prior works. The derivation remains self-contained against external benchmarks and does not rename known results or smuggle ansatzes via citation.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The locally damped nonlinear Schrödinger equation is well-posed in suitable Sobolev spaces
- domain assumption The bounded noise acts degenerately on exactly two Fourier modes
Reference graph
Works this paper leans on
-
[1]
A. A. Agrachev and A. V. Sarychev. Controllability of 2D Euler and Navier–Stokes equations by degenerate forcing.Comm. Math. Phys., 265(3):673–697, 2006
2006
-
[2]
Barbu and G
V. Barbu and G. Da Prato. The stochastic nonlinear damped wave equation.Appl. Math. Optim., 46(2- 3):125–141, 2002
2002
-
[3]
K. Beauchard, R. Carles, and E. Pozzoli. Small-time approximate controllability of the logarithmic Schr¨ odinger equation.arXiv:2510.14461, 2025. 32 Y. CHEN, S. XIANG, Z. ZHANG
-
[4]
Beauchard and E
K. Beauchard and E. Pozzoli. Small-time approximate controllability of bilinear Schr¨ odinger equations and diffeomorphisms.Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, 2025. Online first
2025
-
[5]
Bourgain
J. Bourgain. Fourier transform restriction phenomena for certain lattice subsets and applications to nonlinear evolution equations. I. Schr¨ odinger equations.Geom. Funct. Anal., 3(2):107–156, 1993
1993
-
[6]
Bourgain
J. Bourgain. Refinements of Strichartz’ inequality and applications to 2D-NLS with critical nonlinearity. Internat. Math. Res. Notices, 1998(5):253–283, 1998
1998
-
[7]
Bourgain.Global solutions of nonlinear Schr¨ odinger equations
J. Bourgain.Global solutions of nonlinear Schr¨ odinger equations. American Mathematical Society, Provi- dence, RI, 1999
1999
-
[8]
Bricmont, A
J. Bricmont, A. Kupiainen, and R. Lefevere. Exponential mixing of the 2D stochastic Navier–Stokes dynamics. Comm. Math. Phys., 230(1):87–132, 2002
2002
-
[9]
Bringmann, Y
B. Bringmann, Y. Deng, A. Nahmod, and H. Yue. Invariant Gibbs measures for the three dimensional cubic nonlinear wave equation.Invent. Math., 236(3):1133–1411, 2024
2024
-
[10]
Burq and L
N. Burq and L. Thomann. Almost sure scattering for the one dimensional nonlinear Schr¨ odinger equation. Mem. Amer. Math. Soc., 296(1480):vii+87, 2024
2024
-
[11]
Burq and N
N. Burq and N. Tzvetkov. Random data Cauchy theory for supercritical wave equations. I. local theory. Invent. Math., 173(3):449–475, 2008
2008
- [12]
-
[13]
Chen and S
Y. Chen and S. Xiang. Donsker–Varadhan large deviation principle for locally damped and randomly forced NLS equations.Ann. Henri Poincar´ e, 2026. Online first
2026
- [14]
-
[15]
Coron.Control and nonlinearity
J.-M. Coron.Control and nonlinearity. American Mathematical Society, Providence, RI, 2007
2007
-
[16]
Coron, S
J.-M. Coron, S. Xiang, and P. Zhang. On the global approximate controllability in small time of semiclassical 1-D Schr¨ odinger equations between two states with positive quantum densities.J. Differential Equations, 345:1–44, 2023
2023
-
[17]
Debussche and C
A. Debussche and C. Odasso. Ergodicity for a weakly damped stochastic non-linear Schr¨ odinger equation.J. Evol. Equ., 5(3):317–356, 2005
2005
-
[18]
Dehman, P
B. Dehman, P. G´ erard, and G. Lebeau. Stabilization and control for the nonlinear Schr¨ odinger equation on a compact surface.Math. Z., 254(4):729–749, 2006
2006
-
[19]
W. E, J. C. Mattingly, and Y. Sinai. Gibbsian dynamics and ergodicity for the stochastically forced Navier– Stokes equation.Comm. Math. Phys., 224(1):83–106, 2001
2001
-
[20]
Ekren, I
I. Ekren, I. Kukavica, and M. Ziane. Existence of invariant measures for the stochastic damped Schr¨ odinger equation.Stoch. Partial Differ. Equ. Anal. Comput., 5(3):343–367, 2017
2017
-
[21]
M. B. Erdo˘ gan and N. Tzirakis. Talbot effect for the cubic non-linear Schr¨ odinger equation on the torus. Math. Res. Lett., 20(6):1081–1090, 2013
2013
-
[22]
Flandoli and B
F. Flandoli and B. Maslowski. Ergodicity of the 2D Navier–Stokes equation under random perturbations. Comm. Math. Phys., 172(1):119–141, 1995
1995
-
[23]
F¨ oldes, N
J. F¨ oldes, N. Glatt-Holtz, G. Richards, and E. Thomann. Ergodic and mixing properties of the Boussinesq equations with a degenerate random forcing.J. Funct. Anal., 269(8):2427–2504, 2015
2015
-
[24]
N. Glatt-Holtz, V. R. Martinez, and G. H. Richards. On the long-time statistical behavior of smooth solutions of the weakly damped, stochastically-driven KdV equation.arXiv:2103.12942, 2021
-
[25]
O. Goubet. Asymptotic smoothing effect for a weakly damped nonlinear Schrodinger equation inT 2.J. Differential Equations, 165(1):96–122, 2000
2000
-
[26]
Gubinelli, H
M. Gubinelli, H. Koch, and T. Oh. Paracontrolled approach to the three-dimensional stochastic nonlinear wave equation with quadratic nonlinearity.J. Eur. Math. Soc., 26(3):817–8745, 2024
2024
-
[27]
Gubinelli, T
M. Gubinelli, T. Oh, and L. Tolomeo. Global dynamics for the two-dimensional stochastic nonlinear wave equations.Int. Math. Res. Not. IMRN, (21):16954–16999, 2022
2022
-
[28]
Hairer and J
M. Hairer and J. C. Mattingly. Ergodicity of the 2D Navier–Stokes equations with degenerate stochastic forcing.Ann. of Math. (2), 164(3):993 – 1032, 2006
2006
-
[29]
Hairer and J
M. Hairer and J. C. Mattingly. Spectral gaps in Wasserstein distances and the 2D stochastic Navier–Stokes equations.Ann. Probab., 36(6):2050 – 2091, 2008
2050
-
[30]
Hairer and J
M. Hairer and J. C. Mattingly. A theory of hypoellipticity and unique ergodicity for semilinear stochastic PDEs.Electron. J. Probab., 16(23):658–738, 2011
2011
-
[31]
Hairer, J
M. Hairer, J. C. Mattingly, and M. Scheutzow. Asymptotic coupling and a general form of Harris’ theorem with applications to stochastic delay equations.Probab. Theory Related Fields, 149(1):223–259, 2011. MIXING FOR NLS WITH DEGENERATE NOISE 33
2011
-
[32]
Keraani and A
S. Keraani and A. Vargas. A smoothing property for theL 2-critical NLS equations and an application to blowup theory.Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire, 26(3):745–762, 2009
2009
-
[33]
Kuksin, V
S. Kuksin, V. Nersesyan, and A. Shirikyan. Exponential mixing for a class of dissipative PDEs with bounded degenerate noise.Geom. Funct. Anal., 30(1):126–187, 2020
2020
-
[34]
Kuksin, V
S. Kuksin, V. Nersesyan, and A. Shirikyan. Mixing via controllability for randomly forced nonlinear dissipative PDEs.J. ´Ec. polytech. Math., 7:871–896, 2020
2020
-
[35]
Kuksin and A
S. Kuksin and A. Shirikyan.Mathematics of two-dimensional turbulence. Cambridge University Press, Cam- bridge, 2012
2012
-
[36]
C. Laurent. Global controllability and stabilization for the nonlinear Schr¨ odinger equation on an interval. ESAIM Control Optim. Calc. Var., 16(2):356–379, 2010
2010
-
[37]
Le Balc’h and J
K. Le Balc’h and J. Martin. Global stabilization of the cubic defocusing nonlinear Schr¨ odinger equation on the torus.Ann. Fac. Sci. Toulouse Math. (6), 34(3):539–579, 2025
2025
-
[38]
Linares and G
F. Linares and G. Ponce.Introduction to nonlinear dispersive equations. Universitext. Springer, New York, second edition, 2015
2015
- [39]
-
[40]
Martirosyan
D. Martirosyan. Exponential mixing for the white-forced damped nonlinear wave equation.Evol. Equ. Control Theory, 3(4):645–670, 2014
2014
-
[41]
J. C. Mattingly and ´E. Pardoux. Malliavin calculus for the stochastic 2D Navier–Stokes equation.Comm. Pure Appl. Math., 59(12):1742–1790, 2006
2006
-
[42]
McConnell
R. McConnell. Nonlinear smoothing for the periodic generalized nonlinear Schr¨ odinger equation.J. Differ- ential Equations, 341:353–379, 2022
2022
-
[43]
Nersesyan
V. Nersesyan. Ergodicity for the randomly forced Navier–Stokes system in a two-dimensional unbounded domain.Ann. Henri Poincar´ e, 23(6):2277–2294, 2022
2022
-
[44]
Nersesyan
V. Nersesyan. The complex Ginzburg–Landau equation perturbed by a force localised both in physical and Fourier spaces.Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), XXV:1203–1223, 2024
2024
-
[45]
V. Nersesyan, D. Zhang, and C. Zhou. On the chaotic behavior of the lagrangian flow of the 2D navier–stokes system with bounded degenerate noise.arXiv:2406.17612, 2024
-
[46]
V. Nersesyan and M. Zhao. Polynomial mixing for the white-forced Navier-Stokes system in the whole space. arXiv:2410.15727, 2024
- [47]
-
[48]
Rosier and B.-Y
L. Rosier and B.-Y. Zhang. Local exact controllability and stabilizability of the nonlinear Schr¨ odinger equation on a bounded interval.SIAM J. Control Optim., 48(2):972–992, 2009
2009
-
[49]
A. V. Sarychev. Controllability of the cubic Schroedinger equation via a low-dimensional source term.Math. Control Relat. Fields, 2(3):247–270, 2012
2012
-
[50]
Shirikyan
A. Shirikyan. Control and mixing for 2D Navier–Stokes equations with space-time localised noise.Ann. Sci. ´Ec. Norm. Sup´ er, 48(2):253–280, 2015
2015
-
[51]
Shirikyan
A. Shirikyan. Controllability implies mixing II. Convergence in the dual-Lipschitz metric.J. Eur. Math. Soc., 23(4):1381–1422, 2021
2021
- [52]
-
[53]
W. C. van Etten.Introduction to random signals and noise. John Wiley & Sons, Inc., 2006. (Yuxuan Chen)School of Mathematical Sciences, Peking University, 100871, Beijing, China. Email address:chen yuxuan@pku.edu.cn (Shengquan Xiang)School of Mathematical Sciences, Peking University, 100871, Beijing, China. Email address:shengquan.xiang@math.pku.edu.cn (Zh...
2006
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.