微分方程的基本概念

这一节我们介绍微分方程的一些基本概念,包括什么是微分方程,微分方程的阶,线性与非线性微分方程,通解与特解等概念。

1,微分方程:含有未知函数的导数的方程称做微分方程。

常微分方程:只有一个自变量的微分方程称为常微分方程。

偏微分方程:未知函数有多个自变量的微分方程,称为偏微分方程。事实上,偏微分方程里有未知函数的偏导数,所以称为偏微分方程。

例如

\[y’+2xy=\sin x\] 是常微分方程,而 \[\frac{\partial u}{\partial t}=c^2\frac{\partial^2 u}{\partial x^2}\] 是偏微分方程。

偏微分方程也经常使用下标形式的偏导数符号,例如上面这个方程也可以写成

\[u_t=c^2u_{xx}\]

这里 \(c\) 是一个常数。

2,微分方程的阶:在方程里出现的未知函数的最高阶导数的阶,称为微分方程的阶。例如\[y^{\prime\prime}+y=0\]

就是二阶微分方程,\[y^{(4)}-(y^{\prime\prime})^5-8y=0\] 是四阶微分方程。

3,线性与非线性微分方程。

线性微分方程:方程中出现的未知函数与它的各阶导数的系数都只与自变量有关,而且未知函数与它的各阶导数只有一次项,称这样的微分方程为线性微分方程。

不是线性的微分方程称为非线性微分方程。

例如 \[y^{\prime\prime}+p(x)y’+q(x)y=f(x)\] 是线性微分方程,而

\[y^{\prime\prime}+(y’)^2=0,\quad y’+e^y=f(x),\quad y’+p(x)\sqrt{y}=q(x)\] 都是非线性方程。

4,微分方程的解:如果将函数 \(y=\phi(x)\) 代入到微分方程里去,微分方程成立,就称函数 \(y=\phi(x)\) 是微分方程的一个解。

例如, \(y=\sin x\) 是微分方程 \(y^{\prime\prime}+y=0\) 的解。因为 \(y’=\cos x, y^{\prime\prime}=-\sin x\),所以 \[y^{\prime\prime}+y=-\sin x+\sin x=0\]

所以 \(y=\sin x\) 是微分方程 \(y^{\prime\prime}+y=0\) 的解。同样,可以验证 \(y=\cos x \) 也是微分方程的解。

5,通解与特解:

通解:如果一个 \(n\) 阶微分方程的解里有 \(n\) 个任意常数,则称这个解为微分方程的通解。当然,需要注意,这些任意常数都应该是相互独立的,也就是说,不能将一个任意常数融入到另一个任意常数里去。任意常数的个数与微分方程的阶相同。

例如 \(y=C_1\cos x+C_2\sin x\) 就是 \(y^{\prime\prime}+y=0\) 的通解。

通解是满足微分方程所有解的集合。

特解:不含任意常数的解,称为特解。例如 \(y=\sin x, y=\cos x\) 都是方程 \(y^{\prime\prime}+y=0\) 的特解。

6,定解条件:特定的问题中,需要找出满足特定条件的微分方程的解,从而确定通解中的任意常数。这种条件就称为定解条件。

常见的定解条件有初值条件与边界条件。给定函数及其一些导数在一些某个特定点处的值,称为初值条件。给定函数在某个区间端点处的值,称为边界条件。

7,初值问题:一个微分方程连同它的初值条件,称之为初值问题。

例如,

\begin{cases}y^{\prime\prime}+y=0\\ y(0)=0, y'(0)=5\end{cases}

就是一个初值问题。我们已经知道它的通解为 \(y=C_1\cos x+C_2\sin x\)。将初值条件代入,

\[y(0)=0 \Rightarrow C_1=0,\quad y'(0)=5\Rightarrow C_2=5\]

所以初值问题的解为 \(y=5\sin x\)。