WikiPrépaLivrets

Soit ff la fonction définie sur ]0,+∞[]0, +\infty[ par :

f(x)=∑n=1+∞1sh⁡(nx)f(x) = \sum_{n=1}^{+\infty} \frac{1}{\operatorname{sh}(nx)}

  1. Justifier la définition de ff sur ]0,+∞[]0, +\infty[.
  2. Déterminer un équivalent de f(x)f(x) lorsque x→+∞x \to +\infty.
  3. Déterminer un équivalent de f(x)f(x) lorsque x→0+x \to 0^+.

1.

Pour x→+∞x \to +\infty, isoler le premier terme de la série et montrer qu'il est prépondérant. On pourra étudier ∑n=1+∞exsh⁡(nx)\sum_{n=1}^{+\infty} \frac{e^x}{\operatorname{sh}(nx)}.

2.

Pour x→0+x \to 0^+, utiliser une comparaison série-intégrale avec la fonction t↦1sh⁡(xt)t \mapsto \frac{1}{\operatorname{sh}(xt)}.

Idées clés

•

Domination du premier terme pour les séries à décroissance rapide.

•

Comparaison série-intégrale pour l'étude au voisinage d'une singularité.

•

Relation de Chasles pour isoler la partie divergente d'une intégrale.

Résolution.

  1. Pour x>0x > 0 fixé, on a sh⁡(nx)∼enx2\operatorname{sh}(nx) \sim \frac{e^{nx}}{2}. Ainsi, 1sh⁡(nx)=O(e−nx)\frac{1}{\operatorname{sh}(nx)} = O(e^{-nx}). La série converge par comparaison avec une série géométrique de raison e−x<1e^{-x} < 1.
    f est bien deˊfinie sur ]0,+∞[\boxed{f \text{ est bien définie sur } ]0, +\infty[}

  2. Étude en +∞+\infty. Factorisons par le terme prépondérant u1(x)=1sh⁡(x)u_1(x) = \frac{1}{\operatorname{sh}(x)} :
    f(x)=1sh⁡(x)(1+∑n=2+∞sh⁡(x)sh⁡(nx))f(x) = \frac{1}{\operatorname{sh}(x)} \left( 1 + \sum_{n=2}^{+\infty} \frac{\operatorname{sh}(x)}{\operatorname{sh}(nx)} \right)

    Pour x≥1x \geq 1, on a l'encadrement sh⁡(nx)≥enx4\operatorname{sh}(nx) \geq \frac{e^{nx}}{4} (car e−nxe^{-nx} devient négligeable). Alors, pour n≥2n \geq 2, sh⁡(x)sh⁡(nx)≤ex/2enx/4=2e(1−n)x\frac{\operatorname{sh}(x)}{\operatorname{sh}(nx)} \leq \frac{e^x/2}{e^{nx}/4} = 2 e^{(1-n)x}. En sommant pour n≥2n \geq 2 :

    ∑n=2+∞sh⁡(x)sh⁡(nx)≤∑k=1+∞2e−kx=2e−x1−e−x→x→+∞0\sum_{n=2}^{+\infty} \frac{\operatorname{sh}(x)}{\operatorname{sh}(nx)} \leq \sum_{k=1}^{+\infty} 2 e^{-kx} = \frac{2e^{-x}}{1-e^{-x}} \xrightarrow[x \to +\infty]{} 0
    On en déduit f(x)∼1sh⁡(x)f(x) \sim \frac{1}{\operatorname{sh}(x)}. Comme sh⁡(x)∼ex2\operatorname{sh}(x) \sim \frac{e^x}{2}, on obtient :
    f(x)∼x→+∞2e−x\boxed{f(x) \underset{x \to +\infty}{\sim} 2e^{-x}}

  3. Étude en 0+0^+. La fonction t↦1sh⁡(xt)t \mapsto \frac{1}{\operatorname{sh}(xt)} est décroissante sur [1,+∞[[1, +\infty[. Par comparaison série-intégrale :
    ∫1+∞dtsh⁡(xt)≤f(x)≤1sh⁡(x)+∫1+∞dtsh⁡(xt)\int_1^{+\infty} \frac{dt}{\operatorname{sh}(xt)} \leq f(x) \leq \frac{1}{\operatorname{sh}(x)} + \int_1^{+\infty} \frac{dt}{\operatorname{sh}(xt)}

    Effectuons le changement de variable u=xtu = xt (du=xdtdu = x dt) dans l'intégrale :

    I(x)=∫1+∞dtsh⁡(xt)=1x∫x+∞dush⁡(u)I(x) = \int_1^{+\infty} \frac{dt}{\operatorname{sh}(xt)} = \frac{1}{x} \int_x^{+\infty} \frac{du}{\operatorname{sh}(u)}

    Analysons le comportement de cette intégrale lorsque x→0+x \to 0^+. La fonction u↦1sh⁡(u)u \mapsto \frac{1}{\operatorname{sh}(u)} est intégrable en +∞+\infty mais pas en 00 car 1sh⁡(u)∼1u\frac{1}{\operatorname{sh}(u)} \sim \frac{1}{u}.

    ∫x+∞dush⁡(u)=∫x1dush⁡(u)+∫1+∞dush⁡(u)\int_x^{+\infty} \frac{du}{\operatorname{sh}(u)} = \int_x^1 \frac{du}{\operatorname{sh}(u)} + \int_1^{+\infty} \frac{du}{\operatorname{sh}(u)}

    Le second terme est une constante. Pour le premier :

    1sh⁡(u)=1u+O(u)  ⟹  ∫x1dush⁡(u)=∫x1duu+O(1)=−ln⁡(x)+O(1)\frac{1}{\operatorname{sh}(u)} = \frac{1}{u} + O(u) \implies \int_x^1 \frac{du}{\operatorname{sh}(u)} = \int_x^1 \frac{du}{u} + O(1) = -\ln(x) + O(1)

    Ainsi, ∫x+∞dush⁡(u)∼−ln⁡(x)\int_x^{+\infty} \frac{du}{\operatorname{sh}(u)} \sim -\ln(x). On en déduit I(x)∼−ln⁡xxI(x) \sim -\frac{\ln x}{x}. Comme 1sh⁡(x)∼1x=o(ln⁡xx)\frac{1}{\operatorname{sh}(x)} \sim \frac{1}{x} = o\left( \frac{\ln x}{x} \right), l'encadrement donne :

    f(x)∼x→0+−ln⁡xx\boxed{f(x) \underset{x \to 0^+}{\sim} -\frac{\ln x}{x}}

Oubli de la dépendance de la borne de l'intégrale après changement de variable.

Domination du premier terme en +infini.