Abstract
We investigate genericity of various controllability and stabilizability concepts of linear, time-invariant differential-algebraic systems. Based on well-known algebraic characterizations of these concepts (see the survey article by Berger and Reis (in: Ilchmann A, Reis T (eds) Surveys in differential-algebraic equations I, Differential-Algebraic Equations Forum, Springer, Berlin, pp 1–61. https://doi.org/10.1007/978-3-642-34928-7_1)), we use tools from algebraic geometry to characterize genericity of controllability and stabilizability in terms of matrix formats.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We study genericity of controllability and stabilizability of differential algebraic systems described by the equation
where
To be precise, we first say what we understand under genericity.
Definition 1.1
[13, p. 28] and [11, p. 50] A set \( \mathbb {V} \subseteq \mathbb {R}^n\) is called an algebraic variety, if there exist finitely many polynomials
such that \(\mathbb {V}\) is the locus of their zeros, i.e.,
An algebraic variety \( \mathbb {V}\) is called proper if \( \mathbb {V} \subsetneq \mathbb {R}^n\). The set of all algebraic varieties in \(\mathbb {R}^n\) is denoted as
and the set of all proper algebraic varieties as
A set \(S\subseteq \mathbb {R}^n\) is called generic, if there exists a proper algebraic variety \(\mathbb {V}\in \mathscr {V}_n^{\text {prop}}(\mathbb {R})\) so that \(S^c\subseteq \mathbb {V}\). If the algebraic variety \(\mathbb {V}\) is known, then we call S generic with respect to (w.r.t.) \(\mathbb {V}\). \(\diamond \)
“Generic” is not consistently used in the literature. We show in the following proposition that generic as in Definition 1.1 is stronger than containing an open and dense subset with respect to the Euclidean topology.
Proposition 1.2
Any set \(S\subseteq \mathbb {R}^n\) satisfies:
-
(i)
If \(\mathbb {V}\subseteq \mathbb {R}^n\) is a proper algebraic variety, then \(\mathbb {V}^c\) is open and dense.
-
(ii)
If \(S\subseteq \mathbb {R}^n\) is generic w.r.t. \(\mathbb {V}\in \mathscr {V}_n^{\text {prop}}(\mathbb {R})\), then S contains the open and dense subset \(\mathbb {V}^c\).
-
(iii)
There exists an open and dense set \(S\subseteq \mathbb {R}^n\) with \(\lambda ^n(S)<\infty \), and therefore S is neither generic nor is \(S^c\)a proper algebraic variety. In other words, the reverse implications in (i) and (ii) do not hold true.
Proof
(i) We show that \(\mathbb {V}\) is closed. Let \(\mathbb {V}\) be given as in (2). Then, each \(p_i^{-1}(\left\{ 0 \right\} )\) is closed since \(p_i\) is continuous and hence, the claim follows.
It remains to prove that \(\mathbb {V}^c\) is dense. Seeking a contradiction, suppose that \(\mathbb {V}^c\) is not dense or, equivalently, \(\mathbb {V}\) has at least one inner point. Then, \(\lambda ^n(\mathbb {V})>0\) and \(\mathbb {V}\) cannot be a proper algebraic variety by Proposition A.3.
(ii) This is an immediate consequence of (i).
(iii) Let \(\varphi : \mathbb {N}\rightarrow \mathbb {Q}^n\) be a bijection and set
Then, \(S\subseteq \mathbb {R}^n\) is open, dense and satisfies
Now, Lemma A.7 shows that S is not generic.
If \(S^c=\mathbb {V}\) were an algebraic variety, then S is generic w.r.t. \(\mathbb {V}\) which is a contradiction. This completes the proof. \(\square \)
To characterize genericity in terms of the Zariski topology, recall [11, p. 50] that the latter is defined by the property that all closed sets are the algebraic varieties. The Zariski topology is strictly coarser than the Euclidean topology and we have: A set \(S\subseteq \mathbb {R}^n\) is generic if, and only if, S contains a nonempty Zariski open set.
This approach was used by Belur and Shankar in their investigations of genericity of impulse controllable systems (see [3, Section 3]). Since they consider differential-algebraic equations described by differential operator matrices and hence an infinite dimensional vector space, they need to extend the definition of generic sets to this space using the limit topology of the Zariski topology. This is not necessary in our setup.
In the special case that (1) is an ordinary differential equation, that is \(\ell =n\) and \(E=I\), Lee and Markus [10] proved that that the set of all controllable systems is open and dense w.r.t. the Euclidean topology. Wonham [12, Thm. 1.3] showed in the first edition of his monograph that the set of all controllable systems is generic.
Recently, it has been shown that linear, time-invariant port-Hamiltonian systems are generically controllable; see [9].
When it comes to differential-algebraic equations, then to the best of our knowledge there are only two contributions known where open and dense subsets of controllable systems are investigated. Banaszuk and Przyłuski [1] consider an algebraic criterion—which they do not justify analytically and which is not related to any concept of controllability—and give a sufficient condition so that the set of systems satisfying the algebraic criterion contains an open and dense subset. The second contribution is by Belur and Shankar [3].
Their main interest is on polynomial systems, and if specialized to matrix pencils, they derive a characterization of genericity of impulse controllability. Other concepts are not studied.
The basis of our approach is the algebraic characterizations of various concepts of controllability and stabilizability of differential-algebraic equations; this is well known and summarized in Propositions 2.1 and 3.1. We characterize—in terms of the formats \(\ell \), n, and m of (1)—when these controllability and stabilizability concept hold generically. This is the content of Theorems 2.3 and 3.3. The proofs of these two main results are based on methods from algebraic geometry, tailored for our purposes and relegated to “Appendix 1”, and some results on ranks of special matrices are presented in “Appendix 2”.
2 Controllability
There are various controllability concepts for differential-algebraic equations (1) such as freely initializable (also called ‘controllable at infinity’), impulse controllable, completely controllable, behavioral controllable, and strongly controllable. Their definitions and their algebraic characterizations are given in the next proposition. To state this, we need to say what a solution of (1) is. We consider the behavior of (1) given by
where \(\mathscr {L}^1_{\text {loc}}(\mathbb {R},\mathbb {R}^d)\) denotes the set of locally integrable functions \(f:\mathbb {R}\rightarrow {\mathbb {R}}^d\), and \(\mathscr {W}^{1,1}_{\text {loc}}(\mathbb {R},\mathbb {R}^d)\) is the Sobolev space of all functions \(f\in \mathscr {L}^1_{\text {loc}}(\mathbb {R},\mathbb {R}^d)\) with \(f^{(1)}\in \mathscr {L}^1_{\text {loc}}(\mathbb {R},\mathbb {R}^d)\). Note that any \(f\in \mathscr {W}^{1,1}_{\text {loc}}(\mathbb {R},\mathbb {R}^d)\) is continuous.
Controllability of a system (1) is a property of the corresponding behavior \(\mathfrak {B}_{[E,A,B]}\). If systems described by ordinary differential equations are considered, i.e., the special case \(E = I\), then the initial value \(x^0\in \mathbb {R}^n\) can be freely chosen and the problem is to which other points it can be steered in finite time. It is well-known that the system (1) with \(E=I\) is called controllable if, and only if, for any given initial state \(x^0\in \mathbb {R}^n\) and any terminal state \(x^1\in \mathbb {R}^n\), there exists a control \(u\in \mathscr {L}^1_{\text {loc}}(\mathbb {R},\mathbb {R}^m)\) which steers \(x^0\) to \(x^1\) in finite time \(T>0\), more formally, there exists \((x,u)\in \mathfrak {B}_{[E,A,B]}\) such that \(x(0) = x^0\) and \(x(T) = x^1\).
However, if an arbitrary matrix E is allowed in (1), then algebraic constraints are added to the differential equation. So it is unclear as to whether the initial value can be chosen freely. If the latter is the case, then the system is called freely initializable, sometimes also called controllable at infinity.
If (1) is assumed to be freely initializable, then one may ask, whether each initial state can be steered to any final state in finite time. If both conditions are fulfilled, then the system is called completely controllable.
A stronger controllability concept—but also a generalization of the ODE case—is in the behavioral setup the problem as to whether it is always possible to concatenate two given solutions \((x_1,u_1), (x_2,u_2)\in \mathfrak {B}_{[E,A,B]}\) by another solution \((x,u)\in \mathfrak {B}_{[E,A,B]}\) over the time interval [0, T]. Such systems are called behavioral controllable systems.
The concepts of freely initializable and completely controllable systems can be weakened in the sense that the initial and the terminal value are compared with respect to the image of E; for example, the initial condition becomes \(Ex^0=Ex(0)\). These weakened concepts are called impulse controllable and strongly controllable.
The precise definitions and algebraic characterizations are given in the following proposition.
Proposition 2.1
For any \((E,A,B)\in \Sigma _{\ell ,n,m}\), the following controllability definitions associated with the system (1) are algebraic characterized as follows:
Proof
Berger and Reis [4] derive a feedback form and use this as a tool in conjunction with ‘canonical’ representatives of certain equivalence classes to prove all characterizations of controllability in their survey. Note that in their characterization of strongly controllability, the term ‘\(+\mathrm {im}\,_{\mathbb {R}}E\)’ is missing in the first respective line in [4, Cor. 4.3]. \(\square \)
Remark 2.2
The equivalences
and
are proved in [4, Rem. 4.4]. \(\square \)
Genericity of the different controllability concepts can be characterized in terms of the system dimensions. To this end, we introduce the notation
where ‘controllable’ stands for one of the controllability concepts.
Theorem 2.3
For each of the controllability concepts defined in Proposition 2.1, the following characterizations hold:
Proof
We proceed in steps.
Step 1 We show: \(S_{\text {freely initial.}} \) is generic if, and only if, \( \ell \le n+m\).
First note that Proposition 2.1 yields
\(S_{\text {freely initial.}} = \left\{ (E,A,B)\in \Sigma _{\ell ,n,m}\ \big \vert \,\mathrm {rk}\,[E,A,B] = \mathrm {rk}\,[E,B] \right\} \).
\(\implies \) Let \(\ell >n+m\). By Proposition B.3 (i) and (ii), the sets
are generic sets. Hence, Corollary A.5(ii) implies that \(S_\mathrm{(i)}\cap S_\mathrm{(ii)}\) is a generic set. If \((E,A,B)\in S_\mathrm{(i)}\cap S_\mathrm{(ii)} \), then \(\ell >n+m\) yields
and therefore \(S_\mathrm{(i)}\cap S_\mathrm{(ii)} \subseteq S_{\text {freely initial.}}^c\) and \(S_{\text {freely initial.}}^c\) is generic. Thus, Lemma A.6 shows that \(S_{\text {freely initial.}}\) is not generic.
\(\Longleftarrow \) Since \(\ell \le n+m\) , the sets
are both non-empty and by Proposition B.3 (i) and (ii) they are generic. Now, Corollary A.5(ii) yields that \(S_\mathrm{(i)} \cap S_\mathrm{(ii)}\) is a generic set, and by Remark A.1, \(S_{\text {freely initial.}} \supseteq S_1 \cap S_2\) is generic, too.
Step 2 We show: \(S_{\text {imp. contr.}}\) is generic if, and only if, \( \ell \le n+m\).
We consider the two cases \(\ell \ge n\) and \(\ell <n\).
\(\ell \ge n\): By Proposition B.3 (i) and (iii), the sets
are generic and thus Corollary A.5 implies that \(S_\mathrm{(i)}\cap S_\mathrm{(iii)}\) is also generic. For each \((E,A,B)\in S_2\), we find by the rank-nullity theorem that \(\ker E = \left\{ 0 \right\} \). Hence, Proposition 2.1 yields that
Invoking Lemma A.8 gives that \(S_{\text {imp. contr.}}\) is generic if, and only if, \(\widetilde{S}\) is generic. By Proposition B.3, this is the case if, and only if, \(\min \left\{ \ell ,2n+m \right\} \le \min \left\{ \ell ,n+m \right\} \). This inequality holds true if, and only if, \(\ell \le n+m\).
\(\ell < n\): Put \(\widehat{S} := \left\{ (E,A,B)\in \Sigma _{n,n,m}\ \big \vert \,\mathrm {rk}\,[E,B] = \ell = \min \left\{ \ell ,n+m \right\} \right\} \), which is generic by Proposition B.3 (ii). Note that both statements
hold true. By Proposition 2.1, we find that \(\widehat{S}\cap S_{(i)]}\subseteq S_{\text {imp. contr.}}\) and hence, in view of Corollary A.5(ii) and Remark A.1, the set \(S_{\text {imp. contr.}}\) is generic.
Step 3 Proposition 2.1 yields
We show: \(S_{\text {beh. contr.}}\) is generic if, and only if, \(\ell \not = n+m\).
From Proposition B.5, we find that the set
is a generic set. The equation (5) implies
By Lemma A.8, genericity of \(S_{\text {beh. contr.}}\cap S_{{3}}\) is necessary and sufficient for \(S_{\text {beh. contr.}}\) being generic. Now, Proposition B.8 gives: \(S_{\text {beh. contr.}}\cap S_1\) is generic if, and only if, \(\ell \ne n+m\).
Step 4 Since
Corollary A.5 (ii) implies that \(S_{\text {strongly contr.}}\) is generic if, and only if, both \(S_{\text {imp. contr.}}\) and \( S_{\text {beh. contr.}}\) are generic. In view of Step 2 and Step 3, this is the case if, and only if, \(\ell < n+m\).
Step 5 Applying Corollary A.5 (ii) to the equality
we find with Step 1 and Step 3 that \(S_{\text {compl. contr.}}\) is generic if, and only if, \(\ell <n+m\). \(\square \)
In the following remark, we stress the observation that linear differential-algebraic systems are either generically controllable or generically not controllable.
Remark 2.4
A closer inspection of the proof of Theorem 2.3 yields that if \(S_{\text {arbitrary~controllability}}\) is not generic, then it is contained in a proper algebraic variety and thus its complement is generic.
3 Stabilizability
In the present section, genericity of stabilizability of DAEs is studied.
In the ODE-case, a system (1) is called stabilizable if, and only if, for each initial value \(x^0\in {\mathbb {R}}^n\) there exists a control \(u\in \mathscr {L}^1_{\text {loc}}(\mathbb {R},\mathbb {R}^m)\) which steers the forced trajectory x in (possibly) infinite time to zero, that is \((x,u)\in \mathfrak {B}_{[I,A,B]}\) so that \(x(0) = x^0\) and \(\lim _{t\rightarrow \infty }\text {ess sup}\, x|{ (t,\infty )|} = 0\).
As for controllability, different generalizing concepts have to be studied for DAEs. Each system that is stabilizable in the ODE-sense is called completely stabilizable. Similar to controllability, this concept is weakened if only Ex(t) is considered—in this case we speak of strong stabilizability.
Finally, a system is called behavioral controllable if, and only if, each \((x,u)\in \mathfrak {B}_{[E,A,B]}\) can be concatenated with some \((x,u)\in \mathfrak {B}_{[E,A,B]}\) which tends to zero as t tends to infinity.
The precise definitions and algebraic characterizations are given in the following proposition. We write \(\mathscr {W}^{1,1}_{\text {loc}}(I,\mathbb {R}^n)\) for the set of all weakly differentiable \(\varphi \in \mathscr {L}^1_\text {loc}({\mathbb {R}},\mathbb {R}^n)\).
Proposition 3.1
For any \((E,A,B)\in \Sigma _{\ell ,n,m}\), the following controllability definitions associated with the system (1) are algebraic characterized as follows:
Proof
All characterizations are proved in the survey article by Berger and Reis [4, Cor. 4.3]. \(\square \)
Remark 3.2
The equivalences
and
are proved in [4, Rem. 4.5]. \(\diamond \)
We now show how genericity of the different stability concepts can be characterized in terms of the matrix dimensions. To this end, we introduce the notion
where ‘stabilizable’ stands for one of the stability concepts.
Theorem 3.3
For each of the three stabilizability concepts from Proposition 3.1, the following characterizations hold:
Proof
Step 1 We show: \(S_{\text {beh. stab.}}\) is generic if, and only if, \(\ell \not = n+m\).
Proposition B.5 yields that the set
is generic. By Lemma A.8, genericity of
is a necessary and sufficient condition for genericity of \(S_{\text {beh. stab.}}\). By Proposition B.9, \(S_2\) is generic if, and only if, \(\ell \ne n+m\).
Step 2 Remark 3.2 yields that
Thus, Corollary A.5 (ii) together with Theorem 2.3 gives that \(S_{\text {compl. stabl.}}\) is generic if, and only if, \(\ell <n+m\).
Step 3 Applying Corollary A.5 (ii) and Theorem 2.3 to the equality
yields that \(S_{\text {str. stabl.}}\) is generic if, and only if \(\ell <n+m\). \(\square \)
As for controllability, we would like to emphasize that linear differential-algebraic systems are either generically controllable or generically not controllable.
Remark 3.4
A closer inspection of the proof of Theorem 3.3 yields as in Remark 2.4 that \(S_{\text {stabilizable}}\) is either generic or contained in a proper algebraic variety.
Abbreviations
- \(\left\| x \right\| _2\) :
-
\(:= \sqrt{x_1^2+\cdots +x_n^2}\), the Euclidean norm of \(x = (x_1,\ldots ,x_n)\in \mathbb {R}^n\)
- \(\mathbb {N}, \mathbb {N}^*\) :
-
\(:= \left\{ 0,1,2,\ldots \right\} \), \(:= \left\{ 1,2,\ldots \right\} \) resp.
- \(\mathbb {R}, {\mathbb {C}}\) :
-
The field of the real, complex numbers, resp.
- \(\overset{\circ }{\mathbb {C}}_{-}, \overline{\mathbb {C}}_{+}\) :
-
\(:=\left\{ z\in \mathbb {C}\,\big \vert \mathfrak {R}z < 0 \right\} \), the open left (resp. closed right) half plane \(\{z\in \mathbb {C}\,\big \vert \,\mathfrak {R}z\ge 0\}?\)
- \(\underline{j}\) :
-
\(:= \left\{ 1,\ldots ,j \right\} ,~j\in \mathbb {N}^*\). We set \(\underline{0} = \emptyset \).
- \(f^{-1}(A)\) :
-
\(:= \left\{ x\in X: f(x)\in A \right\} \), the preimage of the set \(A\subseteq Y\) under the function \(f: X\rightarrow Y\).
- \(\lambda ^n\) :
-
The Lebesgue measure on \({\mathbb {R}}^n\).
- \(R^{k\times \ell }\) :
-
The vector space of all \(k\times \ell \) matrices with entries in a ring R.
- \(\mathrm {rk}\,_FM\) :
-
The rank of \(M\in R^{k\times \ell }\)over the field F.
- [\(\mathbb {R}x_{1},\ldots ,x_{n}\)]:
-
\(:= \left\{ \sum _{k = 0}^\ell a_k x_1^{\nu _{k,1}}\cdots x_n^{\nu _{k,n}}\ \big \vert \, \ell \in \mathbb {N},a_k\in \mathbb {R},\nu _{k,j}\in \mathbb {N} \right\} \), the ring of (real) polynomials in n indeterminants.
- \(\mathbb {R}(x_1,\ldots ,x_n)\) :
-
\(:=\left\{ \frac{p}{q}\ \big \vert \,p = p(x_1,\ldots ,x_n),q = q(x_1,\ldots ,x_n)\in \mathbb {R}[x_1,\ldots ,x_n],q\ne 0 \right\} \)
References
Banaszuk A, Przyłuski KM (1999) On perturbations of controllable implicit linear systems. IMA J Math Control Inf 16:91–102
Barker GP, Schneider H (1973) Matrices and linear algebra, 2nd edn. Dover Publications, New York
Belur MN, Shankar S (2019) The persistence of impulse controllability. Math Control Signals Syst 31:487–501
Berger T, Reis T (2013) Controllability of linear differential-algebraic systems – a survey. In: Ilchmann A, Reis T (eds) Surveys in differential-algebraic equations I, Differential-Algebraic Equations Forum. Springer, Berlin, pp 1–61. https://doi.org/10.1007/978-3-642-34928-7_1
Federer H (1969) Geometric measure theory. Springer, Berlin
Fischer G (2014) Linear algebra, 18th edn. Springer Spektrum, Wiesbaden
Fuhrmann PA (2012) A polynomial approach to linear algebra, 2nd edn. Springer, New York
Hinrichsen D, Pritchard AJ (2005) Mathematical systems theory I. Modelling, state space analysis, stability and robustness. Springer, Berlin
Kirchhoff J (2021) Linear port-Hamiltonian systems are generically controllable. Conditionally accepted IEEE-TAC, preprint available at arXiv:2104:02111
Lee EB, Markus L (1967) Foundations of optimal control theory. Wiley, New York
Reid M (1988) Undergraduate algebraic geometry. Cambridge University Press, Cambridge
Wonham WM (1974) Linear multivariable control: a geometric approach, 1st edn. Springer, Heidelberg
Wonham WM (1985) Linear multivariable control: a geometric approach, 3rd edn. Springer, New York
Acknowledgements
We are indebted to our colleague Thomas Hotz (Ilmenau) for several constructive discussions, and to a reviewer who read the two submissions very carefully and made many helpful comments.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A Algebraic geometry
The results presented in the present section are tailored from algebraic geometry for our needs. They provide a basis for the proofs of Theorems 2.3 and 3.3.
Throughout this section, let \(n\in \mathbb {N}^*\).
We identify, wherever needed, any polynomial—an algebraic object–
with the polynomial – an algebraic object –
An immediate consequence of Definition 1.1 is the following useful property.
Remark A.1
If \(S\subseteq \mathbb {R}^n\) is generic w.r.t. \(\mathbb {V}\in \mathscr {V}_n^{\text {prop}}(\mathbb {R})\), then any encompassing set\(\widetilde{S}\supseteq S\) is generic w.r.t. \(\mathbb {V}\). \(\diamond \)
Definition 1.1 can be simplified using one instead of finitely many polynomials.
Lemma A.2
Any set \(\mathbb {V}\subseteq \mathbb {R}^n\) is an algebraic variety if, and only if, there is a polynomial \(p\in \mathbb {R}[x_1,\ldots ,x_n]\) so that \(\mathbb {V} = p^{-1}(\left\{ 0 \right\} )\).
Proof
The proof follows from \( \bigcap _{i = 1}^kp_i^{-1}(\left\{ 0 \right\} ) \ = \ \bigg ( \sum _{i = 1}^kp_i^2 \bigg )^{-1}(\left\{ 0 \right\} ). \) \(\square \)
We use the well-known result that proper algebraic varieties are Lebesgue null sets.
Proposition A.3
[5, p. 240] Let \(\mathbb {V}\subseteq \mathbb {R}^n\) be an algebraic variety. Then, \(\mathbb {V}\) is proper if, and only if, \(\mathbb {V}\) is a closed Lebesgue null set.
Corollary A.4
If \(\mathbb {V}_1,\mathbb {V}_2\in \mathscr {V}_n^{\text {prop}}(\mathbb {R}^n)\), then \(\mathbb {V}_1 \cap \mathbb {V}_2\in \mathscr {V}_n^{\text {prop}}(\mathbb {R}^n)\) and \(\mathbb {V}_1 \cup \mathbb {V}_2\in \mathscr {V}_n^{\text {prop}}(\mathbb {R}^n)\).
Proof
The intersection and union of algebraic varieties are algebraic varieties; see [11, p. 50]. Since the intersection and union of finitely many Lebesgue null sets are null sets, the claim follows from Proposition A.3. \(\square \)
By Definition 1.1 and Remark A.1, we have the following corollary.
Corollary A.5
For any \(S_1,S_2\subseteq \mathbb {R}^n\), we have:
-
(i)
If \(S_1,S_2\) are generic sets, then \(S_1^c\) is a Lebesgue null set and \(S_1\cup S_2\) is a generic set.
-
(ii)
\(S_1\) and \(S_2\) are generic sets if, and only if, \(S_1\cap S_2\) is a generic set.
With the help of Corollary A.5, we conclude from Proposition A.3 that \(\mathbb {R}^n\) cannot be partitioned into more than one generic set.
Lemma A.6
\(\mathbb {R}^n\) cannot be partitioned into two generic sets.
Proof
Seeking a contradiction, suppose \(S_1,\,S_2\subseteq \mathbb {R}^n\) is a partition of \(\mathbb {R}^n\) into generic sets, i.e., \(S_1,\,S_2\) are nonempty disjoint sets with \(S_1\cup S_2 = \mathbb {R}^n\) and \(S_i\) is generic w.r.t. \(\mathbb {V}_i\in \mathscr {V}_n^{\text {prop}}(\mathbb {R})\), for \(i=1,2\). Then, \(S_2 = S_1^c\subseteq \mathbb {V}_1\) and \(S_1 = S_2^c\subseteq \mathbb {V}_2\). This yields \(\mathbb {V}_1\cup \mathbb {V}_2 = \mathbb {R}^n\). The latter is a proper algebraic variety by Corollary A.4, but this contradicts Proposition A.3. \(\square \)
Another consequence of Proposition A.3 is the following lemma, which will be used for the simplification of some proofs.
Lemma A.7
If \(\lambda ^n(S)<\infty \) for some set \(S\subseteq \mathbb {R}^n\), then S is not generic.
Proof
If \(S\subseteq \mathbb {R}^n\) were a generic set with \(\lambda ^n(S)<\infty \), then \(S^c\) is by Corollary A.5 a Lebesgue null set and additivity of the Lebesgue measure yields the contradiction \( \infty = \lambda ^n(\mathbb {R}^n) = \lambda ^n(S\cup S^c) = \lambda ^n(S) + \lambda ^n(S^c) = \lambda ^n(S)<\infty \). \(\square \)
A useful property of generic sets is the next lemma.
Lemma A.8
Let \(S_1\subseteq \mathbb {R}^n\) be generic and \(S_2,S\subseteq \mathbb {R}^n\) with \(S\cap S_1 = S_2\cap S_1\). Then, S is generic if, and only if, \(S_2\) is generic.
Proof
Since the statement is symmetric, only one direction has to be shown. Suppose S is generic. Then, Corollary A.5 yields that \(S\cap S_1 = S_2\cap S_1\) is generic. Since \(S_2\cap S_1\subseteq S_2\), genericity of \(S_2\) follows from Remark A.1.
Appendix B Linear algebra
We fix, throughout this section, the positive integers \(\ell ,n,m,d\in \mathbb {N}^*\).
Different controllability and stabilizability concepts can—as shown in Proposition 2.1 and 3.1—be characterized by rank properties of certain matrices in terms of \((E,A,B)\in \Sigma _{\ell ,n,m}\). We prove in the present section that these rank properties hold on generic subsets of \(\Sigma _{\ell ,n,m}\), where the latter matrix space is identified with \(\mathbb {R}^{\ell (2n+m)}\).
We recall the concept of a minor.
Definition B.1
(Submatrix, minor) Let \(s,t,u,v\in \mathbb {N}^*\) fulfill the inequalities \(s\le u\) and \(t\le v\), let \(\sigma : \underline{s}\rightarrow \underline{u}\) and \(\pi : \underline{t}\rightarrow \underline{v}\) be injective, and let further \(R = \mathbb {R}\) or \(R = \mathbb {R}[x]\). Then, \(\sigma \) and \(\pi \) induce the submatrix
If \(s = t = d\), then the mapping
is called minor of degree d (w.r.t. \(R^{u\times v}\)). \(\diamond \)
Remark B.2
Let \(M_{\sigma ,\pi }\) be a minor of order d w.r.t. \(\mathbb {R}^{u\times v}\) and \(S_d\) the set of all permutations of a d-element family. Then, the Leibniz formula gives
and hence, \(M_{\sigma ,\pi }\) is a polynomial in the entries of the matrix and we may write
\(\diamond \)
Next, we generalize the well-known property that invertibility of squared real matrices is a generic property to block matrices.
Proposition B.3
The following sets are proper algebraic varieties
Proof
(i) Set \(S^c := \left\{ (E,A,B)\in \Sigma _{\ell ,n,m}\ \big \vert \,\mathrm {rk}\,[E,A,B]< d \right\} \).
\(\implies \) If \(d>\min \left\{ \ell ,2n+m \right\} \), then \(S^c = \Sigma _{\ell ,n,m}\) is an algebraic variety but not proper.
\(\Leftarrow \) Let \(\widetilde{M}_1(\cdot ),\ldots ,\widetilde{M}_r(\cdot )\) be all minors of order d w.r.t. \(\mathbb {R}^{\ell \times (2n+m)}\) and define
The fact (see the German reference [6, Sect. 3.3.6], for an English reference we only know [2, Th. 4.6.1] who prove necessity, only)
yields \( S^c = \bigcap _{i=1}^r \left( M_i\right) ^{-1}(\left\{ 0 \right\} ) \). Now, Remark B.2 yields that every \(\left( M_i\right) ^{-1}(\left\{ 0 \right\} )\) is an algebraic variety, whence \(S^c\) an algebraic variety by Corollary A.5 (ii). Since S is nonempty, \(S^c\) is a proper algebraic variety.
The remaining proofs of (ii)–(iv) are similar and omitted. \(\square \)
In the remainder of this section, we investigate polynomial matrices of degree one, also called a pencil, of the form
Remark B.4
Let \(\widetilde{M}\) be any minor of order \(d\le \min \left\{ \ell ,n+m \right\} \) w.r.t. \(\mathbb {R}[s]^{\ell \times (n+m)}\). Then, \(\widetilde{M}\) induces the mapping
and Leibniz’ formula yields the existence of \(p_0,\ldots ,p_{d}\in \mathbb {R}[s_1,\ldots ,s_{\ell (2n+m)}]\) so that
In passing note that \(p_0(E,A,B) = \widetilde{M}([-A,B])\). \(\diamond \)
The Eq. (7) sets us in a position to characterize when the set of matrix triples (E, A, B) with pencil \([sE-A,B]\) of “full” rank w.r.t. the field of rational functions is generic.
Proposition B.5
The set
is a proper algebraic variety if, and only if, \(d\le \min \left\{ \ell ,n+m \right\} \).
Proof
\(\implies \) If \(S^c\) is a proper algebraic variety, then \(S\ne \emptyset \). The latter holds if, and only if, there exists some \((E,A,B)\in \Sigma _{\ell ,n,m}\) so that \(d\le \mathrm {rk}\,_{\mathbb {R}(s)}[sE-A,B]\le \min \left\{ \ell ,n+m \right\} \).
\(\Leftarrow \) Let \(\widetilde{M}_1,\ldots ,\widetilde{M}_r\) be all minors of order d w.r.t. \(\mathbb {R}[s]^{\ell \times (n+m)}\) and \(M_i\) as in (7) the mapping \(M_i\) induced by \(\widetilde{M}_i\) on \(\Sigma _{\ell ,n,m}\) as in (7) on \(\Sigma _{\ell ,n,m}\).
Note that \(r\ge 1\) since \(d\le \min \left\{ \ell ,n+m \right\} \). Then,
Introducing the mapping
we see that the functions \( h_i := \varphi \circ M_i: \Sigma _{\ell ,n,m}\rightarrow \mathbb {R}^{d+1} \), defined for all \(i\in \underline{r}\), are well defined polynomial vectors and satisfy, in view of (8), the equivalence
Therefore, \(S^c = \bigcap _{i=1}^r h_i^{-1}(\left\{ 0 \right\} )\). Now, Remark B.2 yields that every \(\left( M_i\right) ^{-1}(\left\{ 0 \right\} )\) is an algebraic variety, whence \(S^c\) an algebraic variety by Corollary A.5 (ii).
It remains to show that \(S^c\) is proper. Since each \(h_i\) is not identical zero , \(h_i^{-1}(\left\{ 0 \right\} )\) is a proper algebraic variety, and so is \(S^c\) by Corollary A.4. This completes the proof. \(\square \)
We will now study matrix triples \((E,A,B)\in \Sigma _{\ell ,n,m}\) so that the polynomial matrix \([sE-A,B]\) has “full” rank for each \(s=\lambda \in {\mathbb {C}}\). An important tool for these investigations is coprime polynomials and the characterization by the resultant.
Definition B.6
(Resultant, [7, p. 61]) The resultant of two polynomials \(p(s),q(s)\in \mathbb {R}[s]{\setminus }\left\{ 0_{\mathbb {R}[s]} \right\} \) with \(\deg p = n\ge 0\) and \(\deg q = m\ge 0\) is defined as
The matrix above is called the Sylvester matrix of p(s) and q(s). The Sylvester matrix contains m columns with the coefficients of p and n columns with the coefficients of q, so that it is in \(\mathbb {R}^{(n+m)\times (m+n)}\). All other entries are zero. Note that the diagram shows the case \(n<m\). \(\diamond \)
A well-known characterization of coprime polynomials in terms of the Sylvester matrix is given in the following lemma; for a proof see for example [7, Thm. 3.3.1].
Lemma B.7
Let \(p(s),q(s)\in \mathbb {R}[s]{\setminus }\left\{ 0_{\mathbb {R}[s]} \right\} \subseteq \mathbb {C}[s]{\setminus }\left\{ 0_{\mathbb {C}[s]} \right\} \). Then, \(\mathrm {Res}(p,q)\) is well-defined and p(s) and q(s) are not coprime \(\big (\)i.e., there is some common zero \(z\in \mathbb {C}\) such that \(p(z) = q(z) = 0\big )\) if, and only if, \(\mathrm {Res}(p,q) = 0\).
We are now in a position the characterize genericity of a set of pencils satisfying a rank condition in the complex plane.
Proposition B.8
The set
is generic if, and only if,
Proof
\(\implies \) Assume first \(d>\min \left\{ \ell ,n+m \right\} \). Then, \(S=\emptyset \) and hence S is not generic.
Assume next \(d = \ell = n+m\).
The set
is a proper algebraic variety by Proposition B.3 (ii). Thus, \({\widetilde{S}}\) is a generic set. Since
Remark A.1 gives that \(S' \) is a generic set. The fundamental theorem of algebra implies \(S'\subseteq S^c\), and a repeated application of Remark A.1 gives that \(S^c\) is a generic set, too. Hence, Lemma A.6 implies that S is not generic.
\(\Leftarrow \) We proceed in steps.
Step 1 Let \(\widetilde{M}_1,\ldots ,\widetilde{M}_r\) be all minors of order \(d\le \min \left\{ \ell ,n+m \right\} \) w.r.t. \(\mathbb {R}[s]^{\ell \times (n+m)}\) so that \(\widetilde{M}_i \not = \widetilde{M}_j\) for all \(i \not = j \in \underline{r}\) and define the induced mappings on \(\Sigma _{\ell ,n,m}\) by
Since \({}^\lnot \big (d = \ell = n+m\big )\) and \(d\le \min \left\{ \ell ,n+m \right\} \), we conclude \(d< {\max }\left\{ \ell ,n+m \right\} \), and therefore \(r\ge 2\). Now, we are in a position to show the following implications for any \((E,A,B)\in \Sigma _{\ell ,n,m}\) and any \(\lambda \in \mathbb {C}\):
Therefore,
Step 2 Define \(N:= \ell (2n+m)\) and, for any \(i\in \underline{r}\), the maximal degree of the image of \(\Sigma _{\ell ,n,m}\) under \(M_i\) as
and note that not all \(\alpha _i\)’s are zero. Remark B.4 allows to write the minors w.r.t. the polynomial ring \(\mathbb {R}[s]\) as
and, by the definition of \(\alpha _i\), we find that \(M_i^{\alpha _i}\not = 0\) for all \( i\in \underline{r}\). Choose \(k\in \underline{r}\) so that
Step 3 Setting
we show that \(\big (\widehat{S}\cap \widetilde{S}\big )^c\subseteq \mathbb {V}\) for some \(\mathbb {V}\in \mathscr {V}_{{N}}^{\text {prop}}(\mathbb {R})\).
Step 3a We first show that \(\big (\widehat{S}\cap \widetilde{S}\big )^c\subseteq \mathbb {V}\) for some \(\mathbb {V}\in \mathscr {V}_{{N}}(\mathbb {R})\). Define,
Laplace’s formula and expanding the last row yields
Recall that on \(\widehat{S}\) we have \(M_k^{\alpha _k}(E,A,B)\not =0\), and hence in particular \(M_k(E,A,B)\ne 0\). Thus, (12) in conjunction with Lemma B.7 gives
If, on the other hand, \(M_i(E,A,B) = 0\) for some \((E,A,B)\in \widehat{S}\), then the matrix in the definition of \(q_i\) contains at least one zero collumn; hence, its determinant is zero and thus \(q_i(E,A,B) = 0\). Since \(\deg M_k(E,A,B) = \alpha _k>0\), \(M_k(E,A,B)\) has at least one zero and \(M_i(E,A,B)\) and \(M_k(E,A,B)\) are not coprime. This proves that (13) applies to all \((E,A,B)\in \widehat{S}\). Finally, we arrive at the inclusion
Step 3b It remains to show that \(\mathbb {V}\) is proper. Equivalently, we prove that there is a \((E,A,B)\in \Sigma _{\ell ,n,m}\) so that \(\deg M_k(E,A,B) = \alpha _k\) and \(M_k(E,A,B)\) and \(M_i(E,A,B)\) are coprime for some \(i\in \underline{r}{\setminus }\left\{ k \right\} .\) Let
be pairwise different real numbers.
Consider the case \(\ell < n+m\). Define \(E,A\in \mathbb {R}^{\ell \times n}\) by
and \(B\in \mathbb {R}^{\ell \times m}\) by
Then, \((E,A,B)\in \Sigma _{\ell ,n,m}\) and the pencil \([sE-A,B]\) has the structure
W.l.o.g. let \(k = 1\) and
In passing note that \((E,A,B)\in \Sigma _{\ell ,n,m}\) constructed above fulfills
\(M_1(E,A,B)\), \(M_2(E,A,B)\) are coprime by our choice of \(a_{i,j}\), and they have maximal degree.
If \(\ell \ge n+m\), then a similar argument, i.e., taking the determinant of the first two upper right \(d\times d\) submatrices of the pencil, proves the claim.
Step 4 Finally, \( S^c {\mathop {\subseteq }\limits ^{(10)}}\big (\widehat{S}\cap \widetilde{S}\big )^c\) in conjunction with (14) yields genericity of the set S.
This completes the proof of the proposition. \(\square \)
If we consider stabilizability of systems described by differential-algebraic equation, then we are interested in the rank of the matrix \([\lambda E-A,B]\) for \(\lambda \) belonging to the closed right half plane only.
Proposition B.9
The set
is generic if, and only if,
Proof
\(\implies \) Note that \(S\ne \emptyset \) if, and only if, \(d\le \min \left\{ \ell ,n+m \right\} \). Assume \(d = \ell = n+m\). By the well-known Hurwitz criterion (see [8, pp. 339]), we find that a polynomial whose coefficients do not have the same sign has at least one zero in the closed right half plane. Consider the set of \((E,A,B)\in \Sigma _{(n+m),n,m}\) so that the coefficients of \(\det [sE-A,B]\) do not have the same sign. Then, this set is nonempty, open and is included in \(S^c\). Openness yields that \(S^c\) has a positive Lebesgue measure and thus S is not generic Corollary A.5 (i).
\(\Leftarrow \) This is a consequence of Proposition B.8. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ilchmann, A., Kirchhoff, J. Differential-algebraic systems are generically controllable and stabilizable. Math. Control Signals Syst. 33, 359–377 (2021). https://doi.org/10.1007/s00498-021-00287-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00498-021-00287-x