TD n°5

Exercice 1
On considère pour tout entier naturel n supérieur ou égal à 2 la fonction
 définie sur  par :



  
1 
1.(a) Justifier la dérivabilité de la fonction
 sur  .


La fonction
 est dérivable sur  comme quotient de fonctions dérivables sur  , le dénominateur
ne s’annulant pas sur  .

(b) Etudier les variations de la fonction
 , préciser sa limite en ∞ et sa valeur en 0.

      
On a

   
  0 pour   
  1
La fonction
 est donc strictement décroissante sur  .


On a

lim
   lim 0

!" !" 1  

 0  1

2. Etude d'une suite d'intégrales impropres.

On pose pour tout entier naturel n supérieur ou égal à 2 : #  $&
 %
"

Montrer que pour tout réel t strictement positif ,
  '


(Il est démontré dans le (a) que chacune de ces intégrales est convergente ).

(
(a) .
$
 % , puis de l'intégrale # .
"
En déduire la convergence de l'intégrale

1
Comme  ) 0, montrer que
  ' revient à montrer que  
  ' 1.



On a

 
  

1 

 ) 0 *   0 *
  1
Or

D’autre part, on a 0     1   , donc


1
1 


Donc

  1
1 

1
On a bien

  ' 

"
1
Pou+  , 2, l'intégrale . % est convergente fonction de Riemann.
 
Comme la fonction
 est positive, par le théorème de majoration, on en déduit que :
 "
L intégrale .
'

 % est convergente.


La fonction
 est continue sur /0,10, donc l’intégrale .
  % existe.
&
"
Donc l'intégrale .
  % existe, donc # existe.
&

Montrer que lim $
 %  0.

"
!"
(b)

On a pour tout 1 ) 1, en utilisant les propriétés de conservation de l’ordre :

2 2
1
0 ' .
 % ' .  %
  

1 
 1
 1
2
Or
2 2
.  %  . 
 %  3 4  
    1  1   1  

"
1 2
1 1
 1 1 1
On a donc

. %  lim . %  lim     car  , 2 donc 1    0

  2!"    2!" 1   1 1 1

"
1
On en déduit que

0 ' .
 % '

 1

1
On a
lim 0
!"   1

"
Donc d’après le théorème des gendarmes :

lim .
 %  0
!" 

(c) Montrer que pour tout réel t positif , 0 '

 
  '   .

 

On a

 
  
 

  
  
 
1  1  1 

0 '
  ' 1

Nous avons démontré dans la première question que

Donc pour  ) 0
0 '  
  '  

0 '
 
  '  
Et donc

En déduire lim $&
 %  1  .

 
!" 9
(d)

0 '
 
  *
  '

On déduit de la question précédente que

 
  '   *
    '
 

    '
  '

On a donc
   
Par conservation de l’ordre dans les intégrales, les bornes étant dans le bon ordre, on a :

. 
   %
' .
 % ' .
 %
& & &

 

Ce qui donne

3

 4 ' .
 % ' /
 0&
 1 & &

1 
Donc


  1 ' .
 % ' 
 1
 1 &

1 1 
1
Et donc

1  ' .
 % ' 1 

 1 &

1 1 1
On a
lim 1   1
!"  1


1
Donc d’après le théorème des gendarmes :

lim .
 %  1 
!" &

Déterminer lim # .
!"
(e)

 "
On a

#  .
 % .
 %
& 

 "
Donc d’après les théorèmes sur les limites :

lim #  lim .
 % lim .
 %

!" !" & !" 
1
1 0

1
1

Pour tout réel t positif , déterminer lim
 . ( On distinguera   1 ,   1 ,  ) 1 ).

3. Etude d'une fonction définie par des limites.
!"
(a)


On a

  
1 
Pour   1, on a
lim    0
!"

lim
  

Donc
!"
Pour   1, on a

 1

 1  
2 2
Pour  ) 1, on a
 lim    ∞
!"

lim
   0
Donc
!"

Dès lors , on définit sur  une fonction : par :  lim
 .
!"
(b)
Donner la courbe représentative de h dans un repère orthonormé. ( On donne
 ; 0,37 )
h est-elle continue ?

 si   1
On a donc

1
:  > si   1@
2
0 si  ) 1
Donnons l’allure de la courbe représentative de cette fonction.

1⁄

2/

La fonction : est évidemment discontinue en 1 puisque

1

1
lim : 
!
2
ABC

:1 

lim :  0
!
ADC

Etudier l'intégrale $& :% . A-t-on ici ?

"
(c)

 
1
On a

. : %  .
 %  /
 0&  1 
& &
" "
. :%  . 0%  0
 

"
1
Donc

. :%  1 
&

" "
On a bien ici

. lim
 %  lim .
 %

& !" !" &
Mais attention cette propriété est le plus souvent fausse.
Exercice 2
On considère, pour  entier naturel non nul, la fonction
 définie sur G par:
lnH

 H 
 1 H 
On définit également sur G la fonction : par:
lnH
:H 
1 H
1. Montrer que les fonctions
 et : sont continues sur G et étudier leur signe.

Les fonctions
 et : sont continues sur G comme quotients de fonctions continues sur G , les
dénominateurs ne s’annulant pas sur G .
On a pour tout  ) 0 et tout H ) 0 I

)0
 1 H 
1
)0
1 H
Donc le signe de
 H et celui de :H est celui de lnH.
Ces deux fonctions sont donc négatives sur 00,10 et positives sur /1, ∞/.

Montrer que l'intégrale impropre $ %H est convergente et déterminer sa valeur.

" JKL
LM
2.

Puisque l’on demande de calculer la valeur de l’intégrale, nous montrerons sa convergence en

déterminant une primitive de la fonction sous le signe intégral.
Nous procèderons par intégration par parties.

2
lnH
On veut donc calculer

. %H
 H
1
La fonction H Q lnH est de classe S  , la fonction H Q  est continue pour H ) 0. Donc on pose :
H
1
V  lnH ! V 
H
1 1
W   ! W  
H H

lnH 1 2
1
On a donc
2 2
. %H  X lnHY .  %H
 H  H   H
1 1 2
  ln1 X Y
1 H
ln1 1
 1
1 1

ln1 1
Par croissance comparée, on a

lim  1 1
2!" 1 1

2
lnH
Donc

lim . %H  1
2!"  H
Et donc
 "
lnH
. %H  1
 H

Montrer que l'intégrale impropre $ :H%H est convergente.

"
3.

1 H Z H
On a
"

lnH lnH
Donc

Z
1 H " H 


La fonction : est positive sur /1, ∞/. Elle est équivalente en +∞ à une fonction qui admet une

"
intégrale généralisée en +∞.

Donc . :H %H est convergente.



Dans toute la suite de l'exercice on note alors ] l'intégrale impropre:

"
]. :H %H

Montrer, grâce au changement de variable V  que ]   $& :V %V.
 
L
4.

H1*V1
On a

H ! ∞ * V ! 0
1 1
V *H
H V

1
Donc
1%H   %V
V


1 1
On en déduit que

]  . : ^ _ ^  _ %V
& V V

1
Or

1 ln `Va lnV V
:^ _  
V 1  1 V
1 `V a

1 lnV V 1 lnV
Donc

:^ _   ^  _   :V
V 1 V  V 1 V

& 
On en déduit que

]  . :V%V   . :V%V
 &

En déduire que l'intégrale impropre $& |:H| %H converge et est égale à 2]

"
5.

La fonction : est négative sur 00,10 on a donc

cH 00,10, |:H|  :H
On a donc sous réserve de convergence
  
. |:H| %H  . :H %H
& &

 
D’après la question précédente, cette intégrale converge et l’on a

. :H %H   . :H %H  ]
& &
On sait que : est positive sur /1, ∞/, donc
" "
. |:H| %H  . :H%H  ]
 

"  "
On en déduit que

. |:H|%H  . |:H|%H . |:H|%H  ] ]  2]

& & 

En déduire également que l'intégrale impropre $& :H %H converge et vaut 0.

"
6.

"
L’intégrale . :H %H est convergente puisqu'elle est absolument convergente.
&

"  "
On a :

. :H %H  . :H %H . :H %H  ] ]  0

& & 

Montrer que pour tout réel H strictement positif, |
 H| ' |:H|.
En déduire la convergence de l'intégrale $&
 H %H.
"
7.

lnH 
On a
|
 H|  i i |lnH|
 1 H   1 H 
lnH |lnH|
|:H|  j j 
1 H 1 H
Pour H  1, on a
|
 H|  |:H|  0
Pour H k 1, les deux fonctions sont non nulles. On a
|lnH|
|:H| 1 H 1  1 H   1 H 
    )1
|
 H| |lnH| 1 H   H
 1 H 

cH ) 0, |
 H| ' |:H|

On a donc

"
On sait que l’intégrale . |:H|%H converge.
&
"
Donc d’après le théorème de majoration, l’intégrale . |
 H|%H converge également.
&
"
On en déduit que l’intégrale .
 H%H est absolument convergente, donc convergente.
&

a. Montrer que pour tout réel H strictement positif,

:H
8.

:H 
 H 
 1 H 
 lnH  lnH
On a

:H 
 H  
1 H   1 H 
1 
 lnH ^  _
1 H   1 H 
 1 H     H 
 lnH
1 H   1 H  
lnH

1 H   1 H  
1 lnH

 1 H  1 H 
:H

 1 H 

"
]
b . En déduire successivement:

0'. p:H 
 Hq %H '

  1
] 
 ' . p:H 
 Hq%H ' 0
 1 &

"
L’intégrale . p:H 
 Hq %H xiste puisqu’elle apparaît comme l’intégrale de la différence de

deux fonctions admettant des intégrales généralisées sur /1, ∞/.

Comme :H , 0 pour H , 1, on a

:H
:H 
 H  , 0 pour H , 1
 1 H 

"
Donc

0 ' . p:H 
 Hq %H


On a pour tout H ' 1,
 1 H  ,  1

1 1
Donc
'
 1 H   1

"
:H "
:H 1 "
]
Donc

. %H ' . %H ' . :H%H '

  1 H 
  1  1   1

"
]
On a donc bien

0'. p:H 
 Hq %H '

  1

Pour H 00,10, on a :H ' 0, donc

:H
'0
 1 H 
Donc
 
:H

. p:H 
 Hq%H  . %H ' 0
&  1 H

&
Il s’agit de l’intégrale d’une fonction négative, les bornes étant dans le bon ordre.

1 1
On a toujours
'
 1 H   1
Comme :H ' 0, on a
:H :H
,
 1 H   1


:H 
:H 1 
]
Et comme 0 < 1, on a

. %H , . %H , . :H%H , 
&  1 H &  1  1 &  1


] 
On a donc bien

 ' . p:H 
 Hq%H ' 0

 1 &

"
c. Montrer que

lim .
 H %H  0
!"
&

] "
]
En ajoutant membre à membre les deux inégalités de la question précédente, on trouve :

 ' . p:H 
 Hq%H '

 1 &  1

] ]
On a
lim   lim 0
!"  1 !"  1

"
Donc d’après le théorème des gendarmes, on a

lim . p:H 
 Hq%H  0

!" &

0
Ce que l’on peut écrire

" "
Et donc

lim .
 H%H  . :H%H

!" & &

"
Or

. :H%H  0
&

"
Donc

lim .
 H%H  0
!" &