Related papers: On Computing Linearizing Coordinates From Symmetry…
Let $k$ be a field of characteristic not two or three. We classify up to isomorphism all finite-dimensional Lie superalgebras $\mathfrak{g}=\mathfrak{g}_0\oplus \mathfrak{g}_1$ over $k$, where $\mathfrak{g}_0$ is a three-dimensional simple…
Given a generic semidefinite program, specified by matrices with rational entries, each coordinate of its optimal solution is an algebraic number. We study the degree of the minimal polynomials of these algebraic numbers. Geometrically,…
The linearization problem by use of the Cartan equivalence method for scalar third-order ODEs via point transformations was solved partially in [1,2]. In order to solve this problem completely, the Cartan equivalence method is applied to…
When a computer algebra system fails to solve an Ordinary Differential Equation, is this a limitation of its implementation, or a genuine computational barrier? Three traditions bear on the question. Modern computer algebra algorithms can…
It is sometimes desirable to produce for a nonlinear system of ODEs a new representation of simpler structural form, but it is well known that this goal may imply an increase in the dimension of the system. This is what happens if in this…
The Cartan equivalence method is utilized to deduce an invariant characterization of the scalar third-order ordinary differential equation $u'"=f(x,u,u',u")$ which admits the maximal seven-dimensional point symmetry Lie algebra. The method…
An algebraic tree T is one determined by a finite system of fixed point equations. The frontier \Fr(T) of an algebraic tree t is linearly ordered by the lexicographic order \lex. When (\Fr(T),\lex) is well-ordered, its order type is an…
In this paper we introduce an observer design framework for ordinary differential equation (ODE) systems based on various types of existing or even novel one-parameter symmetries (exact, asymptotic and variational) ending up with a certain…
A straightforward algorithm for the symbolic computation of higher-order symmetries of nonlinear evolution equations and lattice equations is presented. The scaling properties of the evolution or lattice equations are used to determine the…
Solving systems of ordinary differential equations (ODEs) is essential when it comes to understanding the behavior of dynamical systems. Yet, automated solving remains challenging, in particular for nonlinear systems. Computer algebra…
We show a general method allowing the solution calculation, in the form of a power series, for a very large class of nonlinear Ordinary Differential Equations (ODEs), namely the real analytic $\sigma\pi$-ODEs (and, more in general, the real…
Consider the polynomial optimization problem whose objective and constraints are all described by multivariate polynomials. Under some genericity assumptions, %% on these polynomials, we prove that the optimality conditions always hold on…
The Dunkl--Dirac operator is a deformation of the Dirac operator by means of Dunkl derivatives. We investigate the symmetry algebra generated by the elements supercommuting with the Dunkl--Dirac operator and its dual symbol. This symmetry…
We derive a method for finding Lie Symmetries for third-order difference equations. We use these symmetries to reduce the order of the difference equations and hence obtain the solutions of some third-order difference equations. We also…
In this second of the set of two papers on Lie symmetry analysis of a class of Li\'enard type equation of the form $\ddot {x} + f(x)\dot {x} + g(x)= 0$, where over dot denotes differentiation with respect to time and $f(x)$ and $g(x)$ are…
We give a classification of all third-order nonlinear evolution equations which admit solvable Lie symmetry algebras $\mathsf{A}$ and which are not linearized. We have found that there are 48 types of equations for $\dim\mathsf{A}=3$, 88…
Symmetry analysis of Ramanujan's system of differential equations is performed by representing it as a third-order equation. A new system consisting of a second-order and a first-order equation is derived from Ramanujan's system. The Lie…
Classification of $n-$th $(n\geq2)$ order linear ODEs is considered. The equation reduced to \textit{Laguerre-Forsyth} form by a point transformation then, the other calculations would have done on this form. This method is due to…
This article complements recent results of the papers [J. Math. Phys. 41 (2000), 480; 45 (2004), 336] on the symmetry classification of second-order ordinary difference equations and meshes, as well as the Lagrangian formalism and…
We obtain the complete Lie point symmetry algebras of two sequences of odd-order evolution equations. This includes equations that are fully-nonlinear, i.e. nonlinear in the highest derivative. Two of the equations in the sequences have…