Séries Dans Un Espace Vectoriel Normé

Sries dans un espace vectoriel norm
Essaidi Ali
Jeudi 21 novembre 2013
K = R ou C.
1 Comparaison dune srie et dune intgrale, sommation et intgration des rela-
tions de comparaison :
1.1 Comparaison dune srie et dune intgrale :
Thorme 1.1.1 Soit f : R
+
R
+
continue par morceaux et dcroissante, alors :
La suite
_
n
k=0
f(k)
_
n
0
f(t)dt
_
n0
est positive et dcroissante. En particulier, convergente de limite positive.
La srie
f(n) et lintgrale
_
+
0
f(t)dt sont de mme nature.
Dmonstration :
On pose n N, u
n
=
n
k=0
f(k)
_
n
0
f(t)dt.
Soit n N. Si n = 0 alors u
n
= f(0) 0, sinon on a u
n
=
n1
k=0
_
f(k)
_
k+1
k
f(t)dt
_
+f(n) =
n1
k=0
_
k+1
k
(f(k)
f(t))dt + f(n) 0 car n 1, 0 k n 1,
_
k+1
k
(f(k) f(t))dt 0 et f(n) 0 puisque lapplication f est
dcroissante positive. On dduit que la suite (u
n
) est positive.
On a n 0, u
n+1
u
n
=
_
n+1
k=0
f(k)
_
n+1
0
f(t)dt
_
_
n
k=0
f(k)
_
n
0
f(t)dt
_
= f(n + 1)
_
n+1
n
f(t)dt =
_
n+1
n
(f(n + 1) f(t))dt 0 car n t n + t, f(n + 1) f(t) 0 puisque lapplication f est dcroissante do
la suite (u
n
) est dcroissante.
On a la suite (u
n
) est dcroissante positive (donc minore par 0) donc convergente. Or n 1, u
n
0 donc limu
n
0.
On a u
n
converge donc les suites
_
n
k=0
f(k)
_
n1
et
__
n
0
f(t)dt
_
n1
sont de mme nature.
On a, dune part, la suite
__
n
0
f(t)dt
_
n0
et lintgrale
_
+
0
f(t)dt sont de mme nature car f est positive, dautre
part, la suite
_
n
k=0
f(k)
_
n0
et la srie
f(n) sont de mme nature donc la srie
f(n) et lintgrale
_
+
0
f(t)dt
sont de mme nature.
Remarques :
Soit f : R
+
R
+
continue par morceaux et dcroissante, alors :
1. n N, f(n + 1)
_
n+1
n
f(t)dt f(n).
2. C 0,
n
k=0
f(k) =
_
n
0
f(t)dt +C +o(1). Si, en plus f est continue non nulle alors C > 0. En effet :
1
CPGE Laayoune Lissane Eddine Essaidi Ali
(a) Si f est constante alors
n
k=0
f(k)
_
n
0
f(t)dt = (n + 1)f(0) nf(0) = f(0) donc C = f(0) > 0.
(b) Sinon p N, f(p) > f(p+1). On a n > p+1,
n
k=0
f(k)
_
n
0
f(t)dt =
n1
k=0
_
k+1
k
(f(k)f(t))dt+f(n)
_
p+1
p
(f(p) f(t))dt do, par passage la limite, C
_
p+1
p
(f(p) f(t))dt > 0 car lintgrale dune
fonction continue positive non nulle est strictement positive.
3. Si la srie
f(n) diverge alors il en est de mme pour lintgrale

_
+
0
f(t)dt et on a
n
k=0
f(k)
_
n
0
f(t)dt.
4. Si la srie
f(n) converge, on considre R

n
la suite des restes (i.e n N, R
n
=
+
k=n+1
f(k)) alors :
(a) C 0,
+
k=0
f(k) =
_
+
0
f(t)dt +C.
(b) n N, R
n
=
_
+
n
f(t)dt +o(1).
(c) n N,
_
+
n+1
f(t)dt R
n

_
+
n
f(t)dt.
5. si lim
x0
f(x) ,= 0 alors la srie
f(n) diverge.
Soit a R et f : [a, +[ R
+
continue par morceaux et dcroissante. Alors
na
f(n) et
_
+
a
f(t)dt sont de mme
nature (On applique la proposition la fonction g(x) = f(x a)).
Soit f : R
+
C continue par morceaux avec [f[ dcroissante, alors

f(n) est absolument convergente ssi f est
intgrable sur R
+
(i.e lintgrale
_
+
0
[f(t)[dt converge).
Soit f : R
+
R
+
strictement croissante ou croissante non nulle. Alors la srie

f(n) et lintgrale
_
+
0
f(t)dt
divergent.
Si f nest pas dcroissante alors il se peut que
f(n) et
_
+
0
f(t)dt ne soient pas de mme nature. En effet, considrons
la fonction f(x) = [ sin x[ sur R
+
:
On a n N, f(n) = [ sin n[ = 0 donc la srie
f(n) est nulle et par suite elle est converge.

Dautre part, on a n N,
_
n
0
f(t)dt =
n1
k=0
_
k+1
k
f(t)dt et , en considrant le changement de variables u = tk, k
N,
_
k+1
k
f(t)dt =
_
1
0
f(u + k)du =
_
1
0
[ sin(u + k)[du =
_
1
0
[ sin u[du =
_
1
0
sin udu =
1
[cos u]
1
0
=
2
donc n N,
_
n
0
f(t)dt =
n1
k=0
2
=
2(n + 1)
+. On dduit que
_
+
0
f(t)dt diverge.
Application aux sries de Riemann : Soit R.
Si < 0 alors
1
n
+donc la srie
1
n
diverge.
Si 0 alors la fonction f(x) =
1
(x+1)
est continue et dcroissante sur [0, +[ do
1
n
et lintgral
_
+
1
dt
t
sont
de mme nature.
On a x 1 :
_
x
1
dt
t
=
_
_
[ln t]
x
1
= ln x si = 1
_
1
(1)t
1
_
x
1
=
1
1
_
1
x
1
1
_
si ,= 1
Donc
_
+
1
dt
t
converge si et seulement si > 1 do la srie
1
n
converge si et seulement si > 1 et on les rsultats

suivants :
www.mathlaayoune.webs.com 2/22 mathlaayoune@gmail.com
1. Si = 1, la srie
1
n
diverge et > 0,
n
k=1
1
k
=
_
n
1
dx
x
+ +o(1) = ln n + +o(1). sappelle la constante
dEuler.
2. S 0 < 1, la srie
1
n
diverge et C
> 0,
n
k=1
1
k
=
_
n
1
dx
x
+ C
+ o(1) =
n
1
1
1
+ C
+ o(1). En
particulier,
n
k=1
1
k

n
1
1
.
3. Si > 1, la srie
1
n
, C
> 0,
+
k=1
1
k
=
_
+
1
dx
x
+C
=
1
1
+C
et
+
k=n+1
1
k
=
_
+
n
dt
t
+o(1) =
_
1
(1 )t
1
_
+
n
+o(1) =
1
( 1)n
1
+o(1).
Thorme 1.1.2 Soit f : R
+
C de classe (
1
sur R
+
avec f
intgrable sur R
+
, alors :
La srie
n1
__
n
n1
f(t)dt f(n)
_
est absolument convergente. En particulier, convergente.
Lintgrale
_
+
0
f(t)dt et la srie
f(n) sont de mme nature.

Dmonstration :
On pose n 1, a
n
=
_
n
n1
f(t)dt f(n) donc a
n
=
_
n
n1
(f(t) f(n))dt =
_
n
n1
(t (n 1))
(f(t) f(n))dt =
[(t (n 1))(f(t) f(n))]
n
n1

_
n
n1
(t (n 1))f
(t)dt =
_
n
n1
(t (n 1))f
(t)dt.
On dduit que n 1, [a
n
[ =
_
n
n1
(t (n 1))f
(t)dt

_
n
n1
[(t (n 1))f
(t)[ dt
_
n
n1
[f
(t)[dt do
n
k=1
[a
k
[
_
n
0
[f
(t)[dt.
On a f
est intgrable sur [0, +[ donc lintgral

_
+
0
[f
(t)[dt converge do la suite

__
n
0
[f
(t)[dt
_
converge.
On dduit que la srie
a
n
converge absolument et par suite convergente.
Si lintgral
_
+
0
f(t)dt converge alors la suite
__
n
0
f(t)dt
_
converge.
Or n 1,
n
k=1
f(k) =
_
n
0
f(t)dt
n
k=1
__
n
n1
f(t)dt f(n)
_
donc la srie
f(n) converge.
Rciproquement, supposons que la srie
f(n) converge et soit > 0.

On a
_
n
0
f(t)dt =
n
k=1
_
_
k
k1
f(t)dt f(k)
_
+
n
k=1
f(k) donc la suite
__
n
0
f(t)dt
_
n
admet une limite I C do
N N, n N,
_
n
0
f(t)dt I
.
On a x 0, f(x) f(0) =
_
x
0
f
(t)dt et f
intgrable sur [0, +[ donc f admet une limite l C lorsque x +.

Or
f(n) converge donc l = 0 do A > 0, x A, [f(x)[ .

Posons B = max(N, A+ 1) et soit x B.
On a
_
x
0
f(t)dt I
_
x
0
f(t)dt
_
[x]
0
f(t)dt
_
[x]
0
f(t)dt I
_
x
[x]
f(t)dt
_
[x]
0
f(t)dt I
_
x
[x]
[f(t)[dt+
_
[x]
0
f(t)dt I
.
On a x B donc [x] [B] = [A] + 1 > A donc t [x], [f(t)[ do
_
x
[x]
[f(t)[dt
_
x
[x]
dt (x [x]) .
De mme, on a x B donc [x] [N] N donc
_
[x]
0
f(t)dt I
.
On dduit que
_
x
0
f(t)dt I
2 donc
_
x
0
f(t)dt
x+
I do lintgral
_
+
0
f(t)dt converge.
Remarques : Soit f : R
+
C de classe (
1
sur R
+
avec f
intgrable sur R
+
, alors :
La suite
_
n
k=0
f(k)
_
n
0
f(t)dt
_
est convergente.
C C,
n
k=1
f(k) =
_
n
0
f(t)dt +C +o(1).
Si la srie
f(n) converge alors

+
k=n+1
f(k) =
_
+
n
f(t)dt +o(1).
Exemple dapplication : Etude de la srie
e
i
n
n
a
avec a >
1
2
:
On pose f(x) =
e
i
x
x
. On a f est (
1
sur [1, +[ et x 1, f
(x) =
ie
i
x
2x
+
1
2
e
i
x
x
+1
donc x 1, [f
(x)[
1
2x
+
1
2
+

x
+1
.
Or +
1
2
> 1 et + 1 > 1 donc f
est intgrable sur [1, +[.

On dduit que
f(n) et
_
+
1
f sont de mme nature.
Soit x 1. On a
_
x
1
f(t)dt =
_
2ie
i
x
x
1
2
_
x
1
_
x
1
i(2 1)e
i
t
t
+
1
2
dt.
On a
i(21)e
i
t
t
+
1
2

(21)
t
+
1
2
. Or, +
1
2
> 1 donc lintgral
_
+
1
i(2 1)e
i
t
t
+
1
2
dt converge et par suite
_
x
1
i(2 1)e
i
t
t
+
1
2
dt
admet une limite lorsque x +.
De mme
_
2ie
i
x
x
1
2
_
x
1
=
2ie
i
x
x
1
2
+ 2ie
i
x+
2ie
i
.
On dduit que
_
x
1
f(t)dt admet une limite lorsque x +do lintgral
_
+
1
f(t)dt converge et par suite la srie
e
i
n
n
converge.
1.2 Sommation des relations de comparaison :
Thorme 1.2.1 Soient
x
n
et
y
n
deux sries relles avec
y
n
termes positifs.
On suppose que la srie
y
n
converge :
1. Si x
n
= O(y
n
) alors
x
n
converge absolument et on a
+
k=n+1
x
k
= O
_
+
k=n+1
y
k
_
.
2. Si x
n
= o(y
n
) alors
x
n
+
k=n+1
x
k
= o
_
+
k=n+1
y
k
_
.
3. Si x
n
y
n
alors
x
n
+
k=n+1
x
k

_
+
k=n+1
y
k
_
.
On suppose que la srie
y
n
diverge :
1. Si x
n
= O(y
n
) alors
n
k=0
x
k
= O
_
n
k=0
y
k
_
.
2. Si x
n
= o(y
n
) alors
n
k=0
x
k
= o
_
n
k=0
y
k
_
.
3. Si x
n
y
n
alors
x
n
diverge et on a
n
k=0
x
k

_
n
k=0
y
k
_
.
Dmonstration :
Cas o la srie
y
n
converge :
1. Si x
n
= O(y
n
) alors M 0, n N, [x
n
[ My
n
. Or
y
n
converge donc
x
n
n N,
k=n+1
x
k
k=n+1
[x
k
[ M
+
k=n+1
y
k
. Do
+
k=n+1
x
k
= O
_
+
k=n+1
y
k
_
.
2. Si x
n
= o(y
n
) alors x
n
= O(y
n
) do

x
n
converge absolument. Soit > 0, on a x
n
= o(y
n
) donc N
N, n N, [x
n
[ y
n
donc n N,
k=n+1
x
k
k=n+1
[x
k
[
+
k=n+1
y
k
. Do
+
k=n+1
x
k
= o
_
+
k=n+1
y
k
_
.
3. Si x
n
y
n
alors x
n
= O(y
n
) do
x
n
converge absolument. De plus, on a x
n
y
n
= o(y
n
) donc
+
k=n+1
x
k

+
k=n+1
y
k
=
+
k=n+1
(x
k
y
k
) = o
_
+
k=n+1
y
k
_
do
+
k=n+1
x
k

_
+
k=n+1
y
k
_
.
Cas o la srie
y
n
diverge :
1. Si x
n
= O(y
n
) alors M 0, n N, [x
n
[ My
n
. On dduit que n N,
k=0
x
k
k=0
[x
k
[ M
n
k=0
y
k
.
Do
n
k=0
x
k
= O
_
n
k=0
y
k
_
.
2. Soit > 0, on a x
n
= o(y
n
) donc N
1
N, n N
1
, [x
n
[ y
n
de plus, on a
y
n
diverge donc N
2
N, n
N
2
,
N
k=0
[x
k
[
n
k=0
y
k
.
On pose N = max(N
1
, N
2
). On a n N,
k=0
x
k
k=0
[x
k
[
N
k=0
[x
k
[ +
n
k=N+1
[x
k
[
n
k=0
y
k
+
k=N+1
y
k

n
k=0
y
k
+
n
k=0
y
k
= 2
n
k=0
y
k
. On dduit que
n
k=0
x
k
= O
_
n
k=0
y
k
_
.
3. Si x
n
y
n
et (y
n
) positive donc (x
n
) est positive partir dun certain rang et [x
n
[ y
n
. Supposons que

x
n
converge, on a (x
n
) est positive partir dun certain rang donc
[x
n
[ converge. On a y
n
[x
n
[, ([x
n
[) positive et
[x
n
[ converge donc, daprs la premire partie du thorme, la srie
y
n
converge. Absurde, do
x
n
diverge.
On a, en plus, x
n
y
n
= o(y
n
) donc
n
k=0
x
k

n
k=0
y
k
=
n
k=0
(x
k
y
k
) = o
_
n
k=0
y
k
_
. do
n
k=0
x
k

_
n
k=0
y
k
_
.
Remarques : Soient
x
n
et
y
n
deux sries relles.
Le thorme reste vrai si (y
n
) garde un signe constant partir dun certain rang.
Si x
n
y
n
alors (x
n
) et (y
n
) ont le mme signe partir dun certain rang.
Si x
n
y
n
et (y
n
) garde un signe constant partir dun certain rang alors les sries
x
n
et
y
n
sont de mme nature.
Si x
n
y
n
et (y
n
) change de signe alors les sries
x
n
et
y
n
ne sont pas forcment de mme nature.
Un exemple de deux sries de termes quivalents et de natures diffrentes : On considre les sries
(1)
n
n
et
ln
_
1 +
(1)
n
n
_
.
On a ln
_
1 +
(1)
n
n
_
(1)
n
n
donc les sries
(1)
n
n
et
ln
_
1 +
(1)
n
n
_
sont termes quivalents.
La suite
_
1
n
_
est dcroissante de limite nulle donc, daprs le critre spcial des sries alternes, la srie altene

(1)
n
n
converge.
On a ln
_
1 +
(1)
n
n
_
=
(1)
n
n

1
n
+O
_
1
n
n
_
et les sries
(1)
n
n
et
1
n
n
convergent donc les sries
ln
_
1 +
(1)
n
n
_
et
1
n
sont de mme nature do la srie
ln
_
1 +
(1)
n
n
_
diverge.
Exemples dapplication :
Application aux sries de Riemann : Soit R :
Si = 1 : On a ln(n+1)ln n = ln
_
1 +
1
n
_
1
n
et
1
n
termes positifs donc les sries
1
n
et
(ln(n+1)ln n)
sont de mme nature.
La suite (ln n) diverge donc la srie tlscopique
(ln(n+1) ln n) diverge et par suite
1
n
divege et on a
n
k=1
1
k

n
k=1
(ln(k + 1) ln k) = ln(n + 1) ln n.
Si ,= 1 : On a
1
(n+1)
1
1
n
1
= (n+1)
1
n
1
= n
1
_
_
1 +
1
n
_
1
1
_
= n
1
_
1 +
1
n
1 +o
_
1
n
__
=
1
n
+o
_
1
n
1
n
.
On dduit que
1
n

1
1
_
1
(n+1)
1

1
n
1
_
et puisque la srie

1
n
est termes positifs donc les sries

1
n
et
1
1
_
1
(n+1)
1

1
n
1
_
sont de mme nature. On a alors les cas suivants :
1. Si < 1 : La suite
_
1
n
1
_
diverge alors la srie tlscopique

1
1
_
1
(n+1)
1

1
n
1
_
diverge et par suite
la srie

1
n
diverge et on a
n
k=1
1
k
k=1
1
1
_
1
(k + 1)
1

1
k
1
_
=
1
1
_
1
(n + 1)
1
1
_

1
(1 )(n + 1)
1

n
1
1
.
2. Si > 1 : La suite
_
1
n
1
_
converge alors la srie tlscopique
1
1
_
1
(n+1)
1

1
n
1
_
converge et par suite
la srie

1
n
converge et on a
+
k=n+1
1
k
k=n+1
1
1
_
1
(k + 1)
1

1
k
1
_
=
1
( 1)(n + 1)
1

1
( 1)n
1
.
On a
n
n 1 donc
n
n 1 do la srie
n diverge et on a
n
k=1
k
k
n
k=1
1 = n.
On a
1
1+n
2

1
n
donc la srie
1+n
2
diverge et on a
n
k=0
1
1 +k
2
k=1
1
k
ln n.
On a
n
n
2
+n+1

1
n
3
2
donc la srie

n
n
2
+n+1
converge et on a
+
k=n+1
k
k
2
+k + 1

+
k=n+1
1
k
3
2
1
(
3
2
1)n
3
2
1
=
2
n
.
Corollaire 1.2.1 (Moyenne de Csaro) Soit (x
n
) une suite relle. Si x
n
l

R alors
x
1
++x
n
n
l.
Dmonstration :
Si l R
: On a x
n
l donc x
n
l. Or
l diverge et termes de signe constant donc la srie
x
n
diverge et on a
n
k=1
x
k

n
k=1
l = nl donc
1
n
n
k=1
x
k
l et par suite
1
n
n
k=1
x
k
l.
Si l = 0 : On a x
n
0 donc x
n
= o(1). Or
1 diverge et termes positifs donc

n
k=1
x
k
= o
_
n
k=1
1
_
= o(n) = no(1)
donc
1
n
n
k=1
x
k
= o(1) et par suite
1
n
n
k=1
x
k
0.
Si l + : On a x
n
+ donc 1 = o(x
n
), la srie
x
n
diverge et termes positifs partir dun certain rang. On
dduit que n =
n
k=1
1 = o
_
n
k=1
x
k
_
donc 1 = o
_
1
n
n
k=1
x
k
_
do
1
n
n
k=1
x
k
+.
On a x
n
+donc la suite
_
n
k=1
x
k
_
est positive partir dun certain rang do
1
n
n
k=1
x
k
+.
Si l = : On a x
n
donc x
n
+do
1
n
n
k=1
x
k
+et par suite
1
n
n
k=1
x
k
.
Corollaire 1.2.2 (Lemme de lescalier) Soit (x
n
) une suite relle. Si x
n
x
n1
l

R alors
x
n
n
l.
Dmonstration :
On a x
n
x
n1
l donc, daprs la moyenne de csaro,
1
n
n
k=1
(x
k
x
k1
) l donc
x
n
x
0
n
l do
x
n
n
l.
1.3 Intgration des relations de comparaison :
Thorme 1.3.1 Soient < a < b +et f, g : [a, b[R deux applications continues par morceaux avec g positive.
On suppose que
_
b
a
g converge.
1. Si f =
b
O(g) alors f est intgrable sur [a, b[ et on a
_
b
x
f =
b
O
_
_
b
x
g
_
.
2. Si f =
b
O(g) alors f est intgrable sur [a, b[ et on a
_
b
x
f =
b
o
_
_
b
x
g
_
.
3. Si f
b
g alors f est intgrable sur [a, b[ et on a
_
b
x
f
b
_
_
b
x
g
_
.
On suppose que
_
b
a
g diverge.
1. Si f =
b
O(g) alors
_
x
a
f =
b
O
__
x
a
g
_
.
2. Si f =
b
o(g) alors
_
x
a
f =
b
o
__
x
a
g
_
.
3. Si f
b
g alors
_
b
a
g diverge et on a
_
x
a
f
b
__
x
a
g
_
.
Dmonstration :
Cas o
_
b
a
g converge :
1. Si f =
b
O(g) alors M 0, c [a, b[ tels que [f[ Mg sur [c, b[. On a g intgrable sur [a, b[ donc g intgrable
sur [c, b[, or [f[ Mg sur [c, b[ donc f intgrable sur [c, b[. On a f continue par morceaux sur [a, c] donc f est
intgrable sur [a, c] et par suite f est intgrable sur [a, b[.
On a [f[ Mg sur [c, b[ donc x [c, b[,
_
b
x
f
_
b
x
[f[ M
_
b
x
g do
_
b
x
f =
b
O
_
_
b
x
g
_
.
2. Si f =
b
o(g) alors f =
b
O(g) donc f est intgrable sur [a, b[. Soit > 0, on a f =
b
o(g) donc c [a, b[ tel que
[f[ g sur [c, b[ donc x [c, b[,
_
b
x
f
_
b
x
[f[
_
b
x
g do
_
b
x
f =
b
o
_
_
b
x
g
_
.
3. Si f
b
g alors f =
b
O(g) donc f est intgrable sur [a, b[. On a, en plus, f g =
b
o(g) donc
_
b
x
f
_
b
x
g =
_
b
x
(f g) = o
_
_
b
x
g
_
do
_
b
x
f
b
_
_
b
x
g
_
.
Cas o
_
b
a
g diverge :
1. Si f =
b
O(g) alors M 0, c [a, b[ tels que [f[ Mg sur [c, b[ donc x [a, b[,
_
x
a
f
_
x
a
[f[ M
_
x
a
g
do
_
x
a
f =
b
O
__
x
a
g
_
.
2. Si f =
b
o(g) et > 0 alors c
1
[a, b[ tel que [f[ g sur [c
1
, b[.
On a
_
b
a
g diverge donc c
2
[a, b[ tel que x [c
2
, b[,
_
x
a
[f[
_
x
a
g.
On pose c = max(c
1
, c
2
) donc x [c, b[,
_
x
a
f

_
x
a
[f[ =
_
c
1
a
[f[ +
_
x
c
1
[f[
_
x
a
g +
_
x
c
1
g
_
x
a
g +
_
x
a
g = 2
_
x
a
g do
_
x
a
f =
b
o
__
x
a
g
_
.
3. Si f
b
g alors f est positive au voisinage de b et [f[
b
g. Supposons que
_
b
a
f converge. On a f positive au
voisinage de b donc
_
b
a
f et
_
b
a
[f[ sont de mme nature do
_
b
a
[f[ converge. On a [f[
b
g et
_
b
a
[f[ convege
donc
_
b
a
g converge. Absurde, donc donc
_
b
a
g diverge.
On a f
b
g donc f g =
b
o(g) donc
_
x
a
f
_
x
a
g =
_
x
a
(f g) = o
__
x
a
g
_
do
_
x
a
f
b
__
x
a
g
_
.
Remarques : Soient a < b +et f, g : [a, b[R deux applications continues par morceaux.
Les thorme prcdent reste vrai si g garde un signe constant au voisinage de b.
Si f
b
g alors f et g ont le mme signe au voisinage de b.
Si f
b
g et g garde un signe constant au voisinage de b alors
_
b
a
f et
_
b
a
g sont de mme nature.
Si f
b
g et g change de signe au voisinage de b alors
_
b
a
f et
_
b
a
g ne sont pas forcment de mme nature. En effet,
soient f(x) =
sin x
x
et g(x) =
sin x
x+sin x
. On a f(x)
+
g(x).
Lintgrale
_
+
1
f converge car x 1,
_
x
1
f(t)dt = cos 1
cos x
x

_
x
1
cos t
2t
t
dt avec t
cos t
t
t
intgrable sur
[1, +[. On a
sin x
x + sin x
=
+
sin x
x

sin
2
x
x
+O
_
1
x
x
_
donc
_
+
1
g et
_
+
1
sin
2
x
x
sont de mme nature.
Or x 1,
_
x
1
sin
2
t
t
dt =
_
x
1
1 cos 2t
2t
dt =
1
2
ln x
1
2
_
x
1
cos 2t
t
dt =
1
2
ln x+
1
4
sin 2
1
4
sin 2x
x
+
1
4
_
x
1
sin 2t
t
2
dt
avec t
sin 2t
t
2
intgrable sur [1, +[ car

sin 2t
t
2

1
t
2
donc lintgrale
_
+
1
sin
2
t
t
dt diverge et par suite lintgrale
_
+
0
sin x
x + sin x
dx diverge.
Corollaire 1.3.1 Soient I un intervalle non vide de R, f : I R continue par morceaux sur I et x
0
I.
Si f admet le dveloppement limit en x
0
lordre n f(x) = a
0
+ a
1
(x x
0
) + + a
n
(x x
0
)
n
+ o((x x
0
)
n
) alors
lapplication x
_
x
x
0
f(t)dt admet un dveloppement limit en x
0
lordre n + 1 donn par
_
x
x
0
f(t)dt = a
0
(x x
0
) +
1
2
a
1
(x x
0
)
2
+ +
1
n + 1
a
n
(x x
0
)
n+1
+o((x x
0
)
n+1
).
2 Sries dans un espace vectoriel norm :
2.1 Sries dans un espace vectoriel norm :
Dnition 2.1.1 Soient E un K-espace vectoriel et (u
n
) E
N
.
On appelle srie de terme gnral u
n
la suite (S
n
) dnie par n N, S
n
=
n
k=0
u
k
. On la note
u
n
.
n 0, S
n
=
n
k=0
u
k
sappelle la somme partielle dordre n de la srie
u
n
et (S
n
) sappelle la suite des sommes partielles
de la srie
u
n
.
On note o(E) lensemble des sries dans E.
Remarques : Soit E un K-espace vectoriel.
Les sries de E sont dites numriques si E = K, relles si E = R et complexes si E = C.
Soit

u
n
o(E). Le terme gnral de la srie

u
n
est donn en fonction des termes de la suite (S
n
) des sommes
partielles par u
0
= S
0
et n 1, u
n
= S
n
S
n1
.
Une srie de E est une suite de E. Rciproquement, la suite (u
n
) E
N
est la srie

v
n
dnie par v
0
= u
0
et
n 1, v
n
= u
n
u
n1
. En effet, S
0
= v
0
= u
0
et n 1, S
n
=
n
k=0
v
k
= v
0
+
n
k=1
v
k
= u
0
+
n
k=1
(u
k
u
k1
) =
u
0
+u
n
u
0
= u
n
.
Soit n
0
N et (v
n
)
nn
0
E
N
. La srie de terme gnral v
n
est la suite (S
n
)
nn
0
dnie par n n
0
, S
n
=
n
k=n
0
v
k
.
On la note
nn
0
v
n
.
n n
0
, S
n
=
n
k=n
0
v
k
sappelle la somme partielle dordre n de la srie
nn
0
v
n
et (S
n
)
nn
0
sappelle la suite des
sommes partielles de la srie
nn
0
v
n
. Quitte complter par des zros on peut toujours considrer que n
0
= 0.
Soit
u
n
o(E) et n
0
N. La srie
nn
0
u
n
sappelle la srie dduite de
u
n
par troncature au rang n
0
.
Proposition 2.1.1 Soit E un K-espace vectoriel. Lensemble o(E) muni des oprations :

u
n
,
v
n
o(E),
u
n
+
v
n
=
(u
n
+v
n
).

u
n
o(E), K,
u
n
=
(u
n
).
Est un K-espace vectoriel.
2.2 Sries convergentes dans un espace vectoriel norm :
Dnition 2.2.1 Soient E un K-espace vectoriel norm et
u
n
o(E).
On dit que
u
n
converge si la suite (S
n
) des sommes partielles de
u
n
converge.
Dans ce cas :
1. limS
n
sappelle la somme de
u
n
et on la note
+
n=0
u
n
.
2. On appelle suite des restes de la srie
u
n
la suite (R
n
) dnie par n N, R
n
=
+
k=n+1
u
k
.
Une srie qui nest pas convergente est dite divergente.
Remarques : Soient E un K-espace vectoriel norm.
Soit
u
n
o(E) convergente. On pose, respectivement, S, (S
n
) et (R
n
) la somme, la suites des sommes partielles et
la suite des restes de
u
n
. Alors :
1. R
n
0.
2. n N, S = S
n
+R
n
.
3. n N, u
n
= R
n1
R
n
.
Soit n
0
N et
nn
0
u
n
o(E). On dit que
nn
0
u
n
converge si la suite (S
n
)
nn
0
des sommes partielles de
nn
0
u
n
converge. Dans ce cas limS
n
sappelle la somme de
nn
0
u
n
et on la note
+
n=n
0
u
n
.
Soient n
0
N et
u
n
o(E). Les sries
u
n
et
nn
0
u
n
sont de mme nature.
Soient

u
n
,
v
n
o(E). Si lensemble n N/u
n
,= v
n
est ni alors les sries

u
n
et

v
n
sont de mme
nature.
Proposition 2.2.1 Soient E un K-espace vectoriel norm et
u
n
o(E). Si la srie
u
n
converge alors u
n
0.
Dmonstration :
Soit (S
n
) la suite des somme partielles de
u
n
. La srie
u
n
converge donc (S
n
) converge donc u
n
= S
n
S
n1
0.
Remarque : La rciproque est fausse, on a
1
n
0 mais la srie
1
n
diverge.
Proposition 2.2.2 Soient E un K-espace vectoriel norm et
u
n
,
v
n
o(E) convergente. Alors :

(u
n
+v
n
) converge et on a
+
n=0
(u
n
+v
n
) =
+
n=0
u
n
+
+
n=0
v
n
.
K,
(u
n
) converge et on a
+
n=0
(u
n
) =
+
n=0
u
n
.
En particulier, lensemble des sries convergentes est un sous-espace vectoriel de o(E).
Remarques :
Soient E un K-espace vectoriel norm et
u
n
,
v
n
o(E) :
1. Si la srie
(u
n
+v
n
) converge alors les sries
u
n
et
v
n
sont de mme nature.
2. Si K non nul alors les sries
u
n
et
u
n
sont de mme nature.
Soit / une K-algbre norme, a E et
u
n
convergente. Les applications x ax et x xa sont continues sur /
donc a
+
n=0
u
n
=
+
n=0
(au
n
) et
_
+
n=0
u
n
_
a =
+
n=0
(u
n
a).
Proposition 2.2.3 Soeint E
1
, . . . , E
p
des K-espaces vectoriels norms, E = E
1
. . . E
p
muni de la norme produit et
u
n
o(E).
On note n N, u
n
= (u
n
1
, . . . , u
n
p
). Alors :

u
n
= (
u
n
1
, . . . ,
u
n
p
).

u
n
converge ssi i 1, p,
n
u
n
i
converge. Dans ce cas
+
n=0
u
n
= (
+
n=0
u
n
1
, . . . ,
+
n=0
u
n
p
).
Corollaire 2.2.4 Soit E un K-espace vectoriel norm de dimension nie p N
, B = (e
1
, . . . , e
p
) une base de E et (u
n
) E
N
.
On note n N, u
n
= u
n
1
e
1
+ +u
n
p
e
p
.
La srie

u
n
converge si et seulement si i 1, . . . , p,
n
u
n
i
converge et dans ce cas
+
n=0
u
n
=
_
+
n=0
u
n
1
_
e
1
+ +
_
+
n=0
u
n
p
_
e
p
.
Remarque : Dans la proposition prcdente, on a linterversion :
+
n=0
_
p
k=1
u
n
k
e
k
_
=
p
k=1
_
+
n=0
u
n
k
_
e
k
.
Exemples :
Soit
z
n
o(C). Alors :
1.

z
n
converge ssi
1e z
n
et
mz
n
convergent.
2. En cas de convergence
+
n=0
z
n
=
+
n=0
1e z
n
+
+
n=0
mz
n
.
3. En cas de convergence 1e
_
+
n=0
z
n
_
=
+
n=0
1e z
n
et m
_
+
n=0
z
n
_
=
+
n=0
mz
n
.
Soient m, n N
et
A
n
o(/
mn
(K)). Alors :
1.

A
n
converge ssi i 1, . . . m, j 1, . . . n,
a
n
ij
converge.
2. En cas de convergence
+
n=0
A
n
=
_
+
n=0
a
n
ij
_
ij
.
3. En cas de convergence, si on pose A =
+
n=0
A
n
alors i 1, . . . m, j 1, . . . n, a
ij
=
+
n=0
a
n
ij
.
2.3 Sries dans un espace de Banach :
Thorme 2.3.1 (Critre de Cauchy) Soient E un K-espace de Banach et
u
n
o(E).
u
n
converge ssi > 0, N N, q p N,
_
_
_
_
_
q
n=p
u
n
_
_
_
_
_
.
On pose (S
n
) la suite des sommes partielles de
u
n
. On a :
u
n
converge (S
n
) converge
(S
n
) de Cauchy
> 0, N N, q p N, |S
q
S
p1
|
> 0, N N, q p N,
_
_
_
_
_
q
n=0
u
n

p1
n=0
u
n
_
_
_
_
_

> 0, N N, q p N,
_
_
_
_
_
q
n=p
u
n
_
_
_
_
_

Remarque : La proposition est fausse si lespace nest pas suppos de Banach. En effet, on considre la srie

X
n
n
dans
lespace K[X] muni de la norme ||
.
On a > 0, N N,
1
N
donc N p q,
_
_
_
_
_
q
n=p
X
n
n
_
_
_
_
_
=
1
p

1
N
do la srie
X
n
n
vrie le critre de Cauchy.
Supposons que la srie
X
n
n
converge vers P =
d
k=0
a
k
X
k
K[X]. On a :
n d + 1,
_
_
_
_
_
n
k=1
X
k
k
P
_
_
_
_
_
= sup
_
[a
0
[, [a
1
1[, . . . ,
a
d

1
d
,
1
d + 1
, . . . ,
1
n
_
1
d + 1
> 0
Donc
_
_
_
_
_
n
k=1
X
k
k
P
_
_
_
_
_
, 0. Absurde, la srie
X
n
n
est alors divergente.
u
n
o(E).
On dit que
u
n
converge absolument si la srie
|u
n
| est convergente.
Proposition 2.3.1 Soit E un K-espace de Banach et
u
n
o(E).
Si la srie
u
n
est absolument convergente alors elle est convergente et on a
_
_
_
_
_
+
n=0
u
n
_
_
_
_
_
n=0
|u
n
|.
Dmonstration :
Soit > 0. La srie
u
n
est absolument convergente donc la srie
|u
n
| converge do N N, q p N,
q
n=p
|u
n
|
.
Donc q p N,
_
_
_
_
_
q
n=p
u
n
_
_
_
_
_
n=p
|u
n
| . On dduit que la srie
u
n
vrie le critre de Cauchy, or E est Banach donc
u
n
est convergente.
On a n N,
_
_
_
_
_
n
k=0
u
n
_
_
_
_
_
k=0
|u
k
|
+
k=0
|u
k
| donc, par passage la limite,
_
_
_
_
_
+
k=0
u
n
_
_
_
_
_
k=0
|u
k
|.
Remarques :
La proposition est fausse si lespace nest pas suppos de Banach. En effet, on considre la srie
1
n
2
X
n
dans lespace
K[X] muni de la norme ||
.
On a n N
,
_
_
X
n
n
2
_
_
=
1
n
2
et la srie
1
n
2
converge donc la srie
X
n
n
2
converge absolument.
Supposons que la srie
X
n
n
2
converge vers P =
d
k=0
a
k
X
k
K[X]. On a :
n d + 1,
_
_
_
_
_
n
k=1
X
k
k
2
P
_
_
_
_
_
= sup
_
[a
0
[, [a
1
1[, . . . ,
a
d

1
d
2
,
1
(d + 1)
2
, . . . ,
1
n
2
_
1
(d + 1)
2
> 0
Donc
_
_
_
_
_
n
k=1
X
n
n
2
P
_
_
_
_
_
, 0. Absurde, la srie
X
n
n
2
est alors divergente.
Une srie relle convergente dont le terme gnral garde un signe constant partir dun certain rang est absolument
convergente.
Une srie convergente nest pas forcment absolument convergente. En effet, la srie
(1)
n
n
est convergente mais nest
pas absolument convergente.
Dnition 2.3.2 Soit E un K-espace vectoriel norm.
Une srie convergente qui nest pas absolument convergente est dite semi-convergente.
Remarques :
La srie
(1)
n
n
est semi-convergente.
Soit

a
n
une srie relle semi-convergente. On pose n N, a
+
n
= sup(a
n
, 0) et a
n
= sup(a
n
, 0) donc n
N, a
n
= a
+
n
a
n
et [a
n
[ = a
+
n
+a
n
.
On a

a
n
=
(a
+
n
a
n
) converge donc les sries

a
+
n
et

a
n
sont de mme nature. Dautre part

[a
n
[ =
(a
+
n
+ a
n
) diverge donc les sries

a
+
n
et

a
n
divergent et par suite
+
n=0
a
+
n
=
+
n=0
a
n
= +. On dduit, en
particulier, que les ensembles n N/a
n
> 0 et n N/a
n
< 0 sont innies.
Soit

(1)
n
a
n
une srie alterne semi-convergente avec n N, a
n
0. On a
+
n=0
a
2n
=
+
n=0
a
2n+1
= +. En
particulier, que les ensembles n N/a
2n
> 0 et n N/a
2n+1
> 0 sont innies.
u
n
o(E).
On dit que

u
n
est commutativement convergente si : N N bijective la srie

u
(n)
converge et on a
+
n=0
u
(n)
=
+
n=0
u
n
.
Remarques :
Si une srie converge commutativement alors lordre de sommation nest pas important.
On sait que 1
1
2
+
1
3

1
4
+
1
5

1
6
+
1
7

1
8
+
1
9

1
10
+
1
11

1
12
+ = ln 2.
Alors quavec cette permutation : 1
1
2
1
4
+
1
3
1
6
1
8
+
1
5
1
10
1
12
+
1
7
1
14
1
16
=
1
2
1
4
+
1
6
1
8
+
1
10
1
12
+ =
ln 2
2
.
Donc la srie
(1)
n1
n
nest pas commutativement convergente.
Proposition 2.3.2 Soient E un K-espace de Banach et et
u
n
o(E).
Si la srie
u
n
est absolument convergente alors elle est commutativement convergente.
Dmonstration :
Soit : N N une bijection et > 0.
On a
u
n
converge absolument dans un Banach donc
u
n
converge. Posons S =
+
n=0
u
n
.
On a
u
n
et
|u
n
| convergent donc N
1
N, m n N
1
,
_
_
_
_
_
n
k=0
u
k
l
_
_
_
_
_
et
m
k=n
|u
k
| .
On pose N
2
= max
1
(0), . . . ,
1
(N
1
), N = max(N
1
, N
2
) et soit n N.
On a
_
_
_
_
_
n
k=0
u
(k)
l
_
_
_
_
_
_
_
_
_
_
n
k=0
u
k
l
_
_
_
_
_
+
_
_
_
_
_
n
k=0
(u
(k)
u
k
)
_
_
_
_
_
.
On a n N N
1
donc
_
_
_
_
_
n
k=0
u
k
l
_
_
_
_
_
.
Posons A = 0, . . . , n et B = (A) donc
n
k=0
(u
(k)
u
k
) =
kA
u
(k)
kA
u
k
=
kB
u
k
kA
u
k
=
kB\A
u
k
kA\B
u
k
do
_
_
_
_
_
n
k=0
(u
(k)
u
k
)
_
_
_
_
_
_
_
_
_
_
_
kB\A
u
k
_
_
_
_
_
_
+
_
_
_
_
_
_
kA\B
u
k
_
_
_
_
_
_
kB\A
|u
k
| +
kA\B
|u
k
| =
k(AB)\(AB)
|u
k
|.
On a n N N
1
donc 0, . . . , N
1
A.
On a n N N
2
= max
1
(0), . . . ,
1
(N
1
) donc
1
(0), . . . ,
1
(N
1
) A do 0, . . . , N
1
(A) = B.
On dduit que 0, . . . , N
1
A B.
Posons m = max(AB) donc AB 0, . . . , m do (AB) (AB) 0, . . . , m0, . . . , N
1
= N
1
+1, . . . , m.
Donc
_
_
_
_
_
n
k=0
(u
(k)
u
k
)
_
_
_
_
_
k(AB)\(AB)
|u
k
|
m
k=N
1
+1
|u
k
| .
On dduit que n N,
_
_
_
_
_
n
k=0
u
(k)
l
_
_
_
_
_
2 donc la srie
u
(n)
converge et
n
k=0
u
(k)
= l.
La srie
u
n
est alors commutativement convergente.
Remarques :
Une srie relle convergente dont le terme gnral est de signe constant partir dun certain rang est commutativement
convergente.
Soient E un K-espace de Banach. Si

u
n
o(E) est absolument convergente alors lordre de sommation nest pas
important.
3 Familles dnombrables absoluments sommables
3.1 Familles sommables de rels positifs :
Dnition 3.1.1 Un ensemble I est dit :
Dnombrable sil existe un application de N vers I bijective.
Au plus dnombrable sil est ni ou dnombrable.
Notations : Soient E un K-espace vectoriel, I un ensemble au plus dnombrable et (x
i
)
iI
une famille dlments de E.
On note :
T
f
(I) lensmble des parties nies de I.
J T
f
(I), S
J
=
iJ
x
i
.
S
= 0.
Dnition 3.1.2 Soient I un ensemble au plus dnombrable et (x
i
)
iI
une famille de rels positifs.
On dit que la famille (x
i
)
iI
est sommable si M 0, J T
f
(I), S
J
M.
Dans ce cas, sup
JP
f
(I)
S
J
sappelle la somme de la famille (x
i
)
iI
et on le note
iI
x
i
.
Remarque : Soient I un ensemble et (x
i
)
iI
Si I est ni alors la famille (x
i
)
iI
est sommable et on a
iI
x
i
= S
I
.
Proposition 3.1.1 Soient I un ensemble au plus dnombrable, J I et (x
i
)
iI
Si la famille (x
i
)
iI
est sommable alors la famille (x
i
)
iJ
iJ
x
i

iI
x
i
.
Dmonstration :
On a pour tout K T
f
(J) on a K T
f
(I) donc
iK
a
i

iI
a
i
do la famille (x
i
)
iJ
iJ
a
i

iI
a
i
.
Remarque : Soient I un ensemble au plus dnombrable et (x
i
)
iI
A, B I, A B
iA
x
i

iB
x
i

iI
x
i
.
Soient (J
n
) une famille croissante de parties de I (i.e J
n
J
n+1
) dunion I (i.e
+
_
n=0
J
n
= I). Alors J T
f
(I), n
N, J J
n
.
En effet, soit J T
f
(I). On a J I =
+
_
n=0
J
n
donc k J, n
k
N, k J
n
k
. On pose n = maxn
k
/k J donc
k J, n
k
n. La famille (J
m
)
m
est croissante donc k J
n
k
J
n
do J J
n
.
Si (J
n
) une famille croissante de parties nies de I dunion I alors la suite (S
J
n
) est croissante. En particulier, elle
converge si et seulement si elle est majore. En cas de convergence on a limS
J
n
= sup S
J
n
.
Proposition 3.1.2 Soient I un ensemble au plus dnombrable, (x
i
)
iI
une famille de rels positifs et (J
n
) une famille croissante
de parties nies de I dunion I.
La famille (x
i
)
iI
est sommable si et seulement si la suite (S
J
n
) est majore si et seulement si la suite (S
J
n
) est convergente.
Dans ce cas,
iI
x
i
= sup S
J
n
= limS
J
n
.
Dmonstration :
) Si la famille (x
i
)
iI
est sommable alors M 0, J T
f
(I), S
J
M. En particulier, n N, S
J
n
M. Donc la suite
(S
J
n
) est majore.
) On a (S
J
n
) est majore donc M 0, n N, S
J
n
M.
Soit J T
f
(I). La famille (J
n
) est croissante dunion I donc n N, J J
n
do S
J
S
J
n
M. La famille (x
i
)
iI
est
alors sommable.
La famille (x
i
)
iI
est sommable donc J T
f
(I), S
J

iI
x
i
. En particulier, n N, S
J
n

iI
x
i
do sup S
J
n

iI
x
i
.
Soit J T
f
(I). On a (J
n
) est une famille croissante de parties nies de I dunion I donc n N, J J
n
do S
J
S
J
n

sup S
J
n
et par suite
iI
x
i
sup S
J
n
. Do lgalit.
Corollaire 3.1.3 Soit
x
n
une srie termes positifs.
La srie
x
n
converge ssi la famille (x
n
) est sommable. Dans ce cas
nN
x
n
=
+
n=0
x
n
.
Dmonstration :
Pour tout n N on pose J
n
= 0, . . . , n. On a (J
n
) est une famille croissante de parties nies de N dunion N donc la famille
(x
n
) est sommable ssi la suite (S
J
n
) est convergente.
On a n N, S
J
n
=
k0,n
x
k
=
n
k=0
x
k
donc la famille (x
n
) est sommable si et seulement si la suite des sommes partielles
de la srie
x
n
converge si et seulement si la srie
a
n
converge.
Dans ce cas,
nN
x
n
= limS
J
n
= lim
n
k=0
x
k
=
+
n=0
x
n
.
3.2 Familles absolument sommables :
Dnition 3.2.1 Soient E un K-espace vectoriel norm, I un ensemble au plus dnombrable et (a
i
)
iI
une famille dlments
de E.
On dit que la famille (a
i
)
iI
est absolument sommable si la famille (|a
i
|)
iI
est sommable.
Proposition 3.2.1 Soient E un K-espace vectoriel norm, I un ensemble au plus dnombrable, J I et (a
i
)
iI
une famille
dlments de E.
Si la famille (a
i
)
iI
est absolument sommable alors la famille (a
i
)
iJ
est absolument sommable et on a
iJ
|a
i
|
iI
|a
i
|.
Dmonstration :
La famille (a
i
)
iI
est absolument sommable donc la famille (|a
i
|)
iI
est sommable donc la famille (|a
i
|)
iJ
est sommable
do la famille (a
i
)
iJ
est absolument sommable.
On a, en plus,
iJ
|a
i
|
iI
|a
i
|.
Proposition et dnition 3.2.1 Soient E un K-espace de Banach, I un ensemble au plus dnombrable, (J
n
) une famille crois-
sante de parties nies de I dunion I et (a
i
)
iI
Si la famille (a
i
)
iI
est absolument sommable alors la suite (S
J
n
) est convergente et on a limS
J
n
ne dpend pas du choix de
(J
n
).
limS
J
n
sappelle la somme de (a
i
)
iI
, on le note
iI
a
i
.
Dmonstration :
Pour tout J T
f
(I) on pose T
J
=
iJ
|a
i
| et soit > 0.
La famille (|a
i
|)
iI
est sommable donc la suite (T
J
n
) est convergente do elle est de Cauchy. Il existe alors N
1
N, n
m N
1
, T
J
n
T
J
m
.
On a n m N
1
, |S
J
n
S
J
m
| = |S
J
n
\J
m
| =
_
_
_
_
_
_
kJ
n
\J
m
a
k
_
_
_
_
_
_
kJ
n
\J
m
|a
k
| = T
J
n
T
J
m
donc la suite (S
J
n
) est
de Cauchy. Or, E est Banach, donc elle est convergente et posons S sa limite.
On a m n N
1
, |S
J
m
S
J
n
| donc, si m +alors n N
1
, |S S
J
n
| .
Soit (I
n
) une famille croissante de parties nies de I dunion I donc N
2
N, J
N
1
I
N
2
. Posons N = max(N
1
, N
2
) donc
J
N
1
I
N
.
Soit n N donc J
N
1
I
N
I
n
. dautre part, la famille (J
n
) est croissante dunion I donc m N, I
n
J
m
. On a
J
N
1
I
n
J
m
donc N
1
m.
On a |S
I
n
S| |S
I
n
S
J
m
| +|S
J
m
S| = |S
J
m
\I
n
| +|S
J
m
S| T
J
m
\I
n
+|S
J
m
S|.
On a m N
1
donc |S
J
m
S| .
On a J
N
1
I
n
donc (J
m
I
n
) (J
m
J
N
1
) donc T
J
m
\I
n
T
J
m
\J
N
1
T
J
m
T
J
N
1
.
On dduit que |S
I
n
S| 2 donc la suite (S
I
n
) converge vers S do S ne dpend pas du choix de la suite (J
n
).
Corollaire 3.2.2 Soient E un K-espace de Banach, I un ensemble au plus dnombrable et (a
i
)
iI
une famille dlments de
E.
Si la famille (a
i
)
iI
est absolument sommable alors
_
_
_
_
_
iI
a
i
_
_
_
_
_
iI
|a
i
|.
Dmonstration :
Soit (J
n
) une famille croissante de parties nies de I dunion I. On a n N, |S
J
n
|
iJ
n
|a
i
|
iI
|a
i
|.
Donc, par passage la limite,
_
_
_
_
_
iI
a
i
_
_
_
_
_
iI
|a
i
|.
Proposition 3.2.3 Soient E un K-espace de Banach et
x
n
une srie lments dans E.
La srie
x
n
est absolument convergente ssi la famille (x
n
) est absolument sommable. Dans ce cas
nN
x
n
=
+
n=0
x
n
.
Dmonstration :
La srie

x
n
converge absolument ssi la srie

|x
n
| converge ssi la famille (|x
n
|) est sommable ssi la famille (x
n
) est
absolument sommable.
Pour tout n N on pose J
n
= 0, n. On a (J
n
) est une suite croissante de parties nies de N dunion N donc
nN
x
n
=
limS
J
n
= lim
n
k=0
x
k
=
+
n=0
x
n
.
Lemme 3.2.4 Soient E un K-espace de Banach, I un ensemble au plus dnombrable, J I et (a
i
)
iI
une famille dlments
de E.
Si la famille (a
i
)
iI
est absolument sommable alors les familles (a
i
)
iJ
et (a
i
)
iI\J
sont absolument sommables et on a
iI\J
a
i
=
iI
a
i

iJ
a
i
.
Dmonstration :
Daprs la proposition prcdente, les familles (a
i
)
iJ
et (a
i
)
iI\J
sont absolument sommables.
Soit (I
n
) une famille croissante de parties nies de I dunion I. On a (I
n
I) et (I
n
(I J)) sont deux familles croissantes
de parties nies dunions respectives J et I J. Donc lim
iI
n
J
a
i
=
iJ
a
i
et lim
iI
n
(I\J)
a
i
=
iI\J
a
i
.
On a n N,
iI
n
a
i
=
iI
n
J
a
i
+
iI
n
(I\J)
a
i
donc, par passage la limite,
iI
a
i
=
iJ
a
i
+
iI\J
a
i
. Do le rsultat.
Proposition 3.2.5 Soient E un K-espace de Banach, I un ensemble au plus dnombrable, (J
n
)
nN
une suite croissante de
parties de I (non ncssairement nies) dunion I et (a
i
)
iI
Si la famille (a
i
)
iI
1. n N la famille (a
i
)
iJ
n
2. La suite
_
iJ
n
a
i
_
nN
converge.
3. lim
n+
iJ
n
a
i
=
iI
a
i
.
Dmonstration :
Soit > 0. On a (x
i
)
iI
est absolument sommable donc n N, (x
i
)
iJ
n
Il existe K T
f
(I) tel que
iI
|x
i
|
iK
|x
i
| .
On a la suite (J
n
)
nN
est croissante telle que
_
nN
J
n
= I donc N N, n N, K J
n
.
On a n N,
_
_
_
_
_
iI
x
i

iJ
n
x
i
_
_
_
_
_
=
_
_
_
_
_
_
iI\J
n
x
i
_
_
_
_
_
_
iI\J
n
|x
i
|
iI\K
|x
i
| car I J
n
I K.
On dduit quee la suite
_
iJ
n
a
i
_
nN
converge et lim
n+
iJ
n
a
i
=
iI
a
i
.
3.3 Sommation par paquets ou regroupement :
Lemme 3.3.1 Soit I un ensemble au plus dnombrable. Si (I
k
)
kK
est une partition de I alors K est au plus dnombrable.
Dmonstration :
Soit lapplication f : I K dnie par f(i) = k si a
i
I
k
. Lapplication f est bien dnie et surjective car (I
k
)
kK
une
partition de I. Or I est dnombrable donc K est au plus dnombrable.
Proposition 3.3.2 (Sommation par paquets ou regroupement) Soient E un K-espace de Banach, I un ensemble au plus d-
nombrable, (I
k
)
kK
une partition de I et (a
i
)
iI
Si la famille (a
i
)
iI
est absolument sommable alors :
1. k K la famille (a
i
)
iI
k
est absolument sommable. On note S
k
=
iI
k
a
i
.
2. La famille (S
k
)
kK
3.
kK
S
k
=
iI
a
i
. Autrement dit
kK
iI
k
a
i
=
iI
a
i
.
Dmonstration :
La famille (a
i
)
iI
est absolument sommable et k K, I
k
I donc la famille k K, (a
i
)
iI
k
est absolument sommable et
_
_
_
_
_
iI
k
a
i
_
_
_
_
_
iI
k
|a
i
|.
Pour tout k K on considre (I
p
k
)
p
une suite croissante de parties nies de I
k
dunion I
k
.
Soit J T
f
(K). On a
kJ
|S
k
| =
kJ
_
_
_
_
_
iI
k
a
i
_
_
_
_
_
kJ
iI
k
|a
i
| =
kJ
lim
p
iI
p
k
|x
i
| = lim
p
kJ
iI
p
k
|x
i
|.
On a p N,
kJ
iI
p
k
|a
i
| =
i
_
pJ
I
p
k
|a
i
|
iI
|a
i
| donc
kJ
|S
k
|
iI
|a
i
| do la famille (S
k
)
kK
est absolument
sommable.
Soit (K
q
) une suite coissante de parties nies de K dunion K. On a
kK
S
k
=
kK
iI
k
a
i
= lim
q+
kK
q
lim
p+
iI
p
k
a
i
=
lim
q+
lim
p+
kK
q
iI
p
k
a
i
= lim
q+
lim
p+
i
_
kK
q
I
p
k
a
i
.
La famille
_
_
_
kK
q
I
p
k
_
_
p
est une suite croissante de parties nies dunion
_
kK
q
I
k
donc lim
p+
i
_
kK
q
I
p
k
a
i
=
i
_
kK
q
I
k
a
i
.
Donc
kK
S
k
= lim
q+
i
_
kK
q
I
k
a
i
.
De mme la famille
_
_
_
kK
q
I
k
_
_
q
est une suite croissante de parties de I dunion I donc lim
q+
i
_
kK
q
I
k
a
i
=
iI
a
i
. Do
le rsultat.
Remarque :
Soient E un K-espace de Banach, I un ensemble au plus dnombrable, (I
k
)
kK
i
)
iI
une famille
dlments de E.
Si k K la famille (a
i
)
iI
k
est absolument sommable de somme S
k
et la famille (S
k
)
kK
la famille (a
i
)
iI
nest pas forcment sommable. En effet, pour la famille ((1)
n
) et la partition n N, I
n
= 2n, 2n + 1
de N on a n N la famille (a
i
)
iI
n
n
= 0 et la famille (S
n
) est absolument sommable
mais la famille ((1)
n
) nest pas absolument sommable car
(1)
n
nest pas absolument convergente.
Corollaire 3.3.3 (Sommation par paquets - Cas des sries) Soit Soient E un K-espace de Banach, (I
k
)
kK
une partition de N
et
x
n
Si la srie
x
n
est absolument convergente alors :
1. k K la famille (x
i
)
iI
k
k
sa somme.
2. La famille (S
k
)
kK
3. On a
kK
S
k
=
kK
iI
k
x
i
. Autrement dit :
+
n=0
x
n
=
kK
iI
k
x
i
Dmonstration :
La srie
x
n
est absolument convergente donc la famille (x
n
) est absolument sommable do :
i
)
iI
k
k
sa somme.
2. La famille (S
k
)
kK
3. On a
+
n=0
x
n
=
nN
x
n
=
kK
S
k
=
kK
iI
k
x
i
.
Remarque : Si la srie nest pas absolument convergente alors on ne peut pas sommer par paquets. Autrement dit, on na pas
forcment
+
n=0
x
n
=
kK
iI
k
x
i
mme si k K, (x
i
)
iI
k
k
et la famille (S
k
)
kK
est
absolument sommable.
En effet, on sait que la srie
n1
(1)
n1
n
est semi-convergente de somme ln 2.
On pose n N, I
n
= 2n + 1, 4n + 2, 4n + 4 donc (I
n
)
nN
forme une partition de N.
On a n N, I
n
est ni donc n N,
_
(1)
p1
p
_
pI
n
n
=
1
2n+1

1
4n+2

1
4n+4
=
1
4n+2

1
4n+4
=
2
(4n+2)(4n+4)
=
1
(4n+2)(2n+2)
.
On a n N, S
n

1
8n
2
donc la srie
S
n
est absolument convergente do la famille (S
n
) est abslument sommable.
Mais
+
n=0
S
n
=
+
n=0
_
1
4n + 2

1
4n + 4
_
=
1
2
+
n=0
_
1
2n + 1

1
2n + 2
_
=
1
2
+
n=1
(1)
n1
n
=
ln 2
2
,= ln 2.
Proposition 3.3.4 (Critre sufsant dabsolue sommabilit) Soient E un K-espace de Banach, I un ensemble au plus dnom-
brable, (I
k
)
kK
i
)
iI
On suppose que :
1. k K la famille (a
i
)
iI
k
est absolument sommable et on pose T
k
=
iI
k
|a
i
|.
2. La famille (T
k
)
kK
est sommable.
Alors la famille (a
i
)
iI
Dmonstration :
Soit J T
f
(I). On pose L = k K/I
k
J ,= . On a J est ni donc L est ni.
On a (I
k
J)
kL
est une partition de J donc
iJ
|a
i
| =
kL
iI
k
J
|a
i
|.
On a k K la famille (a
i
)
iI
k
est absolument sommable et I
k
J I
k
donc la famille (a
i
)
iI
k
J
est absolument sommable
et on a
iI
k
J
|a
i
|
iI
k
|a
i
| = T
k
.
On dduit que
iJ
|a
i
|
kL
T
k

kK
T
k
donc la famille (a
i
)
iI
est alors absolument sommable.
Corollaire 3.3.5 (Critre sufsant dabsolue convergence - Cas des sries) Soient E un K-espace de Banach, (I
k
)
kK
une
partition de N et
x
n
On suppose que :
i
)
iI
k
est absolument sommable et on pose T
k
=
iI
k
|a
i
|.
2. La famille (T
k
)
kK
Alors la srie
x
n
est absolument convergente.
Corollaire 3.3.6 Sommation par paquets des familles dnombrables des rels positifs :
Soient I un ensemble dnombrable, (I
k
)
kK
une partition de I et (x
i
)
iI
Les assertions suivantes sont quivalente :
La famille (x
i
)
iI
est sommable.
_
_
_
k K la famille (x
i
)
iI
k
est sommable. On pose S
k
=
iI
k
x
i
.
La famille (S
k
)
kK
est sommable.
Dans ce cas,
iI
x
i
=
kK
iI
k
x
i
.
Corollaire 3.3.7 Sommation par paquets des sries de rels positifs :
Soient (I
k
)
kK
une partition de N et
x
n
une srie a termes positifs.
Les assertions suivantes sont quivalente :
La srie
x
n
_
_
_
k K la famille (x
i
)
iI
k
est sommable. On pose S
k
=
iI
k
x
i
.
La famille (S
k
)
kK
est sommable.
Dans ce cas,
+
n=0
x
n
=
kK
iI
k
x
i
.
3.4 Suites doubles :
Thorme 3.4.1 Soit (x
pq
) (R
+
)
N
2
. Les assertions suivantes sont quivalentes :
La famille (x
pq
) est sommable.
_
q N, La srie
p0
x
pq
converge. On pose S
q
=
+
p=0
x
pq
La srie
q0
S
q
converge
.
_
p N, La srie
q0
x
pq
converge. On pose S
p
=
+
q=0
x
pq
La srie
p0
S
p
converge
.
La srie
n0
p+q=n
x
pq
converge.
Dans ce cas
(p,q)N
2
x
pq
=
+
q=0
+
p=0
x
pq
=
+
p=0
+
q=0
x
pq
=
+
n=0
p+q=n
x
pq
.
Dmonstration :
Pour tout n N on pose I
n
= (p, q) N
2
/p = n, J
n
= (p, q) N
2
/q = n et K
n
= (p, q) N
2
/p + q = n donc les
familles (I
n
), (J
n
) et (K
n
) forment 3 partitions de N
2
.
1 2 ) On a :
La famille (x
pq
) est sommable ssi n N, la famille (x
pq
)
(p,q)I
n
est sommable et la famille
_
_

(p,q)I
n
x
pq
_
_
n
est
sommable.
Donc la famille (x
pq
nq
)
qN
_
_

(p,q)I
n
x
pq
_
_
n
est
sommable.
Donc la famille (x
pq
) est sommable ssi n N, la srie
qN
x
nq
converge et la srie
nN
_
+
q=0
x
nq
_
converge.
Dans ce cas,
(p,q)N
2
x
pq
=
+
n=0
+
q=0
x
nq
.
1 3 ) On a :
La famille (x
pq
pq
)
(p,q)J
n
_
_

(p,q)J
n
x
pq
_
_
n
est
sommable.
Donc la famille (x
pq
pn
)
pN
_
_

(p,q)J
n
x
pq
_
_
n
est
sommable.
Donc la famille (x
pq
) est sommable ssi n N, la srie
pN
x
pn
converge et la srie
nN
_
+
p=0
x
pn
_
converge.
Dans ce cas,
(p,q)N
2
x
pq
=
+
n=0
+
p=0
x
pn
.
1 4 ) On a :
La famille (x
pq
pq
)
(p,q)K
n
_
_

(p,q)K
n
x
pq
_
_
n
est
sommable.
Donc la famille (x
pq
) est sommable ssi la famille
_

p+q=n
x
pq
_
n
est sommable (Pour tout n Nla famille (x
pq
)
(p,q)K
n
est sommable car K
n
est ni).
Donc la famille (x
pq
) est sommable ssi la srie
nN
_

p+q=n
x
pq
_
converge.
Dans ce cas,
(p,q)N
2
x
pq
=
+
n=0
p+q=n
x
pq
.
Remarque pratique : Comment montrer quune suite double dun espace de Banach est absolument sommable :
Soient E un K-espace de Banach et (u
pq
) E
N
2
. Pour montrer que la famille (u
pq
) E
N
2
est absolument sommable, on a le
choix entre les 3 techniques suivantes :
1 - On montre que q N,
p0
|u
pq
| converge et en suite on montrer que la srie
q0
_
+
p=0
|u
pq
|
_
converge.
2 - On montre que p N,
p0
|u
pq
| converge et en suite on montrer que la srie
p0
_
+
q=0
|u
pq
|
_
converge.
3 - On montrer que la srie
n0
p+q=n
|u
pq
| converge.
Exemple : Etude de la sommabilit de la famille
_
1
(p+q)
3
_
p,q1
:
Mthode 01 : Soit n 2. On a
p+q=n
1
(p +q)
3
=
n1
p=1
1
n
3
=
n 1
n
3

1
n
2
donc la srie
_

p+q=n
1
(p +q)
3
_
converge
do la famille
_
1
(p +q)
3
_
p,q1
est sommable.
Mthode 02 : Soit q 1. On a
1
(p+q)
3

1
p
3
donc la srie
p1
1
(p +q)
3
converge.
On a
+
p=1
1
(p +q)
3
=
+
p=q+1
1
p
3

1
2q
2
donc la srie
_
+
p=1
1
(p +q)
3
_
converge do la famille
_
1
(p +q)
3
_
1p,q
est
sommable.
Thorme 3.4.2 Soient E un K-espace de Banach et (u
pq
) E
N
2
. Si (u
pq
) E
N
2
est absolument sommable alors :
_
q N, La srie
p0
u
pq
converge absolument. On pose S
q
=
+
p=0
u
pq
La srie
q0
S
q
_
p N, La srie
q0
u
pq
converge absolument. On pose S
p
=
+
q=0
x
pq
La srie
p0
S
p
La srie
n0
p+q=n
x
pq
Et on a
(p,q)N
2
u
pq
=
+
q=0
+
p=0
u
pq
=
+
p=0
+
q=0
u
pq
=
+
n=0
p+q=n
u
pq
.
Remarque : Ce thorme montre que le calcul de la somme dune suite double absolument sommable revient calculer la
somme dune srie double.
Corollaire 3.4.1 On suppose que E et une algbre de Banach et soient (a
p
), (b
q
) deux suites de E.
Les assertions suivantes sont quivalentes :
La famille (a
p
b
q
)
(p,q)N
2 est absolument sommable.
Les sries
a
p
et
b
q
sont absolument convergentes.
Dans ce cas,
(p,q)N
2
a
p
b
q
=
+
p=0
a
p
+
q=0
b
q
=
+
n=0
p+q=n
a
p
b
q
.
4 Sries dans une algbre de Banach :
4.1 Produit de Cauchy :
Dnition 4.1.1 Soient / une K-algbre et
u
n
,
v
n
o(/).
On appelle produit de Cauchy de
u
n
et
v
n
la srie
w
n
dne par n N, w
n
=
n
p=0
u
p
v
np
=
p+q=n
u
p
v
q
. On note
u
n
v
n
=
w
n
.
Proposition 4.1.1 Soit / une K-algbre. o(/) muni des oprations :

u
n
+
v
n
=
(u
n
+v
n
).
K,
u
n
=
(u
n
).
u
n
v
n
=
_

p+q=n
u
p
v
q
_
.
est une K-algbre.
Proposition 4.1.2 Soient / une K-algbre de Banach et
u
n
,
v
n
o(/).
Si
u
n
et
v
n
sont absolument convergentes alors leur produit de Cauchy
w
n
est absolument convergent et on a
+
n=0
w
n
=
+
n=0
u
n
+
n=0
v
n
.
Dmonstration :
On a
u
n
et
v
n
convergent absolument donc la famille (u
n
v
m
)
(n,m)N
2 est absolument sommable donc la srie
_

p+q=n
u
p
v
q
_
=
w
n
est absolument convergente et on a
+
n=0
u
n
+
n=0
v
n
=
(n,m)N
2
u
n
v
m
=
+
n=0
p+q=n
u
p
v
q
.
Remarque : Le produit de Cauchy de deux sries convergentes ne converge pas forcment. En effet, Soient les sries u
n
=
v
n
=
(1)
n
n+1
.
On a n N, [w
n
[ =
p=0
(1)
p
p + 1
(1)
np
n p + 1
=
n
p=0
1
p + 1
n p + 1

n
p=0
2
n + 2

2n + 2
n + 2
1 donc w
n
, 0 do
le produit de Cauchy de
u
n
et
v
n
diverge.
4.2 Srie de Neumann :
Proposition 4.2.1 Soient / une K-algbre de Banach et u / tel que |u| < 1, alors :
La srie de Neumann
u
n
1 u est inversible dans / et on a (1 u)
1
=
+
n=0
u
n
.
|(1 u)
1
|
1
1 |u|
.
Dmonstration :
On a n N, |u
n
| |u|
n
et
|u|
n
converge car |u| < 1 donc
u
n
Soit n N. On a (1 u)
n
k=0
u
k
=
n
k=0
(u
k
u
k+1
) = 1 u
n+1
1 car u
n
0 puisque la srie
u
n
converge.
On a /est une algbre norme donc lapplication x (1u)x est continue. Or
n
k=0
u
k
k=0
u
k
donc (1u)
n
k=0
u
k
(1 u)
+
k=0
u
k
.
Par unicit de la limite (1 u)
+
k=0
u
k
= 1 donc 1 u est inversible et on a (1 u)
1
=
+
n=0
u
n
.
On a |(1 u)
1
| =
_
_
_
_
_
+
n=0
u
n
_
_
_
_
_
n=0
|u
n
|
+
n=0
|u|
n
=
1
1 |u|
.
Remarque : On dduit que le groupe U(/) des inversibles de / contient la boule ouverte de centre 1 et de rayon 1.
Corollaire 4.2.2 Localisation du spectre dune matrice :
Soit n N
, /
n
(K) muni dune norme dalgbre quelconque || et A /
n
(K).
K, op(A) [[ < |A|. Autrment dit, op(A) B(0, |A|).
Dmonstration :
On a /
n
(K) est de dimension nie donc (/
n
(K), ||) est une K-algbre de Banach.
Sinon, soit op(A) et supposons que > |A| donc |
1
A| < 1 do I
n

1
A.
On dduit que I
n
A est inversible donc / op(A). Absurde, donc [[ |A| et par suite op(A) B(0, |A|).
Proposition 4.2.3 Soient / une K-algbre de Banach. Le groupe U(/) des inversibles de / est un ouvert de /.
Dmonstration :
Soit u U(/) et h / tel que |h| <
1
u
1
.
On a | u
1
h| |u
1
||h| < 1 donc 1 +u
1
h est inversible do u +h = u(1 +u
1
h) est inversible.
On dduit que B
_
u,
1
u
1
_
U(/). Donc U(/) est ouvert.
Proposition 4.2.4 Soient / une K-algbre de Banach et U(/) le groupe des inversibles de /.
Lapplication f : u u
1
est continue sur U(/).
Dmonstration :
Soit u U(/). On a U(/) ouvert donc 0 < tel que B(u, ) U(/). On pose = min
_
,
1
2u
1
_
donc 0 < <
1
u
1
et B(u, ) U(/).
Soit h / tel que |h| < donc u +h B(u, ) U(/) et par suite u +h est inversible.
On a f(u + h) f(u) = (u + h)
1
u
1
= (u + h)
1
(u (u + h))u
1
= (u h)
1
hu
1
donc |f(u + h) f(u)|
|(u +h)
1
||h||u
1
| |(1 +u
1
h)
1
u
1
||h||u
1
| |(1 +u
1
h)
1
||h||u
1
|
2
.
On a |u
1
h| |u
1
||h| |u
1
| < 1 donc |(1 +u
1
h)
1
|
1
1u
1
h

u
1
1u
1
h

u
1
1u
1
.
Donc |f(u +h) f(u)|
u
1
2
1u
1
|h| do f(a +h) f(a) lorsque h 0. Lapplication f est alors continue en u et par
suite sur U(/).
4.3 Lapplication exponentielle sur une algbre de Banach :
Proposition et dnition 4.3.1 Soient / une K-algbre de Banach.
On a u / la srie
u
n
n!
Lapplication sur / dnie par x
+
n=0
x
n
n!
sappelle lapplication exponentielle sur / et on la note exp.
Exemples :
Lapplication exponentielle sur C : exp(z) =
+
n=0
z
n
n!
= e
z
.
Soit n N
. Lapplication exponentielle sur /

n
(C) : exp(A) =
+
n=0
A
n
n!
.
Soit E un K-espace vectoriel de dimension nie. Lapplication exponentielle sur /(E) : exp(f) =
+
n=0
f
n
n!
.
Remarques :
Soient / une K-algbre de Banach et u /. Alors :
1. u /, | exp u| e
u
.
2. u, v / avec v inversible on a exp(v
1
uv) = v
1
exp(u)v.
Soit E un K-espace vectoriel de dimension nie et f /(E). Alors :
1. x E, K, f(x) = x exp(f)(x) = e
x.
2. K, op(f) e
op(exp(f)).
3. op(f), E
(f) = E
e
(exp(f)).
Soient n N
et A, B /
n
(K). Alors :
1. X /
n1
(K), K, AX = X exp(A)X = e
X.
2. K, si est une valeur propre de A alors e
est une valeur propre de exp(A).

3. op(A), E
(A) = E
e
(exp(A)).
4. Soient A, B /
n
(K). Si A est B sont semblables alors exp A est exp B sont semblables.
5. Si A = diag(
1
, . . . ,
n
) alors A = diag(e
1
, . . . , e
n
).
6. Si A est triangulaire suprieure alors exp(A) est triangulaire suprieur de coefcients diagonaux les exponentiels
des coefcients diagonaux de A.
Proposition 4.3.1 Soient / une K-algbre de Banach et u, v /.
Si uv = vu alors exp(u +v) = exp(u) exp(v) = exp(v) exp(u).
Dmonstration :
Les sries

u
n
n!
et

v
n
n!
convergent absolument donc exp(u) exp(v) =
+
n=0
u
n
n!
+
n=0
v
n
n!
=
+
n=0
_
n
p=0
u
p
p!
v
np
(n p)!
_
=
+
n=0
1
n!
_
n
p=0
C
p
n
u
p
v
np
_
.
On a uv = vu donc n N,
n
p=0
C
p
n
u
p
v
np
= (u +v)
n
do exp(u) exp(v) =
+
n=0
(u +v)
n
n!
= exp(u +v) = exp(v +u) =
exp(v) exp(u).
Remarque : Le rsultat peut-tre faux si uv ,= vu. En effet, pour A =
_
1 0
0 0
_
et B =
_
0 1
0 0
_
on a AB =
_
0 1
0 0
_
,=
_
0 0
0 0
_
= BA.
On a exp(A) =
_
e 0
0 1
_
et exp(B) = I
2
+B =
_
1 1
0 1
_
car B
2
= 0 donc exp(A) exp(B) =
_
e e
0 1
_
.
On pos M = A + B donc M =
_
1 1
0 0
_
. Or n N
, M
n
= M donc exp(M) = I
2
+
_
+
n=1
1
n!
_
M = I
2
+ (e 1)M =
_
e e 1
0 1
_
,= exp(A) exp(B).
Corollaire 4.3.2 Soient / une K-algbre de Banach. Alors u /, exp(u) est inversible et on a (exp(u))
1
= exp(u).
Dmonstration :
Soit u /. On a u(u) = (u)u donc exp(u) exp(u) = exp(u) exp(u) = exp(u u) = exp(0) = 1 donc exp(u) est
inversible et on a (exp(u))
1
= exp(u).
Mthode de calcul de lexponentiel dune matrice :
Soit A /
n
(K)
Si A est diagonalisable : Il existe P GL
n
(K),
1
, . . . ,
n
K tels que A = Pdiag(
1
, . . . ,
n
)P
1
. Donc :
exp(A) = Pdiag(e
1
, . . . , e
n
)P
1
Si A = I
n
+N avec Ket N /
n
(K) triangulaire suprieure stricte : On a I
n
N = N(I
n
) et N
n
= 0 donc :
exp A = exp(I
n
+N) = exp(I
n
) exp(N) = e
_
I
n
+N +
1
2
N
2
+ +
1
(n 1)!
N
n1
_
Si A est trigonalisable : Il existe P GL
n
(K) tel que A = Pdiag(T
1
, . . . , T
p
)P
1
o k 1, . . . , p, T
k
=
k
I
n
k
+N
k
avec
k
op(A), n
k
= m(
k
) et N
k
/
n
k
(K) triangulaire suprieure stricte. Donc :
exp(A) = Pdiag(exp(T
1
), . . . , exp(T
p
))P
1

Séries Dans Un Espace Vectoriel Normé

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Séries Dans Un Espace Vectoriel Normé

Transféré par

Droits d'auteur :

Formats disponibles

Sries dans un espace vectoriel norm

f(n) sont de mme nature donc la srie

f(n) diverge alors il en est de mme pour lintgrale

f(n) converge, on considre R

f(n) est nulle et par suite elle est converge.

est continue et dcroissante sur [0, +[ do

converge si et seulement si > 1 do la srie

converge si et seulement si > 1 et on les rsultats

f(n) sont de mme nature.

est intgrable sur [0, +[ donc lintgral

(t)[dt converge do la suite

f(n) converge et soit > 0.

intgrable sur [0, +[ donc f admet une limite l C lorsque x +.

f(n) converge donc l = 0 do A > 0, x A, [f(x)[ .

f(n) converge alors

est intgrable sur [1, +[.

(ln(n+1) ln n) diverge et par suite

est termes positifs donc les sries

l diverge et termes de signe constant donc la srie

1 diverge et termes positifs donc

. Lapplication exponentielle sur /

est une valeur propre de exp(A).

Vous aimerez peut-être aussi