I was asked by a student to clarify the issues surrounding an exercise in the famous book Gravitation written by Misner, Thorne and Wheeler (MTW). The exercise appears as follows in Chapter 2, Section 5:
The student found a discussion about this problem in Physics Stack Exchange but remained confused as the exercise and the surrounding issues were not dealt with clearly enough in the posts there. I could not find anything else about this online so I tried to clarify the situation a bit more myself. I want to record my thoughts about this in the present note. (The reader should try to solve Exercise 2.1 above for himself/herself at this point, before continuing to read my discussion below).
The key point of this section is that Equation (2.14), the defining equation of 1-forms, can be shown to be physically valid (as well as being a just a mathematical definition) using de Broglie waves in quantum mechanics. The notation in MTW is not ideal, so we will replace the notation for a 1-form evaluated at a vector by the notation . What MTW are then saying is that given any vector we can define a corresponding 1-form as
which is to be viewed as a function waiting for a vector input (to be placed in the empty space on the right-hand side of the angle brackets). When the vector input is supplied, the 1-form will then yield the number
In Exercise 2.1 we are asked to verify the validity of this equation using the de Broglie wave
The phase is the angular argument which specifies the position of the wave from some starting point. The phase is parameterised by the wave vector which is such that where is the wavelength, and by the angular frequency where is the frequency of the relevant oscillator.
It is a well known fact (and it is easy to verify) that given any real-valued function of a vector , the gradient vector is orthogonal to the level surfaces of . In the case of the phase of a de Broglie wave we have
so the wave vector is the (position) gradient vector of the phase and therefore must be orthogonal to loci of constant phase.
In the case of circular waves, for example, these loci of constant phase are circles with centre at the source of the waves and the wave vectors point radially outwards at right angles to them, as indicated in the diagram.
To get a diagrammatic understanding of the relationship between 1-forms and vectors, we can imagine focusing on a very small neighbourhood around some point located among these loci of constant phase. On this very small scale, the loci of constant phase will look flat rather than circular, but the wave vectors will still be orthogonal to them. What we do is interpret this local pattern of (flat) surfaces of constant phase as the 1-form . This 1-form corresponding to the wave vector is
and as before we interpret this as a function waiting for a vector input. When it receives a vector input, say , it will output a number computed as the scalar product of and . Thus we can write
As indicated in the diagram, the vector which we supply to will be at an angle to the wave vector . If the vector is parallel to the loci of constant phase then because and will be orthogonal. In the language of 1-forms, this would be interpreted by saying that the vector will not pierce the 1-form because it will not cross any of the loci of constant phase. Conversely, if the vector is parallel to the wave vector (orthogonal to the loci of constant phase), we would say that will pierce the 1-form as much as possible, because it will cross as many loci of constant phase as it possibly can. Between these extremes we will get intermediate values of the 1-form . The key idea, then, is that the set of loci of constant phase in the neighbourhood of a point is the diagrammatic representation of the 1-form . When we feed a vector into this 1-form we get a measure of how many loci of constant phase the vector pierces. This is the language being used by MTW in the prelude to Exercise 2.1 above.
To actually solve Exercise 2.1, begin by recalling from quantum mechanics that a photon’s momentum is such that where is the photonic energy and is the frequency of the oscillator. Since where is the photon’s wavelength, we have so the magnitude of the photon’s momentum is
and in fact
Note that therefore
Famously, de Broglie’s idea in his 1924 PhD thesis was that this wavelength formula applies not just to photons but also to massive particles such as electrons, for which the momentum would be calculated as
where is the mass of the particle and is its four-velocity in Minkowski spacetime. Note that this four-velocity is such that (easily demonstrated using the metric of Minkowski spacetime).
Thus we have
In the prelude to Exercise 2.1, MTW say
…relabel the surfaces of by , thereby obtaining the momentum 1-form . Pierce this 1-form with any vector , and find the result that .
Following the authors’ instructions, we relabel the surfaces of (i.e., the loci of constant phase) by multiplying by to get the 1-form
As usual, this 1-form is a linear function waiting for a vector input. Supplying the input we then get
But this is exactly what we get when we work out since
Thus, we have solved Exercise 2.1 by showing that is in accord with the quantum mechanical properties of de Broglie waves, as claimed by MTW.