法; 重積分的等值面 (線) 法; 重積分及曲面積分的微元法。
關鍵詞. 多元函數積分、“先二後一” 法、 等值面 (線) 法、 微元法、 面積、 體積。
多元函數積分一般是指曲線積分、 曲面積分、 二重及二重以上的積分。 這一類積分的計算 往往是根據積分的定義、 積分的幾何意義或物理意義、 積分的變量替換等方法轉化成計算一個 或若干個定積分來完成的。
眾所周知, 一個積分量是由積分區域及積分的被積函數決定的。 因而當積分的積分區域或 被積函數具有某種特殊性時, 我們也可採用特殊的方法去求解。 本文的目的就是介紹幾種較特 殊的方法來求解一類具有特殊性的多元函數數積分。 需要說明的是, 文中所引的例子均有其他 解法, 讀者不妨將其他解法與本文所給解法作一比較。
一 . 三重積分的 “先二後一” 法
三重積分可以通過轉化為三個累次積分進行計算。 但當用垂直於某一坐標軸 (如 z 軸) 的 平面去截積分區域所得的截面有某種規律時, 則可先在截面上積分, 然後再關於 z 積分, 這種 先計算某兩個變量的二重積分再計算另一個變量積分的方法通常稱為 “先二後一” 法或 “先重 後單” 法, 也稱 “坐標軸投影法”, 而這種方法實質上是定積分中用截面法求體積方法的推廣。
設 Ω = {(x, y, z) | (x, y) ∈ D(z), z1 ≤ z ≤ z2}, 其中 D(z) 是 x, y 平面上隨 z 連 續變化的有界閉區域 (如圖 1 所示)。 如果 f (x, y, z) 在 Ω 上有界可積, 對任意的 z ∈ [z1, z2], f(x, y, z) 作為 x, y 的函數在 D(z) 上可積, 則
Z Z Z
Ω
f(x, y, z)dxdydz =
Z
z2z1
dz
Z Z
D(z)
f(x, y, z)dxdy, (1)
其中 D(z) 是用垂直於 z 軸的平面 z = z 與 Ω 相交的截面。
52
53
圖 1
註: (i) 這個公式從物理上可以給出這樣的解釋: 把 Ω 看作是一個空間物體, f (x, y, z) 為 物體在 Ω 上的分布密度, (1) 式左端的三重積分即物體的質量, 而 (1) 式右端則表示先把物體 切成薄片, 再把所有薄片的質量累積起來, 故這種方法也稱為 “切片法”。
(ii) 這種方法也適用於垂直 x 軸或 y 軸的平面與 Ω 相截而得到的積分公式。
Z Z Z
Ω
f(x, y, z)dxdydz =
Z
x2x1
dx
Z Z
D(x)
f(x, y, z)dydz, (2) 其中 Ω = {(x, y, z) | (y, z) ∈ D(x), x1 ≤ x ≤ x2}。
Z Z Z
Ω
f(x, y, z)dxdydz =
Z
y2y1
dy
Z Z
D(y)
f(x, y, z)dxdz, (3)
其中 Ω = {(x, y, z) | (x, z) ∈ D(y), y1 ≤ y ≤ y2}。
例1. 計算三重積分: I =
RRR
Ω(x2+ y2+ z2)dxdydz, 其中 Ω = {(x, y, z) | x2+ y2 ≤ 2az, x2+ y2+ z2 ≤ 3a2} (a > 0)。解: 解方程組
x2+ y2 = 2az, x2+ y2+ z2 = 3a2, 得 z = a, z = −3a (捨去)。
平面 z = a 把閉區域 Ω 分成兩部分, 記上半部分為 Ω1, 下半部分為 Ω2 (圖 2), 在 Ω1, Ω2 上分別運用 “先二後一” 法, 則有
I=
Z Z Z
Ω1
(x2+ y2+ z2)dxdydz +
Z Z Z
Ω2
(x2+ y2+ z2)dxdydz
=
Z
√3a adz
Z Z
D1(z)
(x2+ y2+ z2)dxdy +
Z
a 0dz
Z Z
D2(z)
(x2+ y2+ z2)dxdy
圖 2
例2. 求曲面 (xa22 + yb22 + zc22)2 = xh 所圍立體體積。
解: 顯然 x ≥ 0。 用垂直於 x 軸的平面去截所給立體, 截口曲線為一橢圓:
D(x) : y2 b2 +z2
c2 =
r
x h− x2a2. 因為
q
xh − xa22 ≥ 0, 所以 0 ≤ x ≤ (ah4)13。記 x0 = (ah4)13, λ2 =
q
xh −xa22 (x 6= 0), 則上面的橢圓方程即為:y2
(λb)2 + z2
(λc)2 = 1.
此橢圓所圍的面積為 πλ2bc= πbc(
q
πh − xa22), 因此所求立體體積為 V =Z
x00
dx
Z Z
D(x)
dydz = πbc
Z
x00
r
x h − x2a2
!
dx= πbca2 h.
若將計算三重積分的 “先二後一” 法推廣到計算四重或四重以上積分, 則可有 “先三後 一”、 “先二後二” 等方法。 例如, 求四維空間球體 x2+ y2+ z2+ t2 ≤ a2 的體積, 可用 “先三 後一” 的方法。
55
二 . 等值面 (線) 法
我們以三重積分 I =
RRR
Ωf(x, y, z)dxdydz 的計算來說明這種方法。設 f (x, y, z) = t 是函數 f (x, y, z) 的等值面, 又 {f(x, y, z) ≤ t} ∩ Ω 的體積為 V (t)。
設 f 在 Ω 上的值域為 [α, β], 在 [α, β] 中引進分劃:
α= t0 ≤ t1 ≤ t2 ≤ · · · ≤ tn= β,
則和式 n
X
i=1
ti[V (ti) − V (ti−1)] (4) 在分劃最大長度 kλk → 0 時的極限為 I。 若 V (t) 為連續可微函數, 則 (4) 式以
R
αβtV′(t)dt 為極限, 故由極限的唯一性知Z Z Z
Ω
f(x, y, z)dxdydz =
Z
β αtV′(t)dt =
Z
β αtdV(t), (5)
由此可將三重積分化為一重積分。
註: 對於二重積分及三重以上的積分有類似結論; 當被積函數是 f (x, y, z) = t 的函數時 也有類似結論。
例3. 計算積分 I =
RR
D(q
xa +q
yb)3dxdy, 其中 D = {(x, y) | x ≥ 0, y ≥ 0,q
xa +q
yb ≤ 1}。
解: 設
q
xa +q
yb = t 為被積函數的等值線, 易知 0 ≤ t ≤ 1。由
q
xa +q
yb = t 知 y = b(t2 + xa − 2tq
xa), 由 0 ≤q
xa ≤ t 知 0 ≤ x ≤ at2。 等值線q
xa +
q
yb = t 與坐標軸所圍成圖形面積 S(t) = bZ
at2 0t2 +x a − 2t
r
x adx= 1 6abt4, 故 dS(t) = 23abt3dt, 於是由等值線求積公式知
I = 2 3ab
Z
10 t6dt= 2 27ab.
例4. 求函數 f (x, y, z) = e
q
x2 a2+y2
b2+z2
c2
在橢球 x2
a2 +yb22 + zc22 ≤ 1 內的平均值。
解: 設 Ω = {(x, y, z) | xa22 +yb22 +zc22 ≤ 1}, 則 Ω 的體積 Ω = 43πabc。
設 xa22 + yb22 + zc22 = t 為被積函數的等值面, 則 0 ≤ t ≤ 1。
從而 f (x, y, z) 在 Ω 的平均值為 f(x, y, z) = 1
Ω
Z Z Z
Ω
f(x, y, z)dxdydz = 3(e − 2).
三 . 微元法
從公式 (5) 可以看出, 利用等值面法將三重積分化為一重積分可理解為作變量替換: f (x, y, z) = t, 所以我們除了要知道 t 的取值範圍即新的積分變量的上、 下限外, 還要知道原來的 體積元素 dxdydz 在變量替換下新的體積元素 dV (t)。 但問題是求 dV (t) 並不那麼簡單, 例如 求例 3中的 dS(t)。 但由於 dV (t) (或 dS(t)) 是 V (t) (或 S(t)) 對 t 微分, 因而啟發我們可 直接用微元法求 dV (t) (或 dS(t)) 而不必先求出 V (t) (或 S(t)) 再去對 t 微分。 利用等值面 (線) 法將其他類型的積分 (如曲面積分) 化為一重積分時也可類似處理。
例5. 設 f (t) 為連續函數, 證明:
Z Z
D
f(x − y)dxdy =
Z
A−A
f(t)(A − |t|)dt, (6)
其中 A > 0 為常數, D = {(x, y) | |x| ≤ A2,|y| ≤ A2}。
證: 令 x − y = t, 則在 D 上, −A ≤ t ≤ A。 如圖3, 直線 y = x 將 D 分成 D1, D2
兩部分。 在D1 上, x − y > 0, 從而 t > 0。
圖 3
57
如圖 3, 設直線 A0B0 的方程為 x − y = t, C0D0 的方程為 x − y = t + dt (dt > 0)。
易知 A0, B0 的坐標分別為 (A2,A2 − t), (−A2 + t, −A2), A0, B0 兩點間的距離為 |A0B0| =
√2(A − t), 坐標原點到直線 A0B0 的距離為 √|t|
2 = √t2。
以 |A0B0| 為長, √dt2 為寬的矩形面積作為面積元素 dS(t), 即 dS(t) =√
2(A − t) dt
√2 = (A − t)dt, 從而在 D1 上, 有
Z Z
D1
f(x − y)dxdy =
Z
A0 f(t)(A − t)dt.
同理可知, 在 D2 上有
Z Z
D2
f(x − y)dxdy =
Z
0−Af(t)(A + t)dt (t < 0),
於是
RR
Df(x−y)dxdy =RR
D1f(x−y)dxdy +RR
D2f(x−y)dxdy =R
−AA f(t)(A−|t|)dt。由本題結論不難證明:
設 f (x) 為連續偶函數, 則有
Z Z
D
f(x − y)dxdy = 2
Z
2a0 (2a − u)f(u)du, (7) 其中 a > 0 為常數, D = {(x, y) | |x| ≤ a, |y| ≤ a}。
例6. 求三重積分 I =
RRR
Ω(1+x+y+z)dxdydz 3, 其中 Ω = {(x, y, z) | x + y + z ≤ 1, x ≥ 0, y ≥ 0, z ≥ 0}。解法1 (等值面法): 設 x + y + z = t 為被積函數的等值面, 易知 0 ≤ t ≤ 1。
取 V (t) = {(x, y, z) | x + y + z ≤ t, x ≥ 0, y ≥ 0, z ≥ 0}, 則 V (t) 的體積為 V(t) = 16t3, 從而 dV (t) = 12t2dt, 所以
I = 1 2
Z
10
t2
(1 + t)3dt= 1 2
ln 2 − 5 8
.
解法2 (微元法): 設 x + y + z = t, 則 0 ≤ t ≤ 1。 被積函數的等值面 x + y + z = t 與 Ω 交成一個邊長為 √
2t 的等邊三角形, 其面積為 √23t2。 坐標原點到三角形所在平面的距離為
√t
3。 用柱體體積近似代替平面 x + y + z = t, x + y + z = t + dt (dt > 0) 與第一卦限圍成 封閉區域 (臺體) 的體積作為體積元素 dV (t) (積分方向沿矢量 n = {1, 1, 1} 的方向), 即
dV(t) =
√3
2 t2d t
√3
!
= 1 2t2dt,
Schwarz 不等式知
(ax + by + cz)2 ≤ (a2+ b2+ c2)(x2+ y2+ z2) = a2 + b2+ c2, 故 −1 ≤ u ≤ 1。
坐標原點到平面 √ax+by+cz
a2+b2+c2 = u 的距離為 h = |u|。 兩平面 √ax+by+cza2+b2+c2 = u 與 √ax+by+cza2+b2+c2 = u+ du (du > 0) 之間的距離為 dh = du, 取它們截
P
所得球帶面積為面積元素 dS(u) (積 分方向沿矢量 n = √a2 1+b2+c2{a, b, c} 的方向), 即 dS(u) = 2πdu, 從而
Z Z
Σ
f(ax + by + cz)dS = 2π
Z
1−1
f(√
a2+ b2+ c2u)du. (8)
例8. 設函數 f (z) 在圓錐面
P
= {(x, y, z) | z = a√x2+ y2,0 ≤ z ≤ h} 上連續 (a > 0 為常數), 證明:
Z Z
Σ
f(z)dS = 2π a2
√1 + a2
Z
h 0zf(z)dz. (9)
證: 取 z = t 為被積函數的等值面, 則 0 ≤ t ≤ h。 考慮圓錐面
P
夾在平面 z = t 與 z = t + dt (dt > 0) 之間部分的面積。曲面 z = a√
x2+ y2 可視為 xOz 平面上的直線 z = ax (z ≥ 0) 繞 z 軸旋轉一周而生 成。 由旋轉體側面積公式知所考慮的面積為
2π
Z
t+dt tz a
s
1 + 1
a2dz = π a2
√1 + a2[2tdt + (dt)2],
故面積元素 dS(t) = 2πa2√
1 + a2tdt, 於是
Z Z
Σ
f(z)dS = 2π a2
√1 + a2
Z
h 0tf(t)dt = 2π a2
√1 + a2
Z
h 0zf(z)dz. (9) 類似可證:
59
設函數 f (z) 在旋轉拋物面
P
= {(x, y, z) | z = a(x2 + y2), 0 ≤ z ≤ h} 上連續 (a > 0 為常數), 則Z Z
Σ
f(z)dS = π a
Z
h 0f(z)√
1 + 4azdz.
參考文獻
1. 謝惠民, 惲自求, 易法槐, 錢定邊, 數學分析習題課講義 (下冊), 北京: 高等教育出版社, 2004。
2. 吳良森, 毛羽輝, 數學分析習題精解 (多變量部分), 北京: 科學出版社, 2004。
3. 同濟大學應用數學系, 微積分 (下冊), 北京: 高等教育出版社, 2000。
4. 沈運彤, 葉牡才, 苑金臣, “先重後單” 法用於求空間曲面所圍立體的體積, 數學學習, 1998 年第 1 期。
5. 馬娜蕊, 對三重積分“先二後一” 計算方法的討論, 高等數學研究, 2000 年第 1 期。
6. 姚允龍, 數學分析, 上海: 復旦大學出版社, 2002。
7. Γ. M. 菲赫金哥爾茨著, 路見可譯, 微積分學教程 (第三卷第一分冊), 北京: 人民教育出版社, 1978。
8. Γ. M. 菲赫金哥爾茨著, 吳親仁, 路見可譯, 微積分學教程 (第三卷第二分冊), 北京: 人民教育出版 社, 1978。
9. B.
Q
. 吉米多維奇著, 李榮凍譯, 數學分析習題集, 北京: 人民教育出版社, 1978。—本文作者任教於中國安徽省合肥工業大學數學與信息科學系—