查看: 1664  |  回复: 5

arang1

银虫 (正式写手)

[求助] 两个关于矩阵的问题 已有2人参与

问题
1)假定:矩阵S的所有特征根的实部分大于等于0
求证:是否存在一个正定矩阵P,满足PS+S^TP为半正定矩阵
  ps:S^T表示矩阵S的转置

2)假定A是半正定矩阵,B是正定矩阵
求证:是否存在一个正常数c使得cB-A为正定矩阵


  
谢谢
回复此楼

» 猜你喜欢

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

已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

lpxmc2012

铁虫 (小有名气)

丘维声的《高等代数学习指导书》上册有此题,你去看看吧.
爱因斯坦创立相对论的经典,海森堡写下矩阵力学的蓝天,薛定谔绘出波函数的美丽曲线,谁来完成终极定理的圆满?
2楼2014-03-25 20:38:03
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

arang1

银虫 (正式写手)

引用回帖:
2楼: Originally posted by lpxmc2012 at 2014-03-25 20:38:03
丘维声的《高等代数学习指导书》上册有此题,你去看看吧.

谢谢
3楼2014-03-26 17:24:06
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

汐蓝溪谷

木虫 (著名写手)

【答案】应助回帖

感谢参与,应助指数 +1
可以说这是纯定义证明么
君子不器
4楼2014-03-27 19:37:27
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

我没有解决问题,只是提供个可能的思路。
2)显然成立, 因为  对正定矩阵M, 由Courant-Fischer-Weyl 不等式,有
Lambda_min (x,x) <= (Mx, x) <= Lambda_max (x,x) 最大最小特征值,所以对任何 C满足 C* Lambda_B_min > Lambda_A_max, 都有
( (cB-A)x,x) >0, 也就是从定义来说,cB-A 是正定的。

1)不会作。 可以考虑一步步化简。
(i)因为 PS+S^T P 半正定等价于 ( (PS+S^T P)x, x) >=0. 即 2(Sx, Px)>=0. 因此, Q=V^T*P*V, W=V^{-1}*S*V 将会满足 QW+W^TQ半正定,所以不妨设S在相似下已经是Jordan标准型了。

(ii) 从矩阵维数归纳的话,不妨设S就有且仅有一个Jordan块。

(iii) 如果 PS+S^TP 半正定,那么 P*(S+epsilon) +(S+epsilon)^T*P正定,对任意epsilon>0. 因此不妨假设 S 特征根实部为零。

即使对这样的矩阵,我也构造不出正定矩阵P满足要求, 还是把球踢给楼主吧。
We_must_know. We_will_know.
5楼2014-03-29 11:38:08
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

【答案】应助回帖

引用回帖:
5楼: Originally posted by hank612 at 2014-03-29 11:38:08
我没有解决问题,只是提供个可能的思路。
2)显然成立, 因为  对正定矩阵M, 由Courant-Fischer-Weyl 不等式,有
Lambda_min (x,x) <= (Mx, x) <= Lambda_max (x,x) 最大最小特征值,所以对任何 C满足 C*  ...

令S=(0 1; 0 0), 如果要求P=(a b; b c)正定, 那么a不等于0。
这时 PS+S^T*P=(0 a; a 2b), 它作用于向量(x,y)^T上为 (ay, ax+2by).
可是无法满足 2a*x*y+2b*y^2 >=0对所有x,y.

如果可以把P放大到半正定, 那命题显然成立, 比如P=0。

丘老师真的会出这么明显的题么 (我指P半正定的情形)?
We_must_know. We_will_know.
6楼2014-03-29 13:18:30
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 arang1 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[有机交流] 用NBS溴化时溶剂除了CCl4外还有什么 +3 18834002860 2026-10-12 6/300 2026-10-15 14:30 by 长沙摩尔信息科�
[职场人生] 40+中年人失业后,还能找到好工作吗? +6 xqy2009 2026-10-13 7/350 2026-10-15 14:22 by ichall
[基金申请] 申请科研项目纯靠实力能成功吗? 200+7 David1982 2026-10-13 11/550 2026-10-15 10:30 by zyqchem
[硕博家园] 极限拉扯,如何抉择 +11 Isak0320 2026-10-12 15/750 2026-10-14 21:55 by 猫鱼不是鱼
[论文投稿] 二审4个多月了还是Awaiting Reviewer Scores 10+3 纳斯达克ML 2026-10-11 4/200 2026-10-14 17:30 by babero
[有机交流] OpenAI又攻克数学难题了,离AI做有机合成还有多远? +8 wangyl_123 2026-10-10 13/650 2026-10-14 15:12 by zuesli
[教师之家] 课题组会帮你通过考核么? +4 好运来~9527 2026-10-10 7/350 2026-10-13 08:41 by xli1984
[公派出国] 售一区SCI文章T0P,我:8O.551.O54,科目全,可十急 +5 qR2AdCWTVtkw 2026-10-09 9/450 2026-10-11 22:34 by XQNyDCa1Tk5n
[公派出国] 售SCI一区文章,我:8O5.5.1.O5.4,科目全,可伽急 +5 qR2AdCWTVtkw 2026-10-09 10/500 2026-10-11 22:26 by XQNyDCa1Tk5n
[考博] 售SCI一区T0P文章,我:8.O55.1.O.54,科目全,可十急 +5 qR2AdCWTVtkw 2026-10-09 9/450 2026-10-11 22:15 by XQNyDCa1Tk5n
[考博] 售SCI一区文章,我:8.O.55.1.O.54,科目齐全,可伽急 +3 qR2AdCWTVtkw 2026-10-09 7/350 2026-10-11 22:11 by XQNyDCa1Tk5n
[教师之家] 售SCI文章,我:8O5.5.1.O.54,科目齐全,可+急 (EPI+-1)(金币-50) +5 qR2AdCWTVtkw 2026-10-09 10/500 2026-10-11 22:06 by XQNyDCa1Tk5n
[教师之家] 售SCI一区T0P文章,我:8.O.55.1.O.5.4,科目全,可+急 (EPI+-1)(金币-50) +5 qR2AdCWTVtkw 2026-10-09 10/500 2026-10-11 14:25 by VOMexwnDzOFZ
[考研] 售SCI文章,我:8O.5.5.1O.54,科目全,可十急 +5 qR2AdCWTVtkw 2026-10-09 8/400 2026-10-11 13:51 by VOMexwnDzOFZ
[硕博家园] 售SCI-T0P文章,我:8O.5.5.1.O.54,科目齐全,可+急 +5 qR2AdCWTVtkw 2026-10-09 8/400 2026-10-11 13:45 by VOMexwnDzOFZ
[找工作] 售SCI一区T0P文章,我:8O.55.1.O.5.4,科目齐全,可+急 +3 qR2AdCWTVtkw 2026-10-09 7/350 2026-10-11 10:54 by VOMexwnDzOFZ
[找工作] 售SCI一区T0P文章,我:8O.55.1.O.5.4,科目齐全,可+急 +4 qR2AdCWTVtkw 2026-10-09 7/350 2026-10-11 10:34 by VOMexwnDzOFZ
[考博] 招收博士生一名 +3 mandolin 2026-10-10 3/150 2026-10-11 10:21 by 不是山谷!
[有机交流] 各位大佬,路线设计求助 +6 zapen 2026-10-08 8/400 2026-10-10 15:59 by zapen
[有机交流] 我应该选哪条合成路线让实验成功率高一些? +5 jing816y 2026-10-08 9/450 2026-10-10 09:05 by zapen
信息提示
请填处理意见