12. I.4 ChuoĆ£i lƶƓĆÆng giaĆ¹c. 9
Trong ƱoĆ¹ sai soĆ”
Rn =
k>n
1
(2k + 1)32k+1
<
1
3(2n + 3) k>n
1
9k
=
1
3(2n + 1)
(1/9)n
1 ā 1/9
= o(
1
9n
)
4. CHUOĆI LĆĆĆNG GIAĆC
CoĆ¹ nhieĆ u baĆøi toaĆ¹n lieĆ¢n quan ƱeĆ”n haĆøm tuaĆ n hoaĆøn. PhaĆ n naĆøy ta xeĆ¹t ƱeĆ”n vieƤc bieĆ„u
dieĆ£n haĆøm tuaĆ n hoaĆøn dĆ¶Ć“Ć¹i daĆÆng chuoĆ£i. VƬ haĆøm sin vaĆø haĆøm cos laĆø tuaĆ n hoaĆøn, neĆ¢n bieĆ„u
dieĆ£n qua chuĆ¹ng tƶĆÆ nhieĆ¢n vaĆø thuaƤn tieƤn hĆ“n qua haĆøm luƵy thƶĆøa.
MoƤt chuoĆ£i lƶƓĆÆng giaĆ¹c laĆø chuoĆ£i haĆøm daĆÆng
a0
2
+
ā
k=1
(ak cos kx + bk sin kx)
NhaƤn xeĆ¹t. Khi haĆøm f coĆ¹ chu kyĆø T, haĆøm Ļ(x) = f(
T
2Ļ
x) coĆ¹ chu kyĆø 2Ļ. Nhƶ vaƤy, ta
chƦ caĆ n xeĆ¹t haĆøm coĆ¹ chu kyĆø 2Ļ, roĆ i sau ƱoĆ¹ ƱoĆ„i bieĆ”n.
4.1 TĆnh trƶĆÆc giao. TreĆ¢n khoĆ¢ng gian caĆ¹c haĆøm lieĆ¢n tuĆÆc treĆ¢n [āĻ, Ļ], ta Ć±Ć²nh nghĆ³a
tĆch voĆ¢ hĆ¶Ć“Ć¹ng : < f, g >=
Ļ
āĻ
f(x)g(x)dx, f, g ā C[āĻ, Ļ].
Khi ƱoĆ¹ heƤ caĆ¹c haĆøm lƶƓĆÆng giaĆ¹c 1, cos x, sin x, cos 2x, sin 2x, Ā· Ā· Ā· , cos nx, sin nx, Ā· Ā· Ā· laĆø
heƤ haĆøm trƶĆÆc giao theo nghĆ³a tĆch voĆ¢ hĆ¶Ć“Ć¹ng cuĆ»a 2 haĆøm baĆ”t kyĆø cuĆ»a heƤ baĆØng 0. CuĆÆ theĆ„
Ļ
āĻ
cos kx cos lxdx = 0 k = l
Ļ
āĻ
sin kx sin lxdx = 0 k = l
Ļ
āĻ
cos kx sin lxdx = 0 āk, l
NgoaĆøi ra, ta coĆ¹
Ļ
āĻ
dx = 2Ļ, vaĆø
Ļ
āĻ
cos2
kxdx =
Ļ
āĻ
sin2
kxdx = Ļ k = 1, 2, Ā· Ā· Ā·
4.2 HeƤ soĆ” Fourier. GƦa sƶƻ haĆøm f coĆ¹ theĆ„ bieĆ„u dieĆ£n thaĆønh chuoĆ£i lƶƓĆÆng giaĆ¹c
f(x) =
a0
2
+
ā
k=1
(ak cos kx + bk sin kx), x ā [āĻ, Ļ]
Khi ƱoĆ¹
f(x) cos lx =
a0
2
cos lx +
ā
k=1
(ak cos kx cos lx + bk sin kx cos lx)
f(x) sin lx =
a0
2
sin lx +
ā
k=1
(ak cos kx sin lx + bk sin kx sin lx)
13. 10
LaĆ”y tĆch phaĆ¢n hƬnh thĆ¶Ć¹c vaĆøo daĆ”u toĆ„ng, tƶĆø tĆnh trƶĆÆc giao neĆ¢u treĆ¢n, ta coĆ¹
ak =
1
Ļ
Ļ
āĻ
f(x) cos kxdx, k = 0, 1, 2, Ā· Ā· Ā·
bk =
1
Ļ
Ļ
āĻ
f(x) sin kxdx, k = 1, 2, Ā· Ā· Ā·
CaĆ¹c heƤ soĆ” treĆ¢n goĆÆi laĆø heƤ soĆ” Fourier cuĆ»a haĆøm f.
4.3 ChuoĆ£i Fourier. Cho f laĆø haĆøm khaĆ» tĆch treĆ¢n [āĻ, Ļ]. Khi ƱoĆ¹ chuoĆ£i lƶƓĆÆng giaĆ¹c
sau goĆÆi laĆø chuoĆ£i Fourier cuĆ»a f
Ff(x) =
a0
2
+
ā
k=1
(ak cos kx + bk sin kx)
trong ƱoĆ¹ ak, bk laĆø heƤ soĆ” Fourier cuĆ»a f ƱƶƓĆÆc cho bĆ“Ć»i coĆ¢ng thĆ¶Ć¹c Ć“Ć» phaĆ n treĆ¢n.
NhaƤn xeĆ¹t.
ā¢ NeĆ”u f laĆø haĆøm chaĆ¼n, i.e. f(āx) = f(x), thƬ f(x) sin kx laĆø haĆøm leĆ» neĆ¢n bk = 0, i.e.
Ff(x) = 1
2a0 +
ā
k=1
ak cos kx.
ā¢ NeĆ”u f laĆø haĆøm leĆ», i.e. f(āx) = āf(x), thƬ f(x) cos kx laĆø haĆøm leĆ» neĆ¢n ak = 0, i.e.
Ff(x) =
ā
k=1
bk sin kx.
ā¢ TĆnh tuyeĆ”n tĆnh: F(af + bg) = aFf + bFg, vĆ“Ć¹i f, g laĆø caĆ¹c haĆøm khaĆ» tĆch vaĆø a, b ā R.
VĆ duĆÆ.
HaĆøm f(x), |x| ā¤ Ļ ChuoĆ£i Fourier Ff(x)
signx
4
Ļ
ā
k=0
sin(2k + 1)x
2k + 1
.
x 2
ā
k=1
(ā1)k+1 sin kx
k
x2 Ļ2
3
+ 4
ā
k=1
(ā1)k cos kx
k2
Ax2 + Bx + C A
Ļ2
3
+ C + 4A
ā
k=1
(ā1)k cos kx
k2
+ 2B
ā
k=1
(ā1)k+1 sin kx
k
BaĆøi toaĆ¹n ƱaĆ«t ra laĆø khi naĆøo Ff(x) = f(x) ?
14. I.4 ChuoĆ£i lƶƓĆÆng giaĆ¹c. 11
CuƵng nhƶ chuoĆ£i Taylor, ta cuƵng coĆ¹ 3 khaĆ» naĆŖng:
(1) Ff(x) khoĆ¢ng hoƤi tuĆÆ. NgƶƓĆøi ta ƱaƵ xaĆ¢y dƶĆÆng vĆ duĆÆ haĆøm lieĆ¢n tuĆÆc coĆ¹ chu kyĆø 2Ļ maĆø
chuoĆ£i Fourier khoĆ¢ng hoƤi tuĆÆ taĆÆi moƤt ƱieĆ„m.
(2) Ff(x) hoƤi tuĆÆ nhƶng Ff(x) = f(x). ĆĆ²nh lyĆ¹ veĆ hoƤi tuĆÆ Ć±ieĆ„m sau seƵ thaĆ”y ƱieĆ u ƱoĆ¹.
(3) Ff(x) = f(x).
PhaĆ n sau ƱaĆ¢y ta seƵ xeĆ¹t caĆ¹c ƱieĆ u kieƤn ƱeĆ„ Ff(x) = f(x). HĆ“n nƶƵa, xeĆ¹t ƱieĆ u kieƤn
ƱeĆ„ sƶĆÆ hoƤi tuĆÆ laĆø hoƤi tuĆÆ Ć±eĆ u.
4.4 HoƤi tuĆÆ Ć±ieĆ„m. KyĆ¹ hieƤu toĆ„ng rieĆ¢ng thĆ¶Ć¹ n cuĆ»a chuoĆ£i Fourier cuĆ»a f:
Fnf(x) =
a0
2
+
n
k=1
(ak cos kx + bk sin kx)
CoĆ¢ng thĆ¶Ć¹c cho toĆ„ng rieĆ¢ng Fnf. ĆeĆ„ ƱaĆ¹nh giaĆ¹ sƶĆÆ hoƤi tuĆÆ ta bieĆ”n ƱoĆ„i
Fnf(x) =
a0
2
+
n
k=1
(ak cos kx + bk sin kx)
=
1
2Ļ
Ļ
āĻ
f(u)du +
n
k=1
1
Ļ
Ļ
āĻ
f(u)(cos ku cos kx + sin ku sin kx)du
=
1
Ļ
Ļ
āĻ
f(u)
1
2
+
n
k=1
cos k(u ā x) du
ĆeĆ„ yĆ¹ neĆ”u g coĆ¹ chu kyĆø T, thƬ
a+T
a
g(t)dt =
T
0
g(t)dt. AĆp duĆÆng cho haĆøm laĆ”y tĆch
phaĆ¢n Ć“Ć» treĆ¢n (sau khi ƱoĆ„i bieĆ”n t = u ā x) vĆ“Ć¹i T = 2Ļ vaĆø a = āĻ ā x, ta coĆ¹
Fnf(x) =
1
Ļ
Ļ
āĻ
f(x + t)
1
2
+
n
k=1
cos kt dt =
Ļ
āĻ
f(x + t)Dn(t)dt
trong ƱoĆ¹ Dn(t) =
1
Ļ
1
2
+
n
k=1
cos kt goĆÆi laĆø nhaĆ¢n Dirac.
TƶĆø 2 sin
t
2
cos kt = sin(k +
1
2
)t ā sin(k ā
1
2
)t, thay vaĆøo toĆ„ng
Dn(t) =
1
Ļ
sin
2n + 1
2
t
2 sin
t
2
DeĆ£ thaĆ”y Dn laĆø haĆøm chaĆ¼n, coĆ¹ chu kyĆø 2Ļ, vaĆø
Ļ
āĻ
Dn(t)dt = 1
BoĆ„ ƱeĆ Riemann. GƦa sƶƻ g laĆø haĆøm khaĆ» tĆch Riemann treĆ¢n [a, b]. Khi ƱoĆ¹
lim
Ī»ā+ā
b
a
g(t) cos Ī»tdt = lim
Ī»ā+ā
b
a
g(t) sin Ī»tdt = 0
15. 12
ChĆ¶Ć¹ng minh: TrƶƓĆøng hĆ“ĆÆp g khaĆ» vi lieĆ¢n tuĆÆc:
lim
Ī»ā+ā
b
a
g(t) cos Ī»tdt =
g(t) sin Ī»t
Ī»
b
a
ā
1
Ī»
b
a
g (t) sin Ī»tdt
Do g bĆ² chaĆ«n neĆ¢n bieĆ„u thĆ¶Ć¹c treĆ¢n ā 0, khi Ī» ā +ā.
TrƶƓĆøng hĆ“ĆÆp g khaĆ» vi lieĆ¢n tuĆÆc tƶĆøng khuĆ¹c: ta aĆ¹p duĆÆng chĆ¶Ć¹ng minh treĆ¢n cho moĆ£i ƱoaĆÆn
maĆø g lieĆ¢n tuĆÆc.
TrƶƓĆøng hĆ“ĆÆp g khaĆ» tĆch: tƶĆø Ć±Ć²nh nghĆ³a tĆch phaĆ¢n vĆ“Ć¹i moĆÆi > 0, toĆ n taĆÆi haĆøm baƤc thang
s sao cho Ļ
āĻ
|g ā s| <
Khi ƱoĆ¹
b
a
g(t) cos Ī»tdt =
b
a
(g(t) ā s(t)) cos Ī»tdt +
b
a
s(t) cos Ī»tdt
AĆp duĆÆng keĆ”t quĆ»a treĆ¢n cho s, do | cos Ī»x| ā¤ 1, ta coĆ¹
lim
Ī»ā+ā
b
a
g(t) cos Ī»tdt ā¤
b
a
|g(t) ā s(t)|dt <
VaƤy lim
Ī»ā+ā
b
a
g(t) cos Ī»tdt = 0. GiĆ“Ć¹i haĆÆn thĆ¶Ć¹ hai chĆ¶Ć¹ng minh tƶƓng tƶĆÆ.
HaĆøm f goĆÆi laĆø lieĆ¢n tuĆÆc tƶĆøng khuĆ¹c treĆ¢n [a, b] neĆ”uu toĆ n taĆÆi hƶƵu haĆÆn ƱieĆ„m:
a = a0 < a1 < Ā· Ā· Ā· < as = b, sao cho f lieĆ¢n tuĆÆc treĆ¢n moĆ£i khoaĆ»ng (aiā1, ai) vaĆø toĆ n taĆÆi
lim
xāa+
i
f(x) = f(a+
i ), lim
xāaā
i
f(x) = f(aā
i ), i = 0, Ā· Ā· Ā· , s.
Khi ƱoĆ¹ ƱaĆÆo haĆøm phaĆ»i vaĆø traĆ¹i cuĆ»a f taĆÆi x, ƱƶƓĆÆc kyĆ¹ hieƤu vaĆø Ć±Ć²nh nghĆ³a
f+(x) = lim
tā0+
f(x + t) ā f(x6+)
t
, fā(x) = lim
tā0+
f(x ā t) ā f(xā)
t
,
neĆ”u giĆ“Ć¹i haĆÆn veĆ” phaĆ»i toĆ n taĆÆi.
VĆ duĆÆ.
HaĆøm f(x) = |x|, khoĆ¢ng khaĆ» vi taĆÆi 0, nhƶng f+(0) = 1, fā(0) = ā1.
HaĆøm f(x) = sign x, khoĆ¢ng lieĆ¢n tuĆÆc taĆÆi 0, nhƶng lieĆ¢n tuĆÆc tƶĆøng khuĆ¹c vĆ“Ć¹i
f(0+) = 1, f(0ā) = ā1, coĆøn f (0+) = fā(0) = 0.
ĆĆ²nh lyĆ¹. GƦa sƶƻ haĆøm f coĆ¹ chu kyĆø 2Ļ, lieĆ¢n tuĆÆc tƶĆøng khuĆ¹c treĆ¢n [āĻ, Ļ] vaĆø f+(x), fā(x)
toĆ n taĆÆi hƶƵu haĆÆn. Khi ƱoĆ¹ Fnf(x) hoƤi tuĆÆ veĆ giaĆ¹ trĆ² trung bƬnh coƤng cuĆ»a f taĆÆi x, i.e.
Ff(x) =
1
2
(f(x+
) + f(xā
))
ĆaĆ«c bieƤt, neĆ”u f khaĆ» vi lieĆ¢n tuĆÆc taĆÆi x, thƬ Ff(x) = f(x)
16. I.4 ChuoĆ£i lƶƓĆÆng giaĆ¹c. 13
ChĆ¶Ć¹ng minh: ĆeĆ„ cho goĆÆn kyĆ¹ hieƤu Af (x) =
1
2
(f(x+
) + f(xā
)). TƶĆø tĆnh chaĆ”t cuĆ»a
Dn, ta coĆ¹
Fnf(x) ā Af (x) =
Ļ
āĻ
(f(x + t) ā Af (x))Dn(t)dt
= 2
Ļ
0
f(x + t) + f(x ā t)
2
ā Af (x) Dn(t)dt
= 2
Ļ
0
g(t) sin(n +
1
2
)tdt
trong ƱoĆ¹ g(t) =
f(x + t) ā f(x+) + f(x ā t) ā f(xā)
t
t
2Ļ sin t
2
.
Do f+(x), fā(x) toĆ n taĆÆi hƶƵu haĆÆn, lim
tā0+
g(t) =
1
Ļ
(f+(x) ā fā(x)). VaƤy g laĆø haĆøm lieĆ¢n
tuĆÆc tƶĆøng khuĆ¹c (neĆ¢n khaĆ» tĆch). TƶĆø boĆ„ ƱeĆ Riemann, tĆch phaĆ¢n cuoĆ”i tieĆ”n veĆ 0 khi n ā ā,
i.e. Fnf(x) ā Af (x), khi n ā ā.
VĆ duĆÆ. TƶĆø Ć±Ć²nh lyĆ¹ treĆ¢n vaĆø vĆ duĆÆ Ć“Ć» muĆÆc 5. 3, ta coĆ¹
a) signx =
4
Ļ
ā
k=0
sin(2k + 1)Ļ
2k + 1
, vĆ“Ć¹i 0 < |x| < Ļ.
Khi x = 0, āĻ, Ļ chuoĆ£i veĆ” phaĆ»i nhaƤn gĆa trĆ²
1
2
( sign(x+
) + sign(xā
)) = 0.
Khi cho x = Ļ/2, ta coĆ¹
ā
k=0
(ā1)k
2k + 1
=
Ļ
4
.
b) 1 ā
x2
Ļ2
=
2
3
ā
4
Ļ2
ā
k=1
(ā1)k cos kx
k2
, vĆ“Ć¹i |x| ā¤ Ļ.
ĆeĆ„ yĆ¹ haĆøm veĆ” traĆ¹i nhaƤn giaĆ¹ trĆ² nhƶ nhau taĆÆi x = Ā±Ļ, neĆ¢n coĆ¹ cuĆøng trung bƬnh coĆÆng taĆÆi
ƱoĆ¹.
Khi cho x = Ļ, ta coĆ¹
ā
k=1
1
k2
=
Ļ2
6
Khi cho x = 0, ta coĆ¹
ā
k=1
(ā1)k
k2
= ā
Ļ2
12
.
Suy ra
ā
k=1
1
(2k ā 1)2
=
1
2
ā
k=1
1
k2
ā
ā
k=1
(ā1)k
k2
=
Ļ2
8
.
4.5 HoƤi tuĆÆ Ć±eĆ u.
BaĆ”t daĆŗng thĆ¶Ć¹c Bessel. NeĆ”u f2 khaĆ» tĆch treĆ¢n [Ļ, Ļ], thƬ
a2
0
2
+
ā
k=1
(a2
k + b2
k) ā¤
1
Ļ
Ļ
āĻ
f2
(x)dx
ĆaĆ«c bieƤt, chuoĆ£i veĆ” traĆ¹i laĆø chuoĆ£i hoƤi tuĆÆ. ChĆ¶Ć¹ng minh: Do tĆnh trƶĆÆc giao neĆ¢u Ć“Ć» 5.1, tĆnh
tĆch phaĆ¢n ta coĆ¹:
Ļ
āĻ
(f(x)āFnf(x))Fnf(x)dx = 0,
Ļ
āĻ
(Fnf(x))2
dx = Ļ
a2
0
2
+
n
k=1
(a2
k + b2
k) .
17. 14
Suy ra
Ļ
āĻ
f2
(x)dx =
Ļ
āĻ
(f(x) ā Fnf(x) + Fnf(x))2
dx
=
Ļ
āĻ
(f(x) ā Fnf(x))2
dx +
Ļ
āĻ
(Fnf(x))2
dx + 2
Ļ
āĻ
(f(x) ā Fnf(x))Fnf(x)dx
=
āĻ
6Ļ(f(x) ā Fnf(x))2
dx + Ļ(
a2
0
2
+
n
k=1
(a2
k + b2
k))
VaƤy
a2
0
2
+
n
k=1
(a2
k + b2
k) ā¤
Ļ
āĻ
f2
(x)dx.
Cho n ā +ā ta coĆ¹ baĆ”t daĆŗng thĆ¶Ć¹c caĆ n tƬm. Do chuoĆ£i coĆ¹ soĆ” haĆÆng dƶƓng neĆ¢n tĆnh bĆ²
chaĆ«n tƶƓng ƱƶƓng tĆnh hoƤi tuĆÆ.
ĆĆ²nh lyĆ¹. GiaĆ» sƶƻ haĆøm f coĆ¹ chu kyĆø 2Ļ, lieĆ¢n tuĆÆc vaĆø f lieĆ¢n tuĆÆc tƶĆøng khuĆ¹c treĆ¢n [āĻ, Ļ].
Khi ƱoĆ¹ chuoĆ£i Ff hoƤi tuĆÆ Ć±eĆ u veĆ f treĆ¢n R.
ChĆ¶Ć¹ng minh: Do Ć±Ć²nh lyĆ¹ treĆ¢n ta coĆ¹ Fnf(x) hoƤi tuĆÆ veĆ f(x). Ta chĆ¶Ć¹ng minh sƶĆÆ hoƤi tuĆÆ
ƱeĆ u theo M-test. GoĆÆi ak, bk laĆø caĆ¹c heƤ soĆ” Fourier cuĆ»a f . TĆch phaĆ¢n tƶĆøng phaĆ n, ta coĆ¹
ak =
1
Ļ
Ļ
āĻ
f(x) cos kxdx =
1
Ļ
f(x)
sin kx
k
|Ļ
āĻ ā
1
k
Ļ
āĻ
f (x) sin kxdx = ā
1
k
bk
bk =
1
Ļ
Ļ
āĻ
f(x) sin kxdx =
1
Ļ
āf(x)
cos kx
k
|Ļ
āĻ +
1
k
Ļ
āĻ
f (x) cos kxdx =
1
k
ak
Suy ra
|ak cos kx + bk sin kx| ā¤ |ak| + |bk| ā¤
1
2
(b
2
k +
1
k2
) +
1
2
(a
2
k +
1
k2
)
TƶĆø baĆ”t ƱaĆŗng thĆ¶Ć¹c Bessel
ā
k=0
(a
2
k + b
2
k) hoƤi tuĆÆ, vaĆø
ā
k=1
1
k2
hoƤi tuĆÆ. VaƤy chuoĆ£i Ff hoƤi
tuĆÆ Ć±eĆ u theo M-test.
4.6 Khai trieƄn Fourier.
ā¢ Khai trieĆ„n haĆøm f(x) coĆ¹ chu kyĆø T thaĆønh chuoĆ£i haĆøm lƶƓĆÆng giaĆ¹c: ĆoĆ„i bieĆ”n x =
T
2Ļ
X.
Khi ƱoĆ¹ f(x) = f(
T
2Ļ
X) laĆø haĆøm coĆ¹ chu kyĆø 2Ļ theo bieĆ”n X. ChuoĆ£i Fourier theo bieĆ”n
X coĆ¹ daĆÆng
a0
2
+
ā
k=1
( ak cos kX + bk sin kX )
trong ƱoĆ¹
ak =
1
Ļ
Ļ
āĻ
f(
T
2Ļ
X) cos kXdX, bk =
1
Ļ
Ļ
āĻ
f(
T
2Ļ
X) sin kXdX
18. I.4 ChuoĆ£i lƶƓĆÆng giaĆ¹c. 15
Thay laĆÆi X =
2Ļ
T
x, ta coĆ¹ chuoĆ£i lƶƓĆÆng giaĆ¹c daĆÆng
a0
2
+
ā
k=1
( ak cos
2kĻ
T
x + bk sin
2kĻ
T
x )
trong ƱoĆ¹ caĆ¹c heƤ soĆ” Fourier cuĆ»a f laĆø
ak =
2
T
T/2
āT/2
f(t) cos
2kĻ
T
tdt, k = 0, 1, 2, Ā· Ā· Ā·
bk =
2
T
T/2
āT/2
f(t) sin
2kĻ
T
tdt, k = 1, 2, Ā· Ā· Ā·
ā¢ Khai trieĆ„n haĆøm f xaĆ¹c Ć±Ć²nh treĆ¢n [a, b] thaĆønh chuoĆ£i lƶƓĆÆng giaĆ¹c: TrĆ¶Ć“Ć¹c heĆ”t thaĆ¹c
trieĆ„n f thaĆønh haĆøm tuaĆ n hoaĆøn Ėf xaĆ¹c Ć±Ć²nh treĆ¢n R vaĆø coĆ¹ chu kyĆø T ā„ b ā a, i.e.
Ėf(x + kT) = f(x), x ā [a, b], k ā Z
Sau ƱoĆ¹ khai trieĆ„n Ėf nhƶ caĆ¹ch ƱaƵ neĆ¢u Ć“Ć» treĆ¢n.
ā¢ Khai trieĆ„n chuoĆ£i theo cos hay theo sin: Cho f xaĆ¹c Ć±Ć²nh treĆ¢n [0, l]. Khi ƱoĆ¹:
- MuoĆ”n bieĆ„u dieĆ£n f(x) dĆ¶Ć“Ć¹i daĆÆng chuoĆ£i lƶƓĆÆng giaĆ¹c chƦ coĆ¹ haĆøm cos, ta thaĆ¹c trieĆ„n f
thaĆønh haĆøm chaĆ¼n treĆ¢n (āl, l] baĆØng caĆ¹ch xem f(x) = f(āx), neĆ”u x ā (āl, 0). Sau ƱoĆ¹
khai trieĆ„n Fourier haĆøm thaĆ¹c trieĆ„n ƱoĆ¹.
- MuoĆ”n bieĆ„u dieĆ£n f(x) dĆ¶Ć“Ć¹i daĆÆng chuoĆ£i lƶƓĆÆng giaĆ¹c chƦ coĆ¹ haĆøm sin, ta thaĆ¹c trieĆ„n f
thaĆønh haĆøm leĆ» treĆ¢n (āl, l] baĆØng caĆ¹ch xem f(x) = āf(āx), neĆ”u x ā (āl, 0). Sau ƱoĆ¹
khai trieĆ„n Fourier haĆøm thaĆ¹c trieĆ„n ƱoĆ¹.
VĆ duĆÆ. Khai trieĆ„n Fourier caĆ¹c haĆøm xaĆ¹c Ć±Ć²nh treĆ¢n [āĻ, Ļ], chu kyĆø 2Ļ:
a) Khai trieĆ„n haĆøm f(x) = signx, x ā [āĻ, Ļ]: Ff(x) =
4
Ļ
ā
k=0
sin(2k + 1)x
2k + 1
E
x
T
y
E
E
rr
E
E
rr
E
E
rr
E
E
rr
E
E
rr
āĻ Ļ
b) Khai trieĆ„n haĆøm f(x) = x, x ā [āĻ, Ļ]: Ff(x) = 2
ā
k=1
(ā1)k+1 sin kx
k
19. 16
E
x
T
y
Ā
Ā
Ā
Ā Ā
r
Ā
Ā
Ā
Ā Ā
r
Ā
Ā
Ā
Ā Ā
r
Ā
Ā
Ā
Ā Ā
r
Ā
Ā
Ā
Ā Ā
r
āĻ Ļ
c) Khai trieĆ„n haĆøm f(x) = x2, x ā [āĻ, Ļ]: Ff(x) =
Ļ2
3
+ 4
ā
k=1
(ā1)k cos kx
k2
E
x
T
y
rr
āĻ Ļ
VĆ duĆÆ. Khai trieĆ„n Fourier caĆ¹c haĆøm xaĆ¹c Ć±Ć²nh treĆ¢n [0, 2Ļ], chu kyĆø 2Ļ:
HaĆøm f(x), 0 ā¤ x 2Ļ Khai trieĆ„n Fourier Ff(x)
x Ļ ā 2
ā
k=1
sin kx
k
x2 4
3
Ļ2
+ 4
ā
k=1
cos kx
k2
ā 4Ļ
ā
k=1
sin kx
k
Ax2 + Bx + C A
4
3
Ļ2
+ BĻ + C + 4A
ā
k=1
cos kx
k2
ā (4ĻA ā 2B)
ā
k=1
sin kx
k
Ff(x) = x, 0 x 2Ļ
E
x
Ā
Ā
Ā
Ā Ā
r
Ā
Ā
Ā
Ā Ā
r
Ā
Ā
Ā
Ā Ā
r
Ā
Ā
Ā
Ā Ā
r
Ā
Ā
Ā
Ā Ā
r
0 2Ļ
20. I.4 ChuoĆ£i lƶƓĆÆng giaĆ¹c. 17
Ff(x) = x2, 0 x 2Ļ
E
x
!
r
!
r
!
r
!
r
!
r
0 2Ļ
NhaƤn xeĆ¹t. CaĆ¹c haĆøm coĆ¹ cuĆøng bieĆ„u thĆ¶Ć¹c f(x) nhƶng xaĆ¹c Ć±Ć²nh treĆ¢n caĆ¹c mieĆ n khaĆ¹c
nhau hay choĆÆn chu kyĆø khaĆ¹c nhau, thƬ caĆ¹c haĆøm thaĆ¹c trieĆ„n noĆ¹i chung khaĆ¹c nhau. ChaĆŗng
haĆÆn, thaĆ¹c trieĆ„n cuĆ»a f(x) = x, x ā [āĻ, Ļ] vaĆø f(x) = x, x ā [0, 2Ļ] (vĆ“Ć¹i cuĆøng chu kyĆø
2Ļ) laĆø khaĆ¹c nhau. VƬ vaƤy khai trieĆ„n Fourier cuĆ»a chuĆ¹ng noĆ¹i chung laĆø khaĆ¹c nhau.
VĆ duĆÆ. Cho f(x) = x, x ā [0, Ļ].
a) MuoĆ”n khai trieĆ„n f(x) thaĆønh chuoĆ£i lƶƓĆÆng giaĆ¹c chƦ coĆ¹ cos. ThaĆ¹c trieĆ„n f thaĆønh haĆøm
chaĆ¼n, i.e. f(x) = |x|, x ā [āĻ, Ļ]. Khai trieĆ„n Fourier vaĆø do haĆøm f thoĆ»a ƱieĆ u kieƤn
cuĆ»a Ć±Ć²nh lyĆ¹ veĆ hoƤi tuĆÆ ta coĆ¹
|x| =
Ļ
2
ā
4
Ļ
ā
k=1
cos(2k + 1)x
(2k + 1)2
, āĻ ā¤ x ā¤ Ļ
E
x
T
y
Ā
Ā Ā d
dd Ā
Ā Ā d
dd Ā
Ā Ā d
dd Ā
Ā Ā d
dd Ā
Ā Ā d
dd
āĻ Ļ
b) MuoĆ”n khai trieĆ„n f(x) thaĆønh chuoĆ£i lƶƓĆÆng giaĆ¹c chƦ coĆ¹ sin. ThaĆ¹c trieĆ„n f thaĆønh haĆøm
leĆ», i.e. f(x) = x, x ā [āĻ, Ļ]. Khai trieĆ„n Fourier vaĆø do haĆøm f thoĆ»a ƱieĆ u kieƤn cuĆ»a
Ć±Ć²nh lyĆ¹ veĆ hoƤi tuĆÆ ta coĆ¹
x = 2
ā
k=1
(ā1)k+1 sin kx
k
, āĻ x Ļ
E
x
T
y
Ā
Ā Ā
Ā
Ā Ā
r Ā
Ā Ā
Ā
Ā Ā
r Ā
Ā Ā
Ā
Ā Ā
r Ā
Ā Ā
Ā
Ā Ā
r Ā
Ā Ā
Ā
Ā Ā
r
āĻ Ļ
21. 18
VĆ duĆÆ. TƶĆø caĆ¹c vĆ duĆÆ treĆ¢n vaĆø tĆnh hoƤi tuĆÆ Ć±ieĆ„m, ta coĆ¹ caĆ¹c giaĆ¹ trĆ² toĆ„ng
ā
k=1
sin kx
k
=
Ļ ā x
2
vĆ“Ć¹i 0 x 2Ļ
ā
k=1
cos kx
k2
=
3x2 ā 6Ļx + 2Ļ62
12
vĆ“Ć¹i 0 x 2Ļ
ā
k=1
(ā1)k+1 sin kx
k
=
x
2
vĆ“Ć¹i |x| Ļ
ā
k=1
(ā1)k+1 cos kx
k2
=
Ļ2 ā 3x2
12
vĆ“Ć¹i |x| Ļ
TƶĆø caĆ¹c coĆ¢ng thĆ¶Ć¹c treĆ¢n suy ra
ā
k=0
sin(2k + 1)x
2k + 1
=
Ļ
4
vĆ“Ć¹i 0 x Ļ
ā
k=0
cos(2k + 1)x
(2k + 1)2
=
Ļ2 ā 2Ļx
8
vĆ“Ć¹i 0 x 2Ļ
ā
k=1
sin 2kx
2k
=
Ļ ā 2x
4
vĆ“Ć¹i 0 x Ļ
ā
k=1
cos 2kx
(2k)2
=
6x2 ā 6Ļx + Ļ2
24
vĆ“Ć¹i 0 x 2Ļ
VĆ“Ć¹i caĆ¹c gĆa trĆ² x cuĆÆ theĆ„ caĆ¹c coĆ¢ng thĆ¶Ć¹c treĆ¢n suy ra
ā
k=1
1
k2
=
Ļ2
6
,
ā
k=1
(ā1)k+1
k2
=
Ļ2
12
,
ā
k=0
(ā1)k
2k + 1
=
Ļ
4
28. II.5 ToĆ„ng quaĆ¹t hoĆ¹a 25
BaĆøi taƤp:
a) NeĆ”u , laĆø tĆch voĆ¢ hĆ¶Ć“Ć¹ng treĆ¢n V , thƬ x = x, x , x ā V , xaĆ¹c Ć±Ć²nh moƤt chuaĆ„n
treĆ¢n V .
b) NeĆ”u laĆø chuaĆ„n treĆ¢n V , thƬ d(x, y) = xāy , x, y ā V xaĆ¹c Ć±Ć²nh moƤt metric treĆ¢n V .
TreĆ¢n khoĆ¢ng gian metric, khoĆ¢ng gian Ć±Ć²nh chuaĆ„n hay khoĆ¢ng gian coĆ¹ tĆch voĆ¢ hĆ¶Ć“Ć¹ng,
caĆ¹c khaĆ¹i nieƤm daƵy, daƵy hoƤi tuĆÆ, daƵy Cauchy, hƬnh caĆ u, taƤp mĆ“Ć», taƤp ƱoĆ¹ng, Ā· Ā· Ā· ƱƶƓĆÆc
Ć±Ć²nh nghĆ³a tƶƓng tƶĆÆ nhƶ trong Rn. MoƤt khoĆ¢ng gian metric maĆø moĆÆi daƵy Cauchy ƱeĆ u
hoƤi tuĆÆ goĆÆi laĆø khoĆ¢ng gian metric ƱuĆ» . MoƤt khoĆ¢ng gian Ć±Ć²nh chuaĆ„n ƱuĆ» goĆÆi laĆø khoĆ¢ng gian
Banach. MoƤt khoĆ¢ng gian coĆ¹ tĆch voĆ¢ hĆ¶Ć“Ć¹ng ƱuĆ» goĆÆi laĆø khoĆ¢ng gian Hilbert.
Nhƶ vaƤy Rn laĆø khoĆ¢ng gian metric ƱuĆ», chĆnh xaĆ¹c hĆ“n noĆ¹ laĆø khoĆ¢ng gian Hilbert hƶƵu
haĆÆn chieĆ u.
VĆ duĆÆ.
a) Trong Rn ngoaĆøi chuaĆ„n Euclid, coĆ¹ theĆ„ xaĆ¹c Ć±Ć²nh nhieĆ u chuaĆ„n khaĆ¹c nhau (vaĆø vƬ vaƤy
coĆ¹ nhieĆ u khoaĆ»ng caĆ¹ch khaĆ¹c nhau), chaĆŗng haĆÆn:
x ā = max
1ā¤iā¤n
|xi| (chuaĆ„n max), hay x p = (|x1|p + Ā· Ā· Ā· + |xn|p)
1
p (p ā„ 1).
ĆĆ chƶƓng sau ta seƵ chĆ¶Ć¹ng minh moĆÆi chuaĆ„n trong Rn ƱeĆ u cho khaĆ¹i nieƤm hoƤi tuĆÆ nhƶ
nhau.
b) Trong khoĆ¢ng gian C[a, b] caĆ¹c haĆøm lieĆ¢n tuĆÆc treĆ¢n [a, b],
d(f, g) = sup
tā[a,b]
|f(t) ā g(t)|, f, g ā C[a, b],
xaĆ¹c Ć±Ć²nh moƤt metric (tƶƓng Ć¶Ć¹ng khaĆ¹i nieƤm hoƤi tuĆÆ Ć±eĆ u).
c) BieĆ„u thĆ¶Ć¹c sau xaĆ¹c Ć±Ć²nh moƤt tĆch voĆ¢ hĆ¶Ć“Ć¹ng trong C[a, b]:
f, g =
b
a
f(t)g(t)dt, f, g ā C[a, b].
SƶĆÆ hoƤi tuĆÆ Ć¶Ć¹ng vĆ“Ć¹i metric sinh bĆ“Ć»i tĆch voĆ¢ hĆ¶Ć“Ć¹ng treĆ¢n goĆÆi laĆø sƶĆÆ hoƤi tuĆÆ trung bƬnh.
BaĆøi taƤp: HaƵy veƵ hƬnh caĆ u trong R2 vĆ“Ć¹i caĆ¹c chuaĆ„n cho Ć“Ć» vĆ duĆÆ a).
29.
30. III. HaĆøm lieĆ¢n tuĆÆc treĆ¢n Rn
1. GIĆĆI HAĆN HAĆM
1.1 ĆĆ²nh nghĆ³a. Cho X laĆø taƤp con cuĆ»a Rn. AĆnh xaĆÆ
f : X ā Rm
, x = (x1, Ā· Ā· Ā· , xn) ā f(x) = (f1(x), Ā· Ā· Ā· , fm(x))
ƱƶƓĆÆc goĆÆi laĆø aĆ¹nh xaĆÆ (thƶĆÆc) cuĆ»a n bieĆ”n (thƶĆÆc) x1, Ā· Ā· Ā· , xn, vĆ“Ć¹i m haĆøm thaĆønh phaĆ n
fi : X ā R, i = 1, Ā· Ā· Ā· , m.
Khi m = 1 ta goĆÆi aĆ¹nh xaĆÆ laĆø haĆøm . ĆoĆ¢i luĆ¹c, do thoĆ¹i quen, ta duĆøng thuaƤt ngƶƵ āhaĆømā
thay cho āaĆ¹nh xaĆÆā khi m 1.
Khi n = 1 thƶƓĆøng kyĆ¹ hieƤu bieĆ”n laĆø x; khi n = 2 kyĆ¹ hieƤu 2 bieĆ”n laĆø x, y; coĆøn n = 3 kyĆ¹
hieƤu 3 bieĆ”n laĆø x, y, z.
Cho f tƶƓng ƱƶƓng vĆ“Ć¹i vieƤc cho ƱoĆ thĆ² cuĆ»a f , i.e. taƤp
graphf = {(x, f(x)) : x ā X} ā Rn
Ć Rm
.
Do tĆnh trƶĆÆc quan ƱoĆ thĆ² coĆ¹ vai troĆø ƱaĆ«c bieƤt quan troĆÆng trong caĆ¹c trƶƓĆøng hĆ“ĆÆp maĆø
n + m ā¤ 3, khi xeĆ¹t tĆnh chaĆ”t cuĆ»a aĆ¹nh xaĆÆ.
VĆ duĆÆ.
a) f(x, y) = 1 ā x2 ā y2 coĆ¹ ƱoĆ thĆ² laĆø nƶƻa treĆ¢n maĆ«t caĆ u ƱƓn vĆ² trong R3.
b) f(x, y) = x2 + y2 coĆ¹ ƱoĆ thĆ² laĆø moƤt maĆ«t Paraboloid.
BaĆøi taƤp: haƵy tƬm caĆ¹ch moĆ¢ taĆ» hƬnh hoĆÆc cho f : R2 ā R2, f(x, y) = (x2 ā y2, 2xy).
1.2 GiĆ“Ć¹i haĆÆn haĆøm. GiaĆ» sƶƻ a laĆø ƱieĆ„m giĆ“Ć¹i haĆÆn cuĆ»a X ā Rn vaĆø f : X ā Rm.
Khi ƱoĆ¹ f goĆÆi laĆø coĆ¹ giĆ“Ć¹i haĆÆn L ā Rm khi x tieĆ”n veĆ a , kyĆ¹ hieƤu lim
xāa
f(x) = L hay
f(x) ā L, khi x ā a; neĆ”uu
ā 0, āĪ“ 0 : x ā X {a}, d(x, a) Ī“ ā d(f(x), L) .
DeĆ£ thaĆ”y Ć±Ć²nh nghĆ³a theo ngoĆ¢n ngƶƵ ( , Ī“) cuĆ»a Cauchy Ć“Ć» treĆ¢n hoaĆøn toaĆøn tƶƓng ƱƶƓng
vĆ“Ć¹i Ć±Ć²nh nghĆ³a theo daƵy cuĆ»a Heine:
lim
xāa
f(x) = L neĆ”uu moĆÆi daƵy (xk) ā X {a}, lim
kāā
xk = a ā lim
kāā
f(xk) = L.
ĆeĆ„ yĆ¹ laĆø veĆ maĆ«t hƬnh thĆ¶Ć¹c Ć±Ć²nh nghĆ³a treĆ¢n hoaĆøn toaĆøn gioĆ”ng trƶƓĆøng hĆ“ĆÆp haĆøm moƤt bieĆ”n,
cuĆøng vĆ“Ć¹i tĆnh chaĆ”t giĆ“Ć¹i haĆÆn daƵy ta coĆ¹
MeƤnh ƱeĆ . lim
xāa
f(x) = L = (L1, Ā· Ā· Ā· , Lm) āā lim
xāa
fi(x) = Li, i = 1, Ā· Ā· Ā· , m.
BaĆøi taƤp: TƶĆø meƤnh ƱeĆ treĆ¢n phaĆ¹t bieĆ„u vaĆø chĆ¶Ć¹ng minh caĆ¹c tĆnh chaĆ”t veĆ giĆ“Ć¹i haĆÆn cuĆ»a
toĆ„ng, hieƤu, tĆch voĆ¢ hĆ¶Ć“Ć¹ng, chuaĆ„n, hĆ“ĆÆp caĆ¹c aĆ¹nh xaĆÆ,.. ƱoĆ ng thĆ“Ćøi tĆnh baĆ»o toaĆøn quan heƤ
thĆ¶Ć¹ tƶĆÆ ā¤ khi qua giĆ“Ć¹i haĆÆn caĆ¹c haĆøm.
31. 28
VĆ duĆÆ.
a) lim
(x,y)ā(0,0)
xy(x + y)
x2 + y2
= 0,
vƬ
xy(x + y)
x2 + y2
ā¤
1
2
|x2 + y2||x + y|
|x2 + y2|
ā¤ |x + y| ā 0, khi (x, y) ā (0, 0).
b) lim
(x,y)ā(0,0)
sin xy
x
= lim
(x,y)ā(0,0)
sin xy
xy
x = 1.0 = 0.
c) lim
(x,y)ā(0,0)
x ā y
x + y
khoĆ¢ng toĆ n taĆÆi. ĆeĆ„ chĆ¶Ć¹ng minh ƱieĆ u naĆøy chƦ caĆ n choĆÆn 2 dƶƵay, chaĆŗng
haĆÆn (xk, yk) = (1
k , 1
k ) vaĆø (xk, yk) = (1
k , 0) ƱeĆ u tieĆ”n veĆ (0, 0), nhng f(xk, yk) ā 0 coĆøn
f(xk, yk) ā 1.
1.3 GiĆ“Ć¹i haĆÆn laĆ«p. GiĆ“Ć¹i haĆÆn treĆ¢n coĆøn goĆÆi laĆø giĆ“Ć¹i haĆÆn ƱoĆ ng thĆ“Ćøi ƱeĆ„ phaĆ¢n bieƤt vĆ“Ć¹i
khaĆ¹i nieƤm giĆ“Ć¹i haĆÆn laĆ«p sau ƱaĆ¢y. Cho f(x, y) laĆø haĆøm hai bieĆ”n (hay toĆ„ng quaĆ¹t hĆ“n, haĆøm
hai boƤ bieĆ”n). GiaĆ» sƶƻ (x0, y0) laĆø ƱieĆ„m giĆ“Ć¹i haĆÆn cuĆ»a mieĆ n xaĆ¹c Ć±Ć²nh cuĆ»a f. XeĆ¹t caĆ¹c giĆ“Ć¹i
haĆÆn
a12 = lim
yāy0
lim
xāx0
f(x, y), a21 = lim
xāx0
lim
yāy0
f(x, y), a = lim
(x,y)ā(x0,y0)
f(x, y).
VaĆ”n ƱeĆ : MoĆ”i quan heƤ giƶƵa caĆ¹c giĆ“Ć¹i haĆÆn treĆ¢n ?
TraĆ» lĆ“Ćøi: loĆ»ng leĆ»o, xeĆ¹t caĆ¹c vĆ duĆÆ sau
VĆ duĆÆ. VĆ“Ć¹i x0 = 0, y0 = 0.
a) f(x, y) = (x + y) sin 1
x sin 1
y . Ta coĆ¹ a12, a21 khoĆ¢ng toĆ n taĆÆi, a = 0.
b) f(x, y) =
x2 ā y2
x2 + y
. Ta coĆ¹ a12 = 0, a21 = 1, coĆøn a khoĆ¢ng toĆ n taĆÆi.
c) f(x, y) =
xy
x2 + y2
. Ta coĆ¹ a12 = a21 = 0, coĆøn a khoĆ¢ng toĆ n taĆÆi.
d) f(x, y) = x sin 1
y . Ta coĆ¹ a12 = 0, a21 khoĆ¢ng toĆ n taĆÆi, a = 0.
BaĆøi taƤp: TƬm ƱieĆ u kieƤn ƱeĆ„ caĆ¹c giĆ“Ć¹i haĆÆn neĆ¢u treĆ¢n toĆ n taĆÆi vaĆø a = a12 = a21.
MoƤt trong caĆ¹c ƱieĆ u kieƤn laĆø:
MeƤnh ƱeĆ . Cho f : X Ć Y ā Rm, x0, y0 laĆø ƱieĆ„m tuĆÆ cuĆ»a X, Y tƶƓng Ć¶Ć¹ng.
Giaƻ sƶƻ
(i) ToĆ n taĆÆi lim
yāy0
f(x, y) = g(x), āx ā X.
(ii) ToĆ n taĆÆi lim
xāx0
f(x, y) = h(y) ƱeĆ u theo y, i.e.
ā 0, āĪ“ 0 : x ā X, d(x, x0) ā d(f(x, y), h(y)) , āy ā Y.
Khi ƱoĆ¹ caĆ¹c giĆ“Ć¹i haĆÆn sau toĆ n taĆÆi vaĆø
lim
(x,y)ā(x0,y0)
f(x, y) = lim
xāx0
lim
yāy0
f(x, y) = lim
yāy0
lim
xāx0
f(x, y).
32. III.1 GiĆ“Ć¹i haĆÆn. 29
1.4 GiĆ“Ć¹i haĆÆn voĆ¢ cuĆøng - GiĆ“Ć¹i haĆÆn Ć“Ć» voĆ¢ cuĆøng. Ta coĆøn xeĆ¹t caĆ¹c giĆ“Ć¹i haĆÆn khi x tieĆ”n
ra āvoĆ¢ cuĆøngā hay giĆ“Ć¹i haĆÆn āvoĆ¢ cuĆøngā, vaĆø coĆ¹ caĆ¹c khaĆ¹i nieƤm tƶƓng Ć¶Ć¹ng cho caĆ¹c kyĆ¹ hieƤu
sau:
lim
xāā
f(x) = L, lim
xāa
f(x) = ā, lim
xāā
f(x) = ā.
BaĆøi taƤp: haƵy neĆ¢u caĆ¹c Ć±Ć²nh nghĆ³a sao cho phuĆø hĆ“ĆÆp vĆ“Ć¹i caĆ¹c khaĆ¹i nieƤm tƶƓng Ć¶Ć¹ng cuĆ»a
haĆøm moƤt bieĆ”n. CoĆ¹ bao nhieĆ¢u āƱieĆ„m voĆ¢ cuĆøngā trong Rn ? HieĆ„u theĆ” naĆøo laĆø hƬnh caĆ u
hay laĆ¢n caƤn cuĆ»a ƱieĆ„m voĆ¢ cuĆøng ?
1.5 KyĆ¹ hieƤu o vaĆø O. Cho a ā Rn hay a = ā. KyĆ¹ hieƤu Fa(Rn, Rm) laĆø khoĆ¢ng
gian caĆ¹c haĆøm tƶĆø laĆ¢n caƤn cuĆ»a a trong Rn vaĆøo Rm.
ĆeĆ„ so saĆ¹nh caĆ¹c haĆøm trong laĆ¢n caƤn a, ngƶƓĆøi ta thƶƓĆøng duĆøng caĆ¹c kyĆ¹ hieƤu sau.
Cho f, Ļ ā Fa(Rn, Rm). Khi ƱoĆ¹ kyĆ¹ hieƤu vaĆø Ć±Ć²nh nghĆ³a:
f = o(Ļ) khi x ā a ā lim
xāa
f(x)
Ļ(x)
= 0.
BaĆøi taƤp: Cho f, g, Ļ ā Fa(Rn, Rm). ChĆ¶Ć¹ng minh:
(1) NeĆ”u f = o(Ļ) vaĆø g = o(Ļ) khi x ā a, thƬ f + g = o(Ļ) khi x ā a.
(2) NeĆ”u f = o(Ļ) khi x ā a vaĆø g bĆ² chaĆ«n, thƬ f, g = o(Ļ) khi x ā a.
Cho f, Ļ ā Fa(Rn, Rm), kyĆ¹ hieƤu vaĆø Ć±Ć²nh nghĆ³a:
f = O(Ļ) khi x ā a ā āC 0, r 0 : f(x) ā¤ C Ļ(x) , āx ā B(a, r).
BaĆøi taƤp: Cho f, g, Ļ ā Fa(Rn, Rm). ChĆ¶Ć¹ng minh:
(1) NeĆ”u f = O(Ļ) vaĆø g = O(Ļ) khi x ā a, thƬ f + g = O(Ļ) khi x ā a.
(2) NeĆ”u f = O(Ļ) khi x ā a vaĆø g bĆ² chaĆ«n, thƬ f, g = O(Ļ) khi x ā a.
NhaƤn xeĆ¹t. Nhƶ vaƤy kyĆ¹ hieƤu o(Ļ), O(Ļ) chƦ moƤt lĆ“Ć¹p haĆøm chĆ¶Ć¹ khoĆ¢ng phaĆ»i moƤt haĆøm cuĆÆ
theĆ„ naĆøo. ChaĆŗng haĆÆn, tƶĆø f = o(Ļ) vaĆø g = o(Ļ) khoĆ¢ng theĆ„ suy ra f = g.
Cho f, g ā Fa(Rn, R), kyĆ¹ hieƤu vaĆø Ć±Ć²nh nghĆ³a:
f ā¼ g khi x ā a ā lim
xāa
f(x)
g(x)
= 1.
BaĆøi taƤp: ChĆ¶Ć¹ng minh quan heƤ ā¼ laĆø quan heƤ tƶƓng ƱƶƓng.
VĆ duĆÆ. Khi n ā ā, ta coĆ¹:
P(n) = apnp + apā1npā1 + Ā· Ā· Ā· + a0 ā¼ apnp (ap = 0)
1 + 2 + Ā· Ā· Ā· + n =
n(n + 1)
2
= O(n2
)
12 + 22 + Ā· Ā· Ā· + n2 =
n(2n + 1)(n + 2)
6
= O(n3
)
n! ā¼
n
e
n ā
2Ļn = O
n
e
n+ 1
2
43. 40
DeĆ£ thaĆ”y g laĆø haĆøm caĆ n tƬm.
4.6 HeƤ quĆ»a. MoĆÆi haĆøm lieĆ¢n tuĆÆc treĆ¢n R vaĆø coĆ¹ chu kyĆø T coĆ¹ theĆ„ xaĆ”p xƦ ƱeĆ u bĆ“Ć»i daƵy
Ʊa thĆ¶Ć¹c lƶƓĆÆng giaĆ¹c Pk(x) = ak,0 +
Nk
p=1
(ak,p sin(
2Ļpx
T
) + bk,p cos(
2Ļpx
T
)).
ChĆ¶Ć¹ng minh: ĆeĆ„ yĆ¹ laĆø moƤt haĆøm lieĆ¢n tuĆÆc treĆ¢n R, coĆ¹ chu kyĆø T 0 laĆø thaĆ¹c trieĆ„n
cuĆ»a moƤt haĆøm thuoƤc C[0, T]. VaƤy ƱeĆ„ chĆ¶Ć¹ng minh chƦ caĆ n kieĆ„m tra taƤp caĆ¹c Ʊa thĆ¶Ć¹c
lƶƓĆÆng giaĆ¹c thoĆ»a ƱieĆ u kieƤn Ć±Ć²nh lyĆ¹ Stone-Weierstrass.
4.7 HeƤ quĆ»a. MoĆÆi haĆøm lieĆ¢n tuĆÆc treĆ¢n taƤp compact trong Rn ƱeĆ u coĆ¹ theĆ„ xaĆ”p xƦ ƱeĆ u
bĆ“Ć»i daƵy haĆøm Ʊa thĆ¶Ć¹c n bieĆ”n.
4.8 HeƤ quĆ»a. Cho K1 ā Rn1 vaĆø K2 ā Rn2 laĆø caĆ¹c taƤp compact, A1 vaĆø A2 laĆø caĆ¹c
ƱaĆÆi soĆ” haĆøm treĆ¢n K1, K2 tƶƓng Ć¶Ć¹ng. NeĆ”u A1 vaĆø A2 laĆø taĆ¹ch ƱieĆ„m vaĆø chĆ¶Ć¹a haĆøm haĆØng,
thƬ moĆÆi haĆøm f ā C(K1 Ć K2) ƱeĆ u coĆ¹ theĆ„ xaĆ”p xƦ ƱeĆ u bĆ“Ć»i haĆøm coĆ¹ daĆÆng
k
i=1
gi(x)hi(y) ,
trong ƱoĆ¹ gi ā A1, hi ā A2, k ā N.
ChĆ¶Ć¹ng minh: ChƦ caĆ n kieĆ„m tra caĆ¹c haĆøm coĆ¹ daĆÆng treĆ¢n laĆø ƱaĆÆi soĆ” haĆøm lieĆ¢n tuĆÆc treĆ¢n
K1 Ć K2, taĆ¹ch ƱieĆ„m vaĆø chĆ¶Ć¹a haĆøm haĆØng, roĆ i aĆ¹p duĆÆng Ć±Ć²nh lyĆ¹ Stone-Weierstrass.
NhaƤn xeĆ¹t. ĆĆ²nh lyĆ¹ Stone-Weierstrass tuy khaĆŗng Ć±Ć²nh khaĆ» naĆŖng xaĆ”p xƦ ƱeĆ u haĆøm
lieĆ¢n tuĆÆc treĆ¢n taƤp compact bĆ“Ć»i Ʊa thĆ¶Ć¹c hay Ʊa thĆ¶Ć¹c lƶƓĆÆng giaĆ¹c, nhƶng vieƤc chĆ¶Ć¹ng minh
khoĆ¢ng cho pheĆ¹p xaĆ¢y dƶĆÆng tƶƓĆøng minh daƵy haĆøm xaĆ”p xƦ. ĆeĆ„ tĆnh toaĆ¹n cuĆÆ theĆ„ (xaĆ¹c Ć±Ć²nh
heƤ soĆ” Ʊa thĆ¶Ć¹c xaĆ”p xƦ) caĆ n nhieĆ u giaĆ» thieĆ”t hĆ“n veĆ hƬnh hoĆÆc cuĆ»a taƤp hay veĆ tĆnh chaĆ”t
cuĆ»a haĆøm. ChaĆŗng haĆÆn, haĆøm lieĆ¢n tuĆÆc treĆ¢n ƱoaĆÆn [a, b] coĆ¹ theĆ„ xaĆ”p xƦ bĆ“Ć»i daƵy Ʊa thĆ¶Ć¹c
Bernstein. ToĆ„ng quaĆ¹t hĆ“n, neĆ”u K laĆø hƬnh hoƤp trong Rn, ta coĆ¹
BaĆøi taƤp: Cho f ā C[0, 1]n. Ća thĆ¶Ć¹c Bernstein thĆ¶Ć¹ k cuĆ»a f ƱƶƓĆÆc Ć±Ć²nh nghĆ³a
Bk(x1, Ā· Ā· Ā· , xn) =
0ā¤p1,Ā·Ā·Ā· ,pnā¤k
Cp1
k Ā· Ā· Ā· Cpn
k f(
p1
k
, Ā· Ā· Ā· ,
pn
k
)xp1
1 Ā· Ā· Ā· xpn
n (1āx1)kāp1
Ā· Ā· Ā· (1āxn)kāpn
.
ChĆ¶Ć¹ng minh daƵy (Bk) hoƤi tuĆÆ Ć±eĆ u veĆ f.
MoƤt hĆ¶Ć“Ć¹ng phaĆ¹t trieĆ„n khaĆ¹c laĆø vieƤc nghieĆ¢n cĆ¶Ć¹u lĆ“Ć¹p caĆ¹c haĆøm coĆ¹ theĆ„ bieĆ„u dieĆ£n moƤt
caĆ¹ch Ć±Ć²a phƶƓng nhƶ chuoĆ£i luƵy thƶĆøa: lyĆ¹ thuyeĆ”t haĆøm giaĆ»i tĆch.
44. IV. ĆaĆÆo haĆøm
1. ĆAĆO HAĆM
TrĆ¶Ć“Ć¹c khi Ʊƶa ra Ć±Ć²nh nghĆ³a, ta coĆ¹ nhaƤn xeĆ¹t sau:
Cho U laĆø taƤp mĆ“Ć» trong R. HaĆøm f : U ā R laĆø khaĆ» vi taĆÆi a ā U neĆ”u toĆ n taĆÆi soĆ” thƶĆÆc
f (a), sao cho
lim
xāa
f(x) ā f(a)
x ā a
= lim
hā0
f(a + h) ā f(a)
h
= f (a)
i.e. f(a + h) = f(a) + f (a)h + o(h),
i.e. f(x) coĆ¹ theĆ„ xaĆ”p xƦ bĆ“Ć»i haĆøm baƤc nhaĆ”t T(x) = f(a) + f (a)(x ā a), vĆ“Ć¹i x ƱuĆ» gaĆ n a.
1.1 ĆĆ²nh nghĆ³a. Cho U laĆø taƤp con mĆ“Ć» trong Rn. AĆnh xaĆÆ f : U ā Rm goĆÆi laĆø
khaĆ» vi taĆÆi a ā U neĆ”uu toĆ n taĆÆi aĆ¹nh xaĆÆ tuyeĆ”n tĆnh A : Rn ā Rm, sao cho
f(a + h) ā f(a) ā Ah
h
ā 0, khi h ā 0.
Khi ƱoĆ¹, A goĆÆi laĆø ƱaĆÆo haĆøm cuĆ»a f taĆÆi a vaĆø kyĆ¹ hieƤu Df(a) hay f (a).
NhaƤn xeĆ¹t. Theo Ć±Ć²nh nghĆ³a, neĆ”u f khaĆ» vi taĆÆi a, ta coĆ¹
f(a + h) = f(a) + Df(a)h + o(h),
trong ƱoĆ¹ o(h) kyĆ¹ hieƤu caĆ¹c haĆøm Ļ(h) thoĆ»a: lim
hā0
Ļ(h)
h
= 0.
Nhƶ vaƤy f khaĆ» vi taĆÆi a khi vaĆø chƦ khi f coĆ¹ theĆ„ xaĆ”p xƦ baƤc nhaĆ”t Ć“Ć» laĆ¢n caƤn a, bĆ“Ć»i aĆ¹nh
xaĆÆ affin T. Khi ƱoĆ¹
T(x) = f(a) + Df(a)(x ā a)
goĆÆi laĆø aĆ¹nh xaĆÆ tieĆ”p xuĆ¹c vĆ“Ć¹i f taĆÆi a .
VeĆ maĆ«t hƬnh hoĆÆc, tĆnh khaĆ» vi cuĆ»a f taĆÆi a tƶƓng ƱƶƓng vĆ“Ć¹i sƶĆÆ toĆ n taĆÆi phaĆŗng tieĆ”p xuĆ¹c
vĆ“Ć¹i ƱoĆ thĆ² taĆÆi (a, f(a)). Khi ƱoĆ¹ ƱoĆ thĆ² cuĆ»a f
Gf = {(x, y) ā Rn
Ć Rm
: y = f(x), x ā U} ,
coĆ¹ phaĆŗng tieĆ”p xuĆ¹c laĆø ƱoĆ thĆ² cuĆ»a aĆ¹nh xaĆÆ tieĆ”p xuĆ¹c T
Ta = {(x, y) ā Rn
Ć Rm
: y = T(x) = f(a) + Df(a)(x ā a), x ā Rn
}.
VƬ ta coĆ¹ d((x, f(x)); Ta) ā¤ d(f(x), T(x)) = o( x ā a ), khi x ā a.
45. 42
MeƤnh ƱeĆ .
(i) NeĆ”u f khaĆ» vi taĆÆi a thƬ aĆ¹nh xaĆÆ tuyeĆ”n tĆnh Df(a) laĆø duy nhaĆ”t.
(ii) NeĆ”u f khaĆ» vi taĆÆi a, thƬ noĆ¹ lieĆ¢n tuĆÆc taĆÆi ƱoĆ¹.
ChĆ¶Ć¹ng minh: NeĆ”u A, B laĆø caĆ¹c aĆ¹nh xaĆÆ tuyeĆ”n tĆnh thoaĆ» ĆĆ²nh nghĆ³a 1.1, khi ƱoĆ¹
lim
hā0
A(h) ā B(h)
h
= 0.
TƶĆø tĆnh tuyeĆ”n tĆnh, suy ra vĆ“Ć¹i moĆÆi x ā Rn 0, ta coĆ¹
A(x) ā B(x)
x
= lim
tā0
A(tx) ā B(tx)
tx
= 0
VaƤy A(x) = B(x), āx ā Rn, i.e. A = B.
NeĆ”u f coĆ¹ ƱaĆÆo haĆøm Df(a), thƬ
lim
xāa
(f(x) ā f(a)) = lim
xāa
(f(x) ā f(a) ā Df(a)(x ā a)) + lim
xāa
Df(a)(x ā a) = 0
VaƤy f lieĆ¢n tuĆÆc taĆÆi a.
VĆ duĆÆ.
a) ĆaĆÆo haĆøm cuĆ»a haĆøm haĆØng taĆÆi moĆÆi ƱieĆ„m laĆø aĆ¹nh xaĆÆ tuyeĆ”n tĆnh 0.
b) ĆaĆÆo haĆøm cuĆ»a aĆ¹nh xaĆÆ tuyeĆ”n tĆnh T taĆÆi moĆÆi ƱieĆ„m laĆø chĆnh noĆ¹, i.e. DT(a) = T, āa.
BaĆøi taƤp: TƬm vĆ duĆÆ caĆ¹c haĆøm soĆ” khoĆ¢ng khaĆ» vi.
NhaƤn xeĆ¹t. (i) TrƶƓĆøng hĆ“ĆÆp haĆøm 1 bieĆ”n, ƱeĆ„ yĆ¹ laĆø moĆÆi aĆ¹nh xaĆÆ tuyeĆ”n tĆnh R ā Rm, ƱeĆ u
coĆ¹ daĆÆng h ā A, h , vĆ“Ć¹i A ā Rm naĆøo ƱoĆ¹. Nhƶ vaƤy trong trƶƓĆøng hĆ“ĆÆp naĆøy ƱaĆÆo haĆøm
ƱƶƓĆÆc ƱoĆ ng nhaĆ”t moƤt caĆ¹ch tƶĆÆ nhieĆ¢n vĆ“Ć¹i vector (hay ma traƤn coƤt) A ā Rm.
Trong trƶƓĆøng hĆ“ĆÆp naĆøy, ƱaĆÆo haĆøm haĆøm 1 bieĆ”n ƱƶƓĆÆc tĆnh bĆ“Ć»i f (a) = lim
hā0
f(a + h) ā f(a)
h
.