I What is the physical significance of <x'|x> in quantum mechanics?

  • I
  • Thread starter Thread starter friend
  • Start date Start date
  • #101
No, ##U(t,x,x')## cannot represent a wave function, because it is not square integrable. It doesn't live in Hilbert space but in the dual of a smaller dense subspace that is the domain of the position operator. This dual space is larger than the Hilbert space and thus contains proper generalized functions like this propagator!
 
Physics news on Phys.org
  • #102
vanhees71 said:
No, ##U(t,x,x')## cannot represent a wave function, because it is not square integrable. It doesn't live in Hilbert space but in the dual of a smaller dense subspace that is the domain of the position operator. This dual space is larger than the Hilbert space and thus contains proper generalized functions like this propagator!
I think my point was that ##{\psi _0}(x')## can always be put in the form ##\int_\mathbb{R} {dx''U({t_0},x',x'')} {\psi _{00}}(x'')## so that ultimately ##{\psi _{00}}(x'')## approaches (but never equal to) ## < x''|{e^{ - iH\varepsilon /\hbar }}|{x_{00}} >## , if you get my drift.
 
  • #103
I don't understand what you mean. What's ##\psi_{00}## supposed to be?
 
  • #104
vanhees71 said:
I don't understand what you mean. What's ##\psi_{00}## supposed to be?
##{\psi _0}(x')## is supposed to be the initial wave-function at ##t=0##, or ##t_0##. But it occurs to me that in some circumstances, other events from a previous time could have lead to ##{\psi _0}(x')##. In that case we could just as easily write ##{\psi _0}(x')\,\, = \,\,\int_\mathbb{R} {dx''U({t_0},x',x'')} {\psi _{00}}(x'')##, where ##{\psi _{00}}(x'')## is the wave function from a previous time and ##U({t_0},x',x'')## propagates it from that previous time to ##t_0##. I have to wonder if perhaps this idea can be iterated back further in time yet again. And where can we say those iterations must stop. Must they stop where the iterated initial wave function begins to look like another one of those ##< {x_j}|{e^{ - iH\varepsilon /\hbar }}|{x_i} >## that are introduced by inserting the resolution of identity in yet another propagator as we iterate this process?

I suppose in some circumstances where ##{\psi}(t,x)## oscillates one possibility could be that the ##{\psi _{00}}(x'')## at some time earlier than ##t_0## might be the same as some time after ##t_0##. But as I understand it, a particle will start from an infinitesimal point (at least conceptually), in which case doesn't that mean it would start from some |x> ?
 
Last edited:
  • #105
friend said:
Now I'm not so sure which of \langle p | U(t) | x&#039; \rangle or \langle p|U(t)|p&#039; \rangle I'm interested in. If \langle x|U(t)|x&#039;\rangle represents the transition amplitude of a particle from x' to x, then what is its conjugate momentum? Do I want \langle p | U(t) | x&#039; \rangle because that is its momentum after the transition? Or do I want \langle p|U(t)|p&#039; \rangle because \langle x|U(t)|x&#039;\rangle has an undetermined momentum at both x' and x? Does \langle x|U(t)|x&#039;\rangle have the momentum p' at x' and the momentum p at x ? Or maybe I'm looking for p-p'. Thanks.
This is what I'm really interested in.
 
  • #106
friend said:
##{\psi _0}(x')## is supposed to be the initial wave-function at ##t=0##, or ##t_0##. But it occurs to me that in some circumstances, other events from a previous time could have lead to ##{\psi _0}(x')##. In that case we could just as easily write ##{\psi _0}(x')\,\, = \,\,\int_\mathbb{R} {dx''U({t_0},x',x'')} {\psi _{00}}(x'')##, where ##{\psi _{00}}(x'')## is the wave function from a previous time and ##U({t_0},x',x'')## propagates it from that previous time to ##t_0##. I have to wonder if perhaps this idea can be iterated back further in time yet again. And where can we say those iterations must stop. Must they stop where the iterated initial wave function begins to look like another one of those ##< {x_j}|{e^{ - iH\varepsilon /\hbar }}|{x_i} >## that are introduced by inserting the resolution of identity in yet another propagator as we iterate this process?

I suppose in some circumstances where ##{\psi}(t,x)## oscillates one possibility could be that the ##{\psi _{00}}(x'')## at some time earlier than ##t_0## might be the same as some time after ##t_0##. But as I understand it, a particle will start from an infinitesimal point (at least conceptually), in which case doesn't that mean it would start from some |x> ?
I think what you mean is the following. Let's write the time-evolution operator in a more general form, assuming a general initial time ##t_0## rather than setting ##t_0=0##. Then we have
$$U(t,x;t_0,x')=\langle x|\exp(-\mathrm{i} \hat{H}(t-t_0)|x' \rangle.$$
Since ##\hat{H}## is time-independent we have for ##t<t_1<t_0##
$$\int_{\mathbb{R}} \mathrm{d} x'' U(t,x;t_1,x'') U(t_1,x'';t_0,x') = \int_{\mathbb{R}} \mathrm{d} x'' \langle x|\exp(-\mathrm{i} \hat{H} (t-t_1)|x'' \rangle \langle x''|\exp(-\mathrm{i} \hat{H}(t_1-t_0))|x' \rangle.$$
Now using the completeness relation for the integral over ##x''## and
$$\exp(-\mathrm{i} \hat{H}(t-t_1)) \exp(-\mathrm{i} \hat{H}(t_1-t_0)=\exp(-\mathrm{i} \hat{H}(t-t_0)),$$
where the last step is allowed, because ##\hat{H}## is time-independent and commutes with itself, so that we can use the naive factorization rule for exponential function,
we find
$$\int_{\mathbb{R}} \mathrm{d} x'' U(t,x;t_1,x'') U(t_1,x'';t_0,x') = \langle x|\exp(-\mathrm{i} \hat{H}(t-t_0))|x' \rangle=U(t,x;t_0,x').$$
 
  • Like
Likes friend
  • #107
vanhees71 said:
$$\int_{\mathbb{R}} \mathrm{d} x'' U(t,x;t_1,x'') U(t_1,x'';t_0,x') = \langle x|\exp(-\mathrm{i} \hat{H}(t-t_0))|x' \rangle=U(t,x;t_0,x').$$
Thank you. But I was trying to get at whether I can equate ##{\psi _0}(x')## to the result of propagating an earlier version of the wavefunction through ##{\psi _0}(x')\,\, = \,\,\int_\mathbb{R} {dx''U({t_0},x',x'')} {\psi _{00}}(x'')##. I was wondering if I could ultimately push it back to simply a sort of ##< {x_j}|{e^{ - iH\varepsilon /\hbar }}|{x_i} >##.

To that end I suppose the question is whether the wave function, ##\psi_0(x')##, in ##\psi(t,x)=\int_{\mathbb{R}} \mathrm{d} x' U(t,x,x') \psi_0(x')## can be a very sharp gaussian, maybe something approaching
&lt; x|{e^{ - i\varepsilon Ht/\hbar }}|x&#039; &gt; = {\left( {\frac{m}{{2\pi \hbar it}}} \right)^{{\raise0.5ex\hbox{$\scriptstyle 1$}<br /> \kern-0.1em/\kern-0.15em<br /> \lower0.25ex\hbox{$\scriptstyle 2$}}}}{e^{ - im{{(x&#039; - x)}^2}/2\hbar t}} ? Or maybe the more fundamental question is whether a wave function can be a gaussian?
 
  • #108
stevendaryl said:
So (switching back to p from k):

\langle p|U(t)|x&#039;\rangle = e^{-ip x&#039; - i \frac{p^2}{2m} t}

This is a Gaussian, but a Gaussian centered on p = -\frac{m x&#039;}{t}, not p = 0.

So I take it that p here is the momentum at x (not at x' ). I mean, of course it is, right? If we have a function of x, say f(x), then its Fourier transform is a momentum at that x, right? I guess I get confused because we're dealing with QM and it's values that are spread out.
stevendaryl said:
You can Fourier-transform again over x&#039;:

\langle p |U(t)|p&#039; \rangle = \int dx&#039; e^{i p&#039; x&#039;} e^{-ip x&#039; - i \frac{p^2}{2m} t}

Factoring out the part that doesn't depend on x&#039; gives:

\langle p |U(t)|p&#039; \rangle = e^{-i \frac{p^2}{2m}t} \int dx&#039; e^{i (p&#039; - p) x&#039;}

That integral is a representation for \delta(p&#039;-p). So we get:

\langle p |U(t)|p&#039; \rangle = 2 \pi e^{-i \frac{p^2}{2m}t} \delta(p&#039;-p)
And likewise p' is the momentum at x', right?
 
  • #109
friend said:
So I take it that p here is the momentum at x (not at x' ). I mean, of course it is, right?

No, there is no "x" in the expression \langle p|U(t)|x&#039;\rangle. Roughly speaking, this is the probability amplitude that a particle initially located at x&#039; will be found later to have a momentum p.

If we have a function of x, say f(x), then its Fourier transform is a momentum at that x, right?

No, that's not correct at all. The point of a Fourier transform is to represent a function f(x) as a linear combination of functions of the form e^{ikx}. You already know, I assume, that sines and cosines can be written as combinations of complex exponentials:

sin(\frac{2 \pi x}{L}) = \frac{1}{2i} e^{i\frac{2 \pi x}{L}} + \frac{-1}{2i} e^{-i\frac{2\pi x}{L}}
cos(\frac{2 \pi x}{L}) = \frac{1}{2} e^{i\frac{2 \pi x}{L}} + \frac{1}{2} e^{-i\frac{2\pi x}{L}}

Well, any function that is periodic with period L (that is, f(x + L) = f(x)) can be written as a combination of exponentials:

f(x) = A_0 + A_{-1} e^{-i \frac{2\pi x}{L}} + A_1 e^{+i \frac{2\pi x}{L}} + A_{-2} e^{-2 i \frac{2\pi x}{L}} + A_2 e^{+2i \frac{2\pi x}{L}} + ... = \sum_n A_n e^{n i \frac{2 \pi x}{L}}

The Fourier transform of f(x) is just the coefficients of the expansion of f: A_n. With a Fourier integral, we replace the sum by an integral, and instead of

f(x) = \sum_n A_n e^{i n \frac{2 \pi x}{L}}

we write:

f(x) = \int dk A(k) e^{i k x}

(The latter can sort of be thought of as the limit of the first, as L \rightarrow \infty). The Fourier transform of f(x) is A(k). That is just a number, (complex, in general). It is not a momentum. How Fourier transforms relate to momenta is this:

If a particle is initially in a state described by the wave function f(x), and you measure its momentum, then the probability that the result will be p \pm \delta p is proportional to |A(p/\hbar)|^2 \delta p. The Fourier transform of a wave function doesn't give a momentum, it gives a probability distribution on momenta.
 
  • Like
Likes friend and vanhees71
  • #110
stevendaryl said:
If a particle is initially in a state described by the wave function f(x), and you measure its momentum, then the probability that the result will be p \pm \delta p is proportional to |A(p/\hbar)|^2 \delta p. The Fourier transform of a wave function doesn't give a momentum, it gives a probability distribution on momenta.
Thank you, stevendaryl, for your insights. So let me see if I got it.

&lt; x|{e^{ - i\varepsilon Ht/\hbar }}|x&#039; &gt; = {\left( {\frac{m}{{2\pi \hbar it}}} \right)^{{\raise0.5ex\hbox{$\scriptstyle 1$}<br /> \kern-0.1em/\kern-0.15em<br /> \lower0.25ex\hbox{$\scriptstyle 2$}}}}{e^{ - im{{(x&#039; - x)}^2}/2\hbar t}}

doesn't say that the particle will necessarily be at x or x', only that there is the probability of finding x at x' . Or does it say (is this equal to saying) that there is a probability of finding x' at x ? It gets a little more difficult from there.

We have

\langle p|U(t)|x&#039;\rangle = e^{-ip x&#039; - i \frac{p^2}{2m} t}

seems to be a gaussian distribution in the momentum p centered at p = 0 with what looks like an plane wave of moment p. Or is it a plane wave whose amplitude is modulated by a gaussian?

And then there is

\langle p |U(t)|p&#039; \rangle = 2 \pi e^{-i \frac{p^2}{2m}t} \delta(p&#039;-p)

which seems to be a gaussian distribution of the moment centered at p=p'. It's harder to tell what this is saying. Is it saying that there is only one momentum being considered, p=p' ? Or do we have two momentums to consider and possibly correlate to the distribution of x and/or x' ?Thanks for your help.
 
  • #111
To repeat it once more! The propagator is a distribution, and it's modulus squared is NOT a probability. Only folding it with a square-integrable wave function, the initial state of the particle, leads to a wave function whose modulus squared gives a probability.

Mathematically the propagator is the unitary time evolution of the quantum system, i.e., it's a unitary map from the initial wave function to the wave function at time ##t##.
 
  • Like
Likes friend
  • #112
vanhees71 said:
Only folding it with a square-integrable wave function, the initial state of the particle, leads to a wave function whose modulus squared gives a probability.

Right. So there seems to be some controversy about whether a gaussian can be a wave function. In my quantum mechanics text, after introducing the algebra of Hilbert spaces, etc. the first wave function they use as an example is a gaussian. But it is not a complex gaussian. So they show that it is square integrable as they normalize it. In this case the exponent of the gaussian is just doubled, then they apply the standard techniques to evaluate it. However, if the exponent of the gaussian were complex, then multiplying it by its complex conjugate will result in an exponent of 0, which means that the probability density is 1 for all x. This is not square integrable. Do you have any insight that might clear this up? Thanks.
 
Last edited:
  • #113
friend said:
Right. So there seems to be some controversy about whether a gaussian can be a wave function.

It's definitely true that a Gaussian can be a wave function: For example: \sqrt{\frac{2\lambda}{\pi}} e^{-\lambda x^2} is a perfectly good wave function. The distinction that vanhees71 is making is this: A wave function f(x) is square-integrable. That means \int |f(x)|^2 dx &lt; \infty. In the case of the function f(x) = \sqrt{\frac{m}{2\pi \hbar i t}} e^{\frac{-i m (x-x&#039;)^2}{2 \hbar t}}, if you take the absolute square, you get \frac{m}{2\pi \hbar t}, and the integral gives \infty. So it can't be a wave function.
 
  • Like
Likes friend
  • #114
stevendaryl said:
It's definitely true that a Gaussian can be a wave function: For example: \sqrt{\frac{2\lambda}{\pi}} e^{-\lambda x^2} is a perfectly good wave function. The distinction that vanhees71 is making is this: A wave function f(x) is square-integrable. That means \int |f(x)|^2 dx &lt; \infty. In the case of the function f(x) = \sqrt{\frac{m}{2\pi \hbar i t}} e^{\frac{-i m (x-x&#039;)^2}{2 \hbar t}}, if you take the absolute square, you get \frac{m}{2\pi \hbar t}, and the integral gives \infty. So it can't be a wave function.
It seems that both \sqrt{\frac{2\lambda}{\pi}} e^{-\lambda x^2} and \sqrt{\frac{m}{2\pi \hbar i t}} e^{\frac{-i m (x-x&#039;)^2}{2 \hbar t}} are telling us that the amplitude of finding a particle at x has a gaussian distribution. And since they are both gaussian, it would be easy to make a Dirac delta out of either of them. One with a real exponent, the other with a complex exponent. So are these functions equal in the limit where they both become a Dirac delta function? After all, &lt; x|x&#039; &gt; = \delta (x - x&#039;). Does it matter how we express that \delta (x - x&#039;) ?
 
Last edited:
  • #115
friend said:
It seems that both \sqrt{\frac{2\lambda}{\pi}} e^{-\lambda x^2} and \sqrt{\frac{m}{2\pi \hbar i t}} e^{\frac{-i m (x-x&#039;)^2}{2 \hbar t}} are telling us that the amplitude of finding a particle at x has a gaussian distribution. And since they are both gaussian, it would be easy to make a Dirac delta out of either of them. One with a real exponent, the other with a complex exponent. So are these functions equal in the limit where they both become a Dirac delta function? After all, &lt; x|x&#039; &gt; = \delta (x - x&#039;). Does it matter how we express that \delta (x - x&#039;) ?

The normalization is different for the two:
For \psi(x) = \sqrt{\frac{m}{2\pi \hbar i t}} e^{\frac{-i m (x-x&#039;)^2}{2 \hbar t}}, it is normalized so that \int \psi(x,t) dx = 1.

For \psi(x) = \sqrt{\frac{2\lambda}{\pi}} e^{-\lambda x^2}, it is normalized so that \int \psi^*(x) \psi(x) dx = 1
 
  • #116
So let me summarize my concerns from all this.

&lt; x|U(t)|x&#039; &gt; \,\, = \,\, &lt; x|{e^{ - iHt/\hbar }}|x&#039; &gt;

and

&lt; x|{e^{ - iHt/\hbar }}|x&#039; &gt; \,\, = \,\,{\left( {\frac{m}{{2\pi \hbar it}}} \right)^{{\raise0.5ex\hbox{$\scriptstyle 1$}<br /> \kern-0.1em/\kern-0.15em<br /> \lower0.25ex\hbox{$\scriptstyle 2$}}}}{e^{im{{(x - x&#039;)}^2}/2\hbar t}}

But we can insert the resolution of the identity many times to get propagator

&lt; x|{e^{ - iHt/\hbar }}|x&#039; &gt; \,\, = \,\,\int_{ - \infty }^{ + \infty } {\int_{ - \infty }^{ + \infty } {\int_{ - \infty }^{ + \infty } { \cdot \cdot \cdot \int_{ - \infty }^{ + \infty } { &lt; x|{e^{ - i\varepsilon Ht/\hbar }}|{x_1} &gt; } } } } &lt; {x_1}|{e^{ - i\varepsilon Ht/\hbar }}|{x_2} &gt; &lt; {x_2}|{e^{ - i\varepsilon Ht/\hbar }}|{x_3} &gt; \cdot \cdot \cdot &lt; {x_n}|{e^{ - i\varepsilon Ht/\hbar }}|x&#039; &gt; d{x_1}d{x_2}d{x_3} \cdot \cdot \cdot d{x_n}

vanhess71 in post #111 tells us that the propagator is a distribution and its modulus squared is not a probability. It needs to be folded (integrated) with a square-integrable functions. But I have the intuition that the propagator, all by itself, has some physical interpretation. It's called the transition amplitude for a particle to go from x' to x. But if it is not square-integrable, then it is not a wave function.

So I tried to suggest that maybe the wave function that is folded with propagator might be the result of an even earlier wave function folded with a prior propagator. Is it possible to then find even earlier propagators until the wave function it is folded with is actually of the form of &lt; {x_n}|{e^{ - i\varepsilon Ht/\hbar }}|x&#039; &gt; ?

But according to stevendaryl in post #97,
&lt; x|{e^{ - iHt/\hbar }}|x&#039; &gt; \,\,\, = \,\, &lt; x|U(t)|x&#039; &gt; \,\, = \,\,{\left( {\frac{m}{{2\pi \hbar it}}} \right)^{{\raise0.5ex\hbox{$\scriptstyle 1$}<br /> \kern-0.1em/\kern-0.15em<br /> \lower0.25ex\hbox{$\scriptstyle 2$}}}}{e^{ - im{{(x - x&#039;)}^2}/2\hbar t}}.

This means that
&lt; x|{e^{ - i\varepsilon Ht/\hbar }}|x&#039; &gt; \,\,\,\, = \,\,{\left( {\frac{m}{{2\pi \hbar it}}} \right)^{{\raise0.5ex\hbox{$\scriptstyle 1$}<br /> \kern-0.1em/\kern-0.15em<br /> \lower0.25ex\hbox{$\scriptstyle 2$}}}}{e^{ - i\varepsilon m{{(x - x&#039;)}^2}/2\hbar t}}

which is in the form of a gaussian.

And stevendaryl assures us in post #113 that a gaussian is a legitimate wave function that can be folded against the propagator. But
{\left( {\frac{m}{{2\pi \hbar it}}} \right)^{{\raise0.5ex\hbox{$\scriptstyle 1$}<br /> \kern-0.1em/\kern-0.15em<br /> \lower0.25ex\hbox{$\scriptstyle 2$}}}}{e^{ - i\varepsilon m{{(x - x&#039;)}^2}/2\hbar t}} has a complex exponent. So it is not square-integrable to form a probability. How do we get a gaussian with a real exponent so it can be a proper wave function (in a gaussian from) that can be folded with a propagator to yeild a wave function that can give a probability?

Let me suggest this possibility for your consideration:

Let's try to regulate the first &lt; {x_n}|{e^{ - i\varepsilon Ht/\hbar }}|x&#039; &gt; by letting \varepsilon \,\, = \,\,{\varepsilon _r} + i\delta . Then

&lt; {x_n}|{e^{ - i({\varepsilon _r} + i\delta )Ht/\hbar }}|x&#039; &gt; \,\,\,\, = \,\,{\left( {\frac{m}{{2\pi \hbar it}}} \right)^{{\raise0.5ex\hbox{$\scriptstyle 1$}<br /> \kern-0.1em/\kern-0.15em<br /> \lower0.25ex\hbox{$\scriptstyle 2$}}}}{e^{ - i({\varepsilon _r} + i\delta )m{{({x_n} - x&#039;)}^2}/2\hbar t}} .

As you can see there is now a gaussian with a real exponent. Can this serve the function of a proper wave function to fold against the propagator in order to yield a time advanced wave function that will give a probability? Can we work through all the math with \delta not equal to zero until we get a formula for a probability and then take the limit as \delta \to 0 ?
 
  • #117
friend said:
Let's try to regulate the first &lt; {x_n}|{e^{ - i\varepsilon Ht/\hbar }}|x&#039; &gt; by letting \varepsilon \,\, = \,\,{\varepsilon _r} + i\delta . Then...
Maybe this is equivalent to proving that we necessarily must start with a distributed wave function (not a Dirac delta) in order that any propagated wave function would result in non-zero probabilities. Perhaps if we try to start our propagation from a single point it always results in a zero probability density of finding it at a later point.
 
  • #118
stevendaryl said:
\langle x | U(t) | x&#039; \rangle = \frac{1}{2\pi} \int (e^{-ik x&#039; - i \frac{k^2}{2m} t}) e^{i k x} dkYou can Fourier-transform again over x&#039;:

\langle p |U(t)|p&#039; \rangle = \int dx&#039; e^{i p&#039; x&#039;} e^{-ip x&#039; - i \frac{p^2}{2m} t}
I've tried to do a Fourier Xform the old fashion way, and I get pretty much the same think you got except for factors of 2π and a minus sign in the exponent of the FT. The difference seems to be that you do not use the 2π in your definition of the Fourier Xform. And you do not use the minus sign in the exponent in the second Fourier Xform. Could you please tell me why you seem to be defining your Fourier transforms differently than what I see in wikipedia.org? Thanks.
 
  • #119
friend said:
I've tried to do a Fourier Xform the old fashion way, and I get pretty much the same think you got except for factors of 2π and a minus sign in the exponent of the FT. The difference seems to be that you do not use the 2π in your definition of the Fourier Xform. And you do not use the minus sign in the exponent in the second Fourier Xform. Could you please tell me why you seem to be defining your Fourier transforms differently than what I see in wikipedia.org? Thanks.

I may have made a mistake. There are different conventions for the Fourier transform and its inverse.
 
  • #120
Well, let's do the calculation
$$U(t,x,x')=\langle x|\exp \left (-\frac{\mathrm{i} \hat{p}^2 t}{2m} \right)|x' \rangle = \int_{\mathbb{R}} \mathrm{d} p \langle x|\exp \left (-\frac{\mathrm{i} \hat{p}^2 t}{2m} \right)|p \rangle \langle p|x' \rangle = \int_{\mathbb{R}} \mathrm{d} p \frac{1}{2 \pi}\exp \left [-\frac{\mathrm{i} p^2 t}{2m}+\mathrm{i} p (x-x') \right].$$
Es explained countless times in this thread, the integral doesn't make sense as it stands but has to be regularized this we do by introducing a small imaginary part into ##t##: ##t \rightarrow t-\mathrm{i} \epsilon## with ##\epsilon>0##. Then you have a simple Gaussian integral, leading to
$$U_{\epsilon}(t,x,x')=\frac{1}{\sqrt{2 \pi}} \exp \left (-\frac{m(x-x')^2}{2(\epsilon+\mathrm{i} t)} \right ) \frac{1}{\sqrt{(\epsilon+\mathrm{i} t)/m}}.$$
For ##\epsilon \rightarrow 0^+## you have ##\sqrt{\epsilon+\mathrm{i} t} \rightarrow \exp(\mathrm{i} \pi/4) \sqrt{t}## and thus
$$U(t,x,x')=\sqrt{\frac{m}{2 \pi t}} \exp(-\mathrm{i} \pi/4) \exp \left (\frac{\mathrm{i} m(x-x')^2}{2 \mathrm{i} t} \right ).$$
 
  • Like
Likes friend
  • #121
vanhees71 said:
Well, let's do the calculation
Thank you, vanhees71. But I don't know what question you were trying to answer.
 
  • #122
I thought there were doubts about the correct expression for the free-particle propagator of a Schrödinger particle in the position representation. So I finally gave the derivation, I told you to do yourself for quite some time...
 
  • #123
friend said:
I've tried to do a Fourier Xform the old fashion way, and I get pretty much the same think you got except for factors of 2π and a minus sign in the exponent. The difference seems to be that you do not use the 2π in your definition of the Fourier Xform. And you do not use the minus sign in the exponent in the second Fourier Xform. Could you please tell me why you seem to be defining your Fourier transforms differently than what I see in wikipedia.org? Thanks.

In the second FT to get &lt; p|U(t)|{p^\prime } &gt;, I need to have a minus sign in the exponent of the definition of the FT as usual. I need to integrate against e^{ - i2\pi k&#039;x&#039;}. But in the process to get &lt; p|U(t)|{x^\prime } &gt; of the first FT, we calculated F(k) = e^{-ik x&#039; -i \frac{k^2}{2m} t}. However, I need the exponent here to have a positive i2\pi kx&#039; (Here I include the 2\pi). Then I can get the difference of - i2\pi (k - k&#039;)x&#039; in the exponent of the integrand that will enable me to get the \delta (k - k&#039;) term in the second FT. So I have to consider ways to turn the F(k) = e^{-ik x&#039; -i \frac{k^2}{2m} t} into F(k) = e^{ik x&#039; +i \frac{k^2}{2m} t}, at least temporarily.

To that end, I wonder if I have to take the complex conjugate of &lt; p|U(t)|{x^\prime } &gt; before applying the second FT, and then afterwards I conjugate the result? Why would I do that? We had &lt; x|U(t)|{x^\prime } &gt;, with the x on the left and the x' on the right before taking the first FT wrt x. This is consistent with &lt; x|\psi &gt; = \psi (x) being a function of x. So to be consistent with this notation, maybe I need to work with &lt; x&#039;|U(t)|p &gt; when taking the second FT wrt x'. I can always conjugate the end result to get &lt; p|U(t)|{p^\prime } &gt;.
 
Last edited:
  • #124
If you have \langle x | U(t) | x&#039; \rangle, then you can compute \langle p| U(t)|p&#039;\rangle as follows:

\langle p |U(t) |p&#039; \rangle = \int dx \int dx&#039; \langle p|x \rangle \langle x|U(t)|x&#039;\rangle \langle x&#039;|p&#039;\rangle

where \langle x&#039; | p&#039; \rangle = \sqrt{\frac{1}{2\pi}} e^{i p&#039; x&#039;} and \langle p|x \rangle = (\langle x | p \rangle)^* = \sqrt{\frac{1}{2\pi}} e^{-i p x}
(again, letting \hbar = 1 for simplicity).

I wrote the complete derivation, but it's very long, so I deleted it. The result is:

\langle p |U(t) |p&#039; \rangle = e^{-i \frac{p^2}{2mt}} \delta(p&#039;-p)
 
  • Like
Likes friend
  • #125
stevendaryl said:
If you have \langle x | U(t) | x&#039; \rangle, then you can compute \langle p| U(t)|p&#039;\rangle as follows:

\langle p |U(t) |p&#039; \rangle = \int dx \int dx&#039; \langle p|x \rangle \langle x|U(t)|x&#039;\rangle \langle x&#039;|p&#039;\rangle

where \langle x&#039; | p&#039; \rangle = \sqrt{\frac{1}{2\pi}} e^{i p&#039; x&#039;} and \langle p|x \rangle = (\langle x | p \rangle)^* = \sqrt{\frac{1}{2\pi}} e^{-i p x}
(again, letting \hbar = 1 for simplicity).

I wrote the complete derivation, but it's very long, so I deleted it. The result is:

\langle p |U(t) |p&#039; \rangle = e^{-i \frac{p^2}{2mt}} \delta(p&#039;-p)

That's great. Thank you. Perhaps you could send me a Private Message with the details (I assumed you saved it since it was a lot of work). Or maybe you could give a word description of your procedure with any tricks you had to use? I could probably figure it out for myself since I've been completing the square lately anyway. But just to be clear what were you using for \langle x | U(t) | x&#039; \rangle ? Thanks.PS. Why does it take so long to load these math heavy pages? It's taking my computer 2 minutes to load and the fan start huffing and buffing during that time. Is there anything I can do to speed things up, download something that makes this process faster?
 

Similar threads

Back
Top