On définit pour x>0x > 0 la fonction :

f(x)=n=1+1n+n2xf(x) = \sum_{n=1}^{+\infty} \frac{1}{n + n^2 x}

  1. Montrer que ff est de classe C\mathcal{C}^\infty sur R+\mathbb{R}_+^*.
  2. Déterminer un équivalent de ff en ++\infty.
  3. Déterminer un équivalent de ff en 0+0^+.

1.

Pour la régularité, utiliser la convergence normale des séries dérivées sur [a,+[[a, +\infty[.

2.

Pour ++\infty, étudier la limite de xf(x)x f(x).

3.

Pour 0+0^+, comparer la somme à une intégrale ou décomposer le terme général.

Idées clés

Théorème de la double limite pour l'équivalent en ++\infty.

Décomposition en éléments simples 1n(1+nx)=1nx1+nx\frac{1}{n(1+nx)} = \frac{1}{n} - \frac{x}{1+nx} pour l'équivalent en 00.

Résolution.

  1. Soit un(x)=1n+n2xu_n(x) = \frac{1}{n+n^2x}. Pour tout a>0a > 0 et xax \geq a, un(x)1an2|u_n(x)| \leq \frac{1}{an^2}. La convergence normale assure la continuité. Par récurrence, un(k)(x)=(1)kk!(n2)k(n+n2x)k+1u_n^{(k)}(x) = \frac{(-1)^k k! (n^2)^k}{(n+n^2x)^{k+1}}. Pour xax \geq a, un(k)(x)k!n2kn2k+2ak+1=k!ak+1n2|u_n^{(k)}(x)| \leq \frac{k! n^{2k}}{n^{2k+2}a^{k+1}} = \frac{k!}{a^{k+1} n^2}. La convergence normale des séries dérivées sur [a,+[[a, +\infty[ implique que ff est \boxed{\mathcal{C}^\infty \text{ sur } \mathbb{R}_+^*}.

  2. Étudions xf(x)=n=1+xn+n2x=n=1+1n/x+n2x f(x) = \sum_{n=1}^{+\infty} \frac{x}{n+n^2x} = \sum_{n=1}^{+\infty} \frac{1}{n/x + n^2}. Soit vn(x)=1n/x+n2v_n(x) = \frac{1}{n/x + n^2}. Pour tout x>0x > 0, vn(x)1n2|v_n(x)| \leq \frac{1}{n^2}. Par convergence normale sur ]0,+[]0, +\infty[, on peut appliquer le théorème de la double limite :
    limx+xf(x)=n=1+1n2=π26\lim_{x \to +\infty} x f(x) = \sum_{n=1}^{+\infty} \frac{1}{n^2} = \frac{\pi^2}{6}
    D'où \boxed{f(x) \sim \frac{\pi^2}{6x} \text{ en } +\infty}.

  3. On utilise la comparaison série-intégrale. La fonction ϕx(t)=1t+t2x\phi_x(t) = \frac{1}{t+t^2x} est décroissante sur [1,+[[1, +\infty[.
    1+dtt(1+tx)f(x)u1(x)+1+dtt(1+tx)\int_1^{+\infty} \frac{dt}{t(1+tx)} \leq f(x) \leq u_1(x) + \int_1^{+\infty} \frac{dt}{t(1+tx)}
    L'intégrale vaut :
    1+(1tx1+tx)dt=[ln(t1+tx)]1+=ln(1/x)ln(1/(1+x))=ln(x)+ln(1+x)\int_1^{+\infty} \left( \frac{1}{t} - \frac{x}{1+tx} \right) dt = \left[ \ln\left( \frac{t}{1+tx} \right) \right]_1^{+\infty} = \ln(1/x) - \ln(1/(1+x)) = -\ln(x) + \ln(1+x)
    En 0+0^+, on obtient \boxed{f(x) \sim -\ln x}.

Encadrement trop large par intégrale en l'infini

Technique de la double limite pour les équivalents