Exploration of Traversable Wormholes Sustained by an Extra Spatial Dimension

Abstract

The main goal of this paper is to determine the effect of an extra dimension on a traversable wormhole. Here an earlier study by the author [Phys. Rev. D 98, 064041 (2018)] is extended in several significant ways. To begin with, the extra spatial dimension is assumed to be time dependent, while the redshift and shape functions, as well as the extra dimension, are functions of both r and l, the respective radial and extra coordinates; the last of these is therefore a function of r, l, and t. The main objective is to determine the conditions that allow the throat of the wormhole to be threaded with ordinary matter (by respecting the null energy condition) and that the same conditions lead to a violation of the null energy condition in the fifth dimension, which is therefore responsible for sustaining the wormhole. The dependence of the extra dimension on l and t is subject to additional conditions that are subsequently analyzed in this paper. Finally, the extra dimension may be extremely small or even curled up.

Share and Cite:

Kuhfittig, P. (2023) Exploration of Traversable Wormholes Sustained by an Extra Spatial Dimension. International Journal of Astronomy and Astrophysics, 13, 141-153. doi: 10.4236/ijaa.2023.133008.

1. Introduction

While wormholes are as good a prediction of Einstein’s theory as black holes, such structures can only be maintained by violating the null energy condition, requiring the use of “exotic matter” [1] . Such wormholes would be subject to extreme fine-tuning of the metric coefficients in order to exist [2] . Another possibility for the theoretical construction is the use of phantom dark energy, which is known to violate the null energy condition [3] [4] .

Other departures from classical relativity have been suggested for dealing with the energy violation. Refs. [5] and [6] , as well as the present paper, rely on an extra spatial dimension, discussed further below. Part of the motivation comes from Lobo and Oliveira [7] in the context of f ( R ) modified gravity: in principle, a wormhole could be constructed from ordinary matter, while the unavoidable violation of the null energy condition can be attributed to the effect of the modified gravitational theory. In analogous fashion, Refs. [8] [9] show that ordinary matter may be allowed since the violation of the null energy condition is due to the noncommutative-geometry background.

A suitable model for a five- or higher-dimensional wormhole is suggested by the following classical line element in Schwarzschild coordinates:

d s 2 = e 2 Φ ( r ) d t 2 + e 2 λ ( r ) d r 2 + r 2 S 2 2 , (1)

where S 2 2 = d θ 2 + sin 2 θ d ϕ 2 . In a seemingly natural extension, the two-sphere S 2 2 is replaced by the n-sphere S n 2 , where

d S n 2 = d θ 1 2 + sin 2 θ 1 d θ 2 + sin 2 θ 1 sin 2 θ 2 d θ 3 + + i = 1 n 1 sin 2 θ i d θ n 2 (2)

[10] [11] . For a 3-sphere, we can use the familiar notation

S 3 2 = d θ 2 + sin 2 θ ( d ϕ 2 + sin 2 ϕ d α 2 ) . (3)

This form arises in the classical Friedmann-Lemaître-Robertson-Walker (FLRW) model

d s 2 = d τ 2 + [ a ( t ) ] 2 [ d r 2 1 k r 2 + d θ 2 + sin 2 θ ( d ϕ 2 + sin 2 ϕ d α 2 ) ] . (4)

Wormhole solutions based on line element (2) are discussed in Ref. [8] , given a noncommutative-geometry background.

Since Morris-Thorne wormholes do not normally require a cosmological setting, it seems more natural to consider the line element proposed in Ref. [5] :

d s 2 = e 2 Φ ( r ) d t 2 + e 2 λ ( r ) d r 2 + r 2 ( d θ 2 + sin 2 θ d ϕ 2 ) + e 2 μ ( r , l ) d l 2 , (5)

where l is the extra coordinate. (We are using units in which c = G = 1 .)

The idea of an extra spatial dimension had its origin in the Kaluza-Klein theory and eventually led to the compactified extra dimensions in string theory. That an extra dimension may be macroscopic was proposed by Paul Wesson in a series of papers [12] [13] [14] [15] , leading to the induced-matter theory: the field equations for a five-dimensional totally flat space yield the Einstein field equations in four dimensions containing matter. In this paper, we assume that the extra dimension may be time dependent and that no a priori restriction is to be placed on the size.

Of particular interest to us is the form of the line element in Ref. [12] :

d s 2 = ( l / L 2 ) g α β ( x γ , l ) d x α d x β ± d l 2 . (6)

Here d l 2 can take on the more general form A ( x γ , l ) d l 2 . To emphasize the dependence of the metric coefficients on l, we will employ the following line element for a wormhole based on an extension of Equation (5):

d s 2 = e 2 Φ ( r , l ) d t 2 + e 2 λ ( r , l ) d r 2 + r 2 ( d θ 2 + sin 2 θ d ϕ 2 ) + e 2 μ ( r , l , t ) d l 2 . (7)

(To make our results as general as possible, we also assume that μ may be time dependent.)

Before continuing, let us recall the basic properties of a Morris-Thorne wormhole. Letting e 2 λ ( r , l ) = 1 b ( r , l ) / r , the line element becomes

d s 2 = e 2 Φ ( r , l ) d t 2 + d r 2 1 b ( r , l ) / r + r 2 ( d θ 2 + sin 2 θ d ϕ 2 ) + e 2 μ ( r , l , t ) d l 2 . (8)

Here Φ = Φ ( r , l ) is called the redshift function, which must be finite everywhere to prevent the occurrence of an event horizon; b = b ( r , l ) is called the shape function. The spherical surface r = r 0 is called the throat of the wormhole. The shape function must satisfy the following conditions: b ( r 0 , l ) = r 0 and b ( r 0 , l ) / r < 1 , called the flare-out condition in Ref. [1] . These conditions can only be met by violating the null energy condition (NEC), which states that for the energy momentum tensor T α β ,

T α β k α k β 0 for all null vectors k α . (9)

To see the significance in a wormhole setting, we assume an orthonormal frame and note that T 00 = ρ is the energy density and T 11 = p r is the radial pressure. Now the outgoing radial null vector ( 1,1,0,0 ) yields ρ + p r < 0 whenever the NEC is violated.

Our new model, Equation (7), greatly extends the discussion in Ref. [5] , which assumes that the metric coefficients are independent of l. According to Ref. [12] , the dependence on l is associated with the presence of matter, whose nature can be determined by reducing the 5D Ricci-flat equation R A B = 0 to the 4D Einstein equation G α β = 8 π T α β .

As noted earlier, our main goal is to determine the conditions that allow the throat of the wormhole to be threaded with ordinary matter and that the same conditions result in a violation of the NEC in the fifth dimension. The conditions discussed include the effect of the time dependence.

2. The Solution

In this section we obtain the general solution from line element (8) and study the consequences in subsequent sections. We choose an orthonormal basis { e α ^ } which is dual to the following 1-form basis:

θ 0 = e Φ ( r , l ) d t , θ 1 = [ 1 b ( r , l ) r ] 1 / 2 d r , θ 2 = r d θ , θ 3 = r sin θ d ϕ , θ 4 = e μ ( r , l , t ) d l . (10)

Alternatively,

d t = e Φ ( r , l ) θ 0 , d r = [ 1 b ( r , l ) r ] 1 / 2 θ 1 , d θ = 1 r θ 2 , d ϕ = 1 r sin θ θ 3 , d l = e μ ( r , l , t ) θ 4 . (11)

Following Ref. [16] , we use the method of differential forms to obtain the connection 1-forms, the curvature 2-forms, and the resulting components of the Riemann curvature tensor. To that end, we calculate the exterior derivatives in terms of the basis { θ i } :

d θ 0 = Φ ( r , l ) r [ 1 b ( r , l ) r ] 1 / 2 θ 1 θ 0 + Φ ( r , l ) l e μ ( r , l , t ) θ 4 θ 0 , (12)

d θ 1 = 1 2 r [ 1 b ( r , l ) r ] 1 b ( r , l ) l e μ ( r , l , t ) θ 4 θ 1 , (13)

d θ 2 = 1 r [ 1 b ( r , l ) r ] 1 / 2 θ 1 θ 2 , (14)

d θ 3 = 1 r [ 1 b ( r , l ) r ] 1 / 2 θ 1 θ 3 + 1 r cot θ θ 2 θ 3 , (15)

d θ 4 = μ ( r , l , t ) r [ 1 b ( r , l ) r ] 1 / 2 θ 1 θ 4 + e Φ ( r , l ) μ ( r , l , t ) t θ 0 θ 4 . (16)

The connection 1-forms ω k i have the symmetry ω i 0 = ω 0 i ( i = 1 , 2 , 3 , 4 ) and ω j i = ω i j ( i , j = 1 , 2 , 3 , 4 , i j ) , and are related to the basis { θ i } by

d θ i = ω k i θ k . (17)

The solution of this system is

ω 1 0 = d Φ ( r , l ) d r [ 1 b ( r , l ) r ] 1 / 2 θ 0 , (18)

ω 4 0 = Φ ( r , l ) l e μ ( r , l , t ) θ 0 + e Φ ( r , l ) μ ( r , l , t ) t θ 4 , (19)

ω 1 2 = 1 r [ 1 b ( r , l ) r ] 1 / 2 θ 2 , (20)

ω 1 3 = 1 r [ 1 b ( r , l ) r ] 1 / 2 θ 3 , (21)

ω 2 3 = 1 r cot θ θ 3 , (22)

ω 1 4 = μ ( r , l , t ) r [ 1 b ( r , l ) r ] 1 / 2 θ 4 1 2 r [ 1 b ( r , l ) r ] 1 b ( r , l ) l e μ ( r , l , t ) θ 1 , (23)

ω 2 0 = ω 3 0 = ω 4 2 = ω 4 3 = 0. (24)

The curvature 2-forms Ω j i are calculated directly from the Cartan structural equations

Ω j i = d ω j i + ω k i ω j k . (25)

and are listed next. (To shorten the expressions, we will denote Φ ( r , l ) by Φ , b ( r , l ) by b, and μ ( r , l , t ) by μ .)

Ω 1 0 = [ 2 Φ r 2 ( 1 b r ) + 1 2 r 2 Φ r ( r b r b ) ( Φ r ) 2 ( 1 b r ) 1 2 r e 2 μ Φ l b l ( 1 b r ) 1 ] θ 0 θ 1 + e μ [ 2 Φ r l ( 1 b r ) 1 / 2 + 1 2 r Φ r b l ( 1 b r ) 1 / 2 Φ r Φ l ( 1 b r ) 1 / 2 + Φ l μ r ( 1 b r ) 1 / 2 ] θ 0 θ 4 + 1 2 r e Φ e μ b l μ t ( 1 b r ) 1 θ 1 θ 4 , (26)

Ω 2 0 = 1 r Φ r ( 1 b r ) θ 0 θ 2 , (27)

Ω 3 0 = 1 r Φ r ( 1 b r ) θ 0 θ 3 , (28)

Ω 4 0 = e μ ( 1 b r ) 1 / 2 ( 2 Φ r l + Φ l μ r Φ r Φ l ) θ 0 θ 1 + 1 2 r e μ Φ r b l ( 1 b r ) 1 / 2 θ 0 θ 1 + [ e 2 μ 2 Φ l 2 + e 2 μ Φ l μ l e 2 μ ( Φ l ) 2 + e 2 Φ 2 μ t 2 + e 2 Φ ( μ t ) 2 Φ r μ r ( 1 b r ) ] θ 0 θ 4 + e Φ ( 1 b r ) 1 / 2 ( Φ r μ t + 2 μ r t + μ r μ t ) θ 1 θ 4 , (29)

Ω 2 1 = 1 2 r 3 ( r b r b ) θ 1 θ 2 1 2 r 2 e μ b l ( 1 b r ) 1 / 2 θ 2 θ 4 , (30)

Ω 3 1 = 1 2 r 3 ( r b r b ) θ 1 θ 3 1 2 r 2 e μ b l ( 1 b r ) 1 / 2 θ 3 θ 4 , (31)

Ω 4 1 = [ 2 μ r 2 ( 1 b r ) + 1 2 r 2 μ r ( r b r b ) ( μ r ) 2 ( 1 b r ) 3 4 r 2 e 2 μ ( 1 b r ) 2 ( b l ) 2 1 2 r e 2 μ ( 1 b r ) 1 2 b l 2 + 1 2 r e 2 μ ( 1 b r ) 1 b l μ l ] θ 1 θ 4 + [ e Φ 2 μ r t ( 1 b r ) 1 / 2 e Φ μ r μ t ( 1 b r ) 1 / 2 + e Φ Φ r μ t ( 1 b r ) 1 / 2 ] θ 0 θ 4 1 2 r e Φ e μ μ t b l ( 1 b r ) 1 θ 0 θ 1 , (32)

Ω 3 2 = b r 3 θ 2 θ 3 , (33)

Ω 4 2 = 1 r μ r ( 1 b r ) θ 2 θ 4 1 2 r 2 e μ ( 1 b r ) 1 / 2 b l θ 1 θ 2 , (34)

Ω 4 3 = 1 r μ r ( 1 b r ) θ 3 θ 4 1 2 r 2 e μ ( 1 b r ) 1 / 2 b l θ 1 θ 3 . (35)

The components of the Riemann curvature tensor can be read off directly from the form

Ω j i = 1 2 R m n j i θ m θ n (36)

and are listed next:

R 011 0 = 2 Φ ( r , l ) r 2 ( 1 b ( r , l ) r ) 1 2 r 2 Φ ( r , l ) r ( r b ( r , l ) r b ( r , l ) ) + ( Φ ( r , l ) r ) 2 ( 1 b ( r , l ) r ) + 1 2 r e 2 μ ( r , l , t ) Φ ( r , l ) l ( 1 b ( r , l ) r ) 1 b ( r , l ) l , (37)

R 022 0 = R 033 0 = 1 r Φ ( r , l ) r ( 1 b ( r , l ) r ) , (38)

R 044 0 = e 2 μ ( r , l , t ) [ 2 Φ ( r , l ) l 2 Φ ( r , l ) l μ ( r , l , t ) l + ( Φ ( r , l ) l ) 2 ] e 2 Φ ( r , l ) [ 2 μ ( r , l , t ) t 2 + ( μ ( r , l , t ) t ) 2 ] + Φ ( r , l ) r μ ( r , l , t ) r ( 1 b ( r , l ) r ) , (39)

R 122 1 = R 133 1 = 1 2 r 3 ( r b ( r , l ) r b ( r , l ) ) , (40)

R 144 1 = 2 μ ( r , l , t ) r 2 ( 1 b ( r , l ) r ) + ( μ ( r , l , t ) r ) 2 ( 1 b ( r , l ) r ) 1 2 r 2 μ ( r , l , t ) r ( r b ( r , l ) r b ( r , l ) ) + 3 4 r 2 e 2 μ ( r , l , t ) ( 1 b ( r , l ) r ) 2 ( b ( r , l ) l ) 2 + 1 2 r e 2 μ ( r , l , t ) ( 1 b ( r , l ) r ) 1 2 b ( r , l ) l 2 1 2 r e 2 μ ( r , l , t ) ( 1 b ( r , l ) r ) 1 b ( r , l ) l μ ( r , l , t ) l , (41)

R 233 2 = b ( r , l ) r 3 , (42)

R 244 2 = R 344 3 = 1 r μ ( r , l , t ) r ( 1 b ( r , l ) r ) , (43)

R 041 0 = e μ ( r , l , t ) ( 1 b ( r , l ) r ) 1 / 2 [ 2 Φ ( r , l ) r l + Φ ( r , l ) r Φ ( r , l ) l

Φ ( r , l ) l μ ( r , l , t ) r ] 1 2 r e μ ( r , l , t ) Φ ( r , l ) r ( 1 b ( r , l ) r ) 1 / 2 b ( r , l ) l , (44)

R 411 0 = 1 2 r e Φ ( r , l ) e μ ( r , l , t ) μ ( r , l , t ) t ( 1 b ( r , l ) r ) 1 b ( r , l ) l , (45)

R 044 1 = e Φ ( r , l ) ( 1 b ( r , l ) r ) 1 / 2 [ Φ ( r , l ) r μ ( r , l , t ) t + 2 μ ( r , l , t ) r t + μ ( r , l , t ) r μ ( r , l , t ) t ] , (46)

R 214 2 = R 314 3 = 1 2 r 2 e μ ( r , l , t ) ( 1 b ( r , l ) r ) 1 / 2 b ( r , l ) l . (47)

The last form to be derived in this section is the Ricci tensor, which is obtained by a trace on the Riemann curvature tensor:

R a b = R a c b c . (48)

The various components are

R 00 = 2 Φ ( r , l ) r 2 ( 1 b ( r , l ) r ) 1 2 r 2 Φ ( r , l ) r ( r b ( r , l ) r b ( r , l ) ) + ( Φ ( r , l ) r ) 2 ( 1 b ( r , l ) r ) + 1 2 r e 2 μ ( r , l , t ) Φ ( r , l ) l ( 1 b ( r , l ) r ) 1 b ( r , l ) l + 2 r Φ ( r , l ) r ( 1 b ( r , l ) r ) + 2 Φ ( r , l ) l 2 e 2 μ ( r , l , t ) Φ ( r , l ) l μ ( r , l , t ) l e 2 μ ( r , l , t ) + ( Φ ( r , l ) l ) 2 e 2 μ ( r , l , t ) e 2 Φ ( r , l ) 2 μ ( r , l , t ) t 2 e 2 Φ ( r , l ) ( μ ( r , l , t ) t ) 2 + Φ ( r , l ) r μ ( r , l , t ) r ( 1 b ( r , l ) r ) , (49)

R 11 = 2 Φ ( r , l ) r 2 ( 1 b ( r , l ) r ) + 1 2 r 2 Φ ( r , l ) r ( r b ( r , l ) r b ( r , l ) ) ( Φ ( r , l ) r ) 2 ( 1 b ( r , l ) r ) 1 2 r e 2 μ ( r , l , t ) Φ ( r , l ) l ( 1 b ( r , l ) r ) 1 b ( r , l ) l + 1 r 3 ( r b ( r , l ) r b ( r , l ) ) 2 μ ( r , l , t ) r 2 ( 1 b ( r , l ) r ) ( μ ( r , l , t ) r ) 2 ( 1 b ( r , l ) r ) + 1 2 r 2 μ ( r , l , t ) r ( r b ( r , l ) r b ( r , l ) )

3 4 r 2 ( 1 b ( r , l ) r ) 2 ( b ( r , l ) l ) 2 e 2 μ ( r , l , t ) 1 2 r ( 1 b ( r , l ) r ) 1 2 b ( r , l ) l 2 e 2 μ ( r , l , t )

+ 1 2 r ( 1 b ( r , l ) r ) 1 b ( r , l ) l μ ( r , l , t ) l e μ ( r , l , t ) , (50)

R 22 = R 33 = 1 r Φ ( r , l ) r ( 1 b ( r , l ) r ) + 1 2 r 3 ( r b ( r , l ) r b ( r , l ) ) + b ( r , l ) r 3 1 r ( 1 b ( r , l ) r ) μ ( r , l , t ) r , (51)

R 44 = 2 Φ ( r , l ) l 2 e 2 μ ( r , l , t ) + Φ ( r , l ) l μ ( r , l , t ) l e 2 μ ( r , l , t ) ( Φ ( r , l ) l ) 2 e 2 μ ( r , l , t ) + e 2 Φ ( r , l ) 2 μ ( r , l , t ) t 2 + e 2 Φ ( r , l ) ( μ ( r , l , t ) t ) 2 Φ ( r , l ) r μ ( r , l , t ) r ( 1 b ( r , l ) r ) 2 μ ( r , l , t ) r 2 ( 1 b ( r , l ) r ) ( μ ( r , l , t ) r ) 2 ( 1 b ( r , l ) r ) + 1 2 r 2 μ ( r , l , t ) r ( r b ( r , l ) r b ( r , l ) )

3 4 r 2 ( 1 b ( r , l ) r ) 2 ( b ( r , l ) l ) 2 e 2 μ ( r , l , t ) 1 2 r ( 1 b ( r , l ) r ) 1 2 b ( r , l ) l 2 e 2 μ ( r , l , t ) + 1 2 r ( 1 b ( r , l ) r ) 1 b ( r , l ) l μ ( r , l , t ) l e 2 μ ( r , l , t ) 2 r ( 1 b ( r , l ) r ) μ ( r , l , t ) r , (52)

R 01 = ( 1 b ( r , l ) r ) 1 / 2 [ e Φ ( r , l ) Φ ( r , l ) r μ ( r , l , t ) t e Φ ( r , l ) 2 μ ( r , l , t ) r t e Φ ( r , l ) μ ( r , l , t ) r μ ( r , l , t ) t ] , (53)

R 04 = 1 2 r e Φ ( r , l ) ( 1 b ( r , l ) r ) 1 b ( r , l ) l μ ( r , l , t ) t e μ ( r , l , t ) . (54)

These forms will come into play in the next section.

3. A Possible Curvature Singularity

In discussing the structure of a wormhole, we recall that at the throat, we have b ( r 0 , l ) = r 0 for every l, leading to the question of its physical interpretation. The problem takes care of itself in the following sense: consider the Ricci scalar

R = R i i = R 00 + R 11 + R 22 + R 33 + R 44 . (55)

Using Equation (48), this can be written in the following convenient form:

1 2 R = R 011 0 R 022 0 R 033 0 R 044 0 R 122 1 R 133 1 R 144 1 R 233 2 R 244 2 R 344 3 . (56)

It now becomes apparent that several of these components are undefined at the throat if we allow the shape function to have the form b = b ( r , l ) : since R is a scalar invariant, we have a curvature singularity at the throat. We conclude that b must be a function of r alone; since we now have b / l 0 , the singularity disappears. So we return to b = b ( r ) and b ( r 0 ) = r 0 . It is interesting to note that the redshift function can retain the proposed form Φ = Φ ( r , l ) .

4. The Null Energy Condition (NEC)

Let us recall from the Introduction that the NEC states that for the energy-momentum tensor T α β , T α β k α k β 0 for all null vectors k α . We also recall that an ordinary Morris-Thorne wormhole can only be held open if this condition is violated, thereby requiring exotic matter. As noted earlier, our goal is to show that thanks to the extra spatial dimension, the wormhole throat can be threaded with ordinary matter, but there is a violation of the NEC in the fifth dimension.

To that end, we start with the four-dimensional null vector ( 1,1,0,0 ) . Continuing with our orthonormal frame, consider the Einstein field equations

G α ^ β ^ = R α ^ β ^ 1 2 R g α ^ β ^ = 8 π T α ^ β ^ , (57)

where

g α ^ β ^ = ( 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 ) . (58)

As before, T 00 = ρ is the energy density and T 11 = p r is the radial pressure, but instead of ρ + p r , we need to consider the more general form

8 π T α β k α k β = G 00 + G 11 + 2 G 01 = [ R 00 1 2 R ( 1 ) ] + [ R 11 1 2 R ( 1 ) ] + 2 [ R 01 1 2 R ( 0 ) ] = R 00 + R 11 + 2 R 01 . (59)

Since we are primarily interested in the vicinity of the throat, we recall that 1 b ( r 0 ) / r 0 = 0 . So by Equation (53), R 01 = 0 at the throat and we are back to the original ρ + p r . So from Equations (49) and (50), we have (recalling that b / l 0 )

8 π ( ρ + p r ) | r = r 0 = b ( r 0 ) 1 r 0 2 [ 1 + r 0 2 μ ( r 0 , l , t ) r ] + 2 Φ ( r 0 , l ) l 2 e 2 μ ( r 0 , l , t ) Φ ( r 0 , l ) l μ ( r 0 , l , t ) l e 2 μ ( r 0 , l , t ) + ( Φ ( r 0 , l ) l ) 2 e 2 μ ( r 0 , l , t )

e 2 Φ ( r 0 , l ) 2 μ ( r 0 , l , t ) t 2 e 2 Φ ( r 0 , l ) ( μ ( r 0 , l , t ) t ) 2 . (60)

To make the analysis tractable, let us assume for now that our wormhole is time independent; so it is convenient to use the notation μ = μ ( r 0 , l ) . If, in addition, Φ is independent of l, then Equation (60) becomes

8 π ( ρ + p r ) | r = r 0 = b ( r 0 ) 1 r 0 2 [ 1 + r 0 2 μ ( r 0 , l ) r ] , (61)

which is the condition discussed in Ref. [5] , and leads to the conclusion (since b ( r 0 ) < 1 ) that

ρ + p r > 0 at r = r 0

provided that

μ ( r 0 , l ) r < 2 r 0 . (62)

The l-dependent terms in Equation (60) could strengthen the conclusion if

2 Φ ( r 0 , l ) l 2 > 0 and Φ ( r 0 , l ) l < 0. (63)

Since Condition (63) depends on l, the conclusion goes well beyond Ref. [5] but it may have little practical significance by itself. On the other hand, Φ is a function of both r and l. So let us return to Inequality (62) and concentrate on the null vector ( 1,0,0,0,1 ) in the five-dimensional space:

8 π T α β k α k β = G 00 + G 44 + 2 G 04 = [ R 00 1 2 R ( 1 ) ] + [ R 44 1 2 R ( 1 ) ] + 2 [ R 04 1 2 R ( 0 ) ] = R 00 + R 44 + 2 R 04 . (64)

While g 04 = 0 from Equation (58), observe that by Equation (54), R 04 is also equal to zero since b / l 0 . Still assuming time independence, the condition 1 b ( r 0 ) / r 0 = 0 then yields

8 π ( ρ + p r ) | r = r 0 = 1 2 b ( r 0 ) 1 r 0 [ Φ ( r 0 , l ) r + μ ( r 0 , l ) r ] . (65)

Inequality (62), μ ( r 0 , l ) / r < 2 / r 0 , implies that the second factor on the right-hand side of Equation (65) is positive if

Φ ( r 0 , l ) r = A < μ ( r 0 , l ) r < 2 r 0 , (66)

strikingly similar to Inequality (62). Since b ( r 0 ) < 1 , it follows from Equation (65) that ρ ( r 0 ) + p r ( r 0 ) < 0 in the fifth dimension. So the NEC is indeed violated even though the throat of the wormhole is threaded with ordinary matter.

Remark: One physical consequence of the NEC is that it forces the local energy density to be positive. Also, in the four-dimensional case, the NEC must be satisfied for all null vectors if the throat is to be threaded with ordinary matter. That these requirements can be met has already been shown in Ref. [5] and need not be repeated here.

5. The Violation of the NEC in the Fifth Dimension

In this section we are going to show that a violation of the NEC in the fifth dimension is indeed unavoidable. To see why, let us consider line element (8) with b = b ( r ) and having the opposite signature (while still assuming time independence):

d s 2 = e 2 Φ ( r , l ) d t 2 d r 2 1 b ( r ) / r r 2 ( d θ 2 + sin 2 θ d ϕ 2 ) e 2 μ ( r , l ) d l 2 . (67)

Because of the symmetry, this would merely change the labels, making μ ( r , l ) the redshift function. However, since we are using the orthonormal basis in Section 2, the calculations are not affected. In particular, both Inequalities (62) and (66) remain the same. So the NEC is violated in the fifth dimension, even though the throat is threaded with ordinary matter.

6. The Size of the Extra Dimension and the Time-Dependence

Returning to line element (8), it is interesting to note that apart from the exponential functions, μ itself does not appear as a factor in the components of the Riemann curvature tensor, but only its derivatives. This allows μ to have virtually any magnitude. So if μ ( r , l , t ) is negative and large in absolute value, then e 2 μ ( r , l , t ) is necessarily small and may even be curled up.

Turning now to the time dependence, observe that in Equation (60), the time-dependent terms in the expression for 8 π ( ρ + p r ) can be written in the form

H = e 2 Φ ( r 0 , l ) [ 2 μ ( r 0 , l , t ) t 2 + ( μ ( r 0 , l , t ) t ) 2 ] . (68)

Suppose that | μ ( r , l , t ) | is relatively small. Then Equation (68) may lead to an interesting interpretation: being confined to a small range of values and changing with time, μ ( r , l , t ) could undergo a slow oscillation. Then H in Equation (68) is positive near any peak, where 2 μ ( r , l , t ) / t 2 < 0 and μ ( r , l , t ) / t is close to zero. This behavior could greatly increase the value of H during certain periods. So judging from Equation (60), there will be periods in which ρ + p r > 0 at r = r 0 even if Inequality (62) is weakened.

7. Conclusions

An earlier paper by the author [5] assumes that Φ, b, and μ are functions of the radial coordinate r only. In this paper, we extend this model by assuming that Φ, b, and μ are functions of both r and l and that, in addition, μ is time dependent. It is shown that an unrestricted dependence on the fifth dimension could lead to a curvature singularity at the throat, forcing b to be a function of r only. The main goal is to determine the conditions under which the NEC is met in the four-dimensional setting, thereby allowing the throat of the wormhole to be threaded with ordinary matter. The same conditions lead to a violation of the NEC in the fifth dimension. This violation turns out to be unavoidable and is the key factor in sustaining the wormhole structure.

The dependence of Φ on l could favorably affect the ability to use ordinary matter near the throat. The same is true for the dependence of μ on t during certain periods. Finally, there is no restriction on the size of μ. So if μ is negative and large in absolute value, the extra dimension would be extremely small and may even be curled up.

Conflicts of Interest

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

References

[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] Kuhfittig, P.K.F. (2009) Theoretical Construction of Morris-Thorne Wormholes Compatible with Quantum Field Theory. ArXiv: 0908.4233.
[3] Sushkov, S.V. (2005) Wormholes Supported by a Phantom Energy. Physical Review D, 71, Article ID: 043520.
https://doi.org/10.1103/PhysRevD.71.043520
[4] Lobo, F.S.N. (2005) Phantom Energy Traversable Wormholes. Physical Review D, 71, Article ID: 084011.
https://doi.org/10.1103/PhysRevD.71.084011
[5] Kuhfittig, P.K.F. (2018) Traversable Wormholes Sustained by an Extra Spatial Dimension. Physical Review D, 98, Article ID: 064041.
https://doi.org/10.1103/PhysRevD.98.064041
[6] Kuhfittig, P.K.F. (2018) Two Diverse Models of Embedding Class One. Annals of Physics, 392, 63-70.
https://doi.org/10.1016/j.aop.2018.03.001
[7] Lobo, F.S.N. and Oliveira, M.A. (2009) Wormhole Geometries in Modified Theories of Gravity. Physical Review D, 80, Article ID: 104012.
https://doi.org/10.1103/PhysRevD.80.104012
[8] Rahaman, F., Kuhfittig, P.K.F., Ray, S. and Islam, S. (2012) Searching for Higher Dimensional Wormholes with Noncommutative Geometry. Physical Review D, 86, Article ID: 106010.
https://doi.org/10.1103/PhysRevD.86.106010
[9] Kuhfittig, P.K.F. (2015) Macroscopic Traversable Wormholes with Zero Tidal Forces Inspired by Noncommutative Geometry. International Journal of Modern Physics D, 24, Article ID: 1550023.
https://doi.org/10.1142/S0218271815500236
[10] Kar, S. and Sahdev, D. (1996) Evolving Lorentzian Wormholes. Physical Review D, 53, 722-730.
https://doi.org/10.1103/PhysRevD.53.722
[11] Cataldo, M., Bahamonde, S. and Arostica, F. (2013) -Dimensional Lorentzian Evolving Wormholes Supported by Polytropic Matter. European Physical Journal C, 73, Article No. 2517.
https://doi.org/10.1140/epjc/s10052-013-2517-4
[12] Wesson, P.S. (2011) The Cosmological ‘Constant’ and Quantization in Five Dimensions. Physics Letters B, 706, 1-5.
https://doi.org/10.1016/j.physletb.2011.10.027
[13] Wesson P.S. and Ponce de León, J. (1992) Kaluza-Klein Equations, Einstein’s Equations, and an Effective Energy-Momentum Tensor. Journal of Mathematical Physics, 33, 3883-3887.
https://doi.org/10.1063/1.529834
[14] Wesson, P.S. (2015) The Status of Modern Five-Dimensional Gravity (A Short Review: Why Physics Needs the Fifth Dimension). International Journal of Modern Physics D, 24, Article ID: 1530001.
https://doi.org/10.1142/S0218271815300013
[15] Wesson, P.S. (2013) Astronomy and the Fifth Dimension. ArXiv: 1301.0033.
[16] Hughes, L.P. and Tod, K.P. (1990) An Introduction to General Relativity. Cambridge University Press, Cambridge.

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

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