arXiv subjects
Publications and source records attributed to Luca Biasco.
In this note, we briefly discuss how singular KAM Theory - which was worked out in a previous work by L.B. and L.C. for the mechanical case $\frac12 |y|^2+\varepsilon f(x)$ - can be extended to convex real analytic nearly integrable Hamiltonian systems with Hamiltonian in action-angle variables given by $h(y)+\varepsilon f(x)$ with $h$ convex and generic $f$.
We study the dynamics of solutions for a family of nonlinear Schroedinger equations on the circle, with a smooth convolution potential and Gevrey regular initial data. Our main result is the construction of an asymptotically full measure set of small-amplitude time almost-periodic solutions, which are dense on invariant tori. In regions corresponding to positive actions, we prove that such maximal invariant tori are Banach manifolds, which provide a Cantor foliation of the phase space. As a consequence, we establish that, for many small initial data, the Gevrey norm of the solution remains approximately constant for all time and hence the elliptic fixed point at the origin is Lyapunov statistically stable. This is first result in KAM Theory for PDEs that regards the persistence of a large measure set of invariant tori and hence may be viewed as a strict extension to the infinite dimensional setting of the classical KAM theorem.
The question of the total measure of invariant tori in analytic, nearly--integrable Hamiltonian systems is considered. In 1985, Arnol'd, Kozlov and Neishtadt, in the Encyclopaedia of Mathematical Sciences \cite{AKN1}, and in subsequent editions, conjectured that in $n=2$ degrees of freedom the measure of the non torus set of general analytic nearly--integrable systems away from critical points is exponentially small with the size $\e$ of the perturbation, and that for $n\ge 3$ the measure is, in general, of order $\e$ (rather than $\sqrt\e$ as predicted by classical KAM Theory). In the case of generic natural Hamiltonian systems, we prove lower bounds on the measure of primary and secondary invariant tori, which are in agreement, up to a logarithmic correction, with the above conjectures. The proof is based on a new {\sl singular} KAM theory, particularly designed to study analytic properties in neighborhoods of the secular separatrices generated by the perturbation at simple resonances.
We introduce a new class $\mathbb{G}^n_s$ of generic real analytic potentials on $\mathbb{T}^n$ and study global analytic properties of natural nearly-integrable Hamiltonians $\frac12 |y|^2+\varepsilon f(x)$, with potential $f\in \mathbb{G}^n_s$, on the phase space $\varepsilon = B \times \mathbb{T}^n$ with $B$ a given ball in $\mathbb{R}^n$. The phase space $\mathcal{M}$ can be covered by three sets: a `non-resonant' set, which is filled up to an exponentially small set of measure $e^{-c K}$ (where $K$ is the maximal size of resonances considered) by primary maximal KAM tori; a `simply resonant set' of measure $\sqrt{\varepsilon} K^a$ and a third set of measure $\varepsilon K^b$ which is `non perturbative', in the sense that the $H$-dynamics on it can be described by a natural system which is {\sl not} nearly-integrable. We then focus on the simply resonant set -- the dynamics of which is particularly interesting (e.g., for Arnol'd diffusion, or the existence of secondary tori) -- and show that on such a set the secular (averaged) 1 degree-of-freedom Hamiltonians (labelled by the resonance index $k\in\mathbb{Z}^n$) can be put into a universal form (which we call `Generic Standard Form'), whose main analytic properties are controlled by {\sl only one parameter, which is uniform in the resonance label $k$}.
We discuss the holomorphic properties of the complex continuation of the classical Arnol'd-Liouville action-angle variables for real analytic 1 degree--of--freedom Hamiltonian systems depending on external parameters in suitable `generic standard form', with particular regard to the behaviour near separatrices.
In this note we present and briefly discuss results, which include as a particular case the theorem announced in [L. Biasco, and L. Chierchia. On the measure of Lagrangian invariant tori in nearly-integrable mechanical systems. Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 26 (2015), 1-10], concerning the typical behaviour of nearly-integrable mechanical systems with generic analytic potentials.
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.
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 consider a 1D mechanical system $$\bar {\mathtt H}(\mathtt P,\mathtt Q)=\mathtt P^2+\bar {\mathtt G}(\mathtt Q)$$ in action-angle variable $(\mathtt P,\mathtt Q)$ where $\bar {\mathtt G}$ is a $2\pi$-periodic analytic function with non degenerate critical points. Then, we consider a small analytic perturbation of $\bar {\mathtt H}$ of the form $${\mathtt H}^*(\mathtt P,\mathtt Q;\hat{\mathtt P}) = \mathtt P^2+\bar {\mathtt G}(\mathtt Q)+ \eta {\mathtt F} (\mathtt P,\mathtt Q;\hat{\mathtt P})=:\mathtt P^2 + {\mathtt G}^*(\mathtt P,\mathtt Q;\hat{\mathtt P})\,, \qquad \eta\ll 1\ ,$$ where the perturbed potential $ {\mathtt G}^*$ may depend on the action $\mathtt P$ and also on parameters $\hat{\mathtt P}$ ("the adiabatic actions"); indeed, this is the form of a finite dimensional mechanical system close to an exact simple resonance after averaging over fast angles and disregarding the exponentially small remainder, see [5]. Up to a finite number of separatrices and elliptic/hyperbolic points the phase space of ${\mathtt H}^*$ is divided into a finite number of open connected components foliated by invariant circles. On every connected component we perform a (Arnold-Liouville) symplectic action-angle transformation which integrates the system. We give a complete and quantitative description of the analyticity properties of such integrating transformations, estimating, in particular, how such transformations differ from the integrating transformation for $\bar {\mathtt H}$; compare Theorem 6.1 below.
A conjecture of Arnold, Kozlov and Neishtadt on the exponentially small measure of the non-torus set in analytic systems with two degrees of freedom is discussed.
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.
In [3] (Rend. Lincei Mat. Appl. 26 (2015), 1-10; see also arXiv:1503.08145 [math.DS]) the following result has been announced: Theorem. Consider a real-analytic nearly-integrable mechanical system with potential $f$, namely, a Hamiltonian system with real-analytic Hamiltonian $$H(y,x)=\frac12 \sum_{i=1}^n y_i^2 +\epsilon f(x)\ ,$$ $(y,x)\in{\mathbb R}^n\times{\mathbb T}^n$ being standard action--angle variables. For "general non-degenerate" potentials $f$'s there exists $\epsilon_0,a>0$ such that, if $0<\epsilon<\epsilon_0$, then the Liouville measure of the complementary of $H$-invariant tori is smaller than $\epsilon|\log \epsilon|^a$. In this paper we provide a proof of such result.
From KAM Theory it follows that the measure of phase points which do not lie on Diophantine, Lagrangian, "primary" tori in a nearly--integrable, real--analytic Hamiltonian system is $O(\sqrt{\varepsilon})$, if $\varepsilon$ is the size of the perturbation. In this paper we discuss how the constant in front of $\sqrt{\varepsilon}$ depends on the unperturbed system and in particular on the phase--space domain.
In the mathematical framework of a restricted, slightly dissipative spin-orbit model, we prove the existence of periodic orbits for astronomical parameter values corresponding to all satellites of the Solar system observed in exact spin-orbit resonance.
In this note we present a new KAM result which proves the existence of Cantor families of small amplitude, analytic, quasi-periodic solutions of derivative wave equations, with zero Lyapunov exponents and whose linearized equation is reducible to constant coefficients. In turn, this result is derived by an abstract KAM theorem for infinite dimensional reversible dynamical systems.
We prove an infinite dimensional KAM theorem which implies the existence of Cantor families of small-amplitude, reducible, elliptic, analytic, invariant tori of Hamiltonian derivative wave equations
We prove, under suitable non-resonance and non-degeneracy ``twist'' conditions, a Birkhoff-Lewis type result showing the existence of infinitely many periodic solutions, with larger and larger minimal period, accumulating onto elliptic invariant tori (of Hamiltonian systems). We prove the applicability of this result to the spatial planetary three-body problem in the small eccentricity-inclination regime. Furthermore, we find other periodic orbits under some restrictions on the period and the masses of the ``planets''. The proofs are based on averaging theory, KAM theory and variational methods. (Supported by M.U.R.S.T. Variational Methods and Nonlinear Differential Equations.)
We consider non-isochronous, nearly integrable, a-priori unstable Hamiltonian systems with a (trigonometric polynomial) $O(μ)$-perturbation which does not preserve the unperturbed tori. We prove the existence of Arnold diffusion with diffusion time $ T_d = O((1/ μ) \log (1/ μ))$ by a variational method which does not require the existence of ``transition chains of tori'' provided by KAM theory. We also prove that our estimate of the diffusion time $T_d $ is optimal as a consequence of a general stability result derived from classical perturbation theory.