On indefinite ternary quadratic forms with conjugate indeterminates and on the corresponding hyperfuchsian functions. (Q1545649)

Die Abhandlung bildet die weitere Ausführung der im ersten Bande der Acta veröffentlichten Untersuchungen ``Sur une classe de groupes discontinus'' etc. (vergl. F. d. M. XV. 1883. p. 356 (JFM 15.0356.02), sowie C. R. XCV. 763, F. d. M. XIV. 1882. 79 (JFM 14.0079.02)), wo die Existenz gewisser an die Transformation indefiniter ternärer quadratischer Formen in sich anschliessender Gruppen linearer Substitutionen von zwei Veränderlichen gezeigt und zugehörige ``hyperfuchs'sche Functionen,'' welche durch jene Transformationen in sich übergehen, aufgestellt werden. Hier handelt es sich um eine genauere Untersuchung jener Gruppen und Aufstellung der wichtigsten Eigenschaften der zugehörigen Functionen. Die Untersuchung beginnt mit einer Theorie ternärer quadratischer Formen: \[ F=axx_0+a'yy_0+a''zz_0+byz_0+b_0y_0z+b'zx_0+b_0'z_0x+b''xy_0+b_0''x_0y, \] wo \(a, a', a''\) reell, \(b\) und \(b_0,\;b'\) und \(b_0',\;b''\) und \(b_0''\) conjugirt complexe Grössen bedeuten. Sie lassen sich durch lineare Substitution in die Formen \[ \begin{aligned} & \pm(uu_0+vv_0+ww_0), \\ & \pm(uu_0+vv_0-ww_0) \end{aligned} \] bringen, wo die erste den definiten, die zweite den indefinitien, quadratischen Formen entspricht. Die allgemeinste lineare Substitution, welche \(uu_0+vv_0+ww_0\) in sich transformirt, ist \[ \begin{aligned} & U=Mu+Pv+Rw, \\ & V=M'u+P'v+R'w, \\ & W=M''u+P''v+R''w, \end{aligned} \] wo zwischen den Grössen \(M, P, R,\dots\) 6 Relationen bestehen, die es gestatten, alle diese Grössen durch drei derselben mit der Bedingung \[ MM_0+PP_0-RR_0=-1 \] \((M_0,P_0,R_0\) conjugirt zu \(M, P, R\)) zu ersetzen. Nun definire man die zu einer gegebenen indefiniten ternären quadratischen Form gehörigen reducirten Formen in folgender Weise: Eine Form \[ F=uu_0+vv_0-ww_0 \] heisst reducirt, wenn die entsprechende definite Form \[ \varPhi=UU_0+VV_0+WW_0 \] reducirt ist, welche nach den obengenannten Relationen und nach der Substitution: \[ \frac MR=\xi,\;\frac PR=\eta \] auch in der Form: \[ \varPhi=-(uu_0+vv_0-ww_0)(\xi\xi_0+\eta\eta_0-1)+2\text{\,abs.}(u\xi+v\eta+w) \] mit \(\xi\xi_0+\eta\eta_0<1\) geschrieben werden kann. Die Anzahl der hiernach zu einer Form \(uu_0+vv_0-ww_0\) gehörigen äquivalenten reducirten Formen ist endlich. Es lässt sich also innerhalb der ``Fläche'' \(\xi\xi_0+\eta\eta_0=1\) ein Gebiet (durch zwischen \(\xi\) und \(\eta\) bestehende Ungleichungen) abtrennen, welches alle zu einer gegebenen Form reducirten enthält. Dieses Gebiet bildet das ``Fundamentalgebiet'' für eine Gruppe discreter linearer Transformationen der \(u\) (oder der \(\xi\)) von der Form \[ \xi'=\frac{A\xi+A'\eta+A''}{C\xi+C'\eta+C''};\quad \eta'=\frac{B\xi+B'\eta+B''}{C\xi+C'\eta+C''}, \] so zwar, dass jedem Punkte \((\xi,\eta)\) im Innern von \(\xi\xi_0+\eta\eta_0=1\) durch die Substitutionen der Gruppe eine endliche Zahl von Punkten innerhalb des Fundamentalgebietes (den verschiedenen zu \(F\) äquivalenten reducirten Formen entsprechend) zugeordnet ist. Nun ergeben sich aus einer solchen Gruppe (in Analogie mit den von Poincaré eingeführten Thetafuchs'schen Functionen einer Variablen) durch Reihen von der Gestalt \[ \sum R\left(\frac{A\xi+A'\eta+A''}{C\xi+C'\eta+C''},\;\frac{B\xi+B'\eta+B''}{C\xi+C'\eta+C''}\right)\cdot \frac{1}{(C\xi+C'\eta+C'')^{3m}}, \] für welche nachgewiesen wird, dass sie convergent und nicht identisch Null sind, ``hyperfuchs'sche Thetafunctionen'' \(\Theta(\xi,\eta)\) mit der Gleichung: \[ \theta(\frac{A\xi+A'\eta+A''}{C\xi+C'\eta+C''}, \frac{B\xi+B'\eta+B''}{C\xi+C'\eta+C''})= (C\xi+C'\eta+C'')^{3m}\Theta(\xi, \eta). \] Aus zweien solchen \(\theta\)-Functionen \(\theta_1\) und \(\theta_2\), mit den rationalen Functionen \(R_1\) und \(R_2\) gebildet, folgen dann durch Quotientenbildung die hyperfuchs'schen Functionen \(F(\xi,\eta)\) als im Innern des Gebietes \(\xi\xi_0+\eta\eta_0=1\) eindeutige analytische Functionen von \(\xi\) und \(\eta\), welche durch die Substitutionen der Gruppe in sich übergehen. Alle solche zu einer Gruppe gehörigen Functionen lassen sich durch gewisse drei unter ihnen, zwischen welchen eine Algebraische Relation besteht, rational darstellen. Seien dieselben \[ x=F_1(\xi,\eta),\quad y=F_2(\xi,\eta),\quad z=F_3(\xi,\eta), \] wo dann eine algebraische Relation \[ f(x, y, z)=0 \] statthat; nun bilde man das folgende System partieller Differentialgleichungen: \[ \begin{aligned} \frac{\partial^2z}{\partial x^2} & = a\;\frac{\partial z}{\partial x}+b\;\frac{\partial z}{\partial y}+cz, \\ \frac{\partial^2z}{\partial x\partial y} & = a_1\;\frac{\partial z}{\partial x}+b_1\;\frac{\partial z}{\partial y}+c_1z, \\ \frac{\partial^2z}{\partial y^2} & = a_2\;\frac{\partial z}{\partial x}+b_2\;\frac{\partial z}{\partial y}+c_2z, \end{aligned} \] wo die \(a, b, c\) rationale Functionen von \(x,y,z\) sind; diese drei Gleichungen haben drei von einander linear unabhängige gemeinsame Lösungen \(z_1, z_2, z_3\). Setzt man dann \(\frac{z_2}{z_1}=\xi\), \(\frac{z_3}{z_1}=\eta\), so ergeben sich für die Auflösung derselben nach \(x, y\) eben die obigen Functionen: \[ x=F_1(\xi,\eta),\quad y=F_2(\xi,\eta). \] Die allgemeinen Untersuchungen werden noch für die specielle Form \[ F=yy_0+xz_0+x_0z \] durchgeführt, für welche die zugehörige Gruppe linearer Substitutionen sich aus: \[ \begin{aligned} & (x,y,z;\;x+2y-2z,\;y-2z,\;z), \\ & (x,y,z;\;x+(y+i)y-z,\;y-(1-i)z,\;z), \\ & (x,y,z;\;x+iz,y,z) \end{aligned} \] zusammensetzen lässt. Zum Schlusse wird endlich ein Beispiel für eine hyperfuchs'sche Gruppe (zur Richtigstellung einiger früherer Angaben) herangezogen, das schon Acta II. und C. R. XCVIII. p. 289 behandelt worden ist (vergl. das Referat auf der folgenden Seite, JFM 16.0389.01).