Integralgeometrie 26: Über die kinematische Hauptformel. (Q2602751)

Seien \(\mathfrak K_0\) und \(\mathfrak K_1\) Gebiete in der Euklidischen Ebene, die von einfachen geschlossenen Kurven \(\mathfrak R_0\) und \(\mathfrak R_1\) berandet werden, \(F_0\) und \(F_1\) ihre Flächeninhalte, \(U_0\) und \(U_1\) die Umfange. \(K_0\) und \(K_1\) die Gesamtkrümmungen. Ist dann \(\mathfrak K_1\) die kinematische Dichte eines mit \(\mathfrak K_0\) und \(\mathfrak R_1\) fest verbundenen Achsenkreuzes, so gilt die ``kinematische Hauptformel'' \[ \int K_{01}\,\dot {\mathfrak R}_1 = 2\pi \,\{ \,K_0F_1 +U_0U_1 + F_0K_1 \} \tag{1} \] und weiter \[ \int F_{01}\,\dot {\mathfrak R}_1 = 2\pi \,F_0F_1. \] Hier ist \(K_{01}\) die Gesamtkrümmung des Durchschnittes von \(\mathfrak K_0\) und \(\mathfrak K_1\) und \(F_{01}\) sein Flächeninhalt. Beide Formeln gelten auch auf der euklidischen Einheitskugel. Verf. zeigt die Richtigkeit beider Formeln für den Fall, daß \(\mathfrak R_0\) und \(\mathfrak R_1\) nicht mehr einfach geschlossen sind. Man muß dann Umfang und Flächeninhalt geeignet definieren. Dazu benutzt man die Charakteristik eines Punktes \(\mathfrak x\) in bezug auf die Kurve \(\mathfrak R\); dreht sich der Strahl von \(\mathfrak x\) nach einem Punkte \(G\) der Kurve \(k\) mal im positiven Sinne um \(\mathfrak x\), wenn \(G\) die Kurve durchläuft, so heißt \(k(\mathfrak x)\) die Charakteristik von \(\mathfrak x\). Es ist dann \(F = \iint k(\mathfrak x)\,dx\,dy\) über die ganze Ebene. Zur Definition des Umfanges spaltet man die Kurve in zwei geschlossene Teile, von dem eins die Punkte mit positiver Charakteristik, das andere die Punkte mit negativer Charakteristik umschließt. Haben sie den Umfang \(U' - U''\), so wird \(U' - U''\) als Umfang von \(\mathfrak R\) eingeführt. Auf der Kugel kann man \(k(\mathfrak x)\) in zweierlei Weise definieren, für eine einfach geschlossene Kurve entweder \(+1\) rechts und 0 links, oder \(+1\) rechts und \(-1\) links. Im ersten Fall muß in (1) der gewöhnliche Umfang genommen werden (alles positiv), im zweiten erhält man statt dessen \[ \begin{aligned} &\int F_{01}\,\dot {\mathfrak R}_1 = 2\pi \,F_0F_1,\\ &\int K_{01}\,\dot {\mathfrak R}_1 = 4\pi \,K_0K_1 \end{aligned} \]