The |r> and |p> representation

Consider the vector space L2x of square integrable functions.  We have earlier identified two orthonormal, continuously labeled bases for L2x,

 ,

and

.

We can generalize to three dimensions. Then the bases are

,

and

.

Let us associate the kets |p0> with and |r0> with , and the ket |y> with the wave function y(r).
Then denotes the components of |y> in the {|p0>} basis and denotes the components of |y> in the {|r0>} basis.

Recall:

For the {|p>} basis we have ,

and for the {|r>} basis we have .

The scalar product of two vectors |y> and |f> can be calculated on the{ |r>} basis and the {|p>} basis.

 

and

.

We use the transformation matrix U to change from the {|r>} basis to the {|p>} basis.

  .

For any change of basis with U we have shown

,

where dk denotes the coordinates in the new basis and ci denotes the coordinates in the old basis.

Therefore

.

  denotes the coordinates of |y> in the {|p>} basis and denotes the coordinates of |y> 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

 ,

which corresponds to

.

The R and P operators

Let X be the operator whose eigenvectors are {|r>}.
Let X|r>=x|r>, with x a real number. 
Let Px be the operator whose eigenvectors are {|p>}. 
Let Px|p>=px|p>, with px a real number. 
Make similar definitions for Y an Z and for Py and Pz.  Let |y> and |f> be arbitrary kets.
Calculate

.

X is Hermitian.  In the {|r>} representation operating with the operator X just amounts to multiplying by the number x.

Similarly:

.

Px is Hermitian.  In the {|p>} representation operating with the operator Px just amounts to multiplying by the number px.

But we may also write

,

since Px is Hermitian.

 is the Fourier transform of y(r).

But what is pxy(p)?

The Fourier transform of is

 .

,

using

We therefore have

.

Therefore

 

since .  We have

.

In the {|r>} representation the operator Px coincides with the differential operator .

Similarly, .

In the {|p>} representation the operator X coincides with the differential operator Image1936a.gif (941 bytes), etc.

The commutator [X,Px]

.

=

for any and any |r>.  Therefore .  We proceed similarly for the y and z components.  We write

.

The operators Ri and Pi do not commute.  A common eigenbasis of Ri and Pi does not exist.