参考《常微分方程》第三版(王高雄)
常微分方程 王高雄 第五章 线性微分方程组_哔哩哔哩 (゜-゜)つロ 干杯~-bilibiliwww.bilibili.com前面介绍了线性微分方程的求解,现在考虑线性微分方程组的求解。
5.1 存在唯一性定理
记号和定义:
考虑如下方程组:(p186)
作以下变换:
则(5.1)等价为以下形式:
齐次线性与非齐次线性微分方程组:(p202)
参考第四章,我们也先引入一些用到的定义。
一.常用定义:
1.朗斯基行列式(p203)
2.向量函数的线性相关&线性无关(p202)
3.基本解组(p205)
4.矩阵或向量在闭区间上连续、可微、可积:如果它的每一个元都在该闭区间上连续、可微、可积
5.(5.4)的解的定义(p189)
6.矩阵可微的性质(p188)
7.矩阵和向量的范数定义及其性质(p195)
8.解矩阵、基解矩阵(p208)
9.基解矩阵的性质(p208)
二.齐次线性微分方程组基本性质
a)存在唯一性定理(p196)
b)叠加原理(p202)
c) 向量函数线性相关性与朗斯基行列式的关系(p203)
d)方程解(函数)线性无关,则朗斯基行列式不为0(p204)
e)通解结构定理(p205)
三.非齐次线性微分方程组的基本性质及常数变易法
a)齐次线性微分方程组与非齐次线性微分方程组解之间的关系(p211)
b)常数变易法(p211)
定理
此外:注意到5.1.1关于n阶线性微分方程的初值问题(5.6)与线性微分方程组的初值问题(5.7)等价性的论述,我们可以得到关于n阶非齐次线性微分方程的常数变易公式.
- 综上,对于n阶非齐次线性微分方程(5.28),其满足初值条件的解由下面公式给出:
(5.28)的任一解
- 特别的,当n=2时,公式(5.29)就是:
通解就是
5.3 常系数线性微分方程(p219)
5.3.1 矩阵指数expA的定义和性质
定义:
我们规定
其中
expA的性质
常系数齐次线性微分方程组(5.33)的解:
5.3.2 基解矩阵的计算公式
a)矩阵的特征值、特征向量、特征多项式、特征方程
b)常系数微分方程的基解矩阵定理(p227)
c)当A是任意的n*n矩阵时,(5.33)的基解矩阵的计算方法(p228)
一般地,有
其中
(5.52)的应用
matlab解微分方程:
y
- p213例2:
matlab实现:
[x1,x2]=dsolve('Dx1=x1+x2+exp(-t)','Dx2=x2','x1(0)=-1','x2(0)=1')
x1 =
t*exp(t) - exp(t)*(exp(-2*t)/2 + 1/2)
x2 =
exp(t)
可见结构与书上结果相同。
- p215例3:
matlab实现:
x=dsolve('D2x+x=tan(t)')
x =
C7*cos(t) - sin(2*t)/2 + C8*sin(t) - cos(t)*(2*atanh(tan(t/2)) - sin(t))
虽然与书中结果不一致,但是也是正确的,注意:tan(t),对于自变量t,要加括号。
2020.11.20