Divergence and Curl of Vector Fields | IB数学:向量场的散度与旋度

📚 Divergence and Curl of Vector Fields | IB数学:向量场的散度与旋度

In IB Mathematics Analysis and Approaches (HL) and Applications and Interpretation (HL), vector calculus forms a powerful bridge between algebra, geometry and physics. Among the most important operations on vector fields are the divergence (∇·F) and the curl (∇×F). These two operators describe how a vector field spreads out or rotates at each point in space, and they underpin Maxwell’s equations, fluid dynamics and many classical theorems.

在IB数学分析与方法(HL)以及应用与解释(HL)中,向量微积分在代数、几何与物理之间架起了一座强有力的桥梁。向量场上最重要的运算包括散度(∇·F)与旋度(∇×F)。这两个算子描述了向量场在空间中每一点如何“发散”或“旋转”,它们是麦克斯韦方程组、流体力学以及许多经典定理的基础。


1. Vector Fields | 向量场回顾

A vector field assigns a vector to every point in space. In three dimensions, we write F(x, y, z) = F₁(x, y, z) i + F₂(x, y, z) j + F₃(x, y, z) k, where F₁, F₂ and F₃ are scalar functions.

向量场给空间中的每一个点都指派一个向量。在三维空间中,我们写作 F(x, y, z) = F₁(x, y, z) i + F₂(x, y, z) j + F₃(x, y, z) k,其中 F₁、F₂ 和 F₃ 都是标量函数。

  • Domain: F must be defined on a region of ℝ³.

    定义域:F 必须定义在 ℝ³ 的某个区域上。

  • Continuity: Each component function is assumed to be continuous (and often differentiable).

    连续性:每一个分量函数都假定连续(并且通常可微)。

  • Notation: Some textbooks write F = (P, Q, R) instead of F₁, F₂, F₃.

    记号:有些教材把 F 写成 (P, Q, R) 而不是 F₁, F₂, F₃。


2. The Del Operator and Gradient | 向量微分算子与梯度

The del operator ∇ is a vector differential operator defined as ∇ = i ∂/∂x + j ∂/∂y + k ∂/∂z. Although it is not a true vector, it behaves like one when applied to scalar and vector fields.

向量微分算子 ∇ 定义为 ∇ = i ∂/∂x + j ∂/∂y + k ∂/∂z。尽管它并非真正的向量,但在作用于标量场和向量场时,它的行为与向量类似。

For a scalar function f(x, y, z), the gradient is ∇f = (∂f/∂x, ∂f/∂y, ∂f/∂z). The gradient points in the direction of steepest increase of f, and its magnitude equals the rate of change in that direction.

对于标量函数 f(x, y, z),梯度为 ∇f = (∂f/∂x, ∂f/∂y, ∂f/∂z)。梯度指向 f 增大最快的方向,其大小等于沿该方向的变化率。

∇f = ∂f/∂x i + ∂f/∂y j + ∂f/∂z k


3. Divergence | 散度

The divergence of a vector field F = P i + Q j + R k is the scalar function defined by ∇·F = ∂P/∂x + ∂Q/∂y + ∂R/∂z.

向量场 F = P i + Q j + R k 的散度是标量函数,定义为 ∇·F = ∂P/∂x + ∂Q/∂y + ∂R/∂z。

div F = ∇·F = ∂F₁/∂x + ∂F₂/∂y + ∂F₃/∂z

Important: the divergence is a scalar, not a vector. It measures the net “outflow” of the field per unit volume at a point. If ∇·F > 0, the point acts as a source; if ∇·F < 0, it acts as a sink; if ∇·F = 0 everywhere, the field is called solenoidal (or divergence-free).

注意:散度是一个标量,而不是向量。它衡量场在某一点单位体积的净“流出量”。若 ∇·F > 0,该点为源;若 ∇·F < 0,该点为汇;若处处 ∇·F = 0,则称该场为螺线管场(或无散场)。


4. Curl | 旋度

The curl of a vector field F is a vector field defined by the cross product ∇×F:

向量场 F 的旋度是一个向量场,定义为叉积 ∇×F:

curl F = ∇×F = (∂R/∂y − ∂Q/∂z) i + (∂P/∂z − ∂R/∂x) j + (∂Q/∂x − ∂P/∂y) k

Equivalently, it can be computed using a symbolic 3×3 determinant:

等价地,可以使用一个符号化的 3×3 行列式来计算:

∇×F = det [ i , j , k ; ∂/∂x , ∂/∂y , ∂/∂z ; P , Q , R ]

The result is a vector that describes the local rotation of the field. If ∇×F = 0 everywhere, the field is said to be irrotational (or conservative, under suitable conditions).

结果是一个向量,它描述场的局部旋转。若处处 ∇×F = 0,则称该场为无旋场(在适当条件下也称为保守场)。


5. Physical Interpretation | 物理意义

Divergence measures expansion or compression. Consider a gas expanding from a point: the velocity field has positive divergence at that point. In fluid dynamics, ∇·v = 0 for an incompressible fluid.

散度衡量膨胀或压缩。考虑气体从一点向外膨胀:该点的速度场具有正散度。在流体力学中,不可压缩流体满足 ∇·v = 0。

Curl measures rotation. Place a small paddle wheel in the flow; its angular velocity is proportional to ∇×v. A whirlpool has large curl near its centre, while a uniform straight flow has zero curl.

旋度衡量旋转。将一个小叶轮放入流场中,它的角速度正比于 ∇×v。漩涡中心附近的旋度很大,而均匀直线流动的旋度为零。

Operation Input Output Meaning
Gradient ∇f Scalar f Vector field Direction of steepest ascent
Divergence ∇·F Vector field F Scalar field Sources and sinks
Curl ∇×F Vector field F Vector field Local rotation

6. The Laplace Operator | 拉普拉斯算子

The Laplacian of a scalar function f is defined as ∇²f = ∇·(∇f) = ∂²f/∂x² + ∂²f/∂y² + ∂²f/∂z². For a vector field F, the vector Laplacian is ∇²F = (∇²F₁) i + (∇²F₂) j + (∇²F₃) k.

标量函数 f 的拉普拉斯算子定义为 ∇²f = ∇·(∇f) = ∂²f/∂x² + ∂²f/∂y² + ∂²f/∂z²。对于向量场 F,向量拉普拉斯算子为 ∇²F = (∇²F₁) i + (∇²F₂) j + (∇²F₃) k。

In Cartesian coordinates, ∇²f = 0 is Laplace’s equation. Solutions are called harmonic functions; they appear in electrostatics, gravitation and heat conduction.

在直角坐标系中,∇²f = 0 称为拉普拉斯方程。其解称为调和函数,出现在静电学、万有引力和热传导等问题中。

∇²f = ∂²f/∂x² + ∂²f/∂y² + ∂²f/∂z²


7. Key Identities and Product Rules | 重要恒等式与运算法则

The following identities are frequently tested in IB HL and university entrance examinations:

以下恒等式在IB高级水平考试和大学入学考试中经常出现:

  • ∇·(∇×F) = 0 — divergence of a curl is always zero.

    ∇·(∇×F) = 0 —— 旋度的散度恒为零。

  • ∇×(∇f) = 0 — curl of a gradient is always zero.

    ∇×(∇f) = 0 —— 梯度的旋度恒为零。

  • ∇·(fF) = f(∇·F) + (∇f)·F — product rule for divergence.

    ∇·(fF) = f(∇·F) + (∇f)·F —— 散度的乘积法则。

  • ∇×(fF) = f(∇×F) + (∇f)×F — product rule for curl.

    ∇×(fF) = f(∇×F) + (∇f)×F —— 旋度的乘积法则。

  • ∇·(F×G) = G·(∇×F) − F·(∇×G).

    ∇·(F×G) = G·(∇×F) − F·(∇×G)。

These identities are useful for simplifying complicated expressions and for verifying whether a given field can be written as a gradient or a curl.

这些恒等式可用于简化复杂的表达式,以及判断给定场能否写成某个梯度或某个旋度。


8. Integral Theorems | 积分定理

Divergence and curl are deeply connected to flux and circulation via the two major integral theorems.

散度和旋度通过两大积分定理与通量和环量紧密联系。

Divergence Theorem (Gauss’s Theorem): For a closed surface S enclosing a volume V,

散度定理(高斯定理):对于包围体积 V 的闭合曲面 S,

∮_S F·n dS = ∫∫∫_V (∇·F) dV

The total outward flux across a closed surface equals the volume integral of the divergence inside.

穿过闭合曲面的总通量等于散度在内部体积上的积分。

Stokes’ Theorem: For an oriented surface S with boundary curve C,

斯托克斯定理:对于以曲线 C 为边界的有向曲面 S,

∮_C F·dr = ∫∫_S (∇×F)·n dS

The circulation around a closed curve equals the flux of the curl through any surface spanning it.

沿闭合曲线的环量等于通过以该曲线为边界的任意曲面的旋度通量。


9. Worked Example | 典型例题

Let F(x, y, z) = (x²y) i + (y²z) j + (z²x) k. Compute ∇·F and ∇×F.

设 F(x, y, z) = (x²y) i + (y²z) j + (z²x) k。计算 ∇·F 和 ∇×F。

Divergence:

散度:

∇·F = ∂(x²y)/∂x + ∂(y²z)/∂y + ∂(z²x)/∂z = 2xy + 2yz + 2zx

Curl:

旋度:

∇×F = (∂R/∂y − ∂Q/∂z) i + (∂P/∂z − ∂R/∂x) j + (∂Q/∂x − ∂P/∂y) k

Here P = x²y, Q = y²z, R = z²x. Therefore:

这里 P = x²y,Q = y²z,R = z²x。因此:

∇×F = (0 − y²) i + (0 − z²) j + (0 − x²) k = −y² i − z² j − x² k

Check: ∇·(∇×F) = ∂(−y²)/∂x + ∂(−z²)/∂y + ∂(−x²)/∂z = 0, as expected.

验证:∇·(∇×F) = ∂(−y²)/∂x + ∂(−z²)/∂y + ∂(−x²)/∂z = 0,符合预期。


10. Common Pitfalls | 常见误区

  • Confusing scalar and vector outputs: divergence is a scalar, curl is a vector.

    混淆标量与向量结果:散度是标量,旋度是向量。

  • Forgetting the order of partial derivatives in the determinant formula for curl.

    在旋度的行列式公式中忘记偏导数的次序。

  • Assuming ∇×F = 0 implies F is a gradient on any domain; in general this requires a simply connected domain.

    假定 ∇×F = 0 就说明 F 是某个梯度;一般还需要定义域是单连通的。

  • Misapplying the divergence theorem: the surface must be closed and oriented outward.

    误用散度定理:曲面必须是闭合的且取外法向。

  • Using ∇² on a vector field by taking the Laplacian of each component in non-Cartesian coordinates.

    在非直角坐标系下直接对向量场的每个分量求拉普拉斯算子。


11. Practice Questions | 练习

  1. Given F = (x² − y²) i + (2xy) j + z k, find ∇·F and ∇×F.

    已知 F = (x² − y²) i + (2xy) j + z k,求 ∇·F 和 ∇×F。

  2. Show that ∇×(r/r³) = 0 for r = x i + y j + z k and r = |r|.

    证明 ∇×(r/r³) = 0,其中 r = x i + y j + z k,r = |r|。

  3. Use the divergence theorem to compute the flux of F = (x, y, z) through the unit sphere x² + y² + z² = 1.

    利用散度定理计算 F = (x, y, z) 穿过单位球面 x² + y² + z² = 1 的通量。

  4. Verify Stokes’ theorem for F = (−y, x, 0) over the upper hemisphere x² + y² + z² = 1, z ≥ 0.

    验证 F = (−y, x, 0) 在半球面 x² + y² + z² = 1、z ≥ 0 上的斯托克斯定理。

Published by TutorHao | Mathematics Revision Series | aleveler.com

更多咨询请联系16621398022(同微信)

Comments

屏轩国际教育cambridge primary/secondary checkpoint, cat4, ukiset,ukcat,igcse,alevel,PAT,STEP,MAT, ibdp,ap,ssat,sat,sat2课程辅导,国外大学本科硕士研究生博士课程论文辅导

This site uses Akismet to reduce spam. Learn how your comment data is processed.

Discover more from aleveler.com

Subscribe now to keep reading and get access to the full archive.

Continue reading