Soit (un)nN(u_n)_{n \in \mathbb{N}^*} la suite de fonctions définies sur R\mathbb{R} par :

un(x)=1n+n2(xn)2u_n(x) = \frac{1}{n + n^2(x-n)^2}

Étudier la convergence simple, normale et uniforme de la série de fonctions un\sum u_n sur R\mathbb{R}, puis sur les segments de R\mathbb{R}.

1.

Pour la convergence simple, effectuer un développement asymptotique du terme général à xx fixé.

2.

Pour la convergence normale sur R\mathbb{R}, déterminer la borne supérieure de un|u_n| en étudiant les variations de unu_n.

3.

Pour la convergence uniforme sur R\mathbb{R}, utiliser le reste de la série et majorer n=N+1+un(x)\sum_{n=N+1}^{+\infty} u_n(x) en découpant la somme selon que nn est proche de xx ou non.

Idées clés

Étude du maximum local (bosse) situé en x=nx=n.

Distinction entre convergence locale (sur les compacts) et globale (sur R\mathbb{R}).

Technique de découpage du reste pour la convergence uniforme.

1. Convergence simple sur R\mathbb{R.}

Soit xRx \in \mathbb{R} fixé. Lorsque n+n \to +\infty, on a (xn)2n2(x-n)^2 \sim n^2. On en déduit l'équivalent suivant pour le dénominateur :

n+n2(xn)2n2n2=n4n + n^2(x-n)^2 \sim n^2 \cdot n^2 = n^4

Ainsi, au voisinage de l'infini :

un(x)1n4u_n(x) \sim \frac{1}{n^4}

Comme la série de Riemann 1n4\sum \frac{1}{n^4} converge, par comparaison de séries à termes positifs :

La seˊrie un converge simplement sur R.\boxed{\text{La série } \sum u_n \text{ converge simplement sur } \mathbb{R}.}

2. Convergence normale.

Cherchons la borne supérieure de unu_n sur R\mathbb{R}. La fonction unu_n est dérivable et son dénominateur est minimal lorsque x=nx=n. On a immédiatement :

un,R=un(n)=1n\|u_n\|_{\infty, \mathbb{R}} = u_n(n) = \frac{1}{n}

La série 1n\sum \frac{1}{n} étant la série harmonique divergente :

La seˊrie un ne converge pas normalement sur R.\boxed{\text{La série } \sum u_n \text{ ne converge pas normalement sur } \mathbb{R}.}

Considérons maintenant un segment K=[a,b]K = [a, b]. Pour n>bn > b, la fonction unu_n est croissante sur [a,b][a, b]. Ainsi, pour nn assez grand (n>bn > b) :

supx[a,b]un(x)=un(b)=1n+n2(bn)21n4\sup_{x \in [a, b]} |u_n(x)| = u_n(b) = \frac{1}{n + n^2(b-n)^2} \sim \frac{1}{n^4}

La série des bornes supérieures converge. Par conséquent :

La seˊrie un converge normalement sur tout segment de R.\boxed{\text{La série } \sum u_n \text{ converge normalement sur tout segment de } \mathbb{R}.}

3. Convergence uniforme sur R\mathbb{R.}

Notons RN(x)=n=N+1+un(x)R_N(x) = \sum_{n=N+1}^{+\infty} u_n(x) le reste de rang NN. Pour établir la convergence uniforme, nous devons montrer que supxRRN(x)N+0\sup_{x \in \mathbb{R}} |R_N(x)| \xrightarrow[N \to +\infty]{} 0.

Soit xRx \in \mathbb{R}. Pour chaque nN+1n \ge N+1, on distingue deux cas :

  • Si xn1|x-n| \ge 1, alors un(x)1n2(xn)21n2u_n(x) \le \frac{1}{n^2(x-n)^2} \le \frac{1}{n^2}.
  • Si xn<1|x-n| < 1, il y a au plus deux entiers nn vérifiant cette condition (les entiers entourant xx).

On découpe alors la somme du reste en deux parties :

RN(x)=n=N+1nx1+un(x)+n=N+1nx<1+un(x)R_N(x) = \sum_{\substack{n=N+1
|n-x| \ge 1}}^{+\infty} u_n(x) + \sum_{\substack{n=N+1
|n-x| < 1}}^{+\infty} u_n(x)

Pour la première partie, on majore par la queue d'une série de Riemann :

n=N+1nx1+un(x)n=N+1+1n2\sum_{\substack{n=N+1
|n-x| \ge 1}}^{+\infty} u_n(x) \le \sum_{n=N+1}^{+\infty} \frac{1}{n^2}

Pour la seconde partie, il y a au plus deux termes, chacun étant majoré par un=1n\|u_n\|_\infty = \frac{1}{n}. Comme nN+1n \ge N+1, chaque terme est 1N+1\le \frac{1}{N+1} :

n=N+1nx<1+un(x)2N+1\sum_{\substack{n=N+1
|n-x| < 1}}^{+\infty} u_n(x) \le \frac{2}{N+1}

On obtient donc la majoration uniforme :

xR,RN(x)n=N+1+1n2+2N+1\forall x \in \mathbb{R},   |R_N(x)| \le \sum_{n=N+1}^{+\infty} \frac{1}{n^2} + \frac{2}{N+1}

Le membre de droite ne dépend pas de xx et tend vers 00 quand N+N \to +\infty.

La seˊrie un converge uniformeˊment sur R.\boxed{\text{La série } \sum u_n \text{ converge uniformément sur } \mathbb{R}.}

Confondre non-convergence normale et non-convergence uniforme sur un domaine non compact.

Technique de découpage du reste pour gérer les phénomènes de glissement de bosse.