Almost-sure quenched KAM tori for cubic NLS with a spatial white-noise potential
In the authors' words
Let \[ A_\omega=-\partial_x^2+\rho\dot B_x(\omega), \qquad \rho\ne0, \] be the Dirichlet Schr\"odinger operator on with a spatial Gaussian white-noise potential, realized pathwise via quasi-derivatives. Here denotes the distributional derivative of Brownian motion with respect to the spatial variable . For , we consider the cubic nonlinear Schr\"odinger equation \[ i u_t=A_\omega u+\kappa |u|^2u. \] We first prove a zero-set theorem for locally real-analytic functions on classical Wiener space. As a consequence, on a single event of probability one, no nontrivial finitely supported integer combination of the random eigenvalues vanishes, and the quartic twist matrix is nonsingular for every finite tangential set. After fixing a path in this event, we combine these qualitative nondegeneracy properties with a partial quartic Birkhoff normal form adapted to the KAM scheme. For every finite nonempty tangential set \(J\) of cardinality \(b\), we obtain a Cantor family of linearly stable, real-analytic, small-amplitude invariant \(b\)-tori. The family is parametrized by a Cantor subset of \([\nu,2\nu]^b\) whose relative measure tends to one as \(\nu\to0\).
Appeared: Tuesday, September 22. arXiv. Preprint, not yet peer-reviewed.