In quantum mechanics, the position operator is the operator that corresponds to the position observable of a particle.
Contents |
Consider, for example, the case of a spinless particle moving on a line. The state space for such a particle is L2(R), the Hilbert space of complex-valued and square-integrable (with respect to the Lebesgue measure) functions on the real line. The position operator, Q, is then defined by
with domain
Since all continuous functions with compact support lie in D(Q), Q is densely defined. Q, being simply multiplication by x, is a self adjoint operator, thus satisfying the requirement of a quantum mechanical observable. Immediately from the definition we can deduce that the spectrum consists of the entire real line and that Q has purely continuous spectrum, therefore no discrete eigenvalues. The three dimensional case is defined analogously. We shall keep the one-dimensional assumption in the following discussion.
The eigensfunction of the position operator, represented in position basis, are dirac delta functions.
To show this, suppose is an eigenstate of the position operator with eigenvalue . We write the eigenvalue equation in position coordinates,
recalling that simply multiplies the function by in position representation. Clearly, must be zero everywhere except at . Since we want a normalized solution,
As with any quantum mechanical observable, in order to discuss measurement, we need to calculate the spectral resolution of Q:
Since Q is just multiplication by x, its spectral resolution is simple. For a Borel subset B of the real line, let denote the indicator function of B. We see that the projection-valued measure ΩQ is given by
i.e. ΩQ is multiplication by the indicator function of B. Therefore, if the system is prepared in state ψ, then the probability of the measured position of the particle being in a Borel set B is
where μ is the Lebesgue measure. After the measurement, the wave function collapses to either
or
, where is the Hilbert space norm on L2(R).
For a particle on a line, the momentum operator P is defined by
usually written in bra-ket notation as:
with appropriate domain. P and Q are unitarily equivalent, with the unitary operator being given explicitly by the Fourier transform. Thus they have the same spectrum. In physical language, P acting on momentum space wave functions is the same as Q acting on position space wave functions (under the image of Fourier transform).
|