Remark on the decomposition into simple elements of the doubly periodic functions. (Q1538234): Difference between revisions

Jede eindeutige Function \(F(x)\) mit den Perioden \(2K\) und \(2iK'\) und den innerhalb des Periodenrechtecks gelegenen Polen \(a,b,\dots,l\) hat die Form: \[ F(x)=C+\Sigma A\;\frac{H'(x-a)}{H(x-a)}+\Sigma D_xA'\;\frac{H(x-a)}{H(x-a)} +\Sigma D_x^2A''\;\frac{H'(x-a)}{H(x-a)}+\cdots. \] Die Function \(\frac{H'(x-a)}{H(x-a)}\), welche hier die Rolle des einfachen Elements spielt, ist nicht doppeltperiodisch; aber ihre Ableitungen sind es, wie die Relation \[ D_x\;\frac{H'(x)}{H(x)}=\frac JK-\frac1{\text{sn}^2x} \] zeigt. Es wird nun aber auch die erste Summe unter einer doppeltperiodischen Form dargestellt, was wegen der Bedingung \(\Sigma A=A+B+C+\dots+L=0\) möglich ist. Der Herr Verfasser erhält folgende Form für \(F(x)\): \[ F(x)=\varphi(\text{sn}^2x)+\psi(\text{sn}^2x)\cdot\text{sn}x\,\text{cn}x\, \text{dn}x, \] wo \(\varphi(\text{sn}^2x)\) und \(\psi(\text{sn}^2x)\) rationale Functionen von \(\text{sn}^2x\) bedeuten. Das zweite Glied enthält einen scheinbar singulären Punkt \(x=iK'\), der sich in der Formel \[ \frac{H'(x-a)}{H(x-a)}=\frac{\text{sn\,}x\,\text{cn}x\,\text{dn\,}x+\text{sn\,}a\, \text{cn\,}a\,\text{dn\,}a}{\text{sn}^2x-\text{sn}^2a}-\frac{\varTheta'(x)}{\varTheta(x)}+\frac{\varTheta'(a)}{\varTheta(a)} \] findet. Dieser Nachteil war bei den einfachen Elementen \(\frac{H'(x-a)}{H(x-a)}\) vermieden; aber in dem besonderen Falle, wo für eine gerade doppeltperiodische Function alle Pole einfach sind, giebt es keinen scheinbaren Pol; denn alsdann ist \[ F(x)=C+\Sigma\;\frac{A\text{sn\,}a\,\text{cn\,}a\,\text{dn\,}a}{\text{sn}^2x-\text{sn}^2a}. \] Dieser Fall ist nicht der einzige. Es wird im Folgenden bewiesen, dass dasselbe noch unter andern Bedingungen stattfindet, wo der Ausdruck der doppeltperiodischen Functionen eine neue Form gewinnt. Zu dem Zweck werden die Functionen betrachtet, die sich nach Addition halber Perioden bis auf das Vorzeichen wiederholen, \[ F_1(x+iK)=-F_1(x),F_2(x+K+iK')=-F_2(x),F_3(x+K)=-F_3(x). \] Diese Functionen \(F_1(x),F_2(x),F_3(x)\) haben als einfache Elemente die doppeltperiodischen Functionen \[ D_x\log\text{sn\,}x,\quad D_x\log\text{cn\,}x,\quad D_x\log\text{dn\,}x \] und zeigen keinen scheinbaren Pol. Die Integrale dieser Functionen sind pseudo-elliptische Integrale, d. h. sie lassen sich in expliciter endlicher Form durch elementare Functionen ausdrücken. Es ergeben sich hier dieselben Resultate wie in den Abhandlungen von Goursat und Raffy (s. F. d. M. XVI. 1884. 412, JFM 16.0412.01, und XIX. 1887. 483, JFM 19.0483.02), in denen nichts der Theorie der doppeltperiodischen Functionen entlehnt ist. Schliesslich betrachtet Herr Hermite die Functionen \(\Phi(x)\) mit den Perioden \(4K\) und \(4iK'\) und zeigt, dass dieselben sich als rationale Functionen von \(\text{sn\,}x\), \(\text{cn\,}x\) und \(\text{dn\,}x\) darstellen lassen. Es ergiebt sich \[ \Phi(x)=\Phi_0(x)+\Phi_1(x)+\Phi_2(x)+\Phi_3(x) \] und \[ \begin{aligned} \l\\ \Phi_0(x)=\varphi(\text{sn}^2x)+\psi(\text{sn}^2x)\text{sn\,}x\,\text{cn\,}x\, \text{dn\,}x,\\ \Phi_1(x)=\varphi_1(\text{sn}^2x)\text{sn\,}x+\psi_1(\text{sn}^2x)\text{cn\,}x\, \text{dn\,}x,\\ \Phi_2(x)=\varphi_2(\text{sn}^2x)\text{cn\,}x+\psi_2(\text{sn}^2x)\text{sn\,}x\, \text{dn\,}x,\\ \Phi_3(x)=\varphi_3(\text{sn}^2x)\text{dn\,}x+\psi_3(\text{sn}^2x)\text{sn\,}x\, \text{dn\,}x, \end{aligned} \] wo die \(\varphi\) und \(\psi\) rationale Functionen bezeichnen. Setzt man \[ \Psi(x)=\Phi_1(x)+\Phi_2(x)+\Phi_3(x) \] und \[ \begin{aligned} \l\\ 2\Psi_1(x)=\Psi(x)+\Psi(x+2iK'),\\ 2\Psi_2(x)=\Psi(x)+\Psi(x+2K+2iK'),\\ 2\Psi_3(x)=\Psi(x)+\Psi(x+2K), \end{aligned} \] so haben die Functionen \(\Psi_1(x),\Psi_2(x),\Psi_3(x)\) die charakteristischen Eigenschaften der Functionen \(\Phi_1(x),\Phi_2(x),\Phi_3(x)\).