Etude d’une fonction intégrale
thème illustré : les développements limités.
1. Résoudre sur ℝ l’équation : t + arctan t = 0 .
2x dt
2. On pose f (x ) = ∫ .
x t + arctan t
2.a Montrer que f est définie sur ℝ ∗ .
2.b Etudier la parité de f .
2.c Justifier que f est de classe C ∞ sur ℝ +∗ et exprimer f ′(x ) pour x > 0 .
2.d Donner le sens de variation de f .
3. On étudie le comportement de f au voisinage de +∞ .
3.a Déterminer une constante C telle que pour tout x > 0 ,
2x dt 2x dt
f (x ) − ∫ ≤C .∫ .
x t x t2
3.b En déduire que f admet une limite finie en +∞ et préciser sa valeur.
4. On étudie le comportement de f au voisinage de 0+ .
1 a
4.a Montrer qu’il existe deux réels a ,b tels que = + bt + o (t ) au voisinage de 0+ .
t + arctan t t
4.b Soit g une fonction de ]0,+∞[ dans ℝ telle que lim g (t ) = 0 .
t →0+
Montrer que : lim sup g (t ) = 0 .
x →0+ t ∈[x ,2x ]
4.c En déduire que si h est une fonction continue de ]0,+∞[ dans ℝ telle que h (x ) = o (x ) au voisinage de
2x
0+ alors ∫x
h (t )dt = o (x 2 ) au voisinage de 0+ .
4.d Montrer que f admet au voisinage de 0 un développement à l’ordre 2 que l’on exprimera.
4.e Montrer qu’on peut prolonger f par continuité en 0 et que ce prolongement est dérivable.
Exprimer alors les valeurs de f (0) et de f ′(0) .
4.f Etudier, au voisinage de 0, la position relative de f et de sa tangente en 0.
4.g Déterminer un équivalent simple de f ′(x ) en 0.
4.h En déduire que f est deux fois dérivable en 0, et calculer f ′′(0) .
Correction
d’après Mines de Sup 1998
1. La fonction t ֏ t + arctan t est strictement croissante et s’annule en 0. Par suite 0 est solution de
l’équation et c’est la seule.
1
2.a L’application t ֏ est définie et continue sur ℝ ∗ .
t + arctan t
Pour tout x > 0 , cette fonction est continue par morceaux sur le segment [x , 2x ] donc
dt 2x
f (x ) = ∫ est bien définie.
t + arctan t
x
Pour tout x < 0 , un argument semblable relatif au segment [ 2x , x ] permet aussi de conclure.
2.b Par le changement de variable u = −t , on obtient f (−x ) = f (x ) donc f est paire.
1
2.c L’application t ֏ est continue sur l’intervalle ]0,+∞[ , elle y admet donc une primitive H .
t + arctan t
On a alors f (x ) = H (2x ) − H (x ) . La fonction H est dérivable et de dérivée C ∞ donc elle est elle-même
2 1
C ∞ . Par opérations, f est C ∞ et f ′(x ) = 2H ′(2x ) − H ′(x ) = − .
2x + arctan 2x x + arctan x
2.d Par étude de fonctions : arctan 2x ≤ 2arctan x sur ℝ + . Par suite f ′(x ) ≥ 0 sur ]0,+∞[ . La fonction f
est croissante sur ]0,+∞[ . Par parité, elle est décroissant sur ]−∞,0[ .
2x dt 2x arctan t π 2x dt π
3.a f (x ) − ∫ ≤∫ dt ≤ ∫ . C = convient.
x t x t (t + arctan t ) 2 x t 2
2
dt
2x 1 2 x dt
3.b ∫ x t 2
=
2x
x →+∞
→ et ∫
x t
= ln 2 donc f (x )
x →+∞
→ ln 2 .
1 1
4.a Par calculs a = , b = .
2 12
4.b ∀ε > 0 , ∃α > 0 , ∀ 0 < t ≤ α , g (t ) ≤ ε .
Pour 0 < x ≤ α 2 , on a pour tout t ∈ [x , 2x ] , t ∈ ]0, α ] donc g (t ) ≤ ε .
Par suite sup g (t ) ≤ ε . Ainsi, ∀ε > 0 , ∃β > 0 , ∀ 0 < x ≤ β , sup g (t ) ≤ ε .
t ∈[x ,2x ] t ∈[x ,2x ]
On peut conclure lim sup g (t ) = 0 .
x →0+ t ∈[x ,2x ]
4.c h (t ) = t ε(t ) avec ε→ 0 .
0
2x 2x 3
∫ x
h (t )dt ≤ sup ε(t ) ∫ tdt =
t ∈[x ,2x ] x
sup ε(t ) x 2 = o (x 2 ) car sup ε(t )
2 t ∈[x ,2x ] t ∈[x ,2x ]
x →0
→0 .
1 a 3
4.d Par intégration de la relation = + bt + o (t ) entre x et 2x : f (x ) = a ln 2 + bx 2 + o (x 2 ) .
t + arctan t t 2
1
4.e On prolonge par continuité par la valeur f (0) = ln 2 .
2
f admettant un DL à l’ordre 1 en 0, elle est dérivable et ici f ′(0) = 0 (facteur de x ).
3 2
4.f La courbe est au dessus de sa tangente (horizontale) en 0 comme l’assure le signe du terme bx + o (x 2 )
2
ou encore le tableau des variations de f .
2 1 1
4.g On ne peut pas dériver les DL. Cependant f ′(x ) = − donne f ′(x ) ∼ x .
2x + arctan 2x x + arctan x 4
4.h Cet équivalent fournit un DL à l’ordre 1 permettant de conclure que f ′ est dérivable en 0 et que
f ′′(0) = 0 .
