Proof of a Recurrence Theorem for Strongly Transitive Systems

\{Joint review of the paper under review and Zbl 0003.25602.\} Es sei gegeben ein System \(\frac{dx_i}{dt}= X_i(x_1, \ldots, x_n)\) von \(n\) Differentialgleichungen erster Ordnung, wo die \(X_i(x_1, \ldots, x_n)\) auf einer geschlossenen singularitätsfreien Mannigfaltigkeit definiert sind. \(X_i(x_1, \ldots, x_n)\) sind nach Voraussetzung analytische Funktionen von \(x_1, \ldots, x_n\). Es wird ferner angenommen, daß das Differentialgleichungssystem die Integralinvariante \(\int dx_1\cdots dx_n\) (in einem passend gewählten Koordinatensystem) besitzt. Endlich wird vorausgesetzt, daß das vorliegende System stark transitiv (strongly transitive) ist, d. h. daß jede metrische Punktmenge, die aus vollen Integralkurven gebildet ist, entweder das Maß 0 oder das Maß der gesamten Mannigfaltigkeit \(M\) besitzt. Der Verf. betrachtet eine \((n-1)\)-dimensionale analytische Hyperfläche \(\sigma\) in \(M\), die die Eigenschaft besitzt, daß sie jede Integralkurve unter einem Winkel \(\theta\) schneidet, der größer als eine feste positive Zahl \(d\) ist. Nach Poincaré (Méthodes nouvelles de Mécanique céleste) schließt der Verf., daß für fast alle Punkte der Hyperfläche \(\sigma\) (mit Ausnahme vielleicht einer Menge vom Lebesgueschen Maß \(0\)) die entsprechenden Integralkurven unendlich viele Schnittpunkte mit \(\sigma\) haben, wenn \(t\) sich in einer der beiden Richtungen \(t\to +\infty\) und \(t\to -\infty\) bewegt. Den Inhalt der ersten Arbeit bildet folgender Satz: Bedeutet \(t_n\) den Wert von \(t\), der dem \(n\)-ten Schnittpunkt mit \(\sigma\) einer vom Punkte \(P\) von \(\sigma\) ausgehenden Integralkurve entspricht, so wird notwendigerweise eine solche von \(P\) unabhängige Zahl \(\tau\) existieren, daß für fast alle Punkte \(P\) auf \(\sigma\), \(\lim_{n\to\infty} t_n(P)/n = \tau\) ist. Beim Beweise wird benutzt die folgende Formel: \[ \int_{\sigma} t_n(P) v\cos \theta\,d\sigma\biggl/n \int_{\sigma} v\cos \theta\,d\sigma = V\biggl/\int v\cos \theta\,d\sigma, \] wo \(v=\sqrt{\sum_{i=1}^n\left(\frac{dx_i}{dt}\right)^2}\) die ,,Geschwindigkeit im Punkte \(P\) bedeutet, und die linke bzw. rechte Seite als die mittlere Zeit des \(n\)-ten Schnittpunktes bzw. Verhältnis des Gesamtvolumens \(V\) der Mannigfaltigkeit \(M\) zum ,,Gesamtstrom durch \(\sigma\) interpretiert werden kann. In der zweiten Arbeit werden analoge Fragen behandelt, aber ohne die Voraussetzung der starken Transitivität. Es wird die folgende Verallgemeinerung des vorhergehenden Satzes bewiesen: \[ \lim t_n(P)/n = \tau(P)\text{ (für fast alle Punkte \(P\) auf \(\sigma\)).} \] Hier ist also die ,,mittlere Rückkehrzeit nicht mehr vom Punkte \(P\) unabhängig. Daraus wird der Beweis des ,,ergodischen Satzes abgeleitet: Für fast alle Punkte \(P\) von \(M\) existiert eine bestimmte ,,zeitliche Wahrscheinlichkeit \(p\) dafür, daß während der weiteren Bewegung dieser Punkt in einem bestimmten, beliebig vorgegebenem Gebiet \(G\) enthalten sein wird; d. h. es existiert der Grenzwert von \(\bar t/t\) \((t \to\pm \infty)\), wo \(\bar t\) die Verweilzeit des Punktes \(P\) im Gebiete \(G\) bedeutet. Für den Fall eines stark transitiven Systems ist diese Wahrscheinlichkeit gleich dem Verhältnis des Volumens des Gebietes \(G\) zum Gesamt\-volumen der Mannigfaltigkeit \(M\). Der Beweis beruht auf folgendem Hilfssatz: Die vom Punkte \(P\) ausgehende Integralkurve schneide die Hyperfläche \(\sigma\) zum ersten Male im Punkte \(P'\), und es bedeute \(S_\lambda\), bzw. \(S_{\lambda'}\) eine meßbare Menge auf \(\sigma\), die in bezug auf die Transformation \(P\rightarrow P'\) invariant bleibt (mit Ausnahme einer Menge vom Maße \(0)\) und für deren Punkte \(P\) \[ \limsup_{n\to\infty} t_n(P)/n\geq \lambda > 0\quad\text{bzw.}\quad \liminf_{n\to\infty} t_n(P)/n\leq \lambda' > 0 \] gilt. Der zugrundeliegende Hilfssatz behauptet dann: \[ \int_{S_\lambda} t(P) v\cos\theta\,d\sigma\geq \lambda \int_{S_\lambda} v\cos\theta\,d\sigma\quad\text{bzw.}\quad \int_{S_{\lambda'}} t(P) v\cos\theta\,d\sigma\leq \lambda' \int_{S_{\lambda'}} v\cos\theta\,d\sigma. \] [Also reviewed by J. von Neunmann in JFM 57.1011.01; JFM 57.1011.02.]

Recommendations

Cited in

(22)

This page was built for publication: Proof of a Recurrence Theorem for Strongly Transitive Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4480013)