lemme deTauber
lemme deTauber
lemme deTauber
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