Abstract

It is shown that the Lie algebra of Noether symmetries for the Lagrangian minimizing an -area enclosing a constant -volume in a Euclidean space is and in a space of constant curvature the Lie algebra is . Furthermore, if the space has one section of constant curvature of dimension , another of , and so on to and one of zero curvature of dimension , with (as some of the sections may have no symmetry), then the Lie algebra of Noether symmetries is .

1. Introduction

Symmetries of the Lagrangian and the corresponding Euler-Lagrange (EL) equations play an important role in the study of the differential equations (DEs). These symmetries can be used to reduce the order of the DEs or the number of variables in the case of partial differential equations (PDEs) and for the linearization of nonlinear DEs [13]. Symmetries that keep the action integral invariant (called Noether symmetries) are more important than the symmetries of the corresponding EL equation (called Lie point symmetries) as these symmetries give double reduction of the DEs and provide conserved quantities [4].

As the differential equations “live” on manifolds, it is natural to search for the connection between symmetries of differential equations and geometry. The first such attempt looked for the connection through the system of geodesic equations [5, 6]. Some connections between Noether symmetries and isometries have been found in the context of general relativity [79]. There are some errors in [7, 8] and it is incomplete (regarding all Noether symmetries under discussion, the corrected list was given in [10, 11]). Recently, the relation of both the Lie and Noether symmetries of the geodesic for a general Riemannian manifold has been given [12]. The geodesic equations are the EL equations for the arc-length-minimizing action. Their symmetries and the corresponding geodesic equations are known for maximally and nonmaximally symmetric spaces. A connection was obtained between isometries (the symmetries of the geometry) and Lie symmetries of the geodesic equations of the underlying space, which leads to the geometric linearization for ordinary differential equations (ODEs). An additional benefit of this approach is that one can obtain the solution of the linearized equations by the transformation to the metric tensor coordinates given by the geodesic equations from Cartesian coordinates [1315]. In searching for an extension of the geometric methods to partial differential equations (PDEs), we tried to obtain a relation between isometries and Noether symmetries for the area-minimizing Lagrangian. In this paper, it is shown that the Lie algebra of the symmetries for the area-minimizing Lagrangian in an -dimensional Euclidean space is and in a space of constant curvature is . It is also shown that if the space has one section of constant curvature of dimension , another of , and so forth to , and one of zero curvature of dimension and , so that some of the sections have no symmetry, then the Lie algebra of Noether symmetries is .

The plan of the paper is as follows. A brief review of the mathematical formalism is given in the next section. In the subsequent sections we present the symmetries of the area-minimizing Lagrangian for maximally and nonmaximally symmetric spaces. In the sixth section we present the symmetries for the less symmetric spaces. A summary and brief discussion are given in the last section.

2. Preliminaries

Let and be -independent and -dependent variables, respectively. The derivatives of with respect to are denoted by , , where is the total derivative operator and we have used the Einstein summation convention. The set of all the first derivatives is denoted by and the sets of all the higher-order derivatives are denoted by . Let be a Lagrangian of order , corresponding to when the Euler Lagrange equations are where

A vector field is a Noether symmetry of the Lagrangian [3] which is also a symmetry of , if there exists a vector-valued gauge function , , where is the space of differential functions, such that

Isometries are the directions, , along which the Lie derivative of the metric tensor is zero, that is, This equation can be written in component form as where “,” denotes derivative with respect to . This equation forms a set of linear first-order partial differential equations for functions of variables in general, called the Killing equations.

In the -dimensional space we minimize the -area of a hypersurface given by , , keeping the -volume fixed. We define . The area-minimizing action is [16] and the resulting EL-equation is where is the determinant of the -metric of the hypersurface, is the determinant of the -metric of the volume, and “” represents .

3. Symmetries for Flat Spaces

3.1. Two-Area Minimization

The flat space metric in spherical coordinates is Let the enclosing surface be . The 2-area is then given by and the variational principle for the action (2.8) becomes where Thus the Lagrangian is The Noether symmetry condition (2.5) results in the following system of linear PDEs: This system gives us the following six symmetries:

The corresponding Lie algebra of the Noether symmetries is , where is the semidirect sum, , , and are the vector gauge functions corresponding to the translations ().

3.2. Three-Area Minimization

Following the same procedure for a 3-area enclosing a constant 4-volume in hyperspherical coordinates, the Lagrangian is The Lie algebra of the Noether symmetries of this Lagrangian is and are the vector gauge functions corresponding to the translations ().

3.3. Four-Area Minimization

Extending to the 4-area enclosing a constant 5-volume the Lagrangian is The Lie algebra of the Noether symmetries for this Lagrangian is and are the vector gauge functions corresponding to the translations ().

We can now prove the results generalized to -area minimization for a constant -volume in a flat space by using a method of reduction and induction as done earlier for the connection between geometry and Lie symmetries [6].

Theorem 3.1. The Lagrangian for minimizing the -area enclosing a constant -volume in a Euclidian space has a Lie algebra of Noether symmetries identical with the Lie algebra of isometries of the Euclidean space, , with the vector gauge functions corresponding to the translations.

Proof. The Lie algebra of Noether symmetries of the Lagrangian that minimizes the 2-area enclosing a 3-volume in Euclidean space, 3-area enclosing a 4-volume, and the 4-area enclosing a 5-volume in Euclidean space are , , and , respectively. Now, suppose that the Lie algebra of Noether symmetries of the Lagrangian that minimizes an -area enclosing a constant -volume in Euclidean space is . The Lagrangian for minimizing the -area enclosing a constant -volume in Euclidean space contains a subset of Noether symmetries identical to the isometries of , that is, . In the Euclidean space, minimizes the -area enclosing a constant -volume. For the full set of Lie algebra, first reduce the -area to an -area and -volume to an -volume. The Lagrangian minimizing the -area enclosing a constant -volume reduces to the Lagrangian which minimizes the -area enclosing a constant -volume in the Euclidean space. The corresponding Lie algebra is (the Lagrangian which minimizes the 4-area enclosing 5-volume can be transformed to the Lagrangian which minimizes 3-area enclosing 4-volume). Now, working in reverse, from the Lagrangian minimizing an -area enclosing a constant -volume to the Lagrangian minimizing the -area enclosing a constant -volume, it takes more generators of rotation and one generator of translation from the previous one, that is, more generators. Thus the Lie algebra of the Noether symmetries of the Lagrangian which minimizes -area enclosing a constant -volume in the Euclidean space is identical to the Lie algebra of isometries of the Euclidean space, that is, .

4. Symmetries for Curved Spaces

4.1. Two-Area Minimization

The metric for a three-dimensional curved space is Using the variational principle (2.8) for minimizing two area, we obtain the Lagrangian where The Lie algebra of the Noether symmetries of the Lagrangian is . Notice that there is no translational symmetry arising here.

4.2. Three-Area Minimization

The metric for four-dimensional curved space is

The Lagrangian for minimizing three-area is where The Lie algebra of the Noether symmetries of the Lagrangian is , there is no translation in this case.

For spaces of constant nonzero curvature we present the following theorem.

Theorem 4.1. The Lie algebra of Noether symmetries for the Lagrangian for minimizing the -area keeping a constant -volume in a space of nonzero constant curvature is .

Proof. The proof of this theorem can be provided by arguments similar to those in Theorem 3.1.

These two theorems provide the Noether symmetries of the area-minimizing Lagrangian for maximally symmetric spaces (constant curvature and zero curvature). Notice that when we go to spaces of constant curvature from spaces of zero curvature we lose symmetries of the area-minimizing Lagrangian. In the case of zero curvature symmetries (translational symmetries) come out only with particular vector gauge functions, while the remaining symmetries (rotational symmetries) have a zero gauge function. In the case of nonzero curvature there is no translational symmetry and we have only rotational symmetries corresponding to a zero gauge function.

5. Symmetries for Spaces Having Flat Section

5.1. Three-Area Minimization in One-Dimensional Flat and Three-Dimensional Curved Space

The metric for a four-dimensional space having one-dimensional flat section is Following the same procedure, the three-area-minimizing Lagrangian is where

The Lie algebra of the Noether symmetries of this Lagrangian is and corresponds to the vector gauge function, .

5.2. Four-Area Minimization in Two-Dimensional Flat and Three-Dimensional Curved Space

The metric for a five-dimensional flat space having two-dimensional flat section is Thus the Lagrangian for four-area minimization is The Lie algebra of Noether symmetries for this Lagrangian is , where corresponds to the vector gauge function

6. Symmetries for the Less Symmetric Spaces

The metric for a spheroid which is a less symmetric surface of positive curvature is and the Lagrangian is This Lagrangian has only one symmetry, that is, .

The metric for the ellipsoid is and the Lagrangian is where This Lagrangian admits no symmetry.

We can now generalize the results for spaces having sections of different constant curvatures using the geometric method as done in [13].

Theorem 6.1. The Lie algebra of the Noether symmetries for the Lagrangian which minimizes an -area enclosing a constant -volume, in a space which has one section of constant curvature of dimension , another of , and so forth up to and a flat section of dimension and (as some of the sections may have no symmetry) is .

Proof. First consider a manifold of dimension containing a maximal -dimensional flat section such that . Now, the orthogonal subspace has no flat section but can be further broken into sections of constant curvature of dimension , ,…, up to and possibly a remnant section with no symmetry. For this manifold we have an -volume in the space having an -dimensional flat section and one section of constant curvature of dimension , another of , and so forth up to . We minimize the -area in a subspace having an -dimensional flat section and the sections of constant curvature remaining unchanged. The Lie algebra of Noether symmetries of the -area-minimizing Lagrangian in flat space is . In the manifold , each section retains its Lie algebra of Noether symmetries. Thus, the full Lie algebra of Noether symmetries, in this case, is the direct sum of all these Lie algebras, that is, .
If instead there is no reduction of dimension of the flat section, but one constant curvature section reduces by one-dimension, say the Lie algebra of the other sections remains unchanged while that of the reduced section now becomes . Now consider the case that there is only a one-dimensional flat section, that is, , and -dimensional section of constant curvature. We have an -volume in a space having a one-dimensional flat section and an -dimensional section of constant curvature. We minimize the -area in a subspace of constant curvature keeping a constant -volume. Then, the Lie algebra of Noether symmetries is , that is, (as is the identity).
By increasing the dimension of the flat section by one, as in Theorem 3.1, the algebra for it becomes . Similarly, by increasing the dimension of one constant curvature section by 1, , the Lie algebra of that section becomes while the other sections retain their Lie algebras.
Thus, reduction and induction show that the formula continues to hold. This completes the proof.

7. Summary and Discussion

In this paper we have dealt with the Noether symmetries of the -area-minimizing Lagrangian keeping a constant -volume for the maximally and nonmaximally symmetric spaces. For spaces of maximal symmetry, the Lie algebra of the Noether symmetries is in an -dimensional flat space and in an -dimensional space of constant curvature. For an -dimensional space of constant curvature, the area-minimizing Lagrangian has rotational symmetries with a zero gauge function and for the zero curvature there are translational symmetries with specific vector gauge functions, along with rotational symmetries with zero gauge function.

The second theorem provides the Noether symmetries for the area-minimizing Lagrangian in nonmaximally symmetric spaces. In this case, we have a space consisting of sections of different constant curvatures, one section of zero curvature, and possibly a section with no symmetry. The Lie algebra of Noether symmetries is then the direct sum of the Lie algebras of Noether symmetries of each section. If the space has a flat section of only one dimension the Lie algebra becomes .

Appendix

A. For 2-Area

The EL equation corresponding to the Lagrangian (3.5) is and the conserved quantities for the Noether symmetries , , , , , are where

B. For 3-Area

The metric for a 4-dimensional flat space in hyperspherical coordinates is Let the enclosing surface be . The 3-area is Then the variational principle (2.8) becomes where Thus, the Lagrangian is

C. For 4-Area

The metric for a 5-dimensional flat space in hyperspherical coordinates is Let the enclosing surface be . The 4-area is Then the variational principle (2.8) becomes where Thus, the Lagrangian is

Acknowledgments

The authors are grateful to Professor F. M. Mahomed and Dr. T. Feroze for their useful discussions and valuable suggestions. A. Aslam is grateful to NUST for his financial support during this work.