On partial differential equations of higher order than the first. (Q1557468): Difference between revisions

Das Vorliegende ist eine reihe von 4 Aufsätzen: 1) über Monge's partielle Differentialgleichung \(2^{\text{ter}}\) Ordnung mit 2 Unabhängigen, 2) partielle lineare Differentialgleichungen \(n^{\text{ter}}\) Ordnung mit 2 Unabhängigen, 3) nicht partielle Differentialgleichungen, 4) partielle Differentialgleichungen \(2^{\text{ter}}\) Ordnung mit \(n\) Unabhängigen. Die gleichen Resultate hat der Verfasser schon in 2 früheren Abhandlungen in Nov. Act. Ups. und Tidskrift for Matematik och Fysik auf anderem Wegw gewonnwn (siehe das vorhergehende Referat, JFM 07.0218.01). Monge's gleichung \[ (1)\quad Rr+Ss+Tt=V, \] wo \(R,S,T,V\) gegebene Functionen der Unabhängigen \(x,y,\) der gesuchten Function \(z\) und ihrer Ableitungen \(p,q\), und wo \[ r=\frac{\partial^2 z}{\partial x^2}; \quad s=\frac{\partial^2 z}{\partial x\partial y};\quad t=\frac{\partial^2z}{\partial y^2}, \] ist erfüllt, wenn gleichzeitig \[ (8)\quad \begin{cases} R\partial y^2- S\partial x\partial y+ T\partial x^2 =0, \\ R\partial p \partial y+ T\partial q \partial x - V\partial x \partial y =0. \end{cases} \] Sind \(u=a,v=b\) erste Integrale dieser Gleichungen, so ist das erste Integral der Gleichung (1): \[ (7) \quad F(u,v)=0, \] und es wird bewiesen, dass die Function \(F\) willkürlich ist. Hat die Gleichung (8) zwei ungleiche Wurzeln, und man findet ein Integral analog (7) entsprechend der zweiten Wurzel, so haben beide die Eigenschaft, dass sie als simultan betrachtet Werthe für \(p,q\) in \(x,y,z\) ergeben, welche der Bedingung \[ (2)\quad \partial z =p\partial x+ q\partial y \] genügen, so dass man leicht das vollständige Integral erhält. Dies wird gleichfalls bewiesen, und 2 Beispiele vollständiger Lösung aufgestellt. Der zweite Aufsatz verallgemeinert den ersten und zeigt, dass man die Gleichung \[ \sum_{i=0}^{i=n} U_i \frac{\partial^n z}{\partial x^{n-i} \partial y^i} = V, \] wo die \(U\) und \(V\) von \(x,y,z\) und den Derivationen niederer Ordnung abhängen, analog und mit gleichem Erfolge behandeln kann. Hier wird die Integration der Gleichungen \[ \partial y-\frac{U_n}{U_0\mu_{n-1}}\partial x=0, \] \[ U_0\sum_{i=0}^{i=n-1} \mu_i \partial \frac{\partial^{n-1}z}{\partial x^{n-1-i} \partial y^i} = V\partial x, \] wo die \(\mu\) durch die recurrirenden Gleichungen \[ \mu_i+\mu_{i-1} \frac{\partial y}{\partial x} = \frac{U_i}{U_0}, \] bestimmt sind, durch 2 Gleichungen \(\varphi=\alpha,\; \psi=\beta\) als bekannt vorausgesetzt. Es wird dass \(F(\varphi,\psi)=0\) für willkürliches \(F\) ein erstes Integral der gegebenen Gleichung; und hat man analog die \(n\) ersten Integrale gefunden und aus ihnen die Werthe der Derivationen \((n-1)^{\text{ter}}\) Ordnung entwickelt, so genügen diese den Bedingungen der Differentiale der Derivationen \((n-2)^{\text{ter}}\) Ordnung, und man findet durch wiederholte Integration schliesslich \(z\). Das Verfahren reicht nur dann nicht aus, wenn irgend welche ersten Integrale identisch werden, d. i. wenn die Gleichung \[ \sum_{i=0}^{i=n} (-1)^i U_i m^{n-i}=0 \] gleiche Wurzeln hat. Ist die gegebene gleichung nicht linear in Bezug auf die Derivationen höchster Ordnung, so kann man sie durch einmalige partielle Differentiation auf die im vorigen behandelte Form bringen. Der dritte Aufsatz enteickelt dazu die Formeln für 2 besondere Fälle. Ein ähnliches Verfahren wendet der Verfasser im \(4^{\text{ten}}\) Aufsatz auf die Gleichungen der Form \[ (1)\quad \sum\sum X_{i,j} \frac{\partial^2 z}{\partial x_i}{\partial x_j} = V \] an, wo die \(X\) und \(V\) Functionen von \(x,y,z\) und den partiellen Ableitungen \(1^{\text{ter}}\) Ordnung sind. Ihre Integration hängt von der des Systems \[ \frac{X_{i,i}}{\mu_i} \partial x_j + \frac{X_{j,j}}{\mu_j} \partial x_i = X_{i,j}\partial x_i \] \[ (6)\quad \frac{\partial x_1}{\mu_1} = \frac{\partial x_2}{\mu_2}= \cdots \frac{\partial x_n}{\mu_n} = \frac{1}{V} \sum_{i=1}^{i=n} \frac{X_{i,i}}{\mu_i} \partial p_i, \] wo \(p_i\) erste Derivation, \(\mu_1=1\), ab. Damit diese Gleichungenvereinbar seien, müssen die \(\frac 12(n-1)(n-2)\) Relationen \[ 4X_{i,i} X_{j,j} X_{k,k} + X_{i,j}X_{j,k}X_{i,k} - X_{i,i}X_{j,k}^2 - X_{j,j}X_{i,k}^2 - X_{k,k}X_{i,j}^2=0 \] erfüllt sein. Hat man das System (6) durch \[ u_1=u_2; \;\; u_2=a_2;\ldots u_n=a_n \] integrirt, so kann das erste Integral von (1) nur von der Form \[ F(u_1,\; u_2,\ldots u_n)=0 \] sein. Es wird bewiesen, dass \(F\) willkürlich ist. Mit dem System der \(\mu\) ist ein Sytem der \(\varrho\) durch die Relation \[ \mu_i\varrho_i = \frac{X_{i,i}}{X_{1,1}} \] verbunden. Hat man ein erstes Integral, welches ebenso dem System der \(\varrho\) entspricht, so genügen stets beide der Bedingung \[ \partial z=\sum p_i \partial x_i, \] und man erhält das vollständige Integral \(z\). Es wird schliesslich auf die Methoden von Cauchy und Jacobi hingewieden, welche in Ermangelung eines zweiten Integrals anzuwenden seien.