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.
One thought on “Spatial gradient of a scalar”