Symmetries and invariants of the systems of two linear second-order ordinary differential equations

For arbitrary systems of two linear second-order ordinary differential equations, the symmetry Lie algebra is described in terms of invariant theory, resulting in eleven non-equivalent symmetry types. The result is compared with the group classification approach recently obtained by different authors.     

Classification of Similarity Solutions for Inviscid Burgers’ Equation

Using the basic Lie symmetry method, we find the most general Lie point symmetries group of the inviscid Burgers’ equation. Looking at the adjoint representation of the obtained symmetry group on its Lie algebra, we find the preliminary classification of its group-invariant solutions. The latter provides new exact solutions for the inviscid Burgers’ equation.     

Lie group classification of the generalized Lane–Emden equation

We carry out the Lie group classification of the generalized Lane–Emden equation xu^″+nu^′+xH(u)=0, which has many applications in mathematical physics and astrophysics. We show that the equation admits a three-dimensional equivalence Lie algebra. It is also shown that the principal Lie algebra, which in this case is trivial, has seven possible extensions. Three new cases arise for which the Lie point symmetry algebra is non-trivial. Comparison is then made of these cases with the Noether symmetry cases as well as the partial Noether operators.     

Classification of Discrete Symmetries of Ordinary Differential Equations

A simple method for determining all discrete point symmetries of a given differential equation has been developed recently. The method uses constant matrices that represent inequivalent automorphisms of the Lie algebra spanned by the Lie point symmetry generators. It may be difficult to obtain these matrices if there are three or more independent generators, because the matrix elements are determined by a large system of algebraic equations. This paper contains a classification of the automorphisms that can occur in the calculation of discrete symmetries of scalar ordinary differential equations, up to equivalence under real point transformations. (The results are also applicable to many partial differential equations.) Where these automorphisms can be realized as point transformations, we list all inequivalent realizations. By using this classification as a look-up table, readers can calculate the discrete point symmetries of a given ordinary differential equation with very little effort.     

Euler-Bernoulli beams from a symmetry standpoint-characterization of equivalent equations

We completely solve the equivalence problem for Euler-Bernoulli equation using Lie symmetry analysis. We show that the quotient of the symmetry Lie algebra of the Bernoulli equation by the infinite-dimensional Lie algebra spanned by solution symmetries is a representation of one of the following Lie algebras: 2A₁, A₁⊕A₂, 3A₁, or A3,3⊕A₁. Each quotient symmetry Lie algebra determines an equivalence class of Euler-Bernoulli equations. Save for the generic case corresponding to arbitrary lineal mass density and flexural rigidity, we characterize the elements of each class by giving a determined set of differential equations satisfied by physical parameters (lineal mass density and flexural rigidity). For each class, we provide a simple representative and we explicitly construct transformations that maps a class member to its representative. The maximally symmetric class described by the four-dimensional quotient symmetry Lie algebra A3,3⊕A₁ corresponds to Euler-Bernoulli equations homeomorphic to the uniform one (constant lineal mass density and flexural rigidity). We rigorously derive some non-trivial and non-uniform Euler-Bernoulli equations reducible to the uniform unit beam. Our models extend and emphasize the symmetry flavor of Gottlieb's iso-spectral beams [H.P.W. Gottlieb, Isospectral Euler-Bernoulli beam with continuous density and rigidity functions, Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci. 413 (1987) 235-250].     

Classical and nonclassical symmetries for the Krichever-Novikov equation

We study the Krichever-Novikov equation from the standpoint of the theory of symmetry reductions in partial differential equations. We obtain a Lie group classification. Moreover, we obtain some exact solutions, and we apply the nonclassical method.     

On the normalizers of subalgebras in an infinite Lie algebra

An algorithm for calculating the normalizer of subalgebra in an infinite Lie symmetry algebra is proposed. The classification problem for a subalgebra spanned by generators that depend on arbitrary functions is formulated. This problem lies in finding the specifications of arbitrary functions and calculating the normalizers of the subalgebras so obtained. As an example, we consider the Lie symmetry algebra L admitted by the thermal diffusion equations. The first-order optimal system of subalgebras Θ₁L is constructed and the normalizers of finite subalgebras from this system are found. The classification of subalgebras depending on arbitrary functions is made.     

Classical Lie point symmetry analysis of nonlinear diffusion equations describing thermal energy storage

In this paper, we employed the linear transformation group approach to time dependent nonlinear diffusion equations describing thermal energy storage problem. Symmetry analysis of the governing equation resulted in admitted large Lie symmetry algebras for some special cases of the arbitrary constants and the source term. Some transformations that lead to equations with fewer arbitrary parameters are applied and classical Lie point symmetry methods are employed to analyze the transformed equations. Some symmetry reductions are performed and wherever possible the reduced ordinary differential equations are completely solved subject to realistic boundary conditions.     

On the Construction of Geometric Integrators in the RKMK Class

We consider the construction of geometric integrators in the class of RKMK methods. Any differential equation in the form of an infinitesimal generator on a homogeneous space is shown to be locally equivalent to a differential equation on the Lie algebra corresponding to the Lie group acting on the homogeneous space. This way we obtain a distinction between the coordinate-free phrasing of the differential equation and the local coordinates used. In this paper we study methods based on arbitrary local coordinates on the Lie group manifold. By choosing the coordinates to be canonical coordinates of the first kind we obtain the original method of Munthe-Kaas [16]. Methods similar to the RKMK method are developed based on the different coordinatizations of the Lie group manifold, given by the Cayley transform, diagonal Padé approximants of the exponential map, canonical coordinates of the second kind, etc. Some numerical experiments are also given.     

Symmetry groups and similarity solutions for the system of equations for a viscous compressible fluid

Here, using Lie group transformations, we consider the problem of finding similarity solutions to the system of partial differential equations (PDEs) governing one-dimensional unsteady motion of a compressible fluid in the presence of viscosity and thermal conduction, using the general form of the equation of state. The symmetry groups admitted by the governing system of PDEs are obtained, and the complete Lie algebra of infinitesimal symmetries is established. Indeed, with the use of the entailed similarity solution the problem is transformed to a system of ordinary differential equations(ODEs), which in general is nonlinear; in some cases, it is possible to solve these ODEs to determine some special exact solutions.     

Group classification of the generalized Emden–Fowler-type equation

We perform the Lie group classification of the Emden–Fowler-type equation xu^″+nu^′+x^νF(u)=0, which arises in several applications. These include the theory of stellar structure, the thermal behaviour of a spherical cloud of gas, isothermal gas spheres and the theory of thermionic currents. Seven cases arise for the possible extension of the principal Lie algebra, which in this case is trivial. Three new cases occur for which we have non-trivial Lie point symmetry algebra. We compare these cases with the Noether symmetry cases. Moreover, we also make comparisons with the partial Noether operators. Finally for three cases we reduce the Emden–Fowler-type equation to quadratures.     

Isospectral deformation of the reduced quasi-classical self-dual Yang–Mills equation

We derive a new four-dimensional partial differential equation with the isospectral Lax representation by shrinking the symmetry algebra of the reduced quasi-classical self-dual Yang–Mills equation and applying the technique of twisted extensions to the obtained Lie algebra. Then we find a recursion operator for symmetries of the new equation and construct a Bäcklund transformation between this equation and the four-dimensional Martínez Alonso–Shabat equation. Finally, we construct extensions of the integrable hierarchies associated to the hyper-CR equation for Einstein–Weyl structures, the reduced quasi-classical self-dual Yang–Mills equation, the four-dimensional universal hierarchy equation, and the four-dimensional Martínez Alonso–Shabat equation.     

A Lie symmetry analysis and explicit solutions of the two‐dimensional ∞‐Polylaplacian

In this work, we consider the Lie point symmetry analysis of a strongly nonlinear partial differential equation of third order, the ∞‐Polylaplacian, in two spatial dimensions. This equation is a higher order generalization of the ∞‐Laplacian, also known as Aronsson's equation, and arises as the analog of the Euler–Lagrange equations of a second‐order variational principle in L^∞. We obtain its full symmetry group, one‐dimensional Lie subalgebras and the corresponding symmetry reductions to ordinary differential equations. Finally, we use the Lie symmetries to construct new invariant ∞‐Polyharmonic functions.     

Symmetry breaking of systems of linear second-order ordinary differential equations with constant coefficients

We show that the structure of the Lie symmetry algebra of a system of n linear second-order ordinary differential equations with constant coefficients depends on at most n-1 parameters. The tools used are Jordan canonical forms and appropriate scaling transformations. We put our approach to test by presenting a simple proof of the fact that the dimension of the symmetry Lie algebra of a system of two linear second-order ordinary differential with constant coefficients is either 7, 8 or 15. Also, we establish for the first time that the dimension of the symmetry Lie algebra of a system of three linear second-order ordinary differential equations with constant coefficients is 10, 12, 13 or 24.     

The method of noncommutative integration for linear differential equations. Functional algebras and noncommutative dimensional reduction

The method of noncommutative integration for linear partial differential equations [1] is extended to the case of the so-called functional algebras for which the commutators of their generators are nonlinear functions of the same generators. The linear functions correspond to Lie algebras, whereas the quadratics are associated with the so-called quadratic algebras having wide applications in quantum field theory. A nontrivial example of integration of the Klein-Gordon equation in a curved space not allowing separation of variables is considered. A classification of four- and five-dimensional quadratic algebras is performed.A method of dimensional reduction for noncommutatively integrable many-dimensional partial differential equations is suggested. Generally, the reduced equation has a complicated functional symmetry algebra. The method permits integration of the reduced equation without the use of the explicit form of its functional algebra.Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 106, No. 1, pp. 3–15, January, 1996.     

The complete set of symmetry operators of the schrödinger equation

The complete set of symmetry operators of an arbitrary order associated with the Schrödinger equation is found. It is shown that this equation is invariant with respect to a 28-dimensional Lie algebra, realized in the class of differential operators of the second order. Higher-order symmetries of the Levi-Leblond equation are investigated.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 43, No. 11, pp. 1521–1526, November, 1991.     

mKdV方程的对称与群不变解

主要考虑mKdV方程的一些简单对称及其构成的李代数,并利用对称约化的方法将mKdV方程化为常微分方程,从而得到该方程的群不变解,这是对该方程群不变解的进一步扩展.     

The Lie Theory of Two-Variable Hypergeometric Functions

We develop a Lie-algebraic method that associates with each of the 34 distinct second-order hypergeometric functions in two variables a canonical system of partial differential equations. The special functions arise by partial separation of variables in these simple systems. Some consequences are a demonstration that all such functions appear as solutions of the 4-variable wave equation and a classification of the possible imbeddings. In each case the functions are characterized by first- and second-order operators in the enveloping algebra of the conformal symmetry algebra for the wave equation. In some cases the 3-variable wave and heat equations and the 2-variable Helmholtz equation also arise. This intimate relationship between Horn functions and some fundamental equations of mathematical physics shows that these functions are more interesting than was previously recognized and permits use of the powerful tools of Lie theory and separation of variables to obtain properties of the functions.     

Integrability of Equations Admitting the Nonsolvable Symmetry Algebra so(3,R)

If an ordinary differential equation admits the nonsolvable Lie algebra     , and we use any of its generators to reduce the order, the reduced equation does not inherit the remaining symmetries. We prove here how the lost symmetries can be recovered as   C ^∞  -symmetries of the reduced equation. If the order of the last reduced equation is higher than one, these   C ^∞  -symmetries can be used to obtain new order reductions. As a consequence, a classification of the third-order equations that admit     as symmetry algebra is given and a step-by-step method to solve the equations is presented.     

Symmetry Classification Using Noncommutative Invariant Differential Operators

Given a class F of differential equations, the symmetry classification problem is to determine for each member f ∈ F the structure of its Lie symmetry group G_f or, equivalently, of its Lie symmetry algebra. The components of the symmetry vector fields of the Lie algebra are solutions of an associated overdetermined "defining system" of differential equations. The usual computer classification method which applies a sequence of total derivative operators and eliminations to this associated system often fails on problems of interest due to the excessive size of expressions generated in intermediate computations. We provide an alternative classification method which exploits the knowledge of an equivalence group G preserving the class. A noncommutative differential elimination procedure due to Lemaire, Reid, and Zhang, where each step of the procedure is invariant under G, can be applied and an existence and uniqueness theorem for the output used to classify the structure of symmetry groups for each f ∈ F. The method is applied to a class of nonlinear diffusion convection equations v_x = u, v_t = B(u) u_x - K(u) which is invariant under a large but easily determined equivalence group G. In this example the complexity of the calculations is much reduced by the use of G-invariant differential operators.