The Transformation of a Schwarzschild Black Hole Linear Perturbations to Bondi Frame ()
1. Introduction
In studying linear perturbations of a Schwarzschild black hole we are able to study its static space-time properties and the emission of gravitation radiation. The gravitational radiation emitted by a Schwarzschild black hole carries information about its mass (as well as spin and charge for rotating and/or charged black holes). Also by studying the perturbations of a Schwarzschild black hole it is possible to make conclusions about the stability of the Einstein equations [1] . Because of the challenges of studying the gravitational radiation analytically, people have developed numerical techniques [2] to solve the field equations by evolving the metric. Different approaches are used in numerical relativity to tackle these problems in standard coordinates, the most approach being the ADM formalism [3] [4] which is based on the split of spacetime into space and time. However, the natural formalism based on the fact that gravitational radiation travels at the speed of light and uses null coordinates, is called Bondi-Sachs formalism [5] [6] . Important numerical studies involving black hole-black hole, black hole-neutron star, and neutron star-neutron star binaries have been done [7] -[12] in this direction.
In this paper we transform well-known linear perturbations of a Schwarzschild black hole to Bondi-Sachs form. The outline of this paper is as follows: in Section 2 we discuss the Bondi-Sachs formalism as background material. In Section 3, we discuss linearized Bondi-Sachs metric. In Section 4, we discuss the complex notation to be used. In Section 5, we transform the linear perturbations of a Schwarzschild black hole to Bondi-Sachs frame. Section 6 is a discussion. The paper ends with the conclusion in Section 7.
2. Background Material
We use coordinates based upon a family of outgoing null hypersurfaces
, where u is the retarded time parameter. We let
be the null rays, and r be a surface area coordinate. In the resulting
coordinates, the metric takes the BS form [5] [13]
(1)
where
and
, with
being a unit sphere metric.
We work in spherical polar coordinates
and the unit sphere metric is given by
(2)
We now introduce the complex dyad
where
and
.
and
satisfy the following conditions:
,
, and
, with
and
, where
and
are the complex dyad conjugate of
and
respectively.
We also introduce the complex quantities U, J defined by
(3)
and
(4)
For spherically symmetric case (Schwarzschild space-time), we take J = 0 and U = 0. J and U are interlinked, and they contain all the dynamic content of the gravitational filed in the linearized regime [14] . Lastly we introduce the complex differential eth operators
and
(see [15] for full details). The eth (
) formalism gives a compact and efficient manner of treating vector and tensor fields on the sphere, as well as their covariant derivatives.
We define the operator
acting on a quantity
of spin-weight s, as
(5)
which has the property of raising the spin-weight by 1, and similarly we define
as
(6)
which has the property of lowering the spin-weight by 1.
For a Schwarzschild space-time, we have
, and usually we can describe this space-time by
and
, or by
and
. For a spherically symmetric spacetime, J and U are zero and thus they can be regarded as a measure of the deviation from spherical symmetry, and in addition, they carry the gravitational radiation information.
3. Linearized Bondi-Sachs Metric
We linearize Bondi-Sachs metric in order to find J, U,
, and w in the next section from the transformed linear perturbations of a Schwarzschild black hole in the case l = 2. Bondi-Sachs metric linearized about Schwarzschild background has the following metric components
(7)
(8)
(9)
(10)
(11)
(12)
(13)
(14)
where a and b are functions of r and
only, and metric quantities
, w,
and
are all small. We write
, U, J and w explicitly as:
(15)
From Equation (3) we have
(16)
From Equation (4) we have
(17)
Lastly
(18)
The spherical harmonics
,
, and
are respectively given by
(19)
(20)
(21)
4. Complex Notation
At this stage we must deal with a notational issue concerning the use of complex numbers to represent physical quantities. J and U are complex and are used as a convenient representation of metric quantities with two real components. However, it is also common practice to represent oscillations in time as
. More precisely, it is common to write
(22)
with
.
Not only is the above a more compact notation, but also it is much easier to manipulate
(by means of differential and integral operators) than sine or cosine function.
The difficulty is that the complex nature of J and U on the one hand, and of
on the other, have no connection with each other. The simplest way around the problem is to keep complex representations for both
, as well as J and U, by using i in
with
, and j in J and U with
, but
and ij not simplifiable. Although this construction appears similar to quaternion theory, it is, in fact, different. A new algebra has not been constructed, and only addition and multiplication will be performed. In general, an inverse may not exist, so division is not permitted.
The above construction was not made in [16] because in that work it was possible to neglect the imaginary component in J and U. However, we shall see that it is not the case for odd-parity perturbations.
5. Transformation of Linear Perturbations to Bondi-Sachs form
The general metric for time-dependent axisymmetric systems in general coordinates
is given by [17]
(23)
where
,
,
,
,
,
, and
are functions of time
, and
, and
are independent of
. The unperturbed Schwarzschild metric which is the special solution to Equation (23) in spherical coordinates
is given by
(24)
where
,
, and
(say),
,
,
, and
.
When the Schwarzschild metric is perturbed we have
,
, and
(for even-parity perturbations), and
, q2, and q3 are taken as quantities of the first order of smallness (for odd-parity perturbations) as it is the case with
,
, and
.
5.1. Even-Parity Metric Perturbations
5.1.1. The Transformation Procedure
We start by transforming t to u by performing the following transformation
(25)
where
and
are functions that needs to be determined and
are the Legendre functions. Differentiating Equation (25) we get
(26)
Then we substitute Equation (26) into the perturbed metric and we chose a function
such that the transformed metric after the substitution of Equation (26) has the coefficient of dr2 zero to the zeroth order in
. Similarly we chose a function
such that the coefficient of dr2 is zero to 1st order in
. We found functions
and
to be
(27)
and
(28)
After the above transformation, we note that
now has the form
. We also note that from the transformed metric there is a
term that needs to be removed. We remove this term by transforming
to
by performing the following transformation
(29)
where
is a function that needs to be determined. We then differentiate Equation (29) to get
(30)
We substitute Equation (30) into the transformed metric and apply the condition that the coefficient of
must be zero to 1st order in
. We then work out the complete transformed metric up to 1st order in
and transform
as follows
(31)
We found
to be
(32)
where
(33)
Finally, we transform r to a new r' by performing the following transformation
(34)
were
is a function that needs to be determined. Equation (34) satisfy the following condition
(35)
We use Equation (35) to find
, and it was found to be
(36)
5.1.2. The Transformed Metric
After the above transformation, we found the transformed metric to be given by
(37)
(38)
(39)
(40)
(41)
which simplifies to
(42)
(43)
(44)
(45)
(46)
,
,
,
are functions given by Equations (27), (28), (32), and (36) respectively.
5.1.3. The Comparison
By comparing the transformed even-parity metric perturbations with the linearized Bondi-Sachs metric (see Section 2) and noticing that
, we found that
, U, J, w are given by
(47)
(48)
(49)
(50)
or
(51)
By substituting functions (27), (28), (32), and (36) into Equations (47), (48), (49), and (50),
,
, U, and J simplify to
(52)
where
(53)
(54)
where
(55)
(56)
where
(57)
(58)
where
(59)
We have used the trigonometric identities:
(60)
to simplify
to
in Equation (50).
5.1.4. Interpreting the Complex Quantities
The expressions for
, w, J and U obtained above involve the complex quantity i, but not j. Thus, here, the interpretation is straightforward: in all cases
, w, J and U mean the real part of the given expression.
5.2. Odd-Parity Metric Perturbations
5.2.1. The Transformation Procedure
From Equation (23) we have
(61)
since
,
and
are very small, we then have
(62)
(63)
(64)
We start by transforming t to u by the following transformation
(65)
where
is a function that needs to be determined. Differentiating this transformation we obtain
(66)
By substituting Equation (66) into Equation (61) and choosing the function
such that the transformed metric after the substitution of Equation (66) has the coefficient of dr2 zero to the zeroth order in
and we note that
now has the form
. We found the transformed metric to be
(67)
where a function
was found to be
(68)
We then transform
to
by performing the following transformation
(69)
where
is a function that needs to be determined. Differentiating this transformation we obtain
. (70)
Then by substituting Equation (70) into Equation (67) and choosing
such that the transformed metric after the substitution has the coefficient of
zero we get
(71)
where a function
was found to be
(72)
where
(73)
5.2.2. The Transformed Metric
After the above transformation procedure, we found the transformed metric to be
(74)
(75)
(76)
(77)
(78)
(79)
(80)
Substituting Equation (72) in the above metric components, they simplify to
(81)
(82)
(83)
(84)
(85)
(86)
(87)
5.2.3. The Comparison
By comparing the transformed odd-parity metric perturbations with the linearized Bondi-Sachs metric (see Section 2) we found that
,
,
, ![]()
,
,
, and
for the transformed odd-parity metric per- turbations are given by
(88)
(89)
From Equation (17) with
we have
(90)
From Equation (16) with
we have
(91)
5.2.4. Interpreting the Complex Quantities
The expressions for J and U obtained above involve both complex quantities i and j. Taking the real part with respect to i leads to
(92)
and
(93)
Thus, both U and J are pure imaginary quantities.
6. Discussion
The transformation of linear perturbations of a Schwarzschild black hole to Bondi-Sachs is complete. The transformation of even-parity perturbations was much more involved than that of odd-parity perturbations. The end results of the transformation processes for both even and odd-parity perturbations were very different, for example, in the case of odd-parity perturbations, w and
were found to be zero and J and U were found to be purely imaginary and that was not the case for even-parity perturbations were w,
, J and U were found to be real and complicated functions.
All unknown functions;
,
,
,
and
for both even and odd-par- ity perturbations, were found and verified to be correct by substituting them into the transformed even and odd-parity perturbations, thereby simplifying the transformed perturbations to a point where we were able to find J, U, w, and
. We then wrote J, U, w, and
as spherical harmonics (
,
,
and
respectively) times some functions (
,
,
, and
respectively) times the time dependency factor
. Also, for the fact that we were able to extract
,
,
and
,
,
,
from the transformed odd and even-parity perturbations, meant that the transformation processes were carried out correctly and that all the unknown functions
,
,
,
and
were correctly determined.
7. Conclusion
It appears that the transformation of second order perturbations of a Schwarzschild black hole to Bondi-Sachs form will be extremely difficult to do. In the future, the extension of the work of this paper to a stationary charged (Reissener-Nordström) black hole will be very exciting and hopefully attainable. Similarly, the transformation of linear perturbations(gravitational) of a Kerr black hole will be very exciting to do, but the transformation of its standard metric to Bondi-Sachs form has been obtained only very recently [18] and is not in an explicit analytic form yet. In addition, if we extend the work of this dissertation to Kerr-Newman black hole, we will find it difficult to transform linear perturbations because even and odd-parity perturbations have not yet been decoupled and this is still a challenge to us.
Acknowledgements
ASK and NTB would like to thank the University of South African, Rhodes University, and National Research Foundation of South Africa for the financial support.