•si a<0alors f(t)∼t→0at
−bln test intégrable si et seulement si b<1(intégrale de
Bertrand).
Puis étudions le comportement en +∞:
•si a>0alors f(t)∼t→+∞at
−bln tqui est intégrable si et seulement si b>1(intégrale de
Bertrand) ;
•si a=0alors f(t)=ln2t−best intégrable si et seulement si b>1(Riemann) ;
•si a<0alors f(t)∼t→+∞ta−best intégrable si et seulement si b−a>1(Riemann).
En conclusion l’intégrale converge si et seulement si 1+a<b<1ou 1<b<a+1.
2. La fonction f:t#→ ln t/(√1−t)est continue sur ]0 ; 1[.Onaf(t)∼t→0ln tqui est intégrable. Puis
f(t)∼t→1−√1−tdonc fadmet une limite finie à savoir 0en 1.Onendéduitque$1
0fconverge.
La fonction G:x#→ −2(√1−x−1) est une primitive de g:x#→ 1/√1−xde sorte que pour tous
0<a"b<1on a
!b
a
f='−2(√1−t−1) ln t(b
a+2!b
a
√1−t−1
tdt
Le C1difféomorphisme u:t#→ √1−tde ]0 ; 1[ dans lui-même permet de faire le changement de
variable t=1−u2pour fournir
!b
a
√1−t−1
tdt=!√1−b
√1−a
u−1
1−u2(−2udu)=!√1−b
√1−a
2u
1+udu=[2u−2ln(1+u)]√1−b
√1−a
En faisant a→0et b→1on obtient
!1
0
ln t
√1−tdt=4(ln2−1)
3. Comme π<4,|sin x|"1pour tout xet que a#→ taest décroissance sur ]0; 1],ona
∀n!1∀x∈[(n−1)π;nπ]|sin x|x!|sin x|4n
et par suite
∀n!1un!!nπ
(n−1)π|sin x|4ndx=!π
0|sin x|4ndx=2!π/2
0|sin x|4ndx
L’équivalent rappelé dans l’énoncé montre alors que )undiverge. Or )n
k=1 uk=$nπ
0|sin x|xdx
pour tout n!1donc cela montre que l’intégrale $+∞
0|sin x|xdxdiverge.
Correction de l’exercice 2 On fixe x, y > 0dans la suite ainsi que la fonction f:t#→ tx−1(1 −t)y−1.
•Cette fonction est positive et continue sur l’intervalle ]0,1[.
•On a f(t)∼t→0tx−1et d’après le critère de Riemann, la fonction de signe constant t#→ tx−1est
intégrable en 0si et seulement si x−1>−1c’est-à-dire x>0
•de la même manière f(t)∼t→1(1 −t)y−1est intégrable en 1si et seulement si y>0.
Si l’on souhaite directement montrer la divergence de B(x, y)pour x<0par exemple on peut minorer
de la façon suivante
!1
ε
f(t)dt!!1/2
ε
f(t)dt!(1/2)y−1!1/2
ε
tx−1dt=(1/2)y−11
x(2−x−εx)−− −→
ε→0−∞
Pour x=0la primitive est ln donc la minoration est
!1
ε
f(t)dt!21−y(ln(1/2) −ln ε)
5