Académique Documents
Professionnel Documents
Culture Documents
Intgrale de Riemann
Thorie et pratique
Mohammed El Amrani
lil'S;'
Intgrale de Riemann
Thorie et pratique
Intgrale de Riemann
Thorie et pratique
Mohammed El Amrani
Hermann diteurs
www.editions-hermann.fr
Isbn 9 7 8 2 7 0 5 6 6 9 2 4 9
2009, Hermann diteurs, 6 rue de la Sorbonne 75005 Paris
Avant propos
1 Intgrale de Riemann 1
1.1 Intgrale des fonctions en e s c a l ie r .................................... 2
1.2 Fonctions intgrables au sens de R ie m a n n ....................... 6
1.3 Proprits gnrales de lintgrale de Riem ann................. 16
1.4 noncs et solutions des exercices du chapitre 1 ................. 31
2 Primitives et intgrales 55
2.1 Intgrale indfinie et p rim itiv e ............................................. 55
2.2 Changement de variable..........................................................62
2.3 Intgration par p arties............................................................. 65
2.4 Calcul de prim itives................................................................ 69
2.5 Limite uniforme dans les intgrales.......................................80
2.6 Calcul approch dune in t g r a le .......................................... 82
2.7 noncs et solutions des exercices du ch ap itre....................89
Bibliographie 503
Index 505
Avant-propos ni
Avant-propos
Intgrale de Riemann
1
I ntgration
Une subdivision de [o, i>] sera note a := (oq = a, ai, ,an = b).
chaque subdivision a de [a, 6] nous associerons lensemble S consti
tu par les points de la suite cr.
Si CT et cr' sont deux subdivisions de [a, 6], on dit que a ' est plus^ne
que cr si les ensembles S, S ' respectivement associs cr, </, vrifient
linclusion S C S'. En dautres termes, la subdivision cr' est plus fine
que cr si tous les lments de cr appartiennent r'. On note cr U cr'
la subdivision cr" dont lensemble associ est la runion des ensembles
associs cr et cr'.
Dfinition 1.1.3 Une fonction / : [a, 6] > R est dite en escalier sil
existe une subdivision (oq, . . . , o) de [a, b] et des lments Ai, . . . , A
et rdigea un compte rendu sur les fondements du calcul infinitsimal. Newton a fond
lanalyse moderne. En gomtrie, il classifia les cubiques et en donna des tracs corrects
avec asymptotes, inflexions et points de rebroussement. En physique, ses contributions
sont immenses, notamment en optique et en mcanique, avec la mise en place de sa
thorie de lattraction universelle.
Chapitre I. Intgrale de Riem ann
de R tels que
Rem arque 1.1.5 Une fonction en escalier nest en fait pas spcifie aux
points Oi de la subdivision o considre, et lintgrale I{f,cr) ne d
pend donc pas de / en ces points.
Lemme 1.1.9 Muni des lois usuelles, lensemble 5([a, 6],R) est un R-
sous-espace vectoriel de lespace des fonctions de [a, 6] dans R, et
lapplication f f { x ) d x de 5([o, 6],R) dans R est linaire.
Do le lemme.
On munit {[a, b], R) de la norme uniforme Il * Iloo dfinie par
:= sup l/(x)|
x[a,6]
Ja
est continue.
po po
2 ) Si f ,g E S{[a,b],M.),alors : f < g => I f ( x ) d x < I g{x)dx.
3 ) Si f f ([a, >],1R), alors | / | E 5([a, i>],R+) et
f
\Ja
f {x) dx < (b a)
et
+{f) := {/i G 5([a, 6],R) ; f < h sur [a,6]}.
Posons
A-{f)
- ii: g(x) dx\ g e.
et
A+{f)
- { j: h{x)dx] hGS+{f)
}
Quels que soient u A - { f ) et u A+{f), on a videmment u < v.
Dautre part, les ensembles - { f ) et +{f) sont tous deux non vides si
et seulement si la fonction / est borne. Dans ce cas, lensemble A - ( /)
est major par tout lment de A+{f) et possde donc une borne sup
rieure finie, que nous notons / - ( / ) ; de mme lensemble A+{f) est
minor par tout lment de A - { f ) et possde donc une borne infrieure
finie, que nous notons / + ( / ) . On a alors
Alors, pour que f soit intgrable sur [a, 6] il faut et il suffit que l on ait
/ _ ( / ) = /+ ( /) .
/ _ ( / ) = /+ ( /) = i'f{x)dx.
Ja
/ - ( / ) := sup A - { f ) > 0,
do le rsultat annonc.
Chapitre I . Intgrale de Riem ann
On a alors
et
pb ^ ^ pb ^
/ g{x)dx = h ^ / ( a -h kh) ; / h{x) d = ^ / ( a -h kh),
k=0 1
do
et
y(x) = f{ai) - e, h(x) = f{ai) + e
pourtout X e ]a i_ i,a j[ ( = 1,2, . . . ,). Or la subdivision (^)<<
a t choisie de manire que lon ait |/( x ) f{ai\ < e pour tout x
lment de [ai_i, Oj]. On a donc, pour tout x [a, b] :
rb ib
I [h{x) g{x)]dx = I 2 e d x = 2e{b a).
Ja Ja
Le nombre e > 0 tant arbitraire, on conclut que la fonction / est
intgrable sur [a, &].
Dfinition 1.2.10 Une fonction f : [a, b] * R est dite rgle si, quel
que soit le nombre e > 0, il existe une fonction en escalier (p sur [a, 6]
vrifiant :
Vx [a, b] , |/( x ) - (p{x)\ < e.
6. HEINE Edouard (1821-1881). Mathmaticien allemand. Clbre par ses travaux
sur les fonctions spciales et lanalyse relle.
Chapitre 1. Intgrale de Riem ann 11
Dfinition 1.2.11 Une fonction / : [o, 6] >R est dite rg/e sil existe
une suite de fonctions en escalier de [a, b] dans R, convergeant unifor
mment vers / sur [a, fe].
Rem arque 1.2.12 On dispose dune caractrisation trs utile des fonc
tions rgles (voir [1] p. 424) : pour quune fonction / : [a, 6] R soit
rgle, il faut et il suffit que f admette une limite droite en tout point
de [a, b[ et une limite gauche en tout point de ]a, 6].
On vrifie sans difficult (voir [1]) que toute fonction par morceaux est
rgle. On en dduit aussitt le rsultat important suivant.
12 I ntgration
Les fonctions tp et ri sont en escalier et vrifient \ f tpl <rj sur [a, b].
De plus,
/b ra+ rb b
/ rj{x)dx = / Mdx-\- p {x)d x/ Mdx
Jd J CL Cb-\- J b
< M -I- -h M = (2M -h 1) .
Corollaire 1.2.19 Si / : [a, 6] > R est une fonction borne sur [a, b]
et continue sur Vintervalle ouvert ]a, 6[, alors f est intgrable sur [o, &].
Dmonstration : Quels que soient a , 3 vrifiant o < a < /3 < 6, la
fonction / est continue sur lintervalle compact [a,/?], donc intgrable
sur cet intervalle.
2 ^ ~
Les intervalles Ji = [oj h/2, ai + h/2] sont disjoints et contenus dans
[a, 6] ; et on obtient la fonction continue g cherche en remplaant p
sur chacun des intervalles Ji par la fonction affine prenant les mmes
valeurs que p aux extrmits de Ji : en effet g est affine par morceaux,
elle vrifie |5 (x) p{x)\ < 2 M sur la runion J des p intervalles
J i, et g{x) = p{x) sur [o, b ] \ J ; do
et
De mme, on obtient
f { x ) d x = I-{f,[a,b]) = I+{f,[a,b]),
Ja
donc
alors
Donc /1 est intgrable sur [a,c] et /2 est intgrable sur [c, 6]. Dplus,
rb pc pb
/ f{x)dx = / fi{ x )d x + / f 2{x)dx.
Ja Ja Je
et
/'b nb
/ ipi{x)\ dx < e et / [>Ip2{x ) ip2{x)\dx <e.
Ja Ja
do
fb
/ [fl{x) + (P2{x)] dx < / _ ( / ) + /- ( g ) .
Ja
Or g>i + (p2 < f + g, et en passant au sup sur ip := ipi + ip2, il vient
I - { f + 9) < / - ( / ) + / - ( 5 ) .
De mme, on obtient
et de plus
I - { f + 9) < f f { x ) d x + g{x)dx
Ja Ja
Chapitre 1. Intgrale de Riem ann 19
et
/ + ( / + p) > f { x ) d x + g{x)dx.
Ja Ja
Comme f + g est intgrable sur [o, 6], on a
VA R+ , A /(x) dx = X /( x ) dx.
Ja Ja
) = I 0 smon. X [xo h, Xo + h]
Do le thorme.
Thorme 1.3.6 Si f est une fonction numrique intgrable sur [o, b],
alors la fonction x |/(2;)| est intgrable sur [a, ] et on a
eir(x) = {
/(x ) < 0 -/(x ) si /(x ) < 0.
22 I ntgration
Il suffit donc de montrer que f'^ et f~ sont intgrables sur [a, 6].
Donnons-nous 5 > 0. La fonction / tant intgrable sur [a, >], on peut
trouver (f et 'tp dans 5([a,6],R ) telles que
i-b
< P < et / ^(^)] dx < e.
Ja
ainsi que
pb pb
/ {x) (x)] dx < et / [ip~ {x) (f~ {x)] dx < e.
Ja Ja
On a alors
= f [^'(x) ^"t(x)] dx
Ja
nb
+ / [p~{x)-il)~{x)]dx,
Ja
dx < M { b - a ) .
1 Ja
Chapitre I. Intgrale de Riem ann 23
fg = f ^ 9 ^ - r g ^ - f ' ^ 9 - + r9~ -
Comme f et g sont intgrables sur [a, 6], f ' ^ , f ~, g' ^ , g~ le sont aussi,
et daprs le cas tudi prcdemment, les fonctions /*g"^ , f ~ g ^ , g'
et f ~ g~ sont intgrables. Comme toute somme de fonctions intgrables
est intgrable, on conclut que f g est intgrable sur [a, b].
24 I ntgration
|y f{x)g{x)dx ^ y j { f { x ) f d x j I j {g{x))^dxj ,
l ingalit de Minkowski ;
r .6 ll/2 r .6 -jl/2 r ~6 -|l/2
/ { f { x ) +g{ x ) f dx < / {f{x)fdx + / {g{x))^dx
.J a J L /a J LJa
1 / / W s W * ! S / l/(x ) g{x)\dx.
B{ f , g) := f f{x) g{ x) dx.
Ja
Pour tout A e R, on a
5 ( A / + 5 , A / + 5) = \ ^ B { f J ) + 2 \ B { f , g ) + B{g,g) > 0 .
La fonction trinme A t-> B { f , f ) + 2 X B { f , g ) + B{g,g) tant
positive, on a lingalit
rb pb pb
(1.3) m I g{x) d x < f{x) g{x) dx < M j g(x) dx.
Ja Ja Ja
Si de plus f est continue sur [a, 6], alors il existe c [a, i>] tel que
(1.4) i f { x ) g { x ) d x = /( c ) f g{x)dx.
Ja Ja
et comme / est continue sur [a, 6], le thorme des valeurs interm
diaires (thorme A.2.44) assure lexistence dun point c 6 [a, 6] tel
que ( 1.4) soit satisfaite.
1 f { x ) d x [m, M].
0-aJa
Si de plus f est continue sur [a, 6], alors il existe c [a, b] tel que
f { x ) d x = f{c).
1 /'*
Dfinition 1.3.14 Le nombre ------ / f(x) dx est appel la valeur
0-aJa
moyenne de / sur le segment [a, b].
13.15 Sommes de Riemann
Dfinition 1.3.17 Soit / une fonction numrique borne sur [o, i>], et
soit CT = (ai)o<i<n une subdivision de [a, 6], et ^ . . . ,^n} tels
que, pour tout i { 1 ,... ,n }, [aj_i,ai]. On appelle somme de
Riemann de / relative (a, ^), le nombre 5 ( /, cr, dfini par
n
i= l
Rem arque 13.18 Lorsque / est une fonction en escalier sur [a, 6] et
que cr est une subdivision de [a, 6] adapte / , on a exactement, avec
S{ f , ( x , 0 = [ f { x) dx.
Ja
Chiq)itre 1. Intgrale de Riem ann 27
- f/
I L 7 o i_ i
< r \ m - m \ d x
j _ l J o i-\
n
i= l
i t ^ = i t/(^)
1=1 n 1=1
lim ^ = [ ln ( l- |- x ) ] i = ln2.
n -^ + o o '^ n + t Jq 1+ X ^ '^'0
/ 6{x)dx < e.
Rem arque 1,3.25 Cette dfinition prolonge bien celle donne dans le
cadre des fonctions numriques puisque si / est valeurs relles, alors
3 e/ = / et = 0.
/ [ /( ^ ) dx
Ja
Dans tout ce qui prcde nous avons dfini lintgrale de / sur [a, 6]
pour tout couple (o, b) de nombres rels vrifiant a < 6. En fait, on
peut saffranchir de cette condition sur (a, b) en adoptant la dfinition
suivante.
30 I ntgration
/ f { x ) d x := - f f { x ) dx .
Ja Jb
Si a = 6, on pose
i f ( x ) d x := 0 .
Ja
i f { x ) d x = f { x ) d x + f { x ) dx ,
Ja Ja Jb
do
pb pc pc
/ f{x)dx = / f(x)dx - / f{x)dx
Ja Ja Jb
= f { x ) d x + f f { x) dx.
Ja Je
Solution
Aucun des deux ensembles {i/2^, 0 < i < 2^} et {A;/10^, 0 <
k < 10^} nest inclus dans lautre. Donc aucune des deux subdivisions
proposes nest plus fine que lautre.
0 si X = 0 ou si a; ^
f{x) = 1 P
------- si X = - est irrductible; p,q^i
p+ q q
Montrer que f est Riemann-intgrable sur [0,1] et calculer son int
grale.
Solution
Il sagit de montrer que, quel que soit le nombre e > 0, il existe deux
fonctions en escalier p et 'ip sur [0,1] telles que (p < f < ip sur [0,1]
et i i ix ) - ip {x ))d x < e.
Prenons pour (f la fonction identiquement nulle sur [0,1].
Pour chaque entier n > 1, considrons lensemble
En := { a : 6 Q n [ 0 , l ] ; / ( a : ) > i } .
e si X ^ En
i){x) = I f{x) si X En-
f f { x ) d x = 0.
Jo
Exercice 1.3 Soit f une fonction borne sur un segment [a, 6]. On
suppose quil existe deux suites (pn) et (/i) de fonctions Riemann-
intgrables sur [a, b] telles que, pour tout x [o, b], on ait
Solution
-M ontronsque / estRiemann-intgrablesur [a,6].
Soit e > 0. Il sagit de montrer quil existe deux fonctions en escalier
ip et ip sur [a, b] vrifiant :
Par hypothse, il existe n N tel que J^{hm 9m) (x) dx < e pour
tout m > n . Fixons un tel entier n. Comme hn est intgrable sur [a, 6],
il existe deux fonctions en escalier Cn et dn telles que
b
Cji dyj et j Gfi){^x) dx
Ja
donc a fortiori (dn hn){x) dx < e.
De mme, puisque pn est intgrable sur [a, 6], il existe deux fonctions
en escalier On et telles
On ^ 9n ^ f ^ hn ^ dn-
Par ailleurs,
rb
rO nb rb
/ {dn an){x)dx = / {dn hn){x) dx + / {hngn){x)dx
Ja Ja Ja
+ / {gn-an){x)dx
Ja
< 3e.
et comme
rb rb rb rb
/ ipn{x)dx < / gn{ x) dx < / hn{ x) dx < / 'ipri{x)dx,
Ja Ja Ja Ja
34 I ntgration
Irorb f { x ) d x = lim
po
fb
/ gn{x)dx = lim
ro
/ hn{x)dx.
/ := X[6,6+i[
n=0
Solution
- Vrifions dabord que / est dfinie sur [0,1], cest--dire que pour
chaque x [0,1], la srie donnant f{x) est convergente. En effet,
pour tout X fix dans [0,1], il existe un et un seul entier n tel que
bn < X < ^n+i, donc la somme /( x ) se rduit un unique terme On,
elle est donc convergente.
- Montrons maintenant que / est Riemann-intgrable sur [0,1].
Dabord, la fonction / est borne puisque, pour tout x 6 [0,1], on a
|/(2:)| < M O M est un majorant de la suite borne (|a|)gN-
Donnons-nous un > 0. Il existe un entier m tel que 1 e < /t < 1
pour tout k > m . Dfinissons alors deux fonctions en escalier par
m
Vm{x) = X[bn,bn+i[ -MX[bn+i,lb
71=0
et
^ ^ ^[^n,6n+i[ ^ ^[bn+iA['
n=0
[ f(x)dx = lim / ^ m{ x) dx
Jo m-+oo J q
m
^ m ^ (^ +1 - K ) + M { 1 - bm+l),
n=0
cest--dire
pi H-OO
/ /( ^ ) ^ ^ (^n+1 &n)*
V0 n=0
r ai 6i'j + ^ ( o i bj - j bi = ^ a f ^ b ] ,
^ i=l / i^j i=l 2=1
onc en particulier
( nU \ 2
ib ij
n
< a ? 6?.
n
Solution
l) On a
n n
y~! O? ^ + + n ^
2=1 2=1 2=1 2=1
= ^ (af 6^ + 6?a^)
2=1
/ n X2
= i ^ ^ 62] 2 ^ ^ i bj j bi
^2=1 ^ 2^j
+ ^ ( i + ^ i j)
i^j
/ n V2
= i ^ ^Oj 6j j + ^ bj j bi) ,
i=l '' i^j
par consquent :
+ Y l i ^ i b j -jbi)'^ = ^ a f ' ^ b f .
^ 2=1 ' i^j 2=1 2=1
n X 2 21 n
< a f 6?.
i= l ' i=l i= l
Exercice 1.6 Soient a, b, c, d des rels tels que a < b < c < d, et soit
f : [a, d\ M. une fonction Riemann-intgrable sur [a, d]. Pour tous
a , f 3 e [a,d\, on dsigne par lintgrale f {x)dx. Montrer que
pb pd PC pb pd pc
f f+ f f+ f f = o.
Ja Je Ja Jd Ja Jb
Solution
Daprs la relation de Chasles, on a
Ja Je Ja LJe Ja J Ja Je Jb Ja
ainsi que
Ja Jd Ja f A l =
^Jd Ja J Ja Jd Je Ja
et
[ % f f
Ja Jb
= f
Ja
f \ f
LJb
f+ f f \
Ja J
= T / Jb
Ja
T / + JTa /J ai f -
i f { x ) d x < f { x ) dx .
Je Ja
38 I ntgration
Solution
Puisque / est Riemann-intgiable sur [a, b], pour tout e > 0 donn, il
existe des fonctions et ^ en escalier sur [a, 6] telles que
/.6
< V sur [o, b], et / (^ p){x) dx < e.
Ja
Soit a = (ai)o<i<n une subdivision de [o, 6] adapte p et ip. U
existe donc des rels A i,. . . , An et tels que
Finalement,
/ f{x)dx < f(x)dx.
Je Ja
{ f { x ) d x < m M .
/'
Solution
Sur [0, 1 ] on a m < / < M, donc (M / ) ( / m) > 0. Daprs la
proposition 1 .2 .6 , on a alors
f { f { x ) d x + {m + M ) f f { x ) d x m M > 0,
Jo Jo
cest--dire ^
f { f { x ) d x m M > 0 .
Jo
Do le lingalit dsire.
Montrer que f = 0 ou f = 1,
40 I ntgration
Solution
Par linarit de lintgrale, on a
et comme (/^ /)^ est continue et positive sur lintervalle [o, 6], le
thorme 1.3.5 assure que (/^ / ) = 0 sur [a, b], cest--dire
Exercice 1.10 Soit / ; [0,1] > R continue telle que, pour toute fonc
tion g en escalier et croissante sur [0, 1 ], on ait Jq / ( x ) g(x) dx = 0.
Montrer que / est identiquement nulle sur [0,1].
Solution
Raisonnons par labsurde : supposons quil existe xq ]0, 1[ tel que
/(x o ) ^ 0, par exemple / ( xq) > 0. Puisque / est continue en xq, il
existe r/ > 0 tel que
0 si 0 < x < x o ~ 77
e(x) = ^ 1 si Xo 77 < X < Xo + 77
0 si Xo + 77 < X < 1,
Chapitre 1. Intgrale de Riem ann 41
on a
J 0 si 0 < X < xq T)
g{x) =
\ 1 si Xq T) < X < 1
et
J 0 si 0 < X < Xq +T]
h{x) =
\ 1 si Xq + r) < X < 1.
Par hypothse, on a
f f{x)g{x)dx = f f { x ) h { x ) d x = 0,
Jo Jo
do
I f { x ) e { x ) d x = 0,
Jo
ce qui contredit (*). On a ainsi dmontr que / ( xq) = 0 pour tout
Xq ]0 , 1 [. Comme / est continue sur [0, 1 ], on dduit que / = 0 sur
ce segment.
Solution
- Supposons f {x) dx > 0. On a alors lquivalence :
Or l/l / est continue et positive sur [a, 6], donc lgalit du second
membre de (*) entrane, en vertu du thorme 1.3.5, que 1/1 / = 0
sur [a, 6]. On dduit que / > 0 sur [a, 6].
- Supposons f{x) dx < 0. On se ramne au cas prcdent avec /
la place de / . On a alors lquivalence :
ce qui quivaut crire que / > 0 sur [a, 6], c est--dire / < 0 sur
ce segment.
Solution
Soit g ]0,7t/ 2[ et notons I{n) lintgrale tudier. La relation de
Chasles permet dcrire :
^7T/2
I{n) = r s i n^ xdx + := Ii{n) + l 2{n).
JO A-."x d x
La fonction sinus tant croissante sur [0, f |] ainsi que sa puissance
n-ime, on a
0 , ,
fb \ l/n
lim
n>+00 O
Solution
Si / est la fonction nulle, alors m ax/ = 0 et le rsultat annonc est
banal. Sinon, puisque / est continue sur le compact [a, b], le thorme
A.2.42 assure que M := m ax / est un nombre strictement positif et
quil existe un point z G [a, b] tel que f{z) = M.
Soit alors e G ]0, M[. Par continuit de / , on peut trouver un segment
[c,d] inclus dans [o, i>], contenant z et tel que f{x) > M e > 0 pour
tout X G [c, d], do
Mais
b \ l / i
a (/(x )rd x j < < [ ( 6 - a ) M ] '/ "
= {b - M := an,
\ 1/^
Un > U \ i ( x ) r d x j >
tant donn e G ]0, M[, on a trouv des entiers no et n i tels que, pour
tout entier n > max(no, ni), on ait
J\d ^ Ufi ^ A/ 1 2.
lim Un = M = m ax f(x).
n ^ + o o x [o ,6 ]
Solution
Il est vident que sil existe a R tel que f = ocg sur [a, 6], alors
lingalit ci-dessus est une galit.
Pour dmontrer la rciproque, considrons la fonction : R R
dfinie par
pb
h{x) = / {f{t) + x g { t ) d t
Ja
= x^ g^{t)dt 2x I f{t)g{t )dt + I f'^{t)dt,
Ja Ja Ja
et supposons 5 ^ 0 (si 5 = 0 il ny a rien dmontrer). Daprs le
thorme 1.3.5, on a g
^{t) dt > 0, et en posant
2) En dduire Vingalit :
Solution
1) Pour tout X [a, b], on a
0<2<M <M ,
N g{x) n
et lingalit recherche en dcoule aussitt. On notera au passage que
n et N sont strictement positifs car f et g sont continues strictement
positives et que leurs bornes sont atteintes.
2) En dveloppant le produit du premier membre de (*) et en multipliant
par nNg^{x), on obtient, pour tout x [a, 6],
cest--dire
cest--dire
1 < ^ f ( x ) i x ) u : g{x) .
Solution
Les fonctions f et g sont continues et positives sur le segment [0,1],
donc y/J et y/g sont dfinies et continues sur [0,1], donc intgrables.
Puisque de plus 1 < f g sur [0,1], on a aussi 1 < y/J y/g sur [0,1]. La
proposition 1.3.3 et lingalit de Schwarz donnent alors
1 = ( ^ lea;) < V 7 M \ ))
< f{x)dx^ p (x )d ),
do lingalit dsire.
Solution
On a
fg j - +(^y + 2 5 ^ ^J f^
^ i= l ^ ^ i= l ^ ^ i= l ''
{M<-UA
Donc
( fi pb \ ^ ^ fi
^ a i0 i+ f g j <
i= l f i= l i= l
pb pb ^ pb
+ f l 5^ + 2 a i A / /5-
Ja Ja Ja
Or
+ E /
48 I ntgration
do lingalit dsire.
Solution
1) Puisque / est en escalier sur [a, b], il existe une subdivision
D O
rb
0 < / /( ) e <fa: < - J 3 |A i |,
l- '. irt
donc
lim [ f [ x ) ^ ^dx = 0.
n -^ + o o
On en dduit
+o o ^ ( / = 0 et ^ lim ^ S m ^ y /( x ) e dx^ = 0,
cest--dire
fu / dx = 0 et /(a;) = q.
En dautres termes.
lim f /( )e*^da: = 0,
n^+ooj^
Solution
1) La concavit de la fonction x In x donne
(*) a P
2) Distinguons deux cas.
Si J^\f{x)\ dx = 0 ou J * | 5 (x )|^ d x = 0, a lo rs /o u g est nulle
sur [a, i>] daprs le thorme 1.3.5, et dans ce cas lingalit de Hlder
est vidente.
S i /a 0 et S ^ \ g ( x ) f d x 7^ 0, posons
X =
1/1 .. y =
et Isl'*
/ |/(x )| dx f \g{x)f dx
Ja Ja
1/1 l5l
\ 1//3
\f{x)\d x j \ g{x)f dx J
/ \f{x)\-\9{x)\dx
___________ J a ____________________________
\V /3 -< ia + 4/3 = 1.
(ji l/Wr<te) [I
Do lingalit dsire.
Solution
Soit e > 0. Puisque / est intgrable sur [0,1], on peut trouver des
fonctions ip et P en escalier sur [0,1] telles que
avec
I kfji{x)dx < ke .
Jo
On en conclut que la fonction g o f est intgrable sur [0,1].
Solution
1) Observons dabord que, pour tous x ,y R+, on a
V x T < Vx +
intgrable sur [0,1], on sait que, pour tout e > 0, il existe des fonctions
(p et P en escalier sur [0,1] telles que
lV 7 -7 b ll <
Comme de plus
1/ - Ivl I < 1/ - >1 < *.
on conclut que
Ola fonction y/p est en escalier sur [0,1] et vrifie, daprs lingalit
de Schwarz,
\ 1/2
J y/p{x) dx < 1 dx^ ^J p{x) dx^ < y/.
Primitives et intgrales
Dfinition 2.1.1 Soit / une fonction intgrable sur [a, i>] et soit to un
point de [a, 6]. On appelle intgrale indfinie * de / , la fonction
1. Par opposition, les intgrales dont les bornes sont fixes sont appeles alors int
grales dfinies.
55
56 I ntgration
|F ( ^ ) - F ( u ) | = I r f{x)dx < k\ v |,
Ju
do le rsultat annonc.
Quel que soit le nombre e > 0 donn, il existe un nombre h > 0 tel
que les ingalits t < u < t + h entranent |/(it) f { t + 0 ) | < e . Pour
tout U G [i, f + /i], on a alors
F{u)-F{t)
U t
- f(t + o) < e.
F : [a, b] R, i h-- / /( x ) dx
Ja
admet f(t ) pour drive en tout point t de [a, b] o f est continue.
58 I ntgration
On sait (voir [1] p. 134) que si une fonction (j) (numrique ou vecto
rielle) est continue sur lintervalle [a, b] et admet sur ]a, i>[ une drive
droite partout nulle, alors elle est constante sur [a, &]. On en dduit que
si / : [a, 6] > R est continue, alors la diffrence de deux primitives de
/ e s t constante sur lintervalle [a, 6]. Les primitives de / (sil en existe)
sont donc dfinies une constante additive prs.
F : [a, b] >R, f ) dx
Ja
La relation (2.2) est extrmement importante et utile, car cest elle qui
fournit le moyen le plus lmentaire pour calculer une intgrale. Ce r
sultat est souvent appel le thorme fondamental du calcul intgral.
On a alors
{
0 si X = 0
1 si X G ]0 ,1].
' t si i G [1,0[
n t ) = t f { x ) d x = 0 si f = 0
Jo t si g ]0, 1].
Donc F{t) = |i| pour tout t G [1,1]. Comme F nest pas drivable
en 0, elle ne peut tre une primitive de / sur [1 , 1 ].
Notation Sur un intervalle, une primitive de / sera note J /( x ) dx et
elle est dfinie une constante additive prs !
Rem arque 2.1.12 II existe des fonctions / non Riemann-intgrables (et
donc a fortiori non continues) admettant des primitives. Ainsi, la fonc
tion / dfinie sur [0 , 1 ] par
^(1) = (
[ 0 si X= 0
Or la fonction / nest pas Riemann-intgrable sur [0,1] puisquelle
nest pas borne vu que
11 f f{ x )d x .
Jto
Toutes les autres primitives de f sur I se dduisent par addition d une
constante.
(2.3) i f{ x ) g { x ) d x = / ( o + O) g(x)dx.
Ja Ja
soit, puisque 70 = 0 :
rb n -l
/ f{x)g{x)dx = ^ 7 i(A i-A i+ i) + An7n-
i=i
Comme / est dcroissante et positive sur [a, b], on a Ai Aj+i > 0
pour Z = 1 , 2 , . . . , n 1 , et A > 0. Dautre part, on a, par hypothse :
m < ' y i < M pour Z = 1 , 2 ,. .. , n 1. On en dduit :
n1 1 r lzJ
m ^ (A i-A i+ i)+ A J < j {x)g{x)dx < Af |^ ^(A i-A i+ i)+ A n
cest--dire :
do
lim
n+00
f fn{x)g{x)dx - [ f{x)g{x)dx.
Ja
62 I ntgration
fn{a + 0) =
ip{t) = et /( ) =
+\
Puisque ip est de classe sur [0,1] et que / est continue sur linter
valle compact (^([0, 1 ]) = [1 , e], le thorme de changement de variable
donne
e* dx r ,e 7
/ - dt = / -------^ = arctan , = a x c ta n e -.
J q e^* + l Ji 1 + x ^ ' *1 4
t dt
2) Calculons / = laide de la formule de changement de va-
h yJt-\
riable en prenant
<p(i) = / i 1 et /( ) = 2 (^-1- 1 ).
tdt 2 .s, 1^ 20
I ~ Ji - 2 [3 + - 3
est bien dfinie et continue sur tout lintervalle v?([a, b]) (intervalle qui
nadmet pas ncessairement (p{a) et (p{b) pour extrmits).
2) En pratique, on retrouve la formule (2.4) de faon purement mca
nique en posant x = ip(t), et en remplaant dx par dt.
IInnXxdx
dx. .
do
Inxdx _ f^lntdt _ h
In i di
A l + X^ ^ i l IT i2 ~Ja
do
_ Inx dx Inx dx
-b x2
7a 1+^ il l + x2
2.2.5 Exemples d applications
Exemple 2.2.6 Si / est une fonction de classe sur lintervalle [a, 6],
alors
'> /'(X )
/a /'(f{x)x ) dx = I n !/(&)!- l n | / ( o ) | .
[ f{x)dx = f [f{x) + f { - x ) ] d x .
J -a Jo
f f{x)dx = 2 / f{x)dx,
J -a Jo
et si / est impaire :
I f { x ) d x = 0.
J a
Rem arque 2.3,2 La formule dintgration par parties est un moyen trs
puissant pour calculer des intgrales et des primitives.
X
arctan X dx x arctan x dx
/ =
-A + X^
= X arctan X - ln (l + x^) + Cte.
Zi
2) Calculons les primitives de a; In x sur
Les fonctions u : a: i-> In x et u : x a; sont de classe sur Rj.,
et en intgrant par parties, on obtient aussitt
dx = In X - J d x = In X X + Cte.
/ In X X X
pb rn 1
/ u{x) dx = (x)
Ja '-k= l
pb
+ (1)" / u^^(x)u(x)dx.
Ja
Chapitre 2. Primitives et intgrales 67
u{x) = v{x) =
ni
on obtient :
(6 xY (6 - x)
/ (n -l)!
f ^ ^ \x ) d x =
n\ a '^o. n!
/ ( +^)(x)dx.
(6-
f^^^\x)dx
/ (n - 1)!
{b - a)^
m -E
/ =0 l
k\
<
ni
sup |/( ^(a;)|.
ar[a,6]
Rem arque 23.7 Pour une telle fonction / , et par abus de langage, on
note f une fonction dfinie sur [a, b] qui concide avec la drive de /
sur chaque intervalle ]oi,aj+i[ o 0 < i < n 1.
la formule dintgration par parties sur [aj, Oj+i] (0 < i < n 1), on
obtient
rai^i ^ r(ii+i
/ i{x)v'{x)dx = [ui{x) v{x)]^^^ / Ui{x)v{x)dx,
J J 0,%
La valeur dune intgrale de dpendant pas de la valeur de la fonction
aux bornes de lintervalle dintgration, on a aussi
/ O i+ l /'O t+ 1
/ u{x)v'{x)dx = / u'{x)v{x)dx,
J i ^ J di
et par sommation, on obtient la formule dsire.
- sur Rj., les primitives de x i-^ 1/x sont les x i-^ Inx-h Cte.
- sur R!., les primitives de x 1/x sont les x ln (x)-|- Cte.
Nous ntablissons aucun lien entre deux fonctions appartenant respec
tivement lune ou lautre des deux familles de primitives que nous
venons de dcrire.
70 I ntgration
2.4.3 Formulaire
t + i f r
/
/
x dx = -------- hCte (a ^ 1 )
g(a+t^)x
a - t-1
g(o+i/3)x
^
/ = ln|x|-l-C te
J X
/
I sinx dx = cosx + Cte
a + il3 J
J tgx dx = ln |c o sx |+ C te
J[ cos
dxX dx
_ = sin XX + Cte
+ Cte
J sinx ^^2
f dx . ^
J cotanx dx = In 1sinx| + Cte / rax = tg X H- Cte
J cos^ X
f dx . ^
/ dx = cotanx + Cte
J sin' X / s in x c o sx
= ln |tg x l + Cte
j t h X dx = In ch X + Cte th + Cte
J shx 2
dx
/ dx
= 2arctan(e^) + Cte f
J th X
dx
= ln|shx| + Cte
h ch ? X
= th x + Cte
/ sh^a
= cothx + Cte
f dx 1 X ^ f dx 1 , IX ai ^
/ - 9 = - arctan - + Cte / ^ ----- 5 = In I : I + Cte
J x^ -\-a^ a a J x ^ a-' 2a IX + a I
et
ax + b
dx 4d < 0 et n E N*).
/ (x^ + cx + d)
1
un lment simple de premire espce x -, n N*, admet
(x a )
la primitive :
-1
X ^---- T----T si n > 1, X > In |x o| si n = 1.
(n 1 ) (x a)
ax + b
pour un lment simple de seconde espce x
((x +
avec n N* et R+, on crit dabord
ax = a(x p )+ ap.
X P
Les primitives de la fonction x 7, ox.. se calculent faci-
( ( x - p ) 2 + g2)
lement grce au changement de variable u = (x + q^.
Le calcul des primitives de x ------- 7=----- 7^ est ramen, par un
( ( x - p ) 2 + 2 )n
U = et v' = 1 ,
(x^ + 1)*^
72 I ntgration
on a
2nx
u' = et V = X.
(x
^ + 1)"+1
Do
X (x2+l)-l
Fn{x) = 1 2ti dx
(x2 + 1) / (x2 +
qui scrit ;
X
2nF n+ i{x) = + ( 2 n - l)F (x ).
(x2 + 1)*^
1 2t 2dt
cosx = sin x = dx =
l+ i2 l+ i2 IT i2
do
f /1 2t \ 2
/ R {cosx, s in x )d x = J R r^ ) r + l2
En crivant
/ ----------- :---- dx sur T> T
cos X -H sm X J 4 4L
/:cos
COSX
X + sinx
dx
-It J l
dx
+ tgx
et en posant u = tgx, on obtient du = {1 + tg^ x ) dx, do
I
COSX
cos X -h Sin X
dx
-I du
(1 -I- ti) (1 -t- u^) '
En observant que
1 _ 1 ____ u - 1 \
(1 + u) (1 -h u^) 2 \l + u 1 + u^J
1 /1 U 1 \
2VH-U 1 + u ^ '^ l + u ^ )'
il vient
COSX
/ ----------- , X 1 , ,, . X ^
:---- dx = -I- - In (1 -t- sm 2x) + Cte.
COS X -h sm X 2 4
2t 2d t
ch x = 1_^2> s h x = I _ f 2 > -dx
- = I_i2>
J R{chx,shx)dx = J r (j ^ ,
r dx _ r 2dt
= 2 arctan t + Cte.
J chx J W+1
Do
dx
= 2 axctane -|- Cte.
J ch
c hxx
2.4.10 Intgrales abliennes
/ R (x, (f{x)) dx
o R {X, Y ) est une fraction rationnelle relle et x y?(x) est une
fonction dont le graphe est une courbe dite unicursale. Cela signifie
quon peut paramtrer la courbe de la faon suivante : Il existe deux
fonctions rationnelles P et Q telles que
i) i 1-^ P(t) est une bijection continue (des domaines de dfinition de
t et de x).
76 I ntgration
)V A, <piP(t)) = Q{t).
Alors, f R (x-, <p{x)) dx devient f R (P(t), Q{t)) P'{t) dt, et on est ra
men une intgrale de fonction rationnelle.
Nous allons tudier quelques types importants dintgrales abliennes.
Intgrales de la forme
r dt _ 2 /
= arctan U -|- Cte.
J t^ + t + 1 ~ y / l j
Finalement, on a, sur [1, -|- oo[,
ax + i.x + c = , . ( ( x + i ) + +
ax^ + bx + c =
4a
2ax + b
En effectuant le changement de variable t = on ramne le
calcul celui de f S (t, y/1 + 1^) dt o S est une fonction rationnelle.
Ensuite, le changement de variable u = ln (i+ -\/l + 2) (do i = shu)
ramne le calcul celui de / T (sh u, ch u) du o T est une fonction
rationnelle.
x^ + 2a. + 2 dx 2 + 1 dt.
78 I ntgration
J + 1 dt = J ch^'it du = ^ J ch (2u) + 1 du
1 , / V U ^
= - sh (2) + + Cte.
4 2
Finalement, les primitives recherches sont donnes sur R par
= i (x + 1) \Zx^ + 2x + 2
argsh (x + 1) + Cte
i (x + 1) \/x2 + 2x + 2
+ i In (x + 1 + a/ x^ + 2x + 2) + Cte
- Deuxime cas : a < 0 et A > 0.
Alors :
-A
ux^ + bx -\- c
4a
-l-1)
En effectuant le changement de variable t = ^=, on ramne le cal-
cul a celui de f S {t, V l t^) dt o S est une fonction rationnelle.
Ensuite, le changement de variable u = arcsin i (do t = sinit) ra
mne le calcul celui de J T (sin u, cos u) du o T est une fonction
rationnelle.
f dx
Exemple 2.4.13 Calculons / ,
J V -x 2 -I- 4x - 3
On a x^ -I- 4x 3 = 1 (x 2)^ et 1 (x 2)^ > 0 si et seule
ment si X G ]1,3[. Nous nous placerons donc dans lintervalle ]1,3[. Le
changement de variable t = x 2 donne dt = dx, do
f dx i dt
J V x2 -t- 4x 3 J \/l t^
Chapitre 2. Primitives et intgrales 79
/vp =
Finalement, on a, sur ]1,3[,
dx
/ \Jx^ + 4x 3
= arccos (x 2) + Cte.
Vx G K, axr + bx + c = ( ( ---- ) 1 ).
4 a V V \/ ; J
^CbX b
En effectuant le changement de variable t = . on ramne le
calcul celui de J S (i, 1) dt, o S est une fonction rationnelle.
Ensuite, le changement de variable u = In {et+y/i^ 1) (o e vaut-1
si t < 0 et +1 si i > 0) ramne le calcul celui de f T (sh u, e ch u) du
o T est une fonction rationnelle.
dx
/ = = = .
sjx^ - 2x
On a x^ 2x = (x 1)^ 1. Le trinme x^ 2x est strictement positif
pour tout X lment de ] oo, 0[ U ]2, + oo[. Nous allons rechercher les
primitives dabord sur ]2, + oo[. Le changement de variable i = x 1
donne dt dx et donc
i f
J
y/x^ 2x J
y/t^ 1
En posant maintenant u = ln(i + y/t"^ 1) = axgchi, on a aussitt
sh u du = dt et donc, comme shu > 0, il vient y / ch^it 1 = sh u,
do
f dt f
I r-f;-----= I du = U + Cte.
J J
Sur lintervalle ]2, + oo[, les primitives recherches sont donnes par
I dx
yjx^ 2x
= In (x 1 + y / x^ 2x) + Cte.
80 I ntgration
dx
= ln(a; 1 + y j x^ 2x) + Cte.
/ y/x^ 2x
f 2 ^ x e ] o , ^ [
Vn N, 5(x) = <
Il est clair que la suite (gn) converge simplement vers la fonction nulle
sur [0,1] tandis quon a lim 5n(x) dx = -l-oo. On en conclut que
la convergence simple ne suffit pas pour intervertir la limite et le signe
dintgration.
(2.5) f f{x) dx =
Ja n
lim
+00
f fn{x) dx.
7^
Comme f ^ est intgrable sur [o, b], on peut trouver deux fonctions en
escalier (petO telles que
I fn{x)dx- f / ( x ) d x l
1J a Ja I
<
Ja
/ \fn{x)-f{x)\dx <
^
/ f { x ) d x = lim [ fn{x)
Ja n->+oo
do
6 n
(2.6) h + < / f{x)dx < h / ( g + kh).
h=0 Jo' k=l
Les ingalits (2.6) sont de la forme
rb
A < i f { x ) d x < B,
Ja
avec
b a
B -A = h {f{b )-f{a )) =
n
b a
(/(&)-/()),
n
et il suffit, en thorie, de prendre lentier n assez grand pour avoir cette
valeur avec une prcision arbitraire. Mais la prcision obtenue est de
lordre de 1 /n et cette mthode obligerait le plus souvent utiliser un
grand nombre de points de subdivision. Par exemple, pour calculer
/ e* dx 10 prs,
il faudrait prendre n > 100 (e 1), soit n > 172, ce qui exigerait de
calculer 172 valeurs de la fonction intgrer !
(2.7) j f{x ) dx = { b - a ) -H = (b -a ) m + m
84 I ntgration
A ix K x jd x = r 9(x)dx =
^ /( i) + e/ NJ
2 ^ (ai - O i - i ) -------- 5"^------------/ f{ x ) dx
i= l ^ da
est deux fois drivable sur [a, 6], prend les mmes valeurs que / aux
points a et 6 et vrifie, pour tout x G [a, b] :
les mmes valeurs que / aux points a et b, on a alors h(x) < g(x)
pour tout X [o, 6], do
Or.
l-b
(b - a)"
I {x a) {b x) dx =
Ja
13
xt-> f{x) + - { x - a ) { b - x ) .
Do le lemme.
On en dduit la rgle pratique suivante.
a {b a)^ fi{b -a f
(2.9) < S f{x)dx <
12n2 Ja 12n2
ou
n 1
b a
S ;= /( o ) + / ( 6 ) + 2 /(a + k
2n
fc=i
Dmonstration : 11 suffit dappliquer la double-ingalit (2.8) sur cha
cun des intervalles [a -f- (A: 1) h, a -|- kh], avec h = (b a)/n, pour
/ = 1,2, . . . , n, et dadditionner membre membre les ingalits ainsi
obtenues.
86 I ntgration
Soit alors / une fonction intgrable sur [o, b], et soit (ao, a i, . . . , On)
une subdivision de cet intervalle. Dsignons par g la fonction qui prend
les mmes valeurs que / aux extrmits et au milieu de chaque inter
valle [oi_i,aj] (1 < i < n), et qui se rduit un trinme du second
degr sur chacun de ces intervalles. En appliquant la formule (2.10)
chacun de ces intervalles, on obtient
< M jb-af
2880
2. SIMPSON Thomas (1710- 1761). Mathmaticien britannique. Auteur de nom
breux travaux, il est surtout reconnu pour sa mthode dintgration numrique.
Chapitre 2. Primitives et intgrales 87
Vx [a,i>], < M.
Soit (ao = a, oi, . . . , On = &) une subdivision de [o, 6]. Par intgra
tions par parties successives, on obtient
i (oi - x { x - a i - 1 (x ) d x
J a i - i
pO>i
do
-\-2h{ai-i x)^]dx
donc pdi
I /
J d i - i
(^(x) dx
- 2880 n4
En sommant pour i allant de 1 n, on conclut que
pb pb
I / f{x)dx -
Jd
/ g{x)dx < M j b - a r
Jd 2880 n
ce qui est prcisment lingalit annonce.
88 I ntgration
Remarque 2.6.7 Cette mthode donne une approximation trs fine car
lerreur commise est en l/n'^. Cependant, son application peut tre ren
due difficile cause de la ncessit de calculer et de majorer la drive
cinquime de / .
Chapitre 2. Primitives et intgrales 89
//
JQ .-\-T
a+ T
f{t)dt = /
J CL
Solution
1) Daprs le thorme 2.1.9, la fonction F : x -> est
drivable sur M, et on a
Vx G E, F'{x) = / ( x + T) - /( x ) = 0,
Vx G E, G'{x) = / ( x + T) = /( x ) .
Do
pb pb-\-T
/ f{t)dt = G{b)-G{a) = / /(< )d i.
JCi J CL-\-T
90 I ntgration
Solution
La fonction F : [0,1] > R, x Jq f{t) dt est une primitive de /
sur [0,1], cest donc une fonction drivable sur cet intervalle. Pour tout
X [0,1], on a alors
(F (x -)e-^ ^ )' = F ' { x ) e - ^ ^ - C F { x ) e - ^ ^ = (/(x )-C F (x )).
Daprs (*), cette drive est ngative sur [0,1]. On en dduit que la
fonction X i-> F{x) est dcroissante sur cet intervalle. Elle prend
en X = 0 sa valeur maximale qui est 0, donc F{x)e~^ ^ < 0 pour tout
X dans [0,1], do F{x) < 0 et en fait F{x) = 0 puisque F{x) > 0
par hypothse. On en conclut que F est identiquement nulle sur [0,1],
donc / aussi.
- k o^^ 1 /
^ n 2 e fc /" + 2) + 2n + k
k= \ k=
\ k=
l
Solution
l) O n a
Tl 1 ^ Tl 1
V^ ^ = 1Tl. V -
^ ^ T). *
k= l ^ k= l ^
Chapitre 2. Primitives et intgrales 91
lim i e = i x e ^ d x = l - 2 e ^ .
n-^+OOn Jq
In
k=l
Comme la fonction x ln (l + x^) est continue sur [0,1], on a
f ln (l + x ^ )d z = [ x ln ( l + x^)l^ 2 I ^ x^ dx
Jo Jo 1
= ln 2
dx
= ln 2 - 2 + 2
/ 0 i +
= ln2 2 + 2 [arctan x ]^ ln2 2 + ^ .
/ u2 \ t / n
+ = 2 e x p ( - - 2 ) .
fc=l ^ '
3) On a
^ 1 / k _ \ - A ___1 / k/n
n + k \ 2n + k
n ^^ 1 + k} / n Y 2 + k / n
k=l =1
92 I ntgration
1 I X
et la fonction x i->------ . -- ----- est continue sur fO, 11. Donc
1+ x y 2 + x ^^
um i v ' = r 1
n-+oo n j 1+ k /n y 2+ k /n Jq 1 + X y 2+ X
= r ~ dx.
Jl X y x + 1
X - 1
Le changement de variable t = \ ------- donne
V X +1
r-i/v /3 4 t^ d t
Jl x J X + 1 Jq (1 + ^)(1 ^)
j-i/V / 2 1 1 \
dt
= ln 2 2 a r c ta n - .
3
Donc
T 1 / fc 1 r\ n ^
lim > T A/ r = In 2 2 arctan
n77,
>-1-00
+ 0O f '^ n
k \ 2 ti + k
k=l
4) On a
^ _ 1 ^ k^/n^
fc^/r
8/c^ + v?
8k^ n^ n ^ S(k^/n^)
S ik^fn^) + 1
k=l k=l
X^
et comme la fonction x i-* 5----- est continue sur fO, 1 ], on a
1 k ^ /n? _ x^dx
n-i +00 n S{k^/n^) + 1 J q 8x ^ + 1
do
k^ 1
lim V ^ ^ = ln3.
n-f+oo 4' 8A;3 + 12
*:=1
Chapitre 2. Primitives et intgrales 93
lim y ^ l n f l - t - = f ln ( l- h x) dx,
do
= [ ( l + ^ ) l n ( l + x ) - ( l - h x ) ] J = 2 1 n 2 - l.
k=l ^ '
Par continuit de lexponentielle, on en dduit
lim = e x p ( 2 1 n 2 - l) =
n+ o o y n !n / e
6) La partie entire dun nombre rel x est, par dfinition, le nombre
entier E{x) vrifiant x 1 < E{x) < x. On a donc, pour tout entier
fc > 1, VX - K E{Vk) < Vk. Do
k=l ^ V / V
enfin
y/n n y /n
k=l V n
^ Vn n
94 I ntgration
2
lim
n > -+ o o 0 3
et comme de plus
lim 1 = lim - V ^
n-+oo n Vn -Jn n-^+<x> n Vn
k=l k=l
on conclut par le lemme des gendarmes que
lim ^ ' ^ E { V k ) =
n -v/n "
i-* + o o 3
k=l
^ ( : ) =
fc= 0
Solution
Par linarit de lintgrale, on a
s f i ' -
^^k +n \k j A n+ 1
Chapitre 2. Primitives et intgrales 95
Exercice 2.5 Soient / : [0,1] > M une fonction continue et <p une
fonction dfinie et convexe sur E. Montrer que
lo
Solution
Puisque V? est convexe sur R, elle est continue, donc (po f est continue
sur [0,1], donc intgrable sur ce segment. De plus.
ainsi que
= l iv -fm d x .
En passant la limite lorsque n > +oo dans (*), on dduit, par conti
nuit de ip :
Solution
1) On a dune part.
et dautre part.
\dt
Do lencadrement dsir.
2) La fonction / tant continue sur le segment [a, ], il existe c [a, 6]
Chapitre 2. Primitives et intgrales 97
Do lingalit annonce.
Exercice 2.7 Soit / : [0,1] >R une fonction de classe telle que
m = /'(1 ) = 0
1) Montrer que
f f{ x ) dx
O 0<X <1
Solution
1) Posons
= f m dx.
Jo
98 I ntgration
et donc
1
-f = 2 y 2x) f"{x) dx.
< X su p | / " ( x ) l.
O 0<o;<l
Do lingalit dsire.
2) Puisque la fonction
| / '( x ) l = su p l/ " ( t) |.
0<t<l
Cela ncessite que |/ " | soit constante. Comme cest une fonction conti
nue cela ncessite que f " soit constante. Alors
V n N * , V ( i , . . . , x )
\ i= \ i= l
b)
V (a ,6 ) R , V \ ^ \ > \VW\ - VWW-
2) Soient f , g : [0,1] ^ R+ continues. Montrer que
~ l v T sra g d z .
Solution
1) a) Pour tous a , b e R+, on a y/~+b < y/ + Vb, comme on le voit
en comparant les carrs. On en dduit que
n \ 2 n
= + 2 v v J
i= l ' i= l \<%<j<n =1
do
/^ >
2=1 \ i=i
b) Pour tous a, b 6 R, on a daprs a) :
On a alors
lim
n -* + o o
Vn = f
Jq
y / f{x) -h g{x) dx,
do
lim Un = y/f{x) -1- g{x) dx,
n -* + 0 0 J q
Chapitre 2. Primitives et intgrales 101
Solution
Posons y = ^J{x a){b x). On a y > 0 et
= {x a) {b x) = x^ + (a + i>) X ab,
do
x^ {a + b) x + y^ = ab
que lon peut aussi crire sous la forme
i a + b\ ^ 2 f ^
(*) h ( )J + > ' = ( )
Or (*) est lquation dune ellipse, on peut donc paramtrer en posant
a+b b a
X cos
,2
b a
y sin^,
et
Donc
rb --------------------- /f
J y/{x a){b x) dx = J ^ de
cos 20
dO,
m't-
102 I ntgration
et finalement
y/(x a){b x) dx = {b a ^
f 8
6^ 1
Exercice 2.10 1) Montrer que la fonction f . -----:: - ^ est
arcsin i t
borne au voisinage de 0.
2) Calculer
f 2x gt
lim /, dt.
^0+ 7-r arcsin t
x-o+
Solution
1) Pour tout t au voisinage de 0, on a
i (1 + i + o(i)) ~ { t + 0(i2)) 2 +
m = 2 + o(i2) i2 + o(i2)
donc
lim
i->o arcsin t t
La fonction / est donc borne au voisinage de 0. Il existe donc des
nombres rels a > 0 et M > 0 tels que
V i ]0 ,o [, < M.
arcsin t t
dt < M X.
\Jj. arcsin i I \Jj. \ arcsin f tj
Donc
lim dt = ln2.
a:-*0+ Jx arcsin t
Chapitre 2. Primitives et intgrales 103
Solution
Soit G la primitive de g sur [a, i>] qui sannule en a, cest--dire :
/*x
(j : [a, 6] ^ R, / g{t) dt.
Ja
Do
Solution
Lquation propose quivaut au systme :
f{x) =
{ /(0 ) = 0,
e - f ( ^ ) f ( x ) = 1.
En intgrant, on a
= x + a.
-
On obtient ainsi
/( x ) = - ln (l - x).
e/(t) -
1 -i
do
f\m d t= r ^ = - i n ( i - x ) = /( x ) .
Jo JO ^
Donc / : ] oo, 1[> R, x ^ ln (l x) est bien solution de
lquation propose.
ip^) + / W dt = 0.
JO
Chapitre 2. Primitives et intgrales 105
Solution
On a
f {x) = f tf{t)dt - x i f { t ) dt .
JQ Jo
Il en rsulte que /(0 ) = 0 et que / est drivable sur E comme diff
rence de primitives de fonctions continues sur R. On a alors
Solution
1. En intgrant par parties, on obtient
/ - ^ - J
arcsmxdx = y A-----
/ l X^^ arcsinx
+. / . --- dx
= arcsin X + X + Cte,
106 I ntgration
do
On en dduit
J arctan(-v^) dx = J ^ arctani di
= arctan t dt,
- / r + 2
avec
1 1
/ arctan( ^ ) dx = X arctan-^ + - ln(l H-x^^^) + Cte.
Donc
xr Inx _ Inx 1 f dx
J (x^ H- 1)^ ^ 6(x^ l)2
6 (x^ + 1)2 y x(x^
6J ; + l)2*
Le changement de variable x^ + 1 = i donne ensuite
r dx _ 1 /* ^ ^ ^^ 1 /* dt
y X(x3 + 1)2 si (t-l)i2 si 2 ' S y t - l
1 1 . i - 1 H Cte,
Chapitre 2. Primitives et intgrales 107
, n2 . / \ 21 ^ /'^ arctan X ,
/ X (arctanx) dx = (arctanxj / ;----- 5 dx
Jo L2 J0 7o 1+ ^
7T^ , , ar
arctan X ,
arctan X dx + I ------tt dx.
32 Jo 7o 1 + x^
Or, daprs lexemple 2.3.3,
I If 1 1 /1 2\1^ 1^2
I arctan x a x = - x arctan x - ln (l + x ) =
jQ 2 L 2 J0 4 2
et dautre part.
arctan X , 1 d ., , 0, ,
I = 2/0
= i [(arctanx)^]J =
On conclut
/ \2 J 1 1
J X (arctan xj ax ~ 2
x^ + 11
,.5 -L fr dx f^ X dx
xdx f ax^ dx
J x6 + x4 J x4 - x2 -2 J X-3-3X + 2 J + X'4
Solution
1. Pour tout X G R * , on a dabord
x^ + l X 1
+
X + x'^ X^ + 1 X + x*
108 I ntgration
et puis
1
______ OI
= 1 _ 2-2
X^ + 1 x2 + 1
do
1
(x^ + 1) X"* X^ x^ + 1
Donc
et par consquent
xdx 1 1 2 , x 1
H Cte.
/ x^ 3x -h 2 3 ^ + 9 * x+2
x^
1 + x^ 2\/2 \1 >/2x + x^ l + ^/2^ + a:^ )
Chapitre 2. Primitives et intgrales 109
De plus.
X 1 2x y/2 1
+
1 \/2 X + x ^ 2 1 ^ / 2 X + x ^ \/2 1 y/ 2 x +
et
X 1 2x + \/2
1 + \/2 X + x^ 2 1 + y/2 X + x^ \/2 1 + \/2 x + x^
On en dduit
x^ dx 1 1 1^ ( ^ l - ^ x + x^N
/ r + x^ 2y/2 [2 1 + \/2 X X J
+ arctan(V^x 1) + arctan(\/2x + 1) + Cte.
cos X d x f ^~ da; i f dx
/ sin^x + 2 t g ^ x J sinSx J c h x - c h a J dix Vch2x
Solution
1. Lexpression sous lintgrale tant invariante quand on change x en
7T X, la rgle de Bioche invite effectuer le changement de variable
t = sinx. Do
cos X dx COS X dx
sin^ X + 2 tg^ X = / -sin^x + 2
sin ^ X
1 sin^ X
dt 0- ~
3i2-i4
x-\ 1 2
+
X (X -3) zx z{x-zy
110 Intgration
donne
-1
i2(i2_3) 3i2 + 3 ( i 2 - 3 )
do
_ 1 1 t-
In + Cte.
/ 3i2 - 4 ^ i +V3
Finalement
cosx* J = :------h
1 1 In sina; - ^ / 3
dx ) Cte,
/ sin^ X + 2 tg2 X sin X 6 a/3 sin x +
ces calculs tant valables sur R \ ttZ.
2. Lexpression sous lintgrale est invariante lorsquon change x en
X, la rgle de Bioche suggre le changement de variable t = cos x.
laide des formules lmentaires 1 cos2x = 2sin^ x et sinSx =
3 sin X 4 sin^ X, on obtient
f l cos 2x ^ r 2 sin^ X dx 2 dt
J sin3x ^ J 3 s in x 4si n^x J 3 4 (1 f2)
J \l- 2 t l + 2tJ
do
1 cos 2x , 1 , 1 + 2 cos XI
------------ ox = - m + Cte,
/ sin 3x 2 1 2 cos X
ce rsultat tant valable sur tout intervalle ne contenant pas de point de
la forme kn/Z o & Z.
3. Pour a ^ 0, le changement de variable i = e donne
f f ^
J chx cha J 2 _ 2i cho + 1
l r dt 1 f dt
sha J t e^ sha J t e~
do
dx
/ chx cha sha \eiX ^ CL\ + Ct6.
Chapitre 2. Primitives et intgrales 111
Si maintenant o = 0, alors
J chx 1 J 2 +1
dx f tdt f tdt
J e^^-2e^ + 1 J t ^ - 2 t + l ~ J ( - 1 ) 2
r tdt _ n U 1 111 ^
du = ------ 1- In ki + Cte
J - J ~U U
+ 2 In [t 1| + Cte.
t-1
On conclut que
+ 2 l n | e * - 1| + Cte,
1 1
chx Vch2x ch^x V T T t h ^
r dx _ f dt
J chx Vch2x J V I + 2'
do
dx
= In (th X + \ / l + t \ ^ x ) + Cte.
/ : chx Vch2x
dx
L ( i + i 2 ) V T ^ i V x + i X \/l + X + ^1 + X
Solution
1. Le changement de variable x = sin t donne dx = costdt, do
dx _ dt
Jo (1 + x^) \/l - 7o 1 + sin^i
dt
Jo cos^ i + 2 sin^ i
fr/4 11
j-IT/4 1
dt.
7o cos2 i 1 + 2 tg H
_ l _______ 1 _ du
Jo COs2 1 + 2 tg2 i * Jo 1 + 2^
du 1 dv 1 /-
/ = }= / ^ aj:ctanv2.
7o l + 22 \/2 y o l + V2
Ainsi,
l/v^ dx
= = axctanV ^.
l (1 + x^) \ / l x^ -\/2
Chapitre 2. Primitives et intgrales 113
2 + 2
t ou encore x =
V i+ i r ^
6i
on obtient dx = dt, donc
(1 - 2)2
6i2 ( 2 + 2)
dt.
i2)3
6*2 (2 +<2) _ 1 / 33 3 21 21
(1 - *2)3 8V + 1 i-1 (* + 1)2 (*-1)2
18
(* + 1 )3 (i-i)V
donne aussitt
6 *2 (2 +*2)
dt = ^ ( 3 1n|* + l| - 3 1 n | * - l| +
/ (1 - *2)3
+ Cte.
*- 1 (* + 1)2 (*+ )
-2 , 2x-h r-^----------
I-M dx = - y x^ X 2
dx
f f '^ &^t^ d t
^/ + x + v r v . ~ Ji 1+ 1
114 I ntgration
2 , 1
= ^-+ l-
1+ 1+i
do
[ s i* - 3 t^ + 6 t - 6 ln (l + i)]^
= 10 ^ -U -6 1 n (i^),
et finalement
dx
/ V 2 /
V l + a: + X
shx
Exercice 2.18 1) Pour a M+, calculer dx.
= I l + chx
2) Intgrer par parties l expression
ch
dx^
= i + chx
et en dduire la valeur de
^ dx
= i + dix
Fia)
et en dduire Vexistence et la valeur de lim ------ .
a > -+ o o a
C hapitre!. Primitives et intgrales 115
Solution
1) La fonction intgrer est de la forme u '/u o u{x) = 1 + chx. On
en dduit que
, r sh x 1 r sh^x
G{a) = , + / dx.
[1 + c hxJ o Jo (1 + chx)2
On en dduit que
sha
H{a) =
1 + cha
puis G{a) = a H (a) cest--dire
sha
G{a) = a
1 + cha
H{a) ^ ^ G{a)
hm = 0 et hm ^ = 1,
a -+00 a a -+00 a
et par consquent,
lim M = 1.
a >+00a
116 I ntgration
Solution
Notons I lintgrale calculer. En posant x = tg i, on obtient
/c o s + sin
Jq \ cost J
7T
Mais en posant u = i, on trouve
^7t/4
J In ^cos ^i di = J I ncos ndt i .
Donc
TT
/ = - ln2.
Vx [a, 6], / ( a + 6 - x) = /( x ) .
Montrer que
i X /( x ) dx = f /( x ) dx.
Ja ^ Ja
Application : Calculer les intgrales :
Solution
En utilisant le changement de variable t = a + b x, on obtient
pb rb pb
/ X f{x) d x = {a+bt) f{a+bt) d t = (a+bx) f{x) dx.
Ja Ja Ja
Donc
pb pb
2 I Xf{x) dx = (a + b) I f{x) dx,
Ja Ja
do le rsultat dsir.
Application :
sin x
La fonction O ; fO, ttI ^ R, x i-> ^ , vrifie
V xe[0,7r], g{-K - x ) = g { x ) ,
donc
X sinx , TT sinx ,
/ ------------- ~ d x = / ----------- X d x
Jq 1 + cos-^ X 2 Jq 1 + COS"^X
= ? [ arctan (cosx)] q,
donc
sin X X
dx =
+ COs2' X
Jq 1 4
X cosx sin x
' La fonction h : [0,7r/2] >R, x i ---- ^ ^ vrifie :
cos'^ X + sin* X
Vx
donc
/7T
X
-Tf cosx
r-. sin; 7T cosx* sinx* r'J nr
/ cos'* X + sin* 4 .Jo COS"^X + sin^ X
p n l2
7T sin 2x ,
-------------
dx
4, L 2 sin^ 2x
^5t/ 2
7T sin 2x
--------------7, d x .
4 , /. 1 + COs2 2x
118 I ntgration
sin2x , 11 / ' _ di
= a rc ta n l =
7o
/0 1 + cos2i2 2x 2 y _ i 1 + i2
Finalement
7t/2
X COSX Sinx , TT
/ ---- ;;--------- 3 dx = .
cos'* X + sin X 16
dt
Exercice 2 ^ 1 Soit F{x) = J .
Solution
1) La fonction f 1 / In i est continue sur ]0,1[U]1, + oo[, et elle
tend vers 0 quand t tend vers 0, on peut donc la prolonger par continuit
en 0 en posant /(0 ) = 0. De plus, si x ]0 ,1 [, alors [x^, x] C [0,1 [ ; et
si X ]1, + oo[, on a [x, x^] C ]1, + oo[. On en conclut que la fonction
F est dfinie sur T> = ]0, l [ u ] l , + oo[.
2) / tant continue sur V , elle y admet une primitive, disons p. On a
alors, pour tout X 2?,
/'(* ) = ~ t7 In
T ^i ^
ce qui montre que / est dcroissante sur ]0 ,1 [ et sur ]1, + oo [. Or, pour
tout X ]0 , 1[, on a < X, donc
X x^ ^ dt ^ X x^
lii 2: ~ J3.2 In i ~ 2 In X
Donc O
X X^ X
Vx ] 0 , l [ , < F{x) <
2 I nx ~ ~ Inx
De la mme manire, on montre que cette double ingalit est vraie pour
tout X g ]1, + oo[.
Les ingalits ainsi obtenues donnent immdiatement :
ainsi que
F(x)
lim Fia:) = +oo et lim ----- - = +oo.
X^+OO X>+00 X
4) Pour tout X G D, on a
120 I ntgration
Mais, pour tout X ]0,1[, on a < x, donc pour tout t [x^, x], on
aura i In i < 0, do
X
< - i - <
i In i i In i i In i
donc
^ td t
- X ln 2 < - x ^ ln2,
- jj.2 t In
et de l
lim F (x ) = ln2.
X^1
5) Daprs ce qui prcde, on peut prolonger F par continuit en 0 et en
1 en posant F{0) = 0 et F ( l) = ln2. De plus, les calculs de limites
dans la question 3) montrent quon a aussi
de mme quon a
vx. . F -(x) = ! ; i i ^ .
In X
Or (Inx 1 + x~^y = (x 1) x ^, ce qui montre que la fonction
X 1-^ In x 1 + x ^ admet un minimum absolu en 1 gal 0, donc
Vx G P , F"{x) > 0.
Chapitre 2. Primitives et intgrales 121
pT\
cos X dx , sin X dx
et J
= /lo V l + cosx sin a; Jo v T + s z s n x
Solution
7T
chang
Le changement de variable x = t ramne immdiatement J la
forme I. On a donc
1 cos X + sin X
^= =H V T + c ^ x s in x
dx
y/2 cos (x dx
^ -^0 ^ 1 + cos (2x - I )
Le changement de variable :
U = sin ~ ~ = 1 2u^,
donne alors
V2 V^/2
V2 /-^ /2
sin I U \ / -
arcsin
2 J-V2/2 2 - v^ /2
= a r c s in - ^ .
V3
P7T/2
S in X COS X*
/ dx = 0.
0 V cos"^ X + sin"^ X
122 I ntgration
Solution
1) Notons I lintgrale tudier. Si lon pose t = /2 x, on obtient
aussitt
cos t sin t ,
- f dt = - I ,
0 X + cos'* t
do / = 0.
2) Notons J lintgrale propose. Le changement de variable t I f x
dans lintgrale J donne
f \ f ^ \ 1 dt
J
= ' 7 7
'1/2
Do J = J, et finalement J = 0.
T( \ ^arccost dt.
Solution
1) Puisque arccos 1 + arccos(1) = 0 + tt = tt, la formule propose
est vraie pour t = 1 et pour t = 1. Supposons que t 6 ] 1 ,1[. La
Chapitre 2. Primitives et intgrales 123
v t |- i .i [ , / '( 0 = - ^ + ^ = 0.
Do la formule dsire.
2) Le changement de variable u = t donne
arccos f , aiccos(u) ,
arccos t TT du arccos u
et finalement
arccos i , TT /* du
I ----- 7T dt = I -------^ = TTarctan X.
l + i2 2 j _ ^ l + u^
x2
Vx* G M, 6 ^ 1+ X* H
I .
2 6
Solution
La fonction / : X tant de classe sur M, on peut lui appliquer
la formule de Taylor avec reste intgral sur [0, x] lordre 3 :
X , .2
2;" ..3
x^ rrx (a; _
e - l +x+ - + -+ J ^ e' dt.
3!
124 I ntgration
On en dduit que
- (i + ^ + y + y ) = I * *
/* (a; _ f\3
Pour X > 0, lintgrale / ^ e dt est positive (les bornes sont
Jo 3!
dans le bon sens et (x t ) ^ > 0 pour tout t [0, x]).
(x
Pour X < 0, lintgrale / dt est encore positive. En effet,
Jo 3-
posons t = U, on a dt = du et
do lingalit dsire.
Solution
En appliquant deux fois la formule de Taylor avec reste intgral, on
obtient, pour tout X G [a, a],
/( a ) = /( x ) + (a - x) /'( x ) + f (a - i) f"{t) dt
Jx
Chapitre 2. Primitives et intgrales 125
ou
= M { a ^ + x^)
Solution
Posons
W i( ) = r f( . -------^ d x .
Jo f{x) + f { a - x )
Le changement de variable t = a x donne
/(a -i)
(**) dt.
i l
= Jo / ( ~ *) + / ( 0
126 I ntgration
2 /(a) = f fjx) + / ( q - x)
dx = a.
Ja f(^) + /( -
Donc
r _____ M _____ =
h /( x ) + / ( o - x ) 2'
Application :
En prenant a = 7t/ 2 et /( x ) = (cosx) o x [0,7t/ 2], on obtient
Ju{x)
Solution
1) Soit X G /. On a (x) J,v{x) J , et comme / est continue
sur J elle lest en particulier sur le segment [u(x), v(x)], donc '(x)
existe. La fonction \t' est donc dfinie sur I. Comme / est continue
Chapitre 2. Primitives et intgrales 127
ce qui montre que 'i' est de classe sur I comme diffrence et com
pose de fonctions de classe sur I.
2) De la relation (*), on dduit, pour tout x G / ,
do la formule dsire.
Jo n
Solution
X - 1
< -.N otons M = sup l/(x )l et observons que
2 xe[o,i] ^
n^Un ~ ^ Jo J x /( x ) d x .
128 I ntgration
On a alors
r^~'^ ^
Un < M 1 x^dx + 1 ; I dx
Jo Jo
<
n+1 Z
< M n (l-7 ? )" + ^ + I
2 (n + 1) (n + 2)
Zi
Comme M n ( l tend vers zro quand n tend vers linfini, il
existe iV N tel que
n^\un\ < 2 + 2 ^
g{x) = f i x ) - f i l ) (x - 1 ) - / ( 1 ).
Un = [ x ^ g { x ) d x + [ x (/'(1 ) (x - 1 ) + / ( ! ) ) dx
JO Jo
/ 1\ r /Tr.^"I*2 ^
= b ) + +
( ) + ^ 2 b i'
Chapitre 2. Primitives et intgrales 129
Or
1 1 1
n+ n 1 + n
et
1 1 _ 1
n + : n 1+ ! n
do
lim
X -0 +
X Jo
f t f ( t ) d t = 0.
Solution
La fonction i i-> i tant intgrable et positive sur [0,1], et la fonction /
tant continue sur [0,1], la premire formule de la moyenne (thorme
1.3.12) sapplique, donc
/**x 2
3cx [0,x], t f { t ) d t = f{cx) tdt = /(c i) y .
(*) tf{t)dt = |/ ( c ^ ) .
Solution
1) - Pour tout X M* fix, on a
t=l
sin(ix) sin x
/o (x ) = / cos{tx)dt =
Jo Jt=o X
/i( x ) = / (1 cos(ix) dt
Jo
t=i
r,, 2 x S in (ix )r ' 2 r . , , .
= (1 ~ t ) 7 H / i sin(ix) dt
L ^ J t=o -io
= I t sin(ix) dt,
e Jo
ainsi que
f t sin(ix) dt = t + ~ / cos(tx) dt
Jo L ar x7o
cos X Sin X
+
X X2
Do
Sin X X cos X
/i( x ) = 2
x^
- En effectuant des intgrations par parties successives, on obtient
g
/ 2(x) = ^ (3 sin x 3x cosx x^ sinx).
Chapitre 2. Primitives et intgrales 131
lini/o(a;) = 1.
lin i/i( x ) =
X0
Enfin,
2) Pour tout X G R, on a
do
liin l /n ( x ) - /n ( 0 ) l = 0,
ar)-U
ce qui montre que, pour chaque n N, /n est continue en 0.
3) Intgrons par parties en posant
tt = (1 i^) et v' = 1.
On a alors
u' = n { l (~ 2 i) et V = t.
132
On obtient facilement
_ 2n + 2 ^
= T T s ^(0),
do lon dduit aussitt :
, , _ (2n + 2) 2n 4 2
' ~ (2n + 3) (2n + l ) - - - 3 avec /o(Q) = i.
On a donc
, (2n + 2 ) 2 n - - - 4 - 2 o2(n+ri r/
(2n + 3) (2n + l) - - - 3. 1 ^ ------
(2n + 3)!
2) En dduire que
Vo, h G K+ Cib ^
Solution
1) La fonction
px pj
5 : R + - ^ R , x^-^ / f { t ) d t + / f-i/.N
Jo Jo ' \^) dt - :
est drivable sur R+, et on a
g \x ) = f{x) + f i x ) f - \ f { x ) ) - (/(a;) ^ ^ ^
Chapitre 2. Primitives et intgrales 133
Solution
1) Pour tous jp, g G N, avec p > 0, intgrons par parties en posant
u= et u' = (1 x y .
On a alors
u' = px^~^ et V = (1
1+ ^ ^
donc
= [ x ^ { l x y d x
Jo
dx
I{p-l,q+l).
1+ 9
De proche en proche.
dx
= / + 1)
1) Calculer I q et I\.
2) Pour n > 2, trouver une relation de rcurrence entre In et In-\-
Solution
1) On a immdiatement
Iq(x ) = J dx = X + Cte.
1 1 1 x -2
x^ -hl 3x-t-l 3x^ x - l - l
et comme
x-2 1 2 x -1 1
x^ x - l - 1 2 x ^ x-t-1 2x^ x-l-l
/,( x ) = i InH + x l - 1 -x + 1) + i y i d + T -
136 I ntgration
Or
2 . / 3 3
x- + l = i x - - l + +1
iU - l) ) '
et en posant
il vient
r dx _ VS fr dt ^/3
J x^-x ++ 1l ~ T2 J/ ? T = T
V3 2 / 1 ^
= arctan = I X - I + Cte.
2 V sV 2 '
Finalement,
= /n -i( ) - J dx.
{x^ + 1)^^
Une intgration par parties dans la dernire intgrale donne
X X
X dx =
/ (x-3 + 1 ) 3 (n 1) (x^ + 1) ^
dx
+
S{nh 1)
r Jj (x^ + l ) i
soit
X 3n 4
In{x) = + / _ i(x ).
3 (n 1) (x^ + 1) ^ 3n 3
^7T/4
Exercice 235 Pour tout n N, on pose /,n = / tg - xdx.
Jo
Chapitre 2. Primitives et intgrales 137
Solution
1) Pour tout X dans [0,7r/4], on a 0 < tg x < 1, ce qui entrane
0 < X < tg*^ X. En intgrant sur [0, tt/ 4] cette double ingalit,
on obtient aussitt : 0 < 7n+i < In, ce qui montre que la suite (/) est
dcroissante et termes positifs.
Comme tg est convexe sur [0, 7t/ 4], sa courbe reprsentative sur cet
intervalle est en-dessous du segment joignant les points dabscisses 0 et
7t/ 4 ; autrement dit, on a
r Tr] 4
VxG 0, , t g x < X.
L 4J TT
On en dduit que
/4 \n TJ-
0 < In < (-x) dx =
Jo V tt / 4 (n - |- l)
lim In = 0.
n J>+00
2) On a
< In <
2 (n -h 1) 2 ( n - 1)
138 I ntgration
do
< 2 n /n <
n +1 n 1
Le lemme des gendarmes donne alors lim 2nJn = 1, cest--dire
n >+00
Solution
1. On a
/w/4 rtn+l 2;1 "/4
r+n+l,
In + I n+2= tg x ( l + tg^ar)ito = ^
Jo L n -h 1 n+ 1
I q = -TT et 7i
T r
= r|^ -ln (co sx )J^. /
= .
^ ^7t/4 1 dx
Jn+2 /
Jo
L COS^X c DS^a;
I^/4 ^7t/4 sin x
+ /r tg x dx
COS^ a Cos"+l X
sin^a
= {^pf - n i dx
Jo Cos"+2 X
= { V 2 r -n ( J n + 2 -J n ) ,
Chapitre 2. Primitives et intgrales 139
X (V 2)" , n X
n+ 1 n + 1
On peut donc calculer de proche en proche chaque J sachant que
J = et J . = +
Kn = ^ (lna;)" ^dx = e - n K n - i -
Too ( s ) ^ = 0-
=0 ^ ^
Solution
1) Pour chaque n N * , la fonction / : [0,1] R, t >-> y/1 t
est continue, donc il existe a G [0,1] o / atteint son maximum.
Comme de plus /(0 ) = /(1 ) = 0, et que / (f) > 0 sur ]0,1[ et /
est drivable sur ]0,1[, on a
.n 1
O',
Ckn ^ 1 / (t^n) (2n - (2n + 1) o:) = 0,
2y/T^^r
2n
do an = . Ainsi, puisque
2j + 1
(*) lim [ V l t dt = 0.
n>-+00 J q
2) On a
f y/l t dt = 2 f (1 ds
Jo Jo
= -SC) 2k+
et de () on dduit aussitt
V i2 fk +i i3 ; = 0.
n->-+oo ^ \k j
k=0 ' '
Chapitre 3
Intgrales gnralises
141
142 I ntgration
Dfinition 3.1.1 Si F{x) admet une limite (finie) t lorsque x tend vers
b, on dit que lintgrale gnralise f{t) dt existe, ou quelle conveige,
et on lui attribue la valeur . On dit aussi que lintgrale de / sur [a, [
est convergente et quelle vaut .
Les intgrales de / sur [o, 6[ et sur [c, 6[ sont donc de mme nature
(i.e. toutes deux convergent ou toutes deux divergent) ; en cas de conver
gence, les intgrales gnralises diffrent de la constante A.
d) Le changement de variable u = t donne
J f{t)dt = J^ f{-u)du,
ce qui montre que tous les rsultats de convergence que nous allons
tablir lorsque oo < a < b < -l-oo sadaptent automatiquement au
cas oo < a < b < -l-oo.
Chapitres. Intgralesgnratises 143
r dt _ r i - +i x~^+i - 1
J i [-a + 1 a -h 1
144 I ntgration
Pour a > 1,
j-a+ l_
X
1 1
lim
- a + 1 a -1
, /-+ dt f+ dt _ 1
donc / converge et
Ji i ' Jl i a + 1
Pour a < 1,
x"+^ - 1
lim = -1-00,
a -h 1
donc / diverge.
- Si a = 1,
r dt f+ dt
I = In x et lim In x = +oo, donc / diverge.
Jl t Z+00 Ji t
2) II suffit dadapter la dmonstration du cas 1) en considrant x dans
]0 ,1] et en le faisant tendre vers O'*.
Il arrive que / : [a, 6[> R soit une restriction dune fonction num
rique / Riemann-intgrable sur [a, 6]. On sait alors que la fonction F
dfinie par (3.1) est une restriction [a, &[ de la fonction continue
PX PX p(l
I f { t ) d t I f { t ) d t = I f { t ) d t = Cte.
Je Jd Je
+0O
dt
= axetanx.
/ X 1+^
/+ dt _ dt _dt TT TT
J -<x> 1 + 7-00 1 + Jo 1
Ja
est une forme linaire sur ce sous-espace vectoriel.
Dmonstration : Il sagit dune simple consquence des thormes
sur les limites.
I r^"
Ve G R ;, 3 c g [a,b[, W , x " G [c,b[, / f{t) dt < e.
Jx'
Dmonstration : Considrons la fonction
F : [a,M- X f m dt.
Ja
Par dfinition, f{x) dx converge si et seulement si limF() existe
et est finie. Il suffit alors dappliquer F le critre de Cauchy pour les
fonctions (voir thorme A.2.22).
Chapitre 3. Intgrales gnralises 147
[ f{t)dt\< \f{t)\dt.
Ja I Ja
Dmonstration : Daprs le critre de Cauchy, on a
f f{t)dt\< I \f{t)\dt,
Ja I Ja
et comme les intgrales de / et de | / | sur [a, 6[ sont convergentes,
on peut passer la limite quand x tend vers b, ce qui donne lingalit
dsire.
On a
1) Si J 5(f) dt converge, alors f{t) dt converge.
2) Si f{t) dt diverge, alors g{t) dt diverge.
sin i
Vi [1, + oo[, 0 < <
-
a
1 + cos t
Vi 6 > .
- t
Le rsultat qui suit fait appel aux notations de Landau que nous rappe
lons au paragraphe A.2.26.
donc
Vi e [c,b[, ^g{t) < f(t ) <
En particulier.
Vi[c,6[, f{t)>0.
Ceci tant, comme
t f { t ) dt = F ( 6 - 0 ) - F ( a + 0).
Ja
En appliquant ce rsultat chaque sous-intervalle [ci_i,cj] dune sub
division {ci)o<i<n de [a, 6], on obtient la proposition suivante.
f f i t ) dt = F { b ) - F { a ) .
Ja
Dmonstration : Pour chaque i = 1,2, . . . , n, la fonction / admet
une intgrale gnralise conveigente sur ]cj_ j., Cj [, et on a
f{t)dt = F i a ) - F i a . i ) ,
Jci-l
doit le rsultat par addition.
Rem arque 3.43 Lorsquon calcule une intgrale gnralise sur ]a, b[
au moyen dune primitive, il faut sassurer que la primitive considre
est continue sur [o, 6]. Par exemple, lcriture
1
car la fonction f In ji] nest pas dfinie en 0. En fait, on sait par les
exmples 3.1.4 que lintgrale ci-dessus est divergente !
Chapitre 3. Intgrales gnralises 153
[ fi^p(,x)){x)dx = f f{t)dt.
Ja Ja
(,?)->(./3) (v,v)^{,a,b) Ju
Ceci achve la dmonstration de la proposition.
f dt
Ja y / { t - a ) { b - t)
(a < b).
Dabord, r intgrale propose est convergente car, sur ]a, 6[, la fonction
/ : f Is- 1 / J { t a){b t) est continue donc localement intgrable,
et on a ^ ^
f{t) ~ lorsque t a'*,
y/b a y/t a
ainsi que
m lorsque t ^ b ,
y/b a y/b t
cest--dire
dt _ 1"^ dx
(3.3)
y / { t
Ja y/(t - aa)(b
) { b -1t)) J - I y/\ x^
dx . . . . TT
I , = arcsinu et hm arcsin = ,
Ju y f ^ 1 2
do
dx _ -K
J-iV T ^ ~ 2
Chapitre 3. I n tr a te s gnralises 155
0 v T 2
De (3.3), on dduit que
dt
f
la y / { t - a ) { b - t)
= 7T.
Rem arque 3.4.10 Dans (3.4), on peut avoir une intgrale absolument
convergente au premier membre et une intgrale semi-convergente au
second membre (voir exercice 3.25).
est dfinie sur R+. En effet, la fonction 1 1> e est continue sur
]0, -h oo[, donc localement intgrable, et elle est positive et quivalente
t i- au voisinage de 0, et ngligeable devant t i-> 1/i^ au
voisinage de -l-oo.
Sur [0, + oo[, les fonctions u : e~* et v : t^ /x (a: > 0 fix)
sont de classe et vrifient :
1 1
F(a;) = - e~H ^dt = - F ( x - l - l ) ,
X Jq X
Or
sint
lim -= = s in l,
A^+oo [ y/t
et on a
sili t
Vt G [1, + oo[, 3/2 3 /2
cos
dt converge.
r
et
l/e
(a < 1) ou (a = 1 et /3 > 1).
L
158 I ntgration
1 ^ J 1 1 1 1 \
hm ---- 3 = 0 donc ------ 3 = -ttt- ---- - = 0 \ - r r r I,
dt In^ ^ X 1
Je t In ^ i 1 -1 3
[ i W t -
3 A > e, Vi > A, ^ 1
t In ^ i In ^ i t^ ^
J
X \ 2 i*X
a f{t)g(t)dt\ <
3)
f fit) dt ~ J g{t)dt.
2) Un rel > 0 tant donn, on peut trouver c [a, b[ tel que, pour
tout t [c, 6[, on ait f i t ) < e g{t). On a alors, pour tout x [c, b[,
= o ( f g(t) d ^ lorsque x ^ b,
et a fortiori
Do
PO PO
f ^ 9 ^ / f i t ) dt ^ ' / git)dt.
Ja Ja
Dmonstration : 1) Puisque / = O (g) lorsque x > b, on peut
trouver M > 0 et Cl G [o, 6[ tels que, pour tout t [ci,6[, on ait
f(t ) < M g(t). On en dduit, pour tout x G [ci,6[,
px px px
/ f{t)dt < M g{t)dt < M f{t)d t.
J Cl J Cl Ja
162 I ntgration
Or px
lim / g{t)dt = + 00,
donc on peut aussi trouver C2 [o, b[ tel que, pour tout x e [c2, 6[, on
ait /*C'^ /*X
/ f{ t ) d t < M g{t)dt.
Ja Ja
En prenant c = m ax(ci, C2), on a, pour tout x [c, b[,
donc
/(i)d i = o (^J \it)d ty
on dduit
dt 1 .
/ 7T----- T ~ In lorsque x O"'
et cette dernire quivalence nest pas vidente car on ne peut pas expli
citer de primitive de t>-* 1 / ln (l i) qui permette dvaluer lintgrale
laide de fonctions usuelles.
(3.5) f
Jx'
/(i) 9{i) dt < M f{x').
Soit > 0. Daprs i), il existe c [a, 6[ tel que, pour tout t G [c, 6[ :
I
V (x',x") G [c,6[x[c,6[, / f { t) g ( t) d t < e.
\ Jx'
Le critre de Cauchy est satisfait, do le rsultat dsir.
Un = / f{t) dt
Jxn
soit convergente.
rxn+\
Sn := ^ U k = / f{t) dt
k=0
sont majores par un nombre M indpendant de n. Le nombre x tant
arbitrairement donn dans ]a, + oo[, il existe n N tel que Xn > x,
et on a alors
rx fXo fXn fXo
/ f{t)dt < / f{t)dt + / f{t)dt < M + f{t)d t,
Ja Ja fXQ
Jxn Ja
ex
ce qui montre que les intgrales f{t) dt sont majores. La conver
gence de dcoule alors de la proposition 3.3.1.
Dmonstration : Posons
rn + l
Vn := / f i t ) dt.
Jn
/+00
du
l ' ly ju
r+oo du
i/0 ' 3^/^
J f { t ) d t := fk{t)d^ek.
J f (t ) dt = t u fk{t)d?jek.
Chapitre 3. Intgrales gnralises 169
r+oo dt
Exemple 3.8.8 Lintgrale / ;----- - est convergente. En effet, la
Ji t<{t
(i + i)
*)
fonction 1 1 est continue par morceaux (car continue) sur
t{t + i)
[1, -h oo[, et de plus, lgalit
1 t i
t{t-\-i) t (i^ -h 1)
170 I ntgration
entrane
f+ dt . f+ dt
k 2
t^ +
+1 VV il (2 + 1)
= lim \ arctan il f / I- -) t.
A -*+ o o'- -l Ji \t 2 +
Do
dt 7T i ^
( + i) ^ 4 2
Solution
Puisque / est continue sur le compact [0,1], elle y est borne ; il existe
donc M G R+ tel que \f{t)\ < M pour tout t G [0,1]. Do
Solution
Considrons la fonction F : [ 1 , + o o [ >R, x i-*^ / ( i ) di. Puisque
F est une primitive de / sur [1, +oo[, elle est drivable sur cet intervalle,
et comme pour chaque x > 1, la fonction / est continue sur [1, x], on
en dduit que F est de classe sur [1, x]. Une intgration par parties
donne alors
m dt = ^ m
{*) + a
i: a+l dt.
i: i X
Fit) M
ta+l <
a+1
Exercice 3.3 Montrer que si / : [0, + oo[>K est une fonction unifor-
/*+00
mment continue, alors l intgrale I dt est divergente.
Jo
Solution
Puisque / est uniformment continue sur [0, + oo[, on peut trouver un
7] RJ. tel que
r r" dt,
Jx' Jx'
172 I ntgration
donc
I r^" ^ /*"
I dt > 1 1 co s(/(i) f{x')) dt j
Jl y/i dt diverge et
/ i m ? dt converge.
Solution
La fonction / dfinie sur [1, -h oo[ par f{t) = convient. En
effet,
- la fonction t f { t ) / y/i est continue sur [1, -|- oo[, donc localement
intgrable ; de plus
fit) ^ 1 ^ 1
lorsque t -l-oo,
y/i \ / i ( v ^ Ini-h 1) flnf
f t + n + n^
0
si
smon
i e l^n, n + , n > 2,
1) Montrer que f est continue sur [0, + oo[ et qu elle est non borne.
2) Montrer que l intgrale de f sur [0, + oo[ est convergente.
Solution
1) La fonction / est continue sur [0, +oo[. En effet, / est manifestement
continue sur chacun des intervalles ] n - ^ , n [ e t ] n , n + ^ [ , e t d e
plus
et
/f n + i) = n^ n + n + n^ = 0 = lim f{t),
de mme que
lim /( f ) = n = lim / ( i ) .
t t
La fonction / nest pas borne puisque /( n ) = n pour tout n > 2.
2) Pour tout n > 2, on a
rn n +00 +00 ..
1 7T^
J /(*)< < i i = '6'
' fc=2 k=2 k=l
174 I ntgration
La fonction ' :j >-> Jq f(t ) dt est croissante (car / est positive) et majo
re, donc elle admet une limite finie quand x tend vers -l-oo. Cela prouve
bien la convergence de lintgrale de / sur [0, + oo[.
Solution
Les intgrales de f , g et h sur [1, -H oo[ tant convergentes, il en est
de mme de lintgrale de f + g + h.Or
Solution
Soit e > 0. Comme lintgrale de / sur [0, + oo[ est convergente, le
critre de Cauchy 3.2.3 sapplique :
r2x
3 j4 > 0, V > j4, / f{t) dt < e.
Jx
Do le rsultat dsir.
Solution
Soit X > 0. En intgrant par parties sur le segment [0, x], on obtient
Solution
- Daprs lingalit de Schwarz, on a pour 0 < a; < y :
tfit)f(t)d t = ^ x f ( x ) - f{t)dt,
do
do la conveigence de P { t ) dt.
-tablissons maintenant lingalit (*).
Daprs lingalit de Schwarz, on a
(jo - Jq
a tm f{t)d tj
+oo \ 2 f'+oo f+ o o
Solution
La fonction fa,fi -t*-^ t~^ 111 (1 + est positive, et elle est continue
sur ]0, + oo[ donc localement intgrable. Lorsque t O"*", trois cas se
prsentent :
- Si a > 0, alors fa,p{t) ~ Or t~^ dt est un exemple de
Riemann qui converge si et seulement si /3 a < 1. Donc fa,pdt
converge si et seulement si /? a < 1.
- Si a = 0, alors fa,p{t) ~ (ln2) donc Jq fa,p dt converge si et
seulement si ^ < \ .
- Si a < 0, alors fa,i3{t) ~ Or t~^ I n i d i est un
exemple de Bertrand qui converge si et seulement si /0 < 1. Donc
Jo fa, fi dt converge si et seulemnt si /9 < 1.
178 Intgration
(1 - dt.
JO
Solution
La fonction fa, fi ]0,1[ R+, t (1 t)^~^ est positive,
continue sur ]0,1[ donc localement intgrable.
Lorsque t O"*", on a fa, fi ~ Or dt est un exemple de
Riemann qui converge si et seulement si 1a < 1. Daprs le corollaire
3.3.4, lintgrale de fa, fi sur ]0 ,1/2] conveige si et seulement si 1
a < 1 c est--dire a > 0.
Lorsque t 1 , on a fa, fi ~ (1 - Or Jq (1 - t)^~^ dt est un
exemple de Riemann qui converge si et seulement si 1 /3 < 1, donc
lintgrale de fa, fi sur [1 /2 ,1[ converge si et seulement si 1 0 < 1
cest--dire 0 > 0.
En rsum :
'0 l n | l + i|
dt.
/ -C X D '\/\t\ (1 + ^)
Solution
ln|l + t |
Sur ] oo, 1[U] 1,0[, la fonction f :t> est continue.
^ /(l + ^)
donc localement intgrable.
- Lorsque t y oo, on a f{t) ~ jjj j^j q ,- lintgrale de la
fonction t ln|i| sur ] oo, e[ est un exemple de Bertrand
convergent. Le thorme dquivalence pour les fonctions positives per
met den dduire que lintgrale de / sur ] oo, e] est convergente.
- Lorsque t y 1 , on a f{t) ~ ^ l n | l -I- i|. Le changement de
variable u = 1 + t donne
J In |1-h i| di = y Inluldu,
Solution
Sur ]0,7t/ 2], la fonction t i-> In(sini) est continue, donc localement
intgrable. De plus, lorsque i > O"*", on a
I = J \o.2dt + J In y s i n - j dt + J In^cos-jdf
et finalement
1 / . N, TT In 2
l n ( s i n t ) a t = ----- - .
L
Exercice 3.14 Convergence et calcul de
r+oo
+00
/ 00
(arctan(i + a) arctan t) dt (a
Solution
- Convergence de I.
Observons dabord que la fonction / ; i i-> a rc ta n i + a rc ta n (l/i)
est drivable sur R*, et que f ( t ) = 0 pour tout t non nul. On en dduit
que / est constante sur R et sur R!J.. En calculant / ( 1) et /(1 ), on
dduit aussitt :
1 _ i 7t/ 2 si g ] oo, 0[
(*) arctan t + arctan - =
t y +7t/ 2 si G]0, + oo[.
g :1 arctan (i + o) a rc ta n i.
Cette fonction est continue sur ]oo, +oo[, donc localement intgrable.
Daprs (*), on peut crire aussi
g{t) = axctan-^ a r c t a n ^ ,
t i+
et lorsque t tend vers +oo on a alors
do ^
g{t) ~ lorsque t >
+oo.
182 I ntgration
nx-\-a
/
\
Or
a -x+a
arctan s ds + I
Jx
arctan s ds ) .
J
r arctan
J x+a
s ds = r
J x a
arctan
arc U du (poser ; u = s),
doh
fx+ a
= lim / arctan s ds
X + 0 0
Solution
- tude de la convergence.
Pour tout a 10, tt], la fonction f : t , est conti
nt cosa) vr^ 1
nue sur ]1, + oo[, donc localement intgrable. De plus.
m lorsque i ^ l"*",
V2 (1 cos a ) y/t 1
4x 2x
dt = dx, \/t^ 1 =
{x^ 1)2 " x2 1
et
(1 cos a ) -I- (1 -h cos a )
t cos a =
x2 1
Supposons dabord a ]0, 7t[. On a alors
. o O i o n Oi
2 sin"^ x ^ + 2 cos^ a 1-h
t cos a = 2 _= 2 cos'^
a;2 1 X2 - 1
184 I ntgration
do
r dt _ 1 r_ dx
J (i - co sa) - 1 cos^- J 1 h ( x t 6 | )
- arctan ( y ^ t g | ) .
l"^ dt _ ^ _ TTa
Ji ( t - c o s a ) Vt^ - 1 sina V2 2/ sino: '
+1
- Si maintenant a = tt, alors en posant t = -----, on obtient facile-
x-^ 1
ment :
f dt f dx 1 ^ lt-1
J (i + 1) Vt^ - 1 y X Mt + 1
do
dt t - 1
= lim = 1.
r ( + 1 ) 1 A^+00 + 1J 1
r*+oo
e dt lorsque x >
+oo.
/ 2x
Chapitre 3. Intgrales gnralises 185
Solution
Pour tout Z > 0 fix, la fonction t >-> est continue sur [x, + oo[,
donc localement intgrable. De plus,
lorsque i ^ + o o .
(V)
donc
entrane
r+oo
e dt JI e ^1 + ^ 2 ^ lorsque x > +oo.
/
On a donc bien
r+oo
e dt lorsque x +oo.
L 2x
+ dt 1
--- rsj lorsque x > +oo.
/ + e~^ X
186 I ntgration
On a
1 1 ^ 1
~ 2 > 0 lorsque t + 00,
th 3 t-th 2 t
= r dt.
Jo t
Solution
- Convergence de I.
Sur ]0, + oo[, la fonction / ; i i-> (th 3 i t h 2 i ) /i est continue, done
localement intgrable. De plus.
,. th 3 i ,. th12 i \
lim ------ = 3 et lim = 2 lim f( t) = 1.
0+ t t->o+ t ) t^o+ ^ ^
th i ^^ _ _= 1i - 2 e0-.-2
^ * ^+ o(e-^*),
1+ e
do
2e-2* /2 e - 4 \
m
= ^ i y
On en dduit que f{t) = o (1/i^) lorsque t +oo, do la conver
gence de lintgrale de / sur ]1, -1- oo[ en vertu du corollaire 3.3.8. On
a donc tabli la convergence de I.
- Calcul de I.
Chapitres. I n tr a te s gnralises 187
On a, dune part.
th 2 i
dt,
X + 0 O J q t
et dautre part,
th 3 i-th 2 i r th S t ^ r th 2 t
dt dt
/ t = /0 h -T -
Li du _ L dv
Jo U Jo V
dt.
Jix ^
Or, pour chaque x ]0, + oo[, la fonction i i-> t h i est continue sur
[2x, 3x] et la fonction t 1 /t y est intgrable et positive, donc la
premire formule de la moyenne (thorme 1.3.12) assure lexistence
dun nombre Cx [2x, 3x] tel que
/3thi , , , , r^^ d t , , , 3
/ dt = (thCa;) / = (th c i) I n - .
J2x * J2x t Z
Lorsque x tend vers + 00, Cx tend vers + 00, donc th Cx tend vers 1.
Do finalement :
+ " ^ th 3 t-th 2 i , , 3
---------- :------- dt = In
/0 t 2
h it
= / dt.
\ / i {\ i)^/^
Solution
Ini
Sur ]0,1[, la fonction / : t est continue, donc locale-
^/ (1 - i)3/2
ment intgrable. De plus, elle est de signe constant sur cet intervalle.
188 I ntgration
d / i _ 1
In i
dt = -2VV 1 ?- 7i dt
( .) / V i { l - i)3/2 ^/ ( 1 - t ) '
Ini ~
Vty/l t,
do lon dduit lim \ - In t = 0. Donc (*) entrane
t-i- \ 1 t
In t ____ dt
Jo V i { l - i)3/2 Jo \Z t{ l-ty
et de l
/
dt = 2 [arcsin(2t 1)]J = 2.
V T h )
Finalement,
Int
Jo V ^ (l-i) 3 /2 dt = 2.
Chapitres. Int^ralesgnralises 189
Solution
Considrons la fonction :
sin^ (n
/ : M-
sm
( V ) ~ (''V ) ~
On en dduit
U
-I p 2tc Sin*^ 'fl ~ n /TT 'y
sin^ n t
( ,) I = ------- ^ d u = i d t,
27T71 J q sin^ Jo sin ^ t
190 I ntgration
Considrons alors
^ sin(2n + l) t
dt.
- f sin i
On a
/7T
6n+i bn = 2 cos(2n + 2)i dt = 0,
Jo
do, par rcurrence immdiate : bn = bo = tt pour tout n G N. On
en dduit
\t (a rc ta n i)^ at b j j d i
Solution
- tude de la convergence.
Chapitres. Intgrales gnralises 191
f : t>-^ t (arctan t a t b -
/7T^ \
/(*) ~ a j t + o{t) lorsque t >
+oo.
TT 1\ 2 7T^ c
= ( --a rc ta n -)
1 / 1 \2
-
c
-TT t arctan I- i ( arctan - j b -
= - ^ i( j + o (^ )) + i ( ^ + o (l)) - 6 - ^
= (-TT-fe) + + o (^ ),
+2 r +2
dt
TT2+2
t
-|- TT In i
8
2-1-1 7t2 2
(arctan i)2 h 7Ti
2 8
Int i arctan t + - ln(l + v).
Zi
192 I ntgration
4 G - 4 ) ) ( ' - 7 - ( p ) ) - T
7t2 3 , .
-g- + 2 + ^(1)-
Comme de plus
. , TT Stt ln2
= -6 + T + -
on conclut que
f+oo i , x2 1\ , 37T^ 37T 3 ln2
l (i(a rc ta n i) - ^ i + T T -
dt.
Jo0 e~^ + I sin t|
Chapitres. la t ra le s gnralises 193
Solution
Sur [0, + oo[, la fonction / : t est continue, donc
e~ + Isini|
localement intgrable. Comme de plus / est positive, le thorme 3.7.3
assure que lintgrale I converge si la srie de terme gnral
(n+l)7T
e* dt
Un :
e~* + I sin t|
converge. Or
/(n+l)ir e^*dt (+1) dt
Un = / < e,2(+1) /
Jnir 1+ I sinij 1 + e^ ^Isini|
Posons
(n + l)7 T /7
dt du
/
Jn 1 + e^f |s i n i | " + Isinit|
o lon a effectu le changement de variable t = + u. Comme
sin = sin(7r it), on a alors
du
avec a= > 1.
Jq 1 + 0 sin U
Par concavit de u i-> sinzt sur [0, /2], on a sin u > (2/) u, donc
du ^ / /2 U _ dv
Jq 1 + O sin U 7 o 1 + %^ 2o 1 + ^
Do
,27
Un < TTC ln2 et 0 < Un < K e avec T = ln2.
A / tt ^ Jo V4 7o ln(l + 0
Solution
I. Sur] oo, + oo[, la fonction f : t >-> arctan(e~*) est continue,
donc localement intgrable. De plus, elle est positive et quivalente
e~* lorsque t tend vers +oo. On en dduit
arctan(e *) = ^ ( ^ ) >
c o s - ^ - ~ lorsque i +oo.
\ t/ t
Comme lintgrale de f 1/t^ sur [1, + oo[ est un exemple de Rie-
mann convergent, lintgrale de / sur [1, +oo[ est elle aussi convergente.
3. Sur ]1, + oo[, la fonction / : i (1 + I n i) * * est continue, donc
localement intgrable. De plus, lim ln (l + ln i) = +oo donc, pour
t^+OO
tout t positif suffisamment grand, on a
Q _ g - l n t l n ( l + l n i ) _ - l n ( l + l n t ) ^
Chapitres. Intgrales gnralises 195
/ ( f + t) = l n ( c < ,s ( |^ ^ ) )
= In (c o s + o ( i) ) )
= In (s in + o (f))) = In + o(f))
2
= In i + In ( ^ + o (l)) lu t,
f i t ) = In ( l - ^ +
ce qui montre que lintgrale de / sur [1, + oo[ est convergente puisque
celle de t 1/t^ est un exemple de Riemann convergent. Lintgrale
propose est donc convergente.
In i
------ ~ - lorsque t 0+.
y /4 ^ 2
In i h i2
lorsque i > 2"
^/
l/(i)l < donc /( ( ) = o ( i ) .
ln (l + t) y/i
ce qui montre, grce au corollaire 3.3.4, que lintgrale de / sur ]0 ,1]
est absolument convergente, donc convergente. Dautre part,
f+ t l i t d t f+ 1 . 1- .
/+00
dt
-fi a r c s m ^ ^ d i
Jo (l + i2)2 i l 1+ Jo
h itd t dt
1: (1 + 1) v T r p ' r
Solution
t Int
1. - Sur ]0, + oo[, la fonction f : t est continue, donc
(1+2)2
localement intgrable. De plus,
i In i
( l + i2)2 = 0,
0 < < 1
- ( l + i2)2 - ( 1 + 2)2 b ^2>
ce qui montre que lintgrale de / sur [1, + oo[ est convergente car
celle de t i> 1/i^ est un exemple de Riemann convergent. On a donc
tabli la convergence de lintgrale de / sur ]0, + oo[.
- Calcul de lintgrale.
Soient > 0 et > e. En posant
U = et = In i,
(1 + 2)2
on a
U=
2 (1 ^ 5 ) = ?
d'o
A pA
i In i ln 1 dt
dt =
i: (1 + 2)2 2 ( 1 + 2)] . 4 . 2(1 + 2) ~ t
Or
1 dt 1 1 + 2 - 2 df
J, 2 ( l + 2) 2 ~ ~ + W ~ T
dt
- . )
A
= ( l + 2)
] ;
donc
ln ln
dt =
i: J + W 2 (1 + 2 ) ,
1 1 , 1 \
2 (1 + ^2) 4 ^ 4 ^ 2 j
1 , ,, O. 1 2 Ine
+ 4 ( ' + ^ ) - 2 T F '
198 I ntgration
Do
f+ tin t tin t ^
l + J e
1 -f
2. - Pour tout i [1, + oo[, on a ^ [1,1], donc la fonction
l-i2
/ : i I 1 + i2 axcsm-1 + 2
est dfinie et continue sur [1, + oo[, donc localement intgrable. De plus
1 1 -i2
Vi [1, + oo[, arcsin < i
l + i2 l + i2 - 2 12
ce qui montre que lintgrale de / sur [1, + oo[ est absolument conver
gente car lintgrale de i 1/i^ sur cet intervalle est un exemple de
Riemann convergent. Lintgrale propose est donc convergente. Pour
la calculer, posons t = tg (u /2 ). On a alors
0 < - i_ < 1
l + i3 - i3
fit) - ^ = - ( + ^
1 + t^ 3 \l +t ^ +
^ dt / ^ /1 - i + 2 \ ..
1 /-^ 2i-l 3 / dt
= la{l + A ) - - l
i2 - i H-1
dt
= ln ( l- h A ) - ^ ln | - ^ ^ - -^ + I l + 2 ^
Or
2 A
et le changement de variable u = y ~ 2 / donne
fA dt _ 2. f du
Jo t^-t + 1 yJ- \/y/Z + 1
A -1/2
o J5 =
v/3/2 ^ . .
Finalement, comme a r c ta ji( l/ v ^ ) ~ vient
do lon dduit
r+oo dt _ 1 TTi^i _ 27^/3
Jo l + i3 - a H+ oo7 o 1 + 3 - s [ 2 6 J 9
m lorsque t +oo,
ce qui prouve que lintgrale de / sur ]0 ,1] est convergente car cest
le cas pour celle de la fonction i i-> In i (voir exemples 3.1.4).
- Pour le calcul, posons
U = In ^1 + et v' = 1.
et comme
lim e in + = 0 et lim A l n f l + - ^ ^ = 0,
_o+ \ e^/ A-^+00 V A^J
on dduit que
r+00
dt
i + = i f .
A *+oo
I * ( ' + ? )
In i
_____________ y T ^
m = lorsque i 1,
(1 + 1) ^ 1 - ^ 2 2y/2
l v?
* = 11 +
^ 2 7o (1 + t) y/\ Jo \l + U ^ J
On a ensuite
ainsi que
Finalement,
L >
^ In < tZi , - TT
-------------- - = m2 .
'o (1 + ) a/ T ^ 2
6. Sur ]0,1[, la fonction f .t ^ est continue, donc lo
calement intgrable. Lorsque t tend vers O"*", on a /( f ) ~ et
comme lintgrale de f i~2/3 g,. ]^^2] est un exemple de Rie-
mann convergent, on a convergence de lintgrale de / sur ]0 ,1/2].
202 I ntgration
Dautre part, / ( i ) ~ (1 i) t
quand tend vers 1, et comme lin
tgrale de i 1-^ (1 sur [1 /2 ,1[ est un exemple de Riemann
convergent, on dduit que lintgrale de / sur [1 /2 ,1[ est elle aussi
convergente. On a donc tabli la convergence de lintgrale de / sur
lintervalle ]0,1[.
Notons I cette intgrale. En effectuant successivement les changements
de variable x = 1 /i, u = 1 et u = l / u , on obtient
dt _ f+ dx ^ ^ f+ Udu ^ ^ f+ dv
Jo ^*2 - Ji x^x-1 Jo u^-l-l Jo I-I-;^'
Pour .4 > 0 fix, laddition des deux dernires intgrales donne
_ Z [ u+ 1 , 3 du
5 - du = - lim
2Jo +1 2 A-+oo / u 2 u -h 1
/7: ,. r 2 u --l-\A
' l-\A
= V 3 lim arctan ^=- ,
A^+oo L Jo
do
Solution
Sur ]0, + oo[, la fonction f t ^ t~^ s in i est continue, donc loca
lement intgrable. De plus, elle tend vers 1 quand t tend vers 0, donc
lintgrale de / sur ]0 ,1] est convergente.
Pour tout > 0 et chaque x > e, on a par intgration par parties :
sin i ,
/ dt = 1 COS t
+
cost dt,
Je t t Je Je r- 12
Chapitre 3. Intgrales gnralises 203
(,) dt.
Jo t X J (2
Or
1 cos t
Vi G
2 - i2
donc lintgrale
+ 1 - COS
dt
- J Q i2
t-
/ N
{**) ^ JX _
dt - r^ 1 - COS
^2 dt.
sin i '
> I sin il,
riTT
do
sin i
dt I siit\d t
J(n .
( n 1)7T mr J ((r,n 1)7T
TT
sinudu = ,
= -riTT fJo ut:
et
/n7T
I - t r -
Jo I ;*
204 I ntgration
Isin i
La srie divergente, on en dduit que la suite / dt
Jo \ *
Isin
tend vers +oo quand n tend vers +oo. Lintgrale / diest
Jo \
/*"^^ sin t
donc divergente. On a ainsi tabli que / dt est semi-convergente
Jo *
(nous verrons dans exercice 4.6 que cette intgrale vaut 7t/2).
N.B. Il est intressant de remarquer que la formule dintgration par
parties nous a permis, via la formule (**), de transformer lintgrale
semi-convergente I en lintgrale absolument convergente J .
Solution
1) Sur [0, -I- oo[, la fonction t >-> sin i* est continue, donc locale
ment intgrable. Dautre part, pour tout A > 1 fix, une intgration par
parties donne
Or
> 2 / *
1
> 7 ^ '^ 4 ih - a k )
k= l
= iO
n
4 (K - 4)
2 { -Hh-. + ^ k H + ^ h + al
n o n ^
TT ^ TT i
>
M > 2 4 y (4 )
+00 ^
ce qui est impossible car ^ = +oo. Do contradiction.
k=l
(*) Vi 6 ] 0 , + o o [ ,
( f+ \
mm / -TT- - dt .
0 < k< 2 n - 2 \ Jo 2+ 1 J
Solution
1) Sur ]0, + oo[, la fonction f : t t+ est drivable et on a
f'{ t) = (i^ l)/i^ . On en dduit que / est dcroissante sur ]0 ,1] et
206 I ntgration
1
~ ^ +o-
Exercice 3.28 Soient a et b deux nombres rels tels que 0 < a < b. Soit
/(*)
converge.
1) Montrer que
Solution
1) La fonction t [/(*) ~ f(bt)] est continue sur ]0, + oo[, donc
localement intgrable. Pour tout e > 0 et > e fix, notons :
' / ( ) dt.
t
En posant U = at dans la premire intgrale et u = bt dans la seconde,
on obtient
I{e,x) = n ^ d u - r ^ n ^ ) du
Jae Jbe
r- f{u )
= du- du.
Joe U Jax ^
Or, daprs la relation de Chasles :
du = r ^ du +
J ax ^ /1 U
f M * .
Jl U Jl U
to to = 0.
*->+< 7 a i W X+00 [ 7 i U Jl U
2) - Existence et calcul de I.
La fonction 1 1-> e~* est continue sur [0, + oo[ et lintgrale de t
e~*/t sur [1, + oo[ est convergente puisque
+ 00 .
- Existence et calcul de J .
La fonction f : t sin^ t est continue sur ]0 ,1] donc localement
intgrable, et comme on a liin i ^sin^i = 0 . / se prolonge par conti
nuit en 0 en posant /(0 ) = 0. De plus, lintgrale de i i-> f{ t) / t sur
[1, -1-00 [ est convergente puisque
sin^i
Vi G [1, -t- oo[,
2
do
3,
P5 dt = - m 3.
l 4
Solution
Sur [1, + oo[, la fonction / : t t ^ arctan i est continue, donc
localement intgrable. De plus,
axctan t 7T
lorsque t +oo.
2
Le thorme dquivalence pour les fonctions positives assure que lin
tgrale de / sur [1, -1-00 [ est convergente. On a ainsi montr que I existe.
Pour la calculer, fixons x dans [1, -h oo[. En intgrant par parties, on a
, .
W
f arctani ,
=
arctan X
- - 3 ? -
JL i r
^ 12 3 A
dt
f3(l-hf2)
+0O ._ 5 _
Or t~^ (1 + t^)~^ ~ t~^ lorsque t tend vers -|-oo, et t~^ dt est
un exemple de Riemann convergent, donc lintgrale J de la fonction
t i-> (1 + t^)~^ sur [1, + oo[ converge. En faisant tendre x vers
-hoo dans (*), on obtient alors
Jl \U ^ U U + 1 J l U V ^ / J l
do
-ln2
J = ^ lim i + In + 1 in 2^ =
2 I-+ + 0 0 \ X X J
Finalement,
arctan t TT 1 In 2
------ dt = ----- \------------ .
/ 12 6
r ( - C S ) - ' ) *
Solution
Sur ]1, + oo[, la fonction f : 1 1 est continue, donc
localement intgrable. Comme tend vers 0 lorsque t tend vers
+ 00, on peut effectuer un dveloppement asymptotique (un quivalent
ne suffit pas car / nest pas de signe constant au voisinage de +oo) :
... s in i 1 sin^ /s in ^ \
^ + 2 + ( )
sint
- Montrons que lintgrale gnralise J dt converge.
En intgrant par parties, on a, pour chaque x [1, + oo[ :
r ^ d t = \ - S ^ Y - ^ r ^ d t
Jl V i L y/i \ i ^ Jl
cosx , 1 cost
- +COS1 2 / ^ 3/2
Chapitres. Intgrales gnralises 211
F s in t 1 /+cosi
lim <U = COSI -
X^+OO
donc
sin i
dt converge
i:
/1 Vi
sin i
Notons il : [1, -h oo[>E, !- f{t) On sait dj que
y/t
.. 1 sin^i ( s in ^ i\ 1 sin^i
MO- 2 j ~ 2
(ici Tutilisation dun quivalent est pertinente puisque h est de signe fixe
au voisinage de -l-oo). Par linarisation.
cos2i
dt,
2T~
donc
lim / - dt = -f oo,
-1-00
212 I ntgration
ce qui montre que lintgrale de i i> sin^i sur [1, + oo[ est
divergente. Par le thorme dquivalence pour les fonctions positives,
il en rsulte que lintgrale de h sur [1, + oo[ est divergente. Comme de
plus, f = g + h et que g{t) dt est convergente, on conclut que
r (e x p (^ )-l)d t diverge.
Solution
1) Les fonctions i + 1) ^ et t (i* + 1) ^ sont manifes
tement continues sur [0, -h oo[, donc localement intgrables. De plus,
lorsque t tend vers -l-oo, o n a
-1-1 F
/ 1 r+ 1 -h
21 = I +J
Jo 1 + t^ y_oo l + e^"
r+ o o
/+ chu , chu f+
j - o o ch2u ^ /.<30 H -2 sh ^ u ^ / - 0 0 l + 2a;2
Chapitre 3. Intgrales gnralises 213
Comme
9 = [arctan(\/2x)]"^. =
y_oo 1 + 2x2 ^^+00^2^ ^ y/2
on en dduit
7T
I = J =
r+ dt +
+ 4/
Jo +1
lill
>+CX3
I A
+ 1 Jo (i" + 1)'
+00 (4 + 1) _ 1
dt = 4 /-4 :.
= V (i^ + 1)2
On en dduit
^+oo dt 3^/2
K 7T.
Jo (4 + 1)2 16
dt
Jo ^ + sin^ t
Solution
1) Le changement de variable x = it t donne
r dt _ r '_ dt
X /2 1 + fe2 Sin^i 7o 1 + fc2 sin^ t
214 Intgration
p+oo du /+00
du
4 = 2/ ----- 3 = 21 -
Jo Jo 1 + (/:^ + l)^
do
7T
Ik = lim ,------- - a rc tan {u \ / l + A;^)
A+00 [ v 1 + _0 \/l +
n=JriTT
j ^-
p{n-\-i)7Z tdt
.
+ sin^ i
On a
^(^n+l/TT
(n + l),r ( + 1) TT
0 ^ /ri < / dt,
^TITT 1 + (n7r)^ sin^
et comme la fonction intgrer est 7r-priodique, on en dduit
Kr^+l)7T (n + l)7T PTT
(n + 1) 7T
JuTT 1 + (n7r) sin^ t
dt
^ Jo T
^0 1+ sin^ t
dt.
(n + 1)7T^
0 < Un <
y 'H - (n7r)
et puisque
(n + 1)7T^ 1
---------------------------- rsj --------- lorsque n +oo,
y/1 + (n7r)
on en dduit que la srie de terme gnral est convergente. Le tho
rme 3.7.3 permet de conclure que lintgrale propose est convergente.
Chapitre 3. Intgrales gnralises 215
Solution
La fonction fa : R C, i i> (1 + t^)~^ (1 + iat)~^ est continue,
donc localement intgrable. Dautre part, comme |1 + o:f| > 1, on a
1
Vi G M, l/a(f)| <
l + t2'
Or, (1 + t^)~^ ~ lorsque t tend vers +oo, et t~^ dt est un
exemple de Riemann convergent, le corollaire 3.3.4 permet de conclure
que lintgrale fa{t) dt est (absolument) convergente. Pour la cal
culer, notons tout dabord que
( 1 + 2) ( i + ^2 2)-
La partie imaginaire de fa est impaire, donc son intgrale sur R, qui
converge absolument comme celle de fa, est nulle. Ainsi,
+00
/ 00
+00
fa {t)d t
^+00
Pour le calcul de on a
r+
f+ oo dt -K/'Z
{I + P y ^ ^ Jo (.t = tge)
/7T/2 ^
= / (l + cos20)d0 = .
Jo 2
Conclusion :
r+ c x )
di TT
pour tout a G R.
/J c (1 + i2) (1 + zai) 1 + 1!
n i-> e r dt {a
Jo
Solution
- Supposons dabord a < 0. On a alors lim e*"" = 1, donc daprs la
>+00
proposition 3.5.1,
71 /n
/ dt J dt = n 1 lorsque n +oo,
do
" f dt n (car lim e
n - + o o
= 1).
/ .V 1 / P* _ 1
l < = + ( - ! ) / - 5 - *
C hapitres. Int^ralesgnralises 217
do
e 1 e"
e*' dt ~ i --------- ^ lorsque n ^ + o o ,
X ' n ^ n ^
donc fV
rn 1
Jo n'a 1 '
Solution
nf{t)
Pour chaque n 6 N *,la fonction / : t i- -~V o est continue sur
1-1-
lintervalle [0, -f oo[, donc localement intgrable. Puisque / est borne
sur R+, notons M = sup |/( i) |. On a alors
ieM+
lim / ( - ) = /(0 ).
n *+oo \n J
218 I ntgration
do
\ln - \ <
Jo
r \f{u/n) - /(0)1
1 +U^
du + 2A^
r+oo
Jx
+ du
u2>
+
avec
du TT
/ , O = ~ axctanx.
1 + 2 2
Or, tout > 0, on peut associer x > 0 tel que
TT
a rctan x <
Z 4M
et alors
|/ ( V n ) - /(0)1
du.
l+ u 2
Comme / ( i ) tend vers /(0 ) quand t tend vers 0, on peut trouver un
77 > 0 tel que \f{t) / ( 0)| < e / 7r ds que |i| < 77. un tel rj > 0,
on peut associer tiq N tel que 0 < x /n < 77 pour tout n > no.
Ds lors, pour tout n [0, x], on a 0 < n / n < 77, et par consquent
| / ( u / n ) ) - /( 0 ) | < e / 7T.Il en rsulte
|/ ( u / n ) - /(0)1 P du
du <
/ l+ u2 Jq 1 + 2
^ /+ du _
~ TT 7o 1+ 2
Finalement
cest--dire
/H-oo
n fjt)
lim dt = I /(0 ).
ni-H-oo Jo +
f+ O O
2nte nt^
dt.
= i ln (l 4- i) + I cosi|
Solution
2nte -n t
1) Pour chaque n N *, la fonction fn t ^ ~ j ;----- - est
ln(l + 1) -I- I cost|
continue sur [0, 4- oo[, donc localement intgrable. De plus, pour tout
nombre positif t suffisamment grand, on a
. ^ n . -nt^
0 < , :;------:7 < 2 n te ,
ln (l 4- i) 4- I cosi|
_ 2
2nie dt converge puisque
1.
/ 2nie "* dt = lim [ ^ Jo
Jo i4->+oo
T X 0 -5 -^ I J /-+00 ^ . On a donc tabli
Le thorme 3.3.2 assure la convergence de
lexistence de In.
2) Le changement de variable u = t ^Jn donne
r 2nte -nt^ dt
In = ln (l + t) + I cosi|
Jo
2 u e -^ '' ____^ du.
= /
+1
220 I ntgration
r+OO _ 2
ce qui suggre de montrer que la limite de est / 2ue du,
Jo
cest--dire 1.
lirn ( lInn ( l -h i ) -h Icosi]) = l.d o n c to u t e donn dans ]0,1[,
On a lim
t-^o ''
on peut associer o > 0 tel que
1 ^ ^ e
Vi G [0, a], y/1 e <
ln (l-|-w )-t-1 c o su | ~ 2
do
ou encore
,____ ^av/n 2 a / \ r'/" 2
\/ l e J 2ue du < J fn{t)dt < \ l + j J 2ue du.
Or
ay/n
as/n +oo
/-H
lim / 22ue
u e ~ du = I 2ue ^ du = 1,
n->+oo J/0
q Jq
Jo
donc e G]0,1[ on peut associer ni G N tel que
ra P
{*) Vn G N, n > n i => V l < / fn {t)d t < 1 - 1 - - .
Jo 2
1 1 1
0 < < ---^------- r <
ln (l -h n) -h I cos n| ln (l -H u) ln (l + a)
Do
+ oo 1 +00
r+ oo ^-na^
^ R T ^ i. ln (l + a)
Chapitre 3. Intgrales gnralises 221
donc
/+ e
(**) Vn G N, n > ri2 => / fn{t)dt <
Ja 2
X I f{ x , t) dt
223
224 I ntgration
F : I X I / f{ x , t) dt.
Ja
Pour cela, nous commenons par tablir le lemme suivant qui donne une
proprit gnrale de la fonction / que nous utiliserons dans un instant.
F : / ^ R, X j /( x , t)I dt
I
Ja
est continue sur I.
e"
F : dt,
" + t'^x'^
il suffit dobserver que la fonction
/ : R X [0,1] R, (x , t)
1+
226 I ntgration
F : I ^ M X I / f{x, t) dt
Ja
est drivable sur ja , fi[, et on a
(4.1) = J ^{x,t)dt.
/( x , t) - /(x o , i) - (x - Xo) t)
Chapitre 4. Intgrales dpendant dun paramtre 227
< e.
sur lintervalle ]xq h,xo + /i[ (le point t tant fix). Puisque
^9,(x,t)
< e,
dx
< e |x xoj.
F (x ) - F(xo) r df
lim
X-CO X Xq
Do la formule (4.1).
dt
{x) = r
Jo
228 I ntgration
Partant de
iri,(/x )X =
1 a rc ta n ,
1
X X
on peut ainsi, par drivations successives, obtenir les valeurs de Fk{x)
pour tout entier k vrifiant 2 < k < n .
|$ ( x ,u , u ) - $(xo,tio,vo)| < s,
et il rsulte du thorme 4.1.2 que cette drive partielle est continue sur
I X [a, f>] X [a, b]. Dautre part, les drives partielles
{x,u,v) = - f { x , u ) et {x,u,v) = f { x , v )
sont elles aussi continues : donc $ est une fonction diffrentiable du tri
plet (x, U, v) (voir dfinition A.5.1).
Par application immdiate des thormes relatifs aux fonctions compo
ses, on obtient immdiatement les rsultats pratiques suivants.
Proposition 4.1.9 Si les hypothses du thorme 4.1.2 sont ralises et
si les deux fonctions x i-*- u{x) et x v(x) sont continues de I dans
[a, 6], alors la fonction
pv(x)
^ :I X / f { x , t ) dt
Jui x)
F : I X I dt
Ja
est continue sur I, et on a, pour tous a , P E l :
^ai3 = / .
Or
H{p) = H{a) + / H'{x) dx,
Ja
et comme H{a) = 0, il vient
r0
H{p) = f F{x)dx.
J ol
On conclut
f{x,t)d^dt = J f{x,t)dt^dx,
f { t ) d t < M.
L
Si f E est positive et intgrable sur I, alors lensemble
des Jj f{t) dt (lorsque J dcrit lensemble des segments inclus dans
1) est une partie non vide et majore de R, elle admet donc une borne
suprieure dans R en vertu du thorme A. 1.6.
Dfinition 4.2.3 Soit / G positive et intgrable sur I. On
appelle intgrale de / sur I, et on note f i t ) dt, la borne suprieure
des J J f{t) dt lorsque J dcrit lensemble des segments inclus dans I.
j f{t) J /(* ) ^ 0-
De plus, / est intgrable sur les quatre intervalles [a, /3], ]a, 0], [a, 0[,
]a, /?[, et les intgrales de / sur ces intervalles sont gales.
2) On convient que si I est un singleton, alors toute fonction f : I
est intgrable sur I et Jj f{t) dt = 0.
Proposition 4.2.5 Si f : I *R est continue, positive et intgrable sur
I, alors
^ j f { t ) d t = 0^ => ( / = 0 sur I).
Jj
f f { t ) d t < JfJno f { t ) d t < M.
sup / f ( t ) d t = lim / f { t ) d t =
n>0 Jjn n-*-|-oo Jj^
Mo < / f{t)dt.
JJ
- On a vu dans la preuve de (iii) => (i) que, pour tout segment J inclus
dans I, il existe no G N tel que J C Jo et donc
f
J Jn
f{t)dt< f
J *JnQ
f{t)dt<Mo
[ + ^ f { t ) d t + [ g{t)dt
J Jn J Jn Jn
< A y* f { t ) d t + J g{t)dt,
lim /
n ^+ o o jj^
f(t)dt = f f{t)dt
JJ
et lim f g(t)dt = f g(t)dt,
Ji
on a
lim
n^+oo Jj^
[ ( X f + g){t)dt = lim
n - + o o
(x
\
f f(t)dt
Jj^
+ f
Jj^
g(t)d^
)
= J ^ f { t ) d t + J^g{t)dt.
Do la relation (4.4).
Do la proposition.
236 I ntgration
f f i t ) dt < r f i t ) dt = Fi x) < L.
JJ Ja
Chapitre 4. Intgrales dpendant dun paramtre 237
Tous les rsultats que nous avons tablis pour les intgrales gnralises
restent donc vrais dans le cadre des fonctions intgrables positives sur
un intervalle [a, &[.
2) La fonction 1 1-^ sin t nest pas intgrable sur [0, -I- oo[ car on
/+ sini
sait (voir exercice 3.25) que lintgrale gnralise / ----- dt est
Jo t
semi-convergente.
Dfinition 4.2.16 Soit / CM( I , K). On dit que / est intgrable sur
I si et seulement si la fonction 1/| (qui est continue par morceaux et
positive) est intgrable sur I.
Rem arque 4.2.17 Cette dfinition peut se traduire aussi en disant quune
fonction / : J ^ K continue par morceaux est intgrable sur I si et
seulement si lintgrale gnralise de / sur I est absolument conver
gente.
/+ : 7 ^ R , := su p (/(f),0 )
/ : / ^R , f ~{t) := s u p ( - /( i) ,0 ) .
Les fonctions /"' et f ~ sont dfinies dans I et positives. De plus, on a
f = f ^ - r et l/l = / + +
n est clair, en outre, que s i / CAI (/, R), alors les fonctions f~^, f ~, | / |
appartiennent elles aussi CM{ I , R).
:= J J + { t ) d t - J ^ f - (i) dt.
J f { t ) d t := J ^ e { f ) { t ) d t + i J S>m(/)(i) dt.
f i t ) dt = J f i t ) dt.
lim
n-^+ooJj^
f f(t)dt = f f{t)dt.
JJ
Dmonstration : - Si / est valeurs relles, alors
f{t)dt = i { f + - f - ) ( t ) d t = f^ {t )dt - f - { t ) dt
J Jn Jn Jn Jn
et
f
Jjn
f^{t)dt -
Jjn
f f {t)dt
n- + 0 0 JJ
f f ^ { t ) d t - JiJf {t)dt,
do
et
f ^ e{ f ) { t ) dt + i f ^{f){t)dt
J jn JJn
n-+CX) Jl
f e(/)(i)di + * / ^m{f){t)dt,
Jl
do
= /(*)*
Ceci achve la dmonstration du lemme.
242 I ntgration
do
lim [ {Xf-\-g){t) dt = f {Xf-\-g){t) dt.
n ^ + O o J j^ JJ
A/
J jn
f{t)dt +
J jn
f g{t)dt >
n -+ o o
A f f { t ) d t -f- f g{t)dt.
Jj Ji
Comme,
J^f{t)dt = j^f{t)dt.
Dmonstration : 1)
2) On a
= J ^e{f){t)dt ~ ^j ^rn{f){t) dt
= J ^e{f){t)dt + * y '^'m{f){t)dt
- /)(i) dt > 0,
D o lingalit dsire.
_ ( / ( < ) * et j j n m t m \d t.
et de plus,
N i : f ^ N i i f ) := j m \ d t ,
= \ \ \ j \ m \ d t = \\\Ni{f),
de mme que
et enfin
Do la proposition.
lim N i {fn - / ) = 0.
n -+00
Dfinition 4.2.41 Soit / CM{I, K). On dit que / est de carr int
grable sur I si et seulement si j/P est intgrable sur I.
\ 1/2
N M ) := ( /
ainsi que
( /> /) = 0 j ^ \ f i t ) \ ^ dt = 0 (/ = 0 s u r 7 )
lim N2ifn - / ) = 0.
n-+00
/ ,
-1 ^ / ^
= 7T.
Chapitre 4. Intgrales dpendant dun paramtre 249
Alors
* pour to u t n N, / est intgrable sur 7,
/ e s t intgrable sur 7,
lim
n-+ooJJ
f fn{i)dt = f f{t)dt.
JJ
Exemple 43.4 Calculons la limite lorsque n -l-oo de
^ 1 + nx ^
lin ) := / 7"------ ^ dx,
^ Jo (1 + x-)"
1 H nx
La suite des fonctions dfinies sur ]0,1[ par /n(x) = ------- converge
(1 + X)
simplement vers la fonction nulle puisque pour chaque x ]0,1[, on a
n
fn{x) ~ lorsque n > -|-oo.
De plus.
(1 + x) = l + n x + ^ X
fe= 2
entrane que \fn\ < 1. Comme la fonction constante l est int
grable sur ]0,1[, on conclut par le thorme de convergence domine
que
lim 7(n) = 0.
n->+oo
250 I ntgration
V ie /, |/ ( x ,t ) | < <^(t)
V ie /, lim /( o n ,i) = / ( x , i ) .
n >+oo
lim
l + 0 0
f fn{t)dt
JJ
=
JJ
f f{x,-) dt,
cest--dire
lim /( a ) = /( x ) ,
n >-+oo
ce qui prouve la continuit de F au point x, et finalement, la continuit
de F sm A.
K X dt
est continue sur K . Il en rsulte que /( x , ) est intgrable sur I pour tout
X E A, et que /(o ) tend vers /( x ) quand n tend vers -l-oo, ce qui
prouve la continuit de / au point x. La fonction f est donc continue
sur A.
Chapitre 4. Intuyales dpendant dun paramtre 253
f+oo g-i2
Exemple 4.4.7 La fonction F : x>-^ ----- rr dt est continue sur
7-00 a:-Mil
'Pjc ^ R >R, 1 1
a + jj
V (x,i) G X X R, |/ ( x ,i ) | <
Alors
pour tout X l A^ la fonction t ^ d f, intgrable sur I,
254 I ntgration
Vi / , < V>(*)
df
dy
/^ d f
V(/i,i) 6 Ao X / , T{h,t) = ^y-
d
V(x, t) e A x I, {x,t) < p{t).
dx
On a donc, pour tout {h, t) E A q x I :
d y
< f (p{t)dy =
Jo
Ceci montre que T vrifie une hypothse de domination sur A q x I.
Daprs la proposition 4.4.5, il en rsulte que la fonction
: A o - ^ K , h ^ T { h ) := J^T{h,t) dt
est continue sur A q. En particulier lim r{h) = r(0 ). Or, pour tout h
dans ^ 0 \ {0},
et
t (0) = J^ T {0 ,t )d t = j ^ ^ { x o , t ) d t .
te~* co^tju)
^dx = i+t
est dfinie sur R x [1, -l- oo[, continue par rapport x, continue par
morceaux par rapport f, et vrifie une hypothse de domination sur
R X [1, -t- oo[ puisque
cos(xt)
Vx G F '(x ) = ^ dt.
+ t
Chapitre 4. Intgrales dpendant dun paramtre 257
c+oo ^ t sixi{xt)
F{x) = / dt.
Jo
1) Montrer que F est drivable sur R.
2) Calculer F'{x) et en dduire une expression explicite de F{x).
258 I ntgration
Solution
1) Considrons
e sin(xi)
/ : R X [0, + oo[ R, (x,t)
lim / (x ,i) = X.
/ cos(xi) dt.
Do
F'{x) -
ln(x + t)
dt.
- w = l ^
Solution
1) Dterminons le domaine de dfinition de F.
- Si X > 0, la fonction t (1 + ) ^ ln(x + t) est continue sur
lintervalle compact [0,1], donc F{x) existe.
- Si X = 0, la fonction t (1 + f) ^ ln i est continue sur ]0 ,1]
donc localement intgrable et on a (1 + In i ~ In i < 0 quand
t *O"'', donc, comme f i-> In i est intgrable sur ]0 ,1], le thorme
dquivalence pour les fonctions de signe fixe assure que la fonction
i (1 + 1)~^ In i est intgrable sur ]0 ,1]. Donc F (0 ) existe.
- Si x < 0, la fonction f -> (1 + i ) ^ ln(x + 1) nest pas dfinie sur un
voisinage droite de 0, donc F{x) nexiste pas.
On conclut que la fonction F est dfinie sur [0, + oo[.
tudions maintenant la continuit de F.
Considrons
ln(x + t)
/ : [0, + o o[x]0,1] (x, t)
1+ t
260 I ntgration
<
(x + i ) ( l + i) ^ (b + t )^{ l + t) := Vfc(f),
o '(pb est continue par morceaux sur ]0 ,1], positive et intgrable sur
]0 ,1] car ipb{t) tend vers 1/6 lorsque t tend vers 0.
Ceci montre que la fonction d f / d x vrifie une hypothse de domina
tion locale sur ]0, -j- oo[x]0,1].
Le thorme 4.4.8 assure que F est de classe sur ]0, -I- oo[ et que
dt
i - l (x' 1) (1 -\-1)
Pour expliciter jP'( x), supposons dabord x ^ 1. On a alors
1
= - J - f _____
(x -h i) (1 -h t) 1 X y x + t 1 + ty
Chapitre 4. Intgrales dpendant dun paramtre 261
do
F -(.) = ^ / 7
\x^+ t 1+' tJ) dt
( ln(x + 1) In X In 2 ).
1 -x
De plus.
dt 1
^'(1) = r 1 + 1Jo 2
Jo ( 1 +
Conclusion :
F\ x ) = I
y
r i ( ^ )
1/2 si
*6]0.1[u|l,+ool
X = 1.
3) Montrer que
Vx R ; , r ( x + l) = x r ( x ) ,
Solution
1) Pour chaque x G Rj., la fonction t ^^ c. O* est continue
vv^iiiiiiu^
surOUI
donc localement intgrable. De plus, lorsque t tend vers O'*', on a
^ avec X 1 > 1,
et cette fonction existe et est continue par rapport t sur RJ.. Or, pour
X > 0, on a
pA
= (e^e"s _ A^e~^) + x J -1 e ^ dt.
cest--dire : F (x -t-l) = x T (x ).
Par rcurrence immdiate, on en dduit
Vn G N, F (n -1-1) = n! F (l),
264 I ntgration
et comme
f+OO
r ( l) = / e~^dt = 1,
Jo
on a bien la formule dsire.
4) Daprs la question 2), la fonction F est de classe sur
Vx G / {t ^) Int dt = r(x).
Jo
Chapitre 4. Intgrales dpendant dun paramtre 265
Solution
Pour chaque x E Mj., la fonction / : t x) {t e In i est
continue sur MJ., donc localement intgrable, et on a
(i x) e In i ~ xi ^ In i lorsque i ^ O"*'.
ce qui montre que lintgrale de / sur [1, + oo[ est absolument conver
gente. On a donc tabli lintgrabilit de / sur Rj..
Compte tenu de lexercice prcdent, on a alors
p+oo p+OO
I {t x) e~* l t d t = / (In i) ^dt
Jo Jo
t+ oo
X I {]nt)t^~^ e~* dt
Jo
= r '(x -f-l)-x r '(x ).
Comme r ( x - l - l ) = x F (x ), on dduit
do
f+OO
Vx G R ; , / ( i - x ) i ^ - ^ e - I n i d t = r (x ).
Jo
Exercice 4.5 Montrer que la fonction In o F est convexe sur ]0, -|-oo[.
Solution
Puisque la fonction F est de classe C'^ sur ]0, -h oo[ (voir exercice 4.3),
266 I ntgration
<
a e~* dt^
= r"(x )F (x ),
do p"{x) > 0, ce qui montre bien que p est convexe sur ]0, + oo[.
Remarque : Une fonction / valeurs dans R+ et telle que In o f soit
convexe est dite logarithmiquement convexe.
Vx G]0 ,+ o o [ , r ( x + l) = y/x J f { x , t ) dt
o on a not
si t < y/x
2) Montrer que
et que
(**) Vx G [0, + o o [, Vi G [-\/x, 0], 0 < f { x , t ) <
Chapitre 4. Intgrales dpendant dun paramtre 267
3) En dduire
Solution
1) Pour tout X G ]0, + oo[, on a
r+oo
r ( x + l) = / vfe-^du
Jq
= I {x + t y / ^ f e-x-tv
7-^/
Il sagit de montrer que <p{t) > 0 > 0 pour tout i > 0. Or est
manifestement de classe sur [0, + o o [ et
//.N ^ ___ t - , ^ ^ n
I+ f+ Vi (i + i)(i + Vi) -
Donc (f est croissante, et comme (/?(0) = 0, on dduit que (^ > 0 sur
[0, + oo[, do lencadrement (*). Soit maintenant x G [0, + oo[ et
considrons la fonction :
V?
'0 : ] 1,0] >M, U I> ln (l + u) + U
^ '(u ) = < 0.
cest--dire
/
fn{t)dt = /
-00 J oo
lim +
n -> + o o y _ ^ V y/Xn^ 7 -0 0
+00
/ -oo
e~'^ du = y/^.
Chapitre 4. Intgrales dpendant dun paramtre 269
Ce dernier rsultat, valable pour toute suite (x) termes positifs ten
dant vers -hoo, permet de conclure que
+00 X ^ V2;
et finalement
/ -v
( l - l 7=)
^ \ X ___
y/x'
dt = \ / 2 ^ ,
laide de la fonction F.
Solution
1) Sur ]0,1[, la fonction
f{t) ~ ~ ~ (1 i) lorsque i ^ 1.
lim t f ( t ) = lim f In y ) = 0.
t
>0+ t
o+ V tJ
Comme 1/2 < (1r ) /2 < 1, le corollaire 3.3.6 entrane que lintgrale
gnralise f{t) dt converge pour tout s K.
Si r = 1, le changement de variable x = \ j t donne
/1/2 / l\s /*+00
J f yhx-J dt = J (Inx) = +00 puisque s > 1.
2) En dduire
^ ln ( l + i) , TT ln 2
l
Chapitre 4. Intgrales dpendant dun paramtre 271
/ ; ] - l , + o o [x [0 ,l] -
^ . U t) *
dx ^ (l+ i2 )(l+ x i)
est continue par rapport x, continue par morceaux (car continue) par
rapport t, et vrifie une hypothse de domination locale sur ] 1, +oo[
car.pourtout a 6 ] 1, + o o [,o n ap o u rto u t (x,t) G [a, + o o [x [0 ,l] :
1 1
< < ------- <
(1 + f2) (1 + xt) 1 + ai 1+ a
F : ] - l , + o o [, x h ^ [ f{ x ,t ) Iidt
Jo
est de classe sur ] 1, + oo[ et, pour tout x > 1, on a
p>u) = f' lu t) = t
^ ^ ^ Jo _____
il + t^){l + xt)
1 /x + t ^ \
l + x ^ J o \ l + t^ 1 + x tJ
= ^ ln (l + i^) + X axctani ln (l + x i)l
l + x2 L2 ^ Jt=o
1 /ln2 7TX , ,,
= r r i l T + T -
272 I ntgration
F (x ) = F{0) + r F'{t)dt
Jo
ln2 TT . 2\ /ln(l + i)
= arc ta n x + - to (l + x ) - dt.
F{1) = H (l + 1) dt,
TT ln2 _ / ln
4 Jo 11 +
7n
+ t) ,
ln (l +
mais comme on a aussi F[l) = I - y ---- ^ dt, on conclut que
Jo 1 +
^ l n ( l + ) 7T lll2
dt =
Jo ~ T + W
Do la formule dsire.
Solution
1) Considrons la fonction
g-X^(l+t^)
/ : R X [0,1] R, (x, t)
1 + f2
Chapitre 4. Intgrales dpendant dun paramtre 273
F '(x ) = f ^ {x,t) dt = [ di
Jo dx Jq
^ : R ^ R, X F{x) + 2
Vx G R, A \ x ) = F'{x) + 2 ( = 0.
^ (x ) = A(0) = y = [ a r c ta n ijj =
D autre part.
/I
Vx dt = e
G R+, 0 ^ ^ I TT^ 4
274 I ntgration
X \ 2
lin. ( /
x-^+oo \ J q
do
lim /r e ^ dt =
X^+OO In
^+Jo 2
Jo 2
arctan(xf)
arct
ajctan(xi)
F : L X i-> / dt.
Jo i ( l + f2)
^ a r c ta n t^ ^
dt = 7T ln2.
Chapitre 4. la t ra le s dpendant dun paramtre 275
Solution
axctan(xi)
1) Soit X M. La fonction t est continue sur ]0, + oo[.
t (1 + 1^)
donc localement intgrable ; elle est de signe fixe au voisinage de 0 et
vrifie
arctan(xi)
lim -,------ = X,
t->o t (1 + 2)
tandis que pour tout f > 1, on a
arctan(xt) TT
i(l+ i2) -
/ : Rx]0, + o o [ ^ R , (x ,i)
= ^^ lim [a rc ta n i x arctan(xi)]*~Q
JL i/C i4.
~100
_ 1 /TT 7Ta;\ _ TT
l - x ^ \ 2 ~ ~ r J ~ 2(l + x )
On conclut que
ln (l + x) si X> 0
Vx E , F{ x ) = { I
ln (l x) si X < 0.
5) Sur ]0, + oo[, la fonction : t i-> (t~^ arctaiii)^ est intgrable car
elle est continue sur ]0, + oo[ donc localement intgrable, et de plus
Uni arctani)^ = 1 et
/( aarrcct ta
a niif
f X\^^ ^ l+oo aajTctani
rc ta n i or./ n\ i
K i ^ ) = - I n x Fn+i{x).
2) En dduire une mthode rapide pour calculer les intgrales Fn{x).
Solution
1) Pour tout X G R+, la fonction [0, + oo[> R, t est
(i^ + x^)
continue, donc localement intgrable. De plus, on a
1 1 Of* 1 1
rs^ __
lim et
t-^o (2 + X^) X^" (i^ + X^) n ^ 7f2n
^ i-^+oo,
O 1 1> l/f2 est intgrable sur [1, +oo[ puisque 2n > 1. Cela montre
que, pour tout n G N*, la fonction Fn est dfinie sur
Considrons prsent
1
/n ; R+ X [0, + o o [-* -R , (x,i)
(i^ + x^) '
La fonction
df, 2nx
^ : R ; X [0, + o o [ ^ R , (x,i) (2 + ^:2)^+!
f+OO f)f r + -2 n x
dt
(f2 +
= 2nxFn+i{x).
7T 7T 1.3___(2n 3) 1
4 x 3 ^n{x) - 2 2 . 4 .. . ( 2 n - 2) x 2 ^ - i
f sin t ,,
' = 2 -
TT
Solution
1) Considrons la fonction / : R;j.xR!j. > R, (x,i) t~^ s in ie *^.
Pour X > 0 fix, la fonction /( x , ) : Rj. ^ R, i /( x , t) admet
une limite droite en 0 car
sini
~ 1 lorsque t > O"*.
Chapitre 4. In t^ a le s dpendant dun paramtre 279
< e te
J
Li xJ1 = l-l-x^
donc
Vx 6]0,-l-oo[, F'{x) = - ^
280 I ntgration
doh C = 7t/ 2 .
4) Compte tenu de la question 3), on a
dt\
J0
Chapitre 4. Intgrales dpendant dun paramtre 281
9 .(t) := 1 -
Il est clair que cette suite converge simplement sur ]0, + oo[ vers la
fonction nulle. De plus, la convexit de la fonction e donne
Donc
1 co s
V i]0,+oo[, |^(i)| < i2
Or la fonction ip : (1 cost)/t^ est continue sur ]0, + oo[, donc
localement intgrable, elle se prolonge par continuit en 0 en prenant
i^(0) = 1/2, et de plus
in r 1-cosi ^ 2
V i ] l , + oo[, P <
lim = 0,
n>+00 \n J Jo t
cest--dire
/1 \ f+ sin t ,
hm F ( J = / ----- dt.
n-^+ oo \n / Jq t
Do (***).
r+OO gi(ix-l)
F ix) := dt.
Jo Vt
282 I ntgration
Solution
1) Soit
1)
/ : Rx]0, + o o [ ^ C , (x,t)
~VT-
Pour chaque x G R, la fonction /( x , ) :]0, + oo[ C, t ^ f { x, t )
est continue, donc localement intgrable, et de plus,
(*) F{x) = - 2 { x + i ) F \ x ) .
Conclusion :
Vx R , F{ x ) = ^ ) i /4 Q arctan a:).
3) tablir :
I T+ >
Vx R ;, F (x) - F \x ) = - = o I = e " dt.
Jo
4) En rsolvant l quation diffrentielle ainsi obtenue, montrer que
Vx R ; , F(x) = (I - 2/
5) En dduire
Jo 2
Solution
--Xt^
Pour chaque x R+, la fonction /( x , ) : R+ > R, t
l+ i2
est continue sur R^., donc localement intgrable. De plus.
^ : R+ X R+, (z ,i)
dx l + i2
est dfinie sur R+ x Rj., continue par rapport x et continue par mor
ceaux (car continue) par rapport t.
- Soit e > 0. Pour tout X e ]e, -t- oo[, on a
< e -st^
o la fonction t H-f est intgrable sur ]0, -I- oo[ car localement
intgrable et vrifie e * = o(l/i^). On dduit du thorme 4.4.8 que
F est drivable sur ]e, -I- oo[ pour tout e > 0, donc drivable sur
De plus
+00
+00 +2 -xt^
Vx e n ; , F'(x) = - J ^ - dt.
+ (2
3) Pour tout X > 0, on a
x2 /+ 2 du
F{x) - F '(x ) = / e-^* d t = e" ^
Jo Jo
o lon a pos U = y/x t pour x > 0 fix. Do
I r ^ 2
F(x) F'( x ) = - 7 = avec 1 = 1 e dt.
JQ
4) Lquation diffrentielle homogne y' y = 0 admet pour solutions
sur R les fonctions x o T R. En rsolvant lquation
complte par la mthode de variation de la constante, on obtient pour
tout X > 0 :
fX g -t i fy/x
Solution
i Ini
1) Pour chaque x dans M , la fonction t i . , est continue sur
]0, + oo[, donc localement intgrable. De plus.
i In i In i
~ lorsque t > + 00.
(1 +
Or, pour tout e > 0, on a
In i
V i]e,+oo[, < _ <
Chapitre 4. Intgrales dpendant dun paramtre 287
^ /+ t Int ^
donc / J- converge pour x > l + | , s o i t x > 1, et diverge
pour < 1. Donc D =]1, + oo[.
2) Pour chaque a M+, la fonction (pa : x est convexe sur K
puisquelle y est deux fois drivable et que lon a
Va [0,1], V(x,y) + (1 - ).
/
et le changement de variable 2^ 2 = U donne
dt < F{x) < p j n dt,
2 .(2 x -y / IP ^ ^
+00 , .
F : x ^ I e " +*^ dt
L 00
Solution
1) Les fonctions
VM, F'{x) = r
J OO
On en dduit
+00
2F
-OO
/ (2i -|- ix) g-t2+ite
= -i lim = 0.
donc
/ -OO
e~^ cos tx dt =
K l ) + K ' - | ) = s '" -
Solution
1) Pour tout (x, t) G on a
do
lim - In (f^ 2COSX + 1) = 2 cosx.
(-0+ t
Lintgrale dfinissant F{x) est donc convergente pour tout x G [0, tt].
3) La fonction F est manifestement paire et 2Tr-priodique. Son tude
Chapitre 4. Intgrales dpendant dun paramtre 291
sur [0, 7t] suffit donc la dterminer entirement. Dautre part, la fonc
tion
(x, t) 1-^ ln(i^ 2COSX + 1)
est continue sur [0, tt] x ]0, 1] et se prolonge par continuit en (x, 0). On
en dduit que F est continue sur [0,7t].
4) Pour chaque t . [0,1], la fonction x h-j- In (f^ 2 ic o sx -1-1)
est drivable sur ]0, 7t[, et on a
_ ,/ . 2 sinX dt r / i c o s x M i
F'(x) = / ------------ - = 2 arctan ( ^-------)
Jq 2c o s X -h 1 L V sinx /Jo
= 2 arctan ^ 2 arctan ( (^ ~ ^ ) )
donc
Par consquent :
x^
(*) Vx G ]0, 7t[, F{ x ) = TTX ^ ^ c G R.
292 I ntgration
Comme F est continue sur [0, tt], la formule (*) est valable aussi pour
X = 0 et X = TT. Dautre part, on a
^ i [ l n ( i ^ - 2 t c < , s | + l)
+ In + 2icos ^ + l ) ]
12
- In {t^ 2t^ cos X + 1) dt,
-I 0 *
ri 1 1
/ - In (i^ 2t^ cosx + 1) dt = I In ('u^ 2tiCOsa: + 1) du
Jo f Jq
= irW .
TTX X^ ( X \ \ ( \2 7TX X? c
^ - g - + c+ ( , r - - j - - ( , r - - ) + c= Y - T + 2-
Do c = Finalement,
Vx G [0,7t], F{ x ) = Y y-
pTl ln (l + a cos)
Fia) = / dt.
JO cost
Chapitre 4. Intgrales dpendant dun paramtre 293
Solution
Lintgrande nadmet pas de primitive exprimable laide des fonctions
usuelles. Lide est alors de driver F par rapport a et dobserver
quainsi on se ramne une intgrale quon va pouvoir calculer.
Lorsque a ] 1, + oo[, lintgrande est une fonction continue sur
[0, 7t/ 2 [ et elle se prolonge par continuit en tt/2 car au voisinage de ce
point, on a
ln (l + a cost)
/ : ] - 1, + oo[ X [o, ^ R, (a, t) ^
cost
admet une drive partielle par rapport la variable a qui est continue
sur ] 1, + oo[ X [O, f ] et donne par
^ ( a , t ) = ------ ------- .
da^ 1 + a cos t
Le thorme 4.4.8 assure donc que F est drivable sur ] 1, + oo[ et
que
V ae]-1 ,+ o o [, F \a ) = /
Jq 1 + 0 cos t
Le changement de variable u = tg (i/2 ) donne
dt
V g ] 1, + oo[, i^^(o) 2 I
Jo (1 + o) + (1 o) V?
Do
arccos a
(*) V a ]-l,l[, F \a ) =
V l O?
- Si a G ]1, + oo[, on pose a = ch29 avec > 0, de sorte que
du du
J_ r
J o ch^ sh2 c\^9 Jo U2th^
2 dv 26
sh20 Jq 1+ h ^ '
Donc
argch a
(**) V(2G]1, + o o [, =
^ arccos a*
F{a) = F{0)+ r F \ x ) d x = f dx
Jo Jo
(arccos x)^ 7r^ (arccos a) ^
Jo "s' 2
7T
F{1) = lim F{a) =
a ! O
i*+ln(x2
f+ In (a + i2)
dt.
Jo 1 + 2
1) Prciser le domaine de dfinition de F.
Chapitre 4. Intgrales dpendant dun paramtre 295
2) tudier la drivabilit de F.
3) Donner une expression explicite simple de F{x).
Solution
In (x^ + i^)
1) Pour chaque x 6 R, la fonction fx : ]0,+oo[- 1 1^
1+
est continue, donc localement intgrable.
Si X est non nul, lim /a;(i) = Inx^. De plus, /o (i) ~ 2 Ini lorsque
t > 0+, et Jq Intdt est convergente daprs les exemples 3.1.4. La
fonction fx est donc intgrable sur ]0 ,1]. D autre part, lorsque t tend
vers + 00, on a
+ In(x2 + i2)
dt
+ i2
pour tout X e R. La fonction F est donc dfinie sur R, et elle est
manifestement paire.
2) Considrons la suite des fonctions
r m "'^In(x2 + i2)
9n : ]0, oo[ >R, X I> / r 111
~ dt,
Jo 1 f2
+
et posons
In(x2 + i2)
hn ]0, + o o [ x [ 0 , n ] R, (x,t)
l+ i2
dhn / .\ _ 2x
dx ^ (2 + 1 ) ( 2 + ^2 )-
296 I ntgration
r 2xd t
G{x) := /
Jn (2 + l)(2 + x2)
2xt
Comme < 1 pour tout f > n, on a aussi
2 + x2
2x 1 1 /+ dt 1
< - et 0 < G(x) - s U x ) < - | ^
2 + a;2
ce qui montre que (p(j) converge uniformment sur ]0, + oo[ vers G
et que F est de classe sur ]0, + oo[, avec F ' = G.
3) Pour tout X e M+ \ {1}, on a
_ 2x / 1________ 1 \
(2 + 1) (2 + x2) x2 1 y 2 + 1 2 + x-2 y
do
Or
/+00 dt A
I -r - = lim farctanfln = lim axctanx4 = ,
Jq 2 + 1 A-t+oo*- 0 A^+oo 2
et en posant u = t / x (pour x > 0 fix), on a
'+ dt _ 1 /-+ du _
Jq 2 + x2 X Jq u2 + 1 2x
do
Chapitre 4. In t^ a le s dpendant dun paramtre 297
donc F{x) = TT In (z + 1) TT ln 2 + F ( l ) .
Z IX
y+oo In (1 + t^)
Calculons F{1) i+ ^ laide du changement de va
riable i = tg U. On a alors
/*^/2 /*^/2 . ^ K
do
, ,
2 F (1 ) = J
^In (cos
, 2 U sin
2 \
ti) du
j
= J
/ S in ^ 2t t \
In ^ - j du,
donc
Trln4 1 . 2 , , r> ^ 2 J
2 F (1 ) = --------- / In sin"^ l d'u; = tt l n2 / In sin tudu;.
2 2 do Jo
On en dduit F{1) = tt ln2, puis F (z ) = tt ln (z -|- 1) pour tout
Z M+. D autre part, le changement de variable t = l f u donne
m = Jof + U2TInTu du = - F ( 0 )
Vz R, F{x) = 7T l n ( l + |zl).
Solution
1) Premire mthode :
298 I ntgration
fn [o, *
/Tt/ 4 /tt/ 4
lim / tg t dt = I 0 dt = 0.
n+00Jq Jq
Deuxime mthode :
laide du changement de variable = tg i, on a
fn : [0, + o o [^ R, i i->
ln = t e * dt = 1 -----.
n-*+oo J/oq f + e*
f + Jq e
Deuxime mthode :
Avec les notations ci-dessus, on a, pour tout n > 2,
I r+oo p+oo
/ fn{t)dt - / f(t)dt
<-
+00
dt
i r ( ^ 4 ) - h / t^ + e*
P t^dt rr+oo dt
Jo (i"-h e )e + 7 1
1 1
-I- 0,
n -h 1 n 1 n-*+oo
et de plus
do
/+00 ^
lim / fnit) dt = 1 -----.
n-^+OOJ q e
300 I ntgration
3) Premire mthode :
Pour chaque entier n > 2, considrons
/ : [0, + oo[-> R, 1 1
*2 + 1
- Les fonctions / sont continues par morceaux (car continues) sur
[0, + oo[.
- L a suite (/) converge simplement sur [0, + oo[ vers la fonction /
dfinie par
\ 1/2 si i = l.
- L a fonction / est continue par morceaux sur [0, + oo[.
De plus,
Vn > 2 , Vi G [0, + o o [, |/ (i)| < ?(i),
o la fonction
si 0 < i < 1
if{t) ;=
1/i^ si i > 1
- {
est intgrable sur [0, + oo[.
Le thorme de convergence domine permet de conclure que
r*+oo fU
/-1-00
lim / -X----- T dt = 0.
Deuxime mthode :
On a, pour tout n > 2,
^-Hoo ri xn /* + 0 0 fil
dt = / -i2tA
Jo ----- d t +
n + i
---------
i2 n + i
dt
- Jo
f+ dt
1 1
+ 0,
n + 1 n 1 n-+oo
lim rm
f i t )'
t
. nt dt.
sin
Solution
Nous allons discuter selon la position de 0 par rapport o et 6.
- Premier cas : 0 ^ [,&]
Alors t f { t ) / t est continue sur [a, 6] et le lemme de Riemann-
Lebesgue (voir exercice 1.18) sapplique, do
ta
n-^+ oo
r mt sin n t d t = 0.
m - f{ o ) , sin nt ,
sin nt dt = / sin nt dt + /(0 ) / ------- dt.
/' U Jo t
La fonction t [/(f) /( 0 ) ] /i tant continue sur le segment [0,6]
(en fait se prolonge par continuit en 0), le lemme de Riemann-Lebesgue
sapplique, do
lim f ^ n t d t = 0.
n *^+oo Jo
Par ailleurs, on a
Jo t Jo U n-+oo 2
Finalement,
7T
ta i M sin nt dt = -2
l>+oo J q t
lim f t
sin n td t = ^ 2 /(0).
-'^
- Quatrime cas : a < 0, 6 > 0.
On crit
m sin n t dt,
Ja ^ Ja ^ Jo ^
et on applique chacune de ces intgrales le rsultat obtenu prcdem
ment, do
lim
1 -+ + 0 O
f t
sin n i d i = TT/(0).
Solution
Sur ] 0 , 1[, la fonction i i/ In i est ngative et continue, et elle se
prolonge par continuit en 0 puisque
i
lim = 0.
(-0+ m i
En revanche, lorsque i tend vers 1 , on a
i* 1
In i i 1
et / q (i 1) ^ dt est un exemple de Riemann divergent. On en dduit
que lintgrale propose tend vers oo lorsque y tend vers 1 .
Les fonctions i i-> i / In i et t (i 1) ^ sont de signe fixe et sont
quivalentes lorsque x tend vers 1. Comme leurs intgrales sur ]0,1[
sont divergentes, la proposition 3.5.3 donne
fy t^ fy dt
i to i * ~ r : ^
Chapitre 4. In t^ a le s dpendant dun paramtre 303
cest--dire :
y
/ - dt ~ ln (l y) lorsque y 1~.
0
F : X f dt.
Jo
Solution
La fonction F est continue sur Mj. car f e~^l^ est continue sur
]0 , -h oo[, donc localement intgrable et se prolonge par continuit en
O'*" en posant /(0 ) = 0. Donc F est dfinie et continue sur ]0, -f- oo[.
Pour chaque x RJ. et pour tout t ]0, x\, on a do
0 < F{x) < X. On en dduit que F est prolongeable par continuit en
0 avec F{0) = 0.
Comme lim = 0, la fonction F est de classe sur R+,
t^o+
on peut crire :
F{x) = dt.
F{x) =
do
F{x) = x 2 -2 e^ /
Jo
et
1. dt.
JO Jo
Or
Do
0< dt < x^.
Jo
On en dduit que
F{x) = + o(x^).
Dmontrons par rcurrence, pour tout n > 2, la proprit {HR)n sui
vante :
71 px ^
F{x) = ^ ^ U k X ^ n On I = ^ ^ a k x ^ + o{x^ ),
k=2 k=2
o k = (-1)*^ {k - 1)!.
- Le rsultat est dj tabli pour n = 2.
- Soit n > 2 tel que (HR)n soit vraie. On a alors
f e -'e -'/U t = dt
Jo Jo 2
= -( + ! ) / di-
Jo
Donc
n n f ^e dt =
Jo
n ttn n (n + 1) n f dt.
Jo
En posant n+i = nan, on a
n+l ftr J
- AQj
Solution
1) La fonction f x - t >- ^( l + est continue sur si x < 0, et
elle est continue sur R+ si x > 0.
- Si X 6 R - , alors pour tout i > 1, fx{t) > 1/2, donc fx{t) dt
diverge.
- Si X R+, alors fx{t) ~ t~^ lorsque t 0+, donc lintgrale
fxif)dt converge si et seulement si x > 1. Dans ce cas, fx est
continue sur [0,1], donc / q fx{t)dt converge.
On a ainsi montr que la fonction F est dfinie sur ]1, -|- oo[.
2) On a 0 < fx{t) < t~^. Donc, pour x > 1 :
/+00 p+oo 1
0 < / fx{t)dt < = - ^ 0,
Jo Jo X 1 x-^+oo
Finalement,
lim F(x) =
a:->+oo ^
lim
i-> + o o
f
Jq
fx{t)dt = 1.
et comme
[
Jq
fx(t)dt = lim f y ^ (
n-.+00jQ ^
dt
n -1 .1 +00 /
/ fx{t)dt = J fx{u)u^~^du
= lim
-+ 0 0 0
/
1 n - 1
Q
(l du
n -1 .1
kx-^x 2
= lim " ( - 1 ) * /
^ (-1 )^ ^ ^ (-i)fe
{k + l ) x 1 kx 1
A;=0 k=l
Chapitre 4. Intgrales dpendant dun paramtre 307
On obtient ainsi
+00 +00 +00
( - 1)* (-1 )
F(x) = 1 + V - t l L _ = 1 _ 2 'V _ L Z i T _
k=l + l ^k=lk x - 1 ^ fe 2 x 2 -l
k=l
Lorsque x +oo, le terme gnral de la dernire srie quivaut
(l)^/(A:^x^),etona
2 5? (^
( - 1)*
0 < F(x) - 1 + ^
^ A;2 x2 (x2 1)
+0O ( iN fc_l
et sachant que ^ on obtient le dveloppement asymp-
, rC \.Zi
A;=l
totique suivant au voisinage de +oo :
En particulier.
TT
F{x) 1 ~ lorsque x * +oo.
dt
F : X !>
l tx+l + t + l'
308 I ntgration
Solution
1) Pour X M, la fonction fx : [1, + oo[>R, i + t + 1)~^
est continue, donc localement intgrable.
Pour X > 0, on a fx{t) ~ lorsque t >
+oo, et dt
est un exemple de Riemann convergent puisque x + 1 > 1. Daprs le
thorme dquivalence pour les fonctions positives, fx{t) dt est
convergente.
Pour X < 0, on a
^n{x) := fx{t)dt
1.1 = /
^ Jo 1+ U + u ^x ^ Jo
On est ainsi ramen ltude dune intgrale sur le segment [0,1] d
pendant dun paramtre. La fonction (y, u) fy (u) tant continue sur
R+ X [0,1], le thorme 4.1.2 assure que la fonction y fy{u) du
est continue en 0. De lgalit
f \ , du ln 3
X = X T ^ =
on dduit que
11/ \ ln 3 ,
~ Ti lorsque x >
+oo.
2x
Pour chaque u [0,1[, on a ^ lim fy{u) = (1 -I- u ) On est donc
amen tudier la limite, lorsque y tend vers -l-oo, de
u^+y du
' lo (l + ^ (l + u ) ( l + u + i+v)-
Ainsi
. In2 ,
Fix) ^ ---- lorsque 2: ^ 0^.
X
Solution
Soit M un majorant de / sur E+. On a
Vi G R+, | / ( i ) n e *l <
Or
/+00
/ ne~'^* dt lim [ = 1,
Jo A+00
ce qui prouve que I n est absolument convergente, donc convergente.
Posons nt = u. On a Jn = du et il est alors naturel
de conjecturer que
/+00
= 2 Me ~ ^ ,
Chapitre 4. Intgrales dpendant dun paramtre 311
donc, pour A assez grand, le premier membre est major par e/2.
Un tel A tant fix, on a par continuit de / en 0 :
Do
\l i Uo
Pour e > 0 donn, on a donc trouv A qui a servi trouver no tel que
m = i ( l + 1(lni)2)2V
1) f est-elle intgrable sur ]0, + oo[?
2) f est-elle de carr intgrable sur ]0, + oo[ ?
Solution
1) Sur ]0, + oo[, la fonction / est dfinie et continue, donc localement
intgrable. De plus,
= t ( l + (ln t)e ) ~ ( F ^
312 I ntgration
dt
Or / / est un exemple de Bertrand convergent, et dautre part.
(ini)2
f(t} = l/(t)p = ~ F W
/1/e
^ exemple de Bertrand divergent. Dautre part.
lorsque t +oo,
t 2 ( l + (lnt)2)2 t2(lni)4
r-hoo dt
et / -ttt;-TT est un exemple de Bertrand convergent.
7e i2(lni)4
/*+00
On en dduit que / |/()|^ d est divergente. La fonction / nest
Jo
donc pas de carr intgrable sur ]0, + oo[.
Solution
1 ) a) La fonction R x [0, T] > C, (x, i) / ( i ) g{x t) est continue
par rapport x, continue par morceaux (car continue) par rapport t,
et vrifie une hypothse de domination sur R x [0, T] puisque
{ f * g ) ( x + T) = f f {t ) g{x + T - t ) dt
Jo
f { t ) g { x - t ) d t = if*g){x).
= /
toutes les deux paires ou toutes les deux impaires, et impaire si l'une est
paire et Vautre est impaire,
2) Soit a G et notons fa lafonction indicatrice du segment [a, a] ;
V R, t t \ := /{1
fa(x) .SI
^ 1^ 0 smon.
Solution
1 ) Le changement de variable u = t donne, pour tout a: R,
+00
/ -oo
+00
/a (- X - u) fb{u) du
/ -oo
f a { - X + t) fb{-t) dt,
on en dduit que (/a * fb) {x) = {fa * fb) (x) si fa et fb sont de mme
parit, et que { f a * f b) { ~x) = - { f a * fb){x) si f a et fb ne sont pas de
mme parit.
2) Les fonctions fa et fb sont support compact et la restriction de
chacune delles son support est une fonction continue, donc fa * fb
est dlinie sur R tout entier.
De plus, f et g tant paires, la fonction fa * fb lest aussi, et il suffit
de calculer cette dernire sur R+. Pour tout a; > 0, on a
doii
* (a:) +00
fa fb
=
/
/
OO
PX-\-CL
f{x
g{t) dt
- t) g {t) d t
Jx
rx+aa
px+a
si 0 < X < b a
Jxa dt = 2a
= rb
/ dt = b + a X si b a < X < b + a
Jxa
0 si 6+ a < X.
2) En dduire
f
Jq
e~^\ntdt= lim
n-i-oo V
f l n n f l - | - ^ + ... +
\ 2 n //
Solution
1) Pour tout n G N*, posons
fn{t) = ln iX ]o ,n ](i)
316 I ntgration
e"*|lni| <
J ^1 In t dt = n j ln (n (l x)) dx
= n In n / x'^dx + n x^ ln (l x) dx.
Jo Jo
Or, dune part,
n In n / x dx = ------- In n,
Jo n +1
Chapitre 4. Intgrales dpendant dun paramtre 317
1 1-
dx
n +i J o 1-x
1 /*1 ^ 1 1
= ----- ^ / y \ ^ d x = ----- . V l .
Donc
A:=l
Sachant que
Donc
" 1
= In n + 7 + 0( 1 ) quand n >+ 0 0 .
k=l
318 I ntgration
Intgrales multiples,
intgrales curvilignes
319
320 I ntgration
f /(x )d x : = / - ( / ) = /+ (/)
./M"
est appel l intgrale de / sur R .
f f ( x ) dx := f f {x) dx.
JA J mV
Les intgrales multiples possdent les mmes proprits que les int
grales simples. Nous les regroupons dans la proposition suivante.
Ta K /' j m dx
est linaire,
Si f et g sont intgrables sur A, alors fg est intgrable sur A.
Si f > 0 sur A, alors J f{x) dx > 0.
Si f est intgrable sur A, alors | / | Vest aussi et on a
\ < - L \f{x)\dx.
1. FUBINI Guido ( 1879 -1943). Mathmaticien italien. Connu pour ses importants
travaux en gomtrie diffrentielle et surtout en intgration. Il sintressa galement aux
quations diffrentielles et lanalyse fonctionnelle.
2. TONELLl Leonida (1885-1946). Mathmaticien italien. Auteur de travaux im
portants en calcul des variations et gomtrie diffrentielle.
Chapitre 5. Intgrales multiples, intgrales curvilignes 323
j ,(^)h(y)dxdy = ( / h{y) d y ^ .
Pour calculer des intgrales multiples sur des ensembles plus compli
qus que les pavs on utilise souvent les deux thormes suivants.
Thorme 5.2.6 (Sommation p ar piles) Soit B un ensemble mesu-
rable compact de 21, et soient B deux applications
continues telles que < p2- Alors Vensemble
A := {{x,Xn) B X R ; pi{x) < Xn < P 2{x)}
est mesurable sur R^, et pour toute fonction continue f : A on a
rr r^2{x)
r r r^2\x)
/ / f{x,xn)dxdxn = / / f{x,xn)dxn dx.
J JA J B l J p i (x )
A{xn) := {x G R ^ ; (x,x) G A}
est mesurable dans R alors pour toute fonction f : A conti
nue, on a
I f { x ) d x = jdetu^l f i f o( f ) { y) dy.
J m
5.3.5 Passage en coordonnes polaires dans le plan
JJ f{x,y)dxdy = JJ f{rcos9,rsiTi6)rdrdO.
on dduit que
JJJ^f{x,y,z)dx dydz =
On dfinit ainsi une relation dquivalence sur les arcs paramtrs. Chaque
classe est appele arc gomtrique de classe et tout reprsentant de
classe est un paramtrage admissible de larc gomtrique. Deux pa
ramtrages admissibles dun mme arc gomtrique de mme arc ont
mme support, on parle donc de support dun arc gomtrique.
Vx i, 3 r R!^, B{x, r) C i.
i si Ui
Dfinition 5.4.10 Soit a une forme diffrentielle de degr 1 sur un ou
vert i de R .
Sil existe une fonction ^ ; O > R de classe telle que a = dip, la
forme diffrentielle a est dite exacte.
Si a est de classe (cest--dire si les Oj sont de classe C^), on
dit que a est ferme si, pour tous i , j dans [l,n ], on a dci fdxj =
daj/dxi.
a :=
yi jf a.
l7 t=o
Dfinition 5.4.15 Soit F'*' un arc gomtrique de classe C^, orient et
support dans fi. Alors, les intgrales curvilignes de a le long des pa
ramtrages admissibles de F'*' sont identiques, et leur valeur commune
est appele intgrale curviligne de a le long de F *", note a.
/ ( A a i - f a a ) = X f a i + j 2-
J'y /'Y
Chapitre 5. Intgrales multiples, intgrales curvilignes 331
/i ( i) si t e [ - 1 , 0]
9 : [-1 ,1 ]
/ 2(i) si t [ 0,l]
dfinit un arc gomtrique orient 7 qui est form de la succession de
7 i et de 72 : on le note souvent (abusivement) 71 U 72 .
Proposition 5.4.18 Soient a une forme diffrentielle dfinie dans un
ouvert Cl de 71 et 72 deux arcs gomtriques orients de classe
dont le support est contenu dans Ct et tels que Vextrmit de 71
soit Vorigine de 72. Alors
[ a = f a ^ f a .
771U72 J'n Jj2
Soit 7 un arc gomtrique orient, de reprsentation paramtrique don
ne par / : [a, b] R . On note 7 ^ larc gomtrique de reprsenta
tion paramtrique g dfinie pour tout t [o, i>] par g{t) := f { a +b t).
On notera que lorigine 7 ^(a) de larc 7 ^ est prcisment lextr
mit f{b) de larc 7 . En dautres termes, 7 ^ est parcouru dans le sens
inverse de celui de 7 .
Proposition 5.4.19 Soient a une forme diffrentielle dfinie et conti
nue dans un ouvert l de R, 7 un arc gomtrique orient de classe
dont le support est contenu dans l. Alors
f
J'V-l
a = -/a .
a := f[(p{b)]-f[ip{a)].
l
En particulier, si 7 est un lacet (Le. f{a) = f{b)), alors f a = 0.
332 I ntgration
a:IR2\{(0,0)} e /
, (x, y)
\ y
---- 2"- 2
1
+
^ 1
2 ^ ' 2 ^y-
On a videmment
. ( y \ = A l ^ \
dy \ dx \x'^ + y ^ ) '
donc a est une forme diffrentielle ferme. Elle nest cependant pas
exacte car si 7 est le lacet ([0,27t] , / ) o f{6) = (cos^, sin0), on
trouve
on a
P pZTT pZTT
A{D) = xdy= ab costd{sm t) = ab cos^ td t
JJ JO Jo
ab . ab sin 2t
= (l + cos 2t)(it = = irab.
2 Jo 2
= 5 1 fr dO.
A{D) = 4 - /
1
p^de = -
1 7t/ 4
cos20de =
cos 20
1 7t/ 4
= 1.
2 Jo 2 Jo Jo
5.4.27 Formule de Green-Riemann
[ ) y = R cosu,
^7tt//2
/7 2
Z
I := J J ^ f { x , y) dxdy
Solution
1) Comme la fonction (x, y) i-> 6^ est continue sur K , la proposi
tion 5.2.10 donne
Ino ^ ^
Il en rsulte que, si a 7^ 1 et a ^ 6 :
J= /^,eX(lna-ln6)_gXlna)^x
1
^ rx(lna
l n 6 yo
ln6)11 ^ rilnal
in 6 (In a In b) Jo inninf,!- Jo
En rsum,
Si a ^ l , 6 ^ 1 e t a ^ b :
a b 1 a
I = ------- 7 - ;., +
In a ln (a / 6) Ino ln 6
S i a ^ l , 6 ^ 1 et 0 = 6 :
1 O -h a Ina
I =
(Ina)^
Sia = l e t i > ^ l :
fl / ri-x 1 In 6
= / U = ^ 6)2
336 I ntgration
S ia7^ 1 e t6 = l :
Si a = b = 1 :
I = [ \ [ x^ dx dx = I {x x ^ ) x ^ d x = 7^ .
J q U x^ J Jo 20
3) En coordonnes polaires, on a
K = |(r,0) [0 ,7 t] x [0, ^ ] } .
I = j X c o s ( V z 2 + ^ ) d x d / COS0 co sr drdO^
J JK J J [0,7t] x [0,5t/4]
Or
2 a+bx 2 a+bx
dy -1
l {x + y)3 _2{x + y)^\ ^
-1
+
2 (2a + 6)2 2 (a + x ) 2
donc
0+ 6
-b
I =
2 (a + 6)2 2 (a + X')
et finalement
62
I =
4a ( 2 a + 6)2"
Solution
Dsignons par A' le point de coordonnes (2 , 1 ). On a J? = Ji U i ?2
o R i est le triangle A A 'D et R 2 est le carr A 'BC D . On en dduit
que
I l xydxdy = I l xydxdy + I l xydxdy.
J JR J J R\ J J R2
Or
/ ( l - i ) ' - - i
'De mme, on a
JJ^ xydxdy = n i: x y d y j dx
338 I ntgration
Conclusion :
IL
R
x y d^x d^y = 39
la := J J dxdy.
Solution
En passant en coordonnes polaires, on a
Vo > 0, la = [ f e rdrdd,
J J [0,a] X [0,27t]
2
et comme la fonction (r, 6) r est continue sur [0, a] x [0, 27t],
on peut utiliser le thorme de Fubini, do
Posons maintenant
ce qui donne
- t2 r-
En faisant tendre a vers +oo, on dduit que / e dx = y/Tc.
J OO
Solution
1) Le passage en coordonnes polaires :
= [yJo 2"
do
V (5 ) =
340 I ntgration
Solution
Le changement de variables u = y/x^, V
bien :
-% ^ 3y
y X X-2
On en dduit que
dudv
jj^ d ^ d y = J l
A
Solution
On a
- / / i dx dy dz
o
Q = |( a ;,y ,z ) e ^ ^ ^ < l} -
Chapitre 5. Intuyales multiples, intgrales curvilignes 341
X = -, Y = \, Z =
a b c
Le jacobien correspondant est donn par
0 0
D{X,Y,Z) 1
D{x, y, z) 0 i 0
abc
0 0 ic
donc
V = JJ^abcdXdYdZ
Solution
Remarquons tout dabord que Di et D 2 sont deux ouverts de et
que lapplication
^ : ]0 , + o o [ 3 ^ ] 0 , + o o [ 3 , (x,y,z) ^
est une bijection de ]0 , + oop sur lui-mme ayant pour bijection rci-
proque :
V (>2) =
JJJD2 JJ2
14
8 3
2
[ I f d x d y d z = 4 / / du dv dw = 4 - - 7 = -7.
3
Exercice 5.8 On considre l ensemble
l ) f { x , y ) = e^'^sin(x^
V f{x, y) = siii(xy^ y/x^ + y^-h 1).
3) f{x,y) =
4) f{x,y) = x^.
Solution
l)O na
= // f{x,y)dxdy + / / f{x,y)dxdy
J J\ J / 2
Chapitre 5. Intgrales multiples, intgrales curvilignes 343
// f{x,y)dxdy = / / f{x,-y)dxdy.
J J2 J Ji l
// f{x,y)dxdy = - // f{x,y)dxdy,
J Jio J Ji
do / = 0.
2) On a
1= f{x, y ) d x d y + / / f{x, y) dx dy
J J 3 J
Or f { - x , y) = - / ( , y), donc
// f(x,y)dxdy = - // f{x,y)dxdy,
J J Q4 J J Q.Z
do 7 = 0 .
3) En reprenant les notations du 1), on a
// y^dxdy = / / i-yfdxdy,
J J Q2 '' ^1
do
7 = 2 y'^dxdy.
Or
// y^dxdy= / / y
^dxdy+ / / y^dxdy
JJn, JjDi J J Do
344 I ntgration
// y^dxdy= // y ^d x d y
J J D\ J J D2
et donc
et lon a donc
JJ^x^dxdy = Jj^y^dxdy =
C hapitres. Intgrales multiples, intgrales curvilignes 345
_ ln(l + )
Exercice 5.9 Soit l intgrale I dx.
~ Jo 1 + ^'
1) Montrer que pour tout rel x dans ] 1, oo[y on a
xdy
ln (l + . ) = ^ -
+ xy
En dduire que
_ JJ X dx dy
I o D =]0, l[x]0,1[.
(1 + x2) (1 + xy)
2) Intervertissant les rles de x et y, montrer que
{x + y ) d x d y
J JD (1 + ^
7T
En dduire que / = ln2.
8
Solution
1) Pour chaque x G ] 1, + oo[, la fonction f x - y ^ h i(l + xy) est
drivable sur [0,1] et on a
do
xdy
= f x(l) - fx{0) = ln (l + x).
Jo 1- + xy
On en dduit
ff xdxdy _ xdy \ dx
JJ d (1 + a;2) (1 + xy) Jo \ J o 1 + x y ) + x^
^ ln (l + x)
f M dx.
Jo 1 + x^
2) Le domaine D est invariant par la symtrie (p par rapport la pre
mire bissectrice. Pour toute fonction f continue sur D, il en rsulte
JJ^f{x,y)dxdy = JJ^f{y,x)dxdy,
346 I ntgration
et par consquent
IL (1 +
xdxdy
(1 + xy)
if
JJif(D) (1 + y"^) (1 +
rr ydydx
ydydx
Il en rsulte que
dxdy
if ( - ^ + i = 21.
JJ d \1 + 1 + 3 /^ / 1 + xy
De lgalit
X y (x + y) (1 + xy)
+
1 + X-2 1 + y^ (1 + x^) (1 + y2)
on dduit alors
(x + y) dx dy
21
-IL (1 + x2) (1 + y2)
Dautre part.
fi xdxdy _ f \ ^y \
i i o ( 1 + x2) (1 + y2) yj^ 1+x^J ^ \Jo l + y 2 /
cest--dire
1
IL X dx dy
Id (1 -t- X-2) (1 -I- y2)
=
- In (l-h x 2 )
7T
ln2.
JO
X [arctanyjQ
8
Par symtrie, on a
donc
IL X dx dy
( 1 -h x2) (H -y2) -IL
y dx dy
(l-t-x2)(l-l-y2)
2 / = 2 ( i ln 2 ).
On en dduit
f'M
'" ( 1 1 1 ) = to2.
Jo 1 -hx-2 8
Chapitre 5. Intgrales multiples, intgrales curvilignes 347
I
-IL dxdy
x^ + xy +
Solution
Le passage en coordonnes polaires transforme Q, en o
J _ ff rdrdd _ 2 ^
JJw sin 6 cos 6 72 7o 2 + sin 20
dO
= 4 1n2 / ------r - ^ ,
J -ir/2 2 + s in 2 0
dO 1 r ___ d
/ nl2 2 "Hsin 20 2 7 - -oo
0 0 1 + i + i2
r+oo dt
1
2
f
J-
(* + ) +^ 4
V I f 2 / l\\]^
lim =
arctan = i + - 1
A -+ ~ V 3 [ v ^ / v 2jj\_
rcfVs.
Il en rsulte
IL dxdy
+ xy +
= ^
i/3
47T ,
ln2.
348 I ntgration
Solution
Le changement de variable U = donne
du
= n ( r (1 + ti + J/2)2 + y2^ ^ dy-
En dcomposant en lments simples dans M(), on trouve
1 1
+
(1 + U + '//2)2 (tt + 2/2) (1 + tt + 2/2)2 1 + ^ + y2 ti + 2/^
do
r+oo du / u + y^ \
(1 + U + '2/2)2 + 2) 1 + ^ + y2
+ In
Jo \ l + u + y^J'
On en dduit
I = lim r - In
= - 1 -H t; In- - ln (l + ')
4 L ^ ^Ji/n2
Chapitre 5. Intgrales multiples, intgrales curvilignes 349
/ 7 1
In (1 + a cosx)
I{a) = / dx.
JO cosx
1) Montrer que
Ha) = Ha ) o J M =
Jo 70 *+ y cosx-
En dduire lia).
Solution
1) La fonction (x,y) (1 + y co sx ) ^ tant continue sur le pav
compact [0, tt/ 2] x [0, a], on peut donc appliquer le thorme de Fubini,
do
2) On a dabord
- 1: U :
En posant t = tg (x /2 ) on trouve, pour tout y [0, a],
rr / 2 dx _ 2dt
Jo 1 + y cosx Jo
2dt
Jo l + y + ( l - y ) t ^ '
350 I ntgration
Si y = a = 1, on trouve 1, sinon
r^/2 dx 2
arctan
Jo + yCOSX ^ 1 - 2 ( M
On a donc
J (a ) = r arctan
JO \/l ( v i s ) *
22 it
J(a) -- I - sin i di
Ja r c c o s a ^ ^
_ r+2 / 2]V 2 = _ (arccosa)^
L *' / ^ J a rc c o s a g 2
Do
Zdx dy dz
fi f dxdydz, fff cos x d x d y d z , fff
J J Jili JJJio J J Jii
i3 \J/ x ^ + y^
ou
2 = { { x ,y ,z ) + y^ + < l}
SI3 = {(x,y, z) R^ ; x^ + y^ < o^, 0 < Z < a}, a > 0.
Chapitre 5. Intgrales multiples, intgrales curvilignes_____ 351
Solution
1) Si / dsigne lintgrale calculer, on a daprs le thorme de Fu-
bini :
r r rx+ y
I = I l dx dy I dz
JJD Jo
o D = {{x,y) ; 0 < X < 1, 0 < y < 1}. Donc
2) On a
1 = 1 c o sx d x I I dydz
J-i J J dx
o Dx est lintersection de et du plan dquation X = x. Le do
maine Dx est donc dfini par lingalit y^ + < 1 x^. Dautre
part. I I dx dydz est laire de do
I = TT J (1 x^) cosxdx.
3) On a
dxdy
vx2+y2
f f = "'m / ! : * = 2na.
J JD y j x ^ + y^ Jo Jo f
Donc I = TTa^.
352 I ntgration
Solution
Le thorme de Fubini-Tonelli donne
-J>JL (x^ +
dxdy
Tr/2 Pi c o s d
IL-.
7t/ 2 a
dx dy
^2 _|_ y2 _|_ ^2^3 2 de
Jo Jo (r^ +
_ 1l r/-V2
/2 / 1________ J _ \
de
2 Jo (1 + cos^ )^ )
r-n/2 de de
J
Jo (1 -H COS^ 0)2 COs2 0 cos 2 0
Ll-h
COS.20
(1 + V?) du f+ du _ /r + du
J
= / (2 + 2)2 Jo 2 -h Jo (2 + 2)2-
Mais
du 1 U
lA TT
= hm = arctan
l 2 + 2 A^ +o o y / 2 [ y/2\o 2 V2
Chapitre 5. Intgrales multiples, intgrales curvilignes 353
et
r+ o o
du +o 2 du
= lim
Jo 2+ i4^+oo [2 + 2 J Q J/q. {u^ + 2)2
du
- ( r ^ - 4 (2 + 2)2
^+00 TT Stt
io / . Il en rsulte J = ^ e t finalement
Jo ('2 + 2)2 8^/2 8 ^
/ = il - 'I
4a3 iJ !'
- H L {ax + hy + c z dx dy dz o o, 6, c R .
Solution
l)O na
= / x^ dx j dydz
J-i J J dx
o Dx est un disque de centre (0,0,0) et de rayon V l a;2, do
et donc
JJJ x y d x d y d z = 0.
De mme, on obtient
HL xz d x d y d z = HL y Z d x d y d z = 0.
Finalement
Montrer que
HL f{x)f{y)f{z)dxdydz = ^ f{t)dt^
Chapitre 5. Intgrales multiples, intgrales curvilignes_______ 355
Solution
Soit F : [0,1] R dfinie par F{u) := Jq f{t) dt. On a
I I L f{x) f (y) f { z ) d x d y d z
/ ( /
= [\{F{y)f-F{x)F{y)]l
= - { F { x) - F { 1 )
De mme, on a
= 1(F(1)-F(0))3
Do la formule dsire.
-IIL (1 +
dx dy dz
(1 + /^z^)
Solution
l)O na
Pour tous
aarX, y e
(1 +
]0 ,1] fixs tels que x ^
dz
(1 + 2/2^2)
y, la fonction
^ dx.
_________ 1_________
^ (1 + x^z^) (1 + y^z^)
est continue sur [0, + oo[, donc localement intgrable ; et au voisinage
de + 0 O , elle est quivalente z l / ( x ^ y ^ z ^ ) qui est intgrable sur
[1, + oo[. Ceci tant, on a
/ =
X^ - y 2 J q
r ( \ 1^+ xX^z2
2
_____ ^ ) d z
1+ J
= ^
2 (x + y)
Do
I ( i T ) * ' = | ^ ( M l + x)-lnx)dx.
Une intgration par parties donne
lim [x In X x l ^
-0 ' 'e
= 21n2.
Finalement,
dx dy dz
= TT ln 2 .
IIL
If) (1 + x^z^) (1 + y2^2)
2) Daprs le thorme de Fubini, on a
dz
' r U ' r i l F ) ( r r i f c )
jQ U ^ Jo/
/+00 / a r c t a n i\ ^
= i ( )
C hapitres. Intgrales multiples, intgrales curvilignes 357
Donc
^ a x c ta n i^
/ dt = TT ln2.
Jo
Solution
1) Puisque /1 et /2 sont croissantes, on a
V(x,y) G [a,6]^, (/i(a;) - f i{ y ) ) ( / 2(2;) - / 2(y)) > 0,
do
if
J J[a,b]^
{ fl{ x ) - f l{ y ) ) ( / 2(x) - f 2{y ))d x d y > 0.
= (6 - a)" y ^ ^ f k { x) j dx,
k :)' k :)' K D -
Solution
Le domaine D est dfini par
X ^ ^ X 5
I
< W <
2
- ^ - 2
3x 5 < y <
2
1
Zx.
Chapitre 5. Intgrales multiples, intgrales curvilignes 359
0 < U < \
5 < V < 0.
Lejacobien J associ au changement de variables est
2 _2 2
5 5
J = 6 _i
5 5
5
Do
et finalement : I = ^ (e= - 1 ) .
Solution
1) Le thorme de Fubini pour la fonction continue / : {x,y)
donne
b \ pXy'\y=P
/ = /V r d y ) dx = r [ 1^ ^ dx = dx.
Ja \ J a J Ja V . uy=a
=a Ja ^
De mme, on a
\ f f i[ p X y '\ 3 :- b r fi p b y _ ^ay
1 = 1 e^dx]dy= / dy= ------- dy.
Ja \Ja / Ja L y lx=a Jet y
Do la formule dsire :
fP f>
rP pbbx
x _ ^ax
ga ri ^Px _ ^ax
/ ^------ d x ^ dx.
Ja X Ja X
rx+h
ff{x + h ) - (f{x) = (e***- e *) /
JX ^
= (gto _ gato)
On a ainsi
et comme
on en dduit
^p{x + h) (fix) ^bx _ ^ax
lim ------- ^ = ------------- .
h^Q h X
En dautres termes, est drivable sur Rj., et on a
^bx _
Va: RJ., ip'{x) =
X
Solution
La paramtrisation de 7 permet dcrire :
(*2TtTz
r'Z
1 = (2 cos^ t sin^ i ) { sin t) dt + (cos^ t + sin^ t) cos t dt.
Jo
Or
r2'K /*27T
/ cos^ t sii td t = cos^ t d (cos t) = = 0,
Jo Jo Jo
et
!*2tz /2TT
I sin^ t cos td t = I sin^ t d (sin t) = = 0.
Jo Jo JO
362 Intgration
et par linarisation, on a
Solution
Lquation x^ + y^ 2y = 0 scrit aussi x^ + (y 1)^ = 1, cest
donc une quation cartsienne du cercle centr en (0,1) et de rayon 1.
On peut donc le paramtrer en prenant x = co s et y = 1 + s in i o i
parcourt un intervalle damplitude 27t. On en dduit que 7 est paramtr
par X = cos , y = sin t avec t e [ ?] Donc
et
Do
N(t) . cos^t c o s i(l + sini)
= COS t sin t ttt:^ -------- z----------
D{t) 2 (1 + s in i
/ir/2
Par imparit, on a // ' t sin t dt = 0. De plus.
cos
J 7tI2
CO S^ t r / 2 1l -- s is ni n ^^ it P ^ ,r /2
J.^/2 l + sm y_,r/2
t/2 1 + s in i L
et
fir/2 %/2
I (1 + sin i) c o s tdi = / (1 + s in i)d (s in i)
7t/2 J 7t/2
r s in ^ l^/2
= H--------= 7T.
L 22 J 7t/2
Finalement,
/f/2 N(t) ^ r.
" J-./2 m " "2 + 2 =
et t va de 0 2it.
Solution
On a
1 /2^
= = I < cost sin ^i co s dt
2 v /2 J q
=
1 7= / COS
2+ i ai =
i sin ,^ ,
2 /2y Jo 16
et
72 := {(x, y) R^ ; x^ + y^ = o^, y > 0 },
et des deux segments [6, a] et [a, b] de Vaxe des abscisses. On sup
pose que la courbe 7 est parcourue dans le sens positif.
s in x
2) En dduire la valeur de / ----- dx.
Jo ^
Solution
1) On vrifie facilement que
d [ e^y ^ \ -y
(x sinx - y cosx)A = A p in x )^ ,
( x s in X + 2/ s in
dy \x^ H- /- J dx \x^
Chapitre 5. la t ra le s multiples, intgrales curvilignes 365
a = e cos(acos 0)
J'y2 Jo
lim
a^o+
f
Jo
e COSOcos = [ d0 = tt.
Jo
On a ainsi obtenu ;
366 I ntgration
lim . 2 dx n
J'y
( ,6 )^ ( 0 + ,+ o o ) ^ 7 Jo ^
et comme f ^ a = 0, on conclut que
r+00 s, m x
f X
dx = -
Solution
l)O na
2- J-Z-k/A 2 J-Z'k/A \ 2J
Do A = 2^ + 2 ln(^/2 - 1).
Chapitre 5. Intgrales multiples, intgrales curvilignes 367
X^
~2 Ts" ^ 1 + 2 ^ 1 (0 < 6 < ).
tr Ir
Solution
Compte tenu des symtries, le domaine peut tre scind en huit do
maines de mme aire ; laire de lim deux, en reprsentant la deuxime
ellipse en coordonnes polaires, est
1 ^7t/4 dJO
- \L COS^ 0
~hT- +
I sin^ 0
1 du ah b
= - ------ =- = a x c ta n -,
,+ 2 a'
do laire totale :
A = 4ab arctan .
a
Quand a = 6, on retrouve bien sr laire ira? du disque circulaire.
Chapitre 6
Problmes de rvision et de
synthse
Solution
1) a) Puisque k G ]0,1[, on a 1 sin^ i > 0 pour tout t G M. Donc la
369
370 I ntgration
fonction f : y /l k
^ sin^ t est dfinie et continue sur M, elle est
donc intgrable sur tout segment [0, x \ . La fonction F est donc dfinie
sur R .
b) Le changement de variable u = t donne
Solution
1) a) La fonction / : f i-> i / In i tant dfinie et continue sur Rj. \ {!},
notons tp une de ses primitives sur cet ensemble. On a alors F{x) =
(p(x^) (p{x) pour tout X R+ \ {!}, ce qui montre que la fonction
F est continue et drivable sur R!^. \ {1} et que
X X X (x^ 1)
F'{x) = 2x > 0.
In X^ In X In x
372 I ntgration
X x)
+0 0 .
In x^+oo
Do
lim F(x) = + 00.
x-+oo
Notons au passage que lingalit ci-dessus donne aussi
F{x) ^ x^ X
+ 00 ,
X In X^ X-^+00
ce qui montre que le graphe de F admet une branche parabolique de
direction Oy au voisinage de -t-oo.
d) Pour tout X ]0,1[, on a 0 < < x < 1. Par suite, pour tout
t G [x^, x], on a I n i < 0. Dautre part.
r dt ^ r i ^ 2 r dt
X
7 j.2 i l n i ^ ^ 7^2 i l n i J 3.2 i l n i
et comme
fX Jf
J 2 ^ ln(|l nx2 |) - ln ( |l n x |) ,
on en dduit que
Donc
lim F{x) = ln2.
rr>1
Chapitre 6. Problmes de rvision et de synthse 373
et donc
lim F (x ) = ln2.
^i+
------ r est dfinie et continue.
2) a) Sur ] 1 ,0[, la fonction g : x \-^
m (l + X)
donc localement intgrable. Comme de plus
X X
lim
x*1 ln (l + x)
= 0 et lim
x^O ln (l + x)
= 1,
I = [^ ^ r
Jq Inu Inu
du r^/ yV
J q Inti Jq InU
Donc
U V '
I = ' ----du I - dv
0 Init Jq In v
/* U
lim / du = lim Fi y /x ),
x^lj^lnu x -1
et finalement.
X
dx = ln2.
/ _ X ln (l + x)
374 I ntgration
Solution
1) Le dnominateur D{x) := 2ocosx + 1 a pour discriminant
A ' = cos^ X 1 qui est strictement ngatif pour tout x ]0,7 t[.
Pour X = 0, on a /7(0) = o^ 2o + 1 qui sannule si et seulement si
tt = 1.
Pour X = 7T, on a /7(7t) = o^ + 2o + 1 qui sannule si et seulement si
a = 1.
Donc, la suite (/n())gN est dfinie si et seulement si a ^ 1.
2) a) On a
pTT
cos nx
I ni - a) = / ^ dx.
Iq tt^ + 2a cos X + 1
Jo
Le changement de variable = tt x donne alors
^ COs(n7T nu)
du
Jo ? + 2a cos(7T a) + 1
cosnTT cos nu ,
= / ------------ 7 du
Jq 2a cos + 1
co sn a
= (-1 ) r
- du.
^ ^ Jo a 2 - 22a , cos u + 1
Chapitre 6. Problmes de rvision et de synthse 375
Ainsi,
Vn N, Va R \ { - 1 ,1 } , / ( - a ) = (- 1 ) 7(a).
r _ n cosnx
Jo a - 2 - 2 a - i c o s x + l
cosnx , O, , ,
= / ---- T--------- ^ dx = a / (a ).
J q 1 2acos + a^
Do
/ n ( i ) = a2/n(a).
3) Puisque cos(n + l)x + cos(n \) x = 2 cosnx cosx, on obtient,
pour n N* et tout a R \ {1,0,1},
T / \ r / \ n i cosnx cosx
CO
in + lW + I n -lW ~ ^ I ~2 dx.
JQ O, 2 o co sx + 1
Or
cos n x cos X 1 2a cos n x cos x
2a cos x + 1 2a 2a cos x + 1
et en crivant
on obtient
1 a^ + 1
7+i(a) + 7_i(a) = / cosnx dx + -------- 7(a),
a Jq a
rit
et comme / cosnx dx = 0 pour tout n > 1, on a finalement
Jo
4) On a immdiatement
= / dt
0 a 2- - 2^ aa f e + 1 l + i2
U
f+OO dt
= V .Q 5 (1 + i^) 2u(l i^) + 1 +
dt
= 2 /
Jo t^(a + 1)2 + (a 1)2
2 r+ dt
( a + 1)2 Jo f2,(
2 fl + 1 fl + 1
lim arctan
(fl + 1 )2 fl 1 A - + o o fl 1 0
2 7T
fl2 -l 2
Ainsi,
7T
V f l e R \ { - i , i } , /o() = f l 2 - l
Pour le calcul de / 1, crivons
On a alors
cosa:
- = i - i ___2i____ il.
a^ 2a cos x + 1 2fl Lfl2 2flcosx + 1 J
Chapitre 6. Problmes de rvision et de synthse 377
Do
r \ _ 7T , + 1 dx
2acosx + 1
7T + 1
On a donc
7T
Va M \ { -1 ,0 ,1 } , /i( a ) =
a (a^ 1)
(a^ 1) *
Jo 1+ V /
dv = r ( l a) r ( a ) .
Solution
1) En effectuant le changement de variable t = v
^, on obtient
r(x) = 2 fr+ oo
Jo
e~v dv.
= r(x )r(y ).
V x .v e K ; B (x,y)=
,.. 3 . r
2 2 i)
{2N - 1) {2N - 3) 5 - 3 ^
2N y/TT
{2N)\
2^^ NI
B{x,y) =
Jo
^ dv
Jq {v+ 1)~^ {v+ 1)2/ - (u + 1)^
r+oo yV-t
=f (1 + v)^-^y
-L ^ ln (l + t^)
ty
dt.
^ ln (l + )
2) On pose F{x) := [ dt.
Jo
a) Montrer que F est dfinie et continue sur ]0, +oo[.
b) Soit X > 0. tablir que
\n1
que ^ = lu 2.
n
n=l
Retrouver le rsultat par un calcul direct de J.
ln (l + e )
3) On posie G{x) := / dt.
Jo i2
a) Prciser le domaine de dfinition A de la fonction G.
b) Montrer que G est continue et drivable sur A.
Solution
1) Sur ]0 ,1], la fonction fx,y : t t-> t~y ln (l + i^) est dtnie et
continue, donc localement intgrable. De plus,
- Si x > 0, fx,y{t) ~ lorsque t O'*", donc I converge si et
seulement si y x < 1.
- Si X = 0, fx,y{t) = ln2 t~y, donc I converge si et seulement si
y<l-
- Si X < 0, fx,y{l) ~ In f^ = X t~'y Ini. Pour chaque nombre
rel a tel que y < a < 1, on a lim i (x i *' Ini) = 0, donc I est
t-*o
convergente.
Chapitre 6. Problmes de rvision et de synthse 381
donc
lim sup |in(<)| = 0.
n+O0 tg[oi]
/l1 TW ^ 1 ^{nl)x \n l rl
dt = 'y L J d / ( n - i ) x dt.
5
n t i ^ Jo
Autrement dit.
+00 n 1
( - 1)
i 'w = E n [(n - 1) X + 1]
382 I ntgration
c) On a
^ ln (l + \/i)
J-= / dt
= -a )-
Or, pour X = 1/2,
(_ l)n -l n -l 2 (-l) n -l
(-1 )
n [(n - 1) X + 1] n ( 2 ^ + 1) n (n + 1)
2 ( - l ) - i 2 ( - l ) -^
n n+ 1
4 1 n 2 -2 .
'(5 ) = ^ =
- Pour retrouver ce rsultat par un calcul direct, posons u = \/t. On a
alors ^
J = 2 I ln(l + u) du,
Jo
et en intgrant par parties, on obtient
J = 2 [u ln (l + u)]; - 2 ^ ' - du
+ U
/*1 /*1 ^
= 2 1 n 2 - 2 / du + 2 ^ = 2(2 l n 2 - 1).
Jo Jq 1 + u
3) a) Daprs la question 1), si y = 2, G{x) existe si et seulement si
X > 1. En dautres termes, G est dfinie sur A = ]1 , + oo[.
b) tudions la continuit et la drivabilit de G sur A.
Soit a ]1, + oo[. La fonction g : (x, t) >-> ln (l + t^) est mani
festement dfinie et continue sur [a, + oo[x]0,1]. De plus,
In i In
0 < < - t a 2 Ini.
2 (1 + t=^) i2 1 +
Solution
1) Une intgration par parties donne
n = / cos^ ^ X cosx dx
Jo
= [cos~^ X sinxjg + (n - 1) / cos ^ X sin^ X dx,
J0
n 1 - _
On = ------- On-2 pour to u t n > J.
n
Comme de plus, ao = tt et a i = 0, on conclut par une rcurrence
immdiate que
1 3 (2n - 1) (2n)!
" 2 - 4 .- - ( 2 n ) ~ 2 2 " ( n ! ) 2 '
R X [0, 7t], donc F est dfinie et continue sur lintervalle compact [0, tt]
daprs le thorme 4.1.3.
b) Le changement de variable u = - t donne, pour tout x M,
/TT __________ pO
F{x) I ^ |1 + X cost| dt = I \ / l l X cos'u| du F{x).
JO J-K
d x ^ ' 2 V 1 -x c o s t'
Vrifions que 1 x co st ^ 0 pour tout x g ] 1 ,1[. Cest vident
lorsque x = 0. Pour x ^ 0, supposons que 1 x cos t = 0. On a alors
cos t = x ^ G ] oo, 1[ U ]1, + oo[, ce qui est impossible.
COS t
On dduit de ce qui prcde que la fonction (x, t) . . =
2 v l X co st
est dfinie et continue sur ] 1, l[x [0, tt] comme compose et produit
de fonctions continues. Le thorme 4.1.5 permet de conclure que F est
drivable sur ] 1 ,1[ et que
co st
nx) = - dt.
Jo 2 y/1 X co st
Dautre part.
cos^ t
(x ,t) = -
4 (1 X cos
^ ^ 4(1 cost)3/2
et la fonction (x, t)
cos^ t
-X
est dfinie et continue sur
] 1, l[x [0, 7t]. La fonction F est donc deux fois drivable sur ] 1 ,1[
386 I ntgration
et de plus
cos^ t
F"(x) = - / dt.
0 4 (1 a; cosi)2/2
On a alors
_ r ^d ({ 2 s in t \
dt
" J 0 ^a t VVV l X cost J
t=7T
2 sin t
= 0
= [ y / 1 X co st J j_o
(.) V X |- 1 . 1 [ , g , ( x ) = 1 - g P ^ -^ X -C O S " .
n=l ^ '
b) Pour tout i R, on a
terme, do
F{x) =
+00
= TT - V (2n ~- 2)!
2^ ^ (n 1 )! n!
n
+00
(4n 2 ) \ x,2n
24^-1 (2n - 1 )! ( 2n)!
+00
= ^ 6n
n=0
(4n - 2)!
_____________________ (2n)!
hji = 7T
24 "-i (2n - 1 )! ( 2n)! 22" (n !)2
(4 n -2 )!
= TT
26n - i (2n 1)! (0^
+c
5) a) Posons y = ^ a x". On a alors
n=0
+00 +00
4 ( n - 1 )2 -1
-n+1 2 -nl
4 (n -h 1 )
(4 n -2 )! (4n - 2)!
2n =
2^ (n!)2 (2n - 1)! 22"-i 2"-i (2n - 1)! (n!)2
I, _ _ 2n _ TT 2^ (n - 1)2 - 1 _
On ^ ^ 0 ^n 2
ao o 2^ n2
24 (n - 1)2 - 1
i>n-l
24 n2
(4n 5) (4n 3)
24^i2
c) Daprs 4) b), on a
^7T/2
/TT/J
In = / sin t d t (n
Jo
dites de Wallis.
1) Calculer / q et I\.
2) Donner une relation de rcurrence entre In et In-2 {n > 2). En
dduire l2n et l2n+i en fonction de n.
1. WALLIS John (1616-1703). Mathmaticien anglais. Ses travaux portent sur la
gomtrie analytique, le calcul infinitsimal ainsi que sur la rectification des courbes.
Chapitre 6. Problmes de rvision et de synthse 389
1 < - ^ < i + i
^271+1 2n
-+00 n
i<k<n
2k - 1 /2
ce TU
n!
5) Soit (a)n>i la suite dfinie par On = ----j
n"+2
a) Trouver le nombre rel a tel que
In / an \ _ ^ ^ lorsque n > + 0 0 .
\a n + \J
En dduire que la suite (an)n>i est convergente. On note i sa limite.
b) Montrer que lim permet de dterminer L
n +oo l 2 n + l
c) En dduire Informul de Stirling :
n! ~ ^ V2irm quand n + 0 0 .
Solution
1) On obtient facilement I q = 7t/ 2 et Ii = 1.
2) Pour tout entier n > 2, une intgration par parties permet dcrire,
avec u{t) = sin ^t et v'{t) = sini,
pTc/2
In = [ ~ cos sin ^ Ao +
~ 1) / sin ^ COS^ t Idt
J0
/r/2 /r/
= (n 1) / sin ~^ t dt (n 1) / sin t dt
= 1) (n
Jo
In2 (jl 1) I-n-
Jo
Do
Vn > 2, n i n = {n 1) I n - 2 -
390 I ntgration
^ _ (2n)! TT ^ , _ 22"(n!)2
(*) 22"(n!)2 2 (2n + l) !
3) Lingalit sin+^ t < sin" t, vrifie pour tout t [0, 7t/ 2], prouve
que la suite (J) est dcroissante. Donc, J 2 n + i < h n < h n - i p o u r
tout n > 1, et comme J2n+i > 0, il vient
J ^ l2n ^ l2nl
^2n+l ^2n+l
Or
bnzl = 1 + ,
J2n + 1 2 n
donc
Vn N*, 1 < < 1+
J2+i 2n
Notons au passage que le lemme des gendarmes entrane :
(*=) lim = 1.
n +00 l2n+l
4) Daprs les rsultats obtenus en 2), on a
= (2n + l) ( n ^ n .
J2n + 1
^k=l '
et compte tenu de {**), on dduit
_ ^ lim J 2 n + l)(n ^ ) 1 = 1.
^ k= l ^
Chapitre 6. Problmes de rvision et de synthse 391
ou encore
= v f-
=1
5) a) On a immdiatement
CLn 1 /n +
n+1
\n -\- i e \ n J
et lorsque n ^ +oo, il en rsulte
4n^ ^ (n ^ )
D o a = 1/4.
Pour n assez grand, on a In ( ) < 0, donc la suite (on) est d-
^^n+1'
croissante. tant positive, elle est donc convergente. Sa limite est posi
tive. En fait, l est strictement positive. En effet, la srie de terme gnral
u = In ( ) converge et a pour somme :
n
S = lim > (InuA: Inofe+i) = 1 lim ln a+ i,
n ^+oo n-+oo
fc=l
(* * *) n! = n e~" n *'5.
hn _ Q 2n+i (2 n + a2n tt
_ A 2nH-l 2n 1 f l + ,
-- 4 A ^
ai \ 2n) 2
392 I ntgration
az 1 ^^2n+ 7T
2n+1 2n
4e
+h) ~ 27T
2
/ 1N
O la seconde quivalence rsulte du fait que lim^ + j = e. La
suite (a) tant convergente, sa limite (qui est strictement positive)
vrifie -TT = 2TT, do
= .
c) Puisque lim On = V ^ , et compte tenu de (* * *), on dduit la
n -+00
formule de Stirling :
Vx R, f i x ) := / m dt.
J 00
2) Montrer :
a) Pour tout f E ^ f est continue sur R.
b) Pour tout / G / est borne sur R, et
^ /*+00
Vx GR, 1/( x )| < / \f{t)\dL
J 00
2. FOURIER Jean-Baptiste (1768-1830). Mathmaticien et physicien franais. Un
des crateurs de la physique mathmatique. Il modlisa la propagation de la chaleur en
utilisant une srie trigonomtrique qui deviendra clbre.
Chapitre 6. Problmes de rvision et de synthse 393
c) L application
O C (R ,C )
T
A/ ^ ^ ( / ) := 7
/ -OO
m dt.
S i n ( ^ x) j(g+6)^/2 . ^ 0
:^ (X [a .6 l)(0 = X ^
b -a si X = 0.
^ (/(A ))W =
VxeR,(^(i))'(a;)=-ijF(t/(i))(a:).
8) a) Soit f et g : R * C continue par morceaux et borne.
Montrer que, pour tout x R, la fonction t f { l ) 9i ^ ~^ ) appartient
C>.
On note +00
Solution
1) Soient / et X R. La fonction 1 f { t ) e ~ ^ ^ est continue
par morceaux sur R comme produit de fonctions continues par mor
ceaux. De plus, comme
V R , |/ ( i ) e 1 < |/( i) |,
R Xi C
$
(x ,i)
est continue par rapport x, continue par morceaux (car continue) par
rapport t, et vrifie :
b) Pour tout X R, on a
^ r+oo
I r+oo /*+00
'xi I dt
l/(^)l= / /(i)e --* d i < / l/(i)
J 00 J 00
00
+00
dt
-L |/(i)l
// -00
+00
(A / + ^)(i)
f{t) d t+
dt
p+oo
g{t) e *'
dt
/) ( x ) + T{g){x), J 00
= A ^ (-00
/ -00
Ix m ( )I< = /
Ja
\X[a,b](*)\^* = /
Ja
dt = b-a < + 00.
396 I ntgration
2 V g - i( a + 6 ) x / 2 gj
^(X[a, 6])(^) 3;
b a si X = 0.
= / 00 J 00
J ^ { f ) i- x ) = (:t ( / ) ) , ( x ).
du
De mme.
+00_ _ _ _ f + 00 _ _ _ _ _ _ _
Enfin,
/ -00
m dt = /
J 00
/(<) dt = i T { f ) U x ) .
/ -00
f{t) dt=
J 00
f{t) dt = J^{f) (x).
H ) = H U ) = {H f)U
donc / est paire. On procde de la mme manire pour / impaire.
- Si / est relle et paire, alors
H f ) = H ) = H f ) = H U ) = Hf ) ,
Chapitre 6. Problmes de rvision et de synthse 397
yw ) = n i.) = - n i),
donc / est imaginaire pure.
6) Le changement de variable u = Xt donne immdiatement
+00 1 />+oo
/ -oo
/(A i) e-'*" dt =
1^1 J oo
f{u) du
=
De mme, le changement de variables u = t a donne
+0O
^du
/ -OO
/( )
+00 du,
/ -00
f{u) e - '
do la deuxime formule.
La troisime formule sobtient de la mme manire.
J M :)
7) Considrons la fonction c
' I i)
- Pour chaque x G R, la fonction 1 1->- $ (x , t) est intgrable sur R car
|^ (x , i)| = |/ ( i ) | o / est intgrable.
- La fonction d<^/dx : (x,t) i->- est dfinie sur R^,
continue par rapport x, continue par morceaux (car continue) par rap
port t, et on a
V(x, i ) G R X R, r = !*/()!
-OO
398 I ntgration
= j (^jJ g { x - t ) \ d x ^ \ f { t ) \ d t
+00 / f+OO \
/ 4 -0 0
U \ g{u) \ duj \ m\ dt
/4 -0 0
/ -00
|/(i)lcii /
J 00
\g{u)\du,
H f*9){x) =
/ -OO
-oo
+ 00 /
if
p+oo
ixt
dt
\
/ i J
j+ oo ^ y+oo
/ ( ) 9{t - u) d u j e ** dt
H-oo p+oo
/
=
/ -OO
f{u)e~^^'^du
:r(/)(a :) JF(p)(x),
J OO
g{v)e-^^' dv
I{a) =
Jo
f hi{l 2a cos 9 + a^) dO.
de Riemann.
Solution
1) La relation 1 2a cos 9 + = {a cos 0 + sin^ 6 montre que
12a cos 9+a^ = 0 si a = cos 9 et sin ^ = 0. Mais si sin 0 = 0 alors
cos 9 = 1, donc a = 1. Ainsi, 1 2 a cos 0 + a^ > 0 pour tout rel
0 et tout a 1. La fonction f a ' - 9 \ - ^ l n ( l 2 a c o s 0 + a ^ ) est donc
dfinie sur R, et elle y est manifestement continue comme compose
de fonctions continues. Donc fa est intgrable sur [0, tt]. En dautres
termes, / ( a ) existe pour tout a G R \ {1,1}.
2) Le changement de variable tp = 9 montre que
Va G R \ { -1 ,1 } , J (a ) = / ( - a ) .
Donc
2 / ( a ) = 7(a) + / ( - a )
/7T
= / In [(1 2 a cos 0 + O?) (1 + 2 a cos 0 + a^)] dJ9.
JO
Comme
(1 2a cos 0 + a^) (1 + 2 a cos 0 + a^)
= (1 + ~ cos^ 0
= 1 + 2 a^ (l 2 cos^ 0) + a^
= 1 2a^ cos 20 + a^,
la relation (*) entrane
donc
2I ( a) = + = I ( a ).
(**) V K N *, / ( a ) =
Va > 1, / ( a ) = 27t In a .
et comme
n -l
n = X ^ ^ -1
k = n
/ \ W 1.T4C ^ 1 / 1)
n \ a 1 /
- Si \a\ < 1, on a facilement lim Un = 0, donc I{a) = 0.
n +00
- Si |a | > 1, on transforme (* * *) en
= 2lnla|+ i l n ( ^ ( i ~ 0 )
f ( t , x ) = ln (l + 2 cosi + ^).
X
1) a) tablir les ingalits
ln (l - x) ln (l + x)
< f(t,x) < 2
X X
Chapitre 6. Problmes de rvision et de synthse 403
et
ln (l x)
< -2
X
dx
VtG]0,7r[, F \ t ) = 2 s i n i /
JO 1 + 2x cos t + *
Solution
1) a) Soient R et X ]0,1[. De lencadrement 1 < co s < 1, on
dduit
(1 x < 1 + 2x cos + < (1 + x -
404 I ntgration
dx
+ 2x cos + x^
l + 2 x c o s i + x ^ = (x + c o s i)^ + s in ^ i = sin ^ t
on dduit
dx 1 r / x + c o s t \i ^ = i
~2 = arctan I )
i r + 2x cos t + x^ sint L V sm i /Jx=o
= ^arctan ^cotan^^ arctan(cotani)j
t
2 snt
Do
V tG ]0 ,7 r [, F \t ) = t.
5) Soit G M. On a
ir(|)+ ir(^_ ) = ^ i [ l n ( l + x2 + 2 x c o s |)
+ ^ l^ln ^1 + 2x cos j dx
= ^ l n [ l + x + 2x ^ ( l - 2 c o s ( ) ) ] ^
/1 2
= / ln(l +x^ 2x^ cost) dx.
Jo ^
406 I ntgration
^ ln (l + 2 u co si)
du
2u
1 ln (l + 'U^ + 2u COs(7T t))
du,
-U U
cest--dire
F(Tr) = 2 f ^ ln (l x) dx.
Jo
V--S X^
Or, pour tout a: G ]0 ,1 [, on a ln (l x) = ^ , et par suite
n>l
Th
ln (l x ) _ X.n1
(*) Vx]0,l[,
X = -E n>l
n
Ainsi,
i w = - 2 E -
n>l
Chapitre 6. Problmes de rvision et de synthse 407
4) On suppose que p est de classe p' > 0 sur ]a, 6[, p^{a) = Q et
p"{a) > 0. l aide d un changement de variable et de la relation (**),
montrer
IF e-^v>(a)y^(a)
F{x) lorsque x +oo.
2p"{a) y/x
Solution
Observons dabord que, p tant croissante, on a pour tout x > x q :
|g-rr< ^ (t) ^ g -(o :-x o ) ^ (t) |e-X0>(t)
< Q-ix-xo) ip(a) jg-
ovW
/(i)|,
donc
pb
lF (x)| < / ( i ) |d i < + 0 0 .
Ja
Comme f est intgrable sur [a, 6[, la fonction F est bien dfinie
sur [xo, + oo[.
1) a) Comme / est continue en zro, elle est borne au voisinage de ce
point. En effet, pour e > 0 assez petit, il existe ce > 0 tel que pour tout
t 6 [0, a], on ait |/( i ) /(0)1 < e. Il existe donc M := |/(0 )| + e > 0
et a ]0,6[ tels que l/( i) | < M pour tout t [0, ce],
b) Le changement de variable u = x t { x > 0 fix) entrane que
(*) X f i t ) dt = / ( ^ ) du.
Par ailleurs
< M e -
h~ K)
et
3 + 0 0 ^ / 0 ) x [ O ,x a ] W = /( 0) e X [0,+oo[(ii)-
-Xt /(0 )
/ m dt
/0 X
Montrons maintenant
(ne*) lim X [ e f i t ) dt = 0.
Par suite.
I ^xt m dt < I g Xot l/( i) | dt.
Jo
rb
\x ^xt f{ t) dt < |/( i ) | di.
/ : Jo
En faisant tendre x vers +oo, on obtient (**). On en dduit, compte
tenu de la question prcdente,
poi
lim xF(x) =
X -+ 0 0
lim x
X -+ 0 0 J
I
q
f(t) dt + lim x
X -+ 0 0
I fit) dt,
do
lim x F (x ) = /(0 )
X+00
et lquivalent recherch.
2) Puisque (p est de classe sur [a, 6[ et que p' > 0, la fonction 1 1->
p{t) p{a) est strictement croissante et de classe sur [a, 6[, cest
donc une bijection de [o, b[ sur [0, c[ o c = lim?(i) p{a). Si V ^
(-6
[0, c[ > [a, 6[ dsigne lapplication rciproque de p, le changement de
variable t = 'tp{s) entrane alors
-/c J f(t)d t =
j * " e - ' m ) du = ^ m -
A'(i) =
2 y/ip{t) - (f{a)
De plus, lorsque t tend vers a"'", on a
F (x) =
2 ^/x
Chapitre 6. Problmes de rvision et de synthse 411
Montrer que les fonctions sn, en et dn sont de classe sur [0, a],
et dterminer leur drive.
5) a) Montrer que sn est deux fois drivable sur [0, a] et
Solution
1) Il sagit de montrer que lintgrale Jq (1 dt converge pour
tout X fix dans [0,1]. Or, sur le segment [0, x] avec x < 1, la fonction
i (1 est continue, donc intgrable. De plus
lorsque i ^ 1 ,
V T + y /T + ty /T ^ 2 y /i-t
1 < '
do
F{x,)-F(x2)=Jxf dt
> 0.
Vx [0,1[, F'{x) =
y/\ x^
Puisque F ' ne sannule pas sur [0,1[, sa fonction rciproque sn est
drivable sur [0, a] (voir corollaire A.3.6) et on a
De mme, on a
et
Do en dfinitive :
b) La fonction sn" est ngative sur [0, a], donc sn est concave sur cet
intervalle daprs la proposition A.3.29. Sa courbe reprsentative est au-
dessus de toute scante, en particulier.
do
sn"(i) < - 2 - ^ .
' 2 - i
Pn{X) = ^ X ^ { q X - p r .
Solution
1) Le dveloppement de {qX - p) par la formule du binme donne
p (o ) = p ;(o ) = = = 0 G Z.
-k {n + k)\
do P^"^(0) = ( - p ) " G Z.
De mme, pour tout entier i G [1, n], on a
p S '* 'K x ) =
Do
p M (0 ) = q ( - p r ~ -
Or
n! = ' ( r ) ^
Donc P^+*\0) G Z.
En dfinitive, Pn'\o) G Z quel que soit lentier k dans [0,2n].
2) en remarquant que
ni
416 I ntgration
on dduit
4) a) Si I > 7T, lintervalle [0,7r] est inclus dans lintervalle [O, ^],
donc
Vx [ 0 , 4 |P(x )| < 1 ( ^ ) .
On en dduit
I I i
/ Pn(x) siix dx < I Pnix) dx < T ( - r - )
\Jo \ J q n\ \AqJ
/p ^ \n
Or j est ngligeable devant n! lorsque n tend vers -|-oo. Par
consquent
P7T
lim /
n-*+oo J q
Pnix) siixdx = 0.
r m . dt.
Fn{z) :=
JQ
Montrer que (Fn)neN converge uniformment vers F sur le demi-plan
Hio dfini par
Ha;o := {z = X-\-iy e C \ x > xo}.
En dduire la continuit de F sur na;^.
3) Pour n N fix, on considre la fonction / : [0, + o o [ ^ C, i >i .
Prciser A f et expliciter C f.
4) Pour n N fix, on considre ^ : [0, + o o [ ^ C, 1 e * e***
o a E C et w E R.
a) Prciser Ag et expliciter Cg.
b) En dduire la valeur explicite des intgrales :
r+oo r+oo
h = / cos{wt) dt et Jo I sin(u;i) dt
Jo Jo
ainsi que celle de
+00
r+oo ^+oo
J
/ cos{ivt) dt et Ji = t e ** sin(wi) dt.
418 I ntgration
Solution
1) Pourtout 2 C ettout t [0 ,+ o o [,o n a |/(i)e ~ ^ | < e * |/(i)l-
Dautre part, pour tout i [0, + oo[ et tout x 6 [xq, + oo[, on a
x t < xot, donc
donc
V 2n^o. \Fn{z) - F(z)\ < ,
ou encore.
Do le rsultat dsir.
-M ontrons que F est continue sur IIxo-
Pour chaque n N, on a
do
autrement dit :
A f = { z . C ; ^ e { z ) > 0}.
t" e dt,
Jo l Z io Z ,
et comme 2: ^ 0, il vient
^ n + 1 qxA J^n+l azA
lim
. , = 0 , donc lim , , = 0.
A-+oo | 2:| A-++00 \z\
Ag = {z = x + iy .C -, X > 3e(a)},
et dautre part,
(*) V . A , C siz) =
On en dduit aussitt
+0 ^iwt _|_ ^iwt 1 (
zt 1
Io = /
Jo 2 2 \ z iw + '
z
+1 9
et
^iwt _ ^iwt 1 (
r,zt 1
Jo
- f 2 Ti \ z iw fi)
w
+ -up-
En faisant a = 0 et n = 1 dans (=k), on obtient, pour tout z q,
+00 1
/ {z iw )
^
et
r+ oo
1
l ' (z + Z't)2 '
On en dduit immdiatement
r+oo
r+oo 11 ^+00
/+
h = t cosiwt) dt = ^ / +
Jo 2 Jq
1 r 1 1
+
2 \_{z iw Y {z + iw )^ y
do
z^ uP
h =
(z^ + W^p
De mme, on a
Ji /
=
r-yoo
r+oo
Jo
t siniwt) dt =
2
1
//*+oo
J q
i (e** e*'*)
di,
ce qui entrane
2wz
J i= TT
2i \_{z iw P {z + iw p \ {z^ + 'uPp
422 I ntgration
a) Calculer P u P2 P 3.
b) Soit n G N*. tablir, pour tout rel x, la relation :
c) Montrer que, pour tout entier naturel n^Pn est une fonction poly
nomiale dont on prcisera , en fonction de n, le degr, la parit et le
coefficient du terme de plus haut degr,
d) Soit n G N*. tablir, pour tout rel x, la relation :
K i.^ ) = -2 n P _ i(a;).
Solution
1 ) La fonction intgrer est continue sur R donc localement intgrable.
De plus, la croissance compare de lexponentielle et des fonctions puis
sances donne lim P (x) = 0, cest--dire
Di-00
(P, P ) = 0 / P \ x ) e~^ dx = 0,
J oo
do, par positivit de la fonction intgrer, P^(x) dx = 0.
Par positivit et continuit de x P ^{x)e ^ on dduit
V x G [0 ,l], P 2 (x )e " ^ = 0,
cest--dire
Vx [0,1], P (x ) = 0.
Le polynme P admet donc une infinit de racines, cest donc le poly
nme nul.
On a ainsi dmontr que (, ) dfinit un produit scalaire sur P .
2
3) a) La fonction p : x e~^ est indfiniment drivable sur R et
par des calculs lmentaires, on obtient : ^'{x) = 2x e ~ '^, f" {x ) =
(4x^ 2) e~*, ip'"{x) = (8x^ -t- 12 x) e *, do
Po = 1 , P i = - 2 X , P 2 = 4X^ - 2, P 3 = -8 X '^ + 12X.
do
P +i(x) = Pl^{x) - 2xPn(x),
et en comparant avec le rsultat obtenu en 3) b), on dduit
= -2 n P _ i(x ).
4) a) On a
+00 P+OO
/ -oo
Pp{x) Pq{x) e~^ d x =
Joo
P q {x)tp ^\x) dx.
Or ||P o f = dx = V ^.donc
Solution
1) La fonction
n C w T ^ ^ - C T h U r T ^ h '
do
r+ dx _ J 1_ f+ dt 7T
Jo 1 -h x2y ^/ J0 1 + f2 2^
426 I ntgration
donc
1 r
dy f+ dt
I en posant = y)
~ 2Jo (1 + y) = " /o T T fi <
= 7tV 2.
On en dduit alors
dy
2 Jq \J o (1 + y) (1 + x2y) )
Or, pour X 7^ 1, on a
X
(1 + y) (1 + x-2y) l - x ^ V l + ^^y 1+ y/
Ainsi
/*+oo
dy 1 + X^y
-------^ lim In
Jo (1 + y) (1 + x2y) 1 A>+00 1 + 2/ J y = o
In(x^)
1
Inx
= 2
X: 2 -l
et
In X 7T^
' = /0
2) - En effectuant le changement de variable x = 1/u, on trouve
do
f^ ln x J 7T^
+00
In x
Pour tout X ]0,1[, on a ^ Inx ), donc
n=0
+00 X
= / x^ In X dx
to J o
+0O ^
^(2 n -h l)2
n=0 ^ '
^ s (2^)^ S (2 + ^ S ^
V -S . , 4 ^ 7r^
D ou, B = - - + A donc B = - A = .
4 3 6
f{x^y) = sinx.
s in X
Vrifier que la fonction x ^ n est pas intgrable sur ]0, -|-oo[
et en dduire que la fonction f n est pas intgrable sur [0, -h oop.
/-j-oo 2
On rappelle que / e""* dt = (voir exercice 4,9).
Jo 2
428 I ntgration
2) Soit a > 0 fix. Vrifier que f est intgrable sur [0, o] x [0, + oo[
et en dduire que
Solution
1) - En effectuant le changement de variable x = y + mr, on obtient
r+oo ^
f y/x V
t OO Ip'
I sin(ym + mr)\\ I
I c in f -1- r'TT
dy,
s i y/+ mr
do
/+lsinx| ^ ^ r , ^ 1
/ -p=-dx > / smydy > , =
Jo Jo y / T n ) ^
2 1
= :^ E = + 00 .
sin X
La fonction X 1-^ ! - nest donc pas intgrable sur [0, + oo[.
YX
Puisque la fonction | / | est continue et positive, le thorme de Fubini-
Tonelli sapplique et on a alors
/+00 ^+oo /H-CX) / ^+oo \
J J \f( x ,y ) d x d y - J |s in x |iy e *' d y jd x .
Chapitre 6. Problmes de rvision et de synthse 429
= ^ r e - ^ U t = ^ 4
Jo J0 ^/S 2
Do
/.+CO .+0O 0F /+ ls in x l
Jo Jo ^ Jq y/x ~
ce qui prouve bien que / nest pas intgrable sur [0, + oop.
2) - Montrons que / est intgrable sur [0, a] x [0, + oo[ pour tout
a > 0.
I sin|
La fonction X est continue sur [0, + oo[ (car elle lest mani
yfx
festement sur ]0, -1- oo[ et se prolonge par continuit en 0) et tend vers
sn X
0 quand x tend vers -t-oo, donc il existe M > 0 tel que - -=A- < M
y/x
pour tout X > 0. Do
r \f( x ,y )d x d y = r i ^ ^ d x dt <
Jo Jo Jo Jo J
- Puisque / est intgrable sur [0, a] x [0, H- oo[, le thorme de Fubini
est applicable, do
v/ tF / SinX ( / _ 2 . \
2 7o Jo \J o J
Par ailleurs
J e sin X dx = 9 m e e dx^
f e~=^y e dx =
i-y " [
J ;*| x= a _
___
la:=0 ~ _ 2 V
J- ^ ,-a y ^+ ia _
1),
do
1 e cos a y"^ e sin a
9a{y) = r e sin X dx =
Jo 1 + y^
430 I ntgration
Ainsi
y/TT r s i n x r+
~ L
3) Tout dabord, pour tout y > 0, on a
, s, l + Icosaj+ lsina| 2 + y^
---------------- r n ? ---------------- --- T 7 '
2 H~
o la fonction y I- ; J est intgrable sur [0, + oo[. Dautre part.
1+ '/
pour tout y > 0, on a
lim ga{y) = 7 4 .
a - ^ + o o 1 + 2/^
1"^ dy _ TTy/2
JQ 1 + y^ 4
4) - En vertu de 2) et 3), on a
^ Um r 9 a { y ) d y =
Jo y/x y/ir 0-I-+00 J q V 2
I ^ * = 2 V 2 -
7 ~- iA V2 ^ 1.2-
^ k>N ^
Solution
1) - Considrons la fonction ( dfinie sur [0,1] par
xlnx . _ _
{ ~2 r
-1
V?(0) = 0
SI
et
x]0,1
1^ ( 1 ) = 1/2.
Cest une fonction drivable sur ]0,1[ comme somme de fonctions dri
vables sur cet ouvert, et on a
, (x2-l)2
V (a:) = - "
X {x^ -H 1)2
On en dduit que ip dcrot de -l-oo 0, ce qui montre que ip' est
positive sur ]0, 1 [. Donc p crot de 0 vers 1/2 :
In + i-In = I x^ '''M n x d x
Jo
X,2n+l dx
i2n -f- 2
l2n -l-2 Jo 2n + 2jQ
1
4 (n -h l)2
433
Chapitre 6. Problmes de rvision et de synthse
do par sommation :
1 1
- w = 4 E w
k=n+l
_ 0, donc
Or J2k>i ^ ^ converge, et daprs (* ) on a lim In+P "
- p^+oo
1 1
E
k=n+l
h-
Pour chaque n G N, lentier N recherch est donc gal n + 1.
Donnons-nous > 0 arbitraire. Par continuit de ^ en 1, on peut trou
ver 5 ]0 ,1 [ tel que pour tout x G ]0 ,1 [, on ait
cest--dire
Cela montre bien que la suite (/) converge uniformment sur [0,1]
vers la fonction identiquement nulle.
- Pour tout ]0,1 [, on a
,j.2n+l
= In x ( l + x^ + ... + x ^P+
1
donc
1 ^2n-t-2p-|-3 jjj ^
- ^> ' /' ^ 2fe+l In
= ~
=
, ..
dx+
r
----
1 dx.
do
k=n ^ k>n+l
et
l r 1 /
;= / ^p{t)dt et lim - /
T i^+oo 1 Jq T -^ + oo 1 J q
3) Montrer que
4) Montrer que si une fonction / est intgrable sur tout compact de R+,
alors
1
lim f{ t) = lim / f{ t) d t = t.
t-^+oo ^ T^+oo T Jo
5) Utiliser ce qui prcde pour montrer que
Solution
1) Sur [0, +oo[, la fonction x i-> sin(x^) est continue, donc localement
intgrable. De plus, pour >1 > 0 fix, le changement de variable = t
puis une intgration par parties donnent ;
! 2\ J 1 J r C O S I^ ^ cos
I sm(x ) dx = - I p- di = -------- 7= / dt.
Ji ^ ^ 2Ji y/t L 2Vtii Ji 4^2
436 I ntgration
donc
Jo Jo
1 /-' 1 n
T Jo ^
^^Jo Jo
1 /7t / 2 pT
Pour tout 6 tel que f{e) > 0, on peut faire le changement de variable
tf{e) = U, do
1 r'^ 1 O \ de
f{0y
1 / ^ /^ 'TT 1
puis
dd
= ( y , c o s (u ) a ]
m '
On montrerait comme prcdemment que le dernier terme a une limite
nulle, donc
= l
3 ) Si Dt = [0,t]^, la formule cos(x^+j/^) = cosa;^ cosy^sinx^ siny^
donne par linarit de lintgrale :
1
- m d t-t =-- ^ \ m - e \ d t
-- f i/(i) ^ ^
do
^ K T -A ^ ^ K
| - f{ t)d t- < + J, < 2e pour T >
J .
T--+0O i
^ Jfq
(f{t) d t = C ^ - S ^ = 0,
438 I ntgration
et
o o f i
T-*+oo: = f-
Comme les rels C et S sont de mme signe daprs la deuxime galit,
on a alors
c = s = y | .
5 =
2 7o %/t
11 ^ s in i , 1 2? n si
sinudu
S / - ^/u + n^
dx
(1 + x4 )^
Solution
1) Il est clair que lintgrale I q est divergente. Pour chaque n N*, la
fonction
^ ^ ^ -------T
tri 1 T
fonctions positives.
2) Soit n > 2. On a
= / (1 +
f+ o o 1 + ^ 4 y+ oo ^4
donc
+
J ou / / f
Tji = Iji1
Jo (1 +
dx.
J{A) := f dx.
JO (1 +
Puisque
/ 1 y x^
\( 1 + X^) ^ / ^^(1+x^)"
une intgration par parties donne
X dx
J{A) = + T 1-1
4 ( n 1) (1 + 4 ( n
11)) 77o
0 (l + aJ^ )
J = In -X -
4 ( n - 1)
On en dduit que
Ifl I n l In -l,
4 (n 1)
cest--dire
_ An- 5
(*) 4 (n -l)
440 I ntgration
/+ dx
Jo 1 + a;4 '
dx _ r
- ddtt _ i dt
X 1+ X^ X /e2 , 1 \ X
'1/e .O 1 + i^
ddx
x _ tt^d
^ d tt ddit _ r 1 + 2
dt,
X 1 + a:^ X 1 + i * X 1+ X 1 + i^
do
dt.
V . T ^ = i 2 1
+ ti2:t
dx
d _ n~^ du _ 1 u
arctan
X 1 + x'^ X -i 2 + 2 V2 V 2 J e - i
" | 5 - ( - S | -
do
f d _ 7T
^ X l + a;4 2 v ^ '
Compte tenu de la relation (=i=), on dduit, pour tout n > 2 :
= f n ^
j2y/2
Chapitre 6. Problmes de rvision et de synthse____________ 4 ^
4p '
p=i
do
In A n = ^ In il -
p=l ^
lim In = 0.
n >>+00
f^/2 dt
J{x) := /
JO V co s2 + a;2 s in ^ t
1) Vrifier que
f%l2 dt
J{X) = /
Jo + X-2 cos^i
2) On poie
^7t/2 cos dt
:( x ) := /
70 V sin^ + x2 COs2
a) Montrer que
r^/2 1 __ cos t
lim (J(x ) - TC)) = [ dt = ln2.
sin i
b) Calculer K{x),
442 I ntgration
c) En dduire que
Solution
1) En effectuant le changement de variable u = | i, on obtient
df du
= r = r
Jo yco&^t + sin^i Jo \/sin ^U + X^ COS^'U
2) a) Faisons apparatre la diffrence entre la fonction et la limite prsu
me :
1 cos t
/ dt - ( J(x ) - K{x))
sin i
^7t/2
= r { l - c o s t ) ( ^ -----------^ = ^ = = ) dt.
Jo \/s in ^ i -|- a;2 cos^tJ
Pour tout ]0, 7t/ 2[, en posant 5 = sin i et C = cos t, on a
1 V S ^+ a ^-S
0 < - -
S V S ^T x^ S V S ^ + x2C2
5 V52 -h x2 C2 {S + + x^c^)
C^
< = X
S V ^ V x ^ 52
Donc
lim (1 c o s ) 7- =
t^o+^ sin^i 2
Chapitre 6. Problmes de rvision et de synthse 443
cos
Lintgrale 1 = 1 (1 cos) ^ dt est donc convergente. On en
Jq sin'^ t
dduit
Or
1 cos
dt
t sin(i/2)
dt
/ sin i = / 'o cos(i/2)
[ - 2 ln(cos(i/2))]Q /^ = ln2,
do la formule dsire.
b) laide du changement de variable u= sin i, on obtient
cos tdt
Jor \/u^ +
K{x) = = =
Jo yjsin^ t cos^ t Jo (1 ^)
du
Jo \/x^ + (1 a;^) 'd^
On a clairement K{1) = 1. Pour tout x > 1, on obtient
X ^ ^ ________
\Zx^ 1
arcsin
[vP ^ X
1 . / Vx-2 - 1 \
, - arcsin -----------
\ X J
- > ^1 [ \. 1 ---- T
arcsin
Vv x2y
arccos
x/x-2 1
444 I ntgration
du
K {x ) = f - J
Jo va + {1 X^)
argsh
V l X
argsh
V"1 x
^ ( ^ )
1
argsh
Vl
argch
VT^ a )
1 (i+ V T ^ Y
V T
-X^
X^ \
V X
X J
c) Daprs la question prcdente, on a , pour tout x < 1 :
1
K { x ) + In x =
"('- T r b ) * "
In (1 + \/l x^)
VT-
X
^ In x.
V l x^ (V l x^ + 1)
On en dduit
lim (r(x) + ln x) = ln2.
I >0+
lim (J (x ) - K (x )) = ln2,
x-^0+
on obtient finalement la formule dsire :
lim {J {x ) + In x) = 2 ln2.
-I-0+
Chapitre 6. Problmes de rvision et de synthse____________ 445
Solution
1) Il est clair que si (ttn)nN est stationnaire, alors elle converge (vers
llment sur lequel elle stationne).
Rciproquement, supposons que (un)nN converge vers R. Il
existe alors JV N tel que :
P i = E ( i)
=0 ^ '
446 I ntgration
Pour tout i de N :
(x")W (o) = (
^ ^ ^ n! SI Z=
et
0 si % n
n! si i = k n.
(xn )(i)( 0 ) = 0 et ^ j = 0,
do
Pn{0) = P n [ - ) = oez.
Si k > n , alors
do
F ^ (0 ) Z et Z.
7t" + i
Comme 0, on dduit que : / > 0.
n! n ^+oo n >+00
Chapitre 6. Problmes de rvision et de synthse 447
^ (l) > 0.
c) On a dmontr que tt est un nombre irrationnel : tt ^ Q.
L
2) Mme question avec
1 e
axcsin t
dt lorsque x >0*".
V.2
-, dt lorsque x ^0"^.
L3 arcsin t
3) raide d*une intgration par parties, montrer que
dt X
- - lorsque x +oo.
i2 In t In X
448 I ntgration
Solution
1) La fonction / : i I est continue sur ]0 ,1], et f( t ) rsj l i t
axcsini
lorsque t ^ O*". Comme la fonction t 1/t nest pas intgrable sur
]0 ,1], on dduit de la proposition 3.5.3 que
/1 f l f
I f{t)dt ~ / = Inx- lorsque x O ' * .
Jx Jx ^
_ ^
J^3 arcsm i Jx3 arcsin i arcsini
et en appliquant lquivalence obtenue en 1), on peut donc crire :
X- gi
dt = In + o(ln x^) + In x^ + o(ln x^)
L3 arcsin t
= lnx + o(lnx).
Chapitre 6. Problmes de rvision et de synthse 449
D o
dt In X lorsque x ^ O'* .
L3 arcsin t
3) Pour tout X > 2 fix, les fonctions i i > i e t i i > l / l n i sont
de classe sur le segment [2, x]. La formule dintgration par parties
donne alors
dt
r L - [_ L r r JL - ____ L r
J2 lu i J-2 ln ^ In x ln2 J 2 In^i
Comme x /ln x tend vers +00 lorsque x tend vers + 00, on en dduit
que : (2 /ln 2 ) = o (x /ln x ).
Sur [2, + oo[, les fonctions
r dt i r d t\ ,
X + 00,
et finalement :
dt a-' ,
T ~ lorsque X -hoo.
i 2 In i In X
f fi t )
la ocfit)
dt a Inx.
(*) [ f i t ) d t = A f { A ) - x f{ x ) - t f { t ) d t .
Jx Jx
La fonction / est intgrable. La fonction g : t>-* tf'{t) est localement
intgrable (car continue) sur [x, -f-oo[ et vrifie g ^ a f en -|-oo,donc
elle est elle aussi intgrable sur [x, - oo[. Les deux intgrales dans (*)
admettent donc une limite finie lorsque A tend vers -l-oo.
Le terme A f {A ) admet lui aussi une limite finie quand A -t-oo car
daprs la question prcdente, il existe <5 > 1 et X > 0 tels que, pour
X > X , on ait la majoration /( x ) < 1/x^.
En passant la limite quand A > -f oo dans (=t=), on obtient alors
/+00 /H-oo
/ f{t)dt+ / tf{t)d t = -xf{x).
Jx Jx
Par ailleurs, on a
p+OO ^+oo
/ 9it) dt Oi I f{t) dt.
Jx Jx
Finalement, pour tout x positif assez grand,
f+<x> l'+OO / f+OO \
-xf{x) = J f{t)dt + a j f(t)d t+ o lj fit)dtj.
Chapitre 6. Problmes de rvision et de synthse 451
/t/2
0(x) = / (s in i)^ d i et ^(x ) = (x + l) 0 ( x ) ^ ( x - |- l) .
Jo
1) a) Montrer que la fonction 0 est de classe sur son domaine de
dfinition.
b) Prciser ses variations.
2) a) Montrer que 4> est 1- priodique.
b) Quelle est sa valeur aux points entiers ?
3) a) Montrer que <f>{x) admet une limite lorsque x > -|-oo.
b) Que peut-on en dduire ?
452 I ntgration
Solution
1) a) La fonction x 6{ x ) est dfinie sur ] 1, + oo[. En effet,
pour a; > 0, 9{x) est lintgrale dune fonction continue sur un seg
ment. Pour 1 < < 0, la fonction f : t (sini) est continue
sur ]0, 7t/ 2] et admet 1 /i ^ pour quivalent en 0. Par comparaison de
fonctions positives, / est donc intgrable sur ] 1,0]. La fonction 0
est donc bien dfinie sur ] 1, -h oo[. Pour viter de distinguer les cas
X > 0 et X- < 0, on considre que 0 est toujours dfinie par une int
grale sur lintervalle semi-ouvert ]0, 7t/2].
Vrifions les hypothses du thorme de drivation sous lintgrale pour
toutes les drives successives :
= (In(sini))*^ (sini).
Montrons que <j>k est intgrable sur ]0,7t/ 2]. D abord, elle est continue
sur cet intervalle et, lorsque i O"'', on a
7t/2
= f gk{x,t)dt.
Jo
La proprit est vraie pour A: = 1 puisquon a les hypothses ncessaires
pour appliquer le thorme 4.1.5 la fonction 6.
Si la proprit est vraie pour un certain entier k, on a les hypothses
pour appliquer le thorme 4.1.5 et obtenir
La proprit est donc vraie pour tout k. Finalement est de classe C
sur [a, +oo[ pour un rel a > 1 arbitraire. Donc est de classe
sur ] 1, + oo[.
b) Daprs les calculs ci-dessus, on observe que est du signe de
(1)*. On en dduit notamment que la fonction est dcroissante et
convexe (voir proposition A.3.29).
2) a) Procdons une intgration par parties en crivant (sin ^
s in i (sini)+^. Comme x - |-1 > 0, les fonctions en prsence sont de
classe sur ]0, tt/2], et on a
Ainsi, 4> est encadre par deux fonctions qui tendent vers tt/ 2 lorsque
X tend vers +oo. Par le lemme des gendarmes, la fonction <l> a pour
limite 7t/ 2 en +oo.
b) La fonction (j) est continue priodique et possde une limite finie en
+ 00, elle est donc constante. En effet, si x > 1, alors pour tout entier
positif n, on a <j){x) = <j){x + n). En faisant tendre n vers +oo dans
cette relation, il vient (f>{x) = 7t/ 2, pour tout x > 1.
4) Quand X > 1, on peut crire x = 1 + h avec > 0. La relation
<^(x) = 7t/ 2 scrit alors :
9{x) lorsque x 1.
X+ 1
5) On sait que pour tout x > 1, on a
7T
(x + 1) 0(x) 0(x + 1) =
Chapitre 6. Problmes de rvision et de synthse 455
sin(7Tx)
3) Montrer que
_ ^ f^{x)
(f ) = f / - dx.
^ Jo SI
sin^(7Tx)
4) En dduire que
(*)
J[of' ^{ x)dx > -^ J[of^{x )dx.
5) Dterminer les fonctions f de E pour lesquelles l ingalit prc
dente est une galit.
456 I ntgration
Solution
1) La fonction g est continue sur ]0,1[ comme quotient de fonctions
continues (avec le dnominateur qui ne sannule pas).
Au voisinage de 0, on a g{x) ~ f{x)/Trx. Or /(0 ) = 0 et / est
drivable en 0, donc
Um M = i ln _ m
a;-0 7TX TT x -^ 0 X* 0 TT
De mme, on obtient
lin i 5 (a;) =
^ TT
I f dx.
i:,g sin(7ra;) [sin(7ra;)Jg ' 2 Jg sin^(7rx)
En faisant tendre e vers 0 et a vers 1, on obtient finalement
2 J q sin-^(rx)
4) Par positivit de lintgrale, on a
Sin(7rx)
et en dveloppant, il vient
x)
/ tT^ COS^(7X 7T COS(7TX)
fix) - 2 fix) f i x ) -I- f^{x)^ d x > 0.
Jo \ sin^(7ra-) Sin(7Tx)
Chapitre 6. Problmes de rvision et de synthse 457
f
Jo
f'^{x )dx >
Jo
f 7T^/^(x) -
Sin'(7rx)
dx = 7T^ / p { x ) d x .
Jo
5) Par continuit de la fonction considre, lingalit (**) est une ga
lit si et seulement si la fonction :
7T C0S(7TX) ,, ,
X^ I . / /
/(x ) - f i ^ ) ^
Sin(Trx)
est identiquement nulle sur ]0,1[, cest--dire :
i\sm^(7rx)
) /' =
On en conclut que les fonctions / qui appartiennent h E et pour les
quelles lingalit (*) est une galit sont donnes par
Solution
I) Pour A R et [0, tt], on a
cos(nx)
Ifn : [0, tt] ^ R, X i->
1 2A cos X + A^
est continue. Do lexistence de In(A).
Pour A = 1, Iji{X) nest pas dfinie car les intgrales
/71
cos(nx) , f " cos(nx)
^ ^ dx et / - -
^ dx
Jo 2 (1 cosx) Jo 2(1 + cos x)
sont divergentes.
/TT
2) On a /o(0) = 7T et, pour n > 1, /(0) = / cos(nx) dx = 0.
Jo
Si A R \ { - 1 , 0 , 1 } ,
do
(*) / ( i ) = A 2 / (A ).
3) Pour A ^ {1,1}, le changement de variable t = tg (x /2 ) donne
/+ 2 di
io ( l + A 2)(l + i 2 ) - 2 A ( l - ( 2 )
dt
Jo ( 1 - A ) 2 + ( 1 + A)2(2
/ 1+ A M
arctan 1
i r b l . i i i ' o o l-A )J
Chapitre 6. Problmes de rvision et de synthse 459
do
7
/o(A) = |1 - A 2 |-
1 + A2
2 A / i (A) = ( - ^ - l)d x ,
^ ' J q \ 1 2A cos X + A2 /
do
2() = (1 + A2)/o(A) - 7,
donc
0<|A|<1.
r 2 ccosx cos(nx)
in+l O ~ cos(nx) ) dx
= 1 ( ^ 2ACOSX + A2 '' V
( / + / - 0 = r ( - cos(n x)) *
J q \ l 2Xcosx + X^ J
puis
= ^ . () =
In W = 1-A2-
460 I ntgration
Ik = In X dx
Jo
aprs en avoir tabli la convergence.
b) tablir la convergence de
. Ino: _ _ \ix , ^ In x .
A := / ------- dx^ B := ------- dx et C := ------- ^ dx.
7o 1 + ^ 7o 1 ^ Jo
c) Montrer que : 2C = A + B et AC = B + AA.
2) a) Montrer que la fonction
Jo ^ ^ ^ Inxite^ + y ^
+00 J ^2
4) Sachant que = , calculer les intgrales A, B et C.
7=l
Solution
1) a) - Pour chaque k N, la fonction fk : x* In x est dfinie et
continue sur ]0 ,1], donc localement intgrable. Dautre part, si A; > 1,
Chapitre 6. Problmes de rvision et de synthse 461
I ^ In X dx
r
fc + 1
\n x - - - f x*dx
1 -.A+l 1 r x'=+^ 1 ^
A/' H 1 ^ ^ - k T ik T .,
1 .A:+l
Ine ^ (l- * + l).
fc + 1 {k + 1)2
On en dduit
h = lim
-0+ A
f
X* In x d x =
(fc + 1) 2
In x ln (l t) In x _ ln (l t) 1
1 et r>^----
1 X 1 x2 t{2 t) 2
. f 1 1 \ 1 . ^ Inx dx
462 I ntgration
2C = J { l - x + x)^^-^dx
Jq 1 + x Jq l-x^
= 2A+\b.
Do les relations dsires.
2) a) La fonction V est manifestement dfinie et continue sur ]0 ,1 [. De
plus, lim ip(x) = 0, et en posant t = 1 x,
x^0
a; In x _ (1 i) ln (l i) ln (l i)
- 1.
1 X t
On peut donc prolonger ^ en une fonction continue sur [0,1] en posant
'^(0) = 0 et ^(1) = 1. Le prolongement ainsi'obtenu est une fonction
continue sur lintervalle compact [0,1], cest donc une fonction borne
sur ce segment.
b) Daprs le a), il existe des nombres rels m et M tels que
V, ,r a; Inx ^ ,
VxGlO, 1[, m < ------- < M.
1 X
On en dduit, pour chaque n G N,
.y.n+1 1|.J n.
V xG ]0,l[, m x < , - < M x ".
1 X
En intgrant, il vient
m f'x -d x ,
Jo JO 1 ^ JO
cest--dire
m ^ x+ i In x , ^ M
dx < ------- ,
n + - Jo X n +1
Chapitre 6. Problmes de rvision et de synthse 463
m M
et comme r et ------r tendent vers 0 quand n tend vers linfini.
n+ 1 n+ 1
on dduit du lemme des gendarmes que
lini
n+00Jq
f 1x
dx = 0.
1 - x +i
1 + xH-------h a:" =
1 -x
do
x"+^ 1
1+ X + + x +
1 x 1 x
En multipliant les deux membres par In x et en intgrant, il vient
In x f ^ x''"^ l n x \
Jo Jo 1 -x ;
= t i l '- te-
lim n\ (e T7^ = 0-
1^+00 V k\ J
^ k=0 '
2) En dduire que e est un nombre irrationnel.
3) On se propose de dmontrer que le nombre e est transcendant, c est-
-dire quil n est pas racine d un polynme coefficients entiers.
a) Soient k, e W et P un polynme de degr i. Montrer que
cl
/ k e ** P{kt) dt = e~^ Q{k) + Q(0)
e) On pose
X,ml
P{x) = (x 1)* (x n )*.
(m 1)!
Solution
1) Pour tout n G N* et pour tout entier p > n + 1, on a
P i 1\ P ,1 P ^1
( E
fe=0
- E )
k=Q ^
= E M =fc=l
A:=n+1
p -n
E ' r f ) i'
J ^
k=l
En passant la limite lorsque p tend vers +oo, on obtient pour tout
entier n > 1 :
0 < = lim n! f i -
\^ 7^
k=0
/
'
p-^+oo V k\
^ A;=0
^ k\ 'J
k=0
n
lim n\ (e A ^ = 0-
n-+oo \ ^ kl j
^ k=0 '
^ *=0 ^
Daprs 1), on peut trouver un entier n > 2 tel que
= + J^e-^P '{s)ds
= -e ~ ^ Q{k) -h Q(0).
(*) = 0.
k=0
n ^ /1
0 = aoQ(O) + ^ a f c Q (f e ) + / e~'^^P{kt)dt
ik=l fe=i -^0
ou encore
n n pi
oQ(O) -H ^ a k Q { k ) = - P(kt)dt.
k=\ k=l
d) Pour chaque n dans N, la formule de Stirling permet de voir que
lim 7 " = 0.
i-*+oo (j 1)!
Chapitre 6. Problmes de rvision et de synthse 467
p { p l ) - - - ( p q + l ) x ^ ^ = q\ x^
oQ(O) + Q{k)
k=l
Dautre part.
n .1
y ' k ke ^ I e ~ ^ P { k t ) dt < M e " m ax lP (x)|
0<x<n
k=i
^ e n ^ (n + l)m
^ (m - 1 ) ! ^
468 I ntgration
lin. =
n-^+cx) r (n )
sin
Solution
1) Par continuit de la fonction F, on a lim F( + 1) = F (l) = l,e t
X ^0
compte tenu de la relation {*), on dduit que
/ e - d t> J e~* dt =
e
F(x) = ( x - l ) F ( x - l ) >
e
ce qui entrane
lim r(x) = + 00.
X-+00
Or,
/ i e * di = n e + n / ^e dt,
Jo Jo
do
-n ^ e - + r t ^ - ^ e - * d t < In
Jo
^e-^ + n ^ - ^ f ee~^dt.
Jo
Si maintenant t > n, alors et i > n, do
/+00 f+ 00
e~* dt < Jn < / i e~ di.
lim ( x ^ ^ +k+ = 1,
n >-1-00 n ^ r ( n ) n +00
r(x ) = r(x + n + l )
X (x -h 1) {x + n)
i!n^
n! n / r ( x -h n H- 1)
X (x -h 1)\ + n) \ (n -t-1) r ( n + 1) ) ( ^
(x -h )
on obtient, compte tenu de (**),
71^ 71^
r(x ) = lim -------------- 7------- \-
n-^-l-oo X (x - I - 1) (x + n)
r(x ) r ( l - x)
(n!)^n
= lim
n->+oo X (x -h 1) (x -|- n) (1 x) (1 -h n x)
k=l
TT
+00
Sin 7TX
X
n e - a
do
K l ) = r ( ' 4 ) = 5 Q = f -
En effectuant le changement de variable s = i 1, on obtient
r+OO ______ 1 r+OO 1 .Ov
V t ^ e~*dt = v /i e" ds = - r ( ^ - j ,
l
do
rV ? ^ e-d i=
Ji 2e
/(g .6 ) = r ,
Jo y/a^cos^O + 6^sin^0
I{a ,b ) = I{b ,a )
{ I{X a ,X b ) = X ~ ^I{a ,b ).
b) En dduire que
1 /6'
i{a ,b ) = - g i - ) .
a \a /
4) a) En utilisant le changement de variable s = xfty montrer que
ry/x dt /+00
ds
Jo V ( i 2 + l ) ( i 2 + a;2) V(s^ + 1 ) (s2 + x-2)
f y/ x 2dt
b) En dduire que gip^)
,. _, = /, ,______________
Jo'o V (*^ + l) (i 2 + x 2)
5) Montrer, en encadrant + \ sur l intervalle [0, y/x\, que g est
quivalente, quand x tend vers O"^, la fonction h dfinie pour x > 0
par
2dt
7F T P -
6) a) Calculer h{x).
b) En dduire que g{x) ~ In x lorsque x O'*'.
Solution
1) La fonction / : t est continue sur R, donc
v/(t2+a2) (*2+ 62)
localement intgrable. Au voisinage de oo elle est quivalente l/i2 .
Comme les intgrales de I f t ^ sur ] oo, 1] et sur [1, +oo[ sont
des exemples de Riemann convergents, on conclut, grce au corollaire
3.3.4, que les intgrales I{a ,b ) et J(a, 6) sont convergentes.
Enfin, puisque la fonction / est paire, on a bien
/*+00 dt
J (a , 6) = 2 / = 21{a,b).
Jo0
474 I ntgration
/irl2 de
I{a ,b ) = / cos
Jo
\ cos^u J \ cos^O )
Or
6^ sin ^ 0 2 .2 / 2 /1 1\
------ + = 62 tg 2 ^ + l) = -----
cos^e cos20
do
^7T/2 d0
I(a ,b ) = / - = COs2 0
Jo I &2
\l (&2 sin^ 0 + a^ cos^ 0)
V cos'^p COs2 0
r/ ,bn) =
I{a / , dB
=
/0 y/a^cos^e + 62sin2^
I
^p{x,0) :=
COs2 0 + x2 sin2 0
lia ,b ) = = ^5 0 .
Chapitre 6. Problmes de rvision et de synthse 475
l-y/x r+oo
dt xd s
Jo y/{fi + 1 ) (i2 + a ; 2 )
r+oo
ds
y/x y/{fi + f i ) { + ^
f ds
g{x) = I { l, x ) = /
Jo y /{x ^ + S2) (1 + s2)
ry/x ds r+oo ds
+
Jo yy/{x^
/(x ' + S^) (1 + S^) V ( ^ 2 - H s2 ) ( 1 + s 2 )
ds
g{x) = 2 !
Jo y/{s^ + l) {s^ + x ^ y
<
y/(l 4- x) (fi -h X^) y j( f i + 1 ) ( fi -1- i 2) y /fi -\r X'2
fV 2 dt 2dt
476 I ntgration
, rr-i/V
/v x 2 du
2du ^ r/Args^i/V) ^ / U N
h {x) = / : = 2 / dv (u = snv)
7o V + 1 Jo
= 2 A r g sh (^ ) = 2 1 n ( i + y r
= In x + 2 ln (l + \ / l + rr).
Rappels danalyse
fondamentale
Lorsquil existe, le plus grand lment (ou le plus petit lment) dune
partie A de R est unique.
Dfinition A.1.3 Soit A une partie non vide de R. On dit que A est
rrnore sil existe un lment z de R tel que, pour tout G A, on
477
478 I ntgration
Remarque A.1.4 Une partie non vide A de R peut tre majore (resp.
minore) et ne pas avoir de plus grand lment (resp. de plus petit l
ment). Cest par exemple le cas pour lintervalle ouvert ]0,1[.
Ve > 0, 3c E [a,b[, Vx G]c, 6[, Vx' G]c, b[, |/(x ) - /(x ') j < e.
Ve > 0, 3c G]o, 6], Vx G]o, c[, Vx' ]a, c[, |/(x ) /(x ')| < e.
Vx G A n ]c, -t- oo[, Vx' G A n ]c, + oo[, |/(x ) /(x ')| < e.
Dfinition A.2.29 Soient deux fonctions f et g dfinies sur ]a, -I- oo[.
On dit que / est ngligeable devant g au voisinage de H-oo si et seule
ment si :
Il existe a > 0 et une fonction e ; ja , -H oo[>R tels que
A ^ 3 S Continuit et limite
lin, ih iM = e,
X >0. 'T* n
x e l, x^a ^
existe (et est finie) ; on la note alors /(a). On dfinit de mme la drive
gauche / ' .
Par exemple, la fonction / ( x ) = |x| nest pas drivable au point a = 0,
mais elle y admet une drive droite (gale + 1) et une drive
gauche (gale - 1).
Si / est dfinie et drivable en tout point a de lintervalle I , on dit que
/ est drivable dans I.
Quand X parcourt I , la drive f '{ x ) au point x devient elle-mme une
fonction de X dfinie dans J, quon appelle la (fonction) drive de / , et
488 I ntgration
/ V / N ^ g(a)/(g) - f{a)g'{a)
g) ^^ b()]2
Thorme A.3.2 (Drive dune compose) Soient J deux inter
valles ouverts de M. Soit f une fonction dfinie dans I, valeurs relles
qui appartiennent J, et soit g une fonction complexe dfinie dans J.
Soit a un point de I ; posons h = /(a ). Supposons que f est drivable
au point a, et que g est drivable au point b. Alors la fonction compose
g Of est drivable au point a, et
( r )'(i>) =
/'(a )
Corollaire A.3.6 Si la fonction f a une drive partout non nulle dans
I, alors f~ ^ est drivable dans J, et on a
( f - i y = -----------
^ f O /-1
X = siny
y = Arcsin X < 7 TT]
, ^ ^ 2 2]
Le thorme ci-dessus permet de vrifier aisment que Arcsin est une
fonction drivable sur ] 1 , 1 [, et que
n!
(I) = A:! (n - A:)!'
Dfinition A.3.10 On dit que la fonction / est de classe (Jp sur lin
tervalle I si la drive existe en tout point de I et si lapplication
X I> est continue sur I . On dit que / est de classe C sur
I si f admet des drives de tous les ordres en tout point de J (ces
drives tant alors automatiquement continues sur I) .
Thorme A.3.16 (Rolle) Soient a et b deux nombres rels tels que a <
b. Soit f une fonction valeurs relles, dfinie et continue dans [a, 6],
et drivable dans ]a, b[. Supposons que f{a ) = f{b ). Alors il existe au
moins un nombre c dans l intervalle ouvert ]a, 6[ tel que f'{ c ) = 0.
3. ROLLE Michel (1652 -1719). Mathmaticien franais. Autodidacte, il fit des tra
vaux concernant aussi bien lalgbre que la gomtrie, il sintressa notamment aux
racines des polynmes.
492 I ntgration
f { b ) - f ( a ) = ( 6 - o ) / '( c ) .
Corollaire A.3.20 Soient a et h deux rels tels que a < b. Soit f une
fonction valeurs relles, dfinie et continue dans [a, b], et drivable
dans ]a, b[. Les deux assertions suivantes sont quivalentes :
i) f est croissante sur [a, 6] ;
ii) f { x) > 0 pour tout X ]a, b[.
k=0
/W = + o (( -a r).
k=0
rpS rp2n+l
2n
cosx =
2 n
l n ( l - t - x ) = x - % - -I- ( - l ) " '* ^ ^ -H o ( x ) .
2 ni
/, ^/v , a (a 1) (a n -h 1) ,
(1 -l-x) = 1 -t-ax -h ... H- ^ ----------- - X + o(x ).
n!
A 3.25 Fonctions convexes
Lingalit ci-dessus exprime que tous les points du segment [(a, /( a ) ) , {b, /(&))]
sont au-dessus du graphe de / . Voici prsent quelques caractrisations
simples et trs utiles de la convexit dune fonction {attention aux hypo
thses !).
f (/( ) + / ) .
Vx = {xi,...,X m ) X := + xl,.
Proposition A A 3 Si f{x) admet une lim ite quand x tend vers a dans
cette lim ite est unique.
A A A Continuit en un point
X i-> /( x ) ;= (x a) + a '.
r
De la relation r ( /( x ) a') = r' {x a), on dduit que
On a donc bien une bijection de B {a ,r) sur B { a ',r ') , continue car
lipschitzienne :
X H-- f~ ^ (x ) := ix ~ a') + a
r
est galement lipschitzienne, donc continue. Lapplication / ralise donc
bien un homomorphisme de B {a, r ) sur B {a', r')
f{ a + h) = /( a ) + + o(||/i||) lorsque 0.
df : U - , a dfa
A .5 3 Drives partielles
V rn
f ' ( A = <P
fvW (0)'l := l1 m^ ---------
+ ----------
498 I ntgration
/i( ) - f (<)
df
dfa =
i= l
i= l
0 si X = 0.
d f y { x ^ + 4 z ^ /2 - y ^ ) d f - X {y^ + 4 x ^ J/^ - z ^ )
et
| ( 0, 0) = 0, | ( 0. 0) = 0.
ce qui donne
^ ^ (0, 0) = 1 et S 4 - { 0 , 0 ) = - 1 .
dxdy dydx
500 I ntgration
dxdy dydx
l< j< n
On lappelle la matrice jacobienne (ou simplement la Jacobienne) de /
en a. Lorsque p = n, le dterminant de J a {f) est appel/e dterminant
jacobien (ou le Jacobien) de lapplication / au point a.
A nnexe A . Rappels danalyse fondamentale 501
503
Index
A changement de variable, 62
Abel (rgle d-X 163 Chasles (relation de -), 16, 30
ablienne (intgrale -), 75 chemin de classe C^, 330
absolue (convergence-), 147 compact (intervalle -), 2
accroissements finis, 492 complments (formule des -), 468
adhrence, 480 concave (fonction -), 493
adhrent (point -), 480 conjugus (nombres -), 50
aire, 321, 332 constante 7 dEuler, 318
application continuit
- diffrentiable, 497 - uniforme, 496
- diffrentielle, 497 - globale, 496
- contractante, 480 - par morceaux, 11
arc gomtrique orient, 328 contractante (application -), 480
arc gomtrique, 328 convergence
arcs C*- quivalents, 328 - uniforme, 80
-absolue, 147
B - en moyenne, 244
base duale, 329 - en moyenne quadratique, 245
Bertrand (exemples de -), 157 - monotone, 248
Bioche (rgle de -), 73 - simple, 80
borne convexe (fonction -), 494
- infrieure, 478 convolution, 312
- suprieure, 478 coordonnes
boule (ouverte, ferme), 328 - sphriques, 328
- cylindriques, 327
- polaires dans lespace, 326
Cauchy (critre de -), 146,482 - polaires dans le plan, 326
505
506 I ntgration
U
uniforme
- continuit, 496
- convergence, 80
- limite, 80
V
valeur moyenne, 26
valeurs intermdiaires, 486
voisinage (dun point), 480
volume, 321
W
Wallis
- formule de -, 389
- intgrale de -, 388
Y
Young (ingalit de -), 132
Achev d imprimer en septembre 2009
par la St ACORT Europe
www.cogetefi.com
Imprim en France
Intgrale de Riemann
T h o r ie e t p r a tiq u e
avec exercices corrigs
Mohammed El Amrani
w w w .editions-herm ann.fr