Analytical semi-groups in the theory of linear transformations. (Q2594547)

In einem komplexen, linearen Vektorraum \(E\), in dem eine Metrik definiert ist, und der in dieser Metrik vollständig ist, werde eine Menge \(T(z)\) von linearen beschränkten Transformationen von \(E\) auf sich betrachtet, die von einem in einer Menge \(Z\) variierenden Zahlenparameter \(z\) in der Weise abhängen, daß \[ T(z_1) T(z_2) = T(z_2)T(z_1) = T(z_1 + z_2) \] ist, wobei mit \(z_1\) und \(z_2\) auch \(z_1 + z_2\) zu \(z\) gehören, \(z = 0\) kein isolierter Punkt von \(Z\) ist und \(T(0)\) die identische Transformation darstellt. Die \(T(z)\) bilden dann nach Definition in \(Z\) eine Halbgruppe. Es wird ein Satz formuliert, nach dem eine zunächst nur auf der reellen Halbgerade \(X \geqq 0\) definierte Halbgruppe \(T(x)\), die noch gewissen einschränkenden Voraussetzungen genügt, sich als analytische Funktion von \(z\) in eine ganze Halbebene \(\Re(z) \geqq c\) fortsetzen läßt und dort vom Exponentialtypus ist, d. h. für jedes \(\delta > 0\) einer Abschätzung \[ |T(z)|\leqq A(\delta)e^{B(\delta)|z|}\quad \text{für}\quad \Re(z)\geqq c+\delta \] genügt. \((|T(z)|\) soll eine Norm von \(T(z)\) sein.) Der Beweis wird skizziert. Eine ausführliche Darstellung in Ann. Math., Princeton, (2) 40 (1939), 1-47 (F. d. M. 65, 513 (JFM 65.0513.*)).