1. Introduction
The discrepancy between the Newtonian prediction that orbital velocities within spiral Galaxies fall off
away from the bulk of the galactic mass distribution and observations that reveal that, in every spiral galaxy, the velocity distribution reaches a plateau as the accelerations approach the value
m/s
. The authors in [
1] led to two diametrically distinct approaches to the conundrum: (i) the Dark Matter Scenario [
2] where putative non-barionic dark matter with a spherical distribution involving the disk galaxy provides the needed mass deficit to conform to the observed flat rotation curves and still adhere to the Newtonian paradigm—in this case, the Newtonian potential has a logarithmic dependence on
r exactly what is needed to provide the flat rotation curves; (ii) the Mond Scenario [
3,
4] in which the relation between the acceleration and Newtonian gravitational potential is given by
where
is a function such that
as
to recover the Newtonian limit and
as
to reproduce the flat rotation curves of galaxies. One of the immediate consequences of this approach is the automatic reproduction of the Tully-Fisher Law that states the galaxy luminosity of the galaxy scales as
, where
v is the orbital velocity away from the mass distribution, provided that Luminosity tracks the Mass. The defenders of Mond claim that in order for the dark matter paradigm to conform to the Tully-Fisher law, a very precise (and quite unreasonable) fine-tuning between the halo distribution and the observed mass distribution in the galactic disk is required [
5].
The MOND paradigm evolved into a relativistic equation TeVeS [
6], involving the metric, a scalar and a vector field phrased in terms of a Lagrangian principle. The theory is very successful in reproducing the rotation curves in spiral Galaxies but is at odds with observed background radiation anisotropies [
7]. Furthermore, TeVeS is in blatant disagreement with weak lensing observations. The latter is made particularly transparent by the Bullet Cluster lensing observations [
8,
9].
While the dark matter paradigm cannot explain the existence of the transition acceleration scale
, in TeVeS, it enters as a God-Given parameter in the Lagrangian. Neither one of these possibilities is theoretically acceptable. Intriguingly,
comes very close to
m/s
and raises the question of whether the change on the dynamical behavior has a cosmological origin. This avenue was exploited to some degree in the past [
10,
11].
According to Birkhoff’s theorem, in Einstein’s theory, the gravitational field of a spherical symmetric mass, so the cosmological expansion cannot play any role in the local dynamics. A gauge vector field is likewise of no avail; by Gauss’ theorem, it also depends upon the internal configuration. Thus, if the Cosmological expansion is to “leak” into the Galactic dynamics, scalar, spinors or non-gauge vector fields must be called for.
In this paper, we deal with a Brans–Dicke theory and carefully write down the field equations for linearized perturbations on the top of the cosmological background. Cassini data limit , which is not very generous for the Brans–Dicke theory but could well be enough to explain the dynamical changes at galactic scales or larger.
In the next section, we shall write down the field equations for the background metric and the perturbations that arise from the cosmological expansion as a series in powers of the Hubble constant. We decompose these perturbations as scalar, vector and tensor fields, as it is usually done for linear gravitational perturbations. These equations represent corrections of the dynamical equations and contain correction terms in powers of . The field equations are then solved perturbatively in powers of . The gravitational potential turns out to contain only even powers of , and we expand it up to . It turns out that all corrections are way too small to play any role in the local dynamics. Then, in the following section, we study a massless spinor field and show that, in this case, there are also no linear corrections in . In the concluding remarks, we discuss that there is no a priori reason for the absence of odd powers in the Hubble constant and explore the prospects of a linear term in and in the expansion. We discuss that such terms do not resolve the conundrum. Then, we consider the possibility of an expansion of the Newtonian potential in half integer powers of the Hubble constant. Such an expansion predicts flat rotation curves and Tully-Fisher’s Law.
2. Brans–Dicke Theory
Brans–Dicke theory is defined by the equations of motion
and
where
and the matter and vacuum energy distributions are represented by
where
and
for the present state of the Universe. Consequently,
. For future reference, we recall that
We wish to construct the field perturbations on the top of a cosmological background for the Brans–Dicke theory; they represent the local matter distribution. First things first, we start by solving the equations for the background fields. In the absence of any dimensional parameter, we assume that for a short time interval (the observation time),
for some dimensionless
. Then, with this parametrization
and
We identify the energy density and the pressure exerted by the field as
Defining, as usual,
and
from Friedman’s equations
and
The field equation for the Brans–Dicke field yields
Aiming to solve the perturbed equations, we display Einstein’s equations in a more convenient form
where
and
There are two relevant coordinate systems: the
r-frame (
coordinates), which locally attached to the local mass distribution, and the
x-frame (
coordinates), which is the cosmological co-moving frame, with
. The
r-frame is the physically meaningful frame for local dynamics, but the
x-frame turns out to be much more convenient for performing calculations. Accordingly, we construct static local disturbances in the
r-frame (we are not interested in galactic evolution), make a coordinate transformation to the
x-frame and perform calculations, obtaining the perturbed fields. Then, we transform them back to the
r-frame. Let
represent the static metric perturbations in the
r-frame, then the line element is
where
,
is the cosmological smooth background. Under a ‘
r’ to ‘
x’ coordinate transformation, the line element perturbation looks
where
, and we recall that
.
Inspecting this form, we express the perturbed metric in the
x-frame
in the form:
where
,
and
are to be regarded as scalar, vector and tensor fields of a flat three-dimensional space. It is reasonable to assume that the global space curvature is unimportant on a local scale; thus, locally, we take
. Similarly, the perturbation of the scalar field is static in the physical frame,
.
We represent the local mass distribution as a disturbance of the global smooth distribution. In this case,
stands for the pressure and
the mass density of the local matter distribution. Locally,
and
, which is the local Galactic mass distribution. There is still one missing field
, the difference between the velocity of locally static observer in the
r-frame with respect to a cosmological co-moving observer. For a static observer in the local frame,
with constant
. Thus, the corresponding velocity in the
x-frame is:
Recalling that
is the velocity of the cosmological co-moving observer. Clearly,
or
Preparing the ground for calculating the perturbations of the field equations, we first evaluate
where
and, consequently,
with
. We adopt the Lorentz gauge condition,
in which case
and simply drop the last term in Equation (27). We can express this gauge condition in terms of the effective 3D-fields:
The field equations governing the local scalar field is
However,
where
. Then,
Clearly,
is the local energy already discussed. From Equation (2),
We translate back our equations in terms of
r-frame variables. In contrast to the co-moving derivative
, we define the local derivative
. Then,
and as the rule of the thumb we automatically replace everywhere
. Furthermore
With the replacement
the scalar field equation (Equation (34)) looks like the following in its final form
The field equations for the gravitational field are given by the linear perturbations of Einstein’s equations:
where
Let us start with the lhs. We borrow from MTW [
12]:
and rewrite the divergence of the gauge condition (Equation (28)) in the form:
With the rule for the commutation of derivates for
tensors
it follows that
and then
This expression is quite general. For a homogenous and isotropic background, the Weyl tensor vanishes, and the Riemann tensor is entirely described by the Ricci curvature:
Our next step is to express
in terms of the fields
and
according to their definitions (Equation (21)). Furthermore, we use the field equations of the unperturbed fields (Equations (16)–(18)), obtaining
The linear variation of Equations (17) and (18) provide the source terms of the gravitational field equations:
together with
Working out the components
We shall put all the pieces together, Equations (51)–(53) with Equations (54)–(56) and (59). We use the gauge conditions (Equation (30)) and the replacements (36), (38). The ‘scalar equation’ that arises from the 00 component is
while the vector equation that arises from the
component is
Last, the tensor equation from the
component can be simplified with the aid of Friedman’s equation (Equation (13)):
where we define the numerical coefficients coefficients:
3. Solving the Equations by Perturbation
At this stage, a remark of caution is in order. Albeit the perturbation fields
,
and
stand for
and are functions of the local coordinate
, they are still metric perturbations in the
x-frame (see Equations (20) and (21)):
Transforming back to the
r-frame:
We shall consider spherically symmetric configurations alone. In this case,
where
and
W are ‘scalar fields’. Then,
and also
Next, we introduce these expressions into the their corresponding Equations (64)–(66) and solve them pertubatively in powers of
H. The zeroth order satisfying the gauge conditions is
The easiest way of getting
W is by substituting the previous results into the gauge condition in Equation (30). From now on, we drop numerical coefficients, then
and by virtue of Equation (79), it follows that
and no r-dependence, and then
To the second order, we have
and
whose solution is
at higher orders
The fourth order equations for
and
are identical to Equations (86) and (87). Therefore,
Thus, by virtue of Equation (75),
The term arrives from the coordinate transformation from the x frame to the r-frame (see Equation (75)). A comparison with the Newtonian potential term reveals that it becomes relevant as or kpc for a typical galaxy. On the same grounds, the correction becomes relevant only at the Hubble distance . Notice that there are no linear terms on H that could bring about relevant corrections to the local dynamics.
4. Spinor Field
In the Brans–Dicke theory, the lowest order in H corrections of the field equations are quadratic in the Hubble constant. We wonder if a spinor field, whose energy momentum tensor contains first derivatives of the spinor field, could remedy the problem and yield larger contributions. Since we agreed not to settle the scale of through external given parameters, we concentrate on a massless particle. All non-zero momentum modes can be swept into the energy momentum tensor of the matter distribution, and the discussion is similar to that of the previous section. Nevertheless, the zero mode has no particle content and must be dealt with separately. We consider this mode as being a cosmological substrate that is deformed in the presence of a mass distribution and calculate its contribution to the energy-momentum tensor.
In a curved space-time, the Dirac equation reads
where
are the four tetrads (the index in bracket is a Lorentz index, and the other one is the space-time component),
Bracketed indexes of the tetrads are raised/lowered with
, and unbracketed indexes with the space-time metric
and
are the Dirac matrices:
and the spin connection is defined as
Furthermore, one defines the derivative operator
The energy momentum tensor is
where the swapping
of indexes is carried out for symmetrisation. The tetrads of the Robertson–Walker metric are diagonal:
where Greek indexes run over the spatial components, and
is the cosmological radius scale. In this case, the only non-vanishing components of spin-connection are
after some algebra, the Dirac Equation reads
where
.
The generic solution is of the form
. For a massless and zero momentum configuration,
with
a constant spinor. The energy-momentum components are
since
is real. Thus, the zero mode (substrate) does not modify the cosmological dynamics.
Consider now the perturbations generated by the local gravitational field. The departure of the spinor from the cosmological background is here defined as
and the tetrad variation
such that
Last, we define
. One shows that
Then, the perturbed Dirac equation reads
To proceed further, we specify the perturbation of the tetrad:
Since the tetrad
is time-like, through a Lorentz transformation, we can eliminate all the spatial components
. Thus, in this particular Lorentz frame,
and
Inserting these tetrads into Equation (105), yields
Inserting Equations (108) and (109) into (106) while recalling the substitution
leads, after some algebra, to
where
and
.
The time-dependent solution
is not consistent with the rhs unless
. This is in agreement with the fact that we regard
as a distortion of the minimum energy configuration
(the substrate) due to the local gravitational field. Recalling that
is a derivative with
-constant of a function that depends on
, we can replace
In the spirit of the previous discussions, we solve the equation perturbatively:
As in the previous section,
starts at the order
(it is related to
equation, and it vanishes for a static configuration). Then to the lowest order in
HApplying
on both sides
whose solution is
where
and primed functions means they are expressed in terms of
. Expanding the spinor Equation (111) to the first order in
H reads
The energy momentum tensor corresponding to disturbance of the cosmological substrate is
We are mainly interested in the
component. Recalling that
,
, we get
Now,
is real and the current
since there is no preferred cosmological direction. Furthermore, for a spherical symmetrical configuration,
(see Equation (109)), thus
To the first order in
H, we need only
(Equation (115)),
Clearly, in a spherical symmetrical configuration,
is symmetric, thus
where
. Accordingly, a spinor cannot induce a first order in
H correction to the Newtonian potential.
Unforseeably, none of the field theories studied in this paper can produce odd corrections in H to the local gravitational fields and, therefore, cannot bring about substantial corrections to the local dynamics.
5. Concluding Remarks
In the lack of a general principle forbidding odd powers in
H, it is conceivable that some field theory could bring about odd powers in the
H-expansion. Should such a theory exist, the lowest order corrections are linear in
H and on dimensional grounds
Accordingly, the velocity profile away from the mass distribution would be
The last term yields flat rotation curves, but compared to the Newtonian term, it only becomes relevant at scales ; thus, it is meaningless. The second term gives a linearly growing velocity curve at a very much small slope such that could be mistakenly taken for a flat rotation curve at , but for larger scales, the velocity curve would behave as , which is not observed. Therefore, a theory that yields linear terms of the cosmological constant does not solve the flat rotation curves conundrum. However, a theory that contains half integer powers of should contain a term of the form in the Newtonian potential. Clearly, such a term yields flat rotation curves with , which is precisely Tully-Fisher’s law. It remains to be shown whether such a theory can be constructed. For the time being, the only satisfying theoretical paradigm for explaining flat rotation remains dark matter.