A correction to the paper ``On effective sets of points in relation to integral functions''. (Q2596269)

Sei \(f (z)\) eine ganze Funktion vom Typus \(\varkappa \) der Ordnung \(\varrho \). Verf. nennt die Menge der Punkte \[ z_n=r_n\,e^{i\theta _n}, \;\;\;0< r_1\leqq r_2\leqq \cdots \leqq r_n\to\infty, \] eine Effektivfolge (E-Folge) für die Funktion \(f(z)\), wenn \[ \lim _{n\to\infty }\,\sup\,| z_n |^{-\varrho } \cdot \log |f(z_n)|=\varkappa . \] Verf. untersucht die Frage, ob alle ganzen Funktionen, deren Wachstum den Typus \(d\) der Ordnung \(\varrho \) nicht übersteigt (Funktionen der Klasse \(C(\varrho,d)\)), eine gemeinsame E-Folge besitzen, und welcher Art sie sei. Notwendige Kriterien für E-Folgen für die Klasse \(C(\varrho,d)\) sind: 1) Der Konvergenzexponent der Folge kann nicht kleiner als \(\varrho \) sein. 2) Ist ihr Konvergenzexponent \(\varrho \), so ist jede ganze Funktion, die bei \(z=z_n\) verschwindet, von der Ordnung \(\varrho \) und dem Typus \(\geqq d\) (oder sie verschwindet identisch. 3) Die Folge der Amplituden \(\theta _n\) ist in \(0\leqq \theta\leqq 2\pi\) überall dicht. (Beweise einfach.) Hinreichend dafür, daß eine Folge \(\{ z_n\} \) vom Konvergenzexponenten \(\varrho \) eine E-Folge für \(C(\varrho, d)\) sei, ist folgendes Kriterium: Es existiere eine ganze Funktion \(g (z)\) mit einfachen Nullstellen bei \(z = z_n\) und ein \(h >\varrho \), so daß (1) \( \lim _{n\to\infty }\,|z_n|^{-\varrho }\,\log |g'(z_n)| =d\) und (2) \( \lim \,|z|^{-\varrho }\,\log |g(z)| =d\), wenn \(z\to\infty\) außerhalb der Kreise \(|z - z_n|\leqq |z_n|^{-h}\), \(n=1,2,\ldots \). Der Beweis gelingt mittels der Interpolationsformel \[ f(z)=\frac {g(z)}{g(\lambda z)}\,\sum _1^\infty \frac {f(z_n)\,g(\lambda z_n)}{g'(z_n)\,(z-z_n)}, \] die eigens dazu hergeleitet wird. \[ \Bigl\{ (2\varrho d)^{-\frac {1}{\varrho }} \cdot n^{\frac {2}{\varrho }} \cdot e^{\frac {2\nu\pi i}{n}}\Bigr\},\;\;n=1,2,\ldots ;\;\nu =1,2,\ldots, n-1, \] \(\varrho, d > 0\) ist ein Beispiel einer Folge, die den Bedingungen (1) und (2) genügt, also einer E-Folge für die Klasse \(C(\varrho,d)\). Einen früheren Satz (J. London math. Soc. 11 (1936), 247-249; JFM 62.0356.*), wonach eine ganze Funktion notwendig konstant sein muß, wenn sie den Typus \(\pi /2\) der Ordnung 2 nicht erreicht und in den Gitterpunkten \(\{ m + in\} \) gleichmäßig beschränkt ist, kann nun Verf. ganz analog folgendermaßen erweitern: Eine ganze Funktion der Klasse \(C(\varrho,d)\) sei in allen Punkten einer Folge \(\{ z_n\} \), die den Bedingungen (1) und (2) genügt, gleichmäßig beschränkt; dann ist sie konstant. Speziell gilt dies für Funktionen der Ordnung \(\varrho \), dem Typus \(<\dfrac {1}{2\varrho }\) und die Folge \(n^{\frac {2}{\varrho }}\,e^{\frac {2\nu\pi i}{n}}\), \(n=1,2,\ldots \).