On Thomae's criterion. (Q1445192)

Es sei \(f(t)\) eine Funktion, die im Intervall \(0\leqq t\leqq 1\) integrierbar ist, und \(I(t)\) sei eine Funktion, deren Differentialquotient gleich \(\dfrac{f(t)}{t}\) ist. Ferner sei \(\lim\limits_{t=0}I(t) = 0\). Dann hat die Integralfunktion \[ F(x)=\int\limits_0^x f(t)dt \] bei \(x=0\) einen Differentialquotienten \(F'(0)\), d. h. es ist \(F'(+0)=F'(-0)\), und es ist \(F'(0)=0\). Das ist das Thomaesche Kriterium. -- Verf. zeigt, daß die Bedingung \(\lim\limits_{t=0}I(t)=0\) für die Existenz von \(F'(0)\) nicht notwendig ist, so z. B. für \[ I(t)=\cos\left\{\left(\log\frac{1}{t_2}\right)^{\frac12}\right\},\quad \text{also} \quad f(t)=t\cdot I'(t)= \frac{\sin\left\{\left(\log\dfrac{1}{t^2}\right)^{\frac12}\right\}} {\left(\log\dfrac 1{t^2}\right)^{\frac12}}. \] Es sei \(I(t)=\cos\psi(t)\), also \(f(t)= t\cdot I'(t)=-\psi(t)\cdot\sin\psi(t)\). Dann hängt es von der Größenordnung von \(\psi(t)\) ab, ob \(F(x)\) für \(x=0\) einen Differentialquotienten hat. Es gilt: Ist \(\psi(t)\) in der Nähe von \(t=0\) monoton und \(\psi(t)>1\), so existiert \(F'(0)\) und es ist \(F'(0)=0\), wenn \[ \psi(t)\prec\log\frac 1{t^2} \] ist. Dagegen existiert \(F'(0)\) nicht, wenn \[ \psi(t) \overset{\sim}{\succ} \log\frac 1{t^2} \] ist.