Regular Pairings for Non-quadratic Lyapunov Functions and Contraction Analysis
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866915906875031552 |
|---|---|
| author | Proskurnikov, Anton V. Bullo, Francesco |
| author_facet | Proskurnikov, Anton V. Bullo, Francesco |
| contents | Recent studies on stability and contractivity have highlighted the importance of semi-inner products, which we refer to as pairings,
associated with general norms. A pairing is a binary operation that relates the derivative of a curve's norm to the radius-vector of the
curve and its tangent. This relationship, known as the curve norm derivative formula, is crucial when using the norm as a Lyapunov
function. Another important property of the pairing, used in stability and contraction criteria, is the so-called Lumer inequality, which
relates the pairing to the induced logarithmic norm. We prove that the curve norm derivative formula and Lumer's inequality are, in fact,
equivalent to each other and to several simpler properties. We then introduce and characterize regular pairings that satisfy all of
these properties. Our results unify several independent theories of pairings (semi-inner products) developed in previous work on functional
analysis and control theory. Additionally, we introduce the polyhedral max pairing and develop computational tools for polyhedral norms,
advancing contraction theory in non-Euclidean spaces. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2408_17350 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Regular Pairings for Non-quadratic Lyapunov Functions and Contraction Analysis Proskurnikov, Anton V. Bullo, Francesco Optimization and Control Systems and Control Dynamical Systems Functional Analysis Recent studies on stability and contractivity have highlighted the importance of semi-inner products, which we refer to as pairings, associated with general norms. A pairing is a binary operation that relates the derivative of a curve's norm to the radius-vector of the curve and its tangent. This relationship, known as the curve norm derivative formula, is crucial when using the norm as a Lyapunov function. Another important property of the pairing, used in stability and contraction criteria, is the so-called Lumer inequality, which relates the pairing to the induced logarithmic norm. We prove that the curve norm derivative formula and Lumer's inequality are, in fact, equivalent to each other and to several simpler properties. We then introduce and characterize regular pairings that satisfy all of these properties. Our results unify several independent theories of pairings (semi-inner products) developed in previous work on functional analysis and control theory. Additionally, we introduce the polyhedral max pairing and develop computational tools for polyhedral norms, advancing contraction theory in non-Euclidean spaces. |
| title | Regular Pairings for Non-quadratic Lyapunov Functions and Contraction Analysis |
| topic | Optimization and Control Systems and Control Dynamical Systems Functional Analysis |
| url | https://arxiv.org/abs/2408.17350 |