Equivalence of Third-Order Ordinary Differential Equations to Chazy Equations I–XIII

In the paper we solve the equivalence problem of the third-order ordinary differential equations quadratic in the second-order derivative. For this class of equations the invariants of the group of point equivalence transformations and the invariant differentiation operators are constructed. Using these results the invariants of 13 Chazy equations were calculated. We provide examples of finding equivalent equations by use of their invariants. Also two new examples of the equations linearizable by a local transformation are found. These are a particular case of Chazy–XII equation and a Schwarzian equation.     

Differential invariants for systems of linear hyperbolic equations

In this paper we consider a general class of systems of two linear hyperbolic equations. Motivated by the existence of the Laplace invariants for the single linear hyperbolic equation, we adopt the problem of finding differential invariants for the system. We derive the equivalence group of transformations for this class of systems. The infinitesimal method, which makes use of the equivalence group, is employed for determining the desired differential invariants. We show that there exist four differential invariants and five semi-invariants of first order. Applications of systems that can be transformed by local mappings to simple forms are provided.     

Differential invariants of generic hyperbolic Monge-Ampère equations

In this paper basic differential invariants of generic hyperbolic Monge-Ampère equations with respect to contact transformations are constructed and the equivalence problem for these equations is solved.      

Differential invariants of a class of Lagrangian systems with two degrees of freedom

We consider systems of Euler–Lagrange equations with two degrees of freedom and with Lagrangian being quadratic in velocities. For this class of equations the generic case of the equivalence problem is solved with respect to point transformations. Using Lie?s infinitesimal method we construct a basis of differential invariants and invariant differentiation operators for such systems. We describe certain types of Lagrangian systems in terms of their invariants. The results are illustrated by several examples.     

On linearization of hyperbolic equations using differential invariants

In this paper we consider the general class of hyperbolic equations uxt=F(x,t,u,ux,ut). We use equivalence transformations to derive differential invariants for this class and for two subclasses. Then we employ these invariants to construct equations that can be linearized via local mappings. Further applications of the differential invariants are given.     

<Emphasis Type="Italic">r</Emphasis>-Tuple almost product structures

A generalization of an almost product structure and an almost complex structure on smooth manifolds is constructed. The set of tensor differential invariants of type (2, 1) and the set of differential 2-forms for such structures are constructed. We show how these tensor invariants can be used to solve the classification problem for Monge–Ampère equations and Jacobi equations.     

On Lie’s problem and differential invariants of ODEs <Emphasis Type="Italic">y</Emphasis>″ = <Emphasis Type="Italic">F</Emphasis>(<Emphasis Type="Italic">x</Emphasis>, <Emphasis Type="Italic">y</Emphasis>)

A point classification of ordinary differential equations of the form y″ = F(x, y) is considered. The algebra of differential invariants of the action of the point symmetry pseudogroup on the right-hand sides of equations of the form y″ = F(x, y) is calculated, and Lie’s problem on the point equivalence of such equations is solved.     

Faraday’s Form and Maxwell’s Equations in the Heisenberg Group

In this note we present a geometric formulation of Maxwell’s equations in Carnot groups (connected simply connected nilpotent Lie groups with stratified Lie algebra) in the setting of the intrinsic complex of differential forms defined by M. Rumin. Restricting ourselves to the first Heisenberg group \mathbbH¹{\mathbb{H}^{1}}, we show that these equations are invariant under the action of suitably defined Lorentz transformations, and we prove the equivalence of these equations with differential equations “in coordinates”. Moreover, we analyze the notion of “vector potential”, and we show that it satisfies a new class of 4th order evolution differential equations.     

The inverse problem of the calculus of variations for scalar fourth-order ordinary differential equations

A simple invariant characterization of the scalar fourth-order ordinary differential equations which admit a variational multiplier is given. The necessary and sufficient conditions for the existence of a multiplier are expressed in terms of the vanishing of two relative invariants which can be associated with any fourth-order equation through the application of Cartan's equivalence method. The solution to the inverse problem for fourth-order scalar equations provides the solution to an equivalence problem for second-order Lagrangians, as well as the precise relationship between the symmetry algebra of a variational equation and the divergence symmetry algebra of the associated Lagrangian.

     

Contact linearization of nondegenerate Monge-Ampère equations

The present paper is devoted to the problem of transforming the classical Monge-Ampère equations to the linear equations by change of variables. The class of Monge-Ampère equations is distinguished from the variety of second-order partial differential equations by the property that this class is closed under contact transformations. This fact was known already to Sophus Lie who studied the Monge-Ampère equations using methods of contact geometry. Therefore it is natural to consider the classification problems for the Monge-Ampère equations with respect to the pseudogroup of contact transformations. In the present paper we give the complete solution to the problem of linearization of regular elliptic and hyperbolic Monge-Ampère equations with respect to contact transformations. In order to solve this problem, we construct invariants of the Monge-Ampère equations and the Laplace differential forms, which involve the classical Laplace invariants as coefficients.     

Classification of Certain Class of Ordinary Differential Equations of the First Order

We study problem of global classification of ordinary differential equations with the linear-fractional right-hand side with rational coefficients with respect to a symmetry group. We find the field of differential invariants and obtain the equivalence criterion for two such equations. We adduce certain examples for applying of this criterion. These examples were obtained by means of computer.     

Lie group analysis of two-dimensional variable-coefficient Burgers equation

The modern group analysis of differential equations is used to study a class of two-dimensional variable coefficient Burgers equations. The group classification of this class is performed. Equivalence transformations are also found that allow us to simplify the results of classification and to construct the basis of differential invariants and operators of invariant differentiation. Using equivalence transformations, reductions with respect to Lie symmetry operators and certain non-Lie ansätze, we construct exact analytical solutions for specific forms of the arbitrary elements. Finally, we classify the local conservation laws.     

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.     

Lie group analysis of two-dimensional variable-coefficient Burgers equation

The modern group analysis of differential equations is used to study a class of two-dimensional variable coefficient Burgers equations. The group classification of this class is performed. Equivalence transformations are also found that allow us to simplify the results of classification and to construct the basis of differential invariants and operators of invariant differentiation. Using equivalence transformations, reductions with respect to Lie symmetry operators and certain non-Lie ans?tze, we construct exact analytical solutions for specific forms of the arbitrary elements. Finally, we classify the local conservation laws.     

Group classification of projective type second-order ordinary differential equations

Group classification with respect to admitted point transformation groups is carried out for second-order ordinary differential equations with cubic nonlinearity of the first-order derivative. The result is obtained with use of the invariants of the equivalence transformation group of the family of equations under consideration. The corresponding Riemannian metric is found for the equations that are the projection of the system of geodesics to a two-dimensional surface.     

Ibragimov-type invariants for a system of two linear parabolic equations

We obtain new semi-invariants for a system of two linear parabolic type partial differential equations (PDEs) in two independent variables under equivalence transformations of the dependent variables only. This is achieved for a class of systems of two linear parabolic type PDEs that correspond to a scalar complex linear (1 + 1) parabolic equation. The complex transformations of the dependent variables which map the complex scalar linear parabolic PDE to itself provide us with real transformations that map the corresponding system of linear parabolic type PDEs to itself with different coefficients in general. The semi-invariants deduced for this class of systems of two linear parabolic type equations correspond to the complex Ibragimov invariants of the complex scalar linear parabolic equation. We also look at particular cases of the system of parabolic type equations when they are uncoupled or coupled in a special manner. Moreover, we address the inverse problem of when systems of linear parabolic type equations arise from analytic continuation of a scalar linear parabolic PDE. Examples are given to illustrate the method implemented.     

Maurer–Cartan forms and the structure of Lie pseudo-groups

This paper begins a series devoted to developing a general and practical theory of moving frames for infinite-dimensional Lie pseudo-groups. In this first, preparatory part, we present a new, direct approach to the construction of invariant Maurer–Cartan forms and the Cartan structure equations for a pseudo-group. Our approach is completely explicit and avoids reliance on the theory of exterior differential systems and prolongation. The second paper [60] will apply these constructions in order to develop the moving frame algorithm for the action of the pseudo-group on submanifolds. The third paper [61] will apply Gr?bner basis methods to prove a fundamental theorem on the freeness of pseudo-group actions on jet bundles, and a constructive version of the finiteness theorem of Tresse and Kumpera for generating systems of differential invariants and also their syzygies. Applications of the moving frame method include practical algorithms for constructing complete systems of differential invariants and invariant differential forms, classifying their syzygies and recurrence relations, analyzing invariant variational principles, and solving equivalence and symmetry problems arising in geometry and physics.     

On the invariants of two dimensional linear parabolic equations

We consider the most general two dimensional linear parabolic equations. Motivated by the recent work of Ibragimov et al. [1], [2], [3] we construct differential invariants, semi-invariants and invariant equations. These results are achieved with the employment of the equivalence group admitted by this class of parabolic equations. We derive those variable coefficient equations of this class of linear parabolic equations that can be mapped into constant coefficient equations. Further applications are presented.     

Equivalence Groups for First-Order Balance Equations and Applications to Electromagnetism

We investigate the groups of equivalence transformations for first-order balance equations involving an arbitrary number of dependent and independent variables. We obtain the determining equations and find their explicit solutions. The approach to this problem is based on a geometric method that depends on Cartan's exterior differential forms. The general solutions of the determining equations for equivalence transformations for first-order systems are applied to a class of the Maxwell equations of electrodynamics.     

Scalar differential invariants of symplectic Monge-Ampère equations

All second order scalar differential invariants of symplectic hyperbolic and elliptic Monge-Ampère equations with respect to symplectomorphisms are explicitly computed. In particular, it is shown that the number of independent second order invariants is equal to 7, in sharp contrast with general Monge-Ampère equations for which this number is equal to 2. We also introduce a series of invariant differential forms and vector fields which allow us to construct numerous scalar differential invariants of higher order. The introduced invariants give a solution of the symplectic equivalence of Monge-Ampère equations. As an example we study equations of the form u _xy + f(x, y, u _x , u _y ) = 0 and in particular find a simple linearization criterion.