Notes on linear transformations. II: Analyticity of semi-groups. (Q2591633)

Gegenstand der Arbeit sind die linearen beschränkten, von einem (komplexen) Parameter \(\alpha\) abhängigen Operatoren \(U(\alpha)\) in normierten und im Sinne der Metrik vollständigen Räumen \(E\), die \(E\) auf \(E\) abbilden (Operatorenfunktionen). Insbesondere werden solche Operatorenfunktionen betrachtet, die in einem gegebenen Bereich der komplexen \(\alpha\)-Ebene holomorph, d. h. in \(\alpha\) eindeutig, stetig und differenzierbar sind (der zur Definition dieser Begriffe nötige Grenzbegriff \(\lim\limits_{\nu\to \infty} x_\nu=x\) ist dabei durch \(\lim\limits_{\nu\to \infty}||x_\nu-x||=0\) festgelegt, wo \(||x||\) die Norm des Elementes \(x\prec E\) bedeutet). Der Hauptteil der Untersuchungen ist den vom Verf. als ``Halbgruppen'' bezeichneten, d. i. jenen für \(\alpha\geqq 0\) definierten und beschränkten Operatorenfunktionen \(T_\alpha\) gewidmet, die für \(\alpha=0\) die Identität \(I\) ergeben und für \(\alpha\geqq 0\) und \(\beta \geqq 0\) die ``Halbgruppeneigenschaft'' besitzen, d. h. der Funktionalgleichung \[ T_\alpha(T_{\beta}x)=T_{\beta}(T_\alpha x)=T_{\alpha+\beta}x \] genügen. Im Mittelpunkt des Interesses steht dabei das Problem der analytischen Fortsetzung einer solchen Halbgruppe in eine Halbebene \(\Re \xi\geqq c \geqq 0\) hinein, worunter die Angabe einer für \(\Re\xi > c\) holomorphen und für \(\Re\xi \geqq c +\delta\) (\(\delta> 0\)) einer Beschränktheitsforderung \(||W(\xi)||\leqq\) const \(\cdot e^{a|\xi|}\) unterworfenen Operatorenfunktion \(W (\xi)\) verstanden wird, die in dieser Halbebene die Halbgruppeneigenschaft besitzt und auf der reellen Achse (also für \(\xi=\alpha\)) mit \(T_\alpha\) übereinstimmt. Dieses Problem hängt aufs engste mit der Existenz der Resolvente \(R(\lambda,\alpha)= [\lambda I-T_\alpha]^{-1}\) für kleine positive Werte von \(\alpha\) sowie ihrem infinitären Verhalten für \(|\lambda|\to 0\) zusammen: Existiert nämlich \(W(\xi)\), dann auch \(R(\lambda,\alpha)\) für hinlänglich kleine \(\alpha > 0\); und umgekehrt folgt aus der Existenz von \(R(\lambda,\alpha)\) für kleine \(\alpha >0\) und einem bestimmten infinitären Verhalten dieser Resolvente in der Nähe von \(\lambda = 0\) die Existenz einer analytischen Fortsetzung \(W(\xi)\) wenigstens für solche \(T_\alpha\), die noch gewisse Meßbarkeits- und Stetigkeitseigenschaften besitzen, und deren Spektrum \(S(\alpha)\) mindestens für kleine \(\alpha\) gänzlich der rechten \(\lambda\)-Halbebene angehört. Ist übrigens die letzte Forderung bezüglich \(S(\alpha)\) für \textit{alle} \(\alpha>0\) erfüllt, so ist \(S(\alpha)\) reell; wenn überdies \(R(\lambda,\alpha)\) bei der Annäherung von \(\lambda\) an \(S(\alpha)\) höchstens exponentiell mit der reziproken Entfernung ansteigt, läßt sich \(W(\xi)\) explizit in Gestalt eines verallgemeinerten Laplace-Stieltjes-Integrales darstellen. Für den Hilbertschen Raum \(\mathfrak H\) ergibt sich insbesondere, daß jede für \(\alpha > 0\) selbstadjungierte Halbgruppe \(T_\alpha\), deren Norm \(||T_\alpha||\) für jedes \(x\prec \mathfrak H\) meßbar ist, eine analytische Fortsetzung der Gestalt \[ W(\xi) = M^\xi \int\limits_0^\infty e^{-\xi u}dE(u) \] besitzt, wo \(M\) eine durch \(T_\alpha\) bestimmte Funktion von \(\alpha\) und \(E(u)\) eine Zerlegung der Einheit bedeuten. Dieses Ergebnis wird an Hand der beiden Transformationen von Weierstraß und Poisson (vgl. Teil I der vorliegenden Arbeit, Trans. Amer. math. Soc. 39 (1936), 131-153; JFM 62.0479.*) illustriert. Als weitere Beispiele werden die mit dem Abelschen Summationsproblem im Zusammenhang stehende, durch den Operator \(T_\alpha x=(e^{-\alpha\lambda_1}x_1, e^{-\alpha\lambda_2}x_2,\ldots)\) mit reellen \(\lambda_1\), \(\lambda_2\), \dots \(\geqq 0\) definierte Halbgruppe sowie die durch das Riemann-Liouvillesche (aus der Theorie der Differentiation zum allgemeinen Index her bekannte) Integral \[ \frac 1{\varGamma(\alpha)}\int\limits_0^t (t-u)^{\alpha-1}f(u)du \] dargestellte Operatorenfunktion behandelt. Außer mit der Frage der analytischen Fortsetzung einer Halbgruppe \(T_\alpha\) beschäftigt sich die Arbeit des weiteren mit der Einbettung einer gegebenen beschränkten Transformation \(T\) in eine einparametrige Operatorenschar \(W(\xi)\) mit der Halbgruppeneigenschaft in einer Halbebene \(\Re \xi> c\). Ist \(R(\lambda)\), die Resolvente von \(T\), innerhalb eines Kreises \(|\lambda|\leqq K\) von bestimmter Art, nämlich holomorph in einem Sektor dieses Kreises mit kleinerem Öffnungswinkel als \(\pi\) und der Bedingung \(||R(\lambda)||\leqq \dfrac{\text{const}}{|\lambda|^\tau}\) im übrigen Teil des Kreises unterworfen, so existiert ein solches \(W(\xi)\) für \(\Re\xi>\tau-1\) und kann mit Hilfe von \(R(\lambda)\) explizit angegeben werden.