Pour tout entier naturel , on considère la fonction définie sur par :
Pour la convergence uniforme de , commencez par rechercher la convergence normale en étudiant les variations de chaque terme général.
Pour , calculez explicitement la dérivée et vérifiez le comportement du terme général en pour la convergence simple.
Utilisez le théorème de la double limite pour infirmer une éventuelle convergence uniforme au voisinage de 0 pour la série des dérivées.
Étude des variations pour la convergence normale.
Lien entre convergence normale et convergence uniforme.
Analyse locale (en 0) pour la série des dérivées.
1. Étude de la série .
Convergence simple : Soit . Si , pour tout , , donc la série converge et sa somme est nulle.
Si , au voisinage de l'infini, on a l'équivalence :
Comme la série de Riemann converge, par comparaison de séries à termes positifs, la série converge.
La série de fonctions converge donc simplement sur .
Convergence uniforme :
Cherchons la convergence normale. La fonction est de classe sur .
Pour tout :
\begin{align*}
u_n'(x) &= \frac{(1+n^2 x)^2 - x \cdot 2 \cdot n^2 (1+n^2 x)}{(1+n^2 x)^4}
u_n'(x) &= \frac{1+n^2 x - 2n^2 x}{(1+n^2 x)^3} = \frac{1 - n^2 x}{(1+n^2 x)^3}
\end{align*}
La dérivée s'annule en (pour ). La fonction est croissante sur et décroissante sur . Le maximum de est donc atteint en :
Comme est une série convergente, on en déduit que :
2. Étude de la série .
Convergence simple : Calculons . D'après l'expression précédente :
La série est la série , qui diverge grossièrement vers . Par conséquent, la série de fonctions ne converge pas simplement sur .
Convergence sur () :
Soit . Pour suffisamment grand tel que , la fonction est décroissante sur .
On a alors pour tout :
\begin{align*}
|u_n'(x)| &= \left| \frac{1 - n^2 x}{(1+n^2 x)^3} \right| = \frac{n^2 x - 1}{(1+n^2 x)^3}
|u_n'(x)| &\le \frac{n^2 x}{(n^2 x)^3} = \frac{1}{n^4 x^2} \le \frac{1}{a^2 n^4}
\end{align*}
Comme converge, la série converge normalement sur .
Absence de convergence uniforme sur : S'il y avait convergence uniforme sur , comme chaque admet une limite finie en 0 (), le théorème de la double limite impliquerait que la série converge, ce qui est faux. Ainsi, il n'y a pas convergence uniforme sur .
Vérification de la convergence simple en 0 pour la série dérivée.
Utilisation de la double limite pour nier la convergence uniforme.