From Wikibooks, open books for an open world
Consider
A
,
E
∈
R
n
×
n
{\displaystyle A,E\in \mathbb {R} ^{n\times n}}
. The pair (
E
{\displaystyle E}
,
A
{\displaystyle A}
) is D -admissible if it is regular and causal, and the eigenvalues of (
E
{\displaystyle E}
,
A
{\displaystyle A}
) lie within the LMI region D of the complex plane, which is defined as
D
=
{
z
∈
C
:
f
D
(
z
)
<
0
}
{\displaystyle D=\{z\in \mathbb {C} :f_{D}(z)<0}\}
, where
f
D
(
z
)
:=
Λ
+
z
Φ
+
z
¯
Φ
T
=
[
λ
k
l
+
Φ
k
l
z
+
Φ
l
k
z
¯
]
1
≤
k
,
l
≤
m
,
{\displaystyle f_{D}(z):=\Lambda +z\Phi +{\bar {z}}\Phi ^{T}=[\lambda _{kl}+\Phi _{kl}z+\Phi _{lk}{\bar {z}}]_{1\leq k,l\leq m},}
Λ
∈
S
m
,
Φ
∈
R
m
×
m
{\displaystyle \Lambda \in \mathbb {S} ^{m},\Phi \in \mathbb {R} ^{m\times m}}
, and
z
¯
{\displaystyle {\bar {z}}}
is the complex complex conjugate of
z
{\displaystyle z}
.
The pair (
E
{\displaystyle E}
,
A
{\displaystyle A}
) is D -admissible if and only if any of the following equivalent conditions are satisfied.
There exist
P
∈
S
n
,
S
∈
R
(
n
−
n
e
)
×
(
n
−
n
e
)
,
{\displaystyle P\in \mathbb {S} ^{n},S\in \mathbb {R} ^{(n-n_{e})\times (n-n_{e})},}
U
,
V
∈
R
n
×
(
n
−
n
e
)
,
{\displaystyle U,V\in \mathbb {R} ^{n\times (n-n_{e})},}
where
n
e
=
{\displaystyle n_{e}=}
rank
(
E
)
,
R
(
U
)
=
N
(
E
T
)
,
R
(
V
)
=
N
(
E
)
,
{\displaystyle (E),{\mathcal {R}}(U)={\mathcal {N}}(E^{T}),{\mathcal {R}}(V)={\mathcal {N}}(E),}
and
P
>
0
,
{\displaystyle P>0,}
satisfying
[
λ
k
l
E
P
E
T
+
ϕ
k
l
E
T
P
A
T
+
A
V
S
U
T
+
U
S
T
V
T
A
T
]
1
≤
k
,
l
≤
m
<
0
,
{\displaystyle [\lambda _{kl}EPE^{T}+\phi _{kl}E^{T}PA^{T}+AVSU^{T}+US^{T}V^{T}A^{T}]_{1\leq k,l\leq m}<0,}
There exist
P
,
Q
∈
S
n
,
{\displaystyle P,Q\in \mathbb {S} ^{n},}
where
P
>
0
,
{\displaystyle P>0,}
satisfying
E
T
Q
E
≥
0
{\displaystyle E^{T}QE\geq 0}
and
[
λ
k
l
E
P
E
T
+
ϕ
k
l
A
P
E
+
ϕ
l
k
E
T
P
A
T
+
A
T
Q
A
]
1
≤
k
,
l
≤
m
<
0
,
{\displaystyle [\lambda _{kl}EPE^{T}+\phi _{kl}APE+\phi _{lk}E^{T}PA^{T}+A^{T}QA]_{1\leq k,l\leq m}<0,}
There exist
P
∈
S
n
,
S
∈
R
(
n
−
n
e
)
×
(
n
−
n
e
)
,
U
∈
R
n
×
(
n
−
n
e
)
,
{\displaystyle P\in \mathbb {S} ^{n},S\in \mathbb {R} ^{(n-n_{e})\times (n-n_{e})},U\in \mathbb {R} ^{n\times (n-n_{e})},}
where
n
e
=
{\displaystyle n_{e}=}
rank
(
E
)
,
U
E
=
0
,
{\displaystyle (E),UE=0,}
and
P
>
0
,
{\displaystyle P>0,}
satisfying
[
λ
k
l
E
P
E
T
+
ϕ
k
l
A
P
E
+
ϕ
l
k
E
T
P
A
T
+
A
T
U
T
S
U
A
]
1
≤
k
,
l
≤
m
<
0
,
{\displaystyle [\lambda _{kl}EPE^{T}+\phi _{kl}APE+\phi _{lk}E^{T}PA^{T}+A^{T}U^{T}SUA]_{1\leq k,l\leq m}<0,}
There exist
P
∈
S
n
,
S
∈
R
(
n
−
n
e
)
×
(
n
−
n
e
)
,
{\displaystyle P\in \mathbb {S} ^{n},S\in \mathbb {R} ^{(n-n_{e})\times (n-n_{e})},}
U
,
V
∈
R
n
×
(
n
−
n
e
)
,
{\displaystyle U,V\in \mathbb {R} ^{n\times (n-n_{e})},}
where
n
e
=
{\displaystyle n_{e}=}
rank
(
E
)
,
R
(
U
)
=
N
(
E
T
)
,
R
(
V
)
=
N
(
E
)
,
{\displaystyle (E),{\mathcal {R}}(U)={\mathcal {N}}(E^{T}),{\mathcal {R}}(V)={\mathcal {N}}(E),}
and
P
>
0
,
{\displaystyle P>0,}
satisfying
Λ
⊗
E
P
E
T
+
Φ
⊗
(
A
P
E
)
+
Φ
T
⊗
(
E
P
A
T
)
+
1
m
m
⊗
(
A
V
S
U
T
+
U
S
T
V
T
A
T
)
<
0
,
{\displaystyle \Lambda \otimes EPE^{T}+\Phi \otimes (APE)+\Phi ^{T}\otimes (EPA^{T})+1_{mm}\otimes (AVSU^{T}+US^{T}V^{T}A^{T})<0,}
where
⊗
{\displaystyle \otimes }
is the Kroenecker product and
1
m
m
{\displaystyle 1_{mm}}
is an
m
×
m
{\displaystyle m\times m}
matrix filled with ones.
There exist
P
,
Q
∈
S
n
,
{\displaystyle P,Q\in \mathbb {S} ^{n},}
where
P
>
0
,
{\displaystyle P>0,}
satisfying
E
T
Q
E
≥
0
{\displaystyle E^{T}QE\geq 0}
and
Λ
⊗
E
P
E
T
+
Φ
⊗
(
A
P
E
)
+
Φ
T
⊗
(
E
P
A
T
)
+
1
m
m
⊗
(
A
T
Q
A
)
<
0
,
{\displaystyle \Lambda \otimes EPE^{T}+\Phi \otimes (APE)+\Phi ^{T}\otimes (EPA^{T})+1_{mm}\otimes (A^{T}QA)<0,}
where
⊗
{\displaystyle \otimes }
is the Kroenecker product and
1
m
m
{\displaystyle 1_{mm}}
is an
m
×
m
{\displaystyle m\times m}
matrix filled with ones.
There exist
P
∈
S
n
,
S
∈
R
(
n
−
n
e
)
×
(
n
−
n
e
)
,
U
∈
R
n
×
(
n
−
n
e
)
,
{\displaystyle P\in \mathbb {S} ^{n},S\in \mathbb {R} ^{(n-n_{e})\times (n-n_{e})},U\in \mathbb {R} ^{n\times (n-n_{e})},}
where
n
e
=
{\displaystyle n_{e}=}
rank
(
E
)
,
U
E
=
0
,
{\displaystyle (E),UE=0,}
and
P
>
0
,
{\displaystyle P>0,}
satisfying
Λ
⊗
E
P
E
T
+
Φ
⊗
(
A
P
E
)
+
Φ
T
⊗
(
E
P
A
T
)
+
1
m
m
⊗
(
A
T
U
T
S
U
A
)
<
0
,
{\displaystyle \Lambda \otimes EPE^{T}+\Phi \otimes (APE)+\Phi ^{T}\otimes (EPA^{T})+1_{mm}\otimes (A^{T}U^{T}SUA)<0,}
where
⊗
{\displaystyle \otimes }
is the Kroenecker product and
1
m
m
{\displaystyle 1_{mm}}
is an
m
×
m
{\displaystyle m\times m}
matrix filled with ones.
Caverly, Ryan; Forbes, James (2021). LMI Properties and Applications in Systems, Stability, and Control Theory .