24小时热门版块排行榜    

查看: 880  |  回复: 9
当前只显示满足指定条件的回帖,点击这里查看本话题的所有回帖

lipeng0327

木虫 (正式写手)

水手

[求助] 线性系统问题求助

线性系统问题求助
线性系统问题求助
无标题.png
回复此楼

» 猜你喜欢

» 本主题相关价值贴推荐,对您同样有帮助:

在绝望中寻找希望,人生终将辉煌。
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

lipeng0327

木虫 (正式写手)

水手

我的证明思路是这样的:
将F化为 F=P*J*inv(P), J为标准的约当块,P为F的广义特征向量组成的变换阵,e^Ft = P * M * inv(P),M是可以直接由J列写的,M为上三角或下三角矩阵。以2范数为例来证明:
|| e^(Ft)|| = || P * M * inv(P)|| <=||P||*||M||*|| inv(P)||
因为||P||和|| inv(P)|| 为常数,
则  || e^(Ft)||<=k*||M||,此处 k = ||P||*|| inv(P)||
||M||=(max_ lambda(M*M'))^(1/2)  ( 此处lambda(.) 表示.的特征值)
而M*M'为正定对称阵,其所有的特征值都大于零,
所以有 max_ lambda(M*M')<trace(M*M'),  trace(.)表示方阵.的迹。
trace(M*M')< n*(M*M'的最大主对角元),此处n为M*M'的维数。
M*M'的最大主对角元应该是(e^(bt))^2,此处b为F的所有特征值中具有的最大的负实部。
综合得到
|| e^(Ft)||<=k*||M||

=k*(max_ lambda(M*M'))^(1/2)
=k*(trace(M*M'))^(1/2)
<=k*(n*(M*M'的最大主对角元))^(1/2)
=k*n^(1/2)*e^(bt))
=m*e^(-alpha*t)     此处(m = k*n^(1/2), alpha = -b)
在绝望中寻找希望,人生终将辉煌。
9楼2013-08-13 17:13:01
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 10 个回答

红星爱锅头

新虫 (小有名气)

【答案】应助回帖

感谢参与,应助指数 +1
我觉得应该可以从从稳定矩阵的性质和矩阵范数的定义两个角度综合考虑,希望能够提供一定的思路。
2楼2013-08-11 16:12:36
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

dfh3919

金虫 (小有名气)

【答案】应助回帖


感谢参与,应助指数 +1
lipeng0327: 金币+1 2013-08-11 22:13:39
将F矩阵对角化,然后利用F与对角矩阵(其中主对角线元素为F矩阵的特征值)的等价性就可以证明了。
3楼2013-08-11 21:49:38
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

liuyang5264

铁虫 (初入文坛)

【答案】应助回帖

感谢参与,应助指数 +1
将F化为Jordan标准型,按照子块的几种不同类型分别讨论就可以了。
4楼2013-08-12 09:45:37
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
信息提示
请填处理意见