5.4 Relatively Straight 

There’s some end at last for the man who follows a path; mere rambling is interminable. 
Seneca, 60 AD 

The principle of relativity, as expressed in Newton's first law of motion (and carried over essentially unchanged into Einstein's special theory of relativity) is based on the idea of uniform motion in a straight line. However, the terms "uniform motion" and "straight line" are not as easy to define as one might think. Historically, it was usually just assumed that such things exist, and that we know them when we see them. Admittedly there were attempts to describe these concepts, but mainly in somewhat vague and often circular ways. For example, Euclid tells us that "a line is breadthless length", and "a straight line is a line which lies evenly with the points on itself". The precise literal interpretation of these statements can be debated, but they seem to have been modeled on an earlier definition given by Plato, who said a straight line is "that of which the middle covers the ends". This in turn may have been based on Parmenides' saying that "straight is whatever has its middle directly between the ends". 

Each of these definitions relies on some preexisting of idea straightness to give meaning to such terms as "lying evenly" or "directly between", so they are immediately selfreferential. Other early attempts to define straightness invoked visual alignment, on the presumption that light travels in a straight line. Of course, we could simply define straightness to be congruence with a path of light, but such an empirical definition would obviously preclude asking whether, in fact, light necessarily travels in straight lines as defined in some more abstract sense. Not surprisingly, thinkers like Plato and Euclid, who wished to keep geometry and mechanics strictly separate, preferred a purely abstract a priori definition of straightness, without appealing (explicitly) to any physical phenomena. Unfortunately, their attempts to provide meaningful conceptual definition were not particularly successful. 

Aristotle noted that among all possible lines connecting two given points, the straight line is the one with the shortest length, and Archimedes suggested that this property could be taken as the definition of a straight line. This at least has the merit of relating two potentially distinct concepts, straightness and length, and even gives us a way of quantifying which of two lines (i.e., curves) connecting two points is "straighter", simply by comparing their lengths, without explicitly invoking the straightness of anything else. Furthermore, this definition can be applied in a more general context, such as on the surface of the Earth, where the straightest (shortest) path between two points is an arc of a great circle, which is typically not congruent to a visual line of sight. We saw in Chapter 3.5 that Hero based his explanation of optical reflection on the hypothesis that light travels along the shortest possible path. This is a nice example of how an a priori conceptual definition of straightness led to a nontrivial physical theory about the behavior of light, which obviously would have been precluded if there had been no conception of straightness other than that it corresponds to the paths of light. 

We've also seen how Fermat refined this principle of straightness to involve the variable of time, related to spatial distances by what he intuited was an invariant characteristic speed of light. Similarly the principle of least action, popularized by Maupertius and Euler, represented the application of stationary paths in various phase spaces (i.e., the abstract space whose coordinates are the free variables describing the state of a system), but for actual geometrical space (and time) the old Euclidean concept of extrinsic straightness continued to predominate, both in mathematics and in physics. Even in the special theory of relativity Einstein relied on the intuitive Euclidean concept of straightness, although he was dissatisfied with this approach, and believed that the true principle of relativity should be based on the more profound Archimedian concept of straight lines as paths with extremal lengths. In a sense, this could be regarded as relativizing the concept of straightness, i.e., rather than seeking absolute extrinsic straightness, we focus instead on relative straightness of neighboring paths, and declare the extremum of the available paths to be "straight", or rather "as straight as possible". 

In addition, Einstein was motivated by the classical idea of Copernicus that we should not regard our own particular frame of reference (or any other frame of reference) as special or preferred for the laws of physics. It ought to be possible to express the laws of physics in such a way that they apply to any system of coordinates, regardless of their state of motion. The special theory succeeds in this for all uniformly moving systems of coordinates (although with the epistemological shortcoming noted above), but Einstein sought a more general theory of relativity encompassing coordinate systems in any state of motion and avoiding the circular definition of straightness. 

We've noted that Archimedes suggested defining a straight line as the shortest path between two points, but how can we determine which of the infinitely many paths from any given point to another is the shortest? Let us imagine any arbitrary path through threedimensional space from the point P_{1} at (x_{1},y_{1},z_{1}) to the point P_{2} at (x_{2},y_{2},z_{2}). We can completely describe this path by assigning a smooth monotonic parameter l to the points of the path, such that l=0 at P_{1} and l=1 at P_{2}, and then specifying the values of x(l), y(l), and z(l) as functions of l. The total length S of the path can be found from the functions x(l), y(l), and z(l) by integrating the differential distances all along the path as follows 

_{} 

Now suppose we let d_{x}(l), d_{y}(l), and d_{z}(l) denote three arbitrary functions of l, representing some deviation from the nominal path, and consider the resulting "disturbed path" described by the functions 

X(l,m) = x(l) + md_{x}(l) Y(l,m) = y(l) + md_{y}(l) Z(l,m) = z(l) + md_{z}(l) 

where m is a parameter that we can vary to apply different fractions of the disturbance. For any fixed value of the parameter m the distance along the path from P_{1} to P_{2} is given by 

_{} 

Our objective is to find functions x(l), y(l), z(l) such that for any arbitrary disturbance vector d, the value of S(m) is minimized at m = 0. Those functions will then describe the “straightest” path from P_{1} to P_{2}. 

To find the minimal value of S(m) we differentiate with respect to m. It's legitimate to perform this differentiation inside the integral, so (omitting the indications of functional dependencies) we can write 

_{} 

We can evaluate the derivatives with respect to l based on the definitions of X,Y,Z as follows 

_{} 

Therefore, the derivatives of these with respect to m are simply 

_{} 

Substituting these expressions into the previous equation gives 

_{} 

We want this quantity to equal zero when m equals 0. Of course, in that case we have X=x, Y=y, and Z=z, so we make these substitutions and then require that the above integral vanish. Thus, letting dots denote differentiation with respect to l, we have 

_{} 

Using "integration by parts" we can evaluate this integral, term by term. For example, considering just the x component in the numerator, we can use the "parts" variables 

_{} 

and then the usual formula for integration by parts gives 

_{} 

The first term on the righthand side automatically vanishes, because by definition the disturbance components d_{x},d_{y},d_{z} are all zero at the endpoints of the path. Applying the same technique to the other components, we arrive at the following expression for the overall integral which we wish to set to zero 

_{} 

The coefficients of the three terms in the integrand are the disturbance functions d_{x}, d_{y}, d_{z}, which are allowed to take on any arbitrary values in between l = 0 and l = 1. Regardless of the values of these three disturbance components, we require the integral to vanish. This is a very strong requirement, and can only be met by setting each of the three derivatives in parentheses to zero, i.e., it requires 

_{} 

This implies that the arguments of these three derivatives do not change as a function of the path parameter, so they have constant values all along the path. Thus we have 

_{} 

The numerators of these expressions can be regarded as the x, y, and z components, respectively, of the "rate" of motion (per l) along the path, whereas the denominators represent the total magnitude of the motion. Thus, these conditions tell us that the components of motion along the path are in a constant ratio to each other, which means that the direction of motion is constant, i.e., a straight line. So, to reach from P_{1} to P_{2}, the constants must be given by C_{x} = (x_{2}  x_{1})/D, C_{y} = (y_{2}  y_{1})/D, and C_{z} = (z_{2}  z_{1})/D, where D is the total distance given by D^{2} = (x_{2 } x_{1})^{2} + (y_{2 } y_{1})^{2} + (z_{2 } z_{1})^{2}. Given an initial trajectory, the entire path is determined by the assumption that it proceeds from point to point always by the shortest possible route. 

So far we have focused on finding the geodesic paths in ordinary Euclidean threedimensional space, and found that they correspond to our usual notion of straight lines. However, in a space with a different metric, the shapes of geodesic paths can be more complicated. To determine the general equations for geodesic paths, let us first formalize the preceding "variational" technique. In general, suppose we wish to determine a function x(l) from l_{1} to l_{2} such that the integral of some function F(l,x,_{}) along that path is stationary. (As before, dots signify derivatives with respect to l.) We again define an arbitrary disturbance d_{x}(x) and the disturbed function X(l,m) = x(l) + md_{x}(l), where m is a parameter that determined how much of the disturbance is to be applied. We wish to make stationary the integral 

_{} 

This is done by differentiating S with respect to the parameter m as follows 

_{} 

Substituting for dX/dm and _{}/dm gives 

_{} 

We want to set this quantity to zero when m = 0, which implies X = x, so we require 

_{} 

The integral of the second term in parentheses (integration by parts) as 

_{} 

The first term on the righthand side is identically zero (since the disturbance is defined to be zero at the end points), so we can substitute the second term back into the preceding equation and factor out the disturbance d_{x}(l) to give 

_{} 

Again, since this equations must be satisfied for every possible (smooth) disturbance function d_{x}(l), it requires that the quantity in parentheses vanish identically, so we arrive at the Euler equation 

_{} 

which is the basis for solving a wide variety of problems in the calculus of variations. 

The application of Euler's equation that most interests us is in finding the general equation of the straightest possible path in an arbitrary smooth manifold with a defined metric. In this case the function whose integral we wish to make stationary is the absolute spacetime interval, defined by the metric equation 

_{} 

where, as usual, summation is implied over repeated indices. Multiplying the right side by (dl/dl)^{2} and taking the square root of both sides gives the differential "distance" ds along a path parameterized by l. Integrating along the path from l_{1} and l_{2} gives the distance to be made stationary 

_{} 

For each individual coordinate x^{s} this can be treated as a variational problem with the function 

_{} 

where again dots signify differentiation with respect to l. (Incidentally, the metric need not be positivedefinite, since we can always choose our sign convention so that the squared intervals in question are positive, provided we never integrate along a path for which the squared interval changes sign, which would represent changing from timelike to spacelike, or vice versa, in relativity.) Therefore, we can apply Euler's equation to immediately give the equations of geodesic paths on the surface with the specified metric 

_{} 

For an ndimensional space this represents n equations, one for each of the coordinates x^{1}, x^{2}, ..., x^{n}. Letting w = (ds/dl)^{2} = F^{2} = _{} this can be written as 

_{} 

To simplify these equations, let us put the parameter l equal to the integrated path length s, so that we have w = 1 and dw/dl = 0. The rightmost term drops out, and we're left with 

_{} 

Notice that even though w equals a constant 1 in these circumstances and the total derivative vanishes, the partial derivatives do not necessarily vanish. Indeed, if we substitute for _{} into this equation we get 

_{} 

Evaluating the derivative in the lefthand term and dividing through by 2, this gives 

_{} 

At this point it's conventional to make use of the identity 

_{} 

(where we have simply swapped the a and b indices) to represent the middle term of the preceding equation as half the sum of these two expressions. This enables us to write the geodesic equations in the form 

_{} 

where the symbol [ab,s] is defined as 

_{} 

These are called connection coefficients, also known as Christoffel symbols of the first kind. Finally, if we multiply through by the contravariant metric g^{sn}, we have 

_{} 

where 
_{} 

are known as Christoffel symbols of the second kind. 

As an example, consider the simple twodimensional surface h = ax^{2} + bxy + cy^{2} discussed in Chapter 5.3. Using the metric tensor, its inverse, and partial derivatives we can now directly compute the Christoffel symbols, from which we can give explicit parametric equations for the geodesic paths on our surface: 

_{} 

If we scale and rotate the coordinates so that the surface height has the form h = xy/R, the geodesic equations reduce to 

_{} 

_{} 

These equations show that if either dx/ds or dy/ds equals zero, the second derivatives of x and y with respect to s must be zero, so lines of constant x and lines of constant y are geodesics (as expected, since these are straight lines in space). Of course, given an initial trajectory that is not parallel to either the x or y axis the resulting geodesic path on this surface will be curved, and can be explicitly computed from the above formulas. 
