UDC 530.1
BRANS-DICKE SCALAR-TENSOR THEORY OF GRAVITATION MAY EXPLAIN TIME ASYMMETRY OF PHYSICAL PROCESSES
O. Kosheleva, V. Kreinovich
Most fundamental physical equations remain valid if we reversed the time order. Thus, if we start with a physical process (which satisfies these equations) and reverse time order, the resulting process also satisfies all the equations and thus, should also be physically reasonable. In practice, however, many physical processes are not reversible: e.g., a cup can break into pieces, but the pieces cannot magically get together and become a whole cup. In this paper, we show that the Brans-Dicke Scalar-Tensor Theory of Gravitation, one of the most widely used generalizations of Einstein's General relativity, is, in effect, time-asymmetric. This time-asymmetry may explain the observed time asymmetry of physical phenomena.
1. Time Asymmetry: Formulation of the Problem
Observable time asymmetry: a problem. Most equations of fundamental physics are time symmetric, starting from the ordinary differential equations (e.g., the classical Newton's equations of motion) to partial differential equations describing physical fields like electromagnetism or gravitation. As a result, if we start with a physically reasonable solution to these equations (e.g., with the observed Universe) and simply reverse the direction of time t, the resulting fields will satisfy the same differential equations. From this theoretical viewpoint, all physical processes should be reversible: a time reversal of a physically reasonable process should also be physically reasonable.
In practice, however, many physical processes are not reversible. For example:
If we drop a fragile cup, it will break into pieces.
• However, it is not physically reasonable to expect that the pieces of a broken cup would magically get together to form a whole cup.
Copyright © 2013 O. Kosheleva, V. Kreinovich
University of Texas at El Paso (USA)
E-mail: olgak@utep.edu, vladik@utep.edu
How this problem is explained now. The problem of time asymmetry is known since Bolzmann's 19th century work on statistical physics and its foundations. In modern physics, this problem is usually resolved by making an additional assumption: that the initial conditions should be random (in some reasonable sense); see, e.g., [1].
Limitations of the known explanation. The additional assumption of randomness is outside the usual formulation of physical equations as a system of partial differential equations. It is therefore desirable to come up with an alternative explanation of the observed time asymmetry, an explanation that is within the usual formulation.
What we do in this paper. In this paper, we show that the time asymmetry problem can be potentially resolved if we take into account that for scalar-tensor theories of gravitation, in some reasonable sense, equations are not T-symmetric.
2. Brans-Dicke Theory Scalar-Tensor Theory of Gravitation: Reminder
Notational comment. Before we describe the actual equations, let us agree to simplifying notations which are commonly used in General Relativity.
The possibility of this simplification is based on the fact that, according to Relativity theory, the speed of light c is a universal constant. Thus:
• If we fix a unit of time (e.g., 1 sec), we automatically get a unit of length — namely, the distance that light can cover in 1 sec.
Similarly, once we have a unit of length, we get a unit of time.
Relativistic equations can be simplified if we use units of distance and time which are related in this way, i.e., units in which the speed of light is simply equal to 1. For simplicity, we will use these units in our paper.
General Relativity: reminder. In general, the field equations of a physical theory correspond to the minimum of the action
where L is the Lagrangian and g = det(ga^) is the determinant of the metric tensor gaj3. In other words, a physical theory corresponds to the variation principle
In particular, for the General Relativity theory (GRT), the Lagrangian has the form
Lqrt = ^ R + Lmat,
where G is the gravitation constant, Lmat is the Lagrangian of matter, R =f gapRap
is the Ricci scalar, Rap == R'aYpi, and R&aip is the curvature tensor. The variational equations do not change if we simply multiply the Lagrangian by a constant; it is therefore useful to multiply the Lagrangian by 16n and take
Lgrt = G R + 16nLmat. Varying over gap, we get the corresponding equations
Rap — 2 gapR = 8nGTaP,
where Tap is the matter's energy-momentum tensor.
Motivations for modifying General Relativity. According to General Relativity, space-time and gravitation are described by Einstein's partial differential equations, in which the only field responsible for gravitation is the metric tensor gap. In General Relativity — similarly to the original Newton's theory of gravitation — the gravitational field (and hence, gravitational acceleration a) generated by a body of mass M at a distance r is proportional to its mass M, with the
gravitation constant G as the proportionality coefficient: a « ——.
It turns out that the observed gravitational accelerations in the vicinity of several distant astronomical bodies are much larger than what is predicted based
on the observable mass M0bs: a > ——. The traditional approach to this problem
is to conclude that, in addition to the observable masses, there are also non-observable ones. In this approach, to explain the observations, we must assume that on the cosmological level, 95% of the mass is formed by hypothetical non-directly-observable "dark matter" and "dark energy".
Some physicists argue that instead of introducing such hypothetical types of matter, it is more reasonable to conclude that the parameter G that described the local strength of gravitational interactions does not have to be a universal constant: measurements of G at different points in space-time can lead, in general, to different
results. In effect, the values <p(x) of — measured at different space-time points x
G
form a new scalar field. So, in such a theory, to describe the gravitational field, we need to present both the metric field gap and the scalar field
The corresponding scalar-tensor theory of gravitation was indeed proposed by Brans and Dicke (see, e.g., [2], Chapter 39); the equations of this theory are presented below.
Historical comment. Historically the first modification of General Relativity, in which there is no need for the hypothetical dark energy and dark matter, came in the form of a modified Lagrangian which only depends on the metric ga@ but which — in contrast to the Lagrangian of General Relativity — is non-linear in the scalar curvature R. However, a recent paper [3] showed that such theories are equivalent to scalar-tensor theories of Brans-Dicke type.
Brans-Dicke Theory: reminder. In the scalar-tensor theory of gravitation, the parameter G that described the local strength of gravitational interactions is no longer a universal constant, it is equal to 1/^, where <p is the new scalar field.
In terms of this new field, the Einstein's term — R from the Lagrangian takes the
G
form ^R.
To get a full description of the scalar-tensor theory, we also need to add, to the
Lagrangian, the term
<P,a<P'
describing the effective energy density of the scalar
field. As a result, we arrive at the following Lagrangian:
Lbdt — < R —
<2
+ 16nLmat.
Varying over gaj3 and we get the following equations:
Raß — 1 gaßR — —Taß + (<P,a<,ß — 19aß<,7) + — 9aß
2 < <2 y 2 J <
□ < — <
8n
;a 3 + 2^
T,
(1) (2)
where T d=f is the trace of the energy-momentum tensor [2].
a
At first glance, the Brans-Dicke theory is T-symmetric. At first glance, from the viewpoint of time symmetry, the Brans-Dicke Theory (BDT) is similar to Einstein's General Relativity:
• similar to General Relativity, the Brans-Dicke Theory is described by second order partial differential equations, and
• the BDT equations remain invariant if we reserve the order of time t, i.e., change t to —t.
In general, in a second-order theory,
• if on some Cauchy surface (e.g., for some moment of time t0), we know the values of the gravity tensor gal3, the scalar field and their first time derivatives gap and ,
• then we can uniquely determine the second time derivatives ga| and (p, and thus (at least locally) integrate the corresponding equations.
3. Main Result: Cauchy Problem for the Brans-Dicke Scalar-Tensor Theory of Gravitation Leads to T-Asymmetry
Our main result: formulation. In this section, we prove a new (somewhat unexpected) result: that with respect to the scalar field p, the Brans-Dicke scalar theory of gravitation is actually first order. Specifically:
• if on some Cauchy surface, we know the values of the gravity tensor gap, its first time derivative gap, and the field p,
• then we can determine the first time derivative p of p from a quadratic equation.
This quadratic equation, in general, has two solutions. This means that in principle, for each initial condition, we can have two different dynamics — corresponding to these two solutions.
Discussion. In physical terms, our result means that the time-symmetric Brans-Dicke Theory (BDT), in effect, consists of two different theories — each of which is second order in metric tensor and first order in p.
Each solution of BDT is a solution of one of these two theories. In particular, our Universe satisfies one of the corresponding two systems of partial differential equations.
The transformation t ^ — t transforms each of these two theories into another one, but none of these two theories is time-symmetric. In other words, in the presence of the additional scalar gravitational field, the equations describing our Universe are not time symmetric.
This may explain the observed time asymmetry of physical phenomena.
Historical comment. The fact that the first derivative p is not needed was first shown in Section 16.4 of [4] for homogeneous isotropic cosmological solutions. In this paper, we show that it is possible to describe p is terms of other initial conditions p, gap, and gap in the general case as well.
How we prove our result. In the following text, we will transform the Brans-Dicke equations step-by-step. After these transformation, we will see that the first time derivative p of the scalar field p on a Cauchy surface can indeed be determined in terms of the values of the metric filed gap, its first time derivative gap, and the field p on this surface.
First transformation: into equivalent equations for the Ricci tensor. The
equations (1) describe the Einstein tensor Rap — -gapR. Let us first use these
equations to describe the Ricci tensor Rap. By definition,
1 „\ 1
Rap = lRap — 2gap R) + 2gap R; (3)
so, to describe the Ricci tensor, it is sufficient to be able to describe the Ricci scalar R. If we take the diagonal of the equation (1), we get
D 8n rp W 3
—R = — t —- p,ap' — Up, p p2 p
so
R = ——T + 4 p ,ap'a + 3 Dp. (4)
p p- p
Substituting this expression (4) for R and the expression (1) for Rap — 1 gapR into the formula (3), we get
4n u ( 1 N 1 u
~Tap - -T9aP + - [p,ap,p - 2gaPpap'") + 2 -2
1 3
+ - gap□p) + — □ -
- 2-
8n (rp ^ ^ , p,ap,p , p;ap , 1 Dp
= — [Tap — " Tg«^ + W-— + - + --gap.
p \ 2 J p2 p 2 p
Substituting the expression (2) for Up into this formula, we conclude that
d 8n ^ 1 + W rp \ , p,a'p,p p;ap , .
Rap = - I T ap — Q , „ Tga^ + W----1--. (5)
p \ 3 + 2w / p2 p
Second transformation: into Gaussian normal coordinates. We will use Gaussian normal coordinates, in which g00 = 1 and g0i = 0 for i = 1, 2, 3, so only the values gij corresponding to i,j = 1,2,3 are changing. In these coordinates, the distance element ds2 = gapdxadxp takes the form
ds2 = dt2 — Yij dxidxj,
where we denoted Yj == —gj. In the Gaussian normal coordinates, the components Roo, R0i, and Rj of the Ricci tensor Rap can be explicitly described in terms of
Yj, Kij == ijij = —Yj, and the time derivative Kij; see, e.g., [2]. Substituting these expressions for R00, R0i, and Rj into the formula (5), and using similar expressions for the derivatives of p, we get the following equations:
1 • i 1 i j 8n ( 1 + w \ + (p)2 + p (6) — 9Ki — ~A KjKj = _ T00 — o.o T + ^^ + (6)
2 4 J p \ 3 + 2w ) p2 p
1 j 1 j , PPi , P,i Ô j - Ô j = ^Toi + u~722r + ~ ' (7)
2 2 P P2 P
Pij - o — 7 xfc - 2xtfc )
1. 1
— x,-,---1
2 4
= - ) + +■ (8)
p \ J 3 + 2u / p2 p
where P, is the 3-D curvature tensor, and all tensor operations are performed in the space with metric y,.
The equation (2) takes the form
p - A< = ?+lUT- (9)
where Ap =f p;, is the 3-D Laplace operator.
It is possible to describe p in terms of y,, Y,, and p: idea of the proof.
The above equations describe the second time derivatives of p and y, in terms of the values p and y, and their first time derivatives.
Let us show that we can actually describe the first derivative p in terms of y, , Y,, and p. Indeed:
• from the equation (9), we can explicitly express p in terms of y,,, Y,,,
and p;
• from the equation (8), we can explicitly express Y, (and, thus, x,) in terms of y,, Yi,, p, and p; the resulting dependence of Y\ on p is linear.
Substituting these expression for Y\ and p into the equality (6), we get a quadratic equation for p. This quadratic equation allows us to determine p in terms of y,, Y„, and p.
Since the equation is quadratic, for each combination of initial values y,,, Yi,, and p, we may get two possible values of p.
How to describe p in terms of y,, , Yi,, and p: details. From the equation (9), we can conclude that
p=aP+3+2^. <10)
Similarly, from the equation (8), we conclude that
1 . ^ K k „ k x 8n / 1 + u
— x,
-p,+Kfcfc - xfc,)+8n (t,,+3^2UtY,) +
2 ^i, P , + 4(, k i -^fc,) + p i, + 3 + 2UT ,
+ + ^^, (11)
p2 p
Hence, we get
1 Y- = P +1 flV^ 2KK^ + 8n 6 + 5uT + „p-p'- 1 Ap - ^ (12) -2K = -P + 4 I^ - 2x,+ 7aT2UT + + p . (12)
Substituting formulas (10) and (12) into the equation (6) and moving all the terms to the right-hand side, we get the desired quadratic equation
where
A(p)2 + Bp + C = 0, (13)
, def Ш def К. , .
A = — ; B = — ; and (14)
p2 p
n def 1 i j f 1 + Ш N Ap 1
C = 7 KjKi +— T00 - о, о T + - + _L О T + P -
4 J p \ 3 + 2*/ p p 3 + 2* 1 (i--i^2- 2KiK^ - —6 + 5*T . .p,ip,i Ap
"I l^j - 2 1 - * о
4 Vv 3 V P 3 + 2u P2 P
-7 (j00 - sT2û^ + P + 4 (^ - 4- • (15)
Mathematical comment. When the quadratic equation has two solutions Pi and P2 for p, we can substitute both solutions into the equation (7) and take the difference between the resulting equalities. Then, for the difference D =f pi — p2, we get the equality
DPi , D,i n
u—— +--= 0.
p2 p
Multiplying both sides of this equation by p and dividing by d, we conclude that
Pi , D,i n
+ pr = 0j PD
i.e., equivalently,
u(ln(p)),j + (ln(D))j = (u ln(p) + ln(D))j = 0.
Since the gradient of the expression u ln(p) + ln(D) is equal to 0, this expression is constant, so u ln(p) + ln(D) = c, ln(D) = c — uln(p) and thus,
pi - p2 = D = ci ■ p-
where we denoted c1 == ec.
The same T-asymmetry holds for more general scalar-tensor theories of gravitation. The authors of [3] also consider generalizations of Brans-Dicke theory, with the Lagrangian
L = p(R - - V(p)) + 16nLmat,
where V(p) is the potential of the scalar field. The original Brans-Dicke theory is a particular case of this general theory, corresponding to V(p) = 0. For this
Lagrangian, the variational equations (generalizing equations (1) and (2)) take the form
Raß - 19aßR = —Taß + ( p ^ ,ß - 1 Qaßp,7p,Y ) +
2 p p2 V 2 y
- gaßQp) - 1 V(p)gaß; (16)
p 2 p
Qp = p;a = - ^ (V - pdp). (17)
The two additional terms depend only on p, so, as one can see, they do not change the fact that the first derivative p can be (almost) uniquely determined by the initial values of p, g^, and g^.
Comment. It is worth mentioning that a similar possibility to reconstruct p from the initial values of p, gj, and gj is also available for more traditional scalar-tensor theories, with a Lagrangian of the type
L = GGR + Lscalar(P, PaP'") + 16nLmat.
For these theories, the proof of this reconstruction possibility is even easier than for the Brans-Dicke-type theories. Indeed, for such more traditional scalar-tensor theories, the right-hand side of the corresponding Einstein equations
Raf — -Rgaf = ... depends only on the first derivatives p and p,j of the scalar field.
In particular, the right-hand side of the equation corresponding to R0i (similar to our equation (7)) contains only p and thus, can be used to explicitly express p in terms of p, gij and g^.
4. Conclusion
Our result shows that the time-symmetric Brans-Dicke Theory of gravitation (BDT), in effect, consists of two different theories — each of which is second order in metric tensor and first order in p. Each solution of BDT is a solution of one of these two theories. In particular, our Universe satisfies one of the corresponding two systems of partial differential equations. The transformation t ^ — t transforms each of these two theories into another one, but none of these two theories is time-symmetric.
In other words, in the presence of the additional scalar gravitational field, the equations describing our Universe are not time symmetric. This may explain the observed time asymmetry of physical phenomena.
Acknowledgments
This research was partly supported by the National Science Foundation grants HRD-0734825 and HRD-1242122 (Cyber-ShARE Center of Excellence) and DUE-
0926721, by Grant 1 T36 GM078000-01 from the National Institutes of Health, and by a grant on F-transforms from the Office of Naval Research.
References
1. Feynman R., Leighton R., Sands M. The Feynman Lectures on Physics. Boston, Massachusetts : Addison Wesley, 2005.
2. Misner C.W., Thorne K.S., Wheeler J.A. Gravitation. New York : W.H. Freeman, 1973.
3. Olmo G.J., Sanchis-Alepus H. Hamiltonian formulation of Palatini f (R) theories a la Brans-Dicke theory // Phys. Rev. D. 2011. V. 83, N. 10, Publ. 104036.
4. Weinberg S. Gravitation and Cosmology: Principles and Applications of the General Theory of Relativity. New York: J. Wiley, 1972.