Lasry-Lions regularization and a lemma of Ilmanen
We show that the Birkhoff normal form near a positive definite KAM torus is given by the function of Mather. This observation is due to Siburg [Si2], [Si1] in dimension 2. It clarifies the link between the Birkhoff invariants and the action spectrum near the torus. Our extension to high dimension is made possible by a simplification of the proof given in [Si2].
We generalize to higher dimension results of Birkhoff and Mather on the existence of orbits wandering in regions of instability of twist maps. This generalization is strongly inspired by the one proposed by Mather. However, its advantage is that it contains most of the results of Birkhoff and Mather on twist maps.
This text is the act of a talk given november 18 2008 at the seminar PDE of Ecole Polytechnique. The text is not completely faithfull to the oral exposition for I have taken this opportunity to present the proofs of some results that are not easy to find in the literature. On the other hand, I have been less precise on the material for which I found good references. Most of the novelties presented here come from a joined work with Luigi Ambrosio.
We study the Monge transportation problem when the cost is the action associated to a Lagrangian function on a compact manifold. We show that the transportation can be interpolated by a Lipschitz lamination. We describe several direct variational problems the minimizers of which are these Lipschitz laminations. We prove the existence of an optimal transport map when the transported measure is absolutely continuous. We explain the relations with Mather’s minimal measures.
Page 1