If we perturb a completely integrable Hamiltonian system with two degrees of freedom, the perturbed flow might display, on every energy level, invariant sets that are laminations over Aubry-Mather sets of a Poincaré section of the flow. Each one of these laminations carry a unique invariant probability measure for the flow on which mixing is impossible in this low dimensional frame. We prove that if the Aubry-Mather set has exactly one orbit of gaps and is hyperbolic then the special flow over it with any smooth ceiling function will be conjugate to a suspension with a constant ceiling function, failing hence to be weak mixing or even topologically weak mixing. To the contrary, if the Aubry-Mather set has more than one orbit of gaps with at least two in a general position then the special flow over it will in general be weak mixing.
我们证明了约翰·马瑟在拉格朗日动力学中引入的所谓的Aubry集和Mane集是辛不变量。为此，我们在相空间中引入了一个障碍，并提出了非凸哈密顿系统的Aubry集和Mane集的定义。在montre que les ensembles dits d'Aubry et de Mane introduits par John Mather en dynamique Lagrangienne sont des invariants symplectiques.介绍了相位空间上的一个障碍，并定义了奥布里和马瑟的非凸哈密顿体系的系综。
We study autonomous Tonelli Lagrangians on closed surfaces. We aim to clarify the relationship between the Aubry set and the Mather set, when the latter consists of periodic orbits which are not fixed points. Our main result says that in that case the Aubry set and the Mather set almost always coincide.
In this article we develop an analogue of Aubry-Mather theory for a class of dissipative systems, namely conformally symplectic systems, and prove the existence of interesting invariant sets, which, in analogy to the conservative case, will be called the Aubry and the Mather sets. Besides describing their structure and their dynamical significance, we shall analyze their attracting/repelling properties, as well as their noteworthy role in driving the asymptotic dynamics of the system.
We consider the model of a point-vortex under a periodic perturbation and give sufficient conditions for the existence of generalized quasi-periodic solutions with rotation number. The proof uses Aubry-Mather theory to obtain the existence of a family of minimal orbits of the Poincaré map associated to the system.
In this paper we study minimax Aubry-Mather measures and its main properties. We consider first the discrete time problem and then the continuous time case. In the discrete time problem we establish existence, study some of the main properties using duality theory and present some examples. In the continuous time case, we establish both existence and non-existence results. First we give some examples that show that in continuous time stationary minimax Mather measures are either trivial or fail to exist. A more natural definition in continuous time are $T$-periodic minimax Mather measures. We …
Monotone lattice recurrence relations such as the Frenkel-Kontorova lattice, arise in Hamiltonian lattice mechanics as models for fe?rromagnetism and as discretization of elliptic PDEs. Mathematically, they are a multidimensional counterpart of monotone twist maps. They often admit a variational structure, so that the solutions are the stationary points of a formal action function. Classical Aubry-Mather theory establishes the existence of a large collection of solutions of any rotation vector. For irrational rotation vectors this is the well-known Aubry-Mather set. It consists of global minim…
We introduce a version of Aubry-Mather theory for the length functional of causal curves in compact Lorentzian manifolds. Results include the existence of maximal invariant measures, calibrations and calibrated curves. We prove two versions of the Mather's graph theorem. A class of examples, the Lorentzian Hedlund examples, shows the optimality of the obtained results.
Monotone variational recurrence relations such as the Frenkel-Kontorova lattice, arise in solid state physics, conservative lattice dynamics and as Hamiltonian twist maps. For such recurrence relations, Aubry-Mather theory guarantees the existence of solutions of every rotation number. They are the action minimizers that constitute the Aubry-Mather set. When the rotation number is irrational, the Aubry-Mather set is either connected or a Cantor set. A connected Aubry-Mather set is called a minimal foliation. In the case of twist maps, it describes an invariant circle, while in solid state phys…
We introduce a notion of weak Denjoy subsystem (WDS) that generalizes the Aubry-Mather Cantor sets to diffeomorphisms of manifolds. We explain how a rotation number can be associated to such a WDS. Then we build in any horseshoe a continuous one parameter family of such WDS that is indexed by its rotation number. Looking at the inverse problem in the setting of Aubry-Mather theory, we also prove that for a generic conservative twist map of the annulus, the majority of the Aubry-Mather sets are contained in some horseshoe that is associated to a Aubry-Mather set with a rational rotation number.
We consider uniformly (DC) or periodically (AC) driven generalized infinite elastic chains (a generalized Frenkel-Kontorova model) with gradient dynamics. We first show that the union of supports of all the invariant measures, denoted by A, projects injectively to a dynamical system on a 2-dimensional cylinder. We also prove existence of ergodic invariant measures supported on a set of rotationaly ordered configurations with an arbitrary (rational or irrational) rotation number. This shows that the Aubry-Mather structure of ground states persists if an arbitrary AC or DC force is applied. The …
We consider Aubry-Mather theory for a subclass of class A spacetimes, i.e. compact vicious spacetimes with globally hyperbolic Abelian cover. In this subclass, called class A_1, we obtain improved results on timelike maximizers and Lipschitz continuity of the time separation of the Abelian cover on the i.g. optimal subsets.
Aubry-Mather is traditionally concerned with Tonelli Hamiltonian (convex and super-linear). In \cite{Vi,MVZ}, Mather's $α$ function is recovered from the homogenization of symplectic capacities. This allows the authors to extend the Mather functional to non convex cases. This article shows that the relation between invariant measures and the subdifferential of Mather's functional (which is the foundational statement of Mather) is preserved in the non convex case. We give applications in the context of the classical KAM theory to the existence of invariant measures with large rotation vector af…
We present some streamlined proofs of some of the basic results in Aubry-Mather theory (existence of quasi-periodic minimizers, multiplicity results when there are gaps among minimizers) based on the study of hull functions. We present results in arbitrary number of dimensions We also compare the proofs and results with those obtained in other formalisms.
In the context of Mather's theory of Lagrangian systems, we study the decomposition in chain-transitive classes of the Mather invariant sets. As an application, we prove, under appropriate hypotheses, the semi-continuity of the so-called Aubry set as a function of the Lagrangian.
In this paper, we continue to develop Aubry-Mather and weak KAM theories for contact Hamiltonian systems $H(x,u,p)$ with certain dependence on the contact variable $u$. For the Lipschitz dependence case, we obtain some properties of the Mañé set. For the non-decreasing case, we provide some information on the Aubry set, such as the comparison property, graph property and a partially ordered relation for the collection of all projected Aubry sets with respect to backward weak KAM solutions. Moreover, we find a new flow-invariant set $\tilde{\mathcal{S}}_s$ consists of strongly static orbits, wh…
We describe a topological mechanism for the existence of diffusing orbits in a dynamical system satisfying the following assumptions: (i) the phase space contains a normally hyperbolic invariant manifold diffeomorphic to a two-dimensional annulus, (ii) the restriction of the dynamics to the annulus is an area preserving monotone twist map, (iii) the annulus contains sequences of invariant one-dimensional tori that form transition chains, i.e., the unstable manifold of each torus has a topologically transverse intersection with the stable manifold of the next torus in the sequence, (iv) the tra…
This paper is concerned with the study of Aubry-Mather and weak KAM theories for contact Hamiltonian systems with Hamiltonians $H(x,u,p)$ defined on $T^*M\times\mathbb{R}$, satisfying Tonelli conditions with respect to $p$ and $0<\frac{\partial H}{\partial u}\leqslant λ$ for some $λ>0$, where $M$ is a connected, closed and smooth manifold. First, we show the uniqueness of the backward weak KAM solutions of the corresponding Hamilton-Jacobi equation. Using the unique backward weak KAM solution $u_-$, we prove the existence of the maximal forward weak KAM solution $u_+$. Next, we analyse Aubry s…
We construct graph selectors for compact exact Lagrangians in the cotangent bundle of an orientable, closed manifold. The construction combines Lagrangian spectral invariants developed by Oh and results by Abouzaid about the Fukaya category of a cotangent bundle. We also introduce the notion of Lipschitz-exact Lagrangians and prove that these admit an appropriate generalization of graph selector. We then, following Bernard-Oliveira dos Santos, use these results to give a new characterization of the Aubry and Mane sets of a Tonelli Hamiltonian and to generalize a result of Arnaud on Lagrangians…
We obtain a large deviation function for the stationary measures of twisted Brownian motions associated to the Lagrangians $L_λ(p,v)=\frac{1}{2}g_{p}(v,v)- λω_{p}(v)$, where $g$ is a $C^{\infty}$ Riemannian metric in a compact surface $(M,g)$ with nonpositive curvature, $ω$ is a closed 1-form such that the Aubry-Mather measure of the Lagrangian $L(p,v)=\frac{1}{2}g_{p}(v,v)-ω_{p}(v)$ has support in a unique closed geodesic $γ$; and the curvature is negative at every point of $M$ but at the points of $γ$ where it is zero. We also assume that the Aubry set is equal to the Mather set. The large d…
These are notes for a minicourse given at Regional Norte UdelaR in Salto, Uruguay for the conference CIMPA Research School-Hamiltonian and Lagrangian Dynamics. We will present Birkhoff and Aubry-Mather theory for the conservative twist maps of the 2-dimensional annulus and focus on what happens close to the Aubry-Mather sets: definition of the Green bundles, link between hyperbolicity and shape of the Aubry-Mather sets, behaviour close to the boundaries of the instability zones. We will also give some open questions. This course is the second part of a minicourse that was begun by R. Potrie. S…
On a non-compact, smooth, connected, boundaryless, complete Riemannian manifold $(M,g)$, one can define its ideal boundary by rays (or equivalently, Busemann functions). From the viewpoint of Mather theory, boundary elements could be regarded as the static classes of Aubry sets, and thus lines should be think as the semi-statics curves connecting different static classes. In Mather theory, one core property is Lipschitz graph property for Aubry sets and for some kind of semi-static curves. In this article, we prove a such kind of result for a set of lines which connect the same pair of boundar…
Dense periodic optimization for countable Markov shift via Aubry points
Institute of Mathematics, Statistics and Scientific Computing, University of Campinas（坎皮纳斯大学数学、统计与科学计算研究所）；Center of Exact and Technological Sciences, Federal University of Recôncavo da Bahia（巴伊亚河谷联邦大学精确与科学技术中心）
We study the structure of the Mather and Aubry sets for the family of lagrangians given by the kinetic energy associated to a riemannian metric $ g$ on a closed manifold $ M$. In this case the Euler-Lagrange flow is the geodesic flow of $(M,g)$. We prove that there exists a residual subset $ \mathcal G$ of the set of all conformal metrics to $g$, such that, if $ \overline g \in \mathcal G$ then the corresponding geodesic flow has a finitely many ergodic c-minimizing measures, for each non-trivial cohomology class $ c \in H^1(M,\mathbb{R})$. This implies that, for any $ c \in H^1(M,\mathbb{R})$…
We consider a family of continuous time symmetric random walks indexed by $k\in \mathbb{N}$, $\{X_k(t),\,t\geq 0\}$. For each $k\in \mathbb{N}$ the matching random walk take values in the finite set of states $Γ_k=\frac{1}{k}(\mathbb{Z}/k\mathbb{Z})$ which is a subset of the unitary circle. The stationary probability for such process converges to the uniform distribution on the circle, when $k\to \infty$. We disturb the system considering a fixed $C^2$ potential $V: \mathbb{S}^1 \to \mathbb{R}$ and we will denote by $V_k$ the restriction of $V$ to $Γ_k$. Then, we define a non-stochastic semigr…
In this paper we investigate the asymptotic behavior of the semi-classical limit of Wigner measures defined on the tangent bundle of the one-dimensional torus. In particular we show the convergence of Wigner measures to the Mather measure on the tangent bundle, for energy levels above the minimum of the effective Hamiltonian. The Wigner measures $μ_h$ we consider are associated to $ψ_h,$ a distinguished critical solution of the Evans' quantum action given by $ψ_h=a_h\,e^{i\frac{u_h}h}$, with $a_h(x)=e^{\frac{v^*_h(x)-v_h(x)}{2h}}$, $u_h(x)=P\cdot x+\frac{v^*_h(x)+v_h(x)}{2},$ and $v_h,v^*_h$ s…
We show that the Aubry sets, the Mañé sets, Mather's barrier functions are the same for two commuting autonomous Tonelli Hamiltonians. We also show the quasi-linearity of $α$-functions from the dynamical point of view and the existence of common $C^{1,1}$ critical subsolution for their associated Hamilton-Jacobi equations.
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 ingredie…
Consider the effective Hamiltonian $\overline H(p)$ associated with the mechanical Hamiltonian $H(p,x)={1\over 2}|p|^2+V(x)$. We prove that for generic $V$, $\overline H$ is piecewise 1d in a dense open set in two dimensions using Aubry-Mather theory.
In this paper we apply KAM theory and the Aubry-Mather theory for twist maps to the study of bound geodesic dynamics of a perturbed blackhole background. The general theories apply mainly to two observable phenomena: the photon shell (unstable bound spherical orbits) and the quasi-periodic oscillations. We discover there is a gap structure in the photon shell that can be used to reveal information of the perturbation.
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.
For two commuting Tonelli Hamiltonians, we recover the commutation of the Lax-Oleinik semi-groups, a result of Barles and Tourin ([BT01]), using a direct geometrical method (Stoke's theorem). We also obtain a "generalization" of a theorem of Maderna ([Mad02]). More precisely, we prove that if the phase space is the cotangent of a compact manifold then the weak KAM solutions (or viscosity solutions of the critical stationary Hamilton-Jacobi equation) for G and for H are the same. As a corrolary we obtain the equality of the Aubry sets, of the Peierls barrier and of flat parts of Mather's $α$ fu…
For a symplectic twist map, we prove that there is a choice of weak K.A.M. solutions that depend in a continuous way on the cohomology class. We thus obtain a continuous function $u(θ, c)$ in two variables: the angle $θ$ and the cohomology class $c$. As a result, we prove that the Aubry-Mather sets are contained in pseudographs that are vertically ordered by their rotation numbers. Then we characterize the $C^0$ integrable twist maps in terms of regularity of $u$ that allows to see $u$ as a generating function. We also obtain some results for the Lipschitz integrable twist maps. With an exampl…
