微分方程
1.复习
引入的微分方程
首先复习下微分方程的解法:
上式可以写成
简化后
上式表明的一阶导和的二阶导呈线性关系,这样的函数我们比较熟悉的只有这种类型,
又因为是关于自变量的函数,所以我们可以假设原函数
我们分别求出其一阶导和二阶导
将等式代入式,于是我们得到
其中不等于,事实上的情况也没啥意义
两边同时约去
式就是我们熟悉的特征方程
易得
于是原方程的通解为和的线性组合
即:
对也可以做同样的处理
可以解出的通解为
即:
通过分别求出和并代入到原微分方程,可以求出待定系数
因此原微分方程的通解可以表示为如下:
2.微分方程的线性代数解法
首先将方程写下来
都是关于的函数,令
整理的得到方程组
其中特征矩阵
令,求出特征值,以及相应的特征向量
,
由前面的微分方程的复习我们知道
这里的可直接记为
也就是说微分方程的通解
也就是说,通解可以完全的分解为对特征向量的线性组合进行表示,即,当我们知道方程的特征值和特征向量的时候,根本就不再需要像前面复习部分求解微分方程那样来来回回代入计算算一大通了
这里可以对比前一节斐波那契数列,不同之处在于,
微分方程的通解的特征值被写到自然数的指数位置,
事实上,任意的微分方程,如果其系数矩阵可对角化
其通解都可以写成 的形式
这里教授想对该微分方程探究一个问题
如果时刻,即如果,那么方程最后归于稳态的时候是什么状态
我们先把系数求出来
于是
解得
原通解可写成
可见增大的过程中,后一项趋于,只会保留第一项
于是稳态下
即对于该微分方程
如果则,即初始的个单位的有流向了
可见只有当所有特征值均为负数时候,微分方程稳态总是趋于
如果是复数根,只要保证复数的实部为负数即可,
比如
则
起作用的还是前面的 而是在单位圆上转圈圈
当其中一个特征值=0,其他特征值实部均为负数时候,微分方程会趋于一个固定稳态值,其值由特征值为0那一项前面的系数以及特征向量决定
一点评述,如何保证特征值均为负
即 矩阵的迹小于零
同时 矩阵的行列式的值小于零
的时候,微分方程的的通解会随时间趋于稳定的0;
e^(At)
特征值和特征向量的作用是解耦,又称对角化
回到原来的方程组
令,其中表示特征向量,表示特征向量用于线性组合的与相关的项
不妨抄写一下,方便理解
这里插入一点个人理解(非教授提到的,但我感觉比起教授写的更清晰一下)
因为
所以
所以
那么如果要让以的方式来表示最终的通项公式的话
------(这个地方前面这一串其实等于)
即上式
也就是说当可对角化为的时候,
会有 至于为什么成立,这属于矩阵的指数函数部分的内容,稍后会有的麦克劳林展开推导
这似乎还说明了一个事实,即对于常微分方程组
可以把矩阵看成是一个普通的变量
两边同时积分
于是因为本质上还是常数
到这一步我们还需要确定到底是个什么东西,虽然我们上面一直把矩阵当成一个变量去使用,但现在真正要求是啥子的时候,需要把把再看回矩阵的形式
我们把代入原方程可得
可见,通解可以写成,至此,我们发现,对于任意的微分方程组的通解,都可以用这种方式矩阵指数的形式表示
回归课程主线,下面是教授的推导:
其中
这样的方式就相当于对原方程进行了解耦,意思就是这里的
中 ,每一项
而原方程的是互相耦合的
我们知道
于是U(t)通解还可以写成下面的形式
矩阵指数函数
我们知道
可以根据这个对矩阵指数作定义
n阶段微分方程的处理办法
我们可以将二阶常微分方程
转化为2x2的一阶问题进行处理,构造方法类似于我们对斐波那契数列的处理方法。
令
则
如果是阶微分方程,那么需要一个矩阵,除了第一行和对角线下面一排斜线上的元素之外,这个系数矩阵其它元素均为0,此时特征值和特征向量就会自动出现