Last time we discussed the “spatial gradient” or “3-gradient”, and here we follow up with two examples. Recall from before that a scalar field has gradient
, and the part of this which is orthogonal to an observer 4-velocity
is, as a vector:
This direction has the greatest increase of , for any vector in
’s 3-space (that is, orthogonal to
), per length of the vector.
As an example, suppose the 4-gradient vector is a null, future-pointing vector. It can be decomposed
, where
, and
is a unit spatial vector orthogonal to
. Physically, this gradient may be interpreted as a null wave or photon, which the observer determines to have energy (or related quantity, such as frequency)
, and to move in the spatial direction
. The 3-gradient vector is
, hence the direction of relative velocity also has the steepest increase of
, within the observer’s 3-space.
Suppose now is a unit, timelike, future-pointing vector, so that we may interpret it as the 4-velocity
of a second observer. Then
, where
is the Lorentz factor between the pair. But we also have the “relative velocity” decomposition
, where
is the relative velocity of
as determined in
’s frame, as I discussed previously. Combining these,
. Hence within the observer’s 3-space,
again increases most sharply in the direction of the relative velocity.
![timelike 1-form](http://cmaclaurin.com/cosmos/wp-content/uploads/2021/05/timelikeform.png)
![Rendered by QuickLaTeX.com \mathbf u](http://cmaclaurin.com/cosmos/wp-content/ql-cache/quicklatex.com-dc981bef0213d898e9035f62d69afa39_l3.png)
![Rendered by QuickLaTeX.com d\Phi \equiv \mathbf v^\flat](http://cmaclaurin.com/cosmos/wp-content/ql-cache/quicklatex.com-aef7e8ad3e79984c0c2ce40e0f44d8dd_l3.png)
![Rendered by QuickLaTeX.com \mathbf v](http://cmaclaurin.com/cosmos/wp-content/ql-cache/quicklatex.com-867620da2e560868039a94aa01a573db_l3.png)
The figure shows the single tangent space — think of this as the linearisation of what is happening locally over the manifold itself. The hyperplanes are numbered by , where only the differences between them are relevant, as an overall constant was not specified. Observe
crosses four of them, spanning an interval
, so
is the negative of
’s proper time; see a previous post for more background. In both our examples, the scalar decreases towards the future (or can vanish in the null case), even though the gradient vectors are future-pointing. That is, the gradient vectors actually point “down” the slope! This quirk is due to our −+++ metric signature, and would apply to spacelike gradients if +−−− were used instead. This really hurt my brain, until I drew the diagram. 🙁
To construct it, consider the action of on the axes. The horizontal axis is the relative velocity direction, with unit vector
. One can show
. Also
, but I find it easier to think of:
. These give the number of hyperplanes crossed by the unit axes vectors, then you can literally “connect the dots” since the 1-form is linear. In the figure
, so
. (As for the 3-gradient, it vanishes in the
direction, hence
must cross no contours of
. It would be drawn as vertical lines, with corresponding vector pointing to the right.)
Most of our discussion applies to arbitrary 1-forms, not just gradients which are termed exact 1-forms. I derived the work here independently, but the literature contains some similar material. It turns out Jantzen, Carini & Bini 1992 §2 explicitly define the “spatial gradient”, as they most appropriately call it. A few textbooks discuss scalar waves, for which the 3-gradient vector is the wave 3-vector, which is orthogonal to the wavefronts within a given frame, as discussed shortly.