Existence of C^1,1 critical subsolutions in discrete weak KAM theory

DOI10.3934/JMD.2010.4.693MaRDI QIDQ630030zbMATH OpenOpenAlexFDO

Authors Maxime Zavidovique

Publication date 10 March 2011

Published in Journal of Modern Dynamics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1004.0086

zbMATH Keywords

Aubry-Mather theorycritical subsolutionsdiscrete weak KAM theoryHamiltonian and Lagrangian dynamicsIlmanen's Lemmatwist maps

Mathematics Subject Classification ID

Stability of topological dynamical systems (37B25) Dynamical aspects of twist maps (37E40)

Abstract: In this article, following a first work of the author, we study critical subsolutions in discrete weak KAM theory. In particular, we establish that if the cost function $c:MimesMoR$ defined on a smooth connected manifold is locally semi-concave and verifies twist conditions, then there exists a $C^{1,1}$ critical subsolution strict on a maximal set (namely, outside of the Aubry set). We also explain how this applies to costs coming from Tonelli Lagrangians. Finally, following ideas introduced in the work of Fathi-Maderna and Mather, we study invariant cost functions and apply this study to certain covering spaces, introducing a discrete analogue of Mather's $alpha$ function on the cohomology.

Review text

Let \(M\) be a smooth connected and complete Riemannian manifold and let \(c:M\times M \rightarrow \mathbb{R}\) be a locally semiconcave cost function i.e. in small enough charts \(c\) is the sum of a smooth and a concave function. Suppose also that \(c\) satisfies the conditions of uniform superlinearity and uniform boundedness. The function \(u\) is an \(\alpha \)-subsolution for \(c\) if \(u(y)-u(x)\leq c(x, y)+\alpha \) for all \((x, y)\in M\times M\). The critical constant \(\alpha [0]\) is the smallest constant such that there exist \(\alpha \)-subsolutions. The main result of the paper under review is: There is a \(C^{1, 1}\) function \(u_1:M\rightarrow \mathbb{R}\) which is an \(\alpha [0]\)-subsolution such that for every \((x, y)\in M\times M\) and for every \(\alpha [0]\)-subsolution \(u\), the following implication holds: \(u(y)-u(x)<c(x, y)+\alpha [0]\Longrightarrow u_1(y)-u_1(x)<c(x, y)+\alpha [0]\).

Recommendations

• Strict sub-solutions and Mañé potential in discrete weak KAM theory
• Regularization of subsolutions in discrete weak KAM theory
• Existence of \(C^1\) critical subsolutions of the Hamilton-Jacobi equation
• L^∞ variational problems and weak KAM theory
• scientific article; zbMATH DE number 5263201
• The existence of global solutions to the Cauchy problem for discrete kinetic equations (nonperiodic case)
• Regularity of weak KAM solutions and Mañé's conjecture
• Existence of homoclinic solutions for the discrete \(p(k)\)-Laplacian operator
• Weak homoclinic solutions to discrete nonlinear problems of Kirchhoff type with variable exponents
• The existence of global weak solutions for a weakly dissipative Camassa-Holm equation in \(H^1(\mathbb R)\)

Cited in

(7)

• Existence of \(C^1\) critical subsolutions of the Hamilton-Jacobi equation
• Global results for eikonal Hamilton-Jacobi equations on networks
• Weak K. A. M. solutions and minimizing orbits of twist maps
• Lasry-Lions regularization and a lemma of Ilmanen
• Strict sub-solutions and Mañé potential in discrete weak KAM theory
• Birkhoff conjecture for nearly centrally symmetric domains
• Discrete approximation of stochastic Mather measures

This page was built for publication: Existence of \(C^{1,1}\) critical subsolutions in discrete weak KAM theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q630030)