Abstract
We apply the method of Hamiltonian reduction without isometry as a way to find exact solutions to Einstein’s equations. To find exact solutions, we introduce two spatial Killing vector fields to the Einstein’s equations obtained through the Hamiltonian reduction, and derive the Ernst-like equation in the privileged coordinates. By solving the Ernst-like equation, we found a four-parameter family of exact solutions, one of which is interpreted as a deformation of the general Kasner spacetime. We extend our method to spacetimes where two independent gravitational degrees of freedom co-exist and interact with each other, and obtain a set of two partial differential equations satisfied by them. If we substitute a pre-fixed diagonal mode into these equations, and then the equations reduce to a single non-linear partial differential equation, which is interpreted as the equation of non-diagonal mode of gravitational waves propagating on the “background” spacetime determined by the diagonal mode. We choose three simplest “background” spacetimes, and discuss the corresponding non-diagonal modes in each case.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The idea of Hamiltonian reduction is to describe general relativity by true gravitational degrees of freedom only, after solving the constraints associated with the spacetime diffeomorphisms. It was first suggested by ADM using the canonical (3+1) decomposition decades ago, and they showed that Hamiltonian reduction can be done successfully in asymptotic region of asymptotically flat spacetimes by isolating the true gravitational degrees of freedom propagating in asymtotically flat zone[1]. Beyond asymptotically flat spacetimes; however, the Hamiltonian reduction was only partially successful, namely, one must introduce extra Killing symmetries to isolate the true gravitational degrees of freedom, free from spacetime diffeomorphisms [2,3,4,5,6,7,8].
Recently, one of the authors has shown that, using the (2+2) formalism based on the null hypersurface decomposition of spacetimes, Hamiltonian reduction can be done without assuming any isometry [9, 10]. In this method, a set of privileged spacetime coordinates must be introduced, which are chosen as functions defined on the phase space of Einstein’s theory. In these coordinates, the spacetime constraints are solved, in the sense that they turn out to be the local conservation equations such as energy and momentum conservation equations in ordinary field theories.
In this paper, we will introduce a new method of solving Einstein’s equations using the (2+2) Hamiltonian reduction. We will first present the complete set of Einstein’s equations obtained after Hamiltonian reduction in privileged coordinates, and then impose two spacetime Killing symmetries to put the Einstein’s equations in the Ernst form [11]. We will solve this Ernst-like equation, which turn out different from the usual Ernst equation, and show that it generates a four-parameter family of exact solutions. We show that some of them correspond to general Kasner solution and its deformation, after suitable coordinate transformations from the privileged coordinates back to the usual spacetime coordinates.
We also study more general case where two gravitational polarizations co-exist and interact with each other. Although we were not able to find explicit solutions in this case, we were able to write down the non-linear partial differential equations for one polarization interacting with the pre-determined another polarization that defines the “background” solution spacetime.
2 Einstein’s equations in the (2+2) Hamiltonian reduction
In the theory of the (2+2) Hamiltonian reduction, it is known that the most general form of the spacetime metric in the privileged coordinates \((\tau , R, Y^{a})\) is given by [9, 10]
If we assume the “zero-twist” condition, namely, \(A_{R}^{\ a }=0\), then the Einstein’s equations can be written as the following set of equations (i), (ii), (iii), and (iv):
(i) The four constraint equations define the local Hamiltonian density \(-\pi _{\tau }\) and momentum densities \(\pi _{R}\) and \(\tau ^{-1}\pi _{a}\) given by
where \(\mathcal {H}\) is given by
and \(\pi ^{a b}\) is the conjugate momentum of the metric \(\rho _{a b}\) of the transverse two-surface \(N_{2}\) with a unit determinant (\(\textrm{det}\ \rho _{ab} = 1\)).
(ii) The four equations that relate the superpotential \(\ln (-h)\) to \(\mathcal {H}- \tau ^{-1}\), \(\pi _{R}\), and \(\tau ^{-1}\pi _{a}\)
(iii) The evolution equations of \(\rho _{ab}\) and \(\pi ^{ab}\) are given by
(iv) The topological constraint equation [12,13,14,15,16]
where \(R^{(2)}\) is the Ricci scalar of \(N_{2}\), and \(\nabla ^{(2)}_{a}\) is the covariant derivative on \(N_{2}\).
3 Dynamics of two gravitational degrees of freedom with two Killing vectors
In general, the conformal two-metric \(\rho _{ab}\) with a unit determinant has two polarizations, and therefore, it is a functional of two independent functions V and W of \((\tau , R, Y^{a})\). The most general form of the conformal two-metric with two polarizations can be written as [17]
From the defining Eq. (2.9) of the conjugate momentum, \(\pi ^{ab}\) is found to be
where \(\pi _V\) and \(\pi _W\) are conjugate momentum of V and W, respectively, which satisfy the relation
and \(\pi ^{ab}\) is traceless
From now on, we will assume that \(\partial / \partial Y^{a} \ (a=1,2)\) are two Killing vectors, and write down the Einstein’s equations in terms of V, W, \(\pi _V\) and \(\pi _W\), which are functions of \(\tau\) and R only. Substitution of (3.1) into the evolution Eqs. (2.9) and (2.10) yields the following four equations:
Equations (2.4) and (2.8) are trivial due to the Killing condition, and Eqs. (2.6) and (2.7) become
By Eqs. (3.5) and (3.6), Eqs. (3.7), (3.8), (3.9), and (3.10) become
respectively. Equations (3.11) and (3.12) are second-order partial differential equations for V and W. The function h is determined by integrating the r.h.s. of the Eqs. (3.13) and (3.14), after solving Eqs. (3.11) and (3.12) for V and W. The local Hamiltonian \(-\pi _{\tau }\) and momentum densities \(\pi _{R}\) are also determined by V and W through Eqs. (2.2) and (2.3)
respectively. The remaining Einstein’s equation [Eq. (2.11)] is trivial by the Killing condition. Thus, the spacetime metric is completely determined by V and W that satisfies Eqs. (3.11) and (3.12).
4 Derivation of Ernst-like equation in privileged coordinates
The line element in the privileged coordinate (\(\tau , R, Y^a\)) is given by
In order to derive the Ernst-like equation, it is useful to introduce the double null coordinates (u, v) defined by
Then, the metric (4.1) becomes
where \(u \ge v\). In these coordinates, Eqs. (3.11) and (3.12) become
respectively. Let us introduce a complex function Z defined as[11]
Then, we find that the two Eqs. (4.4) and (4.5) can be written as a single complex equation
which can be compactly written as
Here, \(\nabla\) is the covariant derivative associated with the metric (4.3), and \(\nabla ^{2} Z\) is given by
Equation (4.7) or (4.8) is the sought-for Ernst-like equation in the Hamiltonian reduction.
5 Solutions to the Ernst-like equation
In this section, we find some solution to the Ernst-like Eq. (4.8) in the following two cases, where either V or W polarization is present.
5.1 V polarization solutions
In this case, we assume \(W=0\), and consider the V polarization only. Then, Eq. (4.5) becomes trivial, and (4.4) becomes [18]
We found that a whole class of solutions for V
and Z is given by
where \(a_{0}\), \(b_{0}\), and n are constant. In the original (\(\tau\), R) coordinates, V becomes
The superpotential Eqs. (3.13) and (3.14) become
which reduce to
respectively. By integrating these equations, we find that \(-2h\) becomes
where \(c_{0}\) is an arbitrary constant. Thus, we found a four parameter family of exact solutions to Einstein’s equations, parametrized by four constants \((a_{0}, b_{0}, c_{0},n)\)
where we introduced the coordinates X and Y defined as \(X=Y^1\) and \(Y=Y^2\), respectively. Thus, we found a four-parameter family of solutions to the Ernst-like Eq. (4.7) for a diagonal V polarization.
Let us examine this metric in the following special cases. When the constants \((a_{0}, b_{0}, c_{0})\) are chosen as \(a_{0}=0, \ b_{0}=c_{0}=1\), but n is left arbitrary, the metric (5.10) becomes
which turns out to be a general Kasner solution. To show this, let us make the following coordinate transformations:
Then the metric (5.11) becomes
If we introduce a new coordinate t defined as
then the metric (5.13) can be written in a standard Kasner form [17]
where \(\alpha\), \(p_1\), \(p_2\), and \(p_3\) are constants defined as
respectively, and \(p_1\), \(p_2\), and \(p_3\) satisfy the relations
More generally, when both n and \(a_{0}\) are arbitrary with \(b_{0}=c_{0}=1\), the metric (5.10) becomes
This metric contains a non-trivial extra term that depends on arbitrary constant \(a_{0}\), and therefore, it should be regarded as a deformation of the general Kasner solution by a free parameter \(a_{0}\).
5.2 W polarization solutions
In this subsection, we shall solve the Ernst-like equation in the opposite case, namely, by assuming \(V=0\). The Ernst-like potential Z then becomes
Let us define a new function \(\Theta\) by
Then the Eq. (5.19) becomes
By substituting this equation into (4.7), we found two independent solutions \(\Theta _1\) and \(\Theta _2\), which are given by
respectively, and where n, \(a_0\), \(b_0\), and \(\tilde{b}_0\) are arbitrary constants, and the polarization \(W_1\) and \(W_2\) are given by
respectively. Let us notice that, when \(V=0\), Eq. (4.5) reduces to
which is a linear differential equation for W. By superposing the two solutions \(W_{1}\) and \(W_{2}\) given by (5.24) and (5.25), we obtain a more general solution of the type
One can determine the superpotential \(-h\) by solving the following equations:
which reduce to
respectively. By integrating these equations, we find that \(-2h\) becomes
where \(c_{0}\) is an arbitrary constant. Therefore, the metric is given by
where \(X=Y^1\) and \(Y=Y^2\). This is another four-parameter family of solutions to the Ernst-like equation with a non-diagonal W polarization only. However, by making the following coordinate transformations:
then one can show that the metric (5.33) becomes
which is exactly the same as the metric (5.10).
5.3 Solutions with two polarizations V and W
In previous subsections, we found solutions with a single polarization, which are given by (5.4) and (5.27), which correspond to V polarization solutions with \(W=0\) and W polarization solutions with \(V=0\), respectively. In this subsection, we will find solutions that contain two polarizations simultaneously. For this purpose, we will study the equations of the W excitations propagating on the background spacetime determined by V polarization, which are given by Eq. (5.4)
where \(a_0\), \(b_0\), and n are arbitrary constants. We will consider the following 3 cases separately.
(i) \(n=a_{0}=0\)
In this case, the solution (5.36) becomes
and Eq. (3.11) is trivially satisfied, and the equation (3.12) becomes
A particular solution of this equation given by
where \(\tilde{a}_{0}, \ \tilde{b}_{0}\), and \(\tilde{n}\) are constants. This solution is identical to the solution (5.27) that we found in Sect. 5.2, which was shown to reproduce a class of spacetimes interpreted as a deformation of the general Kasner solution after the prescribed coordinate transformations.
(ii) \(a_{0}=b_{0}=0\)
In this case, the solution (5.36) becomes
and Eqs. (3.11) and (3.12) become
respectively. Equation (5.41) states that W is a function of \(\tau + R\) only, and Eq. (5.42) becomes
where \(W=W(\tau + R)\). Unfortunately, we were not able to find any solution of this equation, except the trivial one \(W=0\).
(iii) \(n= b_{0}=0\)
In this case, the solution (5.36) becomes
and Eqs. (3.11) and (3.12) become
respectively. By Eq. (5.45), W is a function of \(\tau\) only, so that Eq. (5.46) becomes
This is an ordinary differential equation of \(\tau\) only, which admits a trivial solution \(W=0\). However, we were not be able to find any non-trivial solution to this equation.
6 Discussion
In this paper, we presented the Einstein’s equations obtained by Hamiltonian reduction in the privileged coordinates, and then, derived the Ernst-like equation assuming two Killing symmetries. By solving the Ernst-like equation, we were able to find a four parameter family of exact solutions when a single polarization is present, which we interpret as a deformation of the general Kasner spacetime. We believe that it is a new solution, but detailed studies of the deformation solution of the general Kasner spacetime are necessary and would be interesting in its own right.
We also studied more general case where two gravitational polarizations co-exist and interact with each other. Although we were not able to find explicit solutions in this case, we were able to write down the non-linear differential Eqs. (5.43) and (5.47) for W polarization interacting with the pre-determined V polarization that defines the “background” solution spacetimes. Problems of finding non-trivial solutions to Eqs. (5.43) and (5.47) and interpreting them physically are left for a future project.
It would be interesting to find cosmological solutions whose spatial topologies are, for example, \(S^{1} \times S^{2}\) or \(S^{3}\). Finding solutions with spatial \(S^{1} \times S^{2}\) topology is a doable work with the present zero-twisting condition, but to find solution with \(S^{3}\) topology, one needs to drop this condition, which is beyond the scope of the present paper. The authors thank the referee for suggesting this problem, which is left for a future work.
References
R. Arnowitt, S. Deser, C.W. Misner, Gravitation: An Introduction to Current Research (Wiley, New York, 1962)
K.V. Kuchar̆, Phys. Rev. D 4, 955 (1971)
V. Husain, Phys. Rev. D 50, 6207 (1994)
J.D. Brown, K.V. Kuchar̆, Phys. Rev. D 51, 5600 (1995)
J.D. Romano, C.G. Torre, Phys. Rev. D 53, 5634 (1996)
V. Husain, T. Pawłowski, Phys. Rev. Lett. 108, 141301 (2012)
A.E. Fischer, V. Moncrief, Nucl. Phys. B (Proc. Suppl.) 57, 142 (1997)
A.E. Fischer, V. Moncrief, Nucl. Phys. B (Proc. Suppl.) 88, 83 (2000)
J.H. Yoon, J. Korean Phys. Soc. 64, 192 (2014)
J.H. Yoon, J. Korean Phys. Soc. 65, 926 (2014)
J.B. Griffiths, Colliding Plane Waves in General Relativity (Oxford University Press, Oxford, 1991)
J.L. Friedman, K. Schleich, D.M. Witt, Phys. Rev. Lett. 71, 1486 (1993)
T. Pawlowski, J. Lewandowski, J. Jezierski, Class. Quantum Gravity 21, 1237 (2004)
P.T. Chruściel, R.M. Wald, Class. Quantum Gravity 11, L147 (1994)
T. Jacobson, S. Venkataramani, Class. Quantum Gravity 12, 1055 (1995)
G.J. Galloway, Class. Quantum Gravity 13, 1471 (1996)
J.B. Griffiths, J. Podolský, Exact Space-Times in Einstein’s General Relativity (Cambridge University Press, Cambridge, 2009)
S.H. Oh, K. Kimm, Y.M. Cho, J.H. Yoon, Mod. Phys. Lett. A 33, 1850101 (2018)
Acknowledgements
This paper was written as part of Konkuk University’s research support program for its faculty on sabbatical leave in 2019.
Author information
Authors and Affiliations
Corresponding authors
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Yoon, J.H., Kim, Y. & Oh, S.H. Exact solutions to Ernst-like equation in (2+2) Hamiltonian reduction. J. Korean Phys. Soc. 84, 991–997 (2024). https://doi.org/10.1007/s40042-024-01060-4
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40042-024-01060-4