24小时热门版块排行榜    

查看: 1682  |  回复: 6

yangaili

金虫 (小有名气)

[求助] 一个复矩阵不等式的证明

已知 M 是 n 阶实矩阵,M+M^T(^T 表示转置)正定,对于任意的 n 元复向量 y,证明:
    [(M+M^T)y, y]>[i (M-M^T)y, y],
其中 [. , .] 表示欧氏内积。
回复此楼

» 猜你喜欢

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

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

Jackie2011

木虫 (正式写手)

【答案】应助回帖

yangaili(金币+5): 我对右侧<=0的解释不是很清楚,进一步解释之后会送出剩余金币,非常感谢! 2011-11-06 17:54:44
由M+M^T正定(可分解)和内积定义知道,左侧恒正;
由M-M^T反对称实矩阵和内积定义知道,右侧<=0;
故不等式成立!
学好外语,不忘数学!
2楼2011-11-05 10:10:55
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

yangaili

金虫 (小有名气)

引用回帖:
2楼: Originally posted by Jackie2011 at 2011-11-05 10:10:55:
由M+M^T正定(可分解)和内积定义知道,左侧恒正;
由M-M^T反对称实矩阵和内积定义知道,右侧<=0;
故不等式成立!

左侧恒正很明显;右侧 M-M^T 的确是反对称实矩阵,并且 i*(M-M^T) 是Hermite阵,但右侧 <=0 我利用内积定义看不出来,您能否说的详细点?非常感谢!!!
3楼2011-11-06 17:50:41
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Jackie2011

木虫 (正式写手)

【答案】应助回帖

引用回帖:
3楼: Originally posted by yangaili at 2011-11-06 17:50:41:
左侧恒正很明显;右侧 M-M^T 的确是反对称实矩阵,并且 i*(M-M^T) 是Hermite阵,但右侧 <=0 我利用内积定义看不出来,您能否说的详细点?非常感谢!!!

启发下:
先求反对称矩阵的特征值试试?能否对角化分解?
学好外语,不忘数学!
4楼2011-11-06 20:06:02
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Jackie2011

木虫 (正式写手)

【答案】应助回帖

引用回帖:
3楼: Originally posted by yangaili at 2011-11-06 17:50:41:
左侧恒正很明显;右侧 M-M^T 的确是反对称实矩阵,并且 i*(M-M^T) 是Hermite阵,但右侧 <=0 我利用内积定义看不出来,您能否说的详细点?非常感谢!!!

注意 i*(M-M^T)的酉对角化,特征值全为实数和迹为零 !
学好外语,不忘数学!
5楼2011-11-07 11:14:30
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

yangaili

金虫 (小有名气)

引用回帖:
5楼: Originally posted by Jackie2011 at 2011-11-07 11:14:30:
注意 i*(M-M^T)的酉对角化,特征值全为实数和迹为零 !

利用酉对角化能把右侧式子化得很简单,但并不能说明右侧<=0,因为特征值有正有负,y是任意的。尽管迹为零,也还是得不出要的结论。
事实上,右侧也有可能>0, 比如 取$M=\begin{pmatrix}2&1\\0&2\end{pmatrix}$, 则 $M-M^T=\begin{pmatrix}0&1\\-1&0\end{pmatrix}$, 取$y=\begin{pmatrix}1+i\\1-i\end{pmatrix}$, 此时右侧=4.
十分感谢您的回答!!!
6楼2011-11-08 09:23:36
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

yangaili

金虫 (小有名气)

引用回帖:
5楼: Originally posted by Jackie2011 at 2011-11-07 11:14:30:
注意 i*(M-M^T)的酉对角化,特征值全为实数和迹为零 !

利用酉对角化能把右侧式子化得很简单,但并不能说明右侧<=0,因为特征值有正有负,y是任意的。尽管迹为零,也还是得不出要的结论。
事实上,右侧也有可能>0, 比如 取 则 [latex]M-M^T=\begin{pmatrix}0&1\\-1&0\end{pmatrix},[latex] 取[latex]y=\begin{pmatrix}1+i\\1-i\end{pmatrix},[latex], 此时右侧=4.
十分感谢您的回答!!!
7楼2011-11-08 09:33:02
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 cmalyang 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[博后之家] 售SCI一区T0P文章,我:8.O.55.1.O54,科目全,可伽急 +3 DpSrDtM079iu 2026-08-22 4/200 2026-08-23 01:04 by OEbVnUOu01ol
[考博] 售SCI文章,我:8O.5.5.1O.54,科目全,可十急 +3 DpSrDtM079iu 2026-08-22 3/150 2026-08-23 00:55 by OEbVnUOu01ol
[硕博家园] 售SCI一区T0P文章,我:8.O.55.1.O.5.4,科目全,可+急 +3 2JOx3r2CYEgw 2026-08-22 6/300 2026-08-23 00:52 by OEbVnUOu01ol
[考博] 售SCI一区T0P文章,我:8.O55.1.O.54,科目全,可十急 +3 2JOx3r2CYEgw 2026-08-21 8/400 2026-08-23 00:28 by OEbVnUOu01ol
[基金申请] 2026国自然函评费到账 +11 羊腰板 2026-08-21 11/550 2026-08-22 22:03 by lsbin3733
[硕博家园] 售SCI一区T0P文章,我:8.O.55.1.O54,科目全,可伽急 +3 2JOx3r2CYEgw 2026-08-22 3/150 2026-08-22 22:03 by OEbVnUOu01ol
[基金申请] 93BebMhtakh前后11位开头都是大写 +7 且听虎啸 2026-08-17 8/400 2026-08-22 21:55 by 医学老男孩
[基金申请] 范进中举一文的中心思想 +3 zjuhero 2026-08-22 4/200 2026-08-22 20:02 by mycsru
[教师之家] 跳槽后在研项目怎么办? +3 简单化xn 2026-08-22 7/350 2026-08-22 19:46 by 简单化xn
[基金申请] filecode,4个jtjc了 +13 ziyangfang 2026-08-19 16/800 2026-08-22 17:08 by WH3796
[教师之家] 售一区SCI文章T0P,我:8O.551.O54,科目全,可十急 +4 2JOx3r2CYEgw 2026-08-21 4/200 2026-08-22 16:52 by sunzitan
[基金申请] 时间戳今天,20号变了 +5 archvillain 2026-08-20 5/250 2026-08-22 06:12 by hui_daxiao
[基金申请] 建议基金发布提前给出明确的时间点 +10 kulium 2026-08-21 13/650 2026-08-21 21:58 by alongwaytogo
[基金申请] 今日不放榜?网传国自然预计 8 月 27 日可查结果 +16 医学老男孩 2026-08-20 20/1000 2026-08-21 21:13 by Ldrop2023
[基金申请] 科研孤儿太难了 +17 我4大白菜 2026-08-20 18/900 2026-08-21 20:57 by zhangev
[基金申请] 看来今天不会放榜了? +8 chengyan1220 2026-08-21 11/550 2026-08-21 17:52 by dcqxinyang
[基金申请] 我面上完蛋了 +7 且听虎啸 2026-08-20 8/400 2026-08-21 12:31 by 酷酷墨镜
[基金申请] 估计是周四 +3 archvillain 2026-08-18 3/150 2026-08-21 01:48 by jnhyjjm
[基金申请] 时间戳变了,能看出什么问题? +18 基诺咪客 2026-08-17 23/1150 2026-08-20 17:19 by Godzela
[基金申请] 重要消息,中午系统在维护 +11 yuleib84 2026-08-18 12/600 2026-08-20 11:09 by xskun
信息提示
请填处理意见