The momentum operator acts on a position ket or bar is tricky.
I added and to emphasize the tricky point, where or can be an operator, a ket, a bar, or a variable. We can see, after the first quantization, the position bar or ket is always waiting for something and the derivative is differentiate the whole thing, not only the bar or ket. Miss use will result incorrect result. for example, the non-commute property of the position and the momentum operator,
If you use it wrongly, you may have something like
The translation operator.
In many text book, the translation operator is stated as
where is momentum operator or the generator of displacement.
Actually, there is a reason, notice that the translation operator is unitary operator,
then , since any unitary operator can be written as
where is a Hermitian operator.
But what is ? since is Hermitian, it has eigen ket and eigenvalue,
The, we can check
we set a wave function
Then, we can have a derivative of the wave function
the solution is , which is a plane wave with momentum q. Therefore, the operator is the momentum operator, and it is really a generator a translation on the wave function . To find the form of the momentum operator acting on position bar,
another mathematical way to do is, using Taylor series,
compare with the exponential, than
The time propagation and angle rotation can also do in the same way. The rotation around z-axis is trivial, but a general rotation is not so easy in detail, but the idea can be generalized that the rotation generator is .
Why the general translation operator is in exponential form? because it is a unitary operator. Why it is unitary? because it is symmetric that translate back and forth result no change. In general, if we have a quantity that can be “translate” and the translation is symmetry, than, the generator must take the same exponential form.
It is interesting that, the translation generator is a differential of the position , here is a position of a general coordinate. When I started QM, I always feel insecure that change of position like this way, because classically, the change of a position means it moves in time, and there is no time in the . However, look at the rotation generator. The same derivation (between the *****) is applicable on the rotation about z-axis that replace the , azimuth angle. Then, at the end, we will recognize the generator , which is an angular momentum operator on the z-axis, and classically in the sense that the is known in EM in spherical coordinate (the wave equation). The key point is that the rotation on z-axis takes the form !
There is still some things need to clarify, like the time translation operator is unitary, but the time-reversal operator is anti-unitary. Also, the detail of the general rotation operator . we know that the general rotation operator is a matrix form, How?