《常微分方程》期末辅导.pptVIP

1、线性微分方程组的解的存在定理 (1.1) 考察形如 的一阶线性微分方程组，其中已知函数 和 在区间 上是连续的。方程组(1)关于 及 是线性的。 二、 线性微分方程组 我们引进下面的记号： (1.2) 这里 是 矩阵，它的元素是 个函数 。 (1.3) 这里 是 矩阵或 维列向量。 这样一来，方程组(1)可以写成下面的形式 (1.4) 其中 ， 是区间 函数， 上的已知连续 ， 是已知常数。我们指出，它 可以化为下列线性微分方程组(1.6)的初值问题: 考虑 阶线性微分方程的初值问题 (1.5) (1.6) 其中 值得指出的是：每一个 化为 阶线性微分方程可 却不成立。例如方程组 个一阶线性微分方程构成的方程组，反之 不能化为一个二阶微分方程。 　　可见，初值问题(1.5)与(1.6)在下面的意义下是等价的：给定其中一个初值问题的解，我们可以构造另一个初值问题的解。 定理1（存在唯一性定理） 如果 是 矩阵， 是 维列向量，它们都在区间 则对于区间 上的任何数 及任一常数向量 上连续， 方程组 存在唯一解 ， 定义于整个区间 上，且满足初始条件 推论（即第四章的定理1）如果 ， 都是区间 上的连续函数， 则对于区间 上的任何数 及任何的 ，方程 存在唯一解 ，定义于整个区间 上且满足初始条件： 。 的一般理论，主要研究它的解的结构问题。 2、线性微分方程组的一般理论 现在讨论线性微分方程组 (2.1) 如果 ，则(2.1)称为非齐线性的。 如果 ，则方程的形式为 (2.2)称为齐线性的。通常(2.2)称为对应于(2.1)的齐线性方程组。 我们主要研究齐线性方程组 (1)齐线性方程组 在区间 上是连续的。 的所有解的集合的代数结构问题。我们假设矩阵 几个概念: 线性相关、线性无关、伏朗斯基行列式、 基本解组 、解矩阵、基解矩阵 定义 设有 个定义在区间 上的向量函数 ，… ， 由这 个向量函数构成的行列式 称为这些向量函数的伏朗斯基行列式。 的任一解 (2.2)的 定理6（通解结构定理）如果 个线性无关的解，则方程 (2.2) 均可表为 其中 是相应的确定常数。 是方程 推论1 (2.2)的线性无关解的最大个数等于 。 定义3 (2.2)的 个线性无关的解 称为(2.2)的一个基本解组。显然，(2.2)具有无穷 多个不同的基本解组。 　　由定理5和定理6可知，(2.2)的解空间的维数是n。因此可得结论：(2.2)的所有解的集合构成一个 n 维线性空间。 推论2　如果 是 阶微分方程 (2.3) 是 个线性无关解，其中 是区间 上的连续函数，则(2.3)的任一解 均可表为 ， 是相应的确定常数。 　　下面我们将本节的定理写成矩阵的形式： 这里 定义　如果一个 矩阵的每一列都是 的解，则称这个矩阵为(2.2)的解矩阵。 它的列在 上是线性无关的解矩阵称为在 上的基解矩阵。我们用 表示由(2.2) 的 个线性无关的解 定理5和定理6即可表述为如下的定理 作为列构成的基解矩阵。 。 定理 (2.2)一定存在一个基解矩阵 如果 是(2.2)的任一解，那末 这里c是确定的n维常数列向量。 定理 (2.2)的一个解矩阵 是基解矩阵 的充要条件是 。而且，如果 对某一个 ， ，则 ， 。 （ 表示矩阵 的行列式）。 (2.4) （2）非齐线性微分方程组 主要讨论非齐线性微分方程组 的解的结构问题，这里 上的已知 连续矩阵， 是区 上的已知 维连续列向量。向量 通常称为强迫项，因为如果(2.1)描述一个力学 系统， 就代表外力。 是区间 间 　　我们首先讨论非齐线性微分方程组(2.1) 和与它对应的齐线性方程组 (2.2) 之间的关系。 　　容易验证(2.1)的两个简单性质： 性质1　如果 是(2.1)的解， 对应的齐线性方程组(2.2)的解。则 是(2.1) + 是(2.1)的解。 性质2 如果 和 是(2.1)的两个解，则 为对应的齐线性方程组(2.2)的解。 下面的定理7给出非齐线性方程组(2.1)的解的结构。 定理7 设 是 (2.2)的基解矩阵， 的某一解，则(2.1)的任一解 是(2.1) 都可表为 (2.5) 这里 数列向量。 是确定的常 = + 　　定理7 告诉我们，为了寻求(2.1)的任一解，只要知道(2.1)的一个解和它对应的齐线性方程组(2.2)的基解矩阵。现在我们还要进一步指出，在已经知道(2.2)的基解矩阵 的情况 下，有一个寻求(2.1) 这个方法就是常数变易法