Searcharxiv⌕ Search

arXiv subjects

Abed Bounemoura

Publications and source records attributed to Abed Bounemoura.

At least 19 recordsLinked to original sources
arXiv2021

Positive measure of effective quasi-periodic motion near a Diophantine torus

It was conjectured by Herman that an analytic Lagrangian Diophantine quasi-periodic torus $\mathcal{T}_0$, invariant by a real-analytic Hamiltonian system, is always accumulated by a set of positive Lebesgue measure of other Lagrangian Diophantine quasi-periodic invariant tori. While the conjecture is still open, we will prove the following weaker statement: there exists an open set of positive measure (in fact, the relative measure of the complement is exponentially small) around $\mathcal{T}_0$ such that the motion of all initial conditions in this set is "effectively" quasi-periodic in the sense that they are close to being quasi-periodic for an interval of time which is doubly exponentially long with respect to the inverse of the distance to $\mathcal{T}_0$. This open set can be thought as a neighborhood of a hypothetical invariant set of Lagrangian Diophantine quasi-periodic tori, which may or may not exist.

math.DS↗
arXiv2020

Optimal linearization of vector fields on the torus in non-analytic Gevrey classes

We study linear and non-linear small divisors problems in analytic and non-analytic regularity. We observe that the Bruno arithmetic condition, which is usually attached to non-linear analytic problems, can also be characterized as the optimal condition to solve the linear problem in some fixed non quasi-analytic class. Based on this observation, it is natural to conjecture that the optimal arithmetic condition for the linear problem is also optimal for non-linear small divisors problems in any reasonable non quasi-analytic classes. Our main result proves this conjecture in a representative non-linear problem, which is the linearization of vector fields on the torus, in the most representative non quasi-analytic class, which is the Gevrey class. The proof follows Moser's argument of approximation by analytic functions, and uses in an essential way works of Popov, Rüssmann and Pöschel.

math.DS↗
arXiv2019

Reducibility of ultra-differentiable quasi-periodic cocycles under an adapted arithmetic condition

We prove a reducibility result for sl(2,R) quasi-periodic cocycles close to a constant elliptic matrix in ultra-differentiable classes, under an adapted arithmetic condition which extends the Brjuno-R{ü}ssmann condition in the analytic case. The proof is based on an elementary property of the fibered rotation number and deals with ultra-differentiable functions with a weighted Fourier norm. We also show that a weaker arithmetic condition is necessary for reducibility, and that it can be compared to a sufficient arithmetic condition.

math.DS↗
arXiv2018

Positive measure of KAM tori for finitely differentiable Hamiltonians

Consider an integer $n \geq 2$ and real numbers $τ>n-1$ and $l>2(τ+1)$. Using ideas of Moser, Salamon proved that individual Diophantine tori persist for Hamiltonian systems which are of class $C^l$. Under the stronger assumption that the system is a $C^{l+τ}$ perturbation of an analytic integrable system, P{ö}schel proved the persistence of a set of positive measure of Diophantine tori. We improve the last result by showing it is sufficient for the perturbation to be of class $C^{l}$ and the integrable part to be of class $C^{l+2}$.

math.DS↗
arXiv2018

Some remarks on the optimality of the Bruno-R{ü}ssmann condition

We prove that the Bruno-R{ü}ssmann condition is optimal for the analytic preservation of a quasi-periodic invariant curve for an analytic twist map. The proof is based on Yoccoz's corresponding result for analytic circle diffeomorphisms and the uniqueness of invariant curves with a given irrational rotation number. We also prove a similar result for analytic Tonelli Hamiltonian flow with n = 2 degrees of freedom; for n $\ge$ 3 we only obtain a weaker result which recovers and slightly improves a theorem of Bessi.

math.DS↗
arXiv2017

Hamiltonian perturbation theory for ultra-differentiable functions

Some scales of spaces of ultra-differentiable functions are introduced, having good stability properties with respect to infinitely many derivatives and compositions. They are well-suited for solving non-linear functional equations by means of hard implicit function theorems. They comprise Gevrey functions and thus, as a limiting case, analytic functions. Using majorizing series, we manage to characterize them in terms of a real sequence M bounding the growth of derivatives. In this functional setting, we prove two fundamental results of Hamiltonian perturbation theory: the invariant torus theorem, where the invariant torus remains ultra-differentiable under the assumption that its frequency satisfies some arithmetic condition which we call BR M , and which generalizes the Bruno-R{ü}ssmann condition ; and Nekhoroshev's theorem, where the stability time depends on the ultra-differentiable class of the pertubation, through the same sequence M. Our proof uses periodic averaging, while a substitute of the analyticity width allows us to bypass analytic smoothing. We also prove converse statements on the destruction of invariant tori and on the existence of diffusing orbits with ultra-differentiable perturbations, by respectively mimicking a construction of Bessi (in the analytic category) and Marco-Sauzin (in the Gevrey non-analytic category). When the perturbation space satisfies some additional condition (we then call it matching), we manage to narrow the gap between stability hypotheses (e.g. the BR M condition) and instability hypotheses, thus circumbscribing the stability threshold. The formulas relating the growth M of derivatives of the perturbation on the one hand, and the arithmetics of robust frequencies or the stability time on the other hand, bring light to the competition between stability properties of nearly integrable systems and the distance to integrability. Due to our method of proof using width of regularity as a regularizing parameter, these formulas are closer to optimal as the the regularity tends to analyticity.

math.DS↗
arXiv2017

KAM, $α$-Gevrey regularity and the $α$-Bruno-Rüssmann condition

We prove a new invariant torus theorem, for $α$-Gevrey smooth Hamiltonian systems, under an arithmetic assumption which we call the $α$-Bruno-Rüssmann condition, and which reduces to the classical Bruno-Rüssmann condition in the analytic category. Our proof is direct in the sense that, for analytic Hamiltonians, we avoid the use of complex extensions and, for non-analytic Hamiltonians, we do not use analytic approximation nor smoothing operators. Following Bessi, we also show that if a slightly weaker arithmetic condition is not satisfied, the invariant torus may be destroyed. Crucial to this work are new functional estimates in the Gevrey class.

math.DS↗
arXiv2016

Double exponential stability of quasi-periodic motion in Hamiltonian systems

We prove that generically, both in a topological and measure-theoretical sense, an invariant Lagrangian Diophantine torus of a Hamiltonian system is doubly exponentially stable in the sense that nearby solutions remain close to the torus for an interval of time which is doubly exponentially large with respect to the inverse of the distance to the torus. We also prove that for an arbitrary small perturbation of a generic integrable Hamiltonian system, there is a set of almost full positive Lebesgue measure of KAM tori which are doubly exponentially stable. Our results hold true for real-analytic but more generally for Gevrey smooth systems.

math.DS↗
arXiv2015

Generic perturbations of linear integrable Hamiltonian systems

In this paper, we investigate perturbations of linear integrable Hamiltonian systems, with the aim of establishing results in the spirit of the KAM theorem (preservation of invariant tori), the Nekhoroshev theorem (stability of the action variables for a finite but long interval of time) and Arnold diffusion (instability of the action variables). Whether the frequency of the integrable system is resonant or not, it is known that the KAM theorem does not hold true for all perturbations; when the frequency is resonant, it is the Nekhoroshev theorem which does not hold true for all perturbations. Our first result deals with the resonant case: we prove a result of instability for a generic perturbation, which implies that the KAM and the Nekhoroshev theorem do not hold true even for a generic perturbation. The case where the frequency is non-resonant is more subtle. Our second result shows that for a generic perturbation, the KAM theorem holds true. Concerning the Nekhrosohev theorem, it is known that one has stability over an exponentially long interval of time, and that this cannot be improved for all perturbations. Our third result shows that for a generic perturbation, one has stability for a doubly exponentially long interval of time. The only question left unanswered is whether one has instability for a generic perturbation (necessarily after this very long interval of time).

math.DS↗
arXiv2015

Double exponential stability for generic real-analytic elliptic equilibrium points

We consider the dynamics in a neighborhood of an elliptic equilibrium point with a Diophantine frequency of a symplectic real analytic vector field and we prove the following result of effective stability. Generically, both in a topological and measure-theoretical sense, any solution starting sufficiently close to the equilibrium point remains close to it for an interval of time which is doubly exponentially large with respect to the inverse of the distance to the equilibrium point. We actually prove a more general statement assuming the frequency is only non-resonant. This improves previous results where much stronger non-generic assumptions were required.

math.DS↗
arXiv2015

Ergodization time for linear flows on tori via geometry of numbers

In this paper, we give a new, short, simple and geometric proof of the optimal er-godization time for linear flows on tori. This result was first obtained by Bourgain, Golse and Wennberg in [BGW98] using Fourier analysis. Our proof uses geometry of numbers: it follows trivially from a Diophantine duality that was established by the author and Fischler in [BF13].

math.DS↗
arXiv2015

Nekhoroshev's estimates for quasi-periodic time-dependent perturbations

In this paper, we consider a Diophantine quasi-periodic time-dependent analytic perturbation of a convex integrable Hamiltonian system, and we prove a result of stability of the action variables for an exponentially long interval of time. This extends known results for periodic time-dependent perturbations, and partly solves a long standing conjecture of Chirikov and Lochak. We also obtain improved stability estimates close to resonances or far away from resonances, and a more general result without any Diophantine condition.

math.DS↗
arXiv2015

A note on micro-instability for Hamiltonian systems close to integrable

In this note, we consider the dynamics associated to an epsilon-perturbation of an integrable Hamiltonian system in action-angle coordinates in any number of degrees of freedom and we prove the following result of "micro-diffusion": under generic assumptions on h and f , there exists an orbit of the system for which the drift of its action variables is at least of order square root of epsilon, after a time of order the inverse of square root of epsilon. The assumptions, which are essentially minimal, are that there exists a resonant point for h and that the corresponding averaged perturbation is non-constant. The conclusions, although very weak when compared to usual instability phenomena, are also essentially optimal within this setting.

math.DS↗
arXiv2015

Instability of resonant invariant tori in Hamiltonian systems

In this article, we consider the dynamics in a neighborhood of a quasi-periodic torus which is invariant by a Hamiltonian flow, we discuss several notions of stability and we prove several results of instability when the frequency of the invariant torus is resonant.

math.DS↗
arXiv2014

Non-degenerate Liouville tori are KAM stable

In this short note, we prove that a quasi-periodic torus, with a non-resonant frequency (that can be Diophantine or Liouville) and which is invariant by a sufficiently regular Hamiltonian flow, is KAM stable provided it is Kolmogorov non-degenerate. When the Hamiltonian is smooth (respectively Gevrey-smooth, respectively real-analytic), the in-variant tori are smooth (respectively Gevrey-smooth, respectively real-analytic). This answers a question raised in a recent work by Eliasson, Fayad and Krikorian ([EFK]). We also take the opportunity to ask other questions concerning the stability of non-resonant invariant quasi-periodic tori in (analytic or smooth) Hamiltonian systems.

math.DS↗
arXiv2014

The classical KAM theorem for Hamiltonian systems via rational approximations

In this paper, we give a new proof of the classical KAM theorem on the persistence of an invariant quasi-periodic torus, whose frequency vector satisfies the Bruno-Rüssmann condition, in real-analytic non-degenerate Hamiltonian systems close to integrable. The proof, which uses rational approximations instead of small divisors estimates, is an adaptation to the Hamiltonian setting of the method we introduced in a previous work for perturbations of constant vector fields on the torus.

math.DS↗