Action minimizing invariant measures for positive definite Lagrangian systems. John N. Mather (1991) Mathematische Zeitschrift