arxiv: v1 [math.ap] 25 Aug 2009

Transcription

1 Lie group analysis of Poisson s equation and optimal system of subalgebras for Lie algebra of 3 dimensional rigid motions arxiv: v1 [math.ap] 25 Aug 2009 Abstract M. Nadjafikhah a, a School of Mathematics, Iran University of Science and Technology, Narmak-16, Tehran, I.R.IRAN. Using the basic Lie symmetry method, we find the most general Lie point symmetries group of the u = f(u) Poisson s equation, which has a subalgebra isomorphic to the 3 dimensional special Euclidean group SE(3) or group of rigid motions of R 3. Looking the adjoint representation of SE(3) on its Lie algebra se(3), we will find the complete optimal system of its subalgebras. This latter provides some properties of solutions for the Poisson s equation. Key words: Lie-point symmetries, similarity solution, adjoint representation, optimal system for Lie subalgebras. 1 Introduction The Poisson s equation is u = f(u), where = 2 / x / y / z 2, f : R R is a given smooth function, Ω is an open subset of R 3 and u : Ω R is an unknown smooth function [2]. This is a stationary heat equation with a nonlinear source (5.4.1 of [6]). In this paper, using the basic Lie symmetry method, we find the most general Lie point symmetries group of the Poisson s equation, which has a subalgebra isomorphic to 3 dimensional special Euclidean group SE(3). Looking the adjoint representation of SE(3) on its Lie algebra se(3), we will find the complete classification of its subalgebras up to conjugacy. This latter provide a process for building new solutions for the Poisson s equation. Inspired by Galois theory of, Sophus Lie developed an analogous theory of symmetry for differential equations. Lie s theory led to an algorithmic way to find special explicit solutions to differential equations with symmetry. These special solutions are called group invariant solutions and they constitute practically every known explicit solution to the systems of non-linear partial differential equations arising in mathematical physics, differential geometry and other areas. (1) These group-invariant solutions are found by solving a reduced system of differential equations involving fewer independent variables than the original system. For example, the solutions to a partial differential equation in two independent variables which are invariant under a given one-parameter symmetry group are all found by solving a system of ordinary differential equations. Today the search for group invariant solutions is still a common approach to explicitly solving non-linear partial differential equations. A good modern introduction to the use of similarity methods in engineering applications is the book [7]. An excellent introductory reference to Lie s theory of group invariant solutions is [4]. Corresponding author: Tel Fax address: m nadjafikhah@iust.ac.ir (M. Nadjafikhah ). Preprint submitted to Automatica 28 October 2018

2 2 Lie point symmetries In this section, we find the Lie point symmetries of Poisson s equation, using the basic prolongation method and the infinitesimal criterion of invariance as [4]. Consider the one parameter Lie group of infinitesimal transformations on (x 1 = x,x 2 = y,x 3 = z,u) given by x i = x i +sξ 1 (x 1,x 2,x 3,u)+O(s 2 ), ũ = u+sϕ(x 1,x 2,x 3,u)+O(s 2 ), i = 1,2,3, (2) where s is the group parameter and ξ i, i = 1,2,3 and ϕ are the infinitesimals of the transformations for the independent and dependent variables, respectively. The associated vector field is v = 3 i=1 ξ i xi + ϕ u, and its second prolongation is with Pro (2) v = v+ϕ x ux +ϕ y uy +ϕ z uz +ϕ xx uxx +ϕ xy uxy +ϕ xz uxz +ϕ yy uyy +ϕ yz uyz +ϕ zz uzz, (3) ϕ x = u x ( x +u x u )ξ 1 u y ( x +u x u )ξ 2 u z ( x +u x u )ξ 3 +( x +u x u )ϕ,. (4) ϕ zz = (2u xz z +(u x u zz +2u z u xz ) u u x zz 2u x u z zu u x u 2 z uu )ξ 1 (2u yz z +u y u zz +2u z u yz ) u +u y zz +2u y u z zu +u y u 2 z uu)ξ 2 (2u zz z +3u zz u z u +u z zz +2u 2 z zu +u 3 z uu )ξ 3 +(u zz u + zz +2u z zu +u 2 z uu )ϕ. The vector field v generates a one parameter symmetry group of Poisson s equation if and only if Pro (2) v( u f(u)) = 0 whenever u = f(u). (5) This condition is equivalent to the set of defining equations: u ξ 1 = 0, u ξ 2 = 0, u ξ 3 = 0, uu ϕ = 0, x ξ 1 = z ξ 3, x ξ 2 + y ξ 1 = 0, x ξ 3 + z ξ 1 = 0, y ξ 3 + z ξ 2 = 0, z ξ 3 = y ξ 2, zz ξ 2 + yy ξ 2 + xx ξ 2 = 2 yu ϕ, zz ξ 3 + yy ξ 3 + xx ξ 3 = 2 zu ϕ, xx ξ 1 + zz ξ 1 + yy ξ 1 = 2 xu ϕ, ϕ = 2F(u). z ξ 3 +F (u).ϕ. (6) By solving this system of PDEs, we find that Theorem The Lie group g f of point symmetries of Poisson s equation (1) is an infinite dimensional Lie algebra generated by the vector fields X = ξ 1 x +ξ 2 y +ξ 3 z +ϕ u, where with ξ 1 =a 7 (x 2 y 2 z 2 )+2(a 5 y +a 1 z)x+a 6 x+a 8 y a 4 z +a 9, ξ 2 =a 5 (y 2 z 2 x 2 )+2(a 7 x+a 1 z)y a 8 x+a 6 y +a 2 z +a 10, ϕ = F 1 (x,y,z).u+f 2 (x,y,z), (7) ξ 3 =a 1 (z 2 x 2 y 2 )+2(a 7 x+a 5 y)z +a 4 x a 2 y +a 6 z +a 3, F 1 = a 11 (a 7 x+a 5 y +a 1 z), F 2 = ( 5F 1 2a 6 4a 11 ).f(u) ( uf1 +F 2 ).f (u), (8) and a i, i = 1,,11 are arbitrary constants. 2

3 Table 1 Commutation table of g f. X 1 X 2 X 3 X 4 X 5 X 6 X X 3 X 2 X X 3 0 X 1 X X 2 X 1 0 X 4 0 X 3 X 2 0 X 6 X 5 X 5 X 3 0 X 1 X 6 0 X 4 X 6 X 2 X 1 0 X 5 X Conclusion The Lie group g f of point symmetries of Poisson s equation (1) has a 6 dimensional Lie subalgebra generated by the following vector fields: X 1 = x, X 2 = y, X 3 = z, X 4 = y z z y, X 5 = z x x z, X 6 = x y y x. (9) The commutator table of g f is given in Table 1, where the entry in the i th row and j th column is defined as [X i,x j ] = X i.x j X j.x i, i,j = 1,,8. An isometry (or rigid motion) of Euclidean space R 3 is a mapping R 3 R 3 which preserves the Euclidean distance between points. For every isometry F, there exist a unique transformation T Trans(3) = R 3 and a unique orthogonal transformation C O(3) such that F = C T. Trans(3) is a normal subgroup of E(3), and E(3) = R 3 O(3). E(3) has a natural 6 dimensional Lie group structure. The connected component containing I 3 is special Euclidean group SE(3), consists of all orientation preserving isometries, and is a connected 6 dimensional Lie group. Furthermore, the Lie algebra se(3) of 3 dimensional special Euclidean group is spanned by the following 6 vector fields (9) Remark The g f Lie group of point symmetries of Poisson s equation u = f(u) may be changed, for special choices of f; for example, if f = 0, that is for u = 0 Laplace equation, g f is spanned by X i, i = 1,,6, u, x + y + z, xz x +yz y +(z 2 x 2 y 2 ) z +zu u, (x 2 y 2 z 2 ) x +xy y +xz z +xu u, xy x +(x 2 +y 2 + z 2 ) y +yz z +yu u, and so on. 3 Optimal system of subalgebras Let a system of differential equation admitting the symmetry Lie group G,be given. Now G operates on the set of solutions S of. Let s G be the orbit of s, and H be a subgroup of G. InvariantH solutions s S are characterized by equality s S = {s}. If h G is a transformation and s S,then h (s H) = (h s) (hhh 1 ). Consequently,every invariant H solution s transforms into an invariant hhh 1 solution (Proposition 3.6 of [4]). Therefore, different invariant solutions are found from similar subgroups of G. Thus,classification of invariant H solutions is reduced to the problem of classification of subgroups of G,up to similarity. An optimal system of s dimensional subgroups of G is a list of conjugacy inequivalent s dimensional subgroups of G with the property that any other subgroup is conjugate to precisely one subgroup in the list. Similarly, a list of s dimensional subalgebras forms an optimal system if every s dimensional subalgebra of g is equivalent to a unique member of the list under some element of the adjoint representation: h = Ad(g) h. Let H and H be connected, s dimensional Lie subgroups of the Lie group G with corresponding Lie subalgebras h and h of the Lie algebra g of G. Then H = ghg 1 are conjugate subgroups if and only h = Ad(g) h are conjugate subalgebras (Proposition 3.7 of [4]). Thus,the problem of finding an optimal system of subgroups is equivalent to that of finding an optimal system of subalgebras, and so we concentrate on it. For one-dimensional subalgebras,the classification problem is essentially the same as the problem of classifying the orbits of the adjoint representation,since each one-dimensional subalgebra is determined by a nonzero vector in se(3) and so to simplify it as much as possible. 3

4 The adjoint action is given by the Lie series Ad(exp(s.X i ).X j ) = X j s.[x i,x j ]+ s2 2.[X i,[x i,x j ]], (10) where [X i,x j ] is the commutator for the Lie algebra, s is a parameter, and i,j = 1,,6 ([4],page 199). We can write the adjoint action for the Lie algebra se(3), and show that Theorem A one-dimensional optimal system of se(3) is given by A 1 1 : X 6, A 2 1 : X 1 +bx 4, A 3 1 : X 2 +bx 5, A 4 1 : X 3 +bx 6, A 5 1 : X 1 +ax 2 +bx 6, A 6 1 : X 1 +ax 3 +bx 4, A 7 1 : X 2 +ax 3 +bx 5, (11) where a,b R and a 0. Proof: Fi s : se(3) se(3) defined by X Ad(exp(s i X i ).X) is a linear map,for i = 1,,6. The matrix Mi s of F s i = 1,,6,with respect to basis {X 1,,X 6 } is M1 s =, M2 s =, M3 s =, s s s s s s C 0 S C S C S S C M4 s = 0 S C 0 0 0, M5 s = S 0 C 0 0 0, M6 s C 0 S = C S C S S C S C S 0 C respectively,where S = sins and C = coss. Let X = 6 i=1 a ix i,then F s6 6 Fs1 1 : X (coss 5.coss 6.a 1 +coss 5.sins 6.a 2 sins 5.a 3 ).X 1 + (13) Now,we can simply X as follows: If a 1, a 2 and a 3 = 0,then we can make the coefficients of X 1,,X 5 vanish,by s 4 = arctan(a 5 /a 6 ) and s 5 = arctan(a 4 /a 6 ). Scaling X if necessary,we can assume that a 6 = 1. And X is reduced to the Case of A 1 1. If a 2 and a 3 = 0 but a 1 0,then we can make the coefficients of X 2, X 3, X 5 and X 6 vanish,by s 2 = a 6 /a 1 and s 3 = a 5 /a 1. Scaling X if necessary,we can assume that a 1 = 1. And X is reduced to the Case of A 2 1. If a 1 and a 3 = 0 but a 2 0,then we can make the coefficients of X 1, X 2, X 3, and X 6 vanish,by s 1 = a 6 /a 2 and s 3 = a 4 /a 2. Scaling X if necessary,we can assume that a 3 = 1. And X is reduced to the Case of A 3 1. If a 1 and a 2 = 0 but a 3 0,then we can make the coefficients of X 1, X 2, X 4 and X 5 vanish,by s 1 = a 5 /a 3 and s 2 = a 4 /a 3. Scaling X if necessary,we can assume that a 3 = 1. And X is reduced to the Case of A 4 1. i, (12) 4

5 If a 1 and a 2 0,then we can make the coefficients of X 3, X 4 and X 5 vanish,by s 1 = a 6 /a 2, s 3 = a 5 /a 1 and s 4 = arctan(a 3 /a 2 ). Scaling X if necessary,we can assume that a 1 = 1. And X is reduced to the Case of A 5 1. If a 2 = 0 but a 1 and a 3 0,then we can make the coefficients of X 2, X 5 and X 6 vanish,by s 1 = a 5 /a 3, s 2 = a 6 /a 1 and s 4 = arctan(a 3 /a 2 ). Scaling X if necessary,we can assume that a 1 = 1. And X is reduced to the Case of A 6 1. If a 1 = 0 but a 2 and a 3 0,then we can make the coefficients of X 3, X 4 and X 5 vanish,by s 1 = a 6 /a 2, and s 2 = a 4 /a 3. Scaling X if necessary,we can assume that a 2 = 1. And X is reduced to the Case of A Theorem A two-dimensional optimal system of se(3) is given by A 1 2 : X 2,X 5, A 2 2 : X 3,X 6, A 3 2 : X 1,X 2 +ax 4, A 4 2 : X 1,X 3 +ax 4, A 5 2 : X 2,X 3 +ax 5, A 6 2 : X 3,X 1 +ax 4, (14) where a R. All of these sub-algebras are Abelian. Proof: In this proof,we shall assume that g = Span R {X,Y} is a 2-dimensional Lie sub-algebra of se(3). Let X = X 6 be as the Case of A 1 1, Y = 6 i=1 b ix i, and [X,Y] = αx +βy. Then,we have Y = b 3 X 3 +b 6 X 6 and α = β = 0. By a suitable change of base of g,we can assume that Y = X 3. Now g is reduced to the Case of A 2 2. We can not be used to further simplify this sub-algebra,by F si i, i = 1,,6 defined as (12). Let X = X 1 +a 6 X 6 be as the Case of A 2 1, Y = 6 i=1 b ix i, and [X,Y] = αx+βy. Then,we have Y = b 3 X 3 +b 1 X and α = β = 0. By a suitable change of base of g,we can assume that Y = X 3. Now g is reduced to the Case of A 6 2. We can not be used to further simplify this sub-algebra,by F si i, i = 1,,6. Let X = X 2 +a 5 X 5 be as the Case of A 3 1, Y = 6 i=1 b ix i, and [X,Y] = αx+βy. Then,we have Y = b 2 X 2 +b 5 X 5 and α = β = 0. By a suitable change of base of g,we can assume that X = X 2 and Y = X 5. Now, g is reduced to the Case of A 1 2. We can not be used to further simplify this sub-algebra,by Fsi i, i = 1,,6. Let X = X 3 +a 6 X 6 be as the Case of A 4 1, Y = 6 i=1 b ix i, and [X,Y] = αx+βy. Then,we have Y = b 3 X 3 +b 6 X 6 and α = β = 0. By a suitable change of base of g,we can assume that X = X 6 and Y = X 3. Now, g is reduced to the Case of A 2 2. Let X = X 1 + a 2 X 2 + a 4 X 4 be as the Case of A 5 1, Y = 6 i=1 b ix i, and [X,Y] = αx + βy. Then,we have Y = b 1 X 1 + (b 2 /a 2 )X and α = β = 0. By a suitable change of base of g,we can assume that X = X 1 and Y = X 2 + ax 4. Now, g is reduced to the Case of A 3 2. We can not be used to further simplify this sub-algebra,by F si i, i = 1,,6. Let X = X 2 + a 3 X 3 + a 4 X 4 be as the Case of A 6 1, Y = 6 i=1 b ix i, and [X,Y] = αx + βy. Then,we have Y = b 1 X 1 + (b 3 /a 3 )X and α = β = 0. By a suitable change of base of g,we can assume that X = X 1 and Y = X 3 + ax 4. Now, g is reduced to the Case of A 4 2. We can not be used to further simplify this sub-algebra,by F si i, i = 1,,6. Let X = X 2 + a 3 X 3 + a 5 X 5 be as the Case of A 7 1, Y = 6 i=1 b ix i, and [X,Y] = αx + βy. Then,we have Y = b 2 X 2 + (b 3 /a 3 )X and α = β = 0. By a suitable change of base of g,we can assume that X = X 2 and Y = X 3 + ax 5. Now, g is reduced to the Case of A 5 2. We can not be used to further simplify this sub-algebra,by F si i, i = 1,,6. And,we have proved the Theorem Theorem A three-dimensional optimal system of se(3) is given by A 3 : X 1 +ax 4,X 2,X 3, where a R. The commutator table of A 3 is Table 2. 5

6 Table 2 Commutation table of A 3. X Y Z X 0 a 0 Y a 0 0 Z Table 3 Commutation table of A 4. X 1 X 2 X 3 X 4 X X X 3 X X 2 X 4 0 X 3 X 2 0 Proof: In this proof,we assume that g = Span R {X,Y,Z} is a 3-dimensional Lie sub-algebra of se(3). Let X = X 2 and Y = X 5 are as the Case of A 1 2, Z = 6 i=1 b ix i, [X,Z] = α 1 X + β 2 Y + β 3 Z and [X,Z] = β 1 X +β 2 Y +β 3 Z. Then,we have Z = b 2 X +b 5 Y. By a suitable change of base of g,we can assume that Z = 0, and g is not a 3 dimensional sub-algebra. Thus,in this case we have not any 3 dimensional sub-algebra. The Cases A i 2, i = 2,3,4,5 are similar. Thus,in these cases we have not any 3 dimensional sub-algebra. Let X = X 3 and Y = X 1 + ax 4 are as the Case of A 6 2, Z = 6 i=1 b ix i, [X,Z] = α 1 X + β 2 Y + β 3 Z and [X,Z] = β 1 X +β 2 Y +β 3 Z. Then,we have Z = (b 1 /α 3 ). ( ) β 3 X +α 3 Y ax 2. By a suitable change of base of g,we can assume that X = X 1 +ax 4, Y = X 2 and Z = X 3. Now, g is reduced to the Case of A 3. We can not be used to further simplify this sub-algebra,by F si i, i = 1,,6 defined as (12) Theorem A four-dimensional optimal system of se(3) is given by A 4 : X 1,X 2,X 3,X 4. The commutator table of A 4 is Table 3. Proof: Assume that g = Span R {X 1 +ax 4,X 2,X 3,X} be a Lie sub-algebra of se(3),where X = 6 i=1 b ix i. Then,we have X = 4 i=1 b ix i. By a suitable change of base of g,we can assume that X = X 4. Now, g is reduced to the Case of A 4. We can not be used to further simplify this sub-algebra,by F si i, i = 1,,6 defined as (12) Theorem se(3) has not any five-dimensional Lie sub-algebra. Proof: Assume that g = Span R {X 1,X 2,X 3,X 4,X} be a Lie sub-algebra of se(3),where X = 6 i=1 b ix i. Then,we have X = 4 i=1 b ix i, and g = Span R {X 1,X 2,X 3,X 4 } is not a 5 dimensional sub-algebra. 4 Invariant solutions To obtain the group transformation which is generated by the infinitesimal generators X i = 3 j=1 ξi j + φi u for i = 1,6, we need to solve the 6 systems of first order ordinary differential equations, x j (s) = ξi j ( x 1(s), x 2 (s), x 3 (s),ũ(s)), x j (0) = x j, ũ (s) = φ i ( x 1 (s), x 2 (s), x 3 (s),ũ(s)), ũ(0) = u. i = 1,,6 j = 1,2,3 (15) Exponentiating the infinitesimal symmetries of the Poisson s equation (1), we get the one parameter groups g k (s) generated by X k for k = 1,,6; and consequently, we have 6

7 Theorem If u = h(x,y,z) is a solution of the Poisson s equation (1), so are the functions g 1 (s) h(x,y,z) = h(x+s,y,z), g 2 (s) h(x,y,z) = h(x,y +s,z), g 3 (s) h(x,y,z) = h(x,y,z +s), g 4 (s) h(x,y,z) = h(x,ycoss zsins,zcoss+ysins), g 5 (s) h(x,y,z) = h(xcoss+zsins,y,zcoss xsins), g 6 (s) h(x,y,z) = h(xcoss ysins,xsins+ycoss,z), (16) References [1] G.W. Bluman, J.D. Cole, Similarity Methods for Differential Equations, Springer, Berlin, [2] J. Jost, Partial differential equations, Springer, GTM 214, [3] M. Nadjafikhah, Lie Symmetries of Inviscid Burgers Equation, Adv. appl. Clifford alg., DOI /s [4] P.J. Olver, Applications of Lie Groups to Differential Equations, Springer, New York, [5] L.V. Ovsiannikov, Group Analysis of Differential Equations, Academic Press, New York, [6] A.D. Polyanin, and V.F. Zaitsev, Handbook of Nonlinear Partial Differential Equations, Chapman & Hall/CRC, Boca Raton, [7] R. Seshadri and T.Y. Na, Group Invariance in Engineering Boundary Value Problems, Springer-Verlag, New York, [8] T.R. Sekhar,V.D. Sharma, Similarity solutions for three dimensional Euler equations using Lie group analysis, Appl. Math. and Comp. 196 (2008)

8 Lie group analysis of Poisson s equation and optimal system of subalgebras for Lie algebra of 3 dimensional rigid motions arxiv: v1 [math.ap] 25 Aug 2009 Abstract M. Nadjafikhah a, a School of Mathematics, Iran University of Science and Technology, Narmak, Tehran, Iran. Using the basic Lie symmetry method, we find the most general Lie point symmetries group of the u = f(u) Poisson s equation, which has a subalgebra isomorphic to the 3 dimensional special Euclidean group SE(3) or group of rigid motions of R 3. Looking the adjoint representation of SE(3) on its Lie algebra se(3), we will find the complete optimal system of its subalgebras. This latter provides some properties of solutions for the Poisson s equation. Key words: Lie-point symmetries, similarity solution, adjoint representation, optimal system for Lie subalgebras. 1 Introduction The Poisson s equation is u = f(u), where = 2 / x / y / z 2, f : R R is a given smooth function, Ω is an open subset of R 3 and u : Ω R is an unknown smooth function [2]. This is a stationary heat equation with a nonlinear source (5.4.1 of [6]). In this paper, using the basic Lie symmetry method, we find the most general Lie point symmetries group of the Poisson s equation, which has a subalgebra isomorphic to 3 dimensional special Euclidean group SE(3). Looking the adjoint representation of SE(3) on its Lie algebra se(3), we will find the complete classification of its subalgebras up to conjugacy. This latter provide a process for building new solutions for the Poisson s equation. Inspired by Galois theory of, Sophus Lie developed an analogous theory of symmetry for differential equations. Lie s theory led to an algorithmic way to find special explicit solutions to differential equations with symmetry. These special solutions are called group invariant solutions and they constitute practically every known explicit solution to the systems of non-linear partial differential equations arising in mathematical physics, differential geometry and other areas. (1) These group-invariant solutions are found by solving a reduced system of differential equations involving fewer independent variables than the original system. For example, the solutions to a partial differential equation in two independent variables which are invariant under a given one-parameter symmetry group are all found by solving a system of ordinary differential equations. Today the search for group invariant solutions is still a common approach to explicitly solving non-linear partial differential equations. A good modern introduction to the use of similarity methods in engineering applications is the book [7]. An excellent introductory reference to Lie s theory of group invariant solutions is [4]. Corresponding author: Tel Fax address: m nadjafikhah@iust.ac.ir (M. Nadjafikhah ). Preprint submitted to Automatica 28 October 2018

9 2 Lie point symmetries In this section, we find the Lie point symmetries of Poisson s equation, using the basic prolongation method and the infinitesimal criterion of invariance as [4]. Consider the one parameter Lie group of infinitesimal transformations on (x 1 = x,x 2 = y,x 3 = z,u) given by x i = x i +sξ 1 (x 1,x 2,x 3,u)+O(s 2 ), ũ = u+sϕ(x 1,x 2,x 3,u)+O(s 2 ), i = 1,2,3, (2) where s is the group parameter and ξ i, i = 1,2,3 and ϕ are the infinitesimals of the transformations for the independent and dependent variables, respectively. The associated vector field is v = 3 i=1 ξ i xi + ϕ u, and its second prolongation is with Pro (2) v = v+ϕ x ux +ϕ y uy +ϕ z uz +ϕ xx uxx +ϕ xy uxy +ϕ xz uxz +ϕ yy uyy +ϕ yz uyz +ϕ zz uzz, (3) ϕ x = u x ( x +u x u )ξ 1 u y ( x +u x u )ξ 2 u z ( x +u x u )ξ 3 +( x +u x u )ϕ,. (4) ϕ zz = (2u xz z +(u x u zz +2u z u xz ) u u x zz 2u x u z zu u x u 2 z uu )ξ 1 (2u yz z +u y u zz +2u z u yz ) u +u y zz +2u y u z zu +u y u 2 z uu)ξ 2 (2u zz z +3u zz u z u +u z zz +2u 2 z zu +u 3 z uu )ξ 3 +(u zz u + zz +2u z zu +u 2 z uu )ϕ. The vector field v generates a one parameter symmetry group of Poisson s equation if and only if Pro (2) v( u f(u)) = 0 whenever u = f(u). (5) This condition is equivalent to the set of defining equations: u ξ 1 = 0, u ξ 2 = 0, u ξ 3 = 0, uu ϕ = 0, x ξ 1 = z ξ 3, x ξ 2 + y ξ 1 = 0, x ξ 3 + z ξ 1 = 0, y ξ 3 + z ξ 2 = 0, z ξ 3 = y ξ 2, zz ξ 2 + yy ξ 2 + xx ξ 2 = 2 yu ϕ, zz ξ 3 + yy ξ 3 + xx ξ 3 = 2 zu ϕ, xx ξ 1 + zz ξ 1 + yy ξ 1 = 2 xu ϕ, ϕ = 2F(u). z ξ 3 +F (u).ϕ. (6) By solving this system of PDEs, we find that Theorem The Lie group g f of point symmetries of Poisson s equation (1) is an infinite dimensional Lie algebra generated by the vector fields X = ξ 1 x +ξ 2 y +ξ 3 z +ϕ u, where with ξ 1 =a 7 (x 2 y 2 z 2 )+2(a 5 y +a 1 z)x+a 6 x+a 8 y a 4 z +a 9, ξ 2 =a 5 (y 2 z 2 x 2 )+2(a 7 x+a 1 z)y a 8 x+a 6 y +a 2 z +a 10, ϕ = F 1 (x,y,z).u+f 2 (x,y,z), (7) ξ 3 =a 1 (z 2 x 2 y 2 )+2(a 7 x+a 5 y)z +a 4 x a 2 y +a 6 z +a 3, F 1 = a 11 (a 7 x+a 5 y +a 1 z), F 2 = ( 5F 1 2a 6 4a 11 ).f(u) ( uf1 +F 2 ).f (u), (8) and a i, i = 1,,11 are arbitrary constants. 2

10 Table 1 Commutation table of g f. X 1 X 2 X 3 X 4 X 5 X 6 X X 3 X 2 X X 3 0 X 1 X X 2 X 1 0 X 4 0 X 3 X 2 0 X 6 X 5 X 5 X 3 0 X 1 X 6 0 X 4 X 6 X 2 X 1 0 X 5 X Conclusion The Lie group g f of point symmetries of Poisson s equation (1) has a 6 dimensional Lie subalgebra generated by the following vector fields: X 1 = x, X 2 = y, X 3 = z, X 4 = y z z y, X 5 = z x x z, X 6 = x y y x. (9) The commutator table of g f is given in Table 1, where the entry in the i th row and j th column is defined as [X i,x j ] = X i.x j X j.x i, i,j = 1,,8. An isometry (or rigid motion) of Euclidean space R 3 is a mapping R 3 R 3 which preserves the Euclidean distance between points. For every isometry F, there exist a unique transformation T Trans(3) = R 3 and a unique orthogonal transformation C O(3) such that F = C T. Trans(3) is a normal subgroup of E(3), and E(3) = R 3 O(3). E(3) has a natural 6 dimensional Lie group structure. The connected component containing I 3 is special Euclidean group SE(3), consists of all orientation preserving isometries, and is a connected 6 dimensional Lie group. Furthermore, the Lie algebra se(3) of 3 dimensional special Euclidean group is spanned by the following 6 vector fields (9) Remark The g f Lie group of point symmetries of Poisson s equation u = f(u) may be changed, for special choices of f; for example, if f = 0, that is for u = 0 Laplace equation, g f is spanned by X i, i = 1,,6, u, x + y + z, xz x +yz y +(z 2 x 2 y 2 ) z +zu u, (x 2 y 2 z 2 ) x +xy y +xz z +xu u, xy x +(x 2 +y 2 + z 2 ) y +yz z +yu u, and so on. 3 Optimal system of subalgebras Let a system of differential equation admitting the symmetry Lie group G,be given. Now G operates on the set of solutions S of. Let s G be the orbit of s, and H be a subgroup of G. InvariantH solutions s S are characterized by equality s S = {s}. If h G is a transformation and s S,then h (s H) = (h s) (hhh 1 ). Consequently,every invariant H solution s transforms into an invariant hhh 1 solution (Proposition 3.6 of [4]). Therefore, different invariant solutions are found from similar subgroups of G. Thus,classification of invariant H solutions is reduced to the problem of classification of subgroups of G,up to similarity. An optimal system of s dimensional subgroups of G is a list of conjugacy inequivalent s dimensional subgroups of G with the property that any other subgroup is conjugate to precisely one subgroup in the list. Similarly, a list of s dimensional subalgebras forms an optimal system if every s dimensional subalgebra of g is equivalent to a unique member of the list under some element of the adjoint representation: h = Ad(g) h. Let H and H be connected, s dimensional Lie subgroups of the Lie group G with corresponding Lie subalgebras h and h of the Lie algebra g of G. Then H = ghg 1 are conjugate subgroups if and only h = Ad(g) h are conjugate subalgebras (Proposition 3.7 of [4]). Thus,the problem of finding an optimal system of subgroups is equivalent to that of finding an optimal system of subalgebras, and so we concentrate on it. For one-dimensional subalgebras,the classification problem is essentially the same as the problem of classifying the orbits of the adjoint representation,since each one-dimensional subalgebra is determined by a nonzero vector in se(3) and so to simplify it as much as possible. 3

11 The adjoint action is given by the Lie series Ad(exp(s.X i ).X j ) = X j s.[x i,x j ]+ s2 2.[X i,[x i,x j ]], (10) where [X i,x j ] is the commutator for the Lie algebra, s is a parameter, and i,j = 1,,6 ([4],page 199). We can write the adjoint action for the Lie algebra se(3), and show that Theorem A one-dimensional optimal system of se(3) is given by A 1 1 : X 6, A 2 1 : X 1 +bx 4, A 3 1 : X 2 +bx 5, A 4 1 : X 3 +bx 6, A 5 1 : X 1 +ax 2 +bx 6, A 6 1 : X 1 +ax 3 +bx 4, A 7 1 : X 2 +ax 3 +bx 5, (11) where a,b R and a 0. Proof: Fi s : se(3) se(3) defined by X Ad(exp(s i X i ).X) is a linear map,for i = 1,,6. The matrix Mi s of F s i = 1,,6,with respect to basis {X 1,,X 6 } is M1 s =, M2 s =, M3 s =, s s s s s s C 0 S C S C S S C M4 s = 0 S C 0 0 0, M5 s = S 0 C 0 0 0, M6 s C 0 S = C S C S S C S C S 0 C respectively,where S = sins and C = coss. Let X = 6 i=1 a ix i,then F s6 6 Fs1 1 : X (coss 5.coss 6.a 1 +coss 5.sins 6.a 2 sins 5.a 3 ).X 1 + (13) Now,we can simply X as follows: If a 1, a 2 and a 3 = 0,then we can make the coefficients of X 1,,X 5 vanish,by s 4 = arctan(a 5 /a 6 ) and s 5 = arctan(a 4 /a 6 ). Scaling X if necessary,we can assume that a 6 = 1. And X is reduced to the Case of A 1 1. If a 2 and a 3 = 0 but a 1 0,then we can make the coefficients of X 2, X 3, X 5 and X 6 vanish,by s 2 = a 6 /a 1 and s 3 = a 5 /a 1. Scaling X if necessary,we can assume that a 1 = 1. And X is reduced to the Case of A 2 1. If a 1 and a 3 = 0 but a 2 0,then we can make the coefficients of X 1, X 2, X 3, and X 6 vanish,by s 1 = a 6 /a 2 and s 3 = a 4 /a 2. Scaling X if necessary,we can assume that a 3 = 1. And X is reduced to the Case of A 3 1. If a 1 and a 2 = 0 but a 3 0,then we can make the coefficients of X 1, X 2, X 4 and X 5 vanish,by s 1 = a 5 /a 3 and s 2 = a 4 /a 3. Scaling X if necessary,we can assume that a 3 = 1. And X is reduced to the Case of A 4 1. i, (12) 4

12 If a 1 and a 2 0,then we can make the coefficients of X 3, X 4 and X 5 vanish,by s 1 = a 6 /a 2, s 3 = a 5 /a 1 and s 4 = arctan(a 3 /a 2 ). Scaling X if necessary,we can assume that a 1 = 1. And X is reduced to the Case of A 5 1. If a 2 = 0 but a 1 and a 3 0,then we can make the coefficients of X 2, X 5 and X 6 vanish,by s 1 = a 5 /a 3, s 2 = a 6 /a 1 and s 4 = arctan(a 3 /a 2 ). Scaling X if necessary,we can assume that a 1 = 1. And X is reduced to the Case of A 6 1. If a 1 = 0 but a 2 and a 3 0,then we can make the coefficients of X 3, X 4 and X 5 vanish,by s 1 = a 6 /a 2, and s 2 = a 4 /a 3. Scaling X if necessary,we can assume that a 2 = 1. And X is reduced to the Case of A Theorem A two-dimensional optimal system of se(3) is given by A 1 2 : X 2,X 5, A 2 2 : X 3,X 6, A 3 2 : X 1,X 2 +ax 4, A 4 2 : X 1,X 3 +ax 4, A 5 2 : X 2,X 3 +ax 5, A 6 2 : X 3,X 1 +ax 4, (14) where a R. All of these sub-algebras are Abelian. Proof: In this proof,we shall assume that g = Span R {X,Y} is a 2-dimensional Lie sub-algebra of se(3). Let X = X 6 be as the Case of A 1 1, Y = 6 i=1 b ix i, and [X,Y] = αx +βy. Then,we have Y = b 3 X 3 +b 6 X 6 and α = β = 0. By a suitable change of base of g,we can assume that Y = X 3. Now g is reduced to the Case of A 2 2. We can not be used to further simplify this sub-algebra,by F si i, i = 1,,6 defined as (12). Let X = X 1 +a 6 X 6 be as the Case of A 2 1, Y = 6 i=1 b ix i, and [X,Y] = αx+βy. Then,we have Y = b 3 X 3 +b 1 X and α = β = 0. By a suitable change of base of g,we can assume that Y = X 3. Now g is reduced to the Case of A 6 2. We can not be used to further simplify this sub-algebra,by F si i, i = 1,,6. Let X = X 2 +a 5 X 5 be as the Case of A 3 1, Y = 6 i=1 b ix i, and [X,Y] = αx+βy. Then,we have Y = b 2 X 2 +b 5 X 5 and α = β = 0. By a suitable change of base of g,we can assume that X = X 2 and Y = X 5. Now, g is reduced to the Case of A 1 2. We can not be used to further simplify this sub-algebra,by Fsi i, i = 1,,6. Let X = X 3 +a 6 X 6 be as the Case of A 4 1, Y = 6 i=1 b ix i, and [X,Y] = αx+βy. Then,we have Y = b 3 X 3 +b 6 X 6 and α = β = 0. By a suitable change of base of g,we can assume that X = X 6 and Y = X 3. Now, g is reduced to the Case of A 2 2. Let X = X 1 + a 2 X 2 + a 4 X 4 be as the Case of A 5 1, Y = 6 i=1 b ix i, and [X,Y] = αx + βy. Then,we have Y = b 1 X 1 + (b 2 /a 2 )X and α = β = 0. By a suitable change of base of g,we can assume that X = X 1 and Y = X 2 + ax 4. Now, g is reduced to the Case of A 3 2. We can not be used to further simplify this sub-algebra,by F si i, i = 1,,6. Let X = X 2 + a 3 X 3 + a 4 X 4 be as the Case of A 6 1, Y = 6 i=1 b ix i, and [X,Y] = αx + βy. Then,we have Y = b 1 X 1 + (b 3 /a 3 )X and α = β = 0. By a suitable change of base of g,we can assume that X = X 1 and Y = X 3 + ax 4. Now, g is reduced to the Case of A 4 2. We can not be used to further simplify this sub-algebra,by F si i, i = 1,,6. Let X = X 2 + a 3 X 3 + a 5 X 5 be as the Case of A 7 1, Y = 6 i=1 b ix i, and [X,Y] = αx + βy. Then,we have Y = b 2 X 2 + (b 3 /a 3 )X and α = β = 0. By a suitable change of base of g,we can assume that X = X 2 and Y = X 3 + ax 5. Now, g is reduced to the Case of A 5 2. We can not be used to further simplify this sub-algebra,by F si i, i = 1,,6. And,we have proved the Theorem Theorem A three-dimensional optimal system of se(3) is given by A 3 : X 1 +ax 4,X 2,X 3, where a R. The commutator table of A 3 is Table 2. 5

13 Table 2 Commutation table of A 3. X Y Z X 0 a 0 Y a 0 0 Z Table 3 Commutation table of A 4. X 1 X 2 X 3 X 4 X X X 3 X X 2 X 4 0 X 3 X 2 0 Proof: In this proof,we assume that g = Span R {X,Y,Z} is a 3-dimensional Lie sub-algebra of se(3). Let X = X 2 and Y = X 5 are as the Case of A 1 2, Z = 6 i=1 b ix i, [X,Z] = α 1 X + β 2 Y + β 3 Z and [X,Z] = β 1 X +β 2 Y +β 3 Z. Then,we have Z = b 2 X +b 5 Y. By a suitable change of base of g,we can assume that Z = 0, and g is not a 3 dimensional sub-algebra. Thus,in this case we have not any 3 dimensional sub-algebra. The Cases A i 2, i = 2,3,4,5 are similar. Thus,in these cases we have not any 3 dimensional sub-algebra. Let X = X 3 and Y = X 1 + ax 4 are as the Case of A 6 2, Z = 6 i=1 b ix i, [X,Z] = α 1 X + β 2 Y + β 3 Z and [X,Z] = β 1 X +β 2 Y +β 3 Z. Then,we have Z = (b 1 /α 3 ). ( ) β 3 X +α 3 Y ax 2. By a suitable change of base of g,we can assume that X = X 1 +ax 4, Y = X 2 and Z = X 3. Now, g is reduced to the Case of A 3. We can not be used to further simplify this sub-algebra,by F si i, i = 1,,6 defined as (12) Theorem A four-dimensional optimal system of se(3) is given by A 4 : X 1,X 2,X 3,X 4. The commutator table of A 4 is Table 3. Proof: Assume that g = Span R {X 1 +ax 4,X 2,X 3,X} be a Lie sub-algebra of se(3),where X = 6 i=1 b ix i. Then,we have X = 4 i=1 b ix i. By a suitable change of base of g,we can assume that X = X 4. Now, g is reduced to the Case of A 4. We can not be used to further simplify this sub-algebra,by F si i, i = 1,,6 defined as (12) Theorem se(3) has not any five-dimensional Lie sub-algebra. Proof: Assume that g = Span R {X 1,X 2,X 3,X 4,X} be a Lie sub-algebra of se(3),where X = 6 i=1 b ix i. Then,we have X = 4 i=1 b ix i, and g = Span R {X 1,X 2,X 3,X 4 } is not a 5 dimensional sub-algebra. 4 Invariant solutions To obtain the group transformation which is generated by the infinitesimal generators X i = 3 j=1 ξi j + φi u for i = 1,6, we need to solve the 6 systems of first order ordinary differential equations, x j (s) = ξi j ( x 1(s), x 2 (s), x 3 (s),ũ(s)), x j (0) = x j, ũ (s) = φ i ( x 1 (s), x 2 (s), x 3 (s),ũ(s)), ũ(0) = u. i = 1,,6 j = 1,2,3 (15) Exponentiating the infinitesimal symmetries of the Poisson s equation (1), we get the one parameter groups g k (s) generated by X k for k = 1,,6; and consequently, we have 6

14 Theorem If u = h(x,y,z) is a solution of the Poisson s equation (1), so are the functions g 1 (s) h(x,y,z) = h(x+s,y,z), g 2 (s) h(x,y,z) = h(x,y +s,z), g 3 (s) h(x,y,z) = h(x,y,z +s), g 4 (s) h(x,y,z) = h(x,ycoss zsins,zcoss+ysins), g 5 (s) h(x,y,z) = h(xcoss+zsins,y,zcoss xsins), g 6 (s) h(x,y,z) = h(xcoss ysins,xsins+ycoss,z), (16) References [1] G.W. Bluman, J.D. Cole, Similarity Methods for Differential Equations, Springer, Berlin, [2] J. Jost, Partial differential equations, Springer, GTM 214, [3] M. Nadjafikhah, Lie Symmetries of Inviscid Burgers Equation, Adv. appl. Clifford alg., DOI /s [4] P.J. Olver, Applications of Lie Groups to Differential Equations, Springer, New York, [5] L.V. Ovsiannikov, Group Analysis of Differential Equations, Academic Press, New York, [6] A.D. Polyanin, and V.F. Zaitsev, Handbook of Nonlinear Partial Differential Equations, Chapman & Hall/CRC, Boca Raton, [7] R. Seshadri and T.Y. Na, Group Invariance in Engineering Boundary Value Problems, Springer-Verlag, New York, [8] T.R. Sekhar,V.D. Sharma, Similarity solutions for three dimensional Euler equations using Lie group analysis, Appl. Math. and Comp. 196 (2008)