La notion d'angle dans une métrique géométrique quelconque. I, II, III, IV (Q569629)

Verf. betrachtet im \(n\)-dimensionalen \textit{Riemann}schen Raum das \((n-1)\)-fache Integral \[ \Omega = - \int ^{(n-1)}\dots \int \sum _{\alpha,\beta } (-1)^{\alpha } g^{\alpha \beta } \sqrt g \frac {\partial \psi (S)}{\partial x^{\beta }} \delta (x^1\dots x^{\alpha -1} x^{\alpha +1}\dots x^n). \] Darin bedeutet \(S=S(x;x_0)\) ein vollständiges Integral der \textit{Jacobi}schen Differentialgleichung \[ g^{\alpha \beta }\frac {\partial S}{\partial x^{\alpha }} \frac {\partial S}{\partial x^{\beta }} = 1, \] also die Länge des von \((x_0)\) nach \((x)\) verlaufenden geodätischen Bogens, und \(\psi (S)\) ist die zum Punkt \((x_0)\) gehörige elementare Lösung der \textit{Laplace}schen Gleichung \[ \Delta \psi (S) = 0 \] (\(\Delta \) der zweite \textit{Beltrami}sche Differentialoperator). \(\Omega \) läßt sich als Raumwinkel auffassen, unter dem von \((x_0)\) aus eine Hyperfläche gesehen wird. Es handelt sich also um eine Verallgemeinerung der \textit{Gauß}schen geometrischen Deutung für das Potential einer homogenen Doppelschicht. Zufolge der über \(\psi \) gemachten Voraussetzungen läßt sich \(\Omega \) auch als ein \((n-2)\)-faches Integral darstellen. Für die geodätischen Sphären \(S=\) const erhält man die Darstellung \[ \Omega \;- \frac {d\psi (S^*)}{dS} \int _{S=S^*} d\sigma _{n-1}, \] wobei \(d\sigma _{n-1}\) das Volumenelement der \((n-1)\)-dimensionalen Sphäre \(S=S^*\) bedeutet. \(\Omega \) erweist sich ferner als Integralinvariante längs den geodätischen Linien durch den Punkt \((x_0)\). Eingehender wird der Fall \(n=2\) behandelt. Hier ist \(\Omega \) die zu \(\psi (S)\) konjugierte Lösung von \(\Delta \psi = 0\), und es gilt: Sind \(U\) und \(V\) zwei beliebige konjugierte Lösungen, so ist die komplexe Funktion \(U+iV\) eine analytische Funktion der komplexen Veränderlichen \(\psi (S)+i\Omega \). Zum Schluß\ werden invariante Ausdrücke für das Volumenelement einer \((n-p)\)-dimensionalen Mannigfaltigkeit im \(n\)-dimensionalen \textit{Riemann}schen Raum \(R_n\) angegeben. Sie sind Integralinvarianten für alle infinitesimalen, die Metrik des \(R_n\) erhaltenden Transformationen.