线性矩阵不等式的常用引理:

Lemma 1:MMM 是对称阵,那么
λmax⁡(M)≤t⟺M−tI≤0\lambda_{\max }(M) \leq t \Longleftrightarrow M-t I \leq 0 λmax​(M)≤t⟺M−tI≤0
Proof. Note that for an arbitrary matrix MMM with an eigenvalue sss and a corresponding eigenvector x,x,x, there holds
(M−tI)x=Mx−tx=(s−t)x(M-t I) x=M x-t x=(s-t) x (M−tI)x=Mx−tx=(s−t)x
This states that for an arbitrary matrix MMM there holds
λ(M−tI)=λ(M)−t\lambda(M-t I)=\lambda(M)-t λ(M−tI)=λ(M)−t
Thus, when MMM is symmetric, we have
λmax⁡(M)≤t⟺λmax⁡(M−tI)≤0⟺M−tI≤0\begin{aligned} \lambda_{\max }(M) \leq t & \Longleftrightarrow \lambda \max (M-t I) \leq 0 \\ & \Longleftrightarrow M-t I \leq 0 \end{aligned} λmax​(M)≤t​⟺λmax(M−tI)≤0⟺M−tI≤0​

Lemma 2:AAA 是具有合适维数的矩阵,ttt 是一个正数,那么
ATA−t2I≤0⟺[−tIAAT−tI]≤0.A^{\mathrm{T}} A-t^{2} I \leq 0 \Longleftrightarrow\left[\begin{array}{cc}-t I & A \\ A^{\mathrm{T}} & -t I\end{array}\right] \leq 0.ATA−t2I≤0⟺[−tIAT​A−tI​]≤0.
Proof: Put
Q=[IA0tI]Q=\left[\begin{array}{ll} I & A \\ 0 & t I \end{array}\right] Q=[I0​AtI​]
then QQQ is nonsingular since t>0.t>0 .t>0. Note that
QT[−tIAAT−tI]Q=[−tI00t(ATA−t2I)]Q^{\mathrm{T}}\left[\begin{array}{cc} -t I & A \\ A^{\mathrm{T}} & -t I \end{array}\right] Q=\left[\begin{array}{cc} -t I & 0 \\ 0 & t\left(A^{\mathrm{T}} A-t^{2} I\right) \end{array}\right] QT[−tIAT​A−tI​]Q=[−tI0​0t(ATA−t2I)​]
again in view of the fact that t>0,t>0,t>0, it is clearly observed from the above relation that the equivalence in (1.2.4)(1.2 .4)(1.2.4) holds. Based on the above lemma, we can derive the following conclusion.

参考资料:

  1. Matlab LMI(线性矩阵不等式)工具箱中文版介绍及使用教程

2020-10-11 LMI线性矩阵不等式的一些知识相关推荐

  1. 线性矩阵不等式LMI的运用与Lipschitz非线性系统观测器的设计

    线性矩阵不等式(LMI)是有如下形式的一种约束描述:(1) 其中:是m个实数变量,称为线性矩阵不等式(1)的决策变量:是由决策变量构成的向量,称之为决策向量:是一组给定的实对称矩阵:(1)式中的不等号 ...

  2. 克罗内克积 (Kronecker product) 在线性矩阵不等式 (LMI) 中怎么描述

    强烈抗议:近期发现,CSDN博客中的代码在没有登录的情况下无法复制,这种行为已经完全背离了分享的初衷,为分享增加了不必要的麻烦,所以本人决定将本文内容逐步转移到其他平台. 本文新地址:https:// ...

  3. LMI工具箱之复线性矩阵不等式描述(含程序)

           复线性矩阵处理方法:埃尔米特矩阵L(x) =L(x)+jL(x)< 0等价于(Re(L(x)),−Im(L(x)):Im(L(x)),Re(L(x)))<0(Re表实部,Im ...

  4. 【控制】《鲁棒控制-线性矩阵不等式处理方法》-俞立老师-附录-LMI工具箱介绍

    第3章 回到目录 第5章 附录-LMI工具箱介绍 A.1 线性矩阵不等式及相关术语 A.1 线性矩阵不等式及相关术语

  5. 《鲁棒控制——线性矩阵不等式处理方法》(俞立)第二、三、四章学习笔记

    第二章   线性矩阵不等式  :非零向量,  或者的最大特征值小于0. 是凸集.(设V是数域P上的线性空间,W是V的一个非空子集,如果对W中任意两个向量a,b以及任意0<=c<=1,都有c ...

  6. 【控制】《鲁棒控制-线性矩阵不等式处理方法》-俞立老师-第4章-控制系统综合

    第3章 回到目录 第5章 <鲁棒控制-线性矩阵不等式处理方法>-俞立老师-目录 4.1 H∞H_\inftyH∞​ 控制 4.1.1 状态反馈 H∞H_\inftyH∞​ 控制 4.1.2 ...

  7. 【控制】《鲁棒控制-线性矩阵不等式处理方法》-俞立老师-第3章-系统性能分析

    第1章 回到目录 第3章 <鲁棒控制-线性矩阵不等式处理方法>-俞立老师-目录 第1章 引言 第1章 引言 clear clcsyms xi omega k xi = 0.1; omega ...

  8. 【控制】《鲁棒控制-线性矩阵不等式处理方法》-俞立老师-第2章-线性矩阵不等式

    第1章 回到目录 第3章 <鲁棒控制-线性矩阵不等式处理方法>-俞立老师-目录 第2章 引言 第2章 引言

  9. 【控制】《鲁棒控制-线性矩阵不等式处理方法》-俞立老师-第1章-引言

    无 回到目录 第2章 跳转链接 章节 跳转链接 第1章 引言 <鲁棒控制-线性矩阵不等式处理方法>-俞立老师-目录 跳转链接 第1章 引言 第1章 引言

最新文章

  1. PTA数据结构与算法题目集(中文)7-36
  2. 阿里云文件存储和自我管理的云解决方案的TCO比较
  3. Matlab.NET混合编程调用Figure窗体
  4. 05-常用IOC注解按照作用分类
  5. IDEA 引入传统 j2ee spring mvc
  6. Uninstall Office 2016 for Mac
  7. zcmu-2129(拓扑排序)
  8. proj4经纬度bl转换xy_多种坐标系之间的转换之Proj.NET_转载
  9. TCP keepalive的详解(解惑)
  10. 【maven】 在 MyEcplise上使用maven搭建Web项目
  11. 【Java】hashCode和identityHashCode的区别
  12. 关于遥感图像的控制点片匹配算法的一点想法(二)
  13. Go语言strings和strconv包
  14. Python中常用的模块和高级语法整理总结
  15. 3306π金牌讲师,甜橙金融(翼支付)高级总监张小虎专访
  16. php 计算工资,php计算税后工资的方法
  17. 邻接矩阵(Adjacency Matrix)
  18. Python教你用三行代码批量添加水印
  19. 操作系统单内核和微内核的区别
  20. 升级iOS 15后iPhone无法连接App Store怎么办?

热门文章

  1. 在sql2005中加数据库时出现无法打开物理文件
  2. ffmpeg函数调用失败--在编译自己的ffmpeg函数的时候显示ffmpeg函数undefined reference to `av_log_set_level(int)‘
  3. 【CyberSecurityLearning 附】DNS复习演示所有实验
  4. List<Map<String, Object>>——多层嵌套的数据结构
  5. SpringBoot中的自定义路径怎么配置/根目录配置方法
  6. Git 忽略一些文件不加入版本控制
  7. Git 的安装与初次使用 —— Git 学习笔记 03
  8. 大数的相加 乘 余 幂
  9. YOLO-目标检测中计算AP、MAP方法
  10. 电子科大计算机学院硕士培养方案,电子科技大学制订全日制硕士专业学位研究生培养方案基本要求.doc...