A COMPUTER-ORIENTED APPROACH TO THE ANALYSIS OF THE LYAPUNOV STABILITY OF NONLINEAR SYSTEMS OF ORDINARY DIFFERENTIAL EQUATIONS
Abstract
An approach to the analysis of Lyapunov stability of systems of nonlinear ordinary differential
equations is developed. The approach is based on vector multiplicative transformations of
numerical integration difference schemes under general constraints. In the course of transformations,
the magnitude of the perturbation of the solution is determined as an infinite vector product
multiplied by the perturbation of the initial data. Consequently, the infinite vector product
determines the nature of the stability of the system. This implies criteria for stability and asymptotic
stability of a nonlinear system of ordinary differential equations in multiplicative form. The mathematical construction of the criteria entails the possibility of their software implementation,
which serves as the basis for computerization of the stability analysis according to Lyapunov. The
replacement of an infinite vector product by a finite product, which is necessary in the process of
software implementation, preserves the reliability of the stability analysis according to the proposed
criteria. Further, varieties of stability criteria are constructed in additive and logarithmic form,
equivalent to the previously obtained criteria. Under additional restrictions, stability criteria are
constructed according to the nature of the behavior of the right side of the nonlinear system of ODEs
and its derivatives. A software and numerical experiment is presented to analyze the stability of systems
of nonlinear ODEs based on the obtained criteria. The experiment is reduced to estimating the
value from the left side of the criteria. Its limited change corresponds to stability, the monotonous
tendency to zero characterizes asymptotic stability, and unlimited growth is a sign of instability. According
to the results of the experiment, the nature of the stability of the systems under study was
unambiguously established. The proposed approach makes it possible in practice to perform a
Lyapunov stability analysis of a nonlinear system of ordinary differential equations in real time.
References
sistem na osnove dekompozicii [Analysis of stability and stabilization of nonlinear systems via
decomposition], Sibirskij matematicheskij zhurnal [Siberian mathematical journal], 2015,
Vol. 56, No. 6, pp. 1215-1233.
2. Mel’nikov G.I., Mel’nikov V.G., Dudarenko N.A., Talapov V.V. Ustoychivost' dvizheniya
nelineynykh dinamicheskikh sistem pri postoyanno deystvuyushhikh vozmushheniyah [Stability
of nonlinear dynamical system motion under constantly acting perturbations], Nauchnotehnicheskiy
vestnik informatsionnykh tehnologiy, mekhaniki i optiki [Scientific and technical
journal of information technologies, mechanics and optics], 2019, Vol. 19, No. 2, pp. 216-221.
3. Mironov V.V., Mitrokhin Yu.S. Tekhnologicheskiy podkhod k issledovaniyu ustoychivosti
dinamicheskikh sistem: prikladnye voprosy [Constructive approach to the research of dynamic
systems stability: applied problems], Vestnik RGRTU [Vestnik of RSREU], 2017, No. 59,
pp. 127-135.
4. Druzhinina O.V., Masina O.N. O podhodakh k analizu ustoychivosti nelineynykh
dinamicheskikh sistem s logicheskimi regulyatorami [On approaches to the stability analysis
of nonlinear dynamic systems with logical controllers], Sovremennye informatsionnye
tehnologii i IT-obrazovanie [Modern Information Technologies and IT-Education], 2017,
Vol. 13, No. 2, pp. 40-49.
5. Druzhinina O.V., Masina O.N. Sistemnyy podkhod k issledovaniyu ustoychivosti modeley,
opisyvaemykh differentsial'nymi uravneniyami razlichnykh tipov [System approach to stability
research of the models described by the differential equations of different types], Vestnik
Rossiyskoy akademii estestvennykh nauk [Herald of Russian Academy of Natural Sciences],
2015, No. 3, pp. 24-30.
6. Barreau М., Seuret А., Gouaisbaut F., Baudouin L. Lyapunov stability analysis of a string
equation coupled with an ordinary differential system, IEEE Trans. Automatic Control, 2018,
available on HAL.
7. Luyckx L., Loccufier M., Noldus E. Computational methods in nonlinear stability analysis:
stability boundary calculations, J. Comput. Appl. Math, 2004, Vol. 168, No. 12, pp. 289-297.
8. Giesl P., Hafstein S. Computation of Lyapunov functions for nonlinear discrete time systems
by linear programming, J. Difference Equ. Appl, 2014, Vol. 20, No. 4, pp. 610-640.
9. Olgac N., Sipahi R. A practical method for analyzing the stability of neutral type LTI-time
delayed systems, Automatica, 2004, Vol. 40, No. 5, pp. 847-853.
10. Hafstein S. A constructive converse Lyapunov theorem on asymptotic stability for nonlinear
autonomous ordinary differential equations, Dynamical Systems, 2005, Vol. 20, pp. 281-299.
11. Romm Ya.E. Komp'yuterno-orientirovannyy analiz ustoychivosti na osnove rekurrentnykh
preobrazovaniy raznostnykh resheniy obyknovennykh differencial'nykh uravneniy [Computeroriented
stability analysis based on recurrent transformation of difference solutions of ordinary
differential equations], Kibernetika i sistemnyy analiz [Cybernetics and Systems Analysis],
2015, Vol. 51, No. 3, pp. 416-431.
12. Bulanov S.G. Analiz ustoychivosti sistem lineynykh differentsial'nykh uravneniy na osnove
preobrazovaniya raznostnykh skhem [Stability analysis of systems of linear differential equations
based on transformation of difference schemes], Mekhatronika, avtomatizatsiya,
upravlenie [Mekhatronika, Avtomatizatsiya, Upravlenie], 2019, Vol. 20, No. 9, pp. 542-549.
13. Romm Ya.E. Komp'yuterno-orientirovannyy analiz ustoychivosti resheniy differentsial'nykh
sistem [Computer-oriented stability analysis of solutions of differential systems], Sovremennye
naukoemkie tehnologii [Modern high technologies], 2020, No. 4, pp. 42-63.
14. Bulanov S.G. Differential systems stability analysis based on matrix multiplicative criteria,
Journal of Physics: Conf. Series, 2020, 1479, 012103.
15. Bulanov S.G. Computer analysis of differential systems stability based on linearization and
matrix multiplicative criteria, Journal of Physics: Conf. Series, 2021, 1902, 012101.
16. Bulanov S.G., Dzhanunts G.A. Programmnyy analiz ustoychivosti sistem obyknovennykh
differentsial'nykh uravneniy na osnove mul'tiplikativnykh preobrazovaniy raznostnykh skhem
i kusochno-polinomial'nykh priblizheniy resheniya [Program analysis of stability of ordinary
differential equations systems on the basis of multiplicative transformations of difference
schemes and piecewise polynomial approximations of the solution], Promyshlennye ASU i
kontrollery [Industrial Automatic Control Systems and Controllers], 2015, No. 2, pp. 10-20.
17. Dzhanunts G.A., Romm Ya.E. Var'iruemoe kusochno-interpolyatsionnoe reshenie zadachi Koshi
dlya obyknovennykh differentsial'nykh uravneniy s iteratsionnym utochneniem [The varying
piecewise interpolation solution of the Cauchy problem for ordinary differential equations with iterative
refinement], Zhurnal vychislitel'noy matematiki i matematicheskoy fiziki [Computational
Mathematics and Mathematical Physics Journal], 2017, Vol. 57, No. 10, pp. 1616-1634.
18. Cesari L. Asimptoticheskoe povedenie i ustoychivost' resheniy obyknovennykh
differentsial'nykh uravneniy [Asymptotic Behavior and Stability Problems in Ordinary Differential
Equations]. Moscow: Mir, 1964, 478 p.
19. Kamke E. Spravochnik po obyknovennym differentsial'nym uravneniyam [Handbook of Exact
Solutions for Ordinary Differential Equations]. Moscow: Science, 1971, 576 p.
20. Doban A., Lazar M. Computation of Lyapunov functions for nonlinear differential equations
via a Yoshizawa-type construction, 10th IFAC Symp. on Nonlinear Control Systems NOLCOS:
IFAC-PapersOnLine, 2016, pp. 29-34.
21. Xiao-Lin L., Yao-Lin J. Numerical algorithm for constructing Lyapunov functions of polynomial
differential systems, J. Appl. Math. Comput, 2009, Vol. 29, No. 1-2, pp. 247-262.
22. Zhaolu T., Chuanqing G. A numerical algorithm for Lyapunov equations, J. Appl. Math.
Comput, 2008, Vol. 202, No. 1, pp. 44-53.
