Abstract:The classical theory of Kosambi-Cartan-Chern (KCC) developed in differential geometry provides a powerful method for analyzing the behaviors of dynamical systems. In the KCC theory, the properties of a dynamical system are described in terms of five geometrical invariants, of which the second corresponds to the so-called Jacobi stability of the system. Different from that of the Lyapunov stability that has been studied extensively in the literature, the analysis of the Jacobi stability has been investigated more recently using geometrical concepts and tools. It turns out that the existing work on the Jacobi stability analysis remains theoretical and the problem of algorithmic and symbolic treatment of Jacobi stability analysis has yet to be addressed. In this paper, we initiate our study on the problem for a class of ODE systems of arbitrary dimension and propose two algorithmic schemes using symbolic computation to check whether a nonlinear dynamical system may exhibit Jacobi stability. The first scheme, based on the construction of the complex root structure of a characteristic polynomial and on the method of quantifier elimination, is capable of detecting the existence of the Jacobi stability of the given dynamical system. The second algorithmic scheme exploits the method of semi-algebraic system solving and allows one to determine conditions on the parameters for a given dynamical system to have a prescribed number of Jacobi stable fixed points. Several examples are presented to demonstrate the effectiveness of the proposed algorithmic schemes.

Symbolic Computation of Jacobi Elliptic Function Solutions to Nonlinear Differential-Difference Equations

Discrete Jacobi elliptic function expansion method for nonlinear differential-difference equations

Symbolic computation of exact solutions expressible in rational formal hyperbolic and elliptic functions for nonlinear partial differential equations

The Jacobin elliptic function expansion method for solitonic solutions to nonlinear partial differential equations with symbolic computation

Jacobi elliptic function solutions of some nonlinear PDEs

An Algebraic Method for Constructing Exact Solutions to Difference-Differential Equations

Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation

Applications of the Jacobi Elliptic Function Method to Special-Type Nonlinear Equations

New Exact Solutions For Some Nonlinear Differential Equations Using Symbolic Computation

Symbolic Computation of Analytic Approximate Solutions for Nonlinear Differential Equations with Initial Conditions

A symbolic computational method for constructing exact solutions to difference-differential equations

Exact solutions to a nonlinear dispersive model with variable coefficients

Extended Jacobin Elliptic Function Method and Its Applications

Some New Exact Jacobian Elliptic Function Solutions of Three Kinds of Nonlinear Evolution Equations

Jacobi Elliptic Function Solutions to the Coupled KdV-mKdV Equation

Improved Jacobin Elliptic Function Method and Its Applications

Symbolic computation of exact solutions for a nonlinear evolution equation

Jacobi Elliptic Function Expansion Solution to the Variable Coefficient Nonlinear Equations

The Extended Jacobi Elliptic Function Method to Solve a Generalized Hirota–Satsuma Coupled KdV Equations

A New General Algebraic Method with Symbolic Computation and Its Application to Two Nonlinear Differential Equations with Nonlinear Terms of Any Order

A Method for Constructing Discrete Exact Solutions and Application to Quintic Discrete Nonlinear Schrödinger Equation