Vous êtes sur la page 1sur 16

Exercices corrigés -Intégrales impropres - fonct... http://www.bibmath.net/ressources/index.php?a...

Bibm@th.net
Rechercher sur le site...

Bibm@th

Rechercher sur le site...

Accueil Ressources Bibliothèques Références Thèmes Forum


Bibliothèque d'exercicesBibliothèque de problèmes

Accueil

Ressources
Collège
Math Sup
Math Spé
Capes
Agreg interne
BTS

Bibliothèques
Bibliothèque d'exercices
Bibliothèque de problèmes

Références
Dictionnaire
Biographie de mathématiciens
Formulaire
Lexique français/anglais

Thèmes
Cryptographie et codes secrets
Jeux et énigmes
Carrés magiques
Mathématiques au quotidien
Dossiers

Forum

Ressources mathématiques > Exercices d'analyse >


Accéder à mon compte > Accéder à ma feuille d'exercices >

1 of 16 11/6/17, 1:23 AM
Exercices corrigés -Intégrales impropres - fonct... http://www.bibmath.net/ressources/index.php?a...

Exercices corrigés - Intégrales impropres - fonctions intégrables


Convergence
Exercice 1 - Convergence d'intégrales impropres - 1 [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Les intégrales impropres suivantes sont-elles convergentes?

1 +∞ 2
1. ∫ 0lntdt 2. ∫ 0 e − t dt
+∞ +∞
3. ∫ 0 xsinxe − xdx 4. ∫ 0 lnte − tdt

1 dt
5. ∫ 0
(1 − t)√t

Indication
Corrigé

Exercice 2 - Convergence d'intégrales impropres - 2 [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Les intégrales impropres suivantes sont-elles convergentes?

+ ∞ te √
− t
+ ∞ dt
1. ∫ 0 t 2. ∫ 0 dt
e −1 1 + t2

1
3. ∫ 0cos 2
()
1
t
dt

Indication
Corrigé

Exercice 3 - Convergence d'intégrales impropres - 3 [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Les intégrales impropres suivantes sont-elles convergentes?

+∞ √
lnx
+ ∞ lnt
1. ∫ 0 2 dt 2. ∫ 1 dx
t +1 (x − 1)√x
+∞
3. ∫ 1 e − √ln tdt

Indication
Corrigé

Exercice 4 - Convergence d'intégrales impropres - avec paramètres [Signaler une erreur] [Ajouter à ma
feuille d'exos]

2 of 16 11/6/17, 1:23 AM
Exercices corrigés -Intégrales impropres - fonct... http://www.bibmath.net/ressources/index.php?a...

Enoncé
Discuter, suivant la valeur du paramètre α ∈ R, la convergence des intégrales impropres suivantes :

−t
+ ∞ dt +∞e −1
1. ∫ 0 α
2. ∫ 0 α
dt
t t
+∞t − sint + ∞ arctant
3. ∫ 0 dt 4. ∫ 0 dt
tα tα

Indication
Corrigé

Exercice 5 - Intégrales de Bertrand [Signaler une erreur] [Ajouter à ma feuille d'exos]


Enoncé
Pour α, β ∈ R, on souhaite déterminer la nature de

+∞ dx
∫e x α(lnx) β
.

1. On suppose α > 1. En comparant avec une intégrale de Riemann, démontrer que l'intégrale étudiée est
convergente.
dx
2. On suppose α = 1. Calculer, pour X > e, ∫ Xe . En déduire les valeurs de β pour lesquelles l'intégrale
x ( ln x ) β
converge.
3. On suppose α < 1. En comparant à 1 / t, démontrer que l'intégrale étudiée diverge.

Indication
Corrigé

Exercice 6 - Convergence d'intégrales impropres à paramètres - 2 [Signaler une erreur] [Ajouter à


ma feuille d'exos]

Enoncé
Discuter, suivant la valeur de α ∈ R, la convergence des intégrales suivantes :

+ ∞ tlnt
1. ∫ 0
(1 + t 2) α
dt
+∞
(
2. ∫ 0 x αln x + e αx dx )
Indication
Corrigé

Exercice 7 - Convergence d'intégrales impropres avec développements limités [Signaler une


erreur] [Ajouter à ma feuille d'exos]

Enoncé
Les intégrales impropres suivantes sont-elles convergentes?

1 dt
1. ∫ 0
1 − √t
2. ∫ 0
+∞
( ( ))
1 + tln
t
t+1
dt

+∞
3. ∫ 2
(√ √
3
)
x 4 + x 2 + 1 − x x 3 + ax dx, a ∈ R.
+∞
4. ∫ 0 e − t
1
1−e −t

(
1
t
dt.
)
Indication
Corrigé

3 of 16 11/6/17, 1:23 AM
Exercices corrigés -Intégrales impropres - fonct... http://www.bibmath.net/ressources/index.php?a...

Exercice 8 - Critère de Cauchy [Signaler une erreur] [Ajouter à ma feuille d'exos]


Enoncé

1. Soit f : [0, + ∞[ → R une fonction continue. On suppose que ∫ 0+ ∞f(t)dt converge, et soit (x n) et (y n) deux
suites tendant vers + ∞. Démontrer que ∫ yx nf(t)dt tend vers 0.
n

2. En déduire que l'intégrale ∫ 0+ ∞e − tsin tdt diverge.

Indication
Corrigé

Exercice 9 - Convergence et convergence absolue [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé

sin t cos t
1. Montrer que les intégrales impropres ∫ 1+ ∞ t dt et ∫ 1+ ∞ t dt sont convergentes.

On souhaite prouver que la fonction


sin t
t
n'est pas intégrable, c'est-à-dire que ∫ 1+ ∞ | |
sin t
t
dt diverge.

1 − cos 2t
2. Méthode 1. Prouver que, pour tout t ∈ R, | sint | ≥ 2
. En déduire le résultat.
3. Méthode 2. Prouver que, pour tout k ∈ N,

(k+1)π | sint | 1 π
∫ kπ t
dt ≥
(k + 1)π ∫ 0
| sint | dt.

Retrouver alors le résultat.

Indication
Corrigé

Exercice 10 - Méthode par éclatement [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Étudier la convergence des intégrales suivantes :

+∞
1. ∫ 4
sinx
√x + sinx
dx
+∞
( )
sinx
2. ∫ 1 ln 1 + α dx, α > 0
x

Indication
Corrigé

Exercice 11 - Transformée de Laplace [Signaler une erreur] [Ajouter à ma feuille d'exos]


Enoncé
Soit f : [0, + ∞[ → R une fonction continue et s 0 ∈ R tels que ∫ 0+ ∞f(t)e − s 0tdt converge.

1. Soit F une primitive de t ↦ f(t)e − s 0t sur [0, + ∞[. Démontrer que F est bornée sur [0, + ∞[.
2. En déduire que, pour tout s > s 0, ∫ 0+ ∞f(t)e − stdt converge.
3. Sur le même modèle, démontrer que si g : [1, + ∞[ → R est une fonction continue telle que ∫ 1+ ∞g(t)dt
g(t)
converge, alors ∫ 1+ ∞ t dt converge.

Indication
Corrigé

4 of 16 11/6/17, 1:23 AM
Exercices corrigés -Intégrales impropres - fonct... http://www.bibmath.net/ressources/index.php?a...

Exercice 12 - Avec le critère des séries alternées [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
(n+1)π
Soit f : [0, + ∞[ → [0, + ∞[ une fonction continue décroissante, de limite nulle en + ∞. On pose u n = ∫ nπ f(t)sin(t)dt
.

1. Montrer que la série de terme général u n est convergente.


2. En déduire que l'intégrale ∫ 0+ ∞f(t)sin(t)dt est convergente. Quel est son signe?
3. On suppose f(x) ≥ 1 / x pour x ≥ x 0. Prouver que ∫ 0+ ∞f(t)sin(t)dt n'est pas absolument convergente.

Indication
Corrigé

Exercice 13 - Intégrale impropre et fonction 1 − périodique. [Signaler une erreur] [Ajouter à ma


feuille d'exos]

Enoncé
a−f(t)
Soit f : R → R continue et 1-périodique. Déterminer l'ensemble des a ∈ R tels que ∫ 1+ ∞ t
dt converge.

Indication
Corrigé

Exercice 14 - Utilisation d'une série [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit f la fonction définie sur R par

1
f(x) = .
1 + x 4sin 2x

Démontrer que f est intégrable sur R.

Indication
Corrigé

Calcul
Exercice 15 - Logarithme à la puissance n [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Après en avoir justifié l'existence, calculer par récurrence la valeur de I n = ∫ 10(lnx) ndx.

Indication
Corrigé

Exercice 16 - Changements de variables [Signaler une erreur] [Ajouter à ma feuille d'exos]


Enoncé

ln t ln t
1. Montrer que ∫ 0+ ∞ 2 dt converge, puis, avec le changement de variables u = 1 / t, que ∫ 0+ ∞ 2 dt = 0.
1+t 1+t
ln t
2. Soit a > 0. Calculer ∫ 0+ ∞ 2 2 dt.
a +t

Indication
Corrigé

Exercice 17 - Changement de variable [Signaler une erreur] [Ajouter à ma feuille d'exos]

5 of 16 11/6/17, 1:23 AM
Exercices corrigés -Intégrales impropres - fonct... http://www.bibmath.net/ressources/index.php?a...

Enoncé
Soit f une fonction continue bornée sur [0, + ∞[.

f(x) f(1/x)
1. Démontrer que les intégrales ∫ 0+ ∞ dx et ∫ 0+ ∞ dx sont convergentes.
1 + x2 1 + x2
2. Démontrer qu'elles sont égales.
dx xn
3. Application : pour n ≥ 0, calculer ∫ 0+ ∞ et ∫ 0+ ∞ dx.
( 1 + x2 ) ( 1 + xn ) ( 1 + x2 ) ( 1 + xn )

Indication
Corrigé

Exercice 18 - Différence d'exponentielles [Signaler une erreur] [Ajouter à ma feuille d'exos]


Enoncé
Soient 0 < a < b.

e − at − e − bt
1. Justifier la convergence de ∫ 0+ ∞ t
dt.
2. Soient 0 < x < y. Démontrer que

− at
ye − e − bt bx e
−t
by e
−t
∫x t
dt = ∫ ax
t
dt − ∫ ay
t
dt.

3. Démontrer que, pour tout réel z > 0,

b −t
bz e b
e − bzln ≤ ∫ az dt ≤ e − azln .
a t a

En déduire que

− at − e − bt
+∞e b
∫ 0 t
dt = ln .
a

Indication
Corrigé

Exercice 19 - Une intégrale comme somme d'une série [Signaler une erreur] [Ajouter à ma feuille
d'exos]

Enoncé
Le but de l'exercice est de prouver la relation suivante :

n
1 lnt 1
∫ 0 2
dt = lim ∑ .
t −1 n → + ∞k = 0 (2k + 1) 2

1. Prouver la convergence de l'intégrale.


2. Montrer que, pour tout entier k ≥ 0, l'intégrale I k = ∫ 10t klntdt converge, puis calculer I k.
1 ln t t 2n + 2ln t
3. Montrer que, pour tout entier n ≥ 1, ∑ nk = 0 = ∫ 10 2 dt − ∫ 10 2 dt.
( 2k + 1 ) 2 t −1 t −1
t 2ln t
4. Démontrer que la fonction t ↦ se prolonge par continuité en 0 et en 1. En déduire qu'il existe une
t2 − 1

constante M > 0, qu'on ne cherchera pas à calculer, telle que, pour tout t ∈ ]0, 1[,
| |
t 2ln t
t2 − 1
≤ M.

t 2n + 2ln t
5. En déduire que lim n → + ∞∫ 10 dt = 0, puis la relation demandée.
t2 − 1

Indication

6 of 16 11/6/17, 1:23 AM
Exercices corrigés -Intégrales impropres - fonct... http://www.bibmath.net/ressources/index.php?a...

Corrigé

Exercice 20 - Différence d'arctangente [Signaler une erreur] [Ajouter à ma feuille d'exos]


Enoncé

1. Démontrer la convergence de ∫ 0+ ∞ (arctan(x + 1) − arctan(x) )dx.


π
2. Démontrer que lim X → + ∞∫ XX + 1arctan(x)dx = 2 .
3. Calculer ∫ 10arctan(x)dx.
4. Calculer ∫ 0+ ∞ (arctan(x + 1) − arctan(x) )dx

Indication
Corrigé

Exercice 21 - Quelques calculs [Signaler une erreur] [Ajouter à ma feuille d'exos]


Enoncé
Justifier la convergence et calculer la valeur des intégrales suivantes :

1 lnt +∞
1. ∫ 0 dt 2. ∫ 0 te − √tdt
√1 − t
+∞
3. ∫ 0 sin(t)e − atdt, a > 0.

Indication
Corrigé

Exercice 22 - sin(t) / t [Signaler une erreur] [Ajouter à ma feuille d'exos]


Enoncé
sin t
Le but de cet exercice est de calculer la valeur de I = ∫ 0+ ∞ t dt. Pour chaque entier n, on note

π / 2 sin ((2n + 1)t ) π / 2 sin ((2n + 1)t )


In = ∫0 dt et J n = ∫ 0 dt.
sint t

1. Justifier que, pour tout n ≥ 0, I n et J n sont bien définis.


2. Montrer que, pour tout n ≥ 1, I n − I n − 1 = 0. En déduire la valeur de I n.
3. Soit ϕ : [0, π / 2] → R de classe C 1. Montrer, à l'aide d'une intégration par parties, que
∫ π0 / 2ϕ(t)sin ((2n + 1)t )dt tend vers 0.
1 1
4. Démontrer que la fonction t ↦ t − sin t se prolonge en une fonction de classe C 1 sur [0, π / 2].
5. En déduire que J n − I n → 0.
6. Démontrer, en utilisant un changement de variables, que J n → I.
7. En déduire la valeur de I.

Indication
Corrigé

Exercice 23 - (arctan(2x) − arctan(x) ) / x [Signaler une erreur] [Ajouter à ma feuille d'exos]

Enoncé
arctan ( 2x ) − arctan ( x )
Calculer ∫ 0+ ∞ x
dx.

Indication

7 of 16 11/6/17, 1:23 AM
Exercices corrigés -Intégrales impropres - fonct... http://www.bibmath.net/ressources/index.php?a...

Corrigé

Exercices théoriques
Exercice 24 - Critère de Cauchy (sens facile) [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit f une fonction continue par morceaux sur [0, + ∞[. On suppose que f est intégrable sur [0, + ∞[. Démontrer que
x→ +∞
∫ xx + 1f(t)dt → 0.

Indication
Corrigé

Exercice 25 - Limite en + ∞ [Signaler une erreur] [Ajouter à ma feuille d'exos]


Enoncé
Soit f : [0, + ∞[ → R une fonction de classe C 1 telle que f et f ′ soient intégrables sur [0, + ∞[. Démontrer que f tend
vers 0 en + ∞.

Indication
Corrigé

Exercice 26 - Comportement en l'infini [Signaler une erreur] [Ajouter à ma feuille d'exos]


Enoncé
Soit f : [0, + ∞[ → R continue par morceaux et intégrable.

1. Démontrer que, pour tout A > 0 et tout ε > 0, il existe x ≥ A tel que | xf(x) | ≤ ε.
2. En déduire l'existence d'une suite (x n) tendant vers + ∞ telle que (x nf(x n) ) tend vers 0.

Indication
Corrigé

Exercice 27 - Fonction décroissante [Signaler une erreur] [Ajouter à ma feuille d'exos]


Enoncé
Soit f : [0, + ∞[ → R une fonction continue décroissante telle que ∫ 0+ ∞f(t)dt converge.

1. Démontrer que f ≥ 0.
2. Démontrer que f tend vers 0 en + ∞.
3. Justifier que ∫ xx / 2f(t)dt tend vers 0 lorsque x tend vers + ∞.
4. En déduire que xf(x) tend vers 0 lorsque x tend vers + ∞.

Indication
Corrigé

Exercice 28 - Fonction intégrable et limites en l'infini [Signaler une erreur] [Ajouter à ma feuille
d'exos]

Enoncé
Soit a un réel et f une application continue de [a, + ∞[ dans R, intégrable sur [a, + ∞[.

1. Montrer que si f admet une limite en + ∞, cette limite est nécessairement nulle.
2. Montrer que si f est uniformément continue, alors elle tend vers 0 en + ∞.
3. Le résultat subsiste-t-il si on suppose simplement f continue?

Indication

8 of 16 11/6/17, 1:23 AM
Exercices corrigés -Intégrales impropres - fonct... http://www.bibmath.net/ressources/index.php?a...

Corrigé

Exercice 29 - Sommes de Riemann [Signaler une erreur] [Ajouter à ma feuille d'exos]


Enoncé

Soit f : [a, b[ → R + continue et croissante. On note S n =


b−a
n (
f a+
k(b−a)
n ) .

1. On suppose que ∫ baf(t)dt converge. Montrer que la suite (S n) converge vers ∫ baf(t)dt.
2. On suppose que ∫ baf(t)dt diverge. Montrer que la suite (S n) tend vers + ∞.

Indication
Corrigé

Exercice 30 - Cauchy-Schwarz [Signaler une erreur] [Ajouter à ma feuille d'exos]


Enoncé
Soit f une fonction continue de carré intégrable de [0, + ∞[ dans R.

1. Prouver que, pour tous 0 ≤ a ≤ b, on a

|∫ b
a
f(t)dt | ≤ (
√b − a ∫ af
b 2
(t)dt )
1/2
.

2. En déduire que

1 x
lim ∫ 0f(t)dt = 0.
x→ +∞ √x

Indication
Corrigé

Exercice 31 - Dérivée [Signaler une erreur] [Ajouter à ma feuille d'exos]


Enoncé

f (x)
Soit f : [0, + ∞[ → ]0, + ∞[ de classe C 1 telle qu'il existe a < 0 satisfaisant lim x → + ∞ f ( x ) = a. Montrer que f et f ′
sont intégrables sur [0, + ∞[.

Indication
Corrigé

Estimation de restes - Intégration des relations de comparaison


Exercice 32 - Une limite [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit f : [0, + ∞[ → R une fonction continue.

1. On suppose que f(0) = 0. Démontrer que

bx f(t)
lim ∫ ax dt = 0.
+ t
x→0

f(t)
2. Déterminer lim x → 0 + ∫ bx
ax t
dt si on ne suppose plus que f(0) = 0.

Indication

9 of 16 11/6/17, 1:23 AM
Exercices corrigés -Intégrales impropres - fonct... http://www.bibmath.net/ressources/index.php?a...

Corrigé

Exercice 33 - Estimation d'un reste [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
sin t
Déterminer la limite, lorsque x → 0 + , de ∫ 2x
x t2
dt.

Indication
Corrigé

Exercice 34 - Intégration des relations de comparaison [Signaler une erreur] [Ajouter à ma feuille
d'exos]

Enoncé
Soient f et g deux fonctions continues par morceaux sur [a, b[, à valeurs dans R + .

1. On suppose dans cette question que g = bo(f).


1.1. On suppose que ∫ baf(t)dt converge. Montrer que

b
( b
∫ x g(t)dt = bo ∫ x f(t)dt ) .

1.2. On suppose que ∫ bag(t)dt diverge. Montrer que

x
( x
∫ ag(t)dt = bo ∫ af(t)dt ) .

2. On suppose désormais que g ∼ bf. Déduire de la question précédente que,


2.1. si ∫ baf(t)dt converge, alors

b
( b
∫ x g(t)dt ∼ b ∫ x f(t)dt ) ;

2.2. si ∫ baf(t)dt converge, alors

x
( x
∫ ag(t)dt ∼ b ∫ af(t)dt ) ;

arctan t
3. Donner un équivalent de ∫ x1 t
dt lorsque x tend vers + ∞.

Indication
Corrigé

Exercice 35 - Équivalent [Signaler une erreur] [Ajouter à ma feuille d'exos]


Enoncé
arctan t
Donner un équivalent de ∫ x1 t
dt lorsque x tend vers + ∞.

Indication
Corrigé

Exercice 36 - Équivalent de la queue de la gaussienne [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé

2
1. Justifier la convergence de ∫ 0+ ∞e − t dt.
2. Démontrer que, pour tout x > 0, on a

10 of 16 11/6/17, 1:23 AM
Exercices corrigés -Intégrales impropres - fonct... http://www.bibmath.net/ressources/index.php?a...

2
− t2
+ ∞ − t2 e −x +∞e
∫ x
e dt =
2x
−∫ x 2
2t
dt.

2
3. En déduire un équivalent simple de ∫ x+ ∞e − t dt.

Indication
Corrigé

Exercice 37 - Équivalent du reste de l'intégrale de e − t / t [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
e −t
Déterminer un équivalent simple en + ∞ de ∫ x+ ∞ t dt.

Indication
Corrigé

Exercice 38 - Développement asymptotique d'une intégrale [Signaler une erreur] [Ajouter à ma


feuille d'exos]

Enoncé
et
Donner un développement asymptotique à trois termes au voisinage de + ∞ de ∫ x1 t dt.

Indication
Corrigé

Exercice 39 - Développement asymptotique du logarithme intégral [Signaler une erreur] [Ajouter


à ma feuille d'exos]

Enoncé
On considère le \emph{logarithme intégral} qui est l'application définie par

x dt
∀x ≥ 2, li(x) = ∫ 2 .
lnt

Pour tout n ≥ 1, donner un développement asymptotique de li(x) à n termes lorsque x → + ∞.

Indication
Corrigé

Application à l'étude de fonctions définies par des intégrales


Exercice 40 - Une intégrale dépendant d'un paramètre [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit x ∈ R. On définit, lorsque l'intégrale est convergente, la fonction

+ ∞ dt
ϕ(x) = ∫ 1 .
1 + tx

1. Déterminer le domaine de définition de ϕ.


2. Démontrer que ϕ est décroissante sur son domaine de définition.
3. Déterminer la limite de ϕ en + ∞.

Indication
Corrigé

Exercice 41 - Lemme de Riemann-Lebesgue [Signaler une erreur] [Ajouter à ma feuille d'exos]

11 of 16 11/6/17, 1:23 AM
Exercices corrigés -Intégrales impropres - fonct... http://www.bibmath.net/ressources/index.php?a...

Enoncé
Soit f : [0, + ∞[ → R une fonction de classe C 1 intégrable.

1. Démontrer que, pour tout A > 0, ∫ A0 f(t)cos(xt)dt tend vers 0 lorsque x tend vers + ∞.
2. En déduire que ∫ 0+ ∞f(t)cos(xt)dt tend vers 0 lorsque x tend vers + ∞.

Indication
Corrigé

Exercice 42 - Équivalence [Signaler une erreur] [Ajouter à ma feuille d'exos]


Enoncé

−t
+∞e
1. Montrer que pour tout x > 0, l'int\'egrale ∫ x dt est convergente.
t

−t
+∞e
On pose F(x) = ∫ x dt si x > 0.
t

1. [2.] Montrer que F est de classe C 1 sur ]0, + ∞[ et calculer F ′ .


2. [3.] Calculer lim F(x) et lim F(x).
x→0+ x→ +∞
3. [4.] On cherche un équivalent de F(x) lorsque x → 0 + .
e −t−1
3.1. Démontrer que la fonction t ↦ t
se prolonge par continuité en 0.
3.2. Démontrer qu'il existe une constante C > 0 telle que, pour tout x ∈ ]0, 1],

| |
−t
1e −1
∫x t
dt ≤ C.

3.3. En déduire que F(x) ∼ − lnx lorsque x → 0 + .


4. [5.] On cherche un équivalent de F(x) lorsque x → + ∞.
−t
+∞e
4.1. Montrer que pour tout x > 0, l'int\'egrale ∫ x dt est convergente.
t2
−t
+∞e 1
4.2. Montrer que pour tout x > 0, ∫ x dt ≤ F(x).
t 2 x
e −x
4.3. \`A l'aide d'une intégration par parties, en déduire que F(x) ∼ x lorsque x → + ∞.

Indication
Corrigé

Exercice 43 - Fonction dilogarithme [Signaler une erreur] [Ajouter à ma feuille d'exos]


Enoncé
L'objectif de ce problème est l'étude de la fonction dilogarithme définie par :

x ln(t)
Li(x) = ∫ 1 dt.
1−t

1. Questions préliminaires : on pose, pour t > 0 et t ≠ 1 et pour x > 0,

ln(t) x
f(t) = , g(x) = x .
1−t e −1

1.1. Démontrer que f se prolonge par continuité en 1 et que g se prolonge par continuité en 0.
1.2. Démontrer que, pour tout x ≥ 0, 0 ≤ g(x) ≤ 1.
2. Démontrer que le domaine de définition de la fonction dilogarithme est [0, + ∞[.

12 of 16 11/6/17, 1:23 AM
Exercices corrigés -Intégrales impropres - fonct... http://www.bibmath.net/ressources/index.php?a...

3. Justifier soigneusement que la fonction dilogarithme est dérivable sur l'intervalle ]0, + ∞[ et donner
l'expression de sa dérivée.
4. Pourquoi Li est-elle continue en 0?
5. Dans cette question, on se propose de calculer Li(0).
x
5.1. Démontrer que Li(0) = ∫ 0+ ∞ x dx.
e −1
5.2. Justifier que, pour tout k ≥ 1, l'intégrale ∫ 0+ ∞xe − kxdx est convergente, et calculer sa valeur.
5.3. Soit (S n) la suite définie pour tout n ≥ 1 par

Sn = ∑ ∫ 0+ ∞xe − kxdx.
k=1

Démontrer que

− nx
+ ∞ xe
Li(0) − S n = ∫ 0 x dx.
e −1

5.4. En déduire que

1
0 ≤ Li(0) − S n ≤ .
n

5.5. En admettant que

1 π2
∑ 2
=
6
,
k≥1k

démontrer que

π2
Li(0) = .
6

ln t
6. Quelle est la nature de ∫ 1+ ∞ 1 − t dt? En déduire la limite de Li(x) quand x tend vers + ∞.
7. Donner la représentation graphique de la fonction Li.
8. On pose, pour tout x ∈ ]0, 1[,

u(x) = Li(x) + Li(1 − x),

v(x) = − ln(1 − x)ln(x).

Démontrer qu'il existe une constante C ∈ R telle que, pour tout x ∈ ]0, 1[,

u(x) = v(x) + C.

9. Déterminer C.

Indication
Corrigé

1. ,
1.1. Au voisinage de 1, ln(t) ∼ t − 1 et donc f(t) ∼ − 1. La fonction f admet donc une limite en 1
égale à − 1. Elle se prolonge par continuité en 1 en posant f( − 1) = − 1. On peut faire la même chose
avec la fonction g, ou remarquer que g(x) = − f(e x) et utiliser le travail fait pour f.
1.2. Par convexité de la fonction exponentielle, exp(x) ≥ 1 + x pour tout x ≥ 0. Ainsi, pour tout x ≥ 0,
on a g(x) ≤ 1. Ce résultat est aussi vrai en 0 puisque g(0) = 1 et g est clairement positive sur [0, + ∞[
car le numérateur et le dénominateur le sont.
2. D'abord, pour qu'il n'y ait pas de problème de définition du logarithme, il est impératif que x ≥ 0. Par
ailleurs, si x > 0, la fonction f étant continue sur [1, x] (ou sur [x, 1] si x < 1), on intègre une fonction
continue sur un segment et donc il n'y a pas de problèmes de définition. Reste le cas x = 0 où on a affaire à
une intégrale impropre dont on veut étudier la convergence. Mais au voisinage de 0,

13 of 16 11/6/17, 1:23 AM
Exercices corrigés -Intégrales impropres - fonct... http://www.bibmath.net/ressources/index.php?a...

f(x) ∼ lnx ⟹ f(x) = o


( ) 1
√x
.

Par comparaison à une intégrale de Riemann convergente (en 0), l'intégrale ∫ 10f(t)dt converge et donc Li est
bien définie en 0.
3. Il s'agit ici d'appliquer le théorème fondamental du calcul intégral, car la fonction f est continue sur
]0, + ∞[. Li, qui est sa primitive s'annulant en 1, est dérivable sur cet intervalle et Li ′ (x) = f(x).
4. La convergence de ∫ 10f(t)dt signifie que ∫ 1x f(t)dt admet une limite quand x tend vers 0, et cette limite est
justement égale à ∫ 10f(t)dt. Ceci signifie que Li(x) tend vers Li(0) quand x tend vers 0 et donc que Li est
continue en 0.
5.
5.1. Effectuons le changement de variables x = − lnt, de sorte que dt = − tdx = − e − xdx. On trouve
alors

+∞ x +∞ x
Li(0) = ∫ 0 − x
e − xdx = ∫ 0 x dx.
1−e e −1

5.2. La fonction x ↦ xe − kx est continue sur [0, + ∞[. De plus, au voisinage de + ∞, on a

xe − kx = o
()x2
1

et par comparaison à une intégrale de Riemann convergente, ∫ 0+ ∞xe − kxdx converge. Le calcul se fait
par une intégration par parties :

[ ]
x +∞
+∞ + ∞ 1 − kx
∫0 xe − kxdx = − e − kx + ∫0 e dx
k k
0

=
[ ] − 1 − kx + ∞
k2
e
0
1
= .
k2

5.3. On peut écrire

n
e − (n+1)x − e −x
∑ e − kx =
k=1 e −x − 1
e − nx − 1
=
1 − ex

et donc

− nx
+∞ 1 − e
Sn = ∫0 x x dx.
e −1

On obtient alors immédiatement le résultat demandé.


5.4. On a

+∞
Li(0) − S n = ∫ 0 g(x)e − nxdx

et donc

+∞ 1
0 ≤ Li(0) − S n ≤ ∫ 0 e − nxdx = .
n

5.5. Il suffit de passer à la limite dans l'inégalité précédente.


6. La fonction f étant continue en 1, il s'agit simplement d'étudier le problème au voisinage de l'infini. Mais

14 of 16 11/6/17, 1:23 AM
Exercices corrigés -Intégrales impropres - fonct... http://www.bibmath.net/ressources/index.php?a...

lnt 1

1−t 1−t

dt
et ∫ 1+ ∞ 1 − t = − ∞. L'intégrale est donc divergente, et Li(x) tend vers − ∞ en + ∞.
7. D'après le résultat des questions précédentes, on sait que la fonction Li est décroissante sur [0, + ∞[, on
connait sa valeur en 0 et sa limite en + ∞. On en déduit aisément l'allure de la courbe représentative (on
pourrait pour préciser démontrer que la fonction est concave).
8. Posons h = u − v. Alors il est aisé de vérifier que h est dérivable sur ]0, 1[ et que h ′ (x) = 0 pour tout
x ∈ ]0, 1[ (rappelons que l'on a déjà calculé la dérivée de la fonction Li précédemment). Ainsi, h est
constante sur l'intervalle ]0, 1[.
9. Gardons les mêmes notations et faisons tendre x vers 0. La fonction u est continue en 0 et
π2
u(0) = Li(0) = 6 . La fonction v admet une limite quand x tend vers 0 qui vaut 0, car au voisinage de 0,

v(x) ∼ xln(x)

et que cette dernière quantité tend vers 0 par croissance comparée des fonctions logarithmes et puissances.
π2
On en déduit que C = 6 .

Discussions des forums


Dérivée dans D'
DM de maths pour lundi ....
(log |x|)'
Rayon de convergence
application mesurable
Limite récalcitrante (pou …
Modèle statistique pour e …
Aide exercice
Probleme DM 2nde
Exprimer un vecteur en fo …
produit de deux distrubtions
Dm de maths a rendre pour …
une trace determinante
calcul de primitive
probleme
Accéder aux forums

15 of 16 11/6/17, 1:23 AM
Exercices corrigés -Intégrales impropres - fonct... http://www.bibmath.net/ressources/index.php?a...

Mathématicien du mois

János Bolyai (1802-1860)


Toutes les biographies
Signaler une erreur, une faute d'orthographeContribuer au siteCrédits
Nous contacter

16 of 16 11/6/17, 1:23 AM

Vous aimerez peut-être aussi