Professional Documents
Culture Documents
1
gi¶i tÝch II
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 3
Trong ch-¬ng nµy chóng ta sÏ x©y dùng kh¸i niÖm vµ c¸ch tÝnh tÝch ph©n cho
hµm thùc nhiÒu biÕn sè. Tr-íc hÕt chóng ta nh¾c l¹i kh¸i niÖm "h×nh hép" ®·
biÕt ®Õn ë ch-¬ng tr-íc.
H×nh hép trong R lµ kho¶ng ®ãng
[a, b] = {x ∈ R | a ≤ x ≤ b}
trong ®ã a, b ∈ R. Ng-êi ta th-êng nãi h×nh hép trong R lµ h×nh hép 1 chiÒu.
H×nh hép trong Rn lµ tÝch §Ò c¸c cña n kho¶ng ®ãng trong R:
hay
kÝ hiÖu λ(H) lµ tÝch cña c¸c ®é dµi c¸c ®o¹n th¼ng [ai, bi ]:
§Æc biÖt khi H1 = [a, b] lµ h×nh hép 1 chiÒu, thÓ tÝch cña H1 lµ ®é dµi cña
®o¹n [a, b]:
λ(H1 ) = λ[a, b] = b − a.
3
4 Ch-¬ng III. TÝch ph©n béi
NÕu H2 lµ h×nh hép 2 chiÒu H2 = [a1, b1 ] × [a2, b2], khi ®ã thÓ tÝch cña H2
B©y giê, tæng qu¸t h¬n chóng ta sÏ ®Þnh nghÜa kh¸i niÖm phÐp chia (theo kiÓu
l-íi) h×nh hép n chiÒu H nãi trªn thµnh c¸c h×nh hép n chiÒu nhá h¬n trong H.
Gäi T1 lµ mét kho¶ng con nµo ®ã (T1 = [xi, xi+1 ]) trong phÐp chia [a1, b1]
thµnh m1 kho¶ng nhá, T2 còng lµ mét kho¶ng con nµo ®ã (T2 = [yj , yj+1]) trong
phÐp chia [a2, b2 ] thµnh m2 kho¶ng nhá... T-¬ng tù ®èi víi Tn . Khi ®ã h×nh hép
n chiÒu H ®-îc chia thµnh
N = m1 m2 · · · mn
Hi = T1 × T2 × · · · × Tn
[
N
H= Hi .
i=1
3.1 §Þnh nghÜa tÝch ph©n trªn h×nh hép 5
Trong ch-¬ng nµy khi nãi vÒ phÐp chia F mét h×nh hép nµo ®ã, chóng ta
lu«n hiÓu lµ phÐp chia kiÓu l-íi nãi trªn. HiÓn nhiªn thÓ tÝch cña H b»ng tæng
c¸c thÓ tÝch cña tÊt c¶ c¸c h×nh hép nhá
X
N
λ(H) = λ(Hi ).
i=1
Chó ý r»ng còng nh- trong hµm mét biÕn, ng-êi ta kÝ hiÖu d(F ) lµ ®-êng kÝnh
cña phÐp chia F . §-êng kÝnh ®ã lµ ®-êng kÝnh lín nhÊt trong sè tÊt c¶ c¸c
®-êng kÝnh cña h×nh hép nhá T1 × T2 × · · · × Tn cña phÐp chia F nãi trªn
(§-êng kÝnh h×nh hép lµ kho¶ng c¸ch lín nhÊt gi÷a 2 ®iÓm cña h×nh hép ®ã).
f :H →R
x¸c ®Þnh trªn H. Gäi F lµ mét phÐp chia l-íi bÊt k× h×nh hép H:
[
N
H= Hi ,
i=1
X
N
S(F ) = f (ti )λ(Hi )
i=1
lµ tæng tÝch ph©n cña hµm f t-¬ng øng víi phÐp chia F . NÕu tæng tÝch ph©n S(F )
tån t¹i giíi h¹n L vµ giíi h¹n ®ã h÷u h¹n khi ®-êng kÝnh cña phÐp chia d(F ) tiÕn
tíi 0:
X
N
lim S(F ) = lim f (ti )λ(Hi ) = L,
i=1
6 Ch-¬ng III. TÝch ph©n béi
hoÆc ZZ Z
lim S(F ) = L = ... f (x1 , x2, ..., xn) dx1 dx2 ...dxn.
H
Chó ý r»ng giíi h¹n lim S(F ) = L ®-îc hiÓu nh- sau:
d(F )→0
Víi ε > 0 tïy ý lu«n tån t¹i δ = δ(ε) > 0 sao cho víi mäi phÐp chia h×nh hép
H cã ®-êng kÝnh d(F ) < δ vµ mäi c¸ch chän c¸c ®iÓm ti ∈ Hi , ta cã
X
N
|S(F ) − L| = | f (ti )λ(Hi ) − L| < ε.
i=1
(Chó ý r»ng sù tån t¹i giíi h¹n cña tæng tÝch ph©n S(F ) kh«ng phô thuéc
vµo viÖc chän c¸c ®iÓm ti tïy ý trong Hi ).
VÝ dô XÐt tÝch ph©n hµm h»ng sè f (x) ≡ C víi ∀x ∈ H. Khi ®ã víi mäi phÐp
[m
chia F : H = Hi , tæng tÝch ph©n
i=1
X
m X
m
S(F ) = f (ti )λ(Hi ) = Cλ(Hi ) = Cλ(H)
i=1 i=1
§Þnh nghÜa 3.1.2 Cïng víi c¸c kÝ hiÖu trong ®Þnh nghÜa trªn, ta ®Æt
Khi ®ã
X
N
S ∗(F ) = Mi λ(Hi )
i=1
3.2 §iÒu kiÖn ®ñ ®Ó hµm kh¶ tÝch 7
X
N
S∗ (F ) = mi λ(Hi )
i=1
®-îc gäi lµ tæng Darboux trªn vµ tæng Darboux d-íi cña hµm f t-¬ng øng víi
phÐp chia F .
S∗ (F ) ≤ S ∗(F ).
§Þnh lÝ sau lµ hiÓn nhiªn (®-îc chøng minh t-¬ng tù nh- trong tÝch ph©n hµm
mét biÕn)
§Þnh lÝ 3.1.1 (§iÒu kiÖn cÇn ®Ó hµm kh¶ tÝch) NÕu f kh¶ tÝch trªn h×nh hép
H, khi ®ã hµm f bÞ chÆn trªn H (tån t¹i sè K ∈ R ®Ó |f (x)| ≤ K víi mäi x ∈ H).
Do ®Þnh lÝ trªn, trong ch-¬ng nµy tõ nay vÒ sau khi nãi vÒ c¸c hµm kh¶ tÝch,
ta chØ xÐt nh÷ng hµm bÞ chÆn.
§Þnh nghÜa 3.2.1 Gi¶ sö F vµ F 0 lµ hai phÐp chia mét h×nh hép H. Ta nãi phÐp
chia F mÞn h¬n phÐp chia F 0 nÕu mäi h×nh hép con cña H øng víi phÐp chia F
®Òu n»m trong mét h×nh hép con nµo ®Êy øng víi phÐp chia F 0. §iÒu nµy t-¬ng
®-¬ng víi kh¼ng ®Þnh mäi h×nh hép con øng víi phÐp chia F 0 lµ hîp cña c¸c h×nh
hép con nµo ®ã øng víi phÐp chia F
[
Hi0 = Hk .
k:Hk ⊂Hi0
Tõ ®Þnh nghÜa trªn, suy ra r»ng nÕu phÐp chia F mÞn h¬n phÐp chia F 0, khi
®ã
S∗ (F 0) ≤ S∗ (F ) vµ S ∗ (F ) ≤ S ∗ (F 0).
Kh¼ng ®Þnh trªn suy ra tõ nhËn xÐt: nÕu A ⊂ B, khi ®ã
[
N2
(2)
F2 : H= Hj
j=1
lµ hai phÐp chia h×nh hép H. Hîp cña hai phÐp chia F1 vµ F2 lµ phÐp chia míi
h×nh hép H, kÝ hiÖu F1 ∪ F2 mµ mçi h×nh hép con cña phÐp chia míi b»ng giao
cña hai h×nh hép con nµo ®ã øng víi hai phÐp chia F1, F2:
(1) (2)
Hi ∩ Hj .
(1) (2)
Hi lµ h×nh hép con øng víi phÐp chia F1 vµ Hj lµ h×nh hép con øng víi phÐp
chia F2.
N1 [
[ N2
(1) (2)
F1 ∪ F2 : H = (Hi ∩ Hj ).
i=1 j=1
TÝnh ®óng ®¾n cña ®Þnh nghÜa trªn suy ra tõ nhËn xÐt: giao cña hai h×nh hép
hoÆc lµ tËp ∅ (tËp ∅ còng ®-îc coi lµ h×nh hép) hoÆc còng lµ h×nh hép. §ång
thêi dÔ dµng suy ra r»ng hîp cña hai phÐp chia F1 vµ F2 lµ phÐp chia mÞn h¬n
c¶ F1 vµ F2 .
§Þnh lÝ 3.2.1 Víi F1 vµ F2 lµ hai phÐp chia bÊt k× h×nh hép H, duy tr× c¸c kÝ hiÖu
nh- trong §Þnh nghÜa 2, khi ®ã
S∗ (F1) ≤ S ∗ (F2).
Chøng minh XÐt phÐp chia T lµ hîp cña hai phÐp chia F1 vµ F2, theo nhËn xÐt
trªn phÐp chia T mÞn h¬n c¶ F1 vµ F2 , suy ra ®iÒu ph¶i chøng minh
S∗(F1 ) ≤ S∗ (T ) ≤ S ∗(T ) ≤ S ∗(F2 ).
HÖ qu¶ 3.2.1 §iÒu kiÖn cÇn vµ ®ñ ®Ó hµm bÞ chÆn f : H → R kh¶ tÝch trªn h×nh
hép H lµ I∗ = I ∗ hoÆc diÔn ®¹t d-íi d¹ng kh¸c t-¬ng ®-¬ng:
Víi ε > 0 tïy ý lu«n tån t¹i mét phÐp chia F sao cho
S ∗ (F ) − S∗(F ) < ε.
|S(F ) − I| < ε.
§iÒu ®ã chøng minh f kh¶ tÝch trªn h×nh hép H ®ång thêi
Z
f (x) dx = I (= I∗ = I ∗).
H
§Þnh lÝ trªn tr×nh bµy t- t-ëng x©y dùng kh¸i niÖm tÝch ph©n hµm nhiÒu biÕn
bÊt k×. Tuy ®Þnh lÝ ph¸t biÓu ®iÒu kiÖn cÇn vµ ®ñ ®Ó hµm kh¶ tÝch song trong
thùc tÕ ®iÒu kiÖn ®ñ ®ã rÊt khã kiÓm tra. §Þnh lÝ sau ®-a ra ®iÒu kiÖn ®ñ ®¬n
gi¶n vµ dÔ kiÓm tra h¬n (c¸ch chøng minh nh- trong gi¶i tÝch hµm mét biÕn).
§Þnh lÝ 3.2.3 NÕu hµm f bÞ chÆn vµ liªn tôc trªn h×nh hép H ⊂ Rn , khi ®ã f kh¶
tÝch. H¬n n÷a nÕu tËp hîp c¸c ®iÓm gi¸n ®o¹n cña f lµ h÷u h¹n hoÆc v« h¹n ®Õm
®-îc, th× f còng kh¶ tÝch trªn h×nh hép H.
NhËn xÐt r»ng nÕu f lµ hµm thùc mét biÕn (n = 1) ®¬n ®iÖu (t¨ng hoÆc gi¶m)
trªn ®o¹n [a, b], khi ®ã tËp c¸c ®iÓm gi¸n ®o¹n cña f kh«ng qu¸ ®Õm ®-îc, suy
ra f kh¶ tÝch trªn [a, b]. Líp c¸c hµm kh¶ tÝch kh¸ réng. HÇu hÕt c¸c hµm bÞ
chÆn ta th-êng gÆp lµ c¸c hµm kh¶ tÝch.
10 Ch-¬ng III. TÝch ph©n béi
LËp tæng c¸c thÓ tÝch c¸c h×nh hép Ik vµ kÝ hiÖu λ∗ (M) lµ cËn trªn ®óng cña tÊt
c¶ c¸c tæng ®ã
X
N
λ∗ (M) = sup λ(Ik )
∪N
k=1 Ik ⊂M k=1
Chó ý r»ng tr-êng hîp kh«ng tån t¹i mét h×nh hép nµo ®-îc chøa trong M, khi
®ã theo quy -íc λ∗ (M) = 0. HiÓn nhiªn λ∗ (M) ≤ λ∗ (M). Ta cã ®Þnh nghÜa sau
§Þnh nghÜa 3.3.1 Mét tËp M bÞ chÆn ®-îc gäi lµ ®o ®-îc d¹ng Jordan nÕu
λ∗ (M) = λ∗ (M). Khi ®ã gi¸ trÞ chung cña chóng
λ∗ (M) = λ∗ (M)
®-îc gäi lµ ®é ®o Jordan cña tËp M (ng-êi ta cßn gäi t¾t lµ thÓ tÝch cña M), kÝ
hiÖu
λ(M) = λ∗ (M) = λ∗ (M).
3.3 TÝch ph©n béi trªn tËp giíi néi 11
NhËn xÐt r»ng nÕu M lµ h×nh hép khi ®ã ®é ®o Jordan cña M chÝnh lµ thÓ
tÝch cña h×nh hép ®ã. Ta cã thÓ chøng minh r»ng (dµnh cho ®éc gi¶) c¸c ®a gi¸c,
h×nh trßn, h×nh elip, h×nh cÇu, ... lµ c¸c tËp ®o ®-îc d¹ng Jordan. Nãi chung
c¸c tËp hîp "th«ng th-êng" (c¸c tËp hîp th-êng gÆp) lµ c¸c tËp ®o ®-îc d¹ng
Jordan.
Tuy nhiªn ta xÐt mét vÝ dô vÒ tËp hîp kh«ng ®o ®-îc d¹ng Jordan. KÝ hiÖu A lµ tËp c¸c sè h÷u tØ
trªn ®o¹n [0, 1] (xÐt trong tËp c¸c sè thùc R). HiÓn nhiªn kh«ng tån t¹i mét h×nh hép (®o¹n th¼ng)
nµo ®-îc chøa trong A, suy ra λ∗ (A) = 0. Trong khi ®o¹n th¼ng (h×nh hép mét chiÒu) bÐ nhÊt
chøa A lµ ®o¹n [0, 1], nãi c¸ch kh¸c λ∗ (A) = 1. VËy tËp c¸c sè h÷u tØ trªn ®o¹n [0, 1] kh«ng ®o
®-îc d¹ng Jordan.
Gäi H lµ h×nh hép chøa tËp M vµ xÐt phÐp chia F h×nh hép ®ã:
[
N
F : H= Hi
i=1
Hµm χM : Rn → R ®Þnh nghÜa ë trªn ®-îc gäi lµ hµm ®Æc tr-ng cña M.
B©y giê ta xÐt tÝch ph©n hµm ®Æc tr-ng χM (x) trªn h×nh hép H. DÔ dµng
chøng minh ®-îc λ∗ (M) vµ λ∗ (M) b»ng tÝch ph©n trªn vµ tÝch ph©n d-íi t-¬ng
øng cña hµm ®Æc tr-ng χM (x). V× vËy ®Þnh lÝ sau lµ hiÓn nhiªn
12 Ch-¬ng III. TÝch ph©n béi
§Þnh lÝ 3.3.1 TËp bÞ chÆn M ⊂ Rn ®o ®-îc d¹ng Jordan khi vµ chØ khi hµm ®Æc
tr-ng χM : H → R kh¶ tÝch trªn h×nh hép H nµo ®ã chøa M. Khi ®ã thÓ tÝch (®é
®o Jordan) cña M b»ng: Z
λ(M) = χM (x) dx.
H
NhËn xÐt r»ng tÝch ph©n trªn kh«ng phô thuéc vµo viÖc chän h×nh hép H chøa
M. Tõ ®Þnh lÝ nµy suy ra hîp (giao) cña h÷u h¹n tËp hîp ®o ®-îc d¹ng Jordan
còng lµ tËp hîp ®o ®-îc d¹ng Jordan. Ngoµi ra nÕu A, B lµ hai tËp hîp rêi nhau
A ∩ B = ∅ trong Rn , hiÓn nhiªn
χA∪B = χA + χB .
Ta cã kÕt qu¶ sau
§Þnh lÝ 3.3.2 NÕu M1, M2 , ..., Mk lµ c¸c tËp hîp ®o ®-îc vµ ®«i mét rêi nhau, khi
[
k
®ã Mi còng ®o ®-îc d¹ng Jordan, ®ång thêi
i=1
[
k X
k
λ( Mi ) = λ(Mi ).
i=1 i=1
§Þnh nghÜa 3.3.2 Ta nãi f kh¶ tÝch trªn tËp bÞ chÆn vµ ®o ®-îc M, nÕu hµm f ∗
kh¶ tÝch trªn H. Khi ®ã
Z Z Z
∗
f (x)dx = f (x)dx = f (x)χM (x) dx.
M H H
Chó ý r»ng tÝch ph©n hµm f trong ®Þnh nghÜa trªn kh«ng phô thuéc vµo viÖc
chän h×nh hép H chøa M.
Z Z
5. Víi f kh¶ tÝch trªn M, f (x)dx ≤ |f (x)|dx.
M M
6. Ta c«ng nhËn kÕt qu¶ sau (cßn ®-îc gäi lµ ®Þnh lÝ vÒ gi¸ trÞ trung b×nh)
Gi¶ sö f liªn tôc trªn tËp liªn th«ng D ⊂ Rn vµ D ®o ®-îc d¹ng Jordan,
khi ®ã tån t¹i mét ®iÓm c ∈ D sao cho
Z
f (x)dx = λ(D)f (c).
D
Chó ý r»ng tÝch ph©n hµm nhiÒu biÕn th-êng ®-îc gäi lµ tÝch ph©n béi, tÝch ph©n
hµm hai biÕn ®-îc gäi lµ tÝch ph©n kÐp, tÝch ph©n hµm ba biÕn ®-îc gäi lµ tÝch
ph©n béi ba.
ThËt vËy tËp M cã thÓ ph©n tÝch thµnh hîp cña hai tËp rêi nhau M = M1 ∪ M2 ,
trong ®ã M1 thuéc nöa trªn cña mÆt ph¼ng xOy (y ≥ 0) vµ M2 thuéc nöa d-íi
cña mÆt ph¼ng ®ã. (Xem h×nh vÏ d-íi ®©y).
Tõ ®Þnh nghÜa tÝch ph©n béi lËp c¸c tæng tÝch ph©n cña hai tÝch ph©n nãi trªn,
nÕu ta sö dông c¸c phÐp chia ®èi xøng vµ chän c¸c c¸c ®iÓm ti = (ξi , ηi ) còng
®èi xøng nhau qua ®-êng th¼ng y = 0, suy ra c¸c tæng tÝch ph©n t-¬ng øng lµ
c¸c sè ®èi nhau
X
N
(1)
X
N
(1)
S(F1) = f (ξi , ηi )λ(Hi ) =− f (ξi , −ηi)λ(Hi ) = −S(F2).
i=1 i=1
Do vËy khi chuyÓn qua giíi h¹n, gi¸ trÞ cña c¸c tÝch ph©n còng ®èi nhau
ZZ ZZ
f (x, y)dxdy = − f (x, y)dxdy.
M1 M2
LËp luËn t-¬ng tù nÕu tËp M ⊂ R2 nhËn ®-êng th¼ng y = 0 lµm trôc ®èi xøng,
hµm f (x, y) kh¶ tÝch trªn M vµ f (x, y) lµ hµm ch½n theo biÕn y, khi ®ã
ZZ ZZ
f (x, y)dxdy = 2 f (x, y)dxdy (∗)
M M1
(M lµ hîp cña 2 tËp ®èi xøng nhau qua trôc hoµnh M = M1 ∪ M2 , hµm f lµ
hµm ch½n theo biÕn y: f (x, y) = f (x, −y) ∀(x, y) ∈ M.)
16 Ch-¬ng III. TÝch ph©n béi
2. Ta còng nhËn ®-îc kÕt qu¶ t-¬ng tù nÕu tËp M nhËn ®-êng th¼ng x = 0
(trôc tung) lµm trôc ®èi xøng (hoÆc gèc täa ®é O lµm t©m ®èi xøng), hµm d-íi
dÊu tÝch ph©n f (x, y) lµ hµm lÎ theo x, kh¶ tÝch trªn M
f (x, y) = −f (−x, y) ∀(x, y) ∈ M.
(hoÆc f (x, y) = −f (−x, −y) ∀(x, y) ∈ M). Khi ®ã
ZZ
I= f (x, y)dxdy = 0.
M
Tr-êng hîp f (x, y) lµ hµm ch½n theo biÕn x, b¹n ®äc tù rót ra c¸c kÕt qu¶ t-¬ng
tù nh- trong ®¼ng thøc (∗).
3. C¸c kÕt qu¶ trªn còng cã thÓ më réng sang tÝch ph©n béi ba.
Ch¼ng h¹n ta xÐt tËp M ⊂ R3 nhËn mÆt ph¼ng z = 0 (mÆt ph¼ng xOy) lµm mÆt
ph¼ng ®èi xøng, hµm d-íi dÊu tÝch ph©n f (x, y, z) lµ hµm lÎ theo z, kh¶ tÝch trªn
M. Khi ®ã ZZ Z
f (x, y, z)dxdydz = 0.
M
VÝ dô 3.3.1
1. TÝnh tÝch ph©n
ZZ
p x2 + y 2
I1 = xy 2 2 2
4a − x − y − dxdy,
2a
D
ZZ
2. TÝnh tÝch ph©n I = dxdy, víi D lµ miÒn ph¼ng giíi h¹n bëi elip
D
x2 y 2
+ 2 = 1.
a2 b
MiÒn D nhËn c¸c trôc täa ®é lµm trôc ®èi xøng, theo tÝnh chÊt cña tÝch
ph©n kÐp ZZ ZZ
I= dxdy = 4 dxdy = 4S(D1 ),
D D1
S(D1 ) b»ng mét phÇn t- diÖn tÝch cña elip. Trong ch-¬ng tÝch ph©n x¸c
®Þnh ta ®· tÝnh
Z2 r
π
x2 πab
S(D1 ) = b 1 − 2 dx = ⇒ I = πab.
a 4
0
trong ®ã V lµ elipx«it
x2 y 2 z 2
+ + 2 ≤ 1.
a2 b2 c
RRR
§Ó tÝnh tÝch ph©n I2 = x2 yz 3dxdydz, ta cã nhËn xÐt r»ng elipx«it V
V
nhËn mÆt ph¼ng xOy lµm mÆt ph¼ng ®èi xøng, V = V1 ∪ V2 , trong ®ã V1
lµ nöa trªn mÆt ph¼ng xOy vµ V2 lµ phÇn cßn l¹i, nöa d-íi. Hµm d-íi
dÊu tÝch ph©n (f (x, y, z) = x2yz 3 ) nhËn c¸c gi¸ trÞ ®èi nhau t¹i c¸c ®iÓm
®èi xøng nhau qua mÆt ph¼ng xOy (hµm lÎ theo z)
Tõ tÝnh chÊt tÝch ph©n béi suy ra tÝch ph©n hµm f trªn V1 vµ V2 còng ®èi
nhau. VËy
ZZ Z ZZ Z ZZ Z
2 3 2 3
x yz dxdydz = x yz dxdydz + x2yz 3dxdydz = 0.
V V1 V2
18 Ch-¬ng III. TÝch ph©n béi
§Þnh lÝ 3.4.1 (Fubini) Cho h×nh ch÷ nhËt H = [a, b] × [c, d] vµ hµm f : H → R
kh¶ tÝch trªn ®ã. Gi¶ sö víi mäi x ∈ [a, b], tån t¹i tÝch ph©n x¸c ®Þnh
Z d
g(x) = f (x, y) dy.
c
3.4 C¸ch tÝnh tÝch ph©n béi 19
TÝch ph©n hµm f (x, y) trªn h×nh ch÷ nhËt H = [a, b] × [c, d] lµ tÝch ph©n kÐp vµ
kÝ hiÖu ZZ Z bZ d
f (x, y) dxdy = f (x, y) dxdy.
a c
H
Gi¶ sö
a = x0 < x1 < · · · < xn = b
c = y0 < y1 < · · · < ym = d
lµ c¸c phÐp chia ®o¹n [a, b] vµ [c, d] t-¬ng øng cña F . Chän ®iÓm
tïy ý, khi ®ã
Z d m Z
X yk
g(ξi ) = f (ξi , y) dy = f (ξi , y) dy.
c k=1 yk−1
Gäi mik vµ Mik lµ c¸c cËn trªn ®óng (sup) vµ cËn d-íi ®óng (inf) cña f trªn
c¸c h×nh ch÷ nhËt
Khi ®ã Z yk
mik (yk − yk−1 ) ≤ f (ξi , y) dy ≤ Mik (yk − yk−1 ).
yk−1
Suy ra
X
m X
m
mik (yk − yk−1 ) ≤ g(ξi ) ≤ Mik (yk − yk−1 ).
k=1 k=1
Nh©n c¸c vÕ cña bÊt ®¼ng thøc nµy víi (xi − xi−1) råi céng chóng l¹i theo i ta
®-îc
X n Xm X
n
mik (yk − yk−1 )(xi − xi−1 ) ≤ g(ξi )(xi − xi−1 )
i=1 k=1 i=1
X
n X
m
≤ Mik (yk − yk−1 )(xi − xi−1 ).
i=1 k=1
lµ tæng Darboux trªn cña hµm f t-¬ng øng víi phÐp chia F . Theo gi¶ thiÕt hµm
f kh¶ tÝch trªn h×nh ch÷ nhËt H = [a, b] × [c, d], suy ra
Z bZ d
∗
lim S∗ (F ) = lim S (F ) = f (x, y) dxdy
a c
P
khi ®-êng kÝnh cña phÐp chia d(F ) → 0. V× vËy tån t¹i lim ni=1 g(ξi )(xi − xi−1 )
vµ b»ng
X
n Z bZ d
lim g(ξi )(xi − xi−1) = f (x, y) dxdy
i=1 a c
®iÒu nµy còng cã nghÜa lµ g(x) kh¶ tÝch trªn [a, b], ®ång thêi
Z b Z bZ d
g(x) dx = f (x, y) dxdy
a a c
3.4 C¸ch tÝnh tÝch ph©n béi 21
hay
Z b Z d Z bZ d
f (x, y) dy dx = f (x, y) dxdy.
a c a c
trong ®Þnh lÝ còng chÝnh lµ diÖn tÝch thiÕt diÖn t¹o bëi mÆt ph¼ng ®i qua x, vu«ng
gãc víi trôc Ox vµ "h×nh hép cong". V× vËy ng-êi ta cßn kÝ hiÖu tÝch ph©n ®ã
b»ng S(x). (Xem h×nh vÏ d-íi).
Z d
S(x) = g(x) = f (x, y) dy.
c
§Þnh lÝ 3.4.2 Cho h×nh ch÷ nhËt H = [a, b] × [c, d] vµ hµm f : H → R kh¶ tÝch
trªn ®ã. Gi¶ sö víi mäi y ∈ [c, d], tån t¹i tÝch ph©n x¸c ®Þnh
Z b
h(y) = f (x, y) dx.
a
22 Ch-¬ng III. TÝch ph©n béi
§Æc biÖt khi f (x, y) liªn tôc trªn H = [a, b] × [c, d], c¸c ®iÒu kiÖn cña hai ®Þnh
lÝ trªn lu«n tho¶ m·n.
Tr-êng hîp tæng qu¸t, ®Þnh lÝ Fubini ®-îc ph¸t biÓu nh- sau
§Þnh lÝ 3.4.3 Cho hµm f : H → R kh¶ tÝch trªn h×nh hép H ⊂ Rn . Gi¶ sö
H = H 0 × H” lµ tÝch §Ò c¸c hai h×nh hép: H 0 lµ h×nh hép k chiÒu vµ H” n − k
chiÒu. Gi¶ sö tiÕp r»ng víi mäi y ∈ H”, tån t¹i tÝch ph©n
Z
h(y) = f (x, y) dx.
H0
Khi ®ã h(y) kh¶ tÝch trªn h×nh hép H”, ®ång thêi
ZZ Z Z Z
f (x, y)dxdy = h(y)dy = f (x, y)dx dy.
H” H” H0
H 0 ×H”
VÝ dô 3.4.1
Do hµm f (x, y) = 5x y − 2y liªn tôc trªn h×nh ch÷ nhËt D = [2, 5] × [1, 3]
2 3
suy ra f kh¶ tÝch trªn D. MÆt kh¸c víi mäi y ∈ [1, 3] tån t¹i tÝch ph©n x¸c
®Þnh Z 5
g(y) = (5x2y − 2y 3 ) dx = 195y − 6y 3
2
Chó ý r»ng tÝch ph©n I cã thÓ tÝnh theo biÕn y tr-íc, biÕn x sau
Z 5 Z 3 Z 5
2 3
I1 = 5x y − 2y dy dx = (20x2 − 40) dx = 660.
2 1 2
nh- vËy √
Z 1
1 1 2+ 2
I2 = √ −√ dx = ln √ .
0 1 + x2 2 + x2 1+ 3
3. TÝnh tÝch ph©n béi ba
Z ZZ
I3 = (zy 2 + 2yx2) dxdydz,
H
24 Ch-¬ng III. TÝch ph©n béi
trong ®ã H = [2, 3] × [0, 2] × [0, 1] lµ h×nh hép trong R3 . H×nh hép H th-êng
®-îc viÕt d-íi d¹ng
H = {(x, y, z) | 2 ≤ x ≤ 3, 0 ≤ y ≤ 2, 0 ≤ z ≤ 1}.
Do miÒn D kh«ng lµ h×nh ch÷ nhËt, nªn ®Ó sö dông ®-îc c«ng thøc Fubini
®-a tÝch ph©n trªn vÒ c¸c tÝch ph©n x¸c ®Þnh, ta lång miÒn D vµo trong
h×nh ch÷ nhËt
1
H = {(x, y) | 1 ≤ x ≤ 2, ≤ y ≤ 2}.
2
3.4 C¸ch tÝnh tÝch ph©n béi 25
(H lµ h×nh ch÷ nhËt nhá nhÊt chøa miÒn D). Nh¾c l¹i r»ng
ZZ 2 ZZ 2
x x
I4 = dxdy = χ (x, y) dxdy,
y2 y2 D
D H
trong ®ã
( (
1 nÕu (x, y) ∈ D 1 nÕu 1 ≤ x ≤ 2, x1 ≤ y ≤ x
χD (x, y) = =
0 nÕu (x, y) ∈
/D 0 nÕu (x, y) ∈
/D
1. Chó ý r»ng khi tÝnh tÝch ph©n béi trªn miÒn bÞ chÆn, ®Ó cã thÓ ¸p dông c«ng
thøc Fubini ng-êi ta th-êng sö dông ph-¬ng ph¸p trªn, tøc lµ lång miÒn lÊy
tÝch ph©n vµo mét h×nh hép H nµo ®ã
Z Z
f (x)dx = f (x)χM (x) dx
M H
råi ¸p dông c«ng thøc Fubini ®-a vÒ c¸c tÝch ph©n x¸c ®Þnh ®¬n gi¶n h¬n. (§èi
víi tÝch ph©n béi ba c¸ch lµm còng t-¬ng tù nh- vÝ dô trªn).
Ch¼ng h¹n khi M ⊂ R2 lµ miÒn ph¼ng ®-îc x¸c ®Þnh bëi c¸c bÊt ®¼ng thøc
trong ®ã y1(x) vµ y2 (x) lµ c¸c hµm liªn tôc x¸c ®Þnh trªn [a, b]. B¹n ®äc cã thÓ tù
chøng minh M lµ tËp ®o ®-îc d¹ng Jordan. Gi¶ thiÕt r»ng f : M → R lµ hµm
kh¶ tÝch trªn M. §Ó tÝnh tÝch ph©n
ZZ
f (x, y) dxdy,
M
26 Ch-¬ng III. TÝch ph©n béi
ta lång miÒn M vµo h×nh ch÷ nhËt H = [a, b] × [c, d] (xem h×nh vÏ).
Khi ®ã
ZZ Z bZ d Z b Z y2 (x)
f (x, y) dxdy = f (x, y)χM (x, y) dxdy = dx f (x, y) dy.
a c a y1 (x)
M
Trong vÝ dô 4, miÒn D ®-îc x¸c ®Þnh bëi c¸c bÊt ®¼ng thøc
1
D = {(x, y) | 1 ≤ x ≤ 2, ≤ y ≤ x}.
x
¸p dông c«ng thøc trªn
ZZ Z Z ! Z
2 x 2
x2 x2 9
dxdy = dy dx = (x3 − x) dx = .
y2 1 1
x
y2 1 4
D
T-¬ng tù nÕu M ⊂ R2 lµ miÒn ph¼ng ®-îc x¸c ®Þnh bëi c¸c bÊt ®¼ng thøc
trong ®ã x1 (y) vµ x2(y) lµ c¸c hµm liªn tôc x¸c ®Þnh trªn [c, d]. Khi ®ã
ZZ Z d Z x2 (y)
f (x, y) dxdy = dy f (x, y) dx.
c x1 (y)
M
3.4 C¸ch tÝnh tÝch ph©n béi 27
2. T-¬ng tù nÕu V ⊂ R3 lµ miÒn ®-îc x¸c ®Þnh bëi c¸c bÊt ®¼ng thøc
khi ®ã
ZZ Z Z Z Z ! !
b y2 (x) z2 (x,y)
f (x, y, z) dxdydz = f (x, y, z)dz dy dx.
a y1 (x) z1 (x,y)
V
3. Tõ nhËn xÐt trªn nÕu miÒn V ⊂ R3 x¸c ®Þnh bëi c¸c bÊt ®¼ng thøc
khi ®ã
M = {(x, y) | a ≤ x ≤ b, y1(x) ≤ y ≤ y2 (x)}
lµ h×nh chiÕu cña V lªn mÆt ph¼ng xOy. V× vËy tÝch ph©n còng cã thÓ viÕt d-íi
d¹ng
Z ZZ ZZ Z z2 (x,y) !
f (x, y, z) dxdydz = f (x, y, z)dz dxdy.
z1 (x,y)
V M
28 Ch-¬ng III. TÝch ph©n béi
Ngoµi ra nÕu kÝ hiÖu S(x) lµ thiÕt diÖn t¹o bëi V víi mÆt ph¼ng ®i qua x,
vu«ng gãc víi trôc Ox, khi ®ã
ZZ Z Z b ZZ
f (x, y, z) dxdydz = dx f (x, y, z) dydz.
a
V S(x)
VÝ dô 3.4.2
1. TÝnh tÝch ph©n béi ba
ZZ Z
I= (x − 2y)dxdydz,
V
trong ®ã V lµ miÒn giíi h¹n bëi c¸c mÆt ph¼ng täa ®é vµ mÆt ph¼ng
x + y + z = 1. MiÒn V ®-îc x¸c ®Þnh bëi c¸c bÊt ®¼ng thøc
V = {(x, y, z) | 0 ≤ x ≤ 1, 0 ≤ y ≤ 1 − x, 0 ≤ z ≤ 1 − x − y}.
(Xem h×nh vÏ bªn d-íi).
Z 1 Z 1−x
= dx (x − x2 − 2y + xy + 2y 2)dy =
0 0
Z 1
1 3x 2 5x3 1
= − + − 2x + dx = − .
0 3 2 6 24
2. TÝnh tÝch ph©n Z ZZ
T = (x2 + y 2 + 2z)dxdydz,
V
trong ®ã V lµ elipx«it
x2 y 2 z 2
+ + 2 ≤ 1.
a2 b2 c
BiÓu diÔn tÝch ph©n cÇn tÝnh thµnh tæng cña ba tÝch ph©n
ZZ Z Z ZZ
2 2
T = (x + y + 2z)dxdydz = x2dxdydz+
V V
ZZ Z ZZ Z
+ y 2dxdydz + 2zdxdydz.
V V
KÝ hiÖu S(x) lµ thiÕt diÖn t¹o bëi V vµ mÆt ph¼ng ®i qua x, vu«ng gãc víi
trôc Ox. Khi ®ã víi mçi x cè ®Þnh S(x) lµ mét elip
y2 z2
S(x) = {(y, z) | x2
+ x2
≤ 1}.
b2 (1 − a2
) c2 (1 − a2
)
Do diÖn tÝch thiÕt diÖn S(x) (®Ó thuËn tiÖn ta còng kÝ hiÖu diÖn tÝch ®ã lµ
S(x)) b»ng tÝch π víi c¸c b¸n trôc cña elip
ZZ
x2
S(x) = dydz = πbc 1 − 2
a
S(x)
30 Ch-¬ng III. TÝch ph©n béi
Suy ra ZZ Z Z
a
2 x2 2
T1 = x dxdydz = πbcx 1 − 2 dx =
−a a
V
Z a
x4 4
= 2πbc x − 2 dx = πa3bc.
2
0 a 15
Do vai trß cña x vµ y ®èi xøng víi nhau, t-¬ng tù
ZZ Z
4
T2 = y 2dxdydz = πab3c.
15
V
ZZ Z
§Ó tÝnh tÝch ph©n T3 = zdxdydz, ta cã nhËn xÐt r»ng elipx«it V nhËn
V
mÆt ph¼ng xOy lµm mÆt ph¼ng ®èi xøng, do vËy V = V1 ∪ V2 , trong ®ã
V1 lµ nöa trªn mÆt ph¼ng xOy vµ V2 lµ phÇn cßn l¹i, nöa d-íi. Hµm d-íi
dÊu tÝch ph©n (z) nhËn c¸c gi¸ trÞ ®èi nhau t¹i c¸c ®iÓm ®èi xøng nhau qua
mÆt ph¼ng xOy. Tõ ®Þnh nghÜa tÝch ph©n béi suy ra tÝch ph©n hµm z trªn
V1 vµ V2 còng ®èi nhau. VËy
ZZ Z Z ZZ ZZ Z
T3 = zdxdydz = zdxdydz + zdxdydz = 0.
V V1 V2
Cuèi cïng ta ph¸t biÓu ®Þnh lÝ ®æi biÕn cña tÝch ph©n béi. §Þnh lÝ ®-îc diÔn
®¹t gièng nh- trong tr-êng hîp hµm mét biÕn, chóng ta thõa nhËn kh«ng chøng
minh ®Þnh lÝ nµy.
§Þnh lÝ 3.4.4 Cho hµm f : M → R kh¶ tÝch trªn tËp giíi néi M ⊂ Rn . Gäi
g : M 0 → M lµ song ¸nh tõ M 0 ⊂ Rn lªn M, kh¶ vi liªn tôc trªn tËp M 0 . KÝ hiÖu
g0(y) lµ Jacobien cña ¸nh x¹ g t¹i y ∈ M 0 , |g0 (y)| = | det g0 (y)|, khi ®ã
Z Z
f (x) dx = f (g(y))|g0(y)| dy.
M M0
3.4 C¸ch tÝnh tÝch ph©n béi 31
Nh- vËy b»ng phÐp ®æi biÕn x = g(y), ta ®-a tÝch ph©n béi hµm f (x) trªn tËp
M vÒ tÝch ph©n béi trªn tËp M 0 . ¸nh x¹ g ®-îc viÕt mét c¸ch chi tiÕt h¬n
g(y) = (g1 (y), g2(y), ..., gn(y))
trong ®ã gi : M 0 → R víi mäi i = 1, 2, ..., n. Jacobien cña ¸nh x¹ g lµ ®Þnh thøc
∂g ∂g
1 1 ∂g1
· · · ∂y
∂y1 ∂y2 n
∂g2 ∂g2 ∂g2
· · · ∂y
det g0(y) = ∂y1 ∂y2
n .
···
∂gn ∂gn ∂gn
∂y ∂y · · · ∂y
1 2 n
XÐt tr-êng hîp ®Æc biÖt khi sö dông phÐp ®æi biÕn
x = Ay hay y = A−1 x,
trong ®ã A lµ ma trËn cña ¸nh x¹ tuyÕn tÝnh kh«ng suy biÕn, A−1 lµ ma trËn
nghÞch ®¶o cña A. ¸nh x¹ Ay ®ãng vai trß cña g : M 0 → M trong ®Þnh lÝ trªn.
MÆt kh¸c ®¹o hµm cña ¸nh x¹ tuyÕn tÝnh b»ng chÝnh nã
| det g0 (y)| = | det A| víi mäi y.
VËy
Z Z
f (x) dx = f (Ay) · | det A| dy.
M M0
L-u ý r»ng nÕu ta sö dông phÐp ®æi biÕn y = Bx hay x = B−1 y, trong ®ã B
lµ ma trËn cña ¸nh x¹ tuyÕn tÝnh kh«ng suy biÕn, chiÕu tËp M ⊂ Rn lªn tËp
M 0 ⊂ Rn , khi ®ã
Z Z Z
1
f (x) dx = f (B y) · | det B | dy = f (B−1 y) ·
−1 −1
dy.
| det B|
M M0 M0
Mét c¸ch tæng qu¸t, nÕu ¸nh x¹ h : M → M 0 lµ song ¸nh kh¶ vi liªn tôc trªn
tËp M, tho¶ m·n c¸c ®iÒu kiÖn cña ®Þnh lÝ ®¹o hµm hµm ng-îc 1.3.7 th× phÐp
®æi biÕn y = h(x) hay x = h−1 (y) dÉn ®Õn c«ng thøc
Z Z
0
f (x) dx = f (h−1 (y)) · | det h−1 (y)| dy
M M0
Z
1
= f (h−1 (y)) · dy. (3.1)
| det h0 (h−1 (y)) |
M0
32 Ch-¬ng III. TÝch ph©n béi
VÝ dô 3.4.3
1. TÝnh tÝch ph©n
ZZ
I= (x + 2y + 3)(3x + 5y)2 dxdy,
M
DÔ dµng nhËn thÊy c¸c c¹nh cña h×nh b×nh hµnh lµ c¸c ®-êng th¼ng
x + 2y − 1 = 0, x + 2y − 3 = 0, 3x + 5y − 1 = 0, 3x + 5y − 2 = 0
Sö dông phÐp ®æi biÕn u = 3x + 5y, v = x + 2y hay d-íi d¹ng ma trËn
u x 3 5 x
=B =
v y 1 2 y
Suy ra
x −1 u 2 −5 u
=B =
y v −1 3 v
x = 2u − 5v, y = −u + 3v.
Jacobien cña ¸nh x¹ b»ng
2 −5
det B −1
= = 1.
−1 3
MÆt kh¸c tõ ph-¬ng tr×nh c¸c c¹nh cña h×nh b×nh hµnh ta dÔ dµng nhËn
thÊy ¸nh x¹ B biÕn ®æi h×nh b×nh hµnh M thµnh h×nh ch÷ nhËt
M 0 = {(u, v) = {1 ≤ u ≤ 2, 1 ≤ v ≤ 3}.
(Ng-îc l¹i B−1 lµ song ¸nh tõ h×nh ch÷ nhËt M 0 lªn M). ¸p dông ®Þnh lÝ
®æi biÕn
ZZ ZZ
2
I= (x + 2y + 3)(3x + 5y) dxdy = (v + 3)u2 · 1 dudv
M M0
Z 3 Z 2 Z 3
7(v + 3) 70
= dv (v + 3)u2 du = dv =
1 1 1 3 3
3.4 C¸ch tÝnh tÝch ph©n béi 33
trong ®ã D lµ miÒn giíi h¹n bëi c¸c trôc täa ®é vµ c¸c ®-êng cong
r r
x y
+ = 1 (a > 0, b > 0).
a b
VËy
ZZ r r 3 ZZ
x y 3
+ dxdy = u 2 |4abu sin3 t cos3 t|dudt =
a b
D D∗
Z 1 Z π
2 3
= du u 2 4abu sin3 t cos3 t dt =
0 0
Z 1 Z π
5 2 2
= 4ab u du ·
2 sin3 t cos3 t dt = ab.
0 0 21
3. T×m thÓ tÝch vËt thÓ V giíi h¹n bëi c¸c mÆt trô
xy = 1; xy = 4; y = 3x; y = 6x,
mÆt cong z = y
x
+ 5 vµ mÆt ph¼ng z = 0.
34 Ch-¬ng III. TÝch ph©n béi
Theo (3.1),
ZZ Z ZZ
y f (h−1 (y)) dy v+5 3
+ 5 dxdy = 0 −1
= dudv = (5 ln 2 + 3).
x | det h (h (y)) | 2v 2
D D∗ D∗
3.4 C¸ch tÝnh tÝch ph©n béi 35
trong ®ã M lµ h×nh hép xiªn giíi h¹n bëi c¸c mÆt ph¼ng
u = x + y + z, v = x + 3y + z, t = x − 2y + 2z
DÔ dµng nhËn thÊy ¸nh x¹ A biÕn ®æi h×nh hép xiªn M thµnh h×nh hép
ch÷ nhËt
(Ng-îc l¹i A−1 lµ song ¸nh tõ M 0 lªn M). ¸p dông ®Þnh lÝ ®æi biÕn
ZZ Z ZZ Z
2 1
I= (x + y + z) dxdydz = u2 · dudvdt = 8.
2
M M0