On Tonelli's theorems on a sequence of rectifiable curves. (Q2585355)

\textit{L. Tonelli} (Fondamenti di calcolo delle variazioni I (1921; F.~d.~M. 48, 581), S. 92-105) hat die unten genannten drei grundlegenden Sätze seiner Theorie der Variationsrechnung mit Hilfe eines umständlich zu beweisenden Hilfssatzes über Intervallfunktionen bewiesen. Verf. gibt einfache Beweise mit Hilfe der Theorie des Lebesgueschen Integrals. (1) Wird die Folge rektifizierbarer Kurven \(C_n\) durch \(z=F_n(t)\), \(t=\dfrac{2\pi}{L_n} s_n\) dargestellt, wo \(L_n\) die Länge von \(C_n\), \(s_n\) die Bogenlänge auf \(C_n\) bis \(z\) ist, und wird entsprechend die Grenzkurve im Fréchetschen Sinn \(C\) der Länge \(L\) durch \(z = F(t)\), \(t=\dfrac{2\pi}{L} s\) dargestellt, so gilt \[ \lim_{n \to \infty} \int\limits_{0}^{2\pi} |\,F^{\prime}(t)-F_n^{\prime}(t)\,|^2 dt=0. \] (2) Sind \(f_n(x)\) und \(f(x)\) stetig und von beschränkter Variation in \([a, \,b]\), und gilt \(f(x_n) \to f(x)\) gleichmäßig in \([a, \,b]\) und für die Längen \(L_n\) bzw. \(L\) der durch \(z = f(x_n)\) bzw. \(z = f(x)\) gegebenen Kurven auch \(L_n \to L\), so lassen sich zu gegebenen \(\varepsilon > 0\), \(\delta > 0\) ein \(n_0\) und Mengen \(E_n (n \geqq n_0)\) vom Maß \(< \varepsilon\) so bestimmen, daß für \(x\) in \([a, \,b] - E_n\) gilt \(|\,f'(x)-f_n^{\prime}(x)\,| < \delta\). (3) Ist überdies \(f(x)\) absolut stetig in \([a, \,b]\), so gilt \[ \lim_{n \to \infty} \int\limits_{a}^{b} |\,f^{\prime}(x)-f_n^{\prime}(x)\,| \,dx=0. \]