Traversable Wormholes and the Brouwer Fixed-Point Theorem ()

Peter K. F. Kuhfittig^{}

Department of Mathematics, Milwaukee School of Engineering, Milwaukee, WI, USA.

**DOI: **10.4236/jamp.2020.87096
PDF HTML XML
194
Downloads
560
Views
Citations

Department of Mathematics, Milwaukee School of Engineering, Milwaukee, WI, USA.

The Brouwer fixed-point theorem in topology states that for any continuous mapping *f* on a compact convex set into itself admits a fixed point, *i.e.*, a point *x*_{0} such that* f*(*x*_{0}) = *x*_{0}. Under suitable conditions, this fixed point corresponds to the throat of a traversable wormhole, *i.e.*, *b*(*r*_{0}) = *r*_{0} for the shape function *b* = *b*(*r*). The possible existence of wormholes can therefore be deduced from purely mathematical considerations without going beyond the existing physical requirements.

Share and Cite:

Kuhfittig, P. (2020) Traversable Wormholes and the Brouwer Fixed-Point Theorem. *Journal of Applied Mathematics and Physics*, **8**, 1263-1268. doi: 10.4236/jamp.2020.87096.

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:

$\text{d}{s}^{2}=-{\text{e}}^{2\Phi \left(r\right)}\text{d}{t}^{2}+\frac{\text{d}{r}^{2}}{1-b\left(r\right)/r}+{r}^{2}\left(\text{d}{\theta}^{2}+{\text{sin}}^{2}\theta \text{d}{\varphi}^{2}\right)\mathrm{,}$ (1)

using units in which
$c=G=1$. Here
$\Phi =\Phi \left(r\right)$ is called the *redshift* *function*, which must be finite everywhere to prevent the appearance of an event horizon. The function
$b=b\left(r\right)$ 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
$r={r}_{0}$ is the *throat* of the wormhole and is characterized by the following condition:
$b\left({r}_{0}\right)={r}_{0}$. Mathematically speaking,
$r={r}_{0}$ is called a *fixed* *point* of the function
$b=b\left(r\right)$ and will play a key role in our discussion. For a traversable wormhole, an important requirement is the *flare-out* *condition*
${b}^{\prime}\left({r}_{0}\right)<1$ ; also,
$b\left(r\right)<r$ for
$r>{r}_{0}$. The flare-out condition can only be met by violating the null energy condition [NEC], which states that

${T}_{\alpha \beta}{k}^{\alpha}{k}^{\beta}\ge 0$ (2)

for all null vectors ${k}^{\alpha}$, where ${T}_{\alpha \beta}$ is the stress-energy tensor. Matter that violates the NEC is called “exotic” in Ref. [1]. In particular, for the outgoing null vector $\left(\mathrm{1,1,0,0}\right)$, the violation has the form

${T}_{\alpha \beta}{k}^{\alpha}{k}^{\beta}=\rho +{p}_{r}<0.$ (3)

Here ${T}_{t}^{t}=-\rho $ is the energy density, ${T}_{r}^{r}={p}_{r}$ is the radial pressure, and ${T}_{\theta}^{\theta}={T}_{\varphi}^{\varphi}={p}_{t}$ is the lateral pressure. For completeness, let us also list the Einstein field equations:

$\rho \left(r\right)=\frac{{b}^{\prime}}{8\pi {r}^{2}}\mathrm{,}$ (4)

${p}_{r}\left(r\right)=\frac{1}{8\pi}\left[-\frac{b}{{r}^{3}}+2\left(1-\frac{b}{r}\right)\frac{{\Phi}^{\prime}}{r}\right]\mathrm{,}$ (5)

and

${p}_{t}\left(r\right)=\frac{1}{8\pi}\left(1-\frac{b}{r}\right)\left[{\Phi}^{\u2033}-\frac{{b}^{\prime}r-b}{2r\left(r-b\right)}{\Phi}^{\prime}+{\left({\Phi}^{\prime}\right)}^{2}+\frac{{\Phi}^{\prime}}{r}-\frac{{b}^{\prime}r-b}{2{r}^{2}\left(r-b\right)}\right]\mathrm{.}$ (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 $\left[a\mathrm{,}b\right]$ on the real line into itself. Then f has a fixed point, i.e., there is a point ${x}_{0}$ such that $f\left({x}_{0}\right)={x}_{0}$.

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

$r\equiv m\left(r\right)={\displaystyle {\int}_{0}^{r}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}4\pi {\left({r}^{\prime}\right)}^{2}\rho \left({r}^{\prime}\right)\text{d}{r}^{\prime}\mathrm{,}$ (7)

where $\rho \left(r\right)$ is the energy density. Moreover, everywhere outside the star,

$m\left(r\right)=M\equiv \text{total mass-energy in the Newtonian limit}\mathrm{.}$ (8)

We also have from Equation (4) that

$b\left(r\right)={\displaystyle {\int}_{0}^{r}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}8\pi {\left({r}^{\prime}\right)}^{2}\rho \left({r}^{\prime}\right)\text{d}{r}^{\prime}\mathrm{.}$ (9)

The line element (page 608 in Ref. [3]) is given by

$\begin{array}{c}\text{d}{s}^{2}=-{\text{e}}^{2\Phi \left(r\right)}\text{d}{t}^{2}+\frac{\text{d}{r}^{2}}{1-2m\left(r\right)/r}+{r}^{2}\left(\text{d}{\theta}^{2}+{\text{sin}}^{2}\theta \text{d}{\varphi}^{2}\right)\\ =-\left(1-\frac{2M}{r}\right)\text{d}{t}^{2}+\frac{\text{d}{r}^{2}}{1-2M/r}+{r}^{2}\left(\text{d}{\theta}^{2}+{\text{sin}}^{2}\theta \text{d}{\varphi}^{2}\right)\mathrm{,}\text{\hspace{1em}}\text{for}\text{\hspace{0.17em}}r>R\mathrm{,}\end{array}$ (10)

where R is the radius of the spherical star. According to Equations (7) and (9), $b\left(r\right)=2m\left(r\right)$. With our wormhole spacetime in mind, a more convenient form of the line element is

$\text{d}{s}^{2}=-{\text{e}}^{\Phi \left(r\right)}\text{d}{t}^{2}+\frac{\text{d}{r}^{2}}{1-m\left(r\right)/r}+{r}^{2}\left(\text{d}{\theta}^{2}+{\text{sin}}^{2}\theta \text{d}{\varphi}^{2}\right)\mathrm{,}\text{\hspace{1em}}\text{insideradius}\text{\hspace{0.17em}}r\mathrm{,}$ (11)

and

$\text{d}{s}^{2}=-\left(1-\frac{M}{r}\right)\text{d}{t}^{2}+\frac{\text{d}{r}^{2}}{1-M/r}+{r}^{2}\left(\text{d}{\theta}^{2}+{\text{sin}}^{2}\theta \text{d}{\varphi}^{2}\right)\mathrm{,}\text{\hspace{1em}}\text{for}\text{\hspace{0.17em}}r>R\mathrm{,}$ (12)

where R is the radius of the star. Now $m\left(r\right)$ corresponds to $b\left(r\right)$ 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
$r={r}_{1}$. For example, the average density of our sun is approximately 1.4 g/cm^{3}, while the density of the core is well over 100 g/cm^{3}. We will consider some other quantitative aspects in the next section.

Suppose $\rho \left(r\right)$ denotes the mass density of the star for $r>{r}_{1}$ and consider the mass

${m}^{\mathrm{*}}\left(r\right)={\displaystyle {\int}_{{r}_{1}}^{r}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}4\pi {\left({r}^{\prime}\right)}^{2}\rho \left({r}^{\prime}\right)\text{d}{r}^{\prime}\mathrm{.}$

Then ${m}^{\mathrm{*}}\left({r}_{1}\right)=0$ and the mapping

${m}^{\mathrm{*}}\mathrm{:}\left[{r}_{1}\mathrm{,}\infty \right)\to \left[\mathrm{0,}\infty \right)$

is no longer a self-mapping. Let us therefore denote the mass of the spherical core of the star by $K\left(r\right)$ and its mass density by ${\rho}_{1}\left(r\right)$. Then ${\rho}_{1}\left(r\right)>\rho \left(r\right)$. Now consider a new mapping

$m\left(r\right)={\displaystyle {\int}_{{r}_{1}}^{r}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}4\pi {\left({r}^{\prime}\right)}^{2}\rho \left({r}^{\prime}\right)\text{d}{r}^{\prime}+K\left({r}_{1}\right),$ (13)

where $K\left({r}_{1}\right)>{r}_{1}$. Since $m\left({r}_{1}\right)=K\left({r}_{1}\right)$, we see that $K\left({r}_{1}\right)$ is indeed the mass of the core. Letting $r=R$ be the radius of the star, we now draw the important conclusion that $m\left(r\right)$ in Equation (13) maps the closed interval $\left[{r}_{1}\mathrm{,}R\right]$ into itself, i.e.,

$\left[K\left({r}_{1}\right)\mathrm{,}{R}^{\mathrm{*}}\right]\subset \left[{r}_{1}\mathrm{,}R\right]\mathrm{,}$ (14)

where

${R}^{*}=m\left(R\right)={\displaystyle {\int}_{{r}_{1}}^{R}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}4\pi {r}^{2}\rho \left(r\right)\text{d}r+K\left({r}_{1}\right),$ (15)

provided that ${R}^{\mathrm{*}}\le R$. This conclusion can be illustrated graphically, as shown in Figure 1.

We also have

${m}^{\prime}\left(r\right)=4\pi {r}^{2}\rho \left(r\right)\ll \mathrm{1,}$ (16)

since $\rho \left(r\right)$ is very small in our geometrized units. So while $m\left(r\right)$ is an increasing function, ${m}^{\prime}\left(r\right)$ remains less than unity.

Figure 1. $m\left(r\right)$ maps the closed interval $\left[{r}_{1}\mathrm{,}R\right]$ into itself.

We have seen that we obtain a self-mapping provided that $K\left({r}_{1}\right)>{r}_{1}$. However, Equation (14) and Figure 1 show that the mass $K\left({r}_{1}\right)$ of the core must not be excessively large.

Finally, from the Brouwer fixed-point theorem, we obtain (since $b\left(r\right)\equiv m(\; r\; ))$

$b\left({r}_{0}\right)=m\left({r}_{0}\right)={\displaystyle {\int}_{{r}_{1}}^{{r}_{0}}}\text{\hspace{0.05em}}\text{\hspace{0.05em}}4\pi {r}^{2}\rho \left(r\right)\text{d}r+K\left({r}_{1}\right)={r}_{0}.$ (17)

By Equation (16), ${b}^{\prime}\left({r}_{0}\right)={m}^{\prime}\left({r}_{0}\right)<1$, so that the flare-out condition is satisfied.

In the resulting wormhole spacetime, the region inside the throat $r={r}_{0}$ 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]

$\rho \left(r\right)=\frac{{\rho}_{s}}{\frac{r}{{r}_{s}}{\left(1+\frac{r}{{r}_{s}}\right)}^{2}}\mathrm{,}$ (18)

where ${r}_{s}$ is the characteristic scale radius and ${\rho}_{s}$ is the corresponding density. The Universal Rotation Curve [8] is given by

$\rho \left(r\right)=\frac{{\rho}_{c}{r}_{c}^{3}}{\left(r+{r}_{c}\right)\left({r}^{2}+{r}_{c}^{2}\right)}\mathrm{,}$ (19)

where ${r}_{c}$ is the core radius of the galaxy and ${\rho}_{c}$ is the central halo density. Another example is the King model whose energy density is given by [9]

$\rho \left(r\right)=\kappa {\left(\frac{{r}^{2}}{{r}_{0}}+\lambda \right)}^{\eta}\mathrm{,}$ (20)

where $\eta $, $\kappa $, ${r}_{0}$, and $\lambda $ are constants.

All of these models have a low energy density. So if ${r}_{1}$ 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 $m\left(r\right)$ 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 $r={r}_{1}$ denotes the radius of the core and $K\left({r}_{1}\right)$ its mass, then $m\left(r\right)$, the effective mass of the star, is given by Equation (13). The function $m\left(r\right)$ 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 $b\left({r}_{0}\right)=m\left({r}_{0}\right)={r}_{0}$ and ${b}^{\prime}\left({r}_{0}\right)={m}^{\prime}\left({r}_{0}\right)<1$. 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 $r={r}_{1}$ 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.

Conflicts of Interest

The author declares no conflicts of interest regarding the publication of this paper.

[1] |
Morris, M.S. and Thorne, K.S. (1988) Wormholes in Spacetime and Their Use for Interstellar Travel: A Tool for Teaching General Relativity. American Journal of Physics, 56, 395-412. https://doi.org/10.1119/1.15620 |

[2] | Brouwer, L.E.J. (1911) über Abbildungen von Mannigfaltikeiten. Mathematische Annalen, 71, 97-115. |

[3] | Misner, C.W., Thorne, K.S. and Wheeler, J.A. (1973) Gravitation. W.H. Freeman and Company, New York, 603-608. |

[4] |
Poisson, E. and Visser, M. (1995) Thin-Shell Wormholes: Linear Stability. Physical Review D, 52, 7318-7321. https://doi.org/10.1103/physrevd.52.7318 |

[5] |
Kuhfittig, P.K.F. (2013) Neutron Star Interiors and Topology Change. Advances in Mathematical Physics, 2013, Article ID: 630196. https://doi.org/10.1155/2013/630196 |

[6] |
Perez-Garcia, M.A., Silk, J. and Stone, J.R. (2010) Dark Matter, Neutron Stars, and Strange Quark Matter. Physical Review Letters, 105, Article ID: 141101. https://doi.org/10.1103/physrevlett.105.141101 |

[7] |
Navarro, J.F., Frenk, C.S. and White, S.D.M. (1996) The Structure of Cold Dark Matter Halos. Astrophysical Journal, 462, 563-575. https://doi.org/10.1086/177173 |

[8] |
Castignani, G., Fruscianti, N., Vernieri, D. and Salucci, P. (2012) The Density Profiles of Dark Matter Halos in Spiral Galaxies. Natural Science, 4, 265-270. https://doi.org/10.4236/ns.2012.45038 |

[9] |
King, I.R. (1972) Density Data and Emission Measure for a Model of the Coma Cluster. Astrophysical Journal, 174, L123. https://doi.org/10.1086/180963 |

Journals Menu

Copyright © 2021 by authors and Scientific Research Publishing Inc.

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.