Advances in Mathematical Physics

Volume 2017 (2017), Article ID 4384093, 40 pages

https://doi.org/10.1155/2017/4384093

## Geometrical/Physical Interpretation of the Conserved Quantities Corresponding to Noether Symmetries of Plane Symmetric Space-Times

^{1}School of Natural Sciences, National University of Sciences and Technology, Sector H-12, Islamabad, Pakistan^{2}Departamento de Matemáticas, Facultad de Ciencias, Pontificia Universidad Javeriana, Cra. 7 N. 40-62, Bogotá, Colombia

Correspondence should be addressed to Bismah Jamil

Received 23 February 2017; Revised 26 April 2017; Accepted 21 May 2017; Published 30 August 2017

Academic Editor: Igor L. Freire

Copyright © 2017 Bismah Jamil et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

The aim of this paper is to give the geometrical/physical interpretation of the conserved quantities corresponding to each Noether symmetry of the geodetic Lagrangian of plane symmetric space-times. For this purpose, we present a complete list of plane symmetric nonstatic space-times along with the generators of all Noether symmetries of the geodetic Lagrangian. Additionally, the structure constants of the associated Lie algebras, the Riemann curvature tensors, and the energy-momentum tensors are obtained for each case. It is worth mentioning that the list contains all classes of solutions that have been obtained earlier during the classification of plane symmetric space-times by isometries and homotheties.

#### 1. Introduction

Solving a differential equation (DE) by symmetry methods was the original motivation for the development of the classical theory of continuous groups, initiated by S. Lie [1]. Symmetry methods are very useful to construct solutions for a wide class of DEs, especially for nonlinear ones. A very important example of nonlinear partial differential equations (PDEs) from general relativity is the Einstein field equations (EFEs):where , , , and are the Ricci tensor, the Ricci scalar, the cosmological constant, and , respectively.

Finding general solutions to the EFEs is practically impossible, but various approaches have been employed to find families of solutions to these equations and to classify the corresponding space-times [2]. In this context, symmetries play a fundamental role. They not only provide the solutions to EFEs but also classify the space-times by the symmetries it has. These symmetries appear as inherent geometric symmetries of the set of physically relevant DEs [3–6]. Among the most relevant DEs are the geodesic equations that describe the trajectories followed by objects moving under the influence of a gravitational field; the study of their symmetries provides insight into the geometric/physical properties of the space-time under consideration.

In the past few decades, a significant amount of relativistic literature has been devoted to the study of symmetries in general relativity [7–24]. In [7], the authors considered Killing vectors (KVs) of spherically symmetric static space-times and concluded that they admit either ten KVs (corresponding to de Sitter, Minkowski, and anti-de Sitter metrics), seven KVs (corresponding to Einstein and anti-Einstein metrics), six KVs (incorporating the Bertotti–Robinson and two other metrics), or only four KVs (the minimal set of isometries). Ahmed and Ziad found the homotheties of spherically symmetric space-times admitting maximal isometry groups larger than along with their metrics, without imposing any restriction on the stress-energy tensor in [12]. Their results show that these space-times admit 11, 7, or 5 homotheties. Feroze et al. [13] gave a complete classification of the plane symmetric space-times according to their isometries. They obtained these metrics by solving the Killing equations. The isometries admitted by these metrics are given by the group of motions (where = 3, 4, 5, 6, 7, and 10). Plane symmetric Lorentzian manifolds are classified according to their homothetic vector fields and metrics in [14]. These manifolds can admit 4-, 5-, 7-, and 11-dimensional homothetic Lie algebras.

Lie and Noether symmetries of the geodesic equations in pseudo-Riemannian manifolds have also been studied. For example, they have been computed in terms of the special projective group and homotheties (including KVFs) of the metric in [17]. Tsamparlis derives in [23] the Lie and Noether condition for the equations of motion of a dynamical system in an -dimensional Riemannian space and expresses the symmetry generating vectors in terms of the homothetic and projective collineations of the space.

In this paper, we consider Noether symmetries of the geodetic Lagrangian for general plane symmetric space-times. The remaining text is divided into four sections. Section 2 briefly presents basic preliminaries. Section 3 explains the geometry of plane symmetric space-time metrics. Section 4 contains a system of PDEs arising from the Noether symmetry condition (3) of the geodetic Lagrangian for a generic metric of this type (6). After that, a complete list of possible plane symmetric space-times with their corresponding Noether symmetries, conservation laws, and geometric invariants is presented. The physical interpretation of the different conserved quantities that appear is also presented for the most relevant cases. In conclusion, in Section 5 we provide some commentary on the results.

#### 2. Preliminaries

The symmetry group of a system of DEs is the largest local group of transformations acting on a manifold and sending solutions of the system to other solutions. The main feature of a Lie point symmetry of an ordinary differential equation (ODE) is that it is a point transformation in the space of variables, which preserves the set of solutions of the ODE. Explicitly, it will be denoted by , where the parameter and indices , take values from to . These transformations satisfy the axioms of a group under composition. A group of point transformations defines (at least locally) a family of curves in an -dimensional differentiable manifold , which are parameterized by and are called orbits of the group of transformations. These curves may be viewed as the integral curves of a differentiable vector field (in this context is called an infinitesimal generator and at each point of the manifold it is tangent to some smooth integral curve ). With the help of these symmetry transformations (or simply symmetries), Lie provided different integration strategies for differential equations [25–27].

Noether symmetries are a special class of Lie point symmetries, associated with a dynamical system described by an action (or variational) principle. If the Lagrangian formulation is given for a dynamical system, one can obtain the conservation laws with the aid of Noether’s theorem [28]. In other words, each symmetry determines a conserved quantity. Conservation laws help us to understand and describe a dynamical system.

A generator of an infinitesimal transformation is called a* Noether symmetry* [25] of the dynamical system described by the Lagrangian if it satisfieswhere is some gauge term, is an operator given by , andHere is the first-order prolonged part of the generator and represents space-time coordinates and their derivatives with respect to an affine parameter . Corresponding to each Noether symmetry, one can find a conserved quantity satisfying . Noether symmetries with are called the variational symmetries [29]. Noether symmetries of the geodetic Lagrangian constitute subalgebra of the algebra of Lie symmetries of the geodesic equations. It was shown in [30] that this subalgebra is generated (in the space of variables) by the coordinate vector associated with the affine parameter of the geodesics and the homothetic Lie algebra of the underlying space-time.

Lie algebras come with a skew-symmetric product called a Lie bracket and can be characterized by the so-called structure constants with respect to some basis of the linear space. Explicitly, for a given basis , the Lie brackets satisfy relations of the form , for some appropriate constants called* structure constants* of the Lie algebra. Throughout the text, we exhibit the Lie algebra of symmetries for each case in terms of these structure constants.

There are also important tensorial quantities that describe the geometric and physical properties of each space-time. Let us recall briefly the definition and meaning of those ones that we explicitly calculate for the metrics in the classification. These quantities allow us to identify the space-times as most metrics do not appear in recognizable form due to the use of nonstandard coordinates. Hence, these quantities are important to study all the possible nonstatic plane symmetric cases.(i)The* Riemann curvature tensor * is defined in local coordinates by the noncommutativity of the Levi-Civita covariant derivatives and acting on a coordinate vector ; namely, . In terms of geodesic normal coordinates (adapted to the motion of free moving particles in space-time) the Riemann tensor at a point encodes the information of the difference up to second order (as a function of the distance to that point) between the standard Minkowski metric and the space-time metric.(ii)The* Ricci tensor * in normal coordinates is proportional to the relative difference up to second order between the volume elements of the Minkowski metric and the space-time metric around a given point. Similarly, the* scalar curvature* or Ricci scalar is a scalar invariant proportional to the relative difference up to second order between the volume of a Minkowski metric ball and the volume of a space-time metric ball around the point in consideration.(iii)The* stress-energy tensor * and its trace provide information on the momentum/energy content of the given space-time coming from the presence of particles or fields in it. In the EFEs the components of this tensor are the source of space-time curvature [31].

#### 3. Geometry of Plane Symmetric Nonstatic Space-Times

A plane symmetric space-time is a Lorentzian manifold possessing a physical stress-energy tensor and some symmetry properties that reduce the general metric of the manifold to the form [2]Plane symmetric metrics admit the Lie group as the minimal set of isometries in such a way that group orbits are two-dimensional hypersurfaces of zero curvature. The minimal set of Noether symmetries for these space-times isthat is, all metrics listed in this paper admit this minimal set. The nonvanishing components of the geometrical/physical quantities previously described which are associated with a space-time metric of form (6) are as follows:

Here, the stress-energy tensor is obtained by assuming the validity of EFEs (1) with cosmological constant .

In the list of Noether symmetries associated with the geodetic Lagrangian for each metric we find two different categories of vector fields, one containing only geometric collineations of space-time alone and the other containing symmetries that can be interpreted as collineations in the extended space of the all the variables involved in the geodesic equations (2).

Noether symmetries that are collineations of the space-time will be denoted by and all of them correspond to Killing vector fields (KVFs); that is, they are infinitesimal generators of isometries or, equivalently, their flow preserves the metric on . For each of these generators it is always possible to find an appropriate coordinate frame, called adapted frame, such that the vector field points in the direction of one of the coordinate basis vectors. This means that takes the form of an infinitesimal generator of translations along the -coordinate direction. Moreover, by Noether’s theorem the conservation law arising from this symmetry can be interpreted as the conservation of generalized momentum associated with that particular -direction. For example, for the Minkowski metric linear momentum conservation arises from space translations, conservation of angular momentum arises from rotations (translations in angular directions), and conservation of energy arises from translations in the time coordinate.

For the second category of Noether symmetries we use the notation . In general, these symmetries are associated with the affine parameter of the geodesics and they cannot be interpreted as space-time collineations. Nevertheless, extending space-time and its metric in an appropriate way to the whole space of variables, which locally takes the form , those symmetries can still be interpreted as collineations of this extended space. Here we consider the simple extension of the metric given by , where and is the affine parameter.(i)The first family of these symmetries can be interpreted as KVFs of the extended space; they can take the forms and . The conserved quantity corresponding to is the geodetic Lagrangian (which does not depend explicitly on ). The one corresponding to for spatial -components is the invariant and it corresponds to the uniform motion of the center of mass along the -coordinate. Finally the symmetry has as invariant quantity and it represents the retarded time arising from a change of center of mass reference frame to one at rest with respect to the coordinate system chosen.(ii)The second family of these symmetries correspond to homothetic vector fields (HVFs) of the extended space of variables. They take the general form , where, depending on the particular metric, the sum on the repeated index may be needed on all or some (even only one) of its values. These proper HVFs arise from the scaling invariance of the geodesic equations. To see how they are derived from the action of the group of dilations on the extended space , suppose that represents a uniparametric family of dilations acting on a given geodesic and indexed by a continuous scaling parameter . Then, the infinitesimal action along the points on the geodesics is given by . With respect to the local coordinate basis it becomes .(iii)Finally, the last group of Noether symmetries in this category corresponds to a particular class of projective vector fields (PVFs) on the extended space. They are of the form , where again the sum on may appear on all or some of its values. These proper PVFs arise from a fractional linear transformation of the affine parameter of a geodesic. Explicitly, for a continuous let represent a uniparametric family of projective transformations acting on a geodesic . It is important to note that these transformations take the trajectory defined by to itself. In this case, the infinitesimal generator along is given by . With respect to the local coordinate basis it becomes .

We remark that, in general, proper PVFs of the space-time should not appear as Noether symmetries of the affine geodesic equations. But the flows of the PVFs of the form just explained send each geodesic to itself changing only its affine parameter from to . The transformed points on a geodesic have the form , where satisfies again the affine geodesic equations in terms of . This is why infinitesimal generators of this type do appear as Noether symmetries, but only when considering the extended space .

#### 4. Noether Symmetries of the Geodetic Lagrangian of Plane Symmetric Nonstatic Space-Times

Our aim is to find Noether symmetries for all geodetic Lagrangians of plane symmetric nonstatic space-times. Therefore, we consider the geodetic Lagrangian associated with the space-time (6); that is,Following the procedure adopted in [9], we find that the Noether symmetry condition (3) for Lagrangian (14) splits into the following system of PDEs:where “” and “” represent derivatives with respect to the coordinates and , respectively. Here , , and are functions depending on and , where stands for , , , and . The set of solutions to this system of equations provides all possible metrics admitting a higher (or equal) number of symmetries compared to the minimal symmetry group along with their Noether symmetries. These solutions comprise all the existing results listed in [13, 32–34]. A complete list of metrics along with their Noether symmetry generators, structure constants of the corresponding Lie algebras, and the relevant associated tensors defined in the previous section is provided here. The list is organized by decreasing number of symmetries.

##### 4.1. Seventeen Noether Symmetries

Our list begins with the standard constant Lorentzian metric that admits the maximum number of symmetries. We provide for this case a detailed interpretation of all the conserved quantities. Similar symmetries and associated quantities appear later for other metrics and their interpretation is analogous to the one given in this case.

*Minkowski Metric*. The geodetic Lagrangian of the well known Minkowski space-time metricadmits seventeen Noether symmetries [33, 35]. The Noether symmetry generators along with their gauge terms denoted by and their associated conserved quantities are given in Table 1.