跳转到内容

4.1 几类简单的微分方程

王绵森、马知恩主编高等教育出版社《工科数学分析基础(第三版)》大学本科 · 教材双语助读 (Alt+Y)

为了研究事物的运动变化规律,必须建立描述运动变化规律的函数关系。然而,在实际问题中,与问题有关的变量之间的函数关系往往很难直接建立,常常只能根据问题的具体含义和有关知识,得到未知函数及其导数(或微分)的关系式,然后设法由此关系式求出未知函数。这样的关系式就是微分方程,由此关系式求出未知函数就是解微分方程。前面讲过的已知导函数 f(x) 求其原函数 y=F(x)(或不定积分 ∫ f(x) dx = F(x) + C)的问题,实际上就是求解最简单的微分方程

(dy)/(dx) = f(x)

的问题。在实际问题中遇到的微分方程大都比较复杂,因此,研究微分方程理论及其求解方法就是我们面临的一个重要课题。本节主要讨论几类能直接利用积分方法求解的简单微分方程及其应用。

首先,通过两个简单的例子来说明有关微分方程的几个基本概念。

例 1.1 求曲线的方程

设一平面曲线通过 xOy 平面上的点 (1,2),曲线上任一点 (x,y) 处的切线斜率为 2x,求该曲线的方程。

解

设所求曲线的方程为 y=y(x),根据导数的几何意义,它应满足

(dy)/(dx) = 2x (或 dy = 2xdx)

这是一个含未知函数 y=y(x) 的导数(或微分)的关系式。两端对 x 积分得

y = ∫ 2xdx = x² + C

其中 C 是任意常数。根据题目要求,它还应满足附加条件

y|ₓ=1 = 2

将此条件代入上式即得 C=1,因此所求曲线的方程为

y = x² + 1
例 1.2 自由落体运动问题

设质量为 m 的质点从高度为 H 的地方自由下落(图 4.1),其初速度为 v₀。不考虑空气的阻力,试求质点在下落过程中高度 h 与时间 t 的关系。

图 4.1 自由落体运动模型

解

设质点开始下落的时刻为 t=0,在任意时刻 t,质点的高度为 h=h(t),则由 Newton 第二定律,h 应满足

m (d²h)/(dt²) = -mg 或 (d²h)/(dt²) = -g

对上式两次积分可得

h(t) = -1/2gt² + C₁t + C₂

其中 C₁ 与 C₂ 是两个任意常数。根据题意,还应满足两个附加条件

h|ₜ=0 = H, v = . (dh)/(dt) |ₜ=0 = v₀

将它们代入上式可得 C₁=v₀, C₂=H,因此所求的 h(t) 应为

h(t) = H - 1/2gt² + v₀t

(dy)/(dx) = 2x 与 (d²h)/(dt²) = -g 就是两个简单的微分方程。又如

ydx + xdy = 0, y'' + 2y' + 3y = eˣ, y'' + (y')³ = x

等都是微分方程。如果方程中的未知函数 y 是自变量 x 的一元函数,则称该方程为常微分方程。

微分方程中所含未知函数的最高阶导数(或微分)的阶数,称为该方程的阶。例如,(dy)/(dx) = 2x, ydx + xdy = 0 都是一阶微分方程,而 (d²h)/(dt²) = -g, y'' + 2y' + 3y = eˣ 与 y'' + (y')³ = x 都是二阶微分方程。

微分方程的解

满足微分方程的函数 y=y(x) 称为该方程的解。换句话说,如果将函数 y=y(x) 及其导数(或微分)代入微分方程,能使方程变为恒等式,那么,函数 y=y(x) 称为该方程的解。

例如 y=x²+C 与 y=x²+1 都是方程 (dy)/(dx) = 2x 的解;而 h=H-1/2gt²+v₀t 与 h=-1/2gt²+C₁t+C₂ 都是方程 (d²h)/(dt²) = -g 的解。

微分方程的通解
注

并非任何微分方程都有通解。例如,方程 y' + y² = 0 只有解 y=0,而 (y')² + 1 = 0 没有实解。今后若无特别声明,本书仅讨论微分方程的实解。

如果微分方程的解中含有任意常数,并且其中独立的任意常数的个数等于该方程的阶,则称这样的解为微分方程的通解。两个任意常数称为是独立的,是指它们不能通过运算合并成一个。例如,y=x²+C 与 h=-1/2gt²+C₁t+C₂ 分别是方程 (dy)/(dx) = 2x 与 (d²h)/(dt²) = -g 的通解。

注意

微分方程的通解不一定能包含方程的所有解。例如,读者不难验证,y = sin(x+C) 是方程 y' = √(1-y²) 的通解,y = ± 1 也是该方程的解,但不包含在上述通解中。

不难验证,h = -1/2gt² + C₁t 与 h = -1/2gt² + C₁ + 2C₂ 虽然都是二阶方程 (d²h)/(dt²) = -g 的解,但不是通解。这是因为前者只含一个任意常数,后者形式上虽然含有两个任意常数,但它们不独立,只要令 C = C₁ + 2C₂ 就合并成为一个任意常数了。

微分方程的通解反映了由该方程所描写的某一类运动过程的一般变化规律(例1.2 中的通解反映了自由落体运动中物体下落过程中高度 h 的一般变化规律),要确定某一具体运动过程的特定规律(例1.2 中质点自高为 t 的一般变化规律),要确定某一具体运动过程的特定规律(例 1.2 中质点自高为 H 处以初速度 v₀ 自由下落的运动规律),还必须根据问题的具体情况,提出一些附加条件来确定通解中的任意常数,这种附加条件叫做定解条件。

初值条件

例1.2 与例1.1 中的那种反映运动初始状态或曲线在某一点特定状态的定解条件,叫做初值条件或初始条件。一般地,n 阶微分方程的初值条件有 n 个,就是当自变量 x 取某确定的值 x₀ 时,未知函数及其从 x₀ 开始的各阶导数在 x₀ 处的值。

阶直到 n-1 阶导数的值,即

y|ₓ=x₀ = y₀, y'|ₓ=x₀ = y₁, …, y^((n-1))|ₓ=x₀ = yₙ-1

微分方程的不含任意常数的解,称为特解。一般地,它可利用定解条件(例如初值条件)由通解确定其中的任意常数后得到。例如,y=x²+1 是方程 (dy)/(dx)=2x 满足初值条件 y|ₓ=1=2 的特解,而 h=H-1/2gt²+v₀t 是方程 (d²h)/(dt²)=-g 满足初值条件 h|ₜ=0=H 与 (dh)/(dt)|ₜ=0=v₀ 的特解。

一阶微分方程及其解的几何意义

Section titled “一阶微分方程及其解的几何意义”

为了更直观地理解微分方程及其解的含义,下面以例1.1 中的一阶微分方程为例,对微分方程及其解作简单的几何解释。

考察例1.1 中的微分方程 (dy)/(dx)=2x。给定这样一个微分方程,就意味着在 xOy 平面内的任一点 P(x,y),确定了唯一的值 . (dy)/(dx) |_((x,y)) = 2x。在几何上,就相当于在 xOy 平面上任一点 P 处确定了一条斜率为 2x 的小线段,称为点 P 平面上确定了一个线素场(图 4.2(xOy 平面上确定了一个线素场(图 4.2(a))。该方程的通解,就是求无数条抛物线 y=x²+C 处的切线恰好与该点的线素重合(图 4.2(xOy 平面内的任一点 P(x,y) 处的切线恰好与该点的线素重合(图 4.2(b)),称为微分方程所确定的积分曲线族。求该方程满足初值条件 y|ₓ=x₀=y₀ 的特解,就是从通解所表示的积分曲线族中找出一条通过点 P₀(x₀,y₀) 的积分曲线。例如满足初值条件 y|ₓ=0=1 的特解就是通过点 (0,1) 的抛物线 y=x²+1。

图 4.2 (a) 线素场 (b) 积分曲线族

形如

(dy)/(dx) = f(x)g(y) (1.1)

的一阶微分方程称为可分离变量方程。对于这类方程,如果 g(y) ≠ 0,那么它就可以写成

(dy)/(g(y)) = f(x)dx (1.2)

此时,变量 x 与 y 已被分离在等号两边。下面讨论这类方程的解法。

设 f 与 g 都是连续函数,y=y(x) 是原方程的任一解,将它代入 (1.2) 式,则有恒等式

(y'(x)dx)/(g[y(x)]) ≡ f(x)dx

两端对 x 积分,得

注意

在解微分方程时,为了突出任意常数 C,常把 ∫ f(x)dx 中所含的任意常数 C 明确写出来。

∫ (y'(x))/(g[y(x)])dx = ∫ f(x)dx + C

根据不定积分的换元积分法则 (I),得

∫ (dy)/(g(y)) = ∫ f(x)dx + C (1.3)

不难说明,由此式所确定的隐函数 y=y(x) 就是方程 (1.2) 的通解。事实上,将它两边对 x 求微分即得 (1.2) 式,所以它是方程 (1.2) 的解,其中包含有一个任意常数 C,所以是方程 (1.2) 的通解。又因为,凡方程 (1.2) 的解都是方程 (1.1) 的解,所以 (1.3) 式就是原方程 (1.1) 的通解。今后,我们就用对 (1.2) 式两端积分得到 (1.3) 式来求解方程 (1.1) 的通解。这种通过分离变量来求解微分方程的方法叫做分离变量法。

如果存在常数 y₀,使 g(y₀)=0,那么 y=y₀ 显然满足方程 (1.1),从而也是原方程 (1.1) 的解。如果 y=y₀ 包含在 (1.3) 式中(即它可以由 (1.3) 式中 C 取特定常数得到),那么,我们也把包含 y=y₀ 的 (1.3) 式理解为方程 (1.1) 的通解;如果 y=y₀ 不包含在 (1.3) 式中,那么我们就把 (1.3) 式理解为原方程的通解。

例 1.3 求微分方程 dydx=2xy\frac{\mathrm{d}y}{\mathrm{d}x} = 2xy 的通解
注意

与解代数方程时出现丢根问题类似,在利用分离变量法求解微分方程时容易出现丢解问题。为避免这种情况,切记在将方程 (1.1) 分离变量为 (1.2) 式时分别讨论 g(y) ≠ 0 和存在 y₀ 使 g(y₀)=0 两种情形。若只讨论前一种情形就可能丢解。例如 1.3 中,只能求得 y = ± e^C₁ eˣ²,它是通解,但 ± e^C₁ ≠ 0,丢失了 y=0 这个解。

解

该方程是变量可分离方程。设 y ≠ 0,分离变量得

(dy)/(y) = 2xdx

两端积分,则

∫ (dy)/(y) = ∫ 2xdx + C₁

从而得

ln|y| = x² + C₁

故

|y| = eˣ²+C₁ = e^C₁ eˣ² 或 y = Ceˣ²

其中 C = ± e^C₁ 是非零的任意常数。

由于 y=0 显然也是原方程的解,只要允许 C 可以取 0,那么它就可以包含在 y=Ceˣ² 中。因此,所方程的通解可以写成 y=Ceˣ²,其中 C 为任意常数。

例 1.4 求微分方程 xdx+(x2+1)dy=0x\mathrm{d}x + (x^2+1)\mathrm{d}y = 0 满足初值条件 y∣x=0=1y|_{x=0}=1 的特解
注

由于本题仅满足初值条件 y|ₓ=0=1 的特解,这里不必讨论 y=0 的情形。否则,也应讨论 y=0 的情形。

解

先求方程的通解.分离变量得

(dy)/(y) = -(x)/(x²+1)dx

两端积分得

ln|y| = -1/2ln(x²+1) + C₁

所以

y = (C)/(√(x²+1))

(其中 C = ± e^C₁)就是所求方程的通解.将初值条件代入,得知 C=1,即为所求特解:

y = (1)/(√(x²+1))

未知函数及其导数都是一次的一阶微分方程称为一阶线性微分方程,它的一般形式是

y' + P(x)y = Q(x) (1.4)

若 Q(x)=0,上式变为

y' + P(x)y = 0 (1.5)

称它为与方程 (1.4) 对应的齐次线性微分方程,而方程 (1.4) 称为非齐次线性微分方程,其中 P(x) 与 Q(x) 为连续函数。

齐次线性微分方程 (1.5) 是可分离变量方程。若 y ≠ 0,分离变量后得

(dy)/(y) = -P(x)dx tag

两端积分即得其通解为

ln |y| = -∫ P(x)dx + C₁ tag

或

y = Ce⁻∫ P(x)dx (1.6)

显然,y=0 也是方程 (1.5) 的解,并且能包含在通解 (1.6) 中。今后在解题中不再——说明。

注意

不要混淆“阶”和“次”。微分方程的“阶”是指未知函数最高阶导数的阶数;“次”是指未知函数或其导数的最高幂次数。它们都与自变量无关。

例如:y' + x³y² + x³ = 0 是一阶二次方程;y'' + x³y + sin x = 0 是二阶线性方程。

下面讨论如何求对应的非齐次线性微分方程的解。设方程 (1.4) 的解为 y=y(x),则

y(x) / e⁻∫ P(x)dx

必是 x 的函数,记之为 h(x)。事实上,若 h(x) 是一个常数 C,则由 (1.6) 式,y(x) = Ce⁻∫ P(x)dx 必是齐次线性方程 (1.5) 的解,而不可能是非齐次方程 (1.4) 的解。因此,非齐次线性微分方程 (1.4) 的解应如下形式:

y = h(x)e⁻∫ P(x)dx (1.7)

为了求方程 (1.4) 的解,只要将它代入 (1.4) 式确定 h(x) 就行了。由于

y' &= h'(x)e⁻∫ P(x)dx - h(x)P(x)e⁻∫ P(x)dx &= h'(x)e⁻∫ P(x)dx - P(x)y

代入 (1.4) 式,得

h'(x)e⁻∫ P(x)dx - P(x)y + P(x)y = Q(x) tag

从而有

h'(x) = Q(x)e^(∫ P(x)dx) tag

所以

h(x) = ∫ Q(x)e^(∫ P(x)dx)dx + C tag

将它代入 (1.7) 式,便得到非齐次线性微分方程 (1.4) 的通解

y = e⁻∫ P(x)dx ( ∫ Q(x)e^(∫ P(x)dx)dx + C ) (1.8)

上述通过将齐次线性微分方程通解中的任意常数 C 换成待定函数 h(x) 求对应非齐次线性微分方程通解的方法称为常数变易法。如果将通解公式 (1.8) 写成如下形式:

y = Ce⁻∫ P(x)dx + e⁻∫ P(x)dx ∫ Q(x)e^(∫ P(x)dx)dx tag

那么易见,右端第一项就是齐次线性微分方程 (1.5) 的通解,第二项是非齐次微分方程 (1.4) 的一个特解(因为它可由在 (1.8) 式中取 C=0 得到)。从而得知,非齐次线性微分方程的通解等于它的一个特解与它所对应的齐次线性微分方程的通解之和。

在求解非齐次线性微分方程的时候,不必套用通解公式 (1.8),最好直接使用常数变易法。

注

这段带波浪线的给出了非齐次线性微分方程的解的结构,称为非齐次线性微分方程解的结构定理。若能用某种特殊方法(包括观察验证)求得非齐次方程的一个特解,可直接用该定理求得非齐次方程的通解。

例 1.5 求微分方程 dxdt+x=t\frac{\mathrm{d}x}{\mathrm{d}t} + x = t 的通解

求微分方程 (dx)/(dt) + x = t 的通解。

解

由分离变量法易得对应的齐次线性微分方程

(dx)/(dt) + x = 0 tag

的通解为 x = Ce⁻t。再用常数变易法求原方程的通解。设其通解为

x = h(t)e⁻t (1.9)

则

(dx)/(dt) = h'(t)e⁻t - h(t)e⁻t tag

代入原方程并化简得

h'(t) = te^t tag

从而有

h(t) = ∫ te^t dt = te^t - e^t + C tag

将它代入 (1.9) 式,得原方程的通解

x = (te^t - e^t + C)e⁻t = Ce⁻t + t - 1 tag
例 1.6 求微分方程 dydx=yy3+x\frac{\mathrm{d}y}{\mathrm{d}x} = \frac{y}{y^3+x} 的通解和满足初值条件 y∣x=0=1y|_{x=0}=1 的特解

求微分方程 (dy)/(dx) = (y)/(y³+x) 的通解和满足初值条件 y|ₓ=0=1 的特解。

解

表面上看,此方程不是线性微分方程。但是,如果把 y 看作是自变量,x 看作是因变量,利用反函数求导法则,可把原方程改写成

(dx)/(dy) = (y³+x)/(y) = 1/yx + y² (1.10)

那么,就得到一个关于未知函数 x 的一阶非齐次线性微分方程了。

先求解对应的齐次线性微分方程

(dx)/(dy) = 1/yx

分离变量后积分得

ln |x| = ln |y| + ln |C| (1)
注

此处把积分常数写成 ln |C| 是为了合并形式简洁。

从而得到齐次线性微分方程的通解为 x = Cy。

下面用常数变易法求非齐次线性微分方程的通解。令 x = h(y)y,则

(dx)/(dy) = h'(y)y + h(y)

代入方程 (1.10) 并化简,得 h'(y) = y,从而

h(y) = 1/2y² + C

于是原方程通解为

x = 1/2y³ + Cy

代入初值条件 y|ₓ=0=1 得 C = -1/2。这样,所求特解为 x = 1/2y(y²-1)。

1.4 可用变量代换法求解的一阶微分方程

Section titled “1.4 可用变量代换法求解的一阶微分方程”

有些一阶微分方程不属于可分离变量的,也不是线性微分方程,不能直接用前面介绍的方法求解。但是,只要通过一个适当的变量代换,就能化为变量分离方程或线性微分方程。下面介绍几类常见的类型。

齐次微分方程的定义

形如

(dy)/(dx) = f(y/x) (1.11)

的一阶微分方程称为齐次微分方程,其中 f 是连续函数。

例如,方程 (dy)/(dx) = 2(y/x)² + 1,(dy)/(dx) = siny/x 都是齐次方程;方程 (dy)/(dx) = (2x+3y)/(x-4y) 也是一个齐次方程,因为它能转化为 (dy)/(dx) = (2+3y/x)/(1-4y/x)。

思路分析

采用通过变量代换将待求解的微分方程化为求解方法已知的某些类型的方程,是数学中一种常用的方法。读者应分析和学习其中所采用的不同变量代换法的特点,尝试可否用其他的变量代换,培养自己的分析研究能力和创新精神!

对于这类方程,通过一个变量代换就可以化为变量分离方程。事实上,令 u = y/x 或 y = ux,则 (dy)/(dx) = u + x(du)/(dx),代入 (1.11) 式便得

u + x(du)/(dx) = f(u),

或

x(du)/(dx) = f(u) - u,

这就是一个变量分离方程。利用分离变量法求得通解后,再将 u = y/x 代回便得齐次方程 (1.11) 的通解。

例 1.7 求方程 xdydx−y=2xyx\frac{\mathrm{d}y}{\mathrm{d}x} - y = 2\sqrt{xy} 的通解
解

方程两端同除以 x,便得一齐次微分方程

(dy)/(dx) - y/x = 2√(y/x).

令 u = y/x,则 (dy)/(dx) = u + x(du)/(dx)。代入上式,方程变为

x(du)/(dx) = 2√(u). (1.12)

分离变量(若 u ≠ 0),

(du)/(2√(u)) = (dx)/(x),

两端积分得

√(u) = ln|x| + C₁,

或

e^(√(u)) = Cx.

将 u = y/x 代入便得所求方程的通解为 e^(√(y/x)) = Cx。

注意

例1.7 中又给出了说明微分方程通解不一定能包括它的所有解的例子。

易见 u=0 是方程 (1.12) 的一个解,因而 y=0 也是原方程的一个解,但它不能包含在通解的表达式中。

Bernoulli 方程的定义

形如

(dy)/(dx) + P(x)y = Q(x)y^α (α ≠ 0, 1) (1.13)

的方程称为 Bernoulli 方程,其中 P(x), Q(x) 为连续函数。

这类方程可以通过一类变量代换化为线性微分方程。事实上,用 y^α 同除方程 (1.13) 的两端,我们得

y⁻α(dy)/(dx) + P(x)y¹-α = Q(x).

作变量代换 u = y¹-α,则 (du)/(dx) = (1-α)y⁻α(dy)/(dx),从而上式变为线性微分方程

(du)/(dx) + (1-α)P(x)u = (1-α)Q(x). (1.14)

只要求得方程 (1.14) 的通解,再将 u = y¹-α 代入便得到方程 (1.13) 的通解。

例 1.8 求方程 dxdt−tx=t3x2\frac{\mathrm{d}x}{\mathrm{d}t} - tx = t^3x^2 的通解
解

这是一个 Bernoulli 方程。令 u = x⁻1,则 (du)/(dt) = -x⁻2(dx)/(dt),于是原方程变为非齐次线性方程

(du)/(dt) + tu = -t³.

不难求得它的通解为

u = 2 - t² - Ce⁻1/2t²,

从而得到原方程的通解为

x = frac12 - t² - Ce⁻1/2t².
注意

易见 x=0 也是给定方程的解,但它不能包含在通解中。

3. 其他可用变量代换求解的一阶微分方程举例

Section titled “3. 其他可用变量代换求解的一阶微分方程举例”
例 1.9 求方程 y′=cos⁡(x+y)y' = \cos(x+y) 的通解
解

令 u = x+y,则 (du)/(dx) = 1 + y'。于是原方程变为

(du)/(dx) = cos u + 1 = 2cos²u/2.

当 cosu/2 ≠ 0 时,分离变量并积分得

∫ (du)/(2cos²u/2) = ∫ dx,

从而有

tanu/2 = x + C,

所以原方程的通解为

tan(x+y)/(2) = x + C.

当 cosu/2 = 0 时,u = π + 2kπ (k=0, ± 1, ± 2, …),即 y = -x + π + 2kπ (k=0, ± 1, ± 2, …),显然满足原方程,故也是解,但不含在通解中。

例 1.10 求方程 dydx=xcos⁡y−tan⁡y\frac{\mathrm{d}y}{\mathrm{d}x} = \frac{x}{\cos y} - \tan y 满足初值条件 y∣x=0=π4y|_{x=0} = \frac{\pi}{4} 的特解
解

先将所给方程化为如下形式:

cos y · (dy)/(dx) + sin y = x.

令 u = sin y,则 (du)/(dx) = cos y · (dy)/(dx),从而该方程又变为一阶线性方程

(du)/(dx) + u = x.

不难求得它的通解为

u = Ce⁻x + x - 1.

从而得到所给方程的通解为

sin y = Ce⁻x + x - 1 或 y = arcsin(Ce⁻x + x - 1).

代入初值条件 y|ₓ=0 = (π)/(4) 得 C = (√(2))/(2) + 1,故所求特解为

y = arcsin [ ( (√(2))/(2) + 1 ) e⁻x + x - 1 ].
一阶微分方程求解方法小结

一般来说,方程的阶数越高,求解也越复杂。下面仅以二阶微分方程为主,介绍可以用适当的变量代换降低方程的阶数(称为降阶法)求解的三类可降阶微分方程。

这类方程的特征是右端仅含自变量 x。因此,通过 n 次积分就能得到它的通解。应当注意的是,每次积分都要出现一个任意常数,因而通解中含有 n 个独立的任意常数。例1.2 中的方程就属于这种类型,这里不再举例。

2. y'' = f(x, y') 型方程

Section titled “2. y'' = f(x, y')y′′=f(x,y′) 型方程”

这类方程的特征是方程中不显含未知函数 y。因此,只要作变量代换 y' = p,则 y'' = (dp)/(dx),原方程就化成以 p 为未知函数的一阶微分方程:

(dp)/(dx) = f(x, p).

若能求出其通解 p = F(x, C₁),代入 (dy)/(dx) = p 便得

(dy)/(dx) = F(x, C₁),

再积分一次即得原方程的通解

y = ∫ F(x, C₁) dx + C₂.
例 1.11

求微分方程 (1+x²)y'' = 2xy' 满足初值条件 y|ₓ=0 = 1, y'|ₓ=0 = 3 的特解。

解

令 y' = p,则 y'' = (dp)/(dx),代入方程得

(1+x²) (dp)/(dx) = 2xp.

当 p ≠ 0 时,分离变量得

(dp)/(p) = (2x)/(1+x²) dx,

两端积分,得

ln |p| = ln(1+x²) + ln |C₁|,

从而

p = C₁(1+x²),

即

(dy)/(dx) = C₁(1+x²).

两端再次积分,得

y = C₁ ( x + (x³)/(3) ) + C₂.

代入初值条件,得 C₁ = 3, C₂ = 1,故所求特解为

y = x³ + 3x + 1.
注意

p=0 时,y=C 也是方程的解。但它不能满足初值条件 p|ₓ=0 = y'|ₓ=0 = 3。

3. y'' = f(y, y') 型方程

Section titled “3. y'' = f(y, y')y′′=f(y,y′) 型方程”

这类方程的特征是方程中不显含自变量 x。作变换 y' = p,以 p 为未知函数,y 为自变量,则由复合函数求导法则,

y'' = (dp)/(dx) = (dp)/(dy) · (dy)/(dx) = p (dp)/(dy),

于是原方程化为关于 p 与 y 的一阶微分方程

p (dp)/(dy) = f(y, p).

若能求出它的通解 p = F(y, C₁),代入 y' = p,得

(dy)/(dx) = F(y, C₁),

解此方程就可以得到原方程的通解。

例 1.12

求微分方程 yy'' - (y')² = 0 的通解。

解

令 y' = p,则 y'' = p (dp)/(dy),代入方程得

yp (dp)/(dy) - p² = 0,

即

p ( y (dp)/(dy) - p ) = 0.

由 p=0 解得 y=C;由方程 y (dp)/(dy) = p 通过分离变量法解得 p = C₁ y。再次使用分离变量法可以求得

y = C₂ e^(C₁ x),

它就是原方程的通解 (y=C 包含在该通解中)。

例 1.13

求微分方程 y'y''' - 2(y'')² = 0 的通解。

解

此方程既不含未知函数 y,也不含自变量 x,因此可用第 2, 3 两类方程的两种不同方法求解。但在解题过程中应当根据具体情况,灵活运用。

先令 y' = p,按照第 2 类方程的解法,则有

y'' = (dp)/(dx), y''' = (d² p)/(dx²),

代入方程得

p (d² p)/(dx²) - 2 ( (dp)/(dx) )² = 0. (1.15)

易见它是不显含 x 的第 3 类方程,因此令 (dp)/(dx) = q,则 (d² p)/(dx²) = q (dq)/(dp)。代入 (1.15) 式,得

pq (dq)/(dp) - 2q² = 0.

当 q = (dp)/(dx) = y'' ≠ 0 且 p ≠ 0 时,有

(dq)/(q) = (2dp)/(p),

解之易得 q(p) = tildeC₁ p²。再由

(dp)/(dx) = q(p) = tildeC₁ p²

可以解得 p = (1)/(C₁ x + C₂),其中 C₁ = -tildeC₁。最后,由方程

(dy)/(dx) = p = (1)/(C₁ x + C₂)

就能求得原方程的通解

y = (1)/(C₁) ln |C₁ x + C₂| + C₃. (1.16)

当 q = (dp)/(dx) = y'' = 0 时,则知

y = A₁ x + A₂ (其中 A₁, A₂ 为任意常数) (1.17)

也是原方程的解,但不包含在通解 (1.16) 中。若 p = y' = 0,则 y = A(任意常数),它包含在解 (1.17) 中。

值得注意的是,如果要求例1.13 中方程的特解,那么,当初值条件 y'' ≠ 0 时,应当将它代入 (1.16) 式来求;当 y'' = 0 时,则应代入 (1.17) 式来求。

用微分方程解决实际问题的一般步骤如下:

(1) 根据问题的实际背景,利用数学和有关学科的知识,建立微分方程与定解条件,也就是建立问题的数学模型;

(2) 根据方程的类型,用适当的方法求出方程的通解,并根据定解条件确定特解;

(3) 对所得结果进行具体分析,解释它的实际意义。如果它与实际相差甚远,那么就应修改模型,重新求解。

上述步骤中的关键和难点是第 (1) 步。通常有两种方法,一种是根据给定的几何条件或已知的物理等其他学科的定律;另一种是微小增量法或称微元法,但都需要根据实际问题作具体分析。所以读者应在不断的练习和实践中,逐步培养综合运用所学的知识分析和解决实际问题的能力。至于第 (3) 步,由于它与有关学科知识密切相关,这里不能多作讨论。下面举一些例子。

例 1.14 几何轨迹问题

设自坐标原点到一条曲线上任意一点的距离,等于曲线在该点的切线与 x 轴的交点到该点的距离。若此曲线通过点 (1, 2),试求它的方程。

解

(1) 建立微分方程与定解条件。设所求曲线的方程为 y = y(x),P(x, y) 为曲线上的任意一点,PQ 为曲线在点 P 处的切线。按题意,线段 OP 与 PQ 的长度相等(图 4.3),即

|OP| = |PQ|.

为求 |PQ| 的长度,先写出切线的方程

Y - y = y'(X - x).

当 Y = 0 时,得点 Q 的横坐标为 X = x - (y)/(y')。所以

|PQ| = √((x - X)² + y²) = √(( (y)/(y') )² + y²).

由 |OP| = |PQ| 得

√(x² + y²) = √(( (y)/(y') )² + y²),

简化得微分方程

x² = ( (y)/(y') )² 或 y' = ± y/x.

由已知,曲线通过点 (1, 2),所以初值条件为 y|ₓ=1 = 2。

(2) 解微分方程。用分离变量法容易解得方程的通解为 y = C₁ x 或 y = (C₂)/(x)(C₁ 与 C₂ 为任意常数)。代入初值条件可所得求曲线的方程为

y = 2x 或 y = 2/x.

容易验证,直线 y = 2x 与双曲线 y = 2/x 都是所求的曲线。

图 4.3 几何关系示意图

例 1.15 放射性同位素的衰变与考古问题

根据原子物理学理论,放射性同位素碳-14(记作 ¹4C)在时刻 t 的衰变速度与该时刻 ¹4C 的含量成正比。生物体在未死亡时通过新陈代谢能不断摄取 ¹4C,使得生物体内的 ¹4C 与空气中的 ¹4C 百分含量相同。生物死亡后立即停止摄取 ¹4C,并且尸体中的 ¹4C 开始衰变。假定生物死亡时刻(设为 t=0)体内 ¹4C 的含量为 x₀,试求死亡生物体内 ¹4C 含量随时间 t 的变化规律。

解

(1) 建立微分方程与定解条件。设生物在死亡后的时刻 t 体内 ¹4C 的含量为 x(t),则 t 时刻 ¹4C 的衰变速度为 (dx)/(dt)。根据假设

(dx)/(dt) = -kx,

其中 k > 0 为比例常数,负号表示 ¹4C 的含量是不断递减的。由已知初值条件为 x|ₜ=0 = x₀。

(2) 解方程。分离变量得

(dx)/(x) = -k dt,

两边积分可得方程的通解为 x = Ce⁻kt,代入初值条件便得所得特解为

x = x₀ e⁻kt.

(3) 由所得结果可知,死亡生物体内 ¹4C 的含量随时间 t 按指数规律不断衰减。由此,人们可以由生物死亡的时间估算出某时刻尸体内 ¹4C 的含量,也可以由死亡生物体内 ¹4C 的现存量估算生物死亡的时间。下面讨论后面这个问题。

设 ¹4C 的半衰期(由给定数量的 ¹4C 衰减到一半所需的时间)为 T,即 x(T) = (x₀)/(2)。将其代入 x(t) = x₀ e⁻kt 中得 k = (ln 2)/(T),故

x(t) = x₀ e⁻(ln 2)/(T)t.

由此解得死亡生物体内 ¹4C 的存量与死亡时间 t 的关系为

t = (T)/(ln 2) ln (x₀)/(x). (1.18)

由于 x₀ 与 x 不便于测量,而表示 ¹4C 含量的变化率是容易测量的,因此,为求得死亡时间 t,我们可以将 (1.18) 式中的 x 与 x₀ 通过导数表示。由 x = x₀ e⁻kt 可知,

x'(t) = -kx₀ e⁻kt = -kx(t), x'(0) = -kx₀,

所以

(x'(0))/(x'(t)) = (x₀)/(x),

代入 t 的表达式 (1.18),得

t = (T)/(ln 2) ln (x'(0))/(x'(t)).

考古学家与地质学家就是利用上面的公式来估算文物或化石的年代的。例如,长沙马王堆一号墓于 1972 年 8 月出土时,测得出土木炭标本中 ¹4C 平均原子衰变速度为 29.78 次/min。人在刚刚死亡时体内含 ¹4C 平均原子衰变速度与新砍伐木材烧成的木炭中 ¹4C 的平均原子衰变速度相同,为 38.37 次/min。已知 ¹4C 的半衰期为 5568 年,将它们代入上式,可以算出

t = (5568)/(ln 2) ln (38.37)/(29.78) ≈ 2036 年,

因此马王堆一号墓大约是 2000 多年前的汉墓。

1798 年,Malthus 对生物种群的繁殖规律提出一种看法,他认为,一种群中个体数量的增长率与此时刻种群的个体数量成正比。设 x(t) 表示该种群在时刻 t 个体的数量,则其增长率为

1838 年 Verhulst 指出,导致上述不符合现实情况的主要原因在于 Malthus 模型未能考虑“密度制约”因素。事实上,种群生活在一定的环境中,在资源给定的情况下,个体数目越多,每一个个体所获得资源就越少,这将抑制其生育率,增加其死亡率。因此相对增长率 1/x · (dx)/(dt) 不应是一个常数 r,而应该是 r 乘上一个“密度制约”因子。这个因子是一个随 x 增大而单调减小的函数,设其为 1 - x/k,其中 k 称为环境的容纳量,它反映资源的丰富程度。于是 Verhulst 提出如下的 logistic 模型:

(dx)/(dt) = rx ( 1 - x/k ) (1.21)
思路分析

由 (1.21) 式可见,x 小于 k 而接近 k 的 (dx)/(dt) 逐渐减小,即种群数量 x 增长变慢;x=k 时,不再增长;x>k 时,负增长。这说明此环境对此时种群个体的最大容纳量为 k。

这是一个可分离变量的微分方程。分离变量后积分得

∫ r dt = ∫ (dx)/(x ( 1 - x/k )) = ∫ 1/x dx + 1/k ∫ (1)/(1 - x/k) dx

从而可求得方程 (1.21) 的通解为

x = frack1 + Ce⁻rt

设初值条件为 x(0) = x₀,则相应的特解为

x = frackx₀(k - x₀)e⁻rt + x₀ (1.22)

由 (1.22) 式可以算出不同时刻 t 该环境内此种群个体的数量。并且可见,当 t → +∞ 时,x(t) → k。这说明随着时间的增长,此种群个体数量将最终稳定为 k,它就是环境对该种群的容纳量。

例 1.17 减肥问题

减肥的问题实际上是减少体重的问题。假定某人每天的饮食可产生热量 AJ,用于基本新陈代谢每天所消耗的热量为 BJ,用于锻炼、学习、工作所消耗的热量为 CJ/d · kg。为简单计算,假定增加(或减少)体重所需热量全由脂肪提供,脂肪的含热量为 DJ/kg。求此人体重随时间的变化规律。

解

(1) 建立微分方程与定解条件。设 t 时刻(单位:d(天))的体重为 w(t),根据热量平衡原理,在 Δ t 时间内,

人体热量的改变量 = 吸收的热量 - 消耗的热量。

Δ t 时间内人体热量的改变量 Δ Q = DΔ w,吸收的热量为 AΔ t,用于锻炼等所消耗的热量与体重有关,因此随时间而变。当 |Δ t| 很小时,将其看作不变,从而有

DΔ w ≈ [A - B - Cw(t)] Δ t

或

D (Δ w)/(Δ t) ≈ A - B - Cw(t)

令 Δ t → 0 取极限得

D (dw)/(dt) = A - B - Cw(t)

设开始减肥时体重为 w₀,于是所建立的微分方程的初值问题为

(dw)/(dt) = a - bw(t), w(0) = w₀, 其中 a = (A - B)/(D), b = C/D

(2) 求解微分方程。由分离变量法容易解得方程的通解为

w(t) = e⁻bt ( c + a/b e^(bt) )

代入初值条件可得特解为

w(t) = a/b + ( w₀ - a/b ) e⁻bt

(3) 由上面的结果易如下结论:

  1. 由于 limₜ → +∞ w(t) = a/b,因此,随着时间的增加体重将逐渐趋于常数 a/b。又 a/b = (A - B)/(C),因此只要控制饮食,加强锻炼,调节新陈代谢,使体重达到你所希望的值是可能的。

  2. 若 a = 0,即 A = B,则 w = w₀ e⁻bt。这就是说,如果吃得太少,摄取的热量仅仅够维持新陈代谢的需要,那么 limₜ → +∞ w(t) = 0。因此,长期以往,就会有生命危险!

  3. 若 b = 0,即 C = 0,则方程变为 (dw)/(dt) = a,解得 w = at + w₀。当 t → +∞ 时,w → +∞。这表明,如果只吃饭,不活动,不锻炼,身体就会越来越胖,也是非常危险的!

  4. 可以进一步讨论限时减肥(例如举重运动员参赛前重要降到规定的数值)或限时增肥(例如养猪场要在一定时间内使猪的重量达到一定值)问题。为此,就要设计出 a 与 b 的最佳组合,使体重在限期 t = T 时达到允许的体重 tildew,即

tildew = a/b + ( w₀ - a/b ) e⁻bT

这个问题比较复杂,我们不再详细讨论。

共 0 题