微分方程-常系数线性方程-齐次问题

常系数线性方程-齐次问题

考虑一般的 阶线性微分方程

其中系数 都是常数. 如果引入微分算子 的记号,那么

从而方程(4.1)可以化简为算子形式

其中

是关于 的一个 次多项式. 算子 可以看作是连续函数空间 上函数到函数的映射. 这里 是函数的定义域. 算子 的定义域为连续可微的函数空间 ,这是 的一个子空间. 可以看出, 和 都是线性空间,而 是上面的一个线性算子.

由之前的结果知道,方程(4.1)的通解是由其一个确定的特解和相应的额齐次方程的通解两部分构成的,因此我们要求

的通解. 一旦这个齐次方程的通解被确定,非齐次方程(4.1)的特解原则上可以用常数变易法得到.

由前面的知识我们知道,高阶线性方程(4.1)可以通过一个简单的变换化为与其等价的线性方程组. 因此我们完全可以只考虑一般的齐次线性方程组的求解问题,然后把齐次线性方程(4.3)作为其特例. 但由于将齐次方程(4.3)化为于其等价的齐次线性方程组后,其系数矩阵巨有特别简单的形式,因而其求解过程也要简单得多.


关于齐次方程(4.3)的通解,我们采用经典的 Euler 待定指数函数法,也就是寻求形如

的解,其中 为待定指数. 将(4.4)代入方程(4.3)得到

从而化为多项式方程

的求根问题,该多项式称为 特征多项式,(4.6)称为特征方程,他的根称为特征根,相应于(4.4)形式得解称为特征解.我们的想法是,求出所有的特征解并设法用他们来表示齐次方程(4.3)的所有解.


定理 4.1

设(4.6)有 个互异的根 ,则齐次方程(4.3)有基本解组 .

证明

显然函数 都是方程(4.3)的解. 我们只要验证它们是线性无关的. 按照之前的知识,我们计算它们的 Wronski 行列式

\begin{aligned} &\begin{vmatrix} 1&1&\cdots&1\\\\ \lambda_1&\lambda_2&\cdots&\lambda_n\\\\ \lambda_1^2&\lambda_2^2&\cdots&\lambda_n^2\\\\ \vdots&\vdots&&\vdots\\\\ \lambda_1^{n-1}&\lambda_2^{n-1}&\cdots&\lambda_n^{n-1}\\ \end{vmatrix}e^{(\lambda_1+\lambda_2+\cdots+\lambda_n)t}\\ &=\prod_{1\leqslant j<k\leqslant n}(\lambda_k-\lambda_j)e^{-a_1t}\not=0. \end{aligned}

其中我们用到了 Vandermonde 行列式的计算、多项式根与系数的关系以及 互异的事实. 因而我们得到了 个线性无关的解,他们构成了齐次方程(4.3)的解空间的一组基.


定理 4.2

设(4.6)只有 个互异的根 ,它们分别有重数 (自然有 ),则

构成齐次方程(4.3)的基本解组.

证明

分两步来证明该定理.

第一步

证明对任意的 ,

为线性无关解.

为此,我们首先证明

其中 . 事实上,对(4.5)关于复变量 求 次导数,即对 的 求导,即可归纳地得到(4.7). 另外,即使单纯从实函数的角度我们也可以证明(4.7),具体地说,我们利用乘积函数求导的 Leibniz 公式

.

这个公式形式上类似于 Newton 二项式定理,因此得到

.

根据 Toylor 展开式得到

从而(4.7)得证.

既然 为特征方程(4.6)的 重根,必有

故 . 因此,由(4.7)可见,齐次方程(4.3)除有特征解 外,还有解 显然,这个 个解还是线性无关的,因为如果有常数 满足

从而 .

第二步

证明将 分别取 后按第一步所得的各组函数合并在一起构成齐次方程(4.3)的解空间的一组基. 因为他们刚好是 个函数,故只需要证明他们是线性无关的.

如果它们线性相关,必有如下的恒等式:

其中 都是多项式而且不全恒为0. 不妨设这个 个多项式都不恒为0. 令 的次数 . 如下方法可将(4.8)化成只含一个不恒为0 的多项式情形. 我们的操作如下:

用 除(4.8)得

(4.9)两边再对 求导得

显然出了第一项次数降为 外,其余各项的多项式

的次数仍然是 . 由于 互异,,因此可以利用指数函数求导的性质继续对第一项降次. 这样连续地对(4.9)共求 次导可以得到

其中 都是次数分别为 的不恒为0 的多项式而且原来的第一项已经被消去.

由于他们也互异,将同样的方法用于(4.11)可以再消去第二项. 如此下去,最后可化成仅有一项的情况,即

其中 为常数而 为不恒为 0 的多项式. 这个是矛盾的. 因为 ,故 ,这与(4.12)矛盾.


上述结论都是在复数域中讨论的. 如果方程是实系数的,我们可以由下面的推论获得实数解的相应结果

推论

若实系数齐次线性方程(4.3)有 个互异的实特征根 及 对互异的复特征根 ,重数分别为 和 ,并且满足

则方程(4.3)有如下实解并组成基本解组:

\begin{matrix} e^{\lambda_kt},&te^{\lambda_kt},&\cdots,&t^{n_k-1}e^{\lambda_kt}&(t=1,2,\cdots,r)\\\\ e^{\alpha_jt}\cos\beta_jt,&te^{\alpha_jt}\cos\beta_jt,&\cdots,&t^{m_j-1}e^{\alpha_jt}\cos\beta_jt&(j=1,2,\cdots,l)\\\\ e^{\alpha_jt}\sin\beta_jt,&te^{\alpha_jt}\sin\beta_jt,&\cdots,&t^{m_j-1}e^{\alpha_jt}\sin\beta_jt&(j=1,2,\cdots,l)\\ \end{matrix}

证明

一个实系数齐次线性方程如果具有复值解 ,那么 和 都是这个齐次线性方程的解. 因此可以肯定上述 个实函数都是方程得解. 由于定理 4.2 中的 个线性无关的解都可以表示为本推论中的 个实函数的常系数线性组合,因此,这 个实函数也必定是线性无关的.


求方程

的实通解.

Sol:

该方程的特征多项式为

因此特征根为 . 按上述推论,得到实基本解组 . 这样就获得通解

其中 为任意实常数.


你可能感兴趣的:(微分方程-常系数线性方程-齐次问题)