Abstract

This paper is devoted to obtain the one-dimensional group invariant solutions of the two-dimensional Ricci flow ((2D) Rf) equation. By classifying the orbits of the adjoint representation of the symmetry group on its Lie algebra, the optimal system of one-dimensional subalgebras of the ((2D) Rf) equation is obtained. For each class, we will find the reduced equation by the method of similarity reduction. By solving these reduced equations, we will obtain new sets of group invariant solutions for the ((2D) Rf) equation.

1. Introduction

The Ricci flow was introduced by Hamilton in his seminal paper, “Three-manifolds with positive Ricci curvature” in 1982 [1]. Since then, Ricci flow has been a very useful tool for studying the special geometries which a manifold admits. Ricci flow is an evolution equation for a Riemannian metric which sometimes can be used in order to deform an arbitrary metric into a suitable metric that can specify the topology of the underlying manifold. If is a smooth Riemannian manifold, Ricci flow is defined by where Ric denotes the Ricci tensor of the metric . By using the concept of Ricci flow, Grisha Perelman completely proved the Poincaré conjecture around 2003 [24]. The Ricci flow also is used as an approximation to the renormalization group flow for the two-dimensional nonlinear -model, in quantum field theory; see [5] and references therein. The ricci flow equation is related to one of the models used in obtaining the quantum theory of gravity [6]. Because some difficulties appear when a quantum field theory is formulated, the studies focus on less dimensional models which are called mechanical models.

In this paper, we want to obtain new solutions of ((2D) Rf) equation by method of Lie symmetry group. As it is well known, Lie symmetry group method has an important role in the analysis of differential equations. The theory of Lie symmetry groups of differential equations was developed by Lie at the end of nineteenth century [7]. By this method, we can reduce the order of ODEs and investigate the invariant solutions. Also we can construct new solutions from known ones (for more details about the applications of Lie symmetries, see [810]). Lie's method led to an algorithmic approach to find special solution of differential equation by its symmetry group. These solutions are called group invariant solutions and obtained by solving the reduced system of differential equation having fewer independent variables than the original system. This fact that for some PDEs, the symmetry reductions are unobtainable by the Lie symmetry method, caused the creation of some generalizations of this method. These generalizations are called nonclassical symmetry method and was described in many references such as [1114].

In this paper, we apply the Lie symmetry method to obtain the invariant solutions of ((2D) Rf) equation and classify them. This paper is organized as follows. In Section 2, by using the mechanical model of Ricci flow, Lie symmetries of ((2D) Rf) equation will be stated. Also we achieve some results from the structure of the Lie algebra of the Lie symmetry group. In Section 3, we will construct an optimal system of one-dimensional subalgebras of the ((2D) Rf) equation which is useful for classifying of the group invariant solutions. In Section 4, the reduced equation for each element of optimal system is obtained. In Section 5, we will solve the reduced equations by method of Lie symmetry group and obtain the group invariant solutions of ((2D) Rf) equation.

2. Lie Symmetries of ((2D) Rf) Equation

As we know, transformations which map solutions of a differential equation to other solutions are called symmetries of the equation. The procedure of finding the Lie symmetry group of a PDE was described in many studies such as [8, 9, 15]. Before performing the Lie symmetries of Ricci flow, let us restate the mechanical model of Ricci flow that introduced by Cimpoiaus and Constantinescu [16].

The metric tensor of the space, , can be written in the conformally flat frame using Cartesian coordinates and or the complex variables [6]. According to (1), the function must satisfy where is Laplacian. By introducing the field Equation (3) takes the form or in the equivalent form: Cimpoiaus and Constantinescu, also obtained the Lie symmetry group of this equation [16]. They proved that this equation admits a 6-parameter Lie group, , with the following infinitesimal generators for its Lie algebra, : The commutator table of Lie algebra for is given in Table 1, where the entry in the row and column is , .

Exponentiating the infinitesimal symmetries (6), we obtain the one-parameter groups generated by , as follows: Consequently, we can state the following theorem.

Theorem 1. If is a solution of (5), so are functions

3. One-Dimensional Optimal System of Subalgebras for the ((2D) Rf) Equation

In this section, we obtain the one-dimensional optimal system of ((2D) Rf) equation by using symmetry group. Since every linear combination of infinitesimal symmetries is an infinitesimal symmetry, there is an infinite number of one-dimensional subgroups for . Therefore, it is important to determine which subgroups give different types of solutions. For this, we must find invariant solutions which cannot be transformed to each other by symmetry transformations in the full symmetry group. This led to the concept of an optimal system of subalgebra. For one-dimensional subalgebras, this classification problem is the same as the problem of classifying the orbits of the adjoint representation [8]. Optimal set of subalgebras is obtained by selecting only one representative from each class of equivalent subalgebras. The problem of classifying the orbits is solved by taking a general element in the Lie algebra and simplifying it as much as possible by imposing various adjoint transformation on it [15, 17]. Adjoint representation of each , is defined by Lie series where is a parameter and is the commutator of the Lie algebra for [8]. It is important to note that following the convention of [8], we used the right invariant vector fields to define the Lie algebra in this paper. As a consequence a minus sign is present in Lie series.

Taking into account the table of commutator, we can compute all the adjoint representations corresponding to the Lie group of the ((2D) Rf) equation. They are presented in Table 2. Note that, the entry indicate .

Now we can state the following theorem.

Theorem 2. A one-dimensional optimal system for Lie algebra of ((2D) Rf) equation is given by where and .

Proof. Let be the adjoint transformation defined by , for . The matrix of , , with respect to basis is respectively. If , then we have Now, we try to vanish the coefficients of by acting the adjoint representations on , and choosing suitable parameters in each step. Therefore, we can simplify as follows.  If , and , then we can make the coefficients of , , and vanish by , , and ; by setting , and , respectively. Scaling if necessary, we can assume that . So is reduced to the case .  If , and , then we can make the coefficients of and vanish by and ; by setting and , respectively. Also we can make the coefficient of , by ; by setting . Scaling if necessary, we can assume that . So is reduced to the case .  If , and , then we can make the coefficients of and vanish by and ; by setting and , respectively. Also we can make the coefficient of , by ; by setting . Scaling if necessary, we can assume that . So is reduced to the case .  If and , then we can make the coefficient of vanish by ; by setting . Scaling if necessary, we can assume that . So is reduced to the case .  If , and , then we can make the coefficients of and vanish by and ; by setting and , respectively. Also we can make the coefficient of , by ; by setting . Scaling if necessary, we can assume that . So is reduced to the case .  If and , then we can make the coefficient of vanish by ; by setting . Scaling if necessary, we can assume that . So is reduced to the case .  If and , then we can make the coefficient of vanish by ; by setting . Scaling if necessary, we can assume that . So is reduced to the case .  If , then is reduced to the case . There is not any more possible case for investigating and the proof is complete.

4. Similarity Reduction of ((2D) Rf) Equation

In this section, the two-dimensional Ricci flow equation will be reduced by expressing it in the new coordinates. The ((2D) Rf) equation is expressed in the coordinates , we must search for this equation's form in the suitable coordinates for reducing it. These new coordinates will be obtained by looking for independent invariants corresponding to the generators of the symmetry group. Hence, by using the new coordinates and applying the chain rule, we obtain the reduced equation. We express this procedure for one of the infinitesimal generators in the optimal system (10) and list the result for some other cases.

For example, consider the case in Theorem 2 when and ; therefore, we have . For determining independent invariants , we ought to solve the PDEs , that is For solving this PDE, the following associated characteristic ODE must be solved: Hence, three functionally independent invariants , , and are obtained. If we treat as a function of and , we can compute formulae for the derivatives of with respect to , , and in terms of , , and the derivatives of with respect to and . By using the chain rule and the fact that , we have After substituting the above relations into (5), we obtain So the reduced equation is This equation has two independent variables and and one dependent variable . In a similar way, we can compute all of the similarity reduction equations corresponding to the infinitesimal symmetries that mentioned in Theorem 2. Some of them are listed in Table 3.

5. Group Invariant Solutions of ((2D) Rf) Equation

In this section, we reduce the equations obtained in last section to ODEs and solve them.

For example, (17) admits a 4-parameter family of Lie operators with following infinitesimal generators: The invariants associated to the infinitesimal generator , are and . By substituting these invariants into (17) and using chain rule, the reduced equation is obtained as follows: the solution of this equation is , where and are arbitrary constants. therefore we have . So is a solution of (5).

By similar arguments, we can obtain other invariant solutions of (17). Also by reducing other equations in Table 3, we can find other solutions of ((2D) Rf) equation. Some of the similarity reduced equations are listed in Table 4.

In Table 5, we obtain the invariant solutions of ((2D) Rf) equation corresponding to some of the similarity-reduced equations.

6. Conclusion

In this paper, by using the adjoint representation of the symmetry group on its Lie algebra, we have constructed an optimal system of one-dimensional subalgebras for a well-known partial differential equation in mathematical physics called: two-dimensional Ricci flow equation. Moreover, we have obtained the similarity-reduced equations for each element of optimal system as well as some group invariant solutions of two-dimensional Ricci flow equation.