1、方程形式#

我们将未知函数 $y$ 及其导数 $\frac{\mathrm{d}y}{\mathrm{d}x}, \cdots, \frac{\mathrm{d}^ny}{\mathrm{d}x^n}$ 是一次式的 $n$ 阶微分方程，称为线性微分方程。这是在应用中经常遇到的一类方程，其一般形式是：

其中 $p_1(x), p_2(x), \cdots, p_n(x)$ 及 $f(x)$ 都是 $x$ 的已知函数。当 $f(x) \not\equiv 0$ 时，称为非齐次线性微分方程，其中 $f(x)$ 称自由项，当 $f(x) \equiv 0$ 时，称：

为齐次线性微分方程。

2、解的存在唯一性定理#

1、线性微分方程的线性性#

设$c$是一个常数，$y(x)$是一个函数且有直到$n$阶导数，则：

即：

由于$L[y]$具有上面的性质，所以称其为线性微分算子。并推导出以下定理：

设 $y_1(x), \cdots, y_m(x)$ 是齐次线性方程 (2.2) 的 $m$ 个解（有 $m$ 个解是因为不受初值问题约束），$c_1, \cdots, c_m$ 是 $m$ 个常数，则：

也是齐次线性方程的解。

2、朗斯基行列式#

设$m$个函数$y_1(x),\cdots,y_m(x)$有直至$m-1$阶的导数，则称由它们构成的行列式：

为函数$y_1(x),\cdots,y_m(x)$的朗斯基行列式。

如何判别$n$阶齐次线性方程$n$个解的线性无关（相关），有下述定理：

**定理：**设$y_1(x),\cdotp\cdotp\cdotp,y_n(x)$是齐次线性方程的$n$个解，则$y_{1}(x),\cdots,y_{n}(x)$ 在区间$(a,b)$ 内线性相关的充分必要条件是它们的朗斯基行列式：

证明：

先证必要性。设 $y_1(x),\cdots,y_n(x)$ 线性相关。则存在不全为零的 $n$ 个常数 $a_1,\cdots,a_n$，使

$${a_1y_1(x)+\cdots+a_ny_n(x)\equiv0, x\in(a,b)}$$

将上述恒等式两边依次求 $1,2,\cdots,n-1$ 阶导数，得：

$${a_1y_1'(x)+\cdots+a_ny_n'(x)\equiv0}$$ $$\cdots$$ $${a_1y_1^{(n-1)}(x)+\cdots+a_ny_n^{(n-1)}(x)\equiv0}$$

由上式构成的关于 $a_1,\cdots,a_n$ 的齐次线性代数方程组可知，它有一组不全为零的解$a_1,\cdots,a_n$，故对一切 $x\in(a,b)$，该代数方程组的系数行列式应等于零，即 $w(x)\equiv0, x\in(a,b)$。 再证充分性。设 $w(x)\equiv0$，取 $x_0\in(a,b)$，于是 $w(x_0)=0$，则关于未知数 $a_1,\cdots,a_n$ 的齐次线性代数方程组：

$$\begin{array}{l} {a_1y_1(x_0)+\cdots+a_ny_n(x_0)=0}\\ {a_1y_1'(x_0)+\cdots+a_ny_n'(x_0)=0}\\ {\cdots}\\ {a_1y_1^{(n-1)}(x_0)+\cdots+a_ny_n^{(n-1)}(x_0)=0} \end{array}$$

有不全为零的解 $a_1^*,\cdots,a_n^*$。由线性性可知，

$$y(x)=\sum_{i=1}^na_i^*y_i(x)$$

是齐次线性方程的解，且满足零初值条件。

$$y^{(j)}(x_0)=\sum_{i=1}^na_i^*y_i^{(j)}(x_0)=0 (j=0,1,\cdots,n-1)$$

再由定理的推论知，$y(x)\equiv0$，即：

$${a_1^*y_1(x)+\cdots+a_n^*y_n(x)\equiv0, x\in(a,b)}$$

但因 $a_{1}^{*},\cdots,a_{n}^{*}$ 不全为零， $y_{1}(x),\cdots,y_{n}(x)$ 线性相关。

根据定理的证明过程得到推论：

**推论：**设$y_1(x),\cdotp\cdotp\cdotp,y_n(x)$是齐次线性方程的$n$个解，则它们的朗斯基行列式在区间$(a,b)$内或者处处不为零，或者处处为零。

为了便于应用，给出定理的另一种表示方法。

**定理：**设$y_1(x),\cdotp\cdotp\cdotp,y_n(x)$是齐次线性方程的$n$个解，则$y_{1}(x),\cdots,y_{n}(x)$ 在区间$(a,b)$ 内线性无关的充分必要条件是它们的朗斯基行列式$W(x)\neq0,x\in(a,b)$。

3、齐次线性微分方程通解结构定理#

由此我们可以证明下述齐次线性微分方程的通解结构定理。

**定理：**设$y_1(x),\cdotp\cdotp\cdotp,y_n(x)$是齐次线性方程的$n$个线性无关的解，$c_1,\cdotp\cdotp\cdotp,c_n$是$n$个任意常数，则：

是其通解。

证明：

由定理知，上式为解。为了证明其是通解，只需证明，对任意给定的初值条件，总可以找到相应的一组常数$c_i^*(i=1,\cdotp\cdotp\cdotp,n)$，使得当$c_i=c_i^*$时所对应的解满足初值条件。即证以$c_i(i=1,\cdotp\cdotp\cdotp,n$)为未知数的线性代数方程组：

$$\sum_{i=1}^nc_iy_i^{(j)}\left(x_0\right)=y_0^{(j)}\quad(j=0,1,\cdotp\cdotp\cdotp,n-1)$$

存在解就可以了，因为系数行列式是$W(x_0)$，根据定理，由线性无关解 $y_{1}(x)$, $\cdots$, $y_{n}(x)$ 构成的朗斯基行列式 $w(x) \neq 0$，因此 $w(x_{0}) \neq 0$。故有唯一的解 $c_{i} = c_{i}^{*} (i = 1, \cdots, n)$。由此构成的:

$$y(x) = \sum_{i=1}^{n} c_{i}^{*} y_{i}(x)$$

必满足初值条件，证毕。

定义：设$y_1(x),\cdotp\cdotp\cdotp,y_n(x)$是齐次线性方程的$n$个线性无关的解，则称 $y_1(x),\cdotp\cdotp\cdotp,y_n(x)$ 是它的一个基本解组。

那么如何确定基本解组是否存在？存在以下定理：

**定理：**齐次线性方程必有且正好有$n$个线性无关的解，即齐次线性微分方程的基本解组必存在

证明： 考虑初值条件 $E_i$：

$$y^{(0)}(x_0) = 0, \cdots, y^{(i-2)}(x_0) = 0, y^{(i-1)}(x_0) = 1$$ $$y^{(i)}(x_0) = 0, \cdots, y^{(n-1)}(x_0) = 0$$

注意在 $x_0$ 处只是 $y$ 的第 $(i-1)$ 阶导数的值为$1$，其余各阶导数的值都为零。对于每一个 $i(i=1,\cdots,n)$，分别存在唯一的解 $y_i(x)$。由这 $n$ 个解 $y_1(x),\cdots,y_n(x)$ 构成的朗斯基行列式在 $x=x_0$ 处的值为：

$$w(x_{0}) = \begin{vmatrix} 1 & & & \mathbf{0} \\ & 1 & & \\ & & \ddots & \\ \mathbf{0} & & & 1 \end{vmatrix} = 1 \neq 0$$

故知 $y_1(x),...,y_n(x)$ 线性无关，即存在 $n$ 个线性无关解。它们构成一个基本解组，再由定理可知，任意$n+1$个解必线性相关，故有且正好有$n$个线性无关的解。证毕。

1、引理#

1. 设$y_1^*$与$y_2^*$是非齐次线性方程的两个解，则$y_1^*-y_2^*$是对应的齐次线性方程的一个解。
2. 设$y^{*}$与$y$分别是非齐次线性方程的一个解及对应的齐次线性方程的一个解，则 $y^*+y$ 也是非齐次线性方程的一个解。

2、通解结构定理#

设 $y*$ 是非齐次线性方程的一个解，$Y$是其所对应的齐次线性方程的通解，则：

是非齐次线性方程的通解。

证明过程与线性代数中非齐次线性方程和齐次线性方程解的关系类似。