We are going to develop the mathematical framework of vectors in (Minkowski) spacetime. Vectors are familiar oriented lines in 3d calculus courses. However, mathematically are a more general abstract entity: you can add, substract and multiply vectors by some number. We will focus here on the 4D world of usual SR, but the discussion can be generalized to any other D-dimensional spacetime. I have included a picture of a vector OQ above these lines. It is a nice object, isn’t it?
First of all, remark that the conventional kinematical variables to describe the motion in classical mechanics are the displacement vector (or the position vector), and its first and second “derivatives” with respect to time. These magnitudes are called velocity (its magnitude is the speed or modulus of the velocity) and acceleration (in 3d):
In Classical (nonrelativistic) Mechanics, you learn that velocity and acceleration are enough (in general) to fully describe the dynamics and motion of objects. Velocity can be thought as the rate of change of the displacement vector in a tiny amount of time. Acceleration is similarly the rate of change of the velocity vector in some small time interval. You can studied motion con those three vectors, and the notion of “force” is introduced since Newton times as the object that can change the state of “rest” or “uniform” motion (with constant velocity) of any material body. Indeed, Newton’s fundamental law of Dynamics ( it is also called Newton second law) says that the total force (also a vector additive quantity) IS the rate of change of the linear “momentum” vector with respect to time,
where the momentum is simply defined as the vector
and is the so called “inertial mass” a measure of the inertia of bodies saying how hard to change its velocity is. Larger the mass is, larger the force necessary to change its velocity is. The total foce is denoted as a sum
May the Force be with you! In the case that the mass is constant ( the most general case in Mechanics), Newton second law can also be written as:
The squared length of vectors is defined as the scalar (dot) product:
You can also define some interesting differential operators (some king of “gadgets” making “other” stuff form some stuff when they act on vectors somehow):
OK, that is a good crash course on elementary Dynamics and vectors. Back to the future! Back to relativity! You can extend this formalism into the spacetime with care, since we do know time is not an invariant any more in relativistic Physics. Fortunately, we saw that there is an invariant quantity in special relativity: the proper time ! We remember the important result:
So, we proceed to the spacetime generalization of the previous stuff. Firstly, events in spacetime are given by:
The “spacetime length” is got using the following dot product
so we have the so called contravariant components
and the covariant components
The spacetime interval bewtween two arbitrary events, e.g., A and B, will be:
The squared spacetime “length” separation (an invariant) between those two events is:
You can also write the last two equations in a differential ( or infinitesimal) way:
The spacetime velocity will be then:
We now use the trick based on the chain rule of differential calculus:
So, we get
The spacetime velocity has a nice property:
The spacetime momentum that we will call momenergy ( the reasons will be seen later) is defined as:
The momenergy components are given by
In the same way that time is the “fourth” coordinate in the spacetime, we can identify the zeroth component of the spacetime momentum, , as the total relativistic energy in the following way:
where the relativistic mass is defined as
Define the relativistic (spacelike) momentum as
Now we can understand why the spacetime momentum was called momenergy, since it can be rewritten as:
We can make an invariant from the squared momenergy:
We can use this result to write the most general relation between energy, momentum and mass in SR:
Then, we have
Setting units with c=1, we get
Wonderful! Momenergy allows us to unify the concepts of mass, momentum and energy in a 4D spacetime world!
What else? We can also calculate the spacetime acceleration, but it is a bit more complicated. Indeed, we need an auxiliary result from calculus:
Now, we proceed to the calculations:
and with the same trick we saw before
We can also calculate the proper acceleration invariant, i.e., the squared of the spacetime acceleration:
We can calculate some important particular cases of the last equation. If the acceleration is linear, , the last equation provides:
i.e. linear accelerations have proper acceleration . In the case of circular motions, where , we get proper acceleration . Thus, the centripetal proper acceleration, e.g. in a storage ring, is .
Finally, we calculate the so-called Power-Force vector, sometimes it is also referred as Minkowski force:
It is called Power-Force due to the dimensions of physical magnitudes there
Recall the previously studied spacetime and momenergy vectors. Here, it is often defined the transversal mass as (mass-like coefficient for force perpendicular to the motion) and also the so-called longitudinal mass (mass-like term for the force parallel to the direction of motion).
Moreover, we could obtain the acceleration from the force in the following way:
We observe that Newton’s secon law is not generally valid in SR, since
. However, we can “generalize” the Newton’s second law to be covariantly valid in SR in this neat form:
The non-trivial expression for the spacetime acceleration and the mathematical consistency of the theory do the rest of the work for us.
Finally, we can make some nice invariant operator as well. We define the spacetime generalization of nabla as follows:
The spacetime analogue of the laplacian operator is sometimes called D’Alembertian (or “wave” operator):
or equivalently, in a short hand notation
Remark: Some books and authors define the D’Alembertian as . While that notation is indeed valid/possible, and despite it can safe time sometimes, it is obviously a tricky and non-intuitive, somewhat unlucky, notation. We warn you about it, and we highly recommend transparent and powerful notations like the one introduced here, keeping in mind the physical concepts behind all this framework.
Remark(II): The mathematical framework using vectors in spacetime can be easily generalized to spacetime with an arbitrary number of dimensions, e.g., , where is the number of space-like dimensions or, even we could consider , where we have an arbitrary number (or ) of space-like coordinates and an arbitrary number (or ) of time-like coordinates. However, it is not so easy to handle with these generalizations by different reasons (both mathematical and physical). A useful quantity in that case is the spacetime “signature”, defined as the the difference between the number of space-like and time-like dimensions, that is,
The easiest ( the most studied so far) case with a higher dimensional spacetime is that of signature , the SR case, or its most natural generalization with signature .