[論文レビュー] Geometric properties of LMI regions

Olga Y. Kushel|arXiv (Cornell University)|Oct 23, 2019

Stability and Control of Uncertain Systems参考文献 56被引用数 4

ひとこと要約

本稿は、複素平面上の線形行列不等式（LMI）領域について、幾何的分析を包括的に行い、生成関数の行列的性質と領域の位相的・凸幾何的特徴の間の関係を確立する。LMI領域内に円を内接させるための明示的条件を導出し、定義行列 L と M の固有値的性質を用いた構成的技法を提示する。主な結果として、退化円錐、線形空間、および領域分解の正規形に関する考察が得られる。

ABSTRACT

LMI (Linear Matrix Inequalities) regions is an important class of convex subsets of $\mathbb C$ arising in control theory. An LMI region $\mathfrak D$ is defined by its matrix-valued characteristic function $f_{\mathfrak D}(z) = {\mathbf L} + z{\mathbf M}+\bar{z}{\mathbf M}^T$ as follows: ${\mathfrak D} := \{z \in {\mathbb C}: f_{\mathfrak D}(z)\prec 0\}$. In this paper, we study LMI regions from the point of view of convex geometry, describing their boundaries, recession cones, lineality spaces and other characteristic in terms of the properties of matrices $\mathbf M$ and $\mathbf L$. Conversely, we study the link between the properties of matrices $\mathbf M$ and $\mathbf L$, e.g. normality, positive and negative definiteness, and the corresponding properties of an LMI region $\mathfrak D$. We provide the conditions, when an LMI region coincides with the intersection of elementary regions such as halfplanes, stripes, conic sectors and sides of hyperbolas. We also analyze the following problem, connected to pole placement: for a given LMI region $\mathfrak D$, defined by $f_{\mathfrak D}$, how to find a closed disk $D(x_0, r)$ centered at the real axis, such that $D(x_0, r) \subseteq {\mathfrak D}$?

研究の動機と目的

• L と M の行列的性質と、複素平面上の LMI領域の幾何的性質との間の厳密な関係を確立すること。
• 特に極配置やロバスト安定性解析において、与えられた LMI領域内に内接する最大の円を求める問題を解くこと。
• 境界、閉包、退化円錐、線形空間といった位相的特徴を、行列論的ツールを用いて特徴付けること。
• 特定の行列的条件の下で、LMI領域を半平面、帯状領域、円錐領域、双曲線領域といった基本的領域の共通部分に分解すること。
• 包含関係、変換（シフト、反転、スケーリング）および退化円錐の角度推定に関する構成的基準を提供すること。

提案手法

• 本稿は、特に M の対称部と反対称部のスペクトル分解を用いて、LMI領域の幾何的性質を特徴付ける。
• 行列関数 L(x) = L + Sym(M)·2x のコレスキー分解を適用し、正定値領域を分析し、z の虚部の上限を導出する。
• 領域を実数シフトにより原点に中心を合わせる変換を施し、変換後の計量下で M の反対称部の解析を可能にする。
• 可換な正規行列 L と M の正規形を用いて、LMI領域を基本的多項式領域の共通部分に分解する。
• 内接円の半径 r(D,x) の導出には、変換された反対称行列 (B^T)^{-1} Skew(M) B^{-1} の固有値を計算し、それらを虚軸の上限と関連付ける。
• 理論的結果は、左半平面、単位円板、安定性放物線といった明示的例を通じて検証され、r(D,x) の閉形式表現が得られる。

実験結果

リサーチクエスチョン

• RQ1 行列 L と M がどのような条件下に、半平面、帯状領域、または円錐領域といった基本的領域の共通部分と一致するか。
• RQ2 L と M の固有値的性質のみを用いて、与えられた LMI領域 D 内に内接する最大の円 D(x₀,r) をどのように計算できるか。
• RQ3 LMI領域の正確な幾何的特徴（例：退化円錐、線形空間）は何か。それらは L と M の構造によってどのように特定されるか。
• RQ4 シフト、反転、またはスケーリングなどの変換が、LMI領域の形状および包含関係に与える影響は何か。
• RQ5 与えられた LMI領域 D 内で、実数点 x 为中心とする最大の円の半径 r(D,x) の解析的表現は何か。

主な発見

• LMI領域 D の退化円錐は、Sym(M) の核空間によって特徴付けられ、D が円錐であるための必要十分条件は、Sym(M) が半正定値かつ L が負定値であることである。
• LMI領域が有界であるための必要十分条件は、M の対称部が正定値であることであり、これにより領域がいかなる方向にも無限に延長しないことが保証される。
• D の実射影上に存在する任意の x に対して、最大内接円の半径 r(D,x) は、安定性放物線領域では r(D,x) = |x|√(−ε²x)/√(x² − ε²x) で与えられ、ε と x に明示的な依存関係を示す。
• M が正規かつ L と可換であるとき、LMI領域 D は半平面、水平帯状領域、双曲線領域といった基本的領域の共通部分に分解される。
• LMI領域 D の線形空間が自明（すなわち {0}）であるための必要十分条件は、M の対称部が正定値であることであり、これにより原点を通る非自明な線分が D に含まれないことが示される。
• 中心が x₀ ∈ ℝ にある最大内接円の半径は、変換された反対称行列 (B^T)^{-1} Skew(M) B^{-1} の固有値によって決定され、虚部の固有値が直接的に z の虚部の上限をもたらす。