24小时热门版块排行榜    

查看: 1624  |  回复: 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 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考博] 售SCI一区T0P文章,我:8.O.55.1.O54,科目全,可伽急 +7 ASdOkHsho7FD 2026-08-28 12/600 2026-08-31 00:34 by hZiFeudZyoGR
[找工作] 售SCI文章,我:8O5.5.1.O.54,科目齐全,可+急 +3 4FFAWE8HcgUD 2026-08-29 5/250 2026-08-30 20:29 by hZiFeudZyoGR
[硕博家园] 售SCI一区文章,我:8O5.5.1.O5.4,科目全,可伽急 +3 AVl0JAsg9hyo 2026-08-29 5/250 2026-08-30 19:57 by hZiFeudZyoGR
[考研] 售SCI一区文章,我:8O5.5.1.O5.4,科目全,可伽急 +3 jCd0dEvKHShX 2026-08-29 5/250 2026-08-30 19:37 by hZiFeudZyoGR
[硕博家园] 售SCI文章,我:8O5.5.1.O.54,科目齐全,可+急 +3 jCd0dEvKHShX 2026-08-29 5/250 2026-08-30 19:35 by hZiFeudZyoGR
[考博] 售SCI一区T0P文章,我:8.O.55.1.O.5.4,科目全,可+急 +3 jCd0dEvKHShX 2026-08-29 3/150 2026-08-30 19:26 by hZiFeudZyoGR
[论文投稿] 售SCI文章,我:8O5.5.1.O.54,科目齐全,可+急 +4 G6APbkg8SA6w 2026-08-29 5/250 2026-08-30 19:01 by hZiFeudZyoGR
[考研] 售SCI一区文章,我:8.O.55.1.O.54,科目齐全,可伽急 +8 ASdOkHsho7FD 2026-08-28 12/600 2026-08-30 17:11 by hZiFeudZyoGR
[考博] 找导师 +6 yuanjiabao 2026-08-29 7/350 2026-08-30 14:40 by 生科新手
[博后之家] 售SCI文章,我:8O.5.5.1O.54,科目全,可十急 +8 ASdOkHsho7FD 2026-08-28 9/450 2026-08-30 11:40 by l0VvVHGBGRLv
[基金申请] 29号明天会评吗 +3 笨笨唐 2026-08-28 3/150 2026-08-30 09:29 by cww8181
[教师之家] 售SCI一区T0P文章,我:8.O.55.1.O54,科目全,可伽急 +5 ASdOkHsho7FD 2026-08-28 7/350 2026-08-30 06:10 by ZPa0EcMwuECS
[基金申请] 2026年叶企孙基金 +4 bud_bud 2026-08-27 7/350 2026-08-29 07:23 by foolishmani
[基金申请] 基金不中,共勉 +11 eulota 2026-08-26 11/550 2026-08-28 14:22 by 火星超人xi
[基金申请] 面上合作单位盖章 +5 ssyjh 2026-08-27 5/250 2026-08-27 20:50 by gdfollow
[基金申请] 怎么看青基中了没有啊 +5 叶九微 2026-08-26 5/250 2026-08-27 10:35 by l_zh2008
[文学芳草园] 梦想 +3 myrtle 2026-08-26 3/150 2026-08-27 10:01 by angelyueyi
[基金申请] 为什么国自然不能直接公布 +4 bjdxyxy 2026-08-26 4/200 2026-08-26 13:12 by qingmu1201
[基金申请] 国合可查了 +3 paperzjh 2026-08-26 3/150 2026-08-26 10:41 by LemmonTr
[基金申请] 在坚冰还盖着北海的时候,我看到了怒放的梅花。 (金币+10) +6 ziyangfang 2026-08-25 9/450 2026-08-25 20:26 by huagongfeihu
信息提示
请填处理意见