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.     

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.     

Admissible Transformations and Normalized Classes of Nonlinear Schrödinger Equations

The theory of group classification of differential equations is analyzed, substantially extended and enhanced based on the new notions of conditional equivalence group and normalized class of differential equations. Effective new techniques are proposed. Using these, we exhaustively describe admissible point transformations in classes of nonlinear (1+1)-dimensional Schrödinger equations, in particular, in the class of nonlinear (1+1)-dimensional Schrödinger equations with modular nonlinearities and potentials and some subclasses thereof. We then carry out a complete group classification in this class, representing it as a union of disjoint normalized subclasses and applying a combination of algebraic and compatibility methods. Moreover, we introduce the complete classification of (1+2)-dimensional cubic Schrödinger equations with potentials. The proposed approach can be applied to studying symmetry properties of a wide range of differential equations.     

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 the symmetry classification and conservation laws for quasilinear differential equations of second order

We obtain a sufficient condition for the absence of tangent transformations admitted by quasilinear differential equations of second order and a sufficient condition for the linear autonomy of the operators of the Lie group of transformations admitted by weakly nonlinear differential equations of second order. We prove a theorem concerning the structure of conservation laws of first order for weakly nonlinear differential equations of second order. We carry out the classification by first-order conservation laws for linear differential equations of second order with two independent variables.     

A hierarchy of submodels of differential equations

We consider a system of differential equations admitting a group of transformations. The Lie algebra of the group generates a hierarchy of submodels. This hierarchy can be chosen so that the solutions to each of submodels are solutions to some other submodel in the same hierarchy. For this we must calculate an optimal system of subalgebras and construct a graph of embedded subalgebras and then calculate the differential invariants and invariant differentiation operators for each subalgebra. The invariants of a superalgebra are functions of the invariants of the algebra. The invariant differentiation operators of a superalgebra are linear combinations of invariant differentiation operators of a subalgebra over the field of invariants of the subalgebra. The comparison of the representations of group solutions gives a relation between the solutions to the models of the superalgebra and the subalgebra. Some examples are given of embedded submodels for the equations of gas dynamics.     

Author index for volume 75

In this paper we present a method for constructing invariant solutions of partial differential equations. Using a computerprogram we derive a simple class of transformations including similarity transformations which leaves invariant a given hydrodynamical equation. Methods from differential geometry will enable us to construct ordinary differential equations leading to invariant solutions of a given equation.     

Structure of Binary Darboux-Type Transformations for Hermitian Adjoint Differential Operators

For Hermitian adjoint differential operators, we consider the structure of Darboux–Bäcklund-type transformations in the class of parametrically dependent Hilbert spaces. By using the proposed new method, we obtain the corresponding integro-differential symbols of the operators of transformations in explicit form and consider the problem of their application to the construction of two-dimensional Lax-integrable nonlinear evolution equations and their Darboux–Bäcklund-type transformations.     

Structure of Binary Transformations of Darboux Type and Their Application to Soliton Theory

On the basis of generalized Lagrange identity for pairs of formally adjoint multidimensional differential operators and a special differential geometric structure associated with this identity, we propose a general scheme of the construction of corresponding transformation operators that are described by nontrivial topological characteristics. We construct explicitly the corresponding integro-differential symbols of transformation operators, which are used in the construction of Lax-integrable nonlinear two-dimensional evolutionary equations and their Darboux–Bäcklund-type transformations.     

Bifurcations of completely integrable first-order ordinary differential equations

We consider an implicit first-order ordinary differential equation with complete integral. In [3], the authors give a generic classifications of first-order ordinary differential equations with complete integral with respect to the equivalence relation which is given by the group of point transformations. The classification problem is reduced to the classification of a certain class of divergent diagrams of mapping germs. In this paper, we give a generic classifications of bifurcations of such differential equations as an application of the Legendrian singularity theory. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 33, Suzdal Conference-2004, Part 1, 2005.     

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.     

The Higher Spin Laplace Operator

This paper deals with a certain class of second-order conformally invariant operators acting on functions taking values in particular (finite-dimensional) irreducible representations of the orthogonal group. These operators can be seen as a generalisation of the Laplace operator to higher spin as well as a second-order analogue of the Rarita-Schwinger operator. To construct these operators, we will use the framework of Clifford analysis, a multivariate function theory in which arbitrary irreducible representations for the orthogonal group can be realised in terms of polynomials satisfying a system of differential equations. As a consequence, the functions on which this particular class of operators act are functions taking values in the space of harmonics homogeneous of degree k. We prove the ellipticity of these operators and use this to investigate their kernel, focusing on polynomial solutions. Finally, we will also construct the fundamental solution using the theory of Riesz potentials.     

Transformation groups in net spaces

We consider formal groups of transformations on the space of differential and net (finite-difference) variables. We show that preservation of meaning of difference derivatives under transformations necessarily leads to Lie-Bäcklund group. We derive formulas for extension to net variables and formulate criteria for preservation of uniformity and invariance of differences of the network and a test for the invariance of difference equations. With the help of formal Newton series we construct the ideal of the algebra of all Lie-Bäcklund operators on a uniform network which is used to derive tests for the conservatism of difference equations on the basis of a discrete analog of Noether's identity.Translated from Itogi Nauki i Tekhniki, Seriya Sovremennye Problemy Matematiki, Noveishie Dostizheniya, Vol. 34, pp. 149–191, 1989.     

Ermakov–Pinney and Emden–Fowler Equations: New Solutions from Novel Bäcklund Transformations

We study the class of nonlinear ordinary differential equations y″ y = F(z, y²), where F is a smooth function. Various ordinary differential equations with a well-known importance for applications belong to this class of nonlinear ordinary differential equations. Indeed, the Emden–Fowler equation, the Ermakov–Pinney equation, and the generalized Ermakov equations are among them. We construct Bäcklund transformations and auto-Bäcklund transformations: starting from a trivial solution, these last transformations induce the construction of a ladder of new solutions admitted by the given differential equations. Notably, the highly nonlinear structure of this class of nonlinear ordinary differential equations implies that numerical methods are very difficult to apply.     

带幂非线性项变系数非线性波动方程的李对称分类与等价性变换

从微分方程群理论分析角度,研究了一类含有3个任意函数和2个幂非线性项的变系数非线性波动方程.由于方程具有很强的任意性和非线性项,可通过等价性变换寻找方程的不变对称分类.首先给出了等价性变换的一般结果,其中包括一些包含任意元的非局部变换.然后对所研究的方程,利用广义扩展等价群和条件等价群给出了方程的完全对称分类.最后获得并分析了方程的特殊类相似解.     

Necessary Covariance Conditions for a One-Field Lax Pair

We study the covariance with respect to Darboux transformations of polynomial differential and difference operators with coefficients given by functions of one basic field. In the scalar (Abelian) case, the functional dependence is established by equating the Frechet differential (the first term of the Taylor series on the prolonged space) to the Darboux transform; a Lax pair for the Boussinesq equation is considered. For a pair of generalized Zakharov-Shabat problems (with differential and shift operators) with operator coefficients, we construct a set of integrable nonlinear equations together with explicit dressing formulas. Non-Abelian special functions are fixed as the fields of the covariant pairs. We introduce a difference Lax pair, a combined gauge-Darboux transformation, and solutions of the Nahm equations.__________Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 144, No. 1, pp. 122–132, July, 2005.     

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.     

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.     

Evolution of weak discontinuities in shallow water equations

In this paper, we determine the critical time, when a weak discontinuity in the shallow water equations culminates into a bore. Invariance group properties of the governing system of partial differential equations (PDEs), admitting Lie group of point transformations with commuting infinitesimal operators, are presented. Some appropriate canonical variables are characterized that transform equations at hand to an equivalent form, which admits non-constant solutions. The propagation of weak discontinuities is studied in the medium characterized by the particular solution of the governing system.     

Zeroth-order conservation laws of two-dimensional shallow water equations with variable bottom topography

We classify zeroth-order conservation laws of systems from the class of two-dimensional shallow water equations with variable bottom topography using an optimized version of the method of furcate splitting. The classification is carried out up to equivalence generated by the equivalence group of this class. We find additional point equivalences between some of the listed cases of extensions of the space of zeroth-order conservation laws, which are inequivalent up to transformations from the equivalence group. Hamiltonian structures of systems of shallow water equations are used for relating the classification of zeroth-order conservation laws of these systems to the classification of their Lie symmetries. We also construct generating sets of such conservation laws under action of Lie symmetries.