arxiv: v1 [gr-qc] 15 Nov 2018

Transcription

1 Observers with constant proper acceleration, constant proper jerk, an beyon Josep M. Pons a an Ferran e Palol b a Departament e Física Quàntica i Astrofísica an Institut e Ciències el Cosmos ICCUB, Facultat e Física, Universitat e Barcelona, Martí Franquès, 828 Barcelona, Catalonia, Spain. an arxiv:8.6267v [gr-qc] 5 Nov 28 b Facultat e Física, Universitat e Barcelona, Martí Franquès, 828 Barcelona, Catalonia, Spain. We iscuss in Minkowski spacetime the ifferences between the concepts of constant proper n-acceleration an of vanishing n + -acceleration. By n-acceleration we essentially mean the higher orer time erivatives of the position vector of the trajectory of a point particle, aapte to Minkowski spacetime or eventually to curve spacetime. The 2-acceleration is known as the Jerk, the 3-acceleration as the Snap, etc. As for the concept of proper n-acceleration we give a specific efinition involving the instantaneous comoving frame of the observer. We iscuss the ifficulties in fining a characterization of this notion of constant proper n-acceleration as a Lorentz invariant statement an we show how the Frenet-Serret formalism helps to aress the problem. In particular we fin that the most general motion of an observer with constant proper acceleration is characterize by the vanishing of the thir curvature invariant κ 3 thus is three imensional in Minkowski spacetime together with the constancy of the first an secon curvature invariants an the restriction κ 2 < κ, the particular case κ 2 = being the one commonly referre to in the literature. We generalize these concepts to curve spacetime, in which the notion of trajectory in a plane is replace by the vanishing of the secon curvature invariant κ 2. Uner this conition, the concept of constant proper n-acceleration coincies with that of the vanising of the n + -acceleration an is characterize by the fact that the first curvature invariant κ is a n -egree polynomial of proper time. We use an example of constantly accelerate observers in e Sitter spacetime to illustrate some of our results. Electronic aress: pons@fqa.ub.eu Electronic aress: fepalco@gmail.com

2 2 I. INTRODUCTION Although the physics in Minkowski spacetime as escribe by an inertial observer is inee a very relevant escription one can just take a look at quantum fiel theory textbooks, the use of non inertial frames of reference, like the ones associate with accelerate observers, has become a very rich territory for our present unerstaning of new physical phenomena emerging from the quantum worl. This is the case for instance of the thermal bath of Unruh raiation [] that a constantly accelerate observer shoul experience, though it has not been experimentally verifie yet [2] [3]. In aition, an just by taking into account the equivalence principle, one can relate the physics experience by these accelerate observers in Minkowski spacetime with that of an observer hovering above the horizon of a Schwarzschil black hole. In fact the local escription of a Schwarzschil black hole near the horizon is that of a Rinler spacetime, which is nothing but a patch of Minkowski spacetime escribe with the coorinates which are natural to the constantly accelerate observer the coorinates in which this observer remains at rest. Beyon the concept of acceleration there is an infinite tower of kinematical concepts with higher orer time erivatives, which go uner the names of Jerk, Snap, Crackle, etc.. In Galilean mechanics these objects are trivial generalizations of the concept of acceleration, an their extension to special relativity has been introuce in [5] in a way that can be immeiately generalize to curve spacetimes. The main purpose of this paper is to eluciate the ifferences between the concepts of constant proper n-acceleration an vanishing n + -acceleration. It is crucial in this respect to properly efine the instantaneous comoving frame. We choose to o it in the simplest way available by implementing the map form the original frame to the instantaneous comoving frame as a pure boost, wih no aitional rotations attache. Our resuts are easily generalizable from Minkowski spacetime to curve spacetime as we o in an example. The organization of the paper is as follows. In section II we erive in a non conventional way the equations for the trajectories of the observer with constant proper 2 acceleration in 4 or any imension Minkowski spacetime. From our analysis we notice that the trajectory of the observer with constant proper acceleration can be three imensional 3 or twoimensional 2. The 3 case, which is new, is solve in section II C. The notion of Jerk is introuce in section II D an it is shown that its vanishing characterizes the motion of the observer with constant proper acceleration in the 2 case, that is, when this motion takes place in a plane. We learn in [4] that This terminology goes back to a 932 avertisement of Kellogg s Rice Crispies which merrily Snap, crackle, an pop in a bowl of milk. Here our use of these concepts is unrelate to the stanar use in cosmology as higher orer time erivatives of the scale factor in the Friemann-Lemaitre- Robertson-Walker FLRW metric 2 proper in the sense of being escribe in the instantaneous frame comoving with the observer.

3 3 In the next section III we introuce all the tower of kinematical concepts with higher orer time erivatives an in section IV we aress in etail the case of vanishing Snap an show that, unlike what woul have been analogous to the vanishing Jerk case, it oes not imply that the motion has constant proper Jerk, nor that the motion is restricte to a plane. We further eal with this issue in section V in which we show the ifficulties of fining a Lorentz invariant statement for notions like that of a constant proper acceleration or a constant proper Jerk, etc. The Frenet-Serret formalism is introuce in section VI as a possible way out of these ifficulties. In this way we are able to characterize the 3 motion of the observer with constant proper acceleration section VI A. We obtain in section VII solutions for the trajectory of an observer with vanishing n-acceleration an constant n -acceleration in a 2 Minkowski spacetime. We finish with two appenices. The first is evote to the circular motion, in which we show that all the kinematical higher orer concepts are non vanishing an exhibit constant norm. The secon appenix is evote to constant proper acceleration in e Sitter spacetime. II. THE ACCELERATED OBSERVER IN 4D MINKOWSKI SPACETIME Given the trajectory x µ ts with t the coorinate time an s the proper time, its velocity with respect to the proper time is x ts V s = γ y ts = γ z ts r ts where x t is the erivative of xt with respect to the coorinate time so that xi s = γ x t with γ = t s = r we use ot,, for proper time erivative 2 s an prime,, for coorinate time erivative t. The efinition of proper time guarantees V 2 =. We can prepare a family of Lorentz transformations Bs so that at any proper time s we sen the traveler to rest, V s Bs V s = =: V p, s. There is an arbitrariness in choosing this family, because any boost sening the observer to rest can be followe by an arbitrary rotation without affecting the status of the observer

4 4 as being at rest. Our choice will be the most simple available: that of a pure boost. Some of the results an efinitions in this paper epen upon this choice. Other choices can be explore, for instance aing a rotation epening on the acceleration, but we think that ours is the first option to be consiere. The pure boost that oes the job is with t = ts, γ γ x t γ y t γ z t γ x t + γ2 γ+ Bs = x t 2 γ2 γ+ x ty γ t 2 γ+ x tz t γ y γ t 2 γ+ x ty t + γ2 γ+ y t 2 γ2 γ+ y tz t. II. γ z γ t 2 γ+ x tz γ t 2 γ+ y tz t + γ2 γ+ z t 2 The existence of non vanishing proper acceleration will be etecte if, to o the same job, the boost necessary at proper time s + δs is ifferent from Bs. In such case we will nee an aitional infinitesimal boost Bδs so that Bδs Bs = Bs + δs. Thus, expaning to first orer, Bδs = Bs + Ḃsδs B s = I + ḂsB sδs. The acceleration cause by Bδs is, by efinition, BδsVp V p = δs ḂsB sv p. Thus the proper acceleration A p s only spatial components experience by the observer at proper time s is given by the action of ḂsB s on the rest velocity V p a minus sign because the infinitesimal boost compensates for the acceleration at proper time s. Using s = γ we get, t a x A p s = ḂsB sv p = =, II.2 a with a = γ 2 r + γ γ + γ r, a y a z γ = γ t = 2 γ3 t r 2. II.3 Given the proper acceleration A p s in the instantaneous comoving frame, we can move back to the original coorinate system by applying the inverse boost B s. Thus, taking into account that V p is constant, we obtain As = B sa p s = B sḃsb sv p = s B s V p = B s V p = V s, II.4 s s that is, As = V s, as it coul have been expecte. Again, using s = γ, one can also t write As = γ 2 r + γ γγ V s =, II.5 a + γ2 γ+ γ r

5 5 an note that γ = a r A 2 = A 2 p = a 2 = γ 4 r 2 + γ 2. A. Constant proper acceleration Let us examine the case of constant proper acceleration, a = a of motion in the original coorinate system is, from II.3, r = γ 2 a γγ + γ r. constant. The equation II.6 This equation is more easily manage with the use of proper time s. Equation II.6 then becomes note that ṫ = γ rs = a + ẗs rs. II.7 ṫs + A parametrization of the velocity which guarantees that ṫs >, s, is the following, ṫs coshfs V s = = II.8 rs sinhfs ns with ns a unitary eucliean 3-vector. We obtain, from II.7 n = a sinhf f n. II.9 An important consequence of this equation II.9 is that it shows that the motion of ns in 3-space is at most in a plane containing a. From n, n = we infer that f = a, n. Inserting II.9 into its erivative f = a, n we obtain the equation for f, f sinhf = a 2 f 2. II. An obvious solution is fs = a s s with arbitrary s an a = a. In this case n = an n = a a an the motion takes place in a plane 2 in Minkowski spacetime. For any other solution, having seen from II.9 that the motion of ns in 3-space is in a plane, we infer that the trajectory is 3 in Minkowski spacetime. B. The 2 solution Let us focus now on this 2 solution. The trajectory can be easily obtaine by integrating II.8 with constant n an fs = a s s. One can also work irectly with II.6 an write r t = λ t a, for some function λ t, This equation integrates to rt = r + λt λ a,

6 6 with r = rt, λ = λt for an initial time t. Substituting it in II.6 we get for λt the equation with a = a with general solution λ λ 2 a =, a 2 λ λ 2 t t 2 = a 2 r r 2 t t 2 = a 2, II. which are the expecte equations for the 2 constantly accelerate oberver. C. The 3 solution To fin the 3 solution of the constantly accelerate observer it proves useful to aopt a parametrization ifferent from that of II.8. We only nee to consier a 3 Minkowski spacetime, an we parametrize the velocity with respect to proper time s of the trajectory with V = V V with V = V V 2 = vs sinfs cosfs, II.2 with vs an fs to be etermine by the conitions of constant proper acceleration. To guarantee that V 2 = notice that V gets etermine as V = v 2 +. The pure boost of eq.ii., now with a ifferent notation, can be written as V V B = V I + V V V. II.3 + The action of Bs on the acceleration A = s V efines the proper acceleration A p, B A = A p =, A p an now A p is require to be a constant vector a. Using II.2, II.3, we fin A p = v sinfs + vf V cosfs cosfs cos θ = a sinfs = a, sin θ with constant θ. From this expression we infer an, consequently, v V = a sinfs + θ, v f = a cosfs + θ, v V cosfs + θ = v f sinfs + θ = v s cosfs + θ, II.4

7 7 or, efining gs = cosfs + θ, which integrates to V = v 2 + g ġ g = v, v V v + V = c, II.5 with c a constant that must be c < because g an v +V <. Thus cosfs + θ = gs = c + V v which can be inserte into the first equation in II.4, v = a V g2 = a c2 + V 2, v 2 Thus, V = v v V = a v2 c 2 + V 2 = a + V + V 2 with = c 2 which implies <. Finally, efining the new variable zs from + V = z +, the last equation becomes ż = a z2 zs = cosh a s s. With the choice θ =, which is always reachable by rotating the spatial coorinates, we obtain, using II.5, V = v sinfs = v g 2 = + V + V 2 = z2 = sinh a s s,, V 2 = v cosfs = v g = c + V = z + = cosh a s s +. Thus the solution for V is V = an for the position vector X, t Xs = x = Xs + y V cosh a s s + = V sinh a s s cosh a s s + sinh a 3/2 a a s s + s s cosh a s s a s s a 3/2 a s s + sinh II.6 II.7

8 8 The motion in 2-space, coorinates x, y, exhibits asymptotes. Note that is relate to the angle δ the scattering angle in the x, y plane between the ingoing s an the outgoing s irections, = sin δ 2 2. For = δ = π we recover the 2 solution escribe in II., with a turning point for the trajectory in -space. X = s = sinha s s cosha a s s, We will revisit this solution in section VI A. D. Enters the Jerk As anticipate above, we will see in section V that the concept of constant proper acceleration, as efine by way of II.2 with constant a, epens on the coorinate frame use 3, an this is not completely satisfactory. One shoul really say that a trajectory exhibits constant proper acceleration in Minkowski spacetime if there exist a coorinate frame for which the object a efine in II.3 is constant. There is nothing wrong with such efinition but it is much more convenient an elegant to have a efinition in the form of an invariant statement -a covariant equation which in aition we wish to carry over to general relativity. In the case of the 2 motion, this is achieve with the notion of the Jerk. The Jerk vector Σ we follow the notation of [5] is efine as the component orthogonal to the velocity of the proper time erivative of the acceleration see section III for more etails, Σ = A s A2 V, II.8 Now it is easy to show that for an observer with constant proper acceleration an 2 motion the Jerk vector vanishes -which is an invariant statement. In fact Σ is orthogonal to V by construction see next section III for etails an if the proper acceleration is constant then Σ is also orthogonal to A because -consiering II.8- A is orthogonal to V an has A 2 A, A constant. Then if the motion is in a plane an Σ is orthogonal both to V an A, it must vanish. On the other han, the vanishing of the Jerk leas to the constantly accelerate trajectories in 2 motion examine above, as we now show. Σ = implies Ȧ = A2 V, so we have A. A =, which means A 2 is constant, A 2 = a 2 with a = A. Then we have efining 3 This issue only arises if the Minkowski spacetime has more than 2 imensions.

9 9 the normalize vector A N := A the equations, A V = A =: a A N Ȧ N = a A = a V, II.9 which show that the solution is inee 2. The solution can be written as V s = cosha sv + sinha sa N II.2 where the initial conitions are restricte to satisfy V 2 =, A N 2 = an V A N =. The trajectory is Xs = X + sinha a sv + cosha s A N, that is, the well known constantly accelerate observer. If we parametrize the initial conitions in a 2 subspace of Minkowski, cosha V = s sinha A N = s, sinha s cosha s for some real s, we may write cosha V s = s s, sinha s s which is nothing but II.8 with fs = a s s. We conclue that, in Minkowski spacetime -no matter the number of imensions-, if the motion takes place in a plane 2, the observer with constant proper acceleration is ientifie by the vanishing of the Jerk, Σ =. In Minkowski spacetime: Jerk = Constant proper acceleration + Two-imensional motion. E. Extension to curve spacetime The important novelty is that this statement on the vanishing of the Jerk can be exporte to curve spacetime. In fact, the efinition of the Jerk an all the tower of kinematical concepts is extene to curve spacetime with the replacement of the partial erivative by the covariant erivative, µ µ s Aµ s Aµ + V ρ Γ µ ρνa ν,

10 an requiring the connection to satisfy the metricity conition. The reason for this is the following. Let us efine A in curve spacetime as the geometric object isplaye just above, that is, A = s A + V ΓA, then, in orer to guarantee that results like A, V = A 2, or A, A = 2 A, A, still hol in curve spacetime, we nee the covariant erivative of the s metric to vanish. With this conition the Lorentz covariant expressions in this section an the next sections can be exporte to curve spacetime. Since the Levi Civita connection is metric compatibile, we conclue that in the framework of general relativity the vanishing of the Jerk ensures that the observer unergoes constant proper acceleration. This is also true for other generally covariant theories with metric compatibile connections [6], like the Einstein-Cartan theory, in which torsion is source by fermionic matter, or teleparallel gravity, efine with the Weitzenböck connection. In curve spacetime: The vanishing of the Jerk implies that the observer has constant proper acceleration. We give an example in Appenix B of constant proper acceleration in e Sitter spacetime. III. JERK, SNAP, CRACKLE... Acceleration, Jerk, Snap, Crackle, Pop, etc., are a family of kinematical concepts that are built with the secon, thir, fourth, etc, erivatives -with respect to proper time- of the trajectory or with the first, secon, thir erivatives of the velocity vector. Each one is efine see [5] as the component orthogonal to the velocity of the proper time erivative of the previous object. This efinition guarantees a threefol conition, namely, that all these objects are spacelike, that in the instantaneous comoving frame of the observer, they have only spatial components, as it alreay happens with the acceleration, an that if one of them vanishes, say the Jerk, all the higher erivative objects, say the Snap, Crackle, etc, will vanish as well. Thus acceleration A, efine as see II.4 A = s V, III. is alreay orthogonal to the velocity, since V 2 = V, V =. The Jerk Σ is then efine as Σ = s A = s A V 2 s A, V V = s A + s A, V V = s A A2 V, III.2 an the Snap Ξ, Ξ = s Σ = s Σ V 2 s Σ, V V = s Σ + s Σ, V V = Σ Σ, AV, s III.3

11 an so on. In orer to generalize these expressions above, we aopt the notation of A for the acceleration A; A 2 for the secon acceleration or Jerk, A 2 = Σ; A 3 for the thir acceleration or Snap, A 3 = Ξ, etc. In general the n-acceleration will be enote by A n. The recursive efinition of these objects is then A = s V, A n+ = s A n = s A n A n, A V. III.4 Having the case of vanishing Jerk been iscusse in the previous section, we shall aress next the case of vanishing Snap. IV. VANISHING SNAP Let us iscuss the case Ξ =. This implies s Σ = Σ, AV an therefore s Σ2 = 2Σ, Σ =, which means that Σ 2 is constant, Σ 2 = σ 2 with σ real -an we take σ > the σ = case correspons to the vanishing Jerk case iscusse in the previous section. Note also that s Σ, A = Σ2 = σ 2 an therefore Σ, A = σ 2 s s with the arbitrary real constant s. Now we can compute s A2 = 2Σ, A = 2σ 2 s s an we get A 2 = σ 2 s s 2 + β 2, where we have implemente the conition of A 2 with β real. We en up with A 2 = σ 2 s s 2 + β 2, Σ, A = σ 2 s s, Σ 2 = σ 2, with σ >, β. IV. 2 Note from IV. that A s s Σ = β 2. Also, A s s s Σ = Ȧ Σ s s Σ = A 2 V s s Σ, AV = β 2 V. It is relevant to istinguish the case β = from the rest. A. The case β = From these last equations we infer that β = implies that A s s Σ is a constant lightlike vector, so As woul be a lightlike vector, which is incompatible with it being orthogonal to V s unless A s s Σ vanishes. We conclue that in this case A = s s Σ. That is V = s s Σ Σ = σ 2 s s V IV.2 the secon equation coming from the vanishing Snap conition an IV..

12 2 We see that this case correspons to motion in a plane i.e., 2 in Minkowski spacetime. The solution is V s = cosh 2 σs s 2 V s + sinh 2 σs s 2 σ Σs, Σs = σ sinh 2 s s 2 V s + cosh 2 σs s 2 Σs IV.3 Note that we may always keep σ > If we parametrize the initial conitions coshα sinhα V s = Σs sinhα n = σ coshα n for some real α an a unit norm constant 3-vector n, n 2 =, then the general solution for V is expresse with an arbitrary secon egree polynomial with real coefficients P 2 s = σs s α coshp 2 s sinhp 2 s V s = Σs = σ, IV.4 sinhp 2 s n coshp 2 s n with P 2 an arbitrary secon egree polynomial with real coeffients an with n a normalize constant 3-vector. In fact we can restrict σ to be positive by eventually absorbing a minus sign within n in IV.4. When we sen the oberver to rest by using the appropriate boost, we get the constant proper Jerk, Σ p s = σ. IV.5 n Note the change of the egree of the polynomial when compare with II.2. Now the argument within the hyperbolic trigonometric functions is a secon egree polynomial, instea of the first egree polynomial which we foun for the the solution of the vanishing Jerk case, II.2. This observation opens a natural way to explore 2 solutions for the vanishing Crackle constant proper Snap case an higher erivative cases in general. This issue will be aresse in section VII. B. The case β Collecting the expressions in the first part of this section, an efining the vector D = A s s Σ, we have from the previous analysis the equations V = A = D + s s Σ Ḋ = β 2 V Σ = σ 2 s s V IV.6

13 3 with V 2 =, D 2 = β 2, Σ 2 = σ 2 an all three vectors orthogonal. So in this case the motion takes place in three imensions. The equation for the 3-vector V is obtaine from IV.6 as... V σ 2 s s 2 + β 2 V 3 σ 2 s s V = IV.7 With the proper time rescale to τ = σ s s, an efining W = β D, Z = Σ, the σ system IV.6 becomes simplifie with V = τ V, etc., V = c W + τz W = c V Z = τv, IV.8 with c = β σ an the orthonormal system V, W, Z, with V 2 =, W 2 =, Z 2 =. In this equation, V, W, Z are three orthonormal vectors -V timelike, W an Z spacelike- in an n-minkoswki spacetime. In fact, since their erivatives in IV.8 are linear combinations of the three vectors themselves, we infer that the motion is at most 3-imensional, an so we continue with a 3 Minkoswki spacetime. A solution for V τ will be of the type V τ = V τ V +V τ W +V 2 τ Z an since V, W, Z, span an orthonormal basis, we can take V =, W =, Z =. Analogously to IV.7, a single equation for V is obtaine from IV.8 as V τ 2 + c 2 V 3τV = IV.9 We have not foun analytic solutions for IV.8 nor for its consequence IV.9, but we can examine nevertheless the behaviour of the solutions in the asymptotic time regime τ >> c an in the mi-term regime τ << c. For large τ IV.8 is approximate by V = τz Z = τv, IV. which is just the system consiere in IV.2, that is, the 2 motion one spatial imension with constant proper Jerk. In sharp contrast, for τ << c the system becomes close to V = c W W = c V, IV.

14 4 which is nothing but the 2 motion one spatial imension with constant proper acceleration vanishing Jerk, alreay iscusse in II.9. Therefore IV.8 -an IV.6- escribes a motion which is composite of these two funamental motions, now in 3 two spatial imensions. C. Vanishing Snap vs constant proper Jerk We have seen in section II D that vanishing Jerk implies motion in a plane 2 in Minkowski an constant proper acceleration. On the other han, we have seen in the previous section IV B that vanishing Snap oes not imply in general 2 motion. We may woner now whether a vanishing Snap conition will at least imply a constant proper Jerk. The answer is in the negative. Let us examine it. To sen the observer to the rest frame we will apply the pure boost II., equivalently written as V V V 2 V 3 B = V + V 2 V + V + V V 2 V 2 V V + V 2 + V 2 V + 2 V V + V 3 V V + 2V 3 V 3 V V + V 3 V V + 2V 3 + V 2 V + 3 V V V I + V + V V IV.2 Let us a to the vanishing Snap conition that of the constant proper Jerk. By this we mean that when we sen Σ to the comoving frame, the resulting object, Σ p, is a constant vector, B Σ = b. IV.3 with b a constant 3-vector. We obtain from IV.3 an IV.2, with Σ = Σ, Σ, which reas, in 4-vector language, Σ Σ V + V = b, Σ Σ V + V = Σ V +, b IV.4 which implies, by erivating with respect to the proper time, an using IV.6, σ 2 s s V s Σ s Σ V Σ V + V + V = Σ s V + Σ V Σ D + s s V + V + Σ =, Σ s V +, IV.5

15 5 The scalar prouct of this equality with respect to V, D, Σ, gives, respectively σ 2 s s + Σ = Σ V, s V + s V + Σ V + β2 = Σ D, s V + with D = D, D. Σ V + σ2 s s = s Σ V + Σ, The content of IV.6 an IV.8 is the same: σ 2 s s. Injecting this equality in IV.7 we obtain V + Σ β 2 = σ 2 s s D. IV.6 IV.7 IV.8 Σ s V + = IV.9 Next, taking into account that, from IV.6, Σ = σ 2 s s V an Ḋ = β 2 V, we can compute the proper time erivative of IV.9, which yiels D =. This result implies that β = since Ḋ = β 2 V an V >. We conclue that, within the vanishing Snap case, the requirement of constant proper Jerk correspons to the case β =, analyze in subsection IV A, which also implies that the motion is 2. In Minkowski spacetime: A trajectory of vanishing Snap has constant proper Jerk if an only if the parameter β in IV. vanishes. Then the motion takes place in a plane 2. Note however that constant proper Jerk trajectories o not nee to be in a plane. As a matter of fact, the equation for constant proper Jerk IV.4 can be equivalently written as Σ b, V V + V = b, IV.2 where we have use that Σ, V = implies Σ = Σ, V which, together with IV.4, gives Σ = b V. Also from IV.2 one can go back to IV.4. Since IV.2 is a secon orer -non linear- ifferential vector equation in normal form V V A, A V b, V V + V b =, IV.2 with A, A = A 2 + A V, V 2 2 = + V 2, we infer that it has solutions for arbitrary V initial conitions V t an V t. Thus the solution trajectories of IV.2 are not restricte to be in a plane in Minkowski spacetime.

16 6 D. Some equivalences. Our finings can be summe up with the following equivalences. Let us introuce the three sentences: A: The trajectory has vanishing Snap, B: The trajectory has constant proper Jerk, C: The trajectory takes place in a plane 2 in Minkowski spacetime, then what we have shown in subsection IV C is that A B C. We can also show that 2 B C A, an that 3 A C B. The proofs of 2 an 3 are postpone to section VII in which we show that in 2, the notions of vanishing Snap an constant proper Jerk coincie. See in particular the equations VII. an VII.3 which prove the more general statement that in 2 the notion of vanishing n + -acceleration an constant proper n-acceleration coincie. Summarizing: In Minkowski spacetime: A B = B C = A C = A B C. V. THE VIEW FROM ANOTHER FRAME OF REFERENCE Consier a motion with constant proper acceleration, that is, satisfying II.2 with constant a or, equivalently, II.7 in a given frame of reference. If our Minkowski spacetime has imension > 2, we may woner how this motion is seen from a ifferent frame of reference, an in particular what will be the proper acceleration in the instantaneous rest frame of the observer. So consier a general 2 motion in a 4 coorinates t, x, y, z Minkowski spacetime - although 3 is enough to see what happens. Choose coorinates so that this rectilinear motion takes place in the t, x coorinates, V = V, V = V s, V s,,, an let us apply to it a proper boost G characterize by sening a given timelike unit-norm constant vector U = U, U = U, U, U 2, to rest,,,,, that is, U U G = U I + U U U. +

17 7 After this change of reference frame, the new velocity of the observer will be W s =: G V s an there will be an instantaneous proper boost B W s 4 which sens this velocity to the instantaneous rest frame, B W s W s = B W s G V s =,,, = V p. But we know that Bs V s =,,, = V p. So B W s G Bs must be a spatial rotation Rθs, Rs =. V. R ij θs This rotation acts on the 2-imensional plane < x, y > an has cosθ etermine as cosθs = U 2 2 V U + U V, V.2 with U V = U V + U V. The axis of rotation of V. is in the irection U V. Note that Eq.V.2 is symmetric with respect to U an V. Inee, since U 2 2 = U V 2 V 2 = U 2 sin α 2 = U 2 sin α 2, where α is the angle between V an U, then, in terms of θ 2 equation V.2 becomes sin θ 2 2 = U V sin α 2, 2 U V V.3 note that there is an α epenence in U V an thus the rotation R ij θ becomes the ientity only for sin α =, which is equivalent to the vanishing of U 2 -when U an V are parallel. When the rotation is not the ientity it can still be a constant rotation that is, s- inepenent only if V is constant, that is, when the rectilinear motion of the observer is uniform. But not for the accelerate observer. Note on the other han that the proper acceleration, as seen from the new reference frame, is [p] is for proper, A [p] W = B W s A W = B W s G A = B W s G Bs A [p] = RθsA [p]. So for a constant proper acceleration A [p] =, a,,, we en up with a A p s = A[p] W = a cosθs sinθs. V.4 Thus, if we are not in the case of linear uniform motion for the observer, only when the component U 2 vanishes will this rotation be inepenent of the component V s, in 4 B W s is just the proper boost IV.2 with V replace by W.

18 8 which case the rotation becomes the ientity matrix. The boost G in this case will be along the x irection, thus commuting with the family of boosts Bs, which are alreay in such irection. This argument applies as well to any motion not necessarily 2 with constant proper Jerk, or constant proper Snap, etc. The eventual constancy of these objects is frame epenent an only for changes of frame engenere by the boost G when it points in the irection of the 3-velocity of the observer boost in the 2-imensional plane < t, x > in our case, will this constancy be preserve. Inee, we shoul rephrase the notion of constant proper Jerk as: a trajectory has constant proper Jerk in Minkowski spacetime if there exists a frame of reference such that equation IV.4 hols for some constant vector b. The conclusion is clear an general: the notion of constant proper acceleration, constant proper Jerk, constant proper Snap, etc, as efine in IV.3 for the Jerk, an trivially generalize to all these objects, is not invariant uner changes of reference frame. On the other han, it is reasonable to consier that the constancy of some A n shoul be associate with the vanishing of the next A n+. For that we nee the aitional requirement see section IV D for the case of the constant proper Jerk that the trajectory takes place in a 2 plane in Minkowski spacetime. All in all, an in view to eventual generalizations to curve spacetime, our statements shoul at least be invariant uner changes of frame of reference, with the expectation for them to generalize to statements invariant uner iffeomorphisms in generally covariant theories. If we want to make invariant statements we shoul rely in the curvature invariants associate with the trajectory. These curvature invariants will be introuce in the context of the Frenet-Serret formalism. This formalism an its relation with the objects introuce so far Jerk, Snap, etc., is iscusse in the next section. VI. THE FRENET-SERRET FRAMEWORK The Lorentzian setting for the originally Eucliean Frenet-Serret formalism was stuie in [7]. Here we irectly aapt to the Lorentzian setting the Eucliean construction in [8]. Consier a trajectory Xs parametrize by the proper time s, so that the velocity vector U, efine as U V = s X, has U 2 =. The first curvature invariant also known as scalar curvature is efine by κ = s U, an the vector U, orthogonal to U -an hence spacelike- an normalize, is efine as, U = κ s U, U 2 =. Of course this construction only works for non-vanishing κ. There may be exceptions at some isolate points in the trajectory, but if κ = for an entire segment of the trajectory,

19 9 then the construction finishes here -for this segment. Note that the acceleration A efine in previous sections see II.4,III. is just A = κ U so A = κ. Next, noticing that the vector s U κ U is orthogonal to both U an U, we efine the secon curvature invariant also known as the torsion scalar κ 2 = s U κ U an as long as κ 2 > otherwise the construction finishes here we efine the spacelike normalize vector U 2 as U 2 = κ 2 s U κ U, which is an expression that can be rea also as s U = κ 2 U 2 + κ U, U 2 2 =, U U 2 =, U U 2 =. Again, having notice that the vector s U 2 +κ 2 U is orthogonal to U, U an U 2, we efine the thir curvature invariant also known as the hypertorsion scalar κ 3 = s U 2 + κ 2 U, alongsie with the efinition of U 3 as long as κ 3 >, otherwise the construction finishes here U 3 = κ 3 s U 2 + κ 2 U which is an expression that can be rea also as s U 2 = κ 3 U 3 κ 2 U, U 2 3 =, U 2 U 3 =, U U 3 =, U U 3 =. an this construction continues as long as it is allowe by the number of spacetime of imensions an the specific curvatures of the trajectory consiere. In 4 Minkowski we have reache the full constuction. Note that these curvature invariants, although constructe for trajectories in Minkowski spacetime, can be generalize to curve spacetimes along the lines of section II E. In this broaer sense, these curvature invariants behave as scalars uner target space iffeomorphisms coorinate reparametrizations an as invariants uner worl line iffeomorphisms reparametrizations of the evolutionary parameter of the trajectory. The erivatives of these curvature invariants with respect to the proper time are also curvature invariants with the same properties with respect to both types of iffeomorphisms as the original curvature invariants iscusse above.

20 2 A. Revisiting the constantly accelerate observer By the reasons given in section V. the solution given in section II C for the 3 constantly accelerate observer oes not show constant proper acceleration when examine form another generic frame of reference. As sai before, this is not a real problem for the claim that this is a solution for the trajectory of a constantly accelerate observer, but we can take avantage of the Frenet-Serret formalism of section VI to show that it is possible to characterize this solution in an invariant way. One can easily compute the first an secon curvature scalars for the solution II.6. By construction we clearly have κ = a. The secon curvature scalar turns out to be κ 2 = a Thus κ2 < κ. Since we are in 3 Minkowski spacetime, κ 3 vanishes. With these ata we can reconstruct the solution II.6, as we o now. For constant values of κ, κ 2, κ 3, the solution trajectories were classifie in [7]. Using the Frenet Serret equations of section VI, being κ an κ 2 constants an κ 3 =, we obtain the equation U = V... V = κ 2 κ 2 2 V, VI. an in our case κ 2 κ 2 2 = a 2 >. The fact that κ 2 < κ is crucial. The general solution for V is then of the form V = M cosh a s s + N sinh a s s + G, with M, N, G constant vectors to be etermine. The conition V 2 = imposes M, N = M, G = N, G =, N 2 = M 2 an M 2 + G 2 =. The acceleration is A = V = a M sinh a s s + N cosh a s s, an A 2 = a 2 imposes M2 = which implies N2 = an G2 =. With all these restrictions we can choose M, N, G. For instance the choice mae in II.6 is M =, N =, G = Another, simpler choice, relate to the one above by a boost, is M =, N =, G =.,

21 2 with which the solution II.6 takes the form V cosh a s s V = = V sinh a s s. VI.2 Interestingly we may interpret it as the stanar accelerate motion along the x irection together with a motion along the y irection which is linear in the proper time. Note however that the acceleration A associate with this solution VI.2 oes not give a constant proper acceleration, whereas the solution II.6 oes, because of the frame epenence explaine in section V. But we can nevertheless still claim that VI.2 escribes a motion with constant proper acceleration. Since the coorinate time satisfies t s = V = cosh a s s, we can set t = a sinh a s s so s = s is t = an the position vector becomes, in terms of the coorinate time, t X = X + + a a 2 2 t 2 VI.3 arcsinh a a t We notice that this reconstruction relies on the fact that, in aition to the constancy of κ, κ 2, the inequality κ 2 < κ is satisfie. We may state In Minkowski spacetime any imension, the observer with constant proper acceleration is characterize by κ 3 = an κ, κ 2 constants with κ 2 < κ. The particular case κ 2 = correspons to motion in a plane an it also ientifies the case of the vanishing of the Jerk. These statements can be exporte as efinitions in curve spacetime, just by ropping the reference to the trajectory taking place in a plane, In curve spacetime, the observer with constant proper acceleration is efine by κ 3 = an κ, κ 2 constants with κ 2 < κ. The particular case κ 2 = correspons to the vanishing of the Jerk. Although both solutions, II.6 an VI.2, are relate by a simple boost, it is worth to notice that the trajectory VI.3, unlike II.7, oes not have asymptotes in the x,y plane. Now the ingoing an outgoing irections in the 2-space are just oposite:,,,. The parameter is now associate with the ratio of the two space coorinates at infinity. Inee we have, for VI.3, X = {t, x, y}, lim s y log x = a 2.

22 22 For the sake of completeness we may consier the cases with κ 2 κ. In view of VI., the case κ 2 = κ is immeiate. The case with κ 2 > κ correspons to uniform circular motion, which we review briefly in the Appenix A an give expressions for its n-accelerations. B. Jerk an Snap in terms of the Frenet-Serret basis In terms of the Frenet-Serret basis, we can write the Jerk an Snap as Σ = κ s U + κ κ 2 U 2, 2 κ Ξ = s κ κ U + s κ2 κ 2 U 2 + κ κ 2 κ 3 U 3. Now we are reay to reprouce the results of sections II D an IV. VI.4 VI.5 Assuming that the acceleration is non vanishing, κ > otherwise the Jerk alreay vanishes, vanishing of the Jerk Σ =, means κ 2 = an κ =. Here we recover s the results of sction II D. Whereas κ 2 = signals that the trajectories lie in a plane, the secon conition, integrate to κ = A = constant, is the well know equation II. for the constantly accelerate observer hyperbolic trajectories in Minkowski 2. Vanishing of the Snap is equivalent to Ξ = κ 3 =, κ 2 κ 2 = constant, 2 κ s 2 κ κ 2 2 =. Solving these equations we obtain for κ, κ 2, in terms of the notation of section IV, κ = σ 2 s s 2 + β 2, κ 2 = β σ σ 2 s s 2 + β 2. VI.6 with σ >, β for σ = we are back to the vanishing Jerk case. In terms of the orthogonal vectors V, D, Σ, use in section IV, we have U 2 only exists if β >, U = V, U = D + s s κ Σ, U 2 = σ 2 s s β σ κ D + β 2 Σ. VI.7 Notice from VI.6 that κ 2 = β =. This is the invariant statement we were after: we showe in section IV that within the vanishing Snap conition, constant proper Jerk was equivalent to β =. On the other han, the constancy of the proper Jerk oes not imply the vanishing of the Snap. We are le to the following statement

23 23 In Minkowski spacetime: A trajectory of vanishing Snap has constant proper Jerk only if κ 2 = thus implying κ i =, i > 2 an 2 κ s 2 =. This trajectory is therefore 2 an κ is the absolute value of an arbitrary first egree polynomial in the proper time. This satement can be taken as a efinition in curve spacetime In curve spacetime: A trajectory of vanishing Snap an constant proper Jerk is characterize by κ 2 = an 2 κ s 2 =. Let us take stock of our results so far. We have seen that for n = an n = 2, the concepts of constant n-acceleration an vanishing n + -acceleration only coincie if the motion is 2 in Minkowski spacetime or, more generally, either in flat or curve spacetime, if κ 2 =. On the other han we will see in section VII that if κ 2 vanishes then both concepts coincie n. It is plausible that, as in the n = an n = 2 cases, this coincience only happens when κ 2 =. In the case of vanishing Snap, the fact that the curvature invariants are no longer constants is the circumstance that makes it ifficult to fin analytic solutions. In aition, we o not have analytic solutions for the constant proper Jerk case nor for its characterization through curvature invariants. Up to now, we have shown that the first, secon an thir accelerations A = A, A 2 = Σ, A 3 = Ξ, have a common structure, isplaye below. It is not ifficult to see that this common structure is share by the whole family of n-accelerations, A n, where κ n = n s n κ.. A n+ = κ n U + terms vanishing for κ 2 =, Consiering this structure, an anticipating the results of section VII, we may state that In flat or curve spacetime: If the secon curvature invariant vanishes, κ 2 =, then the concepts of vanishing n + -acceleration an constant proper n-acceleration are equivalent an are characterize by κ n =. This trajectory is therefore 2 an κ is the absolute value of an arbitrary n -egree polynomial in the proper time.

24 24 VII. 2D MINKOWSKI: CONSTANT PROPER JERK, SNAP, CRACKLE... In this section we will obtain the solutions for the constant proper n-acceleration uner the assumption that the n + -acceleration vanishes. Since we have shown in the previous section that in this case the trajectories are 2-imensional, we will work in a 2-imensional Minkowski spacetime. In a 2 Minkowski spacetime we can easily generalize the results in IV.4. As state in section III, we use the notation V for the velocity normalize to V 2 =, A for the acceleration A; A 2 for the 2-acceleration or Jerk, Σ; A 3 for the 3-acceleration or Snap, Ξ; etc. With the general parametrization V s = coshfs sinhfs, we obtain A s = f sinhfs s, A 2 s = f sinhfs s, coshfs coshfs note that κ = f s an in general, A n s = f n sinhfs s, VII. coshfs that is, κ n s = f n s. All this information can be examine at any proper time s from the instantaneous rest system of the observer, through the boost Bs = coshfs sinhfs sinhfs coshfs,. VII.2 which sens V to the rest frame -at this proper time s- an sens A to the proper acceleration, A 2 to the proper Jerk an in general sens A n to its proper expression A n [p] [p] is for proper in the rest frame, A n s BsA n s = A n [p] s. Thus we have V [p] s =, A [p] n s = f n s for n >. VII.3 We conclue that in 2 Minkowski, a constant proper A [p] n correspons to f being a n-egree polynomial fs = P n s an it also correspons to a vanishing A n+. In 2 Minkowski, constant proper A n [p] fs = P n s κ = P ns vanishing A n+

25 25 The fact that fs is a n-egree polynomial in proper time was alreay obtaine in [5]. Now we provie analytic solutions for the trajectories in the simplest case P n s = sn. This case captures the asymptotic behaviour at s ±. The trajectories are X s Xs =. VII.4 X s with X s = s F 2 2n ; 2, + X s = n + s s n F 2 s where F 2 is the generalize hypergeometric function, F 2 a; b, c; z = k= 2n ; 4 s 2n, s 2 + 2n ; 3 2, n ; 4 s 2n s a k z k b k c k k!, x Γx + k :=, k Γx with Γ the Gamma function. To epict the trajectories as tangent to the future light cone with vertex at the origin of coorinates we must make a translation: X s X s + Γ n + n s =: X s. VII.5 This quantity, Γ n + n s, is the equal-time istance between the observer at t = an the origin of coorinates. This origin of coorinates belongs to the light cone line efining the horizon for the observer. Still keeping with P n s = sn, if we compare the -infinite- time of travel, from past s n infinity s to future infinity s, of the trajectory corresponing to P n s an that of the light consiering in the n = o case that the light is reflecte at the origin of coorinates, we fin a finite ifference n. This time elay is n = 2 Γ n + n s. It is maximum for n =, = 2 s, that is, for the constantly accelerate observer, whereas the minimum is reache for n = 2, 2 = 2 Γ 3 2 s. After this minimum, n increases monotonically with n, reaching in the limit n. Here we epict trajectories for n =, constant proper acceleration Fig ; n = 2, constant proper Jerk Fig 2; an n = 3, constant proper Snap Fig 3. In general one may consier, for an arbitrary polynomial P n s with real coefficients, its real roots, s k. These roots are associate with the points in the trajectory X s k, X s k with vanishing 3-velocity. If the root is simple or its egeneracly is an o number, then the 3-velocity changes sign at this point, an graphically we fin a turning point in the trajectory, like the four turning points epicte in Fig 4., s n

26 FIG. : 2 Minkowski. n =, P s = s. The well known hyperbola epicting the trajectory of the observer with vanishing Jerk = constant proper acceleration. The line x = t of the light cone is a horizon for the observer. This horizon appears in all the cases n. Notice that, as it will happen with all n = o cases, the trajectory in the space coorinate x goes from + in the past to + in the future, reaching the minimum at t = in our parametrization. VIII. CONCLUSIONS Starting within the context of Minkoswki spacetime an later generalizing to curve spacetime, we characterize the concept of a trajectory with constant proper acceleration by moving to the instantaneous comoving frame of reference of the observer, an choosing the boost that sens the observer to rest as a pure boost, with no aitional rotation attache. We fin that the motion of such an observer is at most three imensional -incluing the time coorinate. Our characterization is formulate in the following way: An observer unergoes a motion with constant proper acceleration if there exist an intertial frame of reference such that, using it for the escription of the trajectory, the pure boost that sens the observer to rest is also sening the acceleration vector to a constant vector. Formulate in such a way, our efinition oes not seem to be exportable to curve spacetime. At this point the Frenet Serret formalism comes to the rescue an we show that our efinition is equivalent to the statement that the thir curvature invariant κ 3 vanishes 3 motion, that the first an secon curvature invariants κ an κ 2 are constant an that κ 2 < κ. In fact when κ 2 vanishes the motion is 2 an it is the stanar textbook motion of the constantly accelerate observer in Minkoswki spacetime. This invariant characterization is immeiately exporte to curve spacetime as the efinition of the observer with constant proper acceleration. Our efinition exclues the uniform circular motion, for which κ 2 > κ, with both κ 2 an κ constants.

27 FIG. 2: 2 Minkowski. n = 2, P 2 s = s 2. The trajectory of the observer with vanishing Snap = constant proper Jerk. Again, the line x = t of the light cone is a horizon for the observer. Notice that, as it will happen with all n = even cases, the trajectory goes from in the past to + in the future FIG. 3: 2 Minkowski. n = 3, P 3 s = s 3. The trajectory of the observer with vanishing Crackle = constant proper Snap. Let us comment that our efinition is much more restrictive than that use in [], inspire in []. In [] the observer with constant proper acceleration uniform acceleration is efine by the constancy of the first, secon an thir curvature invariants in a 4 imensional Minkoswki spacetime, an it is unerstoo that in higher imensions the efinition will inclue the constancy of the new curvature invariants that may appear. Of course it is all a matter of efinition, but we woul like to point out that with our efinition, for whatever imension of the Minkowski spacetime, there is always a frame of reference in which the motion will at most be three imensional κ 3 =.

28 FIG. 4: 2 Minkowski. n = 4, P 4 s = s 4 3s 2 +. Now the trajectory of the observer with vanishing Pop = constant proper Crackle exhibits four turning points, corresponing to the four real roots of P 4 s. As a matter of fact, we coul still be more restrictive an argue that a reasonable efinition of constant proper acceleration shoul also inclue the vanishing of the Jerk. In such case the observer with constant proper acceleration woul be characterize by κ 2 = an κ = constant. We have stuie the generalization of this concept of the accelerate observer that is, with constant proper -acceleration to higher orer time erivatives in Minkowski spacetime. All these new concepts allow for immeiate extension to curve spacetime. The notions of vanishing n-acceleration an of constant proper n-acceleration are iscusse in etail for the cases of Jerk an Snap. We prove that the vanishing of the Jerk implies that the proper acceleration is constant an in aition that the trajectory lies in a plane 2 in Minkowski spacetime. In contrast, we also show that the vanishing of the Snap oes not imply that the proper Jerk is constant, except if we restrict the motion to a plane 2. Although we have prove it only for n =, n = 2, we think it very likely that with higher orer objects the notions of vanishing n + -acceleration an of constant proper n- acceleration are equivalent only when the trajectory in Minkowski spacetime lies in a plane or when κ 2 = if we consier also curve spacetime. In general, it is not ifficult to see that the notion of vanishing n-acceleration has a specific characterization in the framework of the Frenet Serret formalism. We believe that the notion of constant proper n-acceleration, has also its characterization in such formalism, although we have not prove it beyon the case of the constant proper acceleration. This woul mean that all our results woul be exportable to curve spacetime. We leave these issues for future work.

29 29 In Minkowski spacetime, when we specialize our results to trajectories in a plane, the characterization of vanishing n + -acceleration together with constant proper n-acceleration is very simple by making use of the Frenet-Serret formalism. It all boils own to require that the secon curvature invariant κ 2 vanishes an that the first curvature invariant κ be the absolute value of a polynomial of egree n of the proper time parameter, This result can be exporte to generally covariant metric theories with a connection satisfying the metricity conition. Concerning motion in a plane, we may compare our results with those in Galilean mechanics. In Galilean mechanics with one space imension, the velocity of an observer with constant proper n-acceleration is a n-egree polynomial P n t of the physical time t. In Minkowski 2 spacetime the velocity of an observer with constant proper n-acceleration is vt = tanhp n st where P n is an n-egree polynomial an st -proper time as function of coorinate time- is obtaine after solving the ifferential equation t s = coshp ns. Thus moving form Galilean to Minkowskian observers amounts to encapsulate the Galilean results within specific hyperbolic trigonometric functions that set up the boun of the spee of light. IX. ACKNOWLEDGEMENTS JMP thanks Joaquím Gomis an Carles Batlle for useful conversations. He also acknowleges financial support from projects 27-SGR-929, MINECO grant FPA C2-- P an the MDM of ICCUB Unia e Excelencia María e Maeztu. Appenix A: Uniform circular motion Consier in a 3 Minkowski spacetime the trajectory r > an ω > are constant ts Xts = r sinω ts. A. r cosω ts Its velocity with respect to proper time s is V s = ṫs r ω cosω ts, rω sinω ts an the conition V 2 = etermines ṫs = to satisfy r ω <. γ. Note that r, ω are require r2 ω2