Sur un procédé d'itération. (Q568484)

Verf. untersucht die Funktionenfolge \[ \varphi _0(x) = \varphi (x),\quad \varphi _n(x) = \int \limits _{x_0}^x dx^{\prime }\int \limits _{x_1}^{x^{\prime }}dx^{\prime \prime }\dots \int \limits _{x_{n-1}}^{x^{(n-1)}} \varphi (x^{(n)})\,dx^{(n)} \quad (n=1,2,\dots ) \] auf ihr Verhalten bei wachsendem \(n\); dabei ist entweder \(x\) eine reelle Veränderliche und \(\varphi (x)\) eine hinreichend oft differenzierbare reelle Funktion, oder \(x\) ist komplex und \(\varphi (x)\) eine analytische Funktion. Es wird weiterhin vorausgesetzt, daß die \(x_k\) periodisch seien: \(x_{n+p}=x_n\). Der Weg, den Verf. einschlägt, besteht darin, für die \(\varphi _n\) eine erzeugende Funktion anzusetzen: \[ F(\lambda,x) = \sum _{\nu =0}^\infty \lambda ^\nu \varphi _\nu (x). \] Diese läßt sich als Lösung einer gewissen inhomogenen linearen Differentialgleichung (hinsichtlich \(x\)) mit konstanten Koeffizienten explizit als meromorphe Funktion in \(\lambda \) angeben: \[ F(\lambda,x) = \frac {\Delta (\lambda,x)}{\Delta (\lambda )}, \] wobei \[ \Delta (\lambda )=\operatorname {Det}(\omega ^{\alpha \beta }e^{\omega ^\beta \lambda x_\alpha }), \quad \omega =e^{\frac {2\pi i}{p}}\quad (\alpha,\beta =0,\dots,p-1) \] und \(\Delta (\lambda,x)\) durch eine gewisse Ränderung aus \(\Delta (\lambda )\) entsteht. Zähler und Nenner von \(F(\lambda,x)\) sind ganze Funktionen von \(\lambda \), und für das Wachstum der \(\varphi _n\) ist nun maßgebend die Lage der Nullstelle \(\lambda _0\) kleinsten Betrages von \(\Delta (\lambda )\). Man findet, daß sich die \(\varphi _n\) asymptotisch verhalten wie \(\lambda _0^{-n}\). Es wird auch der Fall untersucht, daß die \(\varphi _n\) nach jedem Schritt normiert werden; \(p=2\), \(\varphi (x)\equiv 1\) führt auf die \textit{Euler}schen Polynome. Die Frage, ob \(\Delta (\lambda )\) Nullstellen besitzt, kann (für \(p>1\)) vom Verf. nur in den Fällen \(p=2,3,4,5\) beantwortet werden, und zwar bejahend. Schließlich wird noch die Frage nach der Entwickelbarkeit einer ganzen Funktion nach den Polynomen \(P_n(x)\) behandelt, die man für \(\varphi (x)\equiv 1\) erhält. Es wird eine notwendige und eine hinreichende Bedingung dafür angegeben.