Abstract
In this work we study the properties of rigidly rotating neutral dust solutions in general relativity. This class of solutions gained relevance recently due to applications to the dynamics of spiral galaxies. We show that this class could be interpreted as a “rigid body” in general relativity and we analyze the different properties respect to the rigidly rotating disk in special relativity: for example, the general relativistic counterpart shows no Doppler effect for a light signal emitted and received from any two points at rest respect to the “rigid body”. This effect can be important to test the validity of the assumed model for our galaxy. In the second part we approach the problem from a low energy expansion perspective and we write down a generalization of the virial theorem for stationary spacetimes. The non-Newtonian contributions can lead to a re-weighting of dark matter in galaxies.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the work [1] a tensor of deformations \({\tilde{P}}\) is introduced to define covariant equations for “rigid-body” motions in special relativity. Using this definition it is possible to show that a body which is rigidly rotating around an axis satisfies the “linear speed-distance law” (2.17). We will use a different definition for the deformation tensor respect to [1], eventually reaching same conclusions. In the first part we review this construction in order to study a generalization of the definition of rigid rotation around an axis in a general relativistic context. To do this, we use dust as source for the Einstein’s equations
where u is the four velocity field of the rotating body and \(\rho \) its density.
The class of solutions under consideration has gained relevance recently due to applications to spiral galaxy models [2,3,4]. Our analysis shows that these solutions are rigidly rotating even if they do not satisfy \(r^{-1} v=\) constant, where the velocity v is measured by the “zero angular momentum observers” (ZAMO) [5].
In the second part we consider again dust solutions in general relativity, without imposing the condition of rigid rotation. As well as writing down exact solutions, one can describe these systems taking a gravito-magnetic expansion approach as in [6] and [7]. In fact, in the second part we will approach stationary solutions from a “low energy” expansion perspective and we will provide a generalization of the Newtonian virial theorem in this general relativistic context,which can be useful for galactic and extra-galactic applications. Interestingly the relativistic modification of the theorem presents an extra term which can reduce the required matter density to sustain the motion of the dust compared to the Newtonian version of the same theorem.
In what follows we take \(c=1, G=1\) and the signature is mostly plus.
2 Considerations on rigidly rotating dust
Here we consider a rotating disk around an axis in special relativity, therefore neglecting its gravitational field.
Given a coordinate system \(x^{\mu }\), in [1] the tensor of deformations \({\tilde{P}}\) is defined as
where \(u^\mu \) is the four velocity field of the body. The condition for rigid rotation adopted in [1] is \({\tilde{P}}_{\mu \nu }=0\):
We are here taking a different perspective, eventually reaching the same conclusions. We define the tensor of deformations P as
and its representation in covariant components read
If we now directly impose the nullity of P
we obtain the Killing vector equations. If we want u to be the four-velocity of a real element of the body, then (2.5) must be supplemented by the condition \(u^\mu u_\mu =-1\). In fact, the combination of these two set of equations give the geodesic equation
The class of solutions for \(P=0\), plus the obvious condition \(u^\mu u_\mu =-1\), is a family of particles moving on straight lines. Although this is clearly a rigid body motion, the condition \(P=0\) is too strong and does not allow for rigid rotation.
Let us now take a step back and consider the vector field given by the four velocity of the body
As it is well known, this vector field naturally defines a projection operator on tensor fields at every point x. Its action on a vector X is given by
For obvious reasons we can call \(P_{t}(X)\) and \(P_{s}(X)\) respectively the temporal and the spatial projections of the vector field X respect to u. This action can be trivially extended on tensors with two indices if we clearly state which index we are acting upon. In this sense, since we take under consideration the deformation tensor field \(P_{\mu \nu }\) in Eq. (2.4) which is symmetric, the action of u is
Therefore we can define the “spatial part” of the deformation tensor P the tensor
which is exactly \({\tilde{P}}_{\mu \nu }\) in Eq. (2.1). The term “spatial part” clearly refers to the fact that it is orthogonal to u, in fact
holds identically. The condition for rigid motion adopted in [1] is equivalent to require that the projection perpendicular to u of the deformation tensor P is zero, i.e. \({\tilde{P}}_{\mu \nu }=0\). From our perspective we are imposing the rigid body condition on the space orthogonal to the four-velocity u of the elements of the rigid body.
In an inertial frame using cylindrical coordinates \((t,r,z,\phi )\), the circular motion of a particle around the \(\phi \)-axis can be described as
where \(\sigma =\sigma (r)\) and \(r^2=x^2+y^2\). As explained in [1], inserting this into Eq. (2.2) we get
which has for its solution
provided that \(\omega \) is a constant. We can get the three dimensional velocity v using
which gives the usual Newtonian relation
to which before we referred to as the “linear speed-distance law”.
The coordinates transformation from the inertial reference frame in cylindrical coordinates to the rigidly rotating frame is given by
while the other coordinates remain the same. As it is well known, we arrive at the Born line element
in what follows will be useful to interpret this as a stationary gravitational field \(\Phi _C=-\frac{\omega ^2}{2} r^2 \).
A useful class of observers in the following discussion are the “zero angular momentum observers” (ZAMO) [5, 8]. They are orthogonal to the constant time spacelike hypersurfaces and their orthonormal frame in the case we are considering here, described in terms of the coordinates in (2.19) is
Of course, in this specific case the ZAMO is in every point the inertial reference frame, which is a rotating frame as seen from the rigidly rotating frame defined by (2.18) with angular velocity \(\omega \). In fact, the inverse of the transformation (2.18) sends back the frame (2.20) of the ZAMO to
The rigidly rotating metric (2.19) written on the basis of the orthonormal frame of the ZAMO (2.20) is
2.1 Rigid rotation in general relativity
Now we pass to consider the same problem in a general relativistic context, without neglecting the energy-density of the matter. We will be a little more general and consider neutral stationary, axysimmetric dust coupled to Einstein equations. The matter is assumed to flow along the Killing vectors \(\partial _t\) and \(\partial _\phi \) and depends only on the coordinates which are not associated to Killing vectors (r, z). Denoting the matter density with \(\rho \), in cylindrical coordinates the energy momentum tensor is given by
where \(\Omega (r,z)= \frac{d\phi }{dt}= \frac{u^{\phi }}{u^{t}}\). Here we are interested in the case of constant angular velocity \(\Omega (r,z)=\Omega \). For constant \(\Omega \), we can perform a rigid rotation of the coordinates to rewrite the four velocity of the dust as
The dust is now at rest compared to these new coordinate set and the class of solution is now given by [9]
where we used the notation \(\partial / (\partial a) (f):= f_{,a}\) with \(a=r,z\).
To compare this metric with the metric of the rigidly rotating frame (2.22) we must rewrite (2.25) in terms of the vierbein of the ZAMO. The ZAMO’s orthonormal frame in this case is
where
The function v(r, z) is the velocity of the dust as judged from the ZAMO, defined by
Note that the definition of ZAMO consistently satisfies the requirement of zero angular momentum \( g_{\phi \phi }\, \chi +g_{\phi t}=0\). The rotating dust metric (2.25) written in the basis of the vierbein of the ZAMO is
We now want to show that in the limit of \(\rho \rightarrow 0\), this class of solutions approach the rigidly rotating disk solution. The energy density \(\rho (r,z)\) is given by [9]
therefore we are interested in taking the limit for little v. If we expand the metric (2.30) in powers of v we see that the expansion up to order v is exactly the metric of the rigidly rotating frame (2.22). This reflects the fact that we are describing the general relativistic solution in the coordinates of a rigidly rotating frame. This rigidly rotating frame is at rest compared to the dust and it is in free falling with it.
From the metric (2.30) written in terms of the vierbein of the ZAMO, we can read the gravitational potential, which is
and gives the heuristic interpretation of the solution: the gravitational potential due to the presence of the dust exactly balance the gravitational potential of the non inertial force given by the rigidly rotation of the reference frame. In fact the centrifugal force in the rigidly rotating disk, with angular velocity \(\chi \), is \(\Phi _C= -\frac{\chi ^2}{2}r^2\) and then we have the usual balance equation
where we used Eq. (2.28) up to order v
The compensation of the two stationary gravitational forces is also the reason why \(g_{tt}=-1\) everywhere in the full solution (2.25), which allows us to choose a preferred time.
This class of rotating dust solutions has interesting properties, now we investigate the structure in more detail.
The dust has four velocity
obviously, being \(\partial _t\) a Killing vector Eq. (2.5) is satisfied. Therefore, all the components of the tensor of deformations vanish:
This condition shows again that the dust is in rigid rotation even though \(r^{-1} v\) is not constant in general. The condition \(P=0\) is stronger than the analog condition for the rigidly rotating disk in special relativity, for which only the “spatial part” \({\tilde{P}}\) of the tensor of deformations is zero.
The rigid rotation (actually the nullity of P) has another interesting implication for astrophysical measurements, since it allows for the existence of a timelike Killing vector for which \(g_{tt}=g_{\mu \nu } (\partial _t)^\mu (\partial _t)^\nu =-1\). Let us imagine that a light signal is emitted from a generic element of the body and it is received from another element of the body, the measured redshift (or blueshift) is 0, there is no shift in the frequence of the light! The reason is that for every element composing the body the measured frequency \(\nu \) is
but \(u= \partial _t\) is the same for every observer at rest respect to the rigid body. Again this reflects the compensation in Eq. (2.33). The same experiment performed on a rigidly rotating disk in special relativity, where the metric is defined by Eq. (2.19), would yield the following result for the frequency shift between two the emitter (E) and the receiver (R) [10]
then it is different from 1 if they are at different radious.
The nullity of the light frequency shift can be important for applications to real galaxies. If we are co-rotating with a rigidly rotating galaxy and we try to apply the special relativistic formula of the doppler shift, therefore neglecting the effect of gravity, the results would be completely wrong. There is no shift between a light signal emitted and received at any two points of the rigid body and this effect does not depend on the regime of application.
The works [3] and [4] propose this class of rigidly rotating solutions as a model for our galaxy. The validity of the model can be confirmed if the measurements actually reproduce the nullity of the light frequency shift from the other stars in our galaxy.
3 Low energy expansion and a virial theorem for gravitomagnetism
In this section we reintroduce the constants c and G. We want to study the system of stationary neutral dust coupled to Einstein equations as in the last section, but now we address the problem starting from a low energy expansion. Then, as the standard procedure, we assume the existence of global coordinates \((t,x^i)\) in which the metric reads
These coordinates select a preferred reference frame \({\mathcal {I}}\), defined by the family of curves \(t=\)variable. In this reference frame all the matter content is slow compared to the speed of light. To do this, we perform an expansion in power of 1/c and we will consider the leading orders. We write the solution of Einstein field equations in weak-field and slow-motion approximation exploiting a well known analogy with Maxwell equations: this is the so-called gravitoelectromagnetic formalism (see e.g. [11, 12]); accordingly, the line element describing this solution is
The coordinates are splitted as \(\{{\hat{i}},{\hat{j}}\}= \{x,y,z\}\) are the spatial indices. Accordingly, we must choose a form of the energy momentum tensor suitable for such expansion of the geometry. For the four-velocities and the energy-momentum tensor of matter \(T^{\mu \nu }\) we assume the following approximation
In the above equation the gravitoelectric (\(\Phi \)) and gravitomagnetic (\(A_i\)) potentials, in stationary conditions, are solutions of Poisson equations
where \(\vec {A}\) and \(\vec {v}\) clearly refer to the components of the respective vectors. Usually in the Newtonian limit, one assume that the dominant contribution to gravitation comes from \(T_{00}\) and then neglect the \((0,{\hat{i}})\) components of the Einstein equations under the assumption \(A \sim O(c^{-1}) \). Introducing
allows us to express the time and spatials components of the local conservation equation \(T^{\mu \nu }_{\quad ;\nu }=0\) respectively as
where we defined \(d/dt:= \partial _t+ v_{{\hat{j}}} \partial _{{\hat{j}}}\). These equations are well known, the first one is the continuity equation and the second one is the analogue of the Lorentz force law [7].
We note that
where we used the following consequences of Eqs. (3.6) and (3.7)
Thanks to these results it is useful to define the two stress pseudo tensors
such that \(\Phi _{,{\hat{i}}}= \partial _{{\hat{i}}} \Phi \). We can rewrite the equation of motion for the matter (3.9) as
or, equivalently
At our order of approximation the last equation can be integrated as
where we used the second moment of the system’s mass distribution
In this derivation, we made use of the following known result [13, 14]
where f is a generic function.Usually one is interested in taking the time “long” average of (3.17), in the approximation where this average for the second derivative of the second moment of the system’s mass distribution is zero
when we take the trace, this equation becomes
which can be rewritten in the usual form
It is interesting to note that this result can reduce the amount of matter needed to sustain a motion with velocity v compared to the Newtonian version of the same theorem. A formal discussion of the virial theorem for spherical and stationary axisymmetric spacetimes is given in [15]. The approach used here is substantially different and it is not restricted to axisymmetric spacetimes, although we will see an explicit application of (3.22) for axisymmetric systems in the next section. More importantly, the specific chosen expansion allowed for a new explicit result (3.22) that can be directly tested on real galaxies. Moreover, our result makes clear that the off-diagonal terms \(h_{0i}\), which have a nice interpretation as “gravito-magnetic” fields, can have the effect of reducing the energy density content \(\rho \) compared to the purely Newtonian case.
This modification respect to the Newtonian version of the virial theorem can have interesting applications on systems as galaxies or clusters of galaxies. In particular could lead to a re-evaluation of the amount of required dark matter for such systems. This aspect deserves further investigations.
The reduction of the needed amount of matter that arise when considering non negligible off-diagonal terms has been already noted, from an exact solution perspective, in [16].
The virial theorem can be written in a more suggestive way
Using the analogy with electromagnetism we see that the second term is the total energy stored in the gravity fields. Therefore we have the balance equation
3.1 Explicit example in stationary axisymmetric spacetimes
As an explicit application of the above results, let us take an axisymmetric stationary system dominated by “angular currents” \(h_{0{\hat{i}}} \equiv S_{{\hat{i}}}\) which are not time dependent \(\partial _t S_{{\hat{i}}}\sim 0\) in our approximation. We then take a simplified version of the metric
We switch to cartesian coordinates (x, y) in the \(z=0\) plane
and one gets the following form for the metric
With the conventions of the last section we have the identification
Then we have from Eq. (3.23)
Assuming reflection symmetry \(z \leftrightarrow -z\) at the equatorial axis \(z=0\), we can neglect the \(z-\)derivatives and the result in the equatorial \(z=0\) plane is
We can rewrite the virial equation (3.22) as
As already noted from the general result (3.23), the off-diagonal term affects the required density. In this particular case of axisymmetric spacetimes the term \({\mathcal {H}}\) in Eq. (3.31) is always positive and then its presence guarantees the reduction of the needed matter compared to the purely Newtonian case. The resulting difference from the Newtonian version of the theorem is essentially the presence of the term
The same effect can be understood from a different perspective. Let us study the deflection of light due to the presence of an object whose metric can be written as in (3.29). We limit the problem to the galactic plane \(z=0\), when the angular momentum of the approaching light is different from zero (the impact parameter is \(\ne 0\)), using an approach similar to [13]. Here we are neglecting the Newtonian potential \(\Phi \) because we want to focus on the effect due to the non-diagonal elements of the metric. We consider the motion in the galactic plane of a photon coming from far away with initial velocity
During its trajectory we suppose that \( v^t={\tilde{\omega }}\) and \(v^x={\tilde{\omega }}\) remain approximately constant, while \(v^y\) depends only on the value of x. The photon arrives from \(x=- \infty \), travel across the gravitational field of the galaxy at a nearly constant value of \(y=R\), and then flies away at \(x=\infty \). During this trip the value of \(v^y\) is increased due to the bending of the trajectory by the galaxy, and the deflection angle is
our approximations are justified by the assumption of a small resulting value for the angle. The geodesic equation is
at the first order in \({\tilde{S}}\), we have
4 Final remarks and perspectives
In the first part we studied rigidly rotating neutral dust solutions in general relativity under the assumptions of stationarity and axysimmetry and we tried to understand their properties and their difference with well known solutions in special relativity. We discussed the interpretation of the usually adopted coordinates and the nullity of the tensor of deformations P for such solutions. The features of the solutions allowed us to draw some limits of the \(\Omega =\) constant model assumed in [3] and [4] as a model for our galaxy. In this sense, we suggested that a strong indicator for the validity of this rigidly rotating model for our galaxy is the nullity of the Doppler effect between any two points (the receiver and the emitter of the light signal) co-rotating with the dust. This can be important for galactic applications. If this effect is not verified by the observations one should therefore take under consideration the larger class of \(\Omega \ne \) constant as a model for our galaxy. The most general solution for rotating dust under the assumptions of stationarity and axysimmetry and its application to galaxies was studied in [16] and more work is in order.
In the second part we did not restrict the discussion to rigid rotation and we approached the problem from a different perspective. We generalized the virial theorem to gravito-magnetism and this provided a new formulation that can be tested on real objects. Interestingly, this generalized version of the virial theorem reduces the matter needed to sustain the motion compared to the usually adopted Newtonian version of the same theorem. In the light of the dark matter problem this additional contribution can lead to a re-weighting of the contribution of dark matter in galaxies or in clusters.
In future would be interesting to explicitely write down more general versions of the virial theorem lowering the number of symmetries of the system.
Data Availability
No new data were generated or analysed in support of this research.
References
Rosen, N.: Notes on rotation and rigid bodies in relativity theory. Physical Review 71, 54–58 (1947)
Cooperstock, F.I., Tieu, S.: General relativity resolves galactic rotation without exotic dark matter. 7 (2005). arXiv:astro-ph/0507619
Balasin, H., Grumiller, D.: Non-Newtonian behavior in weak field general relativity for extended rotating sources. Int. J. Mod. Phys. D 17, 475–488 (2008)
Crosta, M., Giammaria, M., Lattanzi, M.G., Poggio, E.: On testing CDM and geometry-driven Milky Way rotation curve models with Gaia DR2. Mon. Not. Roy. Astron. Soc. 496(2), 2107–2122 (2020)
Bardeen, J.M., Press, W.H., Teukolsky, S.A.: Rotating Black Holes: Locally Nonrotating Frames, Energy Extraction, and Scalar Synchrotron Radiation. apj 178, 347–370 (1972)
Ludwig, G.O.: Galactic rotation curve and dark matter according to gravitomagnetism. Eur. Phys. J. C 81(2), 186 (2021)
Ruggiero, M.L., Ortolan, A., Speake, C.C.: Galactic Dynamics in General Relativity: the Role of Gravitomagnetism, 12 (2021). arXiv:2112.08290
Bini, D., Cherubini, C., Geralico, A., Jantzen, R.T.: Physical frames along circular orbits in stationary axisymmetric spacetimes. Gen. Rel. Grav. 40, 985 (2008)
Winicour, J.: All stationary axisymmetric rotating dust metrics. J Math Phys 16(9), 1806–1808 (1975)
Synge, J.L.: Group motions in space-time and doppler effects. Nature 198(4881), 679–679 (1963)
Ruggiero, M.L., Tartaglia, A.: Gravitomagnetic effects. Nuovo Cim. B 117, 743–768 (2002)
Mashhoon, B.: Gravitoelectromagnetism: A Brief review. 11 (2003)
Misner, C.W., Thorne, K.S., Wheeler, J.A.: Gravitation. W. H. Freeman, San Francisco (1973)
Chandrasekhar, S.: The Post-Newtonian Equations of Hydrodynamics in General Relativity. apj 142, 1488 (1965)
Bonazzola, S.: The virial theorem in general relativity. Astrophysical J. 182, 335 (1973)
Astesiano, D., Cacciatori, S.L., Re, F.: Towards a full general relativistic approach to galaxies. 6 (2021). arXiv:2106.12818
Mashhoon, B., Gronwald, F., Lichtenegger, H.I.M.: Gravitomagnetism and the clock effect. Lect. Notes Phys. 562, 83–108 (2001)
Acknowledgements
I would like to thank Professor Matteo Luca Ruggiero for reviewing this manuscript.
Funding
Open access funding provided by Università degli Studi dell’Insubria within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
More details on gravitomagnetism
More details on gravitomagnetism
We consider the field of a galactic or an extra-galactic source in the linear approximation of GR. We therefore assumed the metric in the form (3.1). The Einstein equations can be casted in the form
where \(h= g^{\mu \nu }h_{\mu \nu }\) after retaining only the terms linear in \(h_{\mu \nu }\). As usual, to obtain the equations in this form, one has to impose the Lorentz gauge condition \({\bar{h}}^{\mu \nu },_{\nu } = 0\). To obtain a parallelism with the electromagnetic theory, we choose the metric such that \({\bar{h}}_{00}=4 \Phi / c^{2}\), \({\bar{h}}_{0i}=-2A_{i}/c^{2}\) and \({\bar{h}}_{ij}=O(c^{-4})\), where \(\Phi (t,\mathbf{x})\) is the gravitoelectric potential, \(\mathbf{A}(t,\mathbf{x})\) is the gravitomagnetic vector potential and we neglect all terms of order \(c^{-4}\) and lower [11]. From the side of the source, \(T^{00}=c^2 \rho \) is the gravitational “charge” density and \(T^{0i}=c j^{i}\) is the corresponding current. Thus, far from the source
where M and \(\mathbf{J}\) are the total mass and angular momentum of the source, respectively.
Under these assumptions, the Lorentz gauge condition can be expressed as
The spacetime metric involving the gravitoelectromagnetic potentials is then given by (3.2)
At this point we can define the gravito-electro and gravito-magnetic fields
in close analogy with electrodynamics. It follows from the field equations (A.1) and the gauge condition (A.4) that
explicitly analogous to the Maxwell equations for the GEM field.
The magnetic parts of Eqs. (A.7) – (A.10) appear with a factor of 1/2 as compared to standard electrodynamics is due to the fact that the effective gravitomagnetic charge is twice the gravitoelectric charge.
Under the assumption of stationarity, from the presented equations one obtains (3.5) and (3.6).
The geodesics of the particles of dust given by (3.9), can be obtained from the variational principle \(\delta \int {{{\mathcal {L}}}} dt=0\), where \({{{\mathcal {L}}}}=mcds/dt\). The lagrangian is
which to linear order in \(\Phi \) and \(\mathbf{A}\) boils down to
The gauge transformations
leave the GEM fields (A.6) and hence the GEM equations (A.7)–(A.10) invariant. The Lorentz gauge condition (A.4) is also satisfied provided \(\Box \psi = 0\).
The gravitational field corresponding to the metric (A.5) is given by the Riemann curvature tensor
where
plus higher order terms. The components of the Riemann tensor may be expressed in the following form [17]
where \({{{\mathcal {E}}}}\) and \({{{\mathcal {S}}}}\) are symmetric \(3 \times 3\) matrices and \({{{\mathcal {B}}}}\) is traceless. These matrices read explicitly
and the spatial components are given by
They are explicitly invariant under (A.13).
To obtain the generalized virial theorem we defined the tensor \(t_{{\mathcal {J}}|{\hat{i}}{\hat{j}}}\) in Eq. (3.14), which again is explicitly invariant under the gauge transformations (A.13), therefore also \({\mathcal {H}} \sim B^2\) possess the same property.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Astesiano, D. Rigid rotation in GR and a generalization of the virial theorem for gravitomagnetism. Gen Relativ Gravit 54, 63 (2022). https://doi.org/10.1007/s10714-022-02947-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10714-022-02947-y