Computation and verification of contraction metrics for periodic orbits

JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS

卷:503

Article

Giesl, Peter¹  Hafstein, Sigurdur²  Mehrabinezhad, Iman² 

[1] Univ Sussex, Div Math, Falmer BN1 9QH, England

[2] Univ Iceland, Fac Phys Sci, Dunhagi 5, IS-107 Reykjavik, Iceland

关键词: Contraction metric;    Lyapunov stability;    Periodic orbits;    Basin of attraction;    Radial basis functions;    Continuous piecewise affine;    interpolation;   

DOI  :  10.1016/j.jmaa.2021.125309

来源: Elsevier

【 摘 要 】

Exponentially stable periodic orbits of ordinary differential equations and their basins' of attraction are characterized by contraction metrics. The advantages of a contraction metric over a Lyapunov function include its insensitivity to small perturbations of the dynamics and the exact location of the periodic orbit. We present a novel algorithm to rigorously compute contraction metrics, that combines the numerical solving of a first order partial differential equation with rigorous verification of the conditions for a contraction metric. Further, we prove that our algorithm is able to compute a contraction metric for any ordinary differential equation possessing an exponentially stable periodic orbit. We demonstrate the applicability of our approach by computing contraction metrics for three systems from the literature. (c) 2021 Elsevier Inc. All rights reserved.

【 授权许可】

Free