Integral geometry of pregeodesics on 2-manifolds (Q1374361)

Soit \(D\) une variété à bord de dimension deux, difféomorphe à un disque fermé du plan euclidien. Soit \(\Gamma\) une famille de courbes qui se comportent comme les géodésiques d'un disque riemannien de petit rayon (en particulier par deux points distincts de \(D\) il passe une seule courbe élément de \(\Gamma\)). Soit \(\mu\) une mesure sur \(\Gamma\) telle que la mesure des éléments de \(\Gamma\) passant par un point de \(\Gamma\) soit nulle. Si \((P,Q)\) est un couple de points de \(D\), on note \(F(P,Q)\) la \(\mu\)-mesure des éléments de \(\Gamma\) qui séparent \(P\) et \(Q\). La fonction \(F\) est clairement additive le long des éléments de \(\Gamma\), i.e. si \(P\), \(Q\) et \(R\) sont trois points de \(D\) pris dans cet ordre sur un élément de \(\Gamma\), on a \(F(P,R)= F(P, Q)+ F(Q,R)\). Si \(\mu\) est positive, \(F\) est une pseudo-distance continue sur \(D\), et les éléments de \(\Gamma\) sont des géodésiques de cette pseudo-distance. L'auteur établit la réciproque: toute pseudo-distance continue sur \(D\) pour laquelle les éléments de \(\Gamma\) sont des géodésiques s'obtient de cette manière. Plus généralement l'auteur donne des conditions nécessaires et suffisantes pour qu'une fonction additive le long des éléments de \(\Gamma\) soit engendré par une mesure \(\mu\) signée. Cette condition est explicitée dans le cas où \(\Gamma\) est la famille des géodésiques d'une surface riemannienne à courbure constante. Finalement, lorsque \(D\) est un disque du plan euclidien, il est donné des conditions suffisantes sur \(\Gamma\) pour qu'il existe sur \(D\) une métrique riemannienne conforme à la métrique euclidienne.