Normalization of the momentum eigenstates:
The appendix in the book states
![]()
momentum eigenstate,
dual or BRA-momentum eigenstates
position eigenstate,
dual or BRA-position eigenstates
=
the position space wavefunction
for a momentum eigenstate
=
the momentum space wavefunction
for a position eigenstate
=
= adjoint or dual rep. space wavefunction
for a BRA-momentum eigenstate.
=
= adjoint or dual rep. space wavefunction
for a BRA-position eigenstate.
So the interpretation depends on whether x or p is
interpreted as the fixed valued or the index in the space. [e.g. fixed value of
p in position space or fixed value of x in momentum space] The relationships show that they are, except
for sign changes in the exponent, the same.
For example
![]()
=
.
The above shows what we mean by the various inner products
and shows that the form of the wavefunction can be
the same but there can be two interpretations.
The normalization given above for the state ensures unitarity. The required condition is then
[appendix
unitarity condition].
Let us look at the units. Since delta functions are
integrated in this case over
or
to get a 1 that is
they must have inverse
units of distance and inverse momentum respectively.
![]()

uncertainty relation: ![]()
The exponential is thus dimensionless and above integral has the correct units of inverse meters.
![]()
![]()
This integral has the correct units or inverse momentum.
If one chooses to use
then the
is removed from the normalization and
needs unit of
to cancel the
and the integral over
obtains the correct units
for
.
|
Thus the
normalization factor |
|
|
In the book there are two approaches that lead to two normalization conditions. One is the periodic boundary condition (box normalization). The other is to normalize so that over an infinite range you find a delta function.

First let us consider the periodic boundary conditions. The
goal is to have the appropriate boundary conditions for a particle in a box
with rigid walls (V=∞) and have states of definite momentum. Schiff
explains the problems associated with confining a particle in terms of the reflections
off of the rigid walls of a finite box. Basically this problem does not conserve
momentum. Twice the balls momentum is absorbed by the wall. Thus the way you
require the ball to act at the boundary can lead to complications when trying
to find momentum eigenstates. However, by assuming periodic boundary
conditions the ball passes through the wall and its entry into a new box in
some sense puts the ball at the opposite side of the original box with momentum
unchanged. If the wave extends to
infinity in both directions then whatever leaves on the left enters on the
right. Within the box one can use these states to build energy eigenstates or any other physical states. These states are truly momentum eigenstates. Of
course, outside the box the solution is no longer zero. Whatever solution you
require in the box is then periodic and the same solution appears in each
periodic box. One just uses these functions to predict the state in the box and
ignores the solution outside. The confined particle problem localizes the
quantum states while in free space the momentum wave functions are smoothly
spread out over an infinite range. Momentum eigenstates
must extend over all space and these periodic states are standard momentum
states but only those that match the BC are used. It is important to realize
that in any confined space momentum cannot be determined to arbitrary precision. We know this from the uncertainty principle.
Putting the particle in a box gives you some knowledge of its location thereby
making it impossible to specify the momentum exactly. So we impose boundary
conditions that are periodic. This allows us to force the wavefunction
to be zero at the walls but still be defined outside the box and therefore be a
legitimate momentum eigenstates. The
limit can be taken as
to approach the free
particle solution.
Problem 4.6 examines these states over a finite interval a [-a/2èa/2] with a focus on the normalization as the range goes to infinity. The detail associated with whether you choose the function to be zero outside the box or periodic is not discussed.
![]()

This shows that the integral of the proposed wave function is properly normalized as the range goes to infinity.
Notice, however, for a finite range that for any arbitrary
values of k and k’ with
and for a finite interval a, the integral is not
zero. If one chooses the k values such that
then these k’s have an integral equal to 0 and are orthogonal.
It is also interesting to note that for a particle in a box the energy can have eigenvalues and it appears to be made up of eigenstates of right and left going momentum but the state
Choose range a=10
and plot an example. The plot shows a cosine function or the real part of the
state above. The plot emphasizes that wavefunctions go to zero outside the box.

Are these momentum eigenstates? From the above discussion the answer is
clearly no. Also note that at the boundary the derivative of the function is
discontinuous. Thus the momentum operator in position space
is not defined at this point.
A second approach is to examine the states normalized over an infinite range
![]()
the normalization leads to a delta function.
Using this state as a representation of a momentum eigenstate wrt the position basis we find:



|
I verify that the limit is a delta function via some handwaving arguments in deltafunction.doc which is included in the box below. |
|
In the homework examining particle in a box solutions as There are two approaches:
which
shows that the functions in the limit are orthonormal
in the traditional sense. As
which based on the mathematics of
delta functions is a proper definition for this function. The properties of this function point a) is
straightforward L’hopitale’s rule allows one to
find the limit as
|
So the question becomes how are the two methods of normalization equivalent?

To clarify this relationship I have added a subscript to the
momentum label in the first set of states.
This is because the limit as
will require a transition
of the momentum eigenvalues from discrete to
continuous.

The integral is over a finite range and again only values of
p allowed are
.

There should be no problem representing a continuous function of x over a finite region by using a Fourier series. If the region becomes infinite the sum become an integral or Fourier transform. So we have not made the transition to continuous momentum but the original problem encompasses continuous x.
It may be necessary to consider in more detail the relationship between a sum and an integral.
![]()
You sum a series of numbers
. For example, you can imagine these
are individual water
molecule volumes. You sum up the volumes of all of the water molecules to reach
the volume of a glass of water. However the size of each molecule is so small
that you make the approximation that the water is a continuous medium and you
represent the volume V as
One defines the density and sums all the contributions from all molecules which you treat as continuous and replace it as an integral.
In order to consider how a sum becomes an integral we imagine a volume V broken into J subvolumes
and the total volume is the sum

Now as ![]()

What we are considering is twofold.
The problem is a bit more complicated for the plane wave
states because we transition to the continuum by taking the limit
.
When the sums in the above relationships go over to integrals the variable of interest is the momentum and not the index n. We need to replace the index with the momentum in keeping track of the sum.

The change
is going to zero because ![]()

We keep the subscript on p to remind us that this is still a
valid summation but we need the nth momentum and coefficient A for the nth
momentum state. This is just the infinite sum of numbers times a differential
element. Clearly the number
which represents the contribution or amount of the state with
momentum
could be consider as the amount per unit step. Whether you treat this as a number or a
density doesn’t effect the sum. The
in the sum implies
that we treat the
as the amount per step in the sum. With
the distinction is
irrelevant but it clarifies that the number per step goes over to the number
per momentum region
.


All of the discussion
leads to a factor of
which now makes the
limit

The initial expression is defined and evaluated based on a
series of momenta and as a get larger and larger the amount of particle at each location
gets smaller and smaller. The state is
spread out until the amount at any location is zero. The second state is obtained by transitioning
from ![]()
. The amplitude
at each location x is discrete however when you express this an amplitude per unit dp
which itself is small the density function remains finite. The product of the
differential and the amplitude
approaches 0.

In the limit the above equality holds.
Care will always be required in dealing with the idealization of a state that has a singular location or momentum. Consider calculating

The first approach tells you that the amplitude is very small where as the second approach defines a factor that seems to imply a finite amount at each value of x. This is an incorrect interpretation.
To get real physical content one might need to build a wave packet that combines a range of momenta. This state can be built so that it possesses mathematical behavior.
For discrete states
![]()
This conditions will allow one to pick out the jth state via the inner product. Thus the state

has a sensible interpretation in terms of normalized basis vectors.
For continuous states
![]()
the normalization condition
requires the states to have a value of
when you choose a specific state. The usual normalization for states compared
to continuous states are
|
standard states |
continuous |
|
|
|
The requirement for the delta function is that when you take
the specific state and examine its normalization it must be
.

So in order to include the orthonormality for basis states one implements a delta function that requires an infinite normalization. The infinity is required in order to pick out the state in a weighted sum.
![]()
This discussion is repetitive and
circular. It describes how in the limit of large a for the box normalization of
. One conclusion is
that this normalization seems to go to zero goes to
. This conclusion is
reached when the approach to zero is absorbed in the differential dp. Thus mathematically one can see the step size
is getting smaller as a gets larger
but the density amplitude/length or probability/length remains finite and leads
to an infinite value for the states normalization (required by the delta
function definition). So there is not
really a different value for the normalization when taking the limit of the
periodic states (periodic boundary condition for plane wave states). The mathematical complexity is then better
viewed in terms of the need to define a workable value for
when momentum is
continuous. Thus the definition
is the central
mathematical piece and the normalization from the periodic states just reaches
this result. If this is the required
condition then an integral over a state of definite momentum will yield a
finite result for a finite ranged integral.
Thus the normal probability density
remains finite. The integral therefore over all x will be infinite and the amount of the state at any
location in z appears to be non-zero.
This contradicts our understanding that spreading of a state over all
space will make it have a amplitude that approaches
zero for any finite volume.
These contradictory results are only truly resolved when the actual states used are a convolution of the idealized plane wave states. Restricting your states to a finite region by weighting some regions of position or momentum space with zero amplitude eliminates the singularity. Thus normal traditional amplitudes and probability densities are present in the physical systems that do not extend to the ends of the universe. The wavelike relationship between position and momentum or frequency and time has introduced the basic conundrum that a tuning fork must play for an infinite amount of time in order to play a singular frequency.