Sur la mesure invariante dans les systèmes dynamiques qui ne diffèrent que par le temps. (Q2586960)

Besitzt das Differentialgleichungssystem \[ \frac{dx_i}{dt}=X_i(x_1,\dots,x_n)\quad(i=1, 2,\dots, n), \] bei dem die rechten Seiten in ihrem Definitionsgebiet stetige partielle Ableitungen erster Ordnung besitzen sollen, die Integralinvariante \[ \textstyle \int\cdots\int M(x_1,\dots, x_n)\,dx_1\dots dx_n\;\;(M>0), \] so ist bekannt, daß das Differentialgleichungssystem \[ \frac{dx_i}{dt'}=\frac{X_i(x_1,\dots,x_n)}{\lambda (x_1,\dots,x_n)}, \] das aus dem ersten durch die Zeittransformation \[ \frac{dt'}{dt}=\lambda (x_1,\dots, x_n)\quad(\lambda \neq0) \] hervorgeht und also dieselben Trajektorien aufweist, die Integralinvariante \[ \textstyle \int\cdots\int M|\,\lambda \,|\,dx_1\cdots dx_n \] besitzt. Die Verf. verallgemeinern diesen Satz auf ein dynamisches System in einem abstrakten Raum. Sei \(R\) ein separabler metrischer Raum, in dem das dynamische System durch die einparametrige Transformationsgruppe \(f_0(p, t)\) \((f_0(p, 0)=0,\;\;f_0(f_0(p, t_1),t_2)=f_0(p, t_1+t_2))\) gegeben sei, wobei angenommen wird, daß \(f_0(p, t)\) als Funktion der beiden Veränderlichen \(p\) und \(t\) stetig ist. Daneben sei in \(R\) ein zweites dynamisches System \(f_1(p, t')\) gegeben, für das zu jedem \(p\in R\) und zu jedem \(t\)-Wert ein solcher Wert \(t'\) existiert, daß \[ f_1(p, t')=f_0(p,t) \] ist, so daß die beiden Systeme dieselben Trajektorien aufweisen. Wird angenommen, daß das System \(f_0(p, t)\) ein invariantes Maß \(\mu \) besitzt, so gelingt es den Verf., für \(f_1(p, t')\) ebenfalls ein invariantes Maß \(\mu \)* zu konstruieren. Für den Spezialfall \[ t'=t'(p, t)=\textstyle \int\limits_{0}^{t}\lambda (f_0(p, t))\,dt\quad(\lambda (p)\neq0), \] bei dem die Integrale \[ \textstyle \int\limits_{0}^{\infty }\lambda (f_0(p, t))\,dt\;\;\;\text{und}\;\int\limits_{-\infty }^{0}\lambda (f_0(p, t))\,dt \] nach Annahme divergieren sollen, wird einfach: \[ \mu ^{\ast}A=\textstyle \int\limits_{A}|\,\lambda (p)\,|\,d\mu . \]