Sur une classe remarquable de séries potentielles. (Q2596201)

Die Potenzreihe \[ f(x) =f^{(0)}(x) = \sum_{n=0}^\infty a^{(0)}_nx^n \] habe den Konvergenzradius \(R > 0\), und es sei \[ \frac{d^if}{dx^i}=f^{(i)}(x)=\sum_{n=0}^\infty a^{(i)}_nx^n. \] Die Betrachtung einiger elementarer Funktionen, deren zugehörige \(a^{(i)}_n\) durch gewisse einfache Relationen miteinander verknüpft sind und die selbst einfachen Differentialgleichungen genügen, gibt dem Verf. Anlaß zur Betrachtung des folgenden allgemeinen Falles. Die Koeffizienten \(a^{(i)}_n\) sollen für \(p = 0, 1,\ldots\) der Beziehung \[ \sum_{i=0}^\nu\sum_{k=0}^r \lambda_k^{(i)}a_{p+k}^{(i)}=\alpha_{p+r} \] genügen, wobei die \(\lambda_k^{(i)}\) (\(i=0,1,\ldots,\nu\); \(k = 0,1,\ldots, r\); \(\nu\), \(r\) fest) und \(\alpha_{p+r}\) (\(p= 0,1,\ldots\)) gegebene Zahlen sind. Dann genügt \(f(x)\) einer Differentialgleichung der Form \[ \sum_{i=0}^\nu P_i(x)f^{(i)}(x)=\varphi(x)+P(x), \] wobei \(P(x)\) und \(P_i(x)\) Polynome sind und \(\varphi(x)\) die Summe der sicher für \(|x|< R\) konvergenten Reihe \(\sum\limits_{p=0}^\infty \alpha_{p+r}x^{p+r}\) ist. Der Beweis ist elementar. Verf. führt Sonderfälle und ein weiteres Beispiel an.