Symplectic Homogenization

Abstract

Let H(q, p) be a Hamiltonian on T * T n . Under suitable assumptions on H, we show that the sequence (H k ) k⩾1 defined by H k (q, p) = H(kq, p) converges in the γ-topology-defined in [Vit92]-to an integrable continuous Hamiltonian H(p). This is extended to the case of nonautonomous Hamiltonians, and the more general setting in which only some of the variables are homogenized: we consider the sequence H(kx, y, q, p) and prove it has a γ-limit H(y, q, p), thus yielding an "effective Hamiltonian". The goal of this paper is to prove convergence of the above sequences, state the first properties of the homogenization operator, and give some applications to solutions of Hamilton-Jacobi equations, construction of quasi-states, etc. We also prove that when H is convex in p, the function H coincides with Mather's α function defined in [Mat91] and associated to the Legendre dual of H. This gives a new proof-in the torus case-of its symplectic invariance first discovered by P. Bernard in [Ber07].Résumé (Homogénéisation symplectique). -Soit H(q, p) un hamiltonien défini sur T * T n . Sous des hypothèses convenables, on montre que la suite (H k ) k⩾1 définie par H k (q, p) = H(kq, p) converge pour la topologie γ, définie dans [Vit92], vers un hamiltonien intégrable H(p). Ceci s'étend au cas de hamiltoniens non-autonomes, et au cas où seulement certaines variables sont homogénéisées : par exemple la suite H k (kx, y, px, py) qui dans ce cas aura une limite H(y, px, py), qui est un « hamiltonien effectif ». Le but de cet article est de démontrer la convergence de ces suites, ainsi que les premières propriétés de l'opérateur d'homogénéisation et d'en donner des applications aux solutions d'équations de Hamilton-Jacobi, aux quasi-états symplectiques, etc. On démontre aussi que lorsque H est convexe en p, la fonction H coïncide avec la fonction α de Mather (cf. [Mat91]) associée au dual de Legendre de H. Cela redémontre, dans le cas du tore, que cette fonction est symplectiquement invariante, comme l'avait démontré P. Bernard ([Ber07]) dans le cas général.