On one-parametrical groups of operators in a normed space. (Q2591632)

Es sei \(U_t\) ein von der reellen Variablen \(t\) abhängiger Operator in einem linearen Raum \(E\), wobei \(U_t\) folgenden Bedingungen genügt: (1) Es ist \(U_t\) schwach stetig in \(t\), d. h. \((U_tx,f)\) ist stetige Funktion von \(t\) für alle \(x\in E\) und für jedes lineare Funktional \(f\); dabei bedeutet \((y,f)=(f,y)\) den Wert von \(f\) in \(y\in E\); (2) es ist \(U_{t+s} = U_t \cdot U_s\) für alle \(s\), \(t\); ferner ist \(U_0=1\); (3) \(|U_t|\leqq M\) (dabei wird im folgenden o. B. d. A. \(M=1\) angenommen). -- Ein von A. N. Kolmogorov gestelltes Problem lösend, beweist Verf., daß jeder solche \(U_t\) die Darstellung gestattet: \(U_t = \exp (tA)=\sum\limits_{\nu=0}^\infty \frac 1{\nu!}t^\nu A^\nu\) (für den Fall, daß \(E\) der Hilbertsche Raum und daß \(U_t\) eine Schar unitärer Operatoren ist, wurde der Satz von M. Stone bewiesen). Zunächst wird gezeigt, daß \(\lim\limits_{t\to 0}\dfrac {U_tx-x}t\) für eine in \(E\) dichte Menge von \(x\) existiert. Dies wird aus der Tatsache erschlossen, daß es eine in \(E\) dichte Menge gibt, deren Punkte \(x\) darstellbar sind in einer Form \(x = Cy\), wo \(C\) Operatoren sind von der Form \(C=\int\limits_{-\infty}^{+\infty}U_sd\varphi(s)\) mit reellem \(\varphi(s)\) von beschränkter Variation (bezüglich der Existenz solcher \(C\) für den Fall eines separablen oder regulären \(E\) vgl. Verf., Rec. math., Moscou, (2) 4 (1938), 235-286; JFM 64.0368.*); ein Existenzbeweis für den allgemeinen Fall soll an anderer Stelle gegeben werden). Nun wird gesetzt \(Ax = \lim\limits_{t\to 0}\dfrac{U_tx-x}t\) für alle \(x\), für welche der Limes rechterhand existiert (wenn auch u. U. nur im Sinne schwacher Konvergenz); weiter wird gezeigt, daß \(A\) das Gewünschte leistet. Dabei wird bewiesen: Es isi \(A\) abgeschlossen, d.h. aus \(x_n\to x\) und \(Ax_n \to y\) folgt, daß \(A\) auch für \(x\) definiert ist mit \(Ax = y\); das Spektrum von \(A\) liegt auf der imaginären Achse. -- Zum Schlusse wird noch gezeigt: Ist \(U_t\) schwach meßbar (d. h. ist \((U_tx,f)\) meßbare Funktion von \(t\) für jedes \(x\) und \(f\)), dann ist \(U_tx\) stark stetige Funktion von \(t\) für jedes \(x\) (d. h. aus \(t_n\to t\) folgt \(|U_{t_n}x-U_tx|\to 0\); konvergiert ferner \(\dfrac{U_tx-x}t\) schwach für \(t\to 0\), dann auch stark.