Gleichmäßige Konvergenz und Differentiation

Satz 16KA

Seien fn:[a,b]Rf_n:[a,b]\rightarrow\R stetig differenzierbar und die Funktionenfolge fnf:[a,b]Rf_n \rightarrow f:[a,b]\rightarrow\R punktweise konvergent. Die Folge der Ableitungen fn:[a,b]Rf_n':[a,b]\rightarrow\R konvergiere gleichmäßig. Dann ist ff stetig differenzierbar und es gilt
f(x)=limnfn(x)f'(x)=\lim_{n\rightarrow\infty}f_n'(x)
 
 

Beweis

fngC[a,b]f_n'\xrightarrow{||\cdot||}g\in C[a,b] (nach Satz 16K8 ist gg beschränkt stetig); zu zeigen: g=fg=f\, '. Nach dem Hauptsatz der Differential- und Integralrechnung gilt für alle x[a,b]x\in [a,b]: fn(x)=fn(a)+axfn(t)dtf_n(x)=f_n(a)+\int\limits_{a}^{x} f_n'(t)\, \d t und fnf_n' ist stetig. Aus Satz 16K9 folgt limnaxfn(t)dt\lim_{n\rightarrow\infty}\int\limits_{a}^{x} f_n'(t)\, \d t=axlimnfn(t)dt = \int\limits_{a}^{x} \lim_{n\rightarrow\infty}f_n'(t)\, \d t=axg(t)dt = \int\limits_{a}^{x} g(t)\, \d t. Also: axf(t)dt\int\limits_{a} ^{x} f\, '(t)\, \d t =f(x)f(a)=f(x)-f(a) =limn(fn(x)fn(a))=\lim_{n\to\infty}(f_n(x)-f_n(a)) =limnaxfn(t)=\lim_{n\rightarrow\infty}\int\limits_{a}^{x} f_n'(t) =axg(t)dt = \int\limits_{a}^{x} g(t)\, \d tf(x)=g(x) \Rightarrow f'(x)=g(x)f=g \Rightarrow f'=g. \qed

Im Satz 16KA war die punktweise Konvergenz von fnf_n vorausgesetzt. Selbst wenn fnf_n gleichmäßig gegen ff konvergiert (fnff_n\xrightarrow{||\cdot||}f) , folgt aus der Differenzierbarkeit von ff im Allgemeinen nicht, dass limfn(x)=f(x)\lim f_n' (x)=f\, '(x). fn:[N,N]Rf_n:[-N,N]\rightarrow\R; fn(x)=1nsin(nx) f_n(x)=\dfrac{1}{n}\sin (nx) beliebig oft differenzierbar. fn=1n0limfn=0||f_n||_\infty=\dfrac{1}{n}\, \rightarrow 0\Rightarrow \lim f_n=0; aber fn(x)=cos(nx)f(x)=0f_n'(x)=\cos(nx)\nrightarrow f'(x)=0.

"Offensichtlich" ist das gefährlichste Wort in der Mathematik.

Eric Temple Bell

Copyright- und Lizenzinformationen: Diese Seite ist urheberrechtlich geschützt und darf ohne Genehmigung des Autors nicht weiterverwendet werden.
Anbieterkеnnzeichnung: Mathеpеdιa von Тhοmas Stеιnfеld  • Dοrfplatz 25  •  17237 Blankеnsее  • Tel.: 01734332309 (Vodafone/D2)  •  Email: cο@maτhepedιa.dе