Moudhaffar Bouthelja | Searcharxiv

arXiv2017

KAM for the nonlinear wave equation on the circle: small amplitude solution

In this paper we consider the nonlinear wave equation on the circle:\begin{equation} \nonumberu\_{tt} - u\_{xx} + m u = g(x,u), \quad t \in \mathbb{R},\: x \in \mathbb{S}^1,\end{equation}where $m \in [1,2]$ is a mass and $g(x,u)=4u^3+ O(u^4)$. This equation will be treated as a perturbation of the integrable Hamiltonian:\begin{equation} \tag{$\ast$} \label{first equation}u\_t= v, \quad v\_t = - u\_{xx} + m u.\end{equation}Near the origin and for generic $m$, we prove the existence of small amplitude quasi-periodic solutions close to the solution of the linear equation\eqref{first equation}. For the proof we use an abstract KAM theorem in infinite dimension and a Birkhoff normal form result.

math.AP↗

arXiv2017

KAM for the nonlinear wave equation on the circle: a normal form theorem

In this paper we prove a KAM theorem in infinite dimension which treats the case of multiple eigenvalues (or frequencies) of finite order. More precisely, we consider a Hamiltonian normal form in infinite dimension:\begin{equation} \nonumberh(ρ)=ω(ρ).r + \frac{1}{2} \langle ζ,A(ρ)ζ\rangle,\end{equation}where $ r \in \mathbb{R}^n $, $ζ=((p\_s,q\_s)\_{s \in \mathcal{L}})$ and $ \mathcal{L}$ is a subset of $\mathbb{Z}$. We assume that the infinite matrix $A(ρ)$ satisfies $A(ρ)= D(ρ)+N(ρ)$, where $D(ρ) =\operatorname{diag} \left\lbrace λ\_{i} (ρ) I\_2,\: 1\leq i \leq m\right\rbrace$ and $N$ is a bloc diagonal matrix. We assume that the size of each bloc of $N$ is the multiplicity of the corresponding eigenvalue in $D$.In this context, if we start from a torus, then the solution of the associated Hamiltonian system remains on that torus. Under certain conditions emitted on the frequencies, we can affirm that the trajectory of the solution fills the torus. In this context, the starting torus is an invariant torus. Then, we perturb this integrable Hamiltonian and we want to prove that the starting torus is a persistent torus. We show that, if the perturbation is small and under certain conditions of non-resonance of the frequencies, then the starting torus is a persistent torus.

math.AP↗