跳转到内容

§25.225.2 第二型曲面积分

华东师范大学数学系高等教育出版社《数学分析》大学本科 · 教材双语助读 (Alt+Y)

25.2.1 第二型曲面积分的定义和计算

Section titled “25.2.125.2.1 第二型曲面积分的定义和计算”

设 S 是逐片光滑的定向曲面,P, Q, R 是在曲面 S 上有定义的函数.在曲面 S 所指定的一侧作分割 T,它把曲面 S 分为 n 个小曲面 S₁, S₂, …, Sₙ,分割 T 的细度 |T|=max₁≤slant i≤slant n{Sᵢ 的直径}, 以 Δ Sᵢ^((1)),Δ Sᵢ^((2)),Δ Sᵢ^((3)) 分别表示 Sᵢ 在 yOz, zOx, xOy 三个坐标平面上的投影区域的面积.它们的符号由 Sᵢ 的方向来确定,当 Sᵢ 的法线正向与 z 轴正向成锐角时,Sᵢ 在 xOy 平面的投影区域的面积 Δ Sᵢ^((3)) 为正,反之面积为负.Δ Sᵢ^((1)) 与 Δ Sᵢ^((2)) 的符号可类似地定义.在每个 Sᵢ 上任取一点 (ξᵢ,ηᵢ,ζᵢ),若

llim _ | T | arrow 0 ∑_ i = 1 ^ n P (ξ_ i, η_ i, ζ_ i) Δ S _ i ^ (1) + lim _ | T | arrow 0 ∑_ i = 1 ^ n Q (ξ_ i, η_ i, ζ_ i) Δ S _ i ^ (2)+ lim _ | T | arrow 0 ∑_ i = 1 ^ n R (ξ_ i, η_ i, ζ_ i) Δ S _ i ^ (3)

存在,且与曲面 S 的分割 T 以及 (ξᵢ, ηᵢ, ζᵢ) 在 Sᵢ 上的取法无关,则称此极限为函数 P, Q, R 在曲面 S 上所指定的一侧上的第二型曲面积分,记为

iint_ S P (x, y, z) d y d z + Q (x, y, z) d z d x + R (x, y, z) d x d y.

设 R(x,y,z) 是定义在光滑曲面

S: z = z (x, y), (x, y) ∈ D _ x y

上的连续函数,以 S 的上侧为正侧,则有

iint_ S R (x, y, z) d x d y = ± iint_ D _ x y R (x, y, z (x, y)) d x d y.

如果在正侧积分,积分号前取正号; 如果在负侧积分,积分号前取负号.

类似地,当 P(x,y,z) 在光滑曲面

S: x = x (y, z), (y, z) ∈ D _ y z

上连续时,有

iint_ S P (x, y, z) d y d z = ± iint_ D _ y z P (x (y, z), y, z) d y d z,

这里 S 是以 S 的法线方向与 x 轴的正向成锐角的那一侧为正侧.

当 Q(x,y,z) 在光滑曲面

S: y = y (z, x), (z, x) ∈ D _ z x

上连续时,有

iint_ S Q (x, y, z) d z d x = ± iint_ D _ z x Q (x, y (z, x), z) d z d x,

这里 S 是以 S 的法线方向与 y 轴的正向成锐角的那一侧为正侧.

如果光滑曲面 S 由参数方程给出:

S: x = x (u, v), y = y (u, v), z = z (u, v), (u, v) ∈ D,

且行列式

A = frac ∂ (y , z)∂ (u , v), B = frac ∂ (z , x)∂ (u , v), C = frac ∂ (x , y)∂ (u , v)

不同时为 0,则

iint_ S P d y d z + Q d z d x + R d x d y = ± iint_ D (P A + Q B + R C) d u d v, (25.3)

其中积分号前正负号的选取法则如下:若向量 (A,B,C) 与曲面 S 上预先选定的侧的法向量方向所成角不大于直角,则取“+”号,否则取“-”号.

例 25.2.1

设 Σ 为上半单位球面 z = sqrt1 - (x² + y²) ,取内侧,求

I = iint_ Σ d y d z + d z d x + d x d y.
解 1

用直角坐标系计算

I = iint_ Σ d y d z + iint_ Σ d z d x + iint_ Σ d x d y = I _ 1 + I _ 2 + I _ 3.

计算 I₁:Σ = Σ₁ + Σ₂ ,其中

Σ₁:x=sqrt1-y²-z², (y,z)∈ D_(yz)={y²+z²≤slant1,z≥slant0} ,取后侧,

Σ₂:x = -sqrt1 - y² - z²,(y,z)∈ D_(yz) ,取前侧,

则

I _ 1 = iint_ Σ_ 1 d y d z + iint_ Σ_ 2 d y d z = - iint_ D _ y z d y d z + iint_ D _ y z d y d z = 0.

同理有

I _ 2 = 0, I _ 3 = - iint_ D _ x y d x d y = - π .

最后得到

I = - π .
解 2

用参数方程

c Σ : x = sin φ cos θ , y = sin φ sin θ , z = cos φ , 0 ≤slant φ ≤slant frac π2, 0 ≤slant θ ≤slant 2 π ,

计算行列式

A = frac ∂ (y , z)∂ (φ , θ) = sin^ 2 φ cos θ , B = frac ∂ (z , x)∂ (φ , θ) = sin^ 2 φ sin θ ,C = frac ∂ (x , y)∂ (φ , θ) = sin φ cos φ .

因为 (A, B, C) 的方向与上半球面 S 内侧的法线方向相反,故积分号前取“-”号,得到

r l I & = - iint_ D (sin^ 2 φ cos θ + sin^ 2 φ sin θ + sin φ cos φ) d φ d θ & = - ∫_ 0 ^ π / 2 d φ ∫_ 0 ^ 2 π [ sin^ 2 φ (cos θ + sin θ) + sin φ cos φ ] d θ & = - 2 π ∫_ 0 ^ π / 2 sin φ cos φ d φ = - π .
例 25.2.2

求

I = iint_ Σ (z + x) d y d z + (x + y) d z d x + (y + z) d x d y,

其中 Σ 是由 x²+y²=1, z=1 及三个坐标平面围成的立体在第一卦限的部分的表面,取外侧.

图25.2

解

见图 25.2, 因为 Σ 分块较多 (需分 5 块), 不便于用参数式,故应在直角坐标系中计算.记 Σ = Σ₁ + Σ₂ + Σ₃ + Σ₄ + Σ₅,其中 Σ₁ 为圆柱面,Σ₂ 为下底面,Σ₃ 为上底面,Σ₄ 为左侧面 y = 0, Σ₅ 为右侧面 x = 0,则有

I = iint_ Σ (z + x) d y d z + iint_ Σ (x + y) d z d x + iint_ Σ (y + z) d x d y = I _ 1 + I _ 2 + I _ 3.

计算 I₁ ,有

I _ 1 = ∑_ i = 1 ^ 5 iint_ Σ_ i (x + z) d y d z.

因为 Σ₂, Σ₃, Σ₄ 在 yOz 平面上的投影面积为零,于是

iint_ Σ_ i (x + z) d y d z = 0, i = 2, 3, 4,

而

Σ₁: x=sqrt1-y², (y,z)∈ D_(yz)={0≤slant y≤slant1,0≤slant z≤slant1} ,取前侧,

Σ₅: x=0, (y,z) ∈ D_(yz) ,取后侧.

于是

r l I _ 1 & = iint_ Σ_ 1 (x + z) d y d z + iint_ Σ_ 5 (x + z) d y d z & = iint_ D _ y z (sqrt 1 - y ^ 2 + z) d y d z - iint_ D _ y z z d y d z & = ∫_ 0 ^ 1 ∫_ 0 ^ 1 sqrt 1 - y ^ 2 d y d z = frac π4.

用类似的方法可求出 I₂=(π)/(4) .

然后求

I _ 3 = ∑_ i = 1 ^ 5 iint_ Σ_ i (y + z) d x d y.

显然有

iint_ Σ_ i (y + z) d x d y = 0, i = 1, 4, 5,

而

Σ₂: z=0, (x,y) ∈ Dₓy = {x² + y² ≤slant 1, x ≥slant 0, y ≥slant 0} ,取下侧,

Σ₃: z=1, (x,y) ∈ Dₓy, 取上侧,

于是

r l I _ 3 & = iint_ Σ_ 2 (y + z) d x d y + iint_ Σ_ 3 (y + z) d x d y & = - iint_ D _ x y y d x d y + iint_ D _ x y (1 + y) d x d y & = iint_ D _ x y d x d y = frac π4.

最后得到

I = I _ 1 + I _ 2 + I _ 3 = frac 34 π .
注

我们已经知道,利用第二型曲线积分可以计算平面图形的面积.类似地,利用第二型曲面积分也可以计算空间立体的体积 (见表达式 (25.7)—(25.11)).

25.2.2 两类曲面积分之间的关系

Section titled “25.2.225.2.2 两类曲面积分之间的关系”

设 S 是可定向曲面,n 是 S 上选定的某一侧的法向量,则

l iint_ S P d y d z + Q d z d x + R d x d y = iint_ S [ P cos (boldsymbol n, x) + Q cos (boldsymbol n, y) + R cos (boldsymbol n, z) ] d S. (25.4)

上述关系式的用处之一是可简化曲面积分的计算,当某一类曲面积分的计算比较复杂时,可利用公式 (25.4) 转化为另一类曲面积分进行计算.

例 25.2.3

求

I = iint_ Σ x y z (y ^ 2 z ^ 2 + z ^ 2 x ^ 2 + x ^ 2 y ^ 2) d S,

其中 Σ 为第一卦限中的球面 x² + y² + z² = a² (x ≥slant 0, y ≥slant 0, z ≥slant 0) .

解

见图 25.3, 不论用参数式或直角坐标式,直接计算均相当复杂,取 Σ 的上侧,则 (x, y, z) 处的单位外法向量为 (x/a, y/a, z/a),利用公式 (25.4),

r l I & = a iint_ Σ (y ^ 3 z ^ 3 frac xa + z ^ 3 x ^ 3 frac ya + x ^ 3 y ^ 3 frac za) d S & = a iint_ Σ y ^ 3 z ^ 3 d y d z + z ^ 3 x ^ 3 d z d x + x ^ 3 y ^ 3 d x d y & = 3 a iint_ Σ x ^ 3 y ^ 3 d x d y = 3 a iint_ D _ x y x ^ 3 y ^ 3 d x d y,

其中 Dₓy = {x² +y²≤slant a²,x≥slant 0,y≥slant 0} ,作极坐标变换得

r l I & = 3 a ∫_ 0 ^ π / 2 d θ ∫_ 0 ^ a r ^ 7 sin^ 3 θ cos^ 3 θ d r & = frac 36 4 a ^ 9 ∫_ 0 ^ π / 2 sin^ 3 2 θ d θ = frac 13 2 a ^ 9.

图25.3

例 25.2.4

求

I = iint_ Σ (y - z) d y d z + (z - x) d z d x + (x - y) d x d y,

其中 Σ 是球面 x² + y² + z² = 2Rx 被柱面 x² + y² = 2rx (0 < r < R) 截下的位于 z ≥slant 0 的部分,取外侧.

解

见图 25.4, 改写球面方程为 (x - R)² + y² + z² = R²,其外侧的法向量

boldsymbol n = (frac x - RR, frac yR, frac zR).

由公式(25.4),有

r l I & = iint_ Σ (y - z, z - x, x - y) · boldsymbol n d S & = frac 1R iint_ Σ [ (y - z) (x - R) + (z - x) y + (x - y) z ] d S & = iint_ Σ (z - y) d S.

由于 Σ 关于 xOz 平面对称,而函数 y 是奇函数,于是

l I = iint_ Σ z d S = iint_ x ^ 2 + y ^ 2 ≤slant 2 r x sqrt 2 R x - x ^ 2 - y ^ 2 frac Rsqrt 2 R x - x ^ 2 - y ^ 2 d x d y = R · π r ^ 2 = π R r ^ 2.

图25.4

  1. 设曲面 Σ 的方程为 z = z(x, y), (x, y) ∈ D,且 z(x, y) 在 overlineD 中连续可微,证明:
l iint_ Σ P (x, y, z) d y d z + Q (x, y, z) d z d x + R (x, y, z) d x d y = ± iint_ D (- P z _ x - Q z _ y + R) | _ z = z (x, y) d x d y.

当 Σ 取上侧时符号取 “+”,当 Σ 取下侧时符号取 “-”.

  1. 若 Σ 分块光滑,且关于 xOy 平面对称,f(x,y,z) 在 overlineΣ 上连续,且满足 f(x,y,z) = -f(x,y,-z),问: iint_(Σ) f(x,y,z) dS = 2 iint_Σ₁ f(x,y,z) dS 还是等于 0? (其中 Σ₁ 是 Σ 在 xOy 平面以上的部分.)

  2. 若 Σ 分块光滑,且关于 xOy 平面对称,R(x,y,z) 在 overlineΣ 上连续,满足 R(x,y,z) = -R(x,y,-z),问: iint_(Σ) R(x,y,z) dx dy = 2 iint_Σ₁ R(x,y,z) dx dy 还是等于 0? (其中 Σ₁ 是 Σ 在 xOy 平面以上的部分,取侧与 Σ 取侧相一致.)

  3. 设 Σ 是平面 Π 内的一个有界区域,其面积为 S , Π 取上侧的法向量为 ±bn,且 cos (±bn, z) = μ.证明: Σ 在 xOy 平面上的投影的面积为 μ S,并利用这个结果重新计算例题21.4.2.

  4. 求 I₁ = iint_(Σ) z dx dy, I₂ = iint_(Σ) z² dx dy, Σ 是球面 x² + y² + z² = a²,取外侧.

  5. 计算 iint_(S) xz dy dz + yx dz dx + yz dx dy , S 是圆柱面 x² + y² = 1 在 -1 ≤slant z ≤slant 1 及 x ≥slant 0 的部分,取前侧.

  6. 求 iint_(S) x(z²-y²) dy dz + y(x²-z²) dz dx + z(y²-x²) dx dy ,其中 S 是 y² + z² = 1 被 x = 0, x = 1, z + y = 0 , z - y = 0 截取的上方部分,取外侧.

共 0 题