On considère la suite de fonctions (fn)nN(f_n)_{n \in \mathbb{N}^*} définie pour tout réel xx par :

fn(x)=xn+(1x)nn2f_n(x) = \frac{x^n + (1-x)^n}{n^2}

  1. Déterminer l'ensemble des réels xx pour lesquels la série fn(x)\sum f_n(x) converge simplement.
  2. Étudier la convergence uniforme de cette série de fonctions sur son domaine de convergence simple.

1.

Pour la convergence simple, comparer le comportement de xnx^n et (1x)n(1-x)^n selon la valeur de xx. On pourra distinguer les cas x[0,1]x \in [0,1], x>1x > 1 et x<0x < 0.

2.

Pour la convergence uniforme, chercher une majoration du terme général par une série numérique convergente (convergence normale).

Idées clés

Étude de la convergence normale pour en déduire la convergence uniforme.

Comparaison aux séries géométriques pour la divergence.

Résolution.

  1. Étude de la convergence simple. Soit xRx \in \mathbb{R}. Analysons le comportement du terme général fn(x)f_n(x) selon les valeurs de xx : Cas 1 : x[0,1]x \in [0, 1]. Dans ce cas, on a 0x10 \leq x \leq 1 et 01x10 \leq 1-x \leq 1. On en déduit :
    fn(x)1n+1nn2=2n2|f_n(x)| \leq \frac{1^n + 1^n}{n^2} = \frac{2}{n^2}
    La série 2n2\sum \frac{2}{n^2} est une série de Riemann convergente. Par comparaison, la série fn(x)\sum f_n(x) converge absolument, donc converge simplement. Cas 2 : x>1x > 1. Si x>1x > 1, alors xnn++x^n \xrightarrow[n \to +\infty]{} +\infty. De plus, 1x=x1<x|1-x| = x-1 < x. On peut donc écrire :
    fn(x)=xnn2[1+(1xx)n]f_n(x) = \frac{x^n}{n^2} \left[ 1 + \left( \frac{1-x}{x} \right)^n \right]
    Comme 1xx<1\left| \frac{1-x}{x} \right| < 1, le terme entre crochets tend vers 11. Par croissance comparée, fn(x)n++f_n(x) \xrightarrow[n \to +\infty]{} +\infty. La série diverge donc grossièrement. Cas 3 : x<0x < 0. Si x<0x < 0, alors 1x>11-x > 1. On a x<1x|x| < 1-x (car x<1x-x < 1-x équivaut à 0<10 < 1). De la même manière :
    fn(x)=(1x)nn2[1+(x1x)n]f_n(x) = \frac{(1-x)^n}{n^2} \left[ 1 + \left( \frac{x}{1-x} \right)^n \right]
    Comme x1x<1\left| \frac{x}{1-x} \right| < 1, le terme entre crochets tend vers 11. On en déduit que fn(x)n++f_n(x) \xrightarrow[n \to +\infty]{} +\infty. La série diverge grossièrement.
    La seˊrie converge simplement si et seulement si x[0,1].\boxed{\text{La série converge simplement si et seulement si } x \in [0, 1].}

  2. Étude de la convergence uniforme. Nous avons montré dans le premier cas que pour tout x[0,1]x \in [0, 1] :
    fn(x)2n2|f_n(x)| \leq \frac{2}{n^2}
    Soit vn=2n2v_n = \frac{2}{n^2}. La série numérique vn\sum v_n converge et est indépendante de xx. Ceci prouve que la série de fonctions fn\sum f_n converge normalement sur [0,1][0, 1]. Comme la convergence normale sur un intervalle implique la convergence uniforme sur ce même intervalle, on conclut :
    La seˊrie converge uniformeˊment sur [0,1].\boxed{\text{La série converge uniformément sur } [0, 1].}

Oublier d'analyser la divergence grossière en dehors de [0,1].

La convergence normale entraîne la convergence uniforme.