-
Non-resonant conditions for the Klein-Gordon equation on the circle
Authors:
Roberto Feola,
Jessica Elisa Massetti
Abstract:
We consider the infinite dimensional vector of frequencies $ω(m)=( \sqrt{j^2+m})_{j\in \mathbb{Z}}$, $m\in [1,2]$ arising form a linear Klein-Gordon equation on the one dimensional torus and prove that there exists a positive measure set of masses $m'$s for which $ω(m)$ satisfies a diophantine condition similar to the one introduced by Bourgain in (JFA, 2005), in the context of Schrödinger equatio…
▽ More
We consider the infinite dimensional vector of frequencies $ω(m)=( \sqrt{j^2+m})_{j\in \mathbb{Z}}$, $m\in [1,2]$ arising form a linear Klein-Gordon equation on the one dimensional torus and prove that there exists a positive measure set of masses $m'$s for which $ω(m)$ satisfies a diophantine condition similar to the one introduced by Bourgain in (JFA, 2005), in the context of Schrödinger equation with convolution potential. The main difficulties we have to deal with are the asymptotically linear nature of the (infinitely many) $ω_{j}'$s and the degeneracy coming from having only one parameter at disposal for their modulation. As an application we provide estimates on the inverse of the adjoint action of the associated quadratic Hamiltonian on homogenenous polynomials of any degree in Gevrey category.
△ Less
Submitted 6 March, 2024;
originally announced March 2024.
-
Reducibility of Klein-Gordon equations with maximal order perturbations
Authors:
Massimiliano Berti,
Roberto Feola,
Michela Procesi,
Shulamit Terracina
Abstract:
We prove that all the solutions of a quasi-periodically forced linear Klein-Gordon equation $ψ_{tt}-ψ_{xx}+\mathtt{m}ψ+Q(ωt)ψ=0 $ where $ Q(ωt) := a^{(2)}(ωt, x) \partial_{xx} + a^{(1)}(ωt, x)\partial_x + a^{(0)}(ωt, x) $ is a differential operator of order $ 2 $, parity preserving and reversible, are almost periodic in time and uniformly bounded for all times, provided that the coefficients…
▽ More
We prove that all the solutions of a quasi-periodically forced linear Klein-Gordon equation $ψ_{tt}-ψ_{xx}+\mathtt{m}ψ+Q(ωt)ψ=0 $ where $ Q(ωt) := a^{(2)}(ωt, x) \partial_{xx} + a^{(1)}(ωt, x)\partial_x + a^{(0)}(ωt, x) $ is a differential operator of order $ 2 $, parity preserving and reversible, are almost periodic in time and uniformly bounded for all times, provided that the coefficients $ a^{(2) }, a^{(1) }, a^{(0) } $ are small enough and the forcing frequency $ω\in {\mathbb R}^ν$ belongs to a Borel set of asymptotically full measure. This result is obtained by reducing the Klein-Gordon equation to a diagonal constant coefficient system with purely imaginary eigenvalues. The main difficulty is the presence in the perturbation $ Q (ωt) $ of the second order differential operator $ a^{(2)}(ωt, x)\partial_{xx} $. In suitable coordinates the Klein-Gordon equation is the composition of two backward/forward quasi-periodic in time perturbed transport equations with non-constant coefficients, up to lower order pseudo-differential remainders. A key idea is to straighten this first order pseudo-differential operator with bi-characteristics through a novel quantitative Egorov analysis.
△ Less
Submitted 17 February, 2024;
originally announced February 2024.
-
Almost global existence for some Hamiltonian PDEs on manifolds with globally integrable geodesic flow
Authors:
Dario Bambusi,
Roberto Feola,
Beatrice Langella,
Francesco Monzani
Abstract:
In this paper we prove an abstract result of almost global existence for small and smooth solutions of some semilinear PDEs on Riemannian manifolds with globally integrable geodesic flow. Some examples of such manifolds are Lie groups (including flat tori), homogeneous spaces and rotational invariant surfaces. As applications of the abstract result we prove almost global existence for a nonlinear…
▽ More
In this paper we prove an abstract result of almost global existence for small and smooth solutions of some semilinear PDEs on Riemannian manifolds with globally integrable geodesic flow. Some examples of such manifolds are Lie groups (including flat tori), homogeneous spaces and rotational invariant surfaces. As applications of the abstract result we prove almost global existence for a nonlinear Schrödinger equation with a convolution potential and for a nonlinear beam equation. We also prove $H^s$ stability of the ground state in NLS equation. The proof is based on a normal form procedure.
△ Less
Submitted 1 February, 2024;
originally announced February 2024.
-
Local well posedness for a system of quasilinear pdes modelling suspension bridges
Authors:
Roberto Feola,
Filippo Giuliani,
Felice Iandoli,
Jessica Elisa Massetti
Abstract:
In this paper we provide a local well posedness result for a quasilinear beam-wave system of equations on a one-dimensional spatial domain under periodic and Dirichlet boundary conditions. This kind of systems provides a refined model for the time-evolution of suspension bridges, where the beam and wave equations describe respectively the longitudinal and torsional motion of the deck. The quasilin…
▽ More
In this paper we provide a local well posedness result for a quasilinear beam-wave system of equations on a one-dimensional spatial domain under periodic and Dirichlet boundary conditions. This kind of systems provides a refined model for the time-evolution of suspension bridges, where the beam and wave equations describe respectively the longitudinal and torsional motion of the deck. The quasilinearity arises when one takes into account the nonlinear restoring action of deformable cables and hangers. To obtain the a priori estimates for the solutions of the linearized equation we build a modified energy by means of paradifferential changes of variables. Then we construct the solutions of the nonlinear problem by using a quasilinear iterative scheme à la Kato.
△ Less
Submitted 19 June, 2023;
originally announced June 2023.
-
On the lifespan of solutions and control of high Sobolev norms for the completely resonant NLS on tori
Authors:
Roberto Feola,
Jessica Elisa Massetti
Abstract:
We consider a completely resonant nonlinear Schrödinger equation on the $d$-dimensional torus, for any $d\geq 1$, with polynomial nonlinearity of any degree $2p+1$, $p\geq1$, which is gauge and translation invariant. We study the behaviour of high Sobolev $H^{s}$-norms of solutions, $s\geq s_1+1 > d/2 + 2$, whose initial datum $u_0\in H^{s}$ satisfies an appropriate smallness condition on its low…
▽ More
We consider a completely resonant nonlinear Schrödinger equation on the $d$-dimensional torus, for any $d\geq 1$, with polynomial nonlinearity of any degree $2p+1$, $p\geq1$, which is gauge and translation invariant. We study the behaviour of high Sobolev $H^{s}$-norms of solutions, $s\geq s_1+1 > d/2 + 2$, whose initial datum $u_0\in H^{s}$ satisfies an appropriate smallness condition on its low $H^{s_1}$ and $L^2$-norms respectively. We prove a polynomial upper bound on the possible growth of the Sobolev norm $H^{s}$ over finite but long time scale that is exponential in the regularity parameter $s_1$. As a byproduct we get stability of the low $H^{s_1}$-norm over such time interval. A key ingredient in the proof is the introduction of a suitable ``modified energy" that provides an a priori upper bound on the growth. This is obtained by combining para-differential techniques and suitable tame estimates.
△ Less
Submitted 13 March, 2023;
originally announced March 2023.
-
Almost global existence for some Hamiltonian PDEs with small Cauchy data on general tori
Authors:
Dario Bambusi,
Roberto Feola,
Riccardo Montalto
Abstract:
In this paper we prove a result of almost global existence for some abstract nonlinear PDEs on flat tori and apply it to some concrete equations, namely a nonlinear Schrödinger equation with a convolution potential, a beam equation and a quantum hydrodinamical equation. We also apply it to the stability of plane waves in NLS. The main point is that the abstract result is based on a nonresonance co…
▽ More
In this paper we prove a result of almost global existence for some abstract nonlinear PDEs on flat tori and apply it to some concrete equations, namely a nonlinear Schrödinger equation with a convolution potential, a beam equation and a quantum hydrodinamical equation. We also apply it to the stability of plane waves in NLS. The main point is that the abstract result is based on a nonresonance condition much weaker than the usual ones, which rely on the celebrated Bourgain's Lemma which provides a partition of the "resonant sites" of the Laplace operator on irrational tori.
△ Less
Submitted 31 July, 2022;
originally announced August 2022.
-
Sub-exponential stability for the Beam equation
Authors:
Roberto Feola,
Jessica Elisa Massetti
Abstract:
We consider a one-parameter family of beam equations with Hamiltonian non-linearity in one space dimension under periodic boundary conditions. In a unified functional framework we study the long time evolution of initial data in two categories of differentiability: (i) a subspace of Sobolev regularity, (ii) a subspace of infinitely many differentiable functions which is strictly contained in the S…
▽ More
We consider a one-parameter family of beam equations with Hamiltonian non-linearity in one space dimension under periodic boundary conditions. In a unified functional framework we study the long time evolution of initial data in two categories of differentiability: (i) a subspace of Sobolev regularity, (ii) a subspace of infinitely many differentiable functions which is strictly contained in the Sobolev space but which strictly contains the Gevrey one. In both cases we prove exponential type times of stability. The result holds for almost all mass parameters and it is obtained by combining normal form techniques with a suitable Diophantine condition weaker than the one proposed by Bourgain. This is the first result of this kind in Sobolev regularity for a degenerate equation, where only one parameter is used to tune the linear frequencies of oscillations.
△ Less
Submitted 9 December, 2022; v1 submitted 20 July, 2022;
originally announced July 2022.
-
Long time NLS approximation for the quasilinear Klein-Gordon equation on large domains under periodic boundary conditions
Authors:
Roberto Feola,
Filippo Giuliani
Abstract:
We provide the rigorous justification of the NLS approximation, in Sobolev regularity, for a class of quasilinear Hamiltonian Klein Gordon equations with quadratic nonlinearities on large one-dimensional tori $\T_L:=\mathbb{R}/(2πL \mathbb{Z})$, $L\gg 1$. We prove the validity of this approximation over a \emph{long-time} scale, meaning that it holds beyond the cubic nonlinear time scale. To achie…
▽ More
We provide the rigorous justification of the NLS approximation, in Sobolev regularity, for a class of quasilinear Hamiltonian Klein Gordon equations with quadratic nonlinearities on large one-dimensional tori $\T_L:=\mathbb{R}/(2πL \mathbb{Z})$, $L\gg 1$. We prove the validity of this approximation over a \emph{long-time} scale, meaning that it holds beyond the cubic nonlinear time scale. To achieve this result we need to perform a second-order analysis and deal with higher order resonant wave-interactions. The main difficulties are provided by the quasi-linear nature of the problem and the presence of small divisors arising from quasi-resonances. The proof is based on para-differential calculus, energy methods, normal form procedures and a high-low frequencies analysis.
△ Less
Submitted 15 February, 2023; v1 submitted 23 June, 2022;
originally announced June 2022.
-
Long-time stability of the quantum hydrodynamic system on irrational tori
Authors:
Roberto Feola,
Felice Iandoli,
Federico Murgante
Abstract:
We consider the quantum hydrodynamic system on a $d$-dimensional irrational torus with $d=2,3$. We discuss the behaviour, over a "non trivial" time interval, of the $H^s$-Sobolev norms of solutions. More precisely we prove that, for generic irrational tori, the solutions, evolving from $\varepsilon$-small initial conditions, remain bounded in $H^s$ for a time scale of order…
▽ More
We consider the quantum hydrodynamic system on a $d$-dimensional irrational torus with $d=2,3$. We discuss the behaviour, over a "non trivial" time interval, of the $H^s$-Sobolev norms of solutions. More precisely we prove that, for generic irrational tori, the solutions, evolving from $\varepsilon$-small initial conditions, remain bounded in $H^s$ for a time scale of order $O(\varepsilon^{-1-1/(d-1)+})$, which is strictly larger with respect to the time-scale provided by local theory. We exploit a Madelung transformation to rewrite the system as a nonlinear Schrödinger equation. We therefore implement a Birkhoff normal form procedure involving small divisors arising from three waves interactions. The main difficulty is to control the loss of derivatives coming from the exchange of energy between high Fourier modes.This is due to the irrationality of the torus which prevent to have "good separation" properties of the eigenvalues of the linearized operator at zero. The main steps of the proof are: (i) to prove precise lower bounds on small divisors; (ii) to construct a modified energy by means of a suitable \emph{high/low} frequencies analysis, which gives an \emph{a priori} estimate on the solutions.
△ Less
Submitted 15 May, 2021;
originally announced May 2021.
-
Quadratic lifespan and growth of Sobolev norms for derivative Schrödinger equations on generic tori
Authors:
Roberto Feola,
Riccardo Montalto
Abstract:
We consider a family of Schrödinger equations with unbounded Hamiltonian quadratic nonlinearities on a generic tori of dimension $d\geq1$. We study the behaviour of high Sobolev norms $H^{s}$, $s\gg1$, of solutions with initial conditions in $H^{s}$ whose
$H^ρ$-Sobolev norm, $1\llρ\ll s$, is smaller than $\e\ll1$. We provide a control of the $H^{s}$-norm over a time interval of order…
▽ More
We consider a family of Schrödinger equations with unbounded Hamiltonian quadratic nonlinearities on a generic tori of dimension $d\geq1$. We study the behaviour of high Sobolev norms $H^{s}$, $s\gg1$, of solutions with initial conditions in $H^{s}$ whose
$H^ρ$-Sobolev norm, $1\llρ\ll s$, is smaller than $\e\ll1$. We provide a control of the $H^{s}$-norm over a time interval of order $O(\e^{-2})$. %where $\e\ll1$ is the size of the initial condition in $H^ρ$.
Due to the lack of conserved quantities controlling high Sobolev norms, the key ingredient of the proof is the construction of a modified energy equivalent to the "low norm" $H^ρ$ (when $ρ$ is sufficiently high) over a nontrivial time interval $O(\e^{-2})$. This is achieved by means of normal form techniques for quasi-linear equations involving para-differential calculus. The main difficulty is to control the possible loss of derivatives due to the small divisors arising form three waves interactions. By performing "tame" energy estimates we obtain upper bounds for higher Sobolev norms $H^{s}$.
△ Less
Submitted 18 March, 2021;
originally announced March 2021.
-
Time Quasi-Periodic Traveling Gravity Water Waves in Infinite Depth
Authors:
Roberto Feola,
Filippo Giuliani
Abstract:
We present the recent result [8] concerning the existence of quasi-periodic in time traveling waves for the 2d pure gravity water waves system in infinite depth. We provide the first existence result of quasi-periodic water waves solutions bifurcating from a completely resonant elliptic fixed point. The proof is based on a Nash-Moser scheme, Birkhoff normal form methods and pseudo-differential cal…
▽ More
We present the recent result [8] concerning the existence of quasi-periodic in time traveling waves for the 2d pure gravity water waves system in infinite depth. We provide the first existence result of quasi-periodic water waves solutions bifurcating from a completely resonant elliptic fixed point. The proof is based on a Nash-Moser scheme, Birkhoff normal form methods and pseudo-differential calculus techniques. We deal with the combined problems of small divisors and the fully-nonlinear nature of the equations.
△ Less
Submitted 24 November, 2020;
originally announced November 2020.
-
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.
-
Quasi-periodic traveling waves on an infinitely deep fluid under gravity
Authors:
Roberto Feola,
Filippo Giuliani
Abstract:
We consider the gravity water waves system with a periodic one-dimensional interface in infinite depth and we establish the existence and the linear stability of small amplitude, quasi-periodic in time, traveling waves. This provides the first existence result of quasi-periodic water waves solutions bifurcating from a \emph{completely resonant} elliptic fixed point. The proof is based on a Nash-Mo…
▽ More
We consider the gravity water waves system with a periodic one-dimensional interface in infinite depth and we establish the existence and the linear stability of small amplitude, quasi-periodic in time, traveling waves. This provides the first existence result of quasi-periodic water waves solutions bifurcating from a \emph{completely resonant} elliptic fixed point. The proof is based on a Nash-Moser scheme, Birkhoff normal form methods and pseudo-differential calculus techniques. We deal with the combined problems of \emph{small divisors} and the \emph{fully-nonlinear} nature of the equations. The lack of parameters, like the capillarity or the depth of the ocean, demands a refined \emph{nonlinear} bifurcation analysis involving several non-trivial resonant wave interactions, as the well-known "Benjamin-Feir resonances". We develop a novel normal form approach to deal with that. Moreover, by making full use of the Hamiltonian structure, we are able to provide the existence of a wide class of solutions which are free from restrictions of parity in the time and space variables.
△ Less
Submitted 29 October, 2021; v1 submitted 17 May, 2020;
originally announced May 2020.
-
Local well-posedness for the quasi-linear Hamiltonian Schrödinger equation on tori
Authors:
Roberto Feola,
Felice Iandoli
Abstract:
We prove a local in time well-posedness result for quasi-linear Hamiltonian Schrödinger equations on $\mathbb{T}^d$ for any $d\geq 1$. For any initial condition in the Sobolev space $H^s$, with $s$ large, we prove the existence and unicity of classical solutions of the Cauchy problem associated to the equation. The lifespan of such a solution depends only on the size of the initial datum. Moreover…
▽ More
We prove a local in time well-posedness result for quasi-linear Hamiltonian Schrödinger equations on $\mathbb{T}^d$ for any $d\geq 1$. For any initial condition in the Sobolev space $H^s$, with $s$ large, we prove the existence and unicity of classical solutions of the Cauchy problem associated to the equation. The lifespan of such a solution depends only on the size of the initial datum. Moreover we prove the continuity of the solution map.
△ Less
Submitted 22 September, 2021; v1 submitted 10 March, 2020;
originally announced March 2020.
-
A non-linear Egorov theorem and Poincaré-Birkhoff normal forms for quasi-linear pdes on the circle
Authors:
Roberto Feola,
Felice Iandoli
Abstract:
In this paper we consider an abstract class of quasi-linear para-differential equations on the circle. For each equation in the class we prove the existence of a change of coordinates which conjugates the equation to a diagonal and constant coefficient para-differential equation. In the case of Hamiltonian equations we also put the system in Poincaré-Birkhoff normal forms. We apply this transforma…
▽ More
In this paper we consider an abstract class of quasi-linear para-differential equations on the circle. For each equation in the class we prove the existence of a change of coordinates which conjugates the equation to a diagonal and constant coefficient para-differential equation. In the case of Hamiltonian equations we also put the system in Poincaré-Birkhoff normal forms. We apply this transformation to quasi-linear perturbations of the Schrödinger and Beam equations, obtaining a long time existence result without requiring any symmetry on the initial data. We also provide the local in time well-posedness for quasi-linear perturbations of the Benjamin-Ono equation.
△ Less
Submitted 16 March, 2020; v1 submitted 27 February, 2020;
originally announced February 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.
-
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.
-
Quadratic life span of periodic gravity-capillary water waves
Authors:
Massimiliano Berti,
Roberto Feola,
Luca Franzoi
Abstract:
We consider the gravity-capillary water waves equations for a bi-dimensional fluid with a periodic one-dimensional free surface. We prove a rigorous reduction of this system to Birkhoff normal form up to cubic degree. Due to the possible presence of 3-waves resonances for general values of gravity, surface tension and depth, such normal form may be not trivial and exhibit a chaotic dynamics (Wilto…
▽ More
We consider the gravity-capillary water waves equations for a bi-dimensional fluid with a periodic one-dimensional free surface. We prove a rigorous reduction of this system to Birkhoff normal form up to cubic degree. Due to the possible presence of 3-waves resonances for general values of gravity, surface tension and depth, such normal form may be not trivial and exhibit a chaotic dynamics (Wilton-ripples). Nevertheless we prove that for all the values of gravity, surface tension and depth, initial data that are of size $ε$ in a sufficiently smooth Sobolev space lead to a solution that remains in an $ε$-ball of the same Sobolev space up to times of order $ε^{-2}$. We exploit that the $3$-waves resonances are finitely many, and the Hamiltonian nature of the Birkhoff normal form.
△ Less
Submitted 14 May, 2019;
originally announced May 2019.
-
Reducible KAM tori for Degasperis-Procesi equation
Authors:
Roberto Feola,
Filippo Giuliani,
Michela Procesi
Abstract:
We develop KAM theory close to an elliptic fixed point for quasi-linear Hamiltonian perturbations of the dispersive Degasperis-Procesi equation on the circle. The overall strategy in KAM theory for quasi-linear PDEs is based on Nash-Moser nonlinear iteration, pseudo differential calculus and normal form techniques. In the present case the complicated symplectic structure, the weak dispersive effec…
▽ More
We develop KAM theory close to an elliptic fixed point for quasi-linear Hamiltonian perturbations of the dispersive Degasperis-Procesi equation on the circle. The overall strategy in KAM theory for quasi-linear PDEs is based on Nash-Moser nonlinear iteration, pseudo differential calculus and normal form techniques. In the present case the complicated symplectic structure, the weak dispersive effects of the linear flow and the presence of strong resonant interactions require a novel set of ideas. The main points are to exploit the integrability of the unperturbed equation, to look for special wave packet solutions and to perform a very careful algebraic analysis of the resonances. Our approach is quite general and can be applied also to other 1d integrable PDEs. We are confident for instance that the same strategy should work for the Camassa-Holm equation.
△ Less
Submitted 20 December, 2018;
originally announced December 2018.
-
Birkhoff normal form and long time existence for periodic gravity water waves
Authors:
Massimiliano Berti,
Roberto Feola,
Fabio Pusateri
Abstract:
We consider the gravity water waves system with a periodic one-dimensional interface in infinite depth, and prove a rigorous reduction of these equations to Birkhoff normal form up to degree four. This proves a conjecture of Zakharov-Dyachenko [55] suggested by the formal Birkhoff integrability of the water waves Hamiltonian truncated at order four. As a consequence, we also obtain a long-time sta…
▽ More
We consider the gravity water waves system with a periodic one-dimensional interface in infinite depth, and prove a rigorous reduction of these equations to Birkhoff normal form up to degree four. This proves a conjecture of Zakharov-Dyachenko [55] suggested by the formal Birkhoff integrability of the water waves Hamiltonian truncated at order four. As a consequence, we also obtain a long-time stability result: periodic perturbations of a flat interface that are of size $\varepsilon$ in a sufficiently smooth Sobolev space lead to solutions that remain regular and small up to times of order $\varepsilon^{-3}$. This time scale is expected to be optimal. Main difficulties in the proof are the presence of non-trivial resonant four-waves interactions, the so-called Benjamin-Feir resonances, the small divisors arising from near-resonances and the quasilinear nature of the equations. Some of the main ingredients that we use are: (1) a reduction procedure to constant coefficient operators up to smoothing remainders, that, together with the verification of key algebraic cancellations of the system, implies the integrability of the equations at non-negative orders; (2) a Poincaré-Birkhoff normal form of the smoothing remainders that deals with near-resonances; (3) an a priori algebraic identification argument of the above Poincaré- Birkhoff normal form equations with the formal Hamiltonian computations of [55, 19, 27, 17], that allows us to handle the Benjamin-Feir resonances.
△ Less
Submitted 16 November, 2020; v1 submitted 26 October, 2018;
originally announced October 2018.
-
Reducibility for a class of weakly dispersive linear operators arising from the Degasperis Procesi equation
Authors:
Roberto Feola,
Filippo Giuliani,
Michela Procesi
Abstract:
We prove reducibility of a class of quasi-periodically forced linear equations of the form \[ \partial_tu-\partial_x\circ (1+a(ωt, x))u+\mathcal{Q}(ωt)u=0,\quad x\in\mathbb{T}:=\mathbb{R}/2π\mathbb{Z}, \] where $u=u(t,x)$, $a$ is a small, $C^{\infty}$ function, $\mathcal{Q}$ is a pseudo differential operator of order $-1$, provided that $ω\in\mathbb{R}^ν$ satisfies appropriate non-resonance condit…
▽ More
We prove reducibility of a class of quasi-periodically forced linear equations of the form \[ \partial_tu-\partial_x\circ (1+a(ωt, x))u+\mathcal{Q}(ωt)u=0,\quad x\in\mathbb{T}:=\mathbb{R}/2π\mathbb{Z}, \] where $u=u(t,x)$, $a$ is a small, $C^{\infty}$ function, $\mathcal{Q}$ is a pseudo differential operator of order $-1$, provided that $ω\in\mathbb{R}^ν$ satisfies appropriate non-resonance conditions. Such PDEs arise by linearizing the Degasperis-Procesi (DP) equation at a small amplitude quasi-periodic function. Our work provides a first fundamental step in developing a KAM theory for perturbations of the DP equation on the circle. Following \cite{Airy}, our approach is based on two main points: first a reduction in orders based on an Egorov type theorem then a KAM diagonalization scheme. In both steps the key difficulites arise from the asymptotically linear dispersion law. In view of the application to the nonlinear context we prove sharp \emph{tame} bounds on the diagonalizing change of variables.
We remark that the strategy and the techniques proposed are applicable for proving reducibility of more general classes of linear pseudo differential first order operators.
△ Less
Submitted 18 June, 2018;
originally announced June 2018.
-
Long time existence for fully nonlinear NLS with small Cauchy data on the circle
Authors:
Roberto Feola,
Felice Iandoli
Abstract:
In this paper we prove long time existence for a large class of fully nonlinear, reversible and parity preserving Schrödinger equations on the one dimensional torus. We show that for any initial condition even in $x$, regular enough and of size $\varepsilon$ sufficiently small, the lifespan of the solution is of order $\varepsilon^{-N}$ for any $N\in\mathbb{N}$ if some non resonance conditions are…
▽ More
In this paper we prove long time existence for a large class of fully nonlinear, reversible and parity preserving Schrödinger equations on the one dimensional torus. We show that for any initial condition even in $x$, regular enough and of size $\varepsilon$ sufficiently small, the lifespan of the solution is of order $\varepsilon^{-N}$ for any $N\in\mathbb{N}$ if some non resonance conditions are fulfilled. After a paralinearization of the equation we perform several para-differential changes of variables which diagonalize the system up to a very regularizing term. Once achieved the diagonalization, we construct modified energies for the solution by means of Birkhoff normal forms techniques.
△ Less
Submitted 30 September, 2019; v1 submitted 9 June, 2018;
originally announced June 2018.
-
On the integrability of Degasperis-Procesi equation: control of the Sobolev norms and Birkhoff resonances
Authors:
Roberto Feola,
Filippo Giuliani,
Stefano Pasquali
Abstract:
We consider the dispersive Degasperis-Procesi equation $u_t-u_{x x t}-\mathtt{c} u_{xxx}+4 \mathtt{c} u_x-u u_{xxx}-3 u_x u_{xx}+4 u u_x=0$ with $\mathtt{c}\neq 0$. In \cite{Deg} the authors proved that this equation possesses infinitely many conserved quantities. We prove that, in a neighborhood of the origin, there are infinitely many of such constants of motion which control the Sobolev norms a…
▽ More
We consider the dispersive Degasperis-Procesi equation $u_t-u_{x x t}-\mathtt{c} u_{xxx}+4 \mathtt{c} u_x-u u_{xxx}-3 u_x u_{xx}+4 u u_x=0$ with $\mathtt{c}\neq 0$. In \cite{Deg} the authors proved that this equation possesses infinitely many conserved quantities. We prove that, in a neighborhood of the origin, there are infinitely many of such constants of motion which control the Sobolev norms and which are analytic in a neighborhood of the origin of some $H^s$ Sobolev space, both on $\mathbb{R}$ and $\mathbb{T}$. By the analysis of these conserved quantities we deduce a result of global well-posedness for solutions with small initial data and we show that, on the circle, the formal Birkhoff normal form of the Degasperis-Procesi at any order is action-preserving.
△ Less
Submitted 23 March, 2018; v1 submitted 31 January, 2018;
originally announced February 2018.
-
Reducibility of first order linear operators on tori via Moser's theorem
Authors:
Roberto Feola,
Filippo Giuliani,
Riccardo Montalto,
Michela Procesi
Abstract:
In this paper we prove reducibility of classes of linear first order operators on tori by applying a generalization of Moser's theorem on straightening of vector fields on a torus. We consider vector fields which are a $C^\infty$ perturbations of a constant vector field, and prove that they are conjugated --by a $C^\infty$ torus diffeomorphism-- to a constant diophantine flow, provided that the pe…
▽ More
In this paper we prove reducibility of classes of linear first order operators on tori by applying a generalization of Moser's theorem on straightening of vector fields on a torus. We consider vector fields which are a $C^\infty$ perturbations of a constant vector field, and prove that they are conjugated --by a $C^\infty$ torus diffeomorphism-- to a constant diophantine flow, provided that the perturbation is small in some given $H^{s_1}$ norm and that the initial frequency is in some Cantor-like set. Actually in the classical results of this type the regularity of the change of coordinates which straightens the perturbed vector field coincides with the class of regularity in which the perturbation is required to be small. This improvement is achieved thanks to ideas and techniques coming from the Nash-Moser theory.
△ Less
Submitted 12 January, 2018;
originally announced January 2018.
-
Local well-posedness for quasi-linear NLS with large Cauchy data on the circle
Authors:
Roberto Feola,
Felice Iandoli
Abstract:
We prove local in time well-posedness for a large class of quasilinear Hamiltonian, or parity preserving, Schrödinger equations on the circle. After a paralinearization of the equation, we perform several paradifferential changes of coordinates in order to transform the system into a paradifferential one with symbols which, at the positive order, are constant and purely imaginary. This allows to o…
▽ More
We prove local in time well-posedness for a large class of quasilinear Hamiltonian, or parity preserving, Schrödinger equations on the circle. After a paralinearization of the equation, we perform several paradifferential changes of coordinates in order to transform the system into a paradifferential one with symbols which, at the positive order, are constant and purely imaginary. This allows to obtain a priori energy estimates on the Sobolev norms of the solutions.
△ Less
Submitted 16 May, 2018; v1 submitted 7 November, 2017;
originally announced November 2017.
-
KAM for quasi-linear autonomous NLS
Authors:
Roberto Feola,
Michela Procesi
Abstract:
We consider a class of fully nonlinear Schrödinger equations and we prove the existence and the stability of Cantor families of quasi-periodic, small amplitude solutions. We deal with reversible autonomous nonlinearities and we look for analytic solutions. Note that this is the first result on analytic quasi-periodic solutions for fully nonlinear PDEs.
We consider a class of fully nonlinear Schrödinger equations and we prove the existence and the stability of Cantor families of quasi-periodic, small amplitude solutions. We deal with reversible autonomous nonlinearities and we look for analytic solutions. Note that this is the first result on analytic quasi-periodic solutions for fully nonlinear PDEs.
△ Less
Submitted 20 May, 2017;
originally announced May 2017.
-
Finite dimensional invariant KAM tori for tame vector fields
Authors:
Livia Corsi,
Roberto Feola,
Michela Procesi
Abstract:
We discuss a Nash-Moser/ KAM algorithm for the construction of invariant tori for {\em tame} vector fields. Similar algorithms have been studied widely both in finite and infinite dimensional contexts: we are particularly interested in the second case where tameness properties of the vector fields become very important. We focus on the formal aspects of the algorithm and particularly on the minima…
▽ More
We discuss a Nash-Moser/ KAM algorithm for the construction of invariant tori for {\em tame} vector fields. Similar algorithms have been studied widely both in finite and infinite dimensional contexts: we are particularly interested in the second case where tameness properties of the vector fields become very important. We focus on the formal aspects of the algorithm and particularly on the minimal hypotheses needed for convergence. We discuss various applications where we show how our algorithm allows to reduce to solving only linear forced equations. We remark that our algorithm works at the same time in analytic and Sobolev class.
△ Less
Submitted 17 May, 2017; v1 submitted 5 November, 2016;
originally announced November 2016.
-
KAM for quasi-linear forced hamiltonian NLS
Authors:
Roberto Feola
Abstract:
In this paper we prove the existence of quasi-periodic, small-amplitude, solutions for quasi-linear Hamiltonian perturbations of the non-linear Schroedinger equation on the torus in presence of a quasi-periodic forcing. In particular we prove that such solutions are linearly stable. The proof is based on a Nash-Moser implicit function theorem and on a reducibility result on the linearized operator…
▽ More
In this paper we prove the existence of quasi-periodic, small-amplitude, solutions for quasi-linear Hamiltonian perturbations of the non-linear Schroedinger equation on the torus in presence of a quasi-periodic forcing. In particular we prove that such solutions are linearly stable. The proof is based on a Nash-Moser implicit function theorem and on a reducibility result on the linearized operator in a neighborhood of zero. The proof of the reducibility relies on changes of coordinates such as diffeomorphisms of the torus, pseudo-differential operators and a KAM-reducibility arguments. Due to the multiplicity of the eigenvalues we obtain a block-diagonalization.
△ Less
Submitted 17 May, 2017; v1 submitted 3 February, 2016;
originally announced February 2016.
-
Quasi-periodic solutions for fully nonlinear forced reversible Schroedinger equations
Authors:
Roberto Feola,
Michela Procesi
Abstract:
In this paper we consider a class of fully nonlinear forced and reversible Schroedinger equations and prove existence and stability of quasi-periodic solutions. We use a Nash-Moser algorithm together with a reducibility theorem on the linearized operator in a neighborhood of zero. Due to the presence of the highest order derivatives in the non-linearity the classic KAM-reducibility argument fails…
▽ More
In this paper we consider a class of fully nonlinear forced and reversible Schroedinger equations and prove existence and stability of quasi-periodic solutions. We use a Nash-Moser algorithm together with a reducibility theorem on the linearized operator in a neighborhood of zero. Due to the presence of the highest order derivatives in the non-linearity the classic KAM-reducibility argument fails and one needs to use a wider class of changes of variables such has diffeomorphisms of the torus and pseudo-differential operators. This procedure automtically produces a change of variables, well defined on the phase space of the equation, which diagonalizes the operator linearized at the solution. This gives the linear stability.
△ Less
Submitted 18 December, 2014;
originally announced December 2014.
-
Convergent series for quasi-periodically forced strongly dissipative systems
Authors:
Livia Corsi,
Roberto Feola,
Guido Gentile
Abstract:
We study the ordinary differential equation ${\varepsilon}\ddot x+\dot x + {\varepsilon} g(x) = {\varepsilon} f(ωt)$, with $f$ and $g$ analytic and $f$ quasi-periodic in $t$ with frequency vector $ω\in R^{d}$. We show that if there exists $c_0\in R$ such that $g(c_0)$ equals the average of $f$ and the first non-zero derivative of $g$ at $c_0$ is of odd order $n$, then, for ${\varepsilon}$ small en…
▽ More
We study the ordinary differential equation ${\varepsilon}\ddot x+\dot x + {\varepsilon} g(x) = {\varepsilon} f(ωt)$, with $f$ and $g$ analytic and $f$ quasi-periodic in $t$ with frequency vector $ω\in R^{d}$. We show that if there exists $c_0\in R$ such that $g(c_0)$ equals the average of $f$ and the first non-zero derivative of $g$ at $c_0$ is of odd order $n$, then, for ${\varepsilon}$ small enough and under very mild Diophantine conditions on $ω$, there exists a quasi-periodic solution close to $c_0$, with the same frequency vector as $f$. In particular if $f$ is a trigonometric polynomial the Diophantine condition on $ω$ can be completely removed. This extends results previously available in the literature for $n=1$. We also point out that, if $n=1$ and the first derivative of $g$ at $c_0$ is positive, then the quasi-periodic solution is locally unique and attractive.
△ Less
Submitted 9 November, 2012;
originally announced November 2012.
-
Domains of analyticity for response solutions in strongly dissipative forced systems
Authors:
Livia Corsi,
Roberto Feola,
Guido Gentile
Abstract:
We study the ordinary differential equation $\varepsilon\ddot x + \dot x + \varepsilon g(x) = \e f(ωt)$, where $g$ and $f$ are real-analytic functions, with $f$ quasi-periodic in $t$ with frequency vector $ω$. If $c_{0} \in \mathbb{R}$ is such that $g(c_0)$ equals the average of $f$ and $g'(c_0)\neq0$, under very mild assumptions on $ω$ there exists a quasi-periodic solution close to $c_0$. We sho…
▽ More
We study the ordinary differential equation $\varepsilon\ddot x + \dot x + \varepsilon g(x) = \e f(ωt)$, where $g$ and $f$ are real-analytic functions, with $f$ quasi-periodic in $t$ with frequency vector $ω$. If $c_{0} \in \mathbb{R}$ is such that $g(c_0)$ equals the average of $f$ and $g'(c_0)\neq0$, under very mild assumptions on $ω$ there exists a quasi-periodic solution close to $c_0$. We show that such a solution depends analytically on $\varepsilon$ in a domain of the complex plane tangent more than quadratically to the imaginary axis at the origin.
△ Less
Submitted 13 November, 2012; v1 submitted 15 October, 2012;
originally announced October 2012.
-
Lower-dimensional invariant tori for perturbations of a class of non-convex Hamiltonian functions
Authors:
Livia Corsi,
Roberto Feola,
Guido Gentile
Abstract:
We consider a class of quasi-integrable Hamiltonian systems obtained by adding to a non-convex Hamiltonian function of an integrable system a perturbation depending only on the angle variables. We focus on a resonant maximal torus of the unperturbed system, foliated into a family of lower-dimensional tori of codimension 1, invariant under a quasi-periodic flow with rotation vector satisfying some…
▽ More
We consider a class of quasi-integrable Hamiltonian systems obtained by adding to a non-convex Hamiltonian function of an integrable system a perturbation depending only on the angle variables. We focus on a resonant maximal torus of the unperturbed system, foliated into a family of lower-dimensional tori of codimension 1, invariant under a quasi-periodic flow with rotation vector satisfying some mild Diophantine condition. We show that at least one lower-dimensional torus with that rotation vector always exists also for the perturbed system. The proof is based on multiscale analysis and resummation procedures of divergent series. A crucial role is played by suitable symmetries and cancellations, ultimately due to the Hamiltonian structure of the system.
△ Less
Submitted 13 September, 2012;
originally announced September 2012.
