第四章矩阵分析及矩阵函数精选PPT.ppt

《第四章矩阵分析及矩阵函数精选PPT.ppt》由会员分享，可在线阅读，更多相关《第四章矩阵分析及矩阵函数精选PPT.ppt（125页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、第四章矩阵分析及矩阵函数第1页，此课件共125页哦4.1 4.1 矩阵分析矩阵分析定定义义4.1.1 4.1.1 令令 是是 的的矩矩阵阵序序列列，假假 如如 存存 在在 一一 个个 的的 矩矩 阵阵 A A，即即当当 时时，与与 无无限限制制的的靠靠近近,则则称称序列收敛到序列收敛到A,A,记为记为:4.1.14.1.1基本概念基本概念第2页，此课件共125页哦矩阵序列收敛矩阵序列收敛 个一般序列收敛个一般序列收敛每一个矩阵每一个矩阵 表示成表示成 ,并且并且 .第3页，此课件共125页哦定理定理4.1.14.1.1 矩阵序列矩阵序列 收敛收敛 于于 矩阵矩阵A A的充分必要条件是的充分必要

2、条件是 对所有对所有 成立。成立。第4页，此课件共125页哦关于矩阵序列极限的性质，考虑其中二个。关于矩阵序列极限的性质，考虑其中二个。定理定理4.1.24.1.2令令 和和 是是 和和 矩阵，并且分别收敛到矩阵，并且分别收敛到A A和和B,B,那么：那么：第5页，此课件共125页哦推论推论1 1令令 是收敛于是收敛于A A的的矩矩阵阵序序列列，分分别别是是 矩矩阵阵，那么那么第6页，此课件共125页哦4.1.1.2 4.1.1.2 矩阵级数矩阵级数假如其收敛到假如其收敛到 ,记记 则级数则级数 ,收敛到收敛到 .定定义义4.1.24.1.2 令令 是是 矩矩阵阵序序列列，构造部分和序列构造部

3、分和序列 第7页，此课件共125页哦 收敛，当且仅当矩阵序列收敛，当且仅当矩阵序列 收敛，即当且仅当收敛，即当且仅当 任给任给 ,存在存在 ，任意正整数，任意正整数 只要只要 都有都有 定理定理4.1.34.1.3 (Cauchy (Cauchy收敛准则收敛准则)第8页，此课件共125页哦定理定理4.1.44.1.4 若数项级数若数项级数 收敛，则矩收敛，则矩阵级数阵级数 收敛。收敛。特别地，对于方阵特别地，对于方阵 ，如果级数，如果级数 收敛，则矩阵幂级数收敛，则矩阵幂级数 收敛收敛.第9页，此课件共125页哦例例4.1.24.1.2定定理理4.1.54.1.5 设设幂幂级级数数 的的收收敛

4、敛半半径径是是 ，则则当当方方阵阵 的的范范数数 时时，矩矩阵阵幂幂级数级数 收敛。收敛。第10页，此课件共125页哦4.1.2 4.1.2 矩阵的微分和积分矩阵的微分和积分 4.1.2.1 4.1.2.1 函数矩阵及其极限函数矩阵及其极限定义定义4.1.34.1.3 如果矩阵如果矩阵 的每一个元素的每一个元素 都是变量都是变量 的函数，则的函数，则第11页，此课件共125页哦定定义义4.1.44.1.4 如如果果对对任任意意 ，都都有有 ，则称矩阵，则称矩阵 在在 时极限为时极限为 。第12页，此课件共125页哦性质性质1 1 如果如果 ,以以下性质成立：下性质成立：（1 1）若若 都是都是

5、 矩阵，则矩阵，则第13页，此课件共125页哦（2 2）若若 分别是分别是 和和 矩阵，矩阵，则则 （3 3）设设 是常数，则是常数，则 第14页，此课件共125页哦定定义义4.1.54.1.5 设设函函数数矩矩阵阵 中中所所有有元元素素 在在 处处连连续续，则则称称 在在 处处连连续续，如如果所有元素果所有元素 在在 内每一点连续内每一点连续,称称 在在 内内连连续续，如如果果 在在 内内连连续，并且所有的续，并且所有的 在在 点右连续，在点右连续，在 点左连续，则称点左连续，则称 在在 上连续上连续.第15页，此课件共125页哦4.1.2.2 4.1.2.2 函数矩阵的微分函数矩阵的微分

6、定定义义4.1.64.1.6 设设函函数数矩矩阵阵 中中所所有有元元素素 都都在在 点点或或某某区区间间内内可可微微，则则称称矩矩阵阵 在在 点点或或某某区区间间内内是是可可微微的的,若若 可可微微，其其导导数如下：数如下：第16页，此课件共125页哦同样，同样，的高阶导数可以定义为的高阶导数可以定义为类似于数量函数的导数记法，可以类似于数量函数的导数记法，可以将上式记成将上式记成第17页，此课件共125页哦性质性质2 2 设函数矩阵设函数矩阵 都可微都可微(1)(1)若若 为常数，则为常数，则（2 2）若）若 与与 是同型矩阵，则是同型矩阵，则 第18页，此课件共125页哦(3)(3)若若

7、是是 矩阵，矩阵，是是 矩阵，则矩阵，则 特别的，如果特别的，如果 或或 是常数矩阵是常数矩阵 或或 ,就有就有第19页，此课件共125页哦4.1.3 4.1.3 函数矩阵的积分函数矩阵的积分 定定义义4.1.74.1.7 如如果果矩矩阵阵 的的每每个个元元素素 都都是是区区间间 上上的的可可积积函函数数，则则定定义义 在在 上的积分为上的积分为第20页，此课件共125页哦性质性质3 3 若若 是是 上的可积函数矩上的可积函数矩阵，则阵，则 都是都是 矩阵矩阵；分别是分别是 和和 矩阵，并且矩阵，并且 与与 无关无关.第21页，此课件共125页哦 分别是分别是 和和 矩阵，并且矩阵，并且 与与

8、 无关。无关。(4)(4)当当 对对所所有有 在在 上上连连续续时时，就称就称 在在 上连续上连续,且有且有 当当 都在都在 上连续时，则上连续时，则第22页，此课件共125页哦4.1.2.4 4.1.2.4 数量函数关于矩阵的微分数量函数关于矩阵的微分在场论中，对数量函数在场论中，对数量函数 ,定义梯度定义梯度如如 下：下：可以理解为函数可以理解为函数 对向量对向量 的的导数。导数。第23页，此课件共125页哦 定义定义4.1.84.1.8 设设 对对 有偏导数，定义有偏导数，定义 对向量对向量 导数为导数为 对向量对向量 的导数为的导数为第24页，此课件共125页哦一般地，假如一般地，假如

9、 对每个对每个 都有偏导数，则定义数量函数都有偏导数，则定义数量函数 对矩阵对矩阵 的导数为的导数为 例例 4.1.5 4.1.5第25页，此课件共125页哦4.2.1 4.2.1 矩阵函数的定义及性质矩阵函数的定义及性质 4.2 4.2 矩阵函数矩阵函数定义定义4.2.14.2.1 设一元函数设一元函数 能够展开为能够展开为 的幂函数的幂函数 其中其中 表示该幂级数的收敛半径表示该幂级数的收敛半径.第26页，此课件共125页哦当当n n阶阶矩矩阵阵 满满足足 时时，把把收收敛敛的的矩矩阵阵幂幂级级数数 的的和和称称为为矩矩阵阵函函数数，记记为为 ,即即第27页，此课件共125页哦如下函数如下

10、函数:在整个复平面上都是收敛的在整个复平面上都是收敛的.第28页，此课件共125页哦于是矩阵幂级数于是矩阵幂级数 都是绝对收敛的。都是绝对收敛的。第29页，此课件共125页哦因此它们有和并且有因此它们有和并且有 分别称以上三式是矩阵的指数函数，分别称以上三式是矩阵的指数函数，余弦函数和正弦函数。余弦函数和正弦函数。第30页，此课件共125页哦定理定理4.2.14.2.1 对于方阵对于方阵 的函数的函数 容易验证以下性质：容易验证以下性质：第31页，此课件共125页哦第32页，此课件共125页哦值得注意的是，在微积分中，我们对指数值得注意的是，在微积分中，我们对指数函数有如下性质函数有如下性质

11、,但矩但矩阵函数的第（阵函数的第（3 3）条性质中指出，这样一条）条性质中指出，这样一条性质必须性质必须 有条件保证。否则，一般有条件保证。否则，一般不成立。不成立。第33页，此课件共125页哦例如，令例如，令易证易证互不相等互不相等第34页，此课件共125页哦4.2.2 4.2.2 矩阵函数的计算矩阵函数的计算 4.2.2.1 4.2.2.1 待定系数法待定系数法 用待定系数法，计算矩阵函数用待定系数法，计算矩阵函数 是基于是基于每个矩阵每个矩阵 存在最小多项式的前提下进行存在最小多项式的前提下进行的，假设的，假设A A 的最小多项式是的最小多项式是 （4.2.64.2.6）第35页，此课件

12、共125页哦 多项式多项式 可以写成可以写成 ，其中其中 的次数低于的次数低于 的次数。由于的次数。由于 有有 ，所以，所以 。第36页，此课件共125页哦另另一一方方面面，我我们们可可以以将将A A的的最最小小多多项项式式(4.2.6)(4.2.6)写成写成 (4.2.7)(4.2.7)其中其中 是是A A的互异的特征值的互异的特征值 第37页，此课件共125页哦定义定义4.2.24.2.2 在在A A的谱上确定的谱上确定:设设A A的最小的最小多项式是多项式是 ，如，如(4.2.6)(4.2.6)所示，如果复所示，如果复函数函数 在在A A的谱的谱 上有下述确定上有下述确定的值。的值。（4

13、.2.84.2.8）称称 在在A A的谱上确定，并称的谱上确定，并称(4.2.8)(4.2.8)中的中的 r r个数为个数为 在在A A的谱上的值。的谱上的值。第38页，此课件共125页哦推论推论1 1 每个复多项式每个复多项式 在任何在任何 的的谱上确定。谱上确定。第39页，此课件共125页哦例例 4.2.1 4.2.1 例例 4.2.2 4.2.2例例 4.2.3 4.2.3 例例 4.2.4 4.2.4定理定理4.2.24.2.2 设设 和和 是两个复多项是两个复多项式，两者的次数和系数均可以不同式，两者的次数和系数均可以不同,，则，则 的充分必要条件是的充分必要条件是 和和 在在A A

14、的谱上的值完全相同。的谱上的值完全相同。第40页，此课件共125页哦4.2.2.2 4.2.2.2 利用利用JordanJordan标准形计算矩阵函数标准形计算矩阵函数 实际过程中，可以将无穷级数求和的问题化为实际过程中，可以将无穷级数求和的问题化为多项式求和问题。多项式求和问题。第41页，此课件共125页哦假设假设 矩阵矩阵A A的最小多项式是的最小多项式是 则有则有第42页，此课件共125页哦 当当 时，时，可降为低于可降为低于 的幂次，的幂次，矩阵多项式问题矩阵多项式问题幂级数定义的矩阵函数问题幂级数定义的矩阵函数问题计算计算 的关键：计算的关键：计算 。第43页，此课件共125页哦下面

15、分下面分A A是不同情况进行讨论是不同情况进行讨论(1)A(1)A是对角矩阵是对角矩阵 设设则则第44页，此课件共125页哦(2)A(2)A是对角形分块矩阵是对角形分块矩阵 其中其中 为为A A的子方阵的子方阵 第45页，此课件共125页哦由于分块矩阵的乘积与矩阵乘积类似故对由于分块矩阵的乘积与矩阵乘积类似故对于上述分块矩阵于上述分块矩阵A A，有，有 第46页，此课件共125页哦(3)A(3)A为一般矩阵时为一般矩阵时 的计算方法的计算方法 存在方阵存在方阵 使得使得 ，因此因此。若若第47页，此课件共125页哦则则其中其中 是是 的的 重特征根重特征根 第48页，此课件共125页哦则则第4

16、9页，此课件共125页哦且矩阵且矩阵A A的函数可化为的函数可化为A A的的JordanJordan块的函数问题；块的函数问题；的函数的函数 ；计算计算 实质上是计算实质上是计算 的的JordanJordan块块下面来具体计算下面来具体计算JordanJordan块块 的函数的函数 。第50页，此课件共125页哦设设则则于是于是（4.2.94.2.9）第51页，此课件共125页哦首先观察首先观察 第52页，此课件共125页哦第53页，此课件共125页哦为了计算为了计算 ，将，将 展开成展开成TaylorTaylor级数级数（4.2.104.2.10）第54页，此课件共125页哦由由 代入代入(

17、4.2.10)(4.2.10)得到得到（4.2.114.2.11）当当 时，时，.于是于是(4.2.10)(4.2.10)可以写成可以写成（4.2.124.2.12）第55页，此课件共125页哦将将(4.2.12)(4.2.12)写成矩阵形式写成矩阵形式（4.2.124.2.12）第56页，此课件共125页哦 例例 4.2.5 4.2.5 例例 4.2.6 4.2.6第57页，此课件共125页哦4.3.1 4.3.1 线性常系数齐次微分方程的初值问题线性常系数齐次微分方程的初值问题 关于关于n n个独立的函数个独立的函数 的线性常系数微分方程组可以表示成的线性常系数微分方程组可以表示成下面下面

18、(4.3.1)(4.3.1)形式。形式。4.3 4.3 线性常系数微分方程线性常系数微分方程第58页，此课件共125页哦（4.3.14.3.1）系数系数 是常数，是常数，(4.3.1)(4.3.1)满足初值条件满足初值条件 第59页，此课件共125页哦利用矩阵乘法利用矩阵乘法 ，把，把(4.3.1)(4.3.1)写成以下形式写成以下形式（4.3.24.3.2）第60页，此课件共125页哦其中其中称称(4.3.2)(4.3.2)是一阶线性常系数微分方程组是一阶线性常系数微分方程组的初值问题的初值问题 。第61页，此课件共125页哦4.3.1.1 4.3.1.1 一阶线性常系数齐次微分方程的初一阶

19、线性常系数齐次微分方程的初值问题值问题 在在(4.3.2)(4.3.2)中，假设已知的向量中，假设已知的向量 ，即即(4.3.2)(4.3.2)变为变为 （4.3.34.3.3）称称(4.3.3)(4.3.3)是一阶线性常系数齐次微分方程是一阶线性常系数齐次微分方程组初值问题组初值问题.第62页，此课件共125页哦下面来考虑下面来考虑(4.3.3)(4.3.3)的解的解 首先，将变量首先，将变量 在在 处展处展成幂级数形式成幂级数形式：其中其中第63页，此课件共125页哦由方程由方程(4.3.3)(4.3.3)得到得到 （4.3.4）从而有从而有第64页，此课件共125页哦下下面面我我们们来来

20、证证明明(4.3.4)(4.3.4)确确实实是是(4.3.3)(4.3.3)的的解解当当 时时,式式(4.3.4)(4.3.4)是是(4.3.3)(4.3.3)的解。的解。第65页，此课件共125页哦（1 1）(4.3.3)(4.3.3)的解是的解是 ，并且这个，并且这个 解唯一；解唯一；（2 2）解）解 的秩与的秩与 的取值无关。的取值无关。定理定理4.3.14.3.1 在初值问题在初值问题(4.3.3)(4.3.3)中：中：第66页，此课件共125页哦4.3.1.2 4.3.1.2 齐次方程解的讨论齐次方程解的讨论 在工程上要求，对任意的在工程上要求，对任意的 及初值及初值 初值问题初值问

21、题(4.3.5)(4.3.5)的解的解 具有具有性质性质第67页，此课件共125页哦定理定理4.3.24.3.2 对任意的对任意的 和和 ，初值，初值问题问题 的解的解 满足满足 的充分必要条件是的充分必要条件是矩阵矩阵 的特征值的特征值 都有负的实部。都有负的实部。第68页，此课件共125页哦定义定义4.3.14.3.1 所有特征值都有负实部的矩所有特征值都有负实部的矩阵称为稳定矩阵阵称为稳定矩阵。例例4.3.2 推论推论1 1 对任意的对任意的 和和 ，初值问题，初值问题(4.3.5)(4.3.5)的解满足的解满足 的充要条件是的充要条件是A A是稳定矩阵。是稳定矩阵。第69页，此课件共1

22、25页哦4.3.2 4.3.2 一阶线性常系数非齐次微分方程初一阶线性常系数非齐次微分方程初 值问题值问题 考虑考虑 ，即一阶常系数非齐次微分方，即一阶常系数非齐次微分方程程(4.3.2)(4.3.2)的解。的解。第70页，此课件共125页哦常系数线性方程常系数线性方程 解的问题，假设解的问题，假设 是它的一个特解，是它的一个特解，是是它的一般解，那么有定理保证它的一般解，那么有定理保证 是它是它对应的齐次方程对应的齐次方程 的解，这个解的解，这个解的特性在初值问题的特性在初值问题(4.3.2)(4.3.2)中同样适用中同样适用。第71页，此课件共125页哦易验证易验证即即 是微分方程是微分方

23、程 的一般解的一般解 令令（4.3.84.3.8）第72页，此课件共125页哦 为确定特解为确定特解 ，用常向量变易法，用常向量变易法，设设 ，其中，其中 是待定向量，将是待定向量，将(4.3.8)(4.3.8)代入方程代入方程(4.3.2)(4.3.2)，得到，得到 第73页，此课件共125页哦于是有于是有化简后，得化简后，得第74页，此课件共125页哦(4.3.2)(4.3.2)的一般解是的一般解是（4.3.94.3.9）(4.3.2)(4.3.2)的初值点变为的初值点变为 时，即时，即（4.3.104.3.10）第75页，此课件共125页哦(4.3.10)(4.3.10)的解为的解为 例

24、例 4.3.3 4.3.3第76页，此课件共125页哦4.3.3 n4.3.3 n阶常系数微分方程的解阶常系数微分方程的解 设设 为常数，为常数，为已知函数，为已知函数，称称 为为n n阶常系数微分方程，当阶常系数微分方程，当 时称为非时称为非齐次的，否则称为齐次的齐次的，否则称为齐次的.第77页，此课件共125页哦下面考虑下面考虑n n阶常系数线性齐次方程的初值阶常系数线性齐次方程的初值问题问题（4.3.114.3.11）第78页，此课件共125页哦令令第79页，此课件共125页哦从而有从而有第80页，此课件共125页哦令令第81页，此课件共125页哦初值问题初值问题(4.3.11)(4.3

25、.11)可以写成可以写成（4.3.124.3.12）第82页，此课件共125页哦其中系数矩阵其中系数矩阵A A称为称为(4.3.11)(4.3.11)方程的友矩阵。方程的友矩阵。第83页，此课件共125页哦由于初值问题由于初值问题(4.3.11)(4.3.11)的解是的解是(4.3.12)(4.3.12)解的解的第一个分量，从而第一个分量，从而(4.3.11)(4.3.11)的解是的解是 第84页，此课件共125页哦对于对于n n阶常系数线性非齐次方程的初值问题阶常系数线性非齐次方程的初值问题(4.3.13)(4.3.13)第85页，此课件共125页哦可以进行类似讨论，得到可以进行类似讨论，得

26、到(4.3.13)(4.3.13)的解是的解是方程组方程组 的解的第一个分量的解的第一个分量.第86页，此课件共125页哦其中其中第87页，此课件共125页哦第88页，此课件共125页哦(4.3.13)(4.3.13)初值问题的解是初值问题的解是 因此，求初值问题解的关键在于计算矩因此，求初值问题解的关键在于计算矩阵函数阵函数 。第89页，此课件共125页哦4.3.4 4.3.4 微分方程实例微分方程实例 工程系统中得动态系统的状态是系统的最小一组工程系统中得动态系统的状态是系统的最小一组变量（称为状态变量）变量（称为状态变量）.就是描述就是描述状态变量的函数状态变量的函数,如果知道了在如果知

27、道了在 时变量的时变量的初值初值 ,并且还知道并且还知道 对对r r 个输入（或控制）变量个输入（或控制）变量 ,则在则在 时系统的状态就完全确定，系统的输出变时系统的状态就完全确定，系统的输出变量可以是某一个状态变量，它们是描述人们希望量可以是某一个状态变量，它们是描述人们希望从系统中获得的响应。从系统中获得的响应。第90页，此课件共125页哦以以n n个变量为轴组成的空间叫个变量为轴组成的空间叫n n维状态空间维状态空间.设设称称 为系统的状态向量为系统的状态向量设设系统的状态方程是状态向量系统的状态方程是状态向量 的一阶的一阶微分方程微分方程第91页，此课件共125页哦对线性定常系统其状

28、态方程为对线性定常系统其状态方程为 或或都是常数矩阵，其中都是常数矩阵，其中 （4.3.154.3.15）第92页，此课件共125页哦例例4.3.44.3.4k图图4.3.14.3.1第93页，此课件共125页哦图图 4.3.2 4.3.2第94页，此课件共125页哦4.4.1.Wronski4.4.1.Wronski行列式与线性无关解行列式与线性无关解 4.1.1.1 4.1.1.1 函数元矩阵的连续函数元矩阵的连续 4.4 4.4 变系数微分方程组变系数微分方程组设设n n维实向量维实向量 其中其中 如果如果 在带形区域在带形区域 上连续上连续 则称则称 在在D D上连续上连续.（4.4.

29、14.4.1）第95页，此课件共125页哦定理定理4.4.14.4.1 考虑微分方程组考虑微分方程组(4.4.2)(4.4.2)其中其中 ,均为均为n n维实列向量，维实列向量，和和 为已知为已知.第96页，此课件共125页哦如如果果 在在(4.4.1)(4.4.1)的的带带形形区区域域D D上上连连续续，且存在一个常数且存在一个常数L L，使，使式中式中是是 上的任意范数，则对任给上的任意范数，则对任给的的 和和 初值问题初值问题(4.4.2)(4.4.2)存在连续存在连续可微的解，且解唯一可微的解，且解唯一.第97页，此课件共125页哦推论推论1 1 设设 分别为分别为 阶，阶，阶和阶和

30、阶实矩阵它们都在阶实矩阵它们都在 上连续，上连续，则对于任意给定的则对于任意给定的 ，,微微分方程组的初值问题分方程组的初值问题(4.4.4)(4.4.4)存在连续可微解，且解唯一。存在连续可微解，且解唯一。第98页，此课件共125页哦推论推论2 2 设设n n阶实方阵阶实方阵 在区间在区间 上连上连续，则对任意指定的续，则对任意指定的 初值问题初值问题（4.4.54.4.5）的唯一解是的唯一解是.第99页，此课件共125页哦4.4.1.2 wronski4.4.1.2 wronski行列式与线性无关解行列式与线性无关解 定义定义4.4.1.4.4.1.设设 是定义在区间是定义在区间 上的上的

31、n n维向量函数维向量函数,其中其中 第100页，此课件共125页哦如果存在不全为如果存在不全为0 0的的r r个常数个常数 使等式使等式 成立，则称向量函数成立，则称向量函数 线线性相关，否则称性相关，否则称 线性无线性无关关.第101页，此课件共125页哦定义定义4.4.24.4.2 设有设有n n个定义在区间个定义在区间 上的上的 n n维向量函数维向量函数(4.4.7(4.4.7)由这由这n n个向量函数构成的行列式记为个向量函数构成的行列式记为 .第102页，此课件共125页哦 称为这称为这n n个向量函数的个向量函数的WronskiWronski行列式行列式 第103页，此课件共1

32、25页哦定理定理4.4.24.4.2 若若n n个个n n维向量函数维向量函数 在在区区间间 上上线线性性相相关关，则则它它们们的的wronskiwronski行列式行列式第104页，此课件共125页哦4.4.2 4.4.2 齐次变系数线性微分方程组的解齐次变系数线性微分方程组的解 4.4.2.1 4.4.2.1 齐次变系数线性微分方程解的性质齐次变系数线性微分方程解的性质 考虑区间考虑区间 上齐次变系数线性微分方上齐次变系数线性微分方程组程组 的解，其中的解，其中 是是 上的连续上的连续n n阶实方阵阶实方阵.(4.4.10(4.4.10)第105页，此课件共125页哦其中每一个其中每一个

33、满足方程满足方程 于是寻找于是寻找S S的基的基 ，就成为解（，就成为解（4.4.104.4.10）的关键。的关键。(4.4.10)(4.4.10)的解空间为的解空间为第106页，此课件共125页哦定定理理4.4.34.4.3 设设n n阶阶实实方方阵阵 在在 上上连连续续，如果如果(4.4.10)(4.4.10)的的n n个解个解在在 上上线线性性无无关关，则则它它们们的的Wronski Wronski 行列式在行列式在 上恒不为上恒不为0 0，即关键，即关键 第107页，此课件共125页哦推论推论3 3 设设 是在是在 上连续的上连续的n n阶实方阵，阶实方阵，是方程是方程(4.4.10)

34、(4.4.10)在在 上的上的n n个解，如果这个解，如果这n n个解线性相关，则其个解线性相关，则其行列式行列式 恒等于恒等于0 0，如果这，如果这n n个解线性无个解线性无关，则其行列式关，则其行列式 恒不为恒不为0 0。第108页，此课件共125页哦推论推论4 4 在推论在推论3 3的条件下，若对某个的条件下，若对某个 使得使得 则这则这n n个解线性个解线性无关无关.第109页，此课件共125页哦4.4.2.2 4.4.2.2 状态转移矩阵及其性质状态转移矩阵及其性质 将将 时的初始向量分别记为时的初始向量分别记为 时，时，该问题的解记为该问题的解记为 和和 ,则可则可知初始向量为知初

35、始向量为 ，解为，解为第110页，此课件共125页哦 另一方面，另一方面，是是n n维向量，可以取维向量，可以取n n个线个线性无关初始向量为性无关初始向量为是是 的一个标准正交基。的一个标准正交基。第111页，此课件共125页哦(1)(1)状态转移矩阵的概念状态转移矩阵的概念设：设：是区间是区间 上上n n阶连续实方阵，阶连续实方阵，是是n n维列向量维列向量 。第112页，此课件共125页哦定义定义4.4.34.4.3 以初值问题以初值问题的解的解 作为第作为第j j列列 所组成的所组成的n n阶方阵阶方阵 称为称为 的状态转移矩阵，或对应系统的状态转移矩阵，或对应系统的状态转移矩阵。的状

36、态转移矩阵。（4.4.154.4.15）（4.4.164.4.16）第113页，此课件共125页哦定理定理4.4.44.4.4 初值问题初值问题 的解的解 可以用状态转移矩阵可以用状态转移矩阵 唯一唯一表示为表示为 （4.4.174.4.17）第114页，此课件共125页哦定理定理4.4.54.4.5 设设 和和 是是n n阶实方阵，则阶实方阵，则 的状态转移矩阵的状态转移矩阵 是矩阵微分是矩阵微分方程初值问题方程初值问题的唯一解。的唯一解。第115页，此课件共125页哦(4.4.19)(4.4.19)(4.4.20)(4.4.20)以上两式均视为状态转移矩阵的表征方程。以上两式均视为状态转移

37、矩阵的表征方程。第116页，此课件共125页哦(2)(2)状态转移矩阵的性质状态转移矩阵的性质 定理定理4.4.64.4.6 状态转移矩阵具有以下性质：状态转移矩阵具有以下性质：（4.4.214.4.21）（4.4.224.4.22）第117页，此课件共125页哦（4.4.234.4.23）若若 的状态转移矩阵是的状态转移矩阵是 ,的状态转移矩阵是的状态转移矩阵是 ,则则（4.2.244.2.24）第118页，此课件共125页哦定义定义4.4.44.4.4 设设 ，则对于任意给，则对于任意给定的定的 非奇异初始矩阵非奇异初始矩阵 初值问题初值问题(4.4.25)(4.4.25)的解，称为的一个

38、基本解矩阵。的解，称为的一个基本解矩阵。（3 3）基本解矩阵）基本解矩阵第119页，此课件共125页哦定理定理4.4.74.4.7 的基本解矩阵的基本解矩阵 有下述有下述 性质性质 (1)(1)在任何在任何 ,是非奇异的；是非奇异的；(2)(2)设设 是是 的任意两个基本解的任意两个基本解 矩阵矩阵T T，则存在非奇异数量矩阵使，则存在非奇异数量矩阵使 (3)(3)利用利用 的任意一个基本解矩阵的任意一个基本解矩阵 可可 将状态转移矩阵将状态转移矩阵 表示为表示为 第120页，此课件共125页哦(4)(4)状态转移矩阵的求法状态转移矩阵的求法 对对 通过通过TaylorTaylor展开式进行一

39、系列处理后，我们可以得展开式进行一系列处理后，我们可以得到下面的定理：到下面的定理：第121页，此课件共125页哦定理定理4.4.84.4.8 若对任意若对任意 有有 则初值问题则初值问题(4.4.25)(4.4.25)的解为的解为 方程组（方程组（4.4.104.4.10）的状态转移矩阵是）的状态转移矩阵是 第122页，此课件共125页哦推论推论4 4 是对角矩阵或是一个常数元是对角矩阵或是一个常数元矩阵时，则定理矩阵时，则定理4.4.84.4.8的结论成立。的结论成立。例例4.4.14.4.1第123页，此课件共125页哦4.4.3 4.4.3 非齐次变系数微分方程的初值非齐次变系数微分方程的初值 问题问题定理定理4.4.94.4.9 设设 和和 分别是分别是 和和 阶实矩阵阶实矩阵,它们都在它们都在 上连续，上连续，是初值向量，则微分方程初值问题是初值向量，则微分方程初值问题 的唯一解是的唯一解是 （4.4.294.4.29）（4.4.304.4.30）第124页，此课件共125页哦例例4.4.24.4.2第125页，此课件共125页哦