Zur Theorie des Borchardtschen Mittels. I. (Q1835450)

In dieser Arbeit wird die von \textit{Borchardt} angegebene Verallgemeinerung des arithmetisch-geometrischen Mittels auf vier Größen \(a\), \(b\), \(c\), \(e\): \[ \begin{gathered} \begin{matrix} &a_\nu = \frac14 (a_{\nu-1} + b_{\nu-1} + c_{\nu-1} + e_{\nu-1}),\hfill &b_\nu = \frac12\left(\sqrt{a_{\nu-1}b_{\nu-1}} +\sqrt{c_{\nu-1}e_{\nu-1}}\right),\hfill\\ &c_\nu = \frac12\left(\sqrt{a_{\nu-1}c_{\nu-1}} +\sqrt{b_{\nu-1}e_{\nu-1}}\right),\hfill &e_\nu = \frac12\left(\sqrt{a_{\nu-1}e_{\nu-1}} +\sqrt{b_{\nu-1}c_{\nu-1}}\right),\hfill \end{matrix} \\ \nu=1,\,2,\,\ldots,\quad a_0=a,\quad b_0=b,\quad c_0=c,\quad e_0=e \end{gathered} \] funktionentheoretisch untersucht, analog der vom Verf. aufgestellten Theorie des arithmetisch-geometrischen Mittels. Zunächst wird rein geometrisch der Konvergenzbeweis für irgend vier komplexe Zahlen \(a\), \(b\), \(c\), \(e\) des Algorithmus bewiesen. Der letztere ist regulär, wenn von einem bestimmten \(\nu\geqq k\) an stets: \[ \Re\left(\frac{\sqrt{a_\nu b_\nu}}{a_\nu}\right) \geqq 0,\quad \Re\left(\frac{\sqrt{a_\nu c_\nu}}{a_\nu}\right) \geqq 0,\quad \Re\left(\frac{\sqrt{a_\nu e_\nu}}{a_\nu}\right) \geqq 0,\,\ldots \] ist. Für irreguläre Algorithmen ist der Grenzwert 0. Für reguläre Algorithmen wird die Uniformisierung durch Thetanullwerte eingeführt: \[ a=\mu\left[{0\;0\atop 0\;0}\right]^2,\quad b=\mu\left[{0\;0\atop 0\;1}\right]^2,\quad c=\mu\left[{0\;0\atop 1\;0}\right]^2,\quad e=\mu\left[{0\;0\atop 1\;1}\right]^2, \] wo \(\mu\) das \textit{Borchardt}sche Mittel ist, und \[ \left[{h\;j\atop k\;l}\right]= \mathop{\sum\sum}\limits _{m,\,n=-\infty}^{+\infty} e^{\pi i[(m+\frac12h)\tau_{11} +2(m+\frac12h)(n+\frac12j)\tau_{12} +(n+\frac12j)\tau_{22} +(m+\frac12h)k +(n+\frac12 j)l]}. \] Diese Thetareihen gestatten eine Transformation zweiten Grades. Um nun die \(\tau\) für gegebene Werte \(a\), \(b\), \(c\), \(e\) zu berechnen, müssen über sie bestimmte Annahmen gemacht werden, die nur im Falle, daß alle \(a\), \(b\), \(c\), \(e\) reell und positiv sind, vom Verf. als immer erfüllt nachgewiesen werden können. In diesem Falle ist die Uniformisierung durchgeführt. (IV 6 D.)