Sur l'existence d'un invariant intégral dans l'ensemble des points périodiques. (Q2610463)

\(M\) bezeichnet eine meßbare Punktmenge im \(n\)-dimensionalen euklidischen Raum. Betrachtet wird eine einparametrige Gruppe \(T_t\) \((-\infty< t < +\infty)\), in der (a) \(T_t T_s = T_{t+s}\), (b) \(T_t\) eine stetige Ableitung nach \(t\) besitzt, (c) die Entfernung \(\varrho(x_0, \,y_0)\) zwischen je zwei Punkten von \(M\) der Ungleichung \(\varrho(x_t, y_t) \le N_t \varrho(x_0, \,y_0)\) genügt, wobei \(N_t\) \((0 \le N_t < \infty)\) nur von \(t\) abhängt und \(x_t = T_t (x_0)\), \(y_t = T_t (y_0)\). Unter anderen werden die folgenden Ergebnisse angekündigt: Es gibt auf der Menge der periodischen Punkte von \(M\) eine \(n\)-dimensionale Integralinvariante, die auf jeder Nicht-Nullmenge einen endlichen positiven Wert annimmt. Im Spezialfall \(n = 2\) ist für die Existenz einer Integralinvariante über \(M\) bezüglich \(T_t\) notwendig und hinreichend, daß fast alle Punkte von \(M\) im Poissonschen Sinne stabil sind. Der Beweis des ersten dieser Ergebnisse beruht auf einem Satz von \textit{G. D. Birkhoff} und \textit{P. A. Smith} [J. Math. Pures Appl. (9) 7, 345--379 (1928; JFM 54.0604.03), inbes. S. 360--368); das zweite wird nicht bewiesen. (IV 7, VI 3.)