Académique Documents
Professionnel Documents
Culture Documents
Poly PDF
Poly PDF
Cours et exercices
Sylvie Guerre-Delabrire
Professeur lUniversit Pierre et Marie Curie
Table des matires
i
ii Table des matires
5 Sries entires 97
5.1 Dfinitions et disque de convergence . . . . . . . . . . . . . . . . . . . . 97
5.2 Oprations sur les sries entires . . . . . . . . . . . . . . . . . . . . . . 100
5.3 Drivation et intgration des sries entires . . . . . . . . . . . . . . . . 102
5.4 Dveloppement en srie entire lorigine . . . . . . . . . . . . . . . . . 104
5.5 Dveloppement en srie entire des fonctions usuelles . . . . . . . . . . . 107
5.6 Fonction exponentielle complexe . . . . . . . . . . . . . . . . . . . . . . 109
5.7 Exercices sur le chapitre 5 . . . . . . . . . . . . . . . . . . . . . . . . . 112
5.8 Corrig des exercices sur le Chapitre 5 . . . . . . . . . . . . . . . . . . . 113
Bibliographie 171
Index 172
Chapitre premier
Quelques lments de logique
1.2.2 Exemple. a = 1 a2 = 1.
a2 6= 1 a 6= 1.
Une autre faon de dmontrer la proposition [A B] est de procder par labsurde, cest-
-dire de supposer que les proprits A et non B sont vraies toutes les deux et den dduire
une contradiction.
1.2.4 Exemple. La proprit de lexemple 1.2.2 sexprime par labsurde en :
x P et x Q.
1.4. Quantificateurs 3
P Q sappelle lintersection de P et Q.
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.
x P Q et x
/ P Q.
1.4 Quantificateurs
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.
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).
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
1.7. Raisonnement par rcurrence 5
Trs souvent, la proprit P(n) suffit entraner la proprit P(n + 1). Le schma suivant,
moins gnral mais plus frquent, est aussi une dmonstration par rcurrence
P(0) vraie
n N , P(n) vraie.
P(n) P(n + 1)
P(n) : 1 + 3 + + (2n 1) = n2 ,
on calcule
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 :
On remarquera que la borne suprieure et la borne infrieure dun ensemble ne sont pas
ncessairement dans lensemble.
1.2 Exercice. Andr, Bernard et Claude sont trois frres. Lun est mdecin, lautre phar-
macien et le troisime dentiste. On cherche dterminer la profession de chacun deux
sachant que : si Andr est mdecin, alors Bernard est dentiste ; si Andr est dentiste,
alors Bernard est pharmacien ; si Bernard nest pas mdecin, alors Claude est dentiste ; si
Claude est pharmacien, alors Andr est dentiste.
En utilisant les notations de la logique pour exprimer les propositions ci dessus, trouver
la profession de chacun.
1.3 Exercice. Examiner les relations logiques existant entre les assertions suivantes :
A Tous les hommes sont mortels
B Tous les hommes sont immortels
C Aucun homme nest mortel
D Aucun homme nest immortel
E Il existe des hommes immortels
F Il existe des hommes mortels
1.4 Exercice. Soient a, b deux rels fixs tels que 0 < a < b.
On cherche montrer que les suites (un )nN et (vn )nN , dfinies par :
1
u0 = a , v0 = b , un+1 = (un + vn ) , vn+1 = un+1 vn ,
2
admettent une limite commune.
1) Montrer par rcurrence que n N , un < vn .
2) En dduire que les 2 suites convergent dans R.
3) Montrer que ces limites sont les mmes.
1.10. Corrig des exercices sur le Chapitre 1 7
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) Soit A lassertion : Dans toutes les prisons, tous les dtenus dtestent tous les gardiens.
A sexprime laide de 3 quantificateurs . Sa ngation sexprime donc en remplaant ces
3 quantificateurs par 3 quantificateurs et en niant la conclusion. Cela donne :
non A : Il existe des prisons dans lesquelles il y a des dtenus qui aiment bien certains
gardiens.
2) crivons cette assertion en termes mathmatiques :
On peut noncer cette assertion ainsi : Il existe un entier naturel x tel que pour tout entier
naturel y, il existe un entier naturel z tel que z x + y.
Lassertion est fausse car z = x + y + 1 ne peut en aucun cas tre strictement infrieur
x + y.
Vrifions que la ngation de lassertion est exacte : lentier naturel x = 0 est bien tel que
pour tout entier naturel y, z = y vrifie z x + y.
On a 9 propositions :
A1 : Andr est dentiste
A2 : Andr est mdecin
A3 : Andr est pharmacien
B1 : Bernard est dentiste
...
C3 : Claude est pharmacien
On doit trouver un triplet Ai , B j ,Ck vrai avec i, j, k tous trois distincts.
Les hypothses sexpriment par les implications :
(I1 ) A2 B1 , (I2 ) A1 B3 , (I3 ) non B2 C1 , (I4 ) C3 A1 .
On va procder par limination sur C :
8 Chapitre premier. Quelques lments de logique
-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.
-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 .
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 :
f (x) f (x0 )
lim = f (x0 ) > 0.
xx0 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 ) :
1.10. Corrig des exercices sur le Chapitre 1 9
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 .
ii) La valeur l est appel limite de la suite (sn )nN et on note limn+ sn = l.
iii) Si la suite (sn )nN ne converge pas, on dit quelle diverge.
En niant la propritt i), une suite (sn )nN diverge si :
Dmonstration. Suposons que la suite (sn )nN soit convergente et ait deux limites l et l .
Alors, par dfinition, pour > 0 donn :
N N tel que n N sn l .
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 .
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 .
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,
et n N tn l
n N |sn l| ,
2M 2M
qui impliquent
n sup {N, N } sntn ll ,
p, q N s p sq ,
ce qui implique
n N s p sq ,
m s p m sq = m (s p sq ) s p sq .
p, q N s p sq ,
ce qui implique
p, q N e s p e sq ,
Les suites de rels, cest--dire lorsque K = R ont des proprits particulires que nous
allons tudier maintenant :
n N1 = |sn s| et n N2 = sn s .
s sn tn sn s + .
La suite (tn )nN converge bien vers s.
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.
2.1. Suites numriques 17
Dmonstration. La proposition 2.1.6 6) montre que toute suite convergente est de Cauchy.
La dmonstration de la rciproque repose sur les proprits des bornes suprieure et inf-
rieure dans R.
Supposons que la suite de Cauchy (sn )nN soit valeurs relles.
On pose, pour tout n N :
Un = {s p/p n}.
La suite (Un)nN est une suite dcroissante densembles non vides. Dautre part, pour tout
entier n, lensemble Un est une partie borne et non vide de R. Cet ensemble admet donc
une borne suprieure et une borne infrieure, on pose :
an = inf Un et bn = sup Un .
On a ainsi dfini deux suites (an )nN et (bn )nN qui vrifient pour tout n N :
an s n bn .
an an+1 bn+1 bn .
La suite a (an )nN est donc croissante, la suite (bn )nN dcroissante et on a, pour tout
n N, an bn .
On utilise alors la condition de Cauchy : soit > 0 don. Il existe un entier N tel que
p n N = sn s p sn + .
Donc pour n N,
sn an sn + et sn bn sn +
ce qui implique 0 bn an 2 .
La suite (bn an )nN converge vers 0. Les suites (an )nN et (bn )nN sont donc des suites
adjacentes. Elles ont alors une limite commune.
La double ingalit an sn bn entrane alors la convergence de la suite (sn )nN .
Si la suite est valeurs complexes, on regarde sparment la partie relle et la partie
imaginaire et on applique le point 4) de la proposition 2.1.6.
n
1
2.1.12 Exemple. 1) La suite sn = k2 converge.
k=1
2) La suite sn = ln n diverge.
18 Chapitre 2. Suites et Sries Numriques
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 .
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 :
On remarquera que la limite suprieure et la limite infrieure dune suite de rels existent
toujours dans R, mme si la suite nest pas convergente dans R.
ii) On a aussi
En utilisant les dfinitions des bornes suprieure et infrieure, dfinition 1.8.1, et les dfi-
nitions 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 .
pn 2
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
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 arbi-
traire, 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.
ii) Soit L lensemble des limites des sous-suites de la suite (sn )nN . Alors :
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. Rciproque-
ment, 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.
2.3. Sries numriques 23
2.3.2 Dfinition. La srie de terme gnral un converge si la suite (sn )nN converge et la
limite s de la suite (sn )nN sappelle la somme de la srie de terme gnral un .
Si la srie de terme gnral un converge, pour tout n N, rn = s sn sappelle le reste
dordre n de la srie de terme gnral un .
On peut caractriser de plusieurs manires la convergence dune srie :
2.3.3 Proposition. La srie de terme gnral un converge et sa somme est s
si et seulement si : > 0, N N, tel que n N |s sn |
n
si et seulement si : > 0, N N, tel que n N s ui
i=0
si et seulement si : > 0, N N, tel que n N |rn | .
2.3.4 Notations. Si s est la somme de la srie de terme gnral un , on note s = ui. Ce
i=0
n
symbole veut dire : s = lim
n
ui. On a alors, pour tout n N :
i=0
k n k +
rn = lim
k+ i=0
ui ui = lim
k+ i=n+1
ui = ui .
i=0 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 Chapitre 2. Suites et Sries Numriques
et dappliquer le critre de Cauchy pour les suites numriques 2.1.11 la suite (sn )nN .
En particulier, pour n 1 N, on a
Ltude des sries termes positifs est plus facile que celle des sries termes quel-
conques, comme on le verra au paragraphe suivant. Grce la notion de convergence
absolue, on peut sy ramener dans certains cas :
2.3.8 Dfinition. On dit quune srie de terme gnral un converge absolument si la srie
de terme gnral |un | converge.
Mais on a :
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
La rciproque de cette proposition est fausse : la srie de terme gnral converge
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.
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 Chapitre 2. Suites et Sries Numriques
n n k
n = wk = u pvkp = ui v j .
k=0 k=0 p=0 0i+ jn
Donc,
+M 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 .
2.4. Sries termes positifs 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 po-
sitifs. 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.
2.4.1 Proposition. Soit un une srie dont le terme gnral un est positif ou nul pour tout
n N. Alors la suite des sommes partielles (sn )nN est convergente dans R.
sn sn1 = un 0.
Cette suite est donc croissante et donc convergente dans R par la proposition 2.2.2
2.4.2 Thorme. On considre deux sries dont les termes gnraux un et vn sont positifs,
(ie. un 0 et vn 0 pour tout n N). Supposons que pour tout n N, on ait : un vn .
Alors si la srie de terme gnral vn converge, la srie de terme gnral un converge et si
la srie de terme gnral un diverge, la srie de terme gnral vn diverge.
n n
Dmonstration. Posons sn = un et n = vn . Lhypothse implique que :
i=0 i=0
n N , 0 sn n .
Si la srie de terme gnral vn converge, la suite (n )nN converge donc est borne. La
suite (sn )nN est donc aussi borne et comme elle est croissante, elle converge par la
Proposition 2.1.8, ce qui veut bien dire que la srie de terme gnral un converge.
La deuxime proprit est la contrapose de la premire donc est vraie galement.
28 Chapitre 2. Suites et Sries Numriques
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
1 rn+1
si r 6= 1 , sn = a(1 + r + + rn ) = a
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
1
et la srie de terme gnral 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
0 2
.
n n(n 1)
2.4. Sries termes positifs 29
1
La srie de terme gnral converge car on a :
n(n 1)
n n
1 1 1 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
Do, en itrant :
uN
n N un+1 uN rn+1N = rn+1 ( ).
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
ii) Supposons que lim inf > 1 et soit r R tel que
n un
un+1
lim inf > r > 1.
n un
Alors la proposition 2.2.7 implique quil existe N N tel que
un+1
nN 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
lim = 1. Or on a vu dans la proposition 2.4.4 que la premire diverge et que la
un
seconde converge.
1 1 1 1
2.4.9 Exemple. Calcul approch de e = 1 + + + ++ +
1! 2! 3! n!
1 un+1 1 un+1
On pose un = 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
1 1 1 1
rn =
(n + 1)!
(1 +
n+1
++
(n + 1)i1
+ )
i=n+1 i!
1 1 1
= 1
= .
(n + 1)! 1 n+1 nn!
2.4. Sries termes positifs 31
Remarque. On verra dans le chapitre 5 sur les sries entires, corollaire 5.1.8, que si la
un+1 1/n
limite de la suite existe dans R et vaut l, alors la limite de la suite un existe aussi et
un
vaut l. On en dduit que le test de Cauchy (proposition 2.4.4) est en gnral plus efficace
que le test de dAlembert (proposition 2.4.7) : thoriquement, il suffit de tester lasuite
1/n un+1
(un )nN . Cependant, en pratique, il est souvent plus facile de tester la suite .
un nN
Montrons par un contre-exemple que la rciproque de cette proprit est fausse : soit
a > 0, a 6= 1.
1/n
La suite dfinie pour tout p N par u2p = u2p+1 = a p vrifie lim un = a alors que
n+
un+1
la suite na pas de limite quand n +.
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 converge quand n tend vers +.
0 nN
Donc aussi :
Z i Z i Z i+1 Z i+1
ui = ui dt f (t) dt et ui = ui dt f (t) dt.
i1 i1 i i
Si (sn )nN est la suite des sommes partielles de la srie de terme gnral un , on peut
crire :
n n n Z i Z n
sn s0 = ui = f (i) f (t) dt = f (t) dt.
i=1 i=1 i=1 i1 0
Remarque. Cette proposition est encore vraie si lintervalle dintgration [0, +[ est rem-
plac 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 im-
pliquent un encadrement du reste :
2.4.11 Corollaire. Sous les hypothses de la proposition 2.4.10, le reste rn = ui
i=n+1
vrifie la double ingalit :
Z Z
f (t) dt rn f (t) dt.
n+1 n
1
2.4.12 Exemple. Valeur approche de la somme de la srie de terme gnral .
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 :
Z n Z Z
sn = sn + f (t) dt = f (i) + f (t) dt = s rn + f (t) dt.
n+1 i=1 n+1 n+1
2.4.15 Dfinition. On dit que les suites (un )nN et (vn )nN sont quivalentes lorsque
n + si
> 0 , N N, tel que n N |un vn | vn .
2.4.16 Proposition. Test des quivalents.
On considre deux sries termes positifs, de termes gnraux respectis un et vn .
Alors, si les suites (un )nN et (vn )nN sont quivalentes lorsque n +, les sries
de termes gnraux respectifs un et vn ont mme nature : la srie de terme gnral un
converge si et seulement si la srie de terme gnral vn converge.
Dmonstration. Soit > 0 fix. Si les suites (un )nN et (vn )nN sont quivalentes lorsque
n +, il existe N > 0 tel que :
n N (1 )vn un (1 + )vn .
On applique le thorme de comparaison des sries termes positifs 2.4.2 deux fois :
si la srie de terme gnral vn converge la srie de terme gnral un converge et si la srie
de terme gnral un converge, la srie de terme gnral vn converge.
Ces deux sries ont bien mme nature.
2.4.17 Exemple. On considre les sries termes positifs un et vn telles que
1 1 cos( 1 )
n ln n
un = ln(1 + 2 ) et vn =
n sin 1n
pour tout n N . Alors la srie de terme gnral un converge et la srie de terme gnral
vn diverge.
Pour la srie de terme gnral un , on remarque que la fonction f dfinie pour tout t R+
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.16 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) = 1
est quivalente au voisinage de + la fonction dfinie par
sin t 2t lnt
et on applique la proposition 2.4.16 et lexemple 2.4.14.
34 Chapitre 2. Suites et Sries Numriques
Do :
q q1
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 conver-
gente et par suite, la srie de terme gnral un est convergente.
Comme la suite (sn )nN converge, les suites (s2n )nN et (s2n+1 )nN , sous-suites de la
prcdente, convergent vers la mme limite. Ce sont donc deux suites adjacentes. Leur
limite commune s qui par dfinition est la somme de la srie de terme gnral un vrifie
alors :
n N , s2n+1 s s2n .
On a aussi une majoration du reste dune srie alterne. En effet, on peut crire :
Donc
|r2n | |u2n+1 | et |r2n+1 | |u2n+2 | .
Par suite :
n N , |rn | |un+1 | .
(1)n
2.5.3 Exemple. La srie de terme gnral converge, bien quelle ne soit pas ab-
n
solument convergente.
1 ei(n+1) ei 2 sin(n + 1) 2
n n+1
An = e ik
=
1 ei
=
sin 2
.
k=0 ei 2
On en dduit que :
1
|An | .
sin
2
Le thorme 2.5.1 montre alors que la srie de terme gnral un converge.
36 Chapitre 2. Suites et Sries Numriques
(1 + x)1 = 1 x + O(x2 ).
(1)n
1) On crit, pour la srie de terme gnral :
n + (1)n
(1)n (1)n (1)n 1 (1)n (1)n
1
= (1 + ) = 1 + O( 2 )
n + (1)n n n n n n
(1)n 1 1
= 2 + O( 3 ).
n n n
(1)n
Cette srie apparat donc comme la somme de 3 sries : la srie de terme gnral
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
(1)n (1)n 1 1
n
= + O( 3/2 ).
n + (1) n n n
(1)n 1
Les sries de termes gnraux respectifs et O( 3/2 ) sont convergentes mais la srie
n n
1 (1)n
de terme gnral diverge. Donc la srie de terme gnral diverge.
n n + (1)n
2.6. Oprations sur les sries 37
Or on a :
m(n) n
|uk | = |uk | u (k) ,
kn k=0 k=0
38 Chapitre 2. Suites et Sries Numriques
v0 = u0 , v1 = u2 , . . . vn0 = u2n0 ,
o n0 est le premier entier tel que
On pose n1 = n0 + n1 et on dfinit
vn1 +1 = u2n0 +2 , . . . .
On continue ainsi en additionnant des termes de rang pair (donc positifs) jusqu ce que la
somme dpasse l puis des termes de rang impair (donc ngatifs) jusqu ce que la somme
redevienne plus petite que l.
Soit (Sn )nN la suite des sommes partielles de la srie de terme gnral vn .
On remarque que
n2p k n2p+1 1 |Sk l| u2n2p ,
n2p+1 k n2p+2 1 |Sk l| u2n2p+1 .
Par construction, les sommes partielles (Sn )nN de la srie de terme gnral vn obtenue
par cette permutation des termes de la srie de terme gnral un ont la proprit suivante :
La sous-suite (Sn2p ) pN est dcroissante et suprieure l.
La sous-suite (Sn2p+1 ) pN est croissante et infrieure l.
La suite (Sn )nN tend vers l quand n +.
On en dduit que la srie de terme gnral vn obtenue par cette permutation des termes de
la srie de terme gnral un converge et a pour somme l.
2.6. Oprations sur les sries 39
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 :
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 :
2in
un = e k .
est videmment convergente car cest la srie nulle (On rappelle que la somme des k
racines kme de lunit est nulle).
40 Chapitre 2. Suites et Sries Numriques
2.2 Exercice. N tant un entier naturel fix, soit (sn )nN la suite dfinie par :
(1)k (1)k
s0 = s1 = = sN = 0 , s2k = 1 + , 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 .
2.3 Exercice. Soit (sn )nN une suite relle borne. On dfinit :
sn = sup sn , sn = inf sn .
pn pn
1 N 1 N
N N
si + 1 n sN+1 cn n si + 1 n sN+1 .
n i=0 i=0
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.
(1)n
2.6 Exercice. Montrer que la srie de terme gnral un = converge. On appelle
n2
n
(1)i
S la somme de cette srie, et Sn = 2 la somme partielle dordre n. Trouver une
i=1 i
valeur explicite de n telle que
1
|Sn S| .
100
ln (ncos n )
un = .
n
ln x
f (x) = .
x
1) On a :
1
(sn sn1 ) = > 0, donc la suite (sn )nN est croissante.
n!
1 1 2 n 2n
(tn tn1 ) = sn + sn1 = = < 0, donc la suite (tn)nN est
n! (n 1)! n! n! n!
dcroissante.
1
(tn sn ) = > 0 donc lim (tn sn ) = 0
n! n+
2) Ces deux suites sont bien adjacentes et par suite lim tn = lim sn .
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 im-
plique lexistence dun entier An tel que :
An p An 1
< < + .
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.
1 1
sn n+ 2 + , sn n+ 1 .
n n
2) On en dduit que :
1) Pour tout k N + 1, on a :
sN+1 sk sN+1 .
En sommant sur k = N + 1, . . . n, on obtient :
n
(n N)sN+1 sk (n N)sN+1 .
k=N+1
2.8. Corrig des exercices sur le Chapitre 2 43
1 N N 1 N N
n k=0
s k + (1
n
)s N+1 cn
n k=0
sk + (1 )sN+1 .
n
1 N
2) Fixons N. Lorsque n +, sk 0 puisque lon multiplie une constante par une
n k=0
N
suite qui tend vers 0, et (1 ) 1.
n
On en dduit que, lorsque n + :
1 N N
n k=0
sk + (1 )sN+1 sN+1 ,
n
1 N N
n k=0
sk + (1 )sN+1 sN+1 .
n
Le rsultat en dcoule.
3) Par dfinition :
lim sup sn = lim sN+1 ,
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 :
1
La srie de terme gnral est convergente, donc la srie de terme gnral un est abso-
n
lument convergente par le thorme de comparaison des sries termes positifs.
1
b) Si < 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
cos n 1 cos n cos n cos n cos n
un = n = 1 + ( )
n 1 + cos n n n n n
N K K
cos2 n cos2 nk 1
n nk c nk ,
n=1 k=1 k=1
N N
cos2 n 1
n 8k + 1 .
n=1 k=1
cos2 n
Cette dernire srie est divergente et donc la srie de terme gnral galement en
n
utilisant le thorme de comparaison.
Donc la srie de terme gnral un diverge.
2.8. Corrig des exercices sur le Chapitre 2 45
es ln a
u = 2s, du = 2ds et v = , dv = es ln a ds,
ln a
ce qui donne :
Z n h 2ses ln a in Z n
x 2
a dx = es ln a ds
1 ln a 1 ln a 1
2 ne n ln a eln a
n ln a 2
ln a
= 2 e e
ln a ln a (ln a)2
2 na n a 2 n
= 2 a a .
ln a ln a (ln a)2
n n
b) Comme 0 < a < 1, lim a = lim na = 0 on a donc :
n n
Z n
a 1
lim a x dx = 2 1 .
n 1 ln a ln a
ln x 1
a) Pour f (x) = , on a f (x) = 1 ln x .
x x x
La drive de f est positive sur ]0, e], nulle en e et ngative sur [e, +[. Donc la fonction
1
f est croissante sur ]0, e], admet un maximum en e qui vaut et est dcroissante sur
e
[e, +[ , avec limx+ f (x) = 0.
ln (ncos n ) cos n ln (n)
b) On peut crire : un = = = an bn ,
n n
ln (n)
avec an = cos n et bn = .
n
46 Chapitre 2. Suites et Sries Numriques
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 conver-
gente.
= 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.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
fi(ti+1 ti) = f0(t1 t0) + f1 (t2 t1) + + fn1 (tn tn1).
i=0
On note ce nombre Z b
f (t) dt.
a
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 fabri-
quer 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 corres-
pondants 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
Z b
et ngativement si fi < 0. Donc f (t) dt reprsente la somme des aires des rectangles
a
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.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.
Z b
t [a, b], | f (t) (t)| (t) et (t) dt ,
a | | + | |
et on associe la fonction intgrable g les fonctions en escalier et , 0 telles que :
Z b
t [a, b], |g(t) (t)| (t) et (t) dt .
a | | + | |
Z b
t [a, b], |g(t) (t)| (t) et (t) dt .
a 2M
Soit M un majorant de la fonction | | sur [a, b], cest--dire supt[a,b] | (t)| M.
A la fonction intgrable f , on associe les fonctions en escalier et , 0, telles que :
Z b
t [a, b], | f (t) (t)| (t) et (t) dt .
a 2M
On peut alors associer la fonction f g, les fonctions en escalier et M + M qui
vrifient pour tout t [a, b] :
Z b
et (M + M )(t) dt M
+M = .
a 2M 2M
La fonction f g est donc bien intgrable.
3) De la mme faon, pour > 0 donn, on associe la fonction intgrable f les fonctions
en escalier et , 0 et alors, les fonctions en escalier | | et sont naturellement
associes | f | et ceci prouve que | f | est intgrable sur [a, b].
1
En prenant une suite de nombres n > 0 tendant vers 0 lorsque n , par exemple n = ,
n
si f est intgrable sur [a, b], il existe des suites de fonctions en escalier, n et n , n 0,
telles que :
Z b
t [a, b], | f (t) n(t)| n (t) et n (t) dt n .
a
Pour p, q N, on peut crire :
t [a, b], p (t) q(t) f (t) p(t) + f (t) q(t) p (t) + q(t).
Donc :
Z b Z b Z b
p (t) dt q (t) dt p (t) q(t) dt
a a
Za b
p (t) + q(t) dt p + q .
a
b
Z
La suite n (t) dt est alors de Cauchy et donc convergente.
a nN
3.2. Fonctions intgrables, intgrale de Riemann 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
Z b
en escalier telles que t [a, b], | f (t) n(t)| n (t) et n (t) dt n . Alors :
a
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
a n (t) dt
a a
Z b
(n (t) + n(t)) dt n + n .
a
b b
Z Z
Les deux suites n (t) dt et n (t) dt convergent donc bien vers la
a nN a nN
mme limite.
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 proposi-
tion 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 Z b Z b
( f + g)(t) dt = f (t) dt + g(t) dt.
a a a
Remarque. Comme pour lintgrale des fonctions en escalier, on pose par dfinition, :
Z a Z b
f (t) dt = f (t) dt.
b a
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 unifor-
mment continue, cest--dire :
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 :
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
a
(t) dt = (ti+1 ti ) sup f (c) inf
c[ti ,ti+1 ]
f (c)
i=0,1,...,n1 c[ti ,ti+1 ]
(ti+1 ti )
ba
= .
i=0,1,...,n1
3.2.7 Extension. On dit quune fonction f est continue par morceaux sil existe une
subdivision de [a, b], t0 < t1 < < tn , telle que f soit continue sur chaque intervalle
]ti ,ti+1[ de cette subdivision et admette des limites droite et gauche en tous les points
ti , i = 0, 1, . . ., n. Tout ce qui prcde reste valable si on considre des fonctions continues
par morceaux sur [a, b].
En effet, il suffit de dcouper lintervalle [a, b] en utilisant la subdivision t0 < t1 < < tn
et de raisonner sur chaque morceau [ti ,ti+1].
Cependant, il existe des fonctions intgrables encore plus gnrales. Donnons un exemple
de fonctions intgrables non ncessairement continues par morceaux :
3.2. Fonctions intgrables, intgrale de Riemann 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 :
1 (t) = f (ti ) pour t [ti ,ti+1] et i = 0, 1, . . ., n 1
2 (t) = f (ti+1) pour t [[ti,ti+1] et i = 0, 1, . . ., n 1.
Ces fonctions vrifient, pour tout t [a, b] :
1 (t) f (t) 2 (t),
Z b n1
2 (t) 1(t) dt = (ti+1 ti ) f (ti+1) f (ti )
a i=0
sup (ti+1 ti ) f (b) f (a) .
i=0,1,...,n1
on a : Z b
m(b a) f (t) dt M(b a).
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 Z b Z b
f (t) dt = f1 (t) dt + i f2 (t) dt.
a a a
54 Chapitre 3. Intgrale de Riemann et intgrale gnralise
3.2.11 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 ) = f (ci)(ti+1 ti) = f (c0)(t1 t0) + f (c1)(t2 t1) + + f (cn1 )(tn tn1).
i=0
3.2.12 Thorme. Soit f une fonction intgrable sur lintervalle [a, b]. Pour tout > 0,
il existe > 0 tel que quelle que soit la somme de Riemann de f ,
n1
R( f ) = f (ci)(ti+1 ti) = f (c1)(t2 t1) + f (c2)(t3 t2) + + f (cn1 )(tn tn1).
i=0
Dmonstration. Soit > 0 donn. Puisque par hypothse, f est intgrable, il existe deux
fonctions en escalier et , 0, telles que :
Z b
t [a, b] , | f (t) (t)| (t) et (t) dt .
a 4
Soient x1 , x2 , . . . , x p lensemble des points de discontinuit des fonctions et . Ces deux
fonctions restent donc constantes sur tout intervalle ne contenant aucun de ces points.
La somme de Riemann R( f ) vrifie :
Z b n1 Z ti+1
f (t) dt R( f ) = f (t) f (ci) dt.
a i=0 ti
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 | f (t) f (ci)| dt 2Mh,
ti ti
On en dduit que :
Z b Z b
f (t) dt R( f ) 4pMh + 2 (t) dt 4pMh + .
a a 2
Donc si on choisit = , alors pour tout h :
8pM
Z b
f (t) dt R( f ) 4pMh + .
a 2
2n
1
3.2.13 Exemple. On considre la suite Rn = . Cette suite tend vers ln 2 lorsque
k=n+1 k
n .
On pose i = k n 1 et on crit :
1 n1 n 1 n1 1
Rn = i+1+n n
n i=0
= i+1
+ 1
.
i=0 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
Comme cette fonction est continue, cette suite converge vers f (t) dt = ln 2.
0
Remarque. Si f est une fonction intgrable sur un intervalle [a, b], on a vu dans le pa-
ragraphe prcdent que ses sommes de Riemann, dfinies dans la dfinition 3.2.11, re-
prsentent 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 :
3.3.2 Rappel. Supposons quune fonction f , dfinie sur un intervalle [a, b] ait une pri-
mitive 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. Intgrale de Riemann et intgrale gnralise
F0 (x + h) F0 (x)
= f (c).
h
Fixons x. Quand h 0, c x, donc par continuit, f (c) f (x). On voit donc que F0 est
drivable en x et que
F0 (x) = f (x).
Ceci prouve le thorme 3.3.3.
3.3.4 Corollaire. 1) Soit f une fonction continue sur [a, b] et F une primitive de f .
Alors : Z b
f (t) dt = F(b) F(a).
a
2) Soit f une fonction continue et positive sur [a, b] telle que
Z b
f (t) dt = 0.
a
Alors, f = 0.
Z x
Dmonstration. Pour x [a, b], soit F0 (x) = f (t) dt. Daprs le thorme 3.3.3, F0 est
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,
Z b
F(b) F(a) = F0 (b) F0 (a) = F0 (b) = f (t) dt.
a
Montrons le point 2) par labsurde : supposons que, pour une fonction f continue et
Z b
positive, on ait la fois f (t) dt = 0 et un point x0 [a, b] tel que f (x0 ) > 0.
a
Puisque par hypothse f est continue, il existe un intervalle I [a, b] de longueur non
f (x0 )
nulle > 0 tel que pour tout x I, f (x) . Alors :
2
Z b
f (x0 )
Z
0= f (t) dt f (t) dt > 0.
a I 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].
3.3.5 Proposition. 1) Soit f une fonction dfinie sur [a, b], intgrable et borne sur
[a, b]. Alors la fonction Z x
F(x) = f (t) dt,
a
est continue sur [a, b].
2) Si de plus, f est positive sur [a, b], F est croissante.
Les deux rsultats qui suivent, le thorme dintgration par parties et le thorme de
changement de variable, sont trs utiles dans le calcul des intgrales :
Dmonstration. Cela rsulte immdiatement du fait que la fonction uv est une primitive
de la fonction uv + u v.
Ce torme a une application trs utile, la formule de Taylor avec reste intgral :
3.3.7 Corollaire. Soit n N et f une fonction n fois drivable, de drive n-ime continue
(ou de classe Cn ) sur un intervalle [a, b]. Alors :
Dmonstration. On dmontre cette formule par rcurrence sur n : si f est une fonction de
classe C1 sur [a, b], alors par dfinition f est une primitive de f et donc :
Z b
f (b) f (a) = f (t) dt
a
ce qui est bien la formule lordre 1. Supposons donc que cette formule soit vraie jusqu
lordre n et soit f une fonction de classe Cn+1 sur [a, b]. La fonction f vrifie la formule
lordre n, soit :
Intgrons par parties le dernier terme de cette formule, ce qui est possible car les fonctions
sont toutes deux de classe C1 :
b Z b
(b t)n1 (n) (b t)n (n) (b t)n (n+1)
Z b
f (t) dt = f (t) + f (t) dt
a (n 1)! n! a a n!
(b a)n (n) b (b t)n Z
= f (a) + f (n+1) (t) dt
n! a n!
En remplaant ce terme dans la formule lordre n, on trouve bien la formule lordre
n + 1 et donc cette formule est vraie tout ordre.
3.3.8 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 Z b d
f (t) dt = f ( (s)) (s) ds.
a c
Dmonstration. On vrifie que les fonctions
Z (x) Z x
F(x) = f (t) dt et G(x) = f ( (s)) (s) ds,
a c
ont les mmes drives et quelles sannulent toutes les deux en c.
Remarque. Dans ces deux rsultats, il faut bien vrifier que les fonctions ont une drive
continue sur lintervalle [a, b].
Fonctions inverses :
dt 1 x dt 1 xa
Z Z
2 2
= arctan , 2 2
= ln
Z t +a a a Z t a 2a x + a
dt x dt x
= argsh , = argch .
2
t +a 2 |a| 2
t a 2 a
cest--dire : Z b
m f0 f (t)g(t) dt M f0 ,
a
ce qui est la proprit voulue pour une fonction en escalier f .
Deuxime cas : f intgrable sur [a, b].
On dfinit f par :
Soit {t0 = a < t1 < < tn = b} une subdivision de [a, b] obtenue en dcoupant lintervalle
en n intervalles de mme longueur.
3.5. Intgration dun produit de fonctions 61
Comme la fonction g est intgrable sur [a, b], elle est borne sur cet intervalle et soit
ba
A = sup{|g(t)| / t [a, b]}. Alors, comme tk+1 tk = ,
n
n1 Z tk+1
Z b Z b
(t)g(t) dt
A n (t) f(t) dt
n f (t)g(t) dt
a a k=0 tk
n1 Z tk+1
A n (t) n(t) dt
k=0 tk
n1
ba
f(tk+1 ) f(tk )
=A
n k=0
ba
f (a) f(b) .
=A
n
b Z b Z b
Z
La suite n (t)g(t) dt converge donc vers f(t)g(t) dt = f (t)g(t) dt quand
a nN a a
n +.
Les fonctions en escalier n sont positives dcroissantes sur [a, b], on peut donc leur ap-
pliquer le premier cas :
Z b
m f (a + 0) = m f(a) n (t)g(t) dt M f(a) = M f (a + 0).
a
De plus, si f et g sont continues, cette ingalit est une galit si et seulement si | f | et |g|
sont proportionnelles.
Ce trinme du second degr en garde un signe constant sur R donc son discriminant est
ngatif ou nul, soit :
Z b
2 Z b Z b
| f (t)g(t)| dt | f (t)|2 dt |g(t)|2 dt,
a a a
sint
Or la fonction 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 com-
pliqu et il peut tre avantageux de le remplacer par un calcul approch.
Soit f une fonction monotone de [a, b] dans R. Par exemple, on suppose que f est crois-
(b a)
sante. Pour tout n N fix arbitrairement, on pose h = et considre la subdivision
n
de [a, b] :
a < a + h < a + 2h < < a + kh < < a + nh = b.
On a videmment, pour k = 1, 2, . . ., n :
Z a+kh
h f a + (k 1)h f (t) dt h f a + kh .
a+(k1)h
3.6. Mthodes dapproximation numrique des intgrales 63
Do, en sommant :
n1 Z b n
h f a + kh f (t) dt h f a + kh .
k=0 a 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)
E h f a + kh h f a + kh = h f (b) f (a) =
f (b) f (a) .
k=1 k=0 n
1
Lerreur est donc de lordre de grandeur de . Il suffit donc en thorie de dcouper linter-
n
valle [a, b] en suffisamment de petits sous-intervalles pour obtenir une erreur aussi petite
que lon veut.
Pour obtenir la valeur de cette intgrale 1/100 prs, il faudrait prendre n 100(e 1),
2
soit n 172, ce qui exige de calculer la valeur de la fonction et en 172 points.
Cet exemple montre que cette mthode nest pas trs efficace.
La mthode que nous allons tudier maintenant est plus complique mais donne de meil-
leurs rsultats : cette mthode sappelle la mthode des trapzes.
Soit f une fonction dfinie sur [a, b], valeurs dans R et soit n N . Comme pour la
mthode des rectangles, on prend la subdivision de [a, b] :
Pour essayer damliorer le rsultat prcdent, lide est de remplacer la fonction f sur
chaque intervalle [a + (k 1)h, a + kh] non plus par une constante mais par une fonction
affine prenant les mmes valeurs que f aux points a + (k 1)h et a + kh, cest--dire par
la fonction gk dfinie par :
1
gk (t) = f a + kh [t (a + (k 1)h)] f a + (k 1)h [t (a + kh)] .
h
On remarque que :
64 Chapitre 3. Intgrale de Riemann et intgrale gnralise
Z a+kh
h
gk (t) dt = f (a + (k 1)h) + f (a + kh) .
a+(k1)h 2
Z b
La mthode des trapzes consiste donc approcher f (t) dt par la somme de ces ex-
a
pressions pour k = 1, 2, . . ., n, cest--dire par :
h n
Sn = ( f (a + (k 1)h) + f (a + kh))
2 k=1
" #
n1
(b a) ba
= f (a) + f (b) + 2 f (a + k ) .
2n k=1 n
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 (v u)3
Z v
f (u) + f (v) f (t) dt .
12 2 u 12
Dmonstration. La fonction h dfinie par h(t) = f (t) + (t u)(v t) prend les mmes
2
valeurs que f aux points u et v et vrifie pour tout t [u, v] :
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 Z v Z v Z v
h(t) dt = f (t) dt + (t u)(v t) dt g(t) dt.
u u 2 u u
Or,
v
t3 t2 (v u)3
Z v
(t u)(v t) dt = + (u + v) uvt = .
u 3 2 u 6
Do, en utilisant le calcul prcdent :
Z v Z v
v u
(v u)3 .
g(t) dt = f (u) + f (v) f (t) dt +
u 2 u 12
Ceci donne bien la premire ingalit du lemme. La seconde sobtient de la mme faon
en considrant la fonction concave t f (t) + (t u)(v t), (voir [9]).
2
3.6.3 Proposition. Soit f : [a, b] R deux fois drivable sur [a, b] et telle que pour tout
t [a, b] , f (t) , alors, pour tout n N , on a :
(b a)3 (b a)3
Z b
Sn f (t) dt ,
12n2 a 12n2
avec " #
n1
(b a) ba
Sn = f (a) + f (b) + 2 f (a + k ) .
2n k=1 n
1
On peut remarquer que lerreur dans la mthode des trapzes tend vers 0 comme
n2
lorsquon dcoupe lintervalle [a, b] en sous-intervalles de plus en plus petits, ce qui est
meilleur que pour la mthode des rectangles.
3.7.1 Dfinition. On dira quune fonction f est localement intgrable sur lintervalle
semi-ouvert [a, b[ si elle est intgrable, au sens de Riemann, sur tout sous-intervalle ferm
[a, c] [a, b[
66 Chapitre 3. Intgrale de Riemann et intgrale gnralise
3.7.2 Dfinition. 1) Soit f une fonction dfinie sur lintervalle semi-ouvert [a, b[,
valeurs dans R ou C, localement intgrableZ sur [a, b[. On dit que f est intgrable sur
x
[a, b[ si la limite lorsque x b de lintgrale f (t) dt existe.
a
2) Si f est intgrable sur lintervalle semi-ouvert [a, b[, on appellera intgrale
Z b
gnralise de f sur [a, b[ et on notera f (t) dt la limite ci-dessus, cest--dire :
a
Z b Z x
f (t) dt = lim f (t) dt.
a xb a
3.7.3 Notations. Lorsquune fonction localement intgrable f est intgrable sur un inter-
valle semi-ouvert [a, b[ au sens des intgrales gnralises dfinies ci-dessus, on dit que
lintgrale gnralise
Z b
f (t) dt,
a
converge.
1
3.7.4 Exemple. 1) Soit f (t) = sur [0, +[. Alors f est intgrable sur lin-
1 + t2
tervalle [0, +[. En effet :
Z x
lim f (t) dt = lim arctgx = .
x+ 0 x+ 2
1
2) Soit f (t) = sur [0, +[. Alors f nest pas intgrable sur [0, +[. En effet :
1+t
Z x
lim f (t) dt = lim ln(1 + x) = +.
x+ 0 x+
1
3) Soit f (t) = sur ]0, 1]. Alors f est intgrable sur ]0, 1]. En effet :
t
Z 1
lim f (t) dt = lim 2(1 x) = 2.
x0 x x0
1
4) Soit f (t) = sur ]0, 1]. Alors f nest pas intgrable sur ]0, 1]. En effet :
t
Z 1
lim 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
lim f (t) dt existe.
xb
on a la formule :
Z b Z Z b
f (t) dt = f (t) dt + f (t) dt,
a a
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.
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 ) .
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 :
2
sin s x
Z x Z x2 Z 2
1 x sin s
2 cos s
cost dt = ds = + ds.
1 1 2 s 2 s 1 4 1 s s
Le terme tout intgr tend versZ0 quand x + et on verra plus loin (voir exemple 3.9.3
+ sin s
2)) que lintgrale gnralise ds existe. On en dduit bien que la fonction cost 2
1 s s
est intgrable sur [1, +[ alors quelle ne tend pas vers 0 linfini.
3.8. Intgrales gnralises des fonctions positives. 69
3.8.1 Thorme. Soient f et g des fonctions dfinies sur un intervalle semi-ouvert [a, b[,
localement intgrables sur [a, b[ et telles que
Alors, si g est intgrable sur [a, b[, f lest aussi et si f nest pas intgrable sur [a, b[, g ne
lest pas non plus.
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[.
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 :
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 lquiva-
lence : 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 fonc-
tions classiques qui constitueront une chelle de comparaison.
70 Chapitre 3. Intgrale de Riemann et intgrale gnralise
Z x
f (t) dt = ln x si = 1.
1
Ces fonctions nont de limite quand x + que si > 1.
2) De la mme faon, on calcule lintgrale de f sur ]x, 1], avec 0 < x < 1 :
Z 1
1 1
f (t) dt = 1 1 si 6= 1,
x 1 x
Z 1
f (t) dt = ln x si = 1.
x
Ces fonctions nont de limite quand x 0 que si < 1.
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 qui-
t 2t t
1 1
valente 2 en +. La fonction f (t) est donc quivalente 2 en +.
2t 2t lnt
1 1
Or 0 2 2 sur [2, +[ et cette dernire fonction est intgrable en +.
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 num-
riques :
3.8.5 Thorme. Soit f une fonction dfinie sur lintervalle semi-ouvert [a, +[, locale-
ment 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 conver-
gente.
3.9. Intgrales gnralises des fonctions ne gardant pas un signe constant 71
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 compa-
raison des sries termes positifs, voir 2.4.2.
Or, si N0 N est tel que a N0 , on peut crire,
N Z x N+1
N0 N x N + 1 vn
N0
f (t) dt vn .
n=N0 n=N0
Z x
On en dduit que la limite de f (t) dt existe quand x + si et seulement si la srie
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.
3.9.1 Dfinition. Soit f une fonction localement intgrable sur lintervalle semi-ouvert
[a, b[. On dit que f est absolument intgrable sur [a, b[ si | f | est intgrable sur [a, b[.
Z x
En dautres termes, ceci veut dire que la limite quand x tend vers b de | f (t)|dt existe.
a
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
Z b Zb
f (t) dt | f (t)| dt.
a 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 :
Z x
x, x V (b) | f (t)| dt .
x
Mais on a : Z x Z x
x f (t) dt x | f (t)| dt
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
72 Chapitre 3. Intgrale de Riemann et intgrale gnralise
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 .
sint
3.9.3 Exemple. 1) La fonction f (t) = est absolument intgrable sur linter-
1 + t2
valle semi-ouvert [1, +[.
cost
2) La fonction g(t) = est intgrable et non absolument intgrable sur linter-
t
valle semi-ouvert [1, +[.
sint x 1 x sint
Z x Z
g(t) dt = + dt.
1 t 1 2 1 t t
sint x sin x
La fonction = sin 1 admet pour limite sin 1 en + et lintgrale
t 1 x
Z x
sint
dt
1 t t
est absolument convergente en + daprs largument donn pour f . On en dduit bien
que la fonction g est intgrable sur [1, +[.
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
En sommant sur n, comme la srie p est divergente, on voit que g nest pas
(n + 1)
absolument intgrable sur [ , +[ et donc pas non plus sur [1, +[.
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 gn-
ralises.
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
intgrable sur [a, +[.
3.10. Exercices sur le chapitre 3 73
Dmonstration. Puisque la fonction f est continue, elle est localement intgrable sur lin-
tervalle 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 tho-
rme 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
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[.
t
3.3 Exercice. Calculer une primitive F de la fonction f (t) = , dfinie sur lintervalle
cos2t
ouvert ] , [.
2 2
3.6 Exercice. Soit f une fonction intgrable sur tout intervalle born de R telle que :
Calculer Z +
( f (t + 1) f (t)) dt.
(On pourra raisonner sparment sur [0, +[ et sur ] , 0].)
3.7 Exercice. Construire une fonction positive et continue sur [0, +[, dont lintgrale
gnralise existe sur cet intervalle mais qui nest pas borne sur [0, +[.
3.11. Corrig des exercices sur le Chapitre 3 75
1) Soit t0 = 0 < t1 < < tn = a une subdivision quelconque du segment [0, a] et pour
tout i = 0, 1, . . ., n 1 soit ci [ti ,ti+1]. Puisque f est intgrable sur [0, a], on a :
Z a n1
0
f (t) dt = lim
n+
(ti+1 ti) f (ci).
i=0
De plus f (ti ) 0in
est une subdivision du segment [0, f (a)]. Donc si di [ f (ti ), f (ti+1)],
on a :
Z f (a) n1
g(t) dt = lim f (ti+1 ) f (ti) g(di ).
0 n+
i=0
2) a) Supposons f ( ) f (a).
Le raisonnement prcdent implique :
Z Z f ( )
f (t) dt + g(t) dt = f ( ).
0 0
Do Z Z
g(t) dt f ( ) + f ( ) = .
f (t) dt +
0 0
1 2
Or (b a) n tend vers 1 lorsque n +. Donc limn+ In ea .
2
Pour dmontrer lautre ingalit, on utilise la continuit de la fonction et en a : > 0
2 2
donn, on associe > 0 tel que a + b et pour tout t [a, a + ], et ea (1 ).
76 Chapitre 3. Intgrale de Riemann et intgrale gnralise
Alors :
Z b Z a+ Z a+
nt 2 nt 2 2 2
e dt e dt (1 ) n
ena dt = (1 )n ena ,
a a a
do lingalit :
1 2
In n (1 )ea .
1
Comme n tend vers 1 lorsque n +, on en dduit
2
lim In (1 )ea .
n+
v = t , dv = dt.
Do
Z x Z x
t x
F(x) = dt = t tant 0
tant dt = x tan x + ln |cos| x .
0 cos2 t 0
On vrifie dabord que toutes les fonctions qui interviennent dans cet exercice sont conti-
nues 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 2
reste minore par lorsque t + et elle nest donc
a
1 + t sin t 2
pas intgrable sur lintervalle [0, +[.
2) Supposons 0 < a 1. Alors dans ce cas, on peut crire, pour t [0, +[ :
1 1
1.
1+t a
1 + t sin2 t
a
3.11. Corrig des exercices sur le Chapitre 3 77
1 1
Or la fonction a
est quivalente au voisinage de + a , qui nest pas intgrable en
1+t t
1
+. Donc la fonction nest pas intgrable sur [0, +[.
1 + t a sin2 t
3) Supposons 1 < a et posons, pour n > 1 :
Z n + Z +
2 dt 2 dt
un = et u0 =
n 2 1 + t a sin2 t 0 1 + t a sin2 t
En effectuant le changement de variable t = n + s, on obtient :
Z +
2 ds
un = .
2 1 + (n + s)a sin2 s
On va, comme dans les 2 premiers cas, encadrer un entre deux intgrales plus simples
obtenues en remplaant (n + s)a par (n )a et (n + )a , soit :
2 2
Z + Z +
2 ds 2 ds
wn =
u n
= vn .
2 1 + (n + 2 )a sin s 2 1 + (n 2 )a sin s
2 2
Z +
2 ds
On peut calculer lintgrale de Riemann I = en effectuant le change-
2 1 +Ca sin2 s
ment de variable u = tan s :
Z +
du
I= = 1 .
u2 (1 +Ca ) + 1 (1 +Ca ) 2
On en dduit les quivalences suivantes quand n tend vers +t :
vn = a,
(1 + (n 2 )a ) (n ) 2
1
2
wn = a.
(1 + (n + 2 )a ) (n ) 2
1
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
Il est facile de voir que F(n + ) = uk .
2 k=0
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.
b) Pour a > 2, pour tout X > 0, il existe n N tel que : n X n + . On peut
2 2
donc crire :
Z X
dt
F(x) = F(n ) + 2
.
2 n 2 1 + t a sin t
gnralise existe donc bien dans ce cas et sa valeur est la somme de la srie de terme
gnral un .
On dcoupe lintgrale gnralise en deux, lune sur [0, +[ et lautre sur ] , 0].
1) Soit X > 0, on peut crire :
Z X Z X Z X
f (t + 1) f (t) dt = f (t + 1) dt f (t) dt
0 Z0X+1 Z X0
= f (s) ds f (t) dt
Z1X+1 Z 01
= f (t) dt f (t) dt.
X 0
Soit > 0. Puisque f (t) tend vers l lorsque t +, il existe A > 0 tel que t > A entrane
l < f (t) < l + .
Z X+1
On en dduit que si X > A, alors l f (t) dt l + .
Z X+1 X Z +
Do lim f (x)dx = l et lintgrale gnralise f (t + 1) f (t) dt existe et
X+ X 0
Z 1
vaut l f (t) dt.
0
2) Pour lintgrale gnralise sur ] , 0], le mme raisonnement permettrait de dmon-
Z Z 1
trer que lintgrale gnralise f (t + 1) f (t) dt existe et vaut l f (t) dt.
0 0
En rassemblant ces deux rsultats, on en dduit donc que lintgrale gnralise
Z +
f (t + 1) f (t) dt
existe et vaut l l .
Lide est de construire une fonction, nulle sauf sur de trs petits intervalles o elle prend
de grandes valeurs. Prcisment, on dfinit f par :
1 1
f (n) = n , f (n 3 ) = f (n + 3 ) = 0 pour n > 0,
2n 2n
1 1
f est affine sur [n 3 , n] et sur [n, n + 3 ],
2n 2n
f est nulle ailleurs.
On voit facilement que f est continue, positive sur [0, +] et que f nest pas borne sur
[0, +[.
1 + 1
Z X
En revanche, pour tout X > 0, lintgrale F(X ) = f (t) dt est majore par 2 .
0 2 n=0 n
Comme F est une fonction positive croissante, ceci implique que F(X ) a une limite finie
lorsque X + et donc que lintgrale gnralise existe.
Chapitre 4
Suites et sries de fonctions
4.1.1 Dfinition. i) Une suite de fonctions ( fn )nN de D dans K est une applica-
tion n fn de N dans lensemble des fonctions de D dans K.
ii) Une suite de fonctions ( fn )nN de D dans Kconverge simplement vers la fonc-
tion f si quelque soit t D, la suite numrique fn (t) nN converge vers f (t).
n
t D , s(t) = lim
n+
ui(t).
i=0
80 Chapitre 4. Suites et sries de fonctions
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) La suite de fonctions continues dfinie pour tout t [0, 1] par
fn (t) = t n ,
ii) La srie de fonctions continues dfinie pour tout t [0, ], de terme gnral
2
un (t) = sin2 t cosn t,
sin2 t
s(t) = si t ]0, ]
1 cost 2
s(0) = 0.
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
converge simplement et a pour somme la fonction sint.
La srie des drives ne converge pas.
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 Z 1
n
fn (t)dt = n t(1 t 2)n dt = .
0 0 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
pour tout t [0, 1] converge simplement et a pour somme 0. Lintgrale de un sur [0, 1]
n n1
vaut daprs le i) . La srie dont le terme gnral est lintgrale de un sur
2n + 2 2n
[0, 1] converge donc vers 1/2, puisque
n
i i1 n 1
2i + 2
2i
=
2n + 2
n+ ,
2
i=1
qui nest pas lintgrale de la somme de la srie de terme gnral un sur [0, 1].
4.2.3 Dfinition. Une srie de fonctions de terme gnral un de D dans K converge uni-
formment et a pour somme s si :
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 conver-
gence uniforme de f , le nombre dfini par :
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 :
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].
4.2. Convergence uniforme 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
sup |rn (t)| = sup sin t cos t = sup
2 i = 2,
t[0, /2] t[0, /2] i=n+1
x[0, /2] 1 cost
puisque :
sin2 t cosn+1 t
lim = 2.
t0 1 cost
Do
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 :
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.
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.
Pour montrer la convergence uniforme, on utilise la majoration du reste dune srie alter-
ne, 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 .
tR n n
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 :
Donc si |t t0 | , on a
| f (t) f (t0)| + + = .
3 3 3
Ceci prouve la continuit de f en t0 .
4.3.2 Corollaire. Soit ( fn )nN une suite de fonctions dfinies sur un domaine D et qui
converge uniformment vers une fonction f sur D. Si pour tout n N, fn est continue sur
D, f est aussi continue sur D.
4.3.3 Thorme. On considre une srie de fonctions de terme gnral un , dfini sur un
domaine D, qui converge uniformment et a pour somme la fonction s sur D. Si pour tout
n N, un est continue en un point t0 de D, s est aussi continue en t0.
On peut alors crire :
+
s(t0) = lim ui (t)
tt0
i=0
+ +
= ui (t0 ) = lim ui (t),
tt0
i=0 i=0
4.3.4 Corollaire. On considre une srie de fonctions de terme gnral un , dfini sur un
domaine D, qui converge uniformment et a pour somme la fonction s sur D. Si pour tout
n N, un est continue sur D, s est aussi continue sur D.
On utilise souvent ces rsultats par contrapose : en reprenant lexemple 4.1.6, on retrouve
immdiatement :
4.3.5 Exemple. i) La suite de fonctions continues fn (t) = t n converge simplement
vers une fonction f , discontinue sur [0, 1]. Elle ne converge donc pas uniformment sur
cet intervalle.
ii) La srie de fonctions continues de terme gnral sin2 t cosn t converge simple-
ment sur [0, /2] et a pour somme une fonction discontinue. Elle ne converge donc pas
uniformment sur cet intervalle.
La convergence uniforme des suites ou sries de fonctions est suffisante mais non nces-
saire pour assurer la continuit des limites ou des sommes. De plus, en gnral, on ne peut
pas appliquer directement les rsultats de continuit des limites de suites de fonctions,
thorme 4.3.1, et de sommes de sries de fonctions, thorme 4.3.3, sur le domaine D en
entier et on est oblig dutiliser un argument, dit de saturation. Donnons deux exemples :
4.3.6 Exemple. 1) La suite de fonctions fn (t) = n2tent ne converge pas unifor-
mment sur [0, +[ mais sa limite est continue sur [0, +[.
1
2) La somme de la srie de fonctions de terme gnral t n > 1, est continue sur
n
]1, +[.
4.4. Drivabilit des limites et des sommes
pour la convergence uniforme 87
En revanche, il est facile de voir que la suite de fonctions ( fn )nN converge uniformment
vers 0 sur tout intervalle [a, +[, pour a > 0.
2) Soit a > 1. On peut crire :
1 1
t [a, +[ , 0 t
a.
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, +[.
.
f p (t) fq(t) f p (t1) fq (t1) f p (t) f p(t1 ) fq (t) fq(t1 )
= 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)
n (t) = pour t 6= t1
t t
(t ) = f (t ), 1
n 1 n 1
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 :
fn (t) fn(t1)
lim n (t) = lim = fn (t1 ) = n (t1).
tt1 tt1 t t1
En appliquant le thorme 4.3.1, on voit que la limite de (n )nN est continue en t1 et
que
fn (t) fn(t1)
(t1) = g(t1) = lim fn (t1 ) = lim lim
n+ n+ tt1 t t1
fn (t) fn(t1) f (t) f (t1)
= lim lim = lim .
tt1 n+ t t1 tt 1 t t1
On en dduit que la drive de f au point t1 existe et vaut
f (t1) = g(t1 ) = lim fn (t1).
n+
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 sous-
intervalles 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.
4.4. Drivabilit des limites et des sommes
pour la convergence uniforme 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.
Dmonstration. Il suffit dappliquer le thorme 4.4.1 la suite (sn )nN des sommes par-
tielles de la srie de terme gnral un , qui sont drivables comme sommes finies de fonc-
tions drivables.
90 Chapitre 4. Suites et sries de fonctions
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
sn (1 s)n ds nN converge vers 0.
La suite
0
Z b + Z b
a
s(t) dt = a
un (t) dt
n=0 !
Z b +
=
a
un (t) dt,
n=0
Dmonstration. On applique le thorme prcdent 4.5.1 la suite (sn )nN des sommes
partielles de la srie de terme gnral un , qui sont continues sur [a, b] comme sommes
finies de fonctions continues .
t 2n
4.5.4 Exemple. On considre la srie de fonctions de terme gnral un (t) = , dfini
(2n)!
sur [0, 1].
t 2n 1
Comme t [0, 1], 0 , cette srie converge normalement donc unifor-
(2n)! (2n)!
mment (proposition 4.2.10) sur [0, 1]. Daprs le thorme prcdent, on a donc, pour
tout x [0, 1] :
!
+ + Z x 2i Z x + 2i
x2i+1
Z x
t t
= dt = dt = cosht dt = sinh x.
i=0 (2i + 1)! i=0 0 (2i)! 0 i=0 (2i)! 0
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 uniform-
ment 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
un (x) = nxa enx .
1
1) Calculer lim ln un (x) pour x > 0.
n+ n
2) En dduire que pour tout a > 0, la srie de fonctions de terme gnral un (x) converge
simplement sur [0, +[.
3) a) Pour |z| < 1, calculer nzn.
n=1
+
b) En faisant un changement de variable, en dduire la somme s(x) = un(x) pour
n=1
tout x [0, +[.
4)a) Calculer sup un (x).
x[0,+[
b) En dduire que la srie de fonctions de terme gnral un (x) converge normalement
sur [0, +[ si et seulement si a > 4.
5) Soit a = 4. On cherche montrer que dans ce cas, la srie de fonctions un (x) ne
converge pas uniformment sur [0, +[.
a) Trouver un rel C > 0 tel que
r
2N
2
N N , un(xN ) C avec xN = N
.
n=N
2N
b) En dduire que sup un(x) ne tend pas vers 0 quand 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).
4.7. Corrig des exercices sur le Chapitre 4 93
0 ex 1 x 2x2 .
Soit
un (t) = exp 2nt 1, t R, n N .
1) Dterminer lensemble D des rels t R pour lesquels la srie de fonctions de terme
gnral un (t) converge.
2) Soit a > 0. Etudier la convergence uniforme sur lintervalle [a, +[ de la srie de
fonctions de terme gnral un .
3) Soit s la somme de la srie de fonctions de terme gnral un . Etudier la continuit de la
fonction s sur D.
4) Trouver un quivalent pour s(t) quand t tend vers +.
La suite de fonctions ( fn )nN converge donc bien uniformment sur le segment [0, a] pour
tout a [0, 1[.
2N
Do un(xN ) 4e4 = C.
n=N
2N 2N 2N
b) On en dduit que sup un (x) un (xN ) C et donc sup un (x) ne tend
x]0,+[ n=N n=N x]0,+[ n=N
pas vers 0 quand N +.
c) La srie de fonctions de terme gnral un (x) ne vrifie pas le critre de Cauchy uniforme
et donc ne converge pas uniformment sur ]0, +[.
2 2
6) a) On remarque que (1 ex )2 x4 quand x 0. Donc s(x) ex 1 quand x 0.
2
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 inter-
valle.
22t t 2t
t+ 2t on a :
Comme : = o 2 et
1 22t 1 2t
2t
s(t) t+ t
t+ 2t .
12
En conclusion, s(t) t+ 2t .
1) Pour tout n N, on a :
1
Si t [0, ], fn (t) = 4n2t
2n
x 1
Si t [ , x], gx (t) = 4n2 (t )
2 n
2) On distingue 2 cas :
ou bien t = 0, alors fn (0) = 0 pour tout n N et on voit que fn (0) 0 quand n
1 1
ou bien t 6= 0 et alors si t, cest dire n , fn (t) = 0 donc on a aussi fn (t) 0
n t
quand n .
Donc quel que soit t [0, 1], on a : limn fn (t) = 0.
1
3) On remarque que pour tout n N , laire du triangle isocle de base et de hauteur 2n
n
est 1. Cest laire comprise entre laxe des t et le graphe de la fonction t fn (t), donc
Z 1
fn (t) dt = 1
0
5.1.1 Dfinition. Soit (an )nN une suite de scalaires, rels ou complexes. Une srie en-
tire est une srie de fonctions de terme gnral un (t) = ant n, o t R, respectivement
un (z) = an zn , o z C.
Pour unifier la prsentation des rsultats suivants, on se place dans le cas dune variable
complexe z, le cas rel sen dduisant sans peine.
5.1.3 Dfinition. Le nombre positif R, fini ou infini, caractris par les proprits i) et ii)
du thorme 5.1.2 sappelle le rayon de convergence de la srie de terme gnral an zn .
Le disque ouvert DR = {z C| |z| < R} sappelle le disque de convergence de la srie de
terme gnral an zn .
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 .
Dmonstration. Soit z0 C tel que |z0 | < R. On choisit r > 0 tel que |z0 | < r < R. Daprs
le thorme 5.1.2 iii), la srie de terme gnral an zn converge normalement donc unifor-
mment (proposition 4.2.10) sur Dr . Sa somme s est donc continue sur cet ensemble
daprs le thorme 4.3.3, donc en particulier en z0 . En faisant varier z0 dans le disque
ouvert DR , on obtient la continuit de s en tout point de cet ensemble.
Dans ces deux exemples, la srie diverge pour z = 1. Dans le premier exemple, elle diverge
aussi pour z = 1, alors que dans le deuxime exemple, elle converge pour z = 1.
5.1.6 Proposition. On considre une srie entire de terme gnral an zn . Son rayon de
1
convergence R est donn par la formule : = lim sup(|an |)1/n .
R n+
1
On en dduit que si |z| < la srie de terme gnral an zn converge
lim supn+ (|an |)1/n
absolument. Donc
1
R
lim supn+ (|an |)1/n
5.1. Dfinitions et disque de convergence 99
1
Deuxime cas : Si lim sup(|an | |zn |)1/n > 1, cest--dire si |z| > alors
n+ lim supn+ (|an |)1/n
le terme gnral an zn de la srie ne tend pas vers 0 et la srie diverge. Donc
1
R
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 L. Donc la limite suprieure de vaut . On en dduit que la limite infrieure
|an |1/n L
1
de |an |1/n , qui est gale linverse de la limite suprieure de , vaut L. On conclut
|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 gale-
n
ment 1.
1
(n+1)!
3) Comme lim 1
= 0, le rayon de convergence de la srie de terme gnral
n+
n!
zn
est +.
n!
Dmonstration. i) Pour |z| < min{Ra , Rb }, les deux sries de termes gnraux respectifs
an zn et bn zn sont convergentes. On peut donc appliquer la proposition 2.3.7.
ii) On utilise le lemme sur les produits de sries numriques 2.3.11 :
On remarque que le terme gnral de la srie produit des sries de termes gnraux an zn
et bn zn est !
n n
ak zk bnk znk = ak bnk zn = cn zn
k=0 k=0
n
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 conver-
n!
gence + (voir exemple 5.1.9) et de somme s. Alors, on a :
s(z + z ) = s(z)s(z)
+
Dmonstration. Notons r = |bi | i . Pour k N, la fonction skb est la somme dune srie
i=0
entire de rayon de convergence au moins gal Rb daprs le thorme 5.2.1. Notons
cn (k)zn le terme gnral cette srie. Comme les coefficients ci (k) sont daprs le mme
thorme, des sommes de produits des coefficients bk , on a lingalit :
+ +
|ci(k)| |z|i ( |bi| |z|i)k
i=0 i=0
Donc puisque r < Ra , pour |z| , la srie de terme gnral ak sb (z)k converge absolu-
ment.
En utilisant le thorme de sommation par paquets 2.6.4 on peut donc sommer en regrou-
pant les termes de mme degr en n : on obtient bien ainsi une srie entire de rayon de
convergence suprieur ou gal et de somme sa osb .
a un rayon de convergence strictement positif. En rordonnant les termes selon les puis-
sances de z, on trouve :
+
s(z + a) = cn zn
n=0
o pour tout n N,
+
cn = Cn+k
n
an+k ak
k=0
102 Chapitre 5. Sries entires
5.2.6 Application. (Inverse dune srie entire) On considre une srie entire de terme
gnral an zn , de rayon de convergence non nul R, de somme s et dont le premier terme a0
est non nul. Alors il existe une srie entire de terme gnral bn zn , de rayon de conver-
gence non nul R , de somme telle que :
a0 b0 = 1 et n 1 , a0 bn + a1 bn1 + + an b0 = 0.
Ceci permet de calculer de proche en proche les bn en fonction des an .
Dans la suite de ce paragraphe, nous nous limiterons au cas o la variable est relle.
Dmonstration. Sous les hypothses du corollaire, la srie de terme gnral ant n converge
sur lintervalle ]R, +R[ et la srie des drives converge uniformment sur tout intervalle
[r, +r] avec r < R. Sa somme s est donc drivable sur ces intervalles par le thorme
4.4.5 et par suite sur lintervalle ouvert ] R, +R[. La drive de s est la somme de la srie
de terme gnral nant n1 sur ] R, +R[. Or, daprs le thorme prcdent, cette srie a
R pour rayon de convergence. On peut donc itrer le raisonnement.
5.3.3 Corollaire. On considre une srie entire relle de terme gnral ant n, de somme
s et de rayon de convergence R. Alors pour tout k N, s(k) (0) = k!ak .
Dmonstration. De la mme faon que pour le corollaire 5.3.2, la srie de terme gn-
ral 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
ii) On dit quune fonction f dune variable complexe z est dveloppable en srie
entire lorigine sil existe une srie entire de terme gnral an zn , de rayon de conver-
gence R > 0, de somme s telle que
z DR , f (z) = s(z).
f (k) (0)
k N , ak = .
k!
Cette srie est donc bien unique.
5.4.4 Dfinition. Soit f une fonction dune variable relle t indfiniment drivable. La
f (k) (0) k
srie entire de terme gnral t sappelle la srie de Taylor de f .
k!
5.4.5 Corollaire. Soit f une fonction indfiniment drivable dune variable relle t. Si f
est paire, sa srie de Taylor na pas de terme en t k avec k impair et si f est impaire, sa
srie de Taylor na pas de terme en t k avec k pair.
Le fait que f soit indfiniment drivable sur un intervalle ] R, +R[ ne suffit pas assurer
que cette fonction soit dveloppable en srie entire, mme si sa srie de Taylor converge :
5.4. Dveloppement en srie entire lorigine 105
1
5.4.6 Exemple. Soit f la fonction dfinie par : f (t) = 0 si t 0 et f (t) = e t 2 si t > 0.
Il est facile de vrifier que f est indfiniment drivable sur R. De plus pour tout k N,
f (k) (0) = 0. Donc, si f tait dveloppable en srie entire, son dveloppement serait la
srie nulle, ce qui nest pas possible car f nest nulle sur aucun intervalle de la forme
] R, +R[.
On va chercher une condition suffisante pour quune fonction soit dveloppable en srie
entire. Commenons par une remarque qui est une consquence immdiate de la dfini-
tion 5.4.1 :
Remarque. Soit f une fonction indfiniment drivable dune variable relle t, dfinie
sur un intervalle ] r, +r[. Alors f est dveloppable en srie entire sur ] r, +r[ si et
seulement si les deux conditions suivantes sont ralises :
f (k) (0) k
1) La srie entire de terme gnral t a un rayon de convergence R r.
k!
2) La somme de cette srie vaut f sur ] r, +r[.
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.
e
f (k) (t) et 1
|t| = c k,
k! k! k!
k e 1
o c = sup , 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 R , e = .
t
n=0 n!
Voici une autre mthode pour trouver le dveloppement en srie entire dune fonction :
La fonction f est lunique solution, pour |t| < 1, de lquation diffrentielle avec condi-
tions 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 = an t n
n=1 n=0
a0 = 1.
a0 = 1,
5.5. Dveloppement en srie entire des fonctions usuelles 107
ou encore
n N, (n + 1)an+1 + nan = an
a0 = 1.
( 1) . . .( n + 2)( n + 1)
n N , an = .
n!
La srie entire ainsi obtenue a un rayon de convergence gal 1 car
an+1 n
lim = lim = 1.
n+ an n+ n+1
( 1) . . . ( n + 2)( n + 1) n
La somme de la srie entire de terme gnral an = 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!
+
1
= t n , R = +1
1t n=0
+ n
t
e =
t
, R = +
n=0 n!
+
( 1) . . . ( n + 2)( n + 1) n
(1 + t) = 1 + t , R = +1
n=1 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
+
et + et t 2n
cosht = = , R = +
2 n=0 (2n)!
+
e et
t t 2n+1
sinht = = , R = +
2 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 + a n n
1 1 1 b
at + b
= a = ( ) t , R = , pour a, b 6= 0
b 1 + b t b n=0 b a
+
1
1 t2
= t 2n , R = +1
n=0
+
1
1 + t2
= (1)nt 2n , R = +1
n=0
+
1 1.3 . . ..(2n 1) 2n
= 1+ t , R = +1
1 t2 n=1 2n n!
+
1 1.3 . . ..(2n 1) 2n
= 1 + (1)n t , R = +1
1 + t2 n=1 2n n!
Par drivation
+
1
2
= nt n1 , R = +1
(1 t) n=1
+
1 n(n 1) . . .(n p + 1) np
(1 t) p+1
= p!
t , R = +1
n=p
Par intgration
Cette technique est spcialement utile pour des fonctions dont la drive admet un dve-
loppement en sries entires connues. En particulier, cela sapplique la fonction loga-
rithme nprien (ln), dfini sur ]0, +[ et aux fonctions rciproques des fonctions circu-
laires : arctangente (arctan) dfinie sur ] , +[, arcsinus (arcsin) et arccosinus (arccos)
dfinies sur [1, +1] ainsi quaux fonctions rciproques des fonctions hyperboliques, ar-
gument sinus hyperbolique (argsinh) et argument tangente hyperbolique (argth), dfinies
sur ] , +[ :
5.6. Fonction exponentielle complexe 109
+
(1)n+1 n
Z t
ds
ln(1 + t) =
0 1+s
= n t , R = +1
n=1
Z t +
ds 1
ln(1 t) = = t n , R = +1
0 1s n=1 n
Z t + 2n+1
ds n t
arctan t =
0 1+s
2
= (1)
2n + 1
, R = +1
n=0
Z t + 2n+1
ds t
argth t = 2
= , R = +1
0 1s n=0 2n + 1
+
1.3 . . ..(2n 1) t 2n+1
Z t
ds
arcsint = =t+ , R = +1
0 1 s2 n=1 2n n! 2n + 1
+
1.3 . . ..(2n 1) t 2n+1
Z t
ds
argsinh t = = t + (1)n , R = +1
0 1 + s2 n=1 2n n! 2n + 1
+
1.3 . . . .(2n 1) t 2n+1
Z t
ds
arccost = = t , R = +1
2 0 1 s2 2 n=1 2n n! 2n + 1
Remarque. La fonction argument cosinus hyperbolique (argcosh) tant dfinie sur lin-
tervalle [1, +[ qui nest pas symtrique par rapport lorigine, le problme de son dve-
loppement en srie entire lorigine ne se pose pas.
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 :
ez + ez ez ez
cosh z = , sinh z = ,
2 2
eiz + eiz eiz eiz
cos z = , sin z = .
2 2i
2) Les fonctions cos et cosh sont paires et les fonctions sin et sinh sont impaires.
ez zz
ez 6= 0 , z =e , (ez )n = enz .
e
De ce thorme, on peut aussi, par des calculs faciles, dduire les formules trigono-
mtriques et hyperboliques, que lon connat dj dans le cas dune variable relle :
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 .
5.6.8 Corollaire. Pour tout t R les fonctions cos et sin dfinies ci-dessus vrifient :
cos2 t + sin2 t = 1,
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 :
5.6. Fonction exponentielle complexe 111
5.6.10 Corollaire. i) Pour t R, eit est de module 1, sa partie relle est cost et sa
partie imaginaire est sint.
ii) Un nombre complexe z de module et dargument t scrit z = eit .
iii) ez = 1 si et seulement si z 2i Z.
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
(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 t 2n
cost =
2
= (1)n (2n)! , R = +,
n=0
+
e eit
it t 2n+1
sint =
2i
= (1)n (2n + 1)!
, R = +.
n=0
Dmonstration. Il suffit de remarquer que les fonctions cos et sin dfinies dans la dfini-
tion 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.4 Exercice. On considre une srie entire de terme gnral ant n, de rayon de converge
R > 0, et de somme s. On suppose que s est une solution de lquation diffrentielle
(1 + t 2) f (t) = 2 f (t).
1) tablir une relation liant pour chaque n N les coefficients an et an+2 .
2) Dterminer la valeur de a4 puis de a2p pour tout p > 2.
3) On suppose dsormais que s(0) = 0 et s (0) = 1. Calculer a0 , a2 et la valeur de a2p+1
pour p N.
4) Montrer que la srie une srie entire de terme gnral ant n converge normalement sur
lintervalle [1, +1]. Quel est son rayon de convergence ?
s (t) 1
5) Posons g(0) = 0 et g(t) = pour t 6= 0. Calculer la drive g de g (on trouvera
t
une fraction rationnelle simple).
6) Dduire de 5) une expression explicite de la fonction s.
5.5 Exercice. Soit > 1. En utilisant une intgration terme terme sur [0, x], pour
0 < x < 1 et un passage la limite lorsque x 1, trouver une srie numrique dont la
somme vaut :
t
Z 1
dt.
0 1 t4
5.6 Exercice. On pose
x sint
f (t, x) = .
1 2x cost + x2
1) Dvelopper f en srie entire selon les puissances de x.
2) Calculer : Z
f (t, x) dt.
0
at(1 + t) bt c
s(t) = 3
+ 2
+ .
(1 t) (1 t) 1t
On en dduit :
n
1 nt n
sn (t) = pt p1 = 1 t
.
p=1
Do
tn
Z x Z x
1
sn (x) = dt n+1 dt.
0 1 t 0 1 t
1 1
Etudions le deuxime terme : |x| < tant fix, le terme est born sur lintervalle
3 1 t
dintgration. Soit M une borne. Alors
tn | x|n+1
Z x
1
n+1 M M .
0 1 t n+1 n+1
Ce terme tend donc vers 0 lorsque n . On en dduit :
Z x
1
s(x) = lim sn (x) = dt.
n 0 1 t
1) On crit :
(1 + t 2) n(n 1)ant n2 = 2 ant n ,
n=0 n=0
ou encore, en posant p = n 2 dans la premire somme :
(p + 2)(p + 1)a p+2t p + n(n 1)ant n = 2 ant n.
p=0 n=0 n=0
cest--dire
(n + 2)an+2 = (n 2)an .
4) La srie entire de terme gnral ant n est majore sur [1, +1] par la srie numrique
1
de terme gnral qui est une srie convergente. La srie entire de terme
(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
(1) p+1 t 2p
p=0 1
(1) p+1t 2p1
(2p1)
g(t) = = .
t p=1 2p 1
Do en drivant terme terme :
1
g (t) = (1) pt 2p = 1 + t 2 .
p=0
116 Chapitre 5. Sries entires
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
t x4n+ +1
Z x
0
1 t4
dt = ant 4n+ dt = an 4n + + 1
.
n=0 0 n=0
On vient de dmontrer que pour tout x [0, 1[, f (x) = g(x). Il est clair que
t
Z 1
lim f (x) = dt.
x1 0 1 t4
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 :
bn 2n 1 4n + 3 3 1
= = 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
5.8. Corrig des exercices sur le Chapitre 5 117
cn bn ( 32 q)
Donc n .
cn1 bn1 n
cn bn
On en dduit que, partir dun certain rang, on a : , ce qui, de proche en
cn1 bn1
b1
proche, implique que bn cn .
c1
Comme la srie de terme gnral cn converge, la srie de terme gnral bn converge ga-
lement.
On en dduit que la fonction g est continue sur [0, 1] et par suite :
t
Z 1
an
g(1) =
0
1 t4
dt = 4n + + 1
n=0
C2nn
= 2n .
n=0 2 (4n + + 1)
1) On a
x sint 1 1 1
f (t, x) = = .
1 2x cost + x2 2i 1 xeit 1 xeit
Donc, pour |x| < 1,
1 n nit
x e enit = xn sin nt.
f (t, x) =
2i n=0 n=0
2) Soit |x| < 1 fix. La srie de fonctions de terme gnral un (t) = xn sin nt est norma-
lement 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 :
Z Z
g(x) =
0
f (t, x) dt = xn sin nt dt
n=0 0
cos nt x2m+1
h i
n
= x =2 = 2 argth x.
n=0 n 0 m=0 2m + 1
Chapitre 6
Sries trigonomtriques
6.1.1 Dfinition. Soient (an )nN et (bn )nN deux suites de scalaires, rels ou complexes.
Une srie trigonomtrique est une srie de fonctions de terme gnral :
o
an ibn an + ibn
c0 = a0 et n > 1 , cn = , cn = .
2 2
Dmonstration. On crit eint = cos nt + i sin nt et eint = cos nt i sin nt. Do en rem-
plaant : cn + cn = an et cn cn = ibn .
Nous utiliserons plutt lcriture exponentielle qui donne des calculs plus simples.
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 Chapitre 6. Sries trigonomtriques
La srie de terme gnral un est donc normalement convergente sur R et donc uniform-
ment 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 n
An (t) = ei jt et An(t) = ei jt ,
j=0 j=0
1 1
|An (t)| t .
sin 2 sin 2
1
|An (t)| .
sin 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 q
un(t) = cn eint + cn eint
sq (t) s p1(t) =
n=p n=p
q
= [(An An1 )(t)cn + (An An1 )(t)cn]
n=p
q q
= [An(t)cn + An (t)cn] [An1 (t)cn + An1 (t)cn]
n=p n=p
= Aq (t)cq + Aq (t)cq A p1 (t)c p A p1 (t)cp
q1 q1
+ [An (t)(cn cn+1 )] + An (t)(cn c(n+1) ) .
n=p n=p
6.1. Dfinitions et convergence 121
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 unifor-
mment sur tout intervalle de la forme [2k + , 2(k + 1) ], o k Z et 0 < < .
sin nt cos nt
6.1.6 Exemple. i) Les sries de termes gnraux 2
et sont uniform-
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 Chapitre 6. Sries trigonomtriques
+
1+z
6.1.8 Exemple. Pour |z| < 1, nous avons : = 1 + 2 zn . Donc pour r < 1, on
1z n=1
obtient :
+
1 + reit
t R ,
1 reit
= 1 + 2 rn eint .
n=1
En prenant les parties relles et imaginaires dans cette dernire galit, on trouve des
identits remarquables, vraies pour r < 1 :
+
1 + reit 1 r2
t R , e
1 reit
=
1 + r2 2r cost
= 1 + 2 rn cos nt,
n=1
+
1 + reit
2r sint
t R , m
1 reit
= 2
1 + r 2r cost
= 2 rn sin nt.
n=1
6.2.2 Thorme. Si les sries numriques de termes gnraux ncn et ncn sont absolu-
ment convergentes, la somme de la srie trigonomtrique de terme gnral
0
(cn eins ins
+ cn e ) ds.
n=0
On a bien entendu des rsultats analogues pour la reprsentation des sries trigonom-
triques avec les fonctions cos nt et sin nt :
6.2.5 Thorme. Si les sries numriques de termes gnraux nan et nbn sont absolument
convergentes, la somme de la srie trigonomtrique de terme gnral (an cos nt +bn sin nt)
est drivable sur R et sa drive est la somme de la srie de terme gnral (nan sin nt +
nbn cos nt).
0
(an cos ns + bn sin ns) ds .
n=0
124 Chapitre 6. Sries trigonomtriques
Z 2
" #2
ei(p+q)t
p + q 6= 0 , eipt eiqt dt = =0
0 p+q
Z 2 Z 2 0
p+q = 0 , ipt iqt
e e dt = dt = 2 .
0 0
Pour tout p, q Z :
Z 2 Z 2
i(p+q)t
e dt = [(cos pt cos qt sin pt sin qt) + i(sin pt cos qt + cos pt sin qt)] dt
0 0
= 2 p,q
car m + n 6= 0.
Z 2
[(cos nt cos mt + sin nt sin mt) + i(sinnt cos mt cos nt sin mt)] dt = 2n,m ,
0
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 :
Z 2
n Z , 2 cn = f (t)eint dt,
0
respectivement :
Z 2 Z 2 Z 2
an = f (t) cosnt dt , bn = f (t) sinnt dt , 2 a0 = f (t) dt.
0 0 0
6.3.6 Proposition. Soit f une fonction dfinie sur R, priodique de priode 2 , intgrable
sur [0, 2 ] et (cn eint + cn eint ) = (an cos nt + bn sin nt) sa srie de Fourier.
Si la fonction f est paire sur R, alors n N, bn = 0 et cn = cn .
Si f est impaire sur R, alors n N, an = 0 et cn = cn .
Nous allons tudier un cas de convergence des sries de Fourier. Donnons dabord une
notation :
.
De mme, si la limite de f (t) existe quand t t0 par valeurs infrieures, on notera
6.3.8 Lemme. Soit f une fonction intgrable sur un intervalle [a, b]. On a :
Z b Z b Z b
lim f (t)ei t dt = lim f (t) sin t dt = lim f (t) cos t dt = 0.
| |+ a | |+ a | |+ a
k k
ei a j+1 ei a j
Z b Z a j+1
a
i t
f (t)e dt = j aj
ei t
dt = j
i
.
j=0 j=0
6.3. Dveloppement en sries trigonomtriques 127
Do
2 j
k
Z b
i t
f (t)e dt
j=0 | |
a
Si f est intgrable sur [a, b], pour tout > 0, il existe des fonctions en escalier et sur
[a, b] telles que
Z b
t [a, b] , | f (t) (t)| (t) et (t) dt .
a 2
On peut alors crire :
Z b Z b Z b
i t i t
f (t)e dt = (t)e dt + [ f (t) (t)]ei t dt.
a a a
Do :
Z b Z b Z b
i t (t)ei t dt + [ f (t) (t)]ei t dt
a f (t)e dt
Zab
a
Zb
(t)ei t dt + | f (t) (t)| dt
Zab a
(t)ei t dt + .
a 2
6.3.9 Corollaire. Soit f une fonction dfinie sur R, priodique de priode 2 et intgrable
sur [0, 2 ], alors les suites (cn )nN et (cn )nN [respectivement (an)nN et (bn )nN ] de
ses coefficients de Fourier convergent vers 0 quand n +.
128 Chapitre 6. Sries trigonomtriques
+n
Comme dans la proposition 6.3.5, on peut calculer la somme ei ju :
j=n
pour u 2 Z,
+n
ei ju = 2n + 1,
j=n
/ 2 Z,
pour u
+n 2n
1 e(2n+1)iu
ei ju = einu eiku = einu
1 eiu
j=n k=0
(2n+1) (2n+1) (2n+1)
inu e 2 iu e 2 iu e 2 iu sin 2n+1
2 u
=e = .
e2
iu iu
e 2 e 2
iu
sin u2
6.3. Dveloppement en sries trigonomtriques 129
On remarque que
sin 2n+1
2 u
2n + 1 = lim ,
u0 sin 2u
donc les deux expressions de cette somme concident en u = 0.
f (t0 + u)
Si la fonction u tait intgrable, on pourrait appliquer le lemme 6.3.8 et cela
sin u2
nous permettrait de conclure que Sn (t0) converge vers 0 quand n tend vers +. En gnral,
sous les hypothses du thorme, ce nest pas le cas et nous devons considrer la fonction
f (t0 + u) f (t0 + 0) f (t0 + u) f (t0 + 0) u
u 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
Z
f (t0 + u) f (t0 + 0) 2n + 1
lim sin u du = 0.
n+ 0 sin 2u 2
Or
Z Z
!
+n
f (t0 + 0) 2n + 1
0 sin u2
sin
2
u du =
0
f (t0 + 0) ei ju du
j=n !
Z +n
= f (t0 + 0)
0
ei ju du = f (t0 + 0).
j=n
iii) Soit h la fonction de priode 2 sur R telle que h(t) = t 2 pour |t| .
Alors,
2 +
(1)n cos nt
[SF(h)](t) = +4 2
.
3 n=1 n
130 Chapitre 6. Sries trigonomtriques
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
t R, f (t) = [SF( f )](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
t R, h(t) = [SF(h)](t) = +4 .
3 n=1 n2
6.3.12 Application. Dans les trois exemples prcdents, on obtient des identits remar-
quables :
4 + sin(2n + 1)t
i) t ] , + [ , sgnt = 2n + 1 .
n=0
4 + cos(2n + 1)t
ii) t [ , + ] , |t| = .
2 n=0 (2n + 1)2
Do en prenant t = 0,
2 + 1
= 2
.
8 n=0 (2n + 1)
En utilisant le calcul suivant :
1 1 1 1 1
1
n2 4p2 (2p + 1)2 4 n2 (2p + 1)2 ,
= + = +
n=1 p=1 p=0 n=1 p=0
on en dduit
1 4 + 1 2
2 3 (2n + 1)2 6 .
= =
n=1 n n=0
2 +
(1)n cos nt
iii) t [ , + ] , t 2 = +4 .
3 n=1 n2
Do en prenant t = 0,
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 :
6.3. Dveloppement en sries trigonomtriques 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
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
" #
2 2 16 1
ii) |t|2 dt = 3 = + 2 .
3 2 p=0 (2p + 1)4
Do
1 4
4
= .
p=0 (2p + 1) 96
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 n=1 p=0
on en dduit
1 16 1 4
4 15 (2p + 1)4 90 .
= =
n=1 n p=0
Z
" #
2 2 4 1
iii) t 4 dt = 5 = + 16 4 ,
5 9 n=1 n
ce qui donne de nouveau dune autre manire :
1 4
n4 90 .
=
n=1
132 Chapitre 6. Sries trigonomtriques
6.2 Exercice. I Z Soit f une fonction continue et priodique, dfinie sur R. On dsigne par
cn ( f ) = (2 ) 1
f (t)eint dt, les coefficients de Fourier de f .
k k
cn ( f )einu = c0 + cn ( f )einu + cn ( f )einu la somme partielle
On note Sk f (u) =
n=k n=1
de la srie de Fourier de f .
I1) Pour k et N entiers positifs, on dfinit
" #
k k
Dk (x) = (2 )1 einx = (2 )1 1 + (einx + einx ) ,
n=k n=1
et
1 N
FN (x) = Dk (x).
N + 1 k=0
Z
Montrer que FN (t)dt = 1 pour tout N 0.
I 2) Montrer que lon a
" #" #
N N
1
FN (x) =
2 (N + 1) einx eimx ,
n=0 m=0
et en dduire
sin [(N + 1)x/2] 2
1
FN (x) = .
2 (N + 1) sin (x/2)
I 3) On dfinit
1 N
TN f (u) = Sk f (u).
N + 1 k=0
Montrer que lon a Z
Sk f (u) = f (t)Dk (u t) dt,
et Z
TN f (u) = f (t)FN (u t) dt.
6.4. Exercices sur le chapitre 6 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 ).
Z
(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 Z
FN (x)dx + FN (x) dx .
et Z
f (u) fN (u) = [ f (u) f (u t)]FN (t) dt.
II 2) En remarquant que f est uniformment continue, montrer que pour tout > 0, il
existe > 0 tel que, pour tout u R,
Z
| f (u) f (u t)|FN (t) dt .
II 3) ( , ) tant donns par la question prcdente, montrer quil existe N0 tel que pour
tout N N0 , on a
Z Z
| f (u) f (u t)|FN (t) dt + | f (u) f (u t)|FN (t) dt 2M ,
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 unifor-
mment vers f sur R.
134 Chapitre 6. Sries trigonomtriques
f (t) = |cost|3 .
Z 2
n Z , 2 cn = f (t)eint dt,
Z02 Z 2 Z 2
n N , an = f (t) cosnt dt , bn = f (t) sinnt dt , 2 a0 = f (t) dt.
0 0 0
2 1
Z Z
bn = 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 )
Do
2n sin nt
[SF( f )](t) = sin (1)n ( 2 n2 ) .
n=1
et pour n > 1 :
2 1
Z Z
an = 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 )
Do
sin 2 cos nt
[SF(g)](t) = sin (1)n .
n=1 ( 2 n2 )
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 :
sin + (1)n einx
[SF(h)](t) = ( n) .
n=
I 1) On a
Z Z
1 N 1 1 N
FN (t) dt =
N + 1 k=0
Dk (t) dt = 2 = 1 .
2 N + 1 k=0
I 2) On a
1 N 1 N k
1 N
FN (x) = k
N + 1 k=0
D (x) =
2 (N + 1) k=0
einx
=
2 (N + 1) (N + 1 |k|) eikx ,
n=k k=N
et
! !
N N N
1 1
2 (N + 1) eimx eimx = ei(mn)x
2 (N + 1) m,n=0
m=0 m=0
N
1
= (N + 1 |k|) eikx .
2 (N + 1) k=N
Ces deux fonctions sont donc bien gales et on en dduit :
" #" #
1 1 ei(N+1)x 1 ei(N+1)x
FN (x) =
2 (N + 1) 1 eix 1 eix
" #" #
1 ei(N+1)x/2 sin((N + 1)x/2) ei(N+1)x/2 sin((N + 1)x/2)
=
2 (N + 1) eix/2 sin(x/2) eix/2 sin(x/2)
2
1 sin((N + 1)x/2)
= .
2 (N + 1) sin(x/2)
136 Chapitre 6. Sries trigonomtriques
I 3) On calcule :
k Z
1 k inu
Sk f (u) = cn ( f )einu = e
2 n=k
f (t)eint dt
n=k
Z k Z
1
=
f (t) ein(ut) dt =
2 n=k
f (t)Dk (u t) dt,
et
1 N 1 N
Z
TN f (u) =
N + 1 k=0
S k f (u) = f (t)Dk(u t) dt
N + 1 k=0
Z Z
1 N
=
f (t) k
N + 1 k=0
D (u t) dt =
f (t)FN (u t) dt.
II 1) On calcule :
Z Z u
fN (u) = f (t)FN (u t) dt = f (u s)FN (s) ds
Z 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)| .
Donc
Z Z
| f (u) f (u t)|FN (t) dt + | f (u) f (u t)|FN (t) dt
Z Z
2M FN (t) dt + FN (t)dt 2M ,
II 4) On a montr que pour tout > 0 il existe N0 tel que pour N N0 , on a pour tout
u R,
Z
fN (u) f (u) = [ f (u) f (u t)]FN (t) dt
Z Z
= [ f (u) f (u t)]FN (t) dt + [ f (u) f (u t)]FN (t) dt
Z
+ [ f (u) f (u t)]FN (t) dt
+ 2M .
on en dduit : 1
FN (x) 2(N + 1) sin2 ( /2)
.
Do :
Z Z
( )
1 1
FN (t) dt + FN (t)dt 2( ) .
2(N + 1) sin ( /2)
2
sin ( /2) N + 1
2
( ) 1
Comme la suite 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.
1 3 2 3
Z Z
an = cos t cos nt dt = cos t cos nt dt
Z 0
2 3
= cos s cos n( s) ds = (1)n an = an .
0
138 Chapitre 6. Sries trigonomtriques
1 3 4 /2 1
3
Z Z
an = cos t cos nt dt = cos 3t + cost cos nt dt
0 4 4
Z /2
4 1 3
= (cos(n + 3)t + cos(n 3)t) + (cos(n + 1)t + cos(n 1)t) dt
0 8 8
/2
3 sin(n + 1)t sin(n 1)t /2
1 sin(n + 3)t sin(n 3)t
= + + + .
2 n+3 n3 0 2 n+1 n1 0
Do
1 1 1 3 1 1
a2p = (1) p ( ) (1) p( )
2 2p 3 2p + 3 2 2p 1 2p + 1
8 3(1) p
= .
(4p2 1)(4p2 9)
c) Le terme
8 3p4
p4 a2p =
(4p2 1)(4p2 9)
3
tend vers quand p tend vers +.
2
4) La srie de Fourier de f est donc :
Par le thorme de Dirichlet, puisque f est de classe C1 sur R, cette srie converge sim-
plement sur R et a pour somme f .
(1) p cos 2pt C
5) Comme la convergence est normale donc uniforme sur R.
(4p2 1)(4p2 9) p4
Chapitre 7
Intgrales de Riemann dpendant dun paramtre
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
Z b
F(x) = f (t, x) dt,
a
1
7.2.2 Exemple. Soit f (t, x) = , dfinie sur [0, 1] R+
. La fonction
(t 2 + 1)(t 2 + x2 )
Z 1
dt
F(x) = ,
0 (t 2 + 1)(t 2 + x2 )
La fonction f est continue par rapport chacune des deux variables sur son domaine de
dfinition. En revanche, elle nest pas borne sur [0, 1] R+
.
On va donc utiliser un argument de saturation : soit a > 0, alors la fonction f est borne
1
sur [0, 1] [a, +[ par 2 . On peut donc appliquer le thorme 7.2.1 sur ce domaine et on
a
obtient la continuit de F sur [0, 1] [a, +[.
Comme ceci est valable pour tout a > 0, on en dduit que F est continue sur [0, 1] R+ .
Do
Z 1
dt 1 1 1 1h t i1
= [arctgt]0 arctg
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
1 1 1
arctg = (x 1)( + ) + O (x 1)2 .
x x 4 4 2
Donc
1 1
1 1
lim 2 arctg = + .
x1 x 1 4 x x 8 4
Par la continuit de F en x0 = 1, on obtient alors :
1
Z 1
dt
F(1) = = lim F(x) = + .
0 (t 2 + 1)2 x1 8 4
Donnons un exemple dune fonction de deux variables, qui ne vrifie pas les hypothses
du thorme 7.2.1 et pour laquelle linterversion de la limite et de lintgrale nest pas
vraie. Ce rsultat est comparer avec lexemple dune suite de fonctions qui converge
simplement vers 0 et dont lintgrale ne converge pas vers 0, voir 4.1.8 :
1 1 2
7.2.3 Exemple. Soit f la fonction ddinie sur [0, 1] [0, 1] par f (t, x) = te x ln(1t ) si
x
t 6= 1 et x 6= 0 et f (1, x) = f (t, 0) = f (0, 0) = 0. La fonction f est continue sparment
par rapport t et x.
En revanche, en remarquant que la fonction dfinie pour t 6= 1 et x 6= 0 par
(1 t 2) 1 ln(1t 2 )
(t, x) = ex
2(x + 1)
Donc
Z 1
1
lim F(x) = =6 f (t, 0) dt = 0.
x0 2 0
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
Z b
F(x) = f (t, x) dt,
a
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 uniformment bornes par M sur
x
[a, b].
En appliquant le thorme de convergence borne, 7.1.1, on en dduit que la suite
F(xn ) F(x0 )
xn x0 nN
f
Z b
converge vers (t, x0) dt quand n .
x
a
Comme ceci est valable pour toute suite (xn )nN convergeant vers x0 , on en dduit que
f
Z b
F(x) F(x0 )
lim = (t, x0) dt,
xx0 x x0 a x
f
Z b
F (x0 ) =
t, x0 dt .
a x
f 2nx
Il est facile de voir que (t, x) = 2 .
x (t + x2 )n+1
f
Les fonctions f et 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.
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 drivabilit 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 .
7.4.1 Thorme. 1) Soit f une fonction continue par rapport chacune des deux
variables et borne sur [a, b] I. Si la fonction v est continue sur I, alors, la fonction F
est continue sur I.
2) Soit f une fonction continue par rapport chacune des deux variables et borne
f
sur [a, b] I telle que la drive partielle existe, est continue par rapport chacune
x
des deux variables et borne sur [a, b] I. Si la fonction v est drivable sur I, la fonction
F est drivable sur I et
f
Z v(x)
F (x) = (t, x) dt + v (x) f (v(x), x) .
a x
Dmonstration. Soit x0 I et soit M R tel que t [a, b], x I, | f (t, x)| M.
Sous les hypothses du 1), on crit :
Z v(x0 ) Z v(x) Z v(x0 )
F(x) F(x0 ) = f (t, x) dt + f (t, x) dt f (t, x0) dt.
a v(x0 ) a
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
7.4. Cas o les bornes dintgration dpendent du paramtre 145
f
Z v(x0 ) Z v(x0 )
La fonction x f (t, x) dt est drivable de drive en x0 gale (t, x0) dt
a a x
daprs le thorme 7.3.1.
Z y
Daprs le thorme 3.3.3, la fonction y f (t, x0) dt est drivable de drive en
v(x0 )
v(x0 ) gale f v(x0 ), x0 .
Z v(x)
Do en composant par la fonction v, la fonction x f (t, x0) dt est drivable de
v(x0 )
drive en x0 gale v (x0 ) f v(x0 ), 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
Z v(x0 )
(t, x0) dt + v (x0 ) f v(x0 ), x0 .
F (x0 ) =
a x
Puisque x0 est quelconque, ceci prouve bien le thorme.
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 :
Z x Z x
F1 (x) = f (t)dt + (x x) f (x) = f (t)dt.
a a
On en dduit :
F1 (x) = f (x) pour x ]a, b[.
146 Chapitre 7. Intgrales de Riemann dpendant dun paramtre
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
(x t)n
Z x
Fn (x) = f (t)dt,
a n!
alors :
(n+1)
Fn (x) = f (x).
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 :
Z
4x(x2 1) f (x) + 4(x2 1) f (x) x f (x) R(t, x) dt,
0
o lon a pos :
2 sint
R(t, x) = .
t 1 x cost
4) En dduire que f vrifie lquation diffrentielle :
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 :
Z +
2
f (x) = ex sint sint dt.
2
7.6. Corrig des exercices sur le Chapitre 7 147
(On pourra faire une intgration par parties dans lintgrale dfinissant f )
4) Rsoudre les mmes questions avec la fonction :
Z
g(x) = ex cost dt.
0
7.4 Exercice. Pour x [0, 1] et t [0, 1], on dfinit la fonction de deux variables f par :
f (t, x) = gx (t), o la fonction gx est dfinie par g0 (t) = 0 et si x 6= 0 :
x 2 x x
gx (t) = 0 pour t x, gx ( ) = , gx (0) = 0 et gx est affine continue sur [0, ] et sur [ , x].
2 x 2 2
1) Pour x 6= 0 fix, expliciter les fonctions t gx (t) pour t [0, x] et les reprsenter sur
un graphe.
2) Vrifier que f est sparment continue par rapport chacune des variables sur [0, 1]
[0, 1]. Montrer en particulier que pour tout t [0, 1], f (t, x) 0 quand x 0.
3) Montrer que pour tout x [0, 1] :
Z 1
f (t, x) dt = 1
0
2(x cos )
f ( , x) = .
x 1 + x2 2x cos
1t 2
Z + x 1+t 2 dt
F (x) = 4
1t 2 1 + t2
1 + x2 2x 1+t 2
Z + 2
t (x + 1) + (x 1) dt
=4
t 2(x + 1)2 + (x 1)2 1 + t 2
Z
+ 1 t 2(x + 1)2 + (x 1)(x + 1) dt
=4
(x + 1) t 2 (x + 1)2 + (x 1)2
1 + t2
Z
+ (x 1)(x + 1) (x 1)2
1 1
=4 + dt
Z
(x + 1) 1 + t 2 [t 2(x + 1)2 + (x 1)2 ][1 + t 2]
+ 1 1 f (x) g(x)
=4 2
+ 2 2 2
+ dt,
(x + 1) 1 + t t (x + 1) + (x 1) 1 + t2
1) La fonction (t, x) = |1 x cos t| est continue sur [0, ] R donc intgrable pour
p
3) La fonction (t, x) est 2 fois continment drivable en x sur [0, ]] 1, +1[ avec :
cost 2 (cost)2
(t, x) = et (t, x) = .
x 1 x cost x2 4(1 x cost)3/2
Donc f est bien 2 fois drivable sur R avec :
Z Z
cost (cost)2
f (x) = dt et f (x) = dt .
0 1 x cost 0 4(1 x cost)3/2
7.6. Corrig des exercices sur le Chapitre 7 149
2
4x(x2 1) (t, x) + 4(x2 1) (t, x) x (t; x)
x 2 x
x(x2 1) cos2 t (x2 1) cost(1 x cost) x(1 x cost)2
=
(1 x cost)3/2
2
x(cos t + 1) + 2 cost
= .
(1 x cost)3/2
Or, on vrifie que
2
4x(x2 1) (t, x) + 4(x2 1) (t, x) x (t; x) = R(t, x),
x2 x
qui implique bien lgalit cherche par intgration en t sur [0, ].
Z
2 sint
4) Puisque R(t, x) dt = = 0, on en dduit bien que f vrifie lquation
0 1 cost 0
diffrentielle :
1) La fonction (t, x) = ex sint est continue sur [ /2, /2] R donc intgrable sur lin-
tervalle [ /2, /2] et sa primitive f (x) est continue sur R.
2) La fonction (t, x) est continment drivable en x sur [ , + ] R avec :
2 2
(t, x) = sintex sint .
x
Donc f est bien drivable sur R avec :
Z +
2
f (x) = sintex sint dt.
2
3) La fonction (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 :
Z +
2
f (x) = x sin2 tex sint dt.
2
150 Chapitre 7. Intgrales de Riemann dpendant dun paramtre
et on obtient :
h i+ Z
2
+ 2
f (x) = costex sint + x cos2 tex sint dt
2 2
Z +
2
= 0+ x(1 sin2 t)ex sint dt = x f (x) x f (x).
2
1) Pour x 6= 0 fix on a :
x 4
Si t [0, ], gx (t) = 2 t
2 x
x 4
Si t [ , x], gx (t) = 2 (t x)
2 x
2) Pour x [0, 1] fix, la fonction t f (t, x) est continue sur [0, 1] puisque par construc-
tion les fonctions t gx (t) sont continues sur [0, 1].
Pour t fix, daprs la question 1), les fonctions x gx (t) sont galement continues pour
x ]0, 1].
Pour tudier la continuit en x = 0, on distingue 2 cas :
ou bien t = 0, alors gx (0) = 0 et on voit que f (0, x) 0 quand x 0
ou bien t 6= 0 et alors si x t, gx (t) = 0 donc on a aussi f (t, x) 0 quand x 0.
Donc quel que soit t [0, 1], on a : limx0 f (t, x) = 0 = f (t, 0).
2
3) On remarque que laire du triangle isocle de base x et de hauteur est 1. Cest laire
x
comprise entre laxe des t et le graphe de le fonction t gx (t) = f (t, x), donc
Z 1 Z 1
f (t, x) dt = gx (t) dt = 1
0 0
8.1.1 Thorme. Soit ( fn )nN une suite de fonctions intgrables sur un intervalle semi
ouvert [a, b[ telle que :
1) La suite ( fn )nN converge simplement sur [a, b[ vers une fonction localement
intgrable f .
2) Il existe une fonction , intgrable sur lintervalle semi ouvert [a, b[ telle que :
Pour montrer lintgrabilit de la fonction f sur lintervalle semi ouvert [a, b[, on crit,
pour tout A [a, b[, :
Z A Z A
| f (t)| dt (t) dt.
a a
152 Chapitre 8. Intgrales gnralises dpendant dun paramtre
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 Z A
f (t) dt = lim fn (t) dt.
a n a
Z b Z b
n N, | fn (t)| dt et | f (t)| dt .
A 4 A 4
Alors, il existe N N tel que, pour n N :
Z A Z A
f (t) dt fn (t) dt .
a a 2
Donc, pour n N, on a :
Z b Z b Z A Z A Z b 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
2
Z A Z A
.
f (t) dt fn (t) dt +
a a 4
Ceci prouve bien que lintgrale de f sur [a, b[ est gale la limite des intgrales des fn
sur cet intervalle.
Dmonstration. Remarquons dabord que, pour tout x I, la fonction t f (t, x) est lo-
calement 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 Z A
| f (t, x)| dt (t) dt.
a a
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 int-
grables 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 d-
duit 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.
La fonction f est continue par rapport chacune des deux variables sur [0, +[]0, +[
et
1
(t, x) [0, +[]0, +[ , | f (t, x)| ,
1 + t2
qui est une fonction intgrable sur [0, +[ (voir chapitre 3).
La fonction Z + xt
e
F(x) = dt,
0 1 + t2
est donc continue sur ]0, +[.
Remarque. Comme pour la continuit des intgrales de Riemann dpendant dun para-
mtre, en gnral, on ne peut pas raisonner sur lintervalle I tout entier. On cherche des
dominations sur des sous-intervalles de I et on utilise un argument de saturation pour
obtenir le rsultat sur I tout entier. Voir lexemple de la fonction Gamma ci-dessous.
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
154 Chapitre 8. Intgrales gnralises dpendant dun paramtre
f
x, , 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
f
Alors pour tout x I, les fonctions t f (t, x) et t (t, x) sont intgrables sur linter-
x
valle semi ouvert [a, b[ et la fonction F, dfinie pour x I par
Z b
F(x) = f (t, x)dt,
a
Z A Z A Z A Z A
f
(t) dt et (t) dt.
| f (t, x)| dt (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 int-
x
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 a xn x0
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 )
xn x0 nN
f
Z b
converge vers (t, x0) dt quand n .
xa
Comme ceci est valable pour toute suite (xn )nN convergeant vers x0 , on en dduit que
f
Z b
F(x) F(x0 )
lim = (t, x0) dt,
xx0 x x0 a x
ce qui prouve la drivabilit de F en x0 et lgalit
f
Z b
F (x0 ) = t, x0 dt .
a x
Puisque x0 I est quelconque, ceci montre bien la drivabilit de F sur I.
Remarque. Pour la drivation sous le signe somme, on a la mme remarque que pour la
continuit : en gnral, on ne peut pas raisonner sur lintervalle I tout entier. On cherche
des dominations sur des sous-intervalles de I et on utilise un argument de saturation pour
obtenir le rsultat sur I tout entier. Voir lexemple de la fonction Gamma ci-dessous.
8.3.2 Exemple. La fonction .
Pour x ]0, +[, on pose Z +
(x) = et t x1 dt.
0
Dfinition :
Comme il y a deux problmes dintgration, en 0 et en +, on spare cette intgrale
gnralise en deux intgrales gnralises :
Z 1 Z +
1 (x) = t x1
e t dt , 2 (x) = et t x1 dt .
0 1
On a bien sr,
= 1 + 2 .
La fonction intgrer f (t, x) = et t x1 est positive. On peut donc pour x > 0 fix, appli-
quer 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, +[.
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, +[.
156 Chapitre 8. Intgrales gnralises dpendant dun paramtre
f
Remarque. Lhypothse de domination de la fonction f (t, x) ou de la drive partielle
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 :
On peut montrer que la conclusion des thormes 8.2.1 et 8.3.1 reste valide si on rem-
f
place lhypothse de domination (sur f ou sur ) par cette hypothse de convergence
x
uniforme.
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 les-
pace 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 +.
La fonction e(r f x)t est intgrable sur [0, +[. Donc t f (t)ext est absolument int-
grable 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
e f (t) = text f (t) qui est continue sur [0, +[]r f , +[
avec
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 .
x
e f (t)
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
Z + Z +
d xt
e f (t)dt = text f (t)dt.
dx 0 0
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 ,
158 Chapitre 8. Intgrales gnralises dpendant dun paramtre
implique que
Z + Z +
xt Mf
e(r f x)t dt =
|L ( f ) (x)| e f (t) dt M f
.
0 0 xrf
Donc |L ( f ) (x)| tend bien vers 0 quand x +.
Pour la drive, un calcul analogue donne, pour x > r f :
text f (t) M f te(r f x)t ,
do : Z + Z +
d xt
te(r f x)t dt.
L ( f ) (x) te f (t) dt M f
dx 0 0
Or par une intgration par parties, on a, pour tout X > 0 :
" #X
Z X
te(r f x)t 1
Z X
(r f x)t
te dt = e(r f x)t dt.
0 rf x rf x 0
0
1
Le terme tout intgr tend vers 0 quand X + et le second terme tend vers
(x r f )2
donc, Z +
1
te(r f x)t dt = .
0 (x r f )2
On en dduit que
L ( f ) (x) M f ,
d
dx (x r f )2
donc la drive de L( f ) tend bien vers 0 linfini.
Cet argument sapplique aussi toutes les drives de cette fonction.
8.4.3 Proposition. Soit f E. Alors, si x > r f + a,
Do
d
L (t f (t))(x) =
(L( f )(x)) .
dx
Le mme calcul appliqu la fonction text f (t) permet ditrer le raisonnement. Le r-
sultat lordre n est alors immdiat.
8.4.6 Proposition. 1) Si f et f E, alors, pour x > r f , r f :
cest--dire
L f (x) = xL ( f ) (x) f (0) .
Les proprits que nous venons de dmontrer permettent de rsoudre des systmes diff-
rentiels linaires coefficients constants et des quations diffrentielles linaires coef-
ficients constants, par la mthode de la transforme de Laplace, si lon admet le rsultat
suivant :
160 Chapitre 8. Intgrales gnralises dpendant dun paramtre
On sait que cette quation admet une solution unique sur R. On cherche cette solution
dans E. On transforme cette quation par L :
y(t) = (1 t)et .
Par suite, cette fonction est lunique solution de lquation diffrentielle sur R.
8.4.9 Exemple. On considre le systme diffrentiel :
dx
(t) = 2x(t) + 2y(t) + et ,
dt
dy
(t) = x(t) + 3y(t) tet ,
dt
avec les conditions initiales x(0) = 1, y(0) = 4.
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 :
1
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 u
(u 2)L (x(t))(u) 2L (y(t))(u) = u 1 ,
(2u 3)(2u 1)
L (x(t)) (u) + (u 3)L (y(t))(u) =
.
(u 1)2
8.5. Exercices sur le chapitre 8 161
avec
cos(tx)
f (t, x) = .
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),
o G(x) est donne par Z
cos u
G(x) = du.
0 u2 + x2
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 2 2 3
cos u du.
0 (u + x )
2x2 6u2 1
h(u, x) = et k(u, x) = ,
(u2 + x2 )3 u2 + x2
vrifient
2k
h(u, x) = (u, x).
u2
b) En dduire que F vrifie sur ]0, +[ lquation diffrentielle F = F.
162 Chapitre 8. Intgrales gnralises dpendant dun paramtre
[On pourra faire des intgrations par parties en les justifiant, partir de lexpression :
k
Z + 2
F (x) = x (x, u) cos u du.]
0 u2
c) En dduire que F est de la forme
8.3 Exercice. Soit f une fonction indfiniment drivable sur R telle que f (0) = 1 et
0 f (t) < 1 pour tout t ]0, 1]. On note g(x) = supt[x,1] f (t), pour x 1.
Z + t
e dt
1) Pour quelles valeurs relles de lintgrale gnralise existe-t-elle ? On
0 t
note (1 ) la valeur de cette intgrale gnralise si elle existe.
2) Montrer que si x ]0, 1], alors g(x) < 1.
3) Montrer que f (0) 0.
Dsormais, on fixe un rel ]0, 1[ ; on suppose que f (0) 6= 0 et on note f (0) =
avec R+ .
4) Montrer que
f (t) e t
lim = .
t0 t
[Pour la suite, on rappelle que toute suite de rels admet une limite suprieure et une
limite infrieure (ventuellement infinies) et que la suite converge si et seulement si la
limite suprieure et la limite infrieure sont finies et gales]
5)a) Soit > . Montrer laide de 4) quil existe x ]0, 1] tel que f (t) e t pour
tout t [0, x ].
5)b) En dduire que pour > ,
Z 1 Z n x
dt dt
f (t) (n ) 1
n
et .
0 t 0 t
8.5. Exercices sur le chapitre 8 163
dt (1 )
Z 1
1
lim inf n f n (t) .
n+ 0 t 1
puis que
dt (1 )
Z 1
1
lim inf n f n (t) .
n+ 0 t 1
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 < < ,
rn
Z 1
dt 1
f (t) (n )
n
(1 ) + (1 x ),
0 t (x )
o r := g(x ).
6)c) En dduire (en utilisant 2)) que pour 0 < < ,
dt (1 )
Z 1
1
lim sup n f n (t) .
n+ 0 t 1
puis que
dt (1 )
Z 1
1
lim sup n f n (t) .
n+ 0 t 1
7) Dduire des questions 5) et 6) que
(1 )
Z 1
dt
f n (t)
1 1 , n +.
0 t n
8.4 Exercice. 1) Soit z C, tel que e z > 0. Montrer que lintgrale gnralise
Z +
ezt dt,
0
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
Z +
sint
I= dt,
0 t
est semi-convergente.
7) Le thorme de continuit des intgrales gnralises dpendant dun paramtre per-
met-il de conclure que I = limx0 F(x) ?
g 2x 2x 2 2
| (x, u)| 2 2 2 = .
x 2
(x + u ) 2 x (x + u ) x(x + u ) a(a + u2 )
2 2 2 2
Z +
2
Puisque du converge, on peut appliquer le thorme de drivation des
0 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
Z + Z +
2x cos u
G (x) = (u, x) du = du.
0 x 0 (x2 + u2 )2
8.6. Corrig des exercices sur le Chapitre 8 165
De mme, on calcule
2g 8x2 cos u 2 cos u (6x2 2u2 ) cos u
(u, x) = = .
x2 (x2 + u2 )3 (x2 + u2 )2 (x2 + u2 )3
Cest une fonction continue sur ]0, +[]0, +[.
Pour x a, on a
g
Z + 2
(6x2 2u2 ) cos u
Z +
G (x) = (u, x) du = du.
0 x2 0 (x2 + u2 )3
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
Toute solution de cette quation sur un intervalle est une combinaison linaire des solu-
tions 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
vers + ou ). Comme F est continue en 0, on a b = F(0) = , soit F(x) = ex sur
2 2
[0, +[. Par parit, on a donc
F(x) = e|x| .
2
166 Chapitre 8. Intgrales gnralises dpendant dun paramtre
1 1
0 .
(t 2 + x4 )n (t 2 + a4 )n
1
La fonction t est intgrable sur [a, +[ et donc hn est continue sur linter-
(t 2 + a4 )n
valle [a, +[.
Comme ceci est vrai pour tout a > 0, on en dduit que hn est continue sur ]0, +[.
3) Soit 0 < a < A. Pour t [0, +[ et x [a, A], on peut crire :
2nx3 2nA3
1
x (t 2 + x4 )n (t 2 + x4 )n+1 (t 2 + a4 )n+1 .
=
2nA3
La fonction t 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).
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
1 h
2 t i
4)a) h1 (x) = 2 4
dt = x arctan 2
= 2.
0 (t + x ) x 0 2x
4)b) Si n = 1, on a bien h1 (x) = a1 x2 , avec a1 = .
2
Supposons que hn est de la forme hn (x) = an x24n et calculons hn+1 , pour x > 0, par la
relation trouve en 3) :
1 1 4n 2 24(n+1)
hn+1 (x) = 3
hn (x) = 3
(2 4n)anx24n1 = an x .
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
4)c) On en dduit que hn (x) = x pour tout n N .
2 (2n 2)(2n 4) . . .2
Corrig de lexercice 8.3
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
On en dduit que
f (t) e t
= + 1 (t) + 2(t).
t
Do :
f (t) e t
lim = .
t0 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 (1 )
Z 1
1
lim inf n f n (t) .
n+ 0 t 1
Cette ingalit tant vraie pour tout > , on a aussi :
dt (1 )
Z 1
1
lim inf n f n (t) .
n+ 0 t 1
6)a) Soit 0 < < .
Supposons que pour tout x ]0, 1] il existe t [0, x] tel que f (t) > e t . Soit 0 < < .
Alors, daprs 4), il existe tel que pour tout s [0, ],
f (s) e s ( )s s.
168 Chapitre 8. Intgrales gnralises dpendant dun paramtre
(1 )
tendent vers 1
et 0 respectivement car g(x ) < 1. Donc, toute valeur dadhrence
Z 1
1 n dt
de la suite n f (t) est infrieure la somme de ces 2 limites.
0 t nN
En particulier, on en dduit bien que pour 0 < < ,
dt (1 )
Z 1
1
lim sup n f n (t) .
n+ 0 t 1
et puisque cette ingalit est vraie pour tout < , on a aussi lingalit :
dt (1 )
Z 1
1
lim sup n f n (t) .
n+ 0 t 1
1
dt
Z
1 n
7) On dduit des questions 5) et 6) que la suite n f (t) a mmes li-
0 t nN
mites suprieure et infrieure, elle est donc convergente vers cette valeur commune qui
(1 )
est 1 . Do le rsultat :
(1 )
Z 1
dt
f n (t) , n +.
0 t 1 n1
1) Soit A > 0 fix. En intgrant par parties sur [0, A], on trouve :
A
ezt
Z A
zt 1
e dt = = (1 eAz ).
0 z 0 z
eit eit
Z +
1 1 1 1
2) G(x) = ext dt = = 2 .
0 2i 2i x i x + i x + 1
sint
Z +
xt
3) La fonction t
reste borne par 1 et lintgrale 0 e dt converge. Donc
Z +
t
sint
ext dt converge absolument.
0 t
sint
4) Soit a > 0. Lapplication g : [0, +[[a, +[ R telle que g(t, x) = ext est
t
continue par rapport au couple (t, x) ainsi que g(t, x) = ext sint. De plus, pour
x
(t, x) [0, +[[a, +[, ext sint eat qui est intgrable sur [0, +[. On a donc
d + xt sint
Z Z + Z +
e dt = g(t, x)dt soit F (x) = ext sint dt = G(x) sur tout
dx 0 t 0 x 0
intervalle [a, +[ (avec a > 0 quelconque), donc sur ]0, +[.
5) On a : Z +
1
|F(x)| ext dt = .
0 x
1
Do limx F(x) = 0. Comme F (x) = alors F(x) = arctgx + C, on a donc
1 + x2
C = lim arctgx = et F(x) = arctgx.
x+ 2 2
sint
6) La fonction t est continue en 0, donc le seul problme de convergence est en
t
+. Soit A > 0. On a :
cost A
Z A Z A
sint cost
dt = dt.
1 t t 1 1 t2
Cette dernire intgrale est absolument convergente. On peut prendre la limite quand
A + et on trouve :
Z + Z +
sint cost
dt = cos 1 dt.
1 t 1 t2
Z +
sint
Donc dt converge.
0 t 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
Z (n+1) Z (n+1)
1 1
|sint| dt un |sint| dt,
(n + 1) n n n
soit
2 2
un .
(n + 1) n
La srie est donc divergente et lintgrale aussi.
sint
7) Soit b > 0. Lapplication g : [0, +[[0, b] R telle que g(t, x) = ext est conti-
t
nue par rapport au couple (t, x) mais il nexiste pas de fonction intgrable telle que
170 Chapitre 8. Intgrales gnralises dpendant dun paramtre
xt sint
(t) sur [0, +[[0, b] car sinon, pour x = 0 on aurait , sint (t) ce qui
e
t t
Z +
implique (t) dt = +. Donc le thorme ne sapplique pas.
0
Bibliographie
171
Index
172
Index 173
Intgrale de Riemann . 49, 140, 141, 145 Srie de fonctions . . . . 77, 80, 83, 85, 88
Intgrale des fonctions en escalier . . . 46 Srie de Fourier . . . . . 124, 125, 128, 129
Intgrale gnralise . . 63, 151, 154156 Srie de Taylor . . . . . . . . . . . . . . . 102, 104
Intgrales de Riemann . . . . . . . . . . . . . . 67 Srie entire . . . . . . . . . . . . . . . . . 100, 122
Intgration des limites . . . . . . . . . . . . . . 88 Srie entire . . . . . . . . . . . . . . . 95, 98, 119
Intgration des sommes . . . . 89, 101, 121 Srie gomtrique . . . . . . . . . . . . . . . . . . 26
Intgration par parties . . . . . . . . . . . . . . 55 Srie numrique . . . . . . . . . . . . . . . . . . . 21
Inverse dune srie entire . . . . . . . . . 100 Sries de Bertrand . . . . . . . . . . . . . . . . . . 31
Ingalit de Cauchy-Schwarz . . . . . . . . 58 Sries de Riemann . . . . . . . . . . . . . . . . . 31
Srie trigonomtrique . 34, 117, 119123
L Srie termes positifs . . . . . . . . . . . . . . 25
Limite . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 Sinus et Cosinus complexes . . . . . . . . 107
Limite dune suite 11, 12, 16, 17, 1921, Sommation par paquets . . . . . . 37, 38, 99
29, 36, 48, 78, 81, 8385, 87, 88, Somme dune srie . . . . . . 21, 22, 24, 30,
97 3337, 7781, 8385, 87, 88, 96,
Limite infrieure . . . . . . . . . . . . 18, 20, 97 98105, 120123, 125, 129
Limite suprieure . . . . . . . . . . . 20, 96, 97 Somme de Cesaro . . . . . . . . . . . . . . . . . . 17
Linarisation . . . . . . . . . . . . . . . . . . . . . 110 Somme de Riemann . . . . . . . . . . . . 52, 53
M Somme partielle dune srie . . . . . . . . 21,
Matrice jacobienne . . . . . . . . . . . . . . . . 139 2325, 31, 33, 3537, 77, 81, 84,
87, 118, 119
Mthode des rectangles . . . . . . . . . . . . . 59
Mthode des trapzes . . . . . . . . . . . . . . . 60 Sous-suite . . . . . . . . . . . . . . . . . . . . . 16, 18
Substitution de sries entires . . . . . . . 99
N Suite borne . . . . . . . . . . . . . . . . . . . . . . . 11
Ngation . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 Suite convergente. 1116, 18, 32, 48, 53,
Norme de la convergence uniforme . . 80 81
Suite de Cauchy . . 1116, 18, 32, 65, 81,
P 119
Premire formule de la moyenne. . . . . 51 Suite de fonctions . . . . 77, 80, 83, 85, 88
Primitive. . . . . . . . . . . . . . . . . . . . . . . 5355 Suite numrique . . . . . . . . . . . . . . . . . . . 11
Produit de sries . . . . . . . . . . . . . . . . 23, 98 Suites adjacentes . . . . . . . . . . . . . . . 16, 33
Q T
Quantificateur . . . . . . . . . . . . . . . . . . . . . . 3 Terme gnral . . . . . . . . . . . . . . . . . . . . . 21
R Terme gnral dune srie . . . . . . . . . . 21
Raisonnement par labsurde. . . . . . . 2, 54 Test de Cauchy . . . . . . . . . . 26, 27, 29, 96
Rayon de convergence95102, 104, 105, Test de dAlembert . . . . . . . . . . . . . 27, 97
107, 109, 119 Test des quivalents . . . . . . . . . . . . . . . . 31
Reste dune srie . 21, 27, 28, 30, 33, 34, Thorme de Parseval . . . . . . . . . . . . . 129
77, 82, 104 Thorme dAbel . . . . . . . . . . 32, 34, 118
Rcurrence . . . . . . . . . . . . . . . . 5, 145, 158 Thorme dAbel pour les intgrales . 69
Runion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 Thorme de Bolzano-Weierstrass . . . 16
Thorme de Dirichlet . . . . . . . . . . . . . 126
S Transforme de Laplace . . . . . . . . . . . 155
Srie alterne . . . . . . . . . . . . . . . 33, 34, 83
Srie convergente. 2126, 32, 34, 35, 37, V
67, 104, 117 Voisinage dun point . . . . . . . . . 64, 65, 68