Soit la suite de fonctions (fn)n2(f_n)_{n \geq 2} définies sur R+\mathbb{R}_+ par :

fn(x)=xlnn1+xn2f_n(x) = \frac{\sqrt{x} \ln n}{1 + x n^2}

  1. Étudier la convergence simple de la série de fonctions fn\sum f_n sur R+\mathbb{R}_+.
  2. Étudier la convergence normale de cette série sur [a,+[[a, +\infty[ (avec a>0a > 0), puis sur [0,+[[0, +\infty[.
  3. La série converge-t-elle uniformément sur [0,+[[0, +\infty[ ?

1.

Pour la convergence simple, utiliser une comparaison avec une série de Bertrand ou une série de Riemann.

2.

Pour la convergence normale, étudier les variations de fnf_n pour déterminer sa borne supérieure.

3.

Pour la convergence uniforme sur [0,+[[0, +\infty[, on pourra étudier la limite de la somme S(x)S(x) quand x0+x \to 0^+ ou évaluer le reste en un point bien choisi dépendant de nn.

Idées clés

Étude des variations pour la convergence normale (recherche du maximum).

Comparaison locale (équivalents) pour la convergence simple.

Lien entre continuité/bornitude et convergence uniforme.

1. Convergence simple

Soit xR+x \in \mathbb{R}_+.

  • Si x=0x = 0, alors pour tout n2n \geq 2, fn(0)=0f_n(0) = 0. La série fn(0)\sum f_n(0) converge vers 00.
  • Si x>0x > 0, on a l'équivalent suivant quand n+n \to +\infty :
    fn(x)xlnnxn2=lnnxn2f_n(x) \sim \frac{\sqrt{x} \ln n}{x n^2} = \frac{\ln n}{\sqrt{x} n^2}

Par comparaison avec les séries de Bertrand lnnnα\sum \frac{\ln n}{n^\alpha}, ou en remarquant que lnnn2=o(1n3/2)\frac{\ln n}{n^2} = o\left(\frac{1}{n^{3/2}}\right), on en déduit que la série converge pour tout x>0x > 0.

La seˊrie fn converge simplement sur [0,+[.\boxed{\text{La série } \sum f_n \text{ converge simplement sur } [0, +\infty[.}

2. Convergence normale

Pour n2n \geq 2, fnf_n est dérivable sur ]0,+[]0, +\infty[. Un calcul direct donne :

fn(x)=lnn12x(1+xn2)xn2(1+xn2)2=lnn1xn22x(1+xn2)2f_n'(x) = \ln n \cdot \frac{\frac{1}{2\sqrt{x}}(1+xn^2) - \sqrt{x}n^2}{(1+xn^2)^2} = \ln n \cdot \frac{1 - xn^2}{2\sqrt{x}(1+xn^2)^2}

Le signe de fn(x)f_n'(x) est celui de 1xn21 - xn^2. La fonction fnf_n atteint donc son maximum en xn=1n2x_n = \frac{1}{n^2}. La valeur de ce maximum est :

fn,[0,+[=fn(1n2)=1nlnn1+1=lnn2n\|f_n\|_{\infty, [0, +\infty[} = f_n\left(\frac{1}{n^2}\right) = \frac{\frac{1}{n} \ln n}{1 + 1} = \frac{\ln n}{2n}

Or, par comparaison avec la série harmonique, la série lnn2n\sum \frac{\ln n}{2n} diverge.

Il n’y a pas convergence normale sur [0,+[.\boxed{\text{Il n'y a pas convergence normale sur } [0, +\infty[.}

Pour a>0a > 0, dès que nn est assez grand tel que 1n2<a\frac{1}{n^2} < a, fnf_n est décroissante sur [a,+[[a, +\infty[. Ainsi, fn,[a,+[=fn(a)\|f_n\|_{\infty, [a, +\infty[} = f_n(a). D'après l'étude de la convergence simple, fn(a)\sum f_n(a) converge.

Il y a convergence normale sur tout intervalle [a,+[ avec a>0.\boxed{\text{Il y a convergence normale sur tout intervalle } [a, +\infty[ \text{ avec } a > 0.}

3. Convergence uniforme sur [0,+[[0, +\infty[

Notons S(x)=n=2fn(x)S(x) = \sum_{n=2}^\infty f_n(x) la fonction somme. Si la série convergeait uniformément sur [0,+[[0, +\infty[, le reste d'ordre NN :

RN(x)=n=N+1xlnn1+xn2R_N(x) = \sum_{n=N+1}^\infty \frac{\sqrt{x} \ln n}{1 + x n^2}
devrait tendre vers 00 uniformément sur [0,+[[0, +\infty[. Étudions RN(x)R_N(x) en xN=1N2x_N = \frac{1}{N^2} :
RN(1N2)=n=N+11Nlnn1+n2N2R_N\left(\frac{1}{N^2}\right) = \sum_{n=N+1}^\infty \frac{\frac{1}{N} \ln n}{1 + \frac{n^2}{N^2}}

En minorant par les termes allant de N+1N+1 à 2N2N :

RN(1N2)n=N+12N1NlnN1+(2N)2N2=n=N+12NlnN5N=NlnN5N=lnN5R_N\left(\frac{1}{N^2}\right) \geq \sum_{n=N+1}^{2N} \frac{\frac{1}{N} \ln N}{1 + \frac{(2N)^2}{N^2}} = \sum_{n=N+1}^{2N} \frac{\ln N}{5N} = N \cdot \frac{\ln N}{5N} = \frac{\ln N}{5}

Puisque lnN5N++\frac{\ln N}{5} \xrightarrow{N \to +\infty} +\infty, le reste ne tend pas uniformément vers 00.

La seˊrie ne converge pas uniformeˊment sur [0,+[.\boxed{\text{La série ne converge pas uniformément sur } [0, +\infty[.}

Ne pas confondre convergence normale et convergence uniforme ; l'absence de l'une n'implique pas l'absence de l'autre de manière immédiate sans étude du reste.

La méthode du choix d'une suite de points xNx_N pour minorer le reste RN(xN)R_N(x_N) est un outil puissant pour infirmer la convergence uniforme.