1. Introduction
Wormholes are handles or tunnels in spacetime connecting widely separated regions of our Universe or entirely different universes. Morris and Thorne [1] proposed the following line element for the wormhole spacetime:
(1)
using units in which
. Here
is called the redshift function, which must be finite everywhere to prevent the appearance of an event horizon. The function
is called the shape function since it determines the spatial shape of the wormhole when viewed, for example, in an embedding diagram [1]. The spherical surface
is the throat of the wormhole and is characterized by the following condition:
. Mathematically speaking,
is called a fixed point of the function
and will play a key role in our discussion. For a traversable wormhole, an important requirement is the flare-out condition
; also,
for
. The flare-out condition can only be met by violating the null energy condition [NEC], which states that
(2)
for all null vectors
, where
is the stress-energy tensor. Matter that violates the NEC is called “exotic” in Ref. [1]. In particular, for the outgoing null vector
, the violation has the form
(3)
Here
is the energy density,
is the radial pressure, and
is the lateral pressure. For completeness, let us also list the Einstein field equations:
(4)
(5)
and
(6)
The purpose of this paper is to make use of fixed-point theory to show that certain physical conditions imply the possible existence of traversable wormholes. To that end, we need the following special case of the Brouwer fixed-point theorem:
Theorem [2]. Let f be a continuous function from a closed interval
on the real line into itself. Then f has a fixed point, i.e., there is a point
such that
.
A function that maps a set into itself is called a self-mapping.
2. Some Consequences of the Brouwer Fixed-Point Theorem
According to Ref. [3], the total mass-energy M of an isolated star is well defined as long as one retains spherical symmetry. In Schwarzschild coordinates,
Total mass-energy inside radius
(7)
where
is the energy density. Moreover, everywhere outside the star,
(8)
We also have from Equation (4) that
(9)
The line element (page 608 in Ref. [3]) is given by
(10)
where R is the radius of the spherical star. According to Equations (7) and (9),
. With our wormhole spacetime in mind, a more convenient form of the line element is
(11)
and
(12)
where R is the radius of the star. Now
corresponds to
in line element (1).
To apply the Brouwer fixed-point theorem, we need to make use of the fact that every star has a dense core of radius
. For example, the average density of our sun is approximately 1.4 g/cm3, while the density of the core is well over 100 g/cm3. We will consider some other quantitative aspects in the next section.
Suppose
denotes the mass density of the star for
and consider the mass
Then
and the mapping
is no longer a self-mapping. Let us therefore denote the mass of the spherical core of the star by
and its mass density by
. Then
. Now consider a new mapping
(13)
where
. Since
, we see that
is indeed the mass of the core. Letting
be the radius of the star, we now draw the important conclusion that
in Equation (13) maps the closed interval
into itself, i.e.,
(14)
where
(15)
provided that
. This conclusion can be illustrated graphically, as shown in Figure 1.
We also have
(16)
since
is very small in our geometrized units. So while
is an increasing function,
remains less than unity.
Figure 1.
maps the closed interval
into itself.
We have seen that we obtain a self-mapping provided that
. However, Equation (14) and Figure 1 show that the mass
of the core must not be excessively large.
Finally, from the Brouwer fixed-point theorem, we obtain (since
(17)
By Equation (16),
, so that the flare-out condition is satisfied.
In the resulting wormhole spacetime, the region inside the throat
is not part of the wormhole, but this region still contributes to the gravitational field. This can be compared to a thin-shell wormhole resulting from a Schwarzschild black hole [4]: while not part of the manifold, the black hole generates the underlying gravitational field.
As actual (quantified) example of the type of wormhole discussed is given in Ref. [5]. It is shown that for a typical neutron star, the possible formation of a wormhole requires a core of quark matter that is approximately 1 m in radius. (Quark matter is believed to exist at the center of neutron stars [6].) Qualitatively speaking, the conditions above apply to any star since, as already noted, stars are known to have dense cores.
3. A Dark-Matter Background
In the discussion of dark matter, several models have been proposed for the energy density. The best-known of these is the Navarro-Frenk-White model [7]
(18)
where
is the characteristic scale radius and
is the corresponding density. The Universal Rotation Curve [8] is given by
(19)
where
is the core radius of the galaxy and
is the central halo density. Another example is the King model whose energy density is given by [9]
(20)
where
,
,
, and
are constants.
All of these models have a low energy density. So if
is the radius of a star, then the star itself becomes the core since its energy density is much larger than that of the surrounding dark matter. Furthermore, since there is no outer boundary, we can choose R large enough so that
in Equation (13) is a self-mapping. The existence of a fixed point now implies the possible existence of a wormhole in the dark-matter region.
4. Conclusion
A typical star has a dense spherical core. If
denotes the radius of the core and
its mass, then
, the effective mass of the star, is given by Equation (13). The function
satisfies the hypothesis of the Brouwer fixed-point theorem. The fixed point can be viewed as the radius of the throat of a traversable wormhole since
and
. This result agrees with an earlier finding [5] showing that a typical neutron star requires a core of quark matter of radius 1 m for the possible existence of a wormhole. The above result can also be applied to a dark-matter setting by treating a star of radius
as the core. So the possible existence of traversable wormholes follows directly from purely mathematical considerations without going beyond the physical requirements already in place.