Systems of linear differential equations of infinite order, with constant coefficients. (Q1439677)

Verf. behandelt zunächst eine Gleichung der Form \[ A[y(x)]\equiv a_0y(x)+a_1y'(x)+\cdots+a_ny^{(n)}(x)+\cdots=g(x), \] wobei \[ A(t)=\sum\limits_{n=0}^{\infty}a_nt^n \] für \(|t|<R\) regulär-analytisch ist. Ist \(z (x)\) eine ganze Funktion, für welche \[ \varlimsup_{n\to\infty}\sqrt[n]{|z^{(n)}(0)|}=q, \] so nennt er \(z (x)\) ``of exponential value \(q\)'', abgekürzt exp. val. \(q\). (Die Klasse dieser ganzen Funktionen ist identisch mit der Klasse der ganzen Funktionen vom Normaltypus der Ordnung 1. Ref.) Nach zwei Hilfssätzen über den Operator \(A\), die besagen, daß \(A[z(x)]\) einen exp. val. \(\leqq q\) hat, bzw. die Zusammensetzung zweier solcher Operationen betreffen, ergibt sich: Ist \(A(t)\neq 0\) für \(|t|<R\) und \(g(x)\) vom exp. val. \(q < R\), so hat die inhomogene Gleichung \(A[y] = g (x)\) eine ganze Funktion vom exp. val. \(q\) zur Lösung, nämlich \(y(x)=\dfrac1A[g(x)]\), und zwar ist dies die einzige Lösung mit einem exp. val. \(< R\). Die homogene Gleichung \(A[y]= 0\) hat kerne (nicht triviale) Lösung vom exp. val. \(< R\). Hat aber \(A (t)\) in \(| t| <R\) endlich viele, etwa \(m\) Nullstellen \(\xi_1, \dots, \xi_s\) mit der Vielfachheit \(l_1, \dots, l_s\) (also \(l_1+l_2+\cdots+l_s=m\)), so besitzt die homogene Gleichung \(A[y]= 0\) m linear unabhängige Lösungen vom exp. val. \(< R\), nämlich \[ y_{1}=e^{\xi_{1}x},\;y_{2}=xe^{\xi_{1}x},\,\dots,y_{l_1}=x^{l_1-1}e^{\xi_{1}x};\quad y_{l_1+1}=e^{\xi_{2}x},\dots,y_{m}=x^{l_s-1}e^{\xi_{s}x}. \] Die inhomogene Gleichung \(A[y]= g (x)\) hat auch jetzt eine ganze Funktion \(y_0(x)\) vom exp. val. \(q\) zur Lösung, und ihre allgemeinste Lösung vom exp. val. \(< R\) entsteht, wenn man zu \(y_0\) die allgemeinste Lösung der homogenen Gleichung addiert. -Auch der Fall, daß \(A (t)\) in j \(|t| < R\) unendlich viele Nullstellen hat, wird besprochen. Die Ergebnisse werden auf ein System der Form \[ A_{i1}[y_1]+A_{i2}[y_2]+\cdots+A_{in}[y_n]=g_i(x)\qquad (i=1,2,\dots,n) \tag{\(*\)} \] übertragen: Sind die Funktionen \(A_{ij}(t)\) in \(t < R\) regulär, und hat die Determinante \(\varDelta=\det[A_{ij}(t)]\) in \(t < Rm\) Nullstellen, so hat das homogene System (\(*\)) (alle \(g_i(x)\) identisch Null) \(m\) linear unabhängige Lösungen \((u_1,\dots,y_n\) mit exp. val. \(< R\). Haben die \(q_i(x)\) einen exp. val. \(\leqq q < R\), so hat das inhomogene System (\(*\)) eine Lösung \((y_{10},\dots,y_{n0})\) mit exp. val. \(\leqq q\), und seine allgemeinste Lösung mit exp. val. \(< R\) wird wie im Falle einer Gleichung gewonnen. -- Der Beweis wird mit Benutzung der für eine einzige Gleichung bereits gewonnenen Ergebnisse erbracht durch Schluß von \(n-1\) auf \(n\) und Anwendung der Methoden der linearen Algebra auf Differentialoperatoren von der Art des Operators \(A\). (IV 4, 7.)