Maths Spé (MP) — chapitre 4 sur 10
Suites et séries de fonctions
La convergence uniforme transmet la continuité et permet d'intervertir limite et intégrale ; la convergence normale est le moyen usuel de la prouver pour les séries.
$f_n\to f$ simplement sur $A$ si $f_n(x)\to f(x)$ pour tout $x$ ; uniformément si $\|f_n-f\|_\infty = \sup_A|f_n-f|\to0$. Pour une série $\sum u_n$ : convergence normale si $\sum\|u_n\|_\infty$ converge ; normale $\Rightarrow$ uniforme $\Rightarrow$ simple. Uniforme ssi $\|R_n\|_\infty\to0$.
Si les $f_n$ sont continues et $f_n\to f$ uniformément (au moins localement), alors $f$ est continue. Double limite : si $f_n\to f$ uniformément sur $A$ et $f_n(x)\to\ell_n$ quand $x\to a$, alors $(\ell_n)$ converge et $\lim_{x\to a}f(x) = \lim\ell_n$. Version séries : continuité de la somme, interversion $\lim_{x\to a}\sum u_n(x) = \sum\lim_{x\to a}u_n(x)$.
Si $f_n\to f$ uniformément sur $[a,b]$ (fonctions continues), $\int_a^bf_n\to\int_a^bf$. Pour une série uniformément convergente : $\int_a^b\sum u_n = \sum\int_a^bu_n$.
Si les $f_n$ sont $\mathcal C^1$, $f_n\to f$ simplement et $f_n'\to g$ uniformément (localement), alors $f$ est $\mathcal C^1$ et $f' = g$. Version séries : si $\sum u_n$ converge simplement et $\sum u_n'$ converge uniformément, la somme est $\mathcal C^1$ et se dérive terme à terme. Extension à $\mathcal C^k$.
Majorer $|f_n(x)-f(x)|$ par une suite indépendante de $x$ tendant vers $0$ ; ou étudier les variations de $f_n-f$ ; pour une série, chercher la convergence normale $\sup|u_n|\le a_n$ avec $\sum a_n$ convergente, ou utiliser le critère des séries alternées pour majorer le reste.
$f_n(x) = x^n$ sur $[0,1]$ converge simplement vers $\mathbb 1_{\{1\}}$, non continue : pas de convergence uniforme. $\zeta(x) = \sum\dfrac1{n^x}$ est $\mathcal C^\infty$ sur $]1,+\infty[$ (convergence normale sur $[a,+\infty[$, $a>1$).
Toute fonction continue sur un segment est limite uniforme d'une suite de polynômes.