Suites et séries de fonctions Cours complet - CPGE Dupuy de Lôme
Suites et séries de fonctions Cours complet - CPGE Dupuy de Lôme
Suites et séries de fonctions Cours complet - CPGE Dupuy de Lôme
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
• pour tout entier n, la fonction un est continue sur I,<br />
• la série ∑ u n converge uniformément ou normalement sur tout segment : [α,β] ⊂ I.<br />
n≥0<br />
Alors la somme ∑ +∞<br />
u <strong>de</strong> la série <strong>de</strong> <strong>fonctions</strong> est continue sur I.<br />
n=0<br />
n<br />
Démonstration :<br />
La démonstration utilise là encore que toutes les <strong>fonctions</strong> Sn sont continues sur I, <strong>et</strong> le théorème<br />
démontré dans le cadre <strong>de</strong>s suites <strong>de</strong> <strong>fonctions</strong> (avec <strong>de</strong>s hypothèses i<strong>de</strong>ntiques) donne le résultat<br />
voulu.<br />
Théorème 2.4 : étu<strong>de</strong> d’une somme <strong>de</strong> série <strong>de</strong> <strong>fonctions</strong> aux bornes d’un intervalle ouvert<br />
Soit I un intervalle <strong>de</strong> , ouvert en au moins une <strong>de</strong> ses extrémités, notée a.<br />
Soit ∑ u n une série <strong>de</strong> <strong>fonctions</strong> définies d’un intervalle I <strong>de</strong> dans K, telle que :<br />
n≥0<br />
• la série ∑ u n converge uniformément ou normalement sur I,<br />
n≥0<br />
• pour tout entier n, la fonction un adm<strong>et</strong> une limite Ln finie en a,<br />
• la série ∑ L n converge.<br />
n≥0<br />
Alors la somme ∑ +∞<br />
u <strong>de</strong> la série <strong>de</strong> <strong>fonctions</strong> adm<strong>et</strong> ∑ +∞<br />
L comme limite en a, autrement dit, on peut<br />
n=0<br />
+∞<br />
+∞<br />
⎛ ⎞<br />
écrire : ⎜ u n ( x)<br />
⎟ = ( lim u n ( x)<br />
)<br />
∑<br />
n<br />
∑<br />
=<br />
→<br />
lim .<br />
x→a<br />
x a<br />
⎝ n=<br />
0 ⎠ n 0<br />
Démonstration :<br />
Là encore, il suffit d’adapter la démonstration faite dans le cadre <strong>de</strong>s suites, en notant par exemple :<br />
∀ n ∈ , Sn = ∑ u k , βn = ∑<br />
k=<br />
0<br />
k=<br />
0<br />
n<br />
n<br />
L .<br />
k<br />
On constate alors que :<br />
• la suite (Sn) converge alors uniformément sur I vers S, somme <strong>de</strong> la série <strong>de</strong> <strong>fonctions</strong>,<br />
• pour tout entier n, la fonction Sn adm<strong>et</strong> pour limite βn en a,<br />
• la suite (βn) converge vers L, somme <strong>de</strong> la série numérique.<br />
Dans ce cas, la limite uniforme S <strong>de</strong> la suite <strong>de</strong> <strong>fonctions</strong> (Sn) adm<strong>et</strong> pour limite L en a.<br />
Liens avec l’intégration ou la dérivation <strong>de</strong>s <strong>fonctions</strong>.<br />
Théorème 3.1 : convergence uniforme <strong>et</strong> intégrales sur un segment, cas <strong>de</strong>s suites<br />
Soit (un) une suite <strong>de</strong> <strong>fonctions</strong> définies d’un segment [a,b] <strong>de</strong> dans K, continues sur [a,b].<br />
Si la suite (un) converge uniformément sur [a,b] vers u, alors :<br />
∫ a<br />
∫a<br />
lim u ( t).<br />
dt = lim ( u ( t)).<br />
dt = u(<br />
t).<br />
dt .<br />
n→+∞<br />
Démonstration :<br />
Il suffit d’écrire :<br />
b<br />
n<br />
b<br />
b<br />
n→+∞<br />
b<br />
n<br />
b<br />
b<br />
∫a<br />
∀ n ∈ , ∫ u ( t).<br />
dt u(<br />
t).<br />
dt u ( t)<br />
u(<br />
t)<br />
. dt sup u u . dt ( b a).<br />
sup u n u<br />
a<br />
n − ∫ ≤<br />
a ∫a<br />
n − ≤ ∫a<br />
n − = − − .<br />
Si on fait tendre n vers +∞, le théorème <strong>de</strong>s gendarmes montre alors qu’on a bien :<br />
∫ a<br />
∫a<br />
lim u ( t).<br />
dt = u(<br />
t).<br />
dt .<br />
n→+∞<br />
b<br />
n<br />
b<br />
Théorème 3.2 : convergence uniforme <strong>et</strong> intégrales sur un segment, cas <strong>de</strong>s <strong>séries</strong><br />
Soit ∑ u n une série <strong>de</strong> <strong>fonctions</strong> définies d’un segment [a,b] <strong>de</strong> dans K, continues sur [a,b].<br />
n≥0<br />
Chapitre 07 – <strong>Suites</strong> <strong>et</strong> <strong>séries</strong> <strong>de</strong> <strong>fonctions</strong> – cours compl<strong>et</strong>. - 6 -<br />
n=0<br />
b<br />
n<br />
[ a,<br />
b]<br />
[ a,<br />
b]