WikiPrépaLivrets

Soit (fn)n≥1(f_n)_{n \geq 1} la suite de fonctions définies sur R+∗\mathbb{R}_+^* par :

fn(x)=1n+n2x2f_n(x) = \frac{1}{n + n^2 x^2}
On considère la fonction ff définie par f(x)=∑n=1+∞fn(x)f(x) = \sum_{n=1}^{+\infty} f_n(x).

  1. Montrer que ff est bien définie et continue sur R+∗\mathbb{R}_+^*.
  2. Déterminer un équivalent de f(x)f(x) lorsque xx tend vers 0+0^+, puis lorsque xx tend vers +∞+\infty.
  3. Pour tout x>0x > 0, on pose g(x)=∫x+∞f(t) dtg(x) = \int_x^{+\infty} f(t)   \mathrm{d}t.
    1. Justifier l'existence de g(x)g(x) et l'exprimer comme la somme d'une série de fonctions.
    2. Déterminer la limite de g(x)g(x) quand x→0+x \to 0^+.
  4. La fonction ff est-elle intégrable sur R+∗\mathbb{R}_+^* ?

1.

Pour la continuité, utiliser la convergence normale sur tout intervalle de la forme [a,+∞[[a, +\infty[ avec a>0a > 0.

2.

Pour l'équivalent en 00, comparer la somme de la série à une intégrale bien choisie ou encadrer par des intégrales.

3.

Pour l'équivalent en +∞+\infty, étudier la limite de x2f(x)x^2 f(x) en utilisant un théorème de convergence pour les séries de fonctions.

4.

Pour l'intégrabilité, utiliser les équivalents obtenus en 00 et +∞+\infty.

Idées clés

•

Convergence normale pour la continuité et les limites aux bornes.

•

Comparaison série-intégrale pour les équivalents de sommes.

•

Théorème d'intégration terme à terme pour les séries de fonctions.

Résolution.

  1. Définition et continuité. Soit x>0x > 0. On a l'équivalence :
    fn(x)∼n→+∞1x2n2f_n(x) \underset{n \to +\infty}{\sim} \frac{1}{x^2 n^2}
    Comme la série de Riemann ∑1n2\sum \frac{1}{n^2} converge, la série ∑fn(x)\sum f_n(x) converge absolument, donc ff est définie sur R+∗\mathbb{R}_+^*. Soit a>0a > 0. Pour tout x∈[a,+∞[x \in [a, +\infty[ et tout n∈N∗n \in \mathbb{N}^* :
    ∣fn(x)∣=1n+n2x2≤1n2a2|f_n(x)| = \frac{1}{n + n^2 x^2} \leq \frac{1}{n^2 a^2}
    La série ∑fn\sum f_n converge normalement sur [a,+∞[[a, +\infty[. Comme chaque fnf_n est continue sur R+∗\mathbb{R}_+^*, la somme ff est continue sur tout intervalle [a,+∞[[a, +\infty[, donc sur R+∗\mathbb{R}_+^*.
  2. Équivalents de ff. Au voisinage de 0+0^+ : La fonction t↦1t+x2t2t \mapsto \frac{1}{t + x^2 t^2} est décroissante sur [1,+∞[[1, +\infty[. Par comparaison série-intégrale :
    ∫1+∞dtt+x2t2≤∑n=1+∞1n+x2n2≤f1(x)+∫1+∞dtt+x2t2\int_1^{+\infty} \frac{\mathrm{d}t}{t + x^2 t^2} \leq \sum_{n=1}^{+\infty} \frac{1}{n + x^2 n^2} \leq f_1(x) + \int_1^{+\infty} \frac{\mathrm{d}t}{t + x^2 t^2}
    Calculons l'intégrale par décomposition en éléments simples :
    1t(1+x2t)=1t−x21+x2t\frac{1}{t(1+x^2t)} = \frac{1}{t} - \frac{x^2}{1+x^2t}
    D'où :
    ∫1+∞(1t−x21+x2t)dt=[ln⁡(t1+x2t)]1+∞=ln⁡(1x2)−ln⁡(11+x2)\int_1^{+\infty} \left( \frac{1}{t} - \frac{x^2}{1+x^2t} \right) \mathrm{d}t = \left[ \ln\left( \frac{t}{1+x^2t} \right) \right]_1^{+\infty} = \ln\left(\frac{1}{x^2}\right) - \ln\left(\frac{1}{1+x^2}\right)
    On en déduit que ∫1+∞dtt+x2t2=−2ln⁡(x)+ln⁡(1+x2)∼x→0+−2ln⁡(x)\int_1^{+\infty} \frac{\mathrm{d}t}{t + x^2 t^2} = -2\ln(x) + \ln(1+x^2) \underset{x \to 0^+}{\sim} -2\ln(x).
    f(x)∼x→0+−2ln⁡(x)\boxed{ f(x) \underset{x \to 0^+}{\sim} -2\ln(x) }
    Au voisinage de +∞+\infty : Considérons x2f(x)=∑n=1+∞x2n+n2x2x^2 f(x) = \sum_{n=1}^{+\infty} \frac{x^2}{n + n^2 x^2}. Soit hn(x)=x2n+n2x2=1n/x2+n2h_n(x) = \frac{x^2}{n + n^2 x^2} = \frac{1}{n/x^2 + n^2}. Pour tout n≥1n \geq 1, lim⁡x→+∞hn(x)=1n2\lim_{x \to +\infty} h_n(x) = \frac{1}{n^2}. De plus, ∣hn(x)∣≤1n2|h_n(x)| \leq \frac{1}{n^2}, qui est le terme général d'une série convergente. Par convergence normale sur R+∗\mathbb{R}_+^*, on peut intervertir la limite et la somme :
    lim⁡x→+∞x2f(x)=∑n=1+∞1n2=π26\lim_{x \to +\infty} x^2 f(x) = \sum_{n=1}^{+\infty} \frac{1}{n^2} = \frac{\pi^2}{6}
    f(x)∼x→+∞π26x2\boxed{ f(x) \underset{x \to +\infty}{\sim} \frac{\pi^2}{6x^2} }

  3. Étude de l'intégrale g(x)g(x).
    1. Pour x>0x > 0, ff est continue sur [x,+∞[[x, +\infty[. D'après l'équivalent en +∞+\infty, f(t)=O(1/t2)f(t) = O(1/t^2), donc ff est intégrable au voisinage de +∞+\infty. Par intégration terme à terme (licite car les fnf_n sont positives et la série converge vers une fonction intégrable) :
      g(x)=∑n=1+∞∫x+∞dtn+n2t2g(x) = \sum_{n=1}^{+\infty} \int_x^{+\infty} \frac{\mathrm{d}t}{n + n^2 t^2}
      Calculons l'intégrale :
      ∫x+∞dtn(1+nt2)=1n[1narctan⁡(tn)]x+∞=1nn(π2−arctan⁡(xn))\int_x^{+\infty} \frac{\mathrm{d}t}{n(1 + nt^2)} = \frac{1}{n} \left[ \frac{1}{\sqrt{n}} \arctan(t\sqrt{n}) \right]_x^{+\infty} = \frac{1}{n\sqrt{n}} \left( \frac{\pi}{2} - \arctan(x\sqrt{n}) \right)
      g(x)=∑n=1+∞1nnarctan⁡(1xn)\boxed{ g(x) = \sum_{n=1}^{+\infty} \frac{1}{n\sqrt{n}} \arctan\left(\frac{1}{x\sqrt{n}}\right) }

    2. Posons un(x)=1nnarctan⁡(1xn)u_n(x) = \frac{1}{n\sqrt{n}} \arctan\left(\frac{1}{x\sqrt{n}}\right). Pour chaque nn, lim⁡x→0+un(x)=π2nn\lim_{x \to 0^+} u_n(x) = \frac{\pi}{2 n\sqrt{n}}. De plus, ∣un(x)∣≤π2nn|u_n(x)| \leq \frac{\pi}{2 n\sqrt{n}}, qui est le terme général d'une série convergente indépendante de xx. Par convergence normale sur R+∗\mathbb{R}_+^*, on peut intervertir limite et somme :
      lim⁡x→0+g(x)=π2∑n=1+∞1n3/2=π2ζ(32)\lim_{x \to 0^+} g(x) = \frac{\pi}{2} \sum_{n=1}^{+\infty} \frac{1}{n^{3/2}} = \frac{\pi}{2} \zeta\left(\frac{3}{2}\right)
      lim⁡x→0+g(x)=π2ζ(32)\boxed{ \lim_{x \to 0^+} g(x) = \frac{\pi}{2} \zeta\left(\frac{3}{2}\right) }

  4. Intégrabilité de ff. ff est continue sur ]0,+∞[]0, +\infty[. - En 00, f(x)∼−2ln⁡(x)f(x) \sim -2\ln(x), or x↦ln⁡(x)x \mapsto \ln(x) est intégrable au voisinage de 0. - En +∞+\infty, f(x)∼π26x2f(x) \sim \frac{\pi^2}{6x^2}, or x↦1/x2x \mapsto 1/x^2 est intégrable au voisinage de +∞+\infty (Riemann, 2>12 > 1).
    La fonction f est inteˊgrable sur R+∗.\boxed{ \text{La fonction } f \text{ est intégrable sur } \mathbb{R}_+^*. }

Convergence normale sur les intervalles de la forme [a, +inf[ seulement.

Méthode de comparaison série-intégrale pour les équivalents.