WikiPrépaLivrets

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

fn(x)=xn+(1−x)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 (1−x)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 x∈Rx \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 0≤x≤10 \leq x \leq 1 et 0≤1−x≤10 \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 xn→n→+∞+∞x^n \xrightarrow[n \to +\infty]{} +\infty. De plus, ∣1−x∣=x−1<x|1-x| = x-1 < x. On peut donc écrire :
    fn(x)=xnn2[1+(1−xx)n]f_n(x) = \frac{x^n}{n^2} \left[ 1 + \left( \frac{1-x}{x} \right)^n \right]
    Comme ∣1−xx∣<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 1−x>11-x > 1. On a ∣x∣<1−x|x| < 1-x (car −x<1−x-x < 1-x équivaut à 0<10 < 1). De la même manière :
    fn(x)=(1−x)nn2[1+(x1−x)n]f_n(x) = \frac{(1-x)^n}{n^2} \left[ 1 + \left( \frac{x}{1-x} \right)^n \right]
    Comme ∣x1−x∣<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.