Académique Documents
Professionnel Documents
Culture Documents
Cours de Mathe
ries nume
Se riques ou vectorielles
Sommaire
S
eries num
eriques ou vectorielles
Sommaire
I G en
eralit es sur les s eries . . . . . . . . . . . . . . . . . . . . . . . . . 2
I.1 Espace vectoriel des series, Sous-espace des Series convergentes . . . . 2
I.2 Crit`ere de Cauchy. Espace des series normalement convergentes . . . . 3
II Series `a termes r eels positifs . . . . . . . . . . . . . . . . . . . . . . . 4
II.1 Les r`egles de comparaison : O , o . . . . . . . . . . . . . . . . . . . 4
II.2 Comparaison `a une serie geometrique . . . . . . . . . . . . . . . . . . 6
II.3 Serie et integrale de fonction positive et decroissante . . . . . . . . . 7
III S eries `a valeurs dans un espace vectoriel norm e de dimension finie 8
III.1 Cas des series `a valeurs reelles et alternees . . . . . . . . . . . . . . . . 8
III.2 Comparaison dune serie `a une integrale . . . . . . . . . . . . . . . . . 9
IV Familles sommables . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
IV.1 Definition et caracterisation des familles sommables . . . . . . . . . . 11
IV.2 Suites doubles et interversion des sommations . . . . . . . . . . . . . . 13
I G
en
eralit
es sur les s
eries
` toute suite u = (un )nN
K designe le corps R ou C et (E , kk) est un K espace vectoriel norme. A
Xn
`a valeurs dans E on associe la suite U = (Un )nN definie par Un = uk . Le couple (u , U )
k=0
sappelle serie associee `a la suite u et lorsque lon convient de noter un leP terme general de la
suite u, la serie (u , U ) est dite serie de terme general un et se note alors un . On a ainsi
X
un = (u , U ) (1.1)
n N , Un+1 Un = un+1 (1.2)
On dit enfin que la suite U est la suite des sommes partielles de la serie de terme general un
definie par la relation (1.1).
P
On dit que la serie un S(E) est convergente lorsque la suite U de ses sommes partielles
X
est convergente dans (E , k k) . Lorsquil en est ainsi la limite de la suite U est notee un et
P n=0
sappelle somme de la serie un .
Proposition
Lensemble S(E) des series `a valeurs dans E est un sous-espace vectoriel de (E N )2 et le
sous-ensemble S 0 (E) des series convergentes `a valeurs dans E est un sous-espace vectoriel
X
de S(E). Lapplication de S 0 (E) vers E qui `a une serie convergente associe sa somme
n=0
est une application lineaire.
Toute suite U E N est de meme nature (du point de vue de la convergence) que la serie
derivee de U de terme general Un+1 Un . En cas de convergence, la relation (1.2) donne
X
(Un+1 Un ) = lim Un U0 .
n
n=0
I.2 Crit`
ere de Cauchy. Espace des s
eries normalement convergentes
P
Toute serie convergente un `a valeurs dans (E , k k) verifie lassertion de Cauchy (traduisant
que la suite U de ses sommes partielles est de Cauchy) :
n+p
X
R+ , N N , n > N , p N , uk 6 (CY)
k=n+1
Th
eor` eme Crite `re de Cauchy
P
Soit (E , kk) un espace vectoriel norme de dimension finie. Pour que la serie un `a valeurs
dans E soit convergente il faut et il suffit que lassertion (CY) soit verifiee.
Corollaire
Soit E un espace vectoriel
P norme de dimension finie q N et e une base quelconque de
E . Pour que la serie un `a valeurs dans E soit convergente (respectivement normalement
convergente) il faut et il suffit que les q series numeriques associees aux suites composantes de
un relativement `a la base e soient convergentes (respectivement absolument convergentes).
Ces corollaires montrent limportance de letude de la convergence des series `a termes reels po-
sitifs pour letude de la convergence (normale ou absolue) des series vectorielles ou numeriques.
II S
eries `
a termes r
eels positifs
P
Lorsquune serie un = (u , U ) est associee `a une suite u `a valeurs dans R+ , la suite U de ses
sommes partielles est croissante en raison de la relation suite-serie :
n > N , 0 6 un 6 M vn
P P
Si la serie P un est divergente, il en est de meme pour la serie P vn .
Si la serie vn est convergente, il en est de meme pour la serie un .
On dit quune suite u `a termes reels positifs est dominee par une suite `a termes reels
positifs v lorsquil existe un reel M tel que pour tout n N , 0 6 un 6 M vn . Cette
relation entre suites reelles positives se note un = O(vn ) : La relation de domination
O nest pas un ordre sur lensemble des suites reelles positives mais cest une relations
reflexive et transitive.
Si deux suites P positives u et v verifient un = O(vn ) et vn = O(un ) alors les series
P reelles
associees un et vn sont de meme nature (du point de vue de la convergence) cest `a
dire quelles sont toutes les deux convergentes ou toutes les deux divergentes.
On dit que la suite reelle u est negligeable devant la suite reelle v lorsquil existe une suite
reelle convergente vers 0 telle que u = v . Cette relation entre suites reelles u = (un )nN
et v = (vn )nN se note un = o(vn ) .
On dit que la suite reelle u est equivalente `a la suite reelle v lorsque un vn = o(vn ) ce
que lon ecrit indifferemment un = vn + o(vn ) ou un vn . On verifie que la relation ainsi
definie sur lensemble RN des suites reelles est reflexive, symetrique et transitive, cest
pourquoi on lappelle relation dequivalence. Un developpement limite de un lorsquil est
possible donnera ainsi un equivalent simple de unP , pour lequel la r`egle dequivalence
ci-dessous permet de conclure quant-`a la nature de un .
Corollaire Re `gle de
quivalence
P
P u et v deux suites reelles positives telles que un vn . Alors les series associees
Soient un
et vn sont de meme nature (du point de vue de la convergence).
II.2 Comparaison `
a une s
erie g
eom
etrique
Une serie numerique geometrique a pour terme general un = u0 rn o` u le reel non nul r est la
n n+1
X 1r
raison de u . Pour r R\{1}, Un = uk = u 0 Une serie geometrique non nulle est
k=0
1 r
convergente si et seulement si sa raison r verifie |r| < 1 . Lorsque cette condition est verifiee
X u0 P un+1
uk = Une serie geometrique non nulle un est caracterisee par la relation = r.
k=0
1 r u n
Proposition
Si u et v sont deux suites reelles `a termes strictement positifs et si, `a partir dun certain
un+1 vn+1
rang, 6 alors un = O(vn ) .
un vn
En particulier lorsque v est une suite geometrique, on a la
Proposition Re `gle de dAlembert
Si u est une suite reelle `a termes strictement positifs et sil existe un reel r < 1 tel qu`a
un+1 X
un = O(rn ) .
P
partir dun certain rang 6 r , alors un est convergente et
un k=n+1
II.3 S
erie et int
egrale de fonction positive et d
ecroissante
Theor`eme
Soit f une fonction continue par morceaux sur [0Z , +[ `a valeurs dans [0 , +[ et
n+1
decroissante. La serie de terme general vn = f (n) f est convergente. En particulier
n
la serie de terme general un = f (n) est convergente si et seulement si f est integrable sur
[0 , +[ .
En effet cela resulte directement de lencadrement 0 6 vn 6 un un+1 et du theor`eme de
Xn
majoration des sommes partielles puisqualors Vn = vk 6 u0 .
k=0
1
Par exemple pour f (t) = le theor`eme ci-dessus permet de preciser lequivalence
t+1
n
X 1
(1.5) par la convergence de la suite de terme general Vn = ln(n + 2) . La limite
k=0
k + 1
de cette suite sappelle constante dEuler et se note . On a ainsi un developpement limite
`a lordre 0 de la somme de la serie harmonique :
n
X 1
= ln n + + o(1) (1.8)
k=1
k
1
Pour f (t) = , f est integrable sur [0 , +[ si et seulement si le reel
(t + 2) ln (t + 2)
est strictement superieur `a 1. Le theor`eme ci- dessus montre que la serie de terme general
1
est convergente si et seulement si > 1 .
n ln n
III S
eries `
a valeurs dans un espace vectoriel norm
e de
dimension finie
Le Crit`ere de Cauchy et de la r`egle de domination pour les series `a termes reels positifs
conduisent au
Th eor`
eme de domination
Soit u = (un )nN une suite `a valeurs dans un espace vectoriel norme de dimension finie,
pour
P laquelle il existe une suite P`a valeurs reelles positives v telle que kun k = O(vn ) et
vn converge. Alors la serie un est (normalement) convergente et sa somme verifie
X X
un 6 vn .
n=0 n=0
Une K-alg`ebre A est dite normee lorsquelle est munie dune norme k k verifiant
Th
eor`eme des se ries alterne es
Soit u une suite reelle alternee telle que la suite de terme general |un | soit decroissante
X
P
de limite nulle. Alors la serie un est convergente, sa somme un a le signe de u0 et
n=0
X
un 6 |u0 | .
n=0
X (1)n
Par exemple les series riemanniennes alternees convergent si et seulement si
(n + 1)
le reel est strictement positif et alors leur reste de Cauchy est tel que
+
X (1)k 1
6
(k + 1) (n + 1)
k=n
Une serie numerique peut etre convergente sans etre absolument convergente (cas
precedent pour ]0 , 1]).
deux suites reelles peuvent etre equivalentes sans que les series associees soient de meme
(1)n 1 P
nature. Cest le cas pour un = et vn = un + Ici un vn et un converge
P n+1 n+1
alors que vn diverge.
In = f est de meme nature (du point de vue de la convergence) que la serie de terme
0
general un = f (n) .
Z n+1
Cela resulte de legalite vn = (n + 1 t)f 0 (t) dt (integration par parties) qui donne
Z n+1 n
X
integrale sapplique donc pour la serie f (n 1) (n > 1) : Elle est de meme nature
Z n
sin ln t
que la suite de terme general In = dt qui diverge puisque In = 1 cos ln n .
1 t
X sin ln n
Ainsi la serie est divergente. Cependant les inegalites dans la preuve ci-dessus
n
du theor`eme donnent n
X sin ln k Z +
n N , 6 |f 0 | + In+1 6 4 .
k k=1 0
absolument convergente ).
P
La transformation ainsi faite sur les sommes partielles de la serie un sappelle Trans-
formation dAbel (cest lanalogue dune integration par parties). Cette transformation
donnera des resultats lorsque :
un = an bn , bn = Bn Bn1 , ou bn = Bn Bn+1 ,
P
o` serie (an an+1 ) est absolument
u Bn est le terme general dune suite bornee et la P
convergente : Bn est la somme partielle de la serie bn ou son reste de Cauchy si elle
converge.
IV Familles sommables
IV.1 D
efinition et caract
erisation des familles sommables
Une famille u = (ui )iI indexee par un ensemble I est une application de source I . On sinteresse
ici au cas o`u I est strictement denombrable cest `a dire quil existe une bijection de N sur
I . On suppose egalement que la famille u est `a valeurs dans un espace vectoriel norme E de
dimension finie. Dans ces conditions, on dit que la famille u est sommable si lon peut choisir la
bijection de sorte que la fonction u en escalier sur [0 , +[ , concidant sur chaque intervalle
(n N) avec la constante u(n) , soit integrable sur [0 , +[ . On montre enfin que
[n , n + 1[ Z
lintegrale u est independante du choix de la bijection . Sa valeur sappelle somme de la
R+
X X Z X
famille (sommable) u et se note ui . On a ainsi ui = u = u(n) .
iI iI R+ n=0
(vi) Pour
X toute suite (Jn )nN croissante de parties finies de I recouvrant I les sommes
||ui || sont majorees
iJn
Lorsque lune de ces conditions est verifiee la somme de u est donnee par
X X X
ui = u(n) = lim ui (1.9)
n
iI nN iJn
Lassertion (iv) montre que toute sous-famille dune famille sommable est sommable. La
formule (1.9) est encore valable pour tout recouvrement croissant de I par une suite
croissante de parties (pas specialement finies) de I .
Lassertion (ii) montre quune suite `a valeurs dans un espace vectoriel norme de dimension
finie est sommable si et seulement si la serie associee est normalement convergente.
(1)i
Prenons la suite anharmonique : I = N et u = . Le choix dans (v) du
i iI
recouvrement croissant de I par les segments Jn = [[ 1 , 2n ]] donne
n n n 2n n
!
X X 1 X 1 X 1 X 1 X 1
ui = = soit encore
iJ k=1
2k k=1 2k 1 k=1 2k k=1
k k=1 2k
n
n 2n
X X 1 X 1
ui = = (ln n + ) ln(2n) + + o(1) = ln 2 + o(1)
iJn k=1
k k=1
k
X +
X
dapr`es la formule (1.8) du II.3 . On a donc lim ui = ln 2 = ui . Mais on
n+
iJn i=1
peut aussi former un recouvrement
X croissant (Jn0 )nN de I par des parties finies telles
que les sommes partielles ui de la famille u le long de ce recouvrement divergent en
iJn0
convergeant dans R :
Lexemple Jn0 = {2k | k [[ 1 , n2 ]]} {2k 1 | k [[ 1 , n ]]} donne en effet (par lusage
S
X 1
comme ci-dessus de la formule (9) du 2.3) ui ln n .
iJn0
2
Lexemple Jn00 = {2k | k [[ 1 , n ]]} {2k 1 | k [[ 1 , n2 ]]} donne un recouvrement
S
X 1
croissant de I par des parties finies telles que ui ln n .
iJ 00
2
n
Si u = (ui )iI et v = (vj )jJ sont deux familles sommables `a valeurs dans une alg`ebre
normee A de dimension finie, alors la famille produit w = (ui vj )(i,j)IJ est sommable et
X X X
ui vj = ui vj .
(i,j)IJ iI jJ
Etude de la sommabilite de la famille de reels positifs u indexee par N p definie par
1
u(n1 , ,np ) = (p fixe dans N et dans R+ ) :
(n1 + + np )
La moyenne geometrique de p reels positifs etant inferieure `a leur moyenne arithmetique,
1
on a u(n1 , ,np ) 6 = v(n1 , ,np ) . La famille v est la famille produit de la suite
p p
n 1 np
1
riemannienne p fois par elle meme. Elle est donc sommable lorsque > p .
n p nN
Par domination, la famille u est sommable lorsque > p et sa somme verifie
+
!p
X 1 X 1
6 .
p
(n1 + + np ) n=1 n p
(n1 , ,np )N
1
Lorsque 6 p , on a u(n1 , ,np ) > = w(n1 , ,np ) . Pour n N , po-
(n1 + + np )p
sons Jn = {(n1 , , np ) N p | n1 + + np 6 n} . (Jn )n>p est un recouvre-
ment croissant de N p par une suite de parties finies verifiant Card(Jn ) = Cpn . Do` u
X Cp1
n1 1
w(n1 , ,np ) = La serie harmonique etant divergente
np n+ (p 1)! n
(n1 , ,np )Jn \Jn1
lassertion (vi) du theor`eme de caracterisation des familles sommables est niee : ceci
montre que la famille w nest pas sommable, et ainsi la famille u (majorant w > 0) nest
pas sommable. Finalement la famille u est sommable si et seulement si > p .
(Developpement de Fourier dune fonction 1-periodique) La famille c(f ) = ck (f ) kZ des
coefficients de Fourier dune fonction Z f1 1-periodique et continue par morceaux sur R `a
X
valeurs dans K verifie |ck (f )|2 6 |f |2 pour toute partie finie J de Z : c(f ) est donc
kJ 0
une famille de carre sommable. Mais c(f ) nest pas toujours sommable : On montre que si
f est de classe C 1 par morceaux et continue sur R alors c(f ) est une famille sommable. Le
theor`eme de Parseval peut senoncer sous la forme : Pour tout couplede fonctions (f, g)
continues par morceaux sur R et 1-periodiques, la famille ck (f ) ck (g) est sommable
Z 1 kZ
et sa somme vaut fg .
0
Le theor`eme de caract
erisation formule
(1.9) pour
la famille
sommable u et les recouvrements
2
croissants de N par [[ 0 , n ]] N et N [[ 0 , n ]] donnent le corollaire dinterversion
nN nN
(voir la premi`ere remarque suivant le theor`eme ).
Le second corollaire est le resultat du theor`eme de caracterisation formule (1.9) pour la famille
w = (ui vj )(i,j)N2 en prenant
sommable le recouvrement croissant de N2 par les ensembles finis
Jn = {(i, j) N2 | i + j 6 n} (voir la deuxi`eme et la quatri`eme remarque suivant le
nN
theor`eme).
Proprie de lexponentielle : Soit A une alg`ebre normee de dimension finie. Pour
te
X an
tout a A la serie exponentielle est normalement convergente, donc par produit
n!
2
de Cauchy, pour tout (a , b) A ,
X ai b j X n
X 1 X i i ni
exp(a) exp(b) = = Cn a b
n=0 i+j=n
i! j! n=0
n! i=0
1
a le signe de (1)i et verifie |ti | 6 (theor`eme des series alternees) avec
2i + 1
X (1)k X (1)k 1 1
|ti | |ti+1 | = + = > 0.
k=2i+1
k k=2i+3
k 2i + 1 2i + 3
Ainsi la suite alternee (ti )iN converge vers 0 et la suite de ses valeurs absolues decrot,
X X
P
donc ti converge. Dans cet exemple on peut parler de ui,j mais il nest pas
i=0 j=0
possible dintervertir les sommations.
Exemple dinterversion des sommations : On etablit (voir le chapitre sur les series de
Fourier) que pour tout complexe z non entier relatif :
X
1 1 1
cotan z =
2z z k=1
k2 z 2
1 z2
Or pour |z| < 1 , 2 est la somme dune se rie g
e om e trique de raison et de premier
k z2 k2
1
terme 2 si bien que pour |z| ]0 , 1[ ,
k
X
z 2n
X
1 1
cotan z = 2(n+1)
= f (z) .
2z z k=1 n=0
k
z 2n
Or la famille double u = est sommable car les sommes partielles de
k 2(n+1) (k,n)N N
ses modules sur toute partie finie de N N sont majorees par f (|z|) . On peut donc
intervertir les sommations : Pour tout complexe non nul du disque unite ouvert,
1 1 X
cotan z = (2n + 2)z 2n
2z z n=0
X 1
o`
u est la fonction de Riemann definie par (x) = x
(x > 1) En cherchant le
k=1
k
developpement asymptotique de cotan z au voisinage de 0, on trouve ainsi les valeurs de
(2n + 2). Les premiers calculs donnent
2 4 6
(2) = , (4) = , (6) =
6 90 945
z (2n)
Le changement de z en montre en fait que 2n est un nombre rationnel.