Share This Article:

Lie Algebra of Infinitesimal Generators of the Symmetry Group of the Heat Equation

Abstract Full-Text HTML XML Download Download as PDF (Size:338KB) PP. 373-381
DOI: 10.4236/jamp.2018.62035    402 Downloads   795 Views  

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.

1. Introduction

Suppose we are given differential equation of order m

Δ ( x , u ( m ) ) = 0 (1)

from n independent of x = ( x 1 , x 2 , , x n ) and q dependent variables u = ( u 1 , u 2 , , u q ) R q

Definition. A group G of transformation acting on an open subset M of the space of independent and dependent variables X × R q , is called the symmetry group of Equation (1) if for each solution u = f ( x ) of Equation (1) and for g G such that g f is defined, then the function u ˜ = g f is also a solution of the equation.

Remark. The transformation g takes the graph of a function u = f ( x ) to some set, which is the graph of some function. We denote this function by g f .

One of the advantages of knowing the symmetry group of differential equations is that if we know the solution u = f ( x ) then, in accordance with the definition, the function u ˜ = g f 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 u = f ( x ) , there is an induced function u m = p r m f ( x ) , called the m-extension of f ( x ) , equation of the form u j α = j f α ( x ) , where j f α ( x ) is the derivative of order α of the function u = f ( x ) . Now we can replace the differential equation Δ ( x , u ( m ) ) = 0 by an algebraic equation that is defined by the vanishing of the function, which is the right-hand side of the equation Δ ( x , u ( m ) ) = 0 defined on X × U m . A smooth solution of the differential equation Δ ( x , u ( m ) ) = 0 is a smooth function u = f ( x ) and its derivatives u j α = j f α must satisfy the algebraic equation

F ( x , t , p r ( m ) u ( x ) ) = 0 (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, V ( M ) -the set of all smooth vector fields on the manifold M. For a vector field X, let t X t ( x ) denote the integral curve of a vector field X, passing through a point x M at t = 0 . The map t X t ( x ) is defined in some domain I ( x ) , 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 X t ( x ) we assume that t I ( x ) . Family G = { X t : t I ( x ) } forms a one-parameter group of transformations of the manifold M . 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 V ( M ) 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 V ( M ) , 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 k ( u ) 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 k ( u ) , 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

u t = ( k ( u ) u x ) x (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 k ( u ) = u :

u t = ( u u x ) x (4)

The vector field X, which is an infinitesimal generator for the symmetry group of Equation (4) we will seek in the form

X = τ t + ξ x + φ u (5)

The second prolongation X ˜ of the vector field X to the extended space of the variables ( t , x , u , u t , u x , u x x ) will have the form:

X ˜ = X + φ t u t + φ x u x + φ x x u x x (6)

Let G a group of transformations acting on a manifold M. A function F : M N where N is a some manifold, is called a G-invariant function if for all x M and all g G , x M such that g ( x ) is defined F ( x ) = F ( g ( x ) ) . A real-valued G-invariant function F : M R is simply called a invariant of G. Note that F : M R m is G-invariant if and only if each component F I of F = [ F 1 , , F m ] is an invariant of G. If F : M R m 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, x : F ( x ) = 0 , 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 F : M R m is smooth function, then F is a G-invariant function if and only if every level set F ( x ) = c , c R m , 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 X ˜ ( F ) = 0 for every infinitesimal generator X ˜ of group G.

We will use this theorem-1 for finding of symmetry group of Equation (3). In the space ( t , x , u , u t , u x , u x x ) , Equation (4) has the form:

F ( t , x , u , u t , u x , u x x ) = 0 , (7)

where F = u t u x 2 u u x x . Taking into account that X ˜ ( F ) = 0 we get

u x x φ + φ t 2 u x φ x u φ x x = 0 (8)

For the components of the second prolongation X ˜ of a vector field X, we use their expressions found in [5] :

φ x = φ x + ( φ u ξ x ) u x τ x u t ξ u u x 2 τ u u x u t ,

φ t = φ t ξ t u x + ( φ u τ t ) u t ξ u u x u t τ u u t 2 ,

φ x x = φ x x + ( 2 φ x u ξ x x ) u x τ x x u t + ( φ u u 3 ξ x u ) u x 2 2 τ x u u x u t ξ u u u x 3 τ u u u x 2 u t + ( ϕ u 2 ξ x ) u x x 2 τ x u x t 3 ξ u u u u x x τ u u x u x x 2 τ u u x u x t

Substituting these expressions into (8) and taking into account

u t = u u x x x + u x 2 (9)

We obtain a polynomial on the left-hand side of Equation (8) with respect to the variables u , u x , u x x , u x t :

u x x φ + φ t ξ t u x + ( φ u τ t ) ( u x 2 + u u x x ) ξ u u x ( u x 2 + u u x x ) τ u u t 2 2 u x [ φ x + ( φ u ξ x ) u x τ x ( u x 2 + u u x x ) ξ u u x 2 τ u u x ( u x 2 + u u x x ) ] u [ ϕ x x + ( 2 ϕ x u ξ x x ) u x τ x x ( u x 2 + u u x x ) + ( φ u u 2 ξ x x ) u x 2 2 τ x u u x ( u x 2 + 4 u x x ) ξ u u x 3 τ u u u x 2 ( u x 2 + u u x x ) + ( φ u 2 ξ x ) u x x 2 τ x u x t 3 ξ u u x u x x 2 τ u u x u x t ] = 0

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 φ = 0 holds. From Equations (11) and (12) we obtain that τ x = 0 , τ u = 0 ; the function τ depends only on t , τ = τ ( t ) . From Equation (10) we obtain that ξ u = 0 . From the Equations (9) we obtain that τ t = 2 ξ x . From Equation (3) we get that the function ξ does not depend on the variable t , that is ξ t = 0 . Therefore, ξ = ξ ( x ) . Equation (6) shows that ξ x x = 0 i.e. ξ is a linear function of x : ξ = a x + b . Since τ t = 2 ξ x takes place, we obtain that τ t = 2 a i.e. τ = τ ( t ) = 2 a t + d .

Thus we have

X = ( a x + b ) x + ( 2 a t + d ) t ,

where a , b , d -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

X 1 = t , X 2 = x , X 3 = 2 t t + x x .

It can be verified that for the Lie brackets of these vector fields it holds equalities

[ X 1 , X 2 ] = 0 , [ X 1 , X 2 ] = 2 t , [ X 2 , X 3 ] = x .

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 ξ = a x + b , τ = τ ( t ) = 2 a t + d , φ = 0 for the components of the second prolongation X ˜ of a vector field X, we have got following expressions:

φ x = a u x , φ t = 2 a u t , φ x x = 2 a u x x .

Consequently, for the second prolongation X ˜ of the vector field X to the extended space of the variables ( t , x , u , u t , u x , u x x ) we obtain the following expression

X ˜ = ( a x + b ) x + ( 2 a t + d ) t 2 a u t u x a u x u x 2 a u x x u x x (10)

Now we rewrite Equation (3) in following form

u t k ( u ) u x x k u x 2 = 0

and let us consider the function F : M R , where M-space of variables ( t , x , u , u t , u x , u x x ) , F ( t , x , u , u t , u x , u x x ) = u t k ( u ) u x x k u x 2 .

Now we can check that

X ˜ ( F ) = 2 a ( u t k ( u ) u x x k u x 2 ) = 0 .

By the theorem-1 above we can state that for every function k ( u ) 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

X 1 = t , X 2 = x , X 3 = 2 t t + x x .

For the Equation (3) of greatest interest is the case when the coefficient of the thermal conductivity k ( u ) 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 k = u α , where σ > 0 .

We consider case k = u α , where σ > 0 .

The group of transformations generated by the vector field X 1 = t , consists of time translations ( t , x , u ) ( t + s , x , u ) . The group of transformations generated by the vector field X 2 = x , consists of parallel translations of x:

( t , x , u ) ( t , x + s , u )

The group of transformations generated by the vector field X 3 = 2 t t + x x , consists of transformations of the form:

( t , x , u ) ( e 2 S t , e S x , u )

Therefore, if u = u ( t , x ) is a solution of the equation, then the functions

v = u ( t s , x ) , v = u ( t , x s ) , v = u ( e 2 S t , e S x )

are also solutions of Equation (4).

Consider the vector field (the case a = 0 )

X = d t + b x

This vector field generates a transformation of the form

( t , x , u ) ( t + d s , x + b s , u )

The function F ( t , x ) = b t d x is an invariant of these transformations, since X ( F ) = 0 . Therefore, if ξ = b t d x , b = d 2 , u ( t , x ) = v ( ξ ) , then function u ( t , x ) = v ( ξ ) is a solution of Equation (3), where the function v ( ξ ) is a solution of the following ordinary differential equation

v σ v + σ v σ 1 v 2 v = 0 (11)

In this equation, introducing a new function z ( v ) = v , we obtain the following first-order equation for the function z

v σ z z + σ v σ 1 z 2 z = 0 (12)

If z 0 , we obtain the following equation

v σ z + σ v σ 1 z 1 = 0 (13)

From this equation we find z = c v σ , and v σ = σ ( ξ + const ) .

In the case σ = 1 we have v = ξ + const . The function v = ξ + const only one of solutions of the following ordinary differential equation

v v + v 2 v = 0 (14)

which corresponds to the case σ = 1 . Equation (14) have solutions which are not included into solutions (12). Now we find this solutions.

In this equation, introducing a new function z ( v ) = v , we obtain the following first-order equation for the function z

v z z + z 2 z = 0 (15)

If z 0 , we obtain the following equation

v z + z 1 = 0 (16)

The constant function z = 1 is a solution of this equation. In this case v = σ ( ξ + const ) , which is included into solutions of (12). If z 1 , then equation (16) is an equation in complete differentials. The general integral of this equation is the function

F ( z , v ) = v z v

If F ( z , v ) = v z v = с , then z = c v + 1 .

As a result, for the function v we obtain the following first-order differential equation

v = c + v v .

As a result of integration, we get that

v c ln ( v + c ) = ξ + c 1

where c , c 1 are arbitrary constants.

Let us consider case the case σ = 2 . In the case from (12) we obtain v 2 = 2 ξ + c , where c-integration constant. This function gives all solutions of following ordinary differential equation

v 2 v + 2 v v 2 v = 0 (17)

Consider infinitesimal generator (the case a 0 )

X = 2 a t t + a x x .

In this case, the function ξ = x t is an invariant of the group of transformations

generated by the this vector field since X ( ξ ) = 0 . In this case, the we will seek solution of (3) in the form:

u ( t , x ) = v (ξ)

where the function v ( ξ ) is a solution of equation

v σ v + σ v σ 1 v 2 + ξ 2 v = 0 . (18)

In the case σ = 1 the Equation (18) has the following form

v v + v 2 + ξ 2 v = 0 (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 v ( 0 ) = 0.1 , v ( 0 ) = 1 .

Figure 2. With the initial conditions v 0.5 , v ( 0 ) = 0.1 .

In the case σ = 2 the Equation (18) has the following form

v 2 v + 2 v v 2 + ξ 2 v = 0 (20)

for the function v ( ξ ) .

From this equation we can proceed to the system of differential equations of first order

v = ω , ω = 2 ω 2 v ξ ω 2 v 2 (21)

As the case σ = 1 again in the case σ = 2 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.

Conflicts of Interest

The authors declare no conflicts of interest.

Cite this paper

Abdigapparovich, N. (2018) Lie Algebra of Infinitesimal Generators of the Symmetry Group of the Heat Equation. Journal of Applied Mathematics and Physics, 6, 373-381. doi: 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)

  
comments powered by Disqus

Copyright © 2019 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.