Ueber die Convergenzhereiche der Integrale partieller Differentialgleichungen. (Q1527679): Difference between revisions

In einer früheren Arbeit (J. für Math. CIV. 174-176, F. d. M. XX. 1888. 310, JFM 20.0310.02) hatte Verfasser den Existenzbeweis eines Integrals für eine totale Differentialgleichung beliebiger Ordnung gegeben und überträgt nun den dort befolgten Gedankengang auf eine beliebige partielle Differentialgleichung \(m^{\text{ter}}\) Ordnung. Zunächst wird eine Anwendung jener Beweismethode zur Herleitung des Fuchs'schen Theorems benutzt, dass die in der Umgebung von \(x=a\) convergirende Integralreihe einer gewöhnlichen linearen Differentialgleichung von dem Werte der abhängigen Variable und deren Ableitungen unabhängig ist und deren Convergenzbereich mindestens so gross ist wie der kleinste Convergenzbereich der Coefficienten der Differentialgleichung. Es wird dann gezeigt, dass keine andere Klasse algebraischer Differentialgleichungen als die linearen eine von den Anfangswerten von \(y\) und deren Ableitungen unabhängige Convergenzgrenze besitzt. Genau dieselbe Methode wird alsdann auf partielle Differentialgleichungen ausgedehnt und gezeigt, dass, wenn die Gleichung: \[ \frac{\partial^mu}{\partial z_1^m} = f\left(z_1,\dots,z_\mu, u,\; \frac{\partial u}{\partial z_1},\dots,\frac{\partial u}{\partial z_\mu},\; \frac{\partial^2u}{\partial z_1^2},\dots,\frac{\partial^mu}{\partial z_1^{m-1}\partial z_2},\dots,\frac{\partial^mu}{\partial z_\mu^m}\right) \] vorgelegt ist, und wenn die Functionen,welche die Anfangswerte für \(z_1=a_1\) der abhängigen Variabeln und deren nach \(z_1\) genommenen Ableitungen darstellen, in der Umgebung des Wertesystems \(a_2\), ..., \(a_\mu\), als auch die rechte Seite der partiellen Differentialgleichung in convergente Potenzreihen sich entwickeln lassen, dann auch das gesuchte Integral in der Umgebung von \(a_1\), ..., \(a_\mu\) sich in eine nach positiven steigenden ganzen Potenzen fortschreitende Reihe entwickeln lässt. Es werden schliesslich die linearen partiellen Differentialgleichungen einer eingehenden Untersuchung unterzogen, wobei sich herausstellt, dass sich bei denselben aus dem Convergenzbereich der Coefficienten nicht auf Convergenzbereiche der Integrale schliessen lässt, deren Ausdehnung von den Anfangsbedingungen unabhängig ist.