Ein Beitrag zum Cauchyschen Problem.
Es handelt sich hauptsächlich um die Differentialgleichung \[ \frac{\partial^\mu z}{\partial x^\mu}=\frac{\partial^\lambda z}{\partial y^\lambda} \] mit den Anfangsbedingungen \[ z(0,y)=b_0(y), \;\left( \frac{\partial z}{\partial x} \right)_{x=0}=b_1(y),\dots, \left(\frac{\partial^{\mu-1}z}{\partial x^{\mu-1}} \right)_{x=0}=b_{\mu-1}(y), \] wo die \(b_\nu(y)\) analytisch sind. Man kann dann formal den Ansatz machen: \[ z=\sum_{\nu=0}^\infty \frac{b_\nu(y)}{\nu !} x^\nu, \] wobei die \(b_\nu(y)\) für \(\nu \geqq \mu\) sich eindeutig bestimmen lassen. Im Fall \(\mu \geqq \lambda\) hat die Reihe nach klassischen Sätzen einen von Null verschiedenen Konvergenzradius und stellt ein analytisches Integral dar. Im Fall \(\mu<\lambda\) hat man sich bisher mit der Feststellung begnügt, daß\ die Reihe den Konvergenzradius Null haben kann, daß\ also kein analytisches Integral zu existieren braucht. Verf. untersucht das nun genauer und findet folgendes: Notwendig für die Konvergenz der Reihe ist, daß\ die gegebenen \(b_\nu(y)\) ganze Funktionen höchstens von der Ordnung \(\varrho=\frac{\lambda}{\lambda\mu}\) sind. Sind sie alle von geringerer Ordnung, so konvergiert die Reihe auch wirklich und ist eine ganze Funktion endlicher Ordnung von \(x\); ebenso sind \(\frac{\partial z}{\partial y},\dots,\frac{\partial^{\lambda-1}z}{\partial y^{\lambda-1}}\) von endlicher Ordnung. Ist dagegen mindestens ein \(b_\nu(y)\) genau von der Ordnung \(\varrho\), so ist für Konvergenz weiter notwendig, daß\ kein \(b_\nu(y)\) der Ordnung \(\varrho\) vom Maximaltypus ist. Sind sie alle vom Minimaltypus so konvergiert die Reihe wieder für alle \(x\), aber mindestens eine der Funktionen \[ z,\frac{\partial z}{\partial y},\ldots,\frac{\partial^{\lambda-1}z}{\partial y^{\lambda-1}} \] ist in bezug auf \(x\) von unendlicher Ordnung. Ist endlich mindestens ein \(b_\nu(y)\) der Ordnung \(\varrho\) vom Normaltypus, so hat die Reihe einen von Null verschiedenen, aber nur endlichen Konvergenzradius. Natürlich stellt die Reihe in jedem Fall der Konvergenz auch wirklich ein Integral dar, und zwar das einzige analytische. Zum Schluß\ kommen ähnliche Untersuchungen über die allgemeinere Differentialgleichung \[ \frac{\partial^mz}{\partial x^m}=\sum_{p=0}^{m-1} \sum_{q=0}^\lambda a_{pq}(x) \frac{\partial^{p+q}z}{\partial x^p \partial y^q} +b(x,y). \]
This page was built for publication: Ein Beitrag zum Cauchyschen Problem.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1441509)
