Journal of Applied Mathematics and Physics
Vol.06 No.02(2018), Article ID:82515,9 pages
10.4236/jamp.2018.62035
Lie Algebra of Infinitesimal Generators of the Symmetry Group of the Heat Equation
Narmanov Otabek Abdigapparovich
Tashkent University of Information Technologies, Tashkent, Uzbekistan
Copyright © 2018 by author and Scientific Research Publishing Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).
http://creativecommons.org/licenses/by/4.0/
Received: October 6, 2017; Accepted: February 11, 2018; Published: February 14, 2018
ABSTRACT
Last time symmetry methods have been recognized to be of great importance for the study of the differential equations arising in mathematics and physics. The purpose of this paper is to provide some application of Lie groups to heat equation. In this example, we determine Lie algebra of infinitesimal generators of symmetry group of heat equation and construct group-invariant solutions of this equation. The some computational methods are presented so that researchers in other fields can readily learn to use them.
Keywords:
Lie Group, Heat Equation, Symmetry Group
1. Introduction
Suppose we are given differential equation of order m
(1)
from n independent of and q dependent variables
Definition. A group G of transformation acting on an open subset M of the space of independent and dependent variables , is called the symmetry group of Equation (1) if for each solution of Equation (1) and for such that is defined, then the function is also a solution of the equation.
Remark. The transformation g takes the graph of a function to some set, which is the graph of some function. We denote this function by .
One of the advantages of knowing the symmetry group of differential equations is that if we know the solution then, in accordance with the definition, the function is also a solution for of any element g of the group G, so that we have opportunity to construct a whole family of solutions, exposing a known solution to the action of all possible elements of the group. To find the symmetry group, we “continue” the basic space representing independent and dependent variables to a space that also represents all the various partial derivatives that occur in the equation. For a given smooth function , there is an induced function , called the m-extension of , equation of the form , where is the derivative of order of the function . Now we can replace the differential equation by an algebraic equation that is defined by the vanishing of the function, which is the right-hand side of the equation defined on . A smooth solution of the differential equation is a smooth function and its derivatives must satisfy the algebraic equation
(2)
The procedure for finding the infinitesimal generators of the symmetry group of differential equations is described in the paper [1] . This procedure uses the prolongation of the action of the symmetry group on the extended space. Infinitesimal generators of the prolongation of the action of the symmetry group are extensions of the infinitesimal generators of the symmetry group of the basic space. We use this scheme to find the symmetry group of the one-dimensional heat equation.
We recall the notion of the algebra of infinitesimal generators of symmetry group. Let M be a smooth manifold of dimension n, -the set of all smooth vector fields on the manifold M. For a vector field X, let denote the integral curve of a vector field X, passing through a point at . The map is defined in some domain , which in the general case does not depend only from the field X, but also from the starting point x. Further everywhere in formulas of the form we assume that . Family forms a one-parameter group of transformations of the manifold Vector field X is called the infinitesimal generators of the transformations group G. If the transformation group is k-parametric, then is has k infinitesimal generators.
The set of all smooth vector fields on a manifold is linear space over the field of real numbers and is a Lie algebra with respect to the Lie bracket of vector fields. In general, this algebra is infinite-dimensional Lie algebra.
In this paper we find the Lie algebra of infinitesimal generators of the symmetry group of heat equation. This algebra is a three-dimensional sub algebra of the algebra , where M-the space of independent variables. This will allow us to find the complete symmetry group of the heat equation with any heat conduction function and with the help of these groups, to reduce that heat equation to an ordinary differential equation of the second order. For some heat conduction functions, these equation are studied numerically.
2. Main Part
Let us consider the quasi linear heat equation with coefficient of nonlinearity , which describes the process transfer of heat under the assumption that the medium is stationary and additional sources or sinks of energy in the medium are absent. We consider the following one-dimensional heat equation
(3)
Finding of infinitesimal generators of the prolongation of the action of the symmetry group is very complicated technically. By this reason first of all we consider a particular case of Equation (3) for :
(4)
The vector field X, which is an infinitesimal generator for the symmetry group of Equation (4) we will seek in the form
(5)
The second prolongation of the vector field X to the extended space of the variables will have the form:
(6)
Let G a group of transformations acting on a manifold M. A function where N is a some manifold, is called a G-invariant function if for all and all such that is defined . A real-valued G-invariant function is simply called a invariant of G. Note that is G-invariant if and only if each component of is an invariant of G. If is a G-invariant function, then clearly every level set of F is a G-invariant subset of M. However, it is not true that if the set of zeros of a smooth function, , is an invariant subset of M then the function itself is invariant. However, if every level set of F is invariant function then F is an invariant function. If G acts on M and is smooth function, then F is a G-invariant function if and only if every level set , is a G-invariant subset of M. It holds the following theorem [1] :
Theorem 1. A real-valued smooth function F is a G-invariant function if and only if for every infinitesimal generator of group G.
We will use this theorem-1 for finding of symmetry group of Equation (3). In the space , Equation (4) has the form:
, (7)
where . Taking into account that we get
(8)
For the components of the second prolongation of a vector field X, we use their expressions found in [5] :
,
,
Substituting these expressions into (8) and taking into account
(9)
We obtain a polynomial on the left-hand side of Equation (8) with respect to the variables :
Equating the coefficients for different monomials to zero, we obtain the following defining equations for the symmetry group of the heat equation.
From the defining Equation (5) of the Table 1, we obtain that the equality holds. From Equations (11) and (12) we obtain that , ; the function depends only on , . From Equation (10) we obtain that . From the Equations (9) we obtain that . From Equation (3) we get that the function does not depend on the variable , that is . Therefore, . Equation (6) shows that i.e. is a linear function of . Since takes place, we obtain that i.e. .
Thus we have
,
where -are arbitrary constants. Thus, the Lie algebra of infinitesimal generators of the group of symmetries of the equations is generated by the following vector fields
, , .
It can be verified that for the Lie brackets of these vector fields it holds equalities
, , .
Now we can prove that in fact Lie algebra of infinitesimal generators of the group of symmetries of the Equations (4) is Lie algebra of infinitesimal generators of the group of symmetries of the Equation (3).
Table 1. Table of defining equations.
Taking into account that , , for the components of the second prolongation of a vector field X, we have got following expressions:
, , .
Consequently, for the second prolongation of the vector field X to the extended space of the variables we obtain the following expression
(10)
Now we rewrite Equation (3) in following form
and let us consider the function , where M-space of variables , .
Now we can check that
.
By the theorem-1 above we can state that for every function following theorem
Theorem 2. Lie algebra of infinitesimal generators of the symmetry group of Equation (3) is a three-dimensional Lie algebra, generated by vector fields
, , .
For the Equation (3) of greatest interest is the case when the coefficient of the thermal conductivity is a nonlinear function of temperature u. As studies show, the coefficient of thermal conductivity in a sufficiently wide range of parameters can be described by a power-law function of temperature ( [1] - [6] ), that is, it has the form , where .
We consider case , where .
The group of transformations generated by the vector field , consists of time translations . The group of transformations generated by the vector field , consists of parallel translations of x:
The group of transformations generated by the vector field , consists of transformations of the form:
Therefore, if is a solution of the equation, then the functions
, ,
are also solutions of Equation (4).
Consider the vector field (the case )
This vector field generates a transformation of the form
The function is an invariant of these transformations, since . Therefore, if , , , then function is a solution of Equation (3), where the function is a solution of the following ordinary differential equation
(11)
In this equation, introducing a new function , we obtain the following first-order equation for the function z
(12)
If , we obtain the following equation
(13)
From this equation we find , and .
In the case we have . The function only one of solutions of the following ordinary differential equation
(14)
which corresponds to the case . Equation (14) have solutions which are not included into solutions (12). Now we find this solutions.
In this equation, introducing a new function , we obtain the following first-order equation for the function z
(15)
If , we obtain the following equation
(16)
The constant function is a solution of this equation. In this case , which is included into solutions of (12). If , then equation (16) is an equation in complete differentials. The general integral of this equation is the function
If , then .
As a result, for the function v we obtain the following first-order differential equation
.
As a result of integration, we get that
where are arbitrary constants.
Let us consider case the case . In the case from (12) we obtain , where c-integration constant. This function gives all solutions of following ordinary differential equation
(17)
Consider infinitesimal generator (the case )
.
In this case, the function is an invariant of the group of transformations
generated by the this vector field since . In this case, the we will seek solution of (3) in the form:
where the function is a solution of equation
. (18)
In the case the Equation (18) has the following form
(19)
By using the Maple-13 software package, its commands “dsolve”, “DEplot”, “with (DEtools)” we numerically studied the solution of the Equation (19).
Numerical analyst shows that solution of this equation limited for (Figure 1). This means that the temperature is limited.
Figure 1. The initial conditions , .
Figure 2. With the initial conditions , .
In the case the Equation (18) has the following form
(20)
for the function .
From this equation we can proceed to the system of differential equations of first order
, (21)
As the case again in the case by investigation of system (21) with numerical methods using the Maple-13 software package, we obtain that the solution of the equation (20) is limited for (Figure 2). This means that in this case also the temperature is limited.
Cite this paper
Abdigapparovich, N.O. (2018) Lie Algebra of Infinitesimal Generators of the Symmetry Group of the Heat Equation. Journal of Applied Mathematics and Physics, 6, 373-381. https://doi.org/10.4236/jamp.2018.62035
References
- 1. Olver, P.J. (1993) Applications of Lie Groups to Differential Equations. Springer, New York.
- 2. Bruno, A.D. (2000) Self-Similar Solution and Power Geometry. Russian Mathematical Surveys, 22, 1-42.
- 3. Volosevich, L. (1997) Self-Similar Solutions to the Problems of Gas Dynamics. MFTI, Moscow. (In Russian)
- 4. Ibragimov, N.X. (1991) Opit gruppovogo analiza obiknovennix differentialnix uravneniy. Znanie, Moscow. (In Russian)
- 5. Bratus, A.S., Novozhilov, A.S. and Platonov, A.P. (2010) Dynamical Systems and Models in Biology. Fizmatlit, Moscow. (In Russian)
- 6. Samarskiy, A.A., Galaktionov, V.A., Kurdumov, S.P. and Mikhaylov, A.P. (1987) Rejimi s obostreniyem v zadachax dlya kvazilinynix parabolicheskix uravneniy. Nauka, Moscow. (In Russian)