Group-Theoretical Analysis of Variable Coefficient Nonlinear Telegraph Equations

Given a class \(\mathcal{F(\theta)}\) of differential equations with arbitrary element θ, the problems of symmetry group, nonclassical symmetry and conservation law classifications are to determine for each member \(f\in\mathcal{F(\theta)}\) the structure of its Lie symmetry group G _f , conditional symmetry Q _f and conservation law \(\mathop {\rm CL}\nolimits _{f}\) under some proper equivalence transformations groups.In this paper, an extensive investigation of these three aspects is carried out for the class of variable coefficient (1+1)-dimensional nonlinear telegraph equations with coefficients depending on the space variable f(x)u _tt =(g(x)H(u)u _x ) _x +h(x)K(u)u _x . The usual equivalence group and the extended one including transformations which are nonlocal with respect to arbitrary elements are first constructed. Then using the technique of variable gauges of arbitrary elements under equivalence transformations, we restrict ourselves to the symmetry group classifications for the equations with two different gauges g=1 and g=h. In order to get the ultimate classification, the method of furcate split is also used and consequently a number of new interesting nonlinear invariant models which have non-trivial invariance algebra are obtained. As an application, exact solutions for some equations which are singled out from the classification results are constructed by the classical method of Lie reduction.The classification of nonclassical symmetries for the classes of differential equations with gauge g=1 is discussed within the framework of singular reduction operator. This enabled to obtain some exact solutions of the nonlinear telegraph equation which are invariant under certain conditional symmetries.Using the direct method, we also carry out two classifications of local conservation laws up to equivalence relations generated by both usual and extended equivalence groups. Equivalence with respect to these groups and correct choice of gauge coefficients of equations play the major role for simple and clear formulation of the final results.     

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.     

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.     

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].     

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.     

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 Differential Invariant Submodels

Calculation of differential invariants and invariant differentiation operators of a subalgebra of the Lie algebra admitted by a system of differential equations enables us to construct differential invariant submodels. We classify submodels for every subalgebra of an optimal system of subalgebras. Classification includes the invariant submodels and partially invariant submodels considered earlier. We give examples of classification for three-dimensional subalgebras admitted by the equations of gas dynamics.     

Some exact solutions of the ideal MHD equations through symmetry reduction method

We use the symmetry reduction method based on Lie group theory to obtain some exact solutions, the so-called invariant solutions, of the ideal magnetohydrodynamic equations in (3+1) dimensions. In particular, these equations are invariant under a Galilean-similitude Lie algebra for which the classification by conjugacy classes of r-dimensional subalgebras (1?r?4) was already known. We restrict our study to the three-dimensional Galilean-similitude subalgebras that give us systems composed of ordinary differential equations. Here, some examples of these solutions are presented with a brief physical interpretation.     

Moving Coframes: II. Regularization and Theoretical Foundations

The primary goal of this paper is to provide a rigorous theoretical justification of Cartans method of moving frames for arbitrary finite-dimensional Lie group actions on manifolds. The general theorems are based a new regularized version of the moving frame algorithm, which is of both theoretical and practical use. Applications include a new approach to the construction and classification of differential invariants and invariant differential operators on jet bundles, as well as equivalence, symmetry, and rigidity theorems for submanifolds under general transformation groups. The method also leads to complete classifications of generating systems of differential invariants, explicit commutation formulae for the associated invariant differential operators, and a general classification theorem for syzygies of the higher order differentiated differential invariants. A variety of illustrative examples demonstrate how the method can be directly applied to practical problems arising in geometry, invariant theory, and differential equations.     

Symmetry algebras of linear differential equations

The local symmetries of linear differential equations are investigated by means of proven theorems on the structure of the algebra of local symmetries of translationally and dilatationally invariant differential equations. For a nonparabolic second-order equation, the absence of nontrivial nonlinear local symmetries is proved. This means that the local symmetries reduce to the Lie algebra of linear differential symmetry operators. For the Laplace—Beltrami equation, all local symmetries reduce to the enveloping algebra of the algebra of the conformal group.Tomsk State University. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 92, No. 1, pp. 3–12, July, 1992.     

Lie symmetries of a generalized Kuznetsov–Zabolotskaya–Khokhlov equation

We consider a class of generalized Kuznetsov–Zabolotskaya–Khokhlov (gKZK) equations and determine its equivalence group, which is then used to give a complete symmetry classification of this class. The infinite-dimensional symmetry is used to reduce such equations to (1+1)$(1+1)$-dimensional PDEs. Special attention is paid to group-theoretical properties of a class of generalized dispersionless KP (gdKP) or Zabolotskaya–Khokhlov equations as a subclass of gKZK equations. The conditions are determined under which a gdKP equation is invariant under a Lie algebra containing the Virasoro algebra as a subalgebra. This occurs if and only if this equation is completely integrable. A similar connection is shown to hold for generalized KP equations.     

Enhanced Group Analysis and Exact Solutions of Variable Coefficient Semilinear Diffusion Equations with a Power Source

A new approach to group classification problems and more general investigations on transformational properties of classes of differential equations is proposed. It is based on mappings between classes of differential equations, generated by families of point transformations. A class of variable coefficient (1+1)-dimensional semilinear reaction–diffusion equations of the general form f(x)u _t =(g(x)u _x ) _x +h(x)u ^m (m≠0,1) is studied from the symmetry point of view in the framework of the approach proposed. The singular subclass of the equations with m=2 is singled out. The group classifications of the entire class, the singular subclass and their images are performed with respect to both the corresponding (generalized extended) equivalence groups and all point transformations. The set of admissible transformations of the imaged class is exhaustively described in the general case m≠2. The procedure of classification of nonclassical symmetries, which involves mappings between classes of differential equations, is discussed. Wide families of new exact solutions are also constructed for equations from the classes under consideration by the classical method of Lie reductions and by generation of new solutions from known ones for other equations with point transformations of different kinds (such as additional equivalence transformations and mappings between classes of equations).     

A property of the defining equations for the Lie algebra in the group classification problem for wave equations

We solve the group classification problem for nonlinear hyperbolic systems of differential equations. The admissible continuous group of transformations has the Lie algebra of dimension less than 5. This main statement follows from the principal property of the defining equations of the admissible Lie algebra: the commutator of two solutions is a solution. Using equivalence transformations we classify nonlinear systems in accordance with the well-known Lie algebra structures of dimension 3 and 4.     

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.     

Group analysis of the one-dimensional boltzmann equation: II. Equivalence groups and symmetry groups in the special case

We obtain relations that define the equivalence algebra of the family of one-dimensional Boltzmann equations f _t + cf _x + F(t, x, c)f _c = 0 and show that all equations of that form are locally equivalent. We carry out the group classification of the equation with respect to the function F in the special case where the function F and the transformations of the variables t and x are assumed to be independent of c. We show that, under such constraints for the transformation and the family of equations, the maximum possible symmetry algebra is eight-dimensional, which corresponds to an equation with a linear function F.     

Algorithms for Differential Invariants of Symmetry Groups of Differential Equations

We develop new computational algorithms, based on the method of equivariant moving frames, for classifying the differential invariants of Lie symmetry pseudo-groups of differential equations and analyzing the structure of the induced differential invariant algebra. The Korteweg-deVries (KdV) and Kadomtsev-Petviashvili (KP) equations serve to illustrate examples. In particular, we deduce the first complete classification of the differential invariants and their syzygies of the KP symmetry pseudo-group.     

Symmetry, Compatibility and Exact Solutions of PDEs

We discuss various compatibility criteria for overdetermined systems of PDEs generalizing the approach to formal integrability via brackets of differential operators. Then we give sufficient conditions that guarantee that a PDE possessing a Lie algebra of symmetries has invariant solutions. Finally we discuss models of equations with large symmetry algebras, which eventually lead to integration in closed form.     

Invariant operators of four-dimensional nonconjugate subalgebras of the Lie algebra of the Poincaré group <Emphasis Type="Italic">P</Emphasis>(1,4)

The classification of four-dimensional nonconjugate subalgebras of the Lie algebra of the Poincare group P(1, 4) into classes of isomorphic subalgebras is performed. Using this classification, we construct invariant operators (generalized Casimir operators) [30] for all four-dimensional nonconjugate subalgebras of the Lie algebra of the group P(1, 4) and present them in the explicit form.