arXiv subjects
Publications and source records attributed to Vadim Kaloshin.
We explicitely construct an example of an analytic metric on $T^2$ which is non-separable but it is locally integrable on an energy surface. The construction is based on a KAM-like approach and a careful control on what happens on the energy surface.
The restricted planar elliptic three body problem (RPETBP) describes the motion of a massless particle (a comet) under the gravitational field of two massive bodies (the primaries, say the Sun and Jupiter) revolving around their center of mass on elliptic orbits with some positive eccentricity. The aim of this paper is to show the existence of orbits whose angular momentum performs arbitrary excursions in a large region. In particular, there exist diffusive orbits, that is, with a large variation of angular momentum. The leading idea of the proof consists in analysing parabolic motions of the comet. By a well-known result of McGehee, the union of future (resp. past) parabolic orbits is an analytic manifold. In a properly chosen coordinate system these manifolds are stable (resp. unstable) manifolds of a manifold at infinity $P_\infty$, which we call manifold at parabolic infinity. On this manifold, it is possible to define two scattering maps, which contain the map structure of the homoclinic trajectories to it, i.e. orbits parabolic both in the future and the past. Since the inner dynamics inside $P_\infty$ is trivial, two different scattering maps are used. The combination of these two scattering maps permits the design of the desired diffusive pseudo-orbits. Using shadowing techniques and these pseudo orbits we show the existence of true trajectories of the RPETBP whose angular momentum varies in any predetermined fashion.
In the present paper we prove a strong form of Arnold diffusion. Let $\mathbb{T}^2$ be the two torus and $B^2$ be the unit ball around the origin in $\mathbb{R}^2$. Fix $ρ>0$. Our main result says that for a "generic" time-periodic perturbation of an integrable system of two degrees of freedom \[ H_0(p)+εH_1(θ,p,t),\quad \ θ\in \mathbb{T}^2,\ p\in B^2,\ t\in \mathbb{T}, \] with a strictly convex $H_0$, there exists a $ρ$-dense orbit $(θ_ε,p_ε,t)(t)$ in $\mathbb{T}^2 \times B^2 \times \mathbb{T}$, namely, a $ρ$-neighborhood of the orbit contains $\mathbb{T}^2 \times B^2 \times \mathbb{T}$. Our proof is a combination of geometric and variational methods. The fundamental elements of the construction are usage of crumpled normally hyperbolic invariant cylinders from \cite{BKZ}, flower and simple normally hyperbolic invariant manifolds from as well as their kissing property at a strong double resonance. This allows us to build a "connected" net of $3$-dimensional normally hyperbolic invariant manifolds. To construct diffusing orbits along this net we employ a version of Mather variational method \cite{Ma2} proposed by Bernard in \cite{Be}. This version is equipped with weak KAM theory \cite{Fa}.
The classical Birkhoff conjecture claims that the boundary of a strictly convex integrable billiard table is necessarily an ellipse (or a circle as a special case). In this article we prove a complete local version of this conjecture: a small integrable perturbation of an ellipse must be an ellipse. This extends and completes the result in [3], where nearly circular domains were considered. One of the crucial ideas in the proof is to extend action-angle coordinates for elliptic billiards into complex domains (with respect to the angle), and to thoroughly analyze the nature of their complex singularities. As an application, we are able to prove some spectral rigidity results for elliptic domains.
The Birkhoff conjecture says that the boundary of a strictly convex integrable billiard table is necessarily an ellipse. In this article, we consider a stronger notion of integrability, namely integrability close to the boundary, and prove a local version of this conjecture: a small perturbation of an ellipse of small eccentricity which preserves integrability near the boundary, is itself an ellipse. This extends the result in [1], where integrability was assumed on a larger set. In particular, it shows that (local) integrability near the boundary implies global integrability. One of the crucial ideas in the proof consists in analyzing Taylor expansion of the corresponding action-angle coordinates with respect to the eccentricity parameter, deriving and studying higher order conditions for the preservation of integrable rational caustics.
For any strictly convex planar domain $Ω\subset \mathbb{R}^2$ with a $C^\infty$ boundary one can associate an infinite sequence of spectral invariants introduced by Marvizi-Merlose. These invariants can generically be determined using the spectrum of the Dirichlet problem of the Laplace operator. A natural question asks if this collection is sufficient to determine $Ω$ up to isometry. In this paper we give a counterexample, namely, we present two non-isometric domains $Ω$ and $\bar Ω$ with the same collection of Marvizi-Melrose invariants. Moreover, each domain has countably many periodic orbits $\{S^n\}_{n \geqslant 1}$ (resp. $\{ \bar S^n\}_{n \geqslant 1}$) of period going to infinity such that $ S^n $ and $ \bar S^n $ have the same period and perimeter for each $ n $.
For symmetrically analytic deformation of the circle (with certain Fourier decaying rate), the necessary condition for the corresponding billiard map to keep the coexistence of periodic $2,3$ caustics is that the deformation has to be an isometric transformation.
In this paper we propose a model of random compositions of cylinder maps, which in the simplified form is as follows: let $(θ,r)\in \mathbb T\times \mathbb R=\mathbb A$ and \[ f_{\pm 1}: \left(\begin{array}{c}θ\\r\end{array}\right) \longmapsto \left(\begin{array}{c}θ+r+\varepsilon u_{\pm 1}(θ,r) \\ r+\varepsilon v_{\pm 1}(θ,r) \end{array}\right), \] where $u_\pm$ and $v_\pm$ are smooth and $v_\pm$ are trigonometric polynomials in $θ$ such that $\int v_\pm(θ,r)\,dθ=0$ for each $r$. We study the random compositions \[ (θ_n,r_n)=f_{ω_{n-1}}\circ \dots \circ f_{ω_0}(θ_0,r_0), \] where $ω_k =\pm 1$ with equal probability. We show that under non-degeneracy hypotheses and away from resonances for $n\sim \varepsilon^{-2}$ the distributions of $r_n-r_0$ weakly converge to a stochastic diffusion process with explicitly computable drift and variance. In the case $u_\pm(θ)=v_\pm(θ)$ are trigonometric polynomials of zero average we prove a vertical central limit theorem, namely, for $n\sim \varepsilon^{-2}$ the distributions of $r_n-r_0$ weakly converge to the normal distribution $\mathcal N(0,σ^2)$ with $σ^2=\frac14\int (v_+(θ)-v_-(θ))^2\,dθ$.} The considered random model up to higher order terms in $\varepsilon$ is conjugate to a restrictions to a Normally Hyperbolic Invariant Lamination of the generalized Arnold example. Combining the result of this paper with [8,23,28] we show formation of stochastic diffusive behaviour for the generalized Arnold example.
We show that any sufficiently (finitely) smooth $\mathbb Z_2$-symmetric strictly convex domain sufficiently close to a circle is dynamically spectrally rigid, i.e. all deformations among domains in the same class which preserve the length of all periodic orbits of the associated billiard flow must necessarily be isometric deformations. This gives a partial answer to a question of P. Sarnak.
In this paper we show that for a generic strictly convex domain, one can recover the eigendata corresponding to Aubry-Mather periodic orbits of the induced billiard map, from the (maximal) marked length spectrum of the domain.
The classical Birkhoff conjecture says that the only integrable convex domains are circles and ellipses. In the paper we show that this a version of this conjecture is true for small perturbations of ellipses of small eccentricity.
In this paper we study existence of Normally Hyperbolic Invariant Laminations (NHIL) for a nearly integrable system given by the product of the pendulum and the rotator perturbed with a small coupling between the two. This example was introduced by Arnold. Using a {\it separatrix map}, introduced in a low dimensional case by Zaslavskii-Filonenko and studied in a multidimensional case by Treschev and Piftankin, for an open class of trigonometric perturbations we prove that NHIL do exist. Moreover, using a second order expansion for the separatrix map from [GKZ], we prove that the system restricted to this NHIL is a skew product of nearly integrable cylinder maps. Application of the results from [CK] about random iteration of such skew products show that in the proper $\varepsilon$-dependent time scale the push forward of a Bernoulli measure supported on this NHIL weakly converges to an Ito diffusion process on the line as $\varepsilon$ tends to zero.
It is well known that instabilities of nearly integrable Hamiltonian systems occur around resonances. Dynamics near resonances of these systems is well approximated by the associated averaged system, called slow system. Each resonance is defined by a basis (a collection of integer vectors). We introduce a class of resonances whose basis can be divided into two well separated groups and call them dominant. We prove that the associated slow system can be well approximated by a subsystem given by one of the groups, both in the sense of the vector field and weak KAM theory. One of crucial ingredients of proving Arnold diffusion is understanding the structure of invariant (Aubry) sets of nearly integrable systems. As an important application we construct a diffusion path for a generic nearly integrable system such that invariant (Aubry) sets along this path have a "simple" structure similar to the structure of Aubry-Mather sets of twist maps. This is a crucial ingredient in proving Arnold diffusion for convex Hamiltonians in any number of degrees
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.
Consider a sufficiently smooth nearly integrable Hamiltonian system of two and a half degrees of freedom in action-angle coordinates \[ H_ε(φ,I,t)=H_0(I)+εH_1(φ,I,t), φ\in T^2,\ I\in U\subset R^2,\ t\in T=R/Z. \] Kolmogorov-Arnold-Moser Theorem asserts that a set of nearly full measure in phase space consists of three dimensional invariant tori carrying quasiperiodic dynamics. In this paper we prove that for a class of nearly integrable Hamiltonian systems there is an orbit which contains these KAM tori in its $ω$-limit set. This implies that the closure of the orbit has almost full measure in the phase space. As byproduct, we show that KAM tori are Lyapunov unstable. The proof relies in the recent developments in the study of Arnold diffusion in nearly integrable systems Bernard-Kaloshin-Zhang, Kaloshin-Zhang12. It is a combination of geometric and variational techniques.
In this paper, we study small perturbations of a class of non-convex integrable Hamiltonians with two degrees of freedom, and we prove a result of diffusion for an open and dense set of perturbations, with an optimal time of diffusion which grows linearly with respect to the inverse of the size of the perturbation.
We study the dynamics of the restricted planar three-body problem near mean motion resonances, i.e. a resonance involving the Keplerian periods of the two lighter bodies revolving around the most massive one. This problem is often used to model Sun--Jupiter--asteroid systems. For the primaries (Sun and Jupiter), we pick a realistic mass ratio $μ=10^{-3}$ and a small eccentricity $e_0>0$. The main result is a construction of a variety of non local diffusing orbits which show a drastic change of the osculating (instant) eccentricity of the asteroid, while the osculating semi major axis is kept almost constant. The proof relies on the careful analysis of the circular problem, which has a hyperbolic structure, but for which diffusion is prevented by KAM tori. We verify certain non-degeneracy conditions numerically. Based on the work of Treschev, it is natural to conjecture that diffusion time for this problem is $\sim \frac{-\ln (μe_0)}{μ^{3/2} e_0}$. We expect our instability mechanism to apply to realistic values of $e_0$ and we give heuristic arguments in its favor. If so, the applicability of Nekhoroshev theory to the three-body problem as well as the long time stability become questionable. It is well known that, in the Asteroid Belt, located between the orbits of Mars and Jupiter, the distribution of asteroids has the so-called Kirkwood gaps exactly at mean motion resonances of low order. Our mechanism gives a possible explanation of their existence. To relate the existence of Kirkwood gaps with Arnold diffusion, we state a conjecture on its existence for a typical $\eps$-perturbation of the product of a pendulum and a rotator. Namely, we predict that a positive conditional measure of initial conditions concentrated in the main resonance exhibits Arnold diffusion on time scales $\frac{- \ln \eps}{\eps^{2}}$.
We consider the cubic defocusing nonlinear Schrödinger equation in the two dimensional torus. Fix $s>1$. Colliander, Keel, Staffilani, Tao and Takaoka proved in \cite{CollianderKSTT10} the existence of solutions with $s$-Sobolev norm growing in time. We establish the existence of solutions with polynomial time estimates. More exactly, there is $c>0$ such that for any $\mathcal{K}\gg 1$ we find a solution $u$ and a time $T$ such that $\| u(T)\|_{H^s}\geq\mathcal{K} \| u(0)\|_{H^s}$. Moreover, time $T$ satisfies polynomial bound $0<T<\mathcal{K}^c$.