On a representation of the class number of binary quadratic forms by infinite series. (Q1496865)

Der Verf. entwickelt zunächst seinen Begriff des ``\textit{projektiven Doppelintegrals}''. Es seien \[ l\equiv\alpha x+\beta y+\gamma z,\quad l_1\equiv\alpha_1x +\beta_1y+\gamma_1z,\quad l_2\equiv\alpha_2x+\beta_2y+\gamma_2z \] drei ganz außerhalb der gegebenen Fläche \(F\) liegende Gerade mit der Determinante: \[ \varDelta =\begin{vmatrix} \alpha & \beta & \gamma \\ \alpha_1 & \beta_1 & \gamma_1 \\ \alpha_2 & \beta_2 & \gamma_2 \end{vmatrix} \neq 0. \] Die Größen \[ x_l=\frac x{\alpha x+\beta y+\gamma z}, \quad y_l=\frac y{\alpha x+\beta y+\gamma z}, \quad z_l=\frac z{\alpha x+\beta y+\gamma z} \] heißen die bezüglich der Linearform \(l\) normierten Koordinaten. Ferner sei \[ u=\alpha_1x_l+\beta_1y_l+\gamma_1z_l, \] \[ v=\alpha_2x_l+\beta_2y_l+\gamma_2z_l, \] \[ 1=\alpha x_l+\beta y_l+\gamma z_l \] und \(f(x,y,z)\) eine Form \((-3)\)-ten Grades, auf \(F\) eindeutig und stetig. Dann wird das projektive Doppelintegral \[ I={\begin{matrix} \\ \int\!\!\int \\ {\,}_{{}^{(F)}} \end{matrix}} f(x,y,z)(xdydz+ydxdz+zdxdy) \] definiert durch \[ I={\begin{matrix} \\ \int\!\!\int \\ {\,}_{{}^{G}} \end{matrix}} f(x_l,y_l,z_l)\begin{vmatrix} x_l & y_l & z_l \\ \frac {dx_l}{du} & \frac {dy_l}{du} & \frac {dz_l}{du} \\ \frac {dx_l}{dv} & \frac {dv_l}{dv} & \frac {dz_l}{dv} \end{vmatrix} dudv, \] wo \(G\) die auf die Ebene kollinear abgebildete Fläche \(F\) ist. Der absolute Betrag von \(I\) ist nur abhängig von \(f(x,y,z)\) und \(F\). Dieses Integral \(I\) wird berechnet für \[ f(x,y,z)=\frac 1{(\alpha x+\beta y+\gamma z)^3}, \] falls \(F\) 1. ein Kegelschnitt, 2. die Fläche eines Dreiecks ist. In beiden Fällen ist \(I\) der Flächeninhalt der zuggehörigen \(G\). Diese beiden Formeln wendet der Verf. weiter an auf \(F\equiv xz-y^2=0\) und dessen ``\textit{Elementardreiecke}'' (siehe Math. Annalen 45: \textit{A. Hurwitz}, Über die Reduktion der binären quadratischen Formen. F. d. M. 25, 313, 1894). Da dieselben den ganzen Kegelschnitt ausfüllen, muß die Summe über die Elementardreiecke von \(I\) gleich sein dem \(I\) des Kegelschnittes. Dies ergibt die Formel \[ 3\sum\frac 1{(\alpha r^2+\beta rs+\gamma s^2)(\alpha r_1^2+\beta r_1s_1+\gamma s_1^2)[\alpha (r+r_1)^2+\beta (r+r_1)(s+s_1)+\gamma (s+s_1)^2]} \] \[ =\frac {24 \pi}{(\sqrt {4\alpha\gamma -\beta^2)^3}}, \] wo die Summe über sämtliche Lösungen von \(rs_1-r_1s=1\) zu erstrecken ist. Setzt man \(\alpha =a,\beta =2b,\gamma =c, D=ac- b^2\), so wird \[ \sum\frac 1{a'c'(a'+2b'+c')}=\frac {2\pi}{D\sqrt D}, \] wo die Summe über alle Formen \((a',b',c')\) zu erstrecken ist, die aus \((a,b,c)\) durch unimodulare lineare Substitutionen entstehen. Hieraus ergibt sich leicht für die Klassenanzahl \(h\) der Determinante \(D\): \[ \frac {3\pi}{2D\sqrt D}h=\sum_{a,b,c}\frac 1{ac(a+2b+c)}, \] die Summe erstreckt sich über alle Formen \((a,b,c)\) von \(D\). Da diese Summe schlecht konvergiert, stellt der Verf. durch dieselbe Überlegung besser konvergente Reihen her: \[ h=\frac {(\mu + 1)}{3\pi}(4D)^{\mu+1}\sqrt D\sum\frac 1{abc} \left( \frac {t_0t_1}{ab}+\frac {t_1t_2}{bc}+\frac {t_2t_0}{ca} \right)^{\mu}, \] wo \(D=AC-B^2\) die Determinante der Form \((A,B,C)\), und \(a=A\), \(b=A+2B+C\), \(c=C\), \(\mu\,=\) irgendeine positive ganze rationale Zahl. Rechnet man die \(\mu\)-te Potenz aus, so hat man überall an Stelle von \(t_0^{l_0}t_1^{l_1}t_2^{l_2}\) zu setzen \[ \frac {l_0!\,\,l_1!\,\,l_2!}{(l_0+l_1+l_2+2)!}. \] Auch eine Restabschätzung der Reihe wird angegeben.