Chap 20 : Familles sommables
Fiches de maths - MP* - http://evarin.fr/ - 1
Chap 20 : Familles sommables
I. Famille à termes positifs
( )
) (
( ) { } ( ,
) su
)
( p
parties finies de est sommable lorsque les sommes s e
ont majorées.
Dans ce cas, la somme de st
F
i I
i J i I
i I J i J
I
F i i F
i i i
I
I I a a J
a
a a
I
P
P P
0
( n)n est sommable la série n converge, et dans ce cas n n
n n
a ssi a a a
{ / 1/ }
( ) { / 0}
Si ai I est sommable, iI ai est dénombrable (Ip i I ai p finis Ip d ne )
( )
On suppose désormais dénombrable.
Soit n n suite croissante de parties finies de telles que (suite exhaustive)
n n
I
J I J I
( ) sommable est majorée, et dans ce cas lim
n n
i I n
i I
J i I i
i i i
n J
a a ai a
( ),( ) , (( ) ( ) ) (( ) ( ) )
, ,( ) ( ) ( ) ( )
Si , somm. somm. non somm. non somm.
et sommables l'est et
i i i i i i i i
i i i i i
I
i I i I i I
i i i
a b i I b b a a b
a b a b a b a
a
b
0
( ) ,( ) . ( ) ( )
( )
partition de sommable Chacune des familles est sommable de somme et est sommable. Dans ce cas,
p
I
i p i i
p p i p
i I p i I
p
i I p
a I I a a
A A a A
Méthode pour vérifier une sommabilité : (Partition, Estimation, Conclusion) des sommes partielles
II. Familles à termes complexes
( )ai i I I. ( )ai i I est sommable lorsque (|ai|)i I est sommable
Sous-familles, Domination, Calcul de la somme à l'aide d'une suite exhaustive, Combinaison linéaire
( i i I) est sommable, Re( i) , Re( ) , Im( ) , Im( )i i i le sont, et i i i ( i )
I
i i
a a a a a a x x y y
I
0
( ) ( ) . ( ) ( )
(| |)
, partition de est sommable Chacune des sous familles est sommable et, si est somme de , converge. Dans ce cas,
p
p
p
i I p i I
i I
i I I
i p i i
p i i
p p
i I
A A i
a I I a a
a a a
III. Applications
0 0
0 0
( ),( ) ( )
(
( ) ( ) )
sommables. Alors : (produit) est sommable de somme
(convolution/prod de Cauchy) est sommable de somme
n
n p n p n p
n n n
p n
n k
k n
n n n k n
a b a b a b
c a b a b a
0 p p
b
Chap 20 : Familles sommables
Fiches de maths - MP* - http://evarin.fr/ - 2
2
0 0
( ) | | | |
(Fubini) , si converge, alors aussi
et les séries de termes général et convergent de même somme
mn mn mn
n m m n
mn mn
m n
z z z
n z m z
| mn| | mn| sous réserve de la CV de l'une des séries partielles pour | np|
n m m n
z z z