Birkhoffs Theorem and Lie Symmetry Analysis

Three dimensional space is said to be spherically symmetric if it admits SO(3) as the group of isometries. Under this symmetry condition, the Einsteins Field equations for vacuum, yields the Schwarzschild Metric as the unique solution, which essentially is the statement of the well known Birkhoffs Theorem. Geometrically speaking this theorem claims that the pseudo-Riemanian space-times provide more isometries than expected from the original metric holonomy/ansatz. In this paper we use the method of Lie Symmetry Analysis to analyze the Einsteins Vacuum Field Equations so as to obtain the Symmetry Generators of the corresponding Differential Equation. Additionally, applying the Noether Point Symmetry method we have obtained the conserved quantities corresponding to the generators of the Schwarzschild Lagrangian and paving way to reformulate the Birkhoffs Theorem from a different approach.


INTRODUCTION
Einstein's Field equations are the most fundamental equation in the realm of General Relativity.
This equation can be loosely summarized as the link up between the matter content and the geometry of space-time. In a more qualitative manner, the field equations explains how the metric (of the space-time involved) respond to energy and momentum. Due to the non-linearity and indeterminacy of the equations it is very hard to obtain the solution of the field equations.
All the solutions that are available in literature are carried out under simplifying assumptions.
The most well known solution of Einstein's equations is obtained under the assumption of spherical symmetry, is known as the Schwarzschild solution.
Lie Symmetry analysis of differential equations provides us a rudimentary yet very powerful machinery to derive the conservation laws of corresponding system represented by the (ordinary or partial) differential equations. The invariance of the differential equations under transformation of both dependent and independent variables involved essentially leads to the idea of their symmetry analysis. This transformation forms a local group of point transformation establishing diffeomorphism on the space of independent and dependent variables, mapping the solutions of the specific differential equation to the other solutions.
In this paper we use the method of Lie Symmetry Analysis on Einstein's field equations.
There after we use the Noether's theorem, which reveals the inner relation between the involved symmetries and the conserved quantities of dynamical system to reiterate the well known Birkhoff's theorem.
The paper is organized in the following manner. In Section 2, we quickly recapitulate the Birkhoff's theorem and discuss about the Lie Algebra of the Killing vectors in a spherically symmetric space-time. Section 3, sheds some light upon the recent literatures that deals with Birkhoff's theorem and it's modern treatments to different dimensions. In the section followed by we introduce the most important tool implemented for our work that is the Lie groups of transformations and the Prolongation Theory of differential equations. In simple language, the term prolongation means becoming longer. Here the involved system certainly does not become longer but the space of the dependent variables does. Basically our requirement is of a differential equation not only representing the dependent and independent variables but also the appearing partial derivatives. So, we prolong the space of dependent variables using their partial derivatives. In section 5, we take the Einstein's vacuum field equations and obtain the maximal symmetry generator, using the method of Lie Symmetry analysis. Entire section 6 comprises of Noether's theorem and it's modification for the first order prolongations. This theorem has been implemented for the case of Schwarzschild lagrangian. This section concludes with recovering Birkhoff's theorem from the infinitesimal symmetry generators obtained via the analysis of Schwarzschild Lagrangian.

BIRKHOFF'S THEOREM
A metric describing the space-time is obtained when Einstein's field equations are solved under simplifying assumptions. The Birkhoff's theorem is a fundamental theorem regarding the solution of the field equations. It states that, any spherically symmetric solution of Einstein's vacuum field equations must be static and asymptotically flat. This statement leads to the fact that Schwarzschild's exterior (i.e. space-time outside of a spherically non-rotating gravitational object) solution is the most general spherically symmetric solution of Einstein's vacuum field equations with zero cosmological constant. The solution for non-zero cosmological constant is provided by the Schwarzschild-deSitter metric. The Einstein's field equations are given by, Now for of vacuum, the energy-momentum tensor vanishes i.e. T ik = 0 where g ik is the metric of the space-time involved and R ik and R being the Ricci tensor and Ricci scalar respectively. The solution of this equation for a space-time outside a spherical source or gravitating body is given as, Where (r, θ, φ) are the spherical coordinates used and M is the mass of the (spherical) gravitating object. Redefining m = GM c 2 we get, The theorem also conveys that the solutions of Einstein's vacuum field equations possess hypersurface orthogonal Killing vectors i.e. the metric obtained as solution of field equations is static 3 . Additionally the theorem also tells us the metric is independent of the changes in the matter distribution, which are the sources of the gravitational field, provided the spherical symmetry is preserved.  (3)) with the Killing vectors labelled as X,Y,Z which in polar coordinates are given as follows,  (3)).
However, this is one of the many aspects of Birkhoff theorem. There are many different approaches available to this theorem. Such as, physically, it implies that a spherically symmetric star undergoing strict radial pulsations cannot propagate any disturbances into the surrounding space, indicating that a radially oscillating star has a static gravitational field [29] [30]. This paper is based on the differential geometric aspect of Birkhoff's theorem which is stated as, every member of the family of the pseudo-Riemannian space-time has more isometries than expected from the original metric ansatz/holonomy (we have described briefly about this following the pedagogical technique of using the Killing vectors).

GENERAL FORMULATIONS OF BIRKHOFF'S THE-OREM
The Birkhoff's theorem concerning Einstein's General theory of Relativity was first proposed and discussed by G.D. Birkhoff (1923) in his paper cited as follows, The field outside the spherical distribution of matter is static whether or not the matter is in a static or in a variable state...thus the Schwarzschild solution is essentially the most general solution of the field equations with spherical symmetry [27]. [32] [33] These two papers describe the 5-dimensional case related to Birkhoff's theorem.
Other generalizations such as, extending this theorem to fourth order gravity can be found in the works of P. Havas [34]. The relation of Birkhoff's theorem with 2-dimensional space-time can be found in [35] [36].
The most evolved phrasing of this theorem in connection with the conformally reducible metrics can be found in the works of Bona [37]. The author's work focuses on the different kinds of space-time to which the theorem is applicable. It is based on the fact that these spacetimes are conformal to the direct product of two 2-dimensional manifold. Other generalization of this theorem for higher dimension was done by K.A. Bronnikov and V.N.Melnikov [38] where they have discussed about the validity conditions for the extended Birkhoff's theorem

LIE GROUPS OF TRANSFORMATIONS
The method of change of variables involed while analysing differential equations is a go-to tool used by physicists and mathematicians alike. Let us illustrate this method by a 2 dimensional case. For example let x and y be the set of variables for a given space. After transformation of the variables we obtain, where x ′ and y ′ are new set of variables involved. This is an example of a Point Transformation which maps points (x, y) into (x ′ , y ′ ).
As we are more delved into symmetry properties therefore we will be much more interested in the transformation that also involves parameters.

Groups of Transformation
Let us consider a domain D ⊂ R N (coordinate space) and another space S ⊂ R 1 (S be our parameter space). Now let us choose G to be the set of transformations (map) defined by, Now within this set, choose a particular transformation Z ∈ G defined by, where x and x ′ are old and new set of coordinates respectively while a being the parameter of transformation involved.
(a) For each value of parameter a ∈ S, the transformations are bijective.
(b) S with the law of composition µ is a group with identity e.

Lie Groups of Transformation
Furthermore satisfying the axioms that are mentioned above if the following properties, (a) involved parameter a is continuous.
are also satisfied then these axioms together with the ones stated in section 4.1 elevates the group of transformation into the class of Lie groups of transformations.
Expanding equation (1) in Taylor series about a=0, and defining 4 , we found, where ξ(x) is often termed as auxilliary function of the transformation involved.
To shed some more light on the physical aspect of the theory we use the following one 4 often referred as first fundamental theorem of Lie.
parameter transformation group. x where f and φ being transformation maps.
With our definition, These properties ensures the above being a one parameter group of point transformation [4].
A simple example of a one parameter group is given by the rotations where a is the involved parameter. On contrary, the reflection is an useful point transformation which does not constitute a one parameter group.
The one parameter group and its action are best pictorially observed as motion in the x − µ

Invariants
Let us assume, an C ∞ fucntion F (x), which is said to be an Invariant of the Lie group of Transformation if and only if for any group of transformation the condition, (where x and x ′ are old and new set of coordinates respectively) holds.
Infinitesimal generator of the group can be easily exploited to characterize the invariance of a function as is illustrated by the following theorem.
where X is called the infinitesimal generator of the transformation. It is given as, where ξ 1 , ξ 2 ,.....,ξ N are set of generalized auxilliary functions for the N dimensional case.

Lie Groups of differential equations : Prolongation Theory
Consider Lie groups of transformations associated to any given type of differential equation (say F) involving n independent variables (x 1 , x 2 , ....., x n ) ∈ R n and m dependent variables (u 1 , u 2 , ....., u m ) ∈ R m and R m+n be the space of all variables (x, u).
Let us consider the transformations, This transformation acts on the space R n+m of variables (x, u).
Let p k i denote the derivative of dependent variable u with respect to the independent variable x,

First Prolongation:
The infinitesimal generator for the extended group X (1) , after first prolongation is given by [2][4] [6], Where X is the generator of the Lie group of transformation of variable (x i , u k ). Given as, where, ...., n ; k = 1, 2, ....., m) (9) and The operator D i is the Lie derivative operator.

Second Prolongation:
Following the same methods the generator of the extended group X (2) , can also be obtained as, (11) where r k ij is defined as, and Proceeding in the aforesaid manner, the k th order prolongation can also be found. Taking into account the cumbersome calculations and our limited need upto second order prolongations for our purpose, we leave the calculations of k th order prolongation for the interested readers.
We are predisposed towards the symmetry properties of the differential equations, indicating that any transformation T ∈ G, when applied to any solution of the associated differential equation, maps itself into another solution of the same differential equation, that is to say the i th order differential equation remains invarient under any transformation belonging to group G. If X = ξ i ∂ ∂x i + η k ∂ ∂u k be the infinitesimal generator corresponding to equation (6) and if the operator of k th prolongation is denoted by X (k) then equation (6) holds for equation (15), the system of PDE, if and only if Equation (16) is often referred as the Symmetry Condition or Condition of Invariance.

LIE SYMMETRY ANALYSIS OF EINSTEIN'S VAC-UUM FIELD EQUATIONS:
The Einstein's vacuum field equations as we know, The general covariance of this equation can be interpreted as the notion of a group of generalized motion.
The application of Lie symmetry analysis of Einstein's empty space field equations can give rise to the maximal group of the involved point transformations.
To extend the theory of Lie symmetry analysis to Einstein's equation, we consider a ndimensional manifold M and along with it, we define a metric tensor g ij for the space-time involved (Riemannian). It is convenient to consider the transformation of the coordinates of space-time rather than the function g ij itself. It is pretty clear that the transformations of the type, where a is the involved parameter. We can write, The generator of the group G, where ξ i = ∂f i ∂a a=0 ; (i = 1, 2, ....., n) is the auxilliary function involved.
Now the generator of the extended groupḠ, The preceeding equation along with the fact that when a=0, g ′ ij (x) = g ij (x) gives us, The generator of the extended groupḠ is As it is known very well that the Einstein's vacuum field equations allow all possible transformations of coordinates i.e. a infinite dimensional Lie algebra is obtained from equation (22).
However the operator satisfied by equation (22) does not admit the maximal algebra. 5 So assuming a generator of the form, along with the invariance condition, where Ω jl ik are undeterminded coefficients. Segregating the terms with second derivatives of g ij we obtain the Lie determining equations for Einstein's equations resulting in, The Einstein's equation allows the transformation, x ′i → x i and g ′ ij → ag ij which is indeed a simple transformation with a generator, which certainly do not belong to the class of generators specified in equation (22) Thus it can be seen that the operators given in equation (23) and equation (22)

Geodesics of Schwarzschild metric:
The geodesics of Schwarzschild metric can be obtained by calculating the Christoffel symbol and using the geodesic equationẍ Γ α µν = 1 2 g αl g µl,ν + g νl,µ − g µν,l Using equation (27) and (28) for Schwarzschild metric one obtains the geodesic equation for the above metric. The equations are given as, Considering infinitesimal transformation of the form and the involved generator X given as, Running through the usual algorithm of the Lie symmetry analysis of differential equation (reference last chapter) we obtain the vector fields that span the Lie algebra of the space as,

NOETHER POINT SYMMETRIES
Emmy Noether [14] proved a very important result that every conservation law pertaining to a system must originate from a corresponding symmetry property of the system. In a more complicated manner, according to Noether's theorem there is an algorithm which relates the constants of the Lagrangian of any given system to its symmetry transformation.
While dealing with the Lie point symmetry of geodesic equations of a space-time yielding conserved quantities, we realize that they are non-Noether type conserved quantities and hence are redundant to us. The symmetries of the Lagrangian on the other hand being directly connected to the symmetry transformation of a system, gives us conserved quantities of our interest.

Pedagogical Noether's theorem and Prolongations
Consider a dynamical system with Lagrangian L, where L = L(q,q, t). Using the variational principle to the action we can obtain the Euler-Lagrangian equations written as, The variational principle involving the action functional can be implemented to formulate the Noether theorem. Here the key constituent is its variations under infinitesimal transformations of the generalized coordinates and time.
ǫ is an infinitesimal parameter and ξ i , η are analytic functions. The generator of the transformation is given by, The transformation maps the velocities (terms involving first order derivating of the generalized coordinates), Now any function like the lagrangian, depending on the velocities transform like, X (1) being the first prolongation of the generator X. Given as, Due to the infinitesimal shift of the coordinate, the change in action can be put forward as, We have neglected the higher order terms throughout. We can conclude that the variation of action is invariant upto divergence term f, if the integrand of equation (39) is total time derivative of some function f(q,q,t), This is the Rund-Trautman identity which can be used to unearth the carefully hidden symmetries that the Lagrangian fails to exhibit. Now the Rund-Trautman identity is valid for all type of paths t → q(t) so it is more logical to replace the dots with total time derivative operator, So rewritting the equation (40) as, where the first prolongation operator is given as, We can solve unknown generator defined in equation (34) using the Rund-Trautman identity, if the Lagrangian of a dynamical system is specified.
If the action functional is invariant under the infinitesimal change of generalized coordinates upto the divergence term f, then the quantity, is a first integral of the system involved.
The Lagrangian associated with geodesic equations can be written as,

Schwarzschild case
For Schwarzschild metric the Lagrangian takes the form, (bringing back the conventional terminology instead of using q and t).

Conserved charge and Birkhoff theorem
The presence of conserved charges corresponding to the respective Noether Point Symmetries is the next obvious thing ensured by the Noether theorem. We can calculate the conserved quantities using equation (42). But for our purpose, out of the five conserved quantities found we are mostly interested in the conserved charge that corresponds to the particular generator X 2 = ∂ ∂t which is very much intertwined with time translation symmetry.
The conserved quantity corresponding to this generator is, This quantity so obtained is not only a constant of motion but also consistent with the quantity that remains conserved corresponding to a time-like Killing vector. Hence we can conclude that the time translation invariance generator X 2 behaves like a timelike Killing vector giving us the extra symmetry that we were looking for since the onset of the problem.
We obtained the Noether point symmetries of Schwarzschild geodesic equations along with the infinitesimal generators given in equation (43). Now we can also see that the vectors X 3 , Now along with this group structure of the obtained generators. The conserved quantities corresponding to ∂ ∂t is given by (1 − 2m r )ṫ is in tune with the above mentioned proposition. We do know that the Killing vector lead us to a constant of motion (for a free particle) [18].
If K µ is a Killing vector then, Hence from equation (48) and (50) we can conclude that the generator X 2 we obtained by solving the partial differential equations is actually a Killing vector (time-like as we are in region r > 2m). The conserved quantity given in the equation (48) is the corresponding constant of the Killing vector.
We initiated our work with the spherically symmetric metric ansatz exhibiting SO(3) algebra. While calculating the Noether point symmetries of the Schwarzschild Lagrangian we observe the Lie Algebra of SO(3) among the infinitesimal symmetry generators we have obtained which is an expected result as we had started with the spherically symmetric metric (these generators recognised as nothing but the Killing vectors of the SO (3)). In addition to these generators we have also obtained another generator which was identified with the extra Killing vector that shows an additional symmetry than what we had started with.