Showing 1–20 of 20 results for author: Haus, E

Effective chaos for the Kirchhoff equation on tori

Authors: Pietro Baldi, Filippo Giuliani, Marcel Guardia, Emanuele Haus

Abstract: We consider the Kirchhoff equation on tori of any dimension and we construct solutions whose Sobolev norms oscillates in a chaotic way on certain long time scales. The chaoticity is encoded in the time between oscillations of the norm, which can be chosen in any prescribed way. This phenomenon, that we name as effective chaos (it occurs over a long, but finite, time scale), is consequence of the e… ▽ More We consider the Kirchhoff equation on tori of any dimension and we construct solutions whose Sobolev norms oscillates in a chaotic way on certain long time scales. The chaoticity is encoded in the time between oscillations of the norm, which can be chosen in any prescribed way. This phenomenon, that we name as effective chaos (it occurs over a long, but finite, time scale), is consequence of the existence of symbolic dynamics for an effective system. Since the first order resonant dynamics has been proved to be essentially stable, we need to perform a second order analysis to find an effective model displaying chaotic dynamics. More precisely, after some reductions, this model behaves as two weakly coupled pendulums. △ Less

Submitted 1 March, 2023; originally announced March 2023.

Comments: 43 pages

MSC Class: 37D45; 74H65; 35A24; 35B34

Reducibility and nonlinear stability for a quasi-periodically forced NLS

Authors: Emanuele Haus, Beatrice Langella, Alberto Maspero, Michela Procesi

Abstract: Motivated by the problem of long time stability vs. instability of KAM tori of the Nonlinear cubic Schrödinger equation (NLS) on the two dimensional torus $\mathbb T^2:= (\mathbb R/2π\mathbb Z)^2$, we consider a quasi-periodically forced NLS equation on $\mathbb T^2$ arising from the linearization of the NLS at a KAM torus. We prove a reducibility result as well as long time stability of the origi… ▽ More Motivated by the problem of long time stability vs. instability of KAM tori of the Nonlinear cubic Schrödinger equation (NLS) on the two dimensional torus $\mathbb T^2:= (\mathbb R/2π\mathbb Z)^2$, we consider a quasi-periodically forced NLS equation on $\mathbb T^2$ arising from the linearization of the NLS at a KAM torus. We prove a reducibility result as well as long time stability of the origin. The main novelty is to obtain the precise asymptotic expansion of the frequencies which allows us to impose Melnikov conditions at arbitrary order. △ Less

Submitted 3 August, 2022; originally announced August 2022.

Longer lifespan for many solutions of the Kirchhoff equation

Authors: Pietro Baldi, Emanuele Haus

Abstract: We consider the Kirchhoff equation $$ \partial_{tt} u - Δu \Big( 1 + \int_{\mathbb T^d} |\nabla u|^2 \Big) = 0 $$ on the $d$-dimensional torus $\mathbb T^d$, and its Cauchy problem with initial data $u(0,x)$, $\partial_t u(0,x)$ of size $\varepsilon$ in Sobolev class. The effective equation for the dynamics at the quintic order, obtained in previous papers by quasilinear normal form, contains reso… ▽ More We consider the Kirchhoff equation $$ \partial_{tt} u - Δu \Big( 1 + \int_{\mathbb T^d} |\nabla u|^2 \Big) = 0 $$ on the $d$-dimensional torus $\mathbb T^d$, and its Cauchy problem with initial data $u(0,x)$, $\partial_t u(0,x)$ of size $\varepsilon$ in Sobolev class. The effective equation for the dynamics at the quintic order, obtained in previous papers by quasilinear normal form, contains resonances corresponding to nontrivial terms in the energy estimates. Such resonances cannot be avoided by tuning external parameters (simply because the Kirchhoff equation does not contain parameters). In this paper we introduce nonresonance conditions on the initial data of the Cauchy problem and prove a lower bound $\varepsilon^{-6}$ for the lifespan of the corresponding solutions (the standard local theory gives $\varepsilon^{-2}$, and the normal form for the cubic terms gives $\varepsilon^{-4}$). The proof relies on the fact that, under these nonresonance conditions, the growth rate of the "superactions" of the effective equations on large time intervals is smaller (by a factor $\varepsilon^2$) than its a priori estimate based on the normal form for the cubic terms. The set of initial data satisfying such nonresonance conditions contains several nontrivial examples that are discussed in the paper. △ Less

Submitted 5 November, 2020; v1 submitted 7 July, 2020; originally announced July 2020.

Comments: 41 pages

MSC Class: 35L72; 35Q74; 35A01; 37K45; 70K45; 70K65

On the normal form of the Kirchhoff equation

Authors: Pietro Baldi, Emanuele Haus

Abstract: Consider the Kirchhoff equation $$ \partial_{tt} u - Δu \Big( 1 + \int_{\mathbb{T}^d} |\nabla u|^2 \Big) = 0 $$ on the $d$-dimensional torus $\mathbb{T}^d$. In a previous paper we proved that, after a first step of quasilinear normal form, the resonant cubic terms show an integrable behavior, namely they give no contribution to the energy estimates. This leads to the question whether the same stru… ▽ More Consider the Kirchhoff equation $$ \partial_{tt} u - Δu \Big( 1 + \int_{\mathbb{T}^d} |\nabla u|^2 \Big) = 0 $$ on the $d$-dimensional torus $\mathbb{T}^d$. In a previous paper we proved that, after a first step of quasilinear normal form, the resonant cubic terms show an integrable behavior, namely they give no contribution to the energy estimates. This leads to the question whether the same structure also emerges at the next steps of normal form. In this paper, we perform the second step and give a negative answer to the previous question: the quintic resonant terms give a nonzero contribution to the energy estimates. This is not only a formal calculation, as we prove that the normal form transformation is bounded between Sobolev spaces. △ Less

Submitted 1 June, 2020; originally announced June 2020.

Comments: 29 pages. arXiv admin note: text overlap with arXiv:1805.01189

MSC Class: 35L72; 35Q74; 37J40; 70K45

Size of data in implicit function problems and singular perturbations for nonlinear Schrödinger systems

Authors: Pietro Baldi, Emanuele Haus

Abstract: We investigate a general question about the size and regularity of the data and the solutions in implicit function problems with loss of regularity. First, we give a heuristic explanation of the fact that the optimal data size found by Ekeland and Séré with their recent non-quadratic version of the Nash-Moser theorem can also be recovered, for a large class of nonlinear problems, with quadratic sc… ▽ More We investigate a general question about the size and regularity of the data and the solutions in implicit function problems with loss of regularity. First, we give a heuristic explanation of the fact that the optimal data size found by Ekeland and Séré with their recent non-quadratic version of the Nash-Moser theorem can also be recovered, for a large class of nonlinear problems, with quadratic schemes. Then we prove that this heuristic observation applies to the singular perturbation Cauchy problem for the nonlinear Schrödinger system studied by Métivier, Rauch, Texier, Zumbrun, Ekeland, Séré. Using a "free flow component" decomposition and applying an abstract Nash-Moser-Hörmander theorem, we improve the existing results regarding both the size of the data and the regularity of the solutions. △ Less

Submitted 28 June, 2019; originally announced June 2019.

Comments: 36 pages

MSC Class: 47J07; 35B25; 35Q55; 35G55

Long time growth of Sobolev norms in time dependent semiclassical anharmonic oscillators

Authors: Emanuele Haus, Alberto Maspero

Abstract: We consider the semiclassical Schrödinger equation on $\mathbb R^d$ given by $$\mathrm{i} \hbar \partial_t ψ= \left(-\frac{\hbar^2}{2} Δ+ W_l(x) \right)ψ+ V(t,x)ψ,$$ where $W_l$ is an anharmonic trapping of the form $W_l(x)= \frac{1}{2l}\sum_{j=1}^d x_j^{2l}$, $l\geq 2$ is an integer and $\hbar$ is a semiclassical small parameter. We construct a smooth potential $V(t,x)$, bounded in time with its… ▽ More We consider the semiclassical Schrödinger equation on $\mathbb R^d$ given by $$\mathrm{i} \hbar \partial_t ψ= \left(-\frac{\hbar^2}{2} Δ+ W_l(x) \right)ψ+ V(t,x)ψ,$$ where $W_l$ is an anharmonic trapping of the form $W_l(x)= \frac{1}{2l}\sum_{j=1}^d x_j^{2l}$, $l\geq 2$ is an integer and $\hbar$ is a semiclassical small parameter. We construct a smooth potential $V(t,x)$, bounded in time with its derivatives, and an initial datum such that the Sobolev norms of the solution grow at a logarithmic speed for all times of order $\log^{\frac12}(\hbar^{-1})$. The proof relies on two ingredients: first we construct an unbounded solution to a forced mechanical anharmonic oscillator, then we exploit semiclassical approximation with coherent states to obtain growth of Sobolev norms for the quantum system which are valid for semiclassical time scales. △ Less

Submitted 7 April, 2019; originally announced April 2019.

Comments: 19 pages

Existence of a lens-shaped cluster of surfaces self-shrinking by mean curvature

Authors: Pietro Baldi, Emanuele Haus, Carlo Mantegazza

Abstract: We rigorously show the existence of a rotationally and centrally symmetric "lens-shaped" cluster of three surfaces, meeting at a smooth common circle, forming equal angles of 120 degrees, self-shrinking under the motion by mean curvature. We rigorously show the existence of a rotationally and centrally symmetric "lens-shaped" cluster of three surfaces, meeting at a smooth common circle, forming equal angles of 120 degrees, self-shrinking under the motion by mean curvature. △ Less

Submitted 19 November, 2018; originally announced November 2018.

Comments: 22 pages, 2 figures

MSC Class: 53C44 (53A05)

Strong nonlinear instability and growth of Sobolev norms near quasiperiodic finite-gap tori for the 2D cubic NLS equation

Authors: Marcel Guardia, Zaher Hani, Emanuele Haus, Alberto Maspero, Michela Procesi

Abstract: We consider the defocusing cubic nonlinear Schrödinger equation (NLS) on the two-dimensional torus. The equation admits a special family of elliptic invariant quasiperiodic tori called finite-gap solutions. These are inherited from the integrable 1D model (cubic NLS on the circle) by considering solutions that depend only on one variable. We study the long-time stability of such invariant tori for… ▽ More We consider the defocusing cubic nonlinear Schrödinger equation (NLS) on the two-dimensional torus. The equation admits a special family of elliptic invariant quasiperiodic tori called finite-gap solutions. These are inherited from the integrable 1D model (cubic NLS on the circle) by considering solutions that depend only on one variable. We study the long-time stability of such invariant tori for the 2D NLS model and show that, under certain assumptions and over sufficiently long timescales, they exhibit a strong form of transverse instability in Sobolev spaces $H^s(\mathbb{T}^2)$ ($0<s<1$). More precisely, we construct solutions of the 2D cubic NLS that start arbitrarily close to such invariant tori in the $H^s$ topology and whose $H^s$ norm can grow by any given factor. This work is partly motivated by the problem of infinite energy cascade for 2D NLS, and seems to be the first instance where (unstable) long-time nonlinear dynamics near (linearly stable) quasiperiodic tori is studied and constructed. △ Less

Submitted 8 October, 2018; originally announced October 2018.

Comments: 45 pages

On the existence time for the Kirchhoff equation with periodic boundary conditions

Authors: Pietro Baldi, Emanuele Haus

Abstract: We consider the Cauchy problem for the Kirchhoff equation on $\mathbb{T}^d$ with initial data of small amplitude $\varepsilon$ in Sobolev class. We prove a lower bound $\varepsilon^{-4}$ for the existence time, which improves the bound $\varepsilon^{-2}$ given by the standard local theory. The proof relies on a normal form transformation, preceded by a nonlinear transformation that diagonalizes th… ▽ More We consider the Cauchy problem for the Kirchhoff equation on $\mathbb{T}^d$ with initial data of small amplitude $\varepsilon$ in Sobolev class. We prove a lower bound $\varepsilon^{-4}$ for the existence time, which improves the bound $\varepsilon^{-2}$ given by the standard local theory. The proof relies on a normal form transformation, preceded by a nonlinear transformation that diagonalizes the operator at the highest order, which is needed because of the quasilinear nature of the equation. △ Less

Submitted 3 May, 2018; originally announced May 2018.

Comments: 30 pages

MSC Class: 35L72; 35L15; 35Q74; 37J40; 70K45

Time quasi-periodic gravity water waves in finite depth

Authors: Pietro Baldi, Massimiliano Berti, Emanuele Haus, Riccardo Montalto

Abstract: We prove the existence and the linear stability of Cantor families of small amplitude time quasi-periodic standing water wave solutions - namely periodic and even in the space variable x - of a bi-dimensional ocean with finite depth under the action of pure gravity. Such a result holds for all the values of the depth parameter in a Borel set of asymptotically full measure. This is a small divisor… ▽ More We prove the existence and the linear stability of Cantor families of small amplitude time quasi-periodic standing water wave solutions - namely periodic and even in the space variable x - of a bi-dimensional ocean with finite depth under the action of pure gravity. Such a result holds for all the values of the depth parameter in a Borel set of asymptotically full measure. This is a small divisor problem. The main difficulties are the quasi-linear nature of the gravity water waves equations and the fact that the linear frequencies grow just in a sublinear way at infinity. We overcome these problems by first reducing the linearized operators obtained at each approximate quasi-periodic solution along the Nash-Moser iteration to constant coefficients up to smoothing operators, using pseudo-differential changes of variables that are quasi-periodic in time. Then we apply a KAM reducibility scheme which requires very weak Melnikov non-resonance conditions (losing derivatives both in time and space), which we are able to verify for most values of the depth parameter using degenerate KAM theory arguments. △ Less

Submitted 20 December, 2018; v1 submitted 3 August, 2017; originally announced August 2017.

Comments: arXiv admin note: text overlap with arXiv:1602.02411

MSC Class: 76B15; 37K55; 37C55; 35S05

Journal ref: Inventiones Mathematicae, 214 (2), 739-911, 2018

Controllability of quasi-linear Hamiltonian NLS equations

Authors: Pietro Baldi, Emanuele Haus, Riccardo Montalto

Abstract: We prove internal controllability in arbitrary time, for small data, for quasi-linear Hamiltonian NLS equations on the circle. We use a procedure of reduction to constant coefficients up to order zero and HUM method to prove the controllability of the linearized problem. Then we apply a Nash-Moser-Hörmander implicit function theorem as a black box. We prove internal controllability in arbitrary time, for small data, for quasi-linear Hamiltonian NLS equations on the circle. We use a procedure of reduction to constant coefficients up to order zero and HUM method to prove the controllability of the linearized problem. Then we apply a Nash-Moser-Hörmander implicit function theorem as a black box. △ Less

Submitted 20 December, 2018; v1 submitted 28 October, 2016; originally announced October 2016.

MSC Class: 35Q55; 35Q93

Journal ref: Journal of Differential Equations, 264 (3), 1786-1840, 2018

KAM for beating solutions of the quintic NLS

Authors: Emanuele Haus, Michela Procesi

Abstract: We consider the nonlinear Schrödinger equation of degree five on the circle $\mathbb{S}^1 = \mathbb{R}/2π$. We prove the existence of quasi-periodic solutions which bifurcate from "resonant" solutions (studied in [14]) of the system obtained by truncating the Hamiltonian after one step of Birkhoff normal form, exhibiting recurrent exchange of energy between some Fourier modes. The existence of the… ▽ More We consider the nonlinear Schrödinger equation of degree five on the circle $\mathbb{S}^1 = \mathbb{R}/2π$. We prove the existence of quasi-periodic solutions which bifurcate from "resonant" solutions (studied in [14]) of the system obtained by truncating the Hamiltonian after one step of Birkhoff normal form, exhibiting recurrent exchange of energy between some Fourier modes. The existence of these quasi-periodic solutions is a purely nonlinear effect. △ Less

Submitted 6 September, 2016; originally announced September 2016.

Comments: 32 pages, 1 figure

MSC Class: 37K55

A Nash-Moser-Hörmander implicit function theorem with applications to control and Cauchy problems for PDEs

Authors: Pietro Baldi, Emanuele Haus

Abstract: We prove an abstract Nash-Moser implicit function theorem which, when applied to control and Cauchy problems for PDEs in Sobolev class, is sharp in terms of the loss of regularity of the solution of the problem with respect to the data. The proof is a combination of: (i) the iteration scheme by Hörmander (ARMA 1976), based on telescoping series, and very close to the original one by Nash; (ii) a s… ▽ More We prove an abstract Nash-Moser implicit function theorem which, when applied to control and Cauchy problems for PDEs in Sobolev class, is sharp in terms of the loss of regularity of the solution of the problem with respect to the data. The proof is a combination of: (i) the iteration scheme by Hörmander (ARMA 1976), based on telescoping series, and very close to the original one by Nash; (ii) a suitable way of splitting series in scales of Banach spaces, inspired by a simple, clever trick used in paradifferential calculus (for example, by Métivier). As an example of application, we apply our theorem to a control and a Cauchy problem for quasi-linear perturbations of KdV equations, improving the regularity of a previous result. With respect to other approaches to control and Cauchy problems, the application of our theorem requires lighter assumptions to be verified. △ Less

Submitted 20 December, 2018; v1 submitted 1 September, 2016; originally announced September 2016.

MSC Class: 47J07; 35Q53; 35Q93

Journal ref: Journal of Functional Analysis, 273 (12), 3875-3900, 2017

Non-Existence of Theta-Shaped Self-Similarly Shrinking Networks Moving by Curvature

Authors: Pietro Baldi, Emanuele Haus, Carlo Mantegazza

Abstract: We prove that there are no networks homeomorphic to the Greek "theta" letter (a double cell) embedded in the plane with two triple junctions with angles of $120$ degrees, such that under the motion by curvature they are self-similarly shrinking. This fact completes the classification of the self-similarly shrinking networks in the plane with at most two triple junctions. We prove that there are no networks homeomorphic to the Greek "theta" letter (a double cell) embedded in the plane with two triple junctions with angles of $120$ degrees, such that under the motion by curvature they are self-similarly shrinking. This fact completes the classification of the self-similarly shrinking networks in the plane with at most two triple junctions. △ Less

Submitted 5 April, 2016; originally announced April 2016.

Exact controllability for quasi-linear perturbations of KdV

Authors: Pietro Baldi, Giuseppe Floridia, Emanuele Haus

Abstract: We prove that the KdV equation on the circle remains exactly controllable in arbitrary time with localized control, for sufficiently small data, also in presence of quasi-linear perturbations, namely nonlinearities containing up to three space derivatives, having a Hamiltonian structure at the highest orders. We use a procedure of reduction to constant coefficients up to order zero, classical Ingh… ▽ More We prove that the KdV equation on the circle remains exactly controllable in arbitrary time with localized control, for sufficiently small data, also in presence of quasi-linear perturbations, namely nonlinearities containing up to three space derivatives, having a Hamiltonian structure at the highest orders. We use a procedure of reduction to constant coefficients up to order zero, classical Ingham inequality and HUM method to prove the controllability of the linearized operator. Then we prove and apply a modified version of the Nash-Moser implicit function theorems by Hörmander. △ Less

Submitted 15 November, 2016; v1 submitted 26 October, 2015; originally announced October 2015.

Comments: 39 pages

MSC Class: 35Q53; 35Q93

Journal ref: Anal. PDE 10 (2017) 281-322

Growth of Sobolev norms for the analytic NLS on $\mathbb T^2$

Authors: Marcel Guardia, Emanuele Haus, Michela Procesi

Abstract: We consider the completely resonant defocusing non-linear Schrödinger equation on the two dimensional torus with any analytic gauge invariant nonlinearity. Fix $s>1$. We show the existence of solutions of this equation which achieve arbitrarily large growth of $H^s$ Sobolev norms. We also give estimates for the time required to attain this growth. We consider the completely resonant defocusing non-linear Schrödinger equation on the two dimensional torus with any analytic gauge invariant nonlinearity. Fix $s>1$. We show the existence of solutions of this equation which achieve arbitrarily large growth of $H^s$ Sobolev norms. We also give estimates for the time required to attain this growth. △ Less

Submitted 15 June, 2017; v1 submitted 9 March, 2015; originally announced March 2015.

MSC Class: 35Q55; 37K45

Journal ref: Adv. Math. 301 (2016), 615-692

A KAM result on compact Lie groups

Authors: Livia Corsi, Emanuele Haus, Michela Procesi

Abstract: We describe some recent results on existence of quasi-periodic solutions of Hamiltonian PDEs on compact manifolds. We prove a linear stability result for the non-linear Schrödinger equation in the case of $SU(2)$ and $SO(3)$. We describe some recent results on existence of quasi-periodic solutions of Hamiltonian PDEs on compact manifolds. We prove a linear stability result for the non-linear Schrödinger equation in the case of $SU(2)$ and $SO(3)$. △ Less

Submitted 2 November, 2014; originally announced November 2014.

Comments: 20 pages, 1 figure

MSC Class: 37K55; 58C15; 35Q55; 43A85

Growth of Sobolev norms for the quintic NLS on $\mathbb T^2$

Authors: Emanuele Haus, Michela Procesi

Abstract: We study the quintic Non Linear Schrödinger equation on a two dimensional torus and exhibit orbits whose Sobolev norms grow with time. The main point is to reduce to a sufficiently simple toy model, similar in many ways to the one used in the case of the cubic NLS. This requires an accurate combinatorial analysis. We study the quintic Non Linear Schrödinger equation on a two dimensional torus and exhibit orbits whose Sobolev norms grow with time. The main point is to reduce to a sufficiently simple toy model, similar in many ways to the one used in the case of the cubic NLS. This requires an accurate combinatorial analysis. △ Less

Submitted 7 May, 2014; originally announced May 2014.

Comments: 41 pages, 5 figures. arXiv admin note: text overlap with arXiv:0808.1742 by other authors

Journal ref: Anal. PDE 8 (2015) 883-922

Asymptotic behavior of an elastic satellite with internal friction

Authors: Emanuele Haus, Dario Bambusi

Abstract: We study the dynamics of an elastic body whose shape and position evolve due to the gravitational forces exerted by a pointlike planet. The main result is that, if all the deformations of the satellite dissipate some energy, then under a suitable nondegeneracy condition there are only three possible outcomes for the dynamics: (i) the orbit of the satellite is unbounded, (ii) the satellite falls on… ▽ More We study the dynamics of an elastic body whose shape and position evolve due to the gravitational forces exerted by a pointlike planet. The main result is that, if all the deformations of the satellite dissipate some energy, then under a suitable nondegeneracy condition there are only three possible outcomes for the dynamics: (i) the orbit of the satellite is unbounded, (ii) the satellite falls on the planet, (iii) the satellite is captured in synchronous resonance i.e. its orbit is asymptotic to a motion in which the barycenter moves on a circular orbit, and the satellite moves rigidly, always showing the same face to the planet. The result is obtained by making use of LaSalle's invariance principle and by a careful kinematic analysis showing that energy stops dissipating only on synchronous orbits. We also use in quite an extensive way the fact that conservative elastodynamics is a Hamiltonian system invariant under the action of the rotation group. △ Less

Submitted 4 December, 2012; originally announced December 2012.

MSC Class: 74D10

Dynamics on resonant clusters for the quintic non linear Schrödinger equation

Authors: Emanuele Haus, Laurent Thomann

Abstract: We construct solutions to the quintic nonlinear Schrödinger equation on the circle with initial conditions supported on arbitrarily many different resonant clusters. This is a sequel of a work of Benoît Grébert and the second author. We construct solutions to the quintic nonlinear Schrödinger equation on the circle with initial conditions supported on arbitrarily many different resonant clusters. This is a sequel of a work of Benoît Grébert and the second author. △ Less

Submitted 27 October, 2012; originally announced October 2012.

Comments: 11 pages