Consider the vector space L2x of square integrable functions.
We
have earlier identified two orthonormal, continuously labeled bases for L2x,
{vp(x) = (2πħ)-1/2 exp(ipx/ħ)},
with Ψ(x) = ∫
Ψ(p) vp(x) dp
= (2πħ)-1/2∫-∞∞
Ψ(p) exp(ipx/ħ) dp,
and
{δxo =
δ(x - x0)} with
Ψ(x) = ∫-∞∞
Ψ(x0) δ(x - x0) dx0.
We can generalize to three dimensions. Then the bases are
{vp(r) = (2πħ)-3/2 exp(ip∙r/ħ)}
with Ψ(r) = ∫
Ψ(p) vp(r) d3p
= (2πħ)-3/2∫-∞∞
Ψ(p)
exp(ip∙r/ħ) d3p,
and
{δro =
δ(r - r0)} with
Ψ(r) = ∫-∞∞
Ψ(r0) δ(r - r0) dx0.
Let us associate the kets |p0> with
vp0(r) and |r0> with
δro, and the ket |Ψ> with the
wave function Ψ(r).
Then Ψ(p)
= <p0|Ψ> denotes the components of |Ψ> in the {|p0>} basis and
Ψ(r) = <r0|Ψ> denotes the components
of |Ψ> in the {|r0>}
basis.
Recall:
For the {|p>} basis we have <p|p'> = δ(p -
p'), ∫
d3p |p><p| = I,
and for the {|r>} basis we have <r|r'> = δ(r -
r'), ∫
d3r |r><r| = I.
The scalar product of two vectors |Ψ> and |Φ> can be calculated in the {|r>} basis and
the {|p>} basis.
<Φ|Ψ> = ∫
d3r <Φ|r><r|Ψ> = ∫
d3r Φ*(r)Ψ(r)
and
<Φ|Ψ> = ∫
d3p <Φ|p><p|Ψ> = ∫
d3p
Φ*(p)Ψ(p)
We use the transformation matrix U to change from the {|r>}
basis to the {|p>} basis.
Ur,p = <r|p> = vp(r) = (2πħ)-3/2 exp(ip∙r/ħ).
For any change of basis with U we have shown
di = ∑jU†ijaj,
where di denotes the coordinates in the new basis and aj
denotes the coordinates in the old basis.
Therefore
Ψ(p)
= ∫d3r (2πħ)-3/2 exp(-ip∙r/ħ) Ψ(r)
= ∫
d3r Ur,p* Ψ(r).
Ψ(p) denotes
the coordinates of |Ψ> in the {|p>}
basis and Ψ(r) denotes
the coordinates of |Ψ> in the {|r>}
basis. If we denote the matrix elements of the operator A, <r|A|r>,
by A(r,r) and the matrix elements <p|A|p> by A(p,p) then
A(p,p’) = (2πħ)-3∫d3r∫d3r' exp(-i(p
- p')∙r/ħ)A(r,r’),
which corresponds to Ωi'j' (new basis) = (U†ΩU)ij
(old basis).
But what is pxΨ(p)?
The Fourier transform of ∂Ψ(r)/∂x is
(2πħ)-3/2∫-∞+∞∂Ψ(r)/∂x
exp(-ip∙r/ħ) d3r
= (2πħ)-3/2∫∫dy dz exp(-i(pyy + pzz)/ħ )∫dx
exp(-ipxx/ħ)∂Ψ(x,y,z)/∂x.
In the {|r>} representation the operator Px
coincides with the differential operator (ħ/i)∂/∂x.
Similarly, Py --> (ħ/i)∂/∂y, Pz --> (ħ/i)∂/∂z,
P --> (ħ/i)∇.
In the {|p>} representation the operator X coincides with the
differential operator (-ħ/i)∂/∂px, etc.