Convergence simple, uniforme, normale
De nombreuses fonctions apparaissent naturellement comme des limites d'autres fonctions plus simples. C'est le cas par exemple de la fonction exponentielle, que l'on peut définir par l'une des deux formules suivantes : $$e^x=\lim_{n\to+\infty}\left(1+\frac xn\right)^n\textrm{ ou }e^x=1+x+\frac{x^2}{2!}+\cdots+\frac{x^n}{n!}+\cdots$$ C'est aussi le cas pour des problèmes plus théoriques, comme lorsque l'on construit des solutions d'équations (par exemple différentielles) : on construit souvent par récurrence des solutions approchées qui "convergent" vers une solution exacte.
Ainsi, les problèmes suivants sont importants : quel sens peut-on donner à la convergence d'une suite de fonctions? Quelles sont les propriétés qui sont ainsi préservées?
Ex : $I=[0,1]$ et $f_n(x)=x^n$. Il est clair que $(f_n)$ converge simplement vers la fonction $f$ définie par $f(x)=0$ si $x$ est dans $[0,1[$ et $f(1)=1$.
Dès cet exemple très simple, on constate l'insuffisance de la convergence simple : chaque fonction $(f_n)$ est continue, la suite $(f_n)$ converge simplement vers $f$, et pourtant $f$ n'est pas continue. Ainsi, la continuité n'est pas préservée par convergence simple. C'est pourquoi on a besoin d'une notion plus précise.
Si on note $\|f_n-f\|_\infty=\sup\{|f_n(x)-f(x)|;\ x\in I\}$, on peut aussi remarquer que $(f_n)$ converge uniformément vers $f$ si l'on a $\|f_n-f\|_\infty\to 0.$
La précision apportée par la convergence uniforme par rapport à la convergence simple est la suivante : dire que $(f_n)$ converge simplement vers $f$ sur $I$ signifie que, pour tout point $x$ de $I$, $(f_n(x))$ converge vers $f(x)$. La convergence uniforme signifie que, de plus, la convergence a lieu "à la même vitesse" pour tous les points $x$.
Essayons d'interpréter la différence entre la convergence simple et la convergence uniforme sur la figure dynamique suivante : on représente la suite de fonction $f_n(x)=n^a x e^{-nx}$ pour $a=0,5$, $a=1$ ou $a=1,5$. Cette suite de fonctions converge simplement vers la fonction nulle sur l'intervalle $[0,+\infty[$. La bosse correspond à $\|f_n-f\|_\infty$. Dans les trois cas, elle se déplace vers la gauche, ce qui va entraîner la convergence simple de la suite vers 0 : tout point de $]0,+\infty[$ sera à un moment donné à droite de cette bosse, et on aura $f_n(x)$ qui tend vers 0. En revanche, pour $a=1,\!5$, la hauteur de la bosse augmente : il n'y aura donc pas convergence uniforme. Pour $a=1$, la hauteur de la bosse reste constante. Il n'y a pas là non plus convergence uniforme. Enfin, si $a=0,\!5$, la bosse s'aplatit, et sa hauteur tend vers 0 : cela signifie que la suite $(f_n)$ converge uniformément vers 0 sur $[0,+\infty[$.
La convergence uniforme répond au problème posé pour préserver la continuité :
On a aussi les résultats suivants, concernant respectivement l'intégration et la dérivation d'une suite de fonctions :
En particulier, ceci entraîne la permutation limite/intégrale suivante :
$$\lim_{n\to+\infty}\int_a^b f_n(x)dx=\int_a^b f(x)dx.$$ La preuve de ce résultat est immédiate, une fois écrite l'inégalité $$\int_a^b |f_n(x)-f(x)|dx\leq (b-a)\|f_n-f\|_\infty.$$- il existe $x_0$ dans $I$ tel que $f_n(x_0)$ converge.
- $(f'_n)$ converge uniformément vers une fonction $g$ sur $I$.
Le paragraphe précédent a montré l'importance de la convergence uniforme des suites de fonctions. Hélas, prouver que $(f_n)$ converge uniformément vers $f$ n'est pas souvent une chose facile, et en général, il est nécessaire d'étudier $\|f_n-f\|_\infty$. On dispose toutefois d'autres méthodes lorsqu'on étudie une série de fonctions $\sum_{n\geq 0}u_n(x)$ : critère des séries alternées, comparaison à une intégrale, transformation d'Abel... et surtout convergence normale!
La proposition importante est :
En pratique, on majore $u_n(x)$ par une constante $M_n$ qui ne dépend pas de $x$, et on cherche à prouver que la série de terme général $M_n$ converge.