Some theorems on functions of a complex variable. (Q1549197)

In der bekannten Abhandlung von Herrn Weierstrass (Berl. Abh. 1876) sind Functionen dargestellt, die in der ganzen Ebene eindeutig sind und in beliebig gegebenen Punkten in endlicher Ordnung unendlich werden. Specielle Functionen dieser Art, zu denen die Jacobi'sche \(\vartheta\)-Function gehört, hatte schon Herr Betti untersucht (Annali di Tortolini vol. III. p. 82). Eine Modification des Betti'schen Verfahrens führt den Herrn Verfasser auch zur Construction der allgemeinen Weierstrass'schen Function. Eine Function, die nur in den Punkten \(z= \alpha_1,\alpha_2, \ldots \alpha_n, \ldots\) Null wird resp. in der Ordnung \(m_1,m_2, \ldots m_n, \ldots\), wird in der Form vorausgesetzt \[ \varPi \left( 1- \frac{z}{\alpha_n} \right)^{m_n} \cdot e^{\varphi_n(z)}, \] wo \(\varphi (z)\) eine ganze Function ist. Der Convergenzfactor \(e^{\varphi_n (z)}\) wird nun so bestimmt, dass nicht nur die Reihe der Logarithmen, sondern auch die Reihe ihrer Derivirten, dass also die zwei Reihen \[ \sum \left\{ m_n \log \left( 1- \frac{z}{\alpha_n} \right) +\varphi_n(z) \right\}\quad\text{und}\quad\sum \left\{ - \frac{m_n}{\alpha_n-z} + \varphi_n'(z) \right\} \] unbedingt und gleichmässig convergiren (Herr Betti hatte nur die erste Reihe in Betracht gezogen und daher nur engere Resultate erhalten). Das nämliche Princip dient alsdann zur Herleitung des von Herrn Mittag-Leffler gegebenen Satzes, nach welchem immer eine Function existirt, die in beliebig gegeben Punkten \(\alpha_1, \alpha_2, \ldots,\alpha_n, \ldots\) unendlich wird in den Ordnungen \(m_1,m_2,\ldots m_n, \ldots\) und zwar in \(\alpha_n\) wie eine bestimmt vorgegebene Function \[ \frac{A_{n1}}{z-\alpha_n}+\frac{A_{n2}}{(z-\alpha_n)^2}+ \ldots +\frac{A_{nm_n}}{(z-\alpha_n)^{m_n}}+W_n(z), \] wo \(W_n(z)\) in der Umgebung von \(\alpha_n\) den Character einer ganzen Function hat, also von der Form ist: \[ W_n(z)= B_{n0}+B_{n1}(z-\alpha_n)+ \ldots +B_{nq_n}(z-\alpha_n)^{q_n}+\ldots \] Die Mittag-Leffler'sche Function wird hergestellt zuerst für den Fall, dass nur die Coeficienten \(A_{n1},A_{n2}, \ldots A_{mn_n}\), zweitens für den Fall dass zugleich die \(q_n-1\) ersten Coefficienten \(B_{n0},B_{n1},\ldots B_{nq_n-1}\)gegeben sind. Da der Beweis nicht ausschliesst, dass einige oder alle Zahlen \(m_1,m_2,\ldots m_n, \ldots\) und einige der Coefficienten \(B\) gleich Null sind, so folgt weiter: Es giebt unendlich viele einwertige Functionen, die in beliebig gegebenen Punkten in endlicher Ordnung unendlich, in anderen Punkten in endlicher Ordnung unendlich klein oder auch endlich sind, derart, dass in den Entwickelungen der Function in der Umgebung aller dieser Punkte für die Punkte der ersten Art die Coefficienten in dem Bruchteil der Entwickelung, für die Punkte der anderen Art die Coefficienten der ersten Glieder der Entwicklung oder, was dasselbe, dass für die letzteren Punkte die Werte der Function und einer endlichen Zahl ihrer Derivirten gegeben sind. Für besondere einfache Fälle werden zum Schluss noch andere Constructionen solcher Functionen angegeben.