Propagator for a free particle / schrodinger equation

http://img18.imageshack.us/img18/4295/eqn.png [Broken]

here is the text preceding the exercise:

http://yfrog.com/5mch5p

in the exercise, where does the factor $$\frac{m}{(2mE)^{1/2}}$$ come from? Comparing that equation with 5.19 (bottom right of link), why can't we just replace |p> with |E,+> and |E,->?

if I start from scratch:

$$| \psi \rangle = \sum_{\alpha=\pm} \int_0^{\infty}\! |E,\alpha\rangle\langle E,\alpha|\psi \rangle \,\,dE$$

do $$\left( i \hbar \frac{\partial}{\partial t} - H \right)$$ to both sides:

$$\left( i \hbar \frac{\partial}{\partial t} - H \right) |\psi \rangle = 0 = \sum_{\alpha=\pm} \int_0^{\infty}\!\left[i \hbar \langle E,\alpha|\dot{\psi}\rangle -E\langle E\langleE,\alpha|\psi\rangle \right] |E, \alpha \rangle \,\, dE$$

$$\implies i \hbar \langle E,\alpha|\dot{\psi}\rangle -E\langle E\langleE,\alpha|\psi\rangle = 0$$

$$\implies \langle E,\alpha| \psi \rangle = \langle E,\alpha|\psi_0\rangle e^{-iEt/\hbar}$$

$$\therefore | \psi \rangle = \sum_{\alpha=\pm} \int_0^{\infty}\! |E,\alpha\rangle \langle E,\alpha|\psi_0\rangle e^{-iEt/\hbar} \,\,dE$$

and so the propagator is

$$U(t) = \sum_{\alpha=\pm} \int_0^{\infty}\! |E,\alpha\rangle \langle E,\alpha| e^{-iEt/\hbar} \,\,dE$$

??

Last edited by a moderator:

Related Advanced Physics Homework Help News on Phys.org
vela
Staff Emeritus
Homework Helper
Split (5.1.9) into two integrals, one for positive p and one for negative p, and when you change variables from p to E, remember that you have to express dp in terms of dE.

Thanks. I mistakenly assumed dp=dE because |p>=|E>

but I still can't find the mistake in my derivation? Is the first line correct?

vela
Staff Emeritus
Homework Helper
Just a guess, but maybe it's a just difference in normalization.

It can not be a just difference in normalization, since $$\frac{m}{(2mE)^{1/2}}$$ is the factor of the integrand. I am facing the same problem, any help is appreciated.

fzero
Homework Helper
Gold Member
That factor is necessary as a measure to properly count the density of states. The point is that the number of states in the interval $$(E,E+dE)$$ must be the same as the number of states in the interval $$(p,p+dp)$$ when $$E = p^2/(2m)$$.

For a free particle, the momentum states are parameterized as a linear function of wavenumbers, so it's obvious that

$$\sum_p \rightarrow \int dp$$

without any factors. If we compute

$$\int_{\sqrt{2mE}}^{\sqrt{4mE}} = (\sqrt{2}-1) \sqrt{2mE} \neq \int_E^{2E} dE.$$

However

$$\int_E^{2E} dE \frac{m}{\sqrt{2mE}} = (\sqrt{2}-1) \sqrt{2mE}.$$

We therefore conclude that

$$\sum_E \rightarrow \int dE ~\frac{m}{\sqrt{2mE}}.$$

I do not understand why the number of states in the two interval must be same, through it leads to the desired result. But the point is, what is wrong with the derivation above? Isn't that the normal form of propagator?

fzero
Homework Helper
Gold Member
I do not understand why the number of states in the two interval must be same, through it leads to the desired result. But the point is, what is wrong with the derivation above? Isn't that the normal form of propagator?
It is, but you still have to change the momentum integration to an energy integration, which introduces the same factor. Start with

$$U(t) = \int_{-\infty}^\infty dp | p \rangle \langle p | e^{-iEt/\hbar}$$

We can introduce complete sets of energy eigenstates:

$$U(t) = \int_{0}^\infty dp \int_0^\infty dE' \int_0^\infty dE'' |E',+\rangle\langle E'',+ | \langle E'',+ | p \rangle \langle p | E',+ \rangle e^{-iEt/\hbar} + (+\rightarrow -).$$

Now we know that

$$\langle p | E',+\rangle = \langle E=p^2/2m, + | E',+\rangle = \delta(E-E'),$$

but to use that we'll need to rewrite the integral over momentum in terms of an integral over energy:

$$\int_0^\infty dp = \int_0^\infty \frac{m}{\sqrt{2mE}} dE.$$

Thank you for your reply. I am puzzled with what you "start with". We are dealing with the free particle, so $$H=\frac{m}{(2mE)^{1/2}}$$. If a state is an eigenstate of $$H$$, it should be an eigenstate of $$P^2$$, and thus an eigenstate of $$P$$. (Why? We know that any eigenstate of $$P$$ is also eigenstate of $$P ^2$$, but vice versa?) As the result, an eigenstate of energy can be labeled as |p>.

The normal form of propagator is $$U(t) = \int_{0}^\infty dE | E \rangle \langle E | e^{-iEt/\hbar}$$.
Then replace |E> with |p>, it seems that the propagator should be
$$U(t) = \int_{0}^\infty dE | p \rangle \langle p | e^{-iEt/\hbar}$$. What's wrong?

I'm reading shankar. If you have a book at hand, you may see p.146 and p.152. Thanks.

fzero
Homework Helper
Gold Member
Thank you for your reply. I am puzzled with what you "start with". We are dealing with the free particle, so $$H=\frac{m}{(2mE)^{1/2}}$$.
That's not the free particle Hamiltonian. Among other things, that expression has the wrong units!.

If a state is an eigenstate of $$H$$, it should be an eigenstate of $$P^2$$, and thus an eigenstate of $$P$$. (Why? We know that any eigenstate of $$P$$ is also eigenstate of $$P ^2$$, but vice versa?)
The vice versa comes from the theorem that if two observables commute, they have simultaneous eigenstates.

As the result, an eigenstate of energy can be labeled as |p>.

The normal form of propagator is $$U(t) = \int_{0}^\infty dE | E \rangle \langle E | e^{-iEt/\hbar}$$.
Then replace |E> with |p>, it seems that the propagator should be
$$U(t) = \int_{0}^\infty dE | p \rangle \langle p | e^{-iEt/\hbar}$$. What's wrong?

I'm reading shankar. If you have a book at hand, you may see p.146 and p.152. Thanks.
This thread was about a particular definition of the propagator that is equation 5.1.9 in the link in the OP. It is more common to define the propagator as a sum over energy eigenstates. However, if you rewrite your last expression above as an integral over momentum, you'll find an extra factor of $$p/m$$. So the two definitions of propagator are not perfectly in agreement, but I believe that the qualitative physics will be the same.