跳转到内容

25.5.1 习题课教案一例

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

作为大课的补充,建议将下面的三个问题放在习题课上讲解.

1. 关于第一类曲面积分在正交变换下的不变性

第一类曲面积分在正交变换下的不变性,即

iint_ S f (boldsymbol X) d S = iint_ Σ f (boldsymbol A ^ T boldsymbol U) d Σ , (25.18)

其中 X = x y z , U = u v w ,A 是正交矩阵。满足

boldsymbol U = boldsymbol A X, (25.19)

A^(T) 为 A 的转置.曲面 Σ 是曲面 S 在正交变换 A 下的像.

公式 (25.18) 的证明如下: 设 S 的参数方程为

S: x = x (s, t), y = y (s, t), z = z (s, t), (s, t) ∈ D.

通过(25.19)可得 Σ 的参数方程为

Σ : u = u (s, t), v = v (s, t), w = w (s, t), (s, t) ∈ D.

则

iint_ S f (boldsymbol X) d S = iint_ D f (boldsymbol X (s, t)) sqrt E G - F ^ 2 d s d t, (25.20)iint_ Σ f (boldsymbol A ^ T boldsymbol U) d Σ = iint_ D f (boldsymbol A ^ T boldsymbol U (s, t)) sqrt E _ 1 G _ 1 - F _ 1 ^ 2 d s d t, (25.21)

其中

E = ±b X _ s ^ 2, F = ±b X _ s · ±b X _ t, G = ±b X _ t ^ 2,E _ 1 = boldsymbol U _ s ^ 2, F _ 1 = boldsymbol U _ s · boldsymbol U _ t, G _ 1 = boldsymbol U _ t ^ 2.

由(25.19)得

boldsymbol U _ s = boldsymbol A boldsymbol X _ s, boldsymbol U _ t = boldsymbol A boldsymbol X _ t.

从而

E = E _ 1, F = F _ 1, G = G _ 1. (25.22)

由 (25.20) — (25.22) 知 (25.18) 成立.

例题 25.5.1

设 S 是球面 x² + y² + z² = 1 , f 是连续函数,证明:

iint_ S f (a x + b y + c z) d S = 2 π ∫_ - 1 ^ 1 f (u sqrt a ^ 2 + b ^ 2 + c ^ 2) d u,

其中 a, b, c 是常数.

证明

不妨设 a² + b² + c² ≠ 0 ,设 u v w = A x y z ,其中矩阵 A 为正交矩阵,且 A 的第一行的元素为 (a)/(√(a² + b² + c²)), (b)/(√(a² + b² + c²)), (c)/(√(a² + b² + c²)) 。由 (25.18) 知

l iint_ S f (a x + b y + c z) d S = iint_ u ^ 2 + v ^ 2 + w ^ 2 = 1 f (u sqrt a ^ 2 + b ^ 2 + c ^ 2) d S = 2 ∫_ - 1 ^ 1 ∫_ - sqrt 1 - u ^ 2 ^ sqrt 1 - u ^ 2 f (u sqrt a ^ 2 + b ^ 2 + c ^ 2) frac 1sqrt 1 - u ^ 2 - v ^ 2 d u d v = 4 ∫_ - 1 ^ 1 f (u sqrt a ^ 2 + b ^ 2 + c ^ 2) d u ∫_ 0 ^ sqrt 1 - u ^ 2 frac d vsqrt 1 - u ^ 2 - v ^ 2l = 4 ∫_ - 1 ^ 1 f (u sqrt a ^ 2 + b ^ 2 + c ^ 2) d u ∫_ 0 ^ π / 2 d t (v = sqrt 1 - u ^ 2 sin t) = 2 π ∫_ - 1 ^ 1 f (u sqrt a ^ 2 + b ^ 2 + c ^ 2) d u.
2. 第二型曲面积分符号的确定(公式(25.3)的证明)

在计算第二型曲面积分时,要将第二型曲面积分化为二重积分,其中的困难之一是如何决定二重积分前的符号.在直角坐标系中计算时往往还比较容易.当用参数方程计算时就要麻烦一些.下面是公式 (25.3) 的证明:

首先由两类曲面积分之间的关系有

iint_ S P d y d z + Q d z d x + R d x d y = iint_ S (P cos α + Q cos β + R cos γ) d S,

这里 (cos α, cos β, cos γ) 为 S 所指定的一侧的单位法向量.我们知道 S 在参数方程下的法向量

boldsymbol n = ± (A, B, C).

于是

( c cos α cos β cos γ ) = ± ( c frac Asqrt A ^ 2 + B ^ 2 + C ^ 2 frac Bsqrt A ^ 2 + B ^ 2 + C ^ 2 frac Csqrt A ^ 2 + B ^ 2 + C ^ 2 ).

由此可以看出,其中 ± 号的选取应该是使 ±(A, B, C) 的方向与 S 所选的那一侧的法向量 (cos α, cos β, cos γ) 的方向一致.另一方面,由 A² + B² + C² = EG - F² 得到

d S = sqrt A ^ 2 + B ^ 2 + C ^ 2 d u d v,

于是 (25.3) 式成立.

例题 25.5.2

求第二类曲面积分

iint_ S x d y d z + y d z d x + z d x d y,

其中 S 是柱体 x² + y²≤slant 1 被两个平面 z = 0 和 z = 4 所截部分的边界,积分沿边界的外侧.

解

设上底面为 S₁ ,下底面为 S₂ ,侧面为 S₃ ,则

iint_ S _ 1 x d y d z + y d z d x + z d x d y = iint_ S _ 1 z d x d y = 4 iint_ S _ 1 d x d y = 4 π .

在 S₂ 上, z = dz = 0 ,于是在 S₂ 上的积分为零。下面计算在 S₃ 上的积分。令

x = cos θ , y = sin θ , z = z,(θ , z) ∈ D = {0 ≤slant θ ≤slant 2 π , 0 ≤slant z ≤slant 4 },

则

A = cos θ , B = sin θ , C = 0.

于是

iint_ S _ 3 x d y d z + y d z d x + z d x d y = iint_ D (cos^ 2 θ + sin^ 2 θ) d θ d z = 8 π .

这里积分号前取正号是因为向量 (A, B, C) 与柱面外侧法方向一致,最后得到

iint_ S x d y d z + y d z d x + z d x d y = 1 2 π .
3. 球面上的曲面积分(证明关系式(25.28))

若曲面 S 是以 M₀ = (x₀, y₀, z₀) 为球心, r 为半径的球面 ∂ Bᵣ(M₀) ,则其参数方程为

c x = x _ 0 + r sin φ cos θ , y = y _ 0 + r sin φ sin θ , z = z _ 0 + r cos φ , 0 ≤slant θ ≤slant 2 π , 0 ≤slant φ ≤slant π .

由此计算出

l E = x _ θ ^ 2 + y _ θ ^ 2 + z _ θ ^ 2 = r ^ 2 sin^ 2 φ , F = x _ θ x _ φ + y _ θ y _ φ + z _ θ z _ φ = 0, G = x _ φ ^ 2 + y _ φ ^ 2 + z _ φ ^ 2 = r ^ 2,

于是

sqrt E G - F ^ 2 = r ^ 2 sin φ .

与直角坐标系中三重积分化为球坐标积分的Jacobi行列式一样,但这里的 r 是常数.于是

l oiint_ ∂ B _ r (M _ 0) f (x, y, z) d S _ r = ∫_ 0 ^ 2 π ∫_ 0 ^ π f (x _ 0 + r sin φ cos θ , y _ 0 + r sin φ sin θ , z _ 0 + r cos φ) r ^ 2 sin φ d θ d φ , (25.23)

其中 dSᵣ 是半径为 r 的球面的面积元.从上面的计算可以看出

d S _ r = r ^ 2 sin φ d θ d φ , (25.24)d S _ 1 = sin φ d θ d φ , (25.25)

于是就有

d S _ r = r ^ 2 d S _ 1, (25.26)

如果记

sin φ cos θ = α_ 1, sin φ sin θ = α_ 2, cos φ = α_ 3,

注意这里 α₁,α₂,α₃ 都是 φ ,θ 的函数,则(25.23)可改写为

r l iint_ ∂ B _ r (M _ 0) f (x, y, z) d S _ r & = iint_ ∂ B _ r (mathbf 0) f (x _ 0 + r α_ 1, y _ 0 + r α_ 2, z _ 0 + r α_ 3) d S _ r & = r ^ 2 iint_ ∂ B _ 1 (mathbf 0) f (x _ 0 + r α_ 1, y _ 0 + r α_ 2, z _ 0 + r α_ 3) d S _ 1. (25.27)

另一方面, (α₁, α₂, α₃) 恰是球面 ∂ Bᵣ(0) (也是 ∂ B₁(0) )上的单位法向量 n ,方向指向球面的外部,因此上述表达式又可以简写为

r l oint_ ∂ B _ r (M _ 0) f (x, y, z) d S _ r & = oint_ ∂ B _ r (mathbf 0) f (M _ 0 + r mathbf n) d S _ r & = r ^ 2 oint_ ∂ B _ 1 (mathbf 0) f (M _ 0 + r mathbf n) d S _ 1. (25.28)
例题 25.5.3

设 Bᵣ(M₀) 是以 M₀ = (x₀,y₀,z₀) 为心, r 为半径的球, ∂ Bᵣ(M₀) 是以 M₀ = (x₀,y₀,z₀) 为心, r 为半径的球面,证明:

l (1) iiint_ B _ r (M _ 0) f (x, y, z) d x d y d z = ∫_ 0 ^ r oiint_ ∂ B _ ρ (M _ 0) f (x, y, z) d S _ ρ d ρ , (2) frac dd r iiint_ B _ r (M _ 0) f (x, y, z) d x d y d z = oiint_ ∂ B _ r (M _ 0) f (x, y, z) d S _ r.
证明

只证 (1),因为在 (1) 的两边对 r 求导便得到 (2).作球坐标变换

r l x = x _ 0 + ρ sin φ cos θ , & y = y _ 0 + ρ sin φ sin θ , z = z _ 0 + ρ cos φ , 0 ≤slant θ ≤slant 2 π , & 0 ≤slant φ ≤slant π , 0 ≤slant ρ ≤slant r.

则

l iiint_ B _ r (M _ 0) f (x, y, z) d x d y d z = ∫_ 0 ^ r ∫_ 0 ^ π ∫_ 0 ^ 2 π f (x _ 0 + ρ sin φ cos θ , y _ 0 + ρ sin φ sin θ , z _ 0 + ρ cos φ) ρ^ 2 sin φ d θ d φ d ρ = ∫_ 0 ^ r oiint_ ∂ B _ ρ (M _ 0) f (x, y, z) d S _ ρ d ρ .

最后一个等号是由(25.23)得出.

25.5.2 学习要点
  1. 求空间第二型曲线积分 ∫_(C) P dx + Q dy + R dz 的几种方法:

(1) 用 Stokes 公式化为第二型曲面积分;

(2) 若满足 (∂ P)/(∂ y) = (∂ Q)/(∂ x), (∂ P)/(∂ z) = (∂ R)/(∂ x), (∂ Q)/(∂ z) = (∂ R)/(∂ y),如果曲线 C 不封闭,可考虑用求出原函数的方法;

(3) 利用曲线的参数方程化为定积分求解.

  1. 求空间第二型曲面积分的几种方法:

(1) 用 Stokes 公式化为第二型曲线积分;

(2) 用 Gauss 公式化为三重积分;

(3) 利用曲面的参数方程化为二重积分求解,要特别注意积分号前正负号的确定,这在 25.2.1 和 25.5.1 小节中已分析得比较透彻了.

  1. 计算第一型曲面积分一般都直接应用公式 (25.1) 或 (25.2),若计算过于复杂,则可考虑利用两类曲面积分之间的关系转化为求第二型曲面积分.

  2. 利用曲线积分与路径无关的条件可以判断原函数的存在并求出原函数,求原函数的两种方法见例题 25.3.6.同时利用曲线积分与路径无关的条件还可以简化曲线积分的计算,当在原来的路径上曲线积分的计算较复杂时,可换一条新的路径,使得曲线积分在新的路径上的计算可能变得简单.

  3. 在球面上的曲面积分看似简单,实际上有很多技巧.

(1) 若把球心移到坐标原点,用球坐标系中的 θ, φ 作为球面的参数方程中的参数时,向量

(sin φ cos θ , sin φ sin θ , cos φ)

的长度为 1,方向与该点的矢径的方向相同,因此它就是球面上的单位外法向量,这在应用 Gauss 公式时带来一些运算上的方便.

(2) 在公式 (25.28) 中的两个表达式

oiint_ ∂ B _ r (mathbf 0) f (M _ 0 + r boldsymbol n) d S _ r, r ^ 2 oiint_ ∂ B _ 1 (mathbf 0) f (M _ 0 + r boldsymbol n) d S _ 1

各有用处.前者表达简捷,但由于积分限与被积函数中都有 r,因此需要对 r 求导数时,用后者方便.

(3) 例题 25.5.3 中的两个结论是非常有用的关系式.

25.5.3 参考题
  1. 设 S 是平面 x + y + z = t 上被球面 x² + y² + z² = 1 所割下的部分,
φ (x, y, z) = { l l 1 - x ^ 2 - y ^ 2 - z ^ 2, & text 当 x ^ 2 + y ^ 2 + z ^ 2 ≤slant 1, 0, & text 当 x ^ 2 + y ^ 2 + z ^ 2 > 1. .

证明:

iint_ S φ (x, y, z) d S = { l l frac π1 8 (3 - t ^ 2) ^ 2, & text 当 | t | ≤slant sqrt 3, 0, & text 当 | t | > sqrt 3. .
  1. 证明:
∫_ 0 ^ 2 π d x ∫_ 0 ^ π sin y e ^ sin y (cos x - sin x) d y = sqrt 2 π (e ^ sqrt 2 - e ^ - sqrt 2).
  1. 设 Ω 为空间第一卦限中的区域,函数 f(x, y, z) 在 Ω 上有连续一阶偏导数.S 为 Ω 中任一光滑闭曲面,试给出第二型曲面积分
iint_ S f (x, y, z) (x d y d z + y d z d x + z d x d y) = 0

的充分必要条件,并证明之.

  1. 设 Σ 是光滑的闭曲面,围成的区域为 Ω, n 为 Σ 上单位外法向量, (x₀, y₀, z₀) 为 Ω 内固定一点, (x, y, z) ∈ Σ, r = (x - x₀, y - y₀, z - z₀) ,证明:
oiint_ Σ cos (boldsymbol n, boldsymbol r) d S = 2 iiint_ Ω frac d x d y d z| boldsymbol r |.
  1. 已给平面 Π: Ax + By + Cz = D,对于 Π 的任一定向,求 w = P(x, y, z) dx + Q(x, y, z) dy + R(x, y, z) dz,使得沿 Π 上任意逐段光滑简单封闭曲线 Γ ( Γ 的定向与 Π 的定向一致) 恒有
oint_ Γ w = S (Γ),

其中 S(Γ) 为 Γ 在 Π 上所围区域的面积.

  1. 设 Γ 是 R³ 中逐段光滑简单封闭定向曲线,对于 (x, y, z) ∉ Γ,定义
l P (x, y, z) = oint_ Γ frac (ζ - z) d η - (η - y) d ζr ^ 3, Q (x, y, z) = oint_ Γ frac (ξ - x) d ζ - (ζ - z) d ξr ^ 3, R (x, y, z) = oint_ Γ frac (η - y) d ξ - (ξ - x) d ηr ^ 3,

其中 (ξ, η, ζ) ∈ Γ 是积分变元,

r = sqrt (ξ - x) ^ 2 + (η - y) ^ 2 + (ζ - z) ^ 2.

证明:

frac ∂ Q∂ x = frac ∂ P∂ y, frac ∂ R∂ y = frac ∂ Q∂ z, frac ∂ P∂ z = frac ∂ R∂ x.
  1. 在上题中求函数 u(x,y,z) ,使得 du = P dx + Q dy + R dz .

  2. 利用 Gauss 公式证明 Archimedes 的流体静力学定律: 物体在液体中所受的浮力等于物体排开液体的重量,方向垂直向上.

第二十六章 场论初步

场本来是物理学的研究对象,如温度场、电磁场、重力场等。这些场除了有各自不同的物理性质之外,表现在数量关系上可分为数量场与向量场。

本章介绍场论的初步数学知识.在 §26.1 引入散度和旋度的概念,然后将梯度、散度、旋度与 Green 公式、Gauss 公式、Stokes 公式融合在一起,展现多元积分丰富多彩的一面.在 §26.2 中介绍 Laplace 算子和有关调和函数的一些知识.最后一节是学习要点和两组参考题.

共 0 题