KAM for the nonlinear Schrödinger equation

L. Hakan Eliasson¹ ; Sergei B. Kuksin²

¹University of Paris 7, Department of Mathematics, Case 7052, 2 place Jussieu, Paris, France
²CMLS, Ecole Polytechnique, 91128 Palaiseau, France

Annals of mathematics, Tome 172 (2010) no. 1, pp. 371-435

Résumé

We consider the $d$-dimensional nonlinear Schrödinger equation under periodic boundary conditions: \[ -i\dot u=-\Delta u+V(x)*u+\varepsilon \frac{\partial F}{\partial \bar u}(x,u,\bar u), \quad u=u(t,x),\;x\in\mathbb{T}^d \] where $V(x)=\sum \hat{V}(a)e^{i\langle a,x\rangle}$ is an analytic function with $\hat V$ real, and $F$ is a real analytic function in $\Re u$, $\Im u$ and $x$. (This equation is a popular model for the ‘real’ NLS equation, where instead of the convolution term $V*u$ we have the potential term $Vu$.) For $\varepsilon=0$ the equation is linear and has time–quasi-periodic solutions \[ u(t,x)=\sum_{a\in \mathcal{A}}\hat u(a)e^{i(|a|^2+\hat{V}(a))t}e^{i\langle a,x\rangle}, \quad |\hat u(a)|>0, \] where $\mathcal{A}$ is any finite subset of $\mathbb{Z}^d$. We shall treat $\omega_a=|a|^2+\hat V(a)$, $a\in\mathcal{A}$, as free parameters in some domain $U\subset\mathbb{R}^{\mathcal{A}}$.

Détail

DOI : 10.4007/annals.2010.172.371