Détermination d'une classe particulière de surfaces à lignes de courbure planes dans un système et isothermes. (Q1546860)

Die beiden Noten in den C. R. enthalten eine abgekürzte Inhaltsangabe der unter gleichlautendem Titel in Darboux Bull. erschienenen Abhandlung. In der Einleitung wird eine ältere Arbeit des Herrn Enneper aus den Gött. Nachr. von 1868 über Flächen mit constantem Krümmungsmass und einem System von ebenen oder sphärischen Krümmungslinien erwähnt, ebenso wie die Arbeiten von Bonnet und die einen ähnlichen Gegenstand behandelnde Arbeit des Herrn Voretsch (Göttingen 1883, s. nachstehendes Referat (JFM 15.0731.01)). Dagegen wird die sehr ausgedehnte und umfassende Arbeit des Herrn Enneper vom Jahre 1880 (Gött. Abh. XXIII., XXIV., cfr. F. d. M. XII. 1880. 579-581, JFM 12.0579.01) gar nicht angeführt, in welcher die analytische Darstellung sämtlicher Flächen mit einem System planer oder sphärischer Krümmungslinien durchgeführt ist. Es scheint, als ob diese Arbeit dem Herrn Verfasser nicht bekannt geworden ist. Er hätte sie sonst wohl unzweifelhaft citirt, da in derselben ein bei weitem allgemeineres Problem vollständig gelöst ist. Immerhin aber ist die Behandlung des specielleren Problems in den vorliegenden Arbeiten sowohl ihrer Methode als ihrer Resultate wegen von grossem Interesse. Es handelt sich um die Aufsuchung derjenigen Flächen mit einem System ebener Krümmungslinien, welche durch die Krümmungslinien in unendlich kleine Quadrate geteilt werden können, für welche also die Krümmungslinien isotherme Linien sind. Sollen die Parametercurven isotherm sein, so lässt sich das Linienelement \(ds\) folgendermassen darstellen \[ ds^2 = e^{2h} (du^2+ dv^2). \] Mit Benutzung gewisser von den Herren Bonnet und Codazzi betrachteten Formeln der Flächentheorie werden nun die beiden andern Bedingungen, nämlich dass die Curven \(v=\text{const.}\) eben sind, und dass beide Systeme von Parametercurven Krümmunglinien sind, in die Form gebracht: \[ \frac{\partial}{\partial v}\left(\frac{\frac{\partial^2h}{\partial u\,\partial v}}{\frac{\partial h}{\partial v}}\right)=\frac{\partial h}{\partial u}\cdot \frac{\partial h}{\partial v}\,, \] \[ (1+V^2)\;\frac{\partial^2h}{\partial v^2}+VV'\;\frac{\partial h}{\partial v}+\frac{\partial^2h}{\partial u^2}=0. \] Hierin bedeutet \(V\) eine willkürliche Function von \(v\). In überraschend einfacher Weise wird nun die Integration vollzogen, wobei der Fall der Rotationsfläche, welcher selbstverständlich ist, ausgeschlossen werden kann. Die zweite Gleichung geht durch die Substitution \(dv_1=\frac{dv}{\sqrt{1+V^2}}\) über in \[ \frac{\partial^2h}{\partial u^2}+\frac{\partial^2h}{\partial v^2_1}=0, \] während die erste wird \[ \frac{\partial}{\partial v_1}\left(\frac{\frac{\partial^2h}{\partial u\,\partial v_1}}{\frac{\partial h}{\partial v_1}}\right)=\frac{\partial h}{\partial u}\cdot \frac{\partial h}{\partial v_1}\,, \] also dieselbe Form, wie oben, behält. Diese erste Gleichung aber führt durch einfache Integrationsmethoden auf \[ \frac{\partial h}{\partial u} =Ue^h + U_1e^{-h}, \] wozu tritt \[ \frac{\partial^2h}{\partial u^2}+\frac{\partial ^2h}{\partial v^2_1}=0. \] Hierin bedeuten \(U\) und \(U_1\) Functionen von \(u\) allein, welche den Bedingungen \[ \begin{aligned} & \frac{U''}{U} =\frac{U_1''}{U_1} = U_2- 2UU_1,\\ & 6UU_1+ U_2 = C_1\end{aligned} \] genügen müssen, während \(U_2\) eine dritte Function von \(u\) bedeutet. Setzt man dann \(UU_1=\vartheta\), so ergiebt sich für \(\vartheta\) die Differentialgleichung \[ \vartheta''=4C_1\vartheta-24\vartheta^2+C_2, \] aus welcher folgt, dass sich \(\vartheta\) durch elliptische Functionen in der Gudermann'schen Bezeichnung folgendermassen ausdrückt: Bestimmt man \(k\) und \(\omega\) durch die Gleichungen \[ \begin{aligned} C & =\tfrac 12 k^2\text{\,sn\,}\omega\text{\,cn\,}\omega \text{\,dn\,} \omega,\\ C_1 & =3k^2\text{\,sn}^2\omega-1-k^2\end{aligned} \] so ist \[ \vartheta = \frac{k^2}{4}(\text{sn}^2\omega-\text{sn}^2u), \] und man erhält nun \(U\) und \(U_1\) als Integrale einer Lamé'schen Gleichung von der einfachen Form \[ \frac{y''}{y}=C_1-8\vartheta=2k^2\text{sn}^2u-1k^2+2k^2\text{sn}^2\omega. \] Diese Gleichungen sind von Herrn Hermite genau untersucht, und man findet daraus \[ \begin{aligned} U & = \frac{H'(0)H(u+\omega)}{2\varTheta(\omega)\varTheta(u)}\;e^{u\frac{\varTheta'(\omega)}{\varTheta(\omega)}}\,,\\ U' & = \frac{H'(0)H(u-\omega)}{2\varTheta(\omega)\varTheta(u)}\;e^{u\frac{\varTheta'(\omega)}{\varTheta(\omega)}}\,,\end{aligned} \] Es könnte noch zu einem dieser Werte ein constanter Factor \(\varrho\), zum andern \(\frac 1\varrho\) treten; indessen ergäbe dies nichts wesentlich Neues, man würde nur statt der ersten Fläche eine ihr geometrisch ähnliche erhalten. Nach Ausführung dieser Integrationen kommt es noch an auf die Bestimmung von \(h\) aus den Gleichungen \[ \begin{aligned} & \frac{\partial h}{\partial u}= Ue^h+U_1e^{-h},\\ & \frac{\partial^2 h}{\partial u^2} + \frac{\partial^2 h}{\partial v^2_1}= 0.\end{aligned} \] Die erste dieser Gleichungen führt, wenn man darin z. B. \(e^h\) als unbekannte Function ansieht, auf eine Riccati'sche Gleichung im weiteren Sinne, welche gelöst werden kann, wenn man particuläre Lösungen kennt. Die darin vorkommende Integrationsconstante ist dann noch der zweiten Gleichung gemäss als Function von \(v_1\) zu bestimmen, und so findet der Herr Verfasser als allgemeines Integral \[ e^h =\frac{\varTheta\left(\frac{u+iv_1\omega}{2}\right)\varTheta\left(\frac{u-iv_1\omega}{2}\right)}{H\left(\frac{u+iv_1+\omega}{2}\right)H\left(\frac {u-iv_1+\omega}{2}\right)}\;e^{u\,\frac{\varTheta'(\omega)}{\varTheta(\omega)}}\,. \] Es sind nun noch die rechtwinkligen Coordinaten der Fläche als Functionen von \(u\) und \(v\), darzustellen. Nach Bonnet's Untersuchungen ist die Fläche, wenn man das Linienelement und gewisse in den Formeln von Codazzi vorkommende Grössen kennt, vollständig bestimmt, und dies ist hier der Fall. Zur wirklichen Darstellung ist aber noch die Lösung einer Riccati'schen Gleichung erforderlich, deren Integration oft unüberwindliche Schwierigkeiten darbietet. In dem vorliegenden Falle aber ist auch diese Integration dem Herrn Verfasser gelungen, und er hat das folgende Resultat erhalten. Wir bestimmen auf der Kugel um \(O\) mit dem Radius 1 eine Curve durch folgende Bedingungen. Sei \(xyz\) ein Punkt derselben, der Endpunkt des Bogens \(s\), den wir als Parameter wählen. Wir setzen \[ \varDelta=\begin{vmatrix} \l &\;\l\;&\;\l \\ x & y & z\\ x' & y' & z'\\ x'' & y'' & z''\end{vmatrix} \] und \[ (1+i\varDelta)\;\frac {ds}{dv_1}=V\;\frac {H'(0)\varTheta(iv_1 + (\omega)}{H(iv_1)\varTheta(\omega)}\;e^{-iv_1\,\frac{\varTheta'(\omega)}{\varTheta(\omega)}}\,. \] Diese complexe Gleichung vertritt zwei reelle Gleichungen, und durch sie werden \(s\), \(x\), \(y\), \(z\) als Functionen von \(v_1\) definirt. Alsdann ergeben sich die rechtwinkligen Coordinaten der Fläche \(X\), \(Y\), \(Z\) folgendermassen: \[ X=\frac{\varTheta^2(\omega)[x-i(yz'-zy')]}{H(2\omega)\,H'(0)}\;\frac{H\left(\frac{u+iv_1-3\omega} {2}\right)}{H\left(\frac{u+iv_1+\omega}{2}\right)}\;e^{(u+iv_1)\,\frac{\varTheta'(\omega)}{\varTheta(\omega)}}+\text{ conjug.,} \] \(Y\) und \(Z\) analog. Diese Formeln ergeben folgende allgemeine Erzeugungsweise der gesuchten Flächen. Man bestimme in einer Ebene \(P\) die rechtwinkligen Coordiaten \(x_1\), \(y_1\) eines beliebigen Punktes als Functionen von \(u\) und \(v_1\) durch die complexe Gleichung \[ x_1+iy_1 =\frac{\varTheta^2(\omega)}{2H(2\omega)\,H'(0)} \frac{H\left(\frac{u+iv_1-3\omega} {2}\right)}{H\left(\frac{u+iv_1+\omega}{2}\right)}\;e^{(u+iv_1)\,\frac{\varTheta'(\omega)}{\varTheta(\omega)}}\,. \] Dann stellen die Gleichungen \(v_1 =\text{const.}\) ein System von Isothermen dar. Einer bestimmten Curve \(v_1\) dieses Systems ordnen wir die Gerade zu, welche durch \(O\) geht, und durch die Gleichung \[ (x_1 + iy_1) e^{-iv_1\, \frac{\varTheta'(\omega)}{\varTheta(\omega)}}\;\varTheta(iv_1+\omega)=(x_1-iy_1)e^{iv_1\, \frac{\varTheta'(\omega)}{\varTheta(\omega)}}\;\varTheta(iv_1+\omega) \] bestimmt ist. Wir lassen nun die Ebene \(P\) auf einem beliebigen Kegel rollen, dessen Scheitel in \(O\) liegt. Dann beschreibt die Curve \(v_1\) welche der jedesmaligen Berührungsgeraden der Ebene und des Kegels entspricht, die gesuchte Fläche. Ein gewisser singulärer Fall tritt ein, wenn die beiden Lösungen \(U\) und \(U_1\) einander gleich werden.