文档介绍：关于函数矩阵与矩阵微分方程 (2)
第一页，讲稿共四十五页哦
称为函数矩阵，其中所有的元素
都是定义在闭区间 上的实函数。
函数矩阵与数字矩阵一样也有加法，数乘，乘法，转置等几种运算，并且运算法则完
在 上可积，则称 在 上可积，且
第十七页，讲稿共四十五页哦
函数矩阵的定积分具有如下性质：
例1 ：已知函数矩阵
试计算
第十八页，讲稿共四十五页哦
证明：
第十九页，讲稿共四十五页哦
由于 ，所以
下面求 。由伴随矩阵公式可得
第二十页，讲稿共四十五页哦
再求
第二十一页，讲稿共四十五页哦
例2 ：已知函数矩阵
第二十二页，讲稿共四十五页哦
试求
例3 ：已知函数矩阵
试求
证明：
第二十三页，讲稿共四十五页哦
同样可以求得
第二十四页，讲稿共四十五页哦
例4 ：已知函数矩阵
试计算
第二十五页，讲稿共四十五页哦
函数向量的线性相关性
定义：设有定义在区间 上的 个连续的函数向量
如果存在一组不全为零的常实数
使得对于所有的 等式
成立，我们称，在 上
线性相关。
第二十六页，讲稿共四十五页哦
否则就说 线性无关。即如果只有在 等式才成立，那么就说 线性无关。
定义：设 是 个定义在区间 上的连续函数向量
记
第二十七页，讲稿共四十五页哦
以 为元素的常数矩阵
称为 的Gram矩阵，
称为Gram行列式。
定理：定义在区间 上的连续函数向量
线性无关的充要条件是它的Gram矩阵为满秩矩阵。
第二十八页，讲稿共四十五页哦
例 ： 设
则
于是 的Gram矩阵为
第二十九页，讲稿共四十五页哦
所以
故当 时， 在 上是线性无关的。
第三十页，讲稿共四十五页哦
定义： 设
是 个定义在区间 上的
有 阶导数的函数向量，记
那么称矩阵
第三十一页，讲稿共四十五页哦
第三十二页，讲稿共四十五页哦
是 的Wronski矩阵。
其中 分别是
的一阶，二阶，…， 阶导数矩阵。
定理： 设 是 的Wronski矩阵。如果在区间 上的某个点
，常数矩阵 的秩等于 ，则向量 在 上线性无关。
第三十三页，讲稿共四十五页哦
例 ： 设
则
因为 的秩为2，所以 与 线性无关。
第三十四页，讲稿共四十五页哦
函数矩阵在微分方程中的应用
形如
第三十五页，讲稿共四十五页哦
的线性微分方程组在引进函数矩阵与函数向量以后可以表示成如下形式
其中
第三十