arXiv subjects

Roberto Feola

Publications and source records attributed to Roberto Feola.

At least 37 records · Page 2Linked to original sources

arXiv2020

Time Quasi-Periodic Traveling Gravity Water Waves in Infinite Depth

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.

math.AP↗

arXiv2020

Birkhoff normal form and long time existence for periodic gravity water waves

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.

math.AP↗

arXiv2020

Long-time existence for semi-linear beam equations on irrational tori

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.

math.AP↗

arXiv2020

A non-linear Egorov theorem and Poincaré-Birkhoff normal forms for quasi-linear pdes on the circle

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.

math.AP↗

arXiv2019

Reducibility of Schrödinger equation on a Zoll manifold with unbounded potential

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.

math.AP↗

arXiv2019

Long time existence for fully nonlinear NLS with small Cauchy data on the circle

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.

math.AP↗

arXiv2019

Reducibility of Schrödinger equation on the sphere

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.

math.AP↗

arXiv2019

Quadratic life span of periodic gravity-capillary water waves

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.

math.AP↗

arXiv2018

Reducible KAM tori for Degasperis-Procesi equation

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.

math.AP↗

arXiv2018

Reducibility for a class of weakly dispersive linear operators arising from the Degasperis Procesi equation

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.

math.AP↗

arXiv2018

Local well-posedness for quasi-linear NLS with large Cauchy data on the circle

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.

math.AP↗

arXiv2018

On the integrability of Degasperis-Procesi equation: control of the Sobolev norms and Birkhoff resonances

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.

math.AP↗

arXiv2018

Reducibility of first order linear operators on tori via Moser's theorem

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.

math.AP↗

arXiv2017

KAM for quasi-linear autonomous NLS

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.

math.AP↗

arXiv2017

KAM for quasi-linear forced hamiltonian NLS

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.

math.AP↗

arXiv2017

Finite dimensional invariant KAM tori for tame vector fields

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.

math.DS↗

arXiv2014

Quasi-periodic solutions for fully nonlinear forced reversible Schroedinger equations

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.

math.AP↗

arXiv2012

Domains of analyticity for response solutions in strongly dissipative forced systems

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.

math.DS↗