24小时热门版块排行榜    

CyRhmU.jpeg
查看: 3856  |  回复: 2

leimin2008

新虫 (正式写手)

[求助] 怎么判断一个LMI没有可行解

比如这样一个问题:我的文章计算出来参数k要大于0.5,这里我取k=0.6,代入别人的判据,得到下面:
存在正定矩阵P,正常数a,使得
-3P-2*kP+1/aPAA^TP+aI<=0  (*)   -4.2P+1/aPAA^TP+aI<0  (**)
其中A=[-3 -1;1 1];I为单位矩阵。

我的目标是和别人对比,证明(*)没有可行解。(*)是别人的判据。
这样我的判据 k>0.5 就比别人的适用范围大。(*的判据是k越大越好,因此要证明k=0.6它不成立)

怎么证明(*)没有可行解呢?或者说怎么 直观 的描述它没有可行解。
我现在用(**)的等价LMI计算出tmin=5.6113e-11

我知道有的人会说这个tmin是大于0的,所以说明没有可行解。有这样几个问题:
1.因为(*)是小于等于0,所以会不会存在边界值。
2.这个tmin非常接近0,所以是不是就无法判断是否存在可行解。
3.我记得一本书上看到过,如果tmin<0,那么说明(**)存在可行解。但是如果tmin>0,好像就无法判断是否一定没有解。
4.(*)和(**)的可行解的等价性问题
回复此楼
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

1124127307

新虫 (初入文坛)

您好,请问这个问题您后来有解决吗?不严格的可行解能够用作论文结论吗?
2楼2018-12-20 10:37:24
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

kdashen

新虫 (初入文坛)

引用回帖:
2楼: Originally posted by 1124127307 at 2018-12-20 10:37:24
您好,请问这个问题您后来有解决吗?不严格的可行解能够用作论文结论吗?

您好,您的问题最后解决了吗?
3楼2019-11-23 14:41:25
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 leimin2008 的主题更新
信息提示
请填处理意见