Understanding Momentum Eigenfunctions in Quantum Mechanics

In summary, the conversation was about an introductory essay on quantum mechanics and a specific wave function given in the essay. There was a discussion about whether this wave function was a linear combination of energy or momentum eigenfunctions, and the conclusion was that it was a linear combination of energy eigenfunctions. The conversation also touched on the concept of global behavior in quantum mechanics and the relationship between potential energy and kinetic energy in a particle in a box situation.
  • #36
of course, i completely agree, sweet springs. in a non-zero potential, momentum eigenstates don't have definite energy. i was first talking specifically about the case of zero potential, in order to address the difference between a sinusoidal wave function and a momentum eigenstate, in concrete terms.

and yes, for a square potential well, many (infinite) more than two momentum components are required to represent the actual wave function, because it goes to zero outside the well. this is true. i should have focused that comment on standing waves in general, rather than on the energy states of the square well.
 
Last edited:
Physics news on Phys.org
  • #37
snoopies622 said:
So you're saying that a simple sine wave like

[tex] \psi (x) = sin (kx) = sin ( \frac { \sqrt {2mE} } {\hbar} x ) [/tex]

that goes on forever in both directions - that is, is not bounded at two x values like the ones in the examples - is not an energy eigenfunction?

Edit: Perhaps I should have made

[tex] \psi (x) = e ^ {ikx} = e ^{ i( \frac { \sqrt {2mE} } {\hbar} x )} [/tex]

Yeah those are eigenfunctions of the "free particle" hamiltonian (where V = 0 everywhere), but not of the infinite square well hamiltonian.
 
  • #38
Since V(x)=0 inside the well, all this time I've been using

[tex]

- \frac { \hbar ^2} {2m} \frac {\partial ^2 }{ \partial x ^2 }

[/tex]

as the energy operator instead of

[tex]

- \frac { \hbar ^2} {2m} \frac {\partial ^2 }{ \partial x ^2 } + V (x)

\vspace {5 mm}. [/tex]
 
  • #39
sweet springs said:
In order to avoid misunderstanding it would be helpful to write wave function of energy eigenstate in the infinite square well potential system as ψ (x) = sin (kx) Θ(x) = 1/2i e^ikx Θ(x) - 1/2i e^-ikx Θ(x) where support Θ(x)=1 within the well region, 0 for outside.
sin (kx) Θ(x), not sin (kx), is energy eigenfunction.
e^ikx, not e^ikxΘ(x), is momentum eigenfunction.

Regards.

That's a good way of putting it.
 
  • #40
Hi, snoopies622
snoopies622 said:
Since V(x)=0 inside the well,
How about wave function outside the well? Does it keep to be a sinusoidal wave?
Regards.
 
  • #41
No, ψ (x) = 0 outside the well.
 
  • #42
sweet springs said:
No, it is not an energy eigenfunction of infinite depth square well potential. Why such an idea is haunting on you?

I understand now, sweet springs. Ψ(x) can be defined in a piecewise manner to solve the Schrodinger equation using the piecewise-defined potential, and this yields energy values, not momentum values. Thank you for all of your efforts.

Here's a follow-up question for you, and it's been at the root of all my confusion in this particle-in-a-box matter. Since inside the box there isn't a one-to-one (or two-to-one) relation between momentum states and energy states, isn't it odd that the method I described in entry #18 for finding the discrete energy values works? It assumes discrete momentum values, then squares them and divides by 2m.
 
  • #43
The nth stationary state is:

[tex]
\psi_{n}(x) = \left\{\begin{array}{cl}
\sqrt{\frac{2}{L}} \, \sin\left(\frac{n \pi x}{L}\right) &, \ 0 \le x \le L \\

0 &, x < 0 \vee x > L
\end{array}\right., \ n = 1, 2, \ldots
[/tex]

The momentum eigenfuniction is:

[tex]
\phi_{p}(x) = \frac{1}{(2 \pi \hbar)^{1/2}} \, e^{\frac{i \, p \, x }{\hbar}}, \ -\infty < x < \infty
[/tex]

These momentum eigenfunctions (plane waves) form a complete orthonormal basis of functions and we can expand any function in them. Let us expand the nth stationary state from above. The expansion is actually an integral and the coefficient is a function of the continuous parameter p:

[tex]
a(p) = \int_{-\infty}^{\infty}{\phi^{\ast}_{p}(x) \, \psi_{n}(x) \, dx}
[/tex]

[tex]
a(p) = \frac{1}{(2 \pi \, \hbar)^{1/2}} \, \left(\frac{2}{L}\right)^{1/2} \, \frac{1}{2 i} \left[ \int_{0}^{L}{\exp(i (\frac{n \pi}{L} - \frac{p}{\hbar}) \, x) \, dx} - \int_{0}^{L}{\exp(-i (\frac{n \pi}{L} + \frac{p}{\hbar}) \, x) \, dx}\right]
[/tex]

[tex]
a(p) = \frac{1}{2 i} \left( \frac{1}{\pi \hbar L} \right)^{1/2} \left[\frac{1}{i (\frac{n \pi}{L} - \frac{p}{\hbar})} - \frac{1}{-i (\frac{n \pi}{L} + \frac{p}{\hbar})}\right] \, ((-1)^{n} exp(-i \frac{p \, L}{\hbar}) - 1)
[/tex]

[tex]
a(p) = \frac{n \, \pi}{L} \left(\frac{1}{\pi \, \hbar \, L} \right)^{1/2} \, \frac{1 - (-1)^{n} \exp(-i \, \frac{p \, L}{\hbar})}{(\frac{n \, \pi}{L})^{2} - (\frac{p}{\hbar})^{2}}
[/tex]

The square of the absolute value of these complex numbers gives the probability density for dfifferent values of p. The only complex number is the expression in the numerator. We evaluate its square absolute value as:
[tex]
\begin{array}{l}
\left| 1 - (-1)^{n} \exp(-i \, \frac{p \, L}{\hbar}) \right|^{2} = \left( 1 - (-1)^{n} \exp(-i \, \frac{p \, L}{\hbar})\right) \left( 1 - (-1)^{n} \exp(i \, \frac{p \, L}{\hbar})\right) \\

=1 - (-1)^{n} \exp(-i \, \frac{p \, L}{\hbar}) - (-1)^{n} \exp(i \, \frac{p \, L}{\hbar}) + 1 \\

= 2 \left[ 1- (-1)^{n} \, \cos\left(\frac{p \, L}{\hbar}\right)\right]
\end{array}
[/tex]

[tex]
|a(p)|^{2} = \frac{\frac{n^{2} \, \pi}{\hbar \, L{3}}}{\left(\frac{\pi}{L}\right)^{4}} \, \frac{2 \left[ 1- (-1)^{n} \, \cos\left(\frac{p \, L}{\hbar}\right)\right]}{\left[n^{2} - \left(\frac{p \, L}{\hbar \pi}\right)^{2}\right]^{2}}
[/tex]

[tex]
|a(p)|^{2} = \frac{L}{\hbar \, \pi} \, \frac{2 \left(\frac{n}{\pi}\right)^{2} \, \left[1 - (-1)^{n} \, \cos\left( \pi \, \frac{p \, L}{\hbar \, \pi}\right) \right]}{\left[n^{2} - \left(\frac{p \, L}{\hbar \pi}\right)^{2}\right]^{2}}
[/tex]

The denominator has double zeros for:

[tex]
\tilde{p} \equiv \frac{p \, L}{\hbar \, \pi} = \pm n
[/tex]

These values correspond to the values for momentum that give "standing De Broglie's waves" with nodes at the walls of the potential well. However, the numerator is also zero for these values and the limit 0/0 can be evaluated by using the L'Hospital's Rule:

[tex]
|a(\tilde{p}_{n})|^{2} = \frac{1}{4} \, \frac{L}{\hbar \, \pi}
[/tex]

The plot of this probability distribution is given on the graph below (for n = 1, 2, 3):
attachment.php?attachmentid=26589&stc=1&d=1277133490.png


As you can see, the distribution has a non-zero, but finite probability density any other (continuous) value for [itex]\tilde{p}[/itex] as well.
 

Attachments

  • pdist.png
    pdist.png
    4.9 KB · Views: 639
Last edited:
  • #44
Hey thanks, Dickfore! I had no idea how to calculate those coefficients.
 
  • #45
Hi, snoopies622.
snoopies622 said:
It assumes discrete momentum values, then squares them and divides by 2m.
To adjust discrete wavelength according to the size of well or box should not be regarded as momentum fitting. de Broglie relation h'/λ=p applies to waves of infinite length, not to waves of finite length or wave train. In order to know what momentum wave train has, we have to decompose it to momentum eigenstates by Fourier transform. However even wave train, square of h'/λ gives energy multiplied by 2m in the well where V=0.
Regards.
 
Last edited:
  • #46
Dickfore said:
The momentum eigenfunction is:

[tex]
\phi_{p}(x) = \frac{1}{(2 \pi \hbar)^{1/2}} \, e^{\frac{i \, p \, x }{\hbar}}, \ -\infty < x < \infty
[/tex]

These momentum eigenfunctions (plane waves) form a complete orthonormal basis of functions and we can expand any function in them.

I have a couple questions about this:

1. Why are these vectors not dimensionless? (or are you using a system of units such that Planck's constant is just a number?)

2. What does it mean to say that they are orthonormal? I understand what "orthonormal" means when it refers to a finite-dimensional vector space like [itex] \bold {R}^3 [/itex], and I understand how these vectors are "ortho" at least in the sense that are linearly independent. But what about the "normal" part? Is there a sense in which a sine wave can have unit length?

Thanks.
 
  • #47
snoopies622 said:
1. Why are these vectors not dimensionless? (or are you using a system of units such that Planck's constant is just a number?)

2. What does it mean to say that they are orthonormal? I understand what "orthonormal" means when it refers to a finite-dimensional vector space like [itex] \bold {R}^3 [/itex], and I understand how these vectors are "ortho" at least in the sense that are linearly independent. But what about the "normal" part? Is there a sense in which a sine wave can have unit length?

Eigenfunctions are never dimensionless. In accordance with the probabilistic interpretation of
the wave function, when a particle is in a state described by the wave function [itex]\Phi(\mathbf{r})[/itex], then [itex]|\Phi(\mathbf{r})|^{2} \, d^{d}r[/itex] is the probability of finding the particle in the infinitesimal volume [itex]dV = d^{d}r[/itex] (d is the dimensionality of space) around the point with position vector [itex]\mathbf{r}[/itex]. SInce probabilities are dimensionless quantities, from here it immediately follows that the dimension of the wavefunction is:

[tex]
[\Phi]^{2} \, \mathrm{L}^{d} = 1 \Rightarrow [\Phi] = \mathrm{L}^{-\frac{d}{2}}
[/tex]

Since the total probability of finding the particle somewhere in space must be one, the wave functions ought to be normalized:

[tex]
\int{|\Phi(\mathbf{r})|^{2} \, d^{d}r} = 1
[/tex]

Orthonormal is a shorthand amalgamation of two terms coined by lazy physicists :) It stands for orthogonal and normalized.

For observables with continuous spectra (such as momentum), one has to be careful what is meant by "normalization", since the eigenfunctions are not square-integrable. When we say the momemtnum eigenfunctions are orthonormal, we mean they satisfy the following identity:

[tex]
\int{\psi^{\ast}_{\mathbf{p}}(\mathbf{r}) \, \psi_{\mathbf{p}'}(\mathbf{r}) \, d^{d}r} = \delta^{(d)}(\mathbf{p} - \mathbf{p}')
[/tex]

where

[tex]
\delta^{(d)}(\mathbf{p} - \mathbf{p}') = \prod_{i = 1}^{d} {\delta(p_{i} - p'_{i})}
[/tex]

is the d-dimensional Dirac delta-function, with [itex]\delta(p_{i} - p'_{i})[/itex] being the continuum generalization of the Kronecker delta [itex]\delta_{m, n}[/itex]. A Dirac delta-function has the following fundamental property:

[tex]
\int_{-\infty}^{\infty}{f(x') \, \delta(x -x') \, dx'} = f(x)
[/tex]

as a direct generalization of the discrete case:

[tex]
\sum_{m = -\infty}^{\infty}{f_{m} \, \delta_{n, m}} = f_{n}
[/tex]

(the index [itex]n[/itex] goes to the continuous label [itex]x[/itex], a sequence [itex]f_{n}[/itex] goes to a function [itex]f(x)[/itex] and summation over [itex]m[/itex] goes to integration over [itex]x'[/itex]:

[tex]
\begin{array}{rcl}
n & \rightarrow & x \\

f_{n} & \rightarrow & f(x) \\

\sum_{m = -\infty}^{\infty}{(\ldots)_{m}} & \rightarrow & \int_{-\infty}^{\infty}{dx' \, (\ldots)(x')}
\end{array}
[/tex]

From the fundamental property of the delta function, one can specficially see that its dimension is the reciprocal of that of its variable x:

[tex]
[\delta(x)] = [x]^{-1}
[/tex]

Specifically, for [itex][\delta^{(d)}(\mathbf{p} - \mathbf{p}')] = [\delta(p)]^{d} = [p]^{-d}[/itex], and, from the orthonormality condition of the momentum eigenfunctions from above, we get:

[tex]
[\psi_{\mathbf{p}}(\mathbf{r})]^{2} \, \mathrm{L}^{d} = [p]^{-d} \Rightarrow

[\psi_{\mathbf{p}}(\mathbf{r})] = ([p] \, \mathrm{L})^{-\frac{d}{2}}
[/tex]

Using the fact that:

[tex]
[p] \, \mathrm{L} = \mathrm{M} \, \mathrm{L}^{2} \, \mathrm{T}^{-1} = [\hbar]
[/tex]

we see that:

[tex]
[\psi_{\mathbf{p}}(\mathbf{r})] = [\hbar]^{-\frac{d}{2}}
[/tex]

and the above formula for the momentum eigenfunctions is dimensionally correct (d = 1 there). The factor of [itex]2 \pi[/itex] comes from the formulas:

[tex]
\int_{-\infty}^{\infty}{e^{i \, k \, x} dx} = 2\pi \, \delta(k)
[/tex]

[tex]
\delta(a \, k) = \frac{1}{|a|} \, \delta(k)
[/tex]
 
  • #48
Thanks again, Dickfore. I'm going to have to look into Fourier transforms a little more.
 
  • #49
Dickfore said:
When we say the momentum eigenfunctions are orthonormal, we mean they satisfy the following identity:

[tex]
\int{\psi^{\ast}_{\mathbf{p}}(\mathbf{r}) \, \psi_{\mathbf{p}'}(\mathbf{r}) \, d^{d}r} = \delta^{(d)}(\mathbf{p} - \mathbf{p}')
[/tex]

I take it then that

[tex]

\int ^ {\infty} _ {-\infty} sin (x) dx = 0 \hspace {5 mm} ?

[/tex]

(And likewise for cosine.)
 
  • #50
snoopies622 said:
I take it then that

[tex]

\int ^ {\infty} _ {-\infty} sin (x) dx = 0 \hspace {5 mm} ?

[/tex]

(And likewise for cosine.)

Strictly speaking, these intergrals are not defined in the sense of Riemann integrable. However, if you consider the Gaussian integral:

[tex]
\int_{-\infty}^{\infty}{\exp\left[i \beta x - \frac{a x^{2}}{2}\right] \, dx} = \sqrt{\frac{2 \pi}{a}} \, \exp\left(-\frac{\beta^{2}}{2 a}\right), \ a > 0
[/tex]

and is well behaved for the stated values of [itex]a[/itex].

Furthermore, taking [itex]a \rightarrow 0^{+}[/itex] recovers an integrand on the left hand side whose real and imaginary parts give the integrals you are interested in. However, the right hand side does not have a limit. You need the definition of Dirac delta-function through limits to express it:

[tex]
\delta(x) = \lim_{\lambda \rightarrow 0}{\frac{1}{\sqrt{2 \pi} \lambda} \, e^{-\frac{x^{2}}{2 \lambda^{2}}}}
[/tex]

Taking [itex]\lambda = \sqrt{a}[/itex], we see that the right hand side of the above integral tends to:

[tex]
2\pi \, \delta(\beta), \ a \rightarrow 0^{+}
[/tex]

So, we can write:

[tex]
\int_{-\infty}^{\infty}{e^{i \beta x} \, dx} = 2\pi \, \delta(\beta)
[/tex]

Taking the real and imaginary part of this equality, we have:

[tex]
\begin{array}{l}
\int_{-\infty}^{\infty}{\sin(\beta x) \, dx} = 0 \\

\int_{-\infty}^{\infty}{\cos(\beta x) \, dx} = 2\pi \, \delta(\beta)
\end{array}
[/tex]

Taking [itex]\beta = 1[/itex], you get that even the cosine integral is zero (the sine is an integral of an odd function on a symmetric interval, so it should always be zero).
 
  • #51
Wow, thanks Dickfore. Good stuff.
 

Similar threads

Back
Top