Next Article in Journal
Sustainability Assessment of Cement Types via Integrated Life Cycle Assessment and Multi-Criteria Decision-Making Methods
Previous Article in Journal
Simultaneous Analysis of Early Components P1 and N1 and Phase and Non-Phase Alpha Activities Associated with Word Recall
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A Spacetime Metric for the 4 + 1 Formalism

Department of Computer Science, Jerusalem Multidisciplinary Center, Jerusalem 91010, Israel
Submission received: 27 April 2025 / Revised: 28 May 2025 / Accepted: 25 June 2025 / Published: 1 July 2025

Abstract

In his foundational work on classical and quantum electrodynamics, Stueckelberg introduced an external evolution parameter, τ , in order to overcome difficulties associated with the problem of time in relativity. Stueckelberg particle trajectories are described by the evolution of spacetime events under the monotonic advance of τ , the basis for the Feynman–Stueckelberg interpretation of particle–antiparticle interactions. An event is a solution to τ -parameterized equations of motion, which, under simple conditions, including the elimination of pair processes, can be reparameterized by the proper time of motion. The 4 + 1 formalism in general relativity (GR) extends this framework to provide field equations for a τ -dependent local metric γ μ ν ( x , τ ) induced by these Stueckelberg trajectories, leading to τ -parameterized geodesic equations in an evolving spacetime. As in standard GR, the linearized theory for weak fields leads to a wave equation for the local metric induced by a given matter source. While previous attempts to solve the wave equation have produced a metric with the expected features, the resulting geodesic equations for a test particle lead to unreasonable trajectories. In this paper, we discuss the difficulties associated with the wave equation and set up the more general ADM-like 4 + 1 evolution equations, providing an initial value problem for the metric induced by a given source. As in the familiar 3 + 1 formalism, the metric can be found as a perturbation to an exact solution for the metric induced by a known source. Here, we propose a metric, ansatz, with certain expected properties; obtain the source that induces this metric; and use them as the initial conditions in an initial value problem for a general metric posed as a perturbation to the ansatz. We show that the ansatz metric, its associated source, and the geodesic equations for a test particle behave as required for such a model, recovering Newtonian gravitation in the nonrelativistic limit. We then pose the initial value problem to obtain more general solutions as perturbations of the ansatz.

1. Introduction

A significant obstacle in constructing a quantum theory of gravity centers on a variety of issues known collectively as the problem of time [1,2,3]. Although sometimes presented as a conceptual conflict between general relativity (GR) and quantum theory (see, for example, [4]), the essential difficulty is already present in the context of classical GR. In relativistic physics, as well as in everyday language, the concept of time play two distinct roles [5]. On the one hand time, time is one of four coordinates describing a location in spacetime, and in GR, these coordinates are dynamic quantities to be determined by equations of motion. But on the other hand, time is the chronological parameter required for posing and solving these equations. While this system is arguably well-posed in classical GR, its consistency in the presence of quantum fluctuations is a fundamental difficulty facing quantum gravity (see [1] for a discussion of this question).
The distinction between these two aspects of time was already noted by Stueckelberg [6,7] in his foundational work on classical and quantum electrodynamics. In describing antiparticles as particles “going backward in time”, he found that neither the coordinate time t nor the proper time of the motion d s = η μ ν d x μ d x ν could faithfully parameterize chronological evolution in flat spacetime with η μ ν = ( 1 , 1 , 1 , 1 ) . Instead, he introduced a parameter τ , external to the spacetime manifold and independent of the phase space coordinates, whose monotonic increase provides the “arrow of time” that determines chronology. In formulating the Klein–Gordon path integral, Feynman [8] adopted a similar approach, now known as the Feynman–Stueckelberg interpretation.
In the Stueckelberg framework, a particle worldline is the trajectory of a classical event x μ τ or quantum event ψ x , τ generated by a Lorentz scalar Hamiltonian K in canonical mechanics whose structure is familiar to nonrelativistic physics. Piron and Horwitz [9] developed Stueckelberg’s work into a relativistic canonical many-body theory [10,11,12,13,14] of interacting spacetime events. The resulting Stueckelberg–Horwitz–Piron (SHP) formalism admits τ -dependent gauge freedom, leading to an electrodynamic theory in flat spacetime (see [15,16,17] and references contained therein) with five gauge potentials a μ x , τ and a 5 x , τ . These fields are designated a α x , τ with the index convention
α ,   β ,   γ ,   δ = 0 ,   1 ,   2 ,   3 ,   5 μ ,   ν ,   λ ,   ρ = 0 ,   1 ,   2 ,   3 .
Although the free fields enjoy 5D gauge and spacetime symmetries, the description of particles must remain Lorentz-covariant, and so the symmetry of the fields breaks to O(3,1) when coupled with matter. The resulting theory of interacting events is integrable and recovers Maxwell electrodynamics in τ -equilibrium.
Horwitz extended the SHP framework to curved spacetime [18,19] with a background metric on 4D spacetime g μ ν ( x ) , which reduces to η μ ν in flat spacetime. The equations of motion are the familiar geodesic equations of GR:
D x ˙ μ D τ = x ¨ μ + Γ ρ λ μ x ˙ ρ x ˙ λ = 0 Γ λ μ ρ = 1 2 g ρ σ g σ λ x μ + g σ μ x λ g λ μ x σ
but are parameterized here by the external chronological time τ , where
x ˙ μ ( τ ) = d x μ ( τ ) d τ x ¨ μ = d 2 x μ ( τ ) d τ 2
describe the Stueckelberg trajectory for the event x μ ( τ ) . For simple trajectories, it is often possible to invert x 0 = x 0 ( τ ) and reparameterize the system using t, although the resulting description may be significantly more complicated. In the presence of pair creation and annihilation processes, the x 0 trajectory will not be invertible [17].
To develop this system into a fully dynamical theory framework, we must consider that events x μ ( τ ) will be associated with an event density ρ ( x , τ ) and energy–momentum tensor T μ ν ( x , τ ) that also depend explicitly on τ . We must therefore find τ -dependent field equations to be solved for a local metric γ μ ν ( x , τ ) , reflecting Wheeler’s characterization of geometrodynamics [20] as “spacetime tells matter how to move; matter tells spacetime how to curve”. In a recent series of papers (see [21] and references contained therein), we proposed such field equations by constructing a 4 + 1 formalism that builds on the theory of embedded surfaces [22,23,24], as applied in the 3 + 1 Arnowitt–Deser–Misner (ADM) formalism [25].
In the 3 + 1 framework, 4D spacetime M is decomposed into a timelike direction, defining a time parameter t, and a 3D spacelike hypersurface whose metric γ i j ( x ) evolves with t for i ,   j = 1 ,   2 ,   3 . The well-known Einstein field equations can then be decomposed into an initial value problem for γ i j ( x ) and the extrinsic curvature K i j ( x ) that expresses geometrical information about the t-direction.
To construct the 4 + 1 formalism, we define a 5D pseudo-spacetime M 5 with coordinates X α = ( x μ , τ ) and a metric g α β ( x , τ ) to be discovered. Mimicking the ADM procedure, we take advantage of the natural foliation to decompose M 5 into the τ -like direction and the 4D hypersurface M , whose metric γ μ ν ( x , τ ) evolves with τ for μ ,   ν = 0 ,   1 ,   2 ,   3 . The Einstein field equations are extended to 5D in such a way as to ensure that the geometrical structures (the free fields of the theory) retain 5D gauge and spacetime symmetry, while the description of matter possesses O(3,1) spacetime symmetry at most. These field equations can then be decomposed into an initial value problem for γ μ ν ( x , τ ) and the extrinsic curvature K μ ν ( x , τ ) that expresses geometrical information about the τ -direction. Because τ is independent of spacetime in this formalism, the diffeomorphism invariance of general relativity does not raise questions about the evolution of the metric, as might occur under t-evolution. Moreover, the matter dynamics are determined by a Lorentz scalar Hamiltonian and are similarly unaffected by coordinate transformations. These features should also apply to quantized canonical gravity, sidestepping concerns that quantum fluctuations may affect the evolution equations. For simple spacetime configurations, it may be possible to reparameterize the system by x 0 and eliminate τ from the solution for γ μ ν . As Fock observed when first proposing the parameterization of electrodynamics in proper time [26], the resulting solutions will generally be significantly more complicated, so that the 4 + 1 formalism is expected to provide more stable numerical solutions for complex energy–momentum configurations.
As in standard GR, the 5D field equations can be linearized for weak fields, leading to a wave equation for small perturbations to the flat space metric. This equation possesses a Green’s function [17] that was found in the context of SHP electrodynamics and has been applied to find solutions in GR for sources of various types. For a ‘static particle’—a single event evenly distributed along the t-axis in its rest frame, with no detailed information about its location in time—we obtain a Schwarzschild-like metric [21].
However, a free Stueckelberg event in its rest frame is described by x μ ( τ ) = ( c t ( τ ) ,   0 ) , and we naturally expect that the time coordinate t ( τ ) will advance (or retreat) as τ advances monotonically. A free Stueckelberg particle may be modeled as an ensemble of such events [27] located at some point x in space, but narrowly distributed along the time axis according to some probability distribution φ ( t t ( τ ) ) , where t ( τ ) is the nominal time coordinate. In SHP electrodynamics, the 5D wave equation then produces the Coulomb potential in the form
a 0 x , τ = φ t R / c τ R + o 1 R 2 ,
where φ ( s ) has its maximum at φ ( 0 ) . A test event at some spacetime point x = ( c t ,   R r ^ ) will experience a potential whose support is centered around the chronological time τ = t R / c , the retarded time of the source. An observer located at this static point x will see the potential rise and fall in strength as the chronological time τ approaches and then retreats from the retarded time. But an observer similarly advancing along its worldline with t = τ + R / c will see the potential with constant strength determined by φ ( 0 ) .
In [21], we showed that this approach is not successful in finding an appropriate metric induced by an event localized on the t-axis in the 4 + 1 formalism. A source ensemble of the type described above produces an energy–momentum tensor narrowly distributed in τ given by
T α β ( x , τ ) = T ^ α β ( x ) φ t R / c τ
where T ^ is the static energy–momentum tensor found in standard GR. Solving the wave equation in the linearized 4 + 1 formalism thus leads to a Schwarzschild-like metric in which the usual spacetime factor 1 Φ is modified as
Φ = 2 G M c 2 R 2 G M c 2 R φ t R / c τ
describing a localized gravitational field for a test event with a maximum on the lightcone of the source. In this picture, spacetime is flat and empty, except at the chronological moments τ , for which the matter sources and the metric fields they induce have support in the neighborhood of a given spacetime point x μ . As for the Coulomb potential, an observer advancing along its worldline with t = τ + R / c will experience the metric with constant strength determined by φ ( 0 ) .
Nevertheless, it was also shown in [21] that the geodesic equations for a test event in any metric of the separable type (6) lead to unreasonable equations of motion, including a dynamic reversal of the sign of the gravitational acceleration. This problem arises from the structure of the 5D Green’s function, which is itself subject to a number of open questions. As a result, the wave equation in linearized 4 + 1 gravitation does not provide an effective approach to the metric, and we must apply the full 4+1 evolution equations. For weak fields, one may pose the initial value problem by choosing an ansatz for the metric and seeking solutions for the desired metric as a perturbation of the ansatz under the influence of the perturbing source.
In this paper, we propose an ansatz with the desired properties, derive the associated source T μ ν from the wave equation, and set up the 4 + 1 metric evolution equations in the weak field approximation. In Section 2, we briefly review the SHP formalism and 4 + 1 general relativity with invariant evolution. Section 3 summarizes solutions to the wave equation using the Green’s function, which informs our choice of the ansatz metric. In Section 4, we present an ansatz metric, examine the resulting geodesic equations, and derive the source using the wave equation. In Section 5, we set up the 4 + 1 evolution equations by calculating the projected Ricci tensor and extrinsic curvature. Section 6 presents a discussion of these results.

2. Review of General Relativity with Invariant Evolution

2.1. Gauge and Spacetime Symmetries

Using the flat spacetime metric η μ ν with index convention (1), the electrodynamic event action
S SHP = d τ 1 2 M x ˙ μ x ˙ μ + e c x ˙ μ a μ x , τ + c 5 a 5 x , τ
= d τ 1 2 M x ˙ μ x ˙ μ + e c x ˙ β a β x , τ
is invariant under the 5D gauge transformation a α x , τ a α x , τ + α Λ ( x , τ ) , where we introduce x 5 = c 5 τ as a dimensional factor, in analogy to x 0 = c t . The superficial 5D spacetime symmetry in the term x ˙ β a β , is broken to O(3,1) by the terms x ˙ μ x ˙ μ , x ˙ μ a μ , and a 5 , which are Lorentz scalars, restricting the spacetime symmetry of the action to 4D. Beginning from another point of view, we may treat (8) as a standard 5D action in which we have broken the 5D symmetry of the first term by constraining x ˙ 5 c 5 and eliminating the constant term so that x ˙ α x ˙ α x ˙ μ x ˙ μ . This latter observation informs our approach to τ -dependent GR. For consistency with electrodynamic phenomenology, we take c 5 < c (see [17] for more on the interpretation of c 5 ).
The action for the electromagnetic field is
S field = d τ d 4 x   f α β ( x , τ ) f α β ( x , τ )
where f α β = α a β β a α appear in the Lorentz force found by varying (8) with respect to x μ . Since the 5-index signifies an O(3,1) scalar quantity, f μ ν is a second-rank tensor, while f 5 μ is a vector field strength. Raising the 5-index in (9) seems to require a 5D flat space metric
η α β = diag 1 , 1 , 1 , 1 , σ σ = ± 1
suggesting an O(3,2) or O(4,1) symmetry for the free fields. But by writing
f α β ( x , τ ) f α β ( x , τ ) = f μ ν ( x , τ ) f μ ν ( x , τ ) + 2 σ f 5 μ ( x , τ ) f μ 5 ( x , τ )
we may regard σ as simply the choice of sign for the vector–vector interaction relative to the tensor–tensor interaction, with no inherent geometrical significance.
Just as we may regard (8) as a symmetry-broken 5D action, we approach GR by embedding 4D spacetime M in a 5D pseudo-spacetime M 5 = M × R with coordinates X α = x μ ,   c 5 τ . We associate with M 5 a metric g α β ( x , τ ) to be determined using 5D field equations. Exploiting the natural foliation of M 5 into 4D equal- τ spacetimes homeomorphic to M , we construct a constant quintrad frame [28] for the pseudo-spacetime with basis vectors e a · e b = η a b related to the coordinate frame g α · g β = g α β by the vielbein field
e a = e a α x , τ g α
that “absorbs” the local dependence of the g α P on the point P M 5 . The quintrad indices run a = 0 , 1 , 2 , 3 , 5 . In the quintrad frame, the field equations can be immediately written as
R a b 1 2 η a b R = k G T a b
where we initially specify the constant flat metric as (10). As in electrodynamics, we break the 5D spacetime symmetry to O(3,1) at the source by replacing
η a b = diag 1 , 1 , 1 , 1 , σ η ^ a b = diag 1 , 1 , 1 , 1 , 0 = δ a k δ b l η k l
in the matter terms. That is, we break the symmetry of (13) by posing field new equations in the trace reversed form
R a b = k G T a b 1 2 η ^ a b T ^ T ^ = η ^ a b T a b = η k l T k l
where the purely geometrical structure on the LHS enjoys 5D symmetry in the absence of the O(3,1) covariant source terms on the RHS. Transforming this expression back to the coordinate frame provides the O(3,1) symmetric field equations
R α β = k G T α β 1 2 P α β T ^ P α β = g α β σ n α n β
where n α is the unit normal that points in the τ -direction orthogonal to M , and P α β is the projection operator from M 5 onto the 4D spacetime hypersurface M . The matter terms in (16) restrict the symmetry of the field equations to O(3,1).

2.2. Event Dynamics in Curved Spacetime

Variation of the scalar event Lagrangian
L = 1 2 M g α β x ˙ α x ˙ β
with respect to x γ leads to 5D geodesic equations
D x ˙ γ D τ = x ¨ γ + Γ α β γ x ˙ α x ˙ β = 0 Γ β γ α = 1 2 g α δ g δ β x γ + g δ γ x β g β γ x δ
with the Christoffel connection in the standard form. As in electrodynamics, the apparent 5D symmetry is broken to O(3,1) by constraining x ˙ 5 = c 5 x ¨ 5 = 0 , leaving the dynamical system in the form
D x ˙ μ D τ = x ¨ μ + Γ α β μ x ˙ α x ˙ β = x ¨ μ + Γ ν σ μ x ˙ ν x ˙ σ + 2 c 5 Γ 5 ν μ x ˙ ν + c 5 2 Γ 55 μ = 0
D x ˙ 5 D τ = x ¨ 5 0
which recovers standard 4D GR in the case g 5 α = 0 and τ g μ ν = 0 . With canonical momentum
p μ = L x ˙ μ = M g μ ν x ˙ ν + c 5 g μ 5
Legendre transformation of L leads to the Hamiltonian
K = 1 2 M p 2 + 1 2 c 5 g 55 g 5 μ p μ 1 2 c 5 g 5 μ g μ λ p λ + 1 2 M c 5 2 g 5 μ g μ λ g λ 5 + 1 2 M c 5 2 g 55
representing the total 5D mass of the motion. When g 5 μ = 0 , this assumes the simple form
K = 1 2 M p μ p μ + 1 2 M c 5 2 g 55
in which g 55 ( x , τ ) plays the role of a τ -dependent potential on 4D spacetime. In general, the Hamilton equations
x ˙ μ = d x μ d τ = K p μ p ˙ μ = d p μ d τ = K x μ
lead to the geodesic equations in a first-order form. As in nonrelativistic mechanics, the Poisson bracket is defined as
F , G = F x α G p α F p α G x α = F x μ G p μ F p μ G x μ
where the second equality follows from p 5 0 . For a scalar function F x , p , τ on phase space, we have
d F d τ = F , K + F τ ,
generalizing the nonrelativistic result. The Hamiltonian is thus conserved unless K depends explicitly on τ through g α β x , τ . Nevertheless, the 4D mass m = p μ p μ / 2 M may vary under g 5 α .
Putting 0 g α β = 0 in the geodesic Equation (19) and neglecting x ˙ i / c 1 for i = 1 , 2 , 3 , the equations of motion reduce to
d 2 t d τ 2 = d t d τ τ g 00 x ¨ = 1 2 c 2 d t d τ 2 g 00 + 1 2 c 5 2 g 55
which differ from nonrelativistic mechanics when τ g 00 0 t ¨ 0 . To compare with Newtonian gravity, we borrow g 00 = 1 + 2 G M / c 2 R from the Schwarzschild solution, put g 55 = 0 , and introduce a perturbed source mass M = M 0 + δ M ( τ ) . The t equation admits the solution
d t d τ = exp 2 G c 2 R δ M δ M 0 1
showing that a mass perturbation in the source leads to acceleration of the t coordinate of the test particle. Introducing the conserved angular momentum L = M r 2 ϕ ˙ , we find the radial equation in spherical coordinates
r ¨ L 2 M 2 R 3 + exp 4 G c 2 R δ M G M 0 R 2 = 0 ,
which recovers Newtonian gravitation in the absence of the perturbation δ M . The Hamiltonian for the test event in this coordinate system is
K = 1 2 M g α β x ˙ α x ˙ β = 1 2 M c 2 1 2 G M 0 c 2 R exp 4 G c 2 R δ M + 1 2 M R ˙ 2 + 1 2 L 2 M R 2
with the time derivative
d d τ K = exp 4 G c 2 R δ M G M r + 4 G 2 M M 0 c 2 R 2 d d τ δ M .
We thus see that the Hamiltonian for the motion of this test particle is not conserved in the presence of a variable mass gravitational source. We may interpret this as a transfer of mass across spacetime mediated by the metric.
Similarly, allowing the time velocity x ˙ 0 ( τ ) of the source event to vary in the rest frame, equivalent to variable mass through p 2 = M 2 x ˙ 2 = M 2 x ˙ 0 2 , produces an energy–momentum tensor in the 5D space that exhibits radiation of mass through spacetime. Solving the wave equation for this source produces a post-Newtonian metric similar to Schwarzschild but depending explicitly on τ . Solving the geodesic equations for a test event in this metric leads to motion with variable t ˙ ( τ ) and a radial equation for R characterized by variable dynamic mass p 2 . As such, this model also describes a variable mass source event radiating mass across spacetime to a test event whose mass varies in response [21].
For a distribution of geodesically evolving events without mutual interaction (‘dust’), the event density ρ ( x , τ ) is the number of events per spacetime volume, with dimensions of the length−4. The event current is
j α x , τ = M ρ ( x , τ ) x ˙ α ( τ )
with the continuity equation
α j α = j α x α + j γ Γ γ α α = ρ τ + μ j μ = 0
where, again, j 5 = M c 5 ρ x , τ is an O(3, 1) scalar and not the 5-component of a vector with 5D symmetry. The mass–energy–momentum tensor
T α β = M ρ x ˙ α x ˙ β T μ ν = M ρ x ˙ μ x ˙ ν , T 5 β = x ˙ 5 x ˙ β M ρ = c 5 j β ,
is conserved as
α T α β = 0 ,
by virtue of the continuity and geodesic equations. The tensor T α β is thus a suitable O(3,1) covariant source for the 5D field equation.

2.3. Weak Field Approximation

In the weak field approximation [17], we write the local metric as a small perturbation h α β of the flat metric (10) so that
g α β = η α β + h α β γ g α β = γ h α β h α β 2 0
leading to the Ricci tensor in the form
R α β 1 2 β γ h α γ + α γ h β γ γ γ h α β α β h
where h = η α β h α β . Imposing the Lorenz gauge condition
β h α β 1 2 η α β h = 0 ,
permitted by invariance of the metric under a 5D translation x α x α + Λ α ( x , τ ) simplifies the Ricci tensor to
R α β 1 2 γ γ h α β .
Using this expression on the LHS of (16), the SHP field equation takes the form of the wave equation
γ γ h α β = μ μ + σ 1 c 5 2 τ 2 h α β = 2 k G T α β 1 2 P α β T ^
for which the principal part Green’s function [17] is
G ( x , τ ) = 1 2 π δ ( x 2 ) δ ( τ ) + c 5 2 π 2 x 2 θ ( σ g α β x α x β ) 1 σ g α β x α x β .
The leading term, which is denoted G Maxwell , has lightlike support at equal- τ and is dominant at long distances. The second term, denoted G correlation , drops off as 1 / distance 2 with spacelike support for σ = 1 and timelike support for σ = + 1 . As discussed in Section 1, the leading term was used in SHP electrodynamics to obtain the Coulomb force. Nevertheless, significant complexities arise in determining the appropriate Green’s function for a 5D wave equation [17], related to the treatment of multiple poles in the Fourier domain and the associated order of integration. In Section 3, we discuss the difficulties that arise when applying this Green’s function in GR.
For a matter source in GR, we consider a distribution of events moving in tandem in the neighborhood of a point with 5D coordinates and normalized velocity
X α ( τ ) = ( X μ τ , c 5 τ ) ξ α ( τ ) = 1 c X ˙ α τ = 1 c d X α d τ .
Writing the spacetime event density in the form ρ x , τ = ρ x X τ leads to the mass-energy–momentum tensor
T α β = M ρ x , τ X ˙ α X ˙ β = M ρ x , τ u α u β = M c 2 ρ x , τ ξ α ( τ ) ξ β ( τ )
which is seen to be conserved by noting that τ ρ ( x , τ ) = ξ μ μ ρ ( x , τ ) . For this source, a generic solution for the metric perturbation is then
h α β x , τ = 2 k G d 4 x d τ G x x , τ τ ξ α ξ β 1 2 η ^ α β ξ ^ 2 ρ ( x , τ )
where ξ α = ξ α τ and ξ ^ 2 = η ^ μ ν ξ μ ξ ν .

2.4. Evolution of the Local Metric

The 3 + 1 ADM formalism [25] in GR defines a foliation of 4D spacetime that permits the Einstein field equations to be split into a pair of first-order evolution equations and a pair of propagating but non-evolving constraints. After finding initial conditions that satisfy the constraints, the evolution equations provide an initial value problem for the metric γ i j of space as a function of t. The extraction of the evolution equations and constraints from Einstein’s equations relies heavily on the theory of embedded surfaces [22,23,24], treating 3D space as an equal-t spacelike hypersurface embedded in 4D spacetime. For SHP GR, we generalized the ADM methods to a 4 + 1 formalism [29], exploiting the natural foliation of M 5 into equal- τ spacetime hypersurfaces to construct an initial value problem for the spacetime metric γ μ ν as a function of τ . This section briefly summarizes the main results.
Although we constructed the 5D pseudo-spacetime described in Section 2.1 as an embedding of equal- τ 4D spacetimes M in M 5 , we may take advantage of the ADM techniques by treating M 5 as a starting point, for which we have the known field Equation (16). To facilitate the natural foliation of M 5 into spacetime hypersurfaces we extend the previous partition of coordinate indices to the quintrad indices as
a , b , c , d , = 0 , 1 , 2 , 3 , 5 k , l , m , n , = 0 , 1 , 2 , 3
expressing the vielbein transformation and its inverse as
e k = e k μ g μ + e k 5 g 5 g μ = E μ k e k + E μ 5 ¯ e 5
where the spacetime hypersurface (quatrad) is spanned by e k , while e 5 points in the direction of τ -evolution normal to M . We introduce the ADM parameterization
g 5 = N μ g μ + N e 5 ,
where N μ generalizes the shift 3-vector, and N is the lapse function with respect to τ . The vielbein field is now
e a α = δ a k δ μ α e k μ δ a 5 δ μ α 1 N N μ + δ a 5 δ 5 α 1 N E α a = δ α μ δ k a E μ k + δ α 5 E μ k N μ δ k a + N δ 5 a
leading to the coordinate metric on M 5 .
g α β = γ μ ν N μ N μ σ N 2 + γ μ ν N μ N ν ,
which generalizes the ADM decomposition. The induced metric γ μ ν is the evolving metric on 4D spacetime M . As in the 3 + 1 formalism, the arbitrary functions N and N μ act as Lagrange multipliers whose choice is comparable to gauge freedom [25], and so the dynamical content in the vielbein field e a α is contained entirely in the spacetime vierbein field e k μ .
The foliation of M 5 into equal- τ spacetimes M provides P α β , the projection operator used to find (16). Following the ADM procedure, the remaining geometrical structures are then projected from M 5 onto M in the following steps (see [29] for detail):
  • The covariant derivative D α on M is found using P α β to project the covariant derivative α on M 5 .
  • The extrinsic curvature K α β is defined by projecting the covariant derivative of the unit normal n α .
  • The projected curvature R ¯ γ α β δ on M is defined through the non-commutation of projected covariant derivatives D α and D β .
  • The Gauss relation is found by decomposing the 5D curvature R γ α β δ in terms of R ¯ γ α β δ and K α β .
  • The energy–momentum tensor is decomposed through the projections
    κ = n α n β T α β p β = n α P β β T α β S α β = P α α P β β T α β S = P α β S α β ,
    .
  • Projecting the 5D curvature R γ α β δ on the unit normal n α leads to the Codazzi relation, providing a relationship between K α β and p α .
  • Lie derivatives of P α β and K α β along the direction of τ evolution, given by the unit normal n α in the coordinate frame, are combined with these ingredients, along with the O(3,1)-symmetric field Equation (16), to obtain τ -evolution equations for γ μ ν and K μ ν , as well as a pair of constraints on the initial conditions.
Finally, the evolution equations are found to be
1 c 5 τ γ μ ν = L N γ μ ν 2 N K μ ν
1 c 5 τ K μ ν = D μ D ν N + L N K μ ν + N σ R ¯ μ ν + K K μ ν 2 K μ λ K ν λ + σ k G S μ ν 1 2 P μ ν S
where L N is the Lie derivative along N μ . Their solutions must satisfy the Hamiltonian and momentum constraints
R ¯ σ K 2 K μ ν K μ ν = k G S + σ κ D μ K ν μ D ν K = k G p ν .

3. The Metric as Solution to a 5D Wave Equation

We now obtain the metric for a source event of constant velocity using Green’s function (41) and discuss the difficulties with this approach. For such a source event, expression (44) for the metric perturbation reduces to
h α β x , τ = 2 k G M c 2 Z α β G ρ x , τ
where we denote
Z α β = ξ α ξ β 1 2 η ^ α β ξ μ ξ μ
G ρ x , τ = d 4 x d τ G x x , τ τ ρ x , τ
as the kinematic and dynamical factors. For a source evenly distributed along the t-axis in its rest frame, we may write
ρ ( t τ ) = 1
so that the event density becomes
ρ ( x , τ ) = ρ x X τ = ρ c t c τ δ ( 3 ) ( x ) = δ ( 3 ) ( x )
as is typically written for a “static” particle in standard relativity. Integration of the event density (57) with Green’s function (41) leads to
G Maxwell ρ x , τ = d 4 x d τ 1 2 π δ ( ( x x ) 2 ) δ ( τ τ ) δ ( 3 ) ( x ) = 1 4 π | x |
G correlation ρ x , τ = c 5 2 π 2 d 4 x d τ x 2 θ ( σ ( x x ) α ( x x ) α ) σ ( x x ) α ( x x ) α δ ( 3 ) ( x ) = 0
and so taking
k G = 8 π G c 4 ,
the spacetime part of the metric becomes
g μ ν = diag 1 + 2 G M c 2 r , 1 + 2 G M c 2 r δ i j diag U , U 1 δ i j ,
where
U = 1 2 G M c 2 r
and r = | x | . Naturally, this metric is spatially isotropic and t-independent because the event density is spread evenly along the t-axis. Transforming to spherical coordinates, (61) becomes
g μ ν = diag U , U 1 , U 1 r 2 , U 1 r 2 sin 2 θ ,
which, for weak fields, is recognized as the Schwarzschild metric
g μ ν = diag U , U 1 , R 2 , R 2 sin 2 θ
when expressed in the isotropic coordinates [30] defined through
R = r 1 + k 2 r 2 .
This metric is well-known to be Ricci-flat, R μ ν = 0 , a consequence of t-independence.
In [21], we attempted to modify the calculation for the “static” event by specifying a trajectory narrowly distributed along the t-axis at the spatial origin x = 0 . We wrote the event density
ρ x , τ = φ t τ δ ( 3 ) x φ max = φ ( 0 )
with support in a neighborhood around t = τ . The kinematic factors are
Z 00 = 1 2 Z 05 = Z 50 = σ c 5 c = σ ξ 5 Z i j = 1 2 δ i j Z 55 = c 5 2 c 2 = ξ 5 2
where i , j = 1 , 2 , 3 , and the dynamic factors are
G Maxwell = d 4 x d τ 1 2 π δ ( ( x x ) 2 ) δ ( τ τ ) φ t τ δ ( 3 ) ( x )
G correlation = c 5 2 π 2 d 4 x d τ x 2 θ ( σ ( x x ) α ( x x ) α ) σ ( x x ) α ( x x ) α φ t τ δ ( 3 ) ( x ) .
The leading term is easily found as
G Maxwell = φ t R / c τ 4 π R
producing a gravitational field with a maximum at τ = t R / c for a given R > 0 . Thus, for a source located at t source = τ , a test event will feel the strongest gravitational force when moving on the lightcone of the source, accounting for the propagation time of the gravitational field. The similarity to the Coulomb force in (4) in electrodynamics is clear. Detailed analysis of G correlation shows [21] that this term vanishes for σ = 1 , while for σ = + 1
G Correlation = c 5 2 π 2 1 x 2 c 5 2 τ 2 t τ
which drops off as 1 / R 2 , leaving the contribution from G Maxwell dominant at a long distance. Neglecting the subdominant term, the metric becomes
g 00 = U = 1 + k G M c 2 4 π R φ t R / c τ
g i j = V δ i j = 1 + k G M c 2 4 π r φ t R / c τ δ i j i , j = 1 , 2 , 3
g 05 =   g 50 = 2 σ ξ 5 k G M c 2 4 π R φ t R / c τ
g 55 =   2 ξ 5 2 k G M c 2 4 π R φ t R / c τ
which seems reasonable as it modifies the Schwarzschild-like metric (61) by restricting the support of its influence to τ t retarded . At some chosen point x = ( c t , x ) in spacetime, the metric is flat at τ , rises to a maximum at τ = t R / c = t retarded , and again returns to the flat metric at τ . Thus, the effect of the metric in 4 + 1 GR depends on the trajectories of the source and test events moving through spacetime. In particular, for a test event evolving as x = ( c ( τ + R / c ) , x ) , the factor φ ( t R / c τ ) 1 and the gravitational field will be determined by the time-independent Schwarzschild metric.
The equations of motion for a nonrelativistic test event are found by expanding (19) as
0 = x ¨ μ + c 2 Γ 00 μ t ˙ 2 + 2 Γ i 0 μ x ˙ i c t ˙ + Γ i j μ x ˙ i c x ˙ j c + 2 c 5 c Γ 50 μ t ˙ + 2 c 5 c Γ 5 i μ x ˙ i c + c 5 2 c 2 Γ 55 μ
and neglecting terms containing x ˙ i / c 1 . The nonzero Christoffel symbols are
Γ 00 μ = 1 2 c δ μ 0 h 00 t 1 2 δ μ k h 00 x k Γ i 0 μ = 1 2 c δ μ j h j i t 1 2 δ μ 0 h 00 x i
Γ i j μ = 1 2 δ μ k h k i x j + h k j x i h i j x k + 1 2 c δ μ 0 h i j t
Γ 50 μ = 1 2 c 5 δ μ 0 h 00 τ Γ 5 i μ = 1 2 c 5 δ μ k h k i τ
where we used h 0 i = 0 , i = 1 , 2 , 3 and dropped c 5 2 / c 2 1 . The equations of motion split into time and space components
0 = t ¨ 1 2 h 00 t t ˙ 2 h 00 τ + x ˙ · h 00 t ˙ 0 = x ¨ 1 2 c 2 t ˙ 2 h 00 ,
which differ from (27) because, in this case, h 00 is explicitly t-dependent. In spherical coordinates, the equations of motion are
t ¨ = 1 2 t h 00 t ˙ 2 + τ h 00 + R ˙ R h 00 t ˙ R ¨ = 1 2 c 2 ( R h 00 ) t ˙ 2 + L 2 M 2 R 3
where again, the conserved angular momentum is L = M R 2 ϕ ˙ . For a nonrelativistic test event, we can neglect t ¨ 0 and take t ˙ = 1 . Then
r h 00 = k G M c 2 4 π r 1 R φ = k G M c 2 4 π 1 R 2 φ + 1 R R φ
and again, using (60) for k G , we find
R ¨ = G M R 2 φ 1 R φ R φ + L 2 M 2 R 3
for the radial equation. Any normalized distribution with maximum φ ( 0 ) = 1 will satisfy R φ = 0 when the test event is precisely on the source event’s lightcone and so the radial equation will recover Newtonian gravitation. However, for a narrow distribution, R φ will become large and negative just slightly away from the lightcone, and so the terms in parentheses in (83) will likely become very large and possibly negative.
For example, if we consider the Gaussian distribution φ s = exp s 2 / λ 0 2 where λ 0 is a time scale representing the width of the event distribution along the t-axis, then for an event precisely on the lightcone of the source
1 R φ R φ = 1 + R λ 0 c 2 t R / c τ λ 0 1 .
However, if gravity accelerates the test event away from the lightcone and toward the source, so that R R c λ 0 , then
1 R φ R φ 1 + R c λ 0 λ 0 c 2 c λ 0 / c λ 0 = 1 + 2 R λ 0 c
which depends on the ratio R / λ 0 c . Since we expect the radial distance R to be large, while the width of the event distribution λ 0 c is small by assumption, this term magnifies the gravitational field by a large factor. Worse still, if the initial conditions are such that t R / c τ λ 0 , then the gravitational force will become repulsive. To eliminate these problems from this model would require taking λ 0 , which puts φ = 1 . But with this restriction, the metric components (72) and (73) recover the τ -independent metric (61) and the t-localization is lost, thus defeating the goal of the model.
We conclude that these problems will be present whenever the metric takes the separable form φ / R , which must apply to any solution derived from the truncated Green function. As seen in (4), the equal- τ leading term in (41) provides an approximate solution to the 5D wave function adequate for electrodynamics. However, it also provides an exact solution to the 4D wave equation on spacetime, as appears in the linearized form of standard 4D Einstein GR
1 2 λ λ h μ ν = R μ ν ( 4 ) = k G T μ ν ( x , τ )
where R μ ν ( 4 ) is the 4D Ricci tensor. The 4D wave equation thus fails to capture the full geometrical content of 4 + 1 weak field GR, where the 5D wave equation is obtained from the linearized 5D Ricci tensor (37). By separating the spacetime terms as
R μ ν 1 2 ν γ h μ γ + μ γ h ν γ γ γ h μ ν μ ν h
= R μ ν ( 4 ) + 1 2 ν 5 h μ 5 + μ 5 h ν 5 5 5 h μ ν
= R μ ν ( 4 ) + 5 Γ μ ν 5
we immediately notice the reappearance of the Christoffel symbol Γ μ ν 5 that is absent from the geodesic Equation (20) because of the constraint x ¨ 5 0 . Since Γ μ ν 5 represents contributions to the 5D curvature from τ -evolution (extrinsic curvature), we see that (86) must fail to take proper account of the τ -evolution of the 4D geometry, regardless of the τ -dependence of the source. So while G Maxwell provides approximate solutions that are adequate for electrodynamics, it misrepresents the evolving spacetime geometry we seek to describe. For this reason, it becomes necessary to approach the metric through the 4 + 1 evolution equations described in Section 2.4.

4. Ansatz Metric

We now switch directions, and instead of specifying the expected source for a gravitational field, we propose an ansatz for the metric that possesses certain expected properties. Using the 5D wave equation in the weak field approximation, we can then derive the source for the ansatz metric, evaluate the Ricci tensor and extrinsic curvature, and set up the 4 + 1 evolution equations for general mass–energy configurations. While the ansatz metric for the derived source satisfies the evolution equations exactly, the procedure leads to alternative metrics found as perturbations under general sources. The construction of general expressions characterizing perturbed metrics is discussed in standard texts on numerical relativity, such as [22].
We propose an ansatz metric in the form
g α β = H α β Φ t , r , τ
where H α β is a constant kinematic term, Φ t , r , τ is a spherically symmetric function containing the dependence on t, r = | x | , and τ . We specify the component structure of H α β to be
g μ ν = diag 1 + H 00 Φ , 1 + H 00 Φ δ i j g 05 = 2 ξ 5 H 00 Φ g i 5 = 0 g 55 = 2 ξ 5 2 H 00 Φ
as found from (67) for a source event evolving on the t-axis.
We are interested in a metric that recovers the 1 / r -dependence of Newtonian gravitation but whose support is restricted to a neighborhood of τ for a given test particle. We consider a source event in its rest frame evolving along its time axis as x 0 ( τ ) = x 5 , and a test event similarly evolving along its time axis at a spatial distance r. This suggests a possible functional form of the type
Φ t , r , τ = 1 r 2 + x 0 x 5 2 = 1 r 2 + c 2 t ξ 5 τ 2
where we denote
ρ = r 2 + c 2 t ξ 5 τ 2
for convenience. Evaluating the connection for this metric, we study the trajectory of a test event determined by the geodesic Equation (19) with the initial conditions
r 0 = R r ˙ 0 = 0 t 0 = 0 t ˙ 0 = ξ 5
for which ρ R , and Φ takes on its maximum value. If the test event deviates from the trajectory x 0 , x = ξ 5 τ , R r ^ , then the strength of the metric will diminish. Because Φ t , r , τ has a maximum at t = ξ 5 τ with respect to t but not with respect to r, this functional form does not suffer from the difficulties associated with the geodesic Equation (83), as discussed in Section 3.
To write the geodesic equations, we use the derivatives
Φ t = c 2 t ξ 5 τ ρ 3 Φ τ = ξ 5 c 2 t ξ 5 τ ρ 3 Φ x i = x i ρ 3
leading to the connection in the explicit form
Γ 00 μ = 1 2 H 00 1 ρ 3 δ μ 0 c t ξ 5 τ + δ μ k x k
Γ i 0 μ = H 00 1 2 1 ρ 3 δ i μ c t ξ 5 τ + δ μ 0 x i
Γ i j μ = 1 2 H 00 1 ρ 3 δ i μ x j + δ j μ x i δ μ k δ i j x k + δ μ 0 δ i j c t ξ 5 τ
Γ 50 μ = 1 2 H 00 1 ρ 3 2 σ ξ 5 δ μ k x k + δ μ 0 c t ξ 5 τ
Γ 5 i μ = 1 2 H 00 1 ρ 3 δ i μ c t ξ 5 τ + ξ 5 δ μ 0 2 σ x i
Γ 55 μ = H 00 1 ρ 3 δ μ k ξ 5 2 x k + δ μ 0 c 5 t ξ 5 τ 2 σ ξ 5
so that splitting the equations of motion (76) into time and space components, we arrive at
0 = t ¨ + H 00 1 ρ 3 1 2 c 2 t ξ 5 τ t ˙ 2 + x i x ˙ i t ˙ 1 2 t ξ 5 τ δ i j x ˙ i x ˙ j c c 5 t ξ 5 τ t ˙ 2 σ ξ 5 2 x i x ˙ i + c c 5 ξ 5 2 t ξ 5 τ 2 σ ξ 5 2
0 = x ¨ k + H 00 1 ρ 3 c 2 1 2 x k t ˙ 2 c t ξ 5 τ x ˙ k c t ˙ x j x ˙ k c x ˙ j c + 1 2 x k x ˙ j c x ˙ j c 2 σ ξ 5 2 x k t ˙ + c 5 t ξ 5 τ x ˙ k c + ξ 5 4 x k .
In the neighborhood of the initial conditions, the equations of motion reduce to
0 = t ¨ + H 00 x i r 3 x ˙ i c c t ˙ 2 σ ξ 5 2
0 = x ¨ k + H 00 1 r 3 c 2 1 2 x k t ˙ 2 x j x ˙ k c x ˙ j c + 1 2 x k x ˙ j c x ˙ j c 2 σ ξ 5 2 x k t ˙ + ξ 5 4 x k
so that neglecting x ˙ / c 1 in the nonrelativistic regime the time equation reduces to
0 = t ¨ t ˙ ( τ ) = ξ 5
and the space equation becomes
0 = x ¨ k + H 00 1 r 3 c 2 ξ 5 2 1 2 x k 2 σ ξ 5 x k + ξ 5 2 x k x ¨ k + 1 2 c 2 ξ 5 2 H 00 1 r 2 x ^ k
which recovers Newtonian gravitation if we take H 00 = 2 G M / ξ 5 2 c 2 = 2 G M / c 5 2 .
Now, considering a relativistic test event with the initial condition t = ξ 5 τ , and again keeping only lower order terms in ξ 5 , the equations of motion become
0 = t ¨ + H 00 1 r 2 x ^ i x ˙ i t ˙ c 5 t ¨ 2 G M r 2 x ^ i x ˙ i c
0 = x ¨ k + G M r 2 x ^ k 2 x ^ j x ˙ k x ^ k x ˙ j c x ˙ j c c 2 c 5 2 .
Since c / c 5 > 1 by assumption, while for non-tachyonic particles x ˙ k < c , we see here that the event trajectory may differ from the post-Newtonian relativistic form seen in (80).
In linearized GR, we may attribute the ansatz metric to a source by writing the field Equation (16) in the linearized form (40)
k G T α β 1 2 η ^ α β T ^ = 1 2 γ γ h α β
with spacetime components
k G T μ ν 1 2 η ^ μ ν T ^ = 1 2 H 00 δ μ ν 2 1 c 2 2 t 2 + σ 1 c 5 2 2 τ 2 Φ
for any spacetime functional Φ . Combining the derivatives of (92)
2 Φ = 3 c 2 t ξ 5 τ 2 ρ 5
1 c 2 2 t 2 Φ = r 2 2 c 2 t ξ 5 τ 2 ρ 5
and
σ 1 c 5 2 2 τ 2 Φ = σ r 2 2 c 2 t ξ 5 τ 2 ρ 5
we are led to
k G T μ ν 1 2 η ^ μ ν T ^ = 1 2 H 00 ρ 5 σ 1 r 2 + 5 2 σ c 2 t ξ 5 τ 2 δ μ ν
and if we again take H 00 = 2 G M / c 5 2 along with k G = 8 π G / c 2 c 5 2 , then
T μ ν = M c 2 4 π ρ 5 σ 1 r 2 + 5 2 σ c 2 t ξ 5 τ 2 diag 1 , 0 , 0 , 0
where only the energy component T 00 is non-vanishing. The structure of this source is easiest to see for σ = 1 , in which case
T μ ν = 3 M c 2 4 π ρ 5 c t ξ 5 τ 2 diag 1 , 0 , 0 , 0
where c 2 t ξ 5 τ 2 / ρ 5 has units of length−3, as expected for a particle density in space. Although T μ ν appears to vanish at t = ξ 5 τ , we recall that under this condition, ρ r so that Φ becomes independent of t and τ . In this case, the wave Equation (111) from which we derive the source reduces to
γ γ 1 ρ 2 1 r = 4 π δ ( 3 ) ( x )
which describes a point source evenly spread along the t-axis. In contrast, at a small spatial distance r c ( t ξ 5 τ ) , we have c 2 ( t ξ 5 τ ) 2 / ρ 5 [ c 2 ( t ξ 5 τ ) ] 3 , which describes a narrow particle density along the t-axis centered at t = ξ 5 τ . This localization at a coordinate time t determined by the chronological time τ expresses the desired τ -evolution. As expected, the source (117) describes a matter distribution evolving with τ , leading to the metric (91), which similarly evolves with τ , and the geodesic Equations (102) and (103), whose coefficients evolve with τ .

5. 4 + 1 Evolution Equations

In 4 + 1 numerical relativity, we obtain the metric induced by a given source T μ ν by writing the evolution Equations (50) and (51) for a metric γ μ ν expressed as a perturbation of a known metric γ ˜ μ ν . In 3 + 1 relativity, it is common to use the York–Lichnerowicz [31,32] conformal decomposition γ μ ν = ϕ 4 γ ˜ μ ν , for which the evolution equations become an initial value problem for the factor ϕ , with initial conditions for the projected Ricci tensor R ¯ μ ν and the extrinsic curvature K μ ν derived from the unperturbed metric.
In weak field approximation, the 4 + 1 evolution equations are simplified [29] by discarding terms of the order h α β 2 0 . Combining Equations (49) and (91), we express the 5D metric as
g α β = γ μ ν N μ N μ σ N 2 + γ μ ν N μ N ν = η μ ν + h μ ν h μ 5 h μ 5 η 55 + h 55
from which
N 1 + σ h 55 / 2 N μ = h μ 5 ,
the Lie derivative of the metric reduces to
L N γ μ ν μ h 5 ν + ν h 5 μ ,
and the metric evolution Equation (50) becomes
1 c 5 τ γ μ ν = 1 c 5 τ h μ ν μ h 5 ν + ν h 5 μ 2 K μ ν ,
confirming that K μ ν is of the order h α β . As a result, we may neglect the Lie derivative in the second evolution Equation (51)
L N K μ ν = N λ λ K μ ν + K λ ν μ N λ + K μ λ ν N λ h α β 2 0
as well as quadratic terms in K μ ν . Equation (51) for the extrinsic curvature now reduces to
1 c 5 τ K μ ν = 1 2 σ μ ν h 55 σ R ¯ μ ν + σ 8 π G c 4 S μ ν 1 2 η ¯ μ ν S ¯
and the constraints become
R ¯ σ K 2 K μ ν K μ ν R ¯ = σ 16 π G c 4 κ
D μ K ν μ D ν K μ K ν μ ν K = 8 π G c 4 p ν
with source terms
S μ ν T μ ν p ν T 5 ν κ T 55 .
As an aside, we note that the 4 + 1 initial value problem for weak fields can be simply related to the 5D wave equation found from the Ricci tensor [29]. To see this, we write the five components of Equations (16) and (39) as
R 5 μ = 1 2 β β h 5 μ = k G T μ 5 = k G p μ
R 55 = 1 2 β β h 55 = k G T 55 = k G κ
from which it follows that any weak field solution with the component structure (91) will satisfy the constraints. Before imposing the Lorenz gauge for the spacetime terms, we may split (37) as
R μ ν = 1 2 η λ ρ ρ μ h λ ν ν μ h λ ρ + ν λ h μ ρ ρ λ h μ ν + 1 2 η 55 5 μ h 5 ν ν μ h 55 + ν 5 h μ 5 5 2 h μ ν = 1 2 μ λ h λ ν + ν ρ h μ ρ λ λ h μ ν ν μ h + 1 2 σ 5 μ h 5 ν + ν h μ 5 5 h μ ν = R ¯ μ ν + σ 5 K μ ν
in which the first term is the projected Ricci tensor R ¯ μ ν and the second term contains the form of the extrinsic curvature K μ ν in the weak field approximation. Using the terms in parentheses for K μ ν , this expression can be rearranged as
1 c 5 τ h μ ν = μ h 5 ν + ν h μ 5 2 K μ ν
which recovers the first evolution Equation (122). Similarly, combining (130) with (16) and absorbing the negligible term σ μ ν h 55 / 2 into R ¯ μ ν , we obtain
1 c 5 τ K μ ν = σ R ¯ μ ν + σ k G T μ ν 1 2 η ¯ μ ν T ^
which recovers (124). We thus see that the first-order evolution equations can be found by introducing the auxiliary variable K μ ν (almost, but not quite conjugate to γ μ ν ) and rearranging terms in the linearized field equations.
The initial value problem requires the Ricci tensor and extrinsic curvature computed from the unperturbed metric as initial conditions. Splitting the Lorenz gauge condition into spacetime and five parts
λ h μ λ = 5 h μ 5 + 1 2 μ h
where h = η α β h α β is the 5D trace, the projected Ricci tensor may be written as
R ¯ μ ν = 1 2 λ λ h μ ν 1 2 σ 5 μ h ν 5 + ν h μ 5
providing a relatively simple means to calculate R ¯ μ ν . As an aside, we note that combining (132) and (134) to eliminate K μ ν , we recover the wave Equation (40)
R μ ν = R ¯ μ ν + σ 5 K μ ν = 1 2 λ λ h μ ν 1 2 σ 5 μ h ν 5 + ν h μ 5 + 1 2 σ 5 μ h 5 ν + ν h μ 5 5 h μ ν = 1 2 λ λ + σ 5 2 h μ ν = k G T μ ν 1 2 η ¯ μ ν T ^ ,
much as the elimination of momentum in favor of velocity in the Hamiltonian equations leads to second-order differential equations in particle mechanics.
For an ansatz metric with the component structure (91), the source can be found directly from (111) as we achieved in expression (115). The projected Ricci tensor is found using (134)
R ¯ μ ν = H 00 1 2 δ μ ν 2 1 c 2 2 t 2 + ξ 5 1 c 5 τ δ ν 0 x μ + δ μ 0 x ν Φ
and the extrinsic curvature is
K μ ν = H 00 σ ξ 5 δ ν 0 x μ + δ μ 0 x ν + 1 2 δ μ ν 1 c 5 τ Φ
from which
σ 5 K μ ν = H 00 ξ 5 1 c 5 τ δ ν 0 x μ + δ μ 0 x ν σ 1 2 δ μ ν 1 c 5 2 2 τ 2 Φ .
We see that the off-diagonal terms in R ¯ μ ν and σ 5 K μ ν mutually cancel, leaving the source diagonal as required. Inserting the explicit functional form (92) for Φ ( t , r , τ ) we obtain
R ¯ μ ν = H 00 ρ 5 1 2 r 2 5 c 2 t τ ξ 2 δ μ ν + 2 ξ 5 r 2 2 c 2 t τ ξ 5 2 δ μ 0 δ ν 0 3 c t ξ 5 τ δ μ 0 δ ν i + δ μ i δ ν 0 x i
and
K μ ν = σ H 00 ρ 5 1 2 c t ξ 5 τ δ μ ν + 2 ξ 5 c t ξ 5 τ δ μ 0 δ ν 0 + ξ 5 δ μ 0 δ ν i + δ μ i δ ν 0 x i .
Using any suitable functional Φ ( t , r , τ ) to derive an ansatz metric (91), its unperturbed source (111), along with initial conditions (136) and (137), the weak field evolution Equations (122) and (124) are satisfied exactly. Writing the unperturbed source as T μ ν 0 , the perturbed source T μ ν can be found using standard approximation methods. For example, we may write a source parameterized by λ as
T μ ν = T μ ν 0 + λ T μ ν 1 + λ 2 T μ ν 2 +
where λ = 0 T μ ν = T μ ν 0 , and we seek a perturbed metric
h α β = h α β 0 + λ h α β 1 + λ 2 h α β 2 +
up to the desired order in λ . For example, writing
Φ = 1 r 2 + c 2 t ξ 5 τ 2 1 r 2 + c 2 A t , τ
where
A t , τ = t ξ 5 τ 2 + λ α t , τ
leads to
Φ 1 r 2 + c 2 t ξ 5 τ 2 1 2 λ α t , τ r 2 + c 2 t ξ 5 τ 2
to first order. In the linearized theory, we also have the first-order
R μ ν = R μ ν 0 + λ R μ ν 1 K μ ν = K μ ν 0 + λ K μ ν 1
where R μ ν 0 and K μ ν 0 are derived from T μ ν 0 . And since the evolution equations are linear and solved exactly by h μ ν 0 for T μ ν 0 , the evolution equations for the perturbed metric reduce to the evolution equations for the perturbation itself.
5 h μ ν 1 = 2 K μ ν 1 + μ h 5 ν 1 + ν h 5 μ 1
5 K μ ν 1 = σ R μ ν 1 8 π G c 4 S μ ν 1 1 2 η μ ν S 1
where we may use (136) and (137) to express R μ ν 1 and K μ ν 1 in terms of the perturbation α t , τ . We note that in order to preserve the structure of the evolution equations as an initial value problem, we must preserve 5 α t , τ as an independent dynamical quantity and choose the initial values for α t , 0 and 5 α t , 0 .

6. Discussion

In this paper, we considered the relationship between the evolving 4D metric γ μ ν ( x , τ ) and the evolving matter source T μ ν ( x , τ ) in weak-field 4 + 1 general relativity and discussed an approach to determining the metric for a given source. We demonstrated the difficulties associated with applying the principal part Green’s function (41) for the 5D wave equation to a source localized and evolving uniformly in its rest frame. We saw that the geodesic equations for a test event moving in the spacetime described by the resulting metric are highly sensitive to initial conditions and become unstable under general choices for τ -synchronization with the source. This issue is attributed to the product structure ϕ ( t , r , τ ) / r for general solutions found from the leading term G Maxwell ( x , τ ) of (41), where ϕ is a narrow distribution that localizes the source along the t-axis at a given τ . This product structure was seen to result from the fact that in addition to approximate solutions to the 5D wave equations, G Maxwell provides exact solutions to the 4D wave function. Consequently, these solutions lead to metric solutions to the 4D Einstein equations, not correctly accounting for the evolution of spacetime under τ . Thus, while solving the wave equation for the linearized field equations is normally the simplest way to obtain the metric, we concluded that the shortcomings of the available Green’s function for the 5D wave equation make this method impractical. As for the case of general fields in 4D GR, the most suitable approach to the metric is to solve the ADM-like first-order evolution equations.
In order to apply the 4 + 1 formalism, we must begin with an unperturbed metric ansatz. Thus, we proposed an ansatz with many of the expected properties for the metric and found the associated matter source from the linearized field equations. In general, the source was seen to describe an event density evolving at a constant velocity along the t-axis in its rest frame, within a small volume [ c ( t ξ 5 τ ) ] 3 . At a given point ( t , 0 ) in the rest frame of the source, T μ ν ( x , τ ) only has support in a narrow region of chronological time around τ = t / ξ 5 . Consequently, the induced metric at a given point ( t , x ) drops off as 1 / | x | , but its support is similarly restricted to this narrow region around τ . As a test event evolves along some trajectory x μ ( τ ) , it experiences the spacetime geometry as a function of τ , as well as its coordinate location. The geodesic equations for this metric were seen to recover Newtonian gravitation in the nonrelativistic limit, with possible deviations from standard models at relativistic energies.
We next proceeded to characterize the 4 + 1 evolution equations in the weak field limit and demonstrate their relationship with the 5D Ricci tensor. We showed that the first-order initial value problem emerges from the linearized 5D field equations by introducing the extrinsic curvature K μ ν as an auxiliary variable, much in the way that Hamiltonian mechanics poses first-order equations of motion for position and its conjugate momentum, treated as an independent quantity. The 5D wave equation is easily found by combining expressions for the projected Ricci tensor R ¯ μ ν and K μ ν , in such a way that off-diagonal terms cancel. Given the linearized evolution equations and the ansatz metric that solves them exactly for a given source, the initial value problem for a perturbed metric is just the linearized evolution equations for the perturbation terms themselves. We showed that with a presumed general structure for the perturbed metric, the evolution equations become a set of first-order (in τ ) partial differential equations in the parameters of the perturbation.
While the ansatz chosen for study in this paper contains the general features expected in an evolving metric, these methods can be applied to other forms. For example, writing the functional dependence of the metric as
Φ r , t , τ = 1 r e t ξ 5 τ 2 / τ 0 2
for some short time scale τ 0 , we easily find the source to be
T μ ν = M c 2 4 π ρ 5 diag 1 , 0 , 0 , 0 1 4 π δ 3 x + 1 σ 2 r c 5 2 τ 0 2 1 2 t τ 2 τ 0 2 e t τ 2 / τ 0 2 .
In the neighborhood of t = ξ 5 τ , the geodesic equations become
t ¨ = 0 t ˙ = ξ 5
and
0 = x ¨ k + G M r 2 x ^ k 2 x ^ j x ˙ k x ^ k x ˙ j c x ˙ j c c 2 c 5 2
which is identical to the equation of motion (109) found using the functional form for Φ in (92). These results suggest that other forms for Φ may lead to phenomenological behavior of a similar type. As we showed, perturbative modifications to (149) may be considered by again replacing ( t ξ 5 τ ) 2 A ( t , τ ) , as we performed in (144). Numerical solutions for perturbed metrics will be presented in a subsequent paper.

Funding

This research received no external funding.

Data Availability Statement

Data are contained within the article.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Isham, C. Canonical Quantum Gravity and the Problem of Time; Technical Report Imperial/TP/91-92/25; Blackett Laboratory, Imperial College: London, UK, 1992. [Google Scholar]
  2. Kiefer, C.; Peter, P. Time in Quantum Cosmology. Universe 2022, 8, 36. [Google Scholar] [CrossRef]
  3. Anderson, E. Problem of time in quantum gravity. Ann. Phys. 2012, 524, 757–786. [Google Scholar] [CrossRef]
  4. Problem of Time, Wikipedia Foundation. 2025. Available online: https://en.wikipedia.org/wiki/Problem_of_time (accessed on 26 June 2025).
  5. Horwitz, L.; Arshansky, R.; Elitzur, A. On the two aspects of time: The distinction and its implications. Found. Phys. 1988, 18, 1159–1193. [Google Scholar] [CrossRef]
  6. Stueckelberg, E. La signification du temps propre en mécanique: Ondulatoire. Helv. Phys. Acta 1941, 14, 321–322. (In French) [Google Scholar]
  7. Stueckelberg, E. Remarque a propos de la création de paires de particules en théorie de relativité. Helv. Phys. Acta 1941, 14, 588–594. (In French) [Google Scholar]
  8. Feynman, R. Mathematical formulation of the quantum theory of electromagnetic interaction. Phys. Rev. 1950, 80, 440–457. [Google Scholar] [CrossRef]
  9. Horwitz, L.; Piron, C. Relativistic Dynamics. Helv. Phys. Acta 1973, 48, 316–326. [Google Scholar]
  10. Horwitz, L.; Lavie, Y. Scattering theory in relativistic quantum mechanics. Phys. Rev. D 1982, 26, 819–838. [Google Scholar] [CrossRef]
  11. Arshansky, R.; Horwitz, L. Relativistic potential scattering and phase shift analysis. J. Math. Phys. 1989, 30, 213. [Google Scholar] [CrossRef]
  12. Arshansky, R.; Horwitz, L. Covariant phase shift analysis for relativistic potential scattering. Phys. Lett. A 1988, 131, 222–226. [Google Scholar] [CrossRef]
  13. Arshansky, R.; Horwitz, L. The quantum relativistic two-body bound state. I. The spectrum. J. Math. Phys. 1989, 30, 66. [Google Scholar] [CrossRef]
  14. Arshansky, R.; Horwitz, L. The quantum relativistic two-body bound state. II. The induced representation of SL (2, C). J. Math. Phys. 1989, 30, 380. [Google Scholar] [CrossRef]
  15. Horwitz, L.P. Relativistic Quantum Mechanics; Springer: Dordrecht, The Netherlands, 2015. [Google Scholar] [CrossRef]
  16. Horwitz, L.P.; Arshansky, R.I. Relativistic Many-Body Theory and Statistical Mechanics; Morgan & Claypool Publishers: San Rafael, CA, USA, 2018; pp. 2053–2571. [Google Scholar] [CrossRef]
  17. Land, M.; Horwitz, L.P. Relativistic Classical Mechanics and Electrodynamics; Morgan and Claypool Publishers: San Rafael, CA, USA, 2020. [Google Scholar]
  18. Horwitz, L.P. An Elementary Canonical Classical and Quantum Dynamics for General Relativity. J. Phys. Conf. Ser. 2019, 1239, 012014. [Google Scholar] [CrossRef]
  19. Horwitz, L.P. An elementary canonical classical and quantum dynamics for general relativity. Eur. Phys. J. Plus 2019, 134, 313. [Google Scholar] [CrossRef]
  20. Wheeler, J.A. Geons, Black Holes and Quantum Foam: A Life in Physics; W. W. Norton & Company: New York, NY, USA, 2000. [Google Scholar]
  21. Land, M. An Evolving Spacetime Metric Induced by a ‘Static’ Source. Symmetry 2023, 15, 1381. [Google Scholar] [CrossRef]
  22. Gourgoulhon, E. 3+1 Formalism and Bases of Numerical Relativity; Technical Report; Laboratoire Univers et Theories, C.N.R.S.: Paris, France, 2007. [Google Scholar]
  23. Bertschinger, E. Hamiltonian Formulation of General Relativity; Technical Report Physics 8.962; Massachusetts Institute of Technology: Cambridge, MA, USA, 2002. [Google Scholar]
  24. Blau, M. Lecture Notes on General Relativity; Technical Report; Albert Einstein Center for Fundamental Physics, Universität Bern: Bern, Switzerland, 2020. [Google Scholar]
  25. Arnowitt, R.L.; Deser, S.; Misner, C.W. Republication of: The dynamics of general relativity. Gen. Relativ. Gravit. 2004, 40, 1997–2027. [Google Scholar] [CrossRef]
  26. Fock, V. Proper time in classical and quantum mechanics. Phys. Z. Sowjetunion 1937, 12, 404–425. [Google Scholar]
  27. Land, M. The Particle as a Statistical Ensemble of Events in Stueckelberg–Horwitz–Piron Electrodynamics. Entropy 2017, 19, 234. [Google Scholar] [CrossRef]
  28. Yepez, J. Einstein’s vierbein field theory of curved space. arXiv 2011, arXiv:1106.2037. [Google Scholar]
  29. Land, M. A vielbein formalism for SHP general relativity. J. Phys. Conf. Ser. 2023, 2482, 012006. [Google Scholar] [CrossRef]
  30. Misner, C.W.; Thorne, K.S.; Wheeler, J.A. Gravitation; W.H. Freeman and Co.: San Francisco, CA, USA, 1973. [Google Scholar]
  31. York, J.; Smarr, L. Sources of Gravitational Radiation; Cambridge University Press: Cambridge, UK, 1979; p. 83. [Google Scholar]
  32. Lichnerowicz, A. L’intégration des équations de la gravitation relativiste et le problème des n corps. J. Math. Pures Appl. 1944, 23, 37–63. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Land, M. A Spacetime Metric for the 4 + 1 Formalism. Sci 2025, 7, 86. https://doi.org/10.3390/sci7030086

AMA Style

Land M. A Spacetime Metric for the 4 + 1 Formalism. Sci. 2025; 7(3):86. https://doi.org/10.3390/sci7030086

Chicago/Turabian Style

Land, Martin. 2025. "A Spacetime Metric for the 4 + 1 Formalism" Sci 7, no. 3: 86. https://doi.org/10.3390/sci7030086

APA Style

Land, M. (2025). A Spacetime Metric for the 4 + 1 Formalism. Sci, 7(3), 86. https://doi.org/10.3390/sci7030086

Article Metrics

Back to TopTop