Académique Documents
Professionnel Documents
Culture Documents
Cours et exercices
Sylvie Guerre-Delabrire
Professeur lUniversit Pierre et Marie Curie
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
1
2
3
4
4
5
5
6
7
.
.
.
.
.
.
.
.
11
11
19
23
27
34
37
40
42
.
.
.
.
.
.
.
.
.
.
.
47
47
49
55
58
59
61
65
68
70
73
74
79
79
81
85
ii
Sries entires
5.1 Dfinitions et disque de convergence . . . . . . . . . .
5.2 Oprations sur les sries entires . . . . . . . . . . . .
5.3 Drivation et intgration des sries entires . . . . . .
5.4 Dveloppement en srie entire lorigine . . . . . . .
5.5 Dveloppement en srie entire des fonctions usuelles .
5.6 Fonction exponentielle complexe . . . . . . . . . . . .
5.7 Exercices sur le chapitre 5 . . . . . . . . . . . . . . .
5.8 Corrig des exercices sur le Chapitre 5 . . . . . . . . .
Sries trigonomtriques
6.1 Dfinitions et convergence . . . . . . . . . . . .
6.2 Continuit, drivation et intgration de la somme
6.3 Dveloppement en sries trigonomtriques . . . .
6.4 Exercices sur le chapitre 6 . . . . . . . . . . . .
6.5 Corrig des exercices sur le Chapitre 6 . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
87
90
91
93
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
97
97
100
102
104
107
109
112
113
.
.
.
.
.
119
119
122
124
132
134
.
.
.
.
.
.
139
139
139
141
143
145
146
.
.
.
.
.
.
149
149
150
151
155
159
162
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Bibliographie
169
Index
170
Index
170
Chapitre premier
Quelques lments de logique
kappa
tau
Lambda
beta
lambda
upsilon
Xi
gamma
mu
phi
Pi
delta
nu
chi
Sigma
epsilon
xi
psi
Upsilon
zeta
o omicron
omega
Phi
eta
pi
Gamma
Psi
theta
rho
Delta
Omega
iota
sigma
Theta
Pour tout
Il existe
Implique
Equivalent
Intersection
Runion
vide
appartient
est inclus
Chapitre premier.
1.4. Quantificateurs
P Q sappelle lintersection de P et Q.
La proposition x P Q veut dire que x appartient P ou Q, cest--dire
x P ou x Q.
P Q sappelle la runion de P et Q.
On notera que le ou ici nest pas exclusif : si P et Q ont une partie commune, x peut tre
dans cette partie-l.
Si P et Q sont des sous-ensembles dun ensemble plus grand, dsignons par Pc et Qc les
complmentaires de P et Q. La ngation de la proprit x PQ sexprime par x Pc Qc
et la ngation de x P Q par x Pc Qc . En dautres termes, la ngation de et est ou et
celle de ou est et.
La proposition x PQ veut dire que x appartient P et nappartient pas Q ou linverse,
x appartient Q et nappartient pas P, cest--dire :
x P Q et x
/ P Q.
PQ sappelle la diffrence symtrique de P et Q.
Ici, le ou est exclusif : llment x ne peut pas tre pris dans lintersection de P et Q.
1.4 Quantificateurs
Les quantificateurs servent exprimer des propositions. Le quantificateur se lit pour
tout et le quantificateur se lit il existe.
1.4.1 Exemple. x R tel que x2 = 1.
Cette proposition est vraie : le nombre rel x = 1 convient.
1.4.2 Exemple. x R , |x| = x.
Cette proposition est vraie : si le nombre rel x est positif, il est gal sa valeur absolue,
sil est ngatif il est gal loppos de sa valeur absolue et sil est nul, il est gal la fois
sa valeur absolue et loppos de sa valeur absolue.
Une proposition exprime avec des quantificateurs peut tre vraie ou fausse selon le cadre
dans lequel on se place. Pour montrer quune proposition est fausse, il suffit dexhiber un
contre-exemple, cest--dire un exemple qui nie la proposition en question.
1.4.3 Exemple. x C , |x| = x.
Cette proposition est fausse, on peut trouver un nombre
complexe qui ne la vrifie pas :
en effet le nombre complexe x = 1 + i est tel que |x| = 2 6= (1 + i).
Il faut donc prciser le domaine o lon travaille.
Chapitre premier.
i)
Continuit de f sur R :
> 0 , > 0 tel que (t,t ) R2 tels que t t , f (t) f (t ) .
i)
Continuit de f sur R :
1.6 Ngation
Pour nier une phrase mathmatique, cest--dire pour crire le contraire dune proprit
comprenant des quantificateurs, on inverse tous les quantificateurs, cest--dire que lon
remplace par et par , sans en changer lordre et on nie la conclusion.
1.6.1 Exemple. Discontinuit de f en t0 :
> 0 tel que > 0 , t ]t0 ,t0 + [ tel que | f (t) f (t0)| .
Attention, il ne faut pas oublier dinverser le quantificateur lorsquil est sous-entendu,
comme dans lexemple 1.5.2 !
On peut aussi prciser la notion de contre-exemple : si on veut montrer quune proprit
[x, R(x)], comprenant le quantificateur , est fausse, il faut montrer que la proposition
contraire [x, non R(x)] est vraie cest--dire quil existe un lment x qui ne vrifie pas
R(x). Cet lment est appel un contre-exemple
Chapitre premier.
On rsume ces proprits en disant que la borne suprieure est le plus petit majorant de
lensemble et la borne infrieure le plus grand minorant de lensemble.
Ces nombres sont caractriss par les proprits suivantes :
1.8.2 Proposition.
1)
On remarquera que la borne suprieure et la borne infrieure dun ensemble ne sont pas
ncessairement dans lensemble.
1.5 Exercice. Soit f une fonction continue sur un intervalle [a, b], drivable sur ]a, b[,
ayant une drive strictement positive en tout point.
Montrer en utilisant un raisonnement par labsurde que f est croissante sur [a, b].
1.6 Exercice. 1) Quelles sont les bornes suprieure et infrieure de lensemble
1 1
A = {( + ) / p, q N , p 6= q}?
p q
2) Ces bornes appartiennent-elles lensemble A ?
Chapitre premier.
-supposons C3 vraie, alors A1 est vrai par (I4 ) et donc B3 est vrai par (I2). Ce cas nest pas
possible puisque les indices doivent tre distincts.
-supposons C2 vraie, alors B2 nest pas vraie puisque les indices doivent tre distincts. Et
donc C1 doit tre vraie, ce qui nest pas possible.
-supposons C1 vraie, alors A1 et B1 ne sont pas vraies puisque les indices doivent tre
distincts. Or si B1 nest pas vraie, A2 nest pas vraie non plus par la contrapose de (I1 ).
Donc cest A3 qui est vraie et donc aussi B2 .
Le triplet gagnant est donc : A3 , B2 , C1 , cest--dire : Andr est pharmacien,
Bernard est mdecin et Claude est dentiste.
Corrig de lexercice 1.3
Les relations logiques existant entre les assertions suivantes sont :
non A = E, non B = F, A = D, B = C,
A et B sont incompatibles.
Corrig de lexercice 1.4
1) On procde par rcurrence :
-Pour n = 0, on a bien (R0 ) u0 < v0 par hypothse.
-Supposons que, pour un certain n N, on ait (Rn ) un < vn . Alors, daprs la dfinition
de un+1 , on a : un < un+1 < vn et donc par dfinition de vn+1 et en utilisant lingalit
prcdente, on a aussi un+1 < vn+1 < vn . On en dduit :
un < un+1 < vn+1 < vn .
-On en dduit que lingalit (Rn+1 ) est vraie. La rcurrence est donc bien vrifie et on
peut donc conclure que (Rn ) un < vn est vraie pour tout n N.
2) La dmonstration prcdente implique galement que la suite (un )nN est croissante et
majore par b et que la suite (vn )nN est dcroissante et minore par a. On en dduit que
les 2 suites convergent dans R.
3) Supposons que (un )nN tend vers l et que (vn )nN tend vers l .
un + vn
l + l
Alors la relation un+1 =
implique en passant la limite que l =
et donc que
2
2
l=l .
Corrig de lexercice 1.5
Soit f une fonction continue sur un intervalle [a, b], drivable sur ]a, b[, ayant une drive
strictement positive en tout point.
Soit x0 ]a, b[. Comme f (x0 ) > 0, on a :
lim
xx0
f (x) f (x0 )
= f (x0 ) > 0.
x x0
Donc, il existe > 0, avec x0 + b, tel que pour tout x ]x0 , x0 + [, f (x) f (x0 ) 0.
Soit E lensemble des x tels que cette ingalit ait lieu. Cet ensemble est non vide et
major par b. Il admet donc une borne suprieure s.
Montrons par labsurde que f (s) f (x0 ) :
en effet sinon on aurait f (s) < f (x0 ) et par continuit de f , il existerait > 0, avec
x0 < s , tel que, pour tout x ]s , s + [, f (s) < f (x0 ). Ce nest pas possible car
tous les x ]s , s] ne seraient pas dans lensemble E et s ne serait donc pas la borne
suprieure de E.
Il y a donc contradiction et par suite, f (s) f (x0 ) 0.
Montrons par labsurde que s = b :
en effet si lon avait s < b, comme f (s) > 0, en appliquant le raisonnement ci dessus,
il existerait > 0, s + < b tel que pour tout x ]s, s + [, f (x) f (s) 0, donc aussi
f (x) f (x0 ) 0. s ne serait donc pas la borne suprieure de E.
Il y a donc contradiction et par suite s = b.
On en dduit donc que pour tout x [x0 , b], f (x) f (x0 ). Comme ceci est vrai pour tout
x0 ]a, b[, f est bien croissante sur ]a, b[ et donc aussi sur [a, b] par continuit de f .
Corrig de lexercice 1.6
1) La borne infrieure de lensemble A est 0. En effet 0 est un minorant de lensemble A et
1
1
2
1
1
< et +
A.
pour tout > 0, il existe un entier n tel que n > . Alors +
n n+1
n n+1
3
3
La borne suprieure de lensemble A est . En effet, est un majorant de lensemble A
2
2
3 1 1
et = + A.
2 1 2
2) La borne infrieure de A nest pas dans A et sa borne suprieure y est.
Chapitre 2
Suites et Sries Numriques
i)
12
2.1.5 Dfinition. On dit quune suite numrique (sn )nN est de Cauchy si elle vrifie la
proprit :
> 0 , N N tel que p, q N s p sq .
2.1.6 Proposition.
1) Toute suite convergente ou de Cauchy est borne.
2) Les suites obtenues en faisant la somme et le produit de deux suites convergentes
(respectivement de Cauchy) sont convergentes (respectivement de Cauchy). Dans le cas
de suites convergentes les limites sont la somme et le produit des limites des suites de
dpart.
3) La suite obtenue en faisant le produit par un scalaire dune suite convergente
(respectivement de Cauchy) est convergente (respectivement de Cauchy). Dans le cas
dune suite convergente la limite est le produit de la limite de la suite de dpart par
ce scalaire.
4) La suite obtenue en prenant le module dans le cas de C ou la valeur absolue
dans le cas de R, dune suite convergente (respectivement de Cauchy) est convergente
(respectivement de Cauchy). Dans le cas dune suite convergente la limite est le module
ou la valeur absolue de la limite de la suite de dpart .
5) Dans le cas dune suite valeurs complexes, une suite est convergente (respectivement de Cauchy) si et seulement si sa partie relle et sa partie imaginaire sont des
suites valeurs relles convergentes (respectivement de Cauchy). Dans le cas dune suite
convergente la limite de la partie relle est la partie relle de la limite et de mme, la
limite de la partie imaginaire est la partie imaginaire de la limite de la suite de dpart.
6) Toute suite convergente est de Cauchy.
Dmonstration. Soit (sn)nN une suite convergente vers l ou de Cauchy.
Pour dmontrer le point 1), on applique la dfinition de la convergence dune suite ou de
la condition de Cauchy avec = 1. Soit N N lentier associ cet .
Pour n N, on peut crire :
-si la suite (sn)nN est convergente :
|sn l| 1, soit encore l 1 sn l + 1.
-si la suite (sn)nN est de Cauchy :
|sn sN | 1, soit encore 1 sN sn 1 + sN .
Ceci implique bien que la suite (sn )nN est borne par sup{s0 , s1 , . . . , sN , |l 1| , |l + 1|}
dans le cas dune suite convergente et par sup{s0 , s1 , . . ., sN , |sN 1| , |sN + 1|} dans le cas
dune suite de Cauchy.
Pour dmonter le point 2) dans le cas de la somme de deux suites, on se donne une autre
suite (tn )nN convergente vers l ou de Cauchy et on utilise les ingalits :
-si les suites sont convergentes :
(sn + tn ) (l + l ) |sn l| + tn l .
13
Cauchy avec pour chacune des suites, on obtient deux entiers N et N tels que :
2
-pour des suites convergentes,
n N |sn l|
qui impliquent
et n N tn l ,
2
2
n sup {N, N } (sn + tn ) (l + l ) ,
qui impliquent
p, q N s p sq et p, q N t p tq ,
2
2
p, q sup {N, N } (s p + t p ) (sq + tq ) ,
Comme on sait que dans les deux cas, les suites sont bornes, par M et M respectivement,
pour > 0 donn, si on applique la dfinition de la convergence ou la condition de Cauchy
avec
et
pour chacune des suites, on obtient deux entiers N et N tels que :
2M 2M
-pour des suites convergentes,
n N |sn l|
qui impliquent
et n N tn l
,
2M
2M
n sup {N, N } sntn ll ,
qui impliquent
et p, q N t p tq
,
p, q N s p sq
2M
2M
p, q sup {N, N } s pt p sqtq ,
14
avec
, on obtient un entier N tel que :
| |
-pour une suite convergente,
n N |sn l|
ce qui implique
,
| |
n N | (sn l)| ,
ce qui implique
p, q N (s p sq ) ,
n N ||sn | |l|| ,
n N s p sq ,
15
n N |e sn e l| ,
ce qui implique
p, q N e s p e sq ,
s p sq = (s p l) (sq l) s p l + sq l .
Donc si la suite (sn )nN est convergente, de limite l, pour > 0 donn, en appliquant la
Les suites de rels, cest--dire lorsque K = R ont des proprits particulires que nous
allons tudier maintenant :
2.1.7 Thorme. Thorme de comparaison :
1) Soient (sn)nN et (tn )nN deux suites convergentes valeurs relles, de limite
respective s et t. Si pour tout n N, sn tn , alors s t.
2) Soient (sn )nN , (sn )nN et (tn)nN trois suites valeurs relles, telles que pour
tout n N, sn tn sn . Alors si les suites (sn )nN et (sn )nN sont convergentes et ont
mme limite s, la suite (tn )nN converge aussi vers s.
Dmonstration. 1) On procde par labsurde : supposons s > t.
st
On choisit 0 < <
, ainsi les intervalles ]t ,t + [ et ]s , s + [ sont disjoints.
2
Les conditions limn+ sn = s et limn+ tn = t entranent quil existe N1 N et N2 N
tels que n N1 , sn ]s , s + [ et n N2 , tn ]t ,t + [.
Posons N = max{N1 , N2 } et soit n un entier naturel tel que n N .
Alors, tn t + < s sn , donc en particulier tn < sn , do la contradiction.
16
2) Soit > 0. Les conditions limn+ sn = limn+ sn = s entranent lexistence dentiers naturels N1 et N2 tels que :
n N1 = |sn s| et n N2 = sn s .
Remarque.
1) Le thorme 2.1.7 reste vrai si les ingalits ne sont vraies qu
partir dun certian rang.
2) Mme si dans les ingalits du thorme 2.1.7 1), on remplace les ingalits
larges par des ingalits strictes, la conclusion ne change pas cest -dire que lingalit
reste large : s t.
1
1
et tn = .
On le vrifie aisment en considrant par exemple les suites sn =
2n
n
Pour tudier une suite, on peut essayer dutiliser ce thorme en comparant la suite donne
certaines suites particulires que lon connat. Voici deux exemples :
Suites gomtriques : sn = kn
Cette suite converge si et seulement si k 1. Sa limite est 0 si k < 1 et 1 si k = 1.
Suites puissances : sn = n
Cette suite converge si et seulement si 0. Sa limite est 0 si < 0 et 1 si = 0.
2.1.8 Proposition. Toute suite de rels, croissante et majore ou dcroissante et minore
converge.
Dmonstration. Supposons par exemple la suite (sn )nN croissante et majore. Alors,
pour tout n N, sn sn+1 et il existe M R tel que pour tout n N, sn M.
La partie {s0 , s1 , . . . , sn , . . .} est donc une partie majore de R et par suite elle admet une
borne suprieure l.
Par la proposition 1.8.2, pour tout > 0, il existe un N N tel que l sN l.
Mais puisque la suite est croissante, pour tout n N, l sN sn l, ce qui implique
que 0 l sn et donc la suite (sn )nN converge vers l.
2.1.9 Dfinition. On dit que les suites de rels (an )nN et (bn)nN sont adjacentes si :
1) (an )nN est croisssante
2) (bn )nN est dcroisssante
3) Pour tout n N, an bn
4) bn an 0 quand n
2.1.10 Corollaire. Deux suites adjacentes (an )nN et (bn )nN sont toujours convergentes
et ont la mme limite.
Dmonstration. La suite (an )nN est croissante et majore par b0 donc est convergente.
La suite (bn )nN est dcroissante et minore par a0 donc est convergente. La condition 4)
implique en passant la limite quand n que ces deux limites sont les mme.
17
2.1.12 Exemple.
2)
1)
La suite sn =
La suite sn = ln n diverge.
k2 converge.
k=1
18
q
p
1
1
1
=
k2 k2 k2 .
k=1
k=q+1
k=1
p
et en reportant on obtient :
1
1
1
1
2
k
k(k 1) k 1 k
p
1 1
1
1
1
= .
0 s p sq = 2
k
q p
k=q+1 k 1
k=q+1 k
p
Comme ce dernier terme tend vers 0 quand p, q tendent vers +, on en dduit que la suite
(sn )nN est de Cauchy donc convergente.
Pour montrer 2), on crit, pour p q :
p
0 s p sq = ln p ln q = ln .
q
En prenant p = 2q, on trouve
0 s2q sq = ln
2q
= ln 2,
q
ce qui montre que la suite (sn)nN nest pas de Cauchy et donc est divergente.
Rappelons la dfinition dune sous-suite :
2.1.13 Dfinition. Une suite (tn)nN est une sous-suite de la suite numrique (sn )nN sil
existe une application croissante p : N N telle que n N , tn = s pn .
2.1.14 Exemple. La suite (a2n )nN est une sous-suite de la suite (an )nN , avec pn = 2n.
Les proprits suivantes sont immdiates :
2.1.15 Proposition.
1) Toute sous-suite dune suite convergente est convergente et
a mme limite.
2) Toute sous-suite dune suite de Cauchy est de Cauchy.
3) Toute suite croissante possdant une sous-suite convergente est convergente.
Rappelons enfin le thorme suivant :
2.1.16 Thorme. (Bolzano-Weierstrass)
De toute suite relle borne, on peut extraire une sous-suite convergente.
Dmonstration. On considre une suite borne (sn )nN et on suppose que pour tout n N,
a+b
a+b
a sn b. Lun au moins des deux intervalles moiti, [a,
] et [
, b] contient une
2
2
infinit de valeurs de sn . On le note [a1, b1 ] et on recommence le raisonnement avec cet
intervalle.
On dfinit par ce procd une suite dintervalles embots [an , bn ] dont la longueur gale
ba
bn an = n tend vers 0 quand n . On en dduit que les intervalles [an , bn ] ont un
2
seul point commun l qui est la limite commune des suites adjacentes (an )nN et (bn )nN .
On construit ensuite une sous-suite (s pn )nN de la suite (sn )nN telle que pour tout n N,
s pn [an , bn ]. Cette sous-suite converge vers l.
19
n N |sn l| .
3
Si n N, on crit
si
N
i=1 si
+ i=N+1 .
n
n
n
cn =
Do, si n N :
N
i=1 si ni=N+1 (si l) N + 1 N
N +1
s
i
i=1
+
+
|cn l|
n l n + 3 + n l .
n
n
N
i=1 si N + 1
et
l tendent vers 0 donc il existe deux
Quand n +, les deux termes
n n
entiers N1 et N2 tels que :
N
i=1 si
,
n N1
n 3
N +1
n N2
l .
n 3
Finalement :
n sup{N, N1 , N2 } |cn l| ,
et la suite (cn )nN converge bien vers l.
La rciproque de cette proprit est fausse : en effet, la suite (sn )nN telle que
n N , sn = (1)n ,
ne converge pas mais la suite de ses sommes de Cesro converge vers 0.
i)
On note limn+ sn = +
iii) On dit que la suite de rels (sn )nN converge vers si
A < 0 , N N tel que n N sn A.
20
On note limn+ sn =
iv) On dit que la suite de rels (sn )nN converge dans R si elle converge dans R ou
vers + ou vers .
Remarque. Ces dfinitions stendent au cas des suites valeurs dans R, cest--dire que
les sn peuvent valoir + et .
On obtient une extension de la proposition 2.1.8 et du thorme 2.1.16 :
2.2.2 Proposition.
1) Toute suite monotone dans R ou dans R converge dans R.
2) Toute suite de rels admet une sous-suite convergente dans R.
Dmonstration. 1) Plaons-nous par exemple dans le cas croissant, le cas dcroissant se
traite de la mme faon. Si une suite (sn )nN est croissante, ou bien elle est majore et
donc converge daprs la proposition 2.1.8, ou bien elle nest pas majore et alors, quelque
soit M R, il existe N N tel que sN M. Mais comme la suite est croissante, pour tout
n N, on aussi sn M, ce qui veut dire que la suite tend vers +.
2) De la mme faon, si une suite (sn )nN est borne, elle admet une sous-suite convergente par le thorme de Bolzano-Weierstrass 2.1.16. Si elle nest pas borne, en supposant par exemple quelle nest pas majore, quelque soit n N, il existe un indice pn N
tel que s pn n. La sous-suite (s pn )nN converge vers +.
Nous pouvons maintenant dfinir les notions de limite suprieure et de limite infrieure
dune suite relle :
Soit (sn)nN une suite de rels. Les suites (sn )nN et (sn )nN dfinies respectivement pour
tout n N dans R par :
sn = sup {s p | p n}
= + sinon
est majore
sn = inf {s p | p n}
= sinon
est minore
2.2.4 Exemple.
ii)
21
n+
ii)
On a aussi
lim sup sn = lim inf sn
n+
iii)
n+
et
n+
et
n+
n+
En utilisant les dfinitions des bornes suprieure et infrieure, dfinition 1.8.1, et les dfinitions des limites de suites, on peut caractriser les notions de limite suprieure et limite
infrieure par les proprits suivantes :
2.2.6 Proposition.
i) lim supn+ sn = si et seulement si la suite (sn )nN tend
vers
ii) lim supn+ sn = + si et seulement si pour tout A R, il existe une infinit
de valeurs de n telles que sn A.
iii) l R vrifie l = lim supn+ sn si et seulement si pour tout > 0, il existe une
infinit de valeurs de n telles que sn soit suprieur l et pour toutes valeurs de n sauf
ventuellement un nombre fini, sn soit infrieur l + .
Dmonstration. i) est vident.
ii) Supposons que lim supn+ sn = +. Alors, par dfinition, la suite (sn )nN converge
vers +, cest--dire que quel que soit A > 0, il existe N N tel que
n N sup s p A.
pn
Donc pour tout > 0, il existe p n tel que s p A . En faisant tendre n vers +, on
obtient bien une infinit de valeurs de (s p ) pN suprieures A . Comme A et sont
arbitraires, ceci prouve bien le rsultat.
Rciproquement si pour tout A > 0, il existe une infinit de valeurs de (sn )nN suprieures
A, partir dun certain rang, les sn sont donc suprieurs A et comme A est arbitraire,
ceci implique bien que la suite (sn )nN converge vers +.
iii) Supposons que lim supn+ sn = l. Alors, par dfinition, la suite (sn )nN converge
vers l, donc en particulier, que quel que soit > 0, il existe N N tel que
n N sup s p l .
2
pn
Donc il existe p n tel que s p l . En faisant tendre n vers +, on obtient bien une
infinit de valeurs de (s p ) pN suprieures l .
De plus, il existe M N tel que
n M sup s p l + .
pn
22
Rciproquement si pour tout > 0, il existe une infinit de valeurs de (sn )nN suprieures
l , partir dun certain rang, les sn sont donc suprieurs l et comme est arbitraire, ceci implique bien que la suite (sn )nN converge vers une limite qui est suprieure
ou gale l.
De plus, si pour toutes les valeurs de n sauf ventuellement un nombre fini, sn est infrieur
l + , partir dun certain rang, sn est infrieure l + et donc la limite de sn est
infrieure ou gale l + . Comme est arbitraire, ceci implique bien que la limite de
(sn )nN est infrieure l.
On a videmment lanalogue de ces rsultats pour les limites infrieures :
2.2.7 Proposition.
i) lim infn+ sn = + si et seulement si la suite (sn )nN tend
vers +
ii) lim infn+ sn = si et seulement si pour tout A R, il existe une infinit de
valeurs de n telles que sn A.
iii) l R vrifie l = lim infn+ sn si et seulement si pour tout > 0, pour toutes
les valeurs de n sauf ventuellement un nombre fini, sn soit suprieur l et il existe
une infinit de valeurs de n telles que sn soit infrieur l + .
De ces caractrisations, on peut encore dduire les rsultats suivants :
2.2.8 Corollaire.
i)
ii)
n+
Soit L lensemble des limites des sous-suites de la suite (sn )nN . Alors :
lim sup sn L et lim inf sn L,
n+
n+
n+
Dmonstration. i) Supposons que la suite (sn )nN converge vers l. Alors, pour tout > 0,
partir dun certain rang N N, tous les termes de la suite sont plus grands que l et
plus petits que l + . Donc la limite suprieure et la limite infrieure valent l. Rciproquement, si la limite suprieure et la limite infrieure valent l, partir dun certain rang N,
tous les termes de la suite sont plus grands que l et plus petits que l + donc la suite
converge vers l.
ii) Nous allons dmontrer ces proprits pour la limite suprieure, les rsultats analogues
sen dduisant aisment pour la limite infrieure.
Soit l la limite suprieure de la suite (sn )nN et soit (n )nN une suite de nombres rels
positifs, tendant vers 0 quand n . Par la proposition 2.2.6, pour tout n N, il existe
au moins un entier pn tel que l n s pn l + n . La sous-suite (s pn )nN converge donc
vers l et l L.
De plus sil existe une valeur l L telle que l < l , alors il existe une sous-suite (s pn )nN
l l
qui converge vers l . Pour <
, il existe un entier N tel que pour n N, s pn l .
2
Donc il existe une infinit de valeurs de sn qui sont suprieures l + , ce qui contredit
les proprits de la limite suprieure, voir proposition 2.2.6.
On a donc bien lim supn+ sn = sup L.
23
i)
(sn )nN } ,
telles que n N, sn = ui .
i=0
ui. Ce
i=0
i=0
rn = lim
ui ui = lim
k+ i=0
i=0
k+ i=n+1
ui =
ui .
i=n+1
Remarque. La convergence dune srie ne dpend pas des premiers termes de cette srie :
on peut modifier un nombre fini de termes dune srie sans changer sa nature. En revanche,
si la srie converge, la valeur de sa somme dpend de tous les termes de la srie.
En appliquant le critre de Cauchy pour les suites la suite des sommes partielles dune
srie numrique, on obtient le critre de Cauchy pour les sries :
2.3.5 Thorme. (Critre de Cauchy pour les sries)
Une srie numrique de terme gnral un converge si et seulement si
q
> 0 N N tel que q p N ui .
i=p
24
ui = sq s p1 ,
i=p
et dappliquer le critre de Cauchy pour les suites numriques 2.1.11 la suite (sn )nN .
Le critre de Cauchy permet de dmontrer une condition ncessaire de convergence des
sries numriques :
2.3.6 Proposition. Si la srie numrique, de terme gnral un , converge, alors la suite
numrique (un )nN converge vers 0.
Cette condition ncessaire de convergence de la srie nest pas suffisante.
Dmonstration. Si la srie de terme gnral un converge, elle vrifie le critre de Cauchy,
thorme 2.3.5, cest--dire :
> 0 , N N tel que q p N s p sq .
En particulier, pour n 1 N, on a
25
|ui| .
i=p
q
q
ui |ui | .
i=p i=p
La srie de terme gnral un vrifie donc le critre de Cauchy. Cette srie est donc bien
convergente.
(1)n
converge
La rciproque de cette proposition est fausse : la srie de terme gnral
n
comme on le verra dans le corollaire 2.5.2 alors quelle ne converge pas absolument,
comme on la dj remarqu dans la proposition 2.3.6.
Remarque. Pour quune srie de terme gnral un !
soit absolument convergente, il faut et
n
|ui|
i=0
soit majore.
nN
|ui|
i=0
nN
et on peut donc appliquer les propositions 2.1.8 et 2.2.2 : pour quelle converge, il faut et
il suffit quelle soit majore.
On a galement les proprits immdiates suivantes :
2.3.10 Proposition. Si deux sries de termes gnraux respectifs un et vn sont absolument
convergentes, la srie somme de terme gnral (un + vn ) est absolument convergente et la
srie produit par un scalaire de terme gnral un est absolument convergente pour tout
K.
Grce la notion de convergence absolue, on peut tudier les produits de sries :
2.3.11 Dfinition. On considre deux sries numriques de termes gnraux respectifs un
et vn . La srie produit de ces deux sries est la srie de terme gnral :
n
wn =
u pvnp .
p=0
wn =
u pvnp,
p=0
est convergente et sa somme est le produit des sommes des deux sries de dpart.
Si de plus la srie de terme gnral vn est absolument convergente, la srie produit est
absolument convergente.
26
sn = ui , n =
i=0
n =
wk =
k=0
j=0
i=0
v j , An = |ui| ,
u pvkp =
ui v j .
0i+ jn
k=0 p=0
sn n n =
ui v j
i=0 j=0
0i+ jn
ui v j =
ui v j
n+1i+ j2n
M
.
2
i=0
Soit > 0 donn. Par hypothse, il existe n0 N tel que
Soit M > 0 tel que n N, An = |ui | M et |n |
n, m n0 |n m |
et n, m n0 |An Am |
.
2M
2M
,
2M
et on a aussi
k {n0 + 1, . . ., n} , |n nk | |n | + |nk | 2
M
= M.
2
Do :
n 2n0 |sn n n |
+M
= .
2M
2M
La srie produit converge bien et sa somme est bien gale au produit des sommes des
sries de termes gnraux respectifs un et vn .
M
27
Dans le cas o la srie de terme gnral vn est absolument convergente, on peut dfinir la
srie de terme gnral :
wn = |ui | u j .
0i+ jn
Cest donc le produit des deux sries de termes gnraux respectifs |un | et |vn |. Ces deux
sries sont convergentes et aussi absolument convergentes puisquelles sont termes positifs. Par la dmonstration prcdente, cest une srie convergente. Or, on remarque que
n N , 0 |wn | wn .
Do, si (n )nN dnote la suite des sommes partielles de la srie de terme gnral wn ,
on a aussi :
n
n N , 0 |wn | n .
i=0
Comme ces deux suites sont croissantes et que (n)nN est convergente, la suite des
sommes partielles de la srie de terme gnral |wn | est convergente et la srie produit est
bien absolument convergente.
i=0
i=0
28
Remarque. Ce rsultat reste vrai si lingalit un vn nest vraie qu partir dun certain
rang n0 . Cest une consquence de la remarque signalant que la convergence dune srie
ne dpend pas des premiers termes de cette srie.
Nous allons tudier des sries particulires, les sries gomtriques, qui nous donneront
une chelle de comparaison.
2.4.3 Proposition. Soit a, r K non nuls. Pour tout n N, on dfinit un = arn . Alors, la
srie de terme gnral un converge si et seulement si |r| < 1.
Dmonstration. On crit
si r 6= 1 , sn = a(1 + r + + rn ) = a
1 rn+1
1r
si r = 1 , sn = a(n + 1).
1 rn+1
La suite a(n + 1) nN diverge et la suite a
converge si et seulement si
1r
nN
|r| < 1.
La srie de terme gnral un converge donc bien si et seulement si |r| < 1 et sa somme est
a
.
gale
1r
En utilisant ce rsultat, on obtient deux tests :
2.4.4 Proposition. Test de Cauchy.
On considre une srie termes positifs un . Posons l = lim supnN (un )1/n . Alors :
i) l < 1 la srie de terme gnral un converge
ii) l > 1 la srie de terme gnral un diverge
iii) l = 1 on ne peut pas conclure.
Dmonstration. i) Supposons l < 1. On choisit r ]l, 1[. Daprs la proposition 2.2.6 iii),
il existe N N tel que n N (un )1/n < r ou encore un < rn .
On peut donc appliquer le thorme de comparaison 2.4.2 et la proposition 2.4.3 : la srie
de terme gnral un converge.
ii) Supposons l > 1. On choisit r ]1, l[. Daprs la proposition 2.2.6 iii), il existe une
infinit de valeurs de n tels que (un )1/n r.
Ceci implique que la suite (un )nN ne tend pas vers 0 et par la proposition 2.3.6, la srie
de terme gnral un diverge.
1
1
iii) Supposons l = 1. Les deux sries de termes gnraux respectifs et 2 vrifient cette
n n
condition.
Or la premire diverge, car
n
2n
1
1
n
1
1
1
1
=
i i i = n + 1 + + 2n 2n = 2 ,
i=0
i=n+1
i=0
2n
1
ne vrifie pas la condition de Cauchy (thorme 2.3.5).
n
En revanche, la seconde converge car on peut crire, comme dans lexemple 2.1.12 :
1
1
.
2
n
n(n 1)
29
1
converge car on a :
n(n 1)
i(i 1) = ( i 1 i ) = 1 n .
i=2
i=2
Le thorme de comparaison 2.4.2 permet donc de conclure que la srie de terme gnral
1
converge.
n2
Dans le cas o la srie de terme gnral un vrifie le i) du test de Cauchy, on a une
majoration du reste rn :
2.4.5 Corollaire. On considre une srie termes positifs un vrifiant :
1
et soit r tel que lim supn (un ) n < r < 1. Alors le reste dordre n de cette srie vrifie
partir dun certain rang :
+
rn+1
.
|rn | r p =
1r
i=n+1
2.4.6 Exemple. Majoration du reste de la srie de terme gnral un =
1
.
nn
Cette srie vrifie lim sup(un )1/n = 0. Dans ce cas, on peut amliorer lestimation prc1
1
. Do par comparaison avec la srie
dente. En effet pour i n + 1, on a ui = i <
i
(n + 1)i
1
gomtrique de raison
:
n+1
rn
1
1
1
1
=
=
.
i
n+1
1
(n + 1)
n(n + 1)n
1 n+1
i=n+1 (n + 1)
un+1
< r < 1.
un
un+1
r
un
30
Do, en itrant :
n N un+1 uN rn+1N = rn+1 (
uN
).
rN
uN
Le terme N ne dpend pas de n et la srie de terme gnral rn+1 converge puisque r < 1,
r
(proposition 2.4.3). Le thorme de comparaison 2.4.2 implique que la srie de terme
gnral un converge.
un+1
> 1 et soit r R tel que
ii) Supposons que lim inf
n
un
lim inf
n
un+1
> r > 1.
un
un+1
r.
un
Ceci implique que la suite des termes gnraux (un )nN ne tend pas vers 0. La srie de
terme gnral un ne peut donc pas converger daprs la proposition 2.3.6.
1
1
iii) Les deux sries de termes gnraux respectifs et 2 vrifient cette condition car
n
n
un+1
= 1. Or on a vu dans la proposition 2.4.4 que la premire diverge et que la
lim
un
seconde converge.
Dans le cas o la srie de terme gnral un vrifie le i) du test de dAlembert, on a galement une majoration du reste rn :
2.4.8 Corollaire. On considre une srie termes positifs un vrifiant :
lim sup
n
rang N :
un+1
<1
un
un+1
< r < 1. Alors son reste dordre n vrifie partir dun certain
un
uN rn+1
uN + p
.
|rn | ( N ) r = ( N )
r i=n+1
r 1r
1
1
1
1
+ + ++ +
1! 2! 3!
n!
1
un+1
1
un+1
et on a :
=
. Donc lim
= 0 et dans ce cas, on peut
n!
un
n+1
un
un+i
1 i1
amliorer lestimation prcdente. En effet, pour i 1, on crit :
(
) et par
un+1
n+1
1
:
comparaison avec la srie gomtrique de raison
n+1
On pose un =
1
1
1
1
(1 +
++
+ )
(n + 1)!
n+1
(n + 1)i1
i=n+1 i!
1
1
1
=
=
.
1
(n + 1)! 1 n+1
nn!
rn =
31
1/n
La suite dfinie pour tout p N par u2p = u2p+1 = a p vrifie lim un = a alors que
n+
un+1
na pas de limite quand n +.
la suite
un
2.4.10 Proposition. Comparaison avec une intgrale.
Soit f une fonction dfinie sur R+ , positive et dcroissante, telle que limt+ f (t) = 0.
Soit un = f (n) pour tout n N.
Alors
Z la srie
de terme gnral un converge si et seulement si la suite des intgrales
n
f (t) dt
nN
Z i
i1
ui dt
Z i
i1
f (t) dt et ui =
Z i+1
i
ui dt
Z i+1
f (t) dt.
Si (sn )nN est la suite des sommes partielles de la srie de terme gnral un , on peut
crire :
Z n
n Z i
n
n
f (t) dt =
f (t) dt.
sn s0 = ui = f (i)
i=1 i1
i=1
i=1
i=0
i=0
n Z i+1
sn = ui = f (i)
f (t) dt =
i=0 i
Z n+1
f (t) dt.
f (t) dt sn s0 +
Z n
f (t) dt.
quand n +.
nN
32
Remarque. Cette proposition est encore vraie si lintervalle dintgration [0, +[ est remplac par un intervalle [a, +[, avec a > 0. Il suffit alors de considrer la srie partir du
rang n0 tel que n0 a.
Sous les hypothses de la proposition 2.4.10 et si la srie converge, ces ingalits impliquent un encadrement du reste :
ui
i=n+1
n+1
f (t) dt rn
f (t) dt.
1
.
n2
1
Cette srie vrifie les hypothses de la proposition 2.4.10. En posant f (t) = 2 pour tout
t
1
t > 0, on va approcher par dfaut la somme s de la srie de terme gnral un = f (n) = 2
n
par :
2.4.12 Exemple. Valeur approche de la somme de la srie de terme gnral
sn
= sn +
n+1
f (t) dt = f (i) +
i=1
n+1
f (t) dt = s rn +
f (t) dt.
n+1
= rn
n+1
f (t) dt
Z n+1
f (t) dt.
1
, pour n = 10, on obtient :
n2
Z 11
1
1
dt =
.
0 s s10
2
110
10 t
1
2
On verra au chapitre 6 que la srie de terme gnral 2 a pour somme
. Le rsultat
n
6
prcdent donne donc une valeur approche de ce nombre avec une estimation de lerreur.
La proposition 2.4.10 va permettre dtoffer lchelle de comparaison des srie termes
positifs :
2.4.13 Exemple. Les sries de Riemann.
1
Soient > 0 et un = pour n 1. La srie de terme gnral un converge si et seulement
n
si > 1.
On compare la suite des sommes partielles de la srie de terme gnral un lintgrale sur
1
lintervalle [1, n] de la fonction f (t) = .
t
Or on peut calculer cette intgrale :
Z n
1
Z n
1
1
(n1 1) si 6= 1
1
1
= ln n si = 1.
f (t) dt =
dt =
33
Z n
1
1
dt
=
((lnn)1 (ln 2)1 ) si 6= 1
t(lnt)
1
2
= (ln ln n ln ln 2) si = 1.
g (t) dt =
Soit > 0 fix. Si les fonctions f et g sont quivalentes au voisinage de +, il existe donc
A > 0 tel que :
t A (1 )g(t) f (t) (1 + )g(t).
On en dduit que pour n A, on a :
(1 )vn un (1 + )vn .
1
1
par f (t) = ln(1 + 2 ) est quivalente au voisinage de + la fonction dfinie par 2 et
t
t
on applique la proposition 2.4.15 et lexemple 2.4.13.
Pour la srie de terme gnral vn , on crit que la fonction g dfinie pour tout t R+
par
1 cos( 1 )
1
t lnt
g(t) =
est quivalente au voisinage de + la fonction dfinie par
1
2t lnt
sin t
et on applique la proposition 2.4.15 et lexemple 2.4.14.
34
n=p
q
n=p
q
n=p
Anbn An1 bn
n=p
n=p
q1
= Aq bq A p1 b p +
An(bn bn+1 ).
n=p
Do :
q1
q
sq s p1 = un Aq bq + A p1 b p + |An | (bn bn+1 ).
n=p
n=p
Ce dernier terme tend vers 0 par hypothse. La suite (sn )nN est de Cauchy, donc convergente et par suite, la srie de terme gnral un est convergente.
Comme application de ce thorme, on a :
2.5.2 Corollaire. Sries alternes.
On considre une srie de terme gnral un telle que pour tout n N, un = (1)n bn o
(bn )nN est une suite positive dcroissante, tendant vers 0. Alors la srie de terme gnral
un converge.
En fait dans le cas des sries alternes, on a de plus un encadrement de la somme. En
effet, si (sn )nN est la suite des sommes partielles, on peut crire : pour tout n N,
2n
2n+2
i=0
i=0
s2n s2n+2 = un
35
s2n+3 s2n+1 =
i=0
2n+1
un
i=0
An =
k=0
ik
1 ei(n+1)
ei 2 sin(n + 1) 2
.
=
=
1 ei
sin 2
ei 2
n+1
On en dduit que :
1
|An | .
sin
2
36
. Ce
On verra au chapitre 6 que la srie de terme gnral
n2
12
rsultat donne donc un encadrement de ce nombre avec une estimation de lerreur.
Une technique trs utilise pour les sries termes quelconques pour lesquelles les rsultats prcdents ne sappliquent pas est lutilisation dun dveloppement limit du terme
gnral. Expliquons cette mthode sur deux exemples :
(1)n
2.5.7 Exemple.
1) La srie de terme gnral
converge
n + (1)n
(1)n
2) La srie de terme gnral
diverge.
n + (1)n
Notation de Landau : on dit quune fonction f est un O(hk ) au voisinage de 0 sil existe
C1 > 0 et C2 > 0 tels que, au voisinage de 0, on ait :
C1 |h|k | f (h)| C2 |h|k .
(1)n
:
n + (1)n
(1)n
(1)n 1 (1)n
1
(1)n
1
=
(1 +
) =
+ O( 2 )
n
n
n
n
n
1
(1)n 1
2 + O( 3 ).
=
n
n
n
(1)n
n
1
converge par le thorme dAbel, et les deux srie de termes gnraux respectifs 2 et
n
1
(1)n
O( 3 ), sont absolument convergentes, donc la srie de terme gnral
est bien
n
n + (1)n
convergente.
(1)n
2) Pour la srie de terme gnral
, le mme calcul donne :
n + (1)n
Cette srie apparat donc comme la somme de 3 sries : la srie de terme gnral
(1)n
(1)n 1
1
+ O( 3/2 ).
=
n
n + (1)
n
n
n
1
(1)n
Les sries de termes gnraux respectifs et O( 3/2 ) sont convergentes mais la srie
n
n
1
(1)n
diverge.
de terme gnral diverge. Donc la srie de terme gnral
n + (1)n
n
37
Posons M =
n=0
Pour tout n N, on a :
m(n)
u
(k) |uk | M.
n
k=0
k=0
La suite croissante des sommes partielles de la srie de terme gnral u (n) est borne
donc convergente. La srie de terme gnral u (n) est absolument convergente donc aussi
convergente par la proposition 2.3.9.
De plus on a
+
+
u
(k) |uk | .
k=0
k=0
En inversant les rles des sries de termes gnraux un et u (n) , ce qui revient considrer
la permutation 1 de N, on obtient aussi
+
|uk |
k=0
u (k) ,
k=0
Or on a :
m(n)
kn
k=0
k=0
38
39
vn =
un .
k=pn1 +1
sn =
un et n =
k=0
vn .
k=0
Par construction, la suite (n )nN est une sous-suite de la suite (sn )nN . Prcisment on
a:
n = s pn .
Comme toute sous-suite dune suite convergente converge vers la mme limite, la srie de
terme gnral vn converge bien et a mme somme que la srie de terme gnral un .
Dans le cas des sries termes positifs, on a galement la rciproque de cette proprit :
2.6.5 Proposition.
i) Si la srie de terme gnral un est termes positifs, la
convergence dune srie de paquets de terme gnral vn implique la convergence de la
srie de terme gnral un vers la mme somme.
ii) En gnral, la convergence dune srie de paquets nimplique pas la convergence de la srie de terme gnral un .
Dmonstration. i) Si la srie de terme gnral un est termes positifs, avec les notations
du thorme 2.6.4, les suites (sn )nN et (n )nN sont toutes les deux croissantes.
(n )nN tant une sous-suite de (sn )nN , si elle converge toute la suite converge aussi.
ii) Soit k N un entier fix. Pour tout n N, on pose :
un = e
2in
k
vn =
2i j
k
j=pn1 +1
est videmment convergente car cest la srie nulle (On rappelle que la somme des k
racines kme de lunit est nulle).
40
1
1
1
+ + , tn = sn + .
1!
n!
n!
1) Montrer que les suites (sn )nN et (tn )nN sont adjacentes.
2) En dduire quelles convergent vers une mme limite e.
3) Montrer par labsurde que e nest pas rationnel.
2.2 Exercice. N tant un entier naturel fix, soit (sn )nN la suite dfinie par :
(1)k
(1)k
, s2k+1 = 2 +
pour 2k > N.
k
k
1) Trouver des quivalents des suites sn = sup pn sn et sn = inf pn sn au voisinage de +.
2) En dduire les limites suprieures et infrieures de (sn )nN .
s0 = s1 = = sN = 0 , s2k = 1 +
2.3 Exercice. Soit (sn )nN une suite relle borne. On dfinit :
sn = sup sn , sn = inf sn .
pn
pn
1 n
si .
n i=0
k+
3) En dduire que :
lim inf sk lim inf ck lim sup ck lim sup sk .
k+
k+
k+
k+
4) A laide de la question 3), retrouver le rsultat suivant : si une suite converge vers une
limite l, alors la suite de ses sommes de Cesro converge aussi vers l.
2.4 Exercice. On tudie la suite (cos n)nN .
1) Montrer que quel que soit k N, k 1, il existe un entier nk tel que
(8k 1)
nk (8k + 1) .
4
4
2) Montrer quil existe une constante c > 0 telle que la suite (cos nk )kN soit minore par
cette constante c.
3) En dduire que la suite (cos n)nN ne tend pas vers 0 lorsque n +.
41
cos n
,
+ cos n
(1)n
converge. On appelle
n2
(1)i
2 la somme partielle dordre n. Trouver une
i=1 i
1
.
100
ln (ncos n )
.
n
b) wn =
ln n
n
42
n+
n+
p
3) Supposons que leur limite e soit rationnelle, cest--dire : e = , p N, q N .
q
On crit que sn < e < tn pour tout n N, les ingalits tant strictes puisque les suites
(sn )nN et (tn )nN sont respectivement strictement croissante et strictement dcroissante.
Soit n q. En rduisant au mme dnominateur les fractions qui dfinissent sn , ceci implique lexistence dun entier An tel que :
p An 1
An
< <
+ .
n!
q
n! n!
Quitte multiplier p et q par un mme facteur entier, on peut supposer que q = n!. On en
dduit quil existe un entier p tel que :
An < p < An + 1.
Ceci nest pas possible, donc lhypothse est absurde et e nest pas rationnel.
Corrig de lexercice 2.2
1) On vrifie que, au voisinage de +, on a :
sn n+ 2 +
1
1
, sn n+ 1 .
n
n
2) On en dduit que :
lim sup sn = 2 , lim inf sn = 1.
n+
n+
sN+1 sk sN+1 .
k=N+1
sk (n N)sN+1 .
43
s
+
(1
sk + (1 )sN+1 .
n
k
N+1
n k=0
n
n k=0
n
2) Fixons N. Lorsque n +,
1 N
sk 0 puisque lon multiplie une constante par une
n k=0
N
) 1.
n
On en dduit que, lorsque n + :
suite qui tend vers 0, et (1
1 N
N
sk + (1 )sN+1 sN+1 ,
n k=0
n
1 N
N
sk + (1 )sN+1 sN+1 .
n k=0
n
Le rsultat en dcoule.
3) Par dfinition :
lim sup sn = lim sN+1 ,
N+
n+
N+
Il suffit donc de faire tendre N vers + dans lingalit du 2) pour obtenir le rsultat
cherch.
4) Lorsque la suite (sn )nN converge vers une limite l, alors :
lim inf sn = lim sup sn = lim sn = l.
n+
n+
n+
n+
(8k + 1) (8k 1) = > 1.
4
4
2
2
2
. Donc c =
convient.
2) Pour tout k N, cos nk est minore par
2
2
3) La suite (cos n)nN a une sous-suite (cos nk )kN qui est minore par la constante c > 0
donc elle ne tend pas vers 0 lorsque n +.
44
1
La srie de terme gnral est convergente, donc la srie de terme gnral un est abson
lument convergente par le thorme de comparaison des sries termes positifs.
1
< 1, on utilise un dveloppement limit autour de 0 de la fonction dfinie par
2
1
x
:
1+x
1
= 1 x + x (x).
1+x
cos n
On applique ce rsultat avec x = , qui tend vers 0 lorsque n + :
n
1
cos n cos n cos n
cos n
cos n
1 + ( )
un =
n =
n 1 + cos
n
n
n
n
n
b) Si
K
K
cos2 n
cos2 nk
1
c
n
nk
nk ,
n=1
k=1
k=1
cos2 n
galement en
n
45
1
.
(n + 1)2
a dx =
Z n
2sa ds =
Z n
2ses ln a ds.
dx =
es ln a
, dv = es ln a ds,
ln a
h 2ses ln a in
ln a
ln a
2
Z n
es ln a ds
eln a
2 ne n ln a
n ln a
ln a
e
2
e
ln a
ln a (ln a)2
2 na n
a
2 n
=
2
a
.
ln a
ln a (ln a)2
lim
= lim
Z n
n 1
na
a x dx = 2
= 0 on a donc :
a 1
1 .
ln a ln a
=
= an bn ,
b) On peut crire : un =
n
n
ln (n)
avec an = cos n et bn = .
n
46
La suite (bn )nN est positive, dcroissante et tend vers 0 en + daprs la question a). La
srie de terme gnral un vrifie les hypothses du thorme dAbel et est donc convergente.
Corrig de lexercice 2.9
a) Il sagit dune srie termes positifs.
=
.
n
nn 2 n
2 n
1 n 1
1 n
Chapitre 3
Intgrale de Riemann et intgrale gnralise
= sup{(ti+1 ti ) | i = 0, 1, . . ., n 1}.
3.1.2 Dfinition.
1) Une fonction f , dfinie sur [a, b], valeurs dans R ou C est
dite en escalier (ou simple dans la terminologie anglo-saxonne) sil existe une subdivision
{t0 ,t1, . . . ,tn} de [a, b] telle que f soit constante sur chaque intervalle ]ti ,ti+1[, pour tout
i = 0, 1, . . ., n 1.
2) Une telle subdivision sera dite adapte f .
On remarque quune subdivision de [a, b] adapte une fonction en escalier f nest pas
unique : on peut en effet redcouper certains intervalles et la subdivision obtenue sera
toujours adapte cette fonction f .
On remarque aussi que f peut prendre des valeurs quelconques aux points t0 ,t1, . . . ,tn. Ces
valeurs ne joueront aucun rle dans lintgration de ces fonctions et on oubliera souvent
de leur donner un nom.
3.1.3 Proposition. Si f et g sont deux fonctions en escalier sur lintervalle [a, b], il existe
une subdivision adapte la fois f et g.
Dmonstration. Il suffit de prendre une subdivision adapte f et de la redcouper pour
ladapter g.
3.1.4 Proposition.
1) Si f et g sont des fonctions en escalier sur [a, b] et si et
sont des scalaires, f + g et f g sont en escalier.
2) Si f est en escalier sur [a, b], | f | lest aussi.
Dmonstration. 1) Grce la proposition prcdente, on peut prendre une subdivision
adapte la fois f et g et le rsultat est alors vident.
La dmonstration de 2) est vidente.
48
Chapitre 3.
3.1.5 Dfinition. Soit f une fonction en escalier sur lintervalle [a, b] et {t0 ,t1, . . . ,tn} une
subdivision de cet intervalle adapte f . Soit fi la valeur de f sur lintervalle ]ti ,ti+1[.
On appelle intgrale de f sur [a, b] le nombre :
n1
i=0
On note ce nombre
Z b
f (t) dt.
Pour que cette dfinition ait un sens, il faut montrer que lintgrale de f ainsi dfinie ne
dpend pas de la subdivision adapte f :
Soient {t0 ,t1, . . . ,tn} et {s0 , s1 , . . . , sm } deux subdivisions adaptes f . On peut fabriquer une troisime subdivision adapte f , {u0 , u1 , . . . , u p} en intercallant les points
des deux subdivisions initiales. Il suffit alors de comparer les intgrales de f correspondants aux subdivision {t0 ,t1, . . . ,tn} et {u0 , u1 , . . . , u p} dune part et {s0 , s1 , . . . , sm }
et {u0 , u1 , . . ., u p } dautre part. On est donc ramen au cas o lune des deux subdivisions
est plus fine que lautre. On peut mme supposer par itration que lon a rajout un seul
point u ]ti ,ti+1[.
Or lintgrale de f associe cette nouvelle subdivision est :
f0 (t1 t0 ) + f1 (t2 t1 ) + + fi1 (ti ti1 ) + fi (u ti)
+ fi (ti+1 u) + fi+1 (ti+2 ti+1 ) + + fn1 (tn tn1 ),
ce qui est videmment la mme chose que lexpression initiale de la dfinition 3.1.5.
Remarque. Si lon dessine le graphe de la fonction en esclier f , les quantits fi (ti+1 ti )
reprsentent laire des rectangles de cts (ti+1 ti ) et | fi |, compte positivement si fi 0
et ngativement si fi < 0. Donc
Z b
compris entre laxe des t et le graphe de f , comptes positivement quand la valeurs prise
par f est positive et comptes ngativement dans lautre cas.
3.1.6 Proposition.
1) Soient f et g deux fonctions en escalier sur lintervalle [a, b]
et et deux scalaires. Alors :
Z b
a
2)
( f + g)(t) dt =
Z b
a
4)
g(t) dt.
3)
f (t) dt +
Z b
f (t) dt
Z b
g(t) dt.
f (t) dt =
Z c
a
f (t) dt +
Z b
c
f (t) dt.
49
Z b
a
f (t) dt
Z b
3.1.5.
4) Etant donn une fonction f en escalier sur [a, b], on peut rajouter c toute subdivision
adapte f et le rsultat est alors vident.
Remarque. Si on change le sens des bornes dintgration, on pose par dfinition, :
Z a
b
f (t) dt =
Z b
f (t) dt.
Z b
a
(t) dt .
3.2.2 Proposition.
1) Si f est une fonction intgrable sur [a, b], f est borne sur
cet intervalle.
2) Si f et g sont des fonctions intgrables sur [a, b] et si et sont des scalaires,
f + g et f g sont intgrables sur [a, b].
3) Si f est intgrable sur [a, b], | f | lest aussi.
Dmonstration. 1) Les fonctions en escalier tant bornes, la dfinition de lintgrabilit
dune fonction implique immdiatement que cette fonction est borne.
2) Soit > 0 donn.
-Cas dune combinaison linaire :
pour et non tous deux nuls, on associe la fonction intgrable f , les fonctions en
escalier et , 0, telles que :
t [a, b], | f (t) (t)| (t) et
Z b
a
(t) dt
,
| | + | |
Z b
a
(t) dt
.
| | + | |
50
Chapitre 3.
Z b
a
(| | + | | )(t) dt (| | + | |)
= .
| | + | |
Z b
(t) dt
.
2M
Z b
a
(t) dt
.
2M
Z b
a
(M + M )(t) dt M
+M
= .
2M
2M
Z b
a
n (t) dt n .
Z b
Z b
Z b
p (t) dt
p (t) q(t) dt
q (t) dt
a
a
Za b
p (t) + q(t) dt p + q .
a
La suite
Z
n (t) dt
nN
51
Montrons que sa limite ne depend pas du choix des suites (n )nN et (n )nN : soit n > 0
une autre suite tendant vers 0 lorsque n et soient n et n deux suites de fonctions
en escalier telles que t [a, b], | f (t) n(t)| n (t) et
Z b
a
n (t) dt n . Alors :
t [a, b], |n (t) n(t)| | f (t) n(t)| + | f (t) n(t)| n (t) + n(t).
Donc :
Z b
Z b
Z b
n (t) dt
|n (t) n(t)| dt
(t)
dt
n
a
a
a
Z
mme limite.
n (t) dt
et
Z b
a
Z
nN
(n (t) + n(t)) dt n + n .
n (t) dt
nN
nN
Lintgrale de Riemann dune fonction intgrable appararat donc comme une limite
dintgrales de fonctions en escalier. Dans bien des cas, pour montrer une proprit de
lintgrale des fonctions intgrables, on dmontrera cette proprit pour les fonctions en
escalier et on passera la limite pour obtenir aussi le cas gnral.
Cest ce qui se produit dans le rsultat suivant : en passant la limite dans la proposition 3.1.6, on obtient aisment les proprits analogues pour les intgrales de fonctions
intgrables :
3.2.4 Proposition.
1) Soient f et g deux fonctions intgrables sur lintervalle [a, b]
et et deux scalaires. Alors :
Z b
a
2)
( f + g)(t) dt =
Z b
a
g(t) dt.
4)
Z b
3)
f (t) dt +
f (t) dt
Z b
g(t) dt.
f (t) dt =
Z c
a
f (t) dt +
Z b
c
f (t) dt.
52
Chapitre 3.
Remarque. Comme pour lintgrale des fonctions en escalier, on pose par dfinition, :
Z a
b
f (t) dt =
Z b
f (t) dt.
Les fonctions les plus faciles utiliser sont les fonctions continues. On va utiliser un
thorme bien connu, (voir [9]), sur les fonctions continues pour montrer que ce sont des
fonctions intgrables :
3.2.5 Rappel. Toute fonction continue f sur un intervalle [a, b] ferm born y est uniformment continue, cest--dire :
> 0 , > 0 tel que t t f (t) f (t ) .
3.2.6 Thorme. Toute fonction continue f sur lintervalle [a, b] y est intgrable.
Dmonstration. Soit f une fonction continue sur [a, b] et soit > 0 donn. Comme
daprs le rappel 3.2.5, f est uniformment continue il existe h > 0 tel que :
t t h f (t) f (t )
.
ba
Considrons deux fonctions en escalier sur [a, b], 1 et 2 , associes une subdivision
t0 ,t1, . . .tn de pas infrieur h :
1 (t) =
2 (t) =
inf
sup
c[ti ,ti+1 ]
c[ti ,ti+1 ]
et posons = 2 1 .
Alors, 1 (t) f (t) 2 (t) pour tout t [a, b] et par suite 0 f (t) 1(t) (t) pour
tout t [a, b].
De plus,
"
#
Z
b
(t) dt =
i=0,1,...,n1
(ti+1 ti )
(ti+1 ti )
i=0,1,...,n1
sup
c[ti ,ti+1 ]
f (c)
= .
ba
inf
c[ti ,ti+1 ]
f (c)
53
3.2.8 Exemple. Si f est une fonction monotone sur [a, b] valeurs relles, alors f est
intgrable sur cet intervalle.
Supposons par exemple f croissante.
On peut supposer que f (b) > f (a) sinon, f est constante donc continue et nous savons
dj quelle est intgrable.
Soit {t0,t1 , . . .,tn } une subdivision de [a, b]. On peut dfinir deux fonctions en escalier
particulires, 1 et 2 par :
n1
2 (t) 1(t) dt = (ti+1 ti ) f (ti+1) f (ti )
i=0
sup
(ti+1 ti ) f (b) f (a) .
i=0,1,...,n1
sup
i=0,1,...,n1
(ti+1 ti )
,
f (b) f (a)
t[a,b]
on a :
m(b a)
2)
Z b
a
Remarque. Si f est valeurs complexes, cest--dire quil existe des fonctions valeurs
relles f1 et f2 telles que f = f1 + i f2 , alors :
Z b
a
f (t) dt =
Z b
a
f1 (t) dt + i
Z b
a
f2 (t) dt.
54
Chapitre 3.
3.2.10 Dfinition. Soit f une fonction dfinie sur lintervalle [a, b]. On appelle somme
de Riemann associe une subdivision {t0,t1 , . . . ,tn} de cet intervalle et des points ci
choisis dans chaque intervalle ]ti ,ti+1[, pour i = 0, 1, . . .n 1, le nombre :
n1
R( f ) =
i=0
R( f ) =
i=0
Dmonstration. Soit > 0 donn. Puisque par hypothse, f est intgrable, il existe deux
fonctions en escalier et , 0, telles que :
t [a, b] , | f (t) (t)| (t) et
Z b
a
(t) dt .
4
f (t) dt R( f ) =
n1 Z ti+1
i=0 ti
f (t) f (ci) dt.
Z t
Z ti+1
i+1
Z ti+1
| f (t) f (ci)| dt 2
f (t) f (ci ) dt
(t) dt.
t
t
t
i
Chaque point x1 , x2 , . . . , x p appartient au plus deux intervalles ferms [ti ,ti+1]. Il existe
donc au plus 2p intervalles [ti,ti+1 ] contenant des points de discontinuit des fonctions
et . Pour ces intervalles, on a :
Z t
i+1
Z ti+1
| f (t) f (ci)| dt 2Mh,
f (t) f (ci) dt
ti
ti
3.3. Primitives
55
On en dduit que :
Z b
a
f (t) dt R( f ) 4pMh + 2
Donc si on choisit =
Z b
a
(t) dt 4pMh + .
2
f (t) dt R( f ) 4pMh +
.
2
2n
1
. Cette suite tend vers ln 2 lorsque
k=n+1 k
On pose i = k n 1 et on crit :
Rn =
1 n1
1 n1
n
=
i+1+n n
n i=0
i=0
1
.
i+1
+
1
n
La suite (Rn )nN apparat donc comme la suite des sommes de Riemann de la fonction
1
1
2
f (t) =
sur [0, 1] associe la subdivision tel que t0 = 0 < t1 = < t2 = < . . .tn = 1.
1+t
n
n
Z
1
f (t) dt = ln 2.
Remarque. Si f est une fonction intgrable sur un intervalle [a, b], on a vu dans le paragraphe prcdent que ses sommes de Riemann, dfinies dans la dfinition 3.2.10, reprsentent laire comprise entre laxe des t et le graphe de la fonction en escalier valant
f (ci ) sur chaque intervalle [ti ,ti+1], compte positivement si le graphe est au dessus de
laxe et ngativement dans lautre cas. La convergence de ces sommes vers lintgrale de
la fonction permet de dfinir laire comprise entre laxe des t et le graphe de f , compte
positivement si le graphe est au dessus de laxe et ngativement dans lautre cas, comme
tant gale lintgrale de la fonction f sur [a, b].
3.3 Primitives
3.3.1 Dfinition. On rappelle quune fonction f , dfinie sur un intervalle [a, b] admet une
primitive F si F est une fonction drivable sur lintervalle ]a, b[ et si :
t ]a, b[ , F (t) = f (t).
3.3.2 Rappel. Supposons quune fonction f , dfinie sur un intervalle [a, b] ait une primitive F, alors toutes les primitives de f sont les fonctions F + , o est un scalaire
arbitraire.
3.3.3 Thorme. Soit f une fonction continue sur [a, b] et soit x0 [a, b]. Alors la fonction
F0 , dfinie par :
Z
x
x [a, b] , F0 (x) =
f (t) dt,
x0
est une primitive de f . En particulier, F0 est drivable sur ]a, b[ avec F0 (x) = f (x).
56
Chapitre 3.
Z x+h
x0
f (t) dt
Z x
f (t) dt =
x0
Z x+h
f (t) dt = h f (c),
1)
Z b
a
2)
f (t) dt = 0.
Alors, f = 0.
Dmonstration. Pour x [a, b], soit F0 (x) =
Z x
a
une primitive de f .
Le point 1) est une consquence du fait que si F est une primitive de f , alors il existe un
rel tel que F = F0 + et alors puisque F0 (a) = 0,
F(b) F(a) = F0 (b) F0 (a) = F0 (b) =
Z b
f (t) dt.
Montrons le point 2) par labsurde : supposons que, pour une fonction f continue et
positive, on ait la fois
Z b
0=
Z b
Puisque par hypothse f est continue, il existe un intervalle I [a, b] de longueur non
f (x0 )
. Alors :
nulle > 0 tel que pour tout x I, f (x)
2
f (t) dt
f (t) dt
f (x0 )
> 0.
2
Nous obtenons bien une contradiction, ce qui veut dire quil nexiste pas de point x0 dans
lintervalle [a, b] o f (x0 ) > 0. Puisque f est positive, f est alors bien nulle sur [a, b].
Des proprits importantes des primitives sont les suivantes :
3.3. Primitives
57
Soit f une fonction dfinie sur [a, b], intgrable et borne sur
3.3.5 Proposition.
1)
[a, b]. Alors la fonction
F(x) =
Z x
f (t) dt,
|F(x) F(y)|
| f (t)| dt A |x y| ,
Z y
x
f (t) dt 0,
Z b
a
u(t)v(t) dt.
Dmonstration. Cela rsulte immdiatement du fait que la fonction uv est une primitive
de la fonction uv + u v.
3.3.7 Thorme. Changement de variable
Soient [a, b] et [c, d] deux intervalles de R et une fonction continment drivable de
[c, d] dans [a, b] telle que (c) = a et (d) = b. Soit f une fonction continue sur [a, b],
alors :
Z b
f (t) dt =
Z d
c
Z (x)
a
f (t) dt et G(x) =
Z x
c
58
Chapitre 3.
Fonctions puissance :
Z
( +i )t
e( +i )x
dt =
,
( + i )
dt
= ln |x| ,
t
t dt =
x +1
( 6= 1).
+1
Fonctions trigonomtriques :
Z
sint dt = cos x,
cott dt = ln |sin x| ,
dt
= tan x,
cos2 t
cost dt = sin x,
tant dt = ln |cos x|
Z
x
dt
dt
x
= ln tan ,
= ln tan
+
sint
2
cost
2
4
Z
Z
dt
dt
= ln |tan| x.
= cot x,
2
sint cost
sin t
Fonctions hyperboliques :
Z
sht dt = ch x,
cotht dt = ln |sh x| ,
dt
= tanh x,
ch2 t
cht dt = sh x,
tanht dt = ln ch x
Z
dt
dt
x
= ln tanh ,
= 2 arctan ex
sht
2
cht
Z
Z
dt
dt
=
coth
x,
= ln |tanh| x.
sht cht
sh2 t
Fonctions inverses :
1
x
dt
= arctan ,
2
2
a
a
Z t +a
dt
x
= argsh ,
|a|
t 2 + a2
1 xa
ln
2a x + a
Z
dt
x
= argch .
2
2
a
t a
dt
t 2 a2
Q(u) du,
k=0
Cnk ei(n2k)t
k=0
59
On se ramne donc au calcul de primitives des fonctions sin nt et cos nt qui sont respecticos nt sin nt
et
.
vement
n
n
On obtient ainsi par exemple :
1 cos 2t
x sin 2x
dt =
2
2
4
Z
Z
x sin 2x
1 + cos 2t
2
cos t dt =
dt = +
2
2
4
Z
Z
cos 4t + 4 cos 2t + 3
sin 4x sin 2x 3x
4
dt =
+
+
cos t dt =
8
32
4
8
Z
Z
Z
Z
sin t dt =
sin3 t dt =
(1 cos2 t) sint dt =
cos3 x
.
3
f (t)g(t) dt = f (a + 0)
Z c
g(t) dt,
la fonction G(x) =
Z b
a
f (t)g(t) dt M f (a + 0).
n1
f (t)g(t) dt =
fi
i=0
n2
Z ti+1
n1
g(t) dt =
ti
( fi fi+1 )
i=0
fi
i=0
Z ti+1
a
Z
ti+1
g(t) dt + fn1
g(t) dt
Z tn
Z ti
a
g(t) dt
g(t) dt.
60
Chapitre 3.
Z ti
a
g(t) dt M.
n2
Z b
f (t)g(t) dt M
m f0
Z b
f (t)g(t) dt M f0 ,
( fi fi+1 ) + fn1
i=0
cest--dire :
( fi fi+1) + fn1
i=0
f (t)g(t) dt =
Z b
f(t)g(t) dt.
Soit {t0 = a < t1 < < tn = b} une subdivision de [a, b] obtenue en dcoupant lintervalle
en n intervalles de mme longueur.
On va approcher f par les fonctions en escalier n et n dfinies par :
n (t)g(t) dt
f (t)g(t) dt A
(t)
f
(t)
dt
n
a
k=0 tk
n1 Z tk+1
k=0 tk
n1
n (t) n(t) dt
ba
f(tk+1 ) f(tk )
n k=0
ba
=A
f (a) f(b) .
n
=A
La suite
Z
n (t)g(t) dt
Z b
61
Z b
f(t)g(t) dt =
nN
f (t)g(t) dt quand
n +.
Les fonctions en escalier n sont positives dcroissantes sur [a, b], on peut donc leur appliquer le premier cas :
m f (a + 0) = m f(a)
Z b
a
Z b
a
f (t)g(t) dt M f (a + 0) .
| f (t)g(t)| dt
Z
b
a
| f (t)| dt
1/2 Z
b
a
|g(t)| dt
1/2
De plus, si f et g sont continues, cette ingalit est une galit si et seulement si | f | et |g|
sont proportionnelles.
Dmonstration. Notons dabord que, par la proposition 3.2.2, si f et g sont intgrables,
le produit f g et les carrs f 2 et g2 le sont aussi.
Soit R. On crit :
Z b
a
( | f | + |g|) (t) dt =
2
Z b
a
| f (t)| dt + 2
2
Z b
a
| f (t)g(t)| dt +
Z b
a
|g(t)|2 dt 0.
Ce trinme du second degr en garde un signe constant sur R donc son discriminant est
ngatif ou nul, soit :
Z
b
a
| f (t)g(t)| dt
2
Z b
a
| f (t)|2 dt
Z b
a
|g(t)|2 dt,
Z b
a
( | f | + |g|)2 (t) dt = 0.
62
Chapitre 3.
de changer lgrement lexpression dune fonction pour passer dune fonction que lon
sait intgrer une fonction quon ne sait pas intgrer. Par exemple, on sait que
Z b
dt
ou
Z b
sint 2 dt.
sint
prolonge par la valeur 1 en t = 0, est intgrable sur tout intervalle
t
[a, b] puisquelle est continue sur R. Il en est de mme pour la fonction sint 2. A dfaut de
pouvoir calculer ces intgrales, on doit savoir les approcher.
Mais, mme sil sagit dintgrales quon sait calculer, leur calcul peut tre long et compliqu et il peut tre avantageux de le remplacer par un calcul approch.
Or la fonction
a+kh
a+(k1)h
Do, en sommant :
n1
h f a + kh
k=0
Z b
a
f (t) dt h f a + kh .
n
f (t) dt h f a + kh .
k=1
La mthode des rectangles consiste approcher lintgrale de f par des sommes daires
de rectangles correspondant aux sommes finies qui encadrent la valeur de lintgrale dans
lingalit ci dessus.
On peut donner une estimation de lerreur E commise en remplaant lintgrale de f par
lune de ces sommes : on majore la diffrence entre lintgrale de f et lune de ces sommes
par la diffrence des sommes majorant et minorant cette intgrale, soit :
n
n1
(b a)
f (b) f (a) .
E h f a + kh h f a + kh = h f (b) f (a) =
n
k=1
k=0
1
Lerreur est donc de lordre de grandeur de . Il suffit donc en thorie de dcouper lintern
valle [a, b] en suffisamment de petits sous-intervalles pour obtenir une erreur aussi petite
que lon veut.
63
et dt,
1
f a + kh [t (a + (k 1)h)] f a + (k 1)h [t (a + kh)] .
h
On remarque que :
Z a+kh
a+(k1)h
gk (t) dt =
h
f (a + (k 1)h) + f (a + kh) .
2
Z b
h n
( f (a + (k 1)h) + f (a + kh))
2 k=1
"
#
n1
(b a)
ba
f (a) + f (b) + 2 f (a + k
) .
=
2n
n
k=1
Sn =
Comme dans le cas de la mthode des rectangles, il sagit dvaluer lerreur E, commise
en remplaant lintgrale de f par cette somme .
On a besoin dun lemme :
3.6.2 Lemme. Soit f une fonction de [u, v] dans R, deux fois drivable sur [u, v] et telle
quil exite , R tels que : t [u, v] , f (t) . Alors :
(v u)3 v u
f (u) + f (v)
12
2
Z v
u
(v u)3
f (t) dt
.
12
64
Chapitre 3.
h (t) = f (t) 0.
Cest donc une fonction convexe, (voir [9]).
Si g est la fonction affine prenant les mmes valeurs que f (donc que h) en u et v, on aura
donc : t [u, v] , h(t) g(t). Do :
Z v
h(t) dt =
Z v
u
f (t) dt +
2
Z v
u
(t u)(v t) dt
Or,
Z v
u
t2
t3
(t u)(v t) dt = + (u + v) uvt
3
2
v
Z v
g(t) dt.
(v u)3
.
6
v u
f (u) + f (v)
f (t) dt + (v u)3 .
g(t) dt =
2
12
u
u
Ceci donne bien la premire ingalit du lemme. La seconde sobtient de la mme faon
Z v
(b a)3
Sn
12n2
avec
Z b
a
(b a)3
,
f (t) dt
12n2
"
#
n1
(b a)
ba
Sn =
f (a) + f (b) + 2 f (a + k
) .
2n
n
k=1
1
n2
lorsquon dcoupe lintervalle [a, b] en sous-intervalles de plus en plus petits, ce qui est
meilleur que pour la mthode des rectangles.
On peut remarquer que lerreur dans la mthode des trapzes tend vers 0 comme
et dt,
65
f (t) dt existe.
2)
Z b
Z b
f (t) dt = lim
Z x
xb a
f (t) dt.
3.7.3 Notations. Lorsquune fonction localement intgrable f est intgrable sur un intervalle semi-ouvert [a, b[ au sens des intgrales gnralises dfinies ci-dessus, on dit que
lintgrale gnralise
Z b
f (t) dt,
converge.
3.7.4 Exemple.
Soit f (t) =
1)
Z x
x+ 0
2)
Soit f (t) =
1
sur [0, +[. Alors f est intgrable sur lin1 + t2
.
2
1
sur [0, +[. Alors f nest pas intgrable sur [0, +[. En effet :
1+t
lim
Z x
x+ 0
66
Chapitre 3.
3)
1
Soit f (t) = sur ]0, 1]. Alors f est intgrable sur ]0, 1]. En effet :
t
Z 1
lim
x0 x
4)
Soit f (t) =
x0
1
sur ]0, 1]. Alors f nest pas intgrable sur ]0, 1]. En effet :
t
lim
Z 1
f (t) dt = lim ( ln x) = +.
x0 x
x0
Remarque. Soit f une fonction dfinie sur un intervalle semi-ouvert [a, b[, valeurs dans
R ou C, localement intgrable sur [a, b[. Pour que f soit intgrable sur [a, b[ il suffit quil
existe [a, b] tel que
Z
x
f (t) dt existe.
lim
xb
f (t) dt =
Z b
f (t) dt =
f (t) dt +
Z x
f (t) dt,
f (t) dt +
Z b
f (t) dt,
on a la formule :
2)
( f + g)(t) dt =
Z b
a
4)
g(t) dt.
3)
f (t) dt +
Z b
f (t) dt
Z b
g(t) dt.
f (t) dt =
Z c
a
f (t) dt +
Z b
c
f (t) dt.
67
Comme pour les suites ou les sries numriques, on a un thorme de Cauchy pour les
intgrales gnralises qui donne un moyen de dcider si une fonction est intgrable sur
un intervalle [a, b[ sans connatre la valeur de son intgrale gnralise sur cet intervalle.
3.7.6 Notations. On considre un intervalle semi-ouvert [a, b[. On convient de noter V (b)
un voisinage du point b dans [a, b[, cest--dire un intervalle du type [A, +[ si b = + et
un intervalle du type [b , b[, 0 < b a, si b est fini.
Rappelons dabord un lemme de Cauchy pour les fonctions :
3.7.7 Lemme. Critre de Cauchy
Soit F une fonction dfinie sur un intervalle semi-ouvert [a, b[, valeurs dans R ou C.
Alors la limite quand x tend vers b de F(x) existe si et seulement si pour tout > 0, il
existe un voisinage V (b) du point b tel que :
x, x V (b) F(x) F(x ) .
Dmonstration. Supposons que limxb F(x) = l et soit > 0. Par dfinition, il existe un
voisinage V (b) de b tel que
x V (b) |F(x) l| .
2
On en dduit que :
x, x V (b) F(x) F(x ) |F(x) l| + l F(x ) .
et soit (xn )nN une suite qui converge vers b (dans R si b = +). Alors il existe N0 N
tel que
n N0 xn V (b).
Donc
et la suite F(xn )
nN
p, q N0 F(x p ) F(xq ) ,
2
est de Cauchy. Elle converge donc vers une limite l et de plus,
n N0 |F(xn ) l| .
2
+ = .
2 2
Z x
a
68
Chapitre 3.
3.7.8 Corollaire. Soit f une fonction localement intgrable sur lintervalle semi-ouvert
[a, b[. Alors f est intgrable sur [a, b[ si et seulement si pour tout > 0, il existe un
voisinage V (b) du point b tel que :
Z x
f (t) dt .
x, x V (b)
x
Contrairement au cas des sries numriques dont le terme gnral tend vers 0 lorsquelles
convergent, voir la proposition 2.3.6, lintgrabilit dune fonction sur [a, +[ nimplique
pas la convergence vers 0 de cette fonction lorsque t + :
3.7.9 Exemple. La fonction cost 2 est intgrable sur [1, +[ et ne tend pas vers 0 lorsque
t +.
Soit x [1, +[, alors, par un changement de variables et une intgration par parties, on
peut crire :
Z x
1
cost dt =
Z x2
cos s
1
sin s
ds =
2 s
2 s
x2
1
4
Z x2
sin s
1
ds.
s s
Le terme tout intgr tend versZ0 quand x + et on verra plus loin (voir exemple 3.9.3
+ sin s
ds existe. On en dduit bien que la fonction cost 2
2)) que lintgrale gnralise
s s
1
est intgrable sur [1, +[ alors quelle ne tend pas vers 0 linfini.
Alors, daprs les proprits de lintgrale de Riemann, les fonctions F et G sont croissantes comme intgrales de fonctions positives et de plus,
x [a, b[ , F(x) G(x).
Si g est intgrable sur [a, b[, la fonction G(x) admet une limite quand x b, donc elle
est borne sur [a, b[. Par suite, la fonction F(x) est galement borne sur [a, b[ et comme
elle est croissante, elle admet une limite quand x b et ceci quivaut dire que f est
intgrable sur [a, b[.
69
3.8.2 Thorme. Soient f et g des fonctions dfinies sur un intervalle semi-ouvert [a, b[,
localement intgrables sur [a, b[ et telles que :
t [a, b[ , 0 f (t) et 0 g(t).
Alors, si f est quivalente g au voisinage de b, f est intgrable sur lintervalle semiouvert [a, b[ si et seulement si g est intgrable sur lintervalle semi-ouvert [a, b[.
Dmonstration. Soit > 0 fix. Si f et g sont quivalentes au voisinage de b, il existe
[a, b[ tel que :
t [ , b[ , 0 (1 )g(t) f (t) (1 + )g(t).
On peut donc appliquer le thorme 3.8.1 : si g est intgrable sur [ , b[, f lest aussi par
lingalit de droite et si f est intgrable sur [ , b[, g lest aussi par lingalit de gauche.
Puisque ces deux fonctions sont intgrables sur lintervalle [a, ], on a donc bien lquivalence : f est intgrable sur lintervalle semi-ouvert [a, b[ si et seulement si g est intgrables
sur lintervalle semi-ouvert [a, b[.
Pour appliquer ces thormes de comparaison, nous allons tudier lintgrabilit de fonctions classiques qui constitueront une chelle de comparaison.
3.8.3 Proposition. Les fonctions de Riemann
1
1) Soit > 0 et f (t) = , dfinie sur lintervalle semi-ouvert [1, +[. Alors f est
t
intgrable sur [1, +[ si et seulement si > 1.
1
2) Soit > 0 et f (t) = , dfinie sur lintervalle semi-ouvert ]0, 1]. Alors f est
t
intgrable sur ]0, 1] si et seulement si < 1.
Dmonstration. 1) On calcule lintgrale de f sur [1, x] :
Z x
f (t) dt =
Z x
1
1
1
1
si 6= 1,
1 x 1
f (t) dt = ln x si = 1.
f (t) dt =
Z 1
x
1
1
1 1 si 6= 1,
1
x
f (t) dt = ln x si = 1.
70
Chapitre 3.
ln(cos 1t )
3.8.4 Exemple. La fonction f (t) =
est intgrable sur lintervalle semi-ouvert
lnt
[2, +[.
Cette fonction est ngative sur [2, +[. On va donc raisonner avec la fonction f .
1
1
1
La fonction cos est quivalente 1 2 en +, donc la fonction ln(cos ) est quit
2t
t
1
1
valente 2 en +. La fonction f (t) est donc quivalente 2
en +.
2t
2t lnt
1
1
2 sur [2, +[ et cette dernire fonction est intgrable en +.
Or 0 2
2t lnt t
En appliquant successivement les thormes 3.8.1 et 3.8.2, on obtient que f et par suite
f galement, est intgrable sur [2, +[.
On peut aussi comparer dans certains cas des intgrales gnralises et des sries numriques :
3.8.5 Thorme. Soit f une fonction dfinie sur lintervalle semi-ouvert [a, +[, localement intgrable, positive et dcroissante. Pour que f soit intgrable sur [a, +[ il faut et
il suffit que la srie numrique termes positifs, de terme gnral un = f (n) soit convergente.
Dmonstration. Si f : [a, +[ R est positive et dcroissante, on pose
n N , vn =
Z n+1
f (t)dt
On a alors,
n N , 0 un+1 = f (n + 1) vn un = f (n).
Les sries de termes gnraux un et vn ont donc mme nature par le thorme de comparaison des sries termes positifs, voir 2.4.2.
Or, si N0 N est tel que a N0 , on peut crire,
N
N0 N x N + 1
On en dduit que la limite de
Z x
N0
n=N0
vn
Z x
N0
N+1
f (t) dt
vn .
n=N0
de terme gnral vn converge. Par suite, la fonction f est bien intgrable sur [N0 , +[ et
donc aussi sur [a, +[ si et seulement si la srie de terme gnral un converge.
Z x
a
| f (t)|dt existe.
71
3.9.2 Proposition. Soit f une fonction localement intgrable sur lintervalle semi-ouvert
[a, b[. Si f est absolument intgrable sur [a, b[ alors f est intgrable sur [a, b[ et
Zb
Z b
| f (t)| dt.
f (t) dt
a
Dmonstration. On utilise le critre de Cauchy pour les intgrales, corollaire 3.7.8 : soit
> 0 donn ; si | f | est intgrable sur [a, b[, il existe un voisinage V (b) du point b dans
[a, b[ tel que :
x, x V (b)
Mais on a :
Z x
x
| f (t)| dt .
Z x
Z x
| f (t)| dt
f
(t)
dt
x
x
Donc
Z x
f (t) dt ,
x, x V (b)
x
et de nouveau par le corollaire 3.7.8, la fonction f est intgrable sur [a, b[. De plus comme
Z x
Z x
pour tout x [a, b[, on a
f (t) dt
| f (t)| dt, en passant la limite quand x tend
a
a
vers b, on obtient bien :
Z b
Z b
a f (t) dt a | f (t)| dt .
3.9.3 Exemple.
1)
La fonction f (t) =
sint
est absolument intgrable sur linter1 + t2
cost
La fonction g(t) = est intgrable et non absolument intgrable sur lintert
valle semi-ouvert [1, +[.
2)
1
1
2.
2
1+t
t
1
existe sur [1, +[ par la proposition 3.8.3 et le thorme 3.8.1. Donc f
t2
est bien absolument intgrable sur [1, +[.
2) Pour la fonction g, on fixe x [1, +[ et on intgre par parties :
Z x
Z
sint x 1 x sint
dt.
g(t) dt =
+
t 1 2 1 t t
1
sint x sin x
= sin 1 admet pour limite sin 1 en + et lintgrale
La fonction
x
t 1
Lintgrale de
Z x
sint
1
dt
t t
72
Chapitre 3.
Pour voir que g nest pas absolument intgrable sur cet intervalle, on crit, pour tout
nN:
Z (n+1)
Z
1
|g(t)| dt p
|cost| dt.
n
(n + 1) 0
1
est divergente, on voit que g nest pas
(n + 1)
absolument intgrable sur [ , +[ et donc pas non plus sur [1, +[.
En sommant sur n, comme la srie p
Remarque. Largument donn pour montrer lintgrabilit de g sur [1, +[ est souvent
trs utile. Cependant on doit remarquer que le rsultat dintgration par parties nest vrai
que pour les intgrales de Riemann et quil ny a pas danalogue pour les intgrales gnralises.
La proposition suivante est trs utilise dans la pratique :
3.9.4 Proposition. Soit f une fonction continue sur un intervalle semi-ouvert [a, +[,
avec a > 0, telle quil existe > 1 vrifiant : lim t | f (t)| = 0 Alors f est absolument
t
Dmonstration. Puisque la fonction f est continue, elle est localement intgrable sur lintervalle semi-ouvert [a, +[.
1
Dautre part, comme lim t f (t) = 0, il existe A > a tel que pour t A, | f (t)| .
t
t
On peut donc appliquer le thorme de comparaison, 3.8.1 sur lintervalle [A, +[ : la
1
fonction de Riemann tant intgrable en +, f est bien absolument intgrable sur cet
t
intervalle.
Comme son analogue relatif aux sries numriques, le thorme suivant sappelle le thorme dAbel :
3.9.5 Thorme. Soit f une fonction dfinie sur lintervalle semi-ouvert [a, b[, continue,
positive, dcroissante et tendant vers 0 quand x tend vers b.
Soit g une fonction localement intgrable sur lintervalle semi-ouvert [a, b[ telle quil
existe M > 0, vrifiant :
Z x
x [a, b[ , g(t)dt M.
a
Dmonstration. Cest une consquence de la deuxime formule de la moyenne, (thorme 3.5.1). Comme cette formule ne sapplique quaux fonctions valeurs relles, on
dcompose g en g = g1 + ig2 o g1 et g2 sont valeurs relles. Il est clair que ces deux
fonctions vrifient aussi les hypothses du thorme 3.9.5. De plus g vrifie la conclusion
du thorme 3.9.5 si et seulement si g1 et g2 la vrifient. On peut donc supposer que g est
valeurs relles.
Sous les hypothses du thorme 3.9.5, par la deuxime formule de la moyenne, quels
que soient u, v [a, b[, il existe y [u, v] tel que
Z v
u
f (t)g(t) dt = f (u)
Z y
u
g(t) dt.
Z y
u
g(t) dt =
Z y
a
g(t) dt
Z u
73
g(t) dt et on en dduit :
Z v
2M f (u).
f
(t)g(t)
dt
u
Comme f (u) 0 quand u b, par le critre de Cauchy (corollaire 3.7.8), on obtient bien
que f g est intgrable sur [a, b[.
Remarque. Ce thorme sapplique en particulier lorsque la fonction g est lune des
fonctions ei t , sin t, cos t, avec R fix et b = +.
f (t) dt +
Z f (a)
g(t) dt.
f (t) dt +
g(t) dt.
n+
Z
nt 2
dt
1n
= ea .
t
3.3 Exercice. Calculer une primitive F de la fonction f (t) =
, dfinie sur lintervalle
cos2t
ouvert ] , [.
2 2
3.4 Exercice. Soient R et > 0. Dterminer lensemble des couples ( , ) pour
lesquels lintgrale gnralise
Z +
t lnt
dt
1 + t
0
est convergente.
3.5 Exercice. On tudie, selon la valeur de a lexistence de lintgrale gnralise
Z +
0
dt
.
1 + t a sin2 t
74
Chapitre 3.
3.6 Exercice. Soit f une fonction intgrable sur tout intervalle born de R telle que :
lim f (t) = l et lim f (t) = l .
t+
Calculer
Z +
( f (t + 1) f (t)) dt.
Z a
f (t) dt = lim
n+
De plus f (ti )
on a :
i=0
0in
Z f (a)
n1
n+
f (ti+1 ) f (ti) g(di ).
g(t) dt = lim
i=0
f (t) dt +
Z f (a)
n1
g(t) dt = lim
i=0
f (ti+1) f (ti ) ti = a f (a).
2) a) Supposons f ( ) f (a).
Le raisonnement prcdent implique :
Z
f (t) dt +
Z f ( )
0
g(t) dt = f ( ).
f ( )
Do
Z
0
g(t) dt g f ( )
f (t) dt +
Z
0
Z
f ( )
dt = f ( ) .
g(t) dt f ( ) + f ( ) = .
75
Z
nt 2
e
a
dt
n1
h
i1
1
1
2 n
2
ena (b a) n = ea (b a) n .
ent dt
Z a+
a
ent dt (1 )n
Z a+
a
ena dt = (1 )n ena ,
do lingalit :
1
In n (1 )ea .
lim In (1 )ea .
n+
lim In ea .
n+
Z x
0
t
dt que lon calcule en intgrant par partie en posant :
cos2 t
dt
, u = tant,
du =
cos2 t
v = t , dv = dt.
Do
F(x) =
Z x
0
x
t
dt
=
t
tant
0
cos2 t
Z x
0
tant dt = x tan x + ln |cos| x .
76
Chapitre 3.
On vrifie dabord que toutes les fonctions qui interviennent dans cet exercice sont continues et positives, donc on peut appliquer les thormes de comparaison du cours.
1) Supposons a 0. Alors, t a tend vers 0 ou est gal 1 (si a = 0) lorsque t + donc
1
1
dans ce cas la fonction
reste minore par lorsque t + et elle nest donc
2
a
2
1 + t sin t
pas intgrable sur lintervalle [0, +[.
2) Supposons 0 < a 1. Alors dans ce cas, on peut crire, pour t [0, +[ :
1
1
1.
a
a
1+t
1 + t sin2 t
1
1
est quivalente au voisinage de + a , qui nest pas intgrable en
a
1+t
t
1
nest pas intgrable sur [0, +[.
+. Donc la fonction
1 + t a sin2 t
3) Supposons 1 < a et posons, pour n > 1 :
Or la fonction
un =
Z n +
2
n 2
dt
et u0 =
1 + t a sin2 t
Z +
2
0
dt
1 + t a sin2 t
Z +
2
2
ds
.
1 + (n + s)a sin2 s
On va, comme dans les 2 premiers cas, encadrer un entre deux intgrales plus simples
2 1 + (n + 2 ) sin s
2 1 + (n 2 )a sin s
On peut calculer lintgrale de Riemann I =
ment de variable u = tan s :
I=
Z +
Z +
2
2
du
u2 (1 +Ca ) + 1
ds
en effectuant le change1 +Ca sin2 s
(1 +Ca ) 2
(1 + (n
a 12
2) )
(1 + (n +
a 12
2) )
a,
(n ) 2
a.
(n ) 2
La srie termes positifs un est encadre par deux sries termes positifs vn et wn , qui sont
convergentes si et seulement si a > 2. La srie de terme gnral un est donc convergente
si a > 2 et divergente si 1 < a 2.
Z X
dt
On pose, pour X > 0 : F(X ) =
.
2
0 1 + t a sin t
n
77
a) Pour 1 < a 2, F(n + ) tend vers + lorsque n + et donc F(X ) ne peut pas
2
avoir de limite lorsque n + et lintgrale gnralise diverge.
dt
F(x) = F(n ) +
.
2
2
n 2 1 + t a sin t
f (t + 1) f (t) dt =
=
=
Z X
f (t + 1) dt
Z0X+1
Z1X+1
X
f (s) ds
f (t) dt
Z X
Z X0
Z 01
f (t) dt
f (t) dt
f (t) dt.
Soit > 0. Puisque f (t) tend vers l lorsque t +, il existe A > 0 tel que t > A entrane
l < f (t) < l + .
On en dduit que si X > A, alors l
Do lim
Z X+1
X+ X
Z 1
vaut l
Z X+1
X
f (t) dt l + .
Z +
0
f (t) dt.
f (t + 1) f (t) dt existe et
existe et vaut l l .
f (t + 1) f (t) dt
78
Chapitre 3.
Chapitre 4
Suites et sries de fonctions
t D , n N , sn (t) = ui (t).
i=0
t D , s(t) = lim
n+
ui(t).
i=0
80
i=0
lim
ui(t) ui(t) = k+
k+
rn (t) = lim
i=0
ui (t) =
i=n+1
ui (t).
i=n+1
i=0
la dfinition 4.1.3 en :
4.1.5 Proposition. La srie de fonctions de terme gnral un de D dans K converge simplement et a pour somme s si et seulement si, t D , > 0 , N N tel que :
n
n N |sn (t) s(t)| = un (t) s(t) = |rn (t)| .
i=0
Remarquons que dans ces dfinitions et propositions sur la convergence simple, lentier
N peut dpendre de t : il ny a pas en gnral un entier N qui marche pour tout t D. A
cause de cela, la convergence simple des suites ou sries de fonctions ne transmet pas, en
gnral, les proprits de la suite sa limite ou de la srie sa somme.
Donnons des exemples :
4.1.6 Exemple.
i)
sin2 t
s(t) =
si t ]0, ]
1 cost
2
s(0) = 0.
4.1.7 Exemple.
t [0, /2] par
i)
sin nt
fn (t) = ,
n
converge simplement vers la fonction 0.
Par contre la suites des drives
n cos nt
fn (t) =
= n cos nt,
n
81
ne converge pas vers 0 qui est pourtant la drive de la limite des ( fn )nN .
ii) La srie de fonctions drivables dfinie pour n 2 et pour t [0, /2], de terme
gnral
sin nt sin(n 1)t
,
un (t) =
n
n1
4.1.8 Exemple.
i) La suite de fonctions dfinie par fn (t) = nt(1 t 2)n pour tout
t [0, 1] converge simplement vers la fonction nulle. Par contre,
Z 1
0
fn (t)dt = n
Z 1
0
t(1 t 2)n dt =
n
.
2n + 2
Cette suite converge vers 1/2 qui nest pas gal lintgrale de la limite des ( fn )nN sur
[0, 1].
ii) La srie de fonctions continues dfinie pour n 1, de terme gnral
un (t) = nt(1 t 2)n (n 1)t(1 t 2)(n1) ,
pour tout t [0, 1] converge simplement et a pour somme 0. Lintgrale de un sur [0, 1]
n1
n
i=1
i
i1
2i + 2
2i
n
1
n+ ,
2n + 2
2
qui nest pas lintgrale de la somme de la srie de terme gnral un sur [0, 1].
Pour que les proprits de la suite ou de la srie, se transmettent la limite de la suite
ou la somme de la srie, on est donc amen dfinir une convergence plus forte, la
convergence uniforme.
82
4.2.3 Dfinition. Une srie de fonctions de terme gnral un de D dans K converge uniformment et a pour somme s si :
> 0 , N N tel que,
n
n N t D , |sn (t) s(t)| = ui (t) s(t) = |rn (t)| .
i=0
On peut dfinir une norme sur lensemble des fonctions bornes sur un ensemble D, qui
est directement relie la convergence uniforme des suites ou sries de fonctions :
4.2.5 Dfinition. Soit f une fonction borne sur D, alors on appelle norme de la convergence uniforme de f , le nombre dfini par :
k f k = sup{| f (t)| | t D}.
Grce cette norme, on peut crire trs simplement la convergence uniforme des suites et
sries de fonctions :
Remarque.
1) La suite de fonctions ( fn )nN converge uniformment vers f si et
seulement si la suite numrique (k fn f k )nN converge vers 0.
2) La srie de fonctions de terme gnral un converge uniformment et a pour
somme s si et seulement si la suite numrique (ksn sk )nN converge vers 0.
La diffrence essentielle entre les dfinitions 4.2.1 et 4.2.3 sur la convergence uniforme
des suites et sries de fonctions et leurs analogues pour la convergence simple, dfinitions
4.1.1 et 4.1.3, est quici lentier N ne dpend pas de t D : il est le mme pour tous les t
dans D. Cette constatation permet de montrer la proposition suivante :
4.2.6 Proposition.
i) Si une suite ( fn )nN converge uniformment vers f , elle
converge simplement vers f et la rciproque est fausse.
ii) Si une srie de terme gnral un converge uniformment et a pour somme s, elle
converge simplement et a mme somme. La rciproque est fausse.
Dmonstration. i) Il suffit de remarquer que si suptD | fn (t) f (t)| tend vers 0 quand
n +, alors, pour t0 fix dans D, fn (t0) f (t0 ) tend vers 0.
Voici un contre-exemple montrant que la rciproque de cette proposition est fausse :
la suite de fonctions de lexemple 4.1.6, fn (t) = t n pour t [0, 1] converge simplement
vers la fonction f telle que f (t) = 0 si t [0, 1[ et f (1) = 1.
Or supt[0,1] | fn (t) f (t)| = supt[0,1[ |t n| = 1 ne tend pas vers 0 quand n + donc cette
suite ne converge pas uniformment sur [0, 1].
83
ii) De la mme manire, si suptD |sn (t) s(t)| tend vers 0 quand n +, alors, pour t0
fix dans D, sn (t0) s(t0) tend vers 0.
De mme, pour montrer que la rciproque de cette proposition est fausse, donnons un
contre exemple :
la srie de fonctions de lexemple 4.1.6, de terme gnral un (t) = sin2 t cosn t dfini pour
t [0, /2] converge simplement mais non uniformment car :
2
+
sin t cosn+1 t
2
i
= 2,
sup |rn (t)| = sup sin t cos t = sup
1
cost
t[0, /2] i=n+1
x[0, /2]
t[0, /2]
puisque :
sin2 t cosn+1 t
= 2.
lim
t0
1 cost
> 0 , N N tel que p, q N t D , f p (t) fq(t) ,
pour t D fix, la suite de nombres ( fn (t))nN est de Cauchy dans K, donc converge vers
un nombre f (t). Dans le critre de Cauchy, on peut alors faire tendre q vers + et on
obtient :
> 0 , N N tel que p N t D , f p (t) f (t) .
84
Comme dans le cas numrique, proposition 2.3.6, pour les sries de fonctions, le critre
de Cauchy uniforme a un corollaire, que lon utilise beaucoup par sa contrapose, pour
montrer quune srie de fonctions ne converge pas uniformment :
4.2.8 Corollaire. Si la srie de fonctions de terme gnral un de D dans K converge
uniformment sur D, alors kun k = suptD |un (t)| 0 quand n . La rciproque est
fausse.
Dmonstration. Il suffit dcrire :
kun k = sup |un (t)| = sup |sn (t) sn1(t)|,
tD
tD
Si la srie numrique de terme gnral suptD |un (t)| converge, elle vrifie le critre de
Cauchy et lingalit ci-dessus prouve que la srie de terme gnral un vrifie le critre de
Cauchy uniforme. Donc elle converge uniformment sur D.
Remarque. La rciproque de cette proprit est fausse : la srie de fonctions de terme
(1)n
gnral un (t) =
, n > 1, est uniformment convergente mais non normalement
n+t
convergente sur [0, 1].
En effet, cette srie de fonctions nest pas normalement convergente car
(1)n 1
= ,
kun k = sup
n
n
+
t
t[0,1]
85
Pour montrer la convergence uniforme, on utilise la majoration du reste dune srie alterne, voir 2.5.2 :
(1)n 1
.
t [0, 1] , |rn (t)|
n + 1 +t n + 1
Par suite, sup |rn (t)| 0 quand n et on a bien convergence uniforme sur [0, 1].
t[0,1]
sin nt
4.2.11 Exemple.
i) La srie de terme gnral un (t) = 2 , n > 1, dfinie sur R
n
converge normalement car :
sin nt
1
kun k = sup 2 = 2 .
n
n
tR
ii) Soit r ]0, 1[. La srie de terme gnral un (z) = zn dfinie sur le disque Dr centr
lorigine, de rayon r, converge uniformment sur ce disque car :
kun k = sup |un (z)| = rn .
zDr
tt0 n+
n+ tt0
86
Donc si |t t0 | , on a
| f (t) f (t0)|
+ + = .
3 3 3
i=0
i=0
87
1
1
a.
t
n
n
1
La srie numrique de terme gnral a est convergente. La srie de fonctions de terme
n
1
gnral t est normalement convergente donc uniformment convergente sur [a, +[ et
n
sa somme s est continue sur cet intervalle. Comme ce raisonnement est valable pour tout
a > 1, s est continue sur tous les intervalles [a, +[ avec a > 1 donc aussi sur leur runion
qui est exactement lintervalle ]1, +[.
= lim fn (t),
n+
|t t0 |
2 |I | 2
88
2 |I |
t t1
t t1
t t1
t t1
En revenant au dbut de la dmonstration, on a vu que lon a aussi :
.
p, q N t I , f p (t) fq (t)
2 |I |
En dfinissant la suite de fonctions (n )nN par : n N,
fn (t) fn(t1)
t t
(t ) = f (t ), 1
n 1
n 1
n (t) =
pour t 6= t1
ces proprits montrent que la suite (n )nN converge uniformment sur I . Soit sa
limite.
La suite (n )nN est une suite de fonctions continues en t1 car puisque par hypothse, les
fonctions fn sont drivables en t1 et on peut crire :
lim n (t) = lim
tt1
tt1
fn (t) fn(t1)
= fn (t1 ) = n (t1).
t t1
Puisque ceci est vrai pour tout t1 I , ceci prouve bien que f est drivable sur I et que sa
drive est la limite de la suite ( fn )nN , cest--dire que g = f .
Comme on a choisi pour I un sous-intervalle born quelconque de I contenant t0, le
raisonnement prcdent prouve que la suite ( fn )nN converge uniformment sur tous sousintervalles borns de I contenant t0 . Donc la limite f de la suite ( fn )nN est drivable, de
drive g sur tous sous-intervalles borns de I contenant t0 et par suite sur I tout entier.
89
4.4.2 Corollaire. Sous les hypothses du thorme 4.4.1, si de plus, les fonctions fn sont
continues sur I, alors la limite f a une drive f continue sur I.
Dmonstration. Comme sous les hypothses du thorme 4.4.1, la suite ( fn )nN converge
uniformment sur tout sous-intervalle born de I, il suffit dappliquer le thorme 4.3.1 :
la limite f de la suite ( fn )nN est continue sur tout sous-intervalle born de I et donc sur
I tout entier.
Remarquons que la convergence uniforme de la suite de fonctions ne suffit pas assurer
la drivabilit de la limite :
1 1/2
4.4.3 Exemple. La suite de fonctions drivables fn (t) = t 2 + 2
, n > 1 converge
n
uniformment sur R vers la fonction |t|, qui nest pas drivable en 0.
En effet, pour tout t R on a :
|t| (t 2 +
1
1 1/2
) |t| + .
2
n
n
Do
1
t R , | fn (t) |t|| .
n
Cette ingalit implique la convergence uniforme de la suite ( fn )nN vers la fonction |t|.
Daprs le thorme 4.4.1, la suite des drives ne converge pas uniformment sur R.
On utilisera beaucoup le cas particulier du thorme 4.4.1 suivant :
4.4.4 Corollaire. Si la suite de fonctions drivables ( fn )nN converge simplement sur
I vers f et si la suite des drives converge uniformment sur tous les sous-intervalles
borns de I vers g, alors f est drivable et f = g sur I.
On va maintenant tudier la drivabilit des sommes de sries :
4.4.5 Thorme. Soit I un intervalle de R. On considre une srie de fonctions de terme
gnral un , drivable sur I telle que
1) Il existe t0 I tel que la srie numrique de terme gnral un (t0 ) converge
2) La srie des drives, de terme gnral un converge uniformment sur tout sousintervalle born de I et a pour somme une fonction .
Alors, la srie de terme gnral un converge uniformment sur tout sous-intervalle born
de I et a pour somme une fonction drivable s telle que s = .
Avec la notation des sommes infinies, ceci scrit :
!
s (t) =
=
un (t)
n=0
+
un (t),
n=0
90
s (t) =
tn = 1 t .
n=0
t n+1
n + 1 = ln(1 t).
n=0
Z b
a
Z b
f (s) ds = lim
fn (s) ds
n+
Z b a
lim fn (s) ds,
=
a
n+
Z t
a
fonctions Fn sont drivables sur [a, b] comme intgrales de fonctions continues et de plus
t [a, b] , Fn (t) = fn (t).
Daprs lhypothse, la suite (Fn )nN convergeuniformment sur [a, b] et comme pour
tout n N, Fn (a) = 0, la suite numrique Fn (a) nN converge. On peut donc appliquer le
thorme 4.4.1 la suite (Fn )nN : cette suite converge uniformment sur [a, b] vers une
fonction F telle que F = f et F(a) = 0. On en dduit :
t [a, b] , F(t) =
Z t
f (s) ds.
En particulier pour t = b,
F(b) =
Z b
a
f (s) ds .
91
4.5.2 Exemple. Soit ( fn )nN la suite de fonctions dfinies sur [0, 1] par :
fn (t) = t n (1 t)n.
1
1
Comme pour t [0, 1], 0 t(1 t) , on a : n N, 0 fn (t) n . Ceci implique
4
4
que la suite de fonctions continues ( fn )nN converge uniformment vers 0 sur [0, 1].
Z 1
La suite
sn (1 s)n ds nN converge vers 0.
0
Z b
s(t) dt =
+ Z b
un (t) dt
a
n=0
!
Z b +
un (t) dt,
a
n=0
t 2n
, dfini
(2n)!
0
0
i=0 (2i + 1)!
i=0 (2i)!
i=0 0 (2i)!
Comme t [0, 1], 0
92
4.2 Exercice. Soit un nombre rel strictement positif. On considre la suite de fonctions
dfinie sur lintervalle [0, 1] par :
n 1 , fn (x) = nxn (1 x) .
1) Montrer que la suite de fonctions ( fn )nN converge simplement sur lintervalle [0, 1] et
trouver sa limite.
2) Montrer que la suite de fonctions ( fn )nN converge uniformment vers sa limite sur
lintervalle [0, 1] si et seulement si > 1.
3) On suppose 0 < 1. Montrer que la suite de fonctions ( fn )nN converge uniformment sur le segment [0, a] pour tout a [0, 1[.
4.3 Exercice. Soit a un rel strictement positif. Pour tout n N, on dsigne par un la
fonction dfinie pour x [0, +[ par :
2
1) Calculer lim
nzn.
n=1
un(x) pour
n=1
sup un (x).
4)a) Calculer
x[0,+[
2N
un(xN ) C avec xN =
n=N
2N
b) En dduire que
sup
2
.
N
x]0,+[ n=N
c) Conclure.
6) On suppose toujours que a = 4.
a) Montrer que limx0+ s(x) = 1.
b) Retrouver la conclusion de la question 5).
93
uniformment sur D.
1
Soit [a, b] ] , e[ un sous-ensemble compact de D.
e
Alors sup n |ln x|n = n sup(|ln a| , |ln b|)n 0 lorsque n +, donc la suite de fonctions
x[a,b]
2) On cherche le maximum de la fonction fn sur lintervalle [0, 1]. Pour cela, on calcule :
fn (x) = nxn1 (1 x) 1 (n (n + )x).
n
, on voit que fn est croissante sur [0, xn] et dcroissante sur [xn , 1].
n+
fn atteint donc son maximum en xn et celui-ci vaut :
En posant xn =
Mn = fn (xn ) = n(1 +
) (
) n+ ( ) n1 .
n
n+
e
94
La suite de fonctions ( fn )nN converge donc bien uniformment sur le segment [0, a] pour
tout a [0, 1[.
Corrig de lexercice 4.3
1
1
1) Pour x > 0, on a : ln un (x) = ln n + a ln x nx2 .
n
n
1
2
Do lim ln un (x) = x
n+ n
p
2
2) Pour x > 0 fix, la srie termes positifs un (x) vrifie lim n un (x) = ex < 1. On
n+
peut donc appliquer le critre de Cauchy : la srie de fonctions de terme gnral un (x)
converge. Ceci tant vrai pour tout x > 0, on en dduit que la srie de fonctions de terme
gnral un (x) converge simplement sur ]0, +[. En x = 0, la srie de fonctions est nulle
donc convergente de somme nulle.
z
3) a) Pour z < 1,
=
nzn.
(1 z)2 n=1
ex
b) Posons
On en dduit que pour x > 0, x
=
un(x) = s(x).
2
(1 ex )2 n=1
4) a) Etudions le maximum de un sur ]0, +[ :
r
a
2
a1
nx
2
.
un (x) = nx e
a 2nx . Donc un (x) = 0 x = xn =
2n
aa/2
A
un admet un maximum au point xn et un (xn ) = a/2 a/21 ea/2 = a/21 .
2 n
n
A
a
b) La srie numrique de terme gnral a/21 converge si et seulement si 1 > 1
2
n
cest--dire a > 4, ce qui implique le rsultat.
5) Pour a = 4, la srie de fonctions de terme gnral un (x) ne converge pas normalement
sur ]0, +[.
2 2 2n
4
e N e4 .
a) Pour N n 2N, un (xN ) n
N
N
2
2
z = ex .
2N
Do
un(xN ) 4e4 = C.
n=N
2N
b) On en dduit que
sup
2N
x]0,+[ n=N
n=N
2N
un (x) ne tend
sup
x]0,+[ n=N
b) Comme s(0) = 0, la somme de la srie de fonctions de terme gnral nx4 enx est
discontinue sur [0, +[ et par suite la convergence ne peut pas tre uniforme sur cet intervalle.
95
4) Puisque 0 ex 1 x 2x2 pour tout x [0, 1], on a 2nt un (t) 2nt + 2 22nt ,
quels que soient t > 0 et n N .
Ceci implique que
N
2nt
n=1
un (t)
n=1
n=1
n=1
2nt + 2 22nt ,
s(t)
+
2
.
1 2t
1 2t
1 22t
Comme :
22t
2t
t
=
o
2
et
t+ 2t on a :
1 22t
1 2t
2t
s(t) t+
t+ 2t .
1 2t
En conclusion, s(t) t+ 2t .
Chapitre 5
Sries entires
98
Chapitre 5.
Sries entires
z n
Le terme est le terme gnral dune srie convergente et par suite la srie numrique
r
an zn est absolument convergente.
Montrons iii) : r < R tant fix, pour tout z C tel que |z| r, on a : |an zn | |an | rn . La
srie numrique de terme gnral |an | rn est convergente daprs ii) et par suite la srie de
fonctions de terme gnral an zn est normalement convergente sur Dr .
n+
1
lim supn+ (|an
R
|)1/n
1
lim supn+ (|an |)1/n
n+
an zn de la
99
1
alors
1
lim supn+ (|an |)1/n
1
par la proposition 5.1.7, son rayon de convergence est . Par la proposition 5.1.6, la limite
L
suprieure de (|an |1/n )nN vaut L.
zn
On considre de mme la srie entire de terme gnral . Son rayon de convergence
an
1
1
vaut . On en dduit que la limite infrieure
vaut L. Donc la limite suprieure de
L
|an |1/n
1
, vaut L. On conclut
de |an |1/n , qui est gale linverse de la limite suprieure de
|an |1/n
que la limite de la suite (|an |1/n )nN existe et vaut L.
100
Chapitre 5.
Sries entires
5.1.9 Exemple.
1) Soit P C[X ]. On pose pour tout n N, an = P(n). Alors,
an+1 P(n + 1)
=
lim
P(n) = 1. Le rayon de convergence de la srie de terme gnral
n+ an
an zn est 1.
zn
2) Soit R. Le rayon de convergence de la srie de terme gnral est galen
ment 1.
3)
Comme
zn
est +.
n!
1
(n+1)!
lim
1
n+
n!
ii)
ak bnk a un
k=0
ak zk bnk znk =
k=0
ak bnk
zn = cn zn
k=0
avec cn =
ak bnk .
k=0
Pour |z| < min{Ra , Rb }, les deux sries de termes gnraux respectifs an zn et bn zn sont
absolument convergentes ; le lemme 2.3.11 montre que la srie cn zn converge.
zn
5.2.2 Application. On considre la srie entire de terme gnral , de rayon de convern!
gence + (voir exemple 5.1.9) et de somme s. Alors, on a :
s(z + z ) = s(z)s(z)
Dmonstration. En effet on applique le raisonnement du thorme 5.2.1 pour obtenir,
pour tout z, z C :
!
!
+ n + n
+
n
+
n k
+
z
z
Cnk k nk
(z + z )n
z z nk
=
=
z
z
=
n! .
n=0 n! n=0 n!
n=0 k=0 n!
n=0 k=0 k! (n k)!
n=0
101
i=0
Dmonstration. Notons r = |bi | i . Pour k N, la fonction skb est la somme dune srie
i=0
i=0
i=0
i=0
i=0
s(az + b) =
n=0
s(z + a) =
cn zn
n=0
o pour tout n N,
cn =
n
an+k ak
Cn+k
k=0
102
Chapitre 5.
Sries entires
an n
z
n=1 a0
n=0
n=0
an zn
bn z n = 1
103
an n
z
n+1
1/n
1/n
1/n
1
= lim sup |an |
= lim sup |nan |
= lim sup |n(n 1)an|
R
n+
n+
n+
1/n
a 1/n
n
= = lim sup |n(n 1) . . .(n k + 1)an|
.
= = lim sup
n + 1
n+
n+
Dans la suite de ce paragraphe, nous nous limiterons au cas o la variable est relle.
s(t)dt =
Z x +
an t
0 n=0
dt =
+ Z x
n=0 0
ant dt =
an
n + 1 xn+1 .
n=0
Dmonstration. De la mme faon que pour le corollaire 5.3.2, la srie de terme gnral ant n converge uniformment sur tout intervalle [r, +r] avec r < R. Sa somme s est
donc intgrable terme terme sur ces intervalles par le thorme 4.5.3 et par suite sur
lintervalle ouvert ] R, +R[. On termine le raisonnement comme ci-dessus.
104
Chapitre 5.
Sries entires
1
, dfinie pour z 6= 1, est dveloppable en srie entire.
1z
5.4.3 Proposition. Si une fonction f est dveloppable en srie entire lorigine, alors
f est indfiniment drivable sur lintervalle ] R, +R[, o R est le rayon de convergence
de la srie.
De plus, le dveloppement en srie entire sil existe est unique.
Dmonstration. La somme dune srie entire dune variable relle tant indfiniment
drivable (corollaire 5.3.2), toute fonction f dveloppable en srie entire, est bien indfiniment drivable sur ] R, +R[.
On a vu au corollaire 5.3.3 que la si s est la somme dune srie entire de terme gnral
ant n , alors pour tout k N, s(k) (0) = k!ak . Donc si f est dveloppable en srie entire, le
terme gnral de la srie vrifie :
k N , ak =
f (k) (0)
.
k!
105
1
c
t
k!
f (k) (0)
La srie de terme gnral
t k est domine par une srie convergente, elle est donc
k!
f (k) (0) k
t est absolument convergente.
k!
Cet argument tant valable pour tout t R, |t| < r, ceci prouve que le rayon de convergence de la srie de Taylor de f est suprieur ou gal r. Ce qui montre la proprit 1) de
la remarque.
Montrons que la proprit 2) de la remarque est vrifie. Pour cela, on rappelle la formule
de Taylor avec reste intgral, voir [9] : soit f une fonction indfiniment drivable sur un
intervalle ] r, +r[. On a pour tout t ] r, +r[,
f (t) =
k=0
f (k) (0) k
t +
k!
Z 1
(1 s)n (n+1)
f
(st)t n+1ds.
0
n!
s)
f (0) k
(n+1)
n+1
t =
f
(st)t ds
f (t)
k!
n!
0
k=0
Z 1
n
(1
s)
(n+1)
n+1
ds
f
(st)t
n!
0
n+1 Z 1
n+1
t
t
n
c(n + 1)
(1 s) ds = c .
106
Chapitre 5.
Sries entires
Ce dernier terme tend vers 0 quand n + et par suite le reste de la srie tend vers 0. La
fonction f est bien somme de sa srie de Taylor sur ] r, +r[.
5.4.8 Exemple. Soit f (t) = et . Alors f est dveloppable en srie entire sur R.
En effet, k N, t R, f (k) (t) = et . Donc quel que soit > 0,
f (k) (t) et
e
1
|t|
c k,
=
k! k!
k!
1
k e
, qui est fini car on rappelle que, linfini, k! 2 kk+ 2 ek .
kN k!
La fonction exp vrifie bien les hypothses du thorme 5.4.7, avec r > 0 quelconque. Elle
est donc dveloppable en srie entire sur R, sa srie de Taylor a un rayon de convergence
gal + et
+ n
t
t
t R , e = .
n=0 n!
o c = sup
Voici une autre mthode pour trouver le dveloppement en srie entire dune fonction :
5.4.9 Exemple. Soit R et f (t) = (1 + t) . Alors f est dveloppable en srie entire
sur ] 1, +1[ et
( 1) . . . ( n + 2)( n + 1) n
t .
n!
n=1
+
t ] 1, 1[ , f (t) = 1 +
La fonction f est lunique solution, pour |t| < 1, de lquation diffrentielle avec conditions initiales :
(1 + t) f (t) = f (t)
(E)
f (0) = 1.
La somme dune srie entire de terme gnral ant n sera solution de (E) si et seulement
si :
+
+
(1 + t) ant n
= an t n
n=0
n=0
a0 = 1.
Comme la drive de la somme dune srie entire est la somme de la srie drive sur
son domaine de convergence, ceci quivaut :
(1 + t) nant n1 =
n=1
an t n
n=0
a0 = 1.
107
ou encore
n N, (n + 1)an+1 + nan = an
a0 = 1.
( 1) . . .( n + 2)( n + 1)
.
n!
n+
n
an+1
= lim
= 1.
n+
an
n+1
( 1) . . . ( n + 2)( n + 1) n
t
n!
pour n 1 et a0 = 1 est donc solution de (E) sur ] 1, +1[. Elle est aussi gale f sur cet
ensemble et f est bien dveloppable en srie entire sur ] 1, +1[.
La mthode employe dans cet exemple se gnralise toute fonction, unique solution
dune quation diffrentielle avec conditions initiales.
On peut galement dmontrer que la fonction f (t) = (1 + t) est dveloppable en srie
entire en lcrivant f (t) = e ln(1+t) et en appliquant le thorme de substitution 5.2.3.
f (n) (0)
.
Les coefficients sobtiennent alors en calculant directement
n!
On va appliquer les techniques des parties prcdentes pour obtenir partir de ces trois
cas dautres dveloppements.
Par combinaisons linaires
Cette technique est adapte aux fonctions circulaires, sinus (sin), cosinus (cos) mais nous
verrons ces dveloppements-l dans le paragraphe suivant, consacr lexponentielle
complexe car ils font appels la thorie complexe des sries entires. Elle est bien adapte
108
Chapitre 5.
Sries entires
cosht =
t 2n
, R = +
n=0 (2n)!
+
t 2n+1
=
, R = +
n=0 (2n + 1)!
=
A partir de ces dveloppements, on peut trouver ceux des fonctions tangente (tan) dfinie
sur ] , + [ et tangente hyperbolique (tanh), dfinie sur ] , +[ par quotient.
2 2
Par substitution
On remplace la variable t par t ou par t 2 :
1
at + b
1
1 t2
1
1 + t2
1
1 t2
1
1 + t2
b
1 + a n n
1 1
=
( ) t , R = , pour a, b 6= 0
a =
b 1 + b t b n=0 b
a
+
t 2n , R = +1
n=0
+
(1)nt 2n , R = +1
n=0
1.3 . . ..(2n 1) 2n
t , R = +1
2n n!
n=1
+
1.3 . . ..(2n 1) 2n
t , R = +1
= 1 + (1)n
2n n!
n=1
= 1+
Par drivation
+
1
= nt n1 , R = +1
2
(1 t)
n=1
p+1
(1 t)
p!
n=p
Par intgration
Cette technique est spcialement utile pour des fonctions dont la drive admet un dveloppement en sries entires connues. En particulier, cela sapplique la fonction logarithme nprien (ln), dfini sur ]0, +[ et aux fonctions rciproques des fonctions circulaires : arctangente (arctan) dfinie sur ] , +[, arcsinus (arcsin) et arccosinus (arccos)
dfinies sur [1, +1] ainsi quaux fonctions rciproques des fonctions hyperboliques, argument sinus hyperbolique (argsinh) et argument tangente hyperbolique (argth), dfinies
sur ] , +[ :
109
(1)n+1 n
n t , R = +1
0 1+s
n=1
Z t
+
1
ds
= t n , R = +1
ln(1 t) =
0 1s
n=1 n
Z t
+
2n+1
ds
n t
arctan t =
=
, R = +1
(1)
2
2n
+
1
0 1+s
n=0
Z t
+ 2n+1
t
ds
=
, R = +1
argth t =
2
0 1s
n=0 2n + 1
Z t
+
1.3 . . ..(2n 1) t 2n+1
ds
=t+
, R = +1
arcsint =
2n n!
2n + 1
0
1 s2
n=1
Z t
+
1.3 . . ..(2n 1) t 2n+1
ds
= t + (1)n
, R = +1
argsinh t =
2n n!
2n + 1
0
1 + s2
n=1
Z t
+
1.3 . . . .(2n 1) t 2n+1
ds
, R = +1
arccost =
= t
2
2
2n n!
2n + 1
0
1 s2
n=1
ln(1 + t) =
Z t
ds
Remarque. La fonction argument cosinus hyperbolique (argcosh) tant dfinie sur lintervalle [1, +[ qui nest pas symtrique par rapport lorigine, le problme de son dveloppement en srie entire lorigine ne se pose pas.
+ n
z
n=0 n!
Cette dfinition est bien justifie car on sait que le rayon de convergence de cette srie est
infini.
Toujours par extension du cas dune variable relle, on peut aussi dfinir les fonctions
circulaires cosinus et sinus dune variable complexe et les fonctions hyperboliques dune
variable complexe par :
5.6.2 Dfinition. Pour tout z C,
+
z2n+1
z2n
,
sinh
z
=
,
cosh z =
110
Chapitre 5.
5.6.3 Proposition.
1)
Sries entires
Pour tout z C,
ez + ez
ez ez
, sinh z =
,
2
2
eiz + eiz
eiz eiz
cos z =
, sin z =
.
2
2i
cosh z =
2)
Les fonctions cos et cosh sont paires et les fonctions sin et sinh sont impaires.
ez+z = ez ez .
5.6.6 Corollaire. Pour tous z, z C et pour tout n N,
ez 6= 0 ,
ez
zz
,
=e
z
e
(ez )n = enz .
De ce thorme, on peut aussi, par des calculs faciles, dduire les formules trigonomtriques et hyperboliques, que lon connat dj dans le cas dune variable relle :
5.6.7 Proposition. Pour tous z, z C,
cosh(z + z ) = cosh z cosh z + sinh z sinh z , sinh(z + z ) = sinh z cosh z + cosh z sinh z ,
cos(z + z ) = cos z cos z sin z sin z ,
sin(z + z ) = sin z cos z + cos z sin z .
En utilisant les parits ou imparits des fonctions trigonomtriques ou hyperboliques, on
obtient aisment des formules analogues avec z z . On en dduit le corollaire suivant :
5.6.8 Corollaire. Pour tout t R les fonctions cos et sin dfinies ci-dessus vrifient :
cos2 t + sin2 t = 1,
o lon utilise les notations abrges cos2 t = (cost)2 et sin2 t = (sint)2 .
Cette mthode donne donc une construction des fonctions sin et cos que lon connaissait
dj par leurs proprits gomtriques.
Cette dfinition de la fonction exponentielle complexe permet aussi de retrouver le module
et largument du nombre complexe ez :
111
iv) ez = ez si et seulement si z z 2i Z.
v) ei = 1.
Ce corollaire permet de retrouver en particulier le fait que les fonctions usuelles cost et
sint de la variable relle t sont priodiques, de priode 2 .
Cette dfinition de la fonction exponentielle dune variable complexe doit concider, dans
le cas o on se limite considrer la fonction dune variable relle, avec la fonction
exponentielle relle, dfinie comme tant la fonction solution de lquation diffrentielle
avec condition initiale :
u (t) = u(t)
u(0) = 1
Or, ceci est attest par le rsultat suivant :
5.6.11 Proposition. La fonction et est indfiniment drivale sur R et pour tout t R,
(et ) = et .
Dmonstration. On sait (thorme 5.3.2) quon a le droit de driver terme terme les
sries entires lintrieur du domaine de convergence. Puisque la srie de terme gnral
tn
a un rayon de convergence infini, on peut donc la driver terme terme la srie sur R
n!
tout entier.
tn
t n1
Comme ( ) =
, on a bien (et ) = et .
n!
(n 1)!
5.6.12 Corollaire. Dveloppement en srie entires des fonctions relles cos et sin.
eit + eit
2
it
e eit
sint =
2i
cost =
n=0
+
t 2n
(1)n (2n)! , R = +,
(1)n
n=0
t 2n+1
, R = +.
(2n + 1)!
Dmonstration. Il suffit de remarquer que les fonctions cos et sin dfinies dans la dfinition 5.6.2 concident, dans le cas dune variable relle t avec les fonctions habituelles.
112
Chapitre 5.
Sries entires
Remarque. Commes ces fonctions sont dfinies par des sommes de sries entires de
rayon de convergence infini, cette construction redmontre aussi le fait que les fonctions
sin et cos sont indfiniment drivables sur R. En drivant les sries terme terme, on
trouve :
sin t = cost et cos t = sint.
5.6.13 Application. Formule de Moivre.
Soient t1,t2 , . . .,tn des nombres rels. Alors :
cos(t1 + t2 + + tn ) + i sin(t1 + t2 + + tn )
= ei(t1 +t2 ++tn ) = eit1 eit2 eitn
= (cost1 + i sint1 )(cost2 + i sint2 ) (costn + i sintn ).
En identifiant les parties relles et les parties imaginaires de chaque membre, on trouve
une expression de cos(t1 + t2 + + tn ) et sin(t1 + t2 + + tn ) en fonction des produits
des fonctions cost j et sint j pour j = 1, 2, . . ., n.
En particulier, pour t1 = t2 = = tn , on retrouve des expressions de cos nt et sin nt en
fonction des produits de puissances des fonctions cost et sint.
On peut aussi considrer le problme inverse qui consiste exprimer les puissances nimes
de cost et sint en fonctions linaires de cos jt, sin jt, pour j = 1, 2, . . ., n :
5.6.14 Application. Linarisation de cosn t et sinn t.
Pour n N et t R, on peut crire :
2n cosn t = (eit + eit )n =
k=0
k=0
1 i 3
et que 1 + j + j2 = 0.
5.2 Exercice. On rappelle que j = +
2
2
1) Montrer que 1 + 2 j + 3 j2 = i j 3.
2) Dterminer le rayon de convergence de la srie de terme gnral, dfini pour p > 1 par
1
un (t) = (1 + 2 j + 3 j2 )nt n .
n
1
3) Pour |t| < , expliciter la somme partielle sn (t) et en dduire la somme s(t) de la
3
srie entire de terme gnral un (t).
113
sn =
1
.
p=1 p
dt.
0
1 t4
5.6 Exercice. On pose
x sint
.
1 2x cost + x2
1) Dvelopper f en srie entire selon les puissances de x.
2) Calculer :
Z
f (t, x) =
f (t, x) dt.
tn
n=0
nt n
n=0
n t
n=0
2 n
1
1t
t
=
(1 t)2
2t
1
+
.
= nt + n(n 1)t = t
(1 t)2 (1 t)3
n=0
n=0
n
114
Chapitre 5.
Sries entires
at(1 + t)
bt
c
+
+
.
3
2
(1 t)
(1 t)
1t
3 3i 3
3 i 3
=
= i j 3.
1) 1 + 2 j + 3 j = 1 1 + i 3
2
2
2
2
On en dduit :
sn (t) =
pt p1 =
p=1
Do
sn (x) =
Z x
0
1 nt n
.
1 t
1
dt n+1
1 t
Z x
0
tn
dt.
1 t
1
1
est born sur lintervalle
Etudions le deuxime terme : |x| < tant fix, le terme
1 t
3
dintgration. Soit M une borne. Alors
n+1
Z x
0
| x|n+1
1
tn
M
M
.
1 t
n+1
n+1
Z x
0
1
dt.
1 t
s(t) =
sn t n =
n=1
ln(1 t)
.
1t
115
n=0
n=0
p=0
n=0
n=0
(2p 1)(2p + 1) .
s(t) =
p=0
4) La srie entire de terme gnral ant n est majore sur [1, +1] par la srie numrique
1
qui est une srie convergente. La srie entire de terme
de terme gnral
(n + 1)(n 1)
gnral ant n converge donc normalement sur lintervalle [1, +1].
an + 2
Son rayon de convergence est 1 puisque
1 lorsque n +.
an
5) En drivant terme terme la somme de la srie entire de terme gnral sn (t), on peut
s (t) 1
dvelopper la fonction g(t) =
pour t [1, +1] , t 6= 0, soit :
t
g(t) =
p=0
(1) p+1 t 2p
(2p1)
g (t) =
(1) pt 2p = 1 + t 2 .
p=0
116
Chapitre 5.
Sries entires
Z x
t arctant dt + x.
1
= an un ,
1 u n=0
n
1.3 . . .(2n 1) C2n
= 2n . On en dduit, pour |t| < 1 :
o an =
2.4 . . .(2n)
2
t
1 t4
ant 4n+ .
n=0
Soit x [0, 1[ fix. La srie entire de terme gnral ant 4n+ converge normalement
sur [0, x] puisquelle est domine par la srie numrique de terme gnral an x4n+ qui
converge. On peut donc lintgrer terme terme sur [0, x], soit :
Z x
0
t
1 t4
dt =
Z x
n=0 0
ant 4n+ dt =
an
n=0
x4n+ +1
.
4n + + 1
Z x
0
t
1 t4
dt , g(x) =
an
n=0
x4n+ +1
.
4n + + 1
On vient de dmontrer que pour tout x [0, 1[, f (x) = g(x). Il est clair que
lim f (x) =
x1
Z 1
0
t
1 t4
dt.
Il suffit donc de calculer limx1 g(x). Comme g(x) est la somme dune srie de fonctions
continues sur [0, 1], il suffit de montrer que la srie est normalement convergente sur cet
intervalle, pour obtenir lgalit limx1 g(x) = g(1). Pour cela, montrons que la srie de
an
x4n+ +1
terme gnral bn =
qui domine la srie entire de terme gnral an
4n + + 1
4n + + 1
sur [0, 1], est convergente.
On a :
2n 1 4n + 3
3
1
bn
=
= 1 + o( 2 ).
bn1
2n 4n + + 1
2n
n
Ce quotient tend vers 1 lorsque n , on est donc dans le cas o le test de dAlembert
ne permet pas de conclure.
1
3
On va donc comparer cette srie avec la srie de terme gnral cn = q , avec 1 < q < ,
n
2
qui est convergente.
cn
q
1
On a :
= 1 + o( 2 )
cn1
n
n
n
.
Donc
cn1 bn1
n
117
cn
cn
bn
, ce qui, de proche en
bn1
cn1
b1
proche, implique que bn cn .
c1
Comme la srie de terme gnral cn converge, la srie de terme gnral bn converge galement.
On en dduit que la fonction g est continue sur [0, 1] et par suite :
g(1) =
Z 1
dt =
an
4n + + 1
1 t4
n=0
n
C2n
= 2n
.
n=0 2 (4n + + 1)
0
.
f (t, x) =
1 2x cost + x2 2i 1 xeit 1 xeit
f (t, x) =
1 n nit
x e enit = xn sin nt.
2i n=0
n=0
2) Soit |x| < 1 fix. La srie de fonctions de terme gnral un (t) = xn sin nt est normalement convergente sur le domaine t [0, ] car elle est domine par la srie numrique
convergente de terme gnral xn .
On peut donc lintgrer terme terme sur [0, ], soit :
g(x) =
Z
0
f (t, x) dt =
h
n
x
n=0
n=0 0
i
cos nt
=2
xn sin nt dt
x2m+1
= 2 argth x.
m=0 2m + 1
Chapitre 6
Sries trigonomtriques
an + ibn
an ibn
, cn =
.
2
2
Dmonstration. On crit eint = cos nt + i sin nt et eint = cos nt i sin nt. Do en remplaant : cn + cn = an et cn cn = ibn .
Nous utiliserons plutt lcriture exponentielle qui donne des calculs plus simples.
6.1.3 Notations. Nous conviendrons de noter
(cn eint + cn eint ),
une srie trigonomtrique dfinie par son terme gnral :
u0 (t) = c0 et n > 1 , un (t) = cn eint + cn eint .
Il faut remarquer que lentier n = 0 ne joue pas le mme rle que les autres entiers.
Dans les chapitres prcdents, nous avons dj rencontr des cas de convergence des sries
trigonomtriques :
120
6.1.4 Proposition.
i) Si les sries numriques de terme gnral cn et cn sont
absolument convergentes, la srie trigonomtrique de terme gnral (cn eint + cn eint )
est uniformment convergente sur R.
ii) Si les suites (cn )n>1 et (cn )n>1 sont positives dcroissantes et si elles convergent vers 0, la srie trigonomtrique de terme gnral (cn eint +cn eint ) converge uniformment sur tout intervalle de la forme [2k + , 2(k + 1) ], o k Z et 0 < < .
Dmonstration. i) Si les sries numriques de termes gnraux cn et cn sont absolument
convergentes, on crit :
n > 1 , t R , |un (t)| |cn | + |cn | .
La srie de terme gnral un est donc normalement convergente sur R et donc uniformment convergente sur R par la proposition 4.2.10.
ii) On va utiliser la transformation dAbel (thorme 2.5.1 et corollaire 2.5.5) :
On commence par majorer pour tout n N, les termes
n
An (t) =
ei jt et An(t) =
j=0
ei jt ,
j=0
An (t) =
j=0
i jt
n+1
ei 2 t sin(n + 1) 2t
1 ei(n+1)t
.
=
=
t
1 eit
sin 2t
ei 2
On vrifie le critre de Cauchy uniforme (4.2.7) pour la suite des sommes partielles
(sn )nN de la srie de terme gnral un , en crivant : t [2k + , 2(k + 1) ],
q
sq (t) s p1(t) =
=
un(t) =
n=p
q
n=p
n=p
q
cn eint + cn eint
[An(t)cn + An (t)cn]
n=p
n=p
n=p
121
Ce dernier terme tend vers 0 par hypothse. La suite des sommes partielles de la srie de
terme gnral un est uniformment de Cauchy sur lintervalle [2k + , 2(k + 1) ]
et donc convergente, ce qui veut bien dire que la srie de terme gnral un converge
uniformment sur cet intervalle.
Les rsultats de la proposition 6.1.4 ont des analogues pour la reprsentation des sries
trigonomtriques avec les fonctions cos nt et sin nt :
6.1.5 Proposition.
i) Si les sries numriques de termes gnraux an et bn sont
absolument convergentes, la srie trigonomtrique de terme gnral (an cos nt + bn sin nt)
est uniformment convergente sur R.
ii) Si les suites (an )n>1 et (bn )n>1 sont positives dcroissantes et si elles convergent
vers 0, la srie trigonomtrique de terme gnral (an cos nt + bn sin nt) converge uniformment sur tout intervalle de la forme [2k + , 2(k + 1) ], o k Z et 0 < < .
cos nt
sin nt
et
sont uniform6.1.6 Exemple.
i) Les sries de termes gnraux
2
n
n2
ment convergentes sur R.
cos nt
ii) La srie de terme gnral
converge uniformment sur tous les intervalles
n
de la forme [2k + , 2(k + 1) ], 0 < < . Elle converge donc simplement sur
R 2 Z. On vrifie aisment quelle ne converge pas simplement sur R tout entier, voir
par exemple en t = 0.
sin nt
iii) La srie de terme gnral
converge uniformment sur tous les intervalles
n
de la forme [2k + , 2(k + 1) ], 0 < < . Elle converge donc simplement sur
R 2 Z. On vrifie aisment quelle converge simplement sur R tout entier.
6.1.7 Proposition. (Srie trigonomtrique associe une srie entire)
On considre une srie entire de terme gnral an zn et de rayon de convergence R. Alors
pour tout r < R, la srie trigonomtrique de terme gnral an rn eint converge normalement
sur R.
Dmonstration. Par dfinition du rayon de convergence dune srie entire, pour r < R,
la srie numrique de terme gnral
an rn est absolument convergente (thorme 5.1.2).
Or pour tout n N, an rn eint |an | rn . Donc la srie trigonomtrique de terme gnral
an rn eint est domine sur R en module par une srie numrique convergente et par suite
elle est bien normalement convergente sur R.
122
+
1+z
= 1 + 2 zn . Donc pour r < 1, on
1z
n=1
+
1 + reit
=
1
+
2
rn eint .
it
1 re
n=1
En prenant les parties relles et imaginaires dans cette dernire galit, on trouve des
identits remarquables, vraies pour r < 1 :
t R , e
t R , m
+
1 r2
=
1
+
2
rn cos nt,
1 + r2 2r cost
n=1
1 + reit
1 reit
1 + reit
1 reit
+
2r sint
=
2
rn sin nt.
2
1 + r 2r cost
n=1
123
(cn e
n=0
ins
ins
+ cn e
) ds.
n=0
ds .
124
Pour tout k Z, 2 ck =
Z 2
0
s(t)eikt dt.
Z 2
0
Z 2
"
ei(p+q)t
eipt eiqt dt =
p+q
ipt iqt
e e dt =
Z 2
0
#2
=0
dt = 2 .
Pour tout n
2 a0 =
Z 2
N ,
an =
Z 2
0
s(t) cosnt dt et bn =
s(t) dt.
Z 2
0
125
Pour tout p, q Z :
Z 2
i(p+q)t
dt =
Z 2
0
[(cos pt cos qt sin pt sin qt) + i(sin pt cos qt + cos pt sin qt)] dt
= 2 p,q
[(cos nt cos mt sin nt sin mt) + i(sinnt cos mt + cos nt sin mt)] dt = 2n,m = 0,
car m + n 6= 0.
Z 2
0
[(cos nt cos mt + sin nt sin mt) + i(sinnt cos mt cos nt sin mt)] dt = 2n,m ,
En sparant les parties imaginaires et les parties relles puis en faisant successivement des
sommes et des diffrences, on trouve :
Z 2
0
Z 2
0
cos nt cos mt dt =
Z 2
cos2 nt dt =
Z 2
Z02
0
sin nt sin mt dt = 0 si n 6= m,
sin2 nt dt = ,
bn =
s(t) sinnt dt =
s(t) sinnt dt = 0.
126
6.3.5 Dfinition. Soit f une fonction dfinie sur R, priodique de priode 2 , intgrable
sur [0, 2 ]. On appelle srie de Fourier de f et on note SF( f ) la srie trigonomtrique de
terme gnral
(cn eint + cn eint ),
respectivement :
(an cos nt + bn sin nt),
o les coefficients , appels coefficients de Fourier de f sont donns par la formule :
n Z , 2 cn =
Z 2
0
f (t)eint dt,
respectivement :
an =
Z 2
0
f (t) cosnt dt , bn =
Z 2
0
f (t) sinnt dt , 2 a0 =
Z 2
f (t) dt.
lim
tt0 ,t>t0
f (t)
.
De mme, si la limite de f (t) existe quand t t0 par valeurs infrieures, on notera
f (t0 0) =
lim
tt0 ,t<t0
f (t).
Z b
| |+ a
f (t)ei t dt = lim
Z b
| |+ a
Z b
| |+ a
f (t) cos t dt = 0.
i t
f (t)e
dt =
j=0
Z a j+1
aj
i t
ei a j+1 ei a j
.
dt = j
i
j=0
k
lim
Z b
127
2 j
j=0 | |
k
f (t)ei t dt = 0.
| |+ a
Si f est intgrable sur [a, b], pour tout > 0, il existe des fonctions en escalier et sur
[a, b] telles que
t [a, b] , | f (t) (t)| (t) et
Z b
a
(t) dt .
2
i t
f (t)e
dt =
Z b
a
i t
(t)e
dt +
Z b
a
Do :
Z b
Z b
Z b
i t
(t)ei t dt + [ f (t) (t)]ei t dt
f
(t)e
dt
a
a
Zab
Zb
(t)ei t dt +
| f (t) (t)| dt
a
Zab
(t)ei t dt + .
2
a
Z b
i
t
a f (t)e dt ,
lim
Z b
| |+ a
f (t)ei t dt = 0.
128
tt0 ,t<t0
f (t0 + h) f (t0 0)
f (t0 + h) f (t0 + 0)
et lim
existent
ii)
lim
h
h0,h<0
h
h0,h>0
alors la srie de Fourier de f converge au point t0 et a pour somme
1
[ f (t0 + 0) + f (t0 0)] .
2
+n
c j ei jt0 ,
j=n
Z 2 +n
i ju
j=n
1
] f (t0 + u) du =
2
Z + +n
ei ju ] f (t0 + u) du.
j=n
+n
ei ju :
j=n
pour u 2 Z,
+n
ei ju = 2n + 1,
j=n
pour u
/ 2 Z,
+n
j=n
2n
inu e
=e
(2n+1)
2 iu
iu
e2
1 e(2n+1)iu
1 eiu
(2n+1)
2 iu
iu
(2n+1)
2 iu
iu
e 2 e 2
sin 2n+1
2 u
.
sin u2
129
On remarque que
sin 2n+1
2 u
,
u0
sin 2u
2n + 1 = lim
f (t0 + u) f (t0 + 0) u
f (t0 + u) f (t0 + 0)
=
,
u
sin 2
u
sin u2
qui elle, est continue en 0 par hypothse et donc aussi intgrable sur [0, ].
En appliquant le lemme 6.3.8, on obtient que
lim
Z
f (t0 + u) f (t0 + 0)
sin 2u
n+ 0
sin
2n + 1
u du = 0.
2
Or
Z
f (t0 + 0)
0
sin u2
2n + 1
u du =
sin
2
Z
0
+n
f (t0 + 0)
= f (t0 + 0)
Z
0
j=n
+n
j=n
ei ju
du
ei ju
du = f (t0 + 0).
Z
f (t0 + u)
n+ 0
sin 2u
sin
2n + 1
u du = f (t0 + 0).
2
sin
2n + 1
u du = f (t0 0).
2
Z 0
f (t0 + u)
n+
sin u2
Donc
1
[ f (t0 + 0) + f (t0 0)] .
n+
2
6.3.11 Exemple.
i) Soit f la fonction de priode 2 sur R dfinie par :
f (t) = 1 pour t ]0, [, f (t) = 1 pour t ] , 0[, f (0) = f ( ) = f ( ) = 0.
Alors
4 + sin(2n + 1)t
[SF( f )](t) =
.
n=0 2n + 1
lim Sn (t0 ) =
ii)
Alors,
Soit g la fonction de priode 2 sur R telle que g(t) = |t| pour |t| .
[SF(g)](t) =
iii)
Alors,
4 + cos(2n + 1)t
.
2 n=0
(2n + 1)2
+
2
(1)n cos nt
+4
.
2
3
n
n=1
130
Ces trois fonctions vrifient les hypothses du thorme de Dirichlet en tout point t R
et dans les trois cas, on a t R :
1
1
1
[ f (t +0) + f (t 0)] = f (t) , [g(t +0) +g(t 0)] = g(t) , [h(t +0) +h(t 0)] = h(t).
2
2
2
Donc :
4 + sin(2n + 1)t
2n + 1 ,
n=0
4 + cos(2n + 1)t
,
t R, g(t) = [SF(g)](t) =
2 n=0 (2n + 1)2
+
2
(1)n cos nt
+4
.
t R, h(t) = [SF(h)](t) =
3
n2
n=1
6.3.12 Application. Dans les trois exemples prcdents, on obtient des identits remarquables :
4 + sin(2n + 1)t
2n + 1 .
n=0
4 + cos(2n + 1)t
.
ii) t [ , + ] , |t| =
2 n=0 (2n + 1)2
Do en prenant t = 0,
1
2 +
=
.
2
8
n=0 (2n + 1)
i) t ] , + [ , sgnt =
1
1 1
1
1
1
=
+
=
+
n2 4p2 (2p + 1)2 4 n2 (2p + 1)2 ,
n=1
n=1
p=1
p=0
p=0
on en dduit
iii) t [ , + ] , t 2 =
Do en prenant t = 0,
2
4 +
1
1
=
=
2 3 (2n + 1)2 6 .
n=0
n=1 n
+
(1)n cos nt
2
+4
.
3
n2
n=1
2
(1)n
=
.
12 n=1 n2
Remarque. Le thorme de Dirichlet donne des conditions suffisantes pour quune srie
de Fourier converge en un point t0 . Il sagit donc dune convergence simple. Dans un
deuxime temps, on peut se poser la question de la convergence uniforme de cette srie :
dans lexemple 6.3.11, on voit que la srie de Fourier de f ne converge pas uniformment
sur R alors que celle de g converge uniformment. Il ny a pas de thorme gnral, pour
tudier la convergence uniforme dune srie de Fourier, il faut tudier ces sries au cas
par cas.
Nous citons sans dmonstration un rsultat qui est trs utile dans la pratique, le thorme
de Parseval :
131
6.3.13 Thorme. Soit f une fonction dfinie sur R, priodique de priode 2 , intgrable
sur [0, 2 ].
Soit (cn eint + cn eint ), [respectivement (an cos nt + bn sin nt)] la srie de Fourier de f .
Alors :
"
#
Z +
+
+
| f (t)|2 dt = 2 |c0 |2 + (|cn |2 + |cn |2 ) = 2 |a0 |2 + |an |2 + |bn |2 .
n=1
n=1
Z +
| f (t)| dt =
Comme
Z +
Z +
int imt
e e
n=1
dt = 0 si n + m 6= 0 et
Z +
c0 +
(cmemit + cmemit )
m=1
dt.
Le cas des coefficients de Fourier (an )nN et (bn )nN se traite de la mme faon.
Remarque. Le thorme de Parseval est vrai mme si f nest pas la somme de sa srie de
Fourier.
6.3.14 Application. En utilisant les exemples 6.3.11 ii) et iii), le thorme de Parseval
donne de nouvelles identits remarquables :
#
"
Z
16
2
1
ii)
+ 2
.
|t|2 dt = 3 =
3
2
p=0 (2p + 1)4
Do
1
4
=
.
4
96
p=0 (2p + 1)
En utilisant le calcul suivant :
1 1
1
1
1
1
n4 = 16p4 + (2p + 1)4 = 16 n4 + (2p + 1)4 ,
n=1
p=1
p=0
p=0
n=1
on en dduit
16
1
1
4
=
=
4 15 (2p + 1)4 90 .
p=0
n=1 n
#
"
Z
4
1
2
2
iii)
+ 16 4 ,
t 4 dt = 5 =
5
9
n=1 n
ce qui donne de nouveau dune autre manire :
1
4
=
n4 90 .
n=1
132
sin2 n= ( n)2
6.2 Exercice. I Z
Soit f une fonction continue et priodique, dfinie sur R. On dsigne par
1
f (t)eint dt, les coefficients de Fourier de f .
cn ( f ) = (2 )
On note Sk f (u) =
n=k
k
cn ( f )einu = c0 + cn ( f )einu + cn ( f )einu la somme partielle
n=1
de la srie de Fourier de f .
I1) Pour k et N entiers positifs, on dfinit
Dk (x) = (2 )1
n=k
"
et
Montrer que
n=1
1 N
Dk (x).
N + 1 k=0
FN (x) =
Z
"
einx
n=0
#"
eimx
m=0
1
sin [(N + 1)x/2] 2
FN (x) =
.
2 (N + 1)
sin (x/2)
I 3) On dfinit
TN f (u) =
Montrer que lon a
1 N
Sk f (u).
N + 1 k=0
Sk f (u) =
f (t)Dk (u t) dt,
TN f (u) =
f (t)FN (u t) dt.
et
133
II Dans cette partie, (FN )N0 dsigne une suite de fonctions de R dans R vrifiant les
proprits suivantes :
(A) Pour tout N N et x R, FN (x) 0.
(B) Pour tout N N et x R, FN (x) = FN (x + 2 ).
(C) Pour tout N N,
FN (x) dx = 1.
(D) Pour tout > 0 et > 0, il existe N0 tel que, pour tout N N0 ,
Z
FN (x)dx +
FN (x) dx .
f (t)FN (u t) dt.
fN (u) =
f (u) fN (u) =
et
II 2) En remarquant que f est uniformment continue, montrer que pour tout > 0, il
existe > 0 tel que, pour tout u R,
Z
II 3) ( , ) tant donns par la question prcdente, montrer quil existe N0 tel que pour
tout N N0 , on a
Z
o M = maxxR | f (x)|.
II 4) En dduire que la suite fN converge uniformment vers f sur R.
III 1) Montrer que les fonctions FN de la partie I vrifient les hypothses (A), (B) et (C)
de la partie II.
III 2) Montrer que pour tout ]0, ], on a
1
,
FN (x) 2(N + 1) sin2 ( /2)
pour tout x [ , ] tel que |x| , et en dduire que les fonctions FN de la partie I
vrifient lhypothse (D) de la partie II.
III 3) En dduire le rsultat suivant : Si f est une fonction continue de priode 2 , les
moyennes de Cesro TN f des sommes partielles de sa srie de Fourier convergent uniformment vers f sur R.
134
n Z , 2 cn =
n N
, an =
Z 2
Z02
0
f (t)eint dt,
f (t) cosnt dt , bn =
Z 2
0
f (t) sinnt dt , 2 a0 =
Z 2
f (t) dt.
b) Montrer que an = 0 si n est impair (intgrer sur lintervalle [0, ] et effectuer le changement de variable t t).
3) a) Dterminer deux nombres rels A et B tels que
2
1
=
sin t sin nt dt =
[cos( n)t cos( + n)t] dt
0
0
sin ( n) sin ( + n)
2n
=
= (1)n
sin .
( n)
( + n)
( 2 n2 )
Z
Do
[SF( f )](t) = sin
2n sin nt
(1)n ( 2 n2 ) .
n=1
Z
0
cos t dt =
sin
,
135
et pour n > 1 :
an
2
1
=
cos t cos nt dt =
[cos( n)t + cos( + n)t] dt
0
0
sin ( n) sin ( + n)
2
=
+
= (1)n
sin .
( n)
( + n)
( 2 n2 )
Z
Do
[SF(g)](t) =
sin
2 cos nt
sin (1)n
.
( 2 n2 )
n=1
La fonction g est gale la somme de sa srie de Fourier puisquelle est de classe C1 par
morceaux, sauf ses points de discontinuit ventuels {(2n + 1) , n Z}.
4) En appliquant les formules du cours, on trouve :
[SF(h)](t) =
et donc :
|h(t)|2 dt = 2
+
1
2
=
.
2
sin n= ( n)2
FN (t) dt =
1 N
N + 1 k=0
Dk (t) dt =
1 1 N
2 = 1 .
2 N + 1 k=0
I 2) On a
FN (x) =
N
k
N
1 N
1
1
inx
D
(x)
=
e
=
k
(N + 1 |k|) eikx ,
N + 1 k=0
2 (N + 1) k=0
2
(N
+
1)
n=k
k=N
et
1
2 (N + 1)
m=0
eimx
m=0
eimx
N
1
ei(mn)x
2 (N + 1) m,n=0
N
1
(N + 1 |k|) eikx .
2 (N + 1) k=N
136
I 3) On calcule :
k
Sk f (u) =
=
n=k
Z
1 k inu
e
2 n=k
1
ein(ut) dt =
2 n=k
cn ( f )einu =
k
f (t)
f (t)eint dt
f (t)Dk (u t) dt,
et
1 N
1 N
S
f
(u)
=
TN f (u) =
k
f (t)Dk(u t) dt
N + 1 k=0
N + 1 k=0
Z
Z
1 N
D
(u
t)
dt
=
=
f (t)
f (t)FN (u t) dt.
k
N + 1 k=0
II 1) On calcule :
fN (u) =
=
f (t)FN (u t) dt =
Z u
u+
f (u s)FN (s) ds
II 2) f est uniformment continue sur [0, 2 ] comme fonction continue sur un compact
et donc aussi sur R par priodicit. Do, pour tout > 0, il existe > 0 tel que |t|
implique que pour tout u R,
| f (u) f (u t)| .
On peut donc multiplier par FN (t) et intgrer en t [ , ] : pour tout u R,
Z
FN (t) dt
FN (t) dt .
FN (t) dt +
FN (t) dt .
Donc
Z
137
II 4) On a montr que pour tout > 0 il existe N0 tel que pour N N0 , on a pour tout
u R,
fN (u) f (u) =
=
+ 2M .
1
FN (x) 2(N + 1) sin2 ( /2)
.
Do :
Z
FN (t) dt +
( )
1
1
.
FN (t)dt 2( )
2
2
2(N + 1) sin ( /2)
sin ( /2) N + 1
1
( )
tend vers 0 quand N , la suite de fonctions FN
sin2 ( /2) N + 1
vrifie bien lhypoythse (D) de la partie II.
III 3) Si f est une fonction continue de priode 2 , les moyennes de Cesro des sommes
partielles de sa srie de Fourier sont les fonctions TN f de la partie I. Les fonctions fN de
la partie II concident, dans le cas o les FN sont celles de la partie I, avec les fonctions
TN f . On a montr dans la partie II que cette suite de fonctions converge uniformment
vers f sur R, ce qui prouve le rsulat cherch.
Comme la suite
an =
138
cos t =
eit + eit
2
3
1
3
1 3it
e + 3eit + 3eit + e3it = cos 3t + cost.
8
4
4
) (1) p(
)
2
2p 3 2p + 3
2
2p 1 2p + 1
8 3(1) p
.
=
(4p2 1)(4p2 9)
a2p =
c) Le terme
p4 a2p =
3
quand p tend vers +.
2
4) La srie de Fourier de f est donc :
tend vers
8 3p4
(4p2 1)(4p2 9)
24
(1) p cos 2pt
4
+
(4p2 1)(4p2 9) .
3
p1
Par le thorme de Dirichlet, puisque f est de classe C1 sur R, cette srie converge simplement sur R et a pour somme f .
(1) p cos 2pt C
la convergence est normale donc uniforme sur R.
5) Comme
(4p2 1)(4p2 9) p4
Chapitre 7
Intgrales de Riemann dpendant dun paramtre
Z b
f (t) dt = lim
Z b
n a
fn (t) dt.
7.1.2 Dfinition. Lorsquil existe M R tel que la suite de fonctions ( fn )nN , dfinies sur
[a, b], vrifie :
n N, t [a, b], | fn (t)| M,
on dit que la suite ( fn )nN est uniformment borne.
Ce thorme se dmontre dans un cadre trs gnral, avec des outils que nous navons pas
dvelopps ici.
On peut remarquer que cest une extension du thorme 4.5.1.
En effet, lhypothse du thorme de convergence borne est moins forte que la convergence uniforme de la suite ( fn )nN sur [a, b] : par exemple, la suite de fonctions t n sur
[0, 1] ne converge pas uniformment sur cet intervalle alors quelle converge simplement
et est domine par la fonction constante gale 1.
En revanche, la conclusion est la mme : lintgrale de la limite de la suite ( fn )nN sur
[a, b] est gale la limite de la suite des intgrales des fonctions ( fn )nN sur [a, b].
Z b
a
f (t, x) dt.
140
Chapitre 7.
7.2.1 Thorme. Soit f : [a, b] I K, une fonction continue par rapport chacune des
deux variables et borne sur [a, b] I. Alors la fonction F, dfinie pour x I par
F(x) =
Z b
f (t, x) dt,
Z b
a
f (t, x0) dt =
Z b
xx0 a
lim f (t, x) dt
xx0
Za b
f (t, x) dt,
1
(t 2 + 1)(t 2 + x2 )
F(x) =
Z 1
0
(t 2 + 1)(t 2 + x2 )
1
2
2
= x2 1 + 2x 1 2 .
2
2
2
(t + 1)(t + x ) t + 1 t + x
141
Do
Z 1
0
t i1
1
1 1h
dt
1
arctg
=
[arctgt]
0
(t 2 + 1)(t 2 + x2 )
x2 1
x2 1 x
x 0
1
1
1
= 2
.
arctg
x 1 4 x
x
1
1
Le dveloppement de Taylor de la fonction arctg quand x 1 est
x
x
Donc
1
1
1
arctg = (x 1)( + ) + O (x 1)2 .
x
x
4
4 2
1
lim 2
x1 x 1
1
1
arctg
4 x
x
Z 1
0
dt
(t 2 + 1)2
1
+ .
8 4
= lim F(x) =
x1
1
+ .
8 4
Z b
f (t, x) dt.
7.3.1 Thorme. Soit f : [a, b] I K, une fonction continue par rapport chacune
des deux variables et borne sur [a, b] I. Si f a une drive partielle par rapport x,
f
, continue par rapport chacune des deux variables et borne sur [a, b] I, alors la
x
fonction F, dfinie pour x I par
F(x) =
Z b
f (t, x) dt,
F (x) =
=
Z
f (t, x) dt
Z ba
a
f
(t, x) dt,
x
142
Chapitre 7.
f
t [a, b], x I, | f (t, x)| M et (t, x) M.
x
Comme prcdemment, on fixe > 0 tel que [x0 , x0 + ] I et soit (xn )nN une suite
dlments de [x0 , x0 + ] I convergeant vers x0 . On peut supposer sans perte de
gnralit que xn 6= x0 pour tout n N.
Pour dmontrer la drivabilit de la fonction F en x0 , on crit, pour tout n N :
Z b
f (t, xn) f (t, x0)
F(xn ) F(x0 )
=
dt.
xn x0
xn x0
a
On dfinit la suite de fonction (hn )nN pour t [a, b] par :
f (t, xn ) f (t, x0)
xn x0
Puisque la fonction f est continment drivable par rapport la variable x en x0 , cette
f
suite converge simplement vers la fonction
(t, x0), qui par hypothse est intgrable par
x
rapport la variable t.
De plus, par le thorme des accroissements finis, il existe yn [x0 , x0 + ] tel que
f
(t, yn). Donc, les fonctions hn sont donc uniformment bornes par M sur
hn (t) =
x
[a, b].
En appliquant le thorme de convergence borne, 7.1.1, on en dduit que la suite
hn (t) =
F(xn ) F(x0 )
nN
xn x0
Z b
f
lim
xx0
F(x) F(x0 )
=
x x0
Z b
f
a
F (x0 ) =
Z b
f
a
t, x0 dt .
Z 1
0
dt
(t 2 + x2 )n
2nx
f
(t, x) = 2
.
x
(t + x2 )n+1
f
sont continues par rapport chacune des deux variables sur leur
x
domaine de dfinition. En revanche, elles ne sont pas bornes sur [0, 1] R.
Les fonctions f et
143
On va donc nouveau utiliser un argument de saturation : soit a, A > 0, alors les fonctions
f
1
2A
f et
sont bornes sur [0, 1] [A, a] [a, A] par 2n et 2(n+1) respectivement. On
x
a
a
peut donc appliquer le thorme 7.3.1 sur ce domaine et on obtient la continuit de F sur
[0, 1] [A, a] [a, A].
Comme ceci est valable pour tout a, A > 0, on en dduit que F est drivable sur [0, 1] R .
Ce rsultat permet de calculer les fonctions Fn par rcurrence :
Pour x 6= 0, on a :
Z 1
dt
Fn (x) = 2nx
.
2
2 n+1
0 (t + x )
Do la relation de rcurrence : Fn (x) = 2nxFn+1 (x).
1
1
Sachant que F1 (x) = arctg , cette relation permet de calculer les fonctions Fn .
x
x
Z v(x)
f (t, x) dt,
Z v(x)
f
a
Z v(x0 )
a
v(x0 )
a
f (t, x) dt +
Z v(x)
f (t, x) dt
v(x0 )
f (t, x) dt
Z v(x0 )
a
Z v(x0 )
a
f (t, x0) dt = 0.
144
Chapitre 7.
v(x)
v(x0 )
v(x)
xx0
La fonction F est donc bien continue en x0 et donc aussi sur I tout entier.
Sous les hypothses du 2), quitte
changer sa valeur, on suppose que M est tel que, pour
f
tout t [a, b] et x I, (t, x) M et on crit :
x
Z v(x0 )
Z v(x)
Z v(x)
F(x) =
f (t, x) dt +
f (t, x0 ) dt +
f (t, x) f (t, x0) dt.
v(x0 )
La fonction x
Z v(x0 )
a
v(x0 )
Z y
v(x0 )
Z v(x0 )
f
a
(t, x0) dt
v(x0 )
Par continuit de la fonction v, le terme |v(x) v(x0 )| tend vers 0 quand x tend vers x0 et
ceci implique que :
Z v(x)
f (t, x) f (t, x0) dt = o(x x0 ).
v(x0 )
On dduit de ces trois rsultats que la fonction F est bien drivable en x0 avec
F (x0 ) =
Z v(x0 )
f
a
(t, x0) dt + v (x0 ) f v(x0 ), x0 .
145
7.4.2 Exemple. Soient a R et f une fonction continue sur [a, +[. On pose, pour tout
x ]a, +[,
Z x
F1 (x) = (x t) f (t)dt.
a
Pour pouvoir appliquer les rsulats de ce chapitre, fixons b ]a, +[. On va raisonner pour
t [a, b] et x ]a, b[.
Par le thorme 7.4.1, F1 est drivable sur ]a, b[ et on a :
F1 (x) =
Z x
a
f (t)dt + (x x) f (x) =
Z x
f (t)dt.
On en dduit :
F1 (x) = f (x) pour x ]a, b[.
Comme cette identit est vraie pour tout b ]a, +[, elle est vraie galement pour sur tout
lintervalle ]a, +[.
De la mme faon, on montre par rcurrence que, pour x ]a, +[, si
Fn (x) =
alors :
Z x
(x t)n
n!
(n+1)
Fn
f (t)dt,
(x) = f (x).
Z +
ln 1 + x2 2x cos d .
t = tan ).
2
3) En dduire F sur lintervalle ] 1, +1[.
7.2 Exercice. Pour x R, on dfinit la fonction
Z p
|1 x cost| dt.
f (x) =
0
1) Vrifier que f est bien dfinie pour tout x R et que f est une fonction continue sur R.
2) Montrer que f est une fonction paire de x.
3) Montrer que f et 2 fois drivable pour |x| < 1 et quelle vrifie la relation :
4x(x2 1) f (x) + 4(x2 1) f (x) x f (x)
o lon a pos :
R(t, x) =
t
2 sint
1 x cost
R(t, x) dt,
146
Chapitre 7.
Z +
2
ex sint dt.
1) Vrifier que f est bien dfinie pour tout x R et que f est une fonction continue sur R.
2) Montrer que f est drivable sur R et que :
f (x) =
Z +
2
2
(On pourra faire une intgration par parties dans lintgrale dfinissant f )
4) Rsoudre les mmes questions avec la fonction :
g(x) =
Z
0
ex cost dt.
Z +
ln(1 + x2 2x cos ) d .
2(x cos )
f ( , x) =
.
x
1 + x2 2x cos
Cette fonction est galement continue continue sur .
La fonction F est donc drivable sur ] 1, +1[ et on a :
Z +
Z +
2(x cos )
d .
2
x
1 + x 2x cos
F (x) =
F (x) = 4
=4
Z +
f ( , x) d =
1t
x 1+t
2
dt
2
2
1 + x2 2x 1t 2 1 + t
1+t
Z + 2
t (x + 1) + (x 1)
dt
dt
(x + 1)
1 + t2
Z
+
1
(x 1)(x + 1) (x 1)2
1
dt
+ 2
=4
2
2 + (x 1)2 ][1 + t 2 ]
(x
+
1)
1
+
t
[t
(x
+
1)
Z +
1
1
f (x)
g(x)
=4
+ 2
+
dt,
2
2
2
t (x + 1) + (x 1)
1 + t2
(x + 1) 1 + t
=4
t 2 (x + 1)2 + (x 1)2
147
o lon calcule : f (x)(1 +t 2) + g(x) t 2(x + 1)2 + (x 1)2 = (x 1)(x + 1) (x 1)2, ce
qui donne, si lon suppose x 6= 0 :
g(x) =
(x 1)
(x + 1)2 (x 1)
, f (x) = +
.
2x
2x
On en dduit donc :
1
(x + 1)2 (x 1)
(x 1) 1
1
1
dt
+
F (x) = 4
2
2 (x + 1)2 + (x 1)2
2
+
1)
1
+
t
2x
t
2x
1
+
t
(x
4
(x + 1)2 (x 1)
1
(1 + x) (x 1)
=
1+
(x + 1)
2x
(x+ 1)2 (1 x)
2x
(x + 1) (x 1)
4
1
.
=
(x + 1)
2x
2x
Z +
Z p
0Z
|1 + x cos t|dt =
Z 0p
|1 x cos u| du
|1 x cos u| du = f (x).
3) La fonction (t, x) est 2 fois continment drivable en x sur [0, ]] 1, +1[ avec :
cost
(t, x) =
x
1 x cost
et
2
(cost)2
.
(t,
x)
=
x2
4(1 x cost)3/2
Z
0
cost
dt
1 x cost
et
f (x) =
Z
0
(cost)2
dt .
4(1 x cost)3/2
=
R(t, x) =
t
(1 x cost)3/2
1 x cost
2
x(cos t + 1) + 2 cost
=
.
(1 x cost)3/2
148
Chapitre 7.
Do lgalit :
Z +
2
2
(t, x) est continment drivable en x sur [ , + ] R avec :
x
2 2
2
(t, x) = x sin2 tex sint .
x2
Donc f est bien deux fois drivable sur R avec :
f (x) =
Z +
2
2
Z +
2
2
+ 2
2
Chapitre 8
Intgrales gnralises dpendant dun paramtre
Soit I un intervalle ouvert de R. On considre un intervalle semi-ouvert [a, b[ et une fonction de deux variables f (t, x) o t [a, b[ et x I, valeurs dans K = R ou C. On suppose
ou bien que b = + ou bien que b < + et que pour certains x I, la fonction t 7 f (t, x)
nest pas dfinie en b. On suppose que pour tout x I, la fonction t f (t, x) est intgrable
sur lintervalle semi-ouvert [a, b[ au sens des intgrales gnralises et on sintresse aux
proprits de la fonction dfinie sur I par lintgrale gnralise
F(x) =
Z b
f (t, x)dt.
f (t) dt = lim
Z b
n a
fn (t) dt.
| f (t)| dt
Z A
a
(t) dt.
150
Chapitre 8.
Puisque par hypothse, la fonction est intgrable sur lintervalle semi ouvert [a, b[, cette
ingalit implique que la fonction f est absolument intgrable donc intgrable sur [a, b[.
Pour calculer lintgrale de f sur [a, b[, on se donne A [a, b[ et on utilise le thorme de
convergence borne, 7.1.1 sur [a, A] : puisque la fonction f est intgrable sur [a, A] elle est
borne sur cet intervalle. Donc, on a bien, pour tout A [a, b[ :
Z A
f (t) dt = lim
Z A
n a
fn (t) dt.
(t) dt .
4
On en dduit :
n N,
Z b
A
et
4
| fn (t)| dt
A
a
Donc, pour n N, on a :
Z b
A
| f (t)| dt .
4
fn (t) dt .
2
Z b
Z A
Z b
Z b
Z A
Z b
a f (t) dt a fn (t) dt a f (t) dt a fn (t) dt + A | f (t)| dt + A | fn (t)| dt
Z A
Z A
2
.
f (t) dt
fn (t) dt +
4
a
a
Ceci prouve bien que lintgrale de f sur [a, b[ est gale la limite des intgrales des fn
sur cet intervalle.
Z b
f (t, x)dt,
Z b
a
f (t, x0) dt =
Z b
xx0 a
lim f (t, x) dt
xx0
Za b
f (t, x) dt,
8.3. Drivabilit
151
Dmonstration. Remarquons dabord que, pour tout x I, la fonction t f (t, x) est localement intgrable sur [a, b[ car elle est continue par hypothse.
Pour montrer lintgrabilit de la fonction t f (t, x) sur lintervalle semi ouvert [a, b[
pour tout x I, on crit, comme dans le thorme du convergence domine 8.1.1, pour
tout A [a, b[, :
Z A
a
| f (t, x)| dt
Z A
a
(t) dt.
Puisque par hypothse, la fonction est intgrable sur lintervalle semi ouvert [a, b[, la
fonction t f (t, x) est absolument intgrable donc intgrable sur [a, b[.
On procde alors comme pour le thorme 7.2.1.
Soit x0 I . On veut montrer la continuit de F en x0 : soit > 0 tel que [x0 , x0 + ] I
et soit (xn )nN une suite dlments de [x0 , x0 + ] I convergeant vers x0 .
On pose, pour tout n N : fn (t) = f (t, xn ). On remarque que les fonctions fn sont intgrables sur lintervalle semi ouvert [a, b[.
Par continuit de la fonction x f (t, x) , la suite ( fn )nN converge simplement vers la
fonction f (t, x0 ), qui elle aussi est intgrable sur [a, b[. De plus, cette suite de fonctions est
majore par la fonction
. On peut donc appliquer le thorme de convergence domine,
7.1.1 : la suite F(xn ) nN converge vers F(x0 ).
Comme ce rsultat est valable pour toute suite (xn )nN convergeant vers x0 , on en dduit bien la continuit de F en x0 et donc par suite sur I tout entier puisque x0 I est
quelconque, ce qui prouve le thorme.
8.2.2 Exemple. Soit
f (t, x) =
ext
,
1 + t2
8.3 Drivabilit
8.3.1 Thorme. Soit f : [a, b[I K, une fonction continue par rapport chacune des
deux variables sur [a, b] I. On suppose que f admet une drive partielle par rapport
152
Chapitre 8.
f
, continue par rapport chacune des deux variables sur [a, b] I.
x
On suppose quil existe deux fonctions et : [a, b[ R+ , intgrables sur lintervalle
semi-ouvert [a, b[ telles que
f
(t, x) [a, b[I , | f (t, x)| (t) et (t, x) (t).
x
x,
f
(t, x) sont intgrables sur linterx
valle semi ouvert [a, b[ et la fonction F, dfinie pour x I par
Alors pour tout x I, les fonctions t f (t, x) et t
F(x) =
Z b
f (t, x)dt,
Z b
f
F (x) =
Z
f (t, x) dt
a
(t, x) dt.
f
(t, x) dt
(t) dt et
(t) dt.
| f (t, x)| dt
x
a
a
a
a
Puisque par hypothse, les fonctions et sont intgrables sur lintervalle semi ouvert
f
[a, b[, les fonctions t f (t, x) et t
(t, x) sont absolument intgrables donc intx
grables sur [a, b[.
On procde alors comme pour le thorme 7.3.1. On fixe > 0 tel que [x0 , x0 + ] I
et soit (xn )nN une suite dlments de [x0 , x0 + ] I convergeant vers x0 . On peut
supposer que xn 6= x0 pour tout n N.
Pour dmontrer la drivabilit de la fonction F en x0 , on crit, pour tout n N :
Z b
F(xn ) F(x0 )
f (t, xn) f (t, x0)
=
dt.
xn x0
xn x0
a
On dfinit la suite de fonction (hn )nN pour t [a, b] par :
f (t, xn ) f (t, x0)
xn x0
Puisque la fonction f est drivable par rapport la variable x en x0 , cette suite converge
f
(t, x0), qui bien est intgrable par rapport la variable t.
simplement vers la fonction
x
hn (t) =
8.3. Drivabilit
153
De plus, par le thorme des accroissements finis, il existe yn [x0 , x0 + ] tel que
f
hn (t) =
(t, yn). Donc, les fonctions hn sont donc domines par la fonction sur [a, b].
x
En appliquant le thorme de convergence domine, 8.1.1, on en dduit que la suite
F(xn ) F(x0 )
nN
xn x0
Z b
f
F(x) F(x0 )
=
lim
xx0
x x0
Z b
f
a
F (x0 ) =
Z b
f
a
t, x0 dt .
(x) =
Z +
0
et t x1 dt.
Dfinition :
Comme il y a deux problmes dintgration, en 0 et en +, on spare cette intgrale
gnralise en deux intgrales gnralises :
1 (x) =
Z 1
t x1
e t
On a bien sr,
dt ,
2 (x) =
Z +
1
et t x1 dt .
= 1 + 2 .
La fonction intgrer f (t, x) = et t x1 est positive. On peut donc pour x > 0 fix, appliquer le thorme 3.8.2 :
-Soit x ]0, +[ fix. Quand t 0, f (t, x) est quivalente t x1 qui est intgrable en 0
daprs la proposition 3.8.3. Donc 1 (x) est bien dfinie pour x ]0, +[.
-Soit x ]0, +[ fix. Quand t +, on a
lim et/2 f (t, x) = lim et/2 t x1 = 0.
t+
t+
Donc f (t, x) est domine au voisinage de + par et/2 qui est intgrable en +. Donc
2 (x) est galement bien dfinie pour x ]0, +[.
154
Chapitre 8.
f
(t, x) = et t x1 lnt.
x
Z +
0
et t x1 lntdt.
f
x
par une fonction intgrable sur lintervalle semi-ouvert [a, b[ dans les deux thormes
8.2.1 et 8.3.1 est trs forte. On peut envisager une hypothse moins forte, la convergence
uniforme :
Remarque. Lhypothse de domination de la fonction f (t, x) ou de la drive partielle
Z b
f (t, x) dt,
155
On peut montrer que la conclusion des thormes 8.2.1 et 8.3.1 reste valide si on remf
place lhypothse de domination (sur f ou sur
) par cette hypothse de convergence
x
uniforme.
Z +
0
f (t)ext dt.
8.4.2 Proposition.
1) Soit f E. Alors, pour tout x > r f , L( f )(x) est bien dfinie.
2) Lapplication L est une application linaire de lespace vectoriel E dans lespace des fonctions de classe C
3) Pour toute fonction f L, L( f )(x) tend vers 0 ainsi que toutes ses drives
lorsque x tend vers +.
Dmonstration. : 1) Pour f E, la transforme de Laplace L( f )(x) est dfinie par une
intgrale gnralise sur [0, +[. Pour tout x > r f , on peut crire :
f (t)ext M f e(r f x)t .
La fonction e(r f x)t est intgrable sur [0, +[. Donc t f (t)ext est absolument intgrable sur [0, +[ pour tout x > r f et L( f )(x) est bien dfinie pour ces valeurs de x.
2) Il est facile de voir que E est un sous-espace vectoriel de C(R+, K) et que L est linaire.
Montrons que pour f E, L( f ) est de classe C :
La fonction (t, x) ext f (t) est continue sur [0, +[]r f , +[, drivable par rapport x
xt
avec
e f (t) = text f (t) qui est continue sur [0, +[]r f , +[
x
De plus, soit a > r f . On peut crire, pour t [0, +[ et x [a, +[ :
xt
= text f (t) M f te(r f a)t .
e
f
(t)
x
La fonction t te(r f a)t est intgrable sur [0, +[. On peut donc appliquer le thorme
8.3.1 : pour tout x [a, +[, on a
d
dx
Z +
0
xt
f (t)dt =
Z +
0
text f (t)dt.
Comme a > r f est quelconque, cette galit est vrifie sur ]r f , +[.
Le mme argument appliqu la fonction text f (t) permet ditrer le raisonnement. Le
rsultat lordre n est alors immdiat et on obtient bien que L( f ) est de classe C .
3) Pour x > r f , la majoration :
xt
e f (t) M f e(r f x)t ,
156
Chapitre 8.
implique que
Z +
Z +
Mf
xt
e f (t) dt M f
|L ( f ) (x)|
e(r f x)t dt =
.
0
xrf
Z +
Z +
xt
d
te f (t) dt M f
L ( f ) (x)
te(r f x)t dt.
dx
0
0
Le terme tout intgr tend vers 0 quand X + et le second terme tend vers
donc,
Z +
0
te(r f x)t dt =
On en dduit que
1
.
(x r f )2
d
L ( f ) (x) M f ,
dx
(x r f )2
xt
at
e f (t)e
dt
Z +
et
f (t)e(ax)t dt
n!
.
(x )n+1
Dmonstration. : Soit x > . Pour tout X > 0, par intgration par parties, on a :
#X
"
Z X n1 ( x)t
Z X
n e( x)t
t e
t
n ( x)t
n
dt =
dt.
t e
x
x
0
0
0
n ( x)t
t e
n
dt =
x
Z +
0
t n1 e( x)t dt.
1
(x r f )2
157
n ( x)t
t e
n
dt =
x
= (1)n
Z +
0
t n1 e( x)t dt =
n!
( x)n
Z +
0
e( x)t dt =
n!
.
(x )n+1
dn
(L( f )(x)) .
dxn
Z +
0
ext f (t)dt =
Z +
0
text f (t)dt.
Do
d
(L( f )(x)) .
dx
Le mme calcul appliqu la fonction text f (t) permet ditrer le raisonnement. Le rsultat lordre n est alors immdiat.
L (t f (t))(x) =
8.4.6 Proposition.
2)
1)
Z
X
f (t)ext dt = f (t)ext 0 + x
X
0
f (t)ext dt.
xt
f (t)e
dt = f (0) + x
Z +
0
f (t)ext dt,
cest--dire
L f (x) = xL ( f ) (x) f (0) .
Les proprits que nous venons de dmontrer permettent de rsoudre des systmes diffrentiels linaires coefficients constants et des quations diffrentielles linaires coefficients constants, par la mthode de la transforme de Laplace, si lon admet le rsultat
suivant :
158
Chapitre 8.
(x2 3x + 2)L y(t) (x) x + 3 =
1
.
x1
x2 4x + 4
x2
1
1
=
=
+
2
2
2
(x 1) (x 2) (x 1)
(x 1) (x 1)
= L tet (x) + L et (x) = L (1 t)et (x).
L y(t) (x) =
Par suite, cette fonction est lunique solution de lquation diffrentielle sur R.
8.4.9 Exemple. On considre le systme diffrentiel :
dx
Comme dans lexemple prcdent, on sait que ce systme admet une solution unique. On
cherche cette solution dans E et on transforme ce systme par L. On obtient :
,
uL (x(t))(u) 1 = 2L (x(t))(u) + 2L (y(t)) (u) +
u1
1
,
uL (y(t))(u) 4 = L (x(t)) (u) + 3L (y(t))(u)
(u 1)2
ou encore
159
u3 12u2 + 19u 6
L
(x(t))
(u)
=
,
(u 1)3 (u 4)
.
L (y(t))(u) =
(u 1)3 (u 4)
Z +
f (t, x) dt,
avec
cos(tx)
.
1 + t2
1) a) Montrer que cette intgrale existe pour tout x R, cest--dire que F est dfinie sur
R tout entier.
b) Montrer que F est continue et borne sur R.
2) Montrer que F(x) est paire et calculer F(0).
3) Montrer que pour x > 0, on a
F(x) = xG(x),
f (t, x) =
Z
cos u
0
u2 + x2
du.
4) Montrer que G(x) est deux fois drivable sur ]0, +[ et exprimer G (x) et G (x) sous
la forme dintgrales gnralises dpendant du paramtre x ]0, +[.
5) En dduire que F est deux fois drivable sur ]0, +[ et que sa drive seconde est
donne par
Z 2
2x 6u2
F (x) = x
cos u du.
2
2 3
0 (u + x )
6) a) Montrer que pour (u, x) 6= (0, 0), les fonctions
h(u, x) =
1
2x2 6u2
et
k(u,
x)
=
,
(u2 + x2 )3
u2 + x2
vrifient
h(u, x) =
2k
(u, x).
u2
160
Chapitre 8.
[On pourra faire des intgrations par parties en les justifiant, partir de lexpression :
Z + 2
k
F (x) = x
(x, u) cos u du.]
u2
0
c) En dduire que F est de la forme
F(x) = aex + bex , a, b R,
pour x ]0, +[.
7) Calculer les valeurs de a et b laide des informations obtenues sur F en 1) et 2) et en
dduire une expression simple de F valable pour tout x R.
8.2 Exercice. Pour tout n N et pour tout x > 0, on pose :
hn (x) =
Z +
0
dt
(t 2 + x4 )n
Z + t
e dt
0
existe-t-elle ? On
dt
f (t) (n ) 1
t
n
Z n x
0
et
dt
.
t
161
n+
Z 1
f n (t)
dt (1 )
.
t
1
Z 1
f n (t)
dt (1 )
.
t
1
puis que
lim inf n
n+
6)a) On suppose maintenant que 0 < < . Montrer laide de 4) quil existe x ]0, 1]
tel que f (t) e t pour tout t [0, x ].
6)b) En dduire que pour 0 < < ,
Z 1
0
dt
rn
1
(1 ) +
f (t) (n )
(1 x ),
t
(x )
n
o r := g(x ).
6)c) En dduire (en utilisant 2)) que pour 0 < < ,
lim sup n
Z 1
f n (t)
dt (1 )
.
t
1
Z 1
f n (t)
dt (1 )
.
t
1
n+
puis que
lim sup n
n+
f n (t)
(1 )
dt
1 1 ,
n +.
8.4 Exercice. 1) Soit z C, tel que e z > 0. Montrer que lintgrale gnralise
Z +
0
ezt dt,
Z +
0
1
.
1 + x2
Z +
0
ext
sint
dt,
t
existe.
4) Montrer que F est drivable sur R+ et que F (x) = G(x).
162
Chapitre 8.
1
5) Montrer que pour tout x R+ , |F(x)| , puis en utilisant 2) et 4), en dduire F(x)
x
pour tout x R+ .
6) Montrer que lintgrale gnralise
I=
Z +
sint
0
dt,
est semi-convergente.
7) Le thorme de continuit des intgrales gnralises dpendant dun paramtre permet-il de conclure que I = limx0 F(x) ?
1
.
1 + t2
Ceci nous montre tout dabord que F(x) est bien dfinie puisque
Z +
gente (thorme de comparaison). Dautre part puisque f (t, x) est continue, et uniformment domine par la fonction h(t), on peut appliquer le thorme de continuit des intgrales gnralises dpendant
dun paramtre. La fonction F(x) est donc continue sur R.
Z +
h(t) dt = .
De plus F(x) est borne par
2
0
2) Il est immediat que F(x) = F(x) puisque cos(tx) = cos(tx). Dautre part,
F(0) =
Z +
0
1
dt = lim arctg(T ) arctg(0) = /2.
T +
1 + t2
Z +
0
cos u du
=x
1 + (u/x)2 x
Z +
cos u
x2 + u2
du = xG(x).
g
2x cos u
(u, x) = 2
.
x
(x + u2 )2
Cest une fonction continue sur ]0, +[]0, +[. Soit a > 0 donn. Pour x a, on a
|
Puisque
2x
2x
2
2
g
(x, u)| 2
2 2
=
.
2
2
2
2
2
2
x
(x + u )
x (x + u ) x(x + u ) a(a + u2 )
Z +
0
2
a(a2 + u2 )
intgrales gnralises dpendant dun paramtre qui nous montre que G est de classe C1
sur [a, +[ et sa drive est donne par
G (x) =
Z +
g
0
(u, x) du =
Z +
2x cos u
0
(x2 + u2 )2
du.
163
De mme, on calcule
8x2 cos u
2 cos u
(6x2 2u2 ) cos u
2g
(u,
x)
=
=
.
x2
(x2 + u2 )3 (x2 + u2 )2
(x2 + u2 )3
Cest une fonction continue sur ]0, +[]0, +[.
Pour x a, on a
|
2g
|6x2 2u2 | 6(x2 + u2 )
6
(u,
x)|
2
2
.
2
2
2
3
2
3
x
(x + u )
(x + u )
(a + u2 )2
Z +
6
du converge, ceci nous permet dappliquer le thorme de dri(a2 + u2 )2
0
vation des intgrales gnralises dpendant dun paramtre qui nous montre que G est
C1 sur [a, +[, cest--dire que G est de classe C2 et que sa drive G est donne par
Puisque
G (x) =
Z + 2
g
x2
(u, x) du =
Z +
(6x2 2u2 ) cos u
(x2 + u2 )3
du.
5) Puisque F(x) = xG(x), F est aussi deux fois drivable sur [a, +[ pour tout a > 0 et
par consquent sur ]0, +[. Sa drive est donne par F (x) = xG (x) + G(x), et sa drive
seconde par
Z +
x(6x2 2u2 ) cos u
=x
(x2 + u2 )3
0
Z +
(2x2 6u2 ) cos u
0
(x2 + u2 )3
4x cos u
du
(x2 + u2 )2
du.
6) Pour (u, x) 6= (0, 0) on peut calculer les drives partielles de k(u, x) et on trouve
k
2u
(u, x) = 2
,
u
(x + u2 )2
et
2k
2
8u2
2x2 6u2
(u,
x)
=
=
= h(u, x).
u2
(x2 + u2 )2 (x2 + u2 )3 (x2 + u2 )3
Ceci montre que
Z + 2
k
F (x) = x
k(u, x) cos u du.
u2
0
On effectue deux intgrations par partie successives sur un intervalle [A, B] o B > A > 0.
On remarque que les termes tout intgrs tendent vers 0 lorsque A 0 et B +, et on
trouve donc :
F (x) = x
Z +
k
0
(u, x) sin u du = x
Z +
Toute solution de cette quation sur un intervalle est une combinaison linaire des solutions lmentaires ex et ex do la forme de F.
7) Puisque F(x) est borne quand x +, on a ncessairement a = 0 (sinon F(x) tendrait
F(x) = e|x| .
2
164
Chapitre 8.
qui
(t + x4 )n t 2n
est intgrable en +. On en dduit que cette fonction est intgrable sur [0, +[.
2) Soit a > 0. Pour t [0, +[ et x [a, +[, on peut crire :
1) La fonction positive
0
La fonction t
1
(t 2 + a4 )n
1
(t 2 + x4 )n
1
(t 2 + a4 )n
2nA3
est intgrable sur [0, +[ et donc hn est drivable sur [a, A]
(t 2 + a4 )n+1
et sa drive vrifie bien :
hn (x) = 4nx3 hn+1 (x).
La fonction t
Comme ceci est vrifi pour tout 0 < a < A, on en dduit que hn est drivable sur R+
et
+
que cette relation est galement vrifie pour tout x R .
Z
h
1
t i
2
4)a) h1 (x) =
= 2.
dt
=
x
arctan
2
4
2
x 0
2x
0 (t + x )
1
1
4n 2 24(n+1)
hn (x) =
(2 4n)anx24n1 = an
x
.
3
3
4nx
4nx
4n
Lhypothse de rcurrence est bien vrifie au rang n + 1 et an R vrifie la relation de
2n 1
rcurrence a1 = , an+1 = an
.
2
2n
(2n 3)(2n 5) . . .1 24n
x
pour tout n N .
4)c) On en dduit que hn (x) =
2 (2n 2)(2n 4) . . .2
hn+1 (x) =
165
suprieure et donc il existe b [a, 1] tel que f (b) = 1. Ceci contredit lhypothse sur f et
on a donc bien g(x) < 1 pour tout x ]0, 1].
3) Supposons que f (0) > 0 et soit 0 < < f (0). La formule des accroissement finis nous
dit quil existe > 0 tel que si 0 t , alors | f (t) f (0) t f (0)| t .
On en dduit que, si 0 t , f (t) 1 + t ( f (0) ) > 1. Ceci contredit lhypothse et
donc on a bien f (0) 0.
4) On applique la formule des accroissements finis aux 2 fonctions f et e t : il existe
deux fonctions 1 et 2 , tendant vers 0 lorsque t 0 telles que
f (t) = 1 t + t 1(t) ,
On en dduit que
e t = 1 t + t 2(t) .
f (t) e t
= + 1 (t) + 2(t).
t
Do :
lim
t0
f (t) e t
= .
t
5)a) Soit > . Supposons que pour tout x ]0, 1], il existe t [0, x] tel que f (t) < e t
et soit 0 < < . Alors, daprs 4), il existe tel que pour tout s [0, ],
f (s) e s ( )s s.
dt
f (t)
t
n
Z x
0
dt
f (t)
t
n
Z x
0
dt
en t
t
(n )
Z n x
0
et
dt
.
t
0
nN
Z 1
dt
1
n
est suprieure cette limite. En
valeur dadhrence de la suite n
f (t)
t nN
0
particulier, on en dduit bien que pour > ,
lim inf n
n+
Z 1
f n (t)
dt (1 )
.
t
1
Z 1
0
f n (t)
dt (1 )
.
t
1
166
Chapitre 8.
1
dt
dt
f (t) +
f n (t)
t
t
0
x
Z x
Z 1
dt
dt
en t + gn (x )
t
x t
0
Z n x
(1 x )
dt
et + gn (x )
(n ) 1
.
t
x
0
dt
f (t)
t
n
Z x
t nN
0
et
(1 x )
g (x )
x
1 n
nN
(1 )
et 0 respectivement car g(x ) < 1. Donc, toute valeur dadhrence
tendent vers
1
Z 1
dt
1
n
est infrieure la somme de ces 2 limites.
de la suite n
f (t)
t nN
0
En particulier, on en dduit bien que pour 0 < < ,
lim sup n
Z 1
f n (t)
Z 1
f n (t)
n+
dt (1 )
.
t
1
et puisque cette ingalit est vraie pour tout < , on a aussi lingalit :
lim sup n
n+
dt (1 )
.
t
1
1
dt
a mmes lif (t)
t nN
0
mites suprieure et infrieure, elle est donc convergente vers cette valeur commune qui
(1 )
est 1 . Do le rsultat :
Z
1
7) On dduit des questions 5) et 6) que la suite n
Z 1
f n (t)
(1 )
dt
,
t 1 n1
n +.
zt
ezt
dt =
z
A
0
1
= (1 eAz ).
z
Or eAz = eAe z 0 quand A + car e z > 0.
Z +
1
1
Do :
ezt dt = lim (1 eAz ) = .
A+ z
z
0
167
1 1
1
1
eit eit
dt =
= 2
.
2i
2i
x
i
x
+
i
x
+
1
0
Z +
sint
xt
3) La fonction t
reste borne par 1 et lintgrale 0 e dt converge. Donc
t
Z +
sint
ext
dt converge absolument.
t
0
sint
est
4) Soit a > 0. Lapplication g : [0, +[[a, +[ R telle que g(t, x) = ext
t
x
(t, x) [0, +[[a, +[, ext sint eat qui est intgrable sur [0, +[. On a donc
Z
Z +
Z +
d + xt sint
e
dt =
g(t, x)dt soit F (x) =
ext sint dt = G(x) sur tout
dx 0
t
x
0
0
intervalle [a, +[ (avec a > 0 quelconque), donc sur ]0, +[.
5) On a :
Z +
1
ext dt = .
|F(x)|
x
0
1
alors F(x) = arctgx + C, on a donc
Do limx F(x) = 0. Comme F (x) =
1 + x2
dt =
dt.
t
t
t2
1
1
1
2) G(x) =
Z +
ext
Cette dernire intgrale est absolument convergente. On peut prendre la limite quand
A + et on trouve :
Z +
sint
1
Donc
dt = cos 1
Z +
cost
t2
dt.
Z +
sint
dt converge.
Z +
sint
Par contre, lintgrale
t dt diverge car elle a le mme comportement que la srie
0
Z (n+1)
sint
de terme gnral un =
t dt. Or un vrifie :
n
0
1
(n + 1)
soit
Z (n+1)
n
|sint| dt un
1
n
Z (n+1)
n
|sint| dt,
2
2
un
.
(n + 1)
n
168
Chapitre 8.
xt sint
e
(t) sur [0, +[[0, b] car sinon, pour x = 0 on aurait , sint (t) ce qui
t
t
implique
Z +
0
Bibliographie
169
Index
A
Application partielle . . . . . . . . . . 138, 139
Approximation numrique des intgrales
59, 60
B
Borne infrieure . . . . . . . . . . . . . . 5, 19, 57
Borne suprieure . . . . . . . . . . 5, 16, 19, 57
C
Calcul des primitives . . . . . . . . . . . . 55, 56
Changement de variable . 55, 56, 62, 65,
67, 126
Coefficients de Fourier . . . 124126, 129
Continuit de lintgrale de Riemann . . .
140, 145
Continuit de lintgrale gnralise151,
154
Continuit des limites . . . . . . . . . . . 83, 85
Continuit des sommes 84, 96, 100, 120,
121
Contrapose . . . . . . . . . . . . . . . . . . . . . . . . 2
Convergence absolue . 2225, 32, 35, 95,
96, 98, 118123
Convergence commutative . . . . . . . 35, 37
Convergence dune srie . . . . . . . . . . . 124
Convergence normale. . . 82, 83, 96, 118,
120122
Convergence simple. . . . . 7780, 95, 128
Convergence uniforme . . . 7985, 87, 88,
96, 118, 119, 128
Convergence uniforme des intgrales gnralises . . . . . . . . . . . . . . . . . 155
Critre de Cauchy uniforme . . . . . . . . 118
Critre de Cauchy . . . . 15, 2123, 26, 32
Critre de Cauchy pour les fonctions . 64
Critre de Cauchy pour les intgrales 65,
68, 70
Critre de Cauchy uniforme. . 81, 82, 85,
118
E
Equivalence . . . . . . . . . . . . . . . . . . . . . . . . 2
Erreur . . . . . . . . . . . . . . . . . . 30, 34, 60, 61
Exponentielle complexe . . . . . . . . . . . 107
F
Fonction absolument intgrable . . . . . . 68
Fonction continment diffrentiable 139,
145
Fonction de plusieurs variables 137140,
144, 151
Fonction en escalier . . 4548, 50, 51, 57,
124, 125
Fonction Gamma . . . . . . . . . . . . . . . . . 154
Fonction intgrable . . 47, 48, 50, 51, 57,
58, 124, 125, 151, 152
Fonction inverse . . . . . . . . . . . . . . . . . . . 56
Fonction localement intgrable . . 62, 65,
66, 68
Fonctions hyperboliques . . . . . . . . . . . . 55
Fonctions puissance . . . . . . . . . . . . . . . . 55
Fonctions trigonomtriques . . . . . . . . . 55
Formule de Moivre . . . . . . . . . . . . . . . . 110
Formule de Taylor . . . . . . . . . . . . . . . . 103
I
Implication . . . . . . . . . . . . . . . . . . . . . . . . . 1
Intersection . . . . . . . . . . . . . . . . . . . . . . . . . 2
D
Deuxime formule de la moyenne 56, 70
170
Index
Intgrale de Riemann . 49, 140, 141, 145
Intgrale des fonctions en escalier . . . 46
Intgrale gnralise . . 63, 151, 154156
Intgrales de Riemann . . . . . . . . . . . . . . 67
Intgration des limites . . . . . . . . . . . . . . 88
Intgration des sommes . . . . 89, 101, 121
Intgration par parties . . . . . . . . . . . . . . 55
Inverse dune srie entire . . . . . . . . . 100
Ingalit de Cauchy-Schwarz . . . . . . . . 58
L
Limite . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
Limite dune suite 11, 12, 16, 17, 1921,
29, 36, 48, 78, 81, 8385, 87, 88,
97
Limite infrieure . . . . . . . . . . . . 18, 20, 97
Limite suprieure . . . . . . . . . . . 20, 96, 97
Linarisation . . . . . . . . . . . . . . . . . . . . . 110
M
Matrice jacobienne . . . . . . . . . . . . . . . . 139
Mthode des rectangles . . . . . . . . . . . . . 59
Mthode des trapzes . . . . . . . . . . . . . . . 60
N
Ngation . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
Norme de la convergence uniforme . . 80
P
Premire formule de la moyenne. . . . . 51
Primitive. . . . . . . . . . . . . . . . . . . . . . . 5355
Produit de sries . . . . . . . . . . . . . . . . 23, 98
Q
Quantificateur . . . . . . . . . . . . . . . . . . . . . . 3
R
Raisonnement par labsurde. . . . . . . 2, 54
Rayon de convergence95102, 104, 105,
107, 109, 119
Reste dune srie . 21, 27, 28, 30, 33, 34,
77, 82, 104
Rcurrence . . . . . . . . . . . . . . . . 5, 145, 158
Runion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
S
Srie alterne . . . . . . . . . . . . . . . 33, 34, 83
Srie convergente. 2126, 32, 34, 35, 37,
67, 104, 117
171
Srie de fonctions . . . . 77, 80, 83, 85, 88
Srie de Fourier . . . . . 124, 125, 128, 129
Srie de Taylor . . . . . . . . . . . . . . . 102, 104
Srie entire . . . . . . . . . . . . . . . . . 100, 122
Srie entire . . . . . . . . . . . . . . . 95, 98, 119
Srie gomtrique . . . . . . . . . . . . . . . . . . 26
Srie numrique . . . . . . . . . . . . . . . . . . . 21
Sries de Bertrand . . . . . . . . . . . . . . . . . . 31
Sries de Riemann . . . . . . . . . . . . . . . . . 31
Srie trigonomtrique . 34, 117, 119123
Srie termes positifs . . . . . . . . . . . . . . 25
Sinus et Cosinus complexes . . . . . . . . 107
Sommation par paquets . . . . . . 37, 38, 99
Somme dune srie . . . . . . 21, 22, 24, 30,
3337, 7781, 8385, 87, 88, 96,
98105, 120123, 125, 129
Somme de Cesaro . . . . . . . . . . . . . . . . . . 17
Somme de Riemann . . . . . . . . . . . . 52, 53
Somme partielle dune srie . . . . . . . . 21,
2325, 31, 33, 3537, 77, 81, 84,
87, 118, 119
Sous-suite . . . . . . . . . . . . . . . . . . . . . 16, 18
Substitution de sries entires . . . . . . . 99
Suite borne . . . . . . . . . . . . . . . . . . . . . . . 11
Suite convergente. 1116, 18, 32, 48, 53,
81
Suite de Cauchy . . 1116, 18, 32, 65, 81,
119
Suite de fonctions . . . . 77, 80, 83, 85, 88
Suite numrique . . . . . . . . . . . . . . . . . . . 11
Suites adjacentes . . . . . . . . . . . . . . . 16, 33
T
Terme gnral . . . . . . . . . . . . . . . . . . . . . 21
Terme gnral dune srie . . . . . . . . . . 21
Test de Cauchy . . . . . . . . . . 26, 27, 29, 96
Test de dAlembert . . . . . . . . . . . . . 27, 97
Test des quivalents . . . . . . . . . . . . . . . . 31
Thorme de Parseval . . . . . . . . . . . . . 129
Thorme dAbel . . . . . . . . . . 32, 34, 118
Thorme dAbel pour les intgrales . 69
Thorme de Bolzano-Weierstrass . . . 16
Thorme de Dirichlet . . . . . . . . . . . . . 126
Transforme de Laplace . . . . . . . . . . . 155
V
Voisinage dun point . . . . . . . . . 64, 65, 68