• 1.摘要
  • 2.简介
  • 3.常系数齐次线性微分方程
  • 4.常系数非齐次线性微分方程
  • 4.1.待定系数法
  • 4.2.常数变易法
  • 5.变系数线性微分方程
  • 6.拉普拉斯变换解微分方程

线性微分方程

线性微分方程是数学中常见的一类微分方程。指以下形式的微分方程:

image

其中方程左侧的微分算子image是线性算子,y是要解的未知函数,方程的右侧是一个已知函数。如果f(x) = 0,那么方程(*)的解的线性组合仍然是解,所有的解构成一个向量空间,称为解空间。这样的方程称为齐次线性微分方程。当f不是零函数时,所有的解构成一个仿射空间,由对应的齐次方程的解空间加上一个特解得到。这样的方程称为非齐次线性微分方程。线性微分方程可以是常微分方程,也可以是偏微分方程。

简介

线性微分方程是一类特殊的微分方程。一个线性微分方程的解构成向量空间或仿射空间,因此可以应用相关的代数知识来讨论解的性质。线性微分方程的普遍形式为:

image

其中的image是一个线性的微分算子,也就是说,设有两个函数imageimage以及两个常数imageimage,那么:

image

如果f是零函数,那么给定若干个方程(*)的解函数:image以及同样多的常数系数:image,线性组合image仍然是方程(*)的解函数。这说明所有方程(*)的解函数构成一个线性空间V,称为方程的解空间。如果f不是零函数,那么考虑相应的齐次线性微分方程:

image

image是方程(*)的一个解函数。image方程(**)的任意一个解函数。则它们的和image仍然是(*)的解函数。另一方面,给定方程(*)的两个解函数:imageimage。则它们的差image会是方程(**)的解函数。这说明方程(*)的所有解函数都可以写成image的形式。其中V是方程(**)的解空间。所以方程(*)的所有解函数构成一个仿射空间V',并且image

常系数齐次线性微分方程

一种解线性微分方程的方法是欧拉发现的,他意识到这类方程的解都具有image的形式,其中image是某个复数。因此,对于以下方程:

image

我们设image,可得:

image

两边除以e zx,便得到了一个n次方程:

image

这个方程F(z) = 0称为特征方程

一般地,把微分方程中以下的项

image

换成zk,便可得到特征方程。这个方程有n个解:z1, ..., zn。把任何一个解代入e zx,便可以得到微分方程的一个解:e zix。由于齐次线性微分方程满足叠加原理,因此这些函数的任意线性组合仍然满足微分方程。