Computer aided proof for the global stability of Lotka-Volterra systems
From MaRDI portal
The Lotka-Volterra system \[ \dot x_i= x_i \sum^n_{j=1} a_{ij} (x_j-x_j^*), \quad i=1,2, \dots, n, \] is considered. The problem of stability of the equilibrium state \(x^*\) is solved in terms of the modification of LaSalle's invariance principle and Wu's characteristic set method [\textit{W.-T. Wu}, Sci. Sinica 21, 159-172 (1978; Zbl 0376.68057)].
Recommendations
- Qualitative stability and global stability for Lotka-Volterra systems
- scientific article; zbMATH DE number 2064769
- Global stability of n—dimensional
- Global asymptotic stability in a generalized Lotka-Volterra system
- Global stability of interior and boundary fixed points for Lotka-Volterra systems
- Global asymptotic stability in a periodic Lotka-Volterra system
- scientific article; zbMATH DE number 918848
- Global asymptotic stability in an almost-periodic Lotka-Volterra system
- Computer assisted proofs in dynamical systems
- New results on the global asymptotic stability of a Lotka-Volterra system
Cites work
- Associative differential operations
- Basic principles of mechanical theorem proving in elementary geometries
- Global asymptotic stability for a class of many-variable volterra prey-predator systems
- Global stability and oscillations in classical Lotka-Volterra loops
- scientific article; zbMATH DE number 4111115 (Why is no real title available?)
- scientific article; zbMATH DE number 43585 (Why is no real title available?)
- scientific article; zbMATH DE number 3586510 (Why is no real title available?)
- scientific article; zbMATH DE number 3074339 (Why is no real title available?)
- On the LaSalle's invariant set for five-dimensional Lotka-Volterra prey-predator chain systems
- The application of the Poincaré-transform to the Lotka-Volterra model
- The structure of LaSalle's invariant set for Lotka-Volterra systems
- The Volterra model for three species predator-prey systems: Boundedness and stability
Cited in
(4)- Symbolic computation for the qualitative theory of differential equations
- Computer aided solving the high-order transition probability matrix of the finite Markov chain
- The LaSalle's invariant sets for a class of Lotka-Volterra prey-predator chain systems
- Integrability and stability problems about the Lotka-Volterra system
This page was built for publication: Computer aided proof for the global stability of Lotka-Volterra systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1921255)