WikiPrépaLivrets

Représentation intégrale de la constante d'Euler par Frullani

L'objectif de cet exercice est d'établir une expression intégrale de la constante d'Euler γ\gamma.

  1. Montrer qu'il existe un réel γ\gamma, appelé constante d'Euler, tel que :
    ∑k=1n1k=ln⁡n+γ+o(1)\sum_{k=1}^n \frac{1}{k} = \ln n + \gamma + o(1)

  2. Justifier la convergence de l'intégrale suivante :
    I=∫01(1t+1ln⁡(1−t))dtI = \int_0^1 \left( \frac{1}{t} + \frac{1}{\ln(1-t)} \right) \mathrm{d}t

  3. À l'aide d'un changement de variable, montrer que l'on peut aussi écrire :
    I=∫0+∞(11−e−u−1u)e−uduI = \int_0^{+\infty} \left( \frac{1}{1-e^{-u}} - \frac{1}{u} \right) e^{-u} \mathrm{d}u

  4. Pour x>0x > 0 et n∈N∗n \in \mathbb{N}^*, on pose un(x)=e−nx(1−1−e−xx)u_n(x) = e^{-nx} \left( 1 - \frac{1-e^{-x}}{x} \right).
    1. Justifier l'intégrabilité de la somme de la série ∑un\sum u_n sur ]0,+∞[]0, +\infty[ et l'interversion somme-intégrale.
    2. En utilisant les intégrales de Frullani, montrer que I=γI = \gamma.

1.

Pour la question 1, étudier la nature de la série télescopique de terme général vn=Hn−ln⁡nv_n = H_n - \ln n.

2.

Pour la question 2, effectuer un développement limité au voisinage de 00 et de 11.

3.

Pour la question 3, utiliser le changement de variable t=1−e−ut = 1 - e^{-u}.

4.

Pour la question 4, utiliser le théorème de convergence dominée pour les séries de fonctions et la formule ∫0+∞e−ax−e−bxxdx=ln⁡(b/a)\int_0^{+\infty} \frac{e^{-ax}-e^{-bx}}{x} \mathrm{d}x = \ln(b/a).

Idées clés

•

Comparaison suite-série pour la constante d'Euler.

•

Théorème de convergence dominée pour les séries.

•

Intégrales de Frullani pour les termes logarithmiques.

Résolution.

  1. Posons vn=∑k=1n1k−ln⁡nv_n = \sum_{k=1}^n \frac{1}{k} - \ln n. Étudions la nature de la série ∑(vn+1−vn)\sum (v_{n+1} - v_n). On a pour tout n≥1n \geq 1 :
    vn+1−vn=1n+1−ln⁡(n+1)+ln⁡n=1n+1+ln⁡(1−1n+1)v_{n+1} - v_n = \frac{1}{n+1} - \ln(n+1) + \ln n = \frac{1}{n+1} + \ln\left(1 - \frac{1}{n+1}\right)
    Par développement limité de ln⁡(1−x)\ln(1-x) au voisinage de 00 :
    vn+1−vn=1n+1−(1n+1+12(n+1)2+o(1n2))=−12n2+o(1n2)v_{n+1} - v_n = \frac{1}{n+1} - \left( \frac{1}{n+1} + \frac{1}{2(n+1)^2} + o\left(\frac{1}{n^2}\right) \right) = -\frac{1}{2n^2} + o\left(\frac{1}{n^2}\right)
    La série ∑(vn+1−vn)\sum (v_{n+1} - v_n) converge par comparaison avec une série de Riemann. La suite (vn)(v_n) converge donc vers un réel γ\gamma.
    ∑k=1n1k=ln⁡n+γ+o(1)\boxed{ \sum_{k=1}^n \frac{1}{k} = \ln n + \gamma + o(1) }

  2. Soit f(t)=1t+1ln⁡(1−t)f(t) = \frac{1}{t} + \frac{1}{\ln(1-t)}. La fonction ff est continue sur ]0,1[]0, 1[. Au voisinage de 00 : ln⁡(1−t)=−t−t22+o(t2)\ln(1-t) = -t - \frac{t^2}{2} + o(t^2), donc :
    f(t)=1t−1t(1+t/2+o(t))=1t−1t(1−t2+o(t))=12+o(1)f(t) = \frac{1}{t} - \frac{1}{t(1+t/2+o(t))} = \frac{1}{t} - \frac{1}{t} \left(1 - \frac{t}{2} + o(t)\right) = \frac{1}{2} + o(1)
    La fonction ff est prolongeable par continuité en 00. Au voisinage de 11 : Posons h=1−t→0+h = 1-t \to 0^+.
    f(t)=11−h+1ln⁡h→h→01+0=1f(t) = \frac{1}{1-h} + \frac{1}{\ln h} \xrightarrow[h \to 0]{} 1 + 0 = 1
    L'intégrale est donc faussement impropre aux deux bornes.
    I est bien deˊfinie.\boxed{ I \text{ est bien définie.} }

  3. On pose t=1−e−ut = 1 - e^{-u}, d'où dt=e−udu\mathrm{d}t = e^{-u} \mathrm{d}u. Quand t→0t \to 0, u→0u \to 0. Quand t→1t \to 1, u→+∞u \to +\infty. L'intégrale devient :
    I=∫0+∞(11−e−u+1ln⁡(e−u))e−udu=∫0+∞(11−e−u−1u)e−uduI = \int_0^{+\infty} \left( \frac{1}{1-e^{-u}} + \frac{1}{\ln(e^{-u})} \right) e^{-u} \mathrm{d}u = \int_0^{+\infty} \left( \frac{1}{1-e^{-u}} - \frac{1}{u} \right) e^{-u} \mathrm{d}u

    1. La somme partielle de la série est :
      ∑k=1nuk(x)=(∑k=1ne−kx)(1−1−e−xx)=e−x1−e−nx1−e−x(1−1−e−xx)\sum_{k=1}^n u_k(x) = \left( \sum_{k=1}^n e^{-kx} \right) \left( 1 - \frac{1-e^{-x}}{x} \right) = e^{-x} \frac{1-e^{-nx}}{1-e^{-x}} \left( 1 - \frac{1-e^{-x}}{x} \right)
      La série converge simplement sur ]0,+∞[]0, +\infty[ vers :
      S(x)=e−x1−e−x(1−1−e−xx)=e−x(11−e−x−1x)S(x) = \frac{e^{-x}}{1-e^{-x}} \left( 1 - \frac{1-e^{-x}}{x} \right) = e^{-x} \left( \frac{1}{1-e^{-x}} - \frac{1}{x} \right)
      On reconnaît l'intégrande de II. Les fonctions unu_n sont positives et continues. De plus, ∣∑k=1nuk(x)∣≤S(x)|\sum_{k=1}^n u_k(x)| \leq S(x) car 1−e−nx≤11-e^{-nx} \leq 1. Comme SS est intégrable sur ]0,+∞[]0, +\infty[, le théorème de convergence dominée s'applique :
      ∫0+∞S(x)dx=∑n=1+∞∫0+∞un(x)dx\int_0^{+\infty} S(x) \mathrm{d}x = \sum_{n=1}^{+\infty} \int_0^{+\infty} u_n(x) \mathrm{d}x

    2. Calculons le terme général :
      ∫0+∞un(x)dx=∫0+∞e−nxdx−∫0+∞e−nx−e−(n+1)xxdx\int_0^{+\infty} u_n(x) \mathrm{d}x = \int_0^{+\infty} e^{-nx} \mathrm{d}x - \int_0^{+\infty} \frac{e^{-nx} - e^{-(n+1)x}}{x} \mathrm{d}x
      La première intégrale vaut 1/n1/n. La seconde est une intégrale de Frullani de la forme ∫0∞e−ax−e−bxxdx\int_0^\infty \frac{e^{-ax}-e^{-bx}}{x} \mathrm{d}x avec a=na=n et b=n+1b=n+1, ce qui donne ln⁡(n+1)−ln⁡n\ln(n+1) - \ln n. Ainsi :
      ∫0+∞un(x)dx=1n−ln⁡(n+1)+ln⁡n\int_0^{+\infty} u_n(x) \mathrm{d}x = \frac{1}{n} - \ln(n+1) + \ln n
      En sommant de 11 à NN :
      ∑n=1N∫0+∞un(x)dx=∑n=1N1n−ln⁡(N+1)=(∑n=1N1n−ln⁡N)−ln⁡(1+1N)\sum_{n=1}^N \int_0^{+\infty} u_n(x) \mathrm{d}x = \sum_{n=1}^N \frac{1}{n} - \ln(N+1) = \left(\sum_{n=1}^N \frac{1}{n} - \ln N\right) - \ln\left(1 + \frac{1}{N}\right)
      En passant à la limite N→+∞N \to +\infty :
      I=γ\boxed{ I = \gamma }

Développement limité précis en 0 pour l'intégrabilité.

Formule de Frullani pour les intégrales logarithmiques.