On the theory of the arithmetic geometric mean of four elements. (Q1551635)

Der Herr Verfasser gelangt auf einem Wege, der von dem von Borchardt eingeschlagenen abweicht, zur Ermittelung des Grenzwerthes des arithmetisch-geometrischen Mittes aus vier Elementen (Siehe wegen der Bezeichnungen das Referat über die Borchardt'sche Fundamentalarbeit F. d. M. VIII. 1876, p. 300, JFM 08.0300.01). Es wird bewiesen, dass, wenn die Grössen \(\alpha_0,\;\alpha_1,\;\alpha_2,\;\alpha_3\) aus den Gleichungen \[ \alpha_0=\delta\frac {acb'}{\varDelta},\quad \alpha_1=\delta\frac {cc'e'}{\varDelta},\quad\alpha_2=\delta\frac {ac''e'}{\varDelta},\quad\alpha_3\delta\frac {b'c'c''}{\varDelta}, \] \[ \varDelta =(abceb'c'e'b''c''e'')^{\frac 14} \] und \(\beta_0,\;\beta_1,\;\beta_2,\;\beta_3\) aus den analogen Gleichungen \[ \beta_0=\delta\frac {a_1c_1b_1'}{\varDelta_1},\quad \beta_1=\delta\frac {c_1c_1'e_1'}{\varDelta_1},\quad \beta_2=\delta\frac {a_1c_1''e_1'}{\varDelta},\quad \beta_3=\delta\frac {b_1'c_1'c_1''}{\varDelta_1}, \] \[ \varDelta_1=(a_1b_1c_1e_1b_1'c_1'e_1'b_1''c_1''e_1'')^{\frac 14} \] bestimmt werden, in denen \(\delta\) eine willkürliche positive Grösse bedeutet und \(b_1',\; c_1',\ldots e_1''\) in derselben Weise von \(a_1,\; b_1,\; c_1,\; e_1\) abhängen, wie \(b',\; c',\ldots e''\) von \(a,\; b,\; c,\; e\), die Integralgleichung \[ \text{(J)}\quad \int_0^{\alpha_3} dx' \int_{\alpha_2}^{\alpha_1} dx\frac {x-x'}{\sqrt{R(x)R(x')}} =\int_0^{\beta_3}dy' \int_{\beta_2}^{\beta_1} dy\frac {y-y'}{\sqrt{R_1(y)R_1(y')}}, \] besteht, wo \[ \begin{aligned} & R(x)=(x-\alpha_0)(x-\alpha_1)(x-\alpha_2)(x-alpha_3)x\\ & R(y)=(y-\beta_0)(y-\beta_1)(y-\beta_2)(y-\beta_3)y \end{aligned} \] ist, dass also die Determinante \(\omega_{12}\omega_{21}-\omega_{11}\omega_{22}\), wo \[ \begin{aligned} & \omega_{11}=\int_{\alpha_1}^{\alpha_2} \frac {dx}{\sqrt{R(x)}},\quad \omega_{21}=\int_{\alpha_1}^{\alpha_2} \frac {xdx}{\sqrt{R(x)}},\\ & \omega_{12}=\int_{\alpha_3}^0 \frac {dx}{\sqrt{R(x)}},\quad \omega_{22}=\int_{\alpha_3}^0 \frac {xdx}{\sqrt{R(x)}} \end{aligned} \] bei dem Uebergang von den ursprünglichen Elementen \(a,\; b,\; c,\; e\) zu den transformirten Elementen \(a_1,\; b_1,\; c_1,\; e_1\) ihrem Werthe nach ungeändert bleibt. Der Grenzwerth \(g\) wird dann aus der Gleichung \((J)\) durch \(n\)-malige Wiederholung der Transformation und durch den Uebergang zur Grenze für \(n=\infty\) erhalten.