On the length of the geodesics of a metric of negative curvature on the disc. (Q1813316)

L'auteur démontre le résultat suivant: Soit \(D\) un disque compact dans \({\mathbb{R}}^ 2\) de classe \(C^ 2\) dont le bord est noté \(\partial D\). On munit \(D\) de deux métriques Riemanniennes, notées \(m\) et \(m'\), à courbure strictement négative. On suppose que les restrictions à \(\partial D\) des distances sur \(D\) relatives à \(m\) et à \(m'\) qui sont des fonctions sur \(\partial D\times \partial D\) sont égales. Alors il existe un difféomorphisme \(\phi\) de \(D\), laissant \(\partial D\) invariant point par point, qui transporte \(m\) sur \(m'\); c'est-à-dire que \(m\) et \(m'\) sont isométriques. La démonstration est délicate et nécessite plusieurs étapes: elle utilise la géométrie intégrale en mettant en relief le rôle essentiel de la mesure de Liouville sur la variété des géodésiques.