Basics of Tensor Calculus & General Relativity|A Digression into Special Relativity

So far in this series I have given the definitions of vectors, scalars, tensors, and manifolds. As a result, much of this series has been mostly mathematics and not necessarily physics. To that end, the purpose of this post is to develop the salient points of special relativity. Namely, the intention of this post is to cover the following:

  1. Definition of Inertial Reference Frames: Standard Configuration and Einstein’s Postulates.
  2. Development of the Lorentz Transformation Matrix
  3. Discussion of the Newtonian geometry of spacetime
  4. Discussion of the Minkowski geometry of spacetime (i.e. no curvature)
  5. Finally I will show that the quantity \delta s^{2} is invariant with respect to Lorentz transformations. This is a pretty standard problem in most GR textbooks and in fact in some introductory books on SR.

This post is meant as a “quick recap” of the main features of SR and is by no means comprehensive. For more of the finer details, consult the following resources

  1. Hobson, M.P., Efstathiou G., and Lasenby, A.N., General Relativity: An Introduction for Physicists. 2009. Cambridge University Press.  The reference text for this series.
  2. Misner, Wheeler, & Thorne’s Gravitation. Princeton University Press. 1975. This is probably one of the most comprehensive texts on relativity. It is the book to have if you really want to understand relativity. However, if you prefer a concise writing style, then this book will not be for you (very verbose, but very interesting to read).
  3. Collier P., A Most Incomprehensible Thing: Notes towards a *very* gentle introduction to mathematics of relativity. 2014. This book is ideal to introduce the foreboding topics of relativity, tensor calculus, and differential geometry.  This book takes the reader through a quick primer of the mathematics required to understand the latter topics; from basic equations to multivariable calculus.


Featured Image: Image Credit: Harold White. **I understand that the derived metric describing the contraction and expansion in front and behind of the craft may be inaccurate. I just thought that this would be an interesting concept to think about**

The featured image of this post shows what spacetime would be like if an engine would look like if it were to be created. One of the most well-known ideas in modern physics is that there exists a cosmic speed limit, the speed of light in a vacuum, c = 2.99\times 10^{8} ms^{-1}. This engine would allow the persons on board to get around this rule by moving spacetime around the craft, instead of themselves moving. The aft portion would contract the spacetime in front of the craft and the stern section expands the spacetime behind, resulting in something that resembles the image above.

However, such an engine requires an exotic form of matter. Something that is able to be synthesized theoretically yet would be practically insurmountable in cost. For those of you who are interested for more details, the paper that derives the required metrics can be found at:

https://arxiv.org/abs/gr-qc/0009013



Defining an Inertial Reference Frame: 

I. Inertial Frames:

Consider a reference frame S. Such a frame is termed an inertial frame if Newton’s first law holds. As an example, suppose I am on a train moving at a constant velocity with respect to an observer. If I were place a ball on the floor of the train-car that I am in, the ball would remain at rest unless I impress a force on it. Therefore, the train-car is an inertial reference frame. As an example of a frame that would not be inertial, let’s say that I was on a roundabout. If I were to place the ball on the platform while the roundabout is rotating, the ball would move outwards. Since Newton’s first law is invalid in this reference frame, it is termed a non-inertial reference frame. In other words, an inertial reference frame exists in the absence of boosts (or accelerations).

II. Standard Configuration:

Let S and S^{\prime} be two inertial reference frames in which S^{\prime} is moving at a constant velocity with respect to S. The figure below is what is meant by “standard configuration”:

LorentzTransformation01

Fig.1 Standard Configuration. Frames S and S^{\prime} are in standard configuration. The two frames are such that their origins O and O^{\prime} (not shown above) are coincident at t = t^{\prime} = 0. Image Credit: http://ffden-2.phys.uaf.edu/212_fall2003.web.dir/eddie_trochim/Lorentztransform.htm

III. Einstein’s Postulates:

There are two ideas that Einstein assumed when developing his theory of special relativity: the principle of relativity and the constancy of the speed of light. The first of which states that the laws of physics are the same in all inertial reference frames. In a more technical sense, dimensions perpendicular to the direction of motion of a given inertial frame remain unchanged. To be more precise, if we have the two frames S and S^{\prime} in standard configuration, one of which we shall assume to be moving with constant velocity in the +x direction, then the dimensions y and z remain unchanged under a coordinate transformation.

The other postulate that Einstein put forth was that the speed at which light propagates in a vacuum is invariant. Contrary to Newton, Einstein said that the speed of light remained the same and it was space and time that changed. I will talk more about this when I talk about the Newtonian and Minkowski geometries.



Development of the Lorentz Transformation Matrix:

Consider two inertial frames S and S^{\prime} in standard configuration. Suppose there exists an event P which we define using the coordinates x^{\mu} in frame S. Suppose we wish to determine the coordinates of this event in terms of coordinates x^{\prime\mu} in S^{\prime}. Then we may relate the coordinates of the two frames via the following system

\displaystyle x^{\prime 0}=\Lambda_{00}x^{0}+\Lambda_{01}x^{1}+\Lambda_{02}x^{2}+\Lambda_{03}x^{3},

\displaystyle x^{\prime 1}= \Lambda_{10}x^{0}+\Lambda_{11}x^{1}+\Lambda_{12}x^{2}+\Lambda_{13}x^{3},

\displaystyle x^{\prime 2}= \Lambda_{20}x^{0}+\Lambda_{21}x^{1}+\Lambda_{22}x^{2}+\Lambda_{23}x^{3},

\displaystyle x^{\prime 3}=\Lambda_{30}x^{0}+\Lambda_{31}x^{1}+\Lambda_{32}x^{2}+\Lambda_{33}x^{3}, (1)

where x^{0}= t, x^{1} = x, x^{2} = y, x^{3} = z. We can write this more succinctly as

\displaystyle x^{\prime \mu}=\sum_{\mu}\Lambda_{\mu\nu}x^{\mu} (2),

or as

\displaystyle x^{\prime \mu}=\Lambda_{\mu\nu}x^{\mu} (3),

where we have made use of the Einstein summation convention in which it is implied that we sum over repeated indices. The term \Lambda_{\mu\nu} corresponds to the coefficient matrix that can be constructed from Eqs.(1) and is given by

\displaystyle \Lambda_{\mu\nu}= \begin{pmatrix} \Lambda_{00} & \Lambda_{01} & \Lambda_{02} & \Lambda_{03} \\ \Lambda_{10} & \Lambda_{11} & \Lambda_{12} & \Lambda_{13} \\ \Lambda_{20} & \Lambda_{21} & \Lambda_{22} & \Lambda_{23}\\ \Lambda_{30} & \Lambda_{31} & \Lambda_{32}& \Lambda_{33} \\ \end{pmatrix}. (4)

This is the Lorentz transformation matrix. We may also write x^{\prime\mu} and x^{\mu} as column vectors and write the matrix equation Eq.(3).



Discussion of the Newtonian Geometry of Spacetime:

NOTE: In this section, and in the next section, I will be stating the transformation equations. I will not be deriving them since I believe that this exercise is more enlightening when accomplished independently.

In 1687, at the recommendation of astronomer Edmond Halley, Newton published the first edition of the Principia. In those three volumes, Newton set forth the laws of Nature regarding motion, gravitation, and his independent discovery of calculus (a debated topic that I will not be talking about; however I do acknowledge the tremendous contributions that Leibniz made to the development of modern-day calculus). In the Newtonian realm, space and time are regarded as absolute. As a result, such an absolution requires that the velocity with which an object travels be subject to change. To relate this to relativity, consider the following example:

Suppose my buddy and I (because we were bored and we love physics) decide to measure how long it takes a train car to travel the length of the platform of the train station. Suppose further that I am observing from the platform and my buddy observes from the train. Once the train begins to move we both signal to each other to start our observations. According to Newton, because time and space are absolute, both my buddy and I record the same time. Suppose my reference frame is S and my buddy’s reference frame is S^{\prime}. The event that I measure can be transformed into my buddy’s reference frame via

\displaystyle t^{\prime}= t,

\displaystyle x^{\prime}=x-vt,

\displaystyle y^{\prime}=y,

\displaystyle z^{\prime}=z. (4)

These equations constitute the Galilean transformation equations wherein the second equation corresponds to our everyday experience of motion. The time equation here tells us that time remains invariant under such a transformation. The quantities \delta t and \delta r^{2} comprise the Newtonian geometry of spacetime. The latter of which is what is known as a metric. A metric in this context corresponds to a distance of sorts between two events P and P^{\prime}. As an example, in Cartesian coordinates the metric is given by,

\displaystyle ds^{2}=dx^{2}-dy^{2}-dz^{2}. (5)

We may represent a metric in other coordinate systems as well. A future post will discuss in detail metrics and the metric tensor g_{\mu\nu}.



Discussion of the Minkowski Geometry of Spacetime: 

The Newtonian geometry of space and time, namely the assumptions of absolute space and absolute time, stood as the prevailing theory for quite some time. That is, until Einstein came along. Einstein’s interpretation of space and time came from taking Maxwell’s equations and deriving the following equations

\displaystyle \mu_{0}\epsilon_{0}\frac{\partial^{2}E}{\partial t^{2}}= \nabla^{2}E, (6)

\displaystyle \mu_{0}\epsilon_{0}\frac{\partial^{2}B}{\partial t^{2}}= \nabla^{2}B. (7)

These are the electromagnetic wave equations in which the wave speed is of the form

\displaystyle c=\frac{1}{\sqrt[]{\mu_{0}\epsilon_{0}}}, (8)

the speed of light in a vacuum. Einstein saw the speed of light within Maxwell’s equations and postulated that the speed of light is the speed beyond which no object can travel. It was on this and the postulate of relativity that Einstein based his theory of special relativity. At the heart of it all, one can derive (from Eqs.(1)) the Lorentz transformation equations

\displaystyle ct^{\prime}= \gamma (ct-\alpha x), (9.1)

\displaystyle x^{\prime}=\gamma(x-\alpha ct), (9.2)

\displaystyle y^{\prime}=y, (9.3)

\displaystyle z^{\prime}=z. (9.4)

In these equations, \alpha \equiv v^{2}/c^{2} and \gamma \equiv 1/\sqrt[]{1-\alpha} is called the Lorentz factor. If we graph this quantity as a function of \alpha we get the following figure (link to a document, I couldn’t find a way to upload an excel graph): lorentz factor graph_2. This term represents a relativistic correction of sorts in the above equations.

Upon comparison of the two types of transformation equations (i.e. the Galilean and Lorentz equations) one sees that in the former space and time can be shown to be two entirely different constructs. While the latter shows that space and time must be considered as a unified entity. The problem below shows that (see below) that the interval

\displaystyle \delta s^{2}= c^{2}\delta t^{2}- \delta x^{2}- \delta y^{2} - \delta z^{2}, (10)

remains invariant under a Lorentz transformation. In this case, the metric tensor g_{\mu\nu} has the form

\displaystyle  g_{\mu\nu}= \begin{pmatrix} c^{2} & 0 & 0 & 0 \\ 0 & -1 & 0 & 0 \\ 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & -1  \end{pmatrix}, (11)

From this it follows that the interval may be written as

\displaystyle ds^{2}=g_{\mu\nu}dx^{\mu}dx^{\nu}. (12)

I will discuss this further in a future post. Since the components of the metric tensor are of this form, we may refer to this space as Minkowskian or flat space.



Problems on Invariance under Transformations: \delta s^{2}

A typical problem that is covered in most relativity texts is to show that the interval remains invariant under a Lorentz transformation. The following is my solution to the problem. I highly encourage working through the problem on your own before seeking guidance and furthermore, I strongly recommend that you complete the problem prior to reading my solution.

Let us consider the interval

\displaystyle \delta s^{\prime 2}=c^{\prime 2}\delta t^{\prime 2}-\delta x^{\prime 2}-\delta y^{\prime 2}-\delta z^{\prime 2}, (13)

where I am assuming standard configuration of inertial frames and transforming from the S^{\prime} frame. Let us rewrite this as

\displaystyle \delta s^{\prime 2}=(c\delta t^{\prime})^{2}-\delta x^{\prime 2}, (14)

where the last two components (the y and z components) remain the same automatically by the principle of relativity and hence vanish from the equation. Applying a Lorentz transformation, we get

\displaystyle \delta s^{\prime 2}= [\gamma(ct_{B}-\alpha x_{B})-\gamma(ct_{A}-\alpha x_{A})]^{2}-[\gamma(x_{B}-\alpha c t_{B})-\gamma(x_{A}-\alpha c t_{A}]^{2}. (15)

After some algebra, we end up with

\displaystyle \delta s^{\prime 2}=\gamma^{2}c^{2}\delta t^{2}(1-\alpha)^{-1/2}-\gamma^{2} \delta x^{2}(-\alpha^{2}+1)^{-1/2}-\gamma^{2}\delta x^{2}+2\gamma^{2}\alpha c \delta x \delta t.

In the algebraic steps implied here, we end up with space and time terms as measured in the unprimed inertial frame S. Furthermore, we form the differences in the x-spatial direction and time between the two events so as to form an interval in S. We can simplify this further to give the final interval equation

\displaystyle \delta s^{\prime 2}= c^{2}\delta t^{2}-\delta x^{2}-\delta y^{2}-\delta z^{2} = \delta s^{2}. (16)

Hence we see that the interval remains invariant under a Lorentz transformation. Minkowski was the one who noticed first that the Lorentz transformation equations show that space and time cannot be considered separately. This idea of spacetime as a four-dimensional entity (manifold, really) with no curvature is referred to as Minkowskian spacetime. It is also known mathematically as being pseudo-Euclidean.



Most of this post was my own understanding of special relativity augmented by the references listed above. The problem solved in the final section was obtained from [1]. I have not covered topics such as relativistic kinetic energy, time dilation, relativistic addition of velocities, relativistic momentum, length contraction, and the twin paradox. Depending on how this post does, I may work on a follow-up post on these topics. As mentioned above, I will be posting something about the metric tensor and more on interval equations using index notation. I am unsure as to when that will be up, but I will do my best to find time. If there are any errors or if my reasoning does not hold up anywhere, leave a comment and let me know and I’ll correct it.

Clear Skies!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s