On semi-groups of transformations in Hilbert space. (Q2596536)

Verf. untersucht eine Semigruppe, deren Elemente lineare Transformationen \(T_\alpha (x)\), \(0<\alpha <\infty\), im Hilbertschen Raume \(\mathfrak H\) sind. Der Begriff einer Semigruppe wird durch \(T_\alpha(T_\beta(x))=T_{\alpha+\beta}(x)\) definiert. Insbesondere sind die \(T_\alpha(x)\) in dieser Arbeit selbstadjungierte, positiv definite Transformationen, und weiter ist \(\| T_\alpha(x)\|\leqq\|x\|\) für alle \(x\in\mathfrak H\). Es wird folgender Satz bewiesen: Zu jedem solchen \(T_\alpha(x)\) gibt es eine selbstadjungierte, positiv definite Transformation \(A(x)\), deren Zerlegung der Einheit \(E(\lambda)\) ist, so daß \[ (T_\alpha(x),x)=\int\limits_0^\infty e^{-\alpha\lambda} d_\lambda(E(\lambda) x,x). \] Der Beweis verläuft, kurz skizziert, wie folgt: Zuerst ist für gegebene \(x\in\mathfrak H\) die Funktion \((T_\alpha(x),x)\) vollständig monoton in \(0\leqq\alpha<\infty\). Mit Hilfe eines Satzes von \textit{Bernstein-Widder} schreibt Verf. \((T_\alpha(x), x) = \int\limits_0^\infty e^{-\alpha\lambda}dV(\lambda;x)\), wo \(V(\lambda; x)\) eine nicht abnehmende Funktion von \(\lambda\) ist und \(V(0; x)=0\). Die Inversionsformeln des Laplaceschen Integrals ergeben aus der Bilinearität von \((T_\alpha(x), y)\) ein bilineares Funktional \(V(\lambda; x, y)\), für welches \((T_\alpha(x), y) =\int\limits_0^\infty e^{-\alpha\lambda}dV(\lambda; x, y)\) und \(V(\lambda;x,x)=V(\lambda;x)\). Endlich ist \(V(\lambda; x, y) = (E(\lambda) x, y)\) und \(A=\int\limits_0^\infty \lambda dE(\lambda)\).