A Dirac "GTR" Eq. 27.11 -- how to show that a boundary term vanishes?

Kostik
Messages
269
Reaction score
32
TL;DR Summary
In Dirac's "General Theory of Relativity", Dirac derives Einstein's field equations and the geodesic equation from the variation ##\delta(I_g+I_m)=0## of the actions for gravity and matter. The two dynamical variables in the variation are ##g_{\mu\nu}## and ##p^\mu## which satisfies ##\delta p^\mu = (p^\nu b^\mu - p^\mu b^\nu)_{,\nu}## where ##b^\mu## is an arbitrary displacements of an element of matter. He discards a boundary term during partial integration that is not easily (?) justified!
In Dirac's "General Theory of Relativity", p. 53, eq. (27.11), Dirac is deriving Einstein's field equations and the geodesic equation from the variation ##\delta(I_g+I_m)=0## of the actions for gravity and matter. Here ##p^\mu=\rho v^\mu \sqrt{-g}## is the momentum of an element of matter. He makes arbitrary displacements of an element of matter ##b^\mu##. The two dynamical variables in the variation are ##g_{\mu\nu}## and ##p^\mu## which satisfies ##\delta p^\mu = (p^\nu b^\mu - p^\mu b^\nu)_{,\nu}=0##.

The action is over a 4-dimensional volume ##M##. Dirac integrates by parts: $$\int_M v_\mu (p^\nu b^\mu - p^\mu b^\nu)_{,\nu} \, d^4 x
= \int_M [v_\mu (p^\nu b^\mu - p^\mu b^\nu)]_{,\nu} \, d^4 x
- \int_M v_{\mu,\nu} (p^\nu b^\mu - p^\mu b^\nu) \, d^4 x .$$ Remember: on the boundary ##\partial M##: $$(p^\nu b^\mu - p^\mu b^\nu)_{,\nu}=0.$$ (It's unusual for a divergence to vanish on a boundary, but remember this is actually a variation ##\delta p^\mu = (p^\nu b^\mu - p^\mu b^\nu)_{,\nu}##. As ##p^\mu## is one of the dynamical variables, it is kept constant on the boundary. Hence, the variation ##\delta p^\mu=0## on the boundary.)

Dirac assumes the boundary term vanishes. How do we show this? $$\int_M [v_\mu (p^\nu b^\mu - p^\mu b^\nu)]_{,\nu} \, d^4 x = \int_{\partial M} v_\mu (p^\nu b^\mu - p^\mu b^\nu) \, dS_\nu = 0 \quad (\text{Show!})$$ where ##dS_\nu## is the oriented hypersurface element in 3D space.

If ##v_\mu (p^\nu b^\mu - p^\mu b^\nu)## were constant on the boundary, the result would be trivial. But this is not the case!

One can also write this integral: $$\int_M [v_\mu (p^\nu b^\mu - p^\mu b^\nu)]_{,\nu} \, d^4 x
= \int_{\partial M} v_\mu n_\nu (p^\nu b^\mu - p^\mu b^\nu) \, \sqrt{|h|} \, d^3 y$$ where ##n_\nu## is the "oriented unit normal vector" on ##\partial M##. (Here I am supposing that the boundary ##\partial M## can be parameterized by ##x^\nu = x^\nu (y^m)##, ##m=1,2,3## and ##h## is the determinant of the matrix ##h_{mn}=g_{\mu\nu}\frac{\partial x^\mu}{\partial y^m}\frac{\partial x^\nu}{\partial y^n}## ... but this is just linear algebra / change of variable stuff, and isn't important to the problem at hand.)

To repeat, the key fact that I have to work with is that, on the boundary ##\partial M##:
$$(p^\nu b^\mu - p^\mu b^\nu)_{,\nu}=0.$$
 
Physics news on Phys.org
I don't think it needs to be any more complicated than the fact that, for any physical (bounded) matter distribution, the vector field ##p## is going to vanish sufficiently fast toward infinity, i.e. ##p{|}_{\partial} = 0## and the boundary term ##\int_{\partial} dS \ n_{\nu} v_{\mu} (p^{\nu} b^{\mu} - p^{\mu} b^{\nu}) = 0##
 
I thought of this, too: since ##p^\mu = \rho v^\mu \sqrt{-g}##, one can always consider a 4-dim. "cylinder" of spacetime between two time coordinates ##T_1## and ##T_2##, and the ball ##r=R##, and let ##R## be sufficiently large so as to encompass all the matter in existence. Then ##\rho=0## on the boundary, hence ##p^\mu=0##.

However, I prefer to solve these boundary term issues with compact volumes. First, consider that this method does not work when trying to vary the Hilbert-Einstein action -- that's why the Gibbons-Hawking-York boundary term is usually added. Second, can I be sure that ##\rho=0## sufficiently far away? What if the matter-energy density of a (closed?) universe never vanishes?
 
Take any physical vector field ##X## (e.g. your term involving ##p^{\mu}##) and integrate it over the ##n-1## sphere ##\lim_{r\rightarrow \infty} S_r##$$\int dS \ n_{\mu} X^{\mu} = \int dS \ r^{n-1} \hat{n}_{\mu} X^{\mu}$$so the integral vanishes if ##X = O(r^{-n})##, which is what we mean by assuming the field vanishes sufficiently quickly at spatial infinity.
 
OK, I got it. The solution is physics, not math. I believe the integral, in general, need not vanish. However, going back to the variation ##\delta(I_g+I_m)=0##, one has two integrals, and integration by parts turns the second one into two more. One can argue that all three integrals must vanish separately. Hence, the boundary term integral goes away, and the other two are left to yield the EFE and geodesic equation.
 
In this video I can see a person walking around lines of curvature on a sphere with an arrow strapped to his waist. His task is to keep the arrow pointed in the same direction How does he do this ? Does he use a reference point like the stars? (that only move very slowly) If that is how he keeps the arrow pointing in the same direction, is that equivalent to saying that he orients the arrow wrt the 3d space that the sphere is embedded in? So ,although one refers to intrinsic curvature...
I started reading a National Geographic article related to the Big Bang. It starts these statements: Gazing up at the stars at night, it’s easy to imagine that space goes on forever. But cosmologists know that the universe actually has limits. First, their best models indicate that space and time had a beginning, a subatomic point called a singularity. This point of intense heat and density rapidly ballooned outward. My first reaction was that this is a layman's approximation to...
Thread 'Dirac's integral for the energy-momentum of the gravitational field'
See Dirac's brief treatment of the energy-momentum pseudo-tensor in the attached picture. Dirac is presumably integrating eq. (31.2) over the 4D "hypercylinder" defined by ##T_1 \le x^0 \le T_2## and ##\mathbf{|x|} \le R##, where ##R## is sufficiently large to include all the matter-energy fields in the system. Then \begin{align} 0 &= \int_V \left[ ({t_\mu}^\nu + T_\mu^\nu)\sqrt{-g}\, \right]_{,\nu} d^4 x = \int_{\partial V} ({t_\mu}^\nu + T_\mu^\nu)\sqrt{-g} \, dS_\nu \nonumber\\ &= \left(...
Back
Top