Abstract and Applied Analysis
Volume 2015 (2015), Article ID 181275, 6 pages
http://dx.doi.org/10.1155/2015/181275

Research Article

Nonpoint Symmetry and Reduction of Nonlinear Evolution and Wave Type Equations

Ivan Tsyfra¹ and Tomasz Czyżycki²

¹AGH University of Science and Technology, Faculty of Applied Mathematics, 30 Mickiewicza Avenue, 30-059 Krakow, Poland
²Institute of Mathematics, University of Białystok, Ciołkowskiego 1M, 15-245 Białystok, Poland

Received 20 February 2015; Accepted 25 May 2015

Academic Editor: R. Naz

Copyright © 2015 Ivan Tsyfra and Tomasz Czyżycki. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

We study the symmetry reduction of nonlinear partial differential equations with two independent variables. We propose new ansätze reducing nonlinear evolution equations to system of ordinary differential equations. The ansätze are constructed by using operators of nonpoint classical and conditional symmetry. Then we find solution to nonlinear heat equation which cannot be obtained in the framework of the classical Lie approach. By using operators of Lie-Bäcklund symmetries we construct the solutions of nonlinear hyperbolic equations depending on arbitrary smooth function of one variable too.

1. Introduction

It is well known that the classical Lie symmetry method of point transformations is often used for reducing the number of independent variables in partial differential equation to obtain ordinary differential equations. After integration of reduced differential equations one can obtain partial solutions of the equation under study [1–3]. The main problem is that the maximal invariance group of point transformations of differential equations used in applications is not sufficiently wide and thus the group approach can not be successfully applied to these equations. The concept of generalized conditional symmetry has been introduced in [4, 5] to extend the applicability of the symmetry method to the construction of solutions of evolution equations. The relationship of generalized conditional symmetries of evolution equations to compatibility of system of differential equations is studied in [6]. The method for construction of nonlocally related partial differential equation systems for a given partial differential equation has been proposed in [7]. The starting point for the method is the existence of operator of point symmetry of the equation under study. Through nonlocally related systems one can construct operators of nonlocal symmetry and nonlocal conservation laws of initial equation.

We use operators of nonpoint classical and conditional symmetries to extend the class of differential equations to which the symmetry method is applicable. In this paper we study the symmetry reduction of partial differential equations with two independent variables by using the operators of nonpoint symmetry because the prolongated operators of classical point symmetry lead to the classical invariant solutions. The method can be naturally generalized to the multidimensional case. We construct the ansatz for dependent variable or its derivatives which reduces the scalar partial differential equation to a system of ordinary differential equations. We use the operators of the classical point symmetry [1, 2] of the corresponding system which are not the prolongated operators of point symmetries admitted by the original equation to construct the ansatz for derivatives. We construct the ansatz for by using ordinary differential equation admitting the operators of Lie-Bäcklund symmetry (in the classical sense [2, 4]). We consider nonlinear evolution and wave type equations and present the operator of conditional symmetry for the corresponding system which generates the Bäcklund transformations for nonlinear wave equation.

Recall, that the well-known integrable nonlinear differential equations such as Korteweg-de-Vries, sine-Gordon, and cubic Schroedinger equations admit an infinite number of Lie-Bäcklund symmetry operators [1, 2]. Another goal of this paper is to show that such important properties of nonlinear partial differential equations as existence of Bäcklund transformations, linearization, and existence of the class of solutions depending on arbitrary function can be related to their invariance under the finite number of nonpoint symmetry operators.

2. Nonpoint Symmetry and Reduction of Nonlinear Wave Type and Evolution Equations with Two Independent Variables

The concept of differential invariant solutions based on infinite Lie group is introduced in [3]. This group is a classical symmetry group of point transformations of dependent and independent variables for the equation under study. Generally speaking, analysis similar to that in constructing differential invariant solutions enables us to obtain the ansätze for derivatives , by virtue of operators of nonpoint symmetry [3, 8]. Let us consider nonlinear differential equation

We search for the ansatz for the derivatives of such form

where . Operators of classical and conditional symmetry of the corresponding system can be used to find , . The corresponding system has the form

where , , and , . To construct ansatz of type (2) we use the symmetry operator

of system (3). It is obvious that operator generates nonpoint group transformations for variables . It is easy to find the invariants of one-parameter Lie group with generator

By using these invariants one can construct the ansatz for , :

From (6) we have

where . Substituting (6) and (7) into the equation

yields

Thus we get the first reduced ordinary differential equation

The second one we obtain from the compatibility condition . It has the form

We take the particular solution of reduced system of ordinary differential equations (10) and (11) in the form

where . Thus one has to integrate overdetermined compatible system of differential equations

to construct the solution of (1). Nevertheless it is easy to get the solution of the equation

in such form

The tangent transformations groups are also used in the framework of this approach. Let us consider the nonlinear evolution equation

One can construct operator of tangent transformations of the form

admitted by (16). The first order functionally independent differential invariants of the corresponding one-parameter Lie group of tangent transformations can be chosen in the form

In order to construct ansatz of type (2) reducing (16) to system of ordinary differential equations we consider two-dimensional Lie algebra with basic operators . The operators satisfy the commutation relation . The invariants of two-parameter Lie group with generators , are , , and . Then we construct the ansatz by using these invariants in the form

From (19) and (16) we have

and first ordinary differential equation

From the condition it follows that , satisfy the second ordinary differential equation

Thus the reduced system consists of (21) and (22). From (21), (22), and (19) it follows that the solutions of (16) can be constructed by integrating overdetermined compatible system

where , are arbitrary real constants.

Next we emphasize that the operators of conditional symmetry of corresponding system can be used for construction the Bäcklund transformations for nonlinear wave equation

Indeed we showed that

is the operator of conditional symmetry of the corresponding system

where . Using operator we can write the ansatz in the following form:

where , are unknown functions on , and hence the Bäcklund transforms

relating (24) and sine-Gordon equation . These Bäcklund transforms (28) have been obtained for the first time in [9] by another technique.

Note that this approach is also applicable for linearization of nonlinear partial differential equations with two independent variables. Indeed, consider the second-order differential equation

where is a smooth function. Using the invariance of (29) under Lie group of transformations with corresponding five-dimensional Lie algebra given by basic elements , , , and we write the corresponding system in the form

where , , and . One can prove that (30) possesses infinite Lie classical symmetry and can be linearized by hodograph transformations. Thus we obtained the method of linearization of the second-order partial differential equation of the form (29) for arbitrary function .

Let us note that the symmetry group of corresponding system written in the general form contains the symmetry group of point transformations of initial equation as a subgroup and generators of point transformations can be used to construct ansatz (2). However these operators lead to invariant solutions in the classical Lie sense. We shall illustrate this property by the following example. Let us consider the wave equation

where is a smooth function. It is invariant with respect to the three-parameter Lie group. The basis of Lie algebra is given by . Consider two-dimensional subalgebra with basic elements . By using the differential invariants , , and of the corresponding two-parameter Lie group we construct ansatz of the form

which reduces (31) to the system

Let . Then we obtain two cases

and solution of reduced system has the form

By integrating system

one obtains the solution

where is arbitrary real constant and , of (31) with . In the second case we have

and solution has the form

where is arbitrary differentiable function. Let us consider the operator

where , are arbitrary real constants. One can verify that

if and only if

It means that solution (37) is invariant with respect to one-dimensional subgroup of symmetry group of (31) with generator where , satisfy condition (42). It is obvious that the solution (39) is invariant with respect to one-parameter group with generator (). Thus we conclude that any solution of (31) when constructed by this method with the help of two-dimensional Lie algebra with basic elements is an invariant one in the classical Lie sense.

Further we show how the operators of Lie-Bäcklund symmetry [2, 4] are used for reducing partial differential equations. Let us consider equation

where , , and denotes all partial derivatives of th order and the th order ordinary differential equation of the form

Let

where is a smooth function on variables and are arbitrary functions on variables , be a general solution of (44).

We use Theorem  1 from [10] which implies that if (44) is invariant with respect to the Lie–Bäcklund operator then the ansatz

where depend on variables , reduces partial differential equation (43) to the system of equations for unknown functions with independent variables and . We show the application of the theorem to nonlinear partial differential equation. Consider linear ordinary differential equation

where . Recall that the concepts of local theory of differential equations such as symmetry, conditional symmetry, conservation laws, and Lax representations are defined by differential equalities which must be satisfied only for solutions of the equations under study. One can prove that (47) admits the following Lie–Bäcklund operator:

where . It means that the following criterium of invariance

where is the prolongated operator of the second order [2], is fulfilled. We have proved that (47) admits operator of nonpoint (tangent) symmetry

if satisfies the following equation:

The general solution of this equation has the form

where , are arbitrary smooth functions of one variable. One can verify that (47) also admits operator

where is arbitrary function on variable . Then the ansatz

obtained from the general solution of (47) reduces wave type partial differential equations

where is a real constant. In general, the dependent coefficients in partial differential equations enable us to study the effects of field gradients.

Substituting (54) into (55) we obtain the reduced system of two ordinary differential equations

for unknown functions , . One can obtain partial solutions of (55) from solutions of system (56). In particular, if and then system (56) is reduced to one ordinary differential equation of the form

This equation is integrable by quadratures for arbitrary . Its general solution has the form

where ,

Using (54) one can construct the solution of nonlinear wave equation

in the following form:

where is arbitrary smooth function. So in the framework of this approach we have constructed solution with arbitrary function to nonlinear wave type partial differential equation (60) for arbitrary functions and .

3. Conclusions

We have constructed ansätze (6) and ansätze (19) which reduce nonlinear evolution equations (1) and (16) to ordinary differential equations and can not be obtained by using classical Lie method. We have found the solution of nonlinear heat equation (14). It turns out that some of these ansätze result in the classical invariant solutions. Obviously, one can construct such ansätze by prolongated operators of point symmetry admitted by the initial equation but they lead to the invariant solutions too. It is necessary that operators of nonpoint and conditional symmetry should be applied to obtain new results.

As was noted above the linearization of class of nonlinear partial differential equations (29) is possible in the framework of this approach.

Finally we show that the existence of even at least one operator of Lie-Bäcklund symmetry to ordinary differential equations (47) gives the possibility of constructing solutions (61) defined by arbitrary functions to (60). To our knowledge the inverse scattering tranformation method is not applicable in this case.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

References

G. W. Bluman and S. Kumei, Symmetries and Differential Equations, vol. 81 of Applied Mathematical Sciences, Springer, New York, NY, USA, 1989.

P. J. Olver, Applications of Lie Groups to Differential Equations, vol. 107 of Graduate Texts in Mathematics, Springer, New York, NY, USA, 1986.

L. V. Ovsiannikov, Group Analysis of Differential Equations, Academic Press, New York, NY, USA, 1982.

A. S. Fokas and Q. M. Liu, “Nonlinear interaction of traveling waves of nonintegrable equations,” Physical Review Letters, vol. 72, no. 21, pp. 3293–3296, 1994.

R. Z. Zhdanov, “Conditional Lie-Bäcklund symmetry and reduction of evolution equations,” Journal of Physics. A. Mathematical and General, vol. 28, no. 13, pp. 3841–3850, 1995.

M. Kunzinger and R. O. Popovych, “Generalized conditional symmetries of evolution equations,” Journal of Mathematical Analysis and Applications, vol. 379, no. 1, pp. 444–460, 2011.

G. W. Bluman and Z. Yang, “A symmetry-based method for constructing nonlocally related partial differential equation systems,” Journal of Mathematical Physics, vol. 54, no. 9, Article ID 093504, 22 pages, 2013.

I. Tsyfra, A. Napoli, A. Messina, and V. Tretynyk, “On new ways of group methods for reduction of evolution-type equations,” Journal of Mathematical Analysis and Applications, vol. 307, no. 2, pp. 724–735, 2005.

R. K. Dodd and R. K. Bullough, “Bäcklund transformations for the sine-Gordon equations,” Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 351, no. 1667, pp. 499–523, 1976.

I. M. Tsyfra, “Symmetry reduction of nonlinear differential equations,” Proceedings of Institute of Mathematics, vol. 50, pp. 266–270, 2004.