Symmetry and Special Relativity

SS symmetry Article Symmetry and Special Relativity Yaakov Friedman * and Tzvi Scarr Jerusalem College of Technology, Jerusalem 91160, Israel; scarr@g.jct.ac.il * Correspondence: friedman@g.jct.ac.il Received: 16 September 2019; Accepted: 29 September 2019; Published: date



 Abstract: We explore the role of symmetry in the theory of Special Relativity. Using the symmetry of the principle of relativity and eliminating the Galilean transformations, we obtain a universally preserved speed and an invariant metric, without assuming the constancy of the speed of light. We also obtain the spacetime transformations between inertial frames depending on this speed. From experimental evidence, this universally preserved speed is c, the speed of light, and the transformations are the usual Lorentz transformations. The ball of relativistically admissible velocities is a bounded symmetric domain with respect to the group of affine automorphisms. The generators of velocity addition lead to a relativistic dynamics equation. To obtain explicit solutions for the important case of the motion of a charged particle in constant, uniform, and perpendicular electric and magnetic fields, one can take advantage of an additional symmetry—the symmetric velocities. The corresponding bounded domain is symmetric with respect to the conformal maps. This leads to explicit analytic solutions for the motion of the charged particle. Keywords: principle of relativity; Lorentz transformations; Einstein velocity addition; bounded symmetric domain; symmetric velocity 1. Introduction In this paper, we explore the role of symmetry in deriving Special Relativity (SR) and in solving relativistic dynamics equations. These symmetries include the isotropy of space and the homogeneity of spacetime. We also show that an auspicious choice of axes preserves a symmetry and leads directly to the Lorentz transformations. By using the symmetric velocity, one can reduce the relativistic dynamics equation to an analytic equation in one complex variable. This leads to explicit solutions. Albert Einstein developed SR from two postulates. The first is the “Principle of Relativity,” which states that the laws of physics are the same in all inertial frames of reference. The second postulate states that the speed of light in a vacuum is the same for all observers, regardless of the motion of the light source or the observer. In the approach here, on the other hand, using the above-mentioned symmetries, we derive the Lorentz transformations and the Minkowski metric using only the Principle of Relativity, without assuming the constancy of the speed of light. Instead, in the spirit of Noether’s Theorem, we use the symmetry following from the Principle of Relativity and obtain both a universal speed and a metric, which is conserved in all inertial frames. From the inception of relativity, there were derivations of SR that did not use the second postulate. The first was by Ignatowsky [1] in 1910. Many other derivations followed; see [2] for a full list of references. Nevertheless, the approach here, based on symmetry, is new. The plan of the paper is as follows. In Section 2, we give an explicit and quantitative definition of an inertial frame and show that the spacetime transformations between inertial frames are affine. In Section 3, we show that there are only two possibilities for these transformations. The first possibility is the Symmetry 2019, 11, 0; doi:10.3390/sym11100000 www.mdpi.com/journal/symmetry Symmetry 2019, 11, 0 2 of 16 Galilean transformations. The second possibility is the Lorentz transformations. Actually, at this point, the transformations are defined up to a parameter, which a priori depends on the relative velocity between the frames. Nevertheless, after we derive Einstein velocity addition in Section 4, we show that this parameter is independent of the relative velocity. Moreover, this parameter represents the unique speed which is invariant among all inertial frames. The experimental evidence implies that this parameter is c, the speed of light in vacuum. In Section 5, we show that the ball of relativistically admissible velocities is a bounded symmetric domain with respect to the affine automorphisms. We interpret the generators of these automorphisms as forces and use them to derive a relativistic dynamics equation. An application of relativity theory is solving the dynamics equation for the motion of a charged particle in a constant, uniform electromagnetic field. The dynamics equation derived in Section 5 may be readily solved if B = 0, E = 0 or E × B = 0 (E and B parallel). The case in which E and B are perpendicular is harder. In fact, the first explicit lab frame solutions for the case |E| ≥ c|B| were finally found by Takeuchi [3] in 2002. The approach here relies on an additional symmetry. By changing the dynamic variable from the velocity to the symmetric velocity, the dynamics equation becomes analytic in one complex variable. This leads to analytic solutions in all cases. We discuss the symmetric velocity and symmetric velocity addition in Section 6. In the following section, we introduce a complexification of the plane of motion and derive the corresponding symmetric velocity addition formula. This leads to a dynamics equation which is analytic in one complex variable. 2. Inertial Frames We follow Brillouin [4] and consider a frame of reference to be a “heavy laboratory, built on a rigid body of tremendous mass, as compared to the masses in motion”. We introduce 3D spatial coordinates and have a standard clock to measure the spacetime coordinates of events. Our frame of reference is equipped with two devices: an accelerometer and a gyroscope. The accelerometer measures the linear acceleration of our frame, and the gyroscope measures its rotational acceleration. The next step is defining the concept of “inertial frame”. If, at every rest point of our frame, both the accelerometer and the gyroscope measure zero acceleration, then our frame is an inertial frame. Newton’s First Law states that in an inertial frame, an object moves with constant velocity unless acted upon by a force. This means that a freely moving object has uniform motion. The geometric representation of an object in uniform motion is a straight line x (t) = x (0) + v · t in spacetime, for some constant velocity, v. Note that one must consider trajectories in 4D spacetime, not just in space alone. Knowing that an object moves along a straight line in space tells one nothing about whether the object is accelerating. Consider now an object moving freely in an inertial frame. By the Principle of Relativity, this object’s motion is free in every inertial frame. By the above, the worldline of this object is a straight line in every inertial frame. This means that the spacetime transformations between inertial frames are “affine”. We derive these transformations in the next section. We mention in passing that, practically speaking, there are no inertial frames, because the massive object to which our frame is attached introduces gravitational forces within the system. Moreover, even in a free-falling frame, where gravitational forces are not felt, there are tidal forces. Therefore, the accelerometer will not measure zero everywhere within the system. Nevertheless, in certain cases, the deviation from inertiality will be small. Examples of such “approximate” inertial frames include a space probe drifting through empty space far away from any massive objects, a satellite orbiting the Earth with the propulsion turned off, a cannonball after being shot from a cannon, an object in a drop tower, and Einstein’s elevator falling towards the Earth. In such a frame, Newton’s First Law holds approximately. An observer in such a frame experiences near weightlessness. In fact, aircraft in free fall are used to train astronauts for the weightless experience. The weightlessness is not perfect, however, because of tidal forces. Symmetry 2019, 11, 0 3 of 16 From this point on, we work with (true) inertial frames. The next step is to derive the spacetime transformations between them. 3. The Lorentz Transformations In this section, we derive the Lorentz transformation L between two inertial frames K and K ′ , without assuming the constancy of the speed of light. Instead, we use a clever choice of axes, which makes L a symmetry. We obtain, as a consequence, that there is a preserved speed between K and K ′ . In the next section, we will show that this speed is independent of the relative velocity between K and K ′ . From experimental evidence, we conclude that this speed is c, the speed of light in vacuum. The Lorentz transformation, L, maps the coordinates (t′ , x ′ , y′ , z′ ) of an event in K ′ to the event’s coordinates (t, x, y, z) in K. We assume, without loss of generality, that 1. 2. 3. the x and x ′ axes are antiparallel, whereas the y and y′ axes, as well as the z and z′ axes, are parallel; the velocity of K ′ in K is a constant v 6= 0 in the positive x direction (v = 0 is classical, not relativistic); and the origins O and O′ correspond at time t = t′ = 0. See Figure 1. We use reversed axes to preserve the symmetry between the two frames. In this way, the velocity of K in K ′ is also (v, 0, 0), the same as the velocity of K ′ in K. Note that when the x and x ′ axes are parallel, the frames K and K ′ are said to be in standard configuration. However, in standard configuration, the velocity of K in K ′ is (−v, 0, 0). This breaks the symmetry. One may object that the reversal R : x ′ → − x ′ induces a change of orientation. And even though R is a symmetry, that is, R2 = 1, one may object that it is not a continuous symmetry. Our answer is that continuity will be restored after we determine the transformation L : K ′ → K, by applying R = R−1 on L. Figure 1. Two inertial frames with x, x ′ axes antiparallel It follows immediately from condition 2 above that L leaves the y and z coordinates unchanged. Thus, y = y′ , z = z′ , and we reduce the problem to two dimensions and consider L as a function from K ′ to K, with L(t′ , x ′ ) = (t, x ). Now, we invoke the Principle of Relativity, which states that all inertial frames are equivalent. This implies that the spacetime transformations between two inertial frames can depend only Symmetry 2019, 11, 0 4 of 16 on the relative velocity between them. As the velocity of K ′ in K is numerically equal to the velocity of K in K ′ , the inverse transformation L−1 : K → K ′ is the same as L : K ′ → K. In other words, L = L −1 L2 = I. or (1) This means that L is a symmetry. Moreover, as L is affine, condition 3 implies that L is linear. An independent argument for the linearity of L uses the homogeneity of spacetime (a symmetry) and appears in [5]. First, split L into two functions, t = F (t′ , x ′ ) , x = G ( t ′ , x ′ ). (2) Taking differentials, we have dt = ∂F ′ ∂F dt + ′ dx ′ ∂t′ ∂x . (3) ∂G ∂G dx = ′ dt′ + ′ dx ′ ∂t ∂x ∂F ∂F , , ... cannot ∂t′ ∂x ′ ′ ′ depend on t or x. Therefore, F and G are affine functions of t and x . This, together with condition 3, implies that L is a linear map. As L is linear, we may represent it in matrix form as As spacetime has the same properties everywhere and everywhen, the coefficients t x ! t′ x′ =L ( ! a c b d t = at′ + bx ′ x = ct′ + dx ′ ) = ! t′ x′ ( t = at′ x = ct′ ) , . To determine the values of a, b, c, d, we first consider the motion of (4), we have ! (4) O′ = t′ 0 ! in K. From Equation . We assume that the time t in K and the time t′ in K ′ flow in the same direction. In other words, if t increases, so does t′ . This implies that a > 0. (5) Moreover, the velocity of O′ in K is v = x/t = c/a, so c = av. From Equations (1) and (6), we have (I) a2 + abv = 1 (II) b( a + d) = 0 (III) av( a + d) = 0 (6) Symmetry 2019, 11, 0 5 of 16 (IV) abv + d2 = 1 From (I), we get 1 + (b/a)v = 1/a2 . Let b̃ = b/a. Then, a2 = 1/(1 + b̃v), or a= p 1 1 + b̃v , (7) where we took the positive square root in light of Equation (5). As v 6= 0, (III) and Equation (5) imply that d = − a. Thus, If b̃ = 0, then a = 1 and L = transformations: 1 v L= p 0 −1 ! 1 1 + b̃v 1 v b̃ −1 ! . (8) . Re-reversing the x ′ axis (x ′ → − x ′ ), we obtain the Galilean t = t′ . x = vt′ + x ′ , y = y′ , z = z′ (9) For the case b̃ 6= 0, we invoke the Principle of Relativity. As the laws of physics are the same in all inertial frames, we look for invariant quantities, quantities which the Lorentz transformations preserve. We search for an invariant metric of the form ds2 = µ2 dt2 − dx2 − dy2 − dz2 , (10) where µ is a positive scalar with dimensions of velocity. Note that µ may depend on the relative velocity v between K and K ′ . By the isotropy of space (a symmetry), the coefficients of dx2 , dy2 , and dz2 must be the same, and the homogeneity of spacetime (a symmetry), neither these coefficients nor the coefficient of dt2 can depend on any of t, x, y, z. Cross-terms like dtdx do not appear because such a metric is not invariant under rotations (another symmetry). (One might have thought to define ds2 = µ2 dt2 + dx2 + dy2 + dz2 , but this metric leads to physically unreasonable results.) As we want (ds′ )2 = ds2 , we have dt dx or ! =a 1 v b̃ −1 ! dt′ dx ′ ! , dt = adt′ + ab̃dx ′ . dx = avdt′ − adx ′ Substituting these into Equation (10) and suppressing the y and z directions, we have     ds2 = µ2 dt2 − dx2 = µ2 a2 (dt′ )2 + 2a2 b̃dt′ dx ′ + a2 b̃2 (dx ′ )2 − a2 v2 (dt′ )2 − 2a2 vdt′ dx ′ + a2 (dx ′ )2 = (µ2 a2 − a2 v2 )(dt′ )2 + (2µ2 a2 b̃ + 2a2 v)dt′ dx ′ + (µ2 a2 b̃2 − a2 )(dx ′ )2 . Thus, (1) µ2 a2 − a2 v2 = µ2 Symmetry 2019, 11, 0 6 of 16 (2) 2µ2 a2 b̃ + 2a2 v = 0 (3) µ2 a2 b̃2 − a2 = −1. Now a > 0, Equation (5) and (1) imply that a= s 1 v2 1− 2 µ . (11) Substituting this value for a into (2) yields b̃ = − v . µ2 (12) It is easy to check that these values for a and b̃ satisfy (3) . Therefore, there exists an invariant metric of the form Equation (10). Thus, from Equations (8) and (12), the matrix L of the transformation from K ′ to K is  v  1 − 2 1  µ . L= s (13) v2 v −1 1− 2 µ Re-reversing the x ′ axis (x ′ → − x ′ ), we obtain the Lorentz transformation K ′ → K:  vx ′ t=γ + 2 µ x = γ(vt′ + x ′ ) y = y′ z = z′ where γ = γ(v) = s t′  , (14) 1 . v2 1− 2 µ We would like to show that the scalar µ is independent of v, but for this, we need velocity addition. 4. Velocity Addition and a Universally Preserved Speed Einstein velocity addition is actually a composition of velocities and is defined in the following way. Let K and K ′ be two inertial frames, where K ′ has velocity v in K. Suppose an object has velocity u in K ′ . Then, the velocity of the object in K is denoted by v ⊕ u. To derive a formula for v ⊕ u, we take K and K ′ in standard configuration, so that v = (v, 0, 0). Consider an object with velocity u = (u1 , u2 , u3 ) in K ′ . Without loss of generality, the object passes through the origin O′ of K ′ at time t′ = 0. Therefore, the worldline of the object in K ′ is (t′ , u1 t′ , u2 t′ , u3 t′ ). Using the Lorentz transformation Equation (14), we have v u1 t ′ µ2 x = γvt′ + γu1 t′ , y = u2 t ′ z = u3 t ′ t = γt′ + γ (15) Symmetry 2019, 11, 0 7 of 16 where µ = µ(v) and γ = γ(v). Thus, the velocity of the object in K is ( x, y, z) ( γ ( v + u1 ), u2 , u3 ) = , v t γ + γ 2 u1 µ implying that v⊕u = ( v + u1 , γ −1 u2 , γ −1 u3 ) . vu 1 + 21 µ (16) For arbitrary v and u, decompose u as u = uk + u⊥ , where uk is the projection of u onto v and u⊥ = u − uk . Then, Equation (16) generalizes to v⊕u = v + u k + γ −1 u ⊥ , v·u 1+ 2 µ (17) where v · u is the usual scalar product on R3 . If v and u are parallel, then v⊕u = v+u vu . 1+ 2 µ (18) Equations (17) and (18) show that velocity addition is commutative only for parallel velocities. The following two properties will also prove useful. (V1) −(v ⊕ u) = −v ⊕ (−u) (V2) If u and v are parallel, then u ⊕ (v ⊕ w) = (u ⊕ v) ⊕ w. Next, we show that the scalar µ is independent of v. We assume only a continuity condition, namely, that µ(v) and µ(w) can be made arbitrarily close for close enough v and w. Let K and K ′ be in standard configuration, where v is the relative velocity of K ′ in K. Suppose in K the interval ds2 = 0, that is, µ2 dt2 = dx2 + dy2 + dz2 = dr2 , so µ(v) = | dr |. As the Lorentz transformation preserves the interval, we have (ds′ )2 = 0, so in K ′ , dt dr′ |. Note that µ(v) is the unique speed, which is invariant between K and K ′ . dt′ Consider now a third inertial frame K ′′ , which is in standard configuration with K ′ and has relative velocity v in K ′ . Repeating the above argument, we see that the speed µ(v) is invariant between K and K ′′ . However, the velocity of K ′′ in K is v ⊕ v, implying that the speed µ(v ⊕ v) is also invariant between K and K ′′ . By uniqueness, µ(v ⊕ v) = µ(v). Introduce the following notation. For each n = 1, 2, 3, . . ., define µ(v) = | n∗v = v⊕v⊕···⊕v (n addends). (19) 1 Note that parentheses are not necessary by (V2). Similarly, we say that ∗ v = u iff n ∗ u = v. In this n 1 notation, we have just shown that µ(2 ∗ v) = µ(v), or, equivalently, µ( ∗ v) = µ(v). It is easy to show by 2 1 induction on n that µ(n ∗ v) = µ(v) for all n, and so µ( ∗ v) = µ(v) for all n. n Symmetry 2019, 11, 0 8 of 16 It remains to show only that µ(v) = µ(w) for arbitrary (parallel) velocities v and w. There arepositive  1 1 1 integers m and n, such that ∗ v and ∗ w are arbitrarily close. By the continuity condition, µ ∗v n m n   1 and µ ∗ w are arbitrarily close. Therefore, µ(v) and µ(w) are arbitrarily close. We conclude that m µ ( v ) = µ ( w ). Several experiments at end of nineteenth century, including [6], showed that the speed of light is the same in all inertial systems. Therefore, µ = c, the speed of light in vacuum, and the Lorentz transformation is   vx ′ t = γ t′ + 2 c x = γ(vt′ + x ′ ) , (20) ′ y=y z = z′ where γ = γ(v) = r 1 . v2 1− 2 c Note that velocity addition Equation (17) maps a subluminal (less than c) velocity to a subluminal velocity. Subluminal velocities are appropriate for massive particles. There are also particles, such as photons, with speed c in every inertial frame. Our theory does not preclude the existence of superluminal velocities, nor does it predict them. v At this point, we introduce the dimensionless velocity and rename it v. Thus, a velocity v is c subluminal if |v| < 1. This amounts to measuring time in light seconds (or light years). 5. The Velocity Ball as a Bounded Symmetric Domain The velocity ball Dv is defined as the set of all subluminal velocities D v = { v : v ∈ R3 , | v | < 1 } . (21) We study the symmetries on Dv that follow from the Principle of Relativity. A domain D in a real or complex Banach space is called symmetric with respect to a group G of automorphisms of D if for every a ∈ D, there is an automorphism g ∈ G, such that g is a symmetry (g2 = I) and g fixes only the point a. Clearly, Dv is a bounded domain. We show here that Dv is symmetric with respect to the group Aut a ( Dv ) of affine automorphisms of Dv . An automorphism is affine if it maps lines to lines.There is an obvious affine symmetry, namely, u → −u, which fixes only 0. By shifting this map, we can get an affine symmetry about any given point. The symmetries we require are constructed from the velocity addition, so let us first understand how velocity addition acts on Dv . For each v ∈ Dv , define the map ϕv : Dv → Dv by ϕv (u) = v ⊕ u. (22) By the velocity addition Equation (17), the image of a disc in Dv perpendicular to v is also a disc in Dv , moved in the direction of v, and uniformly scaled in the u⊥ component, see Figure 2. Symmetry 2019, 11, 0 9 of 16 2 Vz Vz 2 0 0 2 2 20 2 0 2 Vy Vx 20 2 2 8 2 0 Vy x 10 (a) (b) Vx 2 8 x 10 Figure 2. (a) Five uniformly spread discs ∆ j , obtained by intersecting the three-dimensional velocity ball Dv of radius 1 with y − z planes at x = 0, ±1/3, ±2/3. (b) The images of the five discs under the action of ϕ(v), with v = (1/3, 0, 0). We show now that for each v ∈ Dv , the map ϕv , defined by Equation (22), is an affine automorphism of Dv . Clearly, ϕv is a bijection. Velocities that are different in K are different in K ′ , and every velocity in K ′ has a corresponding velocity in K. Moreover, the inverse of ϕv is 1 ϕ− v ( w ) = − v ⊕ w. (23) The proof of affinity is via the projective geometry of the velocity ball Dv . We identify each v ∈ Dv as the point of intersection (1, v) of the worldline (t, vt) of an object with velocity v and the plane (1, x). A segment T in Dv is the intersection of Dv with a plane, Q, through the spacetime origin, O, of K. The Lorentz transformation Lv maps Q to a plane, Q′ , through the spacetime origin O′ of K ′ . The image of T under ϕv is the intersection of Q′ with Dv′ and is therefore a segment. This shows that ϕv is an affine map. 1 Fix w ∈ Dv , and let v = w ⊕ w. Note that w = ∗ v: the symmetric velocity corresponding to v. 2 Define Sw : Dv → Dv by Sw (u) = (w ⊕ w) ⊕ (−u) = v ⊕ (−u). (24) We claim that Sw is an affine automorphism of Dv and a symmetry fixing only the symmetric velocity 1 w = ∗ v. 2 The map Sw is a composition of affine automorphisms of Dv , and is therefore an affine automorphism of Dv . The map Sw is a symmetry because, using Equation (24) and (V1) and (V2), Sw (Sw (u)) = Sw (v ⊕ (−u)) = v ⊕ (−(v ⊕ (−u))) = = v ⊕ (−v ⊕ u) = u. The map Sw fixes w, as Sw (w) = (w ⊕ w) ⊕ (−w) = w ⊕ (w ⊕ (−w)) = w. Symmetry 2019, 11, 0 10 of 16 The map Sw fixes only w. Suppose v ⊕ (−u) = u. From the definition Equation (17) of velocity addition, it follows that u k v. Then, as Sw fixes u and using (V2), we have u ⊕ u = (v ⊕ (−u)) ⊕ u = v ⊕ ((−u) ⊕ u) = v, 1 ∗ v = w. This completes the proof that Dv is a bounded symmetric domain with respect to the 2 group Aut a ( Dv ) of affine automorphisms of Dv . Next, we characterize the elements of Aut a ( Dv ). Let ψ be any affine automorphism of Dv . Set a = ψ(0) 1 and U = ϕ− a ψ. Then, U is an affine map that maps 0 → 0 and is thus a linear map which can be represented by a 3 × 3 matrix, which we also call U. As U maps Dv onto itself, it is an isometry and U is an orthogonal matrix. As ψ = ϕa U, the group Aut a ( Dv ) of all affine automorphisms is given by so u = Aut a ( Dv ) = { ϕa U : a ∈ Dv , U ∈ O(3)}, (25) where O(3) is the group of orthogonal transformations of R3 . The group Aut a ( Dv ) is a six-dimensional real Lie group. Three dimensions are needed to determine the boost vector a ∈ Dv , and three dimensions determine the orthogonal matrix U ∈ O(3). This gives a representation of the Lorentz group by affine maps of Dv . It is well known that a force generates an acceleration, which is a change in velocity. There are two types of forces. The first type generates a change in the magnitude of the velocity and can be modeled by a velocity boost. An example is the force exerted by an electrostatic field on a charged particle. The second type of force generates a change in the direction of the velocity and can be modeled by a rotation. Such a force generates an acceleration in a direction perpendicular to the velocity of the object. An example is the force exerted by a magnetic field on a moving charge. For example, the generator of the boost ϕa is given by 1 1 δa (v) = lim ((ta ⊕ v) − v) = lim t →0 t t →0 t ta + vk + γ−1 (ta)v⊥ 1 + ta · v −v ! 1 t →0 t = lim  ta + v −v 1 + ta · v   1 ta + v − (ta · v)v + o (t2 ) − v = a − (v · a)v. t →0 t = lim Using the triple product {·, ·, ·}, defined by {a, b, c} = (a · b) c + (c · b) a , 2 (26) the above generator can be written as δa (v) = a − {v, a, v}. (27) In [7], the first author calculates the elements of the Lie algebra aut a ( Dv ) and shows that the generators of boosts act on Dv like an electric field, and the generators of rotations act on Dv like a magnetic field. The classical equation of motion dv q = (E + v × B) (28) dt m for a particle of charge, q, and mass, m, in an electromagnetic field E, B, is then shown to be equivalent to q dv = (δE (v) + v × B), dτ m0 (29) Symmetry 2019, 11, 0 11 of 16 where m0 is the rest mass of the particle, and τ is the proper time of the particle. The relationship between t and τ is given by dt = γ(v)dτ. For constant, uniform fields E and B, Equation (29) can be solved in a straightforward manner in the three cases B = 0, E = 0 and E × B = 0 (E and B are parallel). See [7] for details. The case in which E and B are perpendicular presents more difficulties. The standard approach (see, for example, [8,9]) solves Equation (28) in the well-known drift frame. In the case |E| < c|B|, it is then straightforward to transform the solution back to the lab frame. None of the standard texts, however, obtain explicit solutions in the lab frame for the case |E| ≥ c|B|. The first explicit lab frame solutions were found by Takeuchi [3] in 2002. The case E ⊥ B is greatly simplified if we make a change of dynamic variable and use the symmetric velocity instead of the usual velocity. We take this up in the next section. 6. The Symmetric Velocity Ball as a Bounded Symmetric Domain The procedure of the previous section may be applied to the ball of symmetric velocities. One defines symmetric velocity addition and shows that the action induced on the ball by a “boost” is a conformal map. Indeed, one can show that the symmetric velocity ball is a bounded symmetric domain with respect to the group of conformal automorphisms. See Chapter 2 of [7] for the details of this and the next two sections. As in the previous section, the relativistic dynamics equation for symmetric velocities can be written in terms of generators—this time, the generators of conformal maps. Moreover, in the historically troublesome case E ⊥ B, the dynamics equation becomes analytic in one complex variable. This leads to explicit analytic solutions. In this section and the next, we develop the tools necessary to work with the symmetric velocity. As defined just prior to Equation (24), the symmetric velocity corresponding to the velocity v is the unique velocity w, such that w ⊕ w = v. The relationship between a symmetric velocity w, and its corresponding velocity v is given by v = Φ(w) = 2w 1 + | w |2 , w = Φ −1 ( v ) = v 1 + γ −1 , γ= q 1 − | v |2 . (30) The symmetric velocity ball Ds is the set of all relativistically admissible symmetric velocities: D s = { w : w ∈ R3 , | w | < 1 } . (31) Addition (composition) of symmetric velocities is defined using Einstein velocity addition and the map Φ. Let a and w be symmetric velocities. Then, a ⊕s w = Φ−1 (Φ(a) ⊕ Φ(w)) . (32) A straightforward albeit tedious calculation leads to the following symmetric velocity addition formula, (1 + |w|2 + 2a · w)a + (1 − |a|2 )w a ⊕s w = . (33) 1 + |a|2 |w|2 + 2a · w A 4D version of Equation (33) can be found in [10]. As in Equation (22), we define, for each a ∈ Ds , the map ψa : Ds → Ds by ψa (w) = a ⊕s w. (34) Symmetry 2019, 11, 0 12 of 16 In [7], it is shown that ψa is a conformal map and that Ds is a bounded symmetric domain with respect to the group Autc ( Ds ) of conformal automorphisms of Ds . Moreover, Autc ( Ds ) = {ψa U : a ∈ Ds , U ∈ O(3)}. (35) The group Autc ( Ds ) is a six-dimensional real Lie group. Three dimensions are needed to determine the boost vector a ∈ Dv , and three dimensions determine the orthogonal matrix U ∈ O(3). This gives a representation of the Lorentz group by conformal maps of Ds . Similar to Equation (27), the generator of the boost ψa is given by δ̃a (w) = a − {w, a, w}s , (36) where the spin triple product [11] is defined by {a, b, c}s = (a · b)c + (c · b)a − (a · c)b. (37) Equation (28) can then be written as   dw q  δ̃ 1 (w) + w × B . = dτ m0 E 2 (38) As in Equation (29), τ is the proper time of the particle. Once one obtains an explicit solution for w(τ ), the time t can be calculated using t= Z τ 1 + |w(τ )|2 0 1 − |w(τ )|2 dτ. (39) 1 so as to obtain the correct commutation relations. 2 Under certain initial conditions, the solutions to Equation (38) will be planar. We will see next how symmetric velocity addition acts on the complexified plane of motion. The coefficient of E is 7. Symmetric Velocity Addition on a Complex Plane Equation (33) shows that a ⊕s w is a linear combination of a and w, and therefore belongs to the plane Π generated by a and w. We introduce a complex structure on Π in such a way that the disk ∆ = Ds ∩ Π is homeomorphic to the unit disc |z| < 1. Denote by a the complex number corresponding to the vector a and by w the complex number corresponding to the vector w. We make use of the familiar relationships Re( a · w) = aw + aw 2 , |w|2 = ww, (40) where the dot product is the usual one on C, and the bar denotes complex conjugation. Substituting these into Equation (33), we get a ⊕s w = (1 + ww + aw + aw) a + (1 − aa)w ( a + w)(1 + aw) a+w = = , 1 + aaww + aw + aw (1 + aw)(1 + aw) 1 + aw (41) which is the well-known complex analytic Möbius transformation of the complex unit disk. Thus, symmetric velocity addition is a generalization of the Möbius addition of complex numbers. Symmetry 2019, 11, 0 13 of 16 In Figure 3, the lower circle in the figure is the unit disc of the complex plane, a two-dimensional a+w section of Ds . The upper circle is the image of the lower circle under the transformation w → , 1 + aw for a = 0.4. Each circle is enhanced with a grid to highlight the effect of this transformation. Notice how a typical square of the lower grid is deformed and changes in size under the transformation. 1 1 0 0.5 1 0 0.5 Re(w) 0 0.5 0.5 Im(w) 1 1 Figure 3. Symmetric velocity addition a ⊕s w for a = 0.4. We must check that Equation (41) does not depend on the choice of the complexification of the disk ∆ = Ds ∩ Π . Thus, suppose we map a to eiθ a (instead of to a) and w to eiθ w (instead of to w). Then, eiθ a ⊕s eiθ w = eiθ a + eiθ w 1 + eiθ aeiθ w = eiθ a + eiθ w = eiθ ( a ⊕s w), 1 + aw (42) showing that Equation (41) does not depend on the choice of the complexification of the disk. 8. Explicit Analytic Solutions When E ⊥ B We will use a complexified version of Equation (38) to find explicit analytic solutions for motion in constant, uniform fields E, B, where E and B are perpendicular. We assume that the initial velocity is perpendicular to B. In this case, the motion remains in the plane Π, which is perpendicular to B. This follows from the fact that the right side of Equation (38) is in Π at τ = 0 and dw/dτ belongs to this plane. We will complexify the plane Π so that the vector E ∈ Π lies on the positive part of the imaginary axis. We associate to any symmetric velocity w a complex vector w = w1 + iw2 , with real w1 , w2 . The vector E will be represented by the complex number i |E|. In this representation, the vector w × B, which is in 1 Π, is equal to |B|(w2 − iw1 ) = −i |B|w. Using Equation (40), the term −{w, E, w}s is represented by the 2 complex number   1 i w, E, w = − |E|w2 . (43) 2 2 s Equation (38) becomes dw q = dτ m0  i i | E | − i | B | w + | E | w2 2 2  = iq|E| 2m0  1−2  |B| w + w2 . |E| (44) Symmetry 2019, 11, 0 14 of 16 For notational convenience, we introduce the constants Ω= which allows us to rewrite Equation (44) as q|E| , 2m0 e = |B| , B |E| e ( τ ) + 1), dw(τ )/dτ = iΩ(w(τ )2 − 2 Bw (45) (46) which is a first-order, complex analytic, separable differential equation. By a well-known theorem from differential equations, this equation has an analytic solution, which is unique for each initial condition, w(0) = w0 . Equation (46) may be solved straightforwardly for w(τ ) in all three cases, |E| < |B|, |E| = B|, and |E| > |B|. The velocity may then be found using Equation (30) and the position via integration. When |E| < |B|, the symmetric velocity traces out a circular trajectory. When |E| = B|, the trajectories are arcs of circles and limτ →∞ w(τ ) = 1. The symmetric velocities for |E| > |B| are also arcs of circles, but with finite terminal velocity. For more details and examples, see [12]. 9. Discussion We have taken advantage of several symmetries to develop the Special Theory of Relativity without assuming the constancy of the speed of light. These symmetries include the principle of relativity, the isotropy of space, and the homogeneity of spacetime. We also made an auspicious choice of axes to preserve a symmetry between inertial frames. Eliminating the Galilean transformations, we obtained a universally preserved speed and an invariant metric. The ensuing spacetime transformations between inertial frames depend on this speed. From experimental evidence, this universally preserved speed is c, the speed of light, and the transformations become the usual Lorentz transformations Equation (14). The velocity ball is a bounded symmetric domain with respect to the affine automorphisms induced by velocity addition. We represent an electromagnetic field by the generators of these automorphisms and derive a dynamics Equation (29). This equation can be solved explicitly in certain cases. The other cases require the symmetric velocity ball, which is a bounded symmetric domain with respect to the conformal automorphisms induced by symmetric velocity addition. There is a canonical representation of the Lorentz group into the Lie algebra of conformal generators. The dynamics Equation (38) is built from these generators, and under the right initial conditions, the dynamics equation becomes analytic in one complex variable. This leads to explicit solutions. It should be noted that the dynamics Equation (29) is Lorentz covariant with respect to affine maps. Likewise, Equation (38) is Lorentz covariant with respect to conformal maps. One can obtain Lorentz covariance with respect to linear maps by using a 4D representation. In fact, Equation (28) is canonically embedded in the fully Lorentz covariant dynamics equation c µ du(τ ) µ = A ν uν , dτ (47) where u(τ ) is the four-velocity, and A ν is a rank 2 antisymmetric tensor with units of acceleration. The components of A, in general, are functions of spacetime. For constant A, the explicit solutions of Equation (47) are divided into four Lorentz-invariant classes: null, linear, rotational, and general. For null acceleration, the worldline is cubic in the time. Linear acceleration covariantly extends one-dimensional hyperbolic motion, whereas rotational acceleration covariantly extends pure rotational motion. See [13] for details. Symmetry 2019, 11, 0 15 of 16 A motion is uniformly accelerated if it has constant motion in the instantaneously comoving inertial frame. In [14], Equation (47) is extended a system of differential equations which define this so-called generalized Fermi–Walker frame. It is shown in [15], that, in flat spacetime, when A is constant, a motion is uniformly accelerated if and only if it satisfies Equation (47). Thus, Equation (47) provides a complete and covariant description of uniformly accelerated motion. We note that the approach of the authors of [13–15] is equivalent to that of B. Mashhoon [16,17]. Mashhoon works on a manifold, and so his approach is frame-independent, whereas our definition is with respect to a particular inertial frame. On the other hand, Mashhoon’s system of differential equations is coupled, and therefore harder to solve. [15] also contains velocity and acceleration transformations from a uniformly accelerated frame to an inertial frame, as well as the time dilation between clocks in a uniformly accelerated frame. The power series expansion of our time dilation formula contains all of the usual terms, but also an additional term that had only been obtained previously in Schwarzschild spacetime. We applied these results to the case of an accelerated charge and obtained the Lorentz–Abraham–Dirac equation   du = Au − τ0 A2 u − {u, A2 u, u} , dτ (48) where the triple product Equation (26) has been extended to 4D using the Minkowski inner product. The theory extends to curved spacetimes ([18]). Given an arbitrary curved spacetime, there is a system of nonlinear first-order differential equations that extends the geodesic equation, and whose solutions are precisely the uniformly accelerated motions in the given spacetime. This improved a result of [19], whose corresponding equation models only hyperbolic motion. We consider the particular case of radial motion in Schwarzschild spacetime and show that in this situation, there are no bounded orbits. The theory of Special Relativity developed here is local and assumes that physical phenomena can be reduced to pointlike coincidences. However, many phenomena are nonlocal. The measurement of the electromagnetic field, for example, is not instantaneous but usually averaged over a spacetime domain [20,21]. Similarly, the Huygens principle implies that wave phenomena are, in general, not local. The “Hypothesis of Locality,” used to obtain the transformations of [14,15], states that an accelerated observer is at each instant physically equivalent to a hypothetical inertial observer that is otherwise identical and instantaneously comoving with the accelerated observer. As shown in [22], this hypothesis is inconsistent with quantum theory. Thus, it is necessary to develop a nonlocal theory of relativity. One possible approach is to take advantage of the properties of bounded symmetric domains, using the techniques found in [23], for example. We hope to develop a nonlocal theory in the future. Author Contributions: Conceptualization, Y.F. and T.S.; methodology, Y.F. and T.S.; writing—original draft preparation, Y.F. and T.S.; writing—review and editing, Y.F. and T.S.. Funding: This research received no external funding. Acknowledgments: The authors would like to thank the four reviewers for helpful comments and suggestions. Conflicts of Interest: The authors declare no conflicts of interest. References 1. 2. 3. von Ignatowsky, W.A. Einige allgemeine Bemerkungen zum Relativitätsprinzip. Verh. Deutsch. Phys. Ges. 1910, 12, 788–796. Baccetti, V.; Tate, K.; Visser, M. Inertial frames without the relativity principle. J. High Energy Phys. 2012, 119, doi:10.1007/jhep05(2012)119. Takeuchi, S. Relativistic E × B acceleration. Phys. Rev. E 2002, 66, doi:10.1103/PhysRevE.66.037402. Symmetry 2019, 11, 0 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. 22. 23. 16 of 16 Brillouin, L. Relativity Reexamined; Academic Press: New York, NY, USA, 1970. Lévy-Leblond, J. One more derivation of the Lorentz transformation. Am. J. Phys. 1976, 44, 271–277. Michelson, A.; Morley, E. On the Relative Motion of the Earth and the Luminiferous Ether. Am. J. Sci. 1887, 34, 333–345. Friedman, Y. Physical Applications of Homogeneous Balls. In Progress in Mathematical Physics; Birkhauser: Boston, MA, USA, 2004; Volume 40. Jackson, J. Classical Electrodynamics, 3rd ed.; Wiley: New York, NY, USA, 1999; Volume 586–588, pp. 617–618. Landau, L.; Lifshitz, E. The Classical Theory of Fields, 4th ed.; Pergamon Press: Oxford, UK, 1975; pp. 43–65. Mashhoon, B. Conformal Symmetry, Accelerated Observers, and Nonlocality. Symmetry 2019, 11, 978. Dang, T.; Friedman, Y. Classification of JBW ∗ -triple factors and applications. Math. Scand. 1987, 61, 292–330. Friedman, Y.; Semon, M. Relativistic acceleration of charged particles in uniform and mutually perpendicular electric and magnetic fields as viewed in the laboratory frame. Phys. Rev. E 2005, 72, 026603. Friedman, Y.; Scarr, T. Making the Relativistic Dynamics Equation Covariant: Explicit Solutions for Constant Force. Phys. Scr. 2012, 86, 065008. Friedman, Y.; Scarr, T. Spacetime Transformations from a Uniformly Accelerated System. Phys. Scr. 2013, 87, 055004. Friedman, Y.; Scarr, T. Uniform Acceleration in General Relativity. Gen. Rel. Grav. 2015, 47, 121. Mashhoon, B. Limitations of spacetime measurements. Phys. Lett. A 1990 143 176–182. Mashhoon, B. The hypothesis of locality in relativistic physics. Phys. Lett. A 1990, 145, 147–153. Friedman, Y.; Scarr, T. Solutions for Uniform Acceleration in General Relativity. Gen. Rel. Grav. 2016, 48, 65. de la Fuente, D.; Romero, A. Uniformly accelerated motion in General Relativity: Completeness of inextensible trajectories. Gen. Relativ. Gravit. 2015, 47, 33. Bohr, N.; Rosenfeld, L. Zur Frage der Messbarkeit der elektromagnetischen Feldgrössen. R. Dan. Acad. Sci. Lett. J. Math. Phys. 1933, 12, 8. Bohr, N.; Rosenfeld, L. Field and charge measurements in quantum electrodynamics. Phys. Rev. 1950, 78, 794–798. Mashhoon, B. Nonlocal Special Relativity. Ann. Phys. 2008, 17, 705–727. Faraut, J.; Kaneyuki, S.; Korányi, A.; Lu, Q.; Roos, G. Analysis and Geometry on Complex Homogeneous Domains; Birkhauser: Boston, MA, USA, 2000. c 2019 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).