1.Institute of High Energy Physics, Chinese Academy of Sciences, Beijing 100049, China 2.University of Chinese Academy of Sciences, Beijing 100049, China Received Date:2019-11-27 Accepted Date:2020-04-13 Available Online:2020-07-01 Abstract:We construct an alternative uniformly accelerated reference frame based on a 3+1 formalism in adapted coordinates. In this frame, a time-dependent redshift drift exists between co-moving observers, which differs from that in Rindler coordinates. This phenomenon can be tested in a laboratory and improve our understanding of non-inertial frames.
HTML
--> --> --> -->
2.1.Non-relativistic redshift for accelerated observers
As time is absolute in non-relativistic kinematics, the frequency of light is universal in different reference frames. This indicates that a redshift calculated in a laboratory reference frame is equal to that calculated in the reference frame for a moving detector. We consider that light source B is assigned to the left of the detector at a distance of L. The carrier undergoes a uniformly accelerated motion to the right. This is shown in Figure 1(b). The source emits a photon at t', and the detector observes the photon at t. In the non-relativistic approximation that $ a t \ll 1 $ and $ L \ll 1/a $, the processes can be formulated as
where a is the acceleration of the carrier. There is a difference in the time intervals of the emitted and received photons. Using Eq. (1), we have the ratio of the time intervals,
It shows that the redshift is time dependent and will increase with time. Likewise, we consider light source A located on the right of the detector. It will observe a blueshift from the source, which is given by
This shows that the blueshift is also time dependent. With time, the blueshift would become lower. The redshift and blueshift drifts are illustrated in Figure 1 from process (b) to (c). In non-relativistic kinematics, this should be understood as a Doppler effect, because there is a difference in the velocities when the ray is emitted and received. However, in the reference frames for the carrier, the difference in the velocities might not be perceived. The redshift drift in the accelerated frames should be understood as a relativistic effect. We will show this in section 4. The situation is similar to the understanding of the expansion of the universe. In most cases where $ a t \ll c = 1 $, the redshift and the blueshift would reduce to the most common version, namely, $ z_{\pm} = \mp \dfrac{a L}{c^2} $. 22.2.Redshift in Rindler coordinate -->
2.2.Redshift in Rindler coordinate
In relativity, a uniformly accelerated motion is described by a constant norm of a four-acceleration for a worldline. In the t–x diagram, a uniformly accelerated motion is a hyperbolic motion, as the trajectory of the uniformly accelerated motion is a hyperbola, which can be of the form,
${x^2} - {t^2} = \frac{1}{a}.$
(5)
The hyperbolic motion can be described by the following equations:
where $ u^0 \equiv {\rm{d}} t / {\rm{d}} \tau $, $ u^1 \equiv {\rm{d}} x / {\rm{d}} \tau $, and $ \tau $ is the proper time. Using the normalization condition of $ u^{\mu} $, one can find that the norm of a four-acceleration $ {\rm{d}} u^{\mu} / {\rm{d}} \tau $ is a constant a. A solution of Eq. (6) can be obtained,
Another point of view for a uniformly accelerated motion in relativity is from electrodynamics [16]. The equations of motion for a charged particle are of the form,
where $ F^{\mu}_{\nu} $ is the electromagnetic tensor and m and q are the static mass and charge of a particle, respectively. We consider a uniform electric field in the direction of x-axis. For simplicity, we ignore other spatial coordinates. The potential is given by $ A_{\mu} = (E_0 x, 0) $, where $ E_0 $ is the strength of the electric field. From the potential, the electromagnetic tensor is of the form,
For charged particles, the equations of motion are shown to be the same as those for a hyperbolic motion with acceleration $ a = \dfrac{E_0 q}{m} $. A Rindler coordinate might be the most commonly used uniformly accelerated frame. The metric is given by
From Eq. (8), the coordinate transformation suggests $ T \sim \tau $. Namely, the coordinate time of a uniformly accelerated frame has a similar status of proper time for co-moving observers. Form this point of view, there are other coordinates that may be regarded as uniformly accelerated frames. The general transformation between Rindler coordinates and inertial frames is given by
where $ f (X) $ could be understood as different rulers of space. If $ f (X) = \dfrac{1}{a} + X $, they are the so-called M?ller coordinates. Moreover, if $ f (X) = \dfrac{1}{a} e^{a X} $, they are the so-called Lass coordinates [2]. In general, the metrics are of the form,
However, it should be noted that the norms of four-accelerations are not the same for different co-moving observers. They depend on coordinate X of the observers. For example, if $ f = \dfrac{1}{a} + X $, the norm of the four-acceleration is given by
If we wish to construct a uniformly accelerated frame based on a picture of a charged particle in a uniform electric field, the norms of four-accelerations should be constant for all the observers located at arbitrary positions. This led Huang and Guo [4] to construct new types of uniformly accelerated frames; in these new frames, the norms of accelerations for co-moving observers are the same constant, a. Another understanding of Eq. (16) was given by MTW [13], who derived M?ller coordinates with the hypothesis of locality. At the location where $ X \ll a^{- 1} $, the norms of four-accelerations for different co-moving observers are nearly the same constants. This indicates that Rindler coordinates are in fact local frames. Observables in Rindler coordinates are redshifts between co-moving observers [17], which can be given by
where X and X' are the fixed positions of the detector and the source, respectively. The redshift is time-independent and is different from that calculated in the non-relativistic approximation, Eq. (3). Huang [12] suggested that this difference is originated from Eq. (16) that norms of 4-accelerations are not the same constant for all co-moving observers. For their new kind of uniformly accelerated reference frames with the same accelerations for co-moving observers [4], the redshift was shown to be time-dependent.
3.Uniformly accelerated reference frameThe construction of the alternative uniformly accelerated references was based on a 3+1 formalism in adapted coordinates, which is also different from the uniformly accelerated reference frames suggested by Huang [4]. For simplicity, the accelerations of the frames are set along the x direction. A coordinate transformation between the uniformly accelerated frames and the inertial frames is expected in the form,
where T, X, Y, and Z are the coordinates of the uniformly accelerated frames, and t, x, y, and z are the coordinates of the inertial frames. For an accelerated frame, we expect that a type of principle of relativity should be satisfied. Axiom 1 The co-moving observers in the uniformly accelerated frames undergo uniformly accelerated motions with respect to the inertial frames. Axiom 2 The co-moving observers in the inertial frames undergo uniformly accelerated motions with respect to the uniformly accelerated frames. A uniformly accelerated motion in the axioms is formulated as Eq. (6). We would use axiom 1 for constructing the uniformly accelerated reference frames. This suggests that the uniformly accelerated observers defined in the inertial frames should move attached to the accelerated reference frames. In the following, we verify axiom 2 by the fact that the geodesics in uniformly accelerated frames can be formulated as uniformly accelerated motions. 23.1.Construction of uniformly accelerated reference frame
-->
3.1.Construction of uniformly accelerated reference frame
In the 3+1 formalism, four-velocities u of accelerated observers are normal vectors of a space-like hypersurface $ \Sigma_T $, which is formulated as
${u_\mu }{\rm{d}}{x^\mu } = - N{\rm{d}}T,$
(19)
where N is the so-called lapse function and $ N > 0 $. A uniformly accelerated frame is adapted to u. Moreover, we set that the u is along the direction of the x-axis, namely, $ u^2 = u^3 = 0 $ for simplicity. T is the coordinate time of the uniformly accelerated frames. The transformation for $ {\rm{d}} T $ can be written as
This suggests that $ \partial_0 T = \dfrac{u^0}{N} $ and $ \partial_1 T = \dfrac{u^1}{N} $. N as an integrating factor ensuring that differential form $ {\rm{d}} T $ is integrable. Because $ {\rm{d}}^2 = 0 $, Eq. (20) leads to
For coordinates Y and Z, the transformations are respectively given by $ {\rm{d}} Y = {\rm{d}} y $ and $ {\rm{d}} Z = {\rm{d}} z. $ From Eqs. (20) and (22), we obtain the inverse transformations for $ {\rm{d}} t $ and $ {\rm{d}} x $,
Moreover, if we set $ \gamma = \dfrac{1}{u^0 \partial_1 X + u^1 \partial_0 X} $, by making use of Eq. (25), we can rewrite $ \partial_0 X $ and $ \partial_1 X $ as
In the adapted coordinates, condition axiom 1 guarantees that the metric is always diagonal. This is different from the uniformly accelerated frames suggested by Huang [4]. One may wonder how much this is related to the 3+1 formalism. In general, a metric in the 3+1 formalism can be written as
where $ \gamma_{i j} $ is the reduced metric and $ \beta^i $ is the so-called shift function. Owing to axiom 1, $ \beta^i $ is shown to vanish. As we know $ \beta^X = N u^X = N \dfrac{ {\rm{d}} X}{ {\rm{d}} \tau} = 0 $ and $ u^Y = u^Z = 0 $, this leads to $ \beta^i = 0 $. We can rewrite the metric in Eq. (28) as
As $ \gamma $ also functions as an integrating factor, we prefer $ \gamma $ to $ \gamma_{i j} $ in our derivation. In the metric in Eq. (27), there are two unknown fields, $ g_{00} $ and $ g_{11} $, which depend on the choice of the four-velocity, u. Here, we consider uniformly accelerated reference frames. Namely, u is described by Eq. (6), which can be rewritten as
where we set $ \partial G \equiv \dfrac{1}{u_0} \partial u^1 $. As $ u^{\mu} u_{\mu} = - 1 $, it leads to $ G = {\rm{arcsinh}} (u^1) $. Associating it with Eq. (7), we find
$G = a\tau .$
(35)
Then, Eq. (34) can be rewritten in a natural manner,
The solutions of Eq. (36) provide an explicit metric of the uniformly accelerated reference frames. The expression of the coordinate transformation depends on N, $ \gamma $, and proper time $ \tau $. From Eqs. (20), (26), and (35), the coordinate transformation, which takes the form of Eq. (18), can be derived from
Besides the diagonal, there are other features of the metric from Eq. (36). Firstly, the metric must depend on coordinate time T. This indicates that the Rindler metric cannot be included in our uniformly accelerated frames. Secondly, $ N = 1 $ is not permitted. This means that coordinate time T of the uniformly accelerated frames is not the proper time for co-moving observers. This could be understood by analogy. In the Schwarzschild space-time, one might not require that the coordinate time for a co-moving observer be a proper time, because there is gravity. In the uniformly accelerated frames also this is the case, because there is a fiction force. From Eq. (36), we may prove that the metric (Eq. (27)) is a solution of vacuum Einstein equations. We can start to check this by calculations of the connection,
Namely, the metric of the uniformly accelerated frames is a solution of vacuum Einstein equations. The checking process seems trivial, as the Einstein equation always allows coordinate transformation as a gauge symmetry. 23.2.Inertial motion in uniformly accelerated frame -->
3.2.Inertial motion in uniformly accelerated frame
In subsection A, we have constructed the metric of the uniformly accelerated frames with axiom 1. The axiom presents an equivalent description for uniformly accelerated motions in different reference frames. On the other side, an inertial motion also requires an equivalent description. This suggests that the inertial motion should be formulated as a uniformly accelerated motion in the view of a uniformly accelerated frame. We consider the inertial motion in the uniformly accelerated frame at the T–X plane,
where $ \left(\dfrac{{\rm{d}} t}{{\rm{d}} \tau_0},\dfrac{{\rm{d}} x}{{\rm{d}} \tau_0}\right) $ is a constant velocity vector, $ \tau_0 $ is the proper time of co-moving observers in the inertial frame, which is distinguished from $ \tau $ proper time for the uniformly accelerated observers. From Eqs. (36) and (42), one can obtain
If we set $ \upsilon^T = N \dfrac{ {\rm{d}} T}{ {\rm{d}} \tau_0} $ and $ \upsilon^X = \gamma \dfrac{ {\rm{d}} X}{ {\rm{d}} \tau_0} $, then Eq. (43) reduces to
From Eq. (44), the inertial motion in the view of the uniformly accelerated frames can be formulated as a hyperbolic motion with a reverse acceleration. Using Eq. (42), one can verify that $ \dfrac{{\rm{d}} T}{{\rm{d}} \tau_0} $ and $ \dfrac{{\rm{d}} X}{{\rm{d}} \tau_0} $ satisfy geodesic equations in the accelerated frames. All these indicate that axiom 2 is verified. In addition, the redefinitions of the covariant velocities$ (\upsilon^T, \upsilon^X) $ are insightful. In curvilinear coordinates, this is exactly the standard definition of a vector, where $ N, \gamma $ are the so-called Lamé coefficients. Moreover, in the tetrad formalism, one may find $ \upsilon^a = e_{\mu}^{a} u^{\mu} $. 23.3.Features of uniformly accelerated reference frames -->
3.3.Features of uniformly accelerated reference frames
33.3.1.Frenet–Serret frames -->
3.3.1.Frenet–Serret frames
The Frenet–Serret frames describe the evolution of the frames along the worldline of the observers. It can be generally written as
where $ \dfrac{D}{{\rm{d}}\tau} $ is the covariant derivative, $ e_{\mu} $ represents the vector bases of the frames, and $ \kappa $, $ \tau $, and b are the so-called curvature and torsions of the worldline of the observers in the Lorentz manifold, respectively. Our uniformly accelerated frames can be expressed in terms of the Frenet–Serret frames, in the tetrad formalism. Firstly, we rewrite coordinate bases $ \partial_{\mu} $ as tetrads $ e_a $, which are formulated as $ e_a = e_a^{\mu} \partial_{\mu} $. In the uniformly accelerated frames, the tetrads can be given by
The curvature of the moving frames is exactly the constant acceleration, a, in our uniformly accelerated frames, whereas Rindler coordinates cannot be described in terms of the Frenet-Serret frames with tetrads. 33.3.2.Kinematical quantities -->
3.3.2.Kinematical quantities
The congruence of co-moving observers u indicates a deformation of the space–time. The difference between the worldlines of co-moving observers can be described in terms of deviation vector $ \chi^{\mu} $, which satisfies
For the spatial distance of $ \chi^{\mu} $, namely, $ \tilde{\chi}^{\mu} = \gamma^{\mu}_{\nu} \chi^{\nu} $, the evolution of $ \tilde{\chi}^{\mu} $ indicates the spatial deformation of the reference frames,
where $ \dfrac{\tilde{D}}{ {\rm{d}} \tau} = \gamma^* \nabla_u $ is the spatial covariant derivation with respect to u. $ \theta, \sigma^{\mu}_{ \nu} $, and $ w^{\mu}_{\nu} $ are the so-called kinematical quantities and named after the expansion scalar, shear tensor, and rotation tensor, respectively. In the accelerated frames, co-moving observers u are given by
${u_\mu }{\rm{d}}{X^\mu } = ( - N,0,0,0)\;.$
(50)
The covariant derivative of observers u can be decomposed into acceleration, expansion scalar, shear, and rotation tensor,
From Eqs. (29) and (52), the accelerations of co-moving observers are given by $ a^{\mu} = \delta^{\mu}_1 \dfrac{a}{\gamma} $. The norms of the accelerations are
This shows that the accelerations of any co-moving observers in our uniformly accelerated frames are the same constant acceleration, a, which is different from that in Rindler coordinates (Eq. (16)). We present the expansion scalar, shear tensor, and rotation tensor in the following:
The vanished rotation tensor indicates that co-moving observers u are Eulerian observers. There is a simultaneous hypersurface $ \Sigma_T $ orthogonal to all the co-moving observers. From Eqs. (48), (49), and (57), the evolution of the spatial deviation vector is given by
It shows that there is a spatial deformation between the co-moving worldlines in the direction of the X-axis. In the uniformly accelerated frames, it can be understood as a non-inertial effect. The fiction force can affect the deformation of the space. Evolutions of these kinematical quantities are described by the Raychaudhuri equations. In our uniformly accelerated frames, the equations can be deduced from Eq. (36). It did not lead to any constraints for constructing the uniformly accelerated frames. -->
4.1.Hyperbolic metric and redshift drift
The components of the metric turn to be hyperbolic triangle functions, when the uniformly accelerated observer, u, is just a function of coordinate time t, namely, $ u = u (t) $. Associating it with Eq. (36), we get the metric as
Eqs. (59) and (61) lead to $ \sinh (a \tau) = a t = N > 0 $. If $ a > 0 $, the accessible region of space–time is that with $ \tau, t \geqslant 0 $. Namely, the reference frames undergo uniformly accelerated motions from $ t = 0 $. The coordinate lines of the uniformly accelerated frames in the t–x plane are presented in Figure 2. Figure2. Coordinate lines of uniformly accelerated frames in t–x diagram. In case of $ a>0 $, accessible region for accelerated frames is that with $ t>0 $.
The metric in Eq. (59) can describe the reference frames of the carrier in Figure 1, so that we can reconsider the redshift drift in the uniformly accelerated reference frames. The reference frames move with constant acceleration a to the right, and light source B on the left of the detector co-moves with the carrier. The source emits light that is along a null curve. By utilizing the metric in Eq. (59), we obtain the equation of trajectories of the light,
In this case, only forward-propagating light reaches the detector. Namely, the $ '' -'' $ in Eq. (62) is required to be chosen. Then, the trajectories are obtained
where the detector and the source are fixed at spatial coordinates X and X', respectively, where $ X > X' $. From Eq. (63), it takes different time intervals, when two light signals are emitted and received. The ratio can be given by
where $ \Delta T' $ and $ \Delta T $ are the emitted and received time intervals, respectively. Using Eqs. (59), (61), (63), and (64), we can derive the redshift [18] observed by the detector in the uniformly accelerated reference frames,
It shows that the redshift drifts with the proper time of the detector. There is an additional factor $ \cosh (a \tau) $ compared to the result in Rindler coordinates, Eq. (17). With time, the redshift would become higher and finally tend to infinity. Similarly, we can consider light source A on the right of the detector in Figure 1. The result shows that a blueshift, namely, $ z < 0 $, is observed by the detector,
In this case, $ X < X' $, and the blueshift would become lower with time until it vanishes. These results, Eqs. (65) and (66), are consistent with Huang's [12] and those in the non-relativistic case, qualitatively. Namely, there is a redshift drift in the uniformly accelerated reference frames. Further, we compare all these results in detail, which are summarized in Table 1. We recover the speed of light, c, in the formulations, and set $ | X' - X | \equiv L $ for consistency.
Table1.Redshift $z_- $ and blueshift $z_+$ between co-moving objects in uniformly accelerated reference frames calculated with different approaches.
In Figure 3, the redshift and blueshift are presented as functions of the proper time. In the non-relativistic case, time t is absolute. Therefore, we did not distinguish it with the proper time. The results of M?ller coordinates and the non-relativistic approximation case are contrasting, which are independent of and sensitive to time, respectively. The redshift calculated with the hyperbolic metric is close to that calculated in Rindler coordinates. In the non-relativity case, it turns to be meaningless when $ at\gtrsim c $. In the relativistic case, there is no limitation, as $ a\tau $ is not a three-velocity. Figure3. Redshift (left panel) and blueshift (right panel) between co-moving objects in uniformly accelerated reference frames as functions of proper time.
24.2.Conformally flat metric and Unruh effect -->
4.2.Conformally flat metric and Unruh effect
By making use of Eq. (36) and constraint $ N = \gamma $, we get a conformally flat metric,
The coordinate lines of the uniformly accelerated frames in the t–x plane are presented in Figure 4. Figure4. Coordinate lines of uniformly accelerated frames in t–x diagram. In case of $ a>0 $, accessible region for accelerated frames is that with $ t+x>0 $.
The Unruh effect states that in uniformly accelerated frames (Rindler coordinates), the co-moving observers would perceive a thermal distribution of the Minkowski vacuum [19–21]. The temperature of the distribution is proportional to the constant acceleration, a, in Rindler coordinates. In this subsection, we use the metric in Eq. (67) to calculate the possible Unruh effect. For simplicity, we consider a massless Boson. The Klein–Golden equation for a massless Boson is given by
${\nabla _\mu }{\nabla ^\mu }\phi = 0,$
(70)
where $ \nabla_{\mu} $ is the covariant derivative. With our metric, the equation of motion can be written as
We focus on left-moving sectors $ \phi_+ $ of the field. Different sectors $ \phi_- $ and $ \phi_+ $ would not interact with each other [22]. We quantize $ \phi_+ $ in the form of
In different coordinates, field operator $ \hat{\phi}_+ $ remains the same under the Bogolubov transformation. Thus, one can derive the Bogolubov transformation for the mode functions,
What the accelerated observers perceive in the Minkowski vacuum is formulated as the expectation value of occupation number operators $ N_k $ of the accelerated observers for the Minkowski vacuum state,
It shows that the expectation value only involves the Bogolubov coefficients, $ \beta_{p k} $. As in Refs. [22, 23], we use light-cone coordinates to calculate the Bogolubov coefficients from Eq. (89) for a given null hypersurface. The null coordinates are usually closely related to radiation [24, 25]. Light-cone coordinates of the inertial frames and the uniformly accelerated frames are given by $ (u,v) = (t-x, t+x) $ and $ (U,V) = (T-X, T+X) $, respectively. From Eq. (68) and the light-cone coordinates, the transformation between the uniformly accelerated frames and the inertial frames is obtained,
One can find that it is the only non-trivial null hypersurface for calculating the possible Unruh effect, otherwise it would lead to $ \beta_{p k} \equiv 0 $. The normal vectors of the null hypersurface are null vectors, $ \xi_{\nu} = - \partial_{\nu} \Phi = -\delta^0_\nu $. We use $ \lambda $ to parametrize the integral curve $ (U (\lambda), V (\lambda)) $ of $ \xi^{\mu} (\lambda) $. As the null vector, $ \xi^{\mu} $, is also tangent to the null hypersurface, $ \lambda $ also can be used to parametrize the null hypersurface in the two-dimensional case. Thus, we can solve the integral curve, $ (U, V) $, as
where $ \epsilon_{\mu \nu} $ is the Levi–Civita tensor and $ \zeta^{\mu} $ is an auxiliary null vector satisfying $ \xi^{\mu} \zeta_{\mu} = - 1 $ and $ \zeta^{\mu} \zeta_{\mu} = 0 $. From Eq. (95), the directed surface element is obtained,
Here, we choose that $ a > 0 $. For the metric with $ N > 0 $, it leads to $ V < 0 $. Form Eqs. (79), (83), (89), and (96), we can calculate the Bogolubov coefficients,
With the tricks of $ \eta \rightarrow {\rm e}^{{\rm i} \epsilon} \infty $ and $ \epsilon > 0 $ [22], the Bogolubov coefficients can be obtained explicitly,
where $ K_1 $ and $ I_1 $ are the modified Bessel functions of the second and first kind, respectively, $ L_1 $ is the modified Struve function, and $ G^{1, 3}_{3, 1} $ is the generalized Meijer G function. The above shows that the Bogolubov coefficients, $ \alpha_{k p} $ and $ \beta_{k p} $, are completely different from those in Rindler coordinates [19, 22, 23]. This suggests that the expectation value might not be the form of that calculated in Rindler coordinates. We finally obtain the expectation value in our uniformly accelerated frames as follows:
Constant $ \Lambda $ is divergent. We use the trick of $ \eta \rightarrow {\rm e}^{{\rm i} \epsilon} \infty $ to obtain the last equal sign. Firstly, this shows that the distribution of Eq. (101) is independent of the acceleration for our accelerated frame. Secondly, the expectation value of the number operator for the Minkowski vacuum state is a non-thermal distribution of k. The uniformly accelerated observers cannot perceive temperature in the Minkowski vacuum.