Separable Integrals | 可分离积分

📚 Separable Integrals | 可分离积分

In the study of differential equations, one of the most fundamental techniques is solving first-order equations by separating variables. This method transforms a differential equation into a pair of integrals — hence the term “separable integrals”. Mastering separable integrals is crucial for understanding exponential growth, decay, and many other physical and economic models.

在微分方程的学习中，最基本的技术之一就是通过分离变量来求解一阶方程。这种方法将微分方程转化为一对积分——因此称为“可分离积分”。掌握可分离积分对于理解指数增长、衰减以及许多其他物理和经济模型至关重要。

1. What are Separable Integrals? | 什么是可分离积分？

A first-order ordinary differential equation (ODE) is called separable if it can be written in the form dy/dx = f(x)g(y), where f is a function of x only and g is a function of y only. The phrase “separable integrals” refers to the two integrals that arise after separating the variables: one involving y with respect to dy, the other involving x with respect to dx. This technique is a cornerstone of calculus and essential for IB Mathematics analysis and approaches or applications and interpretation, particularly in modelling real-world phenomena.

一阶常微分方程如果可以写成 dy/dx = f(x)g(y) 的形式，其中 f 仅是 x 的函数，g 仅是 y 的函数，就称为可分离的。“可分离积分”指分离变量后产生的两个积分：一个涉及 y 和 dy，另一个涉及 x 和 dx。该技巧是微积分的基石，对于 IB 数学分析与方法或应用与解释至关重要，尤其在现实世界现象的建模中。

2. Identifying Separable Equations | 识别可分离方程

To identify a separable ODE, check whether the derivative can be expressed as a product of a pure x‑function and a pure y‑function. For example, dy/dx = x²y³ is separable, but dy/dx = x + y is not, because the sum cannot be factored into f(x)·g(y). Sometimes algebraic manipulation can reveal a separable structure, such as rewriting dy/dx = (x+xy)/y = x(1+y)/y, which is separable.

要识别可分离常微分方程，检查导数是否可以写成一个纯 x 函数与一个纯 y 函数的乘积。例如，dy/dx = x²y³ 是可分离的，但 dy/dx = x + y 不可分离，因为和无法分解为 f(x)·g(y)。有时代数变换可揭示可分离结构，例如将 dy/dx = (x+xy)/y 改写为 x(1+y)/y，便是可分离的。

3. The General Separation Method | 一般分离方法

Given dy/dx = f(x)g(y), provided g(y) ≠ 0, rewrite as (1/g(y)) dy = f(x) dx. Then integrate both sides: ∫ (1/g(y)) dy = ∫ f(x) dx. This yields an implicit relationship between x and y, plus an integration constant C. To obtain an explicit solution y = h(x), solve for y if possible. Always include the constant of integration immediately, as missing it is a common source of error.

给定 dy/dx = f(x)g(y)，假设 g(y) ≠ 0，可重写为 (1/g(y)) dy = f(x) dx。然后两边积分：∫ (1/g(y)) dy = ∫ f(x) dx。这样得到 x 和 y 之间的隐式关系，外加积分常数 C。要获得显式解 y = h(x)，如果可能就解出 y。务必立即加上积分常数，遗漏它是常见的错误来源。

A table of common integrals can be helpful when applying this method. Below are typical integrands encountered in separable ODEs:

应用该方法时，常见积分表很有帮助。以下是可分离微分方程中常见的被积函数：

g(y) form	∫ (1/g(y)) dy	f(x) form	∫ f(x) dx
y	ln|y|	k (constant)	kx
yⁿ (n ≠ -1)	y¹⁻ⁿ/(1-n)	xⁿ	xⁿ⁺¹/(n+1)
sin y	-ln|csc y + cot y|	cos x	sin x
1+y²	arctan y	1/(1+x²)	arctan x

4. Step-by-Step Example: dy/dx = 2xy | 分步示例：dy/dx = 2xy

Let us solve the equation dy/dx = 2xy. This is clearly separable with f(x)=2x and g(y)=y. Separating variables gives (1/y) dy = 2x dx, assuming y ≠ 0. Integrate both sides: ∫ (1/y) dy = ∫ 2x dx, which leads to ln|y| = x² + C₁. Exponentiating both sides yields |y| = e^(x²+C₁) = e^C₁ · e^(x²). Let A = ± e^C₁ (a nonzero constant), so the general solution is y = A e^(x²). If an initial condition is given, say y(0)=3, substitute to find A: 3 = A e^0 ⇒ A = 3, thus y = 3 e^(x²). Note that y=0 is also a solution, which we retrieve formally by allowing A=0.

我们来求解方程 dy/dx = 2xy。该方程显然可分离，f(x)=2x，g(y)=y。分离变量得 (1/y) dy = 2x dx，假设 y ≠ 0。两边积分：∫ (1/y) dy = ∫ 2x dx，得到 ln|y| = x² + C₁。两边指数化：|y| = e^(x²+C₁) = e^C₁ · e^(x²)。令 A = ± e^C₁（非零常数），通解为 y = A e^(x²)。如有初始条件 y(0)=3，代入得 A = 3，因此 y = 3 e^(x²)。注意 y=0 也是一个解，若允许 A=0，即可统一表示。

5. Handling the Constant of Integration | 处理积分常数

The constant of integration can appear in different forms. In the previous example we used C₁ for the initial constant, then renamed A = ± e^C₁ after exponentiation. It is perfectly valid to write ln|y| = x² + C and then directly state y = C’ e^(x²) with a new constant C’ = ± e^C. Always clearly define new constants when simplifying, and be aware that C and C’ represent different quantities. Another useful trick is to apply the initial condition before exponentiating to avoid dealing with absolute values and signs unnecessarily.

积分常数能以不同形式出现。上例中我们先用了 C₁，指数化后重命名为 A = ± e^C₁。完全可以写成 ln|y| = x² + C，然后直接表述为 y = C’ e^(x²) 并定义新常数 C’ = ± e^C。简化时始终明确定义新常数，并注意 C 和 C’ 代表不同量。另一个常用技巧是在指数化前应用初始条件，以避免不必要的绝对值和符号处理。

6. Absolute Values and Lost Solutions | 绝对值与丢失的解

When integrating 1/y we obtain ln|y|. The absolute value ensures the logarithm’s domain coverage. When solving, we often combine ± from the absolute value into the arbitrary constant. However, one must be cautious: dividing the equation by g(y) may lose solutions where g(y)=0. For dy/dx = 2xy, y=0 makes g(y)=0. Substituting y=0 into the original ODE gives 0 = 0, so it is indeed a solution. Always check for such singular or equilibrium solutions separately.

积分 1/y 时得到 ln|y|。绝对值确保了对数定义域的覆盖。求解时，通常将绝对值产生的 ± 合并到任意常数中。然而需注意：方程除以 g(y) 可能丢失 g(y)=0 的解。对于 dy/dx = 2xy，y=0 使 g(y)=0。将 y=0 代入原方程得 0=0，因此它确实是一个解。务必单独检查这类奇异解或平衡解。

7. Initial Conditions and Particular Solutions | 初始条件与特解

An initial condition like y(x₀) = y₀ picks out one particular solution from the family. Substitute x₀ and y₀ into the general solution and solve for the constant. If the general solution is implicit, you may need to solve simultaneously with the initial condition. For example, for dy/dx = y sin x, separation gives ∫ (1/y) dy = ∫ sin x dx ⇒ ln|y| = -cos x + C. Using y(π/2) = 2 gives ln 2 = -0 + C ⇒ C = ln 2, so ln|y| = -cos x + ln 2 ⇒ y = 2e^(-cos x).

初始条件如 y(x₀) = y₀ 从曲线族中选出一个特解。将 x₀ 和 y₀ 代入通解并解出常数。如果通解是隐式的，可能需要与初始条件联立。例如，dy/dx = y sin x，分离得 ∫ (1/y) dy = ∫ sin x dx ⇒ ln|y| = -cos x + C。利用 y(π/2) = 2 得 ln 2 = -0 + C ⇒ C = ln 2，于是 ln|y| = -cos x + ln 2 ⇒ y = 2e^(-cos x)。

8. Applications: Exponential Growth and Decay | 应用：指数增长与衰减

The most famous separable ODE is dy/dt = ky, modelling unchecked population growth (k>0) or radioactive decay (k<0). Separation gives ∫ (1/y) dy = ∫ k dt ⇒ ln|y| = kt + C ⇒ y = A e^(kt). If initial amount y(0)=y₀, then A=y₀. This leads to the classic formula y = y₀ e^(kt). Doubling time for growth is (ln 2)/k; half-life for decay is also (ln 2)/|k|. This model appears frequently in IB exam questions.

最著名的可分离常微分方程是 dy/dt = ky，用于模拟无限制的人口增长（k>0）或放射性衰变（k<0）。分离变量得 ∫ (1/y) dy = ∫ k dt ⇒ ln|y| = kt + C ⇒ y = A e^(kt)。若初始量 y(0)=y₀，则 A=y₀，从而得到经典公式 y = y₀ e^(kt)。增长时的倍增时间为 (ln 2)/k；衰减时的半衰期也是 (ln 2)/|k|。该模型在 IB 考试题目中频繁出现。

9. Applications: Newton’s Law of Cooling | 应用：牛顿冷却定律

Newton’s Law of Cooling states that the rate of temperature change of an object is proportional to the difference between its temperature T and the ambient temperature Tₐ. This gives dT/dt = -k (T – Tₐ), which is separable. Let y = T – Tₐ, then dy/dt = -k y, leading to y = y₀ e^(-kt). The temperature decreases exponentially towards Tₐ. Such problems often require careful handling of initial temperatures and solving for unknown constants.

牛顿冷却定律指出，物体温度变化率与其温度 T 与环境温度 Tₐ 之差成正比。由此得到 dT/dt = -k(T – Tₐ)，该方程可分离。令 y = T – Tₐ，则 dy/dt = -k y，解得 y = y₀ e^(-kt)，温度按指数规律趋近于 Tₐ。这类题目常需小心处理初始温度并求解未知常数。

10. Common Mistakes and How to Avoid Them | 常见错误及避免方法

Even experienced students can stumble with separable integrals. Frequent mistakes include: forgetting the integration constant entirely; mishandling the absolute value when exponentiating (leading to sign errors); dividing by g(y) without checking for g(y)=0 solutions; misapplying the initial condition (e.g., plugging into the separated but unintegrated form); and algebraic slip-ups when solving for y explicitly. To avoid these, always integrate first, add the constant, then simplify, and finally check that the solution satisfies the original ODE.

即使有经验的学生也可能在可分离积分上犯错。常见错误包括：完全忘记积分常数；指数化时处理绝对值不当（导致符号错误）；在未检查 g(y)=0 解的情况下除以 g(y)；错误应用初始条件（例如代入已分离但未积分的形式）；以及显式解 y 时代数计算错误。为避免这些，始终先积分，添加常数，然后简化，最后检查解是否满足原方程。

11. Verifying Your Solution | 验证解

Verification is an essential step. Differentiate your explicit solution y = h(x) and compare with the original ODE. For implicit solutions, use implicit differentiation. For example, for the solution y = A e^(x²), differentiation gives dy/dx = A e^(x²) · 2x = 2x y, which matches dy/dx = 2x y. If the equation is not satisfied, trace back to find the error. Verification also confirms whether lost solutions have been correctly identified.

验证是关键步骤。对显式解 y = h(x) 求导，并与原方程比较。对隐式解，使用隐函数求导。例如，解 y = A e^(x²) 求导得 dy/dx = A e^(x²)·2x = 2x y，匹配原方程 dy/dx = 2x y。若不满足，回溯查找错误。验证还能确认丢失的解是否被正确识别。

12. Summary and Graphical Insight | 总结与图形理解

Separable integrals are a powerful tool for solving first-order ODEs of the form dy/dx = f(x)g(y). The method boils down to separating variables, integrating both sides, and applying initial conditions. Graphically, the general solution represents a family of curves; an initial condition picks one curve. Slope field diagrams illustrate these families. For instance, dy/dx = 2xy yields a slope field where curves with larger |y| grow steeper, and the particular solution through (0,3) is a single curve in that field. Understanding the geometry deepens intuition and aids problem-solving.

可分离积分是求解形如 dy/dx = f(x)g(y) 的一阶常微分方程的有力工具。该方法归结为分离变量、两边积分并应用初始条件。图形上，通解代表一族曲线；初始条件选出一条特定曲线。斜率场图展示了这些曲线族。例如，dy/dx = 2xy 的斜率场中，|y| 较大的曲线斜率更陡，而通过 (0,3) 的特解则是该场中的一条曲线。理解几何意义能加深直觉并有助于解题。

Published by TutorHao | Mathematics Revision Series | aleveler.com

更多咨询请联系16621398022（同微信）