12 - Exercices - Intégrales À Paramètre PDF
12 - Exercices - Intégrales À Paramètre PDF
12 - Exercices - Intégrales À Paramètre PDF
» 8 etx 2
» 8 et corrigé)()
Exercice 124 (Mines-Ponts). » 8 (Voir
sinpxtq
Exercice 119. (Voir corrigé)() On pose F pxq dt. Pour x P R, on pose f pxq
et 1
dt
0 1 tx 0
1. Montrer que F pxq est bien définie pour tout x ¥ 0. 1. Ensemble de définition de f .
2. Montrer que F est de classe C 8 sur r0, 8r. 2. Continuité et dérivabilité de f .
3. Calculer F pnq p0q pour tout n P N. 3. Écrire f p1q comme somme de série.
0 2
» (Voir corrigé)()
Exercice 129 (Mines-Pont).
8 lnpx2 t2 q
Exercice 133. (Voir corrigé)() On pose, pour x ¥ 0,
Existence et calcul de f pxq
» 8 1 cos t
F px q ext
dt
0 1 t2 dt
» 8 arctanpxtq 0 t2
Exercice 130 (CCINP). (Voir corrigé)() Soit F : x ÞÑ 1. Montrer que F est continue sur r0, 8r et tend vers 0 en 8.
tp1 t2 q
dt
0
2. Montrer que F est deux fois dérivable sur s0, 8r et calculer F 2 pxq.
3. En déduire la valeur de F p0q puis la valeur de l’intégrale convergente :
1. Montrer que F est définie et de classe C 1 sur R .
x2 1 x2 » 8 sin t
2. Prouver que @px, tq P R2 , 1 1
p1 x2t2qp1 t2q 1 x2t2 t2
.
dt
3. Déterminer l’expression de F pxq. 0 t
Exercice 115. (Voir énoncé) Pour n, m P N, on pose In pmq xn pln xqm dx.
» 8 ¸8 0
1. Pour n ¡ 0, x ÞÑ xn pln xqm est prolongeable par continuité en 0 donc
dt
t 1
e 1 intégrable sur s0, 1s.
Montrer t
.
n1
n2
Pour n 0, x ÞÑ pln xqm est intégrable sur s0, 1s car pln xqm op ?1x q.
0
Pour t ¡ 0, on a :
et ¸8 nt Chaque intégrable considérée est donc bien définie et par intégration par
1
et 1
1 e t
e partie :
n 1 1
In pmq p ln xq In pm 1q
n 1 x m m
donc n 1 n 1
¸8 nt ¸8 0
t
te fnptq
et 1 n1
Ainsi, par récurrence immédiate :
n1
In pmq
p1qm m!I p0q p1qm m!
Les fonctions fn sont continues par morceaux sur s0, 8r. p n 1 qm n pn 1 qm 1
Par construction ° fn converge simplement et sa somme est continue par En particulier pour m n : In pnq
p1qn
morceaux sur s0, 8r. pn 1qn 1
n!
De plus chaque fonction fn est intégrable sur s0, 8r et par IPP : ¸8 yn
» 8 » 8 2. Remarquons que @y P R, exppyq donc @x P R :
|fnptq|dt tent dt
1
n 0
n!
n2 ¸8 px ln xqn
ex ln x
0 0
xx
La série numérique de terme général ci-dessus converge, on en déduit d’après le
n 0
n!
théorème d’intégration terme à terme que la fonction t ÞÑ t
t
e 1 Notons fn : x ÞÑ px n!
ln xq
pour x ¡ 0.
n
est intégrable
sur s0, 8r et :
Les fonctions fn sont par morceaux sur s0, 1s.
Par construction ° fn converge simplement et sa somme est continue par
continues
» 8 ¸8 » 8 ¸8 morceaux sur s0, 8r.
dt fn ptqdt
t 1
et 1 n1
n2
.
De plus d’après le 1. chaque fonction fn est intégrable sur s0, 1s et
»1 »
0 n 1 0
0 0
La série numérique de terme général ci-dessus converge, on en déduit
d’après le théorème d’intégration terme à terme que la fonction x ÞÑ xx
est intégrable et :
»1 1̧ »1 ¸8 ¸8 n
xx dx fn ptqdt
1
pn 1qn 1
n
0
n 0 0 n 0
n 1
Notons g px, tq .
1 t
Sur s0, 1s,
tx1 1x
g px, tq
1
tÑ0 tÑ0 t
sur r0, 8r et intégrable car t2 f px, tq ÞÝÑ 0. Riemann donc g p0q existe.
Ñ 8
t
On en déduit la convergence de l’intégrale impropre définissant F pxq qui u ÞÑ u1 est une bijection C 1 de R vers R , on peut donc réaliser le chan-
est bien définie pour tout x ¥ 0. gement de variable qui donne :
2. Pour tout t P r0, 8r, la fonction x ÞÑ f px, tq est de classe C 8 et @n P N : » 8 » 8
g p0q dt
1 u
du
Bnf px, tq p1qnn! tnet 0 1 t3 0 1 u3
B xn p1 txqn 1 En sommant les deux intégrales (même variable) :
La fonction x ÞÑ
B px, tq est continue sur R .
nf
» 8 » 8
2t 1
8
Bnxn 2g p0q
1 u
du
1u
1
du ?
2
arctan ? ?
4π
B
La fonction t ÞÑ n px, tq est continue par morceaux sur R et :
f 0 1 u3 0 u2 3 3 0 3 3
Bx
n Donc g p0q ?.
2π
B
@px, tq P r0, 8rr0, 8r, Bxn px, tq ¤ n!tnet ϕnptq
f 3 3
2. La fonction g est paire, et pour 0 ¤ x ¤ x1 , on a pour tout t ¥ 0, etx ¥
2
12
avec ϕn continue par morceaux et intégrable sur r0, 8r. etx et donc : 12
etx etx
2
» π{2
Exercice 121. (Voir énoncé) 3.
Équivalent de f en 8 :
Soit f : x ÞÑ
cos t
dt » π{2 » π{2
cos t dt ¤ f pxq ¤
t x 1 1
0 π cos t dt
x x
définie sur R r0, π2 s.
0 0
1.
Posons g px, tq
cos t 2
t x
La fonction g est continue en x sur R et continue par morceaux en t sur
L’intégrale valant 1, alors
f pxq 1
r0, π2 s. xÑ 8 x
Pour ra, bs R , on a :
Équivalent de f en 0 :
@px, tq P ra, bs r0, π2 s, |gpx, tq| ¤ t 1 a ϕptq On sait (ou bien on le prouve) que :
0 ¤ f p xq ¤ dt lnp xq lnpxq Ñ 0
1 π Finalement
t x 2 f pxq ln x
0
x Ñ0
Donc lim f pxq 0.
x Ñ 8
Quand x Ñ 0,
» π{4 cosptq » π{4 ?2 ? x π
f p xq ¥ dt ¥ dt ¥ Ñ 8
2 2 4
ln
0 t x 0 t x 2 x
f px 2q f p xq cos t f px 2q
1 2
Remarque : En fait on peut montrer que ϕ est une fonction constante.
t ϕ pt q t | lnptq| Ñ 0 soit ϕptq o
α a α 1
tα
on va justifier l’existence de chaque expression, prouver qu’elles sont dérivables Pour x 1, on peut décomposer la fraction rationnelle sous l’intégrale en
selon x et que leurs dérivées sont identiques. éléments simples (en t) :
» 8 arctanp x q »x
Posons f pxq dt et g pxq
t ln t t t t
t2 1 p qp1 q px 1qp1 q px 1qpx2 t2 q
dt.
0 1 t2 0 t2 x2 t2 2 t2 2
¸8
Alors finalement f p1q
1
@px, tq P Rs0, B
8r, Bx px, tq ¤ et t 1 ϕptq
f
n 1
n2 1
.
On en donc en conclure que f pxq ln x quand x Ñ 0 . — pour x ¡ 1, la fonction t ÞÑ hpx, tq est continue par morceaux et
intégrable sur s0, 1r,
Équivalent de f en 8 : — pour t Ps0, 1r fixé, la fonction x ÞÑ hpx, tq est de classe C 1 sur s1, 8r
On a aussi :
»x1 cosp2tq
» x cosp2tq et
Bh px, tq pt 1qtx
f p xq dt ln x
1
2t 2 2t
dt Bx
@t Ps0, 1r, x ÞÑ BBhx px, tq est continue sur s 1, 8r,
1 1
f px q
1
ln x quand x Ñ 8 — @x ¡ 1, t ÞÑ BBhx px, tq est cpmx sur s0, 1r,
2
— Soit ra, bs s 1, 8r, alors :
B
@px, tq P ra, bss0, 1r, Bx px, tq ¤ p1 tqta ϕptq
h
Par intégration, DC P R, t
— Pour x P R fixé, t ÞÑ g px, tq est continue par morceaux sur s0, 8r, se
@x ¡ 1, gpxq ln x
x
2
1
C prolonge par continuité en 0 et est négligeable devant t ÞÑ t12 en 8
donc t ÞÑ g px, tq est intégrable sur s0, 8r et la fonction F est définie
Reste à déterminer C avec une condition, par exemple la limite quand sur R.
x Ñ 8. — Pour t Ps0, 8r fixé, x ÞÑ gpx, tq est de classe C 1 sur R et :
t1
La fonction t ÞÑ peut être prolongée par continuité sur r0, 1s, elle y
ln t Bg px, tq cospxtqet
est donc bornée par une certaine constante M et alors :
Bx
»1
0 ¤ g p xq ¤ M tx dt
M
ÝÑ 0 Pour x P R, t ÞÑ
Bg px, tq est continue par morceaux sur s0, 8r.
0 x 1 x Ñ 8 —
Bx
Pour t Ps0, 8r, x ÞÑ
Bg px, tq est continue sur R et :
Ainsi par identification C 0 et @x ¡ 1, gpxq ln x 2
.
—
Bx
x 1
@px, tq P Rs0, B
8r, Bx px, tq | cospxtqet| ¤ et ϕptq
g
Donc
8
F 1 pxq Re ep1 q Re 1 1
1 ix t 1 1
1 ix 0 ix x2
f px, tq cospxtq
t Donc
F 1 px q x2 x a2
x
Pour x P R, la fonction t ÞÑ f px, tq est définie et continue par morceaux x2 b2
sur s0, 8r. PR:
Sur s0, 1s, |f px, tq| tÑ0 | att bt| | cospxtq| tÑ0 |b a|.
3. Reste à intégrer l’expression précédente, il existe C
Pour x P R, t ÞÑ
Bf px, tq est continue par morceaux sur s0, 8r. on a :
—
Bx » 8 » 8
Pour t Ps0, 8r, x ÞÑ
Bg ψ ptq cospxtqdt
1
rψptq sinpxtqs0 8 x1 ψ 1 ptq sinpxtqdt
—
Bx px, tq est continue sur R et : 0 x 0
B
@px, tq P Rs0, 8r, Bx px, tq |peatebtq sinpxtq| ¤ eat ebt ϕptq
g Et donc : » 8 » 8
ψ ptq cospxtqdt ¤
1
|ψptq|dt Ñ 0
0 x 0
D’après le théorème de dérivation d’une intégrale à paramètre, F est de On peut en conclure que C 0 et donc :
classe C 1 sur R et :
» 8
x2 b2
F pxq
1
F 1 px q peat ebtq sinpxtqdt 2
ln
x2 a2
0
Or pour tout x de R,
» 8 » 8
» (Voir énoncé)
Exercice 129 (Mines-Pont).
8 lnpx2 t2 q
Une décomposition en éléments simples donne
Existence et calcul de f pxq dt.
0 1 t2 @x ¡ 0, x 1 px2 2x
t2 qp1 t2 q
x22x 1 1
1
1
t2 x2 t2
lnpx2 t2 q pour px, tq P Rs0, 8r.
Notons hpx, tq
1 t2 Donc
Sur s0, 1s, t ÞÑ hpx, tq lnptq op ?1t q donc intégrable sur s0, 1s. 8
? @x P R , x 1, f 1pxq 2x
arctan t
1
arctanp q
t
Sur r1, 8r, t ÞÑ hpx, tq op t 1{ q car lnpx2 t2 q op tq par exemple. Donc x2 1 x x
intégrabilité sur r1, 8r également.
3 2 0
sur R . @x P R , x 1, f 1pxq x2 1
2x π
2
1
1
x
xπ 1
Appliquons maintenant le théorème de dérivation d’une intégrale à paramètre.
Par intégration, DC P R,
— pour x P R , la fonction t ÞÑ hpx, tq est continue par morceaux et intégrable
sur s0, 8r, @x P R , x 1, f pxq π lnpx 1q C
— pour t Ps0, 8r fixé, la fonction x ÞÑ hpx, tq est de classe C1 sur R et
Par continuité de f sur R, on en déduit que la relation est vraie aussi pour
Bh px, tq 2x x 0 et x 0.
Bx px t qp1 t2q
2 2 Grâce au changement de variable u 1t on peut calculer f p0q et prouver que
f p0q 0. Ainsi par identification C 0 et
— @t Ps0, 8, x ÞÑ BBhx px, tq est continue sur R , x P R , f pxq π lnpx 1q
— @x P R , t ÞÑ BBhx px, tq est cpmx sur s0, 8, Par parité on obtient que sur R, f pxq π lnp|x| 1q.
— Soit ra, bs R , alors :
B
@px, tq P ra, bss0, 1r, Bx px, tq px2 t22xqp1 t2q ¤ pa2 t22bqp1 t2q ϕptq
h
— pour t Ps0, 8r fixé, la fonction x ÞÑ hpx, tq est de classe C 1 sur R avec C 0 puisque F p0q 0 donc F pxq π2 lnpx 1 q.
et
Bh px, tq 1
Bx p1 x t qp1 t2q
2 2
Exercice 131. »(Voir énoncé) — sur s0, 1s, ϕn ptq | ln t|n ta1 et | ln t|n ta1 opta1ε q op t1 1εa q
8 avec ε ¡ 0 assez petit tel que 1 ε a 1.
On note Γpxq tx1 et dt pour x P R.
0 (et par comparaison avec une intégrale de Riemann on prouve l’inté-
1. Posons f px, tq tx1 et sur s0, 8rs0, 8r. grabilité.)
Pour chaque x Ps0, 8r, la fonction t ÞÑ f px, tq est continue par morceaux Par le théorème de dérivation d’une intégrale à paramètre, on peut affirmer
sur s0, 8r et que Γ est de classe C 8 sur r0, 8r et :
— intégrable sur r1, 8r car t2f px, tq tÑÞÝÑ8 0. » 8
— intégrable sur s0, 1s car f px, tq tx1 t 1 avec 1 x 1.
@n P N, @x P r0, 8r, Γpnqpxq pln tqntx1etdt
1 x 0
On en déduit la convergence de l’intégrale impropre définissant Γpxq qui
4. On sait que Γp1q Γp2q 1 et que Γ est dérivable sur s1, 2r donc le
est bien définie pour tout x ¡ 0.
théorème de Rolle s’applique et Γ1 s’annule en une unique valeur α comprise
Pour la continuité de Γ sur s0, 8r, autant attendre la question 3. pour
démontrer le caractère C 8 d’un seul coup.
entre 1 et 2. » 8
2. Pour tout x ¡ 0, une simple IPP donne : @x P r0, 8r, Γ2pxq pln tq2tx1etdt ¡ 0 ce qui prouve la croissance
de Γ1 donc l’unicité de α dans r1, 2s et même sur R .
0
» 8 8 » 8
Γpx 1q t et dt tx et 0
x
xtx1 et dt 5. Γ1 pxq 0 sur s0, αr et Γ1 pxq ¡ 0 sur sα, 8r donc Γ est strictement
décroissante sur s0, αr et Γ est strictement croissante sur sα, 8r.
0 0
Soit Γpx 1q xΓpxq et une récurrence triviale prouve que pour n P N : Clairement par croissance de Γ :
B
La fonction t ÞÑ n px, tq est continue par morceaux sur R .
f Par comparaison lim Γpxq 8.
Bx x Ñ0
Soit ra, bs s0, 8r alors @px, tq P ra, bss0, 8r,
n "
B fn px, tq | ln t|n tx1 et ¤ | ln t|nntab11 ett si t Ps0, 1s
Bx | ln t| t e si t P r1, 8r
Notons cette fonction cmpx ϕn , elle est intégrable sur s0, 8r car :
— sur r1, 8r, t2 ϕn ptq Ñ 0 donc ϕn ptq op t1 q, 2
»x »1
— pour tout x P r0, 8r fixé, t ÞÑ gpx, tq est continue par morceaux et et dt x
2
e x
2 u2
du via t ux.
intégrable sur r0, 1s ;
Car
0 0
Ainsi on peut affirmer que f est de classe C 1 sur r0, 8r et donc continue
et dérivable sur r0, 8r. Pour x ¥ 0, on a
»1
f 1 px q exp1 t2 q dt
0
»1
2. On a f p0q dt arctanp1q arctanp0q .
1 π
1 t2 4
Pour x ¤ 0, on a :
0
»1 »1
0 ¤ f px q ¤ exp1 t2 q dt ¤ ex dt ex
0 0
Exercice 133. (Voir énoncé) 2.
Pour tout t Ps0, 8r, la fonction x ÞÑ hpx, tq est de classe C 2 et
On pose, pour x ¥ 0,
» 8 1 cos t Bh px, tq 1 cos t ext et B2h px, tq p1 cos tqext
F p xq ext dt Bx t B x2
0 t2
s0, 8r, hpx, tq ext 1 tcos
Les fonctions x ÞÑ BBhx px, tq et x ÞÑ BBxh2 px, tq sont continues sur R .
2
1. Posons, pour px, tq P R
t
.
Les fonctions t ÞÑ BBhx px, tq et t ÞÑ BBxh2 px, tq sont continues par morceaux
2
2
Sur r1, 8r, |hpx, tq| ¤ 1 t2 , or t ÞÑ t1 est intégrable sur r1, 8r donc
t ÞÑ hpx, tq également.
2 2
sur R .
Pour x ¡ 0 fixée, la fonction t ÞÑ BBhx px, tq 1 tcos t ext est intégrable
t2
3. Pour x ¡ 0,
Finalement on en déduit que F est de classe C 0 sur R .
Et enfin, sur R la fonction t ÞÑ
1 cos t
est prolongeable par continuité en » 8 » 8 » 8
0 et a une limite nulle en 8. On peut donc prouver qu’elle est bornée sur
t2
F 2 p xq
e dt cos tdt Re tpx iq
tx tx 1
e e dt
R (petite démonstration à savoir faire). 0 0 x 0
Ainsi pour px, tq P R s0, 8r,
Soit après calculs :
|hpx, tq| ¤ M ext F 2 p xq
1
x2 x
» 8 x 1
et alors |F pxq| ¤ M ext dt ÝÑ 0.
M
x xÑ 8 En intégrant F 2 pxq sur R on obtient :
Donc lim F pxq 0 (sinon on peut utiliser le théorème de convergence
0
Ñ 8
F 1 pxq ln x lnpx2 1q
x 1
dominée pour le prouver). C
2
8 » 8 » 8 sin t
2 sin tpt{2q 2 cospt{2q sinpt{2q
R par un réel M2 »en valeur absolue. 2
F p0 q dt dt
π
8
Ainsi |F 1 pxq| ¤ M2 ext dt ÝÑ 0.
M2 t t 2
0 0
x xÑ 8
0
En intégrant à nouveau :
» »
F px q ln x dx lnpx2 1q dx
1
D
2
soit »
2x2
F pxq x ln x x x lnpx 1q
1 2
dx D
2 x2 1
soit
»
F pxq x ln x x x lnpx2 1q 1
1 1
dx C
2 x2 1
et finalement
F pxq x ln x x lnpx2 1q arctan x
1
C
2
soit