Méthodes : Suites et séries de fonctions
Pour démontrer qu'une suite de fonctions $(f_n)$ converge uniformément vers $f$ sur $I,$ on peut :
- étudier les variations de la fonction $f_n-f$ sur $I$ (en la dérivant par exemple) afin de déterminer $\sup_{x\in I}|f_n(x)-f(x)|$ et de démontrer que cette quantité tend vers 0 (voir cet exercice);
- majorer directement $|f_n(x)-f(x)|$ pour tout $x\in I$ par une quantité qui ne dépend plus de $x$ et qui tend vers 0 (voir cet exercice);
- démontrer que la série télescopique $\sum_{n}(f_{n+1}-f_n)$ converge uniformément (normalement) sur $I$ (voir cet exercice).
Pour démontrer qu'une suite de fonctions $(f_n)$ ne converge pas uniformément vers $f$ sur $I$, on peut :
- étudier les variations de la fonction $f_n-f$ sur $I$ (en la dérivant par exemple) afin de déterminer $\sup_{x\in I}|f_n(x)-f(x)|$ et de démontrer que cette quantité ne tend pas vers 0 (voir cet exercice);
- trouver une suite $(x_n)$ de $I$ telle que $(f(x_n)-f_n(x_n))$ ne tend pas vers zéro (voir cet exercice);
- nier le fait que la convergence uniforme préserve la continuité : si tous les $f_n$ sont continues sur $I$ et que $f$ ne l'est pas, alors la convergence ne saurait être uniforme (voir cet exercice);
- nier le fait que la convergence uniforme permet d'échanger passage à la limite et intégration sur un segment (voir cet exercice).
Pour démontrer qu'une série de fonctions $\sum_n u_n$ converge normalement sur $I$, on majore pour tout $x\in I$ le terme général $|u_n(x)|$ par un réel $a_n$ (qui ne dépend pas de $x$!) et tel que la série $\sum_n a_n$ converge. Pour majorer $|u_n(x)|$, on peut ou bien étudier les variations de $u_n$ ou bien majorer directement (voir cet exercice).
Pour démontrer qu'une série de fonctions $\sum_n u_n$ ne converge pas normalement sur $I$, on peut
- calculer $\|u_n\|_\infty$ et démontrer que $\sum_n \|u_n\|_\infty$ diverge (voir cet exercice);
- trouver une suite $(x_n)$ de $I$ telle que $\sum_n |u_n(x_n)|$ diverge;
- démontrer que la série $\sum_n u_n$ ne converge pas uniformément sur $I$ (voir cet exercice);
- démontrer que la série $\sum_n |u_n(x)|$ ne converge pas pour un certain $x\in I$ (voir cet exercice).
Pour démontrer qu'une série de fonctions $\sum_n u_n$ converge uniformément sur $I$, on peut
- démontrer la convergence normale (voir cet exercice);
- utiliser le critère des séries alternées, qui donne aussi une majoration du reste de la série (voir cet exercice);
- majorer directement le reste par une méthode dépendant de l'exercice, par exemple par comparaison à une intégrale ou en utilisant une série géométrique (voir cet exercice).
Pour démontrer qu'une série de fonctions $\sum_n u_n$ ne converge pas uniformément sur $I$, on peut
- utiliser des propriétés qualitatives : si par exemple tous les $u_n$ sont continues et qu'on peut prouver que $\sum_n u_n$ n'est pas continue, la convergence ne peut pas être uniforme (voir cet exercice);
- trouver des suites d'entiers $(p_n)$ et $(q_n)$ et une suite $(x_n)$ de $I$ tels que $\left|\sum_{k=p_n}^{q_n}u_k(x_n)\right|\geq a$ où $a$ est un réel strictement positif; modulo l'inégalité triangulaire, ceci contredit la convergence uniforme (voir cet exercice);
- minorer directement la norme infinie du reste par quelque chose qui ne tend pas vers $0$ (voir cet exercice).
Pour étudier la régularité de la somme d'une série $\sum_n u_n$, on applique les théorèmes du cours concernant le caractère continu, dérivable,... de la somme d'une série. Si on veut démontrer la continuité de $\sum_{n\geq 0} u_n$ sur l'intervalle $I$, il suffit, si chaque $u_n$ est continue sur $I$, de démontrer la convergence uniforme sur tous les segments contenus dans $I$.
En particulier, pour démontrer que $\sum_{n\geq 0}u_n$ est de classe $\mathcal C^\infty$ sur $I,$ il suffit de prouver que
- toutes les $u_n$ sont de classe $\mathcal C^\infty$ sur $I$;
- pour tout $p\in\mathbb N,$ $\sum_{n}u_n^{(p)}$ converge uniformément sur tout segment contenu dans $I$.
Pour étudier la monotonie de la somme d'une série $\sum_n u_n$, on peut
- étudier si chaque $u_n$ est monotone. Si par exemple tous les $u_n$ sont croissantes, alors la somme l'est aussi (voir cet exercice).
- étudier le signe de la dérivée si on peut dériver terme à terme. Le critère des série alternées permet parfois de connaitre le signe de cette dérivée (voir cet exercice).
Pour étudier la limite aux bornes (par exemple en $+\infty$) de la somme d'une série $\sum_n u_n$, on peut
- utiliser le théorème de la double limite en cas de convergence uniforme sur tout l'intervalle (voir cet exercice);
- dans le cas où chaque $u_n$ est positive, où $\lim_{x\to +\infty}u_n(x)=\ell_n\geq 0$ et où $\sum_{n}\ell_n$ diverge, alors on peut prouver que $\lim_{x\to +\infty}S(x)=+\infty,$ avec $S(x)=\sum_{n\geq 0}u_n(x)$. Ce résultat n'est pas au programme de prépa, mais il faut savoir le redémontrer en cas de besoin. Pour cela, on considère $A>0$. Puisque $\ell_n\geq 0$ pour tout $n\geq 0$ et que la série de terme général $\ell_n$ est divergente, il existe $N\geq 1$ tel que $\sum_{n=1}^N \ell_n \geq A.$ D'autre part, on sait que $$\lim_{x\to+\infty}\sum_{n=1}^N u_n(x)=\sum_{n=1}^N \ell_n\geq A+1.$$ Par définition de la limite, il existe $x_0>0$ tel que, pour $x\geq x_0,$ on ait $$\sum_{n=1}^N u_n(x)\geq A.$$ On conclut que, pour tout $x\geq x_0,$ $S(x)\geq A$ ce qui suffit à démontrer que $S$ tend vers $+\infty$ en $+\infty$ (voir cet exercice pour la mise en oeuvre de cette méthode sur un cas pratique).
- si la série est une série alternée, on peut utiliser le critère des séries alternées pour encadrer la somme par deux sommes partielles consécutives (par exemple la première et la deuxième) et appliquer le théorème des gendarmes (voir cet exercice);
- encadrer la somme en utilisant une comparaison à une intégrale (voir cet exercice);