Université de Bourgogne
Département de mathématiques
UFR Sciences et Techniques
Licence de mathématiques
3ème année
Calcul intégral
Devoir maison : Familles sommables
Introduction.
Vous avez déjà vu le concept de “somme d’une séries numériques convergente” de terme général un,(nN):
+
X
n=0
un:= lim
N+
N
X
n=0
un
La définition de cette somme est intimement liée au fait que l’on somme les termes de la suite de réels (un)nNdans un
ordre précis et que les termes sont indexés par des entiers (nN) ; vous avez vu par exemple que la somme de la série
de terme général (1)n
n+1 prend des valeurs différentes si on perturbe l’ordre des termes (elle n’est pas “commutativement
convergente”). Les séries absolument convergentes sont celles pour lesquelles l’ordre est sans importance.
Cependant, les termes d’une somme ne sont pas toujours naturellement ordonnés, donnés par une suite, mais
peuvent être indexés par un ensemble Iplus compliqué qui ne possède pas d’ordre naturel comme par exemple dans
des sommes doubles, triples... :
X
p2
q2
1
pqX
1pq
(1)p
q3X
2p1p2≤···≤pn
1
(p1+p2+· · · +pn)α.
Le but de ce devoir est de définir une notion de somme d’une infinité de nombres réels (ou complexes) qui ne tient
pas compte de l’ordre dans lequel on somme ces nombres, ni de la façon de les indexer, en étudiant le cas positif en
premier, puis en généralisant aux nombres réels (ou complexes).
Le cas positif.
Arithmétique dans R+.On convient de prolonger l’addition, la multiplication et la relation d’ordre sur R+à
R+=R+t {+∞} en posant, pour tout aR+:
a+ (+) = (+) + a= +, a ·(+) = (+)·a=+si a6= 0
0si a= 0 ,et a+
L’avantage de travailler dans R+réside dans le fait que toute partie non vide Ade R+admet une borne
supérieure sup A, dont on rappelle la caractérisation suivante :
aA a sup A
| {z }
sup Aest un majorant de A
et (x < sup A)aA x < a sup A
| {z }
c’est le plus petit
Si A6=est une partie bornée de R+, alors sup AR+. Si An’est pas bornée, alors sup A= +.
Définition de sommes (infinies) dans R+.Soit (xi)iIune famille d’éléments de R+(ou de R+) indexée par
un ensemble quelconque I(fini ou non). On définit la “somme infinie” SR+(au sens de la sommabilité) :
S=X
iI
xi:= sup (X
iJ
xi:JI, J fini)()
Si un des xivaut +, la somme Svaut également +(mais la réciproque est fausse)
Remarque. Le support d’une famille (xi)iIest le sous ensemble {iI:xi6= 0}de I. Si le support est fini égal
à{i1, i2, . . . , in}, alors X
iI
xi=
n
X
j=1
xij. En effet, on a l’égalité :
(X
iJ
xi:JI, J fini)=(X
iJ
xi:J⊂ {i1, i2, . . . , in})
En d’autres termes, cette notion de “somme infinie” sur R+généralise la notion de somme finie usuelle.
1
Exercice 1. Indépendance de l’ordre.
Soit (xi)iIune famille de R+et ϕ:KIune bijection. En vous inspirant de la remarque précédente, montrer que
X
iI
xi=X
kK
xϕ(k).(1)
Exercice 2. Propriétés de croissance de la somme.
1. Soit (xi)iIune famille de R+indexées par I.
(a) Montrer l’implication :
KI= X
iK
xiX
iI
xi!(Knon nécessairement fini !) (2)
(b) Dans le cas où X
iI
xi<+, montrer qu’il y a égalité si et seulement si Kcontient le support de (xi)iI.
2. Soient (xi)iIet (yi)iIdeux familles de R+indexées par I. Démontrer l’implication :
iI, yixi=X
iI
yiX
iI
xi.(3)
Exercice 3. Linéarité pour des coefficients positifs
1. Soit (xi)iIune famille de R+et soit αR+(ou R+). Montrer que X
iI
(αxi) = αX
iI
xi(4)
2. Soient (xi)iIet (yi)iIdeux familles de R+indexées par I.
(a) Montrer que : X
iI
(xi+yi)X
iI
xi+X
iI
yi;
(b) Montrer que si J1et J2sont deux sous ensembles finis de Ialors : X
iJ1
xi+X
iJ2
yiX
iI
(xi+yi);
(c) En déduire que X
iI
(xi+yi) = X
iI
xi+X
iI
yi.(5)
Exercice 4. Soit (xi)iIune famille de R+(ou R+) et soit (Jn)nNune suite croissante de sous ensembles de I
dont la réunion est I— on notera par la suite I=[
nN
Jn.
1. Montrer que X
iI
xi= lim
n+
X
iJn
xi.(6)
2. En déduire que si la série de terme général unR+converge alors sa somme S1(au sens de la sommabilité)
définie par ()coïncide avec la somme S2(en tant que série) , c’est à dire
sup (X
iJ
ui:JN, J fini)=X
iN
ui=S1
| {z }
somme au sens de la sommabilité
=S2=
+
X
n=0
un= lim
N+
N
X
n=0
un
| {z }
somme au sens des séries
Exercice 5. Propriété de Fubini-Tonelli.
Soit (xi,k)(i,k)I×Kune famille doublement indexée de R+. Il s’agit de montrer que
X
(i,k)I×K
xi,k =X
iIX
kK
xi,k=X
kKX
iI
xi,k.(7)
1. Montrer ce résultat lorsque l’un des deux ensembles Iou Kest fini (utiliser l’exercice 3).
2. En déduire que
2
(a) pour toute partie finie AI×K,X
(i,k)A
xi,k X
iIX
kK
xi,kpuis que X
(i,k)I×K
xi,k X
iIX
kK
xi,k;
(b) pour tout JI,Jfini on a : X
iJ
yiX
(i,k)I×K
xi,k yi=X
kK
xik (utiliser l’exercice 2) ; puis conclure.
Exercice 6. En utilisant les exercices précédents, montrer les résultats suivants :
1. Théorème de Beppo-Levi.
Soit (xi,n)(i,n)I×Nune famille de R+. Supposons que pour chaque iI,(xi,n)nNest croissante. Alors :
lim
n+
X
iI
xi,n =X
iI
lim
n+
xi,n (8)
(on pourra poser ai,n =xi,n xi,n1,n > 0et ai,0=xi,0).
2. Sommation par paquets.
Soit (xi)iIune famille de R+. Supposons que I=G
`L
I`. Alors : X
iI
xi=X
`LX
iI`
xi.(9)
(on pensera à poser xi,` =xi I`(i)).
Familles sommables dans R
Pour xun réel, on notera x+= max{x, 0}et x= max{−x, 0}. On a : x=x+xet |x|=x++x. Une famille de
réels (xi)iIest dite sommable si X
iI
x+
i<+et X
iI
x
i<+. On définit alors sa somme SR:
S=X
iI
x+
iX
iI
x
i(∗∗)
Exercice 7. Montrer que (xi)iIest sommable si et seulement si X
iI
|xi|<+.
Exercice 8.
1. Montrer qu’une série X
n0
ande réels anpositifs est convergente de somme Ssi et seulement si la famille (an)nN
est sommable de somme S. (cf. Exercice 4)
2. En déduire qu’une série X
n0
anest absolument convergente de limite Ssi et seulement si (an)nNest sommable
de somme S.
3. Montrer que la série de terme général an=(1)n
n+1 ,nNest convergente. Est-elle sommable ?
Exercice 9. Soit (xi)iIune famille de réels positifs. Il s’agit de montrer que si elle est sommable, alors son support
I0de (xi)iIdéfini par I0={iI:xi6= 0}est au plus dénombrable !
1. On pose In={iI:xi>1
n+1 }. Montrer que I0=[
nN
In.
2. Montrer que card In<(n+ 1) X
iIn
xi(n+ 1) X
iI
xiet conclure.
Exercice 10. En utilisant la décomposition en parties positive et négative montrer que :
(x+y)++x+y= (x+y)+x++y+et (xy)(x++yy++x).
En déduire les résultats suivants :
1. Soient (xi)iIet (yi)iIdeux familles de réels et soit λR.
(a) Montrer que si (xi)iIet (yi)iIsont sommables de sommes Set Trespectivement alors
(iI, xiyi)(ST).
3
(b) Montrer que si (xi)iIet (yi)iIsont sommables de sommes Set Trespectivement, alors (xi+yi)iIet
(λxi)iIsont sommables de sommes S+Tet λS respectivement.
2. Théorème de Fubini. Ssoit (xi,k)(i,k)I×Kune famille de réels. Montrer que :
X
(i,k)I×K
|xi,k|<+X
iIX
kK
xi,k =X
kKX
iI
xi,k(10)
3. Sommation par paquets. Soit (xi)iIune famille de réels. Supposons que I=G
`L
I`. Alors :
X
iI
|xi|<+X
iI
xi=X
`LX
iI`
xi(11)
Exercice 11.
1. Calculer X
p2
q2
1
pq.
2. Montrer que la famille (1)p
q31pqest sommable, et exprimer sa somme en fonction de ζ(3) = X
nN
1
(n+ 1)3.
Exercice 12. Pour x]1; 1[ montrer (en justifiant !) que
X
nN
xn
1xn=X
nN
d(n)xn.
d(n)est le nombre de diviseurs entiers positifs de n.
Exercice 13. Étudier la nature de la somme X
(m,n)(N)2
1
(n+m)αen fonction de αR(poser m+n=k).
Exercice 14. Justifier que pour tout pN,X
nN
n6=p
1
n2p2=3
4p2.
En déduire que
X
pNX
nN
n6=p
1
n2p26=X
nNX
pN
n6=p
1
n2p2.
Que peut-on en déduire ?
4
1 / 4 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !