On étudie f(x)=n=1+nx(x+n2)2f(x) = \sum_{n=1}^{+\infty} \frac{nx}{(x+n^2)^2} pour x>0x > 0.

  1. Justifier que ff est de classe C1\mathcal{C}^1 sur R+\mathbb{R}_+.
  2. Trouver un équivalent de ff en 0+0^+.
  3. Déterminer limx+f(x)\lim_{x \to +\infty} f(x).

1.

Pour la limite en ++\infty, noter que pour xx fixé, nun(x)n \mapsto u_n(x) n'est pas monotone (bimodale). Comparer à 0+tx(x+t2)2dt\int_0^{+\infty} \frac{tx}{(x+t^2)^2} dt en découpant la somme.

Idées clés

Dérivée en 0 via la convergence normale de un\sum u_n'.

Changement de variable t=xut = \sqrt{x}u dans l'intégrale de comparaison.

Résolution.

  1. un(x)=nx(x+n2)2u_n(x) = \frac{nx}{(x+n^2)^2}. un(0)=0u_n(0)=0. un(x)=n(x+n2)22nx(x+n2)(x+n2)4=n(n2x)(x+n2)3u_n'(x) = \frac{n(x+n^2)^2 - 2n x(x+n^2)}{(x+n^2)^4} = \frac{n(n^2-x)}{(x+n^2)^3}. Pour x[0,A]x \in [0, A], un(x)n(n2+A)n61n3|u_n'(x)| \leq \frac{n(n^2+A)}{n^6} \sim \frac{1}{n^3}. Convergence normale de un\sum u_n' sur [0,A][0, A], donc ff est C1\mathcal{C}^1 sur [0,A][0, A] pour tout AA.

  2. f(0)=0f(0)=0 et f(0)=n=1nn2n6=1n3=ζ(3)f'(0) = \sum_{n=1}^\infty \frac{n \cdot n^2}{n^6} = \sum \frac{1}{n^3} = \zeta(3). Donc \boxed{f(x) \sim \zeta(3)x \text{ en } 0}.

  3. On approche la somme par l'intégrale I(x)=0+tx(x+t2)2dtI(x) = \int_0^{+\infty} \frac{tx}{(x+t^2)^2} dt. Posons t=xut = \sqrt{x} u, dt=xdudt = \sqrt{x} du :
    I(x)=0+xux(x+xu2)2xdu=0+u(1+u2)2duI(x) = \int_0^{+\infty} \frac{\sqrt{x}u \cdot x}{(x+xu^2)^2} \sqrt{x} du = \int_0^{+\infty} \frac{u}{(1+u^2)^2} du
    L'intégrale vaut [12(1+u2)]0+=12\left[ -\frac{1}{2(1+u^2)} \right]_0^{+\infty} = \frac{1}{2}. L'écart entre la somme et l'intégrale est en O(1/x)O(1/x) (méthode de la fonction bimodale). D'où \boxed{\lim_{x \to +\infty} f(x) = \frac{1}{2}}.

Non-monotonie du terme général

Approximation par intégrale pour fonctions bimodales