[论文解读] KYP Lemma for Non-Strict Inequalities and the associated Minimax Theorem

Alexandre Megretski|arXiv (Cornell University)|Aug 15, 2010

Optimization and Variational Analysis参考文献 1被引用 23

一句话总结

本文提出了离散时间与连续时间下非严格不等式情形的卡尔曼-亚库博维奇-波波夫（KYP）引理的新公式，建立了频域条件与广义里卡蒂型方程解的存在性之间的等价性。主要贡献是针对非严格不等式下的积分二次约束（IQCs）提出了一项极小化-极大化定理，该定理由谱分析与傅里叶变换证明，适用于鲁棒控制与最优控制理论。

ABSTRACT

Several variations of the classical Kalman-Yakubovich-Popov Lemma, as well the associated minimax theorem are presented.

研究动机与目标

• 解决线性系统理论中非严格不等式情形下KYP引理可访问公式的缺乏问题。
• 将经典KYP结果推广至严格正定性被放宽的情形，从而在鲁棒控制与优化中实现更广泛的应用。
• 在非严格频域条件下，建立积分二次约束（IQCs）的极小化-极大化定理。
• 通过谱分析与傅里叶分析，提供非严格LMI问题求解的严格证明与构造性方法。
• 通过将频域不等式与状态空间可行性及稳定性条件相联系，弥合控制理论中的理论空白。

提出的方法

• 采用稳定化配方法，将离散时间下的二次型与矩阵不等式关联。
• 通过在单位圆上（z ∈ ℂ, |z|=1）对传递函数进行谱分析，刻画频域形式的正定性。
• 利用ℓ²空间中信号的傅里叶变换表示，将二次泛函表达为在单位圆上的积分。
• 推导出非严格LMI可行性与单位圆上矩阵值函数正定性（Π(z) ≥ 0 on ℂ₊）之间的等价性。
• 采用包含二次型σ(v)、μ(w)与p(v,w)的极小化-极大化框架，证明在谱条件下inf-sup与sup-inf值相等。
• 通过L²范数控制与谱矩阵的一致有界性，证明部分最优值的连续性与有界性。

实验结果

研究问题

• RQ1 在何种条件下，非严格频域不等式等价于广义里卡蒂方程解的存在性？
• RQ2 如何在保持与状态空间可行性等价的前提下，将经典KYP引理推广至非严格不等式情形？
• RQ3 极小化-极大化等式在积分二次约束后可行性分析中起何作用？
• RQ4 单位圆上传递函数的谱特性如何决定非严格LMI条件的可行性？
• RQ5 能否通过基于傅里叶的表示，在非严格IQCs假设下建立最优值的连续性与有界性？

主要发现

• 非严格KYP引理成立：对于可稳定对(A,B)，配方法方程(1.2)存在解P ≥ 0，当且仅当对所有满足|z|=1的z ∈ ℂ（除有限个点外），有Π(z) ≥ 0。
• 当矩阵∫[Π₁₁ εΠ₁₂; εΠ₂₁ -Π₂₂] dm(z)对所有v ∈ ℓ²ₖ、w ∈ ℓ²_q及ε > 0均为半正定时，极小化-极大化等式inf sup g(v,w) = sup inf g(v,w)成立。
• 当Π₁₁(z₀) > 0且Π₂₂(z) ≤ 0在ℂ上成立时，泛函g(v,0)有下界，g(0,w)有上界，满足极小化-极大化定理的条件。
• 由于Π₁₁与Π₂₂在单位圆上一致有界，且L²范数与σ-范数等价，最优值的界具有连续性。
• 该证明方法可通过连续时间傅里叶变换推广至连续时间情形，其中v*与a的定义具有类比性。
• 研究结果验证并扩展了《控制手册》文章中关于使用极小化-极大化方法进行后可行性分析的论述，尤其在IQCs分析方面。