24.2.1 第二型曲线积分的定义和计算
Section titled “24.2.1 第二型曲线积分的定义和计算”第二型曲线积分的物理背景之一是质点受力沿曲线运动所做的功.因此我们给定了曲线的起点和终点.这样的曲线称为有向曲线.下面以 R³ 为例定义第二型曲线积分.设 Γ = widetildeAB 是 R³ 中一条简单可求长的有向曲线
boldsymbol F = boldsymbol F (x, y, z) = P (x, y, z) boldsymbol i + Q (x, y, z) boldsymbol j + R (x, y, z) boldsymbol k为定义在 Γ 上的向量值函数.对于与 Γ 方向一致的任意分割 T,
T: A = A _ 0, A _ 1, A _ 2, … , A _ m = B,记 Aᵢ = (xᵢ,yᵢ,zᵢ), Δ xᵢ = xᵢ - xᵢ - 1, Δ yᵢ = yᵢ - yᵢ - 1, Δ zᵢ = zᵢ - zᵢ - 1, Δ Sᵢ 为曲线段 widetildeAᵢ - 1Aᵢ 的弧长, d(T) = max₁≤slant i≤slant m{Δ Sᵢ}.任取 (ξᵢ,ηᵢ,ζᵢ)∈ widetildeAᵢ - 1Aᵢ ,如果极限
lim _ d (T) arrow 0 ∑_ i [ P (ξ_ i, η_ i, ζ_ i) Δ x _ i + Q (ξ_ i, η_ i, ζ_ i) Δ y _ i + R (ξ_ i, η_ i, ζ_ i) Δ z _ i ]存在且极限与 Γ 的具体分法以及 (ξᵢ, ηᵢ, ζᵢ) 的具体取法无关,则称 F 沿 Γ 的第二型曲线积分存在,极限值称为 F 沿 Γ 的第二型曲线积分,记为
I = ∫_ Γ P (x, y, z) d x + Q (x, y, z) d y + R (x, y, z) d z或
I = ∫_ Γ boldsymbol F (x, y, z) · d boldsymbol r.第二型曲线积分又称为对坐标的积分.
若逐段光滑的有向曲线 Γ 有参数表示
x = x (t), y = y (t), z = z (t), a ≤slant t ≤slant b,其中 [a, b] 是实轴上的有向区间,参数 t 从 a 变到 b 与 Γ 的定向一致,设 P(x, y, z) , Q(x, y, z) , R(x, y, z) 在 Γ 上连续,则
l ∫_ Γ P (x, y, z) d x + Q (x, y, z) d y + R (x, y, z) d z = ∫_ a ^ b [ P (x (t), y (t), z (t)) x ^ prime (t) + Q (x (t), y (t), z (t)) y ^ prime (t) + R (x (t), y (t), z (t)) z ^ prime (t) ] d t.计算积分
I = ∫_ C (x ^ 2 + 2 x y) d y,其中 C 表示逆时针方向的上半椭圆 fracx²a² + fracy²b² = 1 .
解
利用椭圆的参数表达式
x = a cos t, y = b sin t,按给定方向 t 由 0 变到 π ,将 x, y 用 t 的表达式代入并用 b cos t dt 来代替 dy,得
r l I & = ∫_ 0 ^ π (a ^ 2 cos^ 2 t + 2 a b cos t sin t) b cos t d t & = a ^ 2 b ∫_ 0 ^ π cos^ 3 t d t + 2 a b ^ 2 ∫_ 0 ^ π cos^ 2 t sin t d t = frac 43 a b ^ 2.求 I = ∫_(Γ) y² dx + z² dy + x² dz, 其中 Γ 为曲线
{ l x ^ 2 + y ^ 2 + z ^ 2 = a ^ 2, x ^ 2 + y ^ 2 = a x (a > 0) .上 z ≥slant 0 的部分 (即 Viviani 体的顶部曲线), 且从 x 轴正向看 Γ 是逆时针方向.
解
参见图 22.11.先求曲线 Γ 的参数表达式.若以 x, y, z 之一为参数,则要涉及开方运算,出现分支,很不方便.从第二个方程易见引入柱坐标
x = r cos θ , y = r sin θ , z = z,于是 Γ 的参数方程为
l x = a cos^ 2 θ , y = a cos θ sin θ , z = sqrt a ^ 2 - r ^ 2 = a | sin θ |, - frac π2 ≤slant θ ≤slant frac π2.根据曲线定向,有
r l I = & ∫_ - π / 2 ^ π / 2 [ a ^ 2 cos^ 2 θ sin^ 2 θ · 2 a cos θ (- sin θ) . & . + a ^ 2 sin^ 2 θ · a (cos^ 2 θ - sin^ 2 θ) + a ^ 2 cos^ 4 θ · z ^ prime (θ) ] d θ .第一项是奇函数,且因子 z(θ) 是偶函数,所以 z'(θ) 是奇函数,故第三项也是奇函数,于是
r l I & = ∫_ - π / 2 ^ π / 2 a ^ 3 sin^ 2 θ (cos^ 2 θ - sin^ 2 θ) d θ & = 2 a ^ 3 ∫_ 0 ^ π / 2 (sin^ 2 θ - 2 sin^ 4 θ) d θ = - frac π4 a ^ 3.有的时候空间曲线的参数方程不容易写出或写出来比较复杂,我们可以借助下列命题把问题转化为平面曲线的曲线积分.
设逐段光滑曲线 Γ 在光滑曲面 z = f(x,y) 上,曲线 Γ 在 xOy 平面上的投影曲线为 γ ,函数 P(x,y,z) 在 Γ 上连续,则
oint_ Γ P (x, y, z) d x = oint_ γ P (x, y, f (x, y)) d x,其中 γ 的定向与 Γ 的定向一致.
证明
设 γ 的参数方程为
x = φ (t), y = ψ (t), a ≤slant t ≤slant b,则空间曲线 Γ 的方程为
x = φ (t), y = ψ (t), z = f (φ (t), ψ (t)).于是
r l oint_ Γ P (x, y, z) d x & = ∫_ a ^ b P [ φ (t), ψ (t), f (φ (t), ψ (t)) ] φ^ prime (t) d t & = oint_ γ P (x, y, f (x, y)) d x.24.2.2 两类曲线积分的关系
Section titled “24.2.2 两类曲线积分的关系”坐标微元 d±b r = ±bτds, 其中 ±bτ 为曲线沿指定方向的单位切向.因而就有
∫_ Γ boldsymbol F (boldsymbol x) · d boldsymbol r = ∫_ Γ (boldsymbol F (boldsymbol x) · boldsymbol τ) d s.对于空间曲线 Γ ,设 cos α ,cos β ,cos γ 是切方向余弦,则
∫_ Γ P d x + Q d y + R d z = ∫_ Γ (P cos α + Q cos β + R cos γ) d s. (24.5)当 Γ 为平面曲线时,取法线的方向 n 与切线的方向 τ 的夹角 angle(n,τ)=(π)/(2),见图 24.2,则
c angle (x, ±b n) = angle (x, ±b τ) + angle (±b τ, ±b n) = α - frac π2, text 即 cos α = - sin (x, boldsymbol n), sin α = cos (x, boldsymbol n).于是 Γ 为平面曲线时
24.2.3 第二型曲线积分的应用
Section titled “24.2.3 第二型曲线积分的应用”求变力做功
已知一平面力场,它的方向指向坐标原点,它的大小与它到原点的距离 r 的平方成反比:
F = frac μr ^ 2,其中 μ 为常数.计算当质量 m = 1 的质点自位置 A 移动到位置 B (不通过原点)时力场做的功.
解
以 (x, y) 表示点的坐标.设力与 x 轴的夹角 θ,则
cos θ = - frac xr, sin θ = - frac yr.于是力在 x, y 方向的分量分别为
F _ 1 (x, y) = F cos θ = - μ frac xr ^ 3, F _ 2 (x, y) = F sin θ = - μ frac yr ^ 3.而功可表示为曲线积分
容易看出
r l w & = - μ ∫_ widetilde A B frac x d x + y d yr ^ 3. & - frac x d x + y d yr ^ 3 = d frac 1r, (24.7)且如将 x, y 用参数表达式 x = φ(t), y = ψ(t) 代入,其中 a ≤slant t ≤slant b ,并令
r = sqrt x ^ 2 + y ^ 2 = sqrt φ^ 2 (t) + ψ^ 2 (t)时,等式 (24.7) 仍成立.于是
w = μ ∫_ a ^ b d frac 1r = . frac μr | _ a ^ b = μ (frac 1r _ B - frac 1r _ A),其中 r_(A), r_(B) 分别表示原点到点 A, B 的距离.
梯度曲线 设 f 是区域 D ⊂ R³ 上的 C¹ 函数,并设 ∇ f 是在 D 上处处不为零的向量。若 Γ 是自某点 (x₀, y₀, z₀) ∈ D 出发的可微曲线,它的每一点的切线方向与 f 的梯度方向一致,就称 Γ 为 f 在 D 上的梯度曲线。设 Γ 的参数方程为
x = x (t), y = y (t), z = z (t),则可取 x(t) , y(t) 和 z(t) 满足如下微分方程组:
frac d xd t = frac 1| ∇ f | frac ∂ f∂ x, frac d yd t = frac 1| ∇ f | frac ∂ f∂ y, frac d zd t = frac 1| ∇ f | frac ∂ f∂ z, (24.8)初始值为 x(0) = x₀, y(0) = y₀, z(0) = z₀ 。由常微分方程组解的存在性定理和延拓定理①, x(t), y(t) 和 z(t) 在 D 内存在并可延伸到 D 的边界。由 (24.8), Γ 的弧长微分满足
d s = sqrt (x ^ prime (t)) ^ 2 + (y ^ prime (t)) ^ 2 + (z ^ prime (t)) ^ 2 d t = d t.下面我们借助 R² 中的梯度曲线重新讨论例题21.3.3 竞赛第二十八届的B6题,它公布的标准答案就是例题21.3.3的解答.我们现在可以将那里的梯度模的最小值的上界估计从 Putnam 竞赛第二十八届的B6题,它公布的标准答案就是例题21.3.3的解答.我们现在可以将那里的梯度模的最小值的上界估计从 16 改进为 4.
设 f(x,y) 在单位圆盘 D = {(x,y)| x² +y²≤slant 1} 上具有连续的一阶偏导数,且满足 |f(x,y)|≤slant 1,∀ (x,y)∈ D ,证明:存在点 p₀(x₀,y₀)∈ intD = {(x,y)| x² +y² < 1} ,使得 (fₓ² +f_y²)|_((x₀,y₀))≤slant 4.
证明
如果有点 (x₀, y₀),使 ∇ f(x₀, y₀) = 0,即 fₓ(x₀, y₀) = f_y(x₀, y₀) = 0,则估计式成立.如果 ∇ f 在 D 中处处不为零向量,则 f 在 D 中的梯度曲线存在.设 Γ 是 f 在 D 中的梯度曲线,其参数方程为
x = x (t), y = y (t), t ∈ [ 0, T ],Γ 的起点为原点,终点为 (x(T), y(T)).由曲线积分公式得到
r l f (x (T), y (T)) - f (0, 0) & = ∫_ 0 ^ T (frac ∂ f∂ x x ^ prime (t) + frac ∂ f∂ y y ^ prime (t)) d t & = ∫_ 0 ^ T frac frac ∂ f∂ x x ^ prime (t) + frac ∂ f∂ y y ^ prime (t)sqrt (x ^ prime (t)) ^ 2 + (y ^ prime (t)) ^ 2 · sqrt (x ^ prime (t)) ^ 2 + (y ^ prime (t)) ^ 2 d t & = ∫_ Γ (∇ f (x, y) · boldsymbol τ) d s.设 l 是 Γ 的弧长,并且 Γ 自原点出发到达 D 的边界,则 l ≥slant 1.如果在 intD 上处处有 ∇ f(x, y) · τ > 2,则就有
2 ≥slant | f (x (T), y (T)) - f (0, 0) | > 2 l ≥slant 2,引出矛盾.因此存在 (x₀, y₀) ∈ intD,使 ∇ f(x₀, y₀) · τ ≤slant 2.又因为 ∇ f 与 τ 相切,故 ∇ f(x₀, y₀) · τ = |∇ f(x₀, y₀)| ≤slant 2,即 (fₓ² + f_y²)|_((x₀, y₀)) ≤slant 4 .
用梯度曲线来估计函数差的下界也是十分有效的,其依据就是函数沿梯度方向增长最快.用这样的方法可以证明如下的高维中值定理 (见《美国数学月刊》(1999) 第 106 卷 674-675 页,其证明作为第二组参考题 2).
设 f(±bx) 为定义在以 r 为半径的 n 维球
D = {boldsymbol x = (x _ 1, x _ 2, … , x _ n) | x _ 1 ^ 2 + x _ 2 ^ 2 + … + x _ n ^ 2 ≤slant r ^ 2 }上的连续可微函数,则存在点 p₀=(p₁⁰,p₂⁰,…,pₙ⁰)∈intD,使
max _ boldsymbol x ∈ D {f (boldsymbol x) } - min _ boldsymbol x ∈ D {f (boldsymbol x) } = | ∇ f (boldsymbol p _ 0) | · 2 r.利用这个结果或修改上述例题中的证明可以将估计值 4 改进为最佳的估计值 1.
24.2.4 练习题
Section titled “24.2.4 练习题”- 计算 ∫_(L) xy dx + (y - x) dy ,其中 L 为曲线, widetildeAB 方向为由 A 到 B, A = (1, 1) , B = (2, 3) :
(1) widetildeAB 是直线 AB ; (2) widetildeAB 的方程是 y = 2(x - 1)² + 1 ; (3) widetildeAB 是折线 overlineADB, D = (2,1) .
-
求 ∫_(C)x/ydx+(1)/(y-a)dy ,其中 C 是旋轮线 x=a(t-sin t) , y=a(1-cos t) 对应于 t=(π)/(6) 到 t=(π)/(3) 的一段.
-
求 ∫_(C) (x + y)² dx + (x² - y²) dy ,其中 C 是以 A(1,1), B(3,2), D(3,1) 为顶点的三角形,取顺时针方向.
-
求 ∫_(C) 4xy² ~dx - 3x⁴ ~dy ,其中 C 是抛物线 y = 1/2 x² 自 (0,0) 到 (2,2) 的一段.
-
求 oint_(C) (y² + z²) dx + (z² + x²) dy + (x² + y²) dz ,其中 C 是曲面 x² + y² + z² = 2Rx , x² + y² = 2ax 的交线 (0 < a < R, z > 0) ,且由 z 轴正向看是逆时针方向。
-
求 ∫_(C) y dx + z dy + x dz ,其中 C 为球面上的曲线: x = R sin φ cos θ, y = R sin φ sin θ, z = R cos φ, R > 0, 0 ≤slant φ ≤slant π, 0 ≤slant θ < 2π,
并且使(1) R, φ 为常数;或(2) R, θ 为常数.
- 求 ∫_(C)(x²+5y+3yz)dx+(5x+3xy-2)dy+(3xy-4z)dz, 其中 C 为 (1) x = a cos t, y = a sin t, z = (bt)/(2π) 自 t = 0 到 2π 的一段;
(2) 直线段 AB,起点 A = (a, 0, 0),终点 B = (a, 0, b) .
-
已知力场 F(x,y,z)=yi-xj+(x+y+z)k ,求质点沿曲线 x=acos t, y=asin t, z=(b)/(2π)t 从点 A(a,0,0) 运动到点 B(a,0,b) 时,力场 F 对质点所做的功.
-
质点在力场 F = fraceˣ1 + y² i + frac2y(1 - eˣ)(1 + y²)² j 作用下,沿 x² + (y - 1)² = 1 由点 (0,0) 沿顺时针方向运动到点 (1,1),求力场所做的功.