On some integral equations. (Q2612312)

\textit{Theorem 1 und 2}: Besitzt die Gleichung \[ f(x) = \tfrac12\int\limits_{x-1}^{x+1} f(t)\,dt \tag{1} \] eine Lösung \(f (x) = O(e^{A|x|})\), wo \(A\) eine positive Konstante bedeutet, so ist \(f (x)\) von der Form \[ f (x) =ax+b + \sum_{k=1}^p a_ke^{-u_kx} + \sum_{k=-p}^{-1} a_ke^{-u_kx}, \tag{2} \] wo \(u_k\) die nicht verschwindenden Wurzeln mit \(| \Re u | \leqq A\) von \[ 1-\frac1{2u}(e^u-e^{-u})=0 \] bedeuten und \(a\), \(b\) und die \(a_k\) Konstanten sind. Der Beweis wird mit Hilfe eines Satzes von \textit{Valiron} (Ann. Ecole norm. (3) 46 (1929), 25-53; F. d. M. \(55_{\text{II}}\), 857) über Differentialgleichungen unendlicher Ordnung erbracht. -- Weiß man nur, daß \(f (x)\) analytische Lösung von (1) ist, so hat \(f (x)\) wieder die Form (2), aber mit \(p=\infty\). \textit{Theorem 4} behandelt die (1) enthaltende Gleichung \[ f (x)=\int\limits_{-\infty}^\infty K(x-t)f(t)\,dt, \tag{3} \] wo \(K(x) = O (e^{-c |x|} )\) im Endlichen stetig und \(c> 0\) sei. Ist \(f (x)\) eine ganze transzendente Funktion, und gibt es eine Konstante \(c' > 0\) derart, daß \[ \limsup_{n\to\infty} \root n\of{\,|f^{(n)}(x)|} \leqq c'<c \] ist, so ist \(f (x)\) von der Form \[ f(x)=\sum_{\nu=1}^N p_\nu(x) e^{\lambda_\nu x}, \] wo die \(\lambda_\nu\) die Wurzeln mit \(|\lambda_\nu| < c'\) der Gleichung \[ 1-\int\limits_{-\infty}^\infty K(x)e^{-\lambda x}\,dx=0 \] sind, und die \(p_\nu (x)\) Polynome von kleinerem Grad als die Vielfachheit von \(\lambda_\nu\). Ein analoges \textit{Theorem 3} besteht, wenn für alle \(n\) \[ \int\limits_{-\infty}^\infty | K (t) t^n| \, dt \quad\text{existiert und}\quad \root n\of{\int\limits_{-\infty}^\infty | K (t) t^n|\,dt} = O (1)\quad \text{ist.} \] Ähnliche Sätze gelten, wenn auf der linken Seite von (3) \(f (x)\) durch \(f' (x)\) ersetzt wird. Die \textit{Theoreme 5, 6 und 7} beschäftigen sich dann noch in analoger Weise mit anderen Verallgemeinerungen von (1), nämlich mit der Gleichung \[ f^{(n)} (x) =\sum_{k=0}^{n-1}\int\limits_a^b f^{(k)}(x + t)\,d\varphi_k(t), \] wo die \(\varphi_k(t)\) von beschränkter Schwankung sind, bzw. mit der Gleichung \[ \sum_{\nu=0}^n p_\nu(x) \int\limits_a^b f^{(\nu)}(x + t)\,d\varphi_\nu(t) = q(x), \] wo noch die \(p_\nu(x)\) Polynome sind und \(q (x)\) eine ganze transzendente Funktion ist.