Suppose you have a scalar field , and at a given point in spacetime: a 4-velocity vector interpreted as an “observer”. In which direction does increase most steeply, when restricted to the observer’s local 3-dimensional space?
Last time I reviewed the gradient 1-form or covector , and its associated gradient vector obtained by raising the index as usual. The gradient vector has been described as the direction of greatest increase in per unit length (Schutz 2009 §3.3). However this is only guaranteed when the metric is positive definite, meaning a Riemannian manifold, rather than a Lorentzian manifold as used to model spacetime.
The observer’s 4-velocity splits vectors and 1-forms into purely “time” parts parallel to , and purely “space” parts orthogonal to it. (Intuitively, it may help to think of a basis adapted to the observer, meaning , and the vectors are orthogonal to , where . Then a purely spatial vector is spanned by the . Since vectors and covectors are linear, we need only specify their values on a basis set.)
Consider the tangent space at the specified point. Imagine working within the observer’s local 3-space, by which I mean the 3-dimensional subspace consisting of vectors orthogonal to . Label the gradient as restricted to this subspace by . On the subspace the metric has Riemannian signature, hence the corresponding vector is the direction of steepest increase. We can mimic this mathematically by staying in 4 dimensions, but setting the “time” part to zero:
This is a 4-dimensional object, but I reuse the notation “” to imply it vanishes in the observer’s time direction. This “3-gradient” is the projection of orthogonal to . The angle brackets signify contraction of the 1-form and vector, and the “flat” symbol denotes the 1-form obtained from by “lowering the index” using the metric. The vector 3-gradient is:
This follows from “raising the index” using the inverse metric as usual. Note that on the subspace, the inverse metric coincides with the inverse 3-metric which has components , for . Equivalently, one can apply the spatial projector to either or , with the same result. This projector agrees with the inverse metric on the 3-space, and is zero on purely timelike covectors. Either way, the essential part of the process is to remove the “time” component of the gradient. I will give examples in the following post.