Über die Funktional-Differentialgleichung \(c_0f(x)+c_1f'(x)+\cdots+c_nf^{(n)}(x)=f(x-1)\). (Q1473345)

In der ersten Arbeit beweist Verf., daß, wenn \(\alpha+i\beta\) eine der -- nach \textit{Hadamard} (Journ. de Math. (4) \textit{9}, 1893) in unendlicher Anzahl vorhandenen -- Wurzeln der transzendenten Gleichung \[ \varLambda(\varrho)\equiv c_0+c_1\varrho+\cdots+c_n\varrho^n=e^{-\varrho} \] mit reellen Koeffizienten ist und die Gleichung \(\varLambda(\varrho)=0\) nur reelle Wurzeln hat, es für \(n\geqq 1,\;c_n\neq 0\) nur eine \textit{endliche} Zahl linear unabhängiger Lösungen der im Titel angegebenen Funktionalgleichung gibt, für die \(\lim_{x\to-\infty}f(x)e^{-\alpha x}=0\) ist (Satz VIII), und daß ferner die Anzahl der in irgend einem Intervall von der Länge 1 gelegenen Nullstellen jeder dieser Grenzbedingung genügenden Lösung unterhalb einer nur von \(n\) und \(\alpha+i\beta\) abhängigen endlichen Grenze liegt (Satz IX). Der Gang des Beweises von Satz VIII ist folgender: Zunächst wird gezeigt, daß, wenn man das Intervall \(u- 1\leqq x\leqq u\) in der Richtung nach \(-\infty\) rückt, es nicht mehr als \(n\) Nullstellen einer Lösung der Funktionalgleichung verliert (Satz VI). Gibt es nun \(k\) (oder mehr als \(k\)) linear unabhängige Lösungen, für die \(\lim_{x\to-\infty}f(x)e^{- \alpha x}=0\) ist, so wird bewiesen, daß die Lösung \(F=d_1f_1+d_2f_2+\cdots+d_kf_k+e^{\alpha x} \sin (\beta x+\gamma)\), wo \(d_1,\dots,d_k\) Konstanten sind, bei geeigneter Wahl der \(d\) im Intervall \(w-1\leqq x\leqq w\) mindestens \(k+1\) Nullstellen hat. Ein unterhalb diese Intervalls gelegenes Intervall muß dann nach Satz IV mindestens \(k+1-n\) Nullstellen enthalten. Aber in der Nähe von \(-\infty\) überwiegt in \(F\) der Einfluß des Gliedes \(e^{\alpha x}\sin (\beta x+\gamma)\) derart, daß \(F\) im Intervall \(u-1\leqq x\leqq u\) in der Nähe von \(-\infty\) höchstens \(mn\) Nullstellen hat, wo \(m\) die Zahl der Nullstellen von \(\sin \beta x\) im Intervall \(-1\leqq x\leqq 0\) ist. Aus den beiden Ungleichungen für die Zahl der Nullstellen von \(F\) im Intervall \(u-1\leqq x\leqq u\) in der Nähe von \(-\infty\) ergibt sich für \(k\) die obere Grenze \(nm+n-1\), die bei geeigneter Wahl von \(u\) auf \(nm+n-2=(m+1)n-2\) herabgedrückt werden kann; für \(\beta=0\) ist \(k\leqq n\). Ähnliche Betrachtungen führen zu Satz IX (s. o.): die Zahl der dort angegebenen Nullstellen ist \(\leqq(m+2)n-1\), für \(\beta=0\) dagegen \(\leqq 2n\). In der zweiten Arbeit beweist Verf. mittels des Satzes VIII und eines im ersten Abschnitt aufgestellten Satzes über allgemeine Funktionalgleichungen den bereits früher (Leipz. Ber. \textit{65}, 1913) angekündigten Satz: ``Ist \(\alpha+i\beta\) eine Wurzel der Gleichung mit reellen Koeffizienten \(\varLambda(\varrho)=e^{- \varrho}\;(c_n\neq 0,\;n\geqq 1)\) und sind die Wurzeln von \(\varLambda(\varrho)=0\) sämtlich reell, so ist \textit{jede} (für alle endlichen reellen \(x\) eindeutige, reelle, \(n\)-mal differenzierbare) Lösung der vorliegenden (für alle endlichen reellen \(x\) gültigen) Funktionalgleichung, die der oben angegebenen Grenzbedingung genügt, ein lineares Aggregat der Lösungen \(e^{\varrho x},ex^{\varrho'x},x^2e^{\varrho''x},\dots,\), wo \(\varrho\) alle mindestens einfachen, \(\varrho'\) alle mindestens zweifachen usw. Wurzeln der Gleichung \(\varLambda(\varrho)=e^{-\varrho}\) durchläuft, deren Realteil algebraisch größer als \(\alpha\) ist. (Vgl. \textit{Erh. Schmidt}, Math. Ann. \textit{70}, 499, 1911; \textit{F. Schürer}, Leipz. Ber. \textit{34}, 1912, F. d. M. \textit{43}, 416; \textit{65}, 239 u. 247, 1913).