Abstract:Here we present a new approach to compute symmetries of rational second order ordinary differential equations (rational 2ODEs). This method can compute Lie symmetries (point symmetries, dynamical symmetries and non-local symmetries) algorithmically. The procedure is based on an idea arising from the formal equivalence between the total derivative operator and the vector field associated with the 2ODE over its solutions (Cartan vector field). Basically, from the formal representation of a Lie symmetry it is possible to extract information that allows to use this symmetry practically (in the 2ODE integration process) even in cases where the formal operation cannot be performed, i.e., in cases where the symmetry is nonlocal. Furthermore, when the 2ODE in question depends on parameters, the procedure allows an analysis that determines the regions of the parameter space in which the integrable cases are located.

What problem does this paper attempt to address?

### What problem does this paper attempt to solve? This paper aims to solve the problem of how to calculate the symmetries of rational second - order ordinary differential equations (rational 2ODEs). Specifically, it proposes a new method to calculate the Lie symmetries of these equations, including point symmetries, dynamical symmetries and non - local symmetries, and this method is algorithmic. #### Main problems and background 1. **Difficulties in calculating symmetries**: - The Lie symmetry method is one of the most powerful tools for solving ordinary differential equations (ODEs), but its main obstacle lies in calculating the symmetries themselves. So far, there is no systematic method to find the symmetries of ODEs in general cases. - Especially when dealing with ODEs with dynamical or non - local symmetries, traditional methods cannot be directly applied. 2. **Limitations of existing methods**: - Although many researchers have developed different methods to overcome these difficulties (such as the heuristic method developed by Cheb - Terrab et al., the exponential vector field introduced by Olver, etc.), there is still a lack of general algorithms in more specific cases. #### Main contributions of the paper 1. **Propose a new method**: - This paper proposes a semi - algorithmic method that can calculate the symmetries of rational 2ODEs, including point symmetries, dynamical symmetries and non - local symmetries. - This method is based on the formal equivalence between the total derivative operator and the vector field on the solution of 2ODE (Cartan vector field). 2. **Scope of application**: - This method is applicable to rational 2ODEs with Liouvillian first integrals, whose derivative form is \( e^{A/B}\prod p_i^n \), where \( A \), \( B \) and \( p_i \) are polynomials about \( (x, y, y') \), and \( n_i \) are constants. - Although there are certain limitations, the authors believe that these limitations are not as strict as they seem in practical applications. 3. **Improvements and applications**: - The paper also discusses how to improve this algorithm in some special cases to simplify the calculation process. - In terms of application, this method is applied to some nonlinear rational 2ODEs in Kamke's book and 2ODEs with non - local symmetries, and the performance of the algorithm is demonstrated. #### Conclusion In general, this paper attempts to solve the problem of calculating symmetries by proposing a new, semi - algorithmic method for calculating the symmetries of rational 2ODEs. This method can not only handle point symmetries and dynamical symmetries, but also non - local symmetries, and can significantly simplify the calculation process in some special cases.

Finding nonlocal Lie symmetries algorithmically

A new use of nonlocal symmetries for computing Liouvillian first integrals of rational second order ordinary differential equations

Symmetries of nonlinear ordinary differential equations: the modified Emden equation as a case study

Symmetry preserving discretization of SL(2,R) invariant equations

Contributions to the Algorithmic Foundations of Approximate Lie Symmetry Algebras of Differential Equations

Symmetries of linear and nonlinear partial differential equations

Ordinary differential equations described by their Lie symmetry algebra

Generalization of non-Cartan Symmetries to arbitrary dimensions

Generalization of nonlocally related partial differential equation systems: unknown symmetric properties and analytical solutions

Nonlocal symmetries of evolution equations

An efficient way to determine Liouvillian first integrals of rational second order ordinary differential equations

Regularity, synthesis, rigidity and analytic classification for linear ordinary differential equations of second order

Applications of Symmetries to Nonlinear Partial Differential Equations

Lie remarkable partial differential equations characterized by Lie algebras of point symmetries

A Necessary Condition for existence of Lie Symmetries in Quasihomogeneous Systems of Ordinary Differential Equations

Approximate Lie symmetries and singular perturbation theory

On Exact and Approximate Symmetries of Algebraic and Ordinary Differential Equations with a Small Parameter

The natural extension to PDEs of Lie's reduction of order algorithm for ODEs

Admissible transformations and Lie symmetries of linear systems of second-order ordinary differential equations

From local isometries to global symmetries: Bridging Killing vectors and Lie algebras through induced vector fields

Generalized symmetry reduction of nonlinear differential equations