unassign('r', 't', 'dr', 'dt', 'R', 'T', 'X', 'dR', 'dT', 'dX', 'dS', 'temp'); 1 

 

 

Derivation of the new metric. 

 

The new metric is derived here by substitution of a new set of coordinates into the Schwarzchild metric. 

 

The Schwarzchild metric for radial motion only, using units where the speed of light c=1 and the gravitational constant G =1, is given by : 

 

 

 

 

interface(showassumed = 0); 1; assume(`>`(m, 0), `>`(r, 0))
interface(showassumed = 0); 1; assume(`>`(m, 0), `>`(r, 0))
 

0 (1)
 

 

The new coordinates are basically an adaptation of the Kruskal-Szekeres coordinates with the addition of a factor f defined as: 

 

`:=`(f, `/`(`*`(abs(`+`(r, `-`(`*`(2, `*`(m)))))), `*`(`+`(r, `-`(`*`(2, `*`(m))))))) 

`/`(`*`(abs(`+`(`-`(r), `*`(2, `*`(m))))), `*`(`+`(r, `-`(`*`(2, `*`(m)))))) (2)
 

 

These alternative versions of f work equally well: or or as can be proven by copying and pasting these alternative definitions into the definition of f above and clicking on the [!!!] icon. If a value of is used then the Kruskal-Szekeres metric is re-obtained in the final result. 

 

unassign('f') 

 

The new coordinates for T=Time and R=Radius are defined as: 

 

`:=`(R, `*`(sqrt(`/`(`*`(`+`(`*`(r, `*`(`/`(`+`(`*`(2, `*`(m)))))), `-`(1))), `*`(f))), `*`(exp(`*`(r, `*`(`/`(`+`(`*`(4, `*`(m))))))), `*`(cosh(`*`(t, `*`(`/`(`+`(`*`(4, `*`(m))))))), `*`(f))))) 

`*`(`^`(`/`(`*`(`+`(`/`(`*`(`/`(1, 2), `*`(r)), `*`(m)), `-`(1))), `*`(f)), `/`(1, 2)), `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(r)), `*`(m)))), `*`(cosh(`+`(`/`(`*`(`/`(1, 4), `*`(t)), `*`(m)))), `*`(f)))) (3)
 

 

 

`:=`(T, `*`(sqrt(`*`(`+`(`*`(r, `*`(`/`(`+`(`*`(2, `*`(m)))))), `-`(1)), `*`(f))), `*`(exp(`*`(r, `*`(`/`(`+`(`*`(4, `*`(m))))))), `*`(sinh(`*`(t, `*`(`/`(`+`(`*`(4, `*`(m))))))))))) 

`*`(`^`(`*`(`+`(`/`(`*`(`/`(1, 2), `*`(r)), `*`(m)), `-`(1)), `*`(f)), `/`(1, 2)), `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(r)), `*`(m)))), `*`(sinh(`+`(`/`(`*`(`/`(1, 4), `*`(t)), `*`(m))))))) (4)
 

 

The new coordinates are uniquely defined by the two equations given above and there are no alternative forms for above and below the event horizon. 

 

The first step is to isolate an expression for r in terms of R and T which can later be differentiated to obtain dr for direct substitution into the Schwarzschild metric. 

 

 

`+`(`*`(`^`(R, 2)), `-`(`*`(`^`(T, 2)))) 

`+`(`/`(`*`(`+`(`/`(`*`(`/`(1, 2), `*`(r)), `*`(m)), `-`(1)), `*`(abs(`+`(`-`(r), `*`(2, `*`(m)))), `*`(`^`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(r)), `*`(m)))), 2), `*`(`^`(cosh(`+`(`/`(`*`(`/`(1, 4), `*`(t... (5)
 

 

simplify(%) 

`+`(`/`(`*`(`/`(1, 2), `*`(abs(`+`(`-`(r), `*`(2, `*`(m)))), `*`(exp(`+`(`/`(`*`(`/`(1, 2), `*`(r)), `*`(m))))))), `*`(m))) (6)
 

X = % 

X = `+`(`/`(`*`(`/`(1, 2), `*`(abs(`+`(`-`(r), `*`(2, `*`(m)))), `*`(exp(`+`(`/`(`*`(`/`(1, 2), `*`(r)), `*`(m))))))), `*`(m))) (7)
 

solve(%, r) 

piecewise(X = 0, [`*`(`*`(2, `+`(LambertW(`+`(`-`(`*`(X, `*`(exp(-1)))))), 1)), `*`(m))], `<`(0, X), [`*`(`*`(2, `+`(LambertW(`+`(`-`(`*`(X, `*`(exp(-1)))))), 1)), `*`(m)), `*`(`*`(2, `+`(LambertW(`*`... (8)
 

assume(`<`(0, X)) 

 

Note that r is undefined for X<0 which corresponds to T^2 > R^2.  This is the region in the North and South quadrants (grey regions) of the diagram below which illustrates the new coordinate system. The significance of this is that there is no alternative universe or white hole present in the coordinates.  

 

 

Image 

 

 

 

Note that there are two solutions for r in the new coordinates even when T^2 < R^2, but after the final substitutions at step 30 onwards, it turns out that this makes no difference to the final result.Here we continue with the primary solution for r. 

 

Interestingly, the primary solution for r is identical Kruskal-Szekeres coordinates and the new coordinates.  

 

 

isolate(X = `+`(`/`(`*`(`/`(1, 2), `*`(abs(`+`(`-`(r), `*`(2, `*`(m)))), `*`(exp(`+`(`/`(`*`(`/`(1, 2), `*`(r)), `*`(m))))))), `*`(m))), r) 

r = `+`(`*`(2, `*`(`+`(LambertW(`*`(X, `*`(exp(-1)))), 1), `*`(m)))) (9)
 

 

simplify(%) 

r = `+`(`*`(2, `*`(`+`(LambertW(`*`(X, `*`(exp(-1)))), 1), `*`(m)))) (10)
 

 

 

The following just reinserts (R^2-T^2) for X to obtain r in terms of R and T. 

The variables R and T have to be unassigned to prevent them expanding into there fulf definition in the following equations. 

 

unassign('R', 'T') 

 

subs(X = `+`(`*`(`^`(R, 2)), `-`(`*`(`^`(T, 2)))), %); -1 

 

`:=`(r, rhs(%)) 

`+`(`*`(2, `*`(`+`(LambertW(`*`(`+`(`*`(`^`(R, 2)), `-`(`*`(`^`(T, 2)))), `*`(exp(-1)))), 1), `*`(m)))) (11)
 

 

Now r is differeretiated to obtain an expression for dr. 

 

`+`(`*`(diff(r, R), `*`(dR)), `*`(diff(r, T), `*`(dT))); -1; simplify(%); -1 

 

`:=`(dr, %) 

`+`(`/`(`*`(4, `*`(LambertW(`*`(`+`(`*`(`^`(R, 2)), `-`(`*`(`^`(T, 2)))), `*`(exp(-1)))), `*`(m, `*`(`+`(`*`(R, `*`(dR)), `-`(`*`(T, `*`(dT)))))))), `*`(`+`(LambertW(`*`(`+`(`*`(`^`(R, 2)), `-`(`*`(`^... (12)
 

 

The next step is to isolate an expression for t in terms of R and T which can later be differentiated to obtain dt for direct substitution into the Schwarzschild metric. 

 

unassign('r', 't') 

 

 

R and T are reasssigned their initial expanded definitions. 

 

`:=`(R, `*`(`^`(`/`(`*`(`+`(`/`(`*`(`/`(1, 2), `*`(r)), `*`(m)), `-`(1))), `*`(f)), `/`(1, 2)), `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(r)), `*`(m)))), `*`(cosh(`+`(`/`(`*`(`/`(1, 4), `*`(t)), `*`(m)))), `... 

`/`(`*`(`^`(`/`(`*`(`+`(`/`(`*`(`/`(1, 2), `*`(r)), `*`(m)), `-`(1)), `*`(`+`(r, `-`(`*`(2, `*`(m)))))), `*`(abs(`+`(`-`(r), `*`(2, `*`(m)))))), `/`(1, 2)), `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(r)), `*`... (13)
 

`:=`(T, `*`(`^`(`*`(`+`(`/`(`*`(`/`(1, 2), `*`(r)), `*`(m)), `-`(1)), `*`(f)), `/`(1, 2)), `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(r)), `*`(m)))), `*`(sinh(`+`(`/`(`*`(`/`(1, 4), `*`(t)), `*`(m)))))))) 

`*`(`^`(`/`(`*`(`+`(`/`(`*`(`/`(1, 2), `*`(r)), `*`(m)), `-`(1)), `*`(abs(`+`(`-`(r), `*`(2, `*`(m)))))), `*`(`+`(r, `-`(`*`(2, `*`(m)))))), `/`(1, 2)), `*`(exp(`+`(`/`(`*`(`/`(1, 4), `*`(r)), `*`(m))... (14)
 

 

temp = `/`(`*`(`+`(R, T)), `*`(`+`(R, `-`(T)))); -1 

 

 

simplify(%) 

temp = `/`(`*`(`+`(`*`(csgn(`+`(`-`(r), `*`(2, `*`(m)))), `*`(cosh(`+`(`/`(`*`(`/`(1, 4), `*`(t)), `*`(m)))))), `-`(sinh(`+`(`/`(`*`(`/`(1, 4), `*`(t)), `*`(m))))))), `*`(`+`(`*`(csgn(`+`(`-`(r), `*`(... (15)
 

 

solve(%, t) 

`+`(`*`(2, `*`(ln(`+`(`-`(`/`(`*`(`+`(`*`(temp, `*`(csgn(`+`(`-`(r), `*`(2, `*`(m)))))), `-`(temp), `-`(csgn(`+`(`-`(r), `*`(2, `*`(m))))), `-`(1))), `*`(`+`(`*`(temp, `*`(csgn(`+`(`-`(r), `*`(2, `*`(... (16)
 

 

isolate(temp = `/`(`*`(`+`(`*`(csgn(`+`(`-`(r), `*`(2, `*`(m)))), `*`(cosh(`+`(`/`(`*`(`/`(1, 4), `*`(t)), `*`(m)))))), `-`(sinh(`+`(`/`(`*`(`/`(1, 4), `*`(t)), `*`(m))))))), `*`(`+`(`*`(csgn(`+`(`-`(... 

 

`:=`(t, rhs(%)); -1 

 

 

unassign('R', 'T') 

 

`:=`(temp, `/`(`*`(`+`(R, T)), `*`(`+`(R, `-`(T))))); -1 

t 

`+`(`*`(2, `*`(ln(`+`(`-`(`/`(`*`(`+`(`/`(`*`(`+`(R, T), `*`(csgn(`+`(`-`(r), `*`(2, `*`(m)))))), `*`(`+`(R, `-`(T)))), `-`(`/`(`*`(`+`(R, T)), `*`(`+`(R, `-`(T))))), `-`(csgn(`+`(`-`(r), `*`(2, `*`(m... (17)
 

 

Now t is differeretiated to obtain an expression for dt. 

 

`+`(`*`(diff(t, R), `*`(dR)), `*`(diff(t, T), `*`(dT))); -1simplify(%); -1 

 

 

`:=`(dt, %) 

`+`(`-`(`/`(`*`(4, `*`(csgn(`+`(`-`(r), `*`(2, `*`(m)))), `*`(m, `*`(`+`(`-`(`*`(T, `*`(dR))), `*`(R, `*`(dT))))))), `*`(`+`(`*`(`^`(R, 2)), `-`(`*`(`^`(T, 2)))))))) (18)
 

 

Now that alternative expressions for dr and dt have been obtained they can be directly substituted into the simplified radial Schwarzschild metric, which after some substitutions and further simplifications yields the new metrics: 

 

`*`(`^`(dS, 2)) = `+`(`/`(`*`(`^`(dr, 2)), `*`(`+`(1, `-`(`/`(`*`(2, `*`(m)), `*`(r)))))), `-`(`*`(`+`(1, `-`(`/`(`*`(2, `*`(m)), `*`(r)))), `*`(`^`(dt, 2))))) 

`*`(`^`(dS, 2)) = `+`(`/`(`*`(16, `*`(`^`(LambertW(`*`(`+`(`*`(`^`(R, 2)), `-`(`*`(`^`(T, 2)))), `*`(exp(-1)))), 2), `*`(`^`(m, 2), `*`(`^`(`+`(`*`(R, `*`(dR)), `-`(`*`(T, `*`(dT)))), 2))))), `*`(`^`(...
`*`(`^`(dS, 2)) = `+`(`/`(`*`(16, `*`(`^`(LambertW(`*`(`+`(`*`(`^`(R, 2)), `-`(`*`(`^`(T, 2)))), `*`(exp(-1)))), 2), `*`(`^`(m, 2), `*`(`^`(`+`(`*`(R, `*`(dR)), `-`(`*`(T, `*`(dT)))), 2))))), `*`(`^`(...
(19)
 

 

algsubs(LambertW(`*`(`+`(`*`(`^`(R, 2)), `-`(`*`(`^`(T, 2)))), `*`(exp(-1)))) = `+`(`*`(r, `*`(`/`(`+`(`*`(2, `*`(m)))))), `-`(1)), %) 

`*`(`^`(dS, 2)) = `+`(`/`(`*`(16, `*`(`^`(m, 2), `*`(`^`(`+`(`*`(R, `*`(dR)), `-`(`*`(T, `*`(dT)))), 2), `*`(`^`(`+`(`-`(r), `*`(2, `*`(m))), 2))))), `*`(`^`(`+`(`*`(`^`(R, 2)), `-`(`*`(`^`(T, 2)))), ... (20)
 

 

simplify(%) 

`*`(`^`(dS, 2)) = `+`(`-`(`/`(`*`(16, `*`(`+`(`*`(`^`(dR, 2)), `-`(`*`(`^`(dT, 2)))), `*`(`+`(`-`(r), `*`(2, `*`(m))), `*`(`^`(m, 2))))), `*`(`+`(`*`(`^`(R, 2)), `-`(`*`(`^`(T, 2)))), `*`(r))))) (21)
 

 

 

algsubs(`+`(`*`(`^`(R, 2)), `-`(`*`(`^`(T, 2)))) = `+`(`/`(`*`(`/`(1, 2), `*`(abs(`+`(`-`(r), `*`(2, `*`(m)))), `*`(exp(`+`(`/`(`*`(`/`(1, 2), `*`(r)), `*`(m))))))), `*`(m))), %) 

`*`(`^`(dS, 2)) = `+`(`-`(`/`(`*`(32, `*`(`+`(`*`(`^`(dR, 2)), `-`(`*`(`^`(dT, 2)))), `*`(`+`(`-`(r), `*`(2, `*`(m))), `*`(`^`(m, 3))))), `*`(r, `*`(abs(`+`(`-`(r), `*`(2, `*`(m)))), `*`(exp(`+`(`/`(`... (22)
 

 

 

 

simplify(%) 

`*`(`^`(dS, 2)) = `+`(`-`(`/`(`*`(32, `*`(`+`(`*`(`^`(dR, 2)), `-`(`*`(`^`(dT, 2)))), `*`(`+`(`-`(r), `*`(2, `*`(m))), `*`(`^`(m, 3), `*`(exp(`+`(`-`(`/`(`*`(`/`(1, 2), `*`(r)), `*`(m)))))))))), `*`(r... (23)
 

 

 

Which is the new metric, which can be expressed as #             `*`(`^`(dS, 2)) = `+`(`/`(`*`(32, `*`(`^`(m, 3), `*`(exp(`+`(`-`(`*`(r, `*`(`/`(`+`(`*`(2, `*`(m))))))))), `*`(`+`(`*`(`^`(dR, 2)), `-`(`*`(`^`(dT, 2)))))))), `*`(r, `*`(f)))) 

 

For comparison the Kruskal-Szekeres metric is: #                       `*`(`^`(dS, 2)) = `+`(`/`(`*`(32, `*`(`^`(m, 3), `*`(exp(`+`(`-`(`*`(r, `*`(`/`(`+`(`*`(2, `*`(m))))))))), `*`(`+`(`*`(`^`(dR, 2)), `-`(`*`(`^`(dT, 2)))))))), `*`(r)))  

 

Copyright (c) 2008 KevPegrume