livio flaminio

SRIES NUMRIQUES, INTGRALES

GNRALISES
SRIES NUMRIQUES, INTGRALES
GNRALISES

livio flaminio

Anne Acadmique 20082009

Octobre 2008
MUSE

Fig. 1: Colin Maclaurin (1698, Kilmodan1746 Edinburgh)

Colin Maclaurin fut professeur de mathmatiques au Marischal Col-

lege Aberdeen de 1717 1725 et lUniversit ddimbourg de 1725
1745.
Il fit des travaux remarquables en gomtrie, plus prcisment dans
ltude de courbes planes. Il crivit un important mmoire sur la tho-
rie des mares.
Maclaurin fut lu membre de la Royal Society en 1719 et en 1724 il
reut un prix de lAcadmie des Sciences pour son travail sur le choc
des corps. En 1740, il fut honor dun autre prix de lAcadmie des
Sciences pour une tude des mares. Ce prix fut dcern conjointement
Maclaurin, Leonhard Euler et Daniel Bernoulli.
Le premier travail important de Maclaurin fut Geometrica Oranica
publi en 1720.
En 1742, il publia les deux volumes du Treatise of fluxions, le pre-
mier expos systmatique des mthodes de Newton crit en rponse
aux attaques de George Berkeley relatives au manque de rigueur et de
fondement.
Le Treatise of fluxions est une uvre de 763 pages. Bien que trs
apprcie par ceux qui le lurent, il neut curieusement que peu din-
fluence et encouragea malheureusement les mathmaticiens britanniques
utiliser la gomtrie au lieu de lanalyse nouvelle qui tait alors d-
veloppe.

v
vi muse

Maclaurin utilisait les mthodes gomtriques des anciens Grecs et

faisait appel au principe dexhaustion dArchimde. Dans le Treatise
of fluxions Maclaurin utilisa un cas particulier du dveloppement en
srie de Taylor qui porte prsent son nom.
Maclaurin donna galement le premier test de convergence dune
srie infinie. Il tudia dans le Treatise of fluxions lattraction de deux
ellipsodes de rvolution comme application de ses mthodes.
Maclaurin joua un rle actif dans la dfense dEdimbourg durant la
rbellion jacobite de 1745. Quand la ville tomba, Maclaurin partit pour
York mais il revint dimbourg lanne suivante et y mourut.
Le Treatise on algebra de Maclaurin fut publi en 1748, deux ans
aprs sa mort. Un autre travail Account of Sir Isaac Newtons discove-
ries resta inachev. (extrait de Wikipdia)
 muse vii

Fig. 2: Jean le Rond dAlembert (1717 Paris1783 Paris)

Jean le Rond dAlembert, n le 16 novembre 1717 Paris, est lenfant

illgitime dun commissaire dartillerie et dune marquise. Abandonn
sa naissance sur les marches de lglise parisienne de Saint Jean le
Rond (qui lui a donn son prnom), il est recueilli par la femme dun
artisan-vitrier qui llvera comme son fils. En retour, dAlembert vivra
avec elle jusqu la mort de celle-ci (soit pendant 48 ans !). Secrtement,
son pre lui versera une pension qui subviendra lducation du jeune
homme. DAlembert se rvle particulirement dou pour les math-
matiques, et il tudie avec succs le droit et la mdecine.
Aprs des premiers mmoires sur la mcanique des fluides et sur le
calcul intgral, il est admis 24 ans lAcadmie des Sciences comme
associ astronome adjoint. En 1743, il publie son important Trait de
la Dynamique, o il amliore la dfinition dune force, et donne ce
quon appelle dsormais le principe de dAlembert (=conservation de
la quantit de mouvement). En 1747, il crit un article sur les cordes
vibrantes, o, pour la premire fois, il donne et rsout lquation aux
drives partielles qui rgit la propagation des ondes sonores. On doit
aussi dAlembert des Rflexions sur la cause gnrale des vents (re-
prises et gnralises par Euler), et un trait sur la prcession des qui-
noxes, o il donne une solution partielle au problme des 3 corps. Ces
travaux de dAlembert apparaissent comme trs solides mathmati-
quement, mais font parfois appel des simplifications de problmes
physiques trs discutables, voire opposes la ralit. Cela lui vaudra
de vives querelles avec Euler, Clairaut, et D. Bernoulli.
A compter de 1746, dAlembert se lance avec Diderot dans une
aventure monumentale, la rdaction de lEncyclopdie, Dictionnaire
raisonn des Sciences, dont le 1er volume parait en 1751. Dans le Dis-
cours prliminaire qui ouvre lEncyclopdie, dAlembert affirme le lien
entre le progrs des sciences et le progrs social. Il sinscrit totalement
viii muse

dans le courant des Lumires, et il lutte contre lobscurantisme reli-

gieux et politique. Cest cette activit philosophique qui remplace peu
peu son travail de mathmaticien.
DAlembert na presque jamais quitt Paris. Il refuse notamment
Frederick II la prsidence de lAcadmie de Berlin ; il dcline aussi
linvitation de Catherine II de devenir le prcepteur de son fils (en
Russie), malgr la bourse importante quelle propose. Au contraire, il
frquente les salons et aime la vie mondaine, parisienne. En 1754, il de-
vient membre de lAcadmie Franaise, dont il est le secrtaire perp-
tuel compter de 1772. Sa domination y est alors presque despotique,
et il est peu aim par ses pairs.
La fin de la vie de dAlembert est marqu par la maladie, et il dcde
le 29 octobre 1783 des suites de ces maladies. Laissons la conclusion
sa mre adoptive, peu satisfaite des activits de son fils : "Quest-ce
quun philosophe ? Cest un fou qui se tourmente toute sa vie pour
quon parle de lui lorsquil ny sera plus". (extrait de bibmath.net)
 muse ix

Fig. 3: Augustin Louis, baron Cauchy (1789 Paris1857 Sceaux)

Augustin Louis, baron Cauchy, n Paris le 21 aot 1789 et mort

Sceaux (Hauts-de-Seine) le 23 mai 1857, est un mathmaticien franais,
membre de lAcadmie des sciences et professeur lcole polytech-
nique. Catholique fervent, il est le fondateur de nombreuses uvres
chrtiennes, dont luvre des coles dOrient. Royaliste fidle la
dynastie des Bourbons, il sexila volontairement aprs les Trois Glo-
rieuses. Sa position politique et ecclsiastique lui valut nombre dop-
positions.
Il fut lun des mathmaticiens les plus prolifiques, derrire Leonhard
Euler, avec prs de 800 parutions et sept ouvrages ; sa recherche couvre
lensemble des domaines mathmatiques de lpoque. On lui doit no-
tamment en analyse lintroduction des fonctions holomorphes et des
critres de convergence des sries et des sries entires. Ses travaux
sur les permutations furent prcurseurs de la thorie des groupes. En
optique, on lui doit des travaux sur la propagation des ondes lectro-
magntiques.
Son uvre a fortement influenc le dveloppement des mathma-
tiques au XIXe sicle. La ngligence dont fit preuve Cauchy envers les
travaux dvariste Galois et de Niels Abel, perdant leurs manuscrits, a
cependant entach son prestige. (extrait de Wikipdia)
x muse

Fig. 4: Johann Peter Gustav Lejeune Dirichlet (18051859)

Johann Peter Gustav Lejeune Dirichlet (13 fvrier 1805, Dren - 5

mai 1859, Gttingen) est un mathmaticien allemand.
Il a t lev en Allemagne puis a t ensuite envoy en France pour
suivre ses tudes suprieures. Il fut en contact avec les plus grands
mathmaticiens franais de lpoque, linstar de Legendre, Laplace
ou Fourier. Il retourne ensuite en 1825 en Allemagne o il travaillera
avec Gauss, dont il reprendra la chaire Gttingen, et Jacobi. Il eut
entre autre comme lve Riemann.
Les travaux de Dirichlet ont surtout port sur les sries de Fourier et
larithmtique. On lui doit galement des travaux sur les intgrales et
la recherche de fonctions discontinues. Un problme danalyse clbre
porte son nom : le Problme de Dirichlet. Enfin, Dirichlet a galement
travaill sur le thorme de Fermat, en le dmontrant pour le cas o n
est gal 14, et en contribuant la dmonstration de Legendre pour
le cas o n est gal 5.
On lui doit aussi le thorme des tiroirs, qui snonce ainsi : si on
range n+1 chaussettes dans n tiroirs, il y a un tiroir o il y au moins
deux chaussettes ! Malgr sa simplicit, ce rsultat permet de prouver
des rsultats non triviaux. (extrait de Wikipdia)
 muse xi

Fig. 5: Niels Abel (5 aot 1802 - 5 avril 1829)

(extrait de BibMath.net) La vie de Niels Abel, mathmaticien norv-

gien est marque par la pauvret. Son pre tait pourtant un minent
homme politique norvgien, mais la fin de sa vie il est tomb en
disgrce, et quand il meurt en 1820, cest Abel qui doit supporter la
charge de la famille. Grce laide financire de ses professeurs, il
parvient cependant poursuivre ses tudes et faire ses premires d-
couvertes. Mais ses mmoires sont perdus par Cauchy, msestims par
Gauss. Aprs son doctorat, Abel ne parvient pas trouver un poste, ses
conditions de vie sont de plus en plus prcaires et sa sant se fait fra-
gile : il est atteint de la tuberculose. Malgr des dplacements Paris
et Berlin, ses travaux ne sont toujours pas perus leur juste valeur.
Dans ses dernires semaines, il na plus assez de force pour quitter son
lit. Il dcde le 5 avril 1829, mme pas 27 ans, alors quun ami venait
juste de lui trouver un poste Berlin.
Cest Jacobi qui comprendra tout le gnie de ce jeune mathmaticien.
Abel avait notamment dmontr, lge de 19 ans, limpossibilit de
rsoudre par radicaux les quation algbriques de degr 5, ce que son
contemporain Galois gnralisera tout n>4. A titre posthume, Abel
recevra en 1830 le grand prix de Mathmatiques de lInstitut de France.
TABLE DES MATIRES

1 suites, sries 1
1.1 Suites 1
1.1.1 Quest ce quune suite ? 1
1.1.2 Limites des suites 3
1.2 Sries 3
1.2.1 Quest ce quune srie ? 3
1.2.2 Problmes lis aux sries 4
1.2.3 Remarques sur la nature des sries 6
1.2.4 Linarit de la somme des sries 7
1.2.5 Une condition ncessaire pour la convergence dune
srie 7
1.3 Exercices 8

2 critre de convergence de cauchy 11

2.1 Espaces mtriques 11
2.1.1 Espaces mtriques, isomtries 11
2.1.2 Exemples despaces mtriques 12
2.1.3 Limites dans les espaces mtriques 12
2.2 Suites de Cauchy 12
2.2.1 Suites de Cauchy et espaces mtriques complets 12
2.2.2 Lespace des nombres rels est complet 13
2.2.3 Conclusion 16
2.3 Critre de convergence de Cauchy pour les sries 16
2.4 Exercices 17

3 sries termes positifs 19

3.1 Convergence absolue, semi-convergence 19
3.2 Sries termes positifs 20
3.2.1 Particularit des sries termes positifs 20
3.2.2 Le critre de lintgrale 20
3.2.3 Comparaison des sries termes positifs 22
3.3 Exercices 23

4 les critres de convergence absolue 25

4.1 Critre de la racine ou Rgle de Cauchy 25
4.2 Critre du rapport ou Rgle de dAlembert 26
4.2.1 Les critres de la racine et du rapport ne sont pas
toujours concluants 27
4.3 Permutation des termes dune srie 27
4.4 Produit de sries 28
4.5 Exercices 30

5 sries semi-convergentes 33
5.1 Sries alternes 33
5.2 Critres de Dirichlet et dAbel 35
5.3 Exercices 36

6 intgrales gnralises 39
6.1 Lintgrale gnralise 39
6.1.1 Proprits de lintgrale gnralise 41

xiii
xiv table des matires

6.1.2 Exemples fondamentaux 42

6.1.3 Le critre de convergence de Cauchy 42
6.2 Fonctions positives, convergence absolue de lintgrale
gnralise 44
6.2.1 Critres de convergence pour fonctions positives 44
6.2.2 Convergence absolue 45
6.3 Changement de variables dans les intgrales gnrali-
ses 47
6.4 Intgration par parties 47
6.5 Semi-convergence et Rgle dAbel 48
6.6 Analogie entre les sries et les intgrales gnralises 49
6.7 Remarques finales 49
6.8 Exercices 50

7 exercices de rcapitulation 53
7.1 Exercices sur les sries 53
7.2 Exercices sur les intgrales gnralises 55

a rappels sur les fonctions diffrentiables 57

a.1 La notation de Landau 57
a.2 Dveloppements limits 60

bibliographie 63
TABLE DES FIGURES

Fig. 1 Colin Maclaurin v

Fig. 2 Jean le Rond dAlembert vii
Fig. 3 Augustin Cauchy ix
Fig. 4 Johann Dirichlet x
Fig. 5 Niels Abel xi

xv
 SUITES, SRIES 1
Dans le langage courant tout comme dans le langage scientifique les
mots suite et srie 1 sont souvent synonymes. Par exemple : Pois-
son2 crivait Une suite indfinie doscillations, dont les dures sont
gales. . . et Poincar3 Une srie unique doscillations dcroissantes et
non pas une suite ininterrompue dtincelles qui useraient rapidement
les lectrodes . . . : les termes taient parfaitement changeables !
La premire rponse la recherche du terme srie sur le mo-
teur Google rsulte en Srie TV cest--dire une suite de feuilletons, de
films, dmissions lis par une unit de genre, de forme, de sujet ou de
personnages4 .
En mathmatiques, par contre, les termes suite et sries ne sont pas chan-
geables et leurs dfinitions ne doivent pas tre confondues. Dans ce chapitre,
aprs avoir rapidement evoqu la notion de suite, nous illustrerons la
notion de srie.

1.1 suites

Il ne sagt pas de dvelopper un cours sur les suites, mais unique-

ment de rappeler la dfinition et lide, fondamentale, de limite dune
suite.

1.1.1 Quest ce quune suite ?

Le terme suite, en mathmatiques, traduit lide intuitive de liste in-

finie et ordonne.
Quand nous avons une liste finie et ordonne dobjets, nous pouvons
crire les membres de cette liste dans lordre donn : par exemple les
lettres de lalphabet dans lordre alphabtique sont

a, b, c, d, e , . . ., x, y, w, z.

Pour une liste infinie de nombres, une telle criture est videmment
impossible : pour assigner une telle liste, nous devons avoir une faon
de dterminer le nime terme de la liste ; nous devons associer lentier
n un nombre qui sera le nime terme de la liste.
Ceci nous amne au concept de fonction, car une fonction est, par
dfinition, une rgle qui associe un lment dun ensemblele do-
maine de dfinition de la fonctionun lment dun autre ensemble.
Notre dfinition prliminaire du terme suite est donc la suivante :
une suite est une fonction dont le domaine est lensemble des entiers positifs
N+ . En particulier, une suite relle ou complexe est une application
de N+ dans R ou dans C, respectivement.

1 On pourrait ajouter cette liste le terme succession

2 Poisson, Mcan., t. 1, 1811, p. 393.
3 H. Poincar, Thorie Maxwell, 1899, p. 65.
4 Centre de Ressources Textuelles et Lexicales

1
2 suites, sries

Nous pouvons assigner une suite en donnant une formule qui nous
permet de calculer le terme associ lentier n ; par exemple les termes
1 1 1 1 1
1, , , , , , . . .
2 3 4 5 6
sont les premiers termes de la suite u dfinie par
1
u(n) = , pour tout n N+ .
n
Mais nous pouvons aussi dfinir une suite de faon rcursive, cest--
dire en donnant des rgles pour calculer les termes dune suite partir
dautres termes : un exemple fameux de suite dfinie rcursivement est
la suite de Fibonacci F dont voici les premiers termes :
1, 1, 2, 3, 5, 8, 13, 21, . . . ;
la dfinition rcursive de la suite de Fibonacci est la suivante :
F(1) = 1, F(2) = 1, et
F(n) = F(n 1) + F(n 2), si n N+ et n > 2;
le premiers deux termes nous ont t donns ; et les suivantes se cal-
culent laide de la dernire formule. (De toute vidence, derrire une
dfinition rcursive dune suite se cache le principe de rcurrence).
Il est quelquefois pratique de considrer des suites dont le domaine
nest pas lensemble des entiers positifs N+ mais lensemble des nom-
bres naturels N ou toute autre segment final de Z, cest--dire un inter-
valle infini dentiers
{k Z | k > `} = [`, [ Z .
(Par exemple les suites
1, 2, 4, 8, 16, . . .
et
1 1 1 1
, , , , ...
log(2) log(3) log(4) log(5)
sont aisment dfinies par les formules 2n et 1/log(n) avec domaine,
respectivement, N et [2, [ Z).
On utilise, pour les suites, une notation un peu diffrente de la nota-
tion usuelle pour les fonctions : si u est une suite, on dnote llment
associ lentier n par un au lieu de u(n) ; le nombre n est dit le rang
du terme un ; enfin, la suite relle ou complexe u de domaine N est
note
(un )
au lieu de u : N R ou u : N C, respectivement ; si le domaine est
[`, [ Z on dsigne la suite u par une des notation suivantes :
(un )n[`,[ Z , (un )
n=` , ou (un )n>` .
Nous rsumons tout cela dans la dfinition suivante.
Dfinition 1.1.1. Une suite relle ou complexe est une fonction va-
leurs dans R ou C, respectivement, et dont le domaine est un segment
final de Z. Si u est une suite dont le domaine est [`, [ Z, on dsigne
limage de lentier n par u par le symbole un et la suite par (un ) n=`
ou (un )n>` .
 1.2 sries 3

1.1.2 Limites des suites

Nous rappelons quune suite (un ) converge vers le nombre L si, quel
que soit le nombre positif , tous les termes un de rang assez grand
diffrent de L moins que . De faon plus formelle on dira : la suite
(un ) converge vers le nombre L si, pour tout nombre positif , il existe
un entier m tel que les termes un de rang n > m satisfont |un L| < .
Pour indiquer que la suite (un ) converge vers le nombre L on crit

lim un = L .
n

On dit aussi que une suite relle (un ) tend vers +, et on crit

lim un = + ,
n

si, quel que soit le nombre rel M, partir dun certain rang, tous les
termes un sont plus grand que M. Symtriquement, on dit que une
suite relle (un ) tend vers , et on crit limn un = , si , pour tout
nombre rel M, il existe un entier m tel que les termes un de rang
n > m satisfont un < M.
Exemple 1.1.2. On a limn (n 1)/(n + 1) = 1 car si  > 0 et n > 1 + 2/
on obtient |(n 1)/(n + 1) 1| < .

Exemple 1.1.3. On a limn n2 /(2n 1) = + car si M > 0 et n > 2M

on obtient n2 /(2n 1) > M.

1.2 sries

1.2.1 Quest ce quune srie ?

Si nous avons une liste finie de nombres rels ou complexes

u0 , u1 , u2 , . . . , uk

leur somme

S = u0 + u1 + u2 + + uk

est bien dfinie ; en plus, les proprits de laddition nous disent que
cette somme ne dpend ni de lordre dans lequel les oprations sont
effectues ni de lordre de la liste des nombres.
Pour une liste infinie de nombres, c.--d. pour une suite (un )nN ,
nous nous posons le problme de considrer la somme de tous les
membres de cette suite de nombres

u0 + u1 + u2 + + uk + . . .

Comment peut-on donner une signification une telle somme ? Une

faon de le faire cest de considrer la suite des sommes partielles

S0 = u0 ,
S1 = u0 + u1 ,
S2 = u0 + u1 + u2 ,
... ,
Sk = u0 + u1 + u2 + + uk ,
... ;
4 suites, sries

si la suite (Sn ), forme par les sommes partielles, converge vers une
limite S on considrera que le nombre S est la somme des tous les
membres de la suite (un ).
On formalise tout cela dans les deux dfinitions suivantes.

Dfinition 1.2.1. Soit (un )nN une suite de nombres rels ou com-
plexes. La srie de terme gnral un est la suite (Sn )nN dfinie par

SN = u0 + u1 + + uN , N N.

Le nombre SN est dit la somme partielle dordre N de la srie de terme

gnral un .

Notation. La srie de terme gnral un est dsigne par le symbole

P P
un ; la somme partielle dordre dordre N par Nn=0 un .

Dfinition 1.2.2. On dit que la srie de terme gnral un converge si la

suite des sommes partielles (SN )NN converge. Sinon, on dit quelle
diverge.
Si la srie de terme gnral un converge, la limite S des sommes
P P
partielles est dite la somme de la srie un et on note : S = n=0 un .
P
Le reste dordre N de la srie un est le nombre RN = S SN .

Exemple 1.2.3. Soit un = n. La srie de terme gnral un est la suite

(n(n + 1)/2)nN car la somme partielle dordre dordre N vaut

N(N+1)
SN = 0 + 1 + + N = 2 , N N.

Remarque 1.2.4. Souvent le terme gnral dune srie nest dfini qu

partir dun certain rang n0 ; dans ce cas la somme partielle SN est
P P
dfinie par N n=n0 un et la srie un est la suite de ces sommes. Par
P
exemple, soit un = 1/n(n 1), avec n > 2. La srie 1/n(n 1) est
PN
alors la suite des sommes partielles SN = n=2 1/n(n 1).

1.2.2 Problmes lis aux sries

Pour une srie on peut se poser deux types de problmes :

tablir la nature de la srie, cest--dire si elle converge ou diverge.
Dans le cas dune srie convergente, dterminer sa somme.
Nous allons prsenter deux exemples dans lesquels ces problmes ont
une solution facile : les sries gomtriques et les sries tlescopiques.

Les sries gomtriques

La srie gomtrique de raison z C et de premier terme a C est la
srie de terme gnral azn .

Proposition 1.2.5. La srie gomtrique de raison z C et de premier terme

a C \ {0} converge si et seulement si |z| < 1. Dans ce cas, on a

X a
azn = .
1z
n=0

Dmonstration. Rappelons lidentit

(1 z)(1 + z + z2 + + zk ) = 1 zk+1 .
 1.2 sries 5

P
Pour z = 1, on a SN = N n=0 a = a(N + 1) et la srie diverge. Lasser-
tion est dmontre dans ce cas.
Soit, donc, z 6= 1. Grce lidentit rappele nous avons

X
N
1 zN+1
SN = a zn = a(1 + z + z2 + + zN ) = a .
1z
n=0

Pour |z| < 1 nous obtenons

1 zN+1 a
lim a = , (car lim zN+1 = 0);
N 1z 1z N
P
nous concluons que, pour |z| < 1, la srie azn converge et sa somme
P
vaut n
0 az = a/(1 z).
Si |z| > 1 on a

|zN+1 zN+2 | |z|N+1 |1 z|

|SN SN1 | = |a| = |a| > |a|.
|1 z| |1 z|

Cette ingalit implique que la limite limN SN nexiste pas, et donc,

P n
pour |z| > 1, la srie az diverge.

Sries tlescopiques
P
Considrons la srie un et supposons que son terme gnral un
ait la forme

un = vn+1 vn

pour une certaine suite (vn ). Un petit calcul de la somme partielle

P
SN = N k=0 uk nous donne

SN = u0 + u1 + u2 + + uN
= (v1 v0 ) + (v2 v1 ) + (v3 v2 ) + + (vN+1 vN )
= vN+1 v0 .
P
Nous concluons que la srie un diverge ou converge selon que la
suite (vn ) diverge ou converge ; dans ce dernier cas nous avons5

X
uk = lim vn v0 .
n
k=0
P
On dira que la srie un de terme gnral un est la srie tlescopique
associe la suite (vn ) si

un = vn+1 vn .

La discussion prcdente nous dit que la la suite (vn ) et la srie tles-

copique associe la suite (vn ) ont la mme nature, c.--d. convergent
ou divergent simultanment.

5 Plus gnralement on a

X
uk = lim vn vj .
n
k=j
6 suites, sries

P 1
Exemple 1.2.6. Soit n>1 n(n+1) . Puisque

1 1 1
= + = vn+1 vn
n(n + 1) n+1 n
P 1
nous voyons que, si on pose vn = 1/n, la srie n>1 n(n+1) est la
srie tlescopique associe la suite (vn )n>1 . Puisque lim vn = 0 la
P 1
srie n>1 n(n+1) converge et

X 1
= lim vn v1 = 1.
n(n + 1)
1
P 1


Exemple 1.2.7. Soit n>1 log 1 + n . On pose vn = log(n) et on re-
marque que
 
1
log 1 + = log(n + 1) log(n) = vn+1 vn ;
n
P 1


puisque limn log(n) = +, la srie log 1 + n diverge.

1.2.3 Remarques sur la nature des sries

Sries concidentes partir dun certain rang

P
La nature dune srie un ne dpend que de la queue de la suite
(un ) ; plus exactement on a :

Proposition 1.2.8. Si deux suites (un ) et (vn ) concident partir dun

P P
certain rang, alors les sries un et vn on la mme nature.

Dmonstration. Supposons que un = vn pour n > n0 . Soient Sn =

Pn P
u et T = n i=0 vn les sommes partielles dordre n des sries
Pi=0 nP n
un et vn , respectivement. De lhypothse un = vn pour n > n0 ,
de la formule

Sn = Sn0 + un0 +1 + un0 +2 + + un ,

et de la formule analogue pour Tn on dduit que

Sn Tn = Sn0 Tn0 , si n > n0 .

P P
Donc les sries un et vn convergent ou divergent simultanment.

Regroupement des termes dune srie

P
Soient un la srie de terme gnral un et Sn la somme partielle
dordre n de cette srie. Pour toute suite croissante de nombres natu-
rels (Kj ) nous pouvons considrer la suite (vn ) dfinie par

v0 = u0 + u1 + + uK0 = SK0
v1 = uK0 +1 + uK0 +2 + + uK1 = SK1 SK0
...
vn = uKn1 +1 + uKn1 +2 + + uKn = SKn SKn1
...
 1.2 sries 7

P P
La srie vn est dite obtenue de la srie un par regroupement des
termes selon la suite (Kj ) ; en effet le terme v0 est la somme des pre-
miers K0 termes de la suite (un ) ; le terme v1 est la somme des suivants
K1 K0 termes, etc.
Puisque

X
n
Tn = vi = SKn ;
i=0
P
les sommes partielles Tn de la srie vn forment une suite extraite
P
de la suite des sommes partielles Sn de la srie un . Nous arrivons
au rsultat suivant.

Proposition 1.2.9. En regroupant les termes dune srie convergente on ne

change ni la nature ni la somme de la srie.

1.2.4 Linarit de la somme des sries

P P
Thorme 1.2.10 (Linarit de la somme). Si un et vn convergent
alors :
P
1. (un + vn ) converge et

X
X
X
(un + vn ) = un + vn ;
n=0 n=0 n=0
P
2. un converge et

X
X
un = un ,
n=0 n=0

pour tout in C.

Corollaire 1.2.11. Une srie termes complexes converge si et seulement si

sa partie relle et sa partie imaginaire convergent.

1.2.5 Une condition ncessaire pour la convergence dune srie

La proposition suivante est utilise frquemment pour tablir la di-

vergence dune srie :

Proposition 1.2.12 (Condition ncessaire pour la convergence dune

P
srie). Si la srie un converge, alors lim un = 0.

Dmonstration. Supposons que la srie de terme gnral un converge

P
et soit SN = N n=0 un . On a alors limN SN = S, o S est la somme de
la srie. Donc limn un = limn (Sn Sn1 ) = S S = 0.

On peut paraphraser la proposition prcdente en disant que, si la

P
limite lim un nexiste pas ou nest pas gale zro, la srie un diverge.
Dans ce cas, on dira que la srie diverge grossirement.
P n n
Exemple 1.2.13. La srie n+1 diverge grossirement car limn n+1 =
1 6= 0.
P
Exemple 1.2.14. La srie (1)n diverge grossirement car la suite
n
((1) ) na pas de limite.
8 suites, sries

La Proposition 1.2.12 ne permet jamais dtablir la convergence dune

srie car la condition lim un = 0, bien que ncessaire, nest pas suffi-
P
sante pour garantir la convergence de la srie un . Lexemple suivant
montre quil existe bien des sries divergentes dont le terme gnral
converge vers zro.
P
Exemple 1.2.15. Soit un = ( n + 1 + n)1 . La srie un diverge,
bien que limn un = 0.

Dmonstration. En rationalisant le dnominateur nous trouvons que

1
un = = n + 1 n.
n+1+ n
P
Donc la srie un est la srie tlescopique associe la suite vn = n.
P
Puisque lim vn = + la srie un diverge. De lautre cot il est
vident que lim un = 0.

1.3 exercices

Exercice 1.1. Pour chacune des suites suivantes dterminer, quand il est pos-
sible, un majorant, un minorant, le plus grand et le plus petit lment, la borne
infrieure, la borne suprieure et la limite. (Note : pour la suite (3), observer
que 2 < 2/ ln(2) < 3)

1. (cos(n/6)/n)n>1 4. ((1)n arctg n)n>0

  
2. (n2 /en )n>1 5. tg 4 1 + (1)
n n1
n n>1
 
3. (n2 /2n )n>0 6. n2 sin 2n!
12 n>0

Exercice 1.2. Dans chacun des cas suivants, donner les premiers six termes de
la srie de terme gnral un , c.--d. crire les sommes partielles dordres n < 6
de la srie.

1. un = (1)n 4. un = ein/3

2. un = n2 5. un = 10n

3. un = cos(2n/3) 6. un = (n2 1)/(n2 + 1)

Exercice 1.3. Pour chacune des sries de lexercice prcedent tablir la nature
de la srie, c.--d. dterminer si la srie converge ou diverge ; si la srie converge
dterminer sa somme et le reste dordre n N.

Exercice 1.4. Les sries suivantes soit sont banalement divergentes, soit tles-
copiques, soit des sries gomtriques, ou lies celles-ci. Dans chaque cas,
dtrminer la nature de la srie et, pour le sries convergentes, dterminer la
somme de la srie.
X 1 X 1
1. 4.
(n + 3)(n + 2) n2 + 7n + 12
n>1 n>0

X 2
2. 0, 123123123 . . . 5.
(2n + 1)(2n + 3)
n>2

X 
2

3. n log 1 X 3n + 5 n
n 6.
7n
n>0
 1.3 exercices 9

X 2n 1 X 1
7. log 12. n sin
n+1 n
n>1
X sinh n
8.
3n X 1
13.
n(n2 1)
X 1 n>2
9. 2
4n 1
n>1
X 1
14.
X 1 n(n + 1)(n + 2)(n + 3)
10. n>2
n2 1
n>2
X n2 1
X cosh n 15. log
11. n2
2n n>2

Exercice 1.5. Quelle est la srie tlscopique associe la suite vn = n2n ? En

P
dduire la somme de la srie n/2n .

Exercice 1.6. Pour tout entier d > 1, calculer la somme

X 1
n(n + 1)(n + 2)(n + 3) (n + d)
n=1

Exercice 1.7. Nous avons vu que, en regroupant les termes dune srie conver-
gente, on obtient une srie convergente et de mme somme. Montrer que, en
P
regroupant opportunment les termes de la srie divergente (1)n , on peut
obtenir une srie convergente.
CRITRE DE CONVERGENCE DE CAUCHY 2
Dans ce chapitre, on introduit la notion de suite de Cauchy et on
dmontre quune suite de Cauchy de nombres rels converge ; plus
exactement, on dmontre que cette proprit des nombres rels que
toute suite de Cauchy de nombres rels converge est quivalente
bien dautres proprits qui sont souvent prises comme axiomes de R.
La construction des nombres rels c.--d. la dmonstration quil
existe bien un corps ordonne archimdien qui vrifie ces axiomes
est au del de nos buts. Nous invitons le lecteur intress consulter
[Lelong-Ferrand and Arnaudis(1977)].
Nous prsentons la notion de suite de Cauchy dans le cadre des es-
pace mtriques car elle se formule sans effort majeure dans ce contexte.
Enfin, nous appliquerons la notion de convergence de Cauchy aux
sries en obtenant le critre de convergence de Cauchy pour le sries.
Bien que les notions prsentes dans ce chapitre soient dutilit plus
thorique que pratique, nous invitons les tudiants qui ont lintention
de continuer leurs tudes en mathmatiques ne pas sous-estimer leur
importance.

2.1 espaces mtriques

2.1.1 Espaces mtriques, isomtries

Un espace mtrique (X, d) est un ensemble X muni dune distance d

c.--d. dune fonction
d : X X [0, [
satisfaisant, pour tout x, y, et z X :
1. la proprit de symtrie :
d(x, y) = d(y, x)
2.
d(x, y) = 0 x = y
3. lingalit triangulaire
d(x, y) 6 d(x, z) + d(z, y)
Observons que, si (X, d) est un espace mtrique, alors pour tout sous-
ensemble Y X la restriction de d Y Y est une distance sur Y dite
distance induite sur Y. Donc tout sous-ensemble dun espace mtrique
est canoniquement un espace mtrique.
Deux espaces mtriques (X1 , d1 ) et (X2 , d2 ) sont isomtriques sil
existe une bijection : X1 X2 qui prserve les distances, cest
dire telle que d2 ((x), (y)) = d1 (x, y) pour tout x, y X1 .
Les espaces mtriques feront lobjet dtudes approfondies dans
dautres cours o lon dcouvrira que ces espaces sont trs nombreux
et varis. Nous en parlons ici en nous limitant aux dfinitions de
base et quelques exemples assez banals car ils constituent le cadre
naturel pour introduire la notion de suite de Cauchy.

11
12 critre de convergence de cauchy

2.1.2 Exemples despaces mtriques

Exemple 2.1.1. Les ensembles N, Z, Q, R et C, munis de la distance

usuelle1

d(x, y) = |x y|,

sont des espaces mtriques.

Exemple 2.1.2. Sur tout ensemble X, on peut dfinir la distance discrte

1, si x 6= y,
d(x, y) =

0, si x = y

Exemple 2.1.3. Sur lensemble des entiers positifs N+ , on peut dfinir

une distance en posant
 
1 1 
d(n, m) =  

n m

2.1.3 Limites dans les espaces mtriques

Dfinition 2.1.4. On dit que une suite (xn ) dans un espace mtrique
(X, d) converge vers x si lim d(xn , x) = 0. Dans on dit que x est la limite
de la suite (xn ) et nous crivons

x = lim xn .

Quand X = R ou X = C, munis de la distance usuelle, on retrouve

les notions habituelles de convergence et de limite dune suite.
Exemple 2.1.5. Dans les espaces considrs aux Exemples 2.1.2 et 2.1.3,
une suite converge si et seulement si elle est stationnaire.

Dfinition 2.1.6. Une partie Y dun espace mtrique (X, d) est dense
(dans X) si pour tout x X il existe une suite (yn ) dlments de Y avec
x = lim yn .

Exemple 2.1.7. Les nombres rationnels Q sont denses dans dans les
nombres rels R (pour la distance usuelle). Les rels ne sont pas denses
dans C.

2.2 suites de cauchy

2.2.1 Suites de Cauchy et espaces mtriques complets

Une suite de Cauchy dans un espace mtrique est, grosso-modo, une

suite telle que tous ses termes sont trs proches quand leurs rangs
deviennent assez grands.

Dfinition 2.2.1. On dit que une suite (xn ) dans un espace mtrique
(X, d) est une suite de Cauchy si pour tout  > 0 il existe N N tel
que pour tous les entiers n, m satisfaisants n > N et m > N on a
d(xm , xn ) < .
1 Le symbole |z|, pour z C, dnote le module de z mais quand z est un nombre rel ce
module concide avec la valeur absolue de z.
 2.2 suites de cauchy 13

Exemple 2.2.2. Considrons lespace mtrique (N+ , d), o d est la dis-

tance dfinie dans lexemple 2.1.3. Dans cet espace la suite xn = n est
une suite de Cauchy ; en effet, en choisissant N > 2/, si n > N et
m > N, on a
 
1 1 2
d(xn , xm ) = d(n, m) =   < < .
n m N

Proposition 2.2.3. Toute suite convergente est une suite de Cauchy

Dmonstration. Supposons que lim xn = x. Pour tout  positif il

existe N N tel que d(xn , x) < /2 si n > N. Donc si m > N et
n > N on a d(xm , xn ) < d(xm , x) + d(x, xn ) < .

En gnral, limplication oppose est fausse : il existe des espaces

mtriques qui possdent des suites de Cauchy non convergentes.

Dfinition 2.2.4. Un espace mtrique (X, d) pour lequel toute suite de

Cauchy converge est dit complet.

Exercice 2.1. Montrer que la suite de Cauchy de lexemple 2.2.2 ne

converge pas vers un lment de N+ .

Mais lexemple classique dun espace non complet, i.e. possdant

des suites de Cauchy non convergentes, est lensemble
des nombres
rationnels Q : soit xn lexpansion dcimale de 2 tronque la ne
place dcimale, (x0 = 1, x1 = 1, 4, x2 = 1, 41, etc.) ; cette suite de
nombres rationnels est une suite de Cauchy car, si n > m, on a
0 < xn xm < 10m ; pourtant elle ne converge
pasvers un nombre
rationnel car elle converges dans R vers 2 et 2 nest pas un
nombre rationnel .

2.2.2 Lespace des nombres rels est complet

En effet la vraie raison dtre des nombres rels, celle qui motive
leur construction, est la suivante.

Thorme 2.2.5. Lensemble de nombres rels R (ainsi que lensemble de

nombres complexes C) est complet et Q est dense dans R.

La preuve de ce thorme est la base de la construction mme

des nombres rels. Sur le mmes lignes de cette construction on peut
dmontrer un thorme plus gnral.

Thorme 2.2.6. Soit (X, d) un espace mtrique. Il existe un espace mtrique

(X, d), unique une isomtrie prs, tel que
1. X est une partie de X
2. la distance induite par d sur X concide avec la distance d
3. X est une partie dense de X
4. (X, d) est complet.

Le fait que lensemble de nombres rels soit complet, nous lavons

dit, est une proprit fondamentale de R ; cette proprit est quiva-
lente dautres proprits quon a dj rencontr dans le cours dana-
lyse de premire anne.

Thorme 2.2.7. Les proprits suivantes de R sont quivalentes :

14 critre de convergence de cauchy

1. (Existence de la borne suprieure) Tout sous-ensemble major de R pos-

sde une borne suprieure.
2. (Principe des intervalles embots) Lintersection de toute suite din-
tervalles ferms et embots2 est non vide. Si, en plus, la longueur des
intervalles converge vers zro, alors les extrmits droites et gauches des
intervalles des des intervalles convergent vers un seul nombre c R.
3. (La proprit de Bolzano-Weierstrass) De toute suite borne de nombres
rels on peut extraire une sous-suite qui converge vers un nombre rel.
4. (R est complet) Toute suite de Cauchy de nombres rels converge vers
un nombre rel.
5. Toute suite croissante et majore converge vers un nombre rel.

Dmonstration. 1. = 2.
Supposons lexistence de la borne suprieure de toute partie majore
de R (ce qui implique lexistence de la borne infrieure pour toute par-
tie minore de R). Soit In = [an , bn ] une suite dintervalles embots.
Pour tout couple dentiers entier m, n on a

an 6 am 6 b m 6 b n , si m > n. (2.1)

La suite (an ) est donc majore car an 6 b0 pour tout n ; de mme,

la suite (bn ) est minore. Par hypothse, on peut poser c = sup an et
d = inf bn .
Les ingalits (2.1) impliquent que am 6 bn , pour tout couple den-
tiers entier m, n tel que m > n et donc c 6 bn , pour tout entier n ; on
conclut que c 6 d, ce qui nous dit que lintervalle [c, d] nest pas vide.
Puisque pour tout entier n on a an 6 c et d 6 bn on obtient
\
=
6 [c, d] [an , bn ],
n

ce qui dmontre que lintersection des intervalles [an , bn ] est non vide.
T
(Une analyse plus dtaille montre que [c, d] = n [an , bn ]). On a aussi

0 6 d c 6 bn an n N;

sous lhypothse lim bn an = 0, en passant la limite, on obtient

c = d. Il reste dmontrer que c = lim an = limbn . Mais pour tout
m N on a

0 6 c an 6 bn an et 0 6 bn c 6 bn an

et, en passant la limite, on obtient c = lim an et lim bn = c.

2. = 3.
Supposons le Principe des intervalles embots.
Soit (xn ) une suite borne de nombres rels et soient a0 et b0 deux
nombres rels tels que a0 6 xn 6 b0 pour tout n N. Posons I0 =
[a0 , b0 ]. Soit X = {xn | n N} lensemble des valeurs de la suite. Si
lensemble X est fini, i.e. si la suite (xn ) prend seulement un nombre
fini de valeurs, il existe une valeur y X telle que xn = y pour une
infinit de n N ; il existe alors une sous-suite (xni ) de la suite (xn )
avec xni = y pour tout i N ; la sous-suite (xni ) est constante et
donc convergente. Si, au contraire, lensemble X est infini, lintersection
de X avec un des deux intervalles [a0 , (a0 + b0 )/2] et [(a0 + b0 )/2, b],

2 Les intervalles dune suite (In ) sont embotes si In+1 In , pour tout entier n.
 2.2 suites de cauchy 15

est infinie. Ayant choisi, par rcurrence, un intervalle In = [an , bn ]

tel que lensemble X In est infini, on dfinit In+1 comme lun des
deux sous-intervalles [an , (an + bn )/2] ou [(an + bn )/2, bn ], tel que
lintersection X In+1 est infinie. A ltape j de la rcurrence on prend
garde de choisir un lment xnj Ij avec nj > nj1 (on peut faire cela
car Ij contient un infinit dlment de X). Observons que bn an =
(b0 a0 )/2n . Les intervalles In tant embots, leur intersection est
non vide et en effet elle consiste dun seul point y. Or lim xnj = y car
|y xnj | 6 (b0 a0 )/2j .
3. = 4.
Supposons la proprit de Bolzano-Weierstrass : de toute suite bor-
ne on peut extraire une sous-suite convergente.
Soit (xn ) une suite de Cauchy. La suite (xn ) est borne car il existe
N N tel que |xn xm | < 1 si n > N et m > N ; si on pose B =
max06i6N |xi | on a |xn | 6 B + 1 pour tout entier n N. Par hypothse,
on peut extraire de la suite (xn ) une sous-suite (xnj )jN convergente
vers une limite y. Soit  > 0 ; dun cot il existe un M tels que m > M
et n > M implique que |xn xm | < . De lautre cot, in existe L tel
que j > L implique nj > M et |xnj y| < . Donc pour tout m > L on
a |xm y| 6 |xm xnL | + |xnL y| 6 2.
4. = 5.
Supposons que R est complet : toute suite de Cauchy de nombres
rels converge.
Soit (xn ) une suite croissante et et majore de R. Montrons que (xn )
est une suite de Cauchy : cela fera laffaire. Dans lhypothse contraire,
il existe  > 0 satisfaisant : quel que ce soit N N il existe deux entiers
n, m tels que n > N, m > N et |xn xm | >  ; donc on peut trouver
deux suites dentiers (mi ), (ni ) satisfaisant m1 < n1 < m2 < n2 < . . .
et telles que xni xmi > . Alors

xni > xmi +  > xni1 +  > xni2 + 2 > . . . xn1 + (i 1)

ce qui dmontre que la suite (xn ) nest pas majore, contrairement aux
hypothses.
5. = 1.
Supposons que toute suite (xn ) croissante, i.e. xn+1 > xn et majo-
re converge ; cela implique que toute suite dcroissante et minore
converge. Soit A une partie majore de R, et m0 un majorant de A.
Nous dfinissons, par rcurrence, une suite dcroissante de majorants
de A : supposons davoir dj choisi m0 > m1 > > mj , majorants
de A ; si mj = sup A nous nous arrtons car nous avons obtenons
lexistence de sup A ; si mj 6= sup A, il existe un autre majorant de A,
m 0 , satisfaisant m 0 < mj . En effet nous pouvons choisir3 un majorant
mj+1 de A satisfaisant mj+1 < mj et tel que mj+1 (mj mj+1 ) ne
majore pas A. Soit aj A tel que aj > mj+1 (mj mj+1 ).
La suite (mj ) est soit stationnaire et dans ce cas sup A existe
soit strictement dcroissante et minore par les lments de A. Sup-
posons le dernier cas ; la suite converge alors vers un nombre rel M.
Nous affirmons que M = sup A, ce qui conclut la preuve.
3 Voila comment : Soit m 0 un majorant de A satisfaisant m 0 < mj . Soit = mj m 0
et soit k le plus grand entier positif tel que mj k est un majorant de A. On pose
mj+1 = mj k, de faon que = (mj mj+1 )/k. Par dfinition, le nombre
mj (k + 1) et donc le nombre yj = mj 2k nest pas un majorant de A ; or
yj = mj 2k(mj mj+1 )/k = mj+1 (mj mj+1 ).
16 critre de convergence de cauchy

En effet puisque pour tout a A et pour tout n N on a a 6 mn ,

en passant la limite, nous obtenons que, pour tout a A, on a a 6 M.
Donc M est un majorant de A. Si M 6= sup A il existe un majorant de
A, m 0 , satisfaisant m 0 < M. Soit 0 <  < M m 0 et soit N N tel que
j > N implique que 0 < M mj < . Puisque M < mj+1 < mj , on a
aussi mj mj+1 <  pour tout entier j > N. On a

aj > mj+1 (mj mj+1 ) > mj+1  > M  > m 0 ,

en contradiction avec lassomption que m 0 majore A.

2.2.3 Conclusion

Le fait fondamentale quil faut retenir de cette section est que len-
semble des nombres rels ainsi que lensemble des nombres com-
plexe muni de la distance usuelle est complet. Donc
Une suite (xn ) de nombres rels ou complexes converge si et
seulement si elle est une suite de Cauchy, c.--d. si et seulement
si pour tout  > 0 il existe un entier N N tel que pour tout
n > N et m > N on a |xm xm | < .

2.3 critre de convergence de cauchy pour les sries

En appliquant ce critre la suite des sommes partielles de la srie

de terme gnral un nous avons

Thorme 2.3.1 (Critre de convergence de Cauchy pour les sries). La

srie de terme gnral un converge si et seulement si

> 0 N N t.q. n > N, p > 0 |un + un+1 + + un+p | < .

Dmonstration. Par dfinition la srie de terme gnral un converge

P
si (et seulement si) la suite des sommes partielles Sn = n i=0 xi con-
verge, et donc si et seulement si la suite des sommes partielles est une
suite de Cauchy :

> 0 N N t.q. n > N, m > N |Sm Sn | < . (2.2)

Un des deux rangs n et m dans la formule ci-dessus est plus grand

que lautre : disons m > n ; dans ce cas, on peut crire m = n + p, avec
p > 0 et
X
m X
n
Sm Sn = xi xi = xn+1 + xn+2 + + xn+p
i=0 i=0

Donc la (2.2) devient

> 0 N N t.q. n > N, p > 0 |xn+1 + xn+2 + + xn+p | < .

Quitte remplacer N par N + 1, on a dmontr lassertion du thorme.

Remarque 2.3.2. La Proposition 1.2.12 est aussi une consquence imm-

diate du Critre de convergence de Cauchy pour les sries

Comme application du critre de convergence de Cauchy dmon-

trons le thorme suivant
 2.4 exercices 17

P 1 P 1
Thorme 2.3.3. Pour s 6 1, la srie ns diverge. En particulier n
diverge.
P 1
Dmonstration. Si s 6 0 alors limn n1s 6= 0 et la srie ns diverge
par la proposition 1.2.12. Supposons alors 0 < s 6 1.
Soit k > 1 un entier. Considrons la sommes des termes un = ns
pour n de k + 1 2k. Observons que cette somme contient k termes
dont le plus petit est le dernier, u2k = (2k)s (la fonction x 7 xs est
dcroissante sur R+ ). On a alors

X
2k
ns > k(2k)s = 2s k1s > 2s . (2.3)
n=k+1
P
Par le critre de Cauchy, si 1
ns converge il existe un entier N N
tel que

1 1 1
| + ++ | < 2s
(n + 1)s (n + 2)s (n + p)s

pour tout n > N et p > 0.

P 1
Cela contredit lingalit (2.3). Donc la srie ns diverge.
P1
Notation. La srie divergente n est dite srie harmonique.

2.4 exercices
P
Le critre de convergence de Cauchy affirme que une srie un converge
si et seulement si pour tout > 0 il existe un entier N() tel que

|un + un+1 + + un+k | < , n > N(), p > 0

Utiliser ce critre pour rsoudre les exercices suivants.

P nk
Exercice 2.2. Montrer que pour tout naturel k la srie 3n converge. ce
but :
dmontrer que pour tout a > 1 la fonction x 7 xk /ax est majore sur
[0, [ par une constante qui ne dpend que de k et a ;
k
dmontrer que pour tout n N on a n 2 n
3n 6 C( 3 ) , o C est une constante
qui ne dpend que de k ;
P nk
estimer des sommes n+k n 3n .
P 
1

Exercice 2.3. Montrer que la srie log 1 + n diverge. ce but :
  
1 1
dmontrer que pour tout n > 0 on a log 1 + n > n+1 . Rappels : la
R1+a 
fonction log est concave et log (1 + a) = 1 dt/t .
P
utiliser lestimation faite en cours de la somme 2k p=k+1 1/p pour dmon-
P 
1

trer que la srie log 1 + n ne satisfait pas le critre de convergence
de Cauchy.

Exercice 2.4. tablir la nature de la srie

1 2 1 2 1
1 + + ++...
2 3 3 4 4
SRIES TERMES POSITIFS 3
3.1 convergence absolue, semi-convergence
P
Dfinition 3.1.1. On dit quune srie un est absolument convergente
P
si la srie |un | est convergente.

La convergence absolue est une proprit plus forte que la conver-

gence :

Thorme 3.1.2. Toute srie absolument convergente est convergente.

Dmonstration. La dmonstration est une simple application du cri-

P
tre de Cauchy. Soit un une srie absolument convergente. Puisque
P
la srie |un | converge, elle satisfait le critre de Cauchy : pour tout
> 0, il existe un entier N() satisfaisant

|un | + |un+1 | + . . . |un+p | 6 , p > 0, n > N(). (3.1)

Observons que, par lingalit de Minkowski, pour tout n, p > 0, on a

|un + un+1 + . . . un+p | 6 |un | + |un+1 | + . . . |un+p |. (3.2)

De (3.2) et (3.1), on obtient que, pour tout > 0, il existe un entier N()
tel que

|un + un+1 + . . . un+p | 6 p > 0, n > N().

P
Le condition de Cauchy est donc satisfaite pour la srie un et nous
pouvons conclure que cette srie converge.
P 1
Exemple 3.1.3. Puisque la srie n(n+1) converge (cf. Exemple 1.2.6),
la srie
X e2in
n(n + 1)

converge absolument quel que soit R. En particulier les sries

X cos(n) X sin(n)
et
n(n + 1) n(n + 1)
convergent pour tout R.
P
Exemple 3.1.4. La srie harmonique 1/n diverge (cf. Thorme 2.3.3).
P
Nous montrerons dans la suite que la srie (1)n+1 /n converge.
Cela nous donne un exemple dune srie convergente qui ne converge
pas absolument.
P P
Dfinition 3.1.5. Une srie convergente un telle que |un | diverge
est dite semi-convergente.
P
Pour dcider si une srie un est absolument convergente (et donc
P
convergente) il faut, par dfinition, tudier la nature de la srie |un | ;
celle-ci est une srie termes positifs. Pour cette raison nous nous
penchons maintenant vers ltude des sries termes positifs.

19
20 sries termes positifs

3.2 sries termes positifs

3.2.1 Particularit des sries termes positifs

Soit (un ) une suite de nombres rels positifs. Les sommes partielles

Sn = u1 + u2 + + un

forment alors une suite croissante (Sn ) ; ceci implique que lim Sn =
sup Sn . On obtient
P
Proposition 3.2.1. Une srie termes rels positifs un converge (absolu-
ment) si et seulement si les sommes partielles Sn de la srie sont majores et
P
dans ce cas la somme de la srie vaut n=0 un = sup Sn .

videmment pour une srie termes rels positifs, les notions de

convergence et de convergence absolue concident.

3.2.2 Le critre de lintgrale

Thorme 3.2.2 (Le critre de lintgrale (Maclaurin-Cauchy)). Soit f

une fonction relle positive et dcroissante sur [0, [.
P RT
La srie f(n) diverge ou converge selon que la limite L = limT 0 f(t) dt
diverge ou converge. Dans ce dernier cas, on a :

X
L6 f(n) 6 L + f(0) (3.3)
n=0

Remarque 3.2.3. Si f est strictement dcroissante les ingalits prc-

dentes sont strictes.

Dmonstration. Observons dabord que

ZT ZT
L = lim f(t) dt = supT f(t) dt
T 0 0
RT
et donc cette limite est finie ou infinie selon que les intgrales 0 f(t) dt
sont majores ou non.
Pour tout entier n, si t [n, n + 1] on a

f(n + 1) 6 f(t) 6 f(n)

et donc
Z n+1
f(n + 1) 6 f(t) dt 6 f(n).
n

En additionnant membre membre ces ingalits pour n = 0, 1, . . . , N

on obtient
X
N+1 Z N+1 X
N
f(n) 6 f(t) dt 6 f(n)
n=1 0 n=0
P
On voit alors que les sommes partielles N+1 n=1 f(n) sont majores si
RT
et seulement si les intgrales 0 f(t) dt sont majores. Dans ce cas, en
P
posant S = n=0 f(n), on a

S f(0) 6 L 6 S
 3.2 sries termes positifs 21

ou bien
L 6 S 6 L + f(0).

Exemple 3.2.4.

X 1
/4 < < /4 + 1/2
1 + n2
n=1
1
Dmonstration. On pose f(t) = 1+t 2 . La fonction f(t) est positive et
strictement dcroissante dans lintervalle [1, [. Puisque
ZT
dt y=T
lim = lim arctg(y)|y=1 = lim arctg(T ) /4
T 1 1 + t2 T T
= /2 /4 = /4.
on a

X 1
/4 6 6 /4 + f(1) = /4 + 1/2
1 + n2
n=1
(Remarquons que, dans cet exemple, le rang du premier terme est gal
1 ; pour cette raison, dans la formule 3.3, nous avons remplac le
terme f(0) par f(1)).

Applications du critre de l intgrale : la fonction zeta

P s
Nous avons vu que la srie n diverge, si s 6 1.
Nous allons donner une nouvelle preuve de cela et montrerons, en
P s
plus, que n converge, si s > 1.
P s
Thorme 3.2.5. La srie n converge si s > 1 et diverge si s 6 1.
P s
Dmonstration. Si s 6 0, la srie n diverge grossirement.
Dornavant soit s > 0 ; la fonction f(t) = ts est alors dcroissante
sur lintervalle t > 0 et

ZT 1 (T 1s 1) si s 6= 1 ;
ts dt = 1s
1
log T si s = 1.
RT
La limite limT + 1 ts dt tant finie si et seulement si s > 1, le
P
critre de lintgrale nous permet de dire que la srie ns converge,
si s > 1, et diverge, si s 6 1.
On peut, toutefois, dmontrer un rsultat plus fort du thorme pr-
cdent. Soit z un nombre complexe ; nous avons :
  
 1   
|n | =  z  = ez log n  = e(<z) log n = n<z ,
z 
n
P z
o <z dnote la partie relle de z. Donc la srie n converge abso-
lument si et seulement si le nombre complexe z satisfait <z > 1 ; ainsi
sa somme

X 1
(z) = (3.4)
nz
n=1
dfinit une fonction sur le domaine <z > 1 ; cette fonction dite
la fonction zeta de Riemann joue un rle important en thorie des
nombres en vertu de son troit lien avec la distribution des nombres
premiers.
22 sries termes positifs

3.2.3 Comparaison des sries termes positifs

Thorme 3.2.6 (Comparaison des sries termes positifs). Soient (un )

et (vn ) deux suites termes positifs : un > 0, vn > 0. Si on a un = O(vn ),
c--d, si, partir dun certain rang, on a
un 6 Cvn ,
pour une certaine constante C > 0, alors
X X
vn converge = un converge ;
donc
X X
un diverge = vn diverge.
Dmonstration. Rappelons que, pour une srie termes positifs, la
convergence de la srie est quivalente au fait que les sommes par-
tielles de la srie soient majores. On peut supposer, sans perte de
gnralit, que un 6 Cvn , pour tout n N.
videmment, la condition un 6 Cvn , pour tout n N, implique
que
X
N X
N
un 6 C vn , pour tout N N.
n=0 n=0
P P
Donc si les sommes partielles ( N v ) de la srie vn sont majo-
P n=0 n
res par M, celles de la srie un , sont majores par CM. Ceci d-
P P
montre que, si la srie vn converge, alors la la srie un converge
aussi.
Corollaire 3.2.7. Soient (un ) et (vn ) deux suites termes positifs : un > 0,
vn > 0. Si partir dun certain rang on a
C 1 vn 6 u n 6 C2 vn
P P
pour certaines constantes C1 , C2 > 0 alors les sries un et vn ont la
mme nature.
Corollaire 3.2.8. Soient (un ) et (vn ) deux suites termes strictement posi-
tifs : un > 0, vn > 0. Si
un
lim = C 6= 0
n vn
P P
les sries un et vn ont la mme nature.
Deux sries dont les termes gnraux satisfont les hypothses des
corollaires 3.2.7 et 3.2.8 sont dites comparables. Dans la notation de Lan-
dau, on crira un Cvn , avec C 6= 0.
P
Exemple 3.2.9. La srie log(1 + 1/n) diverge. En effet, il est facile
1 P 1
de voir que log(1 + 1/n) > 2n . Puisque la srie harmonique n
diverge, laffirmation dcoule du thorme de comparaison des sries.
P
Exemple 3.2.10. La srie log(1 + 1/nk ) converge pour tout k > 1. En
effet, il est facile de voir que log(1 + 1/nk ) < n1k . Puisque la srie
P s
n converge pour tout s > 1, laffirmation dcoule du thorme
de comparaison des sries.
P 2n2 +n
Exemple 3.2.11. La srie converge car elle est comparable
n7 +1
P 3/2 2n2 +n
.
la srie convergente n ; en effet : lim 7
n3/2 = 2
n +1
 3.3 exercices 23

3.3 exercices

Exercice 3.1. tablir la nature des sries

X log n X 1 X 1
, , .
n n log n n(log n)3

Exercice 3.2. tudier les sries de terme gnral

logn a
n2 +1
u n = e et vn = .
loga n

Exercice 3.3. Dans chaque cas, tudier la nature des sries de terme gnral un :

1 1
1. un = p 6. un = arctg
3
n +1 n2 + n + 1

1  2 
2. un = p
3
7. un = ln 1 +
n3 + 1 n(n + 3)

1 1 n
k N+

3. un = , 8. un = e 1 +
(log n)k n

1  
4. un = 9. un = 1 cos
(log n)n n
n 1 1
5. un = sin 10. un = n n n n+1
n2 + 1

Exercice 3.4. (a) Montrer que pour toute suite (xn )n>1 dentiers satisfaisant
P
0 6 xn 6 9, la srie n>1 xn 10n , converge vers un nombre rel y [0, 1].
(b) Montrer que pour tout nombre rel y [0, 1] il existe une suite (xn )n>1
P
dentiers satisfaisant 0 6 xn 6 9, telle que n>1 xn 10
n = y. Une telle suite

est dite le dveloppement decimale de y.

(c) Le dveloppement decimale illimit dun nombre rel y [0, 1] est dite
priodique sil a la forme

0, x1 x` z1 zp z1 zp z1 zp , (3.5)

c.--d. si, au but dun certain temps, le mmes chiffres se rptent indfini-
ment. Montrer que un nombre est rationnel si est seulement si son dvelop-
pement decimale est priodique et dterminer une fraction reprsentant le
nombre (3.5)
LES CRITRES DE CONVERGENCE ABSOLUE 4
Le thorme de comparaison 3.2.6 tudi au Chapitre 3 est dappli-
cation trs gnrale et varie ; dterminer une majoration prcise des
termes dune sries pour dmontrer, laide de ce thorme, sa conver-
gence absolue est un art qui, loccasion, peut savrer (tre ?) assez
subtil ; par contre, le comparaison dune srie une srie gomtrique
est un outil brut mais trs efficace ; cette comparaison est au coeur des
bien connus critres de la racine et du rapport prsents dans ce chapitre.
Pour les sries absolument convergentes, deux proprits de la som-
me dun nombre fini de termes, la commutativit et la distributivit
par rapport la multiplication, restent valables : on verra, au 4.3,
que, si on permute lordre des termes dune srie absolument conver-
gente, on ne change pas sa somme, et, au 4.4, que, si on multiplie
( la Cauchy) deux sries absolument convergentes, on obtient une s-
rie dont la somme est gale au produit des sommes de deux sries
donnes.

4.1 critre de la racine ou rgle de cauchy

Proposition 4.1.1 (Critre de la racine). Soit (un ) une suite.

(A) Sil existe un nombre r, avec 0 6 r < 1, tel que, partir dun certain
rang N, on a

|un |1/n 6 r, n > N,

P
alors la srie un est absolument convergente.
(B) Sil existe un nombre r > 1 et une sous-suite (uni ), pour laquelle,
partir dun certain rang N, on ait

|uni |1/ni > r, , i > N,

P
alors la srie un est grossirement divergente.
P n
Dmonstration. (A) Pour 0 6 r < 1, la srie gomtrique r con-
verge. Nos hypothses impliquent que |un | 6 rn , pour tout n suffi-
samment grand. Il suffit alors dappliquer le thorme de comparai-
son 3.2.6.
(B) Pour r > 1 nous avons limn rn = +. Lingalit |uni |1/ni > r
implique que |uni | > rni ; par consquent, on a limi |uni | = +. La
condition limn un = 0, ncessaire pour la convergence de la srie
P P
un , est donc viole, ce qui nous dit que la srie un est grossire-
ment divergente.

Thorme 4.1.2 (Rgle de Cauchy). Si la limite = lim |un |1/n existe,

alors
X
< 1 = la srie un est absolument convergente ;
X
> 1 = la srie un est divergente.

Remarque : Le cas = 1 ne permet aucune conclusion !

25
26 les critres de convergence absolue

Dmonstration. Supposons < 1 et choisissons un rel 0 avec <

0 < 1. Alors il existe un rang N tel que

|un |1/n < 0 , n > N.

P
En appliquant la Proposition 4.1.1, nous concluons que la srie un
est absolument convergente.
Si > 1, choisissons un rel 0 avec 1 < 0 < . partir dun certain
rang N on |un |1/n > 0 , ou bien |un | > ( 0 )n . Par la mme proposition
P
nous avons que la srie un diverge grossirement.
P
Exemple 4.1.3. Par le critre de la racine, la srie n>1 (log n)n con-
verge, car limn |(log n)n |1/n = limn (log n)1 = 0 < 1.
P
n2
Exemple 4.1.4. Par le critre de la racine, la srie n/(n + 1) con-
verge, car nous avons
1/n
n n2 
  n n  1 n
= e1 < 1.

lim 
 = lim = lim 1 +
n n+1  n n+1 n n

4.2 critre du rapport ou rgle de dalembert

Lemme 4.2.1 (Comparaison logarithmique). Soient (un ) et (vn ) deux

suites de nombres rels strictement positifs. Si, partir dun certain rang N,
on a
un+1 v
6 n+1 , n > N, (4.1)
un vn
alors il existe une constante C > 0 telle que

un 6 Cvn , n > N.

Dmonstration. En multipliant terme terme les ingalits (4.1), pour

n allant de N N + p 1, on a
uN+p u u uN+p
= N+1 N+2 . . .
uN uN uN+1 uN+p1
v v vN+p vN+p
6 N+1 N+2 . . . = ,
vN vN+1 vN+p1 vN

Donc, pour tout p > 0, on a uN+p 6 CvN+p , o C = uN /vN .

Thorme 4.2.2 (Critre du rapport ou Rgle de dAlembert). Soit (un )

une suite de nombres rels strictement positifs. Supposons que la limite
un+1
= lim
un
existe. Alors
X
< 1 = un est absolument convergente
X
> 1 = un est divergente

Dmonstration. Supposons < 1 et choisissons un rel 0 ] , 1[ .

Il existe un rang N tel que

un+1 ( 0 )n+1
< 0 = , n > N.
un ( 0 )n
 4.3 permutation des termes dune srie 27

Le lemme 4.2.1 implique alors quil existe une constante C > 0 telle
que 0 < un < C( 0 )n , pour tout n assez grand. Le Thorme 3.2.6
P
nous permet de conclure que la srie un converge, car la srie go-
P 0 n
mtrique ( ) converge.
Si > 1, choisissons un rel 0 ]1 , [ . A partir dun certain rang
N, on a

un+1 ( 0 )m+1
> 0 = , n > N.
un ( 0 )m

Le lemme 4.2.1 implique nouveau que, pour tout n assez grand, on a

Cun > ( 0 )n , o C est une constante strictement positive. On obtient
P
que lim un = +, car 0 > 1, et, par consquent, la srie un diverge
grossirement.
P
Exemple 4.2.3. La srie n!/nn se prte une application facile du
Critre du rapport. Si on pose un = n!/nn , on a un > 0 et

un+1 (n + 1)! nn (n + 1)nn nn

= = = e1 < 1.
un (n + 1) n+1 n! (n + 1) n+1 (n + 1)n
P n!
Par ce critre, la srie nn converge.

Remarque 4.2.4. Il est facile de voir que si un > 0 et la limite L =

lim un+1 /un existe, alors la limite lim |un |1/n existe elle aussi et est
gale L. Donc, toutes les fois o on peut appliquer le critre du rap-
port, on pourrait galement appliquer le critre de la racine. Nan-
moins, lexemple prcdent montre bien que, dans certains cas, un
critre peut tre dapplication un peu plus facile que lautre.

4.2.1 Les critres de la racine et du rapport ne sont pas toujours concluants

P
Que se passe-t-il quand, pour la srie un , on a lim |un |1/n = 1 ou
bien lim un+1 /un = 1 ? En effet dans ce cas, les rgles de la racine et
du rapport ne permettent pas de dterminer la nature de la srie.
P
Par exemple, nous savons que la srie harmonique 1/n diverge ;
si on pose un = 1/n, on a :
 1/n
1 u n
lim |un |
1/n
= lim   = 1, lim n+1 = lim =1
n un n+1
P
Par contre, la srie 1/n2 converge ; si on pose un = 1/n2 , on a, dans
ce cas,
 1/n
 1  un+1 n2
lim |un |
1/n
= lim  2  = 1, lim = lim =1
n un (n + 1)2

En somme, quand lim |un |1/n = 1 ou lim un+1 /un = 1, les rgles de
la racine et du rapport ne sont pas concluants. On devra alors utiliser
P
dautres outils afin dtablir la nature de la srie un .

4.3 permutation des termes dune srie

P
Thorme 4.3.1. Soient un une srie absolument convergente et S sa
P
somme. Alors pour toute permutation de N la srie u(n) est absolu-
ment convergente de somme S.
28 les critres de convergence absolue

P
Dmonstration. On fixe > 0. Puisque la srie un converge abso-
lument, le critre de Cauchy nous dit quil existe un entier N tel que

|un | + |un+1 | + + |un+p | < , si n > N et p > 0. (4.2)

Ceci implique que, pour tout N > N , on a

X
N X
N X
N
un 6 un 6 un +
n=0 n=0 n=0

et donc

X
N
S 6 un 6 S + . (4.3)
n=0

Soit N0 = max{([0, N ])} ; ce choix de N0 implique que, pour tout

N > N0 , nous avons ([0, N ]) [0, N], ou bien [0, N ] 1 ([0, N]).
On a alors

X
N X X
N X
u(n) = uj = uj + uj ,
n=0 j1 ([0,N]) j=0 jA

o A = 1 ([0, N]) \ [0, N ]. Remarquons que A est un ensemble fini

contenu dans lintervalle [N + 1, +[ ; donc il existe p > 1 tel que
A [N + 1, N + p]. Par lingalit de Minkowski et la (4.2), on obtient
que
  
X XN   X  NX
+p
 N
u(n) un  =  uj  6 |uj | < . (4.4)
   

  
n=0 n=0 jA  j=N +1

Finalement, en combinant les ingalits (4.3) et (4.4), on obtient que

X
 N 

u(n) S < 2, pour tout N > N0 ;
 

 
n=0
P
ceci dmontre que la srie u(n) converge et que sa somme est gale
S.
Pour dmontrer la convergence absolue de la srie il suffit dappli-
P
quer ce que nous venons de dmontrer la srie |un |.

4.4 produit de sries

P P
Dfinition 4.4.1. Soient un et vn deux sries. La srie de terme
gnrale
X
wn = u0 vn + u1 vn1 + + un1 v1 + un v0 = u i vj
i+j=n
P P
est dite la srie produit la Cauchy des sries un et vn .
P P
Thorme 4.4.2. Soient un et vn deux sries absolument convergentes
P
de somme, respectivement, S et T . La srie de terme gnrale wn , pro-
P P
duit la Cauchy des sries un et vn , est absolument convergente de
somme ST .
 4.4 produit de sries 29

P P
Dmonstration. Supposons que les termes des sries un et vn
soient positifs.
P PN PN
Posons UN = N n=0 un , VN = n=0 vn et WN = n=0 wn . Alors

X
N X
N X
UN VN = um vn = um vn
m=0 n=0 06m6N
06n6N

et
X
WN = u m vn ;
06m+n6N

donc

UN VN 6 W2N 6 U2N V2N .

Puisque limN UN VN = ST , par les thorme des gendarmes, on a

que limN W2N = ST . La suite (WN ) tant croissante, limN W2N =
P
sup WN = limN WN . Donc la srie wn converge et sa somme est
gale ST .
Considrons maintenant le cas gnral ; soient UN , VN et WN dfi-
nis comme auparavant et, ayant pos wn = |u0 vn | + |u1 vn1 | + +
P
|un1 v1 | + |un v0 |, soient UN , VN et WN dfinis par UN = Nn=0 |un |,
PN PN
VN = n=0 |vn | et WN = n=0 wn . Observons que

|UN VN WN | 6 UN VN WN ;

puisque limN UN VN = ST et limN (UN VN WN ) = 0 on a limN WN =

P
ST , ce qui montre que la somme de la srie wn est ST .

Exemple 4.4.3. Nous savons que, si |x| < 1, on a (1 x)1 = 1 + x +

P n
x2 + . . . Le carr, la Cauchy, de la srie x est la srie de terme
gnral

wn = x0 xn + x1 xn1 + x2 xn2 + + xn x0 = (n + 1)xn ;

on en dduit que, pour |x| < 1, on a

1
= 1 + 2x + 3x2 + + (n + 1)xn + . . . .
(1 x)2
Exemple 4.4.4 (La fonction exponentielle). Par le critre de dAlembert
P n
la srie z /n! converge absolument, pour tout z C ; on pose alors,

X zn
exp(z) = , z C.
n!
n=0

Nous allons montrer que cette fonction concide, sur laxe rel, avec
la fonction exponentielle t R 7 et ; pour cette raison elle est dite
la fonction exponentielle complexe et, dhabitude, sa valeur en z C est
note

exp(z) ou bien ez .
P n
Dmonstration. Le produit, la Cauchy, des sries exp(z1 ) = z1 /n!
P n
et exp(z2 ) = z2 /n! peut tre calcul laide de la bien connue for-
mule du binme
X
n X
n
n!
(a + b)n = Cin ai bni = ai bni .
i!(n i)!
i=0 i=0
30 les critres de convergence absolue

En effet, le terme gnral du produit la Cauchy des ces deux sries

est donn par

X zi z j 1 X i i ni (z1 + z2 )n
n
1 2
wn = = C n z1 z 2 =
i! j! n! n!
i+j=n i=0

o, dans la dernire galit on a utilis la formule du binme. Nous

voyons ainsi que le wn est le terme gnral de la srie exp(z1 + z2 ) ;
par le thorme sur le produit des sries, on obtient

exp(z1 ) exp(z2 ) = exp(z1 + z2 ).

Montrons que la fonction

exp : z C 7 exp(z)

est holomorphe et que exp 0 = exp. En effet, puisque exp(z + h) =

exp(z) exp(h), nous avons
 
exp(z + h) exp(z) exp(h) 1
exp(z) = exp(z) 1 ;
h h
or,
X hn1 X hn2
exp(h) 1
1 = 1 = h ;
h n! n!
1 2
P
quand |h| < 1, la somme 2 h
n2 /n! est borne, en module, par
P
C = 2 1/n! ; on peut alors conclure que
 
exp(h) 1
lim 1 = 0
h0 h

ce qui dmontre que

exp(z + h) exp(z)
lim = exp(z).
h0 h
En particulier nous avons obtenu que la fonction exp, restreinte laxe
rel, satisfait

exp(0) = 1, exp 0 (t) = exp(t), tR (4.5)

cela nous dit quelle concide avec la fonction t R 7 et , car cette

fonction est la seule fonction relle satisfaisant (4.5)

4.5 exercices

Exercice 4.1. Dans chaque cas, tudier la nature des sries de terme gnral
un :

n3 2n n!
1. un = 3. un =
n! nn

n2 +1 4n n!
2. un = e 4. un =
nn
 4.5 exercices 31

2 5 8 . . . (3n 1)  1 n3
5. un = 9. un = cos
1 5 9 . . . (4n 3) n

 n 2n1 nln n
6. un = 10. un =
3n 1 n!

 n + 3 n ln n
2n 1
7. un = 11. un =
( 2)n 2n + 1

2n 1
8. un = 3n
( 2)n 12. un =
3n + 1

Exercice 4.2. Dans chaque cas, dterminer les valeurs des paramtres r, , pour
lesquels sries de terme gnral un converge ou diverge.

n
1. un = nk r , r > 0, R 4. un = n sin(r/n) , r>0

rn 1
2. un = , r>0 5. un = , rR
nn n(log n)r

n
rn

nr
3. un = , r>0 6. un = , r>0
n! n+1
SRIES SEMI-CONVERGENTES 5
Dans les chapitres prcdents nous avons tudis des mthodes qui
permettent dtablir la convergence absolue des sries. Dans ce cha-
pitre nous introduisons quelques critres qui permettent de traiter les
sries semi-convergentes, cest dire ces sries convergent mais qui ne
convergent pas absolument.

5.1 sries alternes

P
Dfinition 5.1.1. On dit que la srie termes rels un est alterne si
ses termes successifs, un et un+1 , sont de signe oppos, cest--dire si,
pour tout n N, on a un un+1 6 0.
P
Quitte changer de signe aux termes dune srie alterne un , on
peut supposer que les termes dindice pair sont positifs et les termes
dindice impair sont ngatifs, ce qui revient dire que un = (1)n |un |.
P
Thorme 5.1.2 (Rgle de Leibniz). Soit un une srie alterne. Si la
suite des valeurs absolues |un | est une suite dcroissante vers zro la srie
P P P
un converge. Si S dnote la somme de la srie un et Sn = n i=0 ui
dnote sa somme partielle dordre n, on a

0 6 |S Sn | 6 |un+1 |.

ou, plus prcisment,

Sn 6 S 6 Sn+1 , si un+1 > 0,

Sn+1 6 S 6 Sn , si un+1 6 0.

Dmonstration. Supposons un = (1)n |un |. Par hypothse, |un+1 | 6

|un | et lim un = 0.
Observons quon a

S2n+1 = S2n + u2n+1 = S2n |u2n+1 | 6 S2n ;

donc les intervalles [S2n+1 , S2n ] sont non vides et de longueur qui
converge vers zro quand n tend vers linfini.
Dautre part, les sommes partielles dordre impair forment une suite
croissante, car

S2n+1 = S2n1 + u2n + u2n+1 = S2n1 + |u2n | |u2n+1 | > S2n1 ;

par le mme raisonnement les sommes partielles dordre pair forment

une suite dcroissante.
La suite dintervalles [S2n+1 , S2n ] est donc forme dintervalles non
vides, embots et de longueur convergeant vers zro. Ceci implique
que les limites lim S2n+1 et lim S2n existent et sont gales (cf. Cha-
pitre 3). De plus cette limite commune S est le seul nombre rel ap-
partenant tous ces intervalles. On a donc dmontr que la srie
P
(1)n |un | converge et sa somme S satisfait les encadrements

S2n+1 6 S 6 S2n .

Le cas gnral sobtient par changement de signe.

33
34 sries semi-convergentes

Remarque 5.1.3. Dans ce thorme, si, en plus, la suite (|un |) est stricte-
ment dcroissante, toutes les ingalits noncs par le thorme sont
strictes.

Le thorme de Leibniz ci-dessus nous permet de produire de nom-

breux exemples de sries semi-convergentes, (c..d. convergentes mais
absolument divergentes).
Exemple 5.1.4. La srie 1 31 + 15 71 + + (1)n 2n+1
1
+ . . . , converge
(on peut dmontrer que sa somme est /4). Elle est donc une srie
semi-convergente.

La srie harmonique alterne

Exemple 5.1.5. La srie

1 1 1 1 X (1)n+1
1 + + + (1)n + = ,
2 3 4 n+1 n
dite srie harmonique alterne, converge et sa somme est log 2.

Dmonstration. Cette srie converge car elle satisfait les hypothse

du Thorme 5.1.2. Montrons que sa somme est log 2.
P
Soit SN = N n=1 (1)
n+1 /n. Observons que

X
2N
(1)n+1 X
2N
1 X
2N
1
S2N = = 2 .
n n n
n=1 n=1 n=1,
n pair

En posant, dans la dernire somme, n = 2j, avec 1 6 j 6 N, on a

X
2N
1 X
N
1
2 =2
n 2j
n=1, j=1
n pair

et donc
X
2N
(1)n+1 X
2N
1 X1
N
1 1 1
= = + ++ .
n n j N+1 N+2 2N
n=1 n=1 j=1

Or, la suite
1 1 1 1
Tn = + + ++
n+1 n+2 n+2 2n
converge vers log 2. En effet, on a1
Z 2n+1 Z 2n
1 1
dx 6 Tn 6 dx,
n+1 x n x

ce qui implique
1 2n + 1 2n
log 2 + o(1/n) = log 6 Tn 6 log = ln 2.
2n n+1 n
On a alors dmontr que les sommes partielles de rang pair, S2n , con-
vergent vers log 2 ; puisque S2n+1 = S2n + 1/(2n + 1) = S2n + o(1/n),
les sommes partielles de rang impair, S2n+1 , convergent aussi vers
log 2 ; en conclusion lim Sn = log 2, ce qui termine la preuve.
1 Rviser la preuve du critre de lintgral.
 5.2 critres de dirichlet et dabel 35

5.2 critres de dirichlet et dabel

Thorme 5.2.1 (Critre de Dirichlet). Soit (an ) une suite positive et

P
dcroissante vers zro. Soit bn une sries dont la suite des sommes par-
tielles est borne. Alors, la srie
X
an bn

converge.
Pn
Dmonstration. Soit Bn = i=0 bi et posons B1 = 0, de faon
quon ait

bn = Bn Bn1 , pour tout n > 0;

par hypothse les sommes partielles Bn sont bornes : il existe un

nombre M > 0 tel que |Bn | 6 M pour tout n N. Or,
X X
an bn = an (Bn Bn1 ).

et
X
n X
n
ai b i = ai (Bi Bi1 ) =
i=0 i=0
a0 (B0 B1 ) + a1 (B1 B0 ) + a2 (B2 B1 ) +
+ an (Bn Bn1 ) =
(a0 a1 )B0 + (a1 a2 )B1 + . . .
+ (an1 an2 )Bn1 + an Bn

La srie de terme gnral (an an1 )Bn est absolument convergente

P
car la srie termes positifs (an1 an ) converge (srie tlesco-
pique) et |(an an1 )Bn | 6 M(an1 an ). De plus, lim an Bn = 0,
P
car la suite Bn est borne et lim an = 0. Donc limn ni=0 ai bi existe
et

X
X
ai bi = (an an1 )Bn .
i=0 n=0

Corollaire 5.2.2 (Critre dAbel). Soit (an ) une suite positive et dcrois-
P
sante vers une limite ` R. Si bn est une sries convergente la srie
P
an bn converge.

Dmonstration. La suite (an `) est une suite positive et dcroissante

P
vers zro. Les sommes partielles de la srie bn sont bornes car
cette srie est convergente. Du Critre de Dirichlet on obtient que la
P P
srie (an `)bn converge. Puisque la srie `bn converge, la srie
P P P
(an `)bn + `bn = an bn est convergente.
P
Exemple 5.2.3. Les sommes partielles des sries (divergentes) sin n
P
et cos n sont bornes pour tout R si 6= 0 mod 2 ; en effet si
ei 6= 1 on a

X
N
1 ei (N+1)
ei n =
1 ei
n=0
36 sries semi-convergentes

Donc
X X  X
 N N
  N 
 2
cos n + i sin n =  ei n  6 , N N.
   
 |1 ei |

  
n=0 n=0 n=0

Par le critre de Dirichlet pour toute suite (an ), positive dcroissante

P P
vers zro, les sries an sin n et an cos n sont convergentes pour
tout R \ 2Z.

5.3 exercices

Exercice 5.1. tudier la nature des sries suivantes, en prcisant pour les sries
convergentes si la convergence est absolue :

X X (1)n(n1)/2
(1)n n + 144
n
1. 6.
n+1

X n X n2 1
2. (1)n 7. (1)n 2
n + 144 n 4

X X
n (1)n
3. (1)n 8.
n + 144 n log (n)

X X
4. (1)n exp( n+144
1
) 9. (1)n cos( n)

X X  1 
5. (1)n (
2 arctg n) 10. (1)n exp p
n2 + 1

Exercice 5.2. tudier la nature des sries suivantes, en prcisant pour les sries
convergentes si la convergence est absolue :

X   2  n
 X n+1
1. (1)n n log 1 + 5. (1)n log
3n n

X (1)n X 1
2. 6. (1)n p
3n + (1)n n2 +1n

X (1)n X
3. 7. (1)n arcsin(1/n)
n + (1)n

X   X p
4. (1)n 1 cos(1/n) 8. sin( n2 + 1)

Exercice 5.3. (applications du critre dAbel-Dirichlet)

P
(1) Soit un une srie convergente de nombres complexes. Montrer que
P 1
la srie e n un converge.
(2) tudier les sries de terme gnral
  
cos n 1 4n 3
un = et vn = sin .
n n 6

Exercice 5.4. tudier la nature des sries suivantes, en fonction des diffrentes
valeurs des paramtres
 5.3 exercices 37

P cos(n)
X
1. (1)n2 +n+1
, R 6. e2i n x /n2 , xC
X
X ein 7. e2i n x /n, xC
2. , R
(sin )n2 + n + 2
X X (1)n
3. nn xn , x C 8. , xR
3x + n
X  2x + 3 n X (3x2 2)n
4. , xR 9. , xR
3x + 2 n log n
X X
5. (2x + 3)n /n, x C 10. arctg(nxn )/ n, xR
INTGRALES GNRALISES 6
Notation. Dans ce cours on dira quune fonction est R-intgrable ou tout
simplement intgrable si elle est intgrable au sens de Riemann. Lintgrale
de Riemann
Rb dune fonction f sur un Rintervalle dextrmits a < b est
b
not a f(x) dx ou, tout simplement, a f.
On pose R = R {+, }.

6.1 lintgrale gnralise

Exemple 6.1.1. Considrons la fonction f(x) = 1x dfinie sur linter-

valle ]0, 1]. Pour tout ]0, 1] la fonction f est continue (et donc R-
intgrable) sur [, 1] ; de plus
Z1
lim f(x) dx = 2.
0

R1 R1
Cela nous motive dfinir 0 f(x) dx = lim0 f(x) dx.

Dfinition 6.1.2. Soit f une fonction relle ou complexe dfinie sur

lintervalle ]a, b[, (a, b R) , et supposons que f nest pas R-intgrable
sur cet intervalle. Si f est R-intgrable sur chaque intervalle compact
[c, d] ]a, b[ et la limite
Zd
lim f(x) dx (6.1)
(c,d)(a,b) c

converge, on dira que la fonction f est R-intgrable au sens gnralis sur

lintervalle ]a, b[ et on posera
Zb Zd
f(x) dx = lim f(x) dx
a (c,d)(a,b) c

Rb
Le nombre a f(x) dx, qui, quelquefois, est aussi not tout simplement
Rb
a f, sera dit lintgrale gnralise de la fonction f sur lintervalle ]a, b[.

Remarque 6.1.3.
1. Dans la limite (6.2) ci-dessus on a videmment a < c < d < b.
Rd
Plus prcisment lim(c,d)(a,b) c f(x) dx = I si, pour tout  > 0
il existe a 0 > a et b 0 < b tels que pour tout c ]a, a 0 [ et tout
Rd
d ]b 0 , b[, on a |I c f(x) dx| < .
2. Quand la fonction f nest pas nest pas R-intgrable sur ]a, b[,
mais, quel que ce soit c ]a, b[, elle est R-intgrable sur linter-
valle [c, b[, il suffira, pour dterminer lintgrale gnralis de f
Rb Rb
sur ]a, b[, considrer la limite a f(x) dx = limca+ c f(x) dx.
Tel est le cas de lexemple 6.1.1. Une considration analogue vaut
si la fonction f est R-intgrable sur ]a, c], pour tout c ]a, b[.
3. Quand la limite (6.2) converge on dit aussi que lintgrale gnra-
lise de f sur lintervalle ]a, b[ converge.

39
40 intgrales gnralises

Nous soulignons que, pour quon puisse parler de lintgrale gnra-

Rb
lis a f dune fonction f, R-intgrable sur tout sous-intervalle compact
[c, d] ]a, b[, il faut quau moins une des deux conditions suivantes soit
ralise :
Lintervalle ]a, b[ est illimit.
La fonction f nest pas borne sur ]a, b[.
En effet on a :
Thorme 6.1.4. Soit f : I C une fonction dfinie sur un intervalle I. Si
lintervalle I est born ;
la fonction f est R-intgrable sur tout sous-intervalle compact J I ;
la fonction f est borne sur I ;
alors f est R-intgrable sur I.
Dmonstration. Soient a < b les extrmits de I, et soit
M = sup |f(x)|.
xI

On fixe  > 0. Soit > 0 un nombre satisfaisant 6 /6M et <

(b a)/2, et posons c = a + , d = b . (On a alors a < c < d < b).
Puisque f est R-intgrable sur lintervalle [c, d], il existe une subdivi-
sion c = x1 < x2 < < x` = d de cet intervalle telle que
X
!
(xi xi1 ) sup |f(x)| inf |f(x)| < /3.
xi1 6x6xi xi1 6x6xi
i=2
Le choix de implique que la subdivision a = x0 < x1 < x2 < <
x` < x`+1 = b de lintervalle ]a, b[ satisfait
X
`+1
!
(xi xi1 ) sup |f(x)| inf |f(x)| < .
xi1 6x6xi xi1 6x6xi
i=1

Donc la fonction f est R-intgrable sur ]a, b[.

Avis au lecteur : Dans le reste de ce chapitre, nous ne considrons que
des fonctions R-intgrables sur tout sous-intervalle compact de leur
domaine de dfinition. Pour cette raison cette condition sera, dornavant,
toujours sous-entendue. Elle est, comme il est bien connu, vrifie quand
on considre des fonctions continues ou monotones.
R
Exemple 6.1.5. Lintgrale gnralise 0 ex dx converge et est gale
1.

Dmonstration. La fonction x 7 ex est continue sur [0, [ et donc

R-intgrable sur tout intervalle born. Puisque
ZT
ex dx = 1 eT 1
0 T +

notre affirmation est dmontre.

R 1
Exemple 6.1.6. Lintgrale gnralise 1+x2 dx converge et est gale
.

2 est continue sur R et donc

1
Dmonstration. La fonction x 7 1+x
R-intgrable sur tout intervalle born. Nous avons :
Z
1
dx = arctg() arctg() .
1 + x2
+
 6.1 lintgrale gnralise 41

R/2
Exemple 6.1.7. Lintgrale gnralise /2
tg x dx diverge.

Dmonstration. On a
Z
tg x dx = log | cos x||
.

Puisque les limites
lim log | cos x| et lim log | cos x|
+
2 2

n existent pas, la limite

Z
lim tg x dx
+
2


2

nexiste non plus, ce qui dmontre que lintgrale gnralise consid-

re diverge.
Remarque 6.1.8. Lexemple ci-dessus montre que dans le calcul de la
limite
Z
lim f (6.2)
a+
b

il est important que et tendent vers a et b sparment. Pour la

convergence de lintgrale (6.2) il ne suffit pas quil existe des suites (n ),
(n ) convergentes vers a et vers b et telles que
Z n
lim f
n n
converge.
En effet, dans lexemple prcdent, si on pose = /2 + et =
/2 on obtient
Z Z /2
/2
tg x dx = tg x dx = log | cos x||/2+ = 0,
/2+

ce qui dmontre quil existe bien des suites (n ), (n ) convergentes

R
vers /2 et /2 pour lesquelles la limite limn nn tg x dx converge.
R/2
Pourtant nous avons vu que lintgrale /2 tg x dx diverge.

6.1.1 Proprits de lintgrale gnralise

Thorme 6.1.9 (Linarit de lintgrale gnralise). Si les intgrales

Rb Rb
gnralises a f(x) dx et a g(x) dx convergent alors, pour tout , C,
Rb
lintgrale gnralise a (f + g)(x) dx converge et on a
Zb Zb Zb
(f + g)(x) dx = f(x) dx + g(x) dx.
a a a
Dmonstration. Exercice.
Thorme 6.1.10 (Croissance lintgrale gnralise). Si les intgrales
Rb Rb
gnralises a f et a g convergent et f(x) 6 g(x), pour tout x ]a, b[, on a
Zb Zb
f(x) dx 6 g(x) dx.
a a
Dmonstration. Exercice.
42 intgrales gnralises

6.1.2 Exemples fondamentaux

Proposition 6.1.11. Lintgrale gnralise

Z
1
s
dx, sR
1 x

converge si et seulement si s > 1.

Dmonstration. Si s > 1 on a :
ZT
1 1  1s  1
s
dx = T 1 .
1 x 1 s T + s 1
La mme formule montre que quand s < 1 on a
ZT
1
lim dx = +.
T + 1 xs
Si s = 1, alors
ZT
1
dx = ln T +.
1 x T +

Proposition 6.1.12. Lintgrale gnralise

Z1
1
dx, sR
0 xs
converge si et seulement si s < 1.

Dmonstration. Encore une fois, si s < 1 on a

Z1
1 1  1s
 1
s
dx = 1 .
x 1s 0 + s1
On laisse au lecteur le soin de vrifier que si s 6 1 on lintgrale di-
verge.

Proposition 6.1.13. Pour tout a > 1 lintgrale gnralise

Z
1
s dx, sR
a x ln x
converge si et seulement si s > 1.

Dmonstration. Pour s 6= 1, une primitive de la fonction x 7 x ln1s x

est donne par la fonction x 7 1s 1
ln1s x et pour s = 1 une primitive
1
de la fonction x 7 x ln x est donne par la fonction x 7 ln ln x ; on
laisse au lecteur le soin de tirer le conclusions.

6.1.3 Le critre de convergence de Cauchy

Dornavant, pour simplifier la notation, nous ne considrerons que

des intgrales gnralises de fonctions dfinies sur des intervalles de
la forme [a, b[, < a < b 6 +. Les cas intressants sont donc
limits aux cas suivants :
b < et f non borne sur [a, b[ ;
ou bien b = +.
 6.1 lintgrale gnralise 43

Le lecteur gnralisera les noncs de ce cours aux cas dintervalles

de la forme ]a, b[, 6 a < b 6 +, ou ]a, b], 6 a < b < +.
R
Thorme 6.1.14 (Critre de Cauchy). Lintgrale gnralise a f(t) dt
dune fonction f : [a, [ C converge si et seulement si pour tout > 0 il
existe un M > 0 tel que
Z 
 d 
 f(t) dt <
 
 c 

pour tout c, d satisfaisant M < c < d < +.

La preuve du critre de Cauchy repose sur le thorme suivant :
Thorme 6.1.15. Soit F : E C C une fonction. Alors la limite

lim F(x)
xy

converge si et seulement si, pour toute suite (xn ) de points de E tendant

vers y, la limite limn F(xn ) converge.
Dmonstration. Cest un exercice facile montrer que si limxy F(x) =
c alors limn F(xn ) = c pour toute suite (xn ) E tendant vers y.
Supposons que la limite limn F(xn ) existe pour toute suite (xn ) de
E tendant vers y. Dans ce cas, la limite limn F(xn ) est la mme pour
toutes ces suites1 . Soit donc ` la limite limn F(xn ) quand (xn ) converge
vers y. Alors ` = limxy F(x) car, dans le cas contraire, il existe > 0
et, pour tout entier n, il existe un point xn E tel que |xn y| < 1/n
et |F(xn ) `| > . Cela nous donne une suite (xn ) convergente vers y
pour laquelle ` 6= limn F(xn ).

Dmonstration du critre de Cauchy. Si

ZT
lim f(t) dt = `,
T a

alors, pour tout > 0, il existe M R tel que, pour tout T > M
RT
on a | a f(t) dt `| < /2. Donc pour tout M < c < d < + on a
Rc Rd
| a f(t) dt `| < /2 et | a f(t) dt `| < /2 ce qui implique
Zd
| f(t) dt| < .
c

Cela dmontre la ncessit de la condition de Cauchy.

Montrons sa suffisance. Supposons que pour tout > 0 il existe un
M > 0 tel que
Z 
 d 
 f(t) dt <
 
 c 
Ry
pour tout M < c < d < +. Soit F la fonction F(y)R = a f(t) dt.
x
Soit (xn ) une suite avec lim xn = +. La suite yn = an f(t) dt est
alors une suite de Cauchy. Puisque C est une espace mtrique com-
plet, la suite (yn ) converge ; le thorme 6.1.15 nous dit alors que
limT + F(T ) converge.
0 ) convergentes vers y et
1 En effet si, par labsurde, on avait deux suites (xn ) et (xn
0
telles que limn F(xn ) 6= limn F(xn ), alors on pourrait produire la suite (zn ) dfinie
par z2n = xn , z2n+1 = xn 0 qui converge vers y et pour laquelle la limite lim F(z )
n n
nexiste pas.
44 intgrales gnralises

6.2 fonctions positives, convergence absolue de lint-

grale gnralise

6.2.1 Critres de convergence pour fonctions positives

Pour une fonction f positive sur un intervalle [a, b[, lexistence de la

R
limite lim b a f(t) dt est quivalente au fait que lensemble

Z  
f(t) dt  [a, b[

a

soit major. On a donc

Rb
Proposition 6.2.1. Si f > 0, lintgrale gnralise a f(t) dt converge si
Rd
est seulement si supa<c6d<b c f(t) dt < et dans ce cas on a
Zb Zd
f(t) dt = sup f(t) dt.
a a<c6d<b c

Rb
Notation. Si f > 0 et lintgrale gnralise a f(t) dt ne converge pas,
on posera :
Zb
f(t) dt = +.
a

Voila des consquences immdiates, mais importantes, de la propo-

sition prcdente :

Thorme 6.2.2. Soient f, g deux fonctions positives sur [a, b[. Supposons
que

f(x) 6 g(x), pour tout x [a, b[.

Rb Rb
Alors, si lintgrale a g(x) dx converge, lintgrale a f(x) dx converge aussi ;
Rb Rb
si lintgrale a f(x) dx diverge, lintgrale a g(x) dx diverge aussi.

Corollaire 6.2.3. Soient f, g deux fonctions positives sur [a, b[. Supposons
que la limite

f(x)
lim
b g(x)

existe et est non nulle. (Dans la notation de Landau f g, quand b ).

Rb Rb
Alors les intgrales gnralises a f et a g ont la mme nature.
R 1 ex
Exemple 6.2.4. Lintgrale gnralise 0 x
converge.

Dmonstration. Nous avons vu (cf. exemple 6.1.12) que lintgrale

R1
gnralise 0 1x converge. Or

ex

x
= ex 1
1 x0
x
R1 ex
et le corollaire prcdent nous permet de conclure que 0

x
converge.
6.2 fonctions positives, convergence absolue de lintgrale gnralise 45

6.2.2 Convergence absolue

Une notion plus forte que la convergence dune intgrale gnralise

est sa convergence absolue :
Rb
Dfinition 6.2.5. On dira que lintgrale gnralise a f(x) dx de f sur
lintervalle ]a, b[ est absolument convergente si lintgrale gnralise
Zb
|f(x)| dx
a

converge.

Les notions de convergence absolue et de convergence de lintgrale

gnralise concident quand la fonction intgrande est positive.
Rb
Thorme 6.2.6. La convergence absolue de lintgrale gnralise a f(x) dx
implique sa convergence. De plus
Z  Z
 b  b
 f(x) dx 6 |f(x)| dx. (6.3)
 
 a  a

Rb
Dmonstration. Par hypothse lintgrale a |f| converge ; par le cri-
tre de Cauchy, pour tout > 0, il existe un rel M > a tel que
Rd
si M < c < d < b on a c |f(x)| dx < . On en dduit quon a
Rd Rd
| c f(x) dx| 6 c |f(x)| dx < pour tout (c, d) satisfaisant M < c <
d < b. Encore par le critre de Cauchy nous obtenons que l intgrale
Rb
a f converge. Nous avons dmontr la premire affirmation.
Quant lingalit (6.3), on lobtient des ingalits
Z  Z
 
 f(x) dx 6 |f(x)| dx
 
 a  a

(vraies pour tout [a, b[) par passage limite quand tend vers
b.

Exemples de convergence absolue des intgrales gnralises

R 2
Exemple 6.2.7. Lintgrale gnralise 0 et dt converge (absolument
car la fonction intgrande est positive).
2
Dmonstration. En effet, pour t > 1, on a et 6 et ; nous avons
R
dj vu, (cf. exemple 6.1.5), que lintgrale gnralise 1 et dt con-
R 2
verge. Donc, par le Thorme 6.2.2, lintgrale gnralise 1 et dt
converge aussi.
R
Exemple 6.2.8. Lintgrale gnralise 1 ts dt converge absolument si
s C satisfait <s < 1.

Dmonstration. Puisque |ts | = t<s , il suffit dappliquer la proposi-

tion 6.1.11.

Exemple 6.2.9. Soient P et Q sont deux polynmes. Supposons que Q

ne
Rsannule pas dans l intervalle [a, +[. Alors lintgrale gnralise
a P(t)/Q(t) dt est
absolument convergente si deg Q > deg P + 2
divergente sinon.
46 intgrales gnralises

Dmonstration. Soit k = deg Q deg P ; on a alors P(t)/Q(t) tk

quand t +. Quitte changer le signe de P on peut supposer
R > 0, pour grandR
P(t)/Q(t) valeur de t. Par le Corollaire 6.2.3, les int-
grales a P(t)/Q(t) dt et a tk dt ont la mme nature. Par la Propo-
sition 6.1.11, lintgrale considre converge si et seulement si k > 1,
cest--dire si deg Q > deg P + 2.

Exemple 6.2.10.
1. Lintgrale
Z
1

dt
a t log (t)

converge au voisinage de + si et seulement si

> 1, ou
= 1 et > 1
2. Lintgrale
Za
1
0 t log (t)
converge au voisinage de zro si et seulement si si et seulement
si
< 1, ou
= 1 et > 1
1
Dmonstration. (1) Puisque pour tout > 0 on limt + =
t log (t)
0 pour tout R, si > 1 on peut crire
1 1 1
=
t log (t) t t log (t)
1
En choisissant < 1, on voit que la fonction est domine
t log (t)
1
au voisinage de + par la fonction t dont lintgrale converge au
voisinage de + car > 1.

Quand < 1, on rappellera que limt + t = + pour tout
log (t)
> 0. En crivant
1 1 t
=
t log (t) t+ log (t)
1 1
on saperoit que > t+ au voisinage de +, ce qui im-
t log (t)
plique la divergence de lintgrale en question. Le cas = 1 a t trait
dans lexemple 6.1.13.
(2) Exercice.

Exemple 6.2.11. Soient f et g deux fonctions continues sur lintervalle

[a, b]. Supposons que g sannule en un seul point x0 et que g 0 (x0 ) 6= 0.
Rb
(a) Alors lintgrale gnralise a f(t)/|g(t)| dt converge si < 1.
Rb
(b) Si, en plus, f(x0 ) 6= 0, lintgrale gnralise a f(t)/g(t) dt di-
verge.

Dmonstration. Au voisinage de x0 la fonction g est comparable la

fonction t 7 g 0 (x0 )(t x0 ) ; donc la fonction f(t)/|g(t)| est domine
au voisinage de x0 par la fonction
f(x0 )
t 7
|g 0 (x0 )| |t x0 |
6.3 changement de variables dans les intgrales gnralises 47

dont lintgrale gnralise converge absolument au voisinage de x0 .

Ceci dmontre (a).
Si f(x0 ) 6= 0 alors la fonction f(t)/g(t) est comparable au voisinage
de x0 la fonction
1
t 7
(t x0 )
dont lintgrale gnralise diverge au voisinage de x0 .

6.3 changement de variables dans les intgrales gn-

ralises

La formule classique de changement de variables dans un intgrale

sapplique aussi aux intgrales gnralises :
Thorme 6.3.1. Soir : ]a, b[ ], [ (a, b, , R) une application
bijective de classe C1 . Si f est une fonction sur ], [ , (R-intgrable sur
tout sous-intervalle compact de ]a, b[), alors la fonction (f ) 0 est aussi
R-intgrable sur tout sous-intervalle compact de ]a, b[. Les intgrales gn-
R Rb
ralises f et a (f ) 0 ont la mme nature et si elles convergent on
a
Z Zb
f = (f ) 0 .
a
R log t
Exemple 6.3.2. On a 0 1+t2 dt = 0.

Dmonstration. Lapplication u 7 t = 1/u est un diffomorphisme

de classe C1 de lintervalle ]1, +[ sur lintervalle ]0, 1[. Donc
Z1 Z1
log t log(1/u) du
2
dt = 2 ) (u2 )
0 1 + t + 1 + (1/u
Z1 Z +
log u log u
= 2
du = du.
+ 1 + u 1 1 + u2

R1 1
Exemple 6.3.3. On a 1
dt = .
1t2

Dmonstration. Lapplication 7 t = sin est un diffomorphisme

de classe C1 de lintervalle ] /2, /2[ sur lintervalle ] 1, 1[. Donc
Z1 Z /2 Z /2
1 1
dt = p (cos ) d = d = .
1 1 t2 /2 1 sin2 /2

(Pour la dernire galit, observez que le cosinus est positif sur linter-
valle ] /2, /2[).
Cet exemple montre que aprs un changement de variables une in-
tgrale gnralise peut se transformer en une simple intgrale de Rie-
mann ! (Le vice-versa est aussi possible).

6.4 intgration par parties

Thorme 6.4.1. Soient f et g deux fonctions relles ou complexes de classe

C1 sur lintervalle ]a, b[. Supposons que les limites

L = lim f(t)g(t), et M = lim f(t)g(t)

ta+ tb
48 intgrales gnralises

Rb Rb
existent (finies). Alors les intgrales a f(t)g 0 (t) dt et a f 0 (t)g(t) dt ont la
mme nature ; quand elles convergent on a
Zb Zb
f(t)g 0 (t) dt = (M L) f 0 (t)g(t) dt.
a a

Exemple 6.4.2. On a
Z
tn et dt = n! n N.
0

Dmonstration. Pour n = 0, cest le calcul de lexemple 6.1.5. Pour

n > 0, on a
Z Z
n t d
In = t e dt = tn (et ) dt
0 0 dt

et puisque limt0 tn et = 0n e0 = 0 et limt+ tn et = 0 on a

Z
d
In = tn (et ) dt
0 dt
Z Z
d n t
= ( t )(e ) dt = n tn1 et dt = n In1 .
0 dt 0

Cela montre que In = n! .

6.5 semi-convergence et rgle dabel

Exemple 6.5.1. tudions, par intgration par parties, la convergence de

lintgrale
Z
sin t
dt.
0 t
Nous avons
Z Z Z
sin t 1 d cos t
dt = ( cos t) dt = 2
dt
/2 t /2 t dt /2 t

PuisqueRcette dernire intgrale est absolument Rconvergente, lint-

grale /2 sint t dt converge (et donc lintgrale 0 sint t dt converge
aussi).

Ce fait se gnralise au thorme suivant :

Thorme 6.5.2. Soit f(t) une fonction positive et dcroissante vers zro sur
[a, +[. Soit g une fonction continue admettant une primitive borne sur
[a, +[. Alors lintgrale gnralise
Z +
f(t)g(t) dt
a
converge.
Dmonstration. (Nous supposons f de classe C1 ). Soit G 0 = g avec G
borne par M > 0 sur [a, +[. Alors

lim f(t)G(t) = f(a+ )G(a), lim f(t)G(t) = 0

ta+ t+

do
Z + Z +
+
f(t)g(t) dt = f(a )G(a) + (f 0 (t))G(t) dt
a a
 6.6 analogie entre les sries et les intgrales gnralises 49

Puisque (f 0 ) > 0. (car f est dcroissante), et |G| < M, la fonction

| f 0 (t)G(t)| est domine par la fonction
R+ positive M(f 0 (t)) dont lin-
tgrale converge. Donc lintgrale a (f 0 (t))G(t) dt est absolument
convergente.

Dfinition 6.5.3. Soit f :]a, b[ C une fonction telle que lintgrale

Rb Rb
a f(t) dt converge mais a |f(t)| dt = +. On dira alors que lint-
Rb
grale gnralise a f(t) dt est semi-convergente.
R
Exemple 6.5.4. Lintgrale 0 sint t dt est semi-convergente.

Dmonstration. En vertu de lexemple 6.5.1, il suffit de dmontrer

R | sin t|
que 0 t dt = +. Or
Z (k+1) Z (k+1)
| sin t| 1 2
dt > | sin t| dt =
k t (k + 1) k (k + 1)

Donc on a
Z N X
N
| sin t| 2
dt >
0 t n
n=1

et la divergence de la srie harmonique prouve notre affirmation.

6.6 analogie entre les sries et les intgrales gnrali-

ses

Comme nous lavons vu dans le dernier exemple, la connaissance

de la nature dune srie peut nous permettre de dterminer la nature
dune intgrale gnralise et vice-versa.
R+
Thorme 6.6.1. Lintgrale gnralise a f(t) dt converge si et seule-
P Rx
ment si pour toute suite (xn ) tendant vers + la srie n xnn+1 f converge.
R+
Dmonstration. En effet lintgrale gnralise a f(t) dt converge
si et seulement si pour toute suite (xn ) tendant vers + la suite yn =
R xn
a f converge.
P Rx
Mais la suite yn est la suite des sommes partielles de
la srie n xnn+1 f(t) dt (on a pos x0 = a).
R+
Thorme 6.6.2. Lintgrale gnralise a f(t) dt converge absolument
si et seulement sil existe une suite (xRn ) croissante et tendant vers + pour
P x
laquelle la srie termes positifs n xnn+1 |f(t)| dt converge.

Dmonstration. Exercice.

6.7 remarques finales

P
On a vu quune condition ncessaire pour quune srie un con-
verge est que son terme gnrale un tend vers zro quand n tend
vers linfini. Il ny a pas une condition analogue pour les intgrales
gnralises des fonctions. La raison de cela est que des oscillations
rapides de la fonction intgrande peuvent compenser la croissance de
la fonction. Voila deux exemples.
R
Exemple 6.7.1. Lintgrale 0 sin t2 dt converge (en dpit du fait que
limt+ sin t2 6= 0).
50 intgrales gnralises

Dmonstration. 2
R sin uLe changement de variable u = t nous ramne
lintgrale 0 2u du qui converge par la rgle dAbel.
R
Exemple 6.7.2. Lintgrale 0 t sin t3 dt converge (en dpit du fait que
la fonction t t sin t2 nest pas borne linfini).

Dmonstration. 3
R sin uLe changement de variable u = t nous ramne
lintgrale 0 3
3 u du qui converge par la rgle dAbel.

6.8 exercices

Exercice 6.1. Donner la dfinition de fonction intgrable au sens de Riemann.

Montrer que la fonction f : [0, 1] R dfinie par

1 si x Q
f(x) =

0 si x 6 Q

nest pas intgrable au sens de Riemann sur lintervalle [0, 1].

Exercice 6.2. Dans chacune des cas intgrales indiques ci-dessous, prciser sil
sagit dune intgrale gnralise ou dune intgrale de Riemann ; pour les in-
tgrales gnralises tudier la convergence, divergence, convergence absolue.

Z1 Z1
sin x 1
1. dx 6. dx
0 x 0 log x

Z1 Z +
x ex
2. p dx 7. dx
0 x3 + 1 0 x

Z + Z +
x ex
3. dx 8. dx
cos x
p
0 x3 + 1 0
Z /2 Z1
1 log x
4. dx 9. dx
0 sin x 1x
0
Z +
Z +
5. sin x dx x2
10. dx
ex + ex

Exercice 6.3. Montrer que si P et Q sont deux polynmes premiers entre eux
lintgrale gnralis
Z +
P(x)
dx
Q(x)

converge si et seulement Q na pas de racines relles et deg Q > deg P + 2.

Exercice 6.4. tudier la convergence, divergence, convergence absolue des int-

grales gnralises suivantes.

Z Z +
cos(x)
1. arcsin(1/x) dx 4. p dx
1 0 x2 + 1
Z  2 Z /2
1
2. arcsin(1/x) dx 5. dx
1 0 tg x

Z + Z +
cos(x) 1
3. dx 6. dx, , R
x log x
p
0 x3 + 1 2
 6.8 exercices 51

Z + Z 1/2
7. x ex dx R 8. x log x dx, , R
0 0

Exercice 6.5. La courbe du plan dquation

Z t Zt 
2 2
(t) = cos t dt, sin t dt , t>0
0 0

est dite la spirale ce Cornu, ou clotode (ou encore spirale de Fresnel). Montrer
que la courbe est de vitesse constante en norme et que son acclration
croit linairement avec le paramtre t (pour cette raison elle est utilis dans
les tracs des rseaux ferroviaires). Montrer que cette courbe converge vers un
point () = limt (t).
EXERCICES DE RCAPITULATION 7
7.1 exercices sur les sries

Exercice 7.1. tudier la nature des sries termes positifs un

1
n3
1. un = log(n) sin 1/n 5. un = >0
n n + n2

  1
2. un = n1/n 1 , R 6. un =
ln 2 + + ln2 n
2

ln2 2 + + ln2 n
3. un = xn , x > 0, R 7. un = , R
n

 1 n  1 n
4. un = e 1 + 8. un = 1
n n
P
Exercice 7.2. Montrer que i=1 (1)
i+1 (i + 1)/i(i + 2) = ln 2 1/4. (D-

composer la fraction rationnelle en lments simples).

Exercice 7.3. Montrer que pour calculer une valeur approche de e =

exp(1) avec une prcision de 10n , il suffit calculer une valeur ap-
proche de e1 = exp(1) avec une erreur infrieure 10n1 (on
supposera quon sache que 2 6 e 6 3). Au moyen de quelle srie peut
on calculer exp(1) ? Combien de termes de cette srie faut il sommer
pour quon puisse affirmer que la somme partielle ainsi obtenu soit
une valeur approche de e1 = exp(1) avec une erreur infrieure
10n1 ?

Exercice 7.4. En utilisant (a) les formules dEuler sin x = (eix eix )/2i
et cos x = (eix + eix )/2, et (b) la srie qui calcule exp(z), z C, mon-
trer que, pour tout x R,

X
X
x2n+1 x2n
sin x = (1)n+1 et cos x = (1)n .
(2n + 1)! (2n)!
0 0

Dterminer des valeurs approches de sin(0, 1) et cos(0, 1) avec une

prcision de 108 .

Exercice 7.5.
1. (Critre de condensation de Cauchy) Soit (an ) une suite dcrois-
P
sante de nombres positifs. Montrer que la srie an converge
P k
si et seulement si la srie 2 a2k converge. (Encadrer la somme
P
2k 6n<2k+1 un ).
2. En utilisant le critre de condensation de Cauchy, discuter la
P 1
convergence de la srie de Riemann n , > 0.

Exercice 7.6. Soit f une application injective de N dans N . Montrer

f(n)
que la srie de terme gnral an = n2 diverge.

53
54 exercices de rcapitulation

(Rviser le critre de Cauchy et la preuve du critre de lintgrale. Le principe

de tiroirs dit que si on place n + 1 paires de chaussettes dans n tiroirs il y
a forcement un tiroir qui contient au moins deux paires de chaussettes. Lap-
plication f est injective : au plus, combien dentiers appartenant lintervalle
[2j, 4j] ont leurs images dans lintervalle [1, j] ? Ces entiers sont les mau-
vais entiers . Comment peut on minorer f(n) quand n est un bon entier ?
P f(n)
Comment peut on minorer 4j n=2j n2 ?

Exercice 7.7. Soit (an ) une suite dcroissante de rels positifs. Montrer
P
que si la srie an est convergente alors limn nan = 0.
P
(Rviser le critre de Cauchy et minorer n/2<i6n ai )

Exercice 7.8 (sries de Bertrand). Discuter suivant les paramtres > 0

et > 0 la convergence des sries de terme gnral :

1 1
a) b) .
n (ln n) n ln n [ln(ln n)]

(Les sries son termes positifs ? Quel type de test pourrait-on appliquer ? la
convergence sera-t-elle absolue ?)

Exercice 7.9. (a) Montrer que la suite

1 1 1 1
Tn = + + ++
n n+1 n+2 2n
tend vers log 2. (Suggestion : Rviser la preuve du test intgral)
(b) Gnraliser le rsultat prcdent : montrer que

X
qN
1
lim = log(q/p)
N n
n=pN

Exercice 7.10. Le but de cet exercice est de montrer une variante plus
fine du critre de dAlembert qui nous permet dtablir la nature dune
u
srie termes positifs quand lim un+1 n
= 1. On dmontrera que une
srie termes positifs satisfaisant
un+1
6 1 + o(1/n) (7.1)
un n
avec > 1 converge. A ce but :
Montrer que, si on pose vn = ns (s > 0), on a

vn+1 s s(s 1)
6 1 + + o(1/n2 )
vn n + 1 2(n + 1)2
P
Si un satisfait (7.1) avec > 1 montrer que la srie un converge
P s
en la comparant une srie convergente n .
Si un satisfait (7.1) avec < 1 en dduire la divergence de la srie
P P s
un en la comparant une srie convergente n .
(Prparation : Rviser la preuve du critre de dAlembert et lnonce sur la
comparaison logarithmique.)
P
Exercice 7.11. Montrer que si un est une srie termes positifs et

vn = frac1n(un+1 + (un+2 + + u2n )

P P
alors la srie vn la mme nature de la srie un .
 7.2 exercices sur les intgrales gnralises 55

P P
Exercice 7.12. Soient n>1 un et n>1 vn sont deux sries abso-
lument convergentes ; on dfinit
X
wn = u i vj
ij=n
P
Dmontrer que la srie n>1 wn est absolument convergente et

X
X
X
wn = un vn
n>1 n>1 n>1

(Suggestion : Rviser et adapter la preuve du thorme sur le produit

la Cauchy de deux sries absolument convergentes)
Montrer que si <s > 1
X d(n)
(s)2 =
ns
n>1

o d(n) dsigne le nombre de diviseurs de lentier n.

Rn+1
Exercice 7.13. Soit un = 1/n pour n = 1, 3, 5, . . . et un = n (dt/t)
pour n = 2, 4, 6, . . . .
Montrer que la suite un est dcroissante.
P
tudier la convergence de la srie (1)n un et en dduire que
la limite
 
1 1 1
lim 1 + + + + log n =
n 2 3 n
existe et que

1 log 2 < < 1.

Le nombre est dit la constante dEuler.

Exercice 7.14. On considre la srie suivante

1 1 1 1 1 1 1 1
1+ + + + + +...
3 2 5 7 4 9 11 6
obtenu par changement de lordre des termes de la srie harmonique
alterne ( deux termes positifs sont suivis par un terme ngatif). Uti-
liser le rsultat de lexercice 11 pour montrer cette srie converge
3
2 log 2.
(Suggestion : soit un le terme gnral de la srie ; combien de termes positifs il
P
y a dans la somme partielle 3N1 un ? combien de termes ngatifs ? Comment
peut on rcrire la somme des termes positifs ? et celle des termes ngatifs ?
Comparer cet exercice avec le thorme sur le changement dordre des sries
absolument convergentes.)

7.2 exercices sur les intgrales gnralises

Exercice 7.15. tudier la convergence des intgrales suivantes.

Z Z Z
1 sin(x) cos x

dx,
dx,
dx,
0 x (1 + x ) 0 x (1 + x ) 0 x (1 + x )

o et sont deux nombres rels.

56 exercices de rcapitulation

Exercice 7.16. tudier la convergence des intgrales suivantes.

Z Z
sin2 (x) sin x
dx, dx, R.
0 x 0 x

Exercice 7.17. Dterminer un entier n tel que la somme partielle dordre

P
n de la srie (1)n (/2 arctg n) soit une valeur approche 10k
prs de la somme de la srie.

Exercice 7.18. Calculer les intgrales

Z Z Z
1 1 x
dx, 2 2
dx, dx.
0 (1 + x) x 0 (1 + x ) 0 (1 + x)3

Exercice 7.19. Calculer les intgrales

Zb Zb
1 x
p dx, p dx
a (x a)(b x) a (x a)(b x)

(Rponses : et (a + b)/2).

Exercice 7.20. Montrer que

Z1
dx 1
= .
0 2
(1 + x) x 1 3

Exercice 7.21. Montrer que

Z1  
dx 1 1
p = .
0 (1 + x)(2 + x) x(1 x) 2 6
 RAPPELS SUR LES FONCTIONS DIFFRENTIABLES A
a.1 la notation de landau

Soient f(x) et g(x) deux fonctions dfinies pour les valeurs assez
grandes de x, avec x variable relle ou entire (elle serait alors plus
souvent note n).
On va dfinir quelques notations utiles pour comparer les compor-
tements de f(x) et g(x) pour les grandes valeurs de la variable x.
Dans les cas pratiques, la fonction g(x) sera souvent gale, par exem-
ple, des expressions comme x ou (log x) , etc. . ., et aura une limite
finie ou infinie lorsque x . Elle sera souvent soit croissante soit
dcroissante.
On crira

f(x) = O(g(x)), pour x , (A.1)

ou encore f(x) = Ox+ (g(x)), sil existe une constante positive C et

un nombre x0 tels que

|f(x)| 6 C|g(x)|, pour tout x > x0 .

Dans la notation f = O(g) cest la lettre O et non pas le chiffre 0, et on

lit : f est (un) grand O de g .
Le notations petit o et lquivalence asymptotique que nous al-
lons dfinir ci-dessous sexpriment plus commodment sous lhypo-
thse que la fonction g(x) ne sannule pas pour les valeurs assez grandes
de x. Dornavant nous ferons cette assomption1 .
On utilisera un petit o

f(x) = o(g(x)), quand x +, (A.2)

ou encore f(x) = ox+ (g(x)), pour dire que lon a la limite suivante :

f(x)
lim = 0.
x+ g(x)

Un autre type de relation est lquivalence asymptotique2 :

f(x) g(x), quand x ; (A.3)

elle signifie que

f(x)
lim = 1. (A.4)
x+ g(x)

Il rsulte de la condition (A.4) que, tout comme la fonction g(x),

la fonction f(x) est non nulle pour x suffisamment grand (exercice
facile !) ; par consquent, f g implique que g f.
Comme le nom le suggre, lquivalence asymptotique est une rela-
tion dquivalence sur lensemble des fonctions qui ne sannulent pas
pour les grand valeurs de la variable (exercice).
1 Lexercice A.8 montre comment on peut saffranchir de cette contrainte.
2 Des notations quivalentes sont : f(x) x+ g(x), voire f(x) + g(x).

57
58 rappels sur les fonctions diffrentiables

On a des notions et notations analogues pour comparer le compor-

tement des fonctions f et g dfinies dans un voisinage point3 dun
nombre rel x0 . On crira4

f(x) = O(g(x)), lorsque x tend vers x0 ,

sil existe une constante positive C et un certain voisinage de x0 tel que

|f(x)| 6 C|g(x)|

pour tout x dans ce voisinage. On crira5

f(x) = o(g(x)), ou f(x) g(x), quand x tend vers x0 ,

si, respectivement,

f(x) f(x)
lim =0 ou lim = 1;
xx0 g(x) xx0 g(x)
pour cela, on supposera que la fonction g ne sannule pas dans un voi-
sinage point de x0 , ce qui revient dire que la fonction g ne sannule
pas prs de x0 sauf, ventuellement, en x0 . On laisse au lecteur le soin
de gnraliser ces notions au cas les fonctions f et g ne sont dfinies
que droite ou gauche de x0 .
Pour terminer observons que les expressions O(g(x)) , o(g(x)) etc.
sont souvent utiliss dans des galits du type f(x) = h(x) + O(g(x))
ou bien f(x) = h(x) + o(g(x)) ; par cela on entend que

f(x) h(x) = O(g(x)), f(x) h(x) = o(g(x)).

Exemple A.1.1. Dhabitude le signe 1 dans les expressions O(1), o(1) et

1 dnote la fonction identiquement gale 1. Une application imm-
diate des dfinitions nous dit que, lorsque x , les expressions
1. f(x) = O(1),
2. f(x) = o(1),
3. f(x) 1
signifient, respectivement : que f est borne sur un intervalle [x0 , [ ;
que f converge vers zro quand x ; et que f converge vers 1 quand
x .

Remarque A.1.2. Une autre application immdiate des dfinitions nous

dit que, lorsque x + ou x 0,

f(x) = O(x ) = x f(x) = O(x+ )

et

g(x) = o(x ) = x g(x) = o(x+ ).

Remarque A.1.3. De la dfinition de limite on a que si f(x) = o(g(x)),

pour x x0 alors il existe in voisinage point de x0 tel que |f(x)| 6
|g(x)| pour tout x dans ce voisinage. Donc

f(x) = o(g(x)) = f(x) = O(g(x)).

3 Un voisinage point de x0 est un ensemble U tel que, pour un certain > 0 on a
]x0 , x0 + [\{x0 } U.
4 Notation quivalente : f(x) = Oxx0 (g(x)).
5 Notations quivalentes : f(x) = oxx0 (g(x)) et f(x) xx0 g(x).
 A.1 la notation de landau 59

Exemple A.1.4. Soit f une fonction rationnelle, c.--d. le quotient de

deux polynmes :

am xm + am1 xm1 + + a1 x + a0
f(x) = .
bn xn + bn1 xn1 + + b1 x + b0

Alors,
am mn
f(x) x , quand x . (A.5)
bn
En effet on peut crire

am + am1 x1 + + a1 xm+1 + a0 xm
f(x) = xmn
bn + bn1 x1 + + b1 xn+1 + b0 xn

et quand x la fraction ci-dessus converge vers am /bn . La for-

mule (A.5) implique que, pour tout > m n,

f(x) = o(x ), quand x .

Exemple A.1.5. Si f(x) = O(xn+1 ) lorsque x 0, alors f(x) = o(xn ).

Exemple A.1.6. Il est utile dcrire des limites bien connues en utilisant
les notations de Landau. Les limites
sin(x) tg(x) 1 cos(x) 1
lim = 1, lim = 1, lim =
x0 x x0 x x0 x2 2
peuvent se rcrire

x2
sin x x, tg x x, cos x = 1 + o(x2 ).
2
En effet les dveloppement limits nous donnent, en ce dernier cas, un
rsultat bien meilleur :
x2
cos x = 1 + O(x4 )
2
Puisque limx1 log(x)/(x 1) = 1, on a aussi

log x x 1, quand x 1.

Par contre, pour tout > 0 on a

log x = o(x ), quand x +

et

log x = o(x ), quand x 0.

Le fait que, pour tout n > 0, on a limx+ xn ex = 0 nous dit que

xn = o(ex ), pour x + et n > 0.

Finalement, puisque limx0+ x log x = 0, si > 0, on a aussi

log x = o(x ), pour x 0+ et > 0.

Exercice A.1. Montrer que f = O(g) si et seulement sil existe une fonc-
tion h telle que f = gh et h = O(1). Montrer que f = o(g) si et seule-
ment sil existe une fonction h telle que f = gh et h = o(1).
60 rappels sur les fonctions diffrentiables

Exercice A.2. Vrifier que

x2 1 x 1
= + o(1), quand x ;
2x + 1 2 4
en dduire que la droite dquation y = x/2 1/4 est une asymptote
du graphe de la fonction f(x) = (x2 1)/(2x + 1).

Exercice A.3. Vrifier que la suite an = 1/(n2 1) satisfait

 
1 1
an = 2 + O , quand n .
n n4

Exercice A.4. laide dune calculette, calculer une valeur approche

de lerreur commise en remplaant sin(0,01), tg(0,01) et cos(0,01) res-
pectivement par 0,01, 0,01 et 1.

Exercice A.5. Vrifier que si, pour une certaine constante L, on a f(x)
Lg(x) lorsque x + alors f(x) = Ox+ (g(x)). Montrer que lim-
plication rciproque est fausse en considrant le cas f = sin et g = 1.

Exercice A.6. Vrifier si f1 = O(g), f2 = O(g) et c R alors les fonc-

tions f1 + f2 et cf1 sont elles aussi O(g). On abrge cela en crivant
que O(g) + O(g) = O(g) et cO(g) = O(g).
Vrifier que o(g) + o(g) = o(g) et c o(g) = o(g).

Exercice A.7. Vrifier que f(x) = O(g(x)), lorsque x +, si et seule-

ment si
(L1) il existe x0 R et une fonction borne C(x) sur [x0 , [
telle que f(x) = C(x)g(x), pour tout x > x0

Exercice A.8. Voila comment saffranchir de la contrainte g(x) non

nulle pour x assez grand dans la dfinition de f(x) = ox+ (g(x))
et f(x) g(x). Quelle que soit la fonction g, on dira que f(x) = o(g(x))
lorsque x + si
(L2) il existe x0 R et une fonction (x) dfinie sur [x0 , [
telle que f(x) = (x)g(x) et limx (x) = 0.
On dira que f(x) g(x) lorsque x + si
(L3) il existe x0 R et une fonction u(x) dfinie sur [x0 , [
telle que f(x) = u(x)g(x) et limx u(x) = 1.
Vrifier que ces nouvelles dfinitions sont quivalentes celles don-
nes dans le texte si g(x) ne sannule pas pour tout x dans un voisinage
de +.

a.2 dveloppements limits

Rappelons quune fonction f possde une drive en x0 si et seule-

ment si la limite
f(x) f(x0 )
lim (A.6)
xx0 x x0
existe. Cette limite est alors note f 0 (x0 ) et est appele la drive de f
au point x0 .
Dans la notation de Landau, une fonction f possde une drive
0
f (x0 ) en x0 si et seulement si

f(x) = f(x0 ) + f 0 (x0 )(x x0 ) + o(x x0 ), quand x x0 .

 A.2 dveloppements limits 61

Si la drive existe non seulement au point x0 mais aussi pour les x

proches, alors on peut se poser la question de lexistence de la drive
de la drive, aussi appele drive seconde et note f 00 . On ne peut
pas parler de f 00 (x0 ) si on ne sait pas dj que f 0 (x) existe pour les x
proches de x0 . Pour les drives dordres suprieurs, si elles existent,
on les note plutt f(3) , f(4) , etc...
Pour une fonction f qui possde des drives dordres suprieurs
au voisinage dun point x0 , on a la proposition suivante qui nous dit
quune telle fonction est approche trs efficacement par un polynme.

Proposition A.2.1. Soit k > 1 un entier. Si une fonction dune variable

relle f est drivable k fois en x0 et sa drive dordre (k 1) est continue
dans un voisinage de x0 , alors il existe un polynme a0 + a1 X + + ak Xk ,
de degr k, tel que, quand x x0 , on a

f(x) = a0 + a1 (x x0 ) + a2 (x x0 )2 + + ak (x x0 )k + o((x x0 )k ) .

Un tel polynme est unique et ses coefficients sont donns par les formules
f(i) (x0 )
ai = , 0 6 i 6 k (par convention f(0) = f).
i!
Cette proposition (formule de Taylor) est moins prcise que les for-
mules de Taylor avec reste quon retrouve dans tout manuel de calcul
diffrentiel, mais sa preuve est plus facile. Nous lavons dj dmon-
tre quand k = 1 ; on peut la dmontrer en gnral, par rcurrence, en
observant que, si g et h sont continues et

g(x) h(x) = o((x x0 )` )

alors
Zx
(g(t) h(t)) dt = o((x x0 )`+1 ).
x0

Le polynme

f 00 (x0 ) f(3) (x0 )

f(x0 ) + f 0 (x0 )(x x0 ) + (x x0 )2 + (x x0 )3
2! 3!
f(k) (x0 )
++ (x x0 )k
k!
est dit tre le polynme de Taylor de degr k de f.
videmment on a :

Corollaire A.2.2. Soit k > 1 un entier. Si une fonction dune variable relle
f est drivable k fois en x0 alors, quand x x0 , on a

f 00 (x0 )
f(x) = f(x0 )+f 0 (x0 )(x x0 ) + (x x0 )2 +
2!
f(k1) (x0 )
++ (x x0 )k1 + O((x x0 )k ).
(k 1)!
62 rappels sur les fonctions diffrentiables

Grce la proposition prcdente on pourra crire les dveloppe-

ments limits suivants, tous valables pour x 0 :

1
= 1 + x + x2 + + xn + O(xn+1 ),
1x
x x2
1+x = 1+ + O(x3 )
2 8
x2 xn
exp x = 1 + x + ++ + O(xn+1 ),
2! n!
x2 x3 xn
log(1 + x) = x + + (1)n+1 + O(xn+1 ),
2 3 n
x3 x5 x2n+1
sin x = x + + + (1)n + O(x2n+3 ),
3! 5! (2n + 1)!
x2 x4 x2n
cos x = 1 + + + (1)n + O(x2n+2 ),
2! 4! (2n)!
x3
tg x = x + + O(x5 ),
3
Exemple A.2.3. Montrons que quand lentier n tend vers on a
 
2n
sin = O(1/n).
1 + n2

En effet quand n on a 2n/(1 + n2 ) 2/n 0 ; puisque quand

x 0 on a sin x x on obtient :
 
2n 2n 2
sin ,
1 + n2 1 + n2 n

Exemple A.2.4. Soit

   
1 1
an = sin2 1 + cos
n n

Comparons la suite (an ) une puissance de (1/n). Quand n on

a 1/n 0 ; puisque pour x 0 on a sin x = x + o(x2 ) et cos(x) =
1 + O(x2 ) ; donc

sin2 (x) 1 + cos(x) = (x + o(x2 ))2 + O(x2 ) = O(x2 )

ce qui nous dit an = O(1/n2 ). Soyons plus prcis en utilisant le d-

veloppement limit lordre 3 de la fonction cos(x) quand x 0 ; on
obtient
x2
 
2 2 2 3
sin (x) 1 + cos(x) = (x + o(x )) 1 + 1 + o(x ) =
2
x2 x2
x2 + o(x3 )
2 2
et donc an 1/(2n2 ).

Exercice A.9. Montrer que log(n2 /(1 + n2 )) 1/n2 pour n .

Exercice A.10. Comparer la suite log(cos(1/n)) une puissance de
la suite (1/n) quand n .

Exercice A.11. Montrer (1 e1/n )2 sin(1/n2 ) 1/n3 .

BIBLIOGRAPHIE

[Apostol(1967)] Tom M. Apostol. Calculus. Vol. I : One-variable calculus,

with an introduction to linear algebra. Second edition. Blaisdell Pu-
blishing Co. Ginn and Co., Waltham, Mass.-Toronto, Ont.-London,
1967.
[Dixmier(1976)] Jacques Dixmier. Cours de mathmatiques du premier
cycle,Deuxire anne, (Chapitre XXXIX). Gauthier-Villars, Paris, 1976.
Deuxime dition.
[Hardy(1992)] G. H. Hardy. A course of pure mathematics. Cambridge
Mathematical Library. Cambridge University Press, Cambridge,
tenth edition, 1992. ISBN 0-521-09227-2.
[Lelong-Ferrand and Arnaudis(1977)] Jacqueline Lelong-Ferrand
and Jean-Marie Arnaudis. Cours de mathmatiques. Tome 2, (Cha-
pitre VII). Dunod, Paris, 1977. ISBN 2-04-007135-0. Quatrime
dition. (Cited on page 11.)

63
colophon

Ces notes ont t typographi avec le systme LATEX 2 en utilisant les

types Palatino et Euler de Hermann Zapf.
Les listes sont composes avec les types Bera Mono, develops origina-
lemnt par Bitstream, Inc. sous le nom Bitstream Vera.
Le style typographique a t develop par Andr Miede et inspir
par les ides de Bringhurst presentes dans louvrage The Elements of
Typographic Style (2002).
Ce style est disponible via CTAN sous le titre classicthesis.

Fini dimprimer le 15 septembre 2009 15:16.