-
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.
-
Attractive invariant circles à la Chenciner
Authors:
Jessica Elisa Massetti
Abstract:
Studying general perturbations of a dissipative twist map depending on two parameters, a frequency $ν$ and a dissipation $η$, the existence of a Cantor set $\mathcal C$ of curves in the $(ν,η)$ plane such that the corresponding equation possesses a Diophantine quasi-periodic invariant circle can be deduced, up to small values of the dissipation, as direct consequence of a normal form Theorem in th…
▽ More
Studying general perturbations of a dissipative twist map depending on two parameters, a frequency $ν$ and a dissipation $η$, the existence of a Cantor set $\mathcal C$ of curves in the $(ν,η)$ plane such that the corresponding equation possesses a Diophantine quasi-periodic invariant circle can be deduced, up to small values of the dissipation, as direct consequence of a normal form Theorem in the spirit of Rüssmann and the ``elimination of parameters" technique. These circles are normally hyperbolic as soon as $η\not=0$, which implies that the equation still possesses a circle of this kind for values of the parameters belonging to a neighborhood $\mathcal V$ of this set of curves. Obviously, the dynamics on such invariant circles is no more controlled and may be generic, but the normal dynamics is controlled in the sense of their basins of attraction. As it is expected, by classical graph-transform method we are able to determine a first rough region where the normal hyperbolicity prevails and a circle persists, for a strong enough dissipation $η\sim O(\sqrtε),$ $ε$ being the size of the perturbation. Then, through normal-form techniques, we shall enlarge such regions and determine such a (conic) neighborhood $\mathcal{V}$, up to values of dissipation of the same order as the perturbation, by using the fact that the proximity of the set $\mathcal{C}$ allows, thanks to Rüssmann's translated curve theorem, to introduce local coordinates of the type (dissipation, translation) similar to the ones introduced by Chenciner in 1985.
△ Less
Submitted 23 June, 2023;
originally announced June 2023.
-
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.
-
Analytic Smoothing and Nekhoroshev estimates for Hölder steep Hamiltonians
Authors:
Santiago Barbieri,
Jean-Pierre Marco,
Jessica Elisa Massetti
Abstract:
In this paper we prove the first result of Nekhoroshev stability for steep Hamiltonians in Hölder class. Our new approach combines the classical theory of normal forms in analytic category with an improved smoothing procedure to approximate an Hölder Hamiltonian with an analytic one. It is only for the sake of clarity that we consider the (difficult) case of Hölder perturbations of an analytic int…
▽ More
In this paper we prove the first result of Nekhoroshev stability for steep Hamiltonians in Hölder class. Our new approach combines the classical theory of normal forms in analytic category with an improved smoothing procedure to approximate an Hölder Hamiltonian with an analytic one. It is only for the sake of clarity that we consider the (difficult) case of Hölder perturbations of an analytic integrable Hamiltonian, but our method is flexible enough to work in many other functional classes, including the Gevrey one. The stability exponents can be taken to be $(\ell-1)/(2n{\mathbfα}_1...{\mathbfα}_{n-2})+1/2$ for the time of stability and $1/(2n{\mathbfα}_1...{\mathbfα}_{n-1})$ for the radius of stability, $n$ being the dimension, $\ell >n+1$ being the regularity and the ${\mathbfα}_i$'s being the indices of steepness. Crucial to obtain the exponents above is a new non-standard estimate on the Fourier norm of the smoothed function. As a byproduct we improve the stability exponents in the $C^k$ class, with integer $k$.
△ Less
Submitted 1 September, 2022;
originally announced September 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.
-
On the fragility of periodic tori for families of symplectic twist maps
Authors:
Marie-Claude Arnaud,
Jessica Elisa Massetti,
Alfonso Sorrentino
Abstract:
In this article we study the fragility of Lagrangian periodic tori for symplectic twist maps of the $2d$-dimensional annulus and prove a rigidity result for completely integrable ones. More specifically, we consider $1$-parameter families of symplectic twist maps $(f_\varepsilon)_{\varepsilon\in \mathbb{R}}$, obtained by perturbing the generating function of an analytic map $f$ by a family of pote…
▽ More
In this article we study the fragility of Lagrangian periodic tori for symplectic twist maps of the $2d$-dimensional annulus and prove a rigidity result for completely integrable ones. More specifically, we consider $1$-parameter families of symplectic twist maps $(f_\varepsilon)_{\varepsilon\in \mathbb{R}}$, obtained by perturbing the generating function of an analytic map $f$ by a family of potentials $\{\varepsilon G\}_{\varepsilon\in \mathbb{R}}$. Firstly, for an analytic $G$ and for $(m,n)\in \mathbb{Z}\times \mathbb{N}^*$ with $m$ and $n$ coprime, we investigate the topological structure of the set of $\varepsilon\in \mathbb{R}$ for which $f_\varepsilon$ admits a Lagrangian periodic torus of rotation vector $(m,n)$. In particular we prove that, under a suitable non-degeneracy condition on $f$, this set consists of at most finitely many points. Then, we exploit this to deduce a rigidity result for integrable symplectic twist maps, in the case of deformations produced by a $C^2$ potential. Our analysis, which holds in any dimension, is based on a thorough investigation of the geometric and dynamical properties of Lagrangian periodic tori, which we believe is of its own interest.
△ Less
Submitted 7 June, 2023; v1 submitted 1 February, 2022;
originally announced February 2022.
-
Small amplitude weak Sobolev almost periodic solutions for the 1d NLS
Authors:
Luca Biasco,
Jessica Elisa Massetti,
Michela Procesi
Abstract:
All the almost periodic solutions for non integrable PDEs found in the literature are very regular (at least $C^\infty$) and, hence, very close to quasi periodic ones. This fact is deeply exploited in the existing proofs. Proving the existence of almost periodic solutions with finite regularity is a main open problem in KAM theory for PDEs. Here we consider the one dimensional NLS with external pa…
▽ More
All the almost periodic solutions for non integrable PDEs found in the literature are very regular (at least $C^\infty$) and, hence, very close to quasi periodic ones. This fact is deeply exploited in the existing proofs. Proving the existence of almost periodic solutions with finite regularity is a main open problem in KAM theory for PDEs. Here we consider the one dimensional NLS with external parameters and construct almost periodic solutions which have only Sobolev regularity both in time and space. Moreover many of our solutions are so only in a weak sense. This is the first result on existence of weak, i.e. non classical, solutions for non integrable PDEs in KAM theory.
△ Less
Submitted 9 December, 2022; v1 submitted 1 June, 2021;
originally announced June 2021.
-
Flexibility and analytic smoothing in averaging theory
Authors:
Santiago Barbieri,
Jean-Pierre Marco,
Jessica Elisa Massetti
Abstract:
Using a new strategy, we extend the classical Nekhoroshev's estimates to the case of Hölder regular steep near-integrable hamiltonian systems, the stability times being polynomially long in the inverse of the size of the perturbation. We prove that the stability exponents can be taken to be $(\ell-1)/(2nα_1...α_{n-2})$ for the time of stability and $1/(2nα_1...α_{n-1})$ for the radius of stability…
▽ More
Using a new strategy, we extend the classical Nekhoroshev's estimates to the case of Hölder regular steep near-integrable hamiltonian systems, the stability times being polynomially long in the inverse of the size of the perturbation. We prove that the stability exponents can be taken to be $(\ell-1)/(2nα_1...α_{n-2})$ for the time of stability and $1/(2nα_1...α_{n-1})$ for the radius of stability, $\ell >n+1$ being the regularity and the $α_i$'s being the indices of steepness. Our strategy consists in deriving a perturbation theory which exploits a sharp analytic smoothing theorem to approximate any Hölder function by an analytic one. In addition, an appropriate choice of the free parameters in the problem enables us to have a first grasp on the relation connecting the time and radius of stability to the threshold that the size of the perturbation must satisfy in order for the theorem to apply. Particular attention is payed to a geometric presentation of the construction of the so-called "resonant blocks", in order to shed a definitive light on the nature of the steepness condition. We also investigate the convex setting, using a similar approach.
△ Less
Submitted 2 September, 2022; v1 submitted 18 May, 2021;
originally announced May 2021.
-
On the rigidity of integrable deformations of twist maps and Hamiltonian flows
Authors:
Jessica Elisa Massetti,
Alfonso Sorrentino
Abstract:
In this article we investigate rigidity properties of integrable area-preserving twist maps of the cylinder. More specifically, we prove that if a deformation of the standard integrable map preserves rotational invariant circles (i.e., homotopically non-trivial invariant curves of the cylinder on which the dynamics is conjugate to a rotation) for any rational rotation number in an open interval (w…
▽ More
In this article we investigate rigidity properties of integrable area-preserving twist maps of the cylinder. More specifically, we prove that if a deformation of the standard integrable map preserves rotational invariant circles (i.e., homotopically non-trivial invariant curves of the cylinder on which the dynamics is conjugate to a rotation) for any rational rotation number in an open interval (without any further assumption on its size), then the deformation must be trivial. Analogue phenomena for integrable Tonelli Hamiltonian flows in higher dimensions are discussed.
△ Less
Submitted 3 February, 2022; v1 submitted 22 November, 2020;
originally announced November 2020.
-
On the construction of Sobolev Almost periodic invariant tori for the 1d NLS
Authors:
Luca Biasco,
Jessica Elisa Massetti,
Michela Procesi
Abstract:
We discuss a method for the construction of almost periodic solutions of the one dimensional analytic NLS with only Sobolev regularity both in time and space. This is the first result of this kind for PDEs.
We discuss a method for the construction of almost periodic solutions of the one dimensional analytic NLS with only Sobolev regularity both in time and space. This is the first result of this kind for PDEs.
△ Less
Submitted 9 September, 2020;
originally announced September 2020.
-
Almost periodic invariant tori for the NLS on the circle
Authors:
Luca Biasco,
Jessica Elisa Massetti,
Michela Procesi
Abstract:
In this paper we study the existence and linear stability of almost periodic solutions for a NLS equation on the circle with external parameters. Starting from the seminal result of Bourgain (2005) on the quintic NLS, we propose a novel approach allowing to prove in a unified framework the persistence of finite and infinite dimensional invariant tori, which are the support of the desired solutions…
▽ More
In this paper we study the existence and linear stability of almost periodic solutions for a NLS equation on the circle with external parameters. Starting from the seminal result of Bourgain (2005) on the quintic NLS, we propose a novel approach allowing to prove in a unified framework the persistence of finite and infinite dimensional invariant tori, which are the support of the desired solutions. The persistence result is given through a rather abstract "counter-term theorem" `a la Herman, directly in the original elliptic variables without passing to action-angle ones. Our framework allows us to find "many more" almost periodic solutions with respect to the existing literature and consider also non-translation invariant PDEs.
△ Less
Submitted 8 January, 2020; v1 submitted 18 March, 2019;
originally announced March 2019.
-
Exponential Stability Estimates for the 1D NLS
Authors:
Biasco Luca,
Jessica Elisa Massetti,
Michela Procesi
Abstract:
We study stability times for a family of parameter dependent nonlinear Schrödinger equations on the circle, close to the origin. Imposing a suitable Diophantine condition (first introduced by Bourgain), we prove a rather flexible Birkhoff Normal Form theorem, which implies, e.g., exponential and sub-exponential time estimates in the Sobolev and Gevrey class respectively.
We study stability times for a family of parameter dependent nonlinear Schrödinger equations on the circle, close to the origin. Imposing a suitable Diophantine condition (first introduced by Bourgain), we prove a rather flexible Birkhoff Normal Form theorem, which implies, e.g., exponential and sub-exponential time estimates in the Sobolev and Gevrey class respectively.
△ Less
Submitted 15 October, 2018;
originally announced October 2018.
-
Normal form à la Moser for diffeomorphisms and generalization of Rüssmann's translated curve theorem to higher dimension
Authors:
Jessica Elisa Massetti
Abstract:
We prove a discrete time analogue of 1967 Moser's normal form of real analytic perturbations of vector fields possessing an invariant, reducible, Diophantine torus; in the case of diffeomorphisms too, the persistence of such an invariant torus is a phenomenon of finite co-dimension. Under convenient non-degeneracy assumptions on the diffeomorphisms under study (torsion property for example), this…
▽ More
We prove a discrete time analogue of 1967 Moser's normal form of real analytic perturbations of vector fields possessing an invariant, reducible, Diophantine torus; in the case of diffeomorphisms too, the persistence of such an invariant torus is a phenomenon of finite co-dimension. Under convenient non-degeneracy assumptions on the diffeomorphisms under study (torsion property for example), this co-dimension can be reduced. As a by-product we obtain generalizations of Rüssmann's translated curve theorem in any dimension, by a technique of elimination of parameters.
△ Less
Submitted 11 August, 2016;
originally announced August 2016.
-
The parameters space of the spin-orbit problem I. Normally hyperbolic invariant circles
Authors:
Jessica Elisa Massetti
Abstract:
In this paper we start a global study of the parameter space (dissipation, perturbation, frequency) of the dissipative spin-orbit problem in Celestial Mechanics with the aim of delimiting regions where the dynamics, or at least some of its important features, is determined. This is done via a study of the corresponding family of time $2π$-maps. In the same spirit as Chenciner in his 1895 article o…
▽ More
In this paper we start a global study of the parameter space (dissipation, perturbation, frequency) of the dissipative spin-orbit problem in Celestial Mechanics with the aim of delimiting regions where the dynamics, or at least some of its important features, is determined. This is done via a study of the corresponding family of time $2π$-maps. In the same spirit as Chenciner in his 1895 article on bifurcations of elliptic fixed points, we are at first interested in delimiting regions where the normal hyperbolicity is sufficiently important to guarantee the persistence of an invariant attractive (resp. repulsive) circle under perturbation. As a tool, we use an analogue for diffeomorphisms in this family of Rüssmann's translated curve theorem in analytic category.
△ Less
Submitted 10 March, 2023; v1 submitted 4 December, 2015;
originally announced December 2015.
-
Normal forms for perturbations of systems possessing a Diophantine invariant torus
Authors:
Jessica Elisa Massetti
Abstract:
In 1967 Moser proved the existence of a normal form for real analytic perturbations of vector fields possessing a reducible Diophantine invariant quasi-periodic torus. In this paper we present a proof of existence of this normal form based on an abstract inverse function theorem in analytic class. The given geometrization of the proof can be opportunely adapted accordingly to the specificity of sy…
▽ More
In 1967 Moser proved the existence of a normal form for real analytic perturbations of vector fields possessing a reducible Diophantine invariant quasi-periodic torus. In this paper we present a proof of existence of this normal form based on an abstract inverse function theorem in analytic class. The given geometrization of the proof can be opportunely adapted accordingly to the specificity of systems under study. In this more conceptual frame, it becomes natural to show the existence of new remarkable normal forms, and provide several translated-torus theorems or twisted-torus theorems for systems issued from dissipative generalizations of Hamiltonian Mechanics, thus providing generalizations of celebrated theorems of Herman and Rüssmann, with applications to Celestial Mechanics.
△ Less
Submitted 17 May, 2016; v1 submitted 9 November, 2015;
originally announced November 2015.
