16.08.2013 Views

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

SHOW MORE
SHOW LESS

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]

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!