My submission for PHY356 (Quantum Mechanics I) Problem Set I.
Posted by peeterjoot on November 11, 2010
Assume that and are the x-direction position and momentum operators. Show that . Find using the above definitions. What is the physical meaning of this expression?
Avoiding Dirac notation.
We can get a rough idea where we are going by temporarily avoiding the Dirac notation that complicates things. To do so, consider the commutator action on an arbitrary wave function
Since this is true for all we can make the identification
Having evaluated the commutator, the matrix element is simple to compute. It is
This braket has a delta function action, so this matrix element reduces to
This could perhaps be considered the end of the problem (barring the physical meaning interpretation requirement to come). However, given that the Dirac notation that is so central to the lecture notes and course text, it seems like cheating to avoid it. It seems reasonable to follow this up with the same procedure utilizing the trickier Dirac notation, and this will be done next. If nothing else, this should provide some experience with what sort of manipulations are allowed.
Using Dirac notation.
Intuition says that we need to consider the action of the commutator within a matrix element of the form
Observe above that with the introduction of an identity operation, such an expression also includes the matrix element to be evaluated in the second part of this problem. Because of this, if we can show that , then as a side effect we will also have shown that the matrix element , as well as demonstrated the commutator relation .
Proceeding with a reduction of the right most integral in 1.3 above, we have
The convolution with the delta function leaves us with only functions of , allowing all the derivatives to be evaluated. In the manipulations above the wave function could be brought into the braket since it is just a (complex) scalar. What was a bit sneaky, is the restriction of the action of the operator to , and , but not to . That was a key step in the reduction since it allows all the resulting terms to be brought out of the braket, leaving the delta function.
What is a good justification for not allowing to act on the ket? A pragmatic one is that the desired result would not have been obtained otherwise. After the fact I also see that this is consistent with , which states (without citation) that is an abuse of notation since the operator should be viewed as operating on projections (ie: wave functions).
Another point to follow up on later is the justification for the order of operations. If the derivatives had been evaluated first before the evaluation at , then we’d have nothing left due to the . Perhaps a good answer for that is that the zero times delta function is not well behaved. One has to eliminate the delta function first to see if the magnitudes of the zero of that we would have from a pre-evaluated is “more zero”, than the infinity of the delta function at . This procedure still screams out ad-hoc, and the only real resolution is likely in the framework of distribution theory.
Anyways, assuming the correctness of all the manipulations above, let’s return to the problem. We refer back to 1.3 and see that we now have
Since this is true for all , and , we must have as desired.
Also referring back to 1.3 we can write
Taking differences we have for all
which we utilize to produce the identification
This completes all the non-interpretation parts of this problem.
The physical meaning of this expression.
The remaining part of this question ties the mathematics to some reality.
One nice description of a general matrix element can be found in , where the author states “We see that the “matrix element” of an operator with respect to a continuous basis is nothing but the kernel of the integral transform that represents the action of that operator in the given basis.”
While that characterizes this sort of continuous matrix element nicely, it does not provide any physical meaning, so we have to look further.
The most immediate observation that we can make of this matrix element is not one that assigns physical meaning, but instead points out a non-physical characteristic. Note that in the LHS when this is an expectation value for the commutator. Because this expectation “value” is purely imaginary (an scaled delta function, with the delta function presumed to be a positive real infinity), we are able to note that this position momentum commutator operator cannot itself represent an observable. It must also be non-Hermitian as a consequence, and that is easy enough to verify directly. Perhaps it would be more interesting to ask the question what the meaning of the matrix element of the Hermitian operator is? That operator (an scaled identity) would at least represent an observable.
How about asking the question of what physical meaning we have for a general commutator, before considering the matrix element of such a commutator. Given two operators , and representing observables, a non-zero commutator of these operators means that simultaneous precise measurement of the two observables is not possible. This property can also be thought of as a meaning for the matrix element of such a commutator. For the position momentum commutator, this matrix element would also be zero if simultaneous measurement of the operators was possible.
Because this matrix element of this commutator is non-zero (despite the fact that the delta function is zero almost everywhere) we know that a measurement of position will disturb the momentum of the particle, and conversely, a measurement of momentum will disturb the position. An illustration of this is in the slit diffraction experiment. Narrowing an initial wide slot to “measure” the position of the photon or electron passing through the slit slit more accurately, has an effect of increasing the scattering range of the particle (ie: reducing the uncertainty in the position measurement imparts momentum in the scattering plane).
The state of a one-dimensional system is given by . Does this system obey the position-momentum uncertainty relation? Explain your answer.
Yes, the system obeys the position-momentum uncertainty relation. Note that in long form the uncertainty relation takes the following form:
Each of these expectation values is with respect to some specific state
so one could write this out in still longer form:
This inequality holds for all states that the system could be observed in. This includes the state of this problem, associated with a specific observation of the system.
I completely misunderstood problem 2, and got only on it. What he was looking for was that if is a position eigenstate in a continuous vector space, then one cannot form the expectation with respect to this state, let alone the variance. For example with respect to this state we have
We cannot evaluate this delta function, since it blows up at zero. The implication would be that we have complete uncertainty of position in the one dimensional continuous vector space with respect to this state. Despite bombing on the question, it is a nice one, since it points out some of the implicit assumptions for the uncertainty relation. We can only say that the uncertainty relation applies with respect to normalizable states. That said, is it a fair question? I think the original question was fairly vague, and I would not consider the question well posed.
 Wikipedia. Bra-ket notation — wikipedia, the free encyclopedia [online]. 2010. [Online; accessed 5-October-2010]. http://en.wikipedia.org/w/index.php?title=Bra-ket_notation&oldid=388772%534.
 unknown. The mathematical formalism of quantum mechanics [online]. 2007. [Online; accessed 4-Oct-2010]. http://bohr.physics.berkeley.edu/classes/221/0708/notes/hilbert.pdf.