Науката за образованието: теория и практика
UNIFYING THE ANALYTICAL SOLUTIONS OF THE GEODESIC EQUATIONS IN BONDI-GOLD-HOYLЕ UNIVERSE MODEL
Резюме. In this paper, we unify the study of the geodesics in the BondiGold-Hoyle universe model. Thus, we obtain analytical solutions of the geodesic equations which describe the motion of space-like, time-like and light-like particles in the considered model. In the case of light-like geodesics, we get the solutions obtained by Marcheva & Ivanov, 2017.
Ключови думи: universe models; steady state theory; differential geometry; differential equations; geodesic equations
Physics is an Ever Young Science, Varna, October, 27 – 29, 2017
Физиката – вечно млада наука, Варна, 27 – 29 октомври 2017 г.
Introduction
Investigating the nature of the universe and the motion of the particles are among the most important problems in natural sciences and physics education. These problems are closely related to the general relativity, i.e., to the geometric theory of gravitation. It is well known that the different solutions of the Einstein field equations, yield different metrics of the spacetime. Depending on the metric, there are a lot of universe models presented in the literature (see e.g., Carroll, 2004); Weinberg, 2008 and references therein). Nevertheless, cosmology is dominated by two alternative paradigms. The first one is called Big Bang model and the second one is called Steady-State theory (Aguirre & Gratton, 2002). The steady-state theory was first proposed by Einstein in 1931 (in unpublished manuscript). Seventeen years later, steady-state models of the expanding universe were independently proposed by Bondi & Gold (1948) and Hoyle (1948). Recall that, the Bondi-Gold-Hoyle4 universe model can be defined in a four-dimensional Lorentzian manifold \(\left(M^{4}, g\right)\) verse model can be defined in a four-dimensional Lorentzian manifold \(\left(M^{4}, g\right)\)
by the following de Sitter sphere:
(1) \[ S_{1}^{4}:\left\{\begin{array}{l} z^{1}=r \sinh \tfrac{u^{1}}{r}+\tfrac{e^{u^{1} / r}}{2 r}|\mathrm{u}|^{2} \\ z^{2}=r \cosh \tfrac{u^{1}}{r}-\tfrac{e^{u^{1} / r}}{2 r}|\mathrm{u}|^{2} \\ z^{3}=e^{u^{1} / r} u^{2} \\ z^{4}=e^{u^{1} / r} u^{3} ; z^{5}=e^{u^{1} / r} u^{4} \end{array}\right. \]
where \(r\) is the radii of \(S_{1}^{4} ;|\mathrm{u}|^{2}=\left(u^{2}\right)^{2}+\left(u^{3}\right)^{2}+\left(u^{4}\right)^{2}\). For a more detailed historical survey of the Bondi-Gold-Hoyle model, we refer the reader to the elegant paper of O’Raifeartaigh & Mitton4 (2015). Let \(\left(M^{4}, g\right)\) be a Lorentzian manifold, then the curve \(\gamma: J \subset \mathbb{R} \rightarrow M^{4}\)
defined by \(\gamma: u^{k}=u^{k}(s)\) is) is called geodesic if it satisfies the following equations (see e.g., Weinberg (1972; Busemann, 2005; Toponogov, 2006):
(2) \[ \tfrac{d^{2} u^{k}}{d s^{2}}+\Gamma_{i j}^{k} \tfrac{d u^{i}}{d s} \tfrac{d u^{j}}{d s}=0 \quad(i, j, k=1, \ldots, 4) \]
where \(\Gamma_{i j}^{k}\) are the Christoffel symbols defined by
(3) \[ \Gamma_{i j}^{k}=\tfrac{1}{2} g^{k l}\left(\tfrac{\partial g_{j l}}{\partial u^{i}}+\tfrac{\partial g_{i l}}{\partial u^{j}}-\tfrac{\partial g_{i j}}{\partial u^{l}}\right) \]
and \(\left(g^{k l}\right)\) is the inverse of the matrix \(\left(g_{k l}\right)\). In the light of the general relativity, the freely moving particles in a curved spacetime always move along a geodesic (Grøn & Næss, 2002). Therefore, it is not surprising that one of the most interesting problems in mathematical physics is solving the geodesic Eq. (2). It is well known that in Cartesian coordinates the Christoffel symbols, Eq. (3), are zeros for all \(i, j, k\) and therefore Eq. (2) become equations of straight line. An interesting interactive tool which can be used in the physics education for studying the geodesics in the different universe models has been presented and studied by Müller & Grave (2010) and Müller & Frauendiener (2011).
Let \(p \in \gamma\), then the tangent vector to \(\gamma\) in the point \(p\) is defined by
\[ \dot{\gamma}_{p}=\left(\tfrac{d u^{1}}{d s}, \tfrac{d u^{2}}{d s}, \tfrac{d u^{3}}{d s}, \tfrac{d u^{4}}{d s}\right) \]
So, we have
(4) \[ \dot{\gamma}_{p}^{2}=g_{i j} \tfrac{d u^{i}}{d s} \tfrac{d u^{j}}{d s} \]
inthen the curve terms of Einstein\(\dot{\gamma}_{p}^{2}=0\) and space-like \(\gamma\) is called summation time-like convention. Note that, if \(\dot{\gamma}_{p}^{2} \gt 0\) in the point(Yilmaz & T \(p\) urgut, if \(\dot{\gamma}_{p}^{2} \lt 0\) if \(\dot{\gamma}_{p}\) is 2008;, İlarslan light-like a nonzero or vector null if , & Nešović, 2009 and references therein).
Recently, Marcheva & Ivanov (2017) have obtained an analytical solution of the geodesic Eqs. (2) in Bondi-Gold-Hoyle universe model. Eq. (1), in the case of light-like geodesics. In this paper, using a unified approach, we obtain analytical solutions of the geodesic Eqs. (2) which describe the motion of space-like, lightlike and time-like particles in Bondi-Gold-Hoyle model and complement the result obtained by Marcheva & Ivanov (2017).
Exact analytical solutions Since the metric tensor of the model, Eq. (1), has nonzero components
(5) \[ g_{11}=-1, g_{22}=g_{33}=g_{44}=e^{2 u^{1} / r} \]
then from Eq. (3), we obtain the following nonzero Christoffel symbols
(6) \[ \Gamma_{22}^{1}=\Gamma_{33}^{1}=\Gamma_{44}^{1}=\tfrac{e^{2 u^{1} / r}}{r}, \quad \Gamma_{12}^{2}=\Gamma_{21}^{2}=\Gamma_{13}^{3}=\Gamma_{31}^{3}=\Gamma_{14}^{4}=\Gamma_{41}^{4}=\tfrac{1}{r} \]
Furthermore, for all \(i \in \mathbb{N}\) we use the notation \(\dot{u}^{i}=d u^{i} / d s\) and consider the set of real constants \(\left\{c_{i}\right\}\). Hence, setting \(u^{1}=t, u^{2}=x, u^{3}=y\) and \(u^{4}=z\) from Eqs. (2) and (6), we get the following system of equations:
(7) \[ \left\lvert\, \begin{aligned} & \ddot{t}+\tfrac{e^{2 t / r}}{r}\left(\dot{x}^{2}+\dot{y}^{2}+\dot{z}^{2}\right)=0 ; \\ & \ddot{x}+\tfrac{2}{r} \dot{t} \dot{x}=0 ; \ddot{y}+\tfrac{2}{r} \dot{t} \dot{y}=0 ; \ddot{z}+\tfrac{2}{r} \dot{t} \dot{z}=0 . \end{aligned}\right. \]
From the last third equations of Eq. (7), we get \(\dot{y}=c_{1} \dot{x}\) and \(\dot{z}=c_{2} \dot{x}\) wherefrom, we obtain the following relations
(8) \[ y=c_{1} x+c_{3}, z=c_{2} x+c_{4} \]
and
(9) \[ \dot{x}^{2}+\dot{y}^{2}+\dot{z}^{2}=A \dot{x}^{2} \]
where \(A=1+c_{1}^{2}+c_{2}^{2}\). Taking into account (9), the system, Eq. (7), reduces to the following one
(10) \[ \left\lvert\, \begin{aligned} & \ddot{t}+\tfrac{A e^{2 t / r}}{r} \dot{x}^{2}=0 ; \\ & \ddot{x}+\tfrac{2}{r} \dot{t} \dot{x}=0 . \end{aligned}\right. \]
Let \(\quad \in \mathbb{R} \backslash\{0\}\) be fixed. Dividing both sides of the second equality by \(\dot{x}\) and integrating with respect to \(S\), we get
(11) \[ \dot{x}=c_{5} e^{-2 t / r} \]
From Eq. (11) and the first equation of (10), we obtain the equation
\[ \ddot{t}+\tfrac{A c_{5}^{2}}{r} e^{-2 t / r}=0 \]
Reducing the order of the last equation, we get
(12) \[ -\dot{t}^{2}+A c_{5}^{2} e^{-2 t / r}=\alpha, \quad \alpha \in \mathbb{R} \]
It is important to note that, according to (4), from Eqs. (5), (9), (11) and (12) it follows that
\[ \dot{\gamma}_{p}^{2}=-\dot{t}^{2}+e^{2 t / r}\left(\dot{x}^{2}+\dot{y}^{2}+\dot{z}^{2}\right)=-\dot{t}^{2}+A c_{5}^{2} e^{-2 t / r}=\alpha \]
This identity shows that the choice of the constant \(\alpha\) determines whether the geodesic \(\gamma\) is time-like, light-like or space-like.
In what follows, replacing successively \(\dot{x}\) from Eq. (11) and \(A c_{5}^{2} e^{-2 t / r}\) from Eq. (12) in the first equation of (10), we obtain the following system of equations:
(13) \[ \left\lvert\, \begin{aligned} & \ddot{t}+\tfrac{\dot{t}^{2}+\alpha}{r}=0 ; \\ & \ddot{x}+\tfrac{2}{r} \dot{t} \dot{x}=0 . \end{aligned}\right. \]
In the case \(\alpha=0\), i.e., in the case of lightlike geodesic the solutions of (13) coincide with the solutions obtained by Marcheva & Ivanov (2017, Eq. (7)). Let \(\alpha \neq 0\), then a solution of the first equation of (13) is the function
(14) \[ t(s)=r \ln \left(\tfrac{c_{6}^{\tfrac{\sqrt{-\alpha}}{r}}}{2 \sqrt{-\alpha}}\left(e^{ \pm \tfrac{\sqrt{-\alpha}}{r} s}-B e^{\mp \tfrac{\sqrt{-\alpha}}{r} s}\right)\right) \]
where \(B=A c_{5}^{2} /\left(c_{6}^{2 \sqrt{-\alpha} / r}\right)\) whenever \(c_{6} \neq 0\) and \(e^{2 t / r} \neq A c_{5}^{2} / \alpha\). Substituting \(t\) from (14) into (11), we get the equation
\[ \dot{x}=-\tfrac{4 \alpha c_{5}}{c_{6}^{2 \sqrt{-\alpha} / r}}\left(e^{ \pm \tfrac{\sqrt{-\alpha}}{r} s}-B e^{\mp \tfrac{\sqrt{-\alpha}}{r} s}\right)^{-2} \]
whose solution is
(15) \[ x(s)= \pm \tfrac{2 r c_{5} \sqrt{-\alpha}}{c_{6}^{2 \sqrt{-\alpha} / r}}\left(B-e^{ \pm \tfrac{\sqrt{-\alpha}}{r} s}\right)^{-1} \]
Finally, from (15) and (8), we obtain the following solutions for \(y\) and \(z\) :
(16) \[ y(s)= \pm \tfrac{2 r c_{1} c_{5} \sqrt{-\alpha}}{c_{6}^{2 \sqrt{-\alpha} / r}}\left(B-e^{ \pm \tfrac{\sqrt{-\alpha}}{r} s}\right)^{-1}+c_{3} \]
(17) \[ z(s)= \pm \tfrac{2 r c_{2} c_{5} \sqrt{-\alpha}}{c_{6}^{2 \sqrt{-\alpha} / r}}\left(B-e^{ \pm \tfrac{\sqrt{-\alpha}}{r} s}\right)^{-1}+c_{4} \]
Conclusions
In this paper, we have obtained analytical solutions of the geodesic equations in the Bondi-Gold-Hoyle universe model. Reducing the order of the first equation of the main system, Eq, (7), we have extracted a constant \(\alpha\) which determines whether the geodesic \(\gamma\) is time-like, light-like or space-like. More precisely, for \(\alpha \lt 0\) the solutions, Eqs. (14) – (17), describe the paths of time-like particles in the considered model, for \(\alpha=0\)– the paths of massless particles and for \(\alpha \gt 0\) – the paths of massive particles.
Acknowledgements: This research was supported by Project FP17-FF-010 of University of Plovdiv.
REFERENCES
Aguirre, A. & Gratton, S. (2002). Steady-state eternal inflation. Phys. Rev. D, 65, art.no. 083507.
Bondi, H. & Gold, T. (1948). The steady-state theory of the expanding universe. Monthly Notices Roy. Astronomical Soc. 108, 252 – 270.
Busemann, H. (2005). The geometry of geodesics. New York: Dover.
Carroll, S. (2004). Space-time and geometry: an introduction to general relativity. Boston: Addison Wesley.
Grøn, Ø. & Næss, A. (2011). Einstein’s theory: a rigorous introduction to general relativity for the mathematically untrained. New York: Springer.
Hoyle, F. (1948). A new model for the expanding universe. Monthly Notices Roy. Astronomical Soc. 108, 272- – 282.
İlarslan, K. & Nešović, E. (2009). Space-like and time-like normal curves in Minkowski space-time. Publications de l’Institut Mathématique, Nouvelle Série, 85(99), 111 – 118.
Marcheva, P. & Ivanov, S.I. (2017). On the geodesics in Bondi-Gold-Hoyle universe model. J. Phys. Technol., 1(1), 3 – 5.
Müller, T. & Frauendiener, J. (2011). Studying null and time-like geodesics in the classroom. Eur. J. Phys. 32, 747 – 760.
Müller, T. & Grave, F. (2010). Geodesic viewer – a tool for exploring geodesics in the theory of relativity. Computer Phys. Communications, 181, 413 – 419.
O’Raifeartaigh, C. & Mitton, S. (2015). A new perspective on steady-state cosmology: from Einstein to Hoyle. arXiv:1506.01651.
Toponogov, V.A. (2006). Differential geometry of curves and surfaces: a concise guide. Newy York: Springer.
Weinberg, S. (1972) . Gravitation and cosmology: principles and applications of general theory of relativity. New York: John Wiley & Sons.
Weinberg, S. (2008) . Cosmology. Oxford: Oxford University Press.
Yilmaz, S. & Turgut, M. (2008). Some characterizations of isotropic curves in the Euclidean space. Int. J. Comput. Math. Sci. 2, 107 – 109.