Expansions of analytic functions.

Die Arbeit bringt eine ausführliche Darstellung von Untersuchungen, die Verf. zum Teil schon in der vorstehend besprochenen Note skizziert bzw. angekündigt hat. Ausgehend von dem in der genannten Note wiedergegebenen allgemeinen Satz über Folgen in abstrakten Räumen (vgl. das Referat) wird die Entwickelbarkeit analyti\-scher Funktionen \(f (z)\) in Reihen der Form \[ f(z)={\sum\limits_{n=0}^{\infty}}c_ng_n(z) \leqno{(1)} \] untersucht, wo die Funktionen \(g_n(z)\) ``beinahe mit den Potenzen \(z^n\) übereinstimmen. Von den Resultaten des Verf., die bekannte Sätze von \textit{G. D. Birkhoff} (C. R. Acad. Sci., Paris, 164 (1917), 942-945; F. d. M. 46, 483 (JFM 46.0483.*)), \textit{G. S. Ketchum} (Trans. Amer. math. Soc. 40 (1936), 208-224; F. d. M. \(62_{\text{I}}\), 346) und \textit{J. L. Walsh} (Trans. Amer. math. Soc. 26 (1924), 155-170; F. d. M. 50, 239 (JFM 50.0239.*)) umfassen, sei zunächst der folgende allgemeine Entwicklungssatz genannt: Unter \(H_p(r)\) werde die Klasse der in \(|z|<r\) analytischen Funktionen \(g (z)\) verstanden, welche daselbst die Abschätzung \[ \bigg\{\frac1{2\pi}{\int\limits_{0}^{2\pi}}|g(\varrho e^{i\theta})|^pd\theta \bigg\}^{\tfrac1p}\leqq A\quad\text{für}\quad 0\leqq\varrho < r \] mit einer nur von \(g\), nicht aber von \(\varrho\) abhängigen Konstanten \(A\) zulassen, was zur Folge hat, daß die Randwerte von \(g (z)\) auf \(|z|=r\) fast überall existieren und eine Funktion der Klasse \(L^p\) bilden. Ist dann \(\{g_n(z)\}\) eine Folge von Funktionen, die für ein \(p\geqq1\) der Klasse \(H_p(r)\) angehören, und besteht für jede endliche Folge komplexer Zahlen \(a_1\), \(a_2\),\dots, \(a_N\) die Beziehung \[ \left\{{\int\limits_{0}^{2\pi}}\Big|{\sum\limits_{n=0}^{N}} a_n [r^ne^{in\theta} - g_n (re^{i\theta})]\Big|^pd\theta\right\}^{\tfrac1p}\leqq \lambda \left\{{\int\limits_{0}^{2\pi}}\Big|{\sum\limits_{n=0}^{N}} a_nr^ne^{in\theta}\Big|^pd\theta\right\}^{\tfrac1p} \] mit einem positiven \(\lambda<1\), so ist jede in \(|z|<r\) analytische und in \(|z|\leqq r\) stetige Funktion \(f (z)\) nach den Funktionen \(g_n(z)\) auf genau eine Weise in eine Reihe der Form (1) entwickelbar. Die Reihe konvergiert gleichmäßig in jedem Kreis \(|z|\leqq r'\) mit \(r' <r\). Aus diesem allgemeinen Satz werden eine Reihe von spezielleren Kriterien für die Existenz der Entwicklung (1) abgeleitet. Das einfachste Ergebnis des Verf. lautet: Es sei für \(n= 0\), 1, 2,\dots \[ g_n(z) = z^n[1 + h_n(z)]\quad\text{mit}\quad h_n(z)= {\sum\limits_{k=1}^{\infty}}\gamma_k^{(n)}z^k\quad (|z|<r_0). \] Dabei sollen die Funktionen \(h_n(z)\) in \(|z|<r_0\) eine gemeinsame Majorante besitzen, d. h. es soll eine analytische Funktion \[ h(z)={\sum\limits_{k=1}^{\infty}}\delta_kz^k\qquad (|z|<r_0,\;\delta_k\geqq0) \] existieren, mit der \[ \big|\gamma_k^{(n)}\big|\leqq\delta_k\quad\text{für}\quad k=1,2,\dots;\;n = 0,1,2,\dots \] gilt. Dann läßt sich für \(r\leqq r_0\) jede in \(| z| < r\) analytische und in \(|z|\leqq r\) stetige Funktion \(f (z)\) nach den Funktionen \(g_n(z)\) auf genau eine Weise in eine Reihe der Form (1) entwickeln, falls eine der Bedingungen \[ h(r)<1 \] oder \[ r<\sup\limits_{0\leqq\varrho<r_0}\frac\varrho{\sqrt{K_\varrho^2+1}}\quad\text{mit} \quad K^2_\varrho =\frac1{2\pi}{\int\limits_{0}^{2\pi}} \big|h\big(\varrho e^{i\theta}\big)\big|^2d\theta ={\sum\limits_{k=1}^{\infty}} \delta_k^2\varrho^{2k}\quad (\varrho < r_0) \] erfüllt ist. Gegebenenfalls konvergiert die Reihe gleichmäßig in jedem Kreis \(| z|\leqq r'\) mit \(r' < r\). -- Als Beispiel sei angeführt, daß eine Entwicklung nach den Funktionen \(g_n(z) = z^ne^{\alpha_nz}\) mit \(\varlimsup\limits_{n\to\infty}|\alpha_n|\leqq1\) in jedem Kreis \(|z|<r\) mit \(r < \log 2\) möglich ist. Die Arbeit schließt mit einer Anwendung der Ergebnisse auf die Untersuchung der Werte, welche von den Ableitungen ganzer Funktionen angenommen werden. U. a. wird die folgende Verallgemeinerung eines Satzes von \textit{S. Takenaka} (Proc. phys.-math. Soc. Japan (3) 14 (1932), 529-542; F. d. M. \(58_{\text{II}}\), 1082) bewiesen: Ist \(f(z)\) mit \(f(0)=1\) eine ganze Funktion vom Exponentialtypus \(k < \log 2\), so gilt für \(|\alpha_n|\leqq1\) und \(r < k\) die Ungleichung \[ {\sum\limits_{n=0}^{\infty}}|f^{(n)}(\alpha_n)|^2\cdot\frac1{r^{2n}}\geqq 2e^r-e^{2r}. \]

Cites work

This page was built for publication: Expansions of analytic functions.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2586712)