SearcharxivSearch

arXiv subjects

Maxime Zavidovique

Publications and source records attributed to Maxime Zavidovique.

At least 19 recordsLinked to original sources

Integrability for conformally symplectic systems

The goal of this paper is to study the dynamics of conformally symplectic Hamiltonian flows under the light of integrability. As the dynamics of conformally symplectic Hamiltonian flows are dissipative and differ fundamentally from their conservative counterpart we start by proposing several notions of integrability that are better suited to the problem. We will propose two notions of integrability: $C^1$-integrability and Hopf integrability, that depend on the existence of a global attractor and on its shape. Then our main theorem focuses on Tonelli Hamiltonians whose conformally symplectic flows do not have conjugate points. We prove that such flows are automatically Hopf integrable. The proof is geometric and studies the long time evolution of vertical subspaces under the flow. It also makes use of (discounted) weak KAM theory. We also establish several results about the asymptotic Maslov index for integrable conformally symplectic Hamiltonian flows. Finally, we describe some examples to illustrate differences between symplectic and conformally symplectic Hamiltonian flows and to illustrate the pertinence of our definitions of integrability.

math.DS

Static class-guided selection of elementary solutions in non-monotone vanishing discount problems

We study a generalized vanishing discount problem for Hamilton--Jacobi equations, removing the standard monotonicity assumption, either in a global sense or when integrated against all Mather measures. Specifically, we consider \[ \lambda a(x)u(x)+H(x,Du(x))-A\lambda=c_0, \] with a suitably chosen constant $A>0$. By appropriately changing the signs of the function $a(x)$ on different static classes associated with $H$, we show that the maximal viscosity solution converges uniformly as $\lambda\to 0^+$ and that all elementary solutions of the stationary equation \[ H(x,Du(x))=c_0 \] can be selected as limits. This provides the first result for selecting multiple viscosity solutions in vanishing discount problems beyond the usual monotonicity and integral assumptions, as long as $a(x)$ is positive on one static class. Our results highlight the crucial role of static classes in controlling the asymptotic behavior of viscosity solutions. Previously, under usual monotonicity assumptions, only a single solution could be selected (as discussed in \cite{GL}), whereas our approach allows controlled selection of multiple solutions via static class-guided discount coefficients.

math.AP

Convergence/divergence phenomena in the vanishing discount limit of Hamilton-Jacobi equations

We study the asymptotic behavior of solutions of an equation of the form \begin{equation}\label{abs}\tag{*} G\big(x, D_x u,λu(x)\big) = c_0\qquad\hbox{in $M$} \end{equation} on a closed Riemannian manifold $M$, where $G\in C(T^*M\times\mathbb{R})$ is convex and superlinear in the gradient variable, is globally Lipschitz but not monotone in the last argument, and $c_0$ is the critical constant associated with the Hamiltonian $H:=G(\cdot,\cdot,0)$. By assuming that $\partial_u G(\cdot,\cdot,0)$ satisfies a positivity condition of integral type on the Mather set of $H$, we prove that any equi-bounded family of solutions of \eqref{abs} uniformly converges to a distinguished critical solution $u_0$ as $λ\to 0^+$. We furthermore show that any other possible family of solutions uniformly diverges to $+\infty$ or $-\infty$. We then look into the linear case $G(x,p,u):=a(x)u + H(x,p)$ and prove that the family $(u_λ)_{λ\in (0,λ_0)}$ of maximal solutions to \eqref{abs} is well defined and equi-bounded for $λ_0>0$ small enough. When $a$ changes sign and enjoys a stronger localized positivity assumption, we show that equation \eqref{abs} does admit other solutions too, and that they all uniformly diverge to $-\infty$ as $λ\to 0^+$. This is the first time that converging and diverging families of solutions are shown to coexist in such a generality.

math.AP

Nonlinear and degenerate discounted approximation in discrete weak KAM theory

In this paper, we introduce a discrete version of the nonlinear implicit Lax-Oleinik operator. We consider the associated vanishing discount problem with a non-degenerate condition and prove convergence of solutions as the discount factor goes to $0$. We also discuss the uniqueness of the discounted solution. The convergence result is a selection principle for fixed points of a family of nonlinear operators.

math.OC

Discrete and Continuous Weak KAM Theory: an introduction through examples and its applications to twist maps

The aim of these notes is to present a self contained account of discrete weak KAM theory. Put aside the intrinsic elegance of this theory, it is also a toy model for classical weak KAM theory, where many technical difficulties disappear, but where central ideas and results persist. It can therefore serve as a good introduction to (continuous) weak KAM theory. After a general exposition of the general abstract theory, several examples are studied. The last section is devoted to the historical problem of conservative twist maps of the annulus. At the end of the first three Chapters, the relations between the results proved in the discrete setting and the analogous theorems of classical weak KAM theory are discussed. Some key differences are also highlighted between the discrete and classical theory. Those results are new. The text also contains other results never published before, such as the convergence of solutions of discounted equations for degenerate perturbations.

math.DS

Convergence of the solutions of the nonlinear discounted Hamilton-Jacobi equation: The central role of Mather measures

Given a continuous Hamiltonian $H : (x,p,u) \mapsto H(x,p,u)$ defined on $ T^*M \times \mathbb R $, where $M$ is a closed connected manifold, we study viscosity solutions, $u_λ: M\to \mathbb R$, of discounted equations: $ H(x, d_x u_λ, λu_λ(x))=c$ in $M$, where $λ>0$ is called a discount factor and $c$ is the critical value of $H(\cdot, \cdot , 0)$. When $H$ is convex and superlinear in $p$ and non--decreasing in $u$, under an additional non--degeneracy condition, we obtain existence and uniqueness (with comparison principles) results of solutions and we prove that the family of solutions $(u_λ)_{λ>0}$ converges to a specific solution $u_0$ of $ H(x, d_x u_0, 0)=c$ in $M$. Our degeneracy condition requires $H$ to be increasing (in $u$) on localized regions linked to the support of Mather measures, whereas usual similar results are obtained for Hamiltonians that are everywhere increasing in $u$.

math.AP

Weak K.A.M. solutions and minimizing orbits of twist maps

For exact symplectic twist maps of the annulus, we etablish a choice of weak K.A.M. solutions $u_c=u(\cdot, c)$ that depend in a Lipschitz-continuous way on the cohomology class $c$. This allows us to make a bridge between weak K.A.M. theory of Fathi, Aubry-Mather theory for semi-orbits as developped by Bangert and existence of backward invariant pseudo-foliations as seen by Katnelson \& Ornstein. We deduce a very precise description of the pseudographs of the weak K.A.M. solutions and many interesting results as --the Aubry-Mather sets are contained in pseudographs that are vertically ordered by their rotation numbers; --on every image of a vertical of the annulus, there is at most two points whose negative orbit is minimizing with a given rotation number; --all the corresponding pseudographs are filled by minimizing semi-orbits and we provide a description of a smaller selection of full pseudographs whose union contains all the minimizing orbits; --there exists an exact symplectic twist map that has a minimizing negative semi-orbit that is not contained in the pseudograph of a weak K.A.M. solution.

math.DS

Convergence of solutions for some degenerate discounted Hamilton--Jacobi equations

We study solutions of Hamilton--Jacobi equations of the form $$λα(x) u_λ(x) + H(x, D_x u_λ) = c,$$ where $α$ is a nonnegative function, $λ$ a positive constant, $c$ a constant and $H $ a convex coercive Hamiltonian. Under suitable conditions on $α$ we prove that the functions $u_λ$ converge as $λ\to 0$ to a function $u_0$ that is a solution of the critical equation $H(x, D_x u_0) = c$.

math.AP

Actions of symplectic homeomorphisms/diffeomorphisms on foliations by curves in dimension 2

The two main results of this paper concern the regularity of the invariant foliation of a C0-integrable symplectic twist diffeomorphisms of the 2-dimensional annulus, namely that $\bullet$ the generating function of such a foliation is C1 ; $\bullet$ the foliation is H{ö}lder with exponent 1/2. We also characterize foliations by graphs that are straightenable via a symplectic homeomorphism and prove that every symplectic homeomorphism that leaves invariant all the leaves of a straightenable foliation has Arnol'd-Liouville coordinates, in which the Dynamics restricted to the leaves is conjugated to a rotation. We deduce that every Lipschitz integrable symplectic twist diffeomorphisms of the 2-dimensional annulus has Arnol'd-Liouville coordinates and then provide examples of 'strange' Lipschitz foliations in smooth curves that cannot be straightened by a symplectic homeomorphism and cannot be invariant by a symplectic twist diffeomorphism.This article is a part of another preprint of the authors, entitled On the transversal dependence of weak K.A.M. solutions for symplectic twist maps, after rewriting ant adding of the H{ö}lder part.

math.DS

Fixed points of contractions approximating 1-Lipschitz maps

A $1$-Lipschitz map $f$ from a convex compact set to itself has fixed points. This consequence of Brouwer's or Schauder's fixed point theorem has more elementary proofs by approximating $f$ by $λ$-contractions, $f_λ$. We study the convergence of the fixed points of those contractions as they converge to $f$.

math.MG

On the transversal dependence of weak K.A.M. solutions for symplectic twist maps

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 example, we show that our choice is not the so-called discounted one (see \cite{DFIZ2}), that is sometimes discontinuous. We also provide examples of `strange' continuous foliations that cannot be straightened by a symplectic homeomorphism.

math.DS

Convergence of the solutions of discounted Hamilton--Jacobi systems

We consider a weakly coupled system of discounted Hamilton--Jacobi equations set on a closed Riemannian manifold. We prove that the corresponding solutions converge to a specific solution of the limit system as the discount factor goes to zero. The analysis is based on a generalization of the theory of Mather minimizing measures for Hamilton--Jacobi systems and on suitable random representation formulae for the discounted solutions.

math.AP

Random Lax--Oleinik semigroups for Hamilton--Jacobi systems

Following the random approach of Mitake, Siconolfi,Tran and Yamada, we define a Lax--Oleinik formula adapted to evolutive weakly coupled systems of Hamilton--Jacobi equations. It is reminiscent of the corresponding scalar formula, with the relevant difference that it has a stochastic character since it involves, loosely speaking, random switchings between the various associated Lagrangians. We prove that the related value functions are viscosity solutions to the system, and establish existence of minimal random curves under fairly general hypotheses. Adding Tonelli like assumptions on the Hamiltonians, we show differentiability properties of such minimizers, and existence of adjoint random curves. Minimizers and adjoint curves are trajectories of a twisted generalized Hamiltonian dynamics.

math.AP

Convergence of the solutions of the discounted equation

We consider a continuous coercive Hamiltonian $H$ on the cotangent bundle of the compact connected manifold $M$ which is convex in the momentum. If $u_λ:M\to\mathbb R$ is the viscosity solution of the discounted equation $$ λu_λ(x)+H(x,d_x u_λ)=c(H), $$ where $c(H)$ is the critical value, we prove that $u_λ$ converges uniformly, as $λ\to 0$, to a specific solution $u_0:M\to\mathbb R$ of the critical equation $$ H(x,d_x u)=c(H). $$ We characterize $u_0$ in terms of Peierls barrier and projected Mather measures.

math.AP

Aubry sets for weakly coupled systems of Hamilton--Jacobi equations

We introduce a notion of Aubry set for weakly coupled systems of Hamilton--Jacobi equations on the torus and characterize it as the region where the obstruction to the existence of globally strict critical subsolutions concentrates. As in the case of a single equation, we prove the existence of critical subsolutions which are strict and smooth outside the Aubry set. This allows us to derive in a simple way a comparison result among critical sub and supersolutions with respect to their boundary data on the Aubry set, showing in particular that the latter is a uniqueness set for the critical system. We also highlight some rigidity phenomena taking place on the Aubry set.

math.AP

Tonelli Hamiltonians without conjugate points and $C^0$ integrability

We prove that all the Tonelli Hamiltonians defined on the cotangent bundle $T^*\T^n$ of the $n$-dimensional torus that have no conjugate points are $C^0$ integrable, i.e. $T^*\T^n$ is $C^0$ foliated by a family $\Fc$ of invariant $C^0$ Lagrangian graphs. Assuming that the Hamiltonian is $C^\infty$, we prove that there exists a $G_δ$ subset $\Gc$ of $\Fc$ such that the dynamics restricted to every element of $\Gc$ is strictly ergodic. Moreover, we prove that the Lyapunov exponents of every $C^0$ integrable Tonelli Hamiltonian are zero and deduce that the metric and topological entropies vanish.

math.DS