Sur les fonctions indéfiniment dérivables sur tout l'axe réel. (Q2596076)

Bekanntlich heißt \(f \,(x)\) zur Klasse \(C \,(m_n)\) gehörig, wenn es mit seinen Ableitungen den Ungleichungen \[ |\, f^{(n)} \,(x) \,| \leqq h^n \, m_n \qquad (n=0, \,1, \,2, \ldots) \] genügt. Verf. zeigt: Wenn die auf der ganzen reellen Achse beliebig oft differenzierbare Funktion \(f \,(x)\) durch das Stieltjessche Integral \(\int\limits_{-\infty}^{\infty} e^{ixt} \,dV \,(t)\) dargestellt werden kann, wo \(V \,(t)\) wachsend und beschränkt ist und der Klasse \(C \,(m_n)\) angehört, so genügt \(V \,(t)\) der Ungleichung \[ V (t+1)-V (t) < \frac{K}{\underset{n \geqq 0} \max \, \dfrac{1}{m_n} \left( \dfrac{t}{k} \right)^n} \tag{1} \] bei von \(t\) unabhängigem \(K\) und \(k\). Gilt umgekehrt (1), so gehört die Funktion \[ f \,(x)=\int\limits_{-\infty}^{\infty} e^{ixt} \, \frac{dV}{1+t^2} \] der Klasse \(C \,(m_n)\) an. Der Satz folgt aus dem Lemma: Wenn \(f \,(x) = \int\limits_{-\infty}^{\infty} e^{ixt} \, dV \,(t)\) eine \(n\)-te Ableitung besitzt, für welche \(|\, f^{(n)} \,(x) \,| < M_n\) gilt, so ist \[ \left| \, \frac{1}{\alpha} \int\limits_{t}^{t+ \alpha} d \xi \int\limits_{\xi}^{\xi + \alpha} t^n \, dV(t) \, \right| < 2 \, M_n. \]