Resonances in long time integration of semi linear Hamiltonian PDEs

We consider a class of Hamiltonian PDEs that can be split into a linear unbounded operator and a regular non linear part, and we analyze their numerical discretizations by symplectic methods when the initial value is small in Sobolev norms. The goal of this work is twofold: First we show how standard approximation methods cannot in general avoid resonances issues, and we give numerical examples of pathological behavior for the midpoint rule and implicit-explicit integrators. Such phenomena can be avoided by suitable truncations of the linear unbounded operator combined with classical splitting methods. We then give a sharp bound for the cut-off depending on the time step. Using a new normal form result, we show the long time preservation of the actions for such schemes for all values of the time step, provided the initial continuous system does not exhibit resonant frequencies

Quasi invariant modified Sobolev norms for semi linear reversible PDEs

We consider a general class of infinite dimensional reversible differential systems. Assuming a non resonance condition on the linear frequencies, we construct for such systems almost invariant pseudo norms that are closed to Sobolev-like norms. This allows us to prove that if the Sobolev norm of index $s$ of the initial data $z_0$ is sufficiently small (of order $\epsilon$) then the Sobolev norm of the solution is bounded by $2\epsilon$ during very long time (of order $\epsilon^{-r}$ with $r$ arbitrary). It turns out that this theorem applies to a large class of reversible semi linear PDEs including the non linear Schr\"odinger equation on the d-dimensional torus. We also apply our method to a system of coupled NLS equations which is reversible but not Hamiltonian. We also notice that for the same class of reversible systems we can prove a Birkhoff normal form theorem that in turn implies the same bounds on the Sobolev norms. Nevertheless the technics that we use to prove the existence of quasi invariant pseudo norms is much more simple and direct

Hamiltonian interpolation of splitting approximations for nonlinear PDEs

We consider a wide class of semi linear Hamiltonian partial differential equa- tions and their approximation by time splitting methods. We assume that the nonlinearity is polynomial, and that the numerical tra jectory remains at least uni- formly integrable with respect to an eigenbasis of the linear operator (typically the Fourier basis). We show the existence of a modified interpolated Hamiltonian equation whose exact solution coincides with the discrete flow at each time step over a long time depending on a non resonance condition satisfied by the stepsize. We introduce a class of modified splitting schemes fulfilling this condition at a high order and prove for them that the numerical flow and the continuous flow remain close over exponentially long time with respect to the step size. For stan- dard splitting or implicit-explicit scheme, such a backward error analysis result holds true on a time depending on a cut-off condition in the high frequencies (CFL condition). This analysis is valid in the case where the linear operator has a discrete (bounded domain) or continuous (the whole space) spectrum

A Kam Theorem for Space-Multidimensional Hamiltonian PDE

We present an abstract KAM theorem, adapted to space-multidimensional hamiltonian PDEs with smoothing non-linearities. The main novelties of this theorem are that: $\bullet$ the integrable part of the hamiltonian may contain a hyperbolic part and as a consequence the constructed invariant tori may be unstable. $\bullet$ It applies to singular perturbation problem. In this paper we state the KAM-theorem and comment on it, give the main ingredients of the proof, and present three applications of the theorem .Comment: arXiv admin note: text overlap with arXiv:1502.0226

A mathematical model for the Fermi weak interactions

We consider a mathematical model of the Fermi theory of weak interactions as patterned according to the well-known current-current coupling of quantum electrodynamics. We focuss on the example of the decay of the muons into electrons, positrons and neutrinos but other examples are considered in the same way. We prove that the Hamiltonian describing this model has a ground state in the fermionic Fock space for a sufficiently small coupling constant. Furthermore we determine the absolutely continuous spectrum of the Hamiltonian and by commutator estimates we prove that the spectrum is absolutely continuous away from a small neighborhood of the thresholds of the free Hamiltonian. For all these results we do not use any infrared cutoff or infrared regularization even if fermions with zero mass are involved

On the Infrared Problem for the Dressed Non-Relativistic Electron in a Magnetic Field

We consider a non-relativistic electron interacting with a classical magnetic field pointing along the $x_3$-axis and with a quantized electromagnetic field. The system is translation invariant in the $x_3$-direction and we consider the reduced Hamiltonian $H(P_3)$ associated with the total momentum $P_3$ along the $x_3$-axis. For a fixed momentum $P_3$ sufficiently small, we prove that $H(P_3)$ has a ground state in the Fock representation if and only if $E'(P_3)=0$, where $P_3 \mapsto E'(P_3)$ is the derivative of the map $P_3 \mapsto E(P_3) = \inf \sigma (H(P_3))$. If $E'(P_3) \neq 0$, we obtain the existence of a ground state in a non-Fock representation. This result holds for sufficiently small values of the coupling constant