Correction Math C

Hasard 2 Math

1 Lemme de Cesàro
1.1
a) pour un → l ∈ C :
soit ε > 0, il existe n0 ∈ N tel que ∀n ≥ n0 , |un − l| < ε
soit n ≥ n0 , on a
n n n
1 1 1
P P P
|σn − l| = n+1 (uk ) − l = n+1 (uk − l) ≤ n+1 |uk − l|
k=0 k=0 k=0

on découpe
Pn Palors la P
somme en deux ainsi
n0 −1 n
0 = 0 + n0

ˆ d’une part :
0 −1
nP
1
on peut choisir un n1 tel que n1 +1 |uk − l| < ε
k=0

ˆ d’autre part :
n n
1 1
P P
n+1 |uk − l| < n+1 ε<ε
k=n0 k=n0

donc en prenant N = max(n0 , n1 ), on a :

∀n ≥ N, |σn − l| < ε + ε
donc lim σn = l
n→+∞

b) pour un → +∞ (on prend −un pour −∞) :

soit M ∈ R, il existe n0 ∈ N tel que ∀n ≥ n0 , un > M
soit n ≥ n0 , on a
n 0 −1
nP n 0 −1
nP
1
P 1 1
P 1 n−n0 +1
σn = n+1 uk > n+1 uk + n+1 M = n+1 uk + n+1 M
k=0 k=0 k=n0 k=0

ˆ d’une part :
0 −1
nP
1
lim n+1 uk = 0
n→+∞ k=0
0 −1
nP
1
donc on peut choisir un n1 tel que n1 +1 uk > −1 (on prend δ = −1)
k=0

ˆ d’autre part :
lim n−n 0 +1
n+1 =1
n→+∞
n2 −n0 +1
donc on peut choisir un n2 tel que n2 +1 M > 12 M (on prend δ = 1/2)

1
donc en prenant N = max(n0 , n1 , n2 ), on a :
∀n ≥ N, σn > −1 + 12 M
donc lim σn = +∞
n→+∞

1.2
1
uk = k+1 → 0 donc σn → 0
puis vn = σn−1

avec une comparaison

Rn série intégrale, on a
Hn ≤ 1 dxx ≤ Hn+1 − 1

ln n
d’où on en déduit Hn ∼ ln n, et finalement vn ∼ n

1.3

par Cesàro, on a
n−1
1
P
n ek → α
k=0
n−1 n−1
1
P 1
P un −u0
or par téléscopage n ek = n (uk+1 − uk ) = n
k=0 k=0
u0 un
puis comme n = o(1), on a lim = α ̸= 0
n→+∞ n

donc un ∼ nα

on suppose sans perte de généralité que α > 0 (on prend −en pour le cas négatif). Or, on a

un+1 − un ∼ α avec α > 0

on en déduit que (un+1 − un ) > 0 APCR

P P
doncPpar critère d’équivalence des séries à terme positif (un+1 − un ) et α sont de même nature.
Or, α diverge vers +∞
Pn Pn
donc on en déduit k=0 (uk+1 − uk ) ∼ k=0 α

i.e un − u0 ∼ nα

i.e un ∼ nα

2
1.4
a) pour l ∈ R∗+ :

on a par continuité du log : ln( uun+1

n
) → ln l

i.e ln(un+1 ) − ln(un ) → ln l

ln un
par le même procédé que 3., on a par Cesàro puis par téléscopage: n → ln l

puis par continuité de exp: exp( lnnun ) → l

√
donc n un → l

b) pour l = +∞ :
on a de même: lim ln( uun+1
n
) = lim ln l = +∞
n→+∞ l→+∞
puis encore lnnun → +∞
et enfin lim exp( lnnun ) = lim exp(l)
n→+∞ l→+∞

c) de même avec l = 0+ , on procède par limite

d) applications : √
un+1 n
avec un = n! un = n + 1 → +∞ donc n! → +∞
n n (n+1)n+1 (n+1)(n+1)n nn (1+ n1 n
)
avec un = un+1 =
n! = (n+1)! (n+1)n! = n! = un (1 + n1 )n
q
n nn
donc un+1 /un → e n! → e

1.5
|an − a| < ε
soit ε > 0, comme an → a et bn → b, il existe un n0 = max(na , nb ) tel que ∀n ≥ n0 ,
|bn − b| < ε
puis
n n
ˆ 1 1
P P
n+1 (ak bn−k ) − ab = n+1 (ak bn−k − ab)
k=0 k=0

ˆ pour n ≥ n0 et k ∈ [|0, n|]:

ak bn−k − ab = ak bn−k − abn−k + abn−k − ab = (ak − a)bn−k + a(bn−k − b)
ˆ d’où
n n n
1 1 1
P P P
n+1 (ak bn−k ) − ab = n+1 (ak bn−k − ab) ≤ n+1 |ak bn−k − ab|
k=0 k=0 k=0

n n
1 1
P P
≤ n+1 |ak − a||bn−k |+ n+1 |bn−k − b||a|
k=0 k=0

0 −1
nP n n−n
P0 n
1 1 1 1
P P
= n+1 |ak −a||bn−k |+ n+1 |ak −a||bn−k |+ n+1 |bn−k −b||a|+ n+1 |bn−k −b||a|
k=0 k=n0 k=0 k=n−n0 +1

3
 0 −1
nP n n−n
P0 n
1 1 1 1
P P
≤ n+1 max|aj − a| · max|bj |+ n+1 ε · max|bj |+ n+1 ε · |a|+ n+1 max|bj − b| · |a|
k=0 j∈N j∈N k=n0 j∈N k=0 k=n−n0 +1 j∈N

n0
= n+1 max |aj − a| · max|bj |+ n−n 0 +1 n−n0 +1 n0
n+1 ε · max|bj |+ n+1 ε · |a|+ n+1 max|bj − b| · |a|
j∈N j∈N j∈N j∈N

n0 n0
≤ n+1 max |aj − a| · max|bj |+ε · max|bj |+ε · |a|+ n+1 max|bj − b| · |a|
j∈N j∈N j∈N j∈N

ˆ on choisit un n1 tel que n0

n1 +1 max |aj − a| · max|bj | < ε
j∈N j∈N

ˆ on choisit un n2 tel que n0

n2 +1 max |bj − b| · |a| < ε
j∈N

finalement, en prenant N = max(n0 , n1 , n2 ), on a

n
1
P
∀n ≥ N, n+1 (ak bn−k ) − ab < ε + ε · max|bj | + ε · |a| + ε
k=0 j∈N
n
1 X
lim (ak bn−k ) = ab
n→+∞ n + 1
k=0

comme n ∼ n + 1, on peut remplacer n + 1 par n

1.6
n n P
k n P j
k P n n P
n P
k
1 1 1 1 1
P P P P P
n Ck = n cj = n ap bj−p = n ap bj−p = n ap bj−p
k=0 k=0j=0 k=0j=0p=0 0≤p≤j≤k≤n p=0k=pj=p
n n k−p n n
1 1
P P P P P
= n ap bj = n ap Bk−p changement de variable j → j − p
p=0 k=p j=0 p=0 k=p
n n−p
1
P P
= n ap Bk changement de variable k → k − p
p=0 k=0
n p
1
P P
= n an−p Bk changement de variable p → n − p
p=0 k=0
n n
1
P P
= n Bk an−p
k=0 p=k
n n−k
1
P P
= n Bk ap changement de variable p → n − p
k=0 p=0
n
1
P
= n Bk An−k
k=0

Donc par la question 5, on a

n
1X
Ck → AB
n
k=0

1.7
on pose un = (−1)n
un diverge, mais on a

4
 2n
(−1)k
ˆ σ2n =
P
2n+1 =0
k=0
2n+1
(−1)k
ˆ σ2n+1 = −1
P
2n+2 = 2n+2 →0
k=0

donc σn → 0 et donc σn converge

1.8
on suppose SPDG que un est croissante, on prend −un sinon.
un est croissante, donc soit elle est majorée et converge, soit elle est non majorée et diverge vers +∞

On suppose σn → l ∈ C
si un → +∞, on a σn → +∞ donc absurde. Donc un converge vers m ∈ R
on a donc σn → m. Par unicité de la limite, m = l

On suppose σn → +∞
si un converge, on a σn converge aussi donc absurde. Donc un → +∞

pour le cas −∞, on prend −un

1.9
n
P n
P n
P n
P n
P
kek = k(uk+1 − uk ) = ((k + 1)uk+1 − uk+1 − kuk ) = ((k + 1)uk+1 − kuk ) − uk+1 =
k=0 k=0 k=0 k=0 k=0
n+1
P n
P
(n + 1)un+1 − uk = nun+1 − uk
k=1 k=1
donc on a
n n
1 1
P P
n uk + n kek = un+1
k=1 k=1
n
ˆ or kek → 0 donc par Cesàro 1
P
n kek → 0
k=n

n
ˆ et par hypothèse, 1
P
n uk → l
k=1

Donc un → l

1.10
1.10.1
m−1
P m−1
P m−1
P
(m − j)ej = (m − j)(uj+1 − uj ) = ((m − j − 1)uj+1 + uj+1 − (m − j)uj )
j=n j=n j=n
m−1
P m−1
P m
P m
P
= ((m−j−1)uj+1 −(m−j)uj )+ uj+1 = (m−m)um −(m−n)un + uk = uk −(m−n)un
j=n j=n k=n+1 k=n+1

5
1.10.2
m
P
(m + 1)σm − (n + 1)σn = uk
k=n+1
donc
m−1 m−1
(m+1)σm −(n+1)σn P m−j P m−j
m−n − un = m−n ej ≤ m−n |ej |
j=n j=n
C
et comme en = O(1/n) il existe C > 0 tq |en | ≤ n d’où
m−1 m−1 m−1
P m−j P m−j C P C
m−n |ej | ≤ m−n j ≤ j
j=n j=n j=n

1
Rj dx
avec j ≤ j−1 x
on a
m−1 R m−1  
C dx m−1
P
j ≤ n−1 x = C ln n−1
j=n

finalement  
(m + 1)σm − (n + 1)σn m−1
− un ≤ C ln
m−n n−1

ˆ avec cette inégalité, on a aussi

 
(m+1)σm −(n+1)σn m−1
m−n − l + l − un ≤ C ln n−1

ˆ aussi par inégalité traingulaire :

(m+1)σm −(n+1)σn m −(n+1)σn
|un − l| − m−n − l ≤ [ (m+1)σm−n − l] − [un − l]

donc en combinant les deux inégalités, on obtient

 
(m+1)σm −(n+1)σn
|un − l| ≤ C ln m−1
n−1 + m−n −l

enfin
(m+1)σm −(n+1)σn (m+1)(σm −l)+(n+1)(−σn +l) (m+1)|σm −l|+(n+1)|σn −l| (m+1)|σm −l|+(m+1)|σn −l|
m−n −l = m−n ≤ m−n ≤ m−n

on peut conclure que

 
m−1 m+1
|un − l| ≤ C ln + (|σm − l| + |σn − l|)
n−1 m−n

1.10.3
En prenant m = 1 + ⌊αn⌋ > n, on a par la question précédente
 
⌊αn⌋ 2 + ⌊αn⌋
|un − l| ≤ C ln + (|σ1+⌊αn⌋ − l| + |σn − l|)
n−1 1 + ⌊αn⌋ − n

6
– limite du terme de droite :
tout d’abord, pour α > 1, on a
⌊αn⌋ ≤ αn < ⌊αn⌋ + 1
donc
αn − 1 < ⌊αn⌋ ≤ αn
⌊αn⌋
on en déduit n →α

d’où avec m = 1 + ⌊αn⌋

 
ˆ C ln m−1
n−1 → C ln α
2
2+⌊αn⌋ +1
ˆ m+1
m−n = 1+⌊αn⌋−n = 1
⌊αn⌋
+1−n/⌊αn⌋
→ 1
1
1− α
⌊αn⌋

ˆ |σm − l| + |σn − l| → 0

enfin, on a donc
 
C ln ⌊αn⌋
n−1 + 2+⌊αn⌋
1+⌊αn⌋−n (|σ1+⌊αn⌋ − l| + |σn − l|) → C ln α

– conclusion:
δ
soit δ > 0, on pose α = e 2C > 1, ainsi, comme le terme de droit tend vers C ln α, on sait que pour
δ
ε = 2 > 0, il existe un rang n0 à partir duquel
 
C ln ⌊αn⌋
n−1
2+⌊αn⌋
+ 1+⌊αn⌋−n (|σ1+⌊αn⌋ − l| + |σn − l|) < C ln α + ε

par l’inégalité qu’on a montré, on a donc

δ δ
∀n ≥ n0 , |un − l| < C ln α + ε = 2 + 2 =δ

ainsi
un → l

2 Théorème d’Abel
2.1
2.1.1
l’intérieur de son disque de convergence, donc en particulier en 1 car 1 ∈ D(0, R)
f est continue àP
on suppose que n≥0 an converge, on a donc
+∞
P
lim f (z) = f (1) = ak ∈ C
z→1 k=0
z∈D(0,R)

puis par définition de ∆θ0 , les z de cet ensemble vérifie |z| < 1 donc ∆θ0 ⊂ D(0, 1) :

7
2.1.2
N N N n−1
an z n − SN = an (z n − 1) = zk
P P P P
an (z − 1)
n=0 n=0 n=0 k=0
−1
NP N NP−1
zk z k (Rk − RN )
P
= (z − 1) an = (z − 1)
k=0 n=k+1 k=0
−1
NP
k N
= (z − 1) z Rk − RN (z − 1)
k=0

2.1.3
on passe à la limite sur N, avec RN → 0 car SN converge

2.1.4
comme Rn → 0, il existeP un N0 tq ∀n ≥ N0 , |Rn | < ε
de plus, on sait que n≥0 Rn z n converge par l’égalité de la question précédente.
donc par inégalité triangulaire, on a:
+∞ +∞ N0 +∞ N0 +∞
Rn z n ≤ |Rn z n | = |Rn z n | + |Rn z n | < |Rn | |z|n + ε|z|n
P P P P P P
n=0 n=0 n=0 n=N0 +1 n=0 n=N0 +1

et donc comme |z| < 1 :

N0
|Rn | + ε |z−1|
P
|f (z) − S| ≤ |z − 1| 1−|z|
n=0

2.1.5