常系数线性微分方程的解法示例
引言
常系数线性微分方程是微分方程理论中的基础内容,其解法构成了解析方法的核心工具。这类方程具有系数均为常数的特性,其解法依赖于特征方程的根的性质,能够系统地揭示方程的通解结构。本文通过具体示例,阐述常系数线性微分方程的解法原理及其应用。
基本概念
常系数线性微分方程的标准形式为:
$$
a_n y^{(n)} + a_{n-1} y^{(n-1)} + \cdots + a_1 y' + a_0 y = f(x)
$$
其中,$ a_i $ 为常数,$ y $ 为未知函数,$ f(x) $ 为非齐次项。此类方程的解由两部分构成:
- 齐次方程的通解:满足 $ a_n y^{(n)} + \cdots + a_0 y = 0 $ 的解
- 非齐次方程的特解:满足 $ a_n y^{(n)} + \cdots + a_0 y = f(x) $ 的解
解法的核心在于通过特征方程(Characteristic Equation)分析方程的解结构,其根的性质决定了解的表达形式。
解法步骤
特征方程的建立
对于常系数线性微分方程,通过变量替换 $ y = e^{rx} $,可将其转化为特征方程:
$$
a_n r^n + a_{n-1} r^{n-1} + \cdots + a_1 r + a_0 = 0
$$
特征方程的根 $ r_1, r_2, \dots, r_m $ 决定解的结构:
- 若根 $ r $ 为实数且重根,则解呈指数形式
- 若根为复数,则解涉及三角函数或指数函数的组合
通解的求解
根据特征方程的根的性质,通解的构造如下:
实根情况
若特征方程存在实根 $ r_1, r_2, \dots, r_k $,则对应的解为:
$$ y(x) = C_1 e^{r_1 x} + C_2 e^{r_2 x} + \cdots + C_k e^{r_k x} $$
其中 $ C_i $ 为任意常数复根情况
若特征方程存在复根 $ \alpha \pm \beta i $($ \beta \ne 0 $),则对应的解为:
$$ y(x) = e^{\alpha x} \left( C_1 \cos(\beta x) + C_2 \sin(\beta x) \right) $$
其中 $ C_1, C_2 $ 为任意常数重根情况
若特征方程存在重根 $ r $,则对应的解为:
$$ y(x) = e^{rx} \left( C_1 + C_2 x \right) $$
其中 $ C_1, C_2 $ 为任意常数
特解的确定
对于非齐次方程 $ a_n y^{(n)} + \cdots + a_0 y = f(x) $,特解的确定需结合以下步骤:
- 识别非齐次项:根据 $ f(x) $ 的形式(如多项式、指数函数、三角函数等)选择合适的特解形式
- 应用变分法:若 $ f(x) $ 为多项式,则特解形式为多项式;若为指数函数,则需考虑是否与特征方程的根重合
- 代入求解:通过代入特解形式到原方程,解出待定系数
示例分析
一阶线性微分方程
考虑方程:
$$
y' + p(x) y = q(x)
$$
其特征方程为:
$$
r + p(x) = 0 \quad \Rightarrow \quad r = -p(x)
$$
解法步骤如下:
- 求特解:若 $ q(x) $ 为多项式,则特解形式为多项式;若为指数函数,则需通过变分法确定
- 通解:通解为特解加上齐次方程的通解
$$ y(x) = e^{-\int p(x) dx} \left[ \int q(x) e^{\int p(x) dx} dx + C \right] $$
二阶常系数线性微分方程
考虑方程:
$$
y'' + a y' + b y = f(x)
$$
其特征方程为:
$$
r^2 + a r + b = 0
$$
解法步骤:
- 求特征根:
- 若判别式 $ \Delta = a^2 - 4b > 0 $,则两实根为 $ r_1 = \frac{-a + \sqrt{\Delta}}{2} $, $ r_2 = \frac{-a - \sqrt{\Delta}}{2} $
- 若 $ \Delta = 0 $,则重根 $ r = -\frac{a}{2} $
- 若 $ \Delta < 0 $,则复根 $ r = -\frac{a}{2} \pm i \frac{b}{2} $
- 通解构造:
- 实根情况:$ y(x) = C_1 e^{r_1 x}