Abstract:In this paper, we present conditions for the existence and uniqueness of chain control sets of discrete-time linear systems on the affine two-dimensional Lie group. More specifically, we prove that these chain control sets are given by the union of an infinite number of control sets with empty interiors.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the existence and uniqueness conditions of the chain control sets of discrete - time linear systems on the two - dimensional affine Lie group \( \text{Aff}(2,\mathbb{R}) \). Specifically, the author proves that these chain control sets are unions composed of infinitely many control sets with empty interiors.
### Background of the Paper
In control theory, a system is said to be controllable if it can be connected from any point in the state space to another point through the system's trajectory. If it is allowed to connect trajectory segments through small jumps, then the system is called chain controllable. However, not all systems are (chain) controllable, so it is very important to study the subsets with (chain) controllability in the state space, that is, (chain) control sets.
### Objectives of the Paper
The main objective of this paper is to study the chain control sets of discrete - time linear systems on the two - dimensional affine Lie group \( \text{Aff}(2,\mathbb{R}) \). Specifically, the author focuses on the existence and uniqueness conditions of these chain control sets when the reachable sets have empty interiors.
### Main Results
1. **Existence and Uniqueness of Chain Control Sets**:
- The author proves that under certain spectral conditions, the chain control sets are unions composed of infinitely many control sets with empty interiors.
- The specific forms of these control sets depend on the value range of the eigenvalue \( d \) of the system.
2. **Conditions for Chain Controllability**:
- The author also studies the conditions for the chain controllability of the system, especially in the case of \( |d| < 1 \).
### Mathematical Descriptions
- **System Definition**:
\[
\Sigma: (x_{k + 1},y_{k + 1})=f_{u_k}(x_k,y_k),\quad k\in\mathbb{N},
\]
where \( f:U\times\text{Aff}(2,\mathbb{R})\to\text{Aff}(2,\mathbb{R}) \) is defined as:
\[
f_u(x,y)=(h(u)x,a(x - 1)+dy+g(u)x),
\]
here \( h:U\to\mathbb{R}^+ \) and \( g:U\to\mathbb{R} \) are \( C^\infty \) mappings, and satisfy \( h(0)=1 \) and \( g(0)=0 \), and \( U \) is a compact convex neighborhood containing 0.
- **Description of Control Sets**:
- When \( 0 < d < 1 \), the control set is:
\[
D_x=\{x\}\times\left[\frac{m(x)}{1 - d},\frac{M(x)}{1 - d}\right],
\]
where \( m(x)=\min_{u\in U}\{(a + g(u))x - a\} \) and \( M(x)=\max_{u\in U}\{(a + g(u))x - a\} \).
- When \( - 1 < d < 0 \), the control set is:
\[
D_x=\{x\}\times\left[\frac{dM(x)+m(x)}{1 - d^2},\frac{M(x)+dm(x)}{1 - d^2}\right].
\]
### Conclusions
Through detailed mathematical derivations, this paper proves the existence and uniqueness conditions of the chain control sets of discrete - time linear systems on the two - dimensional affine Lie group \( \text{Aff}(2,\mathbb{R}) \), and gives the specific forms of these control sets. These results are of great significance for understanding the controllability of such systems.