On the theory of uniform functions of one variable. Extract of a letter address to M. Hermite. (Q1547821)

Forsetzung der Untersuchungen des Herrn Verfassers über die Darstellung eindeutiger analytischer Functionen. Für das Frühere vergl. F. d. M. XI. (1879) p. 264; XII. (1880) p. 311 ff; XIII. (1881) p. 307 (JFM 11.0264.02, JFM 12.0311.01, JFM 12.0312.01, JFM 13.0307.03). Nach der von Herrn Weierstrass (Berl. Ber. 1880) gegebenen Methode lässt sich folgender allgemeine Satz beweisen: ``Sind \(a_{1}\), \(a_{2}\), \(a_{3}\), \(\ldots\) eine unendliche Reihe verschiedener Werte, für welche \[ \mathop{\text{Lim}}_{\nu = \infty} a_{\nu} = \infty \] ist, und \[ G_{\nu} (y)=\sum_{m} c_{m}^{(\nu)} y^{m} \quad \quad \quad \quad (\nu=1, 2,\ldots, \nu) \] ganze, rationale oder transcendente Functionen, die für \(y=0\) verschwinden, so lässt sich immer eine analytische Function \(F(x)\) bilden, die keine andern singulären Punkte als \(a_{1}\), \(a_{2}\), \(a_{3}\), \(\ldots\) hat, und die so beschaffen ist, dass für jeden bestimmten Wert von \(\nu\) die Differenz \[ F(x)-G_{\nu} \left( \frac{1}{x-a_{\nu}} \right) , \] wenn man \(x=a_{\nu}\) setzt, einen endlichen und bestimmten Wert annimmt, so dass sich \(F(x)\) in der Umgebung von \(x=a_{\nu}\) in Form \[ G_{\nu} \left( \frac{1}{x-a_{\nu}} \right) + P(x-a_{\nu}) \] entwickeln lässt.'' Wenn nun in dieser Darstellung, welche die Form hat: \[ F(x)=\sum_{\nu=1}^{\infty} F_{\nu} (x) + G(x) , \] wo \[ F_{\nu}(x) = G_{\nu} \left( \frac{1}{x-a_{\nu}} \right) - \sum_{\mu=0}^{m_{\nu} -1} A_{\mu}^{(\nu)} { \left( \frac{x}{a_{\nu}} \right) }^{\mu} \] und \[ G_{\nu} \left( \frac{1}{x-a_{\nu}} \right) = \sum_{\mu =0}^{\infty} A_{\mu}^{(\nu)} { \left( \frac{x}{a_{\nu}} \right) }^{\mu} \quad \text{für} \quad \left( \frac{x}{a_{\nu}} \right) <1, \] \(F(x)\) eine bekannte Function ist, und man will sie durch eine Reihe von obiger Form ausdrücken, so handelt es sich darum, solche Zahlen \(m_{\nu}\) zu finden, dass die Reihe \(\sum_{\nu=1}^{\infty} F_{\nu} (x)\) eindeutig convergent wird, und die Function \(G(x)\) zu bestimmen. Es wird im Folgenden eine Formel entwickelt, welche ein Mittel bietet, dieses Problem in einem sehr allgemeinen Falle zu lösen. Diese Formel wird noch verallgemeinert zu folgender: \[ F(x)=\overline{G} (x) + \sum_{\nu=0}^{n} \overline{F_{\nu}} (x) \] \[ + \frac{1}{2 \pi i} \int F(x) \left\{ \frac{1}{z-x}-\frac{1}{z} \left[ B_{0}-B_{1} \frac{x}{z} + \cdots + B_{m-1} { \left( \frac{x}{z} \right) }^{m-1} \right] \right\} dz, \] wo die \(B\) willkürliche, von \(z\) und \(x\) unabhängige Grössensind. Es folgen Anwendungen auf den Fall, wo \[ F(x)=R(y) . r(x), \quad y=e^{x}, \] worin \(r\) eine algebraische rationale Function von \(y\) ist, die für \(y=0\) und \(y=\infty\) endlich bleibt. Unter Anderm ergeben sich daraus die Entwickelungen von \(\pi \cot \pi x\), von denen Herr Gyldén bei der Störungsrechnung Gebrauch gemacht hat. Ferner wird \[ F(x)=f(x) . r(x) \] gesetzt, wo \(f(x)\) eine endliche monogene Function mit einer endlichen Anzahl singulärer Punkte, und \[ f(x+2w)=\mu f(x), \quad f(x+2w') = \mu ' f(x), \] wo \(w\), \(w'\) \(\mu\), \(\mu'\) Constanten, \(\frac{w'}{w}\) nicht reell, und \(\left[ \mu \right] <1\), \([ \mu ' ] < 1.\) Alsdann giebt der Herr Verfasser einen Auszug aus einer grössen Abhandlung, die in den Berichten der Akademie zu Stockholm erschienen ist, und welche auf dem obigen allgemeinen Satze die Theorie der eindeutigen analytischen Functionen einer Variabeln aufbaut. Auch wird dieses allgemeine Theorem angewendet auf das Studium der von Herrn Poincaré eingeführten analytischen Functionen.