Komar mass

Last updated May 08, 2021

The Komar mass (named after Arthur Komar^[1]) of a system is one of several formal concepts of mass that are used in general relativity. The Komar mass can be defined in any stationary spacetime, which is a spacetime in which all the metric components can be written so that they are independent of time. Alternatively, a stationary spacetime can be defined as a spacetime which possesses a timelike Killing vector field.

Motivation

Consider the Schwarzschild metric. Using the Schwarzschild basis, a frame field for the Schwarzschild metric, one can find that the radial acceleration required to hold a test mass stationary at a Schwarzschild coordinate of r is:

a^{\hat {r}}={\frac {m}{r^{2}{\sqrt {1-{\frac {2m}{rc^{2}}}}}}}

Because the metric is static, there is a well-defined meaning to "holding a particle stationary".

Interpreting this acceleration as being due to a "gravitational force", we can then compute the integral of normal acceleration multiplied by area to get a "Gauss law" integral of:

{\frac {4\pi m}{\sqrt {1-{\frac {2m}{rc^{2}}}}}}

While this approaches a constant as r approaches infinity, it is not a constant independent of r. We are therefore motivated to introduce a correction factor to make the above integral independent of the radius r of the enclosing shell. For the Schwarzschild metric, this correction factor is just ${\sqrt {g_{tt}}}$ , the "red-shift" or "time dilation" factor at distance r. One may also view this factor as "correcting" the local force to the "force at infinity", the force that an observer at infinity would need to apply through a string to hold the particle stationary. (Wald, 1984).

To proceed further, we will write down a line element for a static metric.

ds^{2}=g_{tt}\,dt^{2}+\mathrm {quadratic\ form} (dx\,dy\,dz)

where g_tt and the quadratic form are functions only of the spatial coordinates x, y, z and are not functions of time. In spite of our choices of variable names, it should not be assumed that our coordinate system is Cartesian. The fact that none of the metric coefficients are functions of time makes the metric stationary: the additional fact that there are no "cross terms" involving both time and space components (such as dx dt) make it static.

Because of the simplifying assumption that some of the metric coefficients are zero, some of our results in this motivational treatment will not be as general as they could be.

In flat space-time, the proper acceleration required to hold station is $du/d\tau$ , where u is the 4-velocity of our hovering particle and tau is the proper time. In curved space-time, we must take the covariant derivative. Thus we compute the acceleration vector as:

a^{b}=\nabla _{u}u^{b}=u^{c}\nabla _{c}u^{b}

a_{b}=u^{c}\nabla _{c}u_{b}

where u^b is a unit time-like vector such that u^b u_b = -1.

The component of the acceleration vector normal to the surface is

a_{\mathrm {norm} }=N^{b}a_{b}

where N^b is a unit vector normal to the surface.

In a Schwarzschild coordinate system, for example, we find that

N^{b}a_{b}={\frac {{\frac {\partial g_{tt}}{\partial r}}c^{2}}{2g_{tt}{\sqrt {g_{rr}}}}}={\frac {m}{r^{2}{\sqrt {1-{\frac {2m}{rc^{2}}}}}}}

as expected - we have simply re-derived the previous results presented in a frame-field in a coordinate basis.

We define

a\inf ={\sqrt {g_{tt}}}a

so that in our Schwarzschild example: $N^{b}a\inf _{b}=m/r^{2}.$

We can, if we desire, derive the accelerations a_b and the adjusted "acceleration at infinity" a inf_b from a scalar potential Z, though there is not necessarily any particular advantage in doing so. (Wald 1984, pg 158, problem 4)

a_{b}=\nabla _{b}Z_{1}\qquad Z_{1}=\ln {g_{tt}}

a\inf _{b}=\nabla _{b}Z_{2}\qquad Z_{2}={\sqrt {g_{tt}}}

We will demonstrate that integrating the normal component of the "acceleration at infinity" a inf over a bounding surface will give us a quantity that does not depend on the shape of the enclosing sphere, so that we can calculate the mass enclosed by a sphere by the integral

m=-{\frac {1}{4\pi }}\int _{A}N^{b}a\inf _{b}dA

To make this demonstration, we need to express this surface integral as a volume integral. In flat space-time, we would use Stokes theorem and integrate $-\nabla \cdot a\inf$ over the volume. In curved space-time, this approach needs to be modified slightly.

Using the formulas for electromagnetism in curved space-time as a guide, we write instead.

F_{ab}=a\inf _{a}\,u_{b}-a\inf _{b}\,u_{a}

where F plays a role similar to the "Faraday tensor", in that $a\inf _{a}=F_{ab}u^{b}$ We can then find the value of "gravitational charge", i.e. mass, by evaluating $\nabla ^{a}F_{ab}u^{b}$ and integrating it over the volume of our sphere.

An alternate approach would be to use differential forms, but the approach above is computationally more convenient as well as not requiring the reader to understand differential forms.

A lengthy, but straightforward (with computer algebra) calculation from our assumed line element shows us that

-u^{b}\nabla ^{a}F_{ab}={\sqrt {g_{tt}}}R_{00}u^{a}u^{b}={\sqrt {g_{tt}}}R_{ab}u^{a}u^{b}

Thus we can write

m={\frac {\sqrt {g_{tt}}}{4\pi }}\int _{V}R_{ab}u^{a}u^{b}

In any vacuum region of space-time, all components of the Ricci tensor must be zero. This demonstrates that enclosing any amount of vacuum will not change our volume integral. It also means that our volume integral will be constant for any enclosing surface, as long as we enclose all of the gravitating mass inside our surface. Because Stokes theorem guarantees that our surface integral is equal to the above volume integral, our surface integral will also be independent of the enclosing surface as long as the surface encloses all of the gravitating mass.

By using Einstein's Field Equations

G^{u}{}_{v}=R^{u}{}_{v}-{\frac {1}{2}}RI^{u}{}_{v}=8\pi T^{u}{}_{v}

letting u=v and summing, we can show that R = -8πT.

This allows us to rewrite our mass formula as a volume integral of the stress–energy tensor.

m=\int _{V}{\sqrt {g_{tt}}}\left(2T_{ab}-Tg_{ab}\right)u^{a}u^{b}dV

where

V is the volume being integrated over;
T_ab is the Stress–energy tensor;
u^a is a unit time-like vector such that u^a u_a = -1.

Komar mass as volume integral - general stationary metric

To make the formula for Komar mass work for a general stationary metric, regardless of the choice of coordinates, it must be modified slightly. We will present the applicable result from (Wald, 1984 eq 11.2.10) without a formal proof.

m=\int _{V}\left(2T_{ab}-Tg_{ab}\right)u^{a}\xi ^{b}dV,

where

V is the volume being integrated over
T_ab is the Stress–energy tensor;
u^a is a unit time-like vector such that u^a u_a = -1;
$\xi ^{b}$ is a Killing vector, which expresses the time-translation symmetry of any stationary metric. The Killing vector is normalized so that it has a unit length at infinity, i.e. so that $\xi ^{a}\xi _{a}=-1$ at infinity.

Note that $\xi ^{b}$ replaces ${\sqrt {g_{tt}}}u^{b}\,$ in our motivational result.

If none of the metric coefficients $g_{ab}$ are functions of time, $\xi ^{a}=(1,0,0,0).$

While it is not necessary to choose coordinates for a stationary space-time such that the metric coefficients are independent of time, it is often convenient.

When we chose such coordinates, the time-like Killing vector for our system $\xi ^{a}$ becomes a scalar multiple of a unit coordinate-time vector $u^{a},$ i.e. $\xi ^{a}=Ku^{a}.$ When this is the case, we can rewrite our formula as

m=\int _{V}\left(2T_{00}-Tg_{00}\right)KdV

Because $u^{a}$ is by definition a unit vector, K is just the length of $\xi ^{b}$ , i.e. K = ${\sqrt {-\xi ^{a}\xi _{a}}}$ .

Evaluating the "red-shift" factor K based on our knowledge of the components of $\xi ^{a}$ , we can see that K = ${\sqrt {g_{tt}}}$ .

If we chose our spatial coordinates so that we have a locally Minkowskian metric $g_{ab}=\eta _{ab}$ we know that

g_{00}=-1,T=-T_{00}+T_{11}+T_{22}+T_{33}

With these coordinate choices, we can write our Komar integral as

m=\int _{V}{\sqrt {-\xi ^{a}\xi _{a}}}\left(T_{00}+T_{11}+T_{22}+T_{33}\right)dV

While we can't choose a coordinate system to make a curved space-time globally Minkowskian, the above formula provides some insight into the meaning of the Komar mass formula. Essentially, both energy and pressure contribute to the Komar mass. Furthermore, the contribution of local energy and mass to the system mass is multiplied by the local "red shift" factor $K={\sqrt {g_{tt}}}={\sqrt {-\xi ^{a}\xi _{a}}}$

Komar mass as surface integral - general stationary metric

We also wish to give the general result for expressing the Komar mass as a surface integral.

The formula for the Komar mass in terms of the metric and its Killing vector is (Wald, 1984, pg 289, formula 11.2.9)

m=-{\frac {1}{8\pi }}\int _{S}\epsilon _{abcd}\nabla ^{c}\xi ^{d}

where $\epsilon _{abcd}$ are the Levi-civita symbols and $\xi ^{d}$ is the Killing vector of our stationary metric, normalized so that $\xi ^{a}\xi _{a}=-1$ at infinity.

The surface integral above is interpreted as the "natural" integral of a two form over a manifold.

As mentioned previously, if none of the metric coefficients $g_{ab}$ are functions of time, $\xi ^{a}=\left(1,0,0,0\right)$

Notes

↑ Komar, Arthur (1963-02-15). "Positive-Definite Energy Density and Global Consequences for General Relativity". Physical Review. American Physical Society (APS). 129 (4): 1873–1876. Bibcode:1963PhRv..129.1873K. doi:10.1103/physrev.129.1873. ISSN 0031-899X.

Related Research Articles

Laplaces equation Second order partial differential equation

In mathematics and physics, Laplace's equation is a second-order partial differential equation named after Pierre-Simon Laplace who first studied its properties. This is often written as

The stress–energy tensor, sometimes called the stress–energy–momentum tensor or the energy–momentum tensor, is a tensor physical quantity that describes the density and flux of energy and momentum in spacetime, generalizing the stress tensor of Newtonian physics. It is an attribute of matter, radiation, and non-gravitational force fields. This density and flux of energy and momentum are the sources of the gravitational field in the Einstein field equations of general relativity, just as mass density is the source of such a field in Newtonian gravity.

In mathematics, the Laplace operator or Laplacian is a differential operator given by the divergence of the gradient of a function on Euclidean space. It is usually denoted by the symbols $,, or . In a Cartesian coordinate system, the Laplacian is given by the sum of second partial derivatives of the function with respect to each independent variable. In other coordinate systems, such as cylindrical and spherical coordinates, the Laplacian also has a useful form. Informally, the Laplacian Δ f (p) of a function f at a point p measures by how much the average value of f over small spheres or balls centered at p deviates from f (p) .$

In mathematics, the covariant derivative is a way of specifying a derivative along tangent vectors of a manifold. Alternatively, the covariant derivative is a way of introducing and working with a connection on a manifold by means of a differential operator, to be contrasted with the approach given by a principal connection on the frame bundle – see affine connection. In the special case of a manifold isometrically embedded into a higher-dimensional Euclidean space, the covariant derivative can be viewed as the orthogonal projection of the Euclidean directional derivative onto the manifold's tangent space. In this case the Euclidean derivative is broken into two parts, the extrinsic normal component and the intrinsic covariant derivative component.

A classical field theory is a physical theory that predicts how one or more physical fields interact with matter through field equations. The term 'classical field theory' is commonly reserved for describing those physical theories that describe electromagnetism and gravitation, two of the fundamental forces of nature. Theories that incorporate quantum mechanics are called quantum field theories.

In mathematics and physics, the Christoffel symbols are an array of numbers describing a metric connection. The metric connection is a specialization of the affine connection to surfaces or other manifolds endowed with a metric, allowing distances to be measured on that surface. In differential geometry, an affine connection can be defined without reference to a metric, and many additional concepts follow: parallel transport, covariant derivatives, geodesics, etc. also do not require the concept of a metric. However, when a metric is available, these concepts can be directly tied to the "shape" of the manifold itself; that shape is determined by how the tangent space is attached to the cotangent space by the metric tensor. Abstractly, one would say that the manifold has an associated (orthonormal) frame bundle, with each "frame" being a possible choice of a coordinate frame. An invariant metric implies that the structure group of the frame bundle is the orthogonal group $O(p, q)$ . As a result, such a manifold is necessarily a (pseudo-)Riemannian manifold. The Christoffel symbols provide a concrete representation of the connection of (pseudo-)Riemannian geometry in terms of coordinates on the manifold. Additional concepts, such as parallel transport, geodesics, etc. can then be expressed in terms of Christoffel symbols.

The Kerr–Newman metric is the most general asymptotically flat, stationary solution of the Einstein–Maxwell equations in general relativity that describes the spacetime geometry in the region surrounding an electrically charged, rotating mass. It generalizes the Kerr metric by taking into account the field energy of an electromagnetic field, in addition to describing rotation. It is one of a large number of various different electrovacuum solutions, that is, of solutions to the Einstein–Maxwell equations which account for the field energy of an electromagnetic field. Such solutions do not include any electric charges other than that associated with the gravitational field, and are thus termed vacuum solutions.

The surface gravity, g, of an astronomical object is the gravitational acceleration experienced at its surface at the equator, including the effects of rotation. The surface gravity may be thought of as the acceleration due to gravity experienced by a hypothetical test particle which is very close to the object's surface and which, in order not to disturb the system, has negligible mass.

In differential geometry, the Laplace–Beltrami operator is a generalization of the Laplace operator to functions defined on submanifolds in Euclidean space and, even more generally, on Riemannian and pseudo-Riemannian manifolds. It is named after Pierre-Simon Laplace and Eugenio Beltrami.

In general relativity, the monochromatic electromagnetic plane wave spacetime is the analog of the monochromatic plane waves known from Maxwell's theory. The precise definition of the solution is quite complicated, but very instructive.

In general relativity, specifically in the Einstein field equations, a spacetime is said to be stationary if it admits a Killing vector that is asymptotically timelike.

In general relativity, a frame field is a set of four pointwise-orthonormal vector fields, one timelike and three spacelike, defined on a Lorentzian manifold that is physically interpreted as a model of spacetime. The timelike unit vector field is often denoted by $and the three spacelike unit vector fields by . All tensorial quantities defined on the manifold can be expressed using the frame field and its dual coframe field.$

In theoretical physics, Nordström's theory of gravitation was a predecessor of general relativity. Strictly speaking, there were actually two distinct theories proposed by the Finnish theoretical physicist Gunnar Nordström, in 1912 and 1913 respectively. The first was quickly dismissed, but the second became the first known example of a metric theory of gravitation, in which the effects of gravitation are treated entirely in terms of the geometry of a curved spacetime.

Conformal gravity refers to gravity theories that are invariant under conformal transformations in the Riemannian geometry sense; more accurately, they are invariant under Weyl transformations $where is the metric tensor and is a function on spacetime.$

Scalar–tensor–vector gravity (STVG) is a modified theory of gravity developed by John Moffat, a researcher at the Perimeter Institute for Theoretical Physics in Waterloo, Ontario. The theory is also often referred to by the acronym MOG.

In general relativity, the Vaidya metric describes the non-empty external spacetime of a spherically symmetric and nonrotating star which is either emitting or absorbing null dusts. It is named after the Indian physicist Prahalad Chunnilal Vaidya and constitutes the simplest non-static generalization of the non-radiative Schwarzschild solution to Einstein's field equation, and therefore is also called the "radiating(shining) Schwarzschild metric".

In general relativity, the Weyl metrics are a class of static and axisymmetric solutions to Einstein's field equation. Three members in the renowned Kerr–Newman family solutions, namely the Schwarzschild, nonextremal Reissner–Nordström and extremal Reissner–Nordström metrics, can be identified as Weyl-type metrics.

Calculations in the Newman–Penrose (NP) formalism of general relativity normally begin with the construction of a complex null tetrad $, where is a pair of real null vectors and is a pair of complex null vectors. These tetrad vectors respect the following normalization and metric conditions assuming the spacetime signature$

In general relativity, the Komar superpotential, corresponding to the invariance of the Hilbert–Einstein Lagrangian $, is the tensor density:$

References

Wald, Robert M (1984). General Relativity . University of Chicago Press. ISBN 0-226-87033-2.
Misner, Thorne, Wheeler (1973). Gravitation. W H Freeman and Company. ISBN 0-7167-0344-0.CS1 maint: multiple names: authors list (link)

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Komar, Arthur (1963-02-15). "Positive-Definite Energy Density and Global Consequences for General Relativity". Physical Review. American Physical Society (APS). 129 (4): 1873–1876. Bibcode:1963PhRv..129.1873K. doi:10.1103/physrev.129.1873. ISSN 0031-899X.

[1]