MôC LôC

5 Chuçi 3
5.1 Chuçi sè . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
5.1.1 Kh¸i niÖm vÒ chuçi sè . . . . . . . . . . . . . . . . . . . . 3
5.1.2 Chuçi sè d-¬ng . . . . . . . . . . . . . . . . . . . . . . . . 8
5.1.3 Chuçi ®an dÊu, chuçi héi tô tuyÖt ®èi . . . . . . . . . . . 15
5.2 Chuçi hµm vµ chuçi lòy thõa . . . . . . . . . . . . . . . . . . . . . 18
5.2.1 Kh¸i niÖm vÒ d·y hµm . . . . . . . . . . . . . . . . . . . . 18
5.2.2 Kh¸i niÖm vÒ chuçi hµm . . . . . . . . . . . . . . . . . . . 21
5.2.3 Chuçi lòy thõa . . . . . . . . . . . . . . . . . . . . . . . . . 25
5.2.4 TÝnh chÊt cña chuçi lòy thõa . . . . . . . . . . . . . . . . . 30
5.2.5 Chuçi Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . 33
5.3 Chuçi Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
5.3.1 Kh¸i niÖm vÒ chuçi l-îng gi¸c, chuçi Fourier . . . . . . . 38
5.3.2 Sù héi tô cña chuçi Fourier . . . . . . . . . . . . . . . . . . 40

1
 gi¶i tÝch I

S¸ch dïng cho sinh viªn tr-êng §¹i häc x©y dùng
vµ sinh viªn c¸c tr-êng §¹i häc, Cao ®¼ng kÜ thuËt

2
Ch-¬ng 5

Chuçi

5.1 Chuçi sè
5.1.1 Kh¸i niÖm vÒ chuçi sè
Cho d·y sè {an } vµ xÐt tæng v« h¹n tÊt c¶ c¸c sè h¹ng cña d·y. Tæng ®ã ®-îc
viÕt mét c¸ch h×nh thøc
X
∞
a1 + a2 + · · · + an + · · · = an
n=1

vµ ®-îc gäi lµ chuçi sè. an ®-îc gäi lµ sè h¹ng thø n cña chuçi.
Tæng cña n sè h¹ng ®Çu tiªn
X
n
Sn = ai = a1 + a2 + · · · + an
i=1

®-îc gäi lµ tæng riªng thø n cña chuçi.

§Þnh nghÜa 5.1.1 NÕu d·y c¸c tæng riªng {Sn } héi tô ®Õn S
lim Sn = lim (a1 + a2 + · · · + an ) = S
n→∞ n→∞

P
∞
ta nãi chuçi an héi tô vµ cã tæng b»ng S
n=1

X
∞
an = S
n=1

3
4 Ch-¬ng V. Chuçi

Ng-îc l¹i nÕu d·y c¸c tæng riªng {Sn } kh«ng héi tô ta nãi chuçi ph©n k×. §Æc biÖt
khi lim Sn = +∞ (hoÆc lim Sn = −∞) ta còng viÕt
n→∞ n→∞

X
∞ X
∞
an = +∞ (hoÆc an = −∞)
n=1 n=1

P
∞
Tõ ®Þnh nghÜa trªn ta suy ra nÕu chuçi an héi tô vµ cã tæng b»ng S, khi ®ã
n=1
chuçi
X
∞
ai
i=n+1

còng héi tô cã tæng b»ng S − Sn vµ chuçi ®ã ®-îc gäi lµ phÇn d- thø n, kÝ hiÖu
Rn = S − Sn .

VÝ dô 5.1.1
P
∞
1. XÐt chuçi sè qn (q ∈ R). C¸c sè h¹ng cña chuçi lËp thµnh cÊp sè nh©n,
n=1
do vËy víi q 6= 1 tæng riªng
X
n
q(q n − 1)
Sn = qi =
i=1
q−1

• Víi |q| < 1, hiÓn nhiªn

q(q n − 1) q
lim Sn = lim =
n→∞ n→∞ q−1 1−q
P
∞
Chuçi ®· cho héi tô vµ cã tæng qn = q
1−q
.
n=1
• Tr-êng hîp q > 1
q(q n−1 − 1)
lim Sn = lim = +∞
n→∞ n→∞ q−1
P
∞
Chuçi ®· cho ph©n k× q n = +∞.
n=1
• Tr-êng hîp q = 1, tæng riªng Sn = n → +∞, chuçi ph©n k× vµ còng cã
5.1 Chuçi sè 5

P
∞
tæng b»ng +∞, q n = +∞.
n=1
• Tr-êng hîp q ≤ −1, dÔ dµng chøng minh kh«ng tån t¹i giíi h¹n lim Sn ,
n→∞
chuçi ®· cho ph©n k×.
C¸c kÕt qu¶ trªn ®-îc tãm gän l¹i nh- sau:
P∞
Chuçi cÊp sè nh©n q n héi tô khi vµ chØ khi c«ng béi |q| < 1.
n=1

2. XÐt sù héi tô, ph©n k× cña chuçi

X
∞
1 1 1 1
= + + + ···
n=1
n(n + 1) 1·2 2·3 3·4

Tæng riªng thø n cña chuçi

X
n      
1 1 1 1 1 1 1 1
= − + − + ··· + − =1−
i=1
i(i + 1) 1 2 2 3 n n+1 n+1

VËy  
1
lim Sn = lim 1 − = 1,
n→∞ n→∞ n+1
P
∞
chuçi ®· cho héi tô vµ tæng cña chuçi 1
n(n+1)
= 1.
n=1

X∞
1
3. XÐt chuçi (ta gäi chuçi ®ã lµ chuçi ®iÒu hßa). Ta sÏ chøng minh chuçi
n=1
n
X∞
1
®iÒu hßa ph©n k×. ThËt vËy do
n=1
n

n sè h¹ng
z
}| {
1 1 1 1 1
S2n − Sn = + + ··· + >n· = ,
n+1 n+2 2n 2n 2

d·y S2n − Sn kh«ng tiÕn tíi 0 khi n → ∞, suy ra d·y c¸c tæng riªng {Sn }
kh«ng héi tô. VËy chuçi ®ang xÐt ph©n k×.
6 Ch-¬ng V. Chuçi

P
∞
§Þnh lÝ 5.1.1 (§iÒu kiÖn cÇn ®Ó chuçi héi tô) Chuçi un héi tô, khi ®ã
n=1

lim un = 0.
n→∞

P
∞
Chøng minh ThËt vËy, do chuçi un héi tô, c¸c tæng riªng Sn cã giíi h¹n vµ
n=1
dÇn tíi S, tæng cña chuçi. HiÓn nhiªn un = Sn − Sn−1 , suy ra

lim un = lim (Sn − Sn−1 ) = lim Sn − lim Sn−1 = S − S = 0. 

n→∞ n→∞ n→∞ n→∞

Ng-êi ta th-êng sö dông ®Þnh lÝ trªn ®Ó chøng minh mét chuçi ph©n k×. Tuy
nhiªn lim un = 0 chØ lµ ®iÒu kiÖn cÇn ®Ó chuçi héi tô.
n→∞

VÝ dô 5.1.2
X
∞
n
1. Chuçi ph©n k× do kh«ng tháa m·n ®iÒu kiÖn cÇn ®Ó chuçi héi tô
n=1
n+1
n
lim = 1.
n→∞ n + 1

X∞  n
n
2. Chuçi ph©n k× do
n=1
n + 1
 n
n 1
lim = .
n→∞ n+1 e

Tõ c¸c kÕt qu¶ vÒ d·y Cauchy ®· tr×nh bµy trong ch-¬ng I, ta cã ®Þnh lÝ sau
P
∞
§Þnh lÝ 5.1.2 (Tiªu chuÈn Cauchy) §iÒu kiÖn cÇn vµ ®ñ ®Ó chuçi un héi tô
n=1
lµ d·y c¸c tæng riªng {Sn } lµ d·y Cauchy, nãi c¸ch kh¸c, víi ∀ε > 0 tån t¹i
n0 ∈ N∗ sao cho khi n > n0
n+p
X
| uk | = |un + un+1 + un+2 + · · · + un+p | < ε ∀p ∈ N∗ .
k=n
5.1 Chuçi sè 7

VÝ dô 5.1.3
P
∞
1. øng dông ®Þnh lÝ trªn ta sÏ chøng minh chuçi 1
n2
héi tô. ThËt vËy víi
n=1
ε > 0 tïy ý
n+p
X 1 1 1 1
| 2
|< + + ··· + =
k n(n − 1) n(n + 1) (n + p − 1)(n + p)
k=n
     
1 1 1 1 1 1
= − + − + ··· + − =
n−1 n n n+1 n+p−1 n+p
1 1 1
= − < < ε víi n > n0 nµo ®ã vµ ∀p ∈ N∗.
n−1 n+p n−1
P
∞
2. Chuçi 1
n
kh«ng tháa m·n tiªu chuÈn Cauchy, suy ra chuçi ph©n k×, v×
n=1

n+p
X 1 X2n
1 1 1
| |> >n· = ∀n ∈ N∗ vµ mäi p > n.
k=n
k k=n+1
k 2n 2

Tõ ®Þnh nghÜa ta cã nhËn xÐt chuçi héi tô hay ph©n k× phô thuéc vµo d·y c¸c
tæng riªng {Sn } cã giíi h¹n h÷u h¹n hay kh«ng. MÆt kh¸c sù héi tô hay ph©n k×
cña d·y kh«ng phô thuéc vµo h÷u h¹n sè h¹ng cña d·y. Do vËy ta còng cã kÕt
luËn t-¬ng tù: sù héi tô hay ph©n k× cña chuçi sè kh«ng phô thuéc vµo h÷u h¹n
sè h¹ng cña chuçi.
C¸c tÝnh chÊt sau lµ hiÓn nhiªn, b¹n ®äc tù chøng minh
P∞ P
∞
• NÕu hai chuçi un vµ vn héi tô cã tæng b»ng a, b t-¬ng øng, khi ®ã chuçi
n=1 n=1
P
∞
(un + vn ) còng héi tô ®ång thêi
n=1

X
∞ X
∞
(un + vn ) = a + b (t-¬ng tù (un − vn ) = a − b).
n=1 n=1

P
∞ P
∞
• NÕu chuçi un héi tô cã tæng b»ng a, khi ®ã αun còng héi tô víi mäi
n=1 n=1
α ∈ R ®ång thêi
X
∞
αun = αa.
n=1
8 Ch-¬ng V. Chuçi

VÝ dô Sè thËp ph©n v« h¹n tuÇn hoµn a = 2, 12121212... = 2, (12) thùc chÊt lµ

tæng cña chuçi sè

X
∞
10−2 70
a = 2 + 12 10−2n = 2 + 12 · −2
= .
n=1
1 − 10 33

5.1.2 Chuçi sè d-¬ng

P
∞
§Þnh nghÜa 5.1.2 Chuçi un ®-îc gäi lµ chuçi sè d-¬ng nÕu un > 0 víi mäi
n=1
n ∈ N∗ .

Ta cã nhËn xÐt r»ng ®èi víi chuçi sè d-¬ng, d·y c¸c tæng riªng

Sn = u1 + u2 + · · · + un , n = 1, 2, 3, ...

®¬n ®iÖu t¨ng, do vËy chuçi héi tô khi vµ chØ khi d·y {Sn } bÞ chÆn trªn (tøc lµ
tån t¹i M ∈ R sao cho Sn ≤ M ∀n, khi ®ã tæng cña chuçi sè d-¬ng còng ≤ M).
B©y giê ta sÏ ph¸t biÓu vµ chøng minh mét sè tiªu chuÈn ®Ó xÐt sù héi tô
ph©n k× cña chuçi sè d-¬ng.

§Þnh lÝ 5.1.3 (Tiªu chuÈn so s¸nh)

P
∞ P
∞
Cho hai chuçi sè d-¬ng un vµ vn
n=1 n=1
P
∞ P
∞
• Gi¶ sö un ≤ vn víi mäi n ≥ n0 nµo ®ã. Khi ®ã nÕu vn héi tô th× un còng
n=1 n=1
P
∞ P
∞
héi tô. Tõ ®ã suy ra nÕu chuçi bÐ h¬n un ph©n k× th× chuçi vn còng ph©n
n=1 n=1
k×.

un P
∞ P
∞
• NÕu lim =k trong ®ã khi ®ã hai chuçi
0 < k < +∞, un vµ vn ®ång
n→∞ vn n=1 n=1

thêi héi tô hoÆc ph©n k×.

Chøng minh
• Kh«ng lµm mÊt tÝnh tæng qu¸t, ta gi¶ thiÕt un ≤ vn víi mäi n ≥ 1. KÝ hiÖu Sn
5.1 Chuçi sè 9

P
∞ P
∞
lµ tæng riªng thø n cña chuçi un vµ Sn0 lµ tæng riªng thø n cña chuçi vn .
n=1 n=1
Khi ®ã
Sn ≤ Sn0 víi mäi n ≥ 1.
P
∞
Tõ gi¶ thiÕt chuçi vn = S 0 héi tô, suy ra d·y {Sn } bÞ chÆn trªn
n=1

Sn ≤ Sn0 < S 0 ∀n ∈ N∗ .
P
∞
VËy chuçi un héi tô.
n=1
• Gi¶ thiÕt
un
= k > 0.lim
n→∞ vn

Theo tÝnh chÊt giíi h¹n d·y sè, tån t¹i n0 ∈ N∗ sao cho víi mäi n > n0
k un k
< < 2k ⇔ vn < un < 2k · vn .
2 vn 2
P
∞ P
∞
NÕu vn héi tô, suy ra 2k · vn héi tô vµ theo kÕt qu¶ phÇn thø nhÊt cña
n=1 n=1
P
∞
®Þnh lÝ, chuçi un còng héi tô.
n=1
P
∞ P
∞ P
∞
NÕu un héi tô, suy ra k
v
2 n
héi tô vµ do vËy chuçi vn héi tô, ®.p.c.m.
n=1 n=1 n=1


VÝ dô 5.1.4
P
∞
1. Tõ sù ph©n k× cña chuçi 1
n
(®· chøng minh trong c¸c vÝ dô trªn) suy ra
n=1
P
∞
chuçi √1
n
còng ph©n k× do
n=1

1 1
<√ víi mäi n ≥ 1.
n n
P
∞ P
∞
2. Chuçi sin n1 ph©n k×. ThËt vËy so s¸nh víi chuçi ph©n k× 1
n
n=1 n=1
 
1 1 1 1
sin ∼ hay lim sin : = 1.
n n n→∞ n n
10 Ch-¬ng V. Chuçi

P
∞
§Þnh lÝ 5.1.4 (Tiªu chuÈn DAlembert) Cho chuçi sè d-¬ng un . Gi¶ sö
n=1
un+1
lim = D.
n→∞ un
P
∞
• NÕu D < 1 chuçi un héi tô.
n=1
P
∞
• NÕu D > 1 chuçi un ph©n k×.
n=1

Chøng minh
• Gi¶ sö D < 1, tån t¹i ε > 0 sao cho D + ε < 1. Tõ tÝnh chÊt cña giíi h¹n suy
ra tån t¹i n0 ∈ N∗ sao cho ∀n ≥ n0
un+1
<D+ε
un
ViÕt bÊt ®¼ng thøc nµy mét c¸ch chi tiÕt h¬n
un0 +1 < (D + ε)un0
un0 +2 < (D + ε)un0 +1 < (D + ε)2un0
un0 +3 < (D + ε)un0 +2 < (D + ε)3un0
· · · · · · · · · · · · · · · · · · · · · · · · · · ·∞
······
P
Do 0 < D + ε < 1, chuçi cÊp sè nh©n un0 (D + ε)k héi tô, theo tiªu chuÈn
k=1
so s¸nh võa chøng minh trong ®Þnh lÝ trªn, chuçi
X
∞ X
∞
un0 +k héi tô, suy ra un còng héi tô
k=1 n=1

• Tr-êng hîp D > 1, tõ gi¶ thiÕt lim un+1

= D, suy ra tån t¹i n0 ∈ N∗ sao cho
n→∞ un
un0 < un0 +1 < un0 +2 < un0 +3 < · · · . D·y {un } ®¬n ®iÖu t¨ng cã giíi h¹n d-¬ng,
P
∞
do vËy chuçi un ph©n k× v× kh«ng tháa m·n ®iÒu kiÖn cÇn ®Ó chuçi héi tô. 
n=1

NhËn xÐt r»ng tiªu chuÈn D'Alembert vÉn cã hiÖu lùc nÕu thay cho gi¶ thiÕt
liªn quan tíi limn→∞ uun+1
n
lµ gi¶ thiÕt nhÑ h¬n liªn quan tíi lim sup, lim inf.

Cô thÓ nÕu
un+1 X∞
lim sup = D∗ < 1 ⇒ un héi tô
n→∞ un n=1
5.1 Chuçi sè 11

vµ nÕu
un+1 X∞
lim inf = D∗ > 1 ⇒ un ph©n k×.
n→∞ un n=1

ViÖc chøng minh nhËn xÐt ®ã ®-îc tiÕn hµnh gièng nh- ®· chøng minh
trong tiªu chuÈn D'Alembert. C¸c lËp luËn khi chøng minh nhËn xÐt ®Çu dùa
trªn kh¼ng ®Þnh: tån t¹i n0 ∈ N∗ sao cho ∀n ≥ n0
un+1
< D∗ + ε < 1.
un
ViÖc chøng minh nhËn xÐt thø hai hoµn toµn t-¬ng tù, D∗ > 1 suy ra tån t¹i n0
sao cho víi mäi n ≥ n0
un+1
> 1 ⇒ un+1 > un .
un
D·y {un } ®¬n ®iÖu t¨ng (kÓ tõ sè h¹ng n0 trë ®i), do ®ã d·y {un } kh«ng tiÕn tíi
P
∞
0, chuçi un ph©n k× .
n=1

VÝ dô 5.1.5

X
∞
n+1
1. XÐt chuçi
n=1
3n

¸p dông tiªu chuÈn D'Alembert

un+1 n+2 3n 1
lim = lim n+1 · = < 1.
n→∞ un n→∞ 3 n+1 3
Chuçi ®· cho héi tô.

X
∞
an
2. XÐt sù héi tô, ph©n k× cña chuçi víi a > 0.
n=1
na

¸p dông tiªu chuÈn D'Alembert

 a
un+1 an+1 na n
lim = lim · = lim a = a.
n→∞ un n→∞ (n + 1)a an n→∞ n+1
12 Ch-¬ng V. Chuçi

• Chuçi héi tô nÕu a < 1

• Chuçi ph©n k× nÕu a > 1
P
∞
• Tr-êng hîp a = 1, chuçi cã d¹ng 1
n
, ®©y lµ chuçi ph©n k× ®· nhiÒu
n=1
lÇn nh¾c tíi trong c¸c vÝ dô trªn.

X
∞
ns
3. XÐt chuçi (s ∈ R).
n=1
n!

Theo tiªu chuÈn D'Alembert

 s
un+1 (n + 1)s n! n+1 1
lim = lim · = lim · = 0 < 1.
n→∞ un n→∞ (n + 1)! ns n→∞ n n+1
Chuçi ®· cho héi tô.
NhËn xÐt r»ng tiªu chuÈn D'Alembert còng nh- tiªu chuÈn Cauchy sÏ ®-îc tr×nh
bµy ngay sau ®©y, kh¸c tiªu chuÈn so s¸nh ë chç nã kh«ng cÇn so s¸nh víi c¸c
chuçi kh¸c mµ chØ nghiªn cøu mèi quan hÖ "néi t¹i" gi÷a c¸c sè h¹ng cña chuçi.

P
∞
§Þnh lÝ 5.1.5 (Tiªu chuÈn Cauchy) Cho chuçi sè d-¬ng un . KÝ hiÖu
n=1
√
lim sup n
un = C.
n→∞

P
∞
• NÕu C < 1 chuçi un héi tô.
n=1
P
∞
• NÕu C > 1 chuçi un ph©n k×.
n=1

Chøng minh
√
• Tr-êng hîp C = lim sup n un < 1 ⇒ ∃ε > 0 sao cho C + ε < 1 ®ång thêi tån
n→∞
t¹i n0 ∈ N∗ sao cho ∀n ≥ n0
√n
un < C + ε < 1 ⇒ un < (C + ε)n .
P P
∞
Chuçi cÊp sè nh©n (C + ε)n víi c«ng béi C + ε < 1 héi tô, suy ra chuçi un
n n=1
héi tô.
5.1 Chuçi sè 13

√
• Tr-êng hîp C = lim sup n un > 1, tõ ®Þnh nghÜa vÒ lim sup suy ra tån t¹i mét
n→∞
√
d·y con { nk unk } sao cho
√
lim sup nk unk > 1 ⇒ ∃n0, sao cho ∀nk > n0 : unk > 1.
k→∞
P
∞
Do vËy d·y {un } kh«ng tiÕn tíi 0, chuçi un ph©n k× . 
n=1
Chó ý, c¶ tiªu chuÈn D'Alembert vµ tiªu chuÈn Cauchy ®Òu kh«ng cã hiÖu
lùc khi D, D∗ , D∗ hoÆc C b»ng 1. Nãi c¸ch kh¸c trong c¸c tr-êng hîp ®ã chuçi
cã thÓ héi tô mµ còng cã thÓ ph©n k×. Ch¼ng h¹n ta ®· xÐt hai vÝ dô trong môc
tr-íc (¸p dông tiªu chuÈn Cauchy vÒ ®iÒu kiÖn cÇn vµ ®ñ ®Ó chuçi héi tô):
P
∞ P
∞
Chuçi 1
n
ph©n k× vµ chuçi 1
n2
héi tô. Víi c¸c chuçi nµy
n=1 n=1
un+1 √
D = lim =1 vµ C = lim n
un = 1.
n→∞ un n→∞

VÝ dô 5.1.6

X
∞  n2
1. XÐt chuçi n n
2 ·
n=1
n+1

¸p dông tiªu chuÈn Cauchy

 n
√ n 2
lim n
un = lim 2 · = < 1.
n→∞ n→∞ n+1 e
Chuçi ®ang xÐt héi tô.

X∞
(2 + (−1)n )n
2. XÐt sù héi tô, ph©n k× cña chuçi .
4 n
n=1

¸p dông tiªu chuÈn Cauchy

√ 2 + (−1)n 3
lim sup n
un = lim sup = < 1,
n→∞ n→∞ 4 4
14 Ch-¬ng V. Chuçi

chuçi ®· cho héi tô.

√
NhËn xÐt r»ng trong vÝ dô nµy, giíi h¹n lim n un kh«ng tån t¹i, trong khi
n→∞
limsup cña mét d·y bÊt k× lu«n tån t¹i.
§Þnh lÝ 5.1.6 (Tiªu chuÈn tÝch ph©n) Cho hµm f : [1, +∞) → R d-¬ng vµ liªn
tôc trªn [1, +∞). Gi¶ thiÕt r»ng hµm f ®¬n ®iÖu gi¶m vµ lim f (x) = 0. KÝ hiÖu
x→+∞
un = f (n) ∀n ∈ N∗ , khi ®ã
X
∞ Z ∞
Chuçi un vµ tÝch ph©n suy réng f (x)dx
n=1 1

®ång thêi cïng héi tô hoÆc ph©n k×.

Chøng minh Theo gi¶ thiÕt f ®¬n ®iÖu gi¶m, suy ra
Z k Z k
uk = f (k) = f (k)dx ≤ f (x)dx ≤ f (k − 1) = uk−1 ∀k ≥ 2.
k−1 k−1

Céng vÕ víi vÕ theo k ta ®-îc

Z n
u2 + u3 + · · · + un ≤ f (x)dx ≤ u1 + u2 + · · · + un−1
1
hay Z n
S n − u1 ≤ f (x)dx ≤ Sn − un .
1
R∞
Do ®ã nÕu tÝch ph©n f (x)dx héi tô, c¸c tæng riªng Sn cña chuçi sè d-¬ng bÞ
1
P
∞
chÆn trªn, suy ra chuçi un héi tô.
n=1
P
∞
T-¬ng tù, tõ sù héi tô cña chuçi un , suy ra lim un = 0 vµ do ®ã tÝch ph©n
n→∞
R∞ n=1

1
f (x)dx héi tô, ®.p.c.m. 

VÝ dô 5.1.7
R∞
1. Trong ch-¬ng tr-íc ta ®· biÕt tÝch ph©n suy réng 1 1
xα
dx héi tô khi vµ
chØ khi α > 1. ¸p dông tiªu chuÈn tÝch ph©n ta ®-îc
X∞
1
α
héi tô khi vµ chØ khi α > 1.
n=1
n
P∞
Ch¼ng h¹n n=1
√1
3 4
n
héi tô v× α = 4
3
> 1.
5.1 Chuçi sè 15

2. XÐt sù héi tô, ph©n k× cña chuçi

X
∞
1
.
n=2
n ln n
R∞
DÔ dµng chøng minh tÝch ph©n suy réng 1 x ln1 x dx ph©n k×, do ®ã theo
tiªu chuÈn tÝch ph©n, chuçi ®ang xÐt lµ chuçi ph©n k×.

5.1.3 Chuçi ®an dÊu, chuçi héi tô tuyÖt ®èi

§Þnh nghÜa 5.1.3 Chuçi sè cã d¹ng
X
∞
(−1)n+1 un = u1 − u2 + u3 + · · · + (−1)n+1 un + · · · (5.1)
n=1

hoÆc
X
∞
(−1)n un = −u1 + u2 − u3 + · · · + (−1)n un + · · ·
n=1

trong ®ã un > 0 víi mäi n ∈ N∗ ®-îc gäi lµ chuçi ®an dÊu.

HiÓn nhiªn ta chØ cÇn xÐt chuçi (5.1)

P
∞
§Þnh lÝ 5.1.7 (Leibnitz) Gi¶ thiÕt d·y {un } trong chuçi ®an dÊu (−1)n+1 un
n=1
®¬n ®iÖu gi¶m vµ lim un = 0, khi ®ã chuçi héi tô ®ång thêi tæng cña chuçi kh«ng
n→∞
v-ît qu¸ sè h¹ng ®Çu tiªn
X
∞
(−1)n+1 un = u1 − u2 + u3 + · · · + (−1)n+1 un + · · · ≤ u1 .
n=1

Chøng minh XÐt tæng riªng thø 2m, do un ≥ un+1 ∀n

S2m = (u1 − u2) + (u3 − u4) + · · · + (u2m−1 − u2m ) ≥ 0.

MÆt kh¸c
 
S2m = u1 − (u2 − u3 ) + (u4 − u5 ) + · · · + (u2m−2 − u2m−1) + u2m ≤ u1 .
16 Ch-¬ng V. Chuçi

D·y c¸c tæng riªng {S2m } ®¬n ®iÖu t¨ng vµ bÞ chÆn trªn (≤ u1), suy ra
lim S2m = S ≤ u1 vµ lim S2m+1 = lim (S2m + u2m+1) = S.
m→∞ m→∞ m→∞

VËy d·y c¸c tæng riªng {Sn } héi tô lim Sn = S ≤ u1. 

n→∞
P
∞
NhËn xÐt r»ng nÕu chuçi ®an dÊu (−1)n+1 un tháa m·n ®iÒu kiÖn cña ®Þnh
n=1 P
lÝ Leibnitz, khi ®ã phÇn d- thø n cña chuçi Rn = ∞ k=n+1 (−1)
k+1
uk còng héi tô
vµ cã tæng  
 X
∞ 
 k+1 
|Rn | =  (−1) uk  ≤ un+1 .
 
k=n+1
P
∞
Do vËy ta cã thÓ xÊp xØ tæng cña chuçi S = (−1)n+1 un víi tæng riªng Sn vµ
n=1
sai sè ph¹m ph¶i lµ phÇn d- thø n cña chuçi Rn kh«ng v-ît qu¸ un+1 .

VÝ dô 5.1.8
1. Chuçi ®an dÊu
X
∞
1 1 1 1
(−1)n+1 · = 1 − + − + ···
n=1
n 2 3 4

hiÓn nhiªn tháa m·n ®iÒu kiÖn cña ®Þnh lÝ Leibnitz, do vËy chuçi héi tô.

X
∞
ln n
2. XÐt chuçi ®an dÊu (−1)n+1
n=1
n

Ta sÏ chøng minh hµm f (x) = lnxx ®¬n ®iÖu gi¶m trªn kho¶ng [3, +∞).
ThËt vËy
1 − ln x
f 0 (x) = < 0 ∀x ≥ 3.
x2
MÆt kh¸c ¸p dông quy t¾c L'Hospital, ta thÊy
ln x (ln x)0 1
lim = lim = lim = 0.
x→+∞ x x→+∞ (x)0 x→+∞ x

Do vËy d·y un = lnnn = f (n) tháa m·n ®iÒu kiÖn ®Þnh lÝ Leibnitz, suy ra
chuçi ®· cho héi tô.
5.1 Chuçi sè 17

P
∞
§Þnh nghÜa 5.1.4 XÐt chuçi sè un trong ®ã un ∈ R ∀n ∈ N∗ . Ta nãi chuçi
n=1
P
∞
héi tô tuyÖt ®èi nÕu chuçi |un | héi tô.
n=1

Ta chøng minh ®Þnh lÝ sau

P
∞
§Þnh lÝ 5.1.8 NÕu chuçi un héi tô tuyÖt ®èi th× nã héi tô.
n=1

P
∞
Chøng minh Ta sÏ chøng minh chuçi un tháa m·n tiªu chuÈn Cauchy vÒ ®iÒu
n=1
kiÖn cÇn vµ ®ñ ®Ó chuçi héi tô. ThËt vËy víi ε > 0 tïy ý, do gi¶ thiÕt chuçi
P∞
|un | héi tô, tån t¹i n0 ∈ N∗ sao cho ∀n > n0 , ∀p ∈ N∗
n=1

n+p n+p
X X
| uk | ≤ |uk | < ε, ®.p.c.m. 
k=n k=n

Chó ý r»ng chiÒu ng-îc l¹i cña ®Þnh lÝ trªn nãi chung kh«ng ®óng: nÕu chuçi
P
∞
un héi tô, nãi chung kh«ng kÐo theo chuçi ®ã héi tô tuyÖt ®èi. Ch¼ng h¹n
n=1
P
∞ P
∞
chuçi (−1)n n1 héi tô theo ®Þnh lÝ Leibnitz, tuy nhiªn chuçi 1
n
lµ chuçi ®iÒu
n=1 n=1
hßa ph©n k×.
P
∞ P
∞
§Þnh nghÜa 5.1.5 NÕu chuçi un héi tô vµ |un | ph©n k×, khi ®ã ta nãi chuçi
n=1 n=1
P
∞
un b¸n héi tô.
n=1

VÝ dô 5.1.9
P
∞ P
∞
1. Chuçi (−1)n √1n lµ chuçi ®an dÊu héi tô theo ®Þnh lÝ Leibnitz vµ √1
n
n=1 n=1
ph©n k× theo tiªu chuÈn tÝch ph©n. VËy chuçi
X
∞
1
(−1)n √
n=1
n

b¸n héi tô.

18 Ch-¬ng V. Chuçi

2. T-¬ng tù nh- vÝ dô trªn, chuçi

X
∞
1
(−1)n ·
n=2
n ln n

lµ chuçi b¸n héi tô.

5.2 Chuçi hµm vµ chuçi lòy thõa

5.2.1 Kh¸i niÖm vÒ d·y hµm
Chóng ta ®· lµm quen víi kh¸i niÖm vÒ d·y sè {un }. Thay cho mçi sè h¹ng un
cña d·y sè lµ hµm sè, ta còng kÝ hiÖu
un : A → R, ∀n ∈ N∗ , A ⊂ R, A 6= ∅
(c¸c hµm un cã cïng miÒn x¸c ®Þnh A), khi ®ã ta nãi vÒ d·y hµm {un (x)} trªn
tËp A vµ víi mçi x ∈ A ta cã d·y sè {un (x)}.
D·y sè {un (x)} cã thÓ héi tô hoÆc ph©n k×. TËp hîp
X = {x ∈ A / d·y sè {un (x)} héi tô}
®-îc gäi lµ miÒn héi tô cña d·y hµm. Gi¶ thiÕt tËp X 6= ∅,
lim un (x) = u(x) ∀x ∈ X.
n→∞

Sù héi tô ®ã ®-îc gäi lµ héi tô theo tõng ®iÓm cña d·y hµm {un (x)} tíi u(x) trªn
tËp X.
NÕu víi ε > 0 tïy ý, tån t¹i n0 = n0 (ε) ∈ N∗ sao cho
|un (x) − u(x)| < ε, ∀n > n0 , ∀x ∈ X
ta nãi d·y hµm {un (x)} héi tô ®Òu tíi u(x) trªn tËp X. Chó ý n0 = n0 (ε) kh«ng
phô thuéc x ∈ X mµ chØ phô thuéc vµo ε. HiÓn nhiªn nÕu {un (x)} héi tô ®Òu
tíi u(x) trªn tËp X, khi ®ã d·y hµm héi tô theo tõng ®iÓm tíi u(x) trªn tËp X.
§Þnh lÝ sau ®-îc suy ra ngay tõ kh¸i niÖm héi tô ®Òu
§Þnh lÝ 5.2.1 §iÒu kiÖn cÇn vµ ®ñ ®Ó d·y hµm {un (x)} héi tô ®Òu tíi u(x) trªn
tËp X lµ
lim sup |un (x) − u(x)| = 0.
n→∞ x∈X
5.2 Chuçi hµm vµ chuçi lòy thõa 19

VÝ dô 5.2.1

1. D·y hµm {xn } héi tô tõng ®iÓm tíi hµm h»ng f (x) ≡ 0 trªn kho¶ng
X = (0, 1). Tuy nhiªn sù héi tô ®ã kh«ng lµ héi tô ®Òu trªn kho¶ng
X = (0, 1).
ThËt vËy supx∈(0,1) |xn − 0| = 1 víi mäi n ∈ N∗, kh«ng tháa m·n ®iÒu kiÖn
cña ®Þnh lÝ trªn.
Tuy nhiªn d·y hµm {xn } héi tô ®Òu tíi 0 trªn tËp Y = (0, 1 − δ) víi mäi
0<δ<1
lim sup |xn − 0| = lim (1 − δ)n = 0.
n→∞ x∈Y n→∞

2. LËp luËn t-¬ng tù (b¹n ®äc tù kiÓm tra), d·y hµm {e−nx } héi tô tõng ®iÓm
tíi hµm h»ng f (x) ≡ 0 trªn kho¶ng (0, +∞).
D·y hµm {e−nx } kh«ng héi tô ®Òu tíi 0 trªn tËp (0, +∞).
D·y hµm {e−nx } héi tô ®Òu tíi 0 trªn tËp (ε, +∞).

Còng nh- ®èi víi d·y sè ta cã

§Þnh lÝ 5.2.2 (Tiªu chuÈn Cauchy) §iÒu kiÖn cÇn vµ ®ñ ®Ó d·y hµm {un (x)}
héi tô ®Òu trªn tËp X lµ víi mäi ε > 0, tån t¹i n0 = n0 (ε) ∈ N∗ (kh«ng phô thuéc
x ∈ X) sao cho

|un (x) − um (x)| < ε, ∀n, m > n0 , ∀x ∈ X.

Chøng minh Tõ tiªu chuÈn Cauchy ®èi víi d·y sè, suy ra tån t¹i giíi h¹n
lim un (x) = u(x) víi mäi x ∈ X. Ta sÏ chøng minh héi tô ®ã lµ héi tô ®Òu.
n→∞
ThËt vËy, tõ gi¶ thiÕt vÒ ®iÒu kiÖn Cauchy |un (x) − um(x)| < ε, ∀n, m > n0 cho
m → ∞ ta ®-îc

|un (x) − u(x)| ≤ ε, ∀n > n0, ∀x ∈ X. ®.p.c.m. 

D·y hµm héi tô ®Òu cã c¸c tÝnh chÊt quan träng sau ®©y
• Gi¶ sö {un (x)} héi tô ®Òu trªn tËp X vµ víi mçi n ∈ N∗ , gi¶ thiÕt un (x) liªn
tôc trªn tËp X. Khi ®ã u(x) còng liªn tôc trªn X.
ThËt vËy gäi x0 ∈ X vµ ε > 0 tïy ý cho tr-íc. Tån t¹i n0 = n0 (ε) ∈ N∗ sao
cho
ε
|un (x) − u(x)| < , ∀n > n0, ∀x ∈ X.
3
20 Ch-¬ng V. Chuçi

Víi mét m > n0 cè ®Þnh, do um (x) liªn tôc t¹i x0 ∈ X, tån t¹i δ > 0 sao cho
ε
|um (x) − um (x0)| < , ∀|x − x0 | < δ.
3
Khi ®ã

|u(x) − u(x0)| = |u(x) − um (x) + um (x) − um (x0 ) + um (x0) − u(x0)| ≤

ε ε ε
≤ |u(x) − um (x)| + |um (x) − um (x0)| + |um (x0) − u(x0)| < + + =ε
3 3 3
VËy lim u(x) = u(x0 ), hµm u(x) liªn tôc t¹i x0.
x→x0
NhËn xÐt r»ng tõ tÝnh chÊt nµy ta suy ra nÕu c¸c hµm un (x) liªn tôc trªn tËp
X, hµm giíi h¹n u(x) kh«ng liªn tôc trªn X, khi ®ã {un (x)} kh«ng héi tô ®Òu
trªn X.
Ch¼ng h¹n xÐt vÝ dô d·y hµm {xn } héi tô tõng ®iÓm trªn tËp X = [0, 1] tíi hµm
(
0 nÕu 0 ≤ x < 1
f (x) =
1 nÕu x = 1

Hµm giíi h¹n f (x) kh«ng liªn tôc t¹i x0 = 1, sù héi tô ®ã kh«ng lµ héi tô ®Òu
trªn kho¶ng X = [0, 1].
• Gi¶ sö {un (x)}, ∀n ∈ N∗ liªn tôc trªn ®o¹n [a, b] vµ héi tô ®Òu tíi u(x) trªn ®ã.
Suy ra víi mäi x0 , x ∈ [a, b]
Z x Z x
Fn (x) = un (t)dt héi tô ®Òu tíi u(t)dt trªn [a, b].
x0 x0

§Æc biÖt Z Z
b b
lim un (x)dx = u(x)dx.
n→∞ a a

Chøng minh Víi ε > 0 tïy ý cho tr-íc, tån t¹i n0 = n0 (ε) ∈ N∗ sao cho
ε
|un (x) − u(x)| < , ∀n > n0 , ∀x ∈ [a, b]
b−a
Rx
KÝ hiÖu F (x) = x0
u(t)dt, suy ra
Z Z  Z
 x x  x
|Fn (x) − F (x)| =  un (t)dt − u(t)dt ≤ |un (t) − u(t)|dt
x0 x0 x0
5.2 Chuçi hµm vµ chuçi lòy thõa 21

ε
⇒ |Fn (x) − F (x)| < · (b − a) = ε, ∀n > n0 , ∀x ∈ [a, b], ®.p.c.m.
b−a
• Gi¶ sö {un (x)}, ∀n ∈ N∗ cã ®¹o hµm liªn tôc trªn ®o¹n [a, b], d·y {u0n (x)} héi
tô ®Òu tíi v(x) trªn [a, b]. NÕu {un (x)} héi tô tíi u(x) trªn [a, b], khi ®ã sù héi tô
cña {un (x)} trªn [a, b] lµ héi tô ®Òu vµ u0(x) = v(x), ∀x ∈ [a, b].
¸p dông tÝnh chÊt võa chøng minh cho d·y hµm {u0n (t)} víi t ∈ [x0, x] trªn
®o¹n [a, b]
Z x Z x
un (t)dt = un (x) − un (x0) héi tô ®Òu tíi
0
v(t)dt trªn [a, b].
x0 x0

Theo gi¶ thiÕt d·y sè {un (x0 )} cã giíi h¹n b»ng u(x0 ), suy ra
Z x
lim un (x) = u(x0) + v(t)dt, héi tô ®Òu trªn [a, b].
n→∞ x0
Rx
Nh- vËy u(x) = u(x0 ) + x0
v(x)dx vµ u0 (x) = v(x) ∀x ∈ [a, b], ®.p.c.m.

5.2.2 Kh¸i niÖm vÒ chuçi hµm

§Þnh nghÜa 5.2.1 Cho d·y hµm {un (x)}∞
n=1 x¸c ®Þnh trªn tËp A, chuçi h×nh thøc
sau ®-îc gäi lµ chuçi hµm
X ∞
un (x) (5.2)
n=1

TËp hîp
X = {x ∈ A / chuçi (5.2) héi tô}
P
®-îc gäi lµ miÒn héi tô cña chuçi hµm. S(x) = ∞ n=1 un (x) víi mäi x ∈ X ®-îc
gäi lµ tæng cña chuçi trªn tËp X.
NÕu d·y c¸c tæng riªng

Sn (x) = u1 (x) + u2 (x) + · · · + un (x), n = 1, 2, 3, ...

héi tô ®Òu tíi hµm S(x) trªn tËp X, ta nãi chuçi (5.2) héi tô ®Òu trªn X.

¸p dông tiªu chuÈn Cauchy cho d·y c¸c tæng riªng Sn (x) cña chuçi (5.2) ta
®-îc ®Þnh lÝ sau
22 Ch-¬ng V. Chuçi

P
∞
§Þnh lÝ 5.2.3 (Tiªu chuÈn Cauchy) §iÒu kiÖn cÇn vµ ®ñ ®Ó chuçi hµm un (x)
n=1
héi tô ®Òu trªn tËp X lµ víi mäi ε > 0, tån t¹i n0 = n0 (ε) ∈ N∗ (kh«ng phô thuéc
x ∈ X) sao cho ∀n > n0 vµ mäi p ∈ N∗

|un (x) + un+1 (x) + · · · + un+p (x)| < ε, ∀x ∈ X.

VÝ dô 5.2.2

XÐt chuçi
X
∞
xn .
n=1

HiÓn nhiªn miÒn héi tô cña chuçi X = (−1, 1) vµ chuçi cã tæng S(x) = 1−x
x
.
Ta sÏ chøng minh chuçi héi tô ®Òu trªn kho¶ng D = (−a, a) víi mäi
0 < a < 1, nh-ng kh«ng héi tô ®Òu trªn kho¶ng (0, 1).
P
∞
ThËt vËy víi ε > 0 cho tr-íc tïy ý, do 0 < a < 1 chuçi sè an héi tô,
n=1
suy ra tån t¹i n0 = n0 (ε) ∈ N∗ sao cho ∀n > n0 vµ mäi p ∈ N∗
 n+p 
X 
 
 ak  < ε
 
k=n

MÆt kh¸c khi ®ã mäi x ∈ (−a, a)

 n+p  n+p
X  X n+p
X
 k k
 x ≤ |x | < ak < ε.
 
k=n k=n k=n

P
∞
Theo tiªu chuÈn Cauchy, chuçi xn héi tô ®Òu trªn kho¶ng (−a, a).
n=1
P
∞
Chuçi xn kh«ng héi tô ®Òu trªn kho¶ng (0, 1). ThËt vËy xÐt d·y c¸c
n=1
tæng riªng
X
n
x(1 − xn ) x
Sn (x) = xk = → khi n → ∞
1−x 1−x
k=1
5.2 Chuçi hµm vµ chuçi lòy thõa 23

D·y c¸c tæng riªng kh«ng héi tô ®Òu trªn kho¶ng (0, 1) do kh«ng tháa m·n
®Þnh lÝ 5.2.1
 
 x(1 − xn ) x  n+1
sup  −  = sup x = +∞ 6→ 0, khi n → ∞.
x∈(0,1) 1−x 1 − x  x∈(0,1) 1 − x

P
∞
§Þnh lÝ 5.2.4 (Tiªu chuÈn Weierstrass) Cho chuçi hµm un (x). NÕu tån t¹i
n=1
P
∞
chuçi sè d-¬ng héi tô an sao cho víi mäi n ∈ N∗ vµ mäi x ∈ X
n=1

|un (x)| ≤ an

P
∞
th× chuçi ®· cho un (x) héi tô ®Òu trªn tËp X.
n=1

P
∞
Chøng minh ¸p dông tiªu chuÈn Cauchy cho chuçi sè d-¬ng héi tô an , víi
n=1
ε > 0 cho tr-íc tïy ý, tån t¹i n0 = n0 (ε) ∈ N∗ sao cho ∀n > n0 vµ mäi p ∈ N∗

n+p
X
ak < ε,
k=n+1

suy ra
 n+p 
 X  n+p
X n+p
X
 
 uk (x) ≤ |uk (x)| ≤ ak < ε, ∀x ∈ X.
 
k=n+1 k=n+1 k=n+1

Nh- vËy chuçi hµm còng tháa m·n tiªu chuÈn Cauchy vÒ ®iÒu kiÖn héi tô ®Òu
trªn tËp X. 
NhËn xÐt r»ng còng nh- chuçi sè, sù héi tô ®Òu cña chuçi hµm kh«ng phô thuéc
vµo h÷u h¹n sè h¹ng cña chuçi. Do ®ã tiªu chuÈn Weierstrass cho chuçi hµm héi
tô ®Òu trªn tËp X vÉn cã hiÖu lùc nÕu thay cho gi¶ thiÕt |un (x)| ≤ an víi mäi
n ∈ N∗ trong ®Þnh lÝ lµ ®iÒu kiÖn |un (x)| ≤ an víi mäi n > n0 nµo ®ã vµ mäi
x ∈ X.
24 Ch-¬ng V. Chuçi

VÝ dô 5.2.3
P
1. Chuçi ∞ n=1 x héi tô ®Òu trªn kho¶ng (−a, a) víi 0 < a < 1 v× theo tiªu
n

chuÈn Weierstrass
X
∞
|x | < a ∀x ∈ (−a, a), ∀n = 1, 2, ... vµ
n n
an héi tô.
n=1

2. ¸p dông tiªu chuÈn Weierstrass, chuçi

X
∞
1
n=1
n(n + x2)

héi tô ®Òu trªn R v×

1 1 X∞
1
| 2
|< 2 ∀x ∈ R, ∀n = 1, 2, ... vµ héi tô.
n(n + x ) n n=1
n2

Tõ ®Þnh nghÜa, chuçi héi tô ®Òu khi vµ chØ khi d·y c¸c tæng riªng héi tô ®Òu,
suy ra chuçi héi tô ®Òu cã c¸c tÝnh chÊt gièng nh- c¸c tÝnh chÊt cña d·y héi tô
®Òu: c¸c phÐp to¸n t×m giíi h¹n, ®¹o hµm, tÝch ph©n tæng cña mét chuçi héi tô
®Òu cã thÓ chuyÓn qua c¸c sè h¹ng cña chuçi
P
∞
• Gi¶ sö un (x) liªn tôc trªn tËp X, chuçi un (x) = u(x) héi tô ®Òu, khi ®ã tæng
n=1
cña chuçi u(x) còng liªn tôc trªn X.
P
∞
• NÕu un (x), ∀n ∈ N∗ liªn tôc trªn ®o¹n [a, b] vµ chuçi un (x) = u(x) héi tô
n=1
®Òu trªn ®ã th× u(x) kh¶ tÝch trªn [a, b] ®ång thêi
X∞ Z b Z b
un (x)dx = u(x)dx.
n=1 a a

P
∞
• Gi¶ sö {un (x)}, ∀n ∈ N∗ cã ®¹o hµm liªn tôc trªn (a, b), chuçi u0n (x) héi tô
n=1
P
∞
®Òu trªn (a, b). NÕu chuçi un (x) héi tô vµ cã tæng b»ng u(x) trªn (a, b), khi ®ã
n=1
u(x) kh¶ vi vµ
!0
X
∞ X
∞
0
u (x) = un (x) = u0n (x) ∀x ∈ (a, b).
n=1 n=1
5.2 Chuçi hµm vµ chuçi lòy thõa 25

VÝ dô 5.2.4

¸p dông tiªu chuÈn Weierstrass, c¸c chuçi sau héi tô ®Òu trªn R

X
∞
sin nx X
∞
cos nx
, .
n=1
n3 n=1
n2

ThËt vËy  
 sin nx  1  cos nx  1
   
 n3  ≤ n3 ,  2 ≤ 2
n n
P
∞
®ång thêi chuçi 1
nα
héi tô víi α > 1. Khi ®ã
n=1

!0
X
∞
sin nx X
∞
cos nx
= .
n=1
n3 n=1
n2

5.2.3 Chuçi lòy thõa

§Þnh nghÜa 5.2.2 Chuçi hµm cã d¹ng

X
∞
an (x − c)n = a0 + a1 (x − c) + a2 (x − c)2 + · · · + an (x − c)n + · · ·
n=0

®-îc gäi lµ chuçi lòy thõa.

Tr-êng hîp c = 0 chuçi lòy thõa cã d¹ng

X
∞
an xn = a0 + a1 x + a2 x2 + · · · + an xn + · · · (5.3)
n=0

B»ng phÐp ®æi biÕn t = x − c ta lu«n cã thÓ ®-a chuçi lòy thõa bÊt k× vÒ d¹ng
(5.3). Do vËy trong môc nµy ta chØ xÐt chuçi (5.3). HiÓn nhiªn chuçi lòy thõa
lu«n héi tô t¹i x = 0.

§Þnh lÝ 5.2.5 (Abel) NÕu chuçi (5.3) héi tô t¹i x0 6= 0 th× héi tô tuyÖt ®èi trªn
kho¶ng (−|x0|, |x0|).
26 Ch-¬ng V. Chuçi

P
∞
Chøng minh Tõ gi¶ thiÕt chuçi sè an xn0 héi tô suy ra
n=0

∃M : |an xn0 | ≤ M ∀n ∈ N∗ .

Víi mäi x ∈ (−|x0|, |x0|)

    n   n
x  x  x
  < 1 vµ n  n
|an x | = an x0  ≤ M  
 x0  x0   x0 

P
∞
Do chuçi cÊp sè nh©n víi c«ng béi bÐ h¬n 1 héi tô suy ra chuçi an xn héi tô
n=0
tuyÖt ®èi. 
P
∞
NhËn xÐt r»ng tõ ®Þnh lÝ Abel suy ra nÕu t¹i x = x1 chuçi lòy thõa an xn
n=0
ph©n k× th× chuçi còng ph©n k× t¹i ∀x, |x| > |x1|.
Nh- vËy øng víi mçi chuçi lòy thõa lu«n tån t¹i mét sè R ≥ 0 sao cho chuçi héi
tô tuyÖt ®èi trong kho¶ng (−R, R) vµ ph©n k× t¹i mäi ®iÓm n»m ngoµi kho¶ng
®ã. Sè R nh- vËy ®-îc gäi lµ b¸n kÝnh héi tô cña chuçi lòy thõa, kho¶ng (−R, R)
®-îc gäi lµ kho¶ng héi tô cña chuçi lòy thõa.
Chó ý r»ng miÒn héi tô cña chuçi lòy thõa gåm c¸c sè thuéc kho¶ng héi tô
cña chuçi vµ bæ sung thªm mét hoÆc c¶ hai ®Çu mót x = ±R tïy theo t¹i c¸c
mót ®ã chuçi héi tô hay ph©n k×. Nh- vËy miÒn héi tô cña chuçi lòy thõa lµ mét
trong 4 d¹ng
(−R, R); (−R, R]; [−R, R); [−R, R]
Ta ph¸t biÓu vµ chøng minh ®Þnh lÝ sau vÒ quy t¾c t×m b¸n kÝnh héi tô cña chuçi
lòy thõa
P
∞
§Þnh lÝ 5.2.6 Cho chuçi lòy thõa an xn . Gi¶ thiÕt
n=0

|an+1 | p
n
lim =% (hoÆc lim |an | = %).
n→∞ |an | n→∞

Khi ®ã b¸n kÝnh héi tô R cña chuçi ®-îc x¸c ®Þnh



%
1
nÕu 0 < % < +∞
R= 0 nÕu % = +∞


+∞ nÕu % = 0
5.2 Chuçi hµm vµ chuçi lòy thõa 27

Chøng minh Gi¶ sö

|an+1 |
lim = %.
n→∞ |an |

P
∞
¸p dông tiªu chuÈn D'Alembert cho chuçi sè d-¬ng |an xn |
n=0

|an+1 xn+1 | |an+1 |

lim = lim · |x| = %|x| = D.
n→∞ |an xn | n→∞ |an |

• NÕu % = 0 suy ra D < 1 víi mäi x kh¸c 0, chuçi lòy thõa lu«n héi tô.
Hoµn toµn t-¬ng tù nÕu % = +∞, chuçi lòy thõa ph©n k× víi mäi x kh¸c 0
• NÕu 0 < % < +∞ suy ra D < 1 khi vµ chØ khi %|x| < 1 hay

1 1
|x| < , suy ra b¸n kÝnh héi tô R= ®.p.c.m. 
% %
p
(Tr-êng hîp ®Þnh lÝ gi¶ thiÕt lim
n
|an | = %, quy t¾c trªn ®-îc chøng minh hoµn
n→∞
P
∞
toµn t-¬ng tù b»ng c¸ch ¸p dông tiªu chuÈn Cauchy ®èi víi chuçi sè |an xn |
n=0
thay cho tiªu chuÈn D'Alembert.)

VÝ dô 5.2.5

1. T×m b¸n kÝnh héi tô, kho¶ng héi tô vµ miÒn héi tô cho chuçi

X
∞
xn
(−1)n .
n=1
n

¸p dông ®Þnh lÝ trªn vÒ quy t¾c t×m b¸n kÝnh héi tô cña chuçi lòy thõa
 
|an+1 | 1 1 n
% = lim = lim : = lim =1
n→∞ |an | n→∞ n+1 n n→∞ n + 1

Suy ra b¸n kÝnh héi tô R = 1% = 1, kho¶ng héi tô cña chuçi (−1, 1) (nãi
c¸ch kh¸c chuçi ®· cho héi tô víi mäi |x| < 1 vµ ph©n k× víi mäi |x| > 1).
Nh- vËy ®Ó t×m miÒn héi tô cña chuçi ta chØ cÇn xÐt chuçi t¹i c¸c ®Çu mót
28 Ch-¬ng V. Chuçi

cña kho¶ng héi tô.

• T¹i x = 1 chuçi cã d¹ng
X
∞
1
(−1)n .
n=1
n
§©y lµ chuçi ®an dÊu tháa m·n c¸c ®iÒu kiÖn cña ®Þnh lÝ Leibnitz, chuçi
héi tô.
• T¹i x = −1 chuçi ®· cho lµ chuçi ®iÒu hßa
X∞
1
,
n=1
n

chuçi ph©n k×. VËy miÒn héi tô cña chuçi lòy thõa (−1, 1], nãi c¸ch kh¸c
chuçi lòy thõa ®· cho héi tô khi vµ chØ khi −1 < x ≤ 1.
2. T×m miÒn héi tô cña chuçi hµm
X
∞
nn
.
n=1
(4n + 1)n (x − 1)2n

Chuçi ®· cho kh«ng lµ chuçi lòy thõa, tuy nhiªn ta cã thÓ ®æi biÕn ®Ó ®-a
vÒ chuçi lòy thõa. §Æt t = (x−1)
1
2 , chuçi ®· cho cã d¹ng

∞ 
X n
n
tn .
n=1
4n + 1

¸p dông quy t¾c t×m b¸n kÝnh héi tô cña chuçi lòy thõa
s n
n n n 1
% = lim = lim =
n→∞ 4n + 1 n→∞ 4n + 1 4

Suy ra b¸n kÝnh héi tô R = 4. T¹i ®Çu mót t = 4 cña kho¶ng héi tô, chuçi
cã d¹ng
X∞  n
4n
.
n=1
4n + 1

Sè h¹ng tæng qu¸t cña chuçi kh«ng tiÕn tíi 0 khi n → ∞

 n  n
4n 1 1
lim = lim 1 − = e− 4 ,
n→∞ 4n + 1 n→∞ 4n + 1
5.2 Chuçi hµm vµ chuçi lòy thõa 29

chuçi ph©n k×. VËy miÒn héi tô cña chuçi hµm ®· cho gåm tËp hîp c¸c
®iÓm x tháa m·n
   
1 1 1 3
< 4 ⇔ |x − 1| > hay x ∈ −∞, ∪ , +∞ .
(x − 1)2 2 2 2

§Þnh lÝ 5.2.6 cho ta c¸ch t×m b¸n kÝnh héi tô cña mét chuçi lòy thõa víi gi¶ thiÕt:
tån t¹i giíi h¹n
|an+1 | p
n
lim =% (hoÆc lim |an | = %).
n→∞ |an | n→∞

§Þnh lÝ sau cho ta quy t¾c tæng qu¸t t×m b¸n kÝnh héi tô cña chuçi lòy thõa bÊt
k×, kh«ng rµng buéc ®iÒu kiÖn g× vÒ c¸c hÖ sè cña chuçi
P
∞
§Þnh lÝ 5.2.7 Cho chuçi lòy thõa an xn . KÝ hiÖu
n=0
p
n
% = lim sup |an|.
n→∞

Khi ®ã b¸n kÝnh héi tô cña chuçi

1
R=
%
víi quy -íc R = 0 nÕu % = +∞ vµ R = +∞ nÕu % = 0.
Chøng minh Tr-êng hîp % = +∞ vµ % = 0, b¹n ®äc tù chøng minh.
Ta sÏ chøng minh ®Þnh lÝ trong tr-êng hîp 0 < % < +∞. XÐt chuçi sè d-¬ng
P
∞
|an xn | vµ ¸p dông tiªu chuÈn Cauchy (®Þnh lÝ 5.1.5)
n=0
p
n
p
C = lim sup |an xn | = lim sup |x| · n |an | = |x| · %
n→∞ n→∞

P
∞
NÕu |x| < R = %1 , khi ®ã C < 1, theo ®Þnh lÝ 5.1.5, chuçi |an xn | héi tô.
n=0
NÕu |x| > R = 1
%
⇒ C > 1, nh- ®· chøng minh trong ®Þnh lÝ 5.1.5, d·y c¸c sè
P
∞ P
∞
h¹ng tæng qu¸t cña chuçi |an xn | kh«ng dÇn tíi 0, do ®ã chuçi ®· cho an xn
n=0 n=0
ph©n k×. 
30 Ch-¬ng V. Chuçi

5.2.4 TÝnh chÊt cña chuçi lòy thõa

¸p dông c¸c tÝnh chÊt cña chuçi hµm héi tô ®Òu cho chuçi lòy thõa, ta suy ra
c¸c kÕt qu¶ c¬ b¶n ®-îc liÖt kª d-íi ®©y vÒ chuçi lòy thõa.
P
∞
• KÝ hiÖu R lµ b¸n kÝnh héi tô cña chuçi lòy thõa an xn , nÕu kho¶ng ®ãng
n=0
[−α, α] ®-îc chøa trong kho¶ng héi tô (−R, R) cña chuçi, khi ®ã chuçi lòy thõa
héi tô ®Òu trªn [−α, α].
P
∞
ThËt vËy ∀x ∈ [−α, α], |an xn | ≤ |an |αn , chuçi an αn héi tô tuyÖt ®èi, ¸p
n=0
P
∞
dông tiªu chuÈn Weierstrass suy ra chuçi an xn héi tô ®Òu trªn [−α, α].
n=0
P
∞
• Tæng cña chuçi lòy thõa an xn liªn tôc trªn miÒn héi tô cña chuçi.
n=0
Theo tÝnh chÊt trªn, chuçi lòy thõa héi tô ®Òu trªn trªn mäi kho¶ng ®ãng
[−α, α] ⊂ (−R, R). ¸p dông tÝnh chÊt chuçi hµm héi tô ®Òu: c¸c sè h¹ng an xn
liªn tôc trªn [−α, α] suy ra tæng cña chuçi còng liªn tôc trªn [−α, α]. Kh¼ng ®Þnh
®ã ®óng víi mäi 0 < α < R, do ®ã tæng cña chuçi lòy thõa liªn tôc trªn c¶
kho¶ng më (−R, R).
ViÖc chøng minh tæng cña chuçi lòy thõa liªn tôc trªn miÒn héi tô cña chuçi
(tøc lµ liªn tôc t¹i c¸c mót x = ±R nÕu chuçi héi tô t¹i ®ã) khã h¬n, ta thõa
nhËn kh«ng chøng minh kh¼ng ®Þnh nµy.
C¸c tÝnh chÊt sau cña chuçi lòy thõa ®Òu ®-îc suy ra tõ tÝnh chÊt ®Çu tiªn
(chuçi lòy thõa héi tô ®Òu trªn mäi kho¶ng ®ãng ®-îc chøa trong kho¶ng héi tô)
vµ ¸p dông tÝnh chÊt chuçi hµm héi tô ®Òu ®ã
P∞
• Tæng cña chuçi lòy thõa an xn kh¶ vi v« h¹n lÇn trªn kho¶ng héi tô (−R, R)
n=0
cña chuçi, ®ång thêi
!0
X
∞ X
∞
n
an x = nan xn−1 ∀x ∈ (−R, R)
n=0 n=1

!00
X
∞ X
∞
n
an x = n(n − 1)an xn−2 ∀x ∈ (−R, R)
n=0 n=2

Chó ý r»ng b¸n kÝnh héi tô cña c¸c chuçi ë trªn ®Òu b»ng nhau vµ cïng b»ng R
(b¹n ®äc tù chøng minh b»ng c¸ch sö dông quy t¾c t×m b¸n kÝnh héi tô).
5.2 Chuçi hµm vµ chuçi lòy thõa 31

P
∞
• Tæng cña chuçi lòy thõa an xn kh¶ tÝch trªn ®o¹n [0, y] víi mäi y thuéc kho¶ng
n=0
héi tô cña chuçi, ®ång thêi
Z ! ∞ Z
y X
∞ X y X∞
an n+1
n
an x dx = an xn dx = y .
0 n=0 n=0 0 n=0
n + 1

• Tæng cña chuçi lòy thõa x¸c ®Þnh duy nhÊt c¸c hÖ sè cña chuçi.
Nãi cô thÓ h¬n nÕu hai chuçi lòy thõa cã tæng b»ng nhau trªn mét l©n cËn cña
®iÓm x = 0
X∞ X∞
n
an x = bn xn
n=0 n=0

Khi ®ã an = bn víi mäi sè tù nhiªn n ∈ N.

ThËt vËy gäi S(x) lµ tæng cña hai chuçi nãi trªn, khi ®ã a0 = b0 vµ cïng b»ng
S(0).
XÐt c¸c chuçi ®¹o hµm
X
∞ X
∞
0 n−1
S (x) = nan x = nbn xn−1
n=1 n=1

khi ®ã a1 = b1 vµ cïng b»ng S 0(0). Cø tiÕp tôc nh- vËy ta ®-îc an = bn ∀n ∈ N.

TÊt c¶ c¸c tÝnh chÊt võa nªu trªn vÒ chuçi lòy thõa cã thÓ tãm t¾t trong mét
c©u: giíi h¹n, ®¹o hµm, tÝch ph©n tæng cña chuçi lòy thõa cã thÓ chuyÓn qua giíi
h¹n, ®¹o hµm, tÝch ph©n tõng sè h¹ng cña chuçi. Ta sÏ sö dông c¸c tÝnh chÊt ®ã
®Ó t×m tæng cña mét sè chuçi.

VÝ dô 5.2.6

1. T×m tæng cña chuçi

X
∞
f (x) = nxn
n=1

DÔ dµng chøng minh ®-îc chuçi héi tô víi ∀x ∈ (−1, 1) ®ång thêi sö dông
c«ng thøc tÝnh tæng cña chuçi cÊp sè nh©n ta ®-îc f (x) b»ng
!0  0
X ∞ X∞ X∞
1 x
n n−1 n
nx = x nx =x x =x =
n=1 n=1 n=0
1−x (1 − x)2
32 Ch-¬ng V. Chuçi

2. T×m miÒn héi tô vµ tÝnh tæng cña chuçi

X∞
xn
.
n=1
n
DÔ dµng nhËn thÊy b¸n kÝnh héi tô cña chuçi R = 1. T¹i ®Çu mót x = 1
P
∞ P
∞
(−1)n
chuçi 1
n
ph©n k× vµ t¹i x = −1 chuçi n
héi tô. MiÒn héi tô cña
n=1 n=1
chuçi [−1, 1).
§Ó tÝnh tæng cña chuçi, ta lÊy tÝch ph©n chuçi cÊp sè nh©n sau trªn ®o¹n
[0, y], ∀y ∈ (−1, 1)
X∞ X∞ Z y Z y
n−1 1 n−1 dx
x = ⇒ x dx = ,
n=1
1−x n=1 0 0 1−x

suy ra
X
∞
yn X
∞
xn
= ln(1 − y) hay = ln(1 − x)
n=1
n n=1
n
P
∞
xn
Theo tÝnh chÊt cña chuçi lòy thõa, chuçi n
héi tô ®Òu trªn ®o¹n [−1, 0],
n=1
tæng cña chuçi liªn tôc trªn miÒn héi tô [−1, 1). Do ®ã
X
∞
(−1)n
= lim ln(1 − x) = ln 2.
n=1
n x→−1+

VËy chuçi ®· cho héi tô víi mäi x ∈ [−1, 1) vµ cã tæng

X
∞
xn
= ln(1 − x).
n=1
n
P
∞
xn
(Ta cã thÓ chøng minh chuçi n
= ln(1 − x) héi tô ®Òu trªn ®o¹n [−1, 0]
n=1
theo c¸ch kh¸c, kh«ng sö dông tÝnh liªn tôc trªn miÒn héi tô cña chuçi lòy
P
∞ n
thõa. ThËt vËy chuçi ®an dÊu x
n
héi tô theo tiªu chuÈn Leibnitz vµ do
n=1
®ã víi mäi −1 ≤ x ≤ 0
   
 X
n k 
x   X
∞ n
x  |xn | 1

ln(1 − x) − = ≤ ≤ <ε
 k  n  n+1 n+1
k=1 k=n+1

khi n > n0 nµo ®ã. Nãi c¸ch kh¸c chuçi héi tô ®Òu trªn ®o¹n [−1, 0]).
5.2 Chuçi hµm vµ chuçi lòy thõa 33

5.2.5 Chuçi Taylor

§Þnh nghÜa 5.2.3 Cho hµm f (x) x¸c ®Þnh t¹i l©n cËn x = x0 vµ kh¶ vi v« h¹n lÇn
t¹i x0 . Khi ®ã chuçi lòy thõa

X
∞
f (n) (x0)
(x − x0)n (5.4)
n=0
n!

®-îc gäi lµ chuçi Taylor cña f (x) t¹i x0 .

§Æc biÖt khi x0 = 0 chuçi (5.4) cã d¹ng

X
∞
f (n) (0) f 0 (0) f 00(0) 2 f (n) (0) n
xn = f (0) + x+ x + ··· + x + ···
n=0
n! 1! 2! n!

vµ ®-îc gäi lµ chuçi Mac Laurin cña hµm f (x).

NÕu chuçi Taylor cña f (x) t¹i x0 cã tæng b»ng chÝnh f (x) trong l©n cËn cña x0

X
∞
f (n) (x0 )
(x − x0 )n = f (x)
n=0
n!

khi ®ã ta nãi hµm f (x) cã thÓ khai triÓn thµnh chuçi Taylor t¹i l©n cËn ®iÓm x0 .
HiÓn nhiªn nÕu chuçi lòy thõa sau cã tæng b»ng f (x) t¹i l©n cËn x0

a0 + a1(x − x0) + a2(x − x0)2 + · · · + an (x − x0 )n + · · · = f (x), (5.5)

lÇn l-ît ®¹o hµm c¸c cÊp hai vÕ cña (5.5) vµ thay x = x0 ta ®-îc

f 0 (x0) f 00 (x0) f (n) (x0 )

a0 = f (x0 ), a1 = , a2 = , ..., an = , ...
1! 2! n!

Nh- vËy mét hµm chØ cã thÓ khai triÓn thµnh chuçi Taylor duy nhÊt t¹i l©n cËn
®iÓm x0.

VÝ dô hµm f (x) = 1
1−x
khai triÓn thµnh chuçi Mac Laurin trªn (−1, 1)

1
= 1 + x + x2 + · · · + xn + · · · ∀x ∈ (−1, 1)
1−x
34 Ch-¬ng V. Chuçi

Ta nh¾c l¹i r»ng trong ch-¬ng III, theo c«ng thøc Taylor víi sè d- d¹ng
Lagrange, nÕu hµm f (x) kh¶ vi liªn tôc ®Õn cÊp n + 1 trong l©n cËn ®iÓm x0 th×
tån t¹i c n»m gi÷a x vµ x0 sao cho

X
n
f (k) (x0 )
f (x) = (x − x0 )k + Rn (x)
k!
k=0

trong ®ã
f (n+1) (c)
Rn (x) = (x − x0)n+1 .
(n + 1)!

Suy ra hµm f (x) cã thÓ khai triÓn thµnh chuçi Taylor khi vµ chØ khi t¹i l©n cËn
®iÓm x0
f (n+1) (c)
lim Rn (x) = lim (x − x0 )n+1 = 0.
n→∞ n→∞ (n + 1)!

§Þnh lÝ 5.2.8 NÕu f (x) cã ®¹o hµm mäi cÊp t¹i l©n cËn U (x0 ) cña x0 vµ ®¹o hµm
mäi cÊp cña f (x) bÞ chÆn ®Òu trong l©n cËn ®ã

∃M sao cho |f (n) (x)| ≤ M, ∀x ∈ U (x0 ), ∀n ≥ 0

khi ®ã f (x) cã thÓ khai triÓn thµnh chuçi Taylor trªn l©n cËn U (x0 ).

Chøng minh Sè d- d¹ng Lagrange cña hµm f (x) ®-îc -íc l-îng nh- sau
 (n+1) 
f (c)  M
|Rn (x)| =   · |x − x0|n+1 ≤ |x − x0|n+1 ∀x ∈ U (x0 )
(n + 1)! (n + 1)!

DÔ dµng chøng minh ®-îc

tn+1
→0 khi n → ∞ víi mäi t > 0.
(n + 1)!

Suy ra lim Rn (x) = 0 víi mäi x ∈ U (x0). Nãi c¸ch kh¸c f (x) cã thÓ khai triÓn
n→∞
thµnh chuçi Taylor trªn l©n cËn U (x0 ). 
5.2 Chuçi hµm vµ chuçi lòy thõa 35

VÝ dô 5.2.7

1. Hµm f (x) = ex kh¶ vi v« h¹n lÇn t¹i mäi ®iÓm vµ f (n) (0) = 1 víi mäi sè
tù nhiªn n. Do vËy chuçi Mac Laurin cña f (x) = ex

x x2 xn X xn ∞
1+ + + ··· + + ··· =
1! 2! n! n=0
n!

¸p dông ®Þnh lÝ 5.2.8, f (n) (x) = ex bÞ chÆn ®Òu trªn kho¶ng h÷u h¹n bÊt k×
(−A, A)
|f (n) (x)| = |ex| < eA víi mäi |x| < A.
Suy ra f (x) = ex cã thÓ khai triÓn thµnh chuçi Mac Laurin trªn kho¶ng
(−A, A). MÆt kh¸c A ®-îc chän tïy ý, ta ®-îc
X
∞
xn
= ex víi mäi sè thùc x ∈ R.
n=0
n!

2. Khai triÓn hµm f (x) = 1

x
thµnh chuçi Taylor trong l©n cËn x0 = 2.
1 1
f (x) = ·
2 1 − 2−x
2

P
∞
Sö dông c«ng thøc tÝnh tæng cña cÊp sè nh©n xn = 1
1−x
n=0

X
∞  n ! X
∞
1 1 1 1 n x−2 (−1)n
= · 2−x = (−1) = (x − 2)n
x 2 1− 2 2 n=0
2 n=0
2n+1
 
víi mäi x tháa m·n  x−2
2
 < 1 hay x ∈ (0, 4).

Khai triÓn thµnh chuçi Mac Laurin mét sè hµm th-êng gÆp

Còng nh- c¸ch x©y dùng c«ng thøc Taylor cho mét sè hµm s¬ cÊp ®· tr×nh
bµy trong ch-¬ng III, d-íi ®©y ta sÏ viÕt c¸c chuçi Mac Laurin mét sè hµm
th-êng gÆp. TÊt c¶ c¸c hµm nµy ®Òu cã thÓ khai triÓn thµnh chuçi Mac Laurin
trªn miÒn t-¬ng øng víi mçi chuçi.
36 Ch-¬ng V. Chuçi

1. Hµm f (x) = sin x hiÓn nhiªn tháa m·n ®iÒu kiÖn cña ®Þnh lÝ 5.2.8, do vËy
X
∞
x2n−1 x3 x5 x2n−1
sin x = (−1)n+1 = x− + + · · · + (−1)n+1 +···
n=1
(2n − 1)! 3! 5! (2n − 1)!

víi mäi ∀x ∈ R.

2. T-¬ng tù, khai triÓn Mac Laurin cña hµm f (x) = cos x, víi mäi x ∈ R

x 2 x4 x2n X ∞
x2n
cos x = 1 − + + · · · + (−1)n + ··· = (−1)n
2! 4! (2n)! n=0
(2n)!

3. Khai triÓn Mac Laurin hµm f (x) = (1 + x)α víi α lµ sè thùc tïy ý. B»ng
quy n¹p ta cã thÓ chøng minh ®¹o hµm cÊp n cña f t¹i l©n cËn ®iÓm x = 0

f (n) (x) = α(α − 1)(α − 2) · · · (α − n + 1)(1 + x)α−n .

Ng-êi ta chøng minh ®-îc r»ng víi ∀x ∈ (−1, 1) ta cã khai triÓn

α(α − 1) 2 α(α − 1) · · · (α − n + 1) n
(1 + x)α = 1 + αx + x + ··· + x + ···
2! n!
hay
X
∞
α(α − 1) · · · (α − n + 1)
α
(1 + x) = xn ∀x ∈ (−1, 1).
n=0
n!

Khai triÓn nµy cßn ®-îc gäi lµ khai triÓn nhÞ thøc. Trong mét sè tµi liÖu
ng-êi ta sö dông kÝ hiÖu

α(α − 1) · · · (α − n + 1) X
∞
Cnα = (α ∈ R) ⇒ (1 + x) = α
Cnαxn .
n! n=0

4. Mét vµi khai triÓn th-êng gÆp kh¸c

1 X ∞
= 1 − x + x2 − x3 + · · · + (−1)n xn + · · · = (−1)n xn
1+x n=0

1 X ∞
2 4 6 n 2n
= 1 − x + x − x + · · · + (−1) x + · · · = (−1)n x2n
1 + x2 n=0
5.2 Chuçi hµm vµ chuçi lòy thõa 37

x2 x3 xn X ∞
xn
ln(1 + x) = x − + + · · · + (−1)n+1 + ··· = (−1)n+1
2 3 n n=1
n

x3 x5 x2n+1 X ∞
x2n+1
arctg x = x − + + · · · + (−1)n + ··· = (−1)n
3 5 2n + 1 n=0
2n + 1

1 x 3x2 (2n − 1)!! n

√ =1− + + · · · + (−1)n x + ··· =
1+x 2 8 2n n!
X
∞
(2n − 1)!! n
=1+ (−1)n x
n=1
2n n!

Mét vµi øng dông cña khai triÓn thµnh chuçi Taylor

• NÕu f (x) cã thÓ khai triÓn thµnh chuçi Taylor t¹i l©n cËn U (x0) nµo ®ã cña x0 ,
khi ®ã
X∞
f (n) (x0 )
f (x) = (x − x0)n ∀x ∈ U (x0 )
n=0
n!

Dùa vµo ®¼ng thøc nµy ta cã thÓ tÝnh chÝnh x¸c tæng cña mét vµi chuçi sè. Ch¼ng
h¹n tõ khai triÓn
X
∞
xn
ln(1 + x) = (−1)n+1 ∀x ∈ (−1, 1]
n=1
n

suy ra t¹i x = 1

1 1 1 (−1)n+1
1− + − + ··· + + · · · = ln 2
2 3 4 n

T-¬ng tù, tõ khai triÓn

x3 x2n+1 X ∞
x2n+1
arctg x = x − + · · · + (−1)n + ··· = (−1)n ∀x ∈ (−1, 1]
3 2n + 1 n=0
2n + 1

t¹i x = 1 ta còng cã kÕt qu¶

1 1 1 (−1)n π
1− + − + ··· + + ··· =
3 5 7 2n + 1 4
38 Ch-¬ng V. Chuçi

• Sö dông khai triÓn hµm thµnh chuçi Taylor, tÝch ph©n mét hµm R 1 sincãx thÓ ®-a
vÒ bµi to¸n tÝnh tæng cña chuçi sè. XÐt vÝ dô tÝnh tÝch ph©n I = 0 x dx (hµm
sin x
x
kh«ng cã nguyªn hµm d¹ng s¬ cÊp)

sin x X
∞
x2n−2 x2 x4
= (−1)n+1 =1− + + ···
x n=1
(2n − 1)! 3! 5!

X
∞ Z 1
n+1 x2n−2 dx 1 1 1
I= (−1) =1− + − + ···
n=1 0 (2n − 1)! 3 · 3! 5 · 5! 7 · 7!
Nh- vËy
1 1 1
I ≈1− + = 0, 946111 víi sai sè nhá h¬n < 3 · 10−5 .
3 · 3! 5 · 5! 7 · 7!
• Sö dông khai triÓn hµm thµnh chuçi Taylor, ta cã thÓ tÝnh gÇn ®óng gi¸ trÞ
hµm sè nh- ®· tr×nh bµy trong phÇn c«ng thøc Taylor trong ch-¬ng III.
VÝ dô ®Ó tÝnh gÇn ®óng cos 1, sö dông khai triÓn

x2 x4 x2n
cos x = 1 − + + · · · + (−1)n + ···
2! 4! (2n)!
1 1 1 1
+ − + = 0, 5403026.
cos 1 ≈ 1 −
2! 4! 6! 8!
Sai sè ph¹m ph¶i (theo ®Þnh lÝ Leibnitz) nhá h¬n 10!
1
< 3 · 10−7 .

5.3 Chuçi Fourier

5.3.1 Kh¸i niÖm vÒ chuçi l-îng gi¸c, chuçi Fourier
§Þnh nghÜa 5.3.1 Ta gäi chuçi hµm

a0 X
∞
+ (an cos nx + bn sin nx),
2 n=1

trong ®ã a0, an , bn (n = 1, 2, ...) lµ c¸c h»ng sè, lµ chuçi l-îng gi¸c.

NÕu chuçi héi tô vµ cã tæng b»ng f (x) trªn tËp sè thùc R, khi ®ã f lµ hµm tuÇn
hoµn chu k× 2π vµ ta nãi hµm f khai triÓn ®-îc thµnh chuçi l-îng gi¸c trªn R.
5.3 Chuçi Fourier 39

Tr-íc hÕt ta chøng minh ®Þnh lÝ sau

§Þnh lÝ 5.3.1 NÕu f khai triÓn ®-îc thµnh chuçi l-îng gi¸c

a0 X
∞
f (x) = + (an cos nx + bn sin nx) (5.6)
2 n=1

vµ gi¶ thiÕt chuçi héi tô ®Òu trªn [−π, π], khi ®ã

Z
1 π
a0 = f (x)dx
π −π
Z
1 π
an = f (x) cos nx dx n = 1, 2, ... (5.7)
π −π
Z
1 π
bn = f (x) sin nx dx n = 1, 2, ...
π −π

Chøng minh Nh©n c¶ 2 vÕ ®¼ng thøc (5.6) víi cos kx ta ®-îc

a0 X
∞
f (x) cos kx = + (an cos nx + bn sin nx) cos kx (5.8)
2 n=1

Do chuçi (5.6) héi tô ®Òu trªn [−π, π] nªn ¸p dông tiªu chuÈn Cauchy vÒ ®iÒu
kiÖn cÇn vµ ®ñ ®Ó chuçi hµm héi tô ®Òu, suy ra chuçi (5.8) còng héi tô ®Òu trªn
[−π, π]. TÝch ph©n tõng sè h¹ng cña chuçi (5.8) ta ®-îc
Zπ Zπ ∞ Z
X
π
a0
f (x) cos kx dx = cos kx dx + (an cos nx + bn sin nx) cos kx dx
2 n=1 −π
−π −π

NhËn xÐt r»ng víi n ≥ 1

Zπ Zπ
1

sin nx cos kx dx = sin(n + k)x + sin(n − k)x dx = 0
2
−π −π

Zπ Zπ (
1
0 nÕu k 6= n
cos nx cos kx dx = cos(n + k)x + cos(n − k)x dx =
2 π nÕu k = n
−π −π
40 Ch-¬ng V. Chuçi

Suy ra
Zπ (
πa0 nÕu k = 0
f (x) cos kx dx =
πan nÕu k = n
−π
Rπ
Hoµn toµn t-¬ng tù f (x) sin kx dx = bn ∀k ≥ 1. C¸c c«ng thøc (5.7) trong
−π
®Þnh lÝ ®-îc suy ra tõ c¸c ®¼ng thøc nµy. 

C¸c hÖ sè a0, an , bn víi n = 1, 2, ... x¸c ®Þnh theo c¸c c«ng thøc (5.7) trong
®Þnh lÝ 5.3.1 ®-îc gäi lµ c¸c hÖ sè Fourier cña hµm f vµ chuçi l-îng gi¸c (5.6)
®-îc gäi lµ chuçi Fourier cña hµm f .

NhËn xÐt r»ng chuçi Fourier cña hµm f héi tô tuyÖt ®èi vµ héi tô ®Òu trªn R
P
∞ P
∞
nÕu c¸c chuçi an , bn héi tô tuyÖt ®èi. §iÒu kh¼ng ®Þnh ®ã ®-îc suy ra tõ
n=1 n=1
tiªu chuÈn Weierstrass vÒ sù héi tô ®Òu cña chuçi hµm vµ c¸c -íc l-îng
|an cos nx| ≤ |an |, |bn sin nx| ≤ |bn | ∀x ∈ R.
Chó ý nÕu f lµ hµm ch½n, c¸c hÖ sè bn = 0 víi mäi n ∈ N∗ vµ nÕu f lµ hµm
lÎ, c¸c hÖ sè an = 0 víi mäi n ∈ N.
Trong tr-êng hîp thø nhÊt, f lµ hµm ch½n, chuçi Fourier cña hµm f cã d¹ng
a0 X
∞
a0
+ an cos nx = + a1 cos x + a2 cos 2x + a3 cos 3x + · · ·
2 n=1
2

Trong tr-êng hîp thø hai, f lµ hµm lÎ, chuçi Fourier cña hµm f cã d¹ng
X
∞
bn sin nx = b1 sin x + b2 sin 2x + b3 sin 3x + · · ·
n=1

Trong phÇn tiÕp theo chóng ta sÏ tr×nh bµy c¸c ®iÒu kiÖn ®Ó hµm f cã thÓ khai
triÓn ®-îc thµnh chuçi Fourier cña nã.

5.3.2 Sù héi tô cña chuçi Fourier

§Þnh nghÜa 5.3.2 Hµm f : [a, b] → R ®-îc gäi lµ ®¬n ®iÖu tõng khóc trªn [a, b]
nÕu tån t¹i mét phÐp chia ®o¹n [a, b]
F : a = x0 < x1 < x2 < ... < xn = b
5.3 Chuçi Fourier 41

sao cho f ®¬n ®iÖu trªn mçi kho¶ng (xi−1 , xi ) víi mäi i = 1, 2, ..., n.

Chó ý r»ng c¸c hµm ®¬n ®iÖu tõng khóc vµ bÞ chÆn trªn [a, b] hoÆc liªn tôc t¹i
mäi ®iÓm hoÆc chØ cã c¸c ®iÓm gi¸n ®o¹n lo¹i mét (kh«ng qu¸ ®Õm ®-îc c¸c
®iÓm gi¸n ®o¹n lo¹i mét). Nh- vËy f (x0 +) = lim f (x), f (x0−) = lim f (x)
x→x0 + x→x0 −
lu«n lu«n tån t¹i vµ c¸c giíi h¹n ®ã h÷u h¹n.

Ta thõa nhËn ®Þnh lÝ sau

§Þnh lÝ 5.3.2 (Dirichlet) Gi¶ sö hµm f : R → R tuÇn hoµn víi chu k× 2π, ®¬n
®iÖu tõng khóc vµ bÞ chÆn trªn [−π, π]. Khi ®ã chuçi Fourier cña hµm f héi tô
trªn R, ®ång thêi

a0 X
∞
f (x+) + f (x−)
+ (an cos nx + bn sin nx) = ∀x ∈ R.
2 n=1
2

§Æc biÖt khi f ®¬n ®iÖu tõng khóc trªn [−π, π] vµ liªn tôc t¹i mäi ®iÓm thuéc R,
khi ®ã f cã thÓ khai triÓn thµnh chuçi Fourier (tæng cña chuçi b»ng f (x) víi mäi
x ∈ R).

VÝ dô 5.3.1

1. Cho hµm f : R → R tuÇn hoµn víi chu k× 2π vµ

(
x khi 0 ≤ x < π
f (x) =
0 khi − π ≤ x ≤ 0

H×nh 5.1: §å thÞ hµm tuÇn hoµn f

42 Ch-¬ng V. Chuçi

Chuçi Fourier cña hµm f theo c«ng thøc (5.7) cã c¸c hÖ sè

Z π Z π
1 1 π
a0 = f (x)dx = x dx =
π −π π 0 2

Z π Z π
1 1
an = f (x) cos nx dx = x cos nx dx =
π −π π 0

 π Z π  π ( −2

1 x sin nx  1 cos nx  2 nÕu n lÎ
=  − sin nx dx =  = nπ
π n 0 n 0
2
nπ 0 0 nÕu n ch½n

T-¬ng tù

Z Z (
1 π
1 π 1
n
nÕu n lÎ
bn = f (x) sin nx dx = x sin nx dx =
π −π π 0 − n1 nÕu n ch½n

¸p dông ®Þnh lÝ Dirichlet, t¹i c¸c ®iÓm x 6= (2k + 1)π, k ∈ Z (c¸c ®iÓm
liªn tôc cña f )
   
π 2 cos x cos 2x sin x sin 2x
f (x) = − + + ··· + − + ···
4 π 12 32 1 2

T¹i c¸c ®iÓm cßn l¹i x = (2k + 1)π (c¸c ®iÓm gi¸n ®o¹n lo¹i mét cña f ),
tæng cña chuçi Fourier cña hµm f b»ng π2 . Ch¼ng h¹n t¹i x = π
 
π π 2 1 1 1 1
= + 2
+ 2 + 2 + ··· + + ···
2 4 π 1 3 5 (2n − 1)2

Nãi c¸ch kh¸c chuçi sè sau héi tô vµ cã tæng

X
∞
1 π2
=
n=1
(2n − 1)2 8
5.3 Chuçi Fourier 43

2. Khai triÓn thµnh chuçi Fourier hµm tuÇn hoµn víi chu k× 2π vµ

f (x) = x2 , ∀x ∈ [−π, π].

Hµm f lµ hµm ch½n, f (x) = f (−x) víi mäi x ∈ R, c¸c hÖ sè Fourier

bn = 0, ∀n ≥ 1
Z Z π
1 π 2 2 π 2 2 x3  2π 2
a0 = x dx = x dx = ·  =
π −π π 0 π 3 0 3
Z Z
2 π 2 π 2 (−1)n · 4
an = f (x) cos nx dx = x cos nx dx =
π 0 π 0 n2
Hµm f liªn tôc trªn R, do vËy

π2 X∞
(−1)n
f (x) = +4 2
cos nx ∀x ∈ R.
3 n=1
n

Tr-êng hîp riªng t¹i x = π

π2 X∞
1 X∞
1 π2
2
π = +4 hay =
3 n=1
n2 n=1
n2 6

Khai triÓn Fourier hµm tuÇn hoµn chu k× 2l

XÐt hµm f (x) tuÇn hoµn chu k× 2l, tháa m·n c¸c ®iÒu kiÖn cña ®Þnh lÝ Dirichlet
trªn ®o¹n [−l, l]. Khi ®ã hµm g(t) = f ( ltπ ) lµ hµm tuÇn hoµn chu k× 2π còng tháa
m·n c¸c ®iÒu kiÖn cña ®Þnh lÝ Dirichlet trªn ®o¹n [−π, π]. Do ®ã g(t) cã thÓ khai
triÓn thµnh chuçi Fourier

a0 X
∞
g(t+) + g(t−)
+ (an cos nt + bn sin nt) = ∀t ∈ R
2 n=1
2

hay t¹i c¸c ®iÓm liªn tôc cña f

a0 X
∞
nπx nπx
f (x) = + (an cos + bn sin ).
2 n=1
l l

C¸c hÖ sè Fourier trong khai triÓn nµy (sö dông phÐp biÕn ®æi t = πx
l
)
44 Ch-¬ng V. Chuçi

Z Z
1 π 1 l
a0 = g(t)dt = f (x)dx
π −π l −l
Z Z
1 π 1 l nπx
an = g(t) cos nt dt = f (x) cos dx (5.9)
π −π l −l l
Z Z
1 π 1 l nπx
bn = g(t) sin nt dt = f (x) sin dx.
π −π l −l l
L-u ý r»ng còng nh- tr-íc ®©y nÕu f lµ hµm ch½n, c¸c hÖ sè bn = 0 víi mäi
n ∈ N∗ vµ nÕu f lµ hµm lÎ, c¸c hÖ sè an = 0 víi mäi n ∈ N.

VÝ dô 5.3.2

Khai triÓn Fourier hµm f tuÇn hoµn chu k× T = 2, biÕt f (x) = x víi mäi
−1 ≤ x < 1.
Do hµm sè f lµ hµm lÎ trªn kho¶ng (−1, 1) nªn c¸c hÖ sè an = 0 víi mäi
n ∈ N.
Z Z l
1 l nπx 2(−1)n+1
bn = f (x) sin dx = 2 x sin nπx dx = .
l −l l 0 nπ

Chuçi Fourier cña hµm f cã tæng, theo ®Þnh lÝ Dirichlet

(
2 X (−1)n+1
∞
x nÕu |x| < 1
sin nπx =
π n=1 n 0 nÕu |x| = 1

NhËn xÐt r»ng víi mét hµm bÊt k× x¸c ®Þnh trªn [a, b] ta cã nhiÒu c¸ch ®Ó më
réng nã thµnh hµm tuÇn hoµn chu k× 2l (2l ≥ b − a) x¸c ®Þnh trªn R. Mçi c¸ch
suy réng nh- thÕ cßn ®-îc gäi lµ kÐo dµi tuÇn hoµn hµm f ban ®Çu. Sau ®ã ta
cã thÓ khai triÓn Fourier hµm f hoµn chu k× 2l víi c¸c hÖ sè ®-îc tÝnh theo c¸c
c«ng thøc (5.9) nªu trªn.