Abstract:We study necessary and sufficient conditions for contraction and incremental stability of dynamical systems with respect to non-Euclidean norms. First, we introduce weak pairings as a framework to study contractivity with respect to arbitrary norms, and characterize their properties. We introduce and study the sign and max pairings for the $\ell_1$ and $\ell_\infty$ norms, respectively. Using weak pairings, we establish five equivalent characterizations for contraction, including the one-sided Lipschitz condition for the vector field as well as matrix measure and Demidovich conditions for the corresponding Jacobian. Third, we extend our contraction framework in two directions: we prove equivalences for contraction of continuous vector fields and we formalize the weaker notion of equilibrium contraction, which ensures exponential convergence to an equilibrium. Finally, as an application, we provide (i) incremental input-to-state stability and finite input-state gain properties for contracting systems, and (ii) a general theorem about the Lipschitz interconnection of contracting systems, whereby the Hurwitzness of a gain matrix implies the contractivity of the interconnected system.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the study of contractivity and incremental stability conditions of dynamical systems under non - Euclidean norms. Specifically, the authors aim to:
1. **Introduce the weak - pairing framework**: In order to study contractivity under arbitrary norms, the authors introduce the concept of weak - pairing and study its properties. In particular, they introduce sign - pairing and max - pairing for \(\ell_1\) and \(\ell_\infty\) norms.
2. **Establish equivalent characterizations of contractivity**: The authors establish five equivalent characterizations of contractivity, including one - sided Lipschitz conditions of vector fields, logarithmic - norm conditions of Jacobian matrices, and Demidovich conditions. These characterizations are applicable not only to continuously differentiable vector fields but also extended to only continuous vector fields.
3. **Expand the contraction theory**: The authors extend the contraction theory in two directions:
- For continuous vector fields, prove the equivalent conditions of contractivity.
- Introduce the concept of equilibrium - point contraction to ensure that all trajectories converge exponentially to an equilibrium point.
4. **Applications and robustness analysis**: As an application, the authors provide the incremental input - state stability and finite input - state gain properties of contraction systems, and present a general theorem for the interconnection of contraction systems, in which the Hurwitz property of the gain matrix guarantees the contractivity of the interconnected system.
5. **Robustness results**: For strongly contracting systems, the authors prove the incremental input - state stability and new input - state gain estimates, and give an upper bound on the shift of the unique equilibrium point under perturbations.
6. **Contractivity of interconnected systems**: The authors provide a general theorem on the contractivity of interconnected systems, which is applicable to the application of large - scale systems, and gives the optimal contraction rate of the interconnected system.
Through these contributions, the paper provides a unified framework for contractivity analysis under non - Euclidean norms, fills the gaps in existing research, and provides new tools and methods for large - scale network systems in engineering, biology and other fields.