-
On almost periodic solutions to NLS without external parameters
Authors:
Joackim Bernier,
Benoît Grébert
Abstract:
In this note, we present a result established in [BGR24] where we prove that nonlinear Schrodinger equations on the circle, without external parameters, admit plenty of infinite dimensional non resonant invariant tori, or equivalently, plenty of almost periodic solutions. Our aim is to propose an extended sketch of the proof, emphasizing the new points which have enabled us to achieve this result.
In this note, we present a result established in [BGR24] where we prove that nonlinear Schrodinger equations on the circle, without external parameters, admit plenty of infinite dimensional non resonant invariant tori, or equivalently, plenty of almost periodic solutions. Our aim is to propose an extended sketch of the proof, emphasizing the new points which have enabled us to achieve this result.
△ Less
Submitted 15 May, 2025;
originally announced May 2025.
-
Almost global existence for Hamiltonian PDEs on compact manifolds
Authors:
Dario Bambusi,
Joackim Bernier,
Benoît Grébert,
Rafik Imekraz
Abstract:
We prove an abstract result of almost global existence of small solutions to semi-linear Hamiltonian partial differential equations satisfying very weak non resonance conditions and basic multilinear estimates. Thanks to works by Delort--Szeftel, these assumptions turn out to typically hold for Hamiltonian PDEs on any smooth compact boundaryless Riemannian manifold. As a main application, we prove…
▽ More
We prove an abstract result of almost global existence of small solutions to semi-linear Hamiltonian partial differential equations satisfying very weak non resonance conditions and basic multilinear estimates. Thanks to works by Delort--Szeftel, these assumptions turn out to typically hold for Hamiltonian PDEs on any smooth compact boundaryless Riemannian manifold. As a main application, we prove the almost global existence of small solutions to nonlinear Klein--Gordon equations on such manifolds: for almost all mass, any arbitrarily large $r$ and sufficiently large $s$, solutions with initial data of sufficiently small size $\varepsilon \ll 1$ in the Sobolev space $H^s \times H^{s-1}$ exist and remain in $H^s \times H^{s-1}$ for polynomial times $|t| \leq \varepsilon^{-r}$. This is the first result of almost global existence without specific assumptions on the compact manifold. We also apply this abstract result to nonlinear Schr{ö}dinger equations close to ground states and nonlinear Klein--Gordon equations on $\mathbb{R}^d$ with positive quadratic potentials.
△ Less
Submitted 10 March, 2025; v1 submitted 25 February, 2025;
originally announced February 2025.
-
Infinite dimensional invariant tori for nonlinear Schrödinger equations
Authors:
Joackim Bernier,
Benoit Grébert,
Tristan Robert
Abstract:
We prove that nonlinear Schrödinger equations on the circle, without external parameters, admits plenty of almost periodic solutions. Indeed, we prove that arbitrarily close to most of the finite dimensional KAM tori constructed by Kuksin--Poschel in 1996, there exist infinite dimensional non resonant Kronecker tori, i.e. rotational invariant tori. This result answers a natural and longstanding qu…
▽ More
We prove that nonlinear Schrödinger equations on the circle, without external parameters, admits plenty of almost periodic solutions. Indeed, we prove that arbitrarily close to most of the finite dimensional KAM tori constructed by Kuksin--Poschel in 1996, there exist infinite dimensional non resonant Kronecker tori, i.e. rotational invariant tori. This result answers a natural and longstanding question, well identified by the Hamiltonian PDE community since the first KAM-type result for PDEs by Kuksin in 1987.
△ Less
Submitted 12 February, 2025; v1 submitted 16 December, 2024;
originally announced December 2024.
-
Longtime dynamics for the Landau Hamiltonian with a time dependent magnetic field
Authors:
Dario Bambusi,
Benoit Grébert,
Alberto Maspero,
Didier Robert,
Carlos Villegas-Blas
Abstract:
We consider a modulated magnetic field, $B(t) = B_0 +\varepsilon f(ωt)$, perpendicular to a fixed plane, where $B_0$ is constant, $\varepsilon>0$ and $f$ a periodic function on the torus ${\mathbb T}^n$. Our aim is to study classical and quantum dynamics for the corresponding Landau Hamiltonian. It turns out that the results depend strongly on the chosen gauge. For the Landau gauge the position ob…
▽ More
We consider a modulated magnetic field, $B(t) = B_0 +\varepsilon f(ωt)$, perpendicular to a fixed plane, where $B_0$ is constant, $\varepsilon>0$ and $f$ a periodic function on the torus ${\mathbb T}^n$. Our aim is to study classical and quantum dynamics for the corresponding Landau Hamiltonian. It turns out that the results depend strongly on the chosen gauge. For the Landau gauge the position observable is unbounded for "almost all" non resonant frequencies $ω$. On the contrary, for the symmetric gauge we obtain that, for "almost all" non resonant frequencies $ω$, the Landau Hamiltonian is reducible to a two dimensional harmonic oscillator and thus gives rise to bounded dynamics. The proofs use KAM algorithms for the classical dynamics. Quantum applications are given. In particular, the Floquet spectrum is absolutely continuous in the Landau gauge while it is discrete, of finite multiplicity, in symmetric gauge.
△ Less
Submitted 24 April, 2025; v1 submitted 1 February, 2024;
originally announced February 2024.
-
Exponential stability of solutions to the Schr{ö}dinger-Poisson equation
Authors:
Joackim Bernier,
Nicolas Camps,
Benoît Grébert,
Zhiqiang Wang
Abstract:
We prove an exponential stability result for the small solutions of the Schr{ö}dinger-Poisson equation on the circle without exterior parameters in Gevrey class. More precisely we prove that for most of the initial data of Gevrey-norm smaller than $\varepsilon$ small enough, the solution of the Schr{ö}dinger-Poisson equation remains smaller than $2\varepsilon$ for times of order…
▽ More
We prove an exponential stability result for the small solutions of the Schr{ö}dinger-Poisson equation on the circle without exterior parameters in Gevrey class. More precisely we prove that for most of the initial data of Gevrey-norm smaller than $\varepsilon$ small enough, the solution of the Schr{ö}dinger-Poisson equation remains smaller than $2\varepsilon$ for times of order $exp(α|\log \varepsilon|^2 / \log |\log \varepsilon|)$. We stress out that this is the optimal time expected for PDEs as conjectured by Jean Bourgain in [Bou04].
△ Less
Submitted 9 November, 2023; v1 submitted 25 October, 2023;
originally announced October 2023.
-
Dynamics of quintic nonlinear Schr{ö}dinger equations in $H^{2/5+}(\mathbb{T})$
Authors:
Joackim Bernier,
Benoît Grébert,
Tristan Robert
Abstract:
In this paper, we succeed in integrating Strichartz estimates (encoding the dispersive effects of the equations) in Birkhoff normal form techniques. As a consequence, we deduce a result on the long time behavior of quintic NLS solutions on the circle for small but very irregular initial data (in $H^s$ for $s > 2/5$). Note that since $2/5 < 1$, we cannot claim conservation of energy and, more impor…
▽ More
In this paper, we succeed in integrating Strichartz estimates (encoding the dispersive effects of the equations) in Birkhoff normal form techniques. As a consequence, we deduce a result on the long time behavior of quintic NLS solutions on the circle for small but very irregular initial data (in $H^s$ for $s > 2/5$). Note that since $2/5 < 1$, we cannot claim conservation of energy and, more importantly, since $2/5 < 1/2$, we must dispense with the algebra property of $H^s$. This is the first dynamical result where we use the dispersive properties of NLS in a context of Birkhoff normal form.
△ Less
Submitted 17 December, 2024; v1 submitted 9 May, 2023;
originally announced May 2023.
-
Almost global existence for some nonlinear Schr{ö}dinger equations on $\mathbb{T}^d$ in low regularity
Authors:
Joackim Bernier,
Benoît Grébert
Abstract:
We are interested in the long time behavior of solutions of the nonlinear Schr{ö}dinger equation on the $d$-dimensional torus in low regularity, i.e. for small initial data in the Sobolev space $H^{s_0}(\mathbb T^d)$ with $s_0>d/2$. We prove that, even in this context of low regularity, the $H^s$-norms, $s\geq 0$, remain under control during times,…
▽ More
We are interested in the long time behavior of solutions of the nonlinear Schr{ö}dinger equation on the $d$-dimensional torus in low regularity, i.e. for small initial data in the Sobolev space $H^{s_0}(\mathbb T^d)$ with $s_0>d/2$. We prove that, even in this context of low regularity, the $H^s$-norms, $s\geq 0$, remain under control during times, $T_\varepsilon= \exp \big(-\frac{|\log\varepsilon|^2}{4\log|\log\varepsilon|} \big)$, exponential with respect to the initial size of the initial datum in $H^{s_0}$, $\|u(0)\|_{H^{s_0}}=\varepsilon$. For this, we add to the linear part of the equation a random Fourier multiplier in $\ell^\infty(\mathbb Z^d)$ and show our stability result for almost any realization of this multiplier. In particular, with such Fourier multipliers, we obtain the almost global well posedness of the nonlinear Schr{ö}dinger equation on $H^{s_0}(\mathbb T^d)$ for any $s_0>d/2$ and any $d\geq1$.
△ Less
Submitted 18 March, 2022; v1 submitted 11 March, 2022;
originally announced March 2022.
-
Discrete pseudo-differential operators and applications to numerical schemes
Authors:
Erwan Faou,
Benoît Grébert
Abstract:
We define a class of discrete operators acting on infinite, finite or periodic sequences mimicking the standard properties of pseudo-differential operators. In particular we can define the notion of order and regularity, and we recover the fundamental property that the commutator of two discrete operators gains one order of regularity. We show that standard differential operators acting on periodi…
▽ More
We define a class of discrete operators acting on infinite, finite or periodic sequences mimicking the standard properties of pseudo-differential operators. In particular we can define the notion of order and regularity, and we recover the fundamental property that the commutator of two discrete operators gains one order of regularity. We show that standard differential operators acting on periodic functions, finite difference operators and fully discrete pseudo-spectral methods fall into this class of discrete pseudo-differential operators. As examples of practical applications, we revisit standard error estimates for the convergence of splitting methods, obtaining in some Hamiltonian cases no loss of derivative in the error estimates, in particular for discretizations of general waves and/or water-waves equations. Moreover, we give an example of preconditioner constructions inspired by normal form analysis to deal with the similar question for more general cases.
△ Less
Submitted 30 September, 2021;
originally announced September 2021.
-
Dynamics of nonlinear Klein-Gordon equations in low regularity on S^2
Authors:
Joackim Bernier,
Benoît Grébert,
Gabriel Rivière
Abstract:
We describe the long time behavior of small non-smooth solutions to the nonlinear Klein-Gordon equations on the sphere S^2. More precisely, we prove that the low harmonic energies (also called super-actions) are almost preserved for times of order $ε$^--r , where r >> 1 is an arbitrarily large number and $ε$ << 1 is the norm of the initial datum in the energy space H^1 x L^2. Roughly speaking, it…
▽ More
We describe the long time behavior of small non-smooth solutions to the nonlinear Klein-Gordon equations on the sphere S^2. More precisely, we prove that the low harmonic energies (also called super-actions) are almost preserved for times of order $ε$^--r , where r >> 1 is an arbitrarily large number and $ε$ << 1 is the norm of the initial datum in the energy space H^1 x L^2. Roughly speaking, it means that, in order to exchange energy, modes have to oscillate at the same frequency. The proof relies on new multilinear estimates on Hamiltonian vector fields to put the system in Birkhoff normal form. They are derived from new probabilistic bounds on products of Laplace eigenfunctions that we obtain using Levy's concentration inequality.
△ Less
Submitted 6 September, 2021;
originally announced September 2021.
-
Birkhoff normal forms for Hamiltonian PDEs in their energy space
Authors:
Joackim Bernier,
Benoît Grébert
Abstract:
We study the long time behavior of small solutions of semi-linear dispersive Hamiltonian partial differential equations on confined domains. Provided that the system enjoys a new non-resonance condition and a strong enough energy estimate, we prove that its low super-actions are almost preserved for very long times. Roughly speaking, it means that, to exchange energy, modes have to oscillate at th…
▽ More
We study the long time behavior of small solutions of semi-linear dispersive Hamiltonian partial differential equations on confined domains. Provided that the system enjoys a new non-resonance condition and a strong enough energy estimate, we prove that its low super-actions are almost preserved for very long times. Roughly speaking, it means that, to exchange energy, modes have to oscillate at the same frequency. Contrary to the previous existing results, we do not require the solutions to be especially smooth. They only have to live in the energy space. We apply our result to nonlinear Klein-Gordon equations in dimension d = 1 and nonlinear Schr{ö}dinger equations in dimension d $\le$ 2.
△ Less
Submitted 23 June, 2021; v1 submitted 19 February, 2021;
originally announced February 2021.
-
Long-time existence for semi-linear beam equations on irrational tori
Authors:
Joackim Bernier,
Roberto Feola,
Benoît Grébert,
Felice Iandoli
Abstract:
We consider the semi-linear beam equation on the d dimensional irrational torus with smooth nonlinearity of order n -- 1 with n $\ge$ 3 and d $\ge$ 2. If $ε$ $\ll$ 1 is the size of the initial datum, we prove that the lifespan T$ε$ of solutions is O($ε$ --A(n--2) --) where A $\not\equiv$ A(d, n) = 1 + 3 d--1 when n is even and A = 1 + 3 d--1 + max(4--d d--1 , 0) when n is odd. For instance for d =…
▽ More
We consider the semi-linear beam equation on the d dimensional irrational torus with smooth nonlinearity of order n -- 1 with n $\ge$ 3 and d $\ge$ 2. If $ε$ $\ll$ 1 is the size of the initial datum, we prove that the lifespan T$ε$ of solutions is O($ε$ --A(n--2) --) where A $\not\equiv$ A(d, n) = 1 + 3 d--1 when n is even and A = 1 + 3 d--1 + max(4--d d--1 , 0) when n is odd. For instance for d = 2 and n = 3 (quadratic nonlinearity) we obtain T$ε$ = O($ε$ --6 --), much better than O($ε$ --1), the time given by the local existence theory. The irrationality of the torus makes the set of differences between two eigenvalues of $\sqrt$ $Δ$ 2 + 1 accumulate to zero, facilitating the exchange between the high Fourier modes and complicating the control of the solutions over long times. Our result is obtained by combining a Birkhoff normal form step and a modified energy step.
△ Less
Submitted 4 November, 2020;
originally announced November 2020.
-
Long time solutions for quasi-linear Hamiltonian perturbations of Schrödinger and Klein-Gordon equations on tori
Authors:
Roberto Feola,
Benoît Grébert,
Felice Iandoli
Abstract:
We consider quasi-linear, Hamiltonian perturbations of the cubic Schrödinger and of the cubic (derivative) Klein-Gordon equations on the $d$ dimensional torus. If $\varepsilon\ll1$ is the size of the initial datum, we prove that the lifespan of solutions is strictly larger than the local existence time $\varepsilon^{-2}$. More precisely, concerning the Schrödinger equation we show that the lifespa…
▽ More
We consider quasi-linear, Hamiltonian perturbations of the cubic Schrödinger and of the cubic (derivative) Klein-Gordon equations on the $d$ dimensional torus. If $\varepsilon\ll1$ is the size of the initial datum, we prove that the lifespan of solutions is strictly larger than the local existence time $\varepsilon^{-2}$. More precisely, concerning the Schrödinger equation we show that the lifespan is at least of order $O(\varepsilon^{-4})$, in the Klein-Gordon case, we prove that the solutions exist at least for a time of order $O(\varepsilon^{-{8/3}^{-}})$ as soon as $d\geq3$. Regarding the Klein-Gordon equation, our result presents novelties also in the case of semi-linear perturbations: we show that the lifespan is at least of order $O(\varepsilon^{-{10/3}^-})$, improving, for cubic non-linearities and $d\geq4$, the general results in [17,24].
△ Less
Submitted 14 February, 2022; v1 submitted 16 September, 2020;
originally announced September 2020.
-
Long time dynamics for generalized Korteweg-de Vries and Benjamin-Ono equations
Authors:
Joackim Bernier,
Benoît Grébert
Abstract:
We provide an accurate description of the long time dynamics of the solutions of the generalized Korteweg-De Vries (gKdV) and Benjamin-Ono (gBO) equations on the one dimension torus, without external parameters, and that are issued from almost any (in probability and in density) small and smooth initial data. We stress out that these two equations have unbounded nonlinearities. In particular, we p…
▽ More
We provide an accurate description of the long time dynamics of the solutions of the generalized Korteweg-De Vries (gKdV) and Benjamin-Ono (gBO) equations on the one dimension torus, without external parameters, and that are issued from almost any (in probability and in density) small and smooth initial data. We stress out that these two equations have unbounded nonlinearities. In particular, we prove a long-time stability result in Sobolev norm: given a large constant r and a sufficiently small parameter $ε$, for generic initial datum u(0) of size $ε$, we control the Sobolev norm of the solution u(t) for times of order $ε$^{--r}. These results are obtained by putting the system in rational normal form : we conjugate, up to some high order remainder terms, the vector fields of these equations to integrable ones on large open sets surrounding the origin in high Sobolev regularity.
△ Less
Submitted 8 June, 2020;
originally announced June 2020.
-
Reducibility of Schrödinger equation on a Zoll manifold with unbounded potential
Authors:
Roberto Feola,
Benoît Grébert,
Trung Nguyen
Abstract:
In this article we prove a reducibility result for the linear Schrödinger equation on a Zoll manifold with quasi-periodic in time pseudo-differential perturbation of order less or equal than $1/2$. As far as we know, this is the first reducibility results for an unbounded perturbation of a linear system which is not integrable.
In this article we prove a reducibility result for the linear Schrödinger equation on a Zoll manifold with quasi-periodic in time pseudo-differential perturbation of order less or equal than $1/2$. As far as we know, this is the first reducibility results for an unbounded perturbation of a linear system which is not integrable.
△ Less
Submitted 23 October, 2019;
originally announced October 2019.
-
Long time behavior of the solutions of NLW on the d-dimensional torus
Authors:
Joackim Bernier,
Erwan Faou,
Benoit Grebert
Abstract:
We consider the non linear wave equation (NLW) on the d-dimensional torus with a smooth nonlinearity of order at least two at the origin. We prove that, for almost any mass, small and smooth solutions of high Sobolev indices are stable up to arbitrary long times with respect to the size of the initial data.To prove this result we use a normal form transformation decomposing the dynamics into low…
▽ More
We consider the non linear wave equation (NLW) on the d-dimensional torus with a smooth nonlinearity of order at least two at the origin. We prove that, for almost any mass, small and smooth solutions of high Sobolev indices are stable up to arbitrary long times with respect to the size of the initial data.To prove this result we use a normal form transformation decomposing the dynamics into low and high frequencies with weak interactions. While the low part of the dynamics can be put under classical Birkhoff normal form, the high modes evolve according to a time dependent linear Hamiltonian system. We then control the global dynamics by using polynomial growth estimates for high modes and the preservation of Sobolev norms for the low modes. Our general strategy applies to any semi-linear Hamiltonian PDEs whose linear frequencies satisfy a very general non resonance condition.The (NLW) equation on a torus is a good example since the standard Birkhoff normal form applies only when d=1 while our strategy applies in any dimension.
△ Less
Submitted 19 September, 2019; v1 submitted 12 June, 2019;
originally announced June 2019.
-
Reducibility of Schrödinger equation on the sphere
Authors:
Roberto Feola,
Benoît Grébert
Abstract:
In this article we prove a reducibility result for the linear Schrödinger equation on the sphere $\mathbb{S}^{n}$ with quasi-periodic in time perturbation. Our result includes the case of unbounded perturbation that we assume to be of order strictly less than 1/2 and satisfying some parity condition. As far as we know, this is one of the few reducibility results for an equation in more than one di…
▽ More
In this article we prove a reducibility result for the linear Schrödinger equation on the sphere $\mathbb{S}^{n}$ with quasi-periodic in time perturbation. Our result includes the case of unbounded perturbation that we assume to be of order strictly less than 1/2 and satisfying some parity condition. As far as we know, this is one of the few reducibility results for an equation in more than one dimension with unbounded perturbations. We notice that our result does not requires the use of the pseudo-differential calculus.
△ Less
Submitted 28 May, 2019;
originally announced May 2019.
-
Rational normal forms and stability of small solutions to nonlinear Schrödinger equations
Authors:
Joackim Bernier,
Erwan Faou,
Benoit Grebert
Abstract:
We consider general classes of nonlinear Schrödinger equations on the circle with nontrivial cubic part and without external parameters. We construct a new type of normal forms, namely rational normal forms, on open sets surrounding the origin in high Sobolev regularity. With this new tool we prove that, given a large constant $M$ and a sufficiently small parameter $\varepsilon$, for generic in…
▽ More
We consider general classes of nonlinear Schrödinger equations on the circle with nontrivial cubic part and without external parameters. We construct a new type of normal forms, namely rational normal forms, on open sets surrounding the origin in high Sobolev regularity. With this new tool we prove that, given a large constant $M$ and a sufficiently small parameter $\varepsilon$, for generic initial data of size $\varepsilon$, the flow is conjugated to an integrable flow up to an arbitrary small remainder of order $\varepsilon^{M+1}$. This implies that for such initial data $u(0)$ we control the Sobolev norm of the solution $u(t)$ for time of order $\varepsilon^{-M}$. Furthermore this property is locally stable: if $v(0)$ is sufficiently close to $u(0)$ (of order $\varepsilon^{3/2}$) then the solution $v(t)$ is also controled for time of order $\varepsilon^{-M}$.
△ Less
Submitted 29 December, 2018;
originally announced December 2018.
-
Stable and unstable time quasi periodic solutions for a system of coupled NLS equations
Authors:
Benoît Grébert,
Victor Vilaça da Rocha
Abstract:
We prove that a system of coupled nonlinear Schr{ö}dinger equations on the torus exhibits both stable and unstable small KAM tori. In particular the unstable tori are related to a beating phenomena which has been proved recently in [6]. This is the first example of unstable tori for a 1d PDE.
We prove that a system of coupled nonlinear Schr{ö}dinger equations on the torus exhibits both stable and unstable small KAM tori. In particular the unstable tori are related to a beating phenomena which has been proved recently in [6]. This is the first example of unstable tori for a 1d PDE.
△ Less
Submitted 16 January, 2018; v1 submitted 25 October, 2017;
originally announced October 2017.
-
Growth of Sobolev norms for abstract linear Schrödinger Equations
Authors:
Dario Bambusi,
Benoit Grébert,
Alberto Maspero,
Didier Robert
Abstract:
We prove an abstract theorem giving a $\langle t\rangle^ε$ bound ($\forall ε>0$) on the growth of the Sobolev norms in linear Schrödinger equations of the form $i \dot ψ= H_0 ψ+ V(t) ψ$ when the time $t \to \infty$. The abstract theorem is applied to several cases, including the cases where (i) $H_0$ is the Laplace operator on a Zoll manifold and $V(t)$ a pseudodifferential operator of order small…
▽ More
We prove an abstract theorem giving a $\langle t\rangle^ε$ bound ($\forall ε>0$) on the growth of the Sobolev norms in linear Schrödinger equations of the form $i \dot ψ= H_0 ψ+ V(t) ψ$ when the time $t \to \infty$. The abstract theorem is applied to several cases, including the cases where (i) $H_0$ is the Laplace operator on a Zoll manifold and $V(t)$ a pseudodifferential operator of order smaller then 2; (ii) $H_0$ is the (resonant or nonresonant) Harmonic oscillator in $R^d$ and $V(t)$ a pseudodifferential operator of order smaller then $H_0$ depending in a quasiperiodic way on time. The proof is obtained by first conjugating the system to some normal form in which the perturbation is a smoothing operator and then applying the results of \cite{MaRo}.
△ Less
Submitted 28 July, 2017; v1 submitted 29 June, 2017;
originally announced June 2017.
-
Reducibility of the Quantum Harmonic Oscillator in $d$-dimensions with Polynomial Time Dependent Perturbation
Authors:
Dario Bambusi,
Benoit Grebert,
Alberto Maspero,
Didier Robert
Abstract:
We prove a reducibility result for a quantum harmonic oscillator in arbitrary dimensions with arbitrary frequencies perturbed by a linear operator which is a polynomial of degree two in $x_j$, $-i \partial_j$ with coefficients which depend quasiperiodically on time.
We prove a reducibility result for a quantum harmonic oscillator in arbitrary dimensions with arbitrary frequencies perturbed by a linear operator which is a polynomial of degree two in $x_j$, $-i \partial_j$ with coefficients which depend quasiperiodically on time.
△ Less
Submitted 28 July, 2017; v1 submitted 17 February, 2017;
originally announced February 2017.
-
A Kam Theorem for Space-Multidimensional Hamiltonian PDE
Authors:
L Hakan Eliasson,
Benoit Grebert,
Sergei Kuksin
Abstract:
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-th…
▽ More
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 .
△ Less
Submitted 10 June, 2016; v1 submitted 18 May, 2016;
originally announced May 2016.
-
KAM for the nonlinear beam equation
Authors:
L. Hakan Eliasson,
Benoît Grébert,
Sergei B. Kuksin
Abstract:
In this paper we prove a KAM theorem for small-amplitude solutions of the non linear beam equation on the d-dimensional torus $$u_{tt}+Δ^2 u+m u + \partial_u G(x,u)=0\ ,\quad t\in { \mathbb{R}} , \; x\in \ { \mathbb{T}}^d, \qquad \qquad (*) $$ where $G(x,u)=u^4+ O(u^5)$. Namely, we show that, for generic $m$, many of the small amplitude invariant finite dimensional tori of the linear equation…
▽ More
In this paper we prove a KAM theorem for small-amplitude solutions of the non linear beam equation on the d-dimensional torus $$u_{tt}+Δ^2 u+m u + \partial_u G(x,u)=0\ ,\quad t\in { \mathbb{R}} , \; x\in \ { \mathbb{T}}^d, \qquad \qquad (*) $$ where $G(x,u)=u^4+ O(u^5)$. Namely, we show that, for generic $m$, many of the small amplitude invariant finite dimensional tori of the linear equation $(*)_{G=0}$, written as the system $$ u_t=-v,\quad v_t=Δ^2 u+mu, $$ persist as invariant tori of the nonlinear equation $(*)$, re-written similarly. The persisted tori are filled in with time-quasiperiodic solutions of $(*)$. If $d\ge2$, then not all the persisted tori are linearly stable, and we construct explicit examples of partially hyperbolic invariant tori. The unstable invariant tori, situated in the vicinity of the origin, create around them some local instabilities, in agreement with the popular belief in the nonlinear physics that small-amplitude solutions of space-multidimensional Hamiltonian PDEs behave in a chaotic way.
△ Less
Submitted 6 April, 2016;
originally announced April 2016.
-
On reducibility of Quantum Harmonic Oscillator on $\mathbb{R}^d$ with quasiperiodic in time potential
Authors:
Eric Paturel,
Benoît Grébert
Abstract:
We prove that a linear d-dimensional Schr{ö}dinger equation on $\mathbb{R}^d$ with harmonic potential $|x|^2$ and small t-quasiperiodic potential $i\partial\_t u -- Δu + |x|^2 u + εV (tω, x)u = 0, x \in \mathbb{R}^d$ reduces to an autonomous system for most values of the frequency vector $ω\in \mathbb{R}^n$. As a consequence any solution of such a linear PDE is almost periodic in time and remain…
▽ More
We prove that a linear d-dimensional Schr{ö}dinger equation on $\mathbb{R}^d$ with harmonic potential $|x|^2$ and small t-quasiperiodic potential $i\partial\_t u -- Δu + |x|^2 u + εV (tω, x)u = 0, x \in \mathbb{R}^d$ reduces to an autonomous system for most values of the frequency vector $ω\in \mathbb{R}^n$. As a consequence any solution of such a linear PDE is almost periodic in time and remains bounded in all Sobolev norms.
△ Less
Submitted 24 March, 2016;
originally announced March 2016.
-
KAM for the Klein Gordon equation on $\mathbb S^d$
Authors:
Benoît Grébert,
Eric Paturel
Abstract:
Recently the KAM theory has been extended to multidimensional PDEs. Nevertheless all these recent results concern PDEs on the torus, essentially because in that case the corresponding linear PDE is diagonalized in the Fourier basis and the structure of the resonant sets is quite simple. In the present paper, we consider an important physical example that do not fit in this context: the Klein G…
▽ More
Recently the KAM theory has been extended to multidimensional PDEs. Nevertheless all these recent results concern PDEs on the torus, essentially because in that case the corresponding linear PDE is diagonalized in the Fourier basis and the structure of the resonant sets is quite simple. In the present paper, we consider an important physical example that do not fit in this context: the Klein Gordon equation on $\mathbb S^d$. Our abstract KAM theorem also allow to prove the reducibility of the corresponding linear operator with time quasiperiodic potentials.
△ Less
Submitted 4 January, 2016;
originally announced January 2016.
-
Modified scattering for the cubic Schr{ö}dinger equation on product spaces: the nonresonant case
Authors:
Benoît Grébert,
Eric Paturel,
Laurent Thomann
Abstract:
We consider the cubic nonlinear Schr{ö}dinger equation on the spatial domain $\mathbb{R}\times \mathbb{T}^d$, and we perturb it with a convolution potential. Using recent techniques of Hani-Pausader-Tzvetkov-Visciglia, we prove a modified scattering result and construct modified wave operators, under generic assumptions on the potential. In particular, this enables us to prove that the Sobolev nor…
▽ More
We consider the cubic nonlinear Schr{ö}dinger equation on the spatial domain $\mathbb{R}\times \mathbb{T}^d$, and we perturb it with a convolution potential. Using recent techniques of Hani-Pausader-Tzvetkov-Visciglia, we prove a modified scattering result and construct modified wave operators, under generic assumptions on the potential. In particular, this enables us to prove that the Sobolev norms of small solutions of this nonresonant cubic NLS are asymptotically constant.
△ Less
Submitted 9 June, 2015; v1 submitted 26 February, 2015;
originally announced February 2015.
-
KAM for the non-linear Beam equation 2: A normal form theorem
Authors:
L. Hakan Eliasson,
Benoît Grèbert,
Sergeï B. Kuksin
Abstract:
We prove an abstract KAM theorem adapted to space-multidimensional hamiltonian PDEs with regularizing nonlinearities. It applies in particular to the singular perturbation problem studied in the first part of this work.
We prove an abstract KAM theorem adapted to space-multidimensional hamiltonian PDEs with regularizing nonlinearities. It applies in particular to the singular perturbation problem studied in the first part of this work.
△ Less
Submitted 8 February, 2015;
originally announced February 2015.
-
KAM for the nonlinear beam equation 1: small-amplitude solutions
Authors:
Hakan L. Eliasson,
Benoit Grebert,
Sergei B. Kuksin
Abstract:
In this paper we prove a KAM result for the non linear beam equation on the d-dimensional torus $$u_{tt}+Δ^2 u+m u + g(x,u)=0\ ,\quad t\in { \mathbb{R}} , \; x\in {\mathbb T}^d, \qquad \qquad (*) $$ where $g(x,u)=4u^3+ O(u^4)$. Namely, we show that, for generic $m$, most of the small amplitude invariant finite dimensional tori of the linear equation $(*)_{g=0}$, written as the system…
▽ More
In this paper we prove a KAM result for the non linear beam equation on the d-dimensional torus $$u_{tt}+Δ^2 u+m u + g(x,u)=0\ ,\quad t\in { \mathbb{R}} , \; x\in {\mathbb T}^d, \qquad \qquad (*) $$ where $g(x,u)=4u^3+ O(u^4)$. Namely, we show that, for generic $m$, most of the small amplitude invariant finite dimensional tori of the linear equation $(*)_{g=0}$, written as the system $$ u_t=-v,\quad v_t=Δ^2 u+mu, $$, persist as invariant tori of the nonlinear equation $(*)$, re-written similarly. If $d\ge2$, then not all the persisted tori are linearly stable, and we construct explicit examples of partially hyperbolic invariant tori. The unstable invariant tori, situated in the vicinity of the origin, create around them some local instabilities, in agreement with the popular belief in nonlinear physics that small-amplitude solutions of space-multidimensonal hamiltonian PDEs behave in a chaotic way.
The proof uses an abstract KAM theorem from another our publication.
△ Less
Submitted 11 December, 2015; v1 submitted 8 December, 2014;
originally announced December 2014.
-
KAM for KG on $\mathbb S^2$ and for the quantum harmonic oscillator on $\mathbb R^2$
Authors:
B. Grébert
Abstract:
In this paper we prove an abstract KAM theorem adapted to the Klein Gordon equation on the sphere $\mathbb S^2$ and for the quantum harmonic oscillator on $\mathbb R^2$ with regularizing nonlinearity.
In this paper we prove an abstract KAM theorem adapted to the Klein Gordon equation on the sphere $\mathbb S^2$ and for the quantum harmonic oscillator on $\mathbb R^2$ with regularizing nonlinearity.
△ Less
Submitted 29 October, 2014;
originally announced October 2014.
-
Stability of large periodic solutions of Klein-Gordon near a homoclinic orbit
Authors:
Benoît Grébert,
Tiphaine Jézéquel,
Laurent Thomann
Abstract:
We consider a Klein-Gordon equation (KG) on a Riemannian compact surface, for which the flow lets invariant the two dimensional space the solutions independent of the space variable. It turns out that in this invariant space, there is a homoclinic orbit to the origin, and a family of periodic solutions inside the loops of the homoclinic orbit. In this paper we study the stability of these periodic…
▽ More
We consider a Klein-Gordon equation (KG) on a Riemannian compact surface, for which the flow lets invariant the two dimensional space the solutions independent of the space variable. It turns out that in this invariant space, there is a homoclinic orbit to the origin, and a family of periodic solutions inside the loops of the homoclinic orbit. In this paper we study the stability of these periodic orbits under the (KG) flow, i.e. when turning on the nonlinear interaction with the non stationary modes. By a shadowing method, we prove that around the periodic orbits, solutions stay close to them during a time of order $(\log a)^2$, where $a$ is the distance between the periodic orbit considered and the homoclinic orbit.
△ Less
Submitted 6 December, 2013;
originally announced December 2013.
-
Dynamics of Klein-Gordon on a compact surface near an homoclinic orbit
Authors:
Benoît Grébert,
Tiphaine Jézéquel,
Laurent Thomann
Abstract:
We consider the Klein-Gordon equation on a Riemannian surface which is globally well-posed in the energy space. This equation has an homoclinic orbit to the origin, and in this paper we study the dynamics close to it. Using a strategy from Groves-Schneider, we show that there are many solutions which stay close to this homocline during all times. We point out that the solutions we construct are no…
▽ More
We consider the Klein-Gordon equation on a Riemannian surface which is globally well-posed in the energy space. This equation has an homoclinic orbit to the origin, and in this paper we study the dynamics close to it. Using a strategy from Groves-Schneider, we show that there are many solutions which stay close to this homocline during all times. We point out that the solutions we construct are not small.
△ Less
Submitted 6 December, 2013; v1 submitted 17 November, 2012;
originally announced November 2012.
-
Beating effects in cubic Schrödinger systems and growth of Sobolev norms
Authors:
Benoît Grébert,
Éric Paturel,
Laurent Thomann
Abstract:
We consider a system of coupled cubic Schrödinger equations. We prove that there exists a beating effect, i.e. an energy exchange between different modes. This construction may be transported to the linear time-dependent Schrödinger equation: we build solutions such that their Sobolev norms grow logarithmically. All these results are stated for large but finite times.
We consider a system of coupled cubic Schrödinger equations. We prove that there exists a beating effect, i.e. an energy exchange between different modes. This construction may be transported to the linear time-dependent Schrödinger equation: we build solutions such that their Sobolev norms grow logarithmically. All these results are stated for large but finite times.
△ Less
Submitted 28 August, 2012;
originally announced August 2012.
-
Existence and stability of solitons for fully discrete approximations of the nonlinear Schrödinger equation
Authors:
Dario Bambusi,
Erwan Faou,
Benoit Grebert
Abstract:
In this paper we study the long time behavior of a discrete approximation in time and space of the cubic nonlinear Schrödinger equation on the real line. More precisely, we consider a symplectic time splitting integrator applied to a discrete nonlinear Schrödinger equation with additional Dirichlet boundary conditions on a large interval. We give conditions ensuring the existence of a numerical so…
▽ More
In this paper we study the long time behavior of a discrete approximation in time and space of the cubic nonlinear Schrödinger equation on the real line. More precisely, we consider a symplectic time splitting integrator applied to a discrete nonlinear Schrödinger equation with additional Dirichlet boundary conditions on a large interval. We give conditions ensuring the existence of a numerical soliton which is close in energy norm to the continuous soliton. Such result is valid under a CFL condition between the time and space stepsizes. Furthermore we prove that if the initial datum is symmetric and close to the continuous soliton, then the associated numerical solution remains close to the orbit of the continuous soliton for very long times.
△ Less
Submitted 28 March, 2012;
originally announced March 2012.
-
Resonant dynamics for the quintic non linear Schrödinger equation
Authors:
Benoît Grebert,
Laurent Thomann
Abstract:
We consider the quintic nonlinear Schrödinger equation (NLS) on the circle. We prove that there exist solutions corresponding to an initial datum built on four Fourier modes which form a resonant set, which have a non trivial dynamic that involves periodic energy exchanges between the modes initially excited. It is noticeable that this nonlinear phenomena does not depend on the choice of the reson…
▽ More
We consider the quintic nonlinear Schrödinger equation (NLS) on the circle. We prove that there exist solutions corresponding to an initial datum built on four Fourier modes which form a resonant set, which have a non trivial dynamic that involves periodic energy exchanges between the modes initially excited. It is noticeable that this nonlinear phenomena does not depend on the choice of the resonant set. The dynamical result is obtained by calculating a resonant normal form up to order 10 of the Hamiltonian of the quintic NLS and then by isolating an effective term of order 6. Notice that this phenomena can not occur in the cubic NLS case for which the amplitudes of the Fourier modes are almost actions, i.e. they are almost constant.
△ Less
Submitted 29 November, 2011;
originally announced November 2011.
-
On the energy exchange between resonant modes in nonlinear Schrödinger equations
Authors:
Benoit Grebert,
Carlos Villegas-Blas
Abstract:
We consider the nonlinear Schrödinger equation $$ iψ_t= -ψ_{xx}\pm 2\cos 2x \ |ψ|^2ψ,\quad x\in S^1,\ t\in \R$$ and we prove that the solution of this equation, with small initial datum $ψ_0=\e (\cos x+\sin x)$, will periodically exchange energy between the Fourier modes $e^{ix}$ and $e^{-ix}$. This beating effect is described up to time of order $\e^{-9/4}$ while the frequency is of order $\e^2$.…
▽ More
We consider the nonlinear Schrödinger equation $$ iψ_t= -ψ_{xx}\pm 2\cos 2x \ |ψ|^2ψ,\quad x\in S^1,\ t\in \R$$ and we prove that the solution of this equation, with small initial datum $ψ_0=\e (\cos x+\sin x)$, will periodically exchange energy between the Fourier modes $e^{ix}$ and $e^{-ix}$. This beating effect is described up to time of order $\e^{-9/4}$ while the frequency is of order $\e^2$. We also discuss some generalizations.
△ Less
Submitted 20 August, 2010;
originally announced August 2010.
-
A Nekhoroshev type theorem for the nonlinear Schrödinger equation on the d-dimensional torus.
Authors:
Erwan Faou,
Benoit Grebert
Abstract:
We prove a Nekhoroshev type theorem for the nonlinear Schrödinger equation $$ iu_t=-Δu+V\star u+\partial_{\bar u}g(u,\bar u)\, \quad x\in \T^d, $$ where $V$ is a typical smooth potential and $g$ is analytic in both variables. More precisely we prove that if the initial datum is analytic in a strip of width $ρ>0$ with a bound on this strip equals to $\eps$ then, if $\eps$ is small enough, the solut…
▽ More
We prove a Nekhoroshev type theorem for the nonlinear Schrödinger equation $$ iu_t=-Δu+V\star u+\partial_{\bar u}g(u,\bar u)\, \quad x\in \T^d, $$ where $V$ is a typical smooth potential and $g$ is analytic in both variables. More precisely we prove that if the initial datum is analytic in a strip of width $ρ>0$ with a bound on this strip equals to $\eps$ then, if $\eps$ is small enough, the solution of the nonlinear Schrödinger equation above remains analytic in a strip of width $ρ/2$ and bounded on this strip by $C\eps$ during very long time of order $ \eps^{-α|\ln \eps|^β}$ for some constants $C> 0$, $α>0$ and $β<1$.
△ Less
Submitted 25 March, 2010;
originally announced March 2010.
-
KAM for the quantum harmonic oscillator
Authors:
Benoît Grébert,
Laurent Thomann
Abstract:
In this paper we prove an abstract KAM theorem for infinite dimensional Hamiltonians systems. This result extends previous works of S.B. Kuksin and J. Pöschel and uses recent techniques of H. Eliasson and S.B. Kuksin. As an application we show that some 1D nonlinear Schrödinger equations with harmonic potential admits many quasi-periodic solutions. In a second application we prove the reducibility…
▽ More
In this paper we prove an abstract KAM theorem for infinite dimensional Hamiltonians systems. This result extends previous works of S.B. Kuksin and J. Pöschel and uses recent techniques of H. Eliasson and S.B. Kuksin. As an application we show that some 1D nonlinear Schrödinger equations with harmonic potential admits many quasi-periodic solutions. In a second application we prove the reducibility of the 1D Schrödinger equations with the harmonic potential and a quasi periodic in time potential.
△ Less
Submitted 19 April, 2011; v1 submitted 14 March, 2010;
originally announced March 2010.
-
Hamiltonian interpolation of splitting approximations for nonlinear PDEs
Authors:
Erwan Faou,
Benoit Grebert
Abstract:
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 Hamilto…
▽ More
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.
△ Less
Submitted 15 December, 2009;
originally announced December 2009.
-
Quasi invariant modified Sobolev norms for semi linear reversible PDEs
Authors:
Erwan Faou,
Benoit Grebert
Abstract:
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 $ε$) then the Sobolev norm of th…
▽ More
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 $ε$) then the Sobolev norm of the solution is bounded by $2ε$ during very long time (of order $ε^{-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ödinger 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.
△ Less
Submitted 21 August, 2009;
originally announced August 2009.
-
Normal form theory for the NLS equation
Authors:
Benoît Grébert,
Thomas Kappeler,
Jürgen Pöschel
Abstract:
We consider the nonlinear Schrodinger equation with a cubic nonlinearity on the circle, which is known to represent an integrable Hamiltonian system. We construct a global coordinate systems, which puts this Hamiltonian into standard normal form, so that it depends only on the actions of the system.
We consider the nonlinear Schrodinger equation with a cubic nonlinearity on the circle, which is known to represent an integrable Hamiltonian system. We construct a global coordinate systems, which puts this Hamiltonian into standard normal form, so that it depends only on the actions of the system.
△ Less
Submitted 22 July, 2009;
originally announced July 2009.
-
Resonances in long time integration of semi linear Hamiltonian PDEs
Authors:
Erwan Faou,
Benoit Grebert
Abstract:
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…
▽ More
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.
△ Less
Submitted 9 April, 2009;
originally announced April 2009.
-
On the Infrared Problem for the Dressed Non-Relativistic Electron in a Magnetic Field
Authors:
Laurent Amour,
Jérémy Faupin,
Benoit Grebert,
Jean-Claude Guillot
Abstract:
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…
▽ More
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 σ(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.
△ Less
Submitted 18 December, 2008;
originally announced December 2008.
-
Birkhoff normal form and splitting methods for semi linear Hamiltonian PDEs. Part I: Finite dimensional discretization
Authors:
Erwan Faou,
Benoit Grebert,
Eric Paturel
Abstract:
We consider {\em discretized} Hamiltonian PDEs associated with a Hamiltonian function that can be split into a linear unbounded operator and a regular nonlinear part. We consider splitting methods associated with this decomposition. Using a finite dimensional Birkhoff normal form result, we show the almost preservation of the {\em actions} of the numerical solution associated with the splitting…
▽ More
We consider {\em discretized} Hamiltonian PDEs associated with a Hamiltonian function that can be split into a linear unbounded operator and a regular nonlinear part. We consider splitting methods associated with this decomposition. Using a finite dimensional Birkhoff normal form result, we show the almost preservation of the {\em actions} of the numerical solution associated with the splitting method over arbitrary long time, provided the Sobolev norms of the initial data is small enough, and for asymptotically large level of space approximation. This result holds under {\em generic} non resonance conditions on the frequencies of the linear operator and on the step size. We apply this results to nonlinear Schrödinger equations as well as the nonlinear wave equation.}
△ Less
Submitted 27 November, 2008;
originally announced November 2008.
-
Birkhoff normal form and splitting methods for semi linear Hamiltonian PDEs. Part II: Abstract splitting
Authors:
Erwan Faou,
Benoit Grebert,
Eric Paturel
Abstract:
We consider Hamiltonian PDEs that can be split into a linear unbounded operator and a regular non linear part. We consider abstract splitting methods associated with this decomposition where no discretization in space is made. We prove a normal form result for the corresponding discrete flow under generic non resonance conditions on the frequencies of the linear operator and on the step size. Th…
▽ More
We consider Hamiltonian PDEs that can be split into a linear unbounded operator and a regular non linear part. We consider abstract splitting methods associated with this decomposition where no discretization in space is made. We prove a normal form result for the corresponding discrete flow under generic non resonance conditions on the frequencies of the linear operator and on the step size. This result implies the conservation of the regularity of the numerical solution associated with the splitting method over arbitrary long time, provided the initial data is small enough. This result holds for numerical schemes controlling the round-off error at each step to avoid possible high frequency energy drift. We apply this results to nonlinear Schrödinger equations as well as the nonlinear wave equation.}
△ Less
Submitted 25 November, 2008;
originally announced November 2008.
-
Normal Forms for Semilinear Quantum Harmonic Oscillators
Authors:
Benoit Grebert,
Rafik Imekraz,
Eric Paturel
Abstract:
We consider the semilinear harmonic oscillator $$iψ_t=(-Δ+\va{x}^{2} +M)ψ+\partial_2 g(ψ,\bar ψ), \quad x\in \R^d, t\in \R$$ where $M$ is a Hermite multiplier and $g$ a smooth function globally of order 3 at least. We prove that such a Hamiltonian equation admits, in a neighborhood of the origin, a Birkhoff normal form at any order and that, under generic conditions on $M$ related to the non res…
▽ More
We consider the semilinear harmonic oscillator $$iψ_t=(-Δ+\va{x}^{2} +M)ψ+\partial_2 g(ψ,\bar ψ), \quad x\in \R^d, t\in \R$$ where $M$ is a Hermite multiplier and $g$ a smooth function globally of order 3 at least. We prove that such a Hamiltonian equation admits, in a neighborhood of the origin, a Birkhoff normal form at any order and that, under generic conditions on $M$ related to the non resonance of the linear part, this normal form is integrable when $d=1$ and gives rise to simple (in particular bounded) dynamics when $d\geq 2$. As a consequence we prove the almost global existence for solutions of the above equation with small Cauchy data. Furthermore we control the high Sobolev norms of these solutions.
△ Less
Submitted 14 December, 2009; v1 submitted 7 August, 2008;
originally announced August 2008.
-
A mathematical model for the Fermi weak interactions
Authors:
Laurent Amour,
Benoit Grebert,
Jean-Claude Guillot
Abstract:
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…
▽ More
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.
△ Less
Submitted 21 November, 2006;
originally announced November 2006.
-
Birkhoff Normal Form and Hamiltonian PDEs
Authors:
Benoit Grebert
Abstract:
These notes are based on lectures held at the Lanzhou university (China) during a CIMPA summer school in july 2004 but benefit from recent devellopements. Our aim is to explain some perturbations technics that allow to study the long time behaviour of the solutions of Hamiltonian perturbations of integrable systems. We are in particular interested with stability results. Our approach is centered…
▽ More
These notes are based on lectures held at the Lanzhou university (China) during a CIMPA summer school in july 2004 but benefit from recent devellopements. Our aim is to explain some perturbations technics that allow to study the long time behaviour of the solutions of Hamiltonian perturbations of integrable systems. We are in particular interested with stability results. Our approach is centered on the Birkhoff normal form theorem that we first proved in finite dimension. Then, after giving some exemples of Hamiltonian PDEs, we present an abstract Birkhoff normal form theorem in infinite dimension and discuss the dynamical consequences for Hamiltonian PDEs.
△ Less
Submitted 8 November, 2006; v1 submitted 6 April, 2006;
originally announced April 2006.
-
Almost global existence for Hamiltonian semi-linear Klein-Gordon equations with small Cauchy data on Zoll manifolds
Authors:
Dario Bambusi,
Jean-Marc Delort,
Benoit Grebert,
Jeremie Szeftel
Abstract:
This paper is devoted to the proof of almost global existence results for Klein-Gordon equations on Zoll manifolds (e.g. spheres of arbitrary dimension) with Hamiltonian nonlinearities, when the Cauchy data are smooth and small. The proof relies on Birkhoff normal form methods and on the specific distribution of eigenvalues of the laplacian perturbed by a potential on Zoll manifolds.
This paper is devoted to the proof of almost global existence results for Klein-Gordon equations on Zoll manifolds (e.g. spheres of arbitrary dimension) with Hamiltonian nonlinearities, when the Cauchy data are smooth and small. The proof relies on Birkhoff normal form methods and on the specific distribution of eigenvalues of the laplacian perturbed by a potential on Zoll manifolds.
△ Less
Submitted 14 October, 2005;
originally announced October 2005.
-
The dressed mobile atoms and ions
Authors:
Laurent Amour,
Benoit Grebert,
Jean-Claude Guillot
Abstract:
We consider free atoms and ions in $\R^3$ interacting with the quantized electromagnetic field. Because of the translation invariance we consider the reduced hamiltonian associated with the total momentum. After introducing an ultraviolet cutoff we prove that the reduced hamiltonian for atoms has a ground state if the coupling constant and the total momentum are sufficiently small. In the case o…
▽ More
We consider free atoms and ions in $\R^3$ interacting with the quantized electromagnetic field. Because of the translation invariance we consider the reduced hamiltonian associated with the total momentum. After introducing an ultraviolet cutoff we prove that the reduced hamiltonian for atoms has a ground state if the coupling constant and the total momentum are sufficiently small. In the case of ions an extra infrared regularization is needed. We also consider the case of the hydrogen atom in a constant magnetic field. Finally we determine the absolutely continuous spectrum of the reduced hamiltonian.
△ Less
Submitted 20 July, 2005;
originally announced July 2005.
-
The dressed nonrelativistic electron in a magnetic field
Authors:
L. Amour,
B. Grebert,
J. -C. Guillot
Abstract:
We consider a nonrelativistic electron interacting with a classical magnetic field pointing along the $x_{3}$-axis and with a quantized electromagnetic field. When the interaction between the electron and photons is turned off, the electronic system is assumed to have a ground state of finite multiplicity. Because of the translation invariance along the $x_{3}$-axis, we consider the reduced Hami…
▽ More
We consider a nonrelativistic electron interacting with a classical magnetic field pointing along the $x_{3}$-axis and with a quantized electromagnetic field. When the interaction between the electron and photons is turned off, the electronic system is assumed to have a ground state of finite multiplicity. Because of the translation invariance along the $x_{3}$-axis, we consider the reduced Hamiltonian associated with the total momentum along the $x_{3}$-axis and, after introducing an ultraviolet cutoff and an infrared regularization, we prove that the reduced Hamiltonian has a ground state if the coupling constant and the total momentum along the $x_{3}$-axis are sufficiently small. Finally we determine the absolutely continuous spectrum of the reduced Hamiltonian.
△ Less
Submitted 27 March, 2006; v1 submitted 20 December, 2004;
originally announced December 2004.
-
Birfhoff Normal Form for PDEs with Tame Modulus
Authors:
D. Bambusi,
B. Grebert
Abstract:
We prove an abstract Birkhoff normal form theorem for Hamiltonian Partial Differential Equations. The theorem applies to semilinear equations with nonlinearity satisfying a property that we call of Tame Modulus. Such a property is related to the classical tame inequality by Moser. In the nonresonant case we deduce that any small amplitude solution remains very close to a torus for very long time…
▽ More
We prove an abstract Birkhoff normal form theorem for Hamiltonian Partial Differential Equations. The theorem applies to semilinear equations with nonlinearity satisfying a property that we call of Tame Modulus. Such a property is related to the classical tame inequality by Moser. In the nonresonant case we deduce that any small amplitude solution remains very close to a torus for very long times. We also develop a general scheme to apply the abstract theory to PDEs in one space dimensions and we use it to study some concrete equations (NLW,NLS) with different boundary conditions. An application to a nonlinear Schrödinger equation on the $d$-dimensional torus is also given. In all cases we deduce bounds on the growth of high Sobolev norms. In particular we get lower bounds on the existence time of solutions.
△ Less
Submitted 3 November, 2004;
originally announced November 2004.
