Some uniqueness theorems. (Q2607484)

Verf. beweist zwei mit Lückensätzen von \textit{Pólya} (Math. Z. 29 (1929), 549-640; F. d. M. \(55_{\text{I}}\), 186-187) verwandte Sätze: 1. Sei die Potenzreihe \(f_1 (z) = \sum\limits_0^\infty a_nz^n\) über einen Bogen der Länge \(\alpha\) ihres Konvergenzkreises \(| z |=1\) in das ganze Kreisäußere \(| z |>1\) hinaus analytisch fortsetzbar (Verf. gibt statt dieser Bedingung eine allgemeinere an) und dort dargestellt durch die Potenzreihe \(f_2(z) = \sum\limits_0^\infty b_nz^{-n}\). Gilt ferner \[ \limsup_{r \to 1-0} \frac {\log \log M_1 (r)} {|\log (1-r)|} < \infty, \quad \limsup_{r \to 1+0} \frac {\log \log M_2 (r)} {|\log (r-1)|} < \infty \tag{1} \] und \[ |a_n | \leqq e^{-\theta (n)}, \quad \theta (n) \leqq \theta (n+1), \quad \sum_1^\infty \frac {\theta (n)}{n^2}\quad \text{divergent}, \tag{2} \] für eine Folge der Minimaldichte \(> 1 - \dfrac \alpha {2\pi}\), so ist \(f_1 (z) = f_2(z) = a_0 = b_0\). 2. Dasselbe Resultat gibt folgende Bedingung an Stelle von (1) und (2): \[ |a_n | \leqq e^{-\gamma n}\qquad (\gamma >0) \tag{3} \] für eine Folge der Maximaldichte \(> 1 - \dfrac \alpha {2\pi}\). \textit{Methode}: Die Koeffizienten \(a_n\) bzw. \(b_n = a_{-n}\) werden an den Stellen \(z = \pm 1, \pm 2, \dots\) durch eine ganze Funktion vom Exponentialtypus interpoliert. Diese genügt entsprechend den Bedingungen (1), (2) bzw. (3) den Voraussetzungen der beiden folgenden Sätze: Erfüllt die ganze Funktion \(F (z)\) der Ordnung 1 vom Mitteltypus \(k < \pi\) die Bedingungen \[ \log |F(x\pm iy)| \leqq \chi (y) \qquad (-1 \leqq x \leqq 1, \quad y>0), \tag \text{\(1^\prime\)} \] wobei \(\chi (y) \) monoton wachsend ist und \(\int\limits_1^\infty \chi (y) \dfrac {dy}{y^2}\) konvergiert, \[ \log | F (in) | \leqq - \theta (n) \qquad ( \text{ vgl. Bedingung } (2)) \tag \text{\(2^\prime\)} \] für eine Folge positiver ganzer Zahlen der Minimaldichte \(> \dfrac k\pi\), so gilt: \(F(z)\equiv 0\). Ersetzt man \((1^\prime)\) und \((2^\prime)\) durch \[ \limsup_{y \to \infty} \frac {\log | F (\pm iy)|}{y} = 0, \tag{3, 1} \] \[ \log | F (in)| \leqq - \gamma n \qquad (\gamma > 0) \tag{3, 2} \] für eine Folge positiver ganzer Zahlen der Maximaldichte \(> \dfrac k\pi\), so folgt dasselbe Resultat.