📚 Differential Forms and Solving First-Order Equations | 微分形式与一阶方程求解
In IB Mathematics Analysis and Approaches Higher Level (AA HL), the study of differential equations is a cornerstone of calculus. Understanding the language of differential forms — expressions of the type M(x, y)dx + N(x, y)dy — is essential for classifying and solving first-order differential equations systematically. This article provides a rigorous yet accessible guide to mastering these techniques for your exams.
在IB数学分析与方法（AA HL）课程中，微分方程是微积分学习的基石。理解微分形式的语言——即形如 M(x, y)dx + N(x, y)dy 的表达式——对于系统性地分类和求解一阶微分方程至关重要。本文旨在提供一份严谨且易于理解的指南，帮助你掌握这些应试核心技巧。
1. What is a Differential Form? | 什么是微分形式？
A differential form in two variables is an expression of the form ω = M(x, y)dx + N(x, y)dy, where M and N are functions of x and y. This expression is not merely a notation; it encodes how a quantity changes along a path in the xy-plane. When a form equals zero, M(x, y)dx + N(x, y)dy = 0, it defines a relationship between x and y that we aim to solve.
二元微分形式是形如 ω = M(x, y)dx + N(x, y)dy 的表达式，其中 M 和 N 是关于 x 和 y 的函数。这一表达式不仅是符号记法，更编码了某个量在 xy 平面沿路径变化的信息。当一个微分形式等于零时，即 M(x, y)dx + N(x, y)dy = 0，它便定义了 x 与 y 之间的一种关系，而我们的目标正是求解这种关系。
A crucial distinction exists between exact and inexact differentials. A form is exact if there exists a function F(x, y) such that dF = M dx + N dy, meaning the form represents the total differential of some scalar potential function. For an exact form, the mixed partial derivatives of F must be equal, giving us the integrability condition:
精确微分与不精确微分之间存在关键区别。若存在某个函数 F(x, y) 使得 dF = M dx + N dy，则该微分形式是精确的，这意味着该形式代表了某个标量势函数的全微分。对于精确形式，F 的混合偏导数必须相等，由此我们得到可积性条件：
∂M/∂y = ∂N/∂x
This condition is not just a theoretical nicety; it is a practical test that determines which solution method to apply. In IB examinations, recognizing whether a given equation is exact or inexact is often the first and most decisive step.
这一条件不仅仅是理论上的优雅结论，更是决定应采用何种求解方法的实用检验。在IB考试中，识别给定方程是精确还是不精确，往往是首要且最具有决定性的步骤。
2. First-Order Differential Equations Revisited | 回顾一阶微分方程
A first-order differential equation can be written in differential form as M(x, y)dx + N(x, y)dy = 0. Alternatively, solving for dy/dx gives the slope-field form: dy/dx = f(x, y) = −M/N. Both representations are equivalent, but each lends itself to different solution strategies.
一阶微分方程可以写成微分形式 M(x, y)dx + N(x, y)dy = 0。或者，解出 dy/dx 可得到斜率场形式：dy/dx = f(x, y) = −M/N。这两种表述是等价的，但各自适用于不同的求解策略。
IB candidates must be fluent in converting between these forms quickly. For instance, the equation dy/dx = x/y is equivalently written as x dx − y dy = 0. Mastery of this algebraic flexibility ensures that you can recognize the underlying structure of an equation even when it is presented in a non-standard way.
IB考生必须熟练掌握这两种形式之间的快速转换。例如，方程 dy/dx = x/y 等价地可以写作 x dx − y dy = 0。掌握这种代数灵活性，可以确保即使方程以非标准形式呈现，你也能识别其内在结构。
Standard classifications include separable equations, first-order linear equations, exact equations, and homogeneous equations. Each class has a dedicated, algorithmic solution method, and much of exam success hinges on correctly classifying the equation before attempting a solution.
标准的分类包括可分离变量方程、一阶线性方程、恰当方程和齐次方程。每一类都有专门、算法化的求解方法，考试成败的关键很大程度上在于在动笔求解前正确地对方程进行分类。
3. Separable Equations | 可分离变量方程
A first-order equation is separable if it can be written in the form g(y) dy = h(x) dx, with all y-dependence on one side and all x-dependence on the other. In differential form, this means M(x, y)dx + N(x, y)dy = 0 where M depends only on x and N only on y (after possible algebraic manipulation).
如果一个一阶方程可以写成 g(y) dy = h(x) dx 的形式，即所有含 y 的项在一边、所有含 x 的项在另一边，则该方程是可分离变量的。用微分形式表达，这意味着在 M(x, y)dx + N(x, y)dy = 0 中，M 仅依赖于 x，N 仅依赖于 y（经过可能的代数变形后）。
The solution method is direct: integrate both sides. ∫g(y) dy = ∫h(x) dx + C. The key mathematical justification comes from the chain rule — treating dy and dx as differentials and integrating with respect to the appropriate variable is valid because the equation expresses a balance of rates.
求解方法很直接：两边积分。∫g(y) dy = ∫h(x) dx + C。其数学依据来自于链式法则——将 dy 和 dx 视为微分并对相应变量积分是合理的，因为方程表达的是变化率的平衡。
For example, consider dy/dx = 2xy. Rewriting, we get (1/y) dy = 2x dx. Integrating both sides yields ln|y| = x² + C, so y = Ae^(x²), where A = ±e^C. Such closed-form solutions are ideal answers in IB examinations. Always remember to include the constant of integration and to discuss the domain of validity by checking where the original equation is defined.
例如，考虑 dy/dx = 2xy。重写得到 (1/y) dy = 2x dx。两边积分得到 ln|y| = x² + C，因此 y = Ae^(x²)，其中 A = ±e^C。这类闭式解是IB考试中的理想答案。始终记得加上积分常数，并通过检查原方程的定义域来讨论解的适用范围。
In examinations, separability is often hidden. An equation like dy/dx = (y + 1)/(x − 2) might not look separable at first glance, but factoring or rearranging terms often reveals the structure: the variables can indeed be separated after algebraic manipulation.
在考试中，可分离性往往被隐藏起来。像 dy/dx = (y + 1)/(x − 2) 这样的方程乍看之下并不可分离，但通过因式分解或重新排列项，往往能揭示其结构：经过代数变换后，变量确实可以被分离。
4. First-Order Linear Equations and Integrating Factors | 一阶线性方程与积分因子
A first-order linear differential equation has the standard form dy/dx + P(x)y = Q(x). This equation is not generally separable, and in many cases it is not exact either. The power of this formulation lies in the method of integrating factors, which transforms a non-exact equation into an exact one.
一阶线性微分方程的标准形式是 dy/dx + P(x)y = Q(x)。这个方程通常既不可分离，也常常不是恰当的。这种表述的威力在于积分因子法，它能把非恰当方程转化为恰当方程。
The integrating factor is defined as I(x) = e^(∫P(x)dx). Multiplying both sides of the standard form by I(x) yields I(x)dy/dx + I(x)P(x)y = I(x)Q(x). The left-hand side now becomes an exact derivative:
积分因子的定义是 I(x) = e^(∫P(x)dx)。将标准形式两边乘以 I(x) 得到 I(x)dy/dx + I(x)P(x)y = I(x)Q(x)。此时左边恰好是一个精确导数：
d/dx [I(x) · y] = I(x) · Q(x)
Integrating both sides of this exact equation gives the general solution directly. This method is guaranteed to work for any first-order linear equation, making it one of the most reliable tools in your IB mathematics toolkit.
对这个恰当方程的两边积分，就能直接得到通解。这一方法对任何一阶线性方程都必然有效，使其成为你IB数学工具箱中最可靠的工具之一。
Worked example: Solve dy/dx + 2y = e^x. Here P(x) = 2, so I(x) = e^(2x). Multiplying through: e^(2x)dy/dx + 2e^(2x)y = e^(3x), i.e., d/dx [e^(2x)y] = e^(3x). Integrating yields e^(2x)y = (1/3)e^(3x) + C, hence y = (1/3)e^x + Ce^(−2x). Always verify the final solution by substituting back.
实例：求解 dy/dx + 2y = e^x。此处 P(x) = 2，所以 I(x) = e^(2x)。两边乘以积分因子：e^(2x)dy/dx + 2e^(2x)y = e^(3x)，即 d/dx [e^(2x)y] = e^(3x)。积分得 e^(2x)y = (1/3)e^(3x) + C，因此 y = (1/3)e^x + Ce^(−2x)。务必通过代回验证最终解。
5. Exact Differential Equations | 恰当微分方程
An equation in differential form M(x, y)dx + N(x, y)dy = 0 is exact on a simply connected region if and only if ∂M/∂y = ∂N/∂x. When this holds, there exists a function F(x, y) such that ∂F/∂x = M and ∂F/∂y = N, and the general solution is F(x, y) = C.
若微分形式 M(x, y)dx + N(x, y)dy = 0 满足 ∂M/∂y = ∂N/∂x，则该方程在单连通区域上是恰当的。当这一条件成立时，存在函数 F(x, y) 使得 ∂F/∂x = M 且 ∂F/∂y = N，通解为 F(x, y) = C。
The solution algorithm is structured. First, integrate M with respect to x, treating y as constant, to obtain F(x, y) = ∫M dx + g(y). The “constant” of integration is an unknown function of y because differentiation with respect to x annihilates any function of y alone. Next, differentiate this expression with respect to y and equate it to N to determine g'(y). Finally, integrate to find g(y).
求解算法是结构化的。首先，将 y 视作常数，对 M 关于 x 积分，得到 F(x, y) = ∫M dx + g(y)。这里的积分“常数”是一个关于 y 的待定函数，因为对 x 求导会消去任何仅含 y 的函数。接下来，对该表达式关于 y 求偏导，并令其等于 N，以确定 g'(y)。最后，积分求出 g(y)。
Consider (2xy + 1)dx + (x² + 3y²)dy = 0. Here ∂M/∂y = 2x and ∂N/∂x = 2x, so the equation is exact. Integrating M gives F = x²y + x + g(y). Differentiating with respect to y: ∂F/∂y = x² + g'(y) = x² + 3y², so g'(y) = 3y² and g(y) = y³. The general solution is x²y + x + y³ = C.
考虑 (2xy + 1)dx + (x² + 3y²)dy = 0。这里 ∂M/∂y = 2x 且 ∂N/∂x = 2x，方程是恰当的。对 M 积分得 F = x²y + x + g(y)。关于 y 求偏导：∂F/∂y = x² + g'(y) = x² + 3y²，所以 g'(y) = 3y²，g(y) = y³。通解为 x²y + x + y³ = C。
6. Making a Non-Exact Equation Exact | 将非恰当方程化为恰当方程
Often, an equation that fails the exactness test can be made exact by multiplying by a carefully chosen integrating factor. For an equation M dx + N dy = 0 where ∂M/∂y − ∂N/∂x depends only on x, an integrating factor μ(x) = e^(∫((∂M/∂y − ∂N/∂x)/N)dx) exists. Similarly, if the same expression divided by M is a function of y alone, an integrating factor μ(y) can be constructed.
通常，一个未通过恰当性检验的方程可以通过乘以精心选择的积分因子而化为恰当方程。对于方程 M dx + N dy = 0，若 (∂M/∂y − ∂N/∂x)/N 仅依赖于 x，则存在积分因子 μ(x) = e^(∫((∂M/∂y − ∂N/∂x)/N)dx)。类似地，若该表达式除以 M 后仅依赖于 y，则可构造积分因子 μ(y)。
This technique bridges the gap between the exact and inexact worlds. In particular, the linear first-order equation dy/dx + P(x)y = Q(x), rewritten as (P(x)y − Q(x))dx + dy = 0, is non-exact in general. The integrating factor prescribed above reduces exactly to the familiar e^(∫P(x)dx).
这一技巧弥合了恰当与非恰当方程之间的鸿沟。特别地，一阶线性方程 dy/dx + P(x)y = Q(x) 可以改写为 (P(x)y − Q(x))dx + dy = 0，通常在一般情形下是非恰当的。上述方法规定的积分因子恰好化归为我们熟悉的 e^(∫P(x)dx)。
In IB problems, you may encounter equations like (3xy − y²)dx + x(x − y)dy = 0. Computing ∂M/∂y = 3x − 2y and ∂N/∂x = 2x − y, the difference is x − y, which is not identically zero. Testing whether a purely x- or y-based integrating factor exists requires evaluating the relevant quotient and checking for independence of the other variable.
在IB题目中，你可能会遇到像 (3xy − y²)dx + x(x − y)dy = 0 这样的方程。计算 ∂M/∂y = 3x − 2y 和 ∂N/∂x = 2x − y，差为 x − y，并不恒为零。要判断是否存在仅依赖于 x 或仅依赖于 y 的积分因子，需要计算相关商式并检验是否与另一变量无关。
7. Homogeneous First-Order Equations | 齐次一阶方程
A differential equation is homogeneous if both M and N are homogeneous functions of the same degree. Practically, this means that M(tx, ty) = tⁿM(x, y) and N(tx, ty) = tⁿN(x, y) for some degree n, or equivalently, the equation can be written in the form dy/dx = f(y/x).
若微分方程中的 M 和 N 都是同次数的齐次函数，则称该方程为齐次方程。具体而言，若存在次数 n 使得 M(tx, ty) = tⁿM(x, y) 和 N(tx, ty) = tⁿN(x, y)，或者等价地，方程可以写成 dy/dx = f(y/x) 的形式，则该方程是齐次的。
The substitution y = vx, or equivalently v = y/x, transforms a homogeneous equation into a separable one. Since dy/dx = v + x dv/dx, the equation dy/dx = f(v) becomes v + x dv/dx = f(v), which is separable in v and x.
代换 y = vx（等价地 v = y/x）可把齐次方程变换为可分离变量的方程。因为 dy/dx = v + x dv/dx，方程 dy/dx = f(v) 可化为 v + x dv/dx = f(v)，这关于 v 和 x 是可分离的。
Worked example: Solve dy/dx = (x² + y²)/(xy). Rewritten, dy/dx = x/y + y/x. Let y = vx, so dy/dx = v + x dv/dx. Substituting: v + x dv/dx = 1/v + v, hence x dv/dx = 1/v. Separating: v dv = dx/x. Integrating: v²/2 = ln|x| + C. Substituting back v = y/x yields y² = 2x²(ln|x| + C). Always remember to state the substitution explicitly.
实例：求解 dy/dx = (x² + y²)/(xy)。重写为 dy/dx = x/y + y/x。设 y = vx，则 dy/dx = v + x dv/dx。代入得：v + x dv/dx = 1/v + v，因此 x dv/dx = 1/v。分离变量：v dv = dx/x。积分：v²/2 = ln|x| + C。代回 v = y/x 得到 y² = 2x²(ln|x| + C)。始终记得明确写出代换过程。
8. Initial Value Problems and Boundary Conditions | 初值问题与边界条件
A general solution contains an arbitrary constant and represents a family of curves. An initial value problem (IVP) specifies a single point (x₀, y₀) through which the solution curve must pass, allowing the determination of the arbitrary constant. This converts a family of solutions into a single, particular solution.
通解含有任意常数，代表一族曲线。初值问题（IVP）指定了解曲线必须通过的唯一点 (x₀, y₀)，从而可以确定任意常数。这把一族解转化为唯一的特解。
Substituting the initial condition into the general solution yields an algebraic equation in C, which is typically trivial to solve. However, subtle issues can arise concerning the interval of validity. For example, a solution involving ln|y| is not valid where y = 0, even if the initial condition is positive. The IB syllabus expects careful attention to these domain restrictions.
将初值条件代入通解可得到一个关于 C 的代数方程，求解通常很简单。然而，关于解的有效区间可能出现微妙的问题。例如，包含 ln|y| 的解在 y = 0 处不成立，即使初值条件为正。IB大纲要求仔细关注这些定义域限制。
Consider dy/dx = 2xy with y(0) = 3. From earlier work, the general solution is y = Ae^(x²). Substituting x = 0, y = 3 yields A = 3, so the particular solution is y = 3e^(x²). This solution is valid for all real x, as the original equation imposes no singularity.
考虑 dy/dx = 2xy 且 y(0) = 3。根据前述，通解为 y = Ae^(x²)。代入 x = 0，y = 3 得 A = 3，故特解为 y = 3e^(x²)。由于原方程不含有奇点，该解对所有实数 x 均成立。
9. Applications in Modelling | 建模应用
First-order differential equations model a vast array of real-world phenomena: population growth (logistic and exponential models), radioactive decay, Newton’s law of cooling, continuous compound interest, and mixing problems, among many others. In each case, the differential equation arises from a fundamental physical or economic law, and solving it provides predictive power.
一阶微分方程可以建模大量的现实世界现象：人口增长（逻辑斯蒂和指数模型）、放射性衰变、牛顿冷却定律、连续复利以及混合问题等。在每种情形下，微分方程都源于基本的物理或经济定律，求解它就获得了预测能力。
Newton’s law of cooling, dT/dt = −k(T − T_env), is both linear and separable, illustrating how the same equation can be approached from multiple perspectives. The temperature difference T − T_env decays exponentially, with larger k indicating faster equilibration. IB exam questions often require translating a verbal statement into this differential equation first.
牛顿冷却定律 dT/dt = −k(T − T_env) 既是线性的又是可分离的，展示了同一方程如何从多个角度求解。温差 T − T_env 呈指数衰减，k 越大表示达到平衡越快。IB考试题目通常要求先将文字描述转化为这个微分方程。
Consider a mixing problem where a tank contains a salt solution. If the inflow rate and concentration are constant, the amount of salt y(t) satisfies dy/dt = rate_in − rate_out = R_in · C_in − (R_out/V)y, a first-order linear equation solvable by integrating factors. Such problems consolidate multiple topic areas into one coherent application.
考虑一个混合问题：容器中有盐溶液。如果流入速率和浓度恒定，盐量 y(t) 满足 dy/dt = 流入速率 − 流出速率 = R_in · C_in − (R_out/V)y，这是一个一阶线性方程，可用积分因子法求解。此类问题将多个主题领域整合为一个连贯的应用。
10. Common Pitfalls and Exam Strategies | 常见陷阱与应试策略
Misclassification is the most frequent error in IB examinations. Attempting a separable solution on a non-separable equation, or applying the exact-equation method without verifying ∂M/∂y = ∂N/∂x, wastes time and produces incorrect results. Always classify the equation first, before choosing a solution method.
分类错误是IB考试中最常见的错误。在不可分离的方程上尝试可分离变量法，或未验证 ∂M/∂y = ∂N/∂x 就应用恰当方程法，都会浪费时间并产生错误结果。务必先对方程进行分类，再选择求解方法。
Forgetting the constant of integration is a catastrophic omission. The constant is not an optional extra; it is an essential part of the general solution. Additionally, when integrating both sides of a separable equation, it is standard practice to combine both constants into a single arbitrary constant C on the right-hand side.
忘记积分常数是致命的遗漏。常数不是可选项，而是通解的必要组成部分。此外，对可分离方程的两边积分时，标准做法是将两边的常数合并为右边的单一任意常数 C。
Another common pitfall is confusing the initial point with a point on the equilibrium solution. For logistic growth dy/dt = ky(1 − y/L), there are constant solutions y = 0 and y = L. If the initial value is exactly at either equilibrium, the solution remains constant; do not attempt to substitute into a general formula that may have a different domain.
另一个常见陷阱是将初始点与平衡解上的点混淆。对于逻辑斯蒂增长 dy/dt = ky(1 − y/L)，存在常数解 y = 0 和 y = L。如果初始值恰好处于某个平衡态，解将保持常数；不要试图代入可能具有不同定义域的通用公式。
Examiners are also known to test differential equations in the context of the “show that” question. You may be given the form of a solution and asked to verify it, often by differentiating and substituting. This requires meticulous attention to the chain rule and algebraic simplification.
考官也常在“证明（show that）”题中考查微分方程。题目可能给出解的形式，要求你验证它，通常是通过求导和代换。这要求对链式法则和代数化简给予一丝不苟的关注。
11. Verification and Interpretation of Solutions | 解的验证与诠释
The IB mark scheme often rewards demonstrating that a derived solution indeed satisfies the original differential equation. Verification is an indispensable final step. Given a claimed solution y(x), compute dy/dx and substitute both y and dy/dx back into the original equation, confirming that the identity holds.
IB的评分方案通常奖励证明所求得解确实满足原微分方程这一步。验证是不可或缺的最后步骤。对于声称的解 y(x)，计算 dy/dx 并将 y 和 dy/dx 一并代入原方程，确认等式恒成立。
Verification catches algebraic slips, sign errors, and erroneous constant placement. For example, if you solve dy/dx = x/y and obtain y² = x² + C, differentiation yields 2y dy/dx = 2x, which correctly simplifies to dy/dx = x/y. Such checks take less than a minute and can safeguard marks.
验证能捕捉代数失误、符号错误和常数放置错误。例如，如果你求解 dy/dx = x/y 得到 y² = x² + C，求导得 2y dy/dx = 2x，正确化简后即为 dy/dx = x/y。这样的检查只需不到一分钟，却能保障分数。
Beyond verification, interpretation matters. A negative rate constant in an exponential model is unphysical in contexts describing growth; an absent constant of integration produces a solution missing from the family. Trained mathematical intuition — built through practice — is your best defense against subtle mistakes.
除了验证之外，诠释同样重要。在描述增长的背景中，指数模型中的负速率常数是不合物理的；遗漏积分常数会导致解在解族中缺失。通过练习培养的数学直觉是你应对细微错误的最佳防御。
12. Mastery Through Practice | 通过练习达到精通
Differential forms and first-order equations reward systematic practice. Begin by classifying a list of equations without solving them: identify which are separable, which are linear, which are exact, which need an integrating factor, and which are homogeneous. This classification drill builds pattern recognition that transfers directly to exam conditions.
微分形式和一阶方程偏爱系统性的训练。首先在不求解的情况下对一组方程进行分类：识别哪些是可分离的、哪些是线性的、哪些是恰当的、哪些需要积分因子、哪些是齐次的。这种分类练习能培养模式识别能力，直接转化为考试中的表现。
When solving, always adopt a structured routine: (1) identify the equation type; (2) choose the corresponding method; (3) apply the algorithm step-by-step; (4) check the domain of validity; (5) verify the final solution. This discipline reduces careless errors and boosts confidence.
求解时，始终遵循结构化的常规程序：（1）识别方程类型；（2）选择相应方法；（3）逐步应用算法；（4）检查有效域；（5）验证最终解。这种纪律性可以减少粗心错误并增强信心。
Finally, remember that the arbitrary constant is not a nuisance but a feature: it represents the infinite family of solutions from which a particular one is selected by initial conditions. Embrace this interpretation, and the structure of differential equations — from the differential form to the closed-form solution — becomes a powerful lens through which to view both pure and applied mathematics.
最后，请记住，任意常数不是麻烦，而是一个特点：它代表由初始条件选取特定解的那个无限解族。拥抱这一诠释，微分方程的结构——从微分形式到闭式解——将成为你透视纯数学和应用数学的有力透镜。
Published by TutorHao | IB Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
屏轩国际教育cambridge primary/secondary checkpoint, cat4, ukiset,ukcat,igcse,alevel,PAT,STEP,MAT, ibdp,ap,ssat,sat,sat2课程辅导，国外大学本科硕士研究生博士课程论文辅导