Sur les fonctions méromorphes limites de fonctions rationnelles. (Q2602376): Difference between revisions

In Fortführung seiner Untersuchungen (vgl. Ann. Mat. pura appl., Bologna, (4) 13 (1934), 75-90; F. d. M. \(60_{\text I}\), 250) über den Charakter der meromorphen Funktionen, die sich als Grenzfunktionen rationaler Funktionen, deren Pole passenden Bedingungen genügen, darstellen lassen, erhält Verf. das folgende allgemeine Resultat: Die Folge rationaler Funktionen \[ R_n(z)=P_n(z){+}\sum_{\nu=1}^n\left( \frac{A_{n\nu}^{(\lambda)}}{(z{-}\alpha_{n\nu})^\lambda}+ \frac{A_{n\nu}^{(\lambda-1)}}{(z{-}\alpha_{n\nu})^{\lambda-1}}+\cdots+ \frac{A_{n\nu}^{(1)}}{z{-}\alpha_{n\nu}}\right) \;(n = 1,2,\ldots), \tag{1} \] wobei die \(P_n(z)\) Polynome von einem Grade \(\leqq q\) bedeuten, konvergiere gleichmäßig gegen eine in \(z=0\) reguläre meromorphe Funktion \(R(z)\). Dabei gelte für ein \(k\geqq 0\) gleichmäßig \[ \sum_{s=1}^\lambda\sum_{\nu=1}^n\left| \frac{A^{(s)}_{n\nu}}{\alpha_{n\nu}^{k+s}}\right|<M. \] Dann ist \(R(z)\) von der Form \[ R(z)=P(z)+\sum_{s=1}^\lambda\sum_{n=1}^\infty A_n^{(s)} \left( \frac1{(z-\alpha_n)^s}+(-1)^{s-1} \sum_{g=0}^{m-1}\binom{(s-1+g)}g\frac{z^g}{\alpha_n^{s+g}}\right), \tag{2} \] wo \(P(z)\) ein Polynom vom Grade \(\max (q, [k])\) bedeutet, und \(m=k\) oder \([k]+1\) ist, je nachdem \(k\) ganzzahlig ist oder nicht. Dabei ist die Reihe \[ \sum_{s=1}^\lambda\sum_{n=1}^\infty \left| \frac{A^{(s)}_{n}}{\alpha_{n}^{k+s}}\right| \] konvergent. Umgekehrt läßt sich eine meromorphe Funktion \(R(z)\) dieser Art als Grenzfunktion rationaler Funktionen der Form (1) darstellen. Als Anwendungen dieses Resultats ergeben sich einige speziellere, aber eingehendere Aussagen, z. B.: Die Folge rationaler Funktionen \[ R_n(z)=\sum_{\mu=1}^n\left( \frac{A_{n\mu}^{(\lambda)}}{(\alpha_{n\mu}-z)^\lambda}+ \frac{A_{n\mu}^{(\lambda-1)}}{(\alpha_{n\mu}-z)^{\lambda-1}}+\cdots+ \frac{A_{n\mu}^{(1)}}{\alpha_{n\mu}-z}\right)\qquad (n = 1,2,\ldots), \] mit \(A_{n\mu}^{(s)}\geqq 0\), \(|\arg a_{n\mu}|\leqq\dfrac\pi{2\lambda}\), konvergiere gegen die in \(z=0\) reguläre meromorphe Funktion \(R(z)\). Dann ist \(R(z)\) von der Form \[ R(z)=\gamma z+\delta+\sum_{s=1}^\lambda\sum_{\mu=1}^\infty A^{(s)}_\mu \left[\frac1{(\alpha_\mu-z)^s}-\frac1{\alpha^s_\mu}\right], \] wobei \(A_\mu^{(s)}\geqq 0\), \(|\arg \alpha_\mu|\leqq\dfrac\pi{2\lambda}\) gilt, die Reihe \[ \sum_{s=1}^\lambda\sum_{n=1}^\infty \left| \frac{A^{(s)}_{\mu}}{\alpha_{\mu}^{s+1}}\right| \] konvergiert, endlich \[ \gamma\leqq 0 \quad \text{und} \quad\mathfrak R\delta\geqq\mathfrak R \sum_{s=1}^\lambda\sum_{n=1}^\infty \frac{A^{(s)}_{\mu}}{\alpha_{\mu}^{s}} \] ist. (Vgl. für \(\lambda=1\) die eingangs zitierte Note.)