Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

lemme deTauber

Télécharger au format pdf ou txt
Télécharger au format pdf ou txt
Vous êtes sur la page 1sur 1

Théorème (Taubérien faible)

Soit ∑ an zn une série entière de rayon de convergence > 1, on note f sa somme sur D(0, 1).
n >0
On suppose : ∃S ∈ C, lim f ( x ) = S.
x →1
x <1

1
∑ an converge et S = ∑ an . 3
2
Si an = o n , alors
n >0 n =0

Démonstration :
N
→ Pour N ∈ N∗ , on pose S N := ∑ an et pour x ∈]0, 1[, on a :
n =0

N ∞
SN − f (x) = ∑ a n (1 − x n ) − ∑ an x n
n =0 n = N +1

Et pour n ∈ N∗ , (1 − x n ) = (1 − x ) 1 + x + . . . + x n −1 6 (1 − x )n.


Ainsi :
N ∞
n 1
|S N − f ( x )| 6 (1 − x ) ∑ n | an | + ∑ N
| an | x n 6 (1 − x ) MN + sup (n | an |)
N (1 − x )
,
n =1 n = N +1 n> N

où M est un majorant de la suite (n | an |)n∈N , suite qui tend vers 0.


→ Soit ε > 0, avec ε < 1. On a :
 ε 1
∀ N ∈ N∗ , S N − f 1 − 6 εM + sup (n | an |) .
N n> N ε

→ Dès lors, si N0 est tel que sup (n | an |) < ε2 , alors :


n> N0
 ε
∀ N > N0 , S N − f 1 − 6 Mε + ε = ( M + 1)ε
N
 ε  ε
Par hypothèse, on a : lim f 1 − = S, donc ∃ N1 ∈ N, ∀ N > N1 , f 1 − − S 6 ε.
N →∞ N N
En fin de compte, par inégalité triangulaire, il vient :

∀ N > max { N0 , N1 } , |S N − S| 6 ( M + 2)ε.

Vous aimerez peut-être aussi