Path Independence of Line Integrals and Exact Differentials | IB数学:线积分的路径无关性与恰当微分

📚 Path Independence of Line Integrals and Exact Differentials | IB数学:线积分的路径无关性与恰当微分

A line integral evaluates the cumulative effect of a vector field along a curve. In many physical situations, such as work done by a force, the result depends only on the starting and ending points, not on the particular route taken. This property is called path independence, and it is closely linked to the concept of exact differentials.

线积分是沿曲线对向量场的累积效果。在许多物理情境中,例如力做功,结果只取决于起点和终点,而与具体路径无关。这一性质称为路径无关性,它与恰当微分这一概念密切相关。


1. Review: What Is a Line Integral? | 复习:什么是线积分?

Let F(x, y) = P(x, y) i + Q(x, y) j be a vector field in a plane region D, and let C be a smooth curve parameterized by r(t) = (x(t), y(t)) for a ≤ t ≤ b. The line integral of F along C is:

C F · dr = ∫ab [P(x(t), y(t)) x'(t) + Q(x(t), y(t)) y'(t)] dt

This is often written in differential form as ∫C P dx + Q dy, where dx = x'(t) dt and dy = y'(t) dt. For the special case F = ∇f, the line integral gives the net change f(B) − f(A).

设 F(x, y) = P(x, y) i + Q(x, y) j 是平面区域 D 上的向量场,C 是由 r(t) = (x(t), y(t))(a ≤ t ≤ b)参数化的光滑曲线。F 沿 C 的线积分为:

C F · dr = ∫ab [P(x(t), y(t)) x'(t) + Q(x(t), y(t)) y'(t)] dt

这通常写成微分形式 ∫C P dx + Q dy,其中 dx = x'(t) dt,dy = y'(t) dt。当 F = ∇f 时,线积分恰好等于 f(B) − f(A)。


2. Definition of Path Independence | 路径无关的定义

A line integral ∫C F · dr is said to be independent of path in a region D if, for any two points A and B in D, the value of the integral is the same for every piecewise-smooth curve C inside D that starts at A and ends at B.

等价地,对所有闭合曲线 C,积分满足:

C F · dr = 0

如果沿任意闭合回路的积分为零,则任何两条同起点、同终点的曲线围成闭合回路,因此积分差为零。

若区域 D 内任意两点 A、B,以及所有位于 D 内、从 A 到 B 的分段光滑曲线 C,线积分 ∫C F · dr 的值都相同,则称该线积分在 D 内与路径无关。

等价地,对所有闭合曲线 C,积分满足:

C F · dr = 0

若沿任意闭合回路的积分为零,则任何两条同起点、同终点的曲线围成闭合回路,因此积分差为零。


3. The Gradient Field Condition | 梯度场条件

The first key result is: if there exists a differentiable scalar function f(x, y) such that F = ∇f, then the line integral is path independent. Indeed,

C ∇f · dr = f(B) − f(A)

by the chain rule along the curve. Such a field is called a conservative vector field, and f is called a potential function.

第一个关键结论是:如果存在可微纯量函数 f(x, y),使得 F = ∇f,则该线积分与路径无关。事实上,由链式法则沿曲线可得

C ∇f · dr = f(B) − f(A)

这样的场称为保守向量场,f 称为势函数。


4. Exact Differentials | 恰当微分

The differential form P dx + Q dy is called exact on D if there exists f(x, y) such that:

df = ∂f/∂x dx + ∂f/∂y dy = P dx + Q dy

Therefore P = ∂f/∂x and Q = ∂f/∂y. If these equations hold, then F = ∇f is conservative, and the integral is path independent.

微分形式 P dx + Q dy 称为区域内 D 上的恰当微分,如果存在 f(x, y) 使得:

df = ∂f/∂x dx + ∂f/∂y dy = P dx + Q dy

因此 P = ∂f/∂x,Q = ∂f/∂y。若这些方程成立,则 F = ∇f 是保守场,积分与路径无关。


5. The Mixed Partial Derivative Test | 混合偏导数检验法

Suppose P and Q have continuous first partial derivatives on a simply connected open region D. Then P dx + Q dy is exact if and only if:

∂P/∂y = ∂Q/∂x

This equality follows from Clairaut’s theorem applied to f: ∂²f/∂y∂x = ∂²f/∂x∂y. It is the standard test used in IB examination questions.

设 P 和 Q 在单连通开区域 D 上具有连续一阶偏导数。则 P dx + Q dy 为恰当微分当且仅当:

∂P/∂y = ∂Q/∂x

这一等式由克莱罗定理(混合偏导相等)作用于 f 得到:∂²f/∂y∂x = ∂²f/∂x∂y。这是 IB 考试中最常用的检验方法。


6. Reconstructing the Potential Function | 重构势函数

To find f, integrate P with respect to x treating y as constant:

f(x, y) = ∫ P dx + g(y)

Then differentiate this expression with respect to y and compare with Q to determine g'(y). Alternatively, first integrate Q with respect to y and add h(x).

为求 f,先把 y 视为常数,对 P 关于 x 积分:

f(x, y) = ∫ P dx + g(y)

然后将该表达式对 y 求偏导,并与 Q 比较以确定 g'(y)。也可先对 Q 关于 y 积分,再引入 h(x)。


7. Worked Example 1 | 例题 1:验证恰当性并求势函数

Let F = (2xy + 1) i + (x² + 3y²) j. Check whether the differential is exact, and find the potential function f.

这里 P = 2xy + 1,Q = x² + 3y²。计算混合偏导数:

∂P/∂y = 2x,∂Q/∂x = 2x

相等,因此该形式恰当。现在积分 P:

f = ∫ (2xy + 1) dx = x²y + x + g(y)

对 y 求偏导得 ∂f/∂y = x² + g'(y)。令其等于 Q = x² + 3y²,得 g'(y) = 3y²,故 g(y) = y³ + C。所以

f(x, y) = x²y + x + y³ + C

设 F = (2xy + 1) i + (x² + 3y²) j。检验该微分形式是否恰当,并求势函数 f。

这里 P = 2xy + 1,Q = x² + 3y²。计算混合偏导数:

∂P/∂y = 2x,∂Q/∂x = 2x

相等,因此该形式恰当。现在积分 P:

f = ∫ (2xy + 1) dx = x²y + x + g(y)

对 y 求偏导得 ∂f/∂y = x² + g'(y)。令其等于 Q = x² + 3y²,得 g'(y) = 3y²,故 g(y) = y³ + C。所以

f(x, y) = x²y + x + y³ + C


8. Worked Example 2: Path Independence in Action | 例题 2:路径无关的实际运用

Evaluate I = ∫C (2xy + 1) dx + (x² + 3y²) dy from A(0, 0) to B(1, 2) along (a) a straight line, (b) the parabola y = 2x².

Since we already know F is conservative, the integral should depend only on endpoints. Using f = x²y + x + y³:

I = f(1, 2) − f(0, 0) = (1² × 2 + 1 + 2³) − 0 = 2 + 1 + 8 = 11

Let us verify along the straight line. Let r(t) = (t, 2t), 0 ≤ t ≤ 1. Then dx = dt, dy = 2 dt. The integrand becomes:

[(2(t)(2t) + 1) + (t² + 3(2t)²)(2)] dt = (4t² + 1 + 2t² + 24t²) dt = (30t² + 1) dt

于是 ∫01 (30t² + 1) dt = 10 + 1 = 11。两条路径所得结果一致,正是路径无关性的体现。

计算 I = ∫C (2xy + 1) dx + (x² + 3y²) dy,从 A(0, 0) 到 B(1, 2),分别沿 (a) 直线,(b) 抛物线 y = 2x²。

既然已知 F 保守,积分应只依赖端点。利用 f = x²y + x + y³:

I = f(1, 2) − f(0, 0) = (1² × 2 + 1 + 2³) − 0 = 2 + 1 + 8 = 11

让我们沿直线验证。令 r(t) = (t, 2t),0 ≤ t ≤ 1。则 dx = dt,dy = 2 dt。被积表达式为:

[(2(t)(2t) + 1) + (t² + 3(2t)²)(2)] dt = (4t² + 1 + 2t² + 24t²) dt = (30t² + 1) dt

于是 ∫01 (30t² + 1) dt = 10 + 1 = 11。两条路径所得结果一致,正是路径无关性的体现。


9. Non-Exact Forms and Path Dependence | 非恰当形式与路径依赖性

Not every differential form is exact. Consider F = −y i + x j. Then P = −y, Q = x, so ∂P/∂y = −1 and ∂Q/∂x = 1. Since they are not equal, there is no potential function.

If we integrate F around the unit circle r(t) = (cos t, sin t), 0 ≤ t ≤ 2π, then dr = (−sin t i + cos t j) dt and F · dr = sin²t + cos²t = 1. Therefore:

C F · dr = ∫0 1 dt = 2π ≠ 0

This nonzero circulation shows the integral is not path independent.

并非所有微分形式都是恰当的。考虑 F = −y i + x j。则 P = −y,Q = x,故 ∂P/∂y = −1,∂Q/∂x = 1。二者不相等,因此不存在势函数。

如果沿单位圆 r(t) = (cos t, sin t),0 ≤ t ≤ 2π 积分,则 dr = (−sin t i + cos t j) dt,F · dr = sin²t + cos²t = 1。因此:

C F · dr = ∫0 1 dt = 2π ≠ 0

这个非零环量表明积分与路径有关。


10. Simply Connected Regions and Green’s Theorem | 单连通区域与格林定理

The equivalence between path independence and ∂P/∂y = ∂Q/∂x requires the region to be simply connected: no holes, so every closed curve in D can be continuously shrunk to a point without leaving D.

If D is simply connected and ∂P/∂y = ∂Q/∂x everywhere in D, then by Green’s theorem:

C P dx + Q dy = ∬R (∂Q/∂x − ∂P/∂y) dA = 0

Thus the integral around every closed curve is zero, which implies path independence. If the region contains a hole, the condition is not sufficient.

路径无关与 ∂P/∂y = ∂Q/∂x 之间的等价性要求区域是单连通的:没有空洞,即 D 中任意闭曲线都能连续收缩为一点且不离开 D。

若 D 单连通且处处有 ∂P/∂y = ∂Q/∂x,则根据格林定理:

C P dx + Q dy = ∬R (∂Q/∂x − ∂P/∂y) dA = 0

于是任意闭曲线积分为零,从而路径无关。若区域有洞,该条件不再充分。


11. Common IB Exam Pitfalls | IB考试常见失分点

Students often make the following errors:

  • Forgetting to check the domain before applying ∂P/∂y = ∂Q/∂x; the function may be undefined at points inside the region.
  • When reconstructing f, writing g(y) but forgetting to differentiate with respect to y, then incorrectly setting g'(y) = 0.
  • Mixing up the order of partial derivatives: the test requires ∂P/∂y = ∂Q/∂x, not ∂P/∂x = ∂Q/∂y.
  • Using path independence before verifying exactness. For non-conservative fields, each path requires separate parameterization and integration.
  • Omitting the arbitrary constant in the potential function, which is harmless for definite integrals but often penalized in “find f” questions.

学生常犯以下错误:

  • 应用 ∂P/∂y = ∂Q/∂x 前忽略检查定义域;函数可能在区域内部某些点无定义。
  • 重构 f 时写出 g(y),却忘记对其关于 y 求导,错误地令 g'(y) = 0。
  • 混淆偏导顺序:检验条件是 ∂P/∂y = ∂Q/∂x,而不是 ∂P/∂x = ∂Q/∂y。
  • 在未验证恰当性之前就使用路径无关。对非保守场,每条路径都必须单独参数化并积分。
  • 求势函数时遗漏任意常数。虽然定积分中不影响结果,但在“求 f”的题目中常被扣分。

12. Summary Table | 总结表

Concept | 概念 Condition | 条件 Consequence | 结论
F = ∇f
梯度场
∃ f: ∂f/∂x = P, ∂f/∂y = Q Path independent | 路径无关
Exact differential
恰当微分
∂P/∂y = ∂Q/∂x (in simply connected domain) Potential f exists | 势函数存在
Closed loop integral C P dx + Q dy = 0 for all C Equivalent to path independence | 与路径无关等价

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课程辅导,国外大学本科硕士研究生博士课程论文辅导Cancel reply

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

Exit mobile version