Understanding <x' | x> in Quantum Mechanics: Exploring Its Physical Significance

  • I
  • Thread starter friend
  • Start date
In summary, <x'|x> in quantum mechanics is the inner product of two unnormalized position states, with a value of ##\delta(x'-x)##. It is not sensible to interpret it in terms of transitions, unlike other inner products arising from scattering theory. The propagator <x'|e-iHt/x> has a physical interpretation as a probability amplitude for a particle to travel from one place to another in a given time, but this only applies to momentum states and not position states. Attempting to interpret every inner product as a transition amplitude is misleading and the physical meaning of a formula is determined by its use in producing physical results. The integral representation of the propagator involves sums over histories and should not be
  • #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
Physics news on Phys.org
  • #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
[itex] < x|{e^{ - i\varepsilon Ht/\hbar }}|x' > = {\left( {\frac{m}{{2\pi \hbar it}}} \right)^{{\raise0.5ex\hbox{$\scriptstyle 1$}
\kern-0.1em/\kern-0.15em
\lower0.25ex\hbox{$\scriptstyle 2$}}}}{e^{ - im{{(x' - x)}^2}/2\hbar t}}[/itex] ? Or maybe the more fundamental question is whether a wave function can be a gaussian?
 
  • #108
stevendaryl said:
So (switching back to [itex]p[/itex] from [itex]k[/itex]):

[itex]\langle p|U(t)|x'\rangle = e^{-ip x' - i \frac{p^2}{2m} t}[/itex]

This is a Gaussian, but a Gaussian centered on [itex]p = -\frac{m x'}{t}[/itex], not [itex]p = 0[/itex].

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 [itex]x'[/itex]:

[itex]\langle p |U(t)|p' \rangle = \int dx' e^{i p' x'} e^{-ip x' - i \frac{p^2}{2m} t}[/itex]

Factoring out the part that doesn't depend on [itex]x'[/itex] gives:

[itex]\langle p |U(t)|p' \rangle = e^{-i \frac{p^2}{2m}t} \int dx' e^{i (p' - p) x'}[/itex]

That integral is a representation for [itex]\delta(p'-p)[/itex]. So we get:

[itex]\langle p |U(t)|p' \rangle = 2 \pi e^{-i \frac{p^2}{2m}t} \delta(p'-p)[/itex]
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 [itex]\langle p|U(t)|x'\rangle[/itex]. Roughly speaking, this is the probability amplitude that a particle initially located at [itex]x'[/itex] will be found later to have a momentum [itex]p[/itex].

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 [itex]f(x)[/itex] as a linear combination of functions of the form [itex]e^{ikx}[/itex]. You already know, I assume, that sines and cosines can be written as combinations of complex exponentials:

[itex]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}}[/itex]
[itex]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}}[/itex]

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

[itex]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}}[/itex]

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

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

we write:

[itex]f(x) = \int dk A(k) e^{i k x} [/itex]

(The latter can sort of be thought of as the limit of the first, as [itex]L \rightarrow \infty[/itex]). The Fourier transform of [itex]f(x)[/itex] is [itex]A(k)[/itex]. 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 [itex]f(x)[/itex], and you measure its momentum, then the probability that the result will be [itex]p \pm \delta p[/itex] is proportional to [itex]|A(p/\hbar)|^2 \delta p[/itex]. 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 [itex]f(x)[/itex], and you measure its momentum, then the probability that the result will be [itex]p \pm \delta p[/itex] is proportional to [itex]|A(p/\hbar)|^2 \delta p[/itex]. 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.

[itex] < x|{e^{ - i\varepsilon Ht/\hbar }}|x' > = {\left( {\frac{m}{{2\pi \hbar it}}} \right)^{{\raise0.5ex\hbox{$\scriptstyle 1$}
\kern-0.1em/\kern-0.15em
\lower0.25ex\hbox{$\scriptstyle 2$}}}}{e^{ - im{{(x' - x)}^2}/2\hbar t}}[/itex]

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

[itex]\langle p|U(t)|x'\rangle = e^{-ip x' - i \frac{p^2}{2m} t}[/itex]

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

[itex]\langle p |U(t)|p' \rangle = 2 \pi e^{-i \frac{p^2}{2m}t} \delta(p'-p)[/itex]

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: [itex]\sqrt{\frac{2\lambda}{\pi}} e^{-\lambda x^2}[/itex] is a perfectly good wave function. The distinction that vanhees71 is making is this: A wave function [itex]f(x)[/itex] is square-integrable. That means [itex]\int |f(x)|^2 dx < \infty[/itex]. In the case of the function [itex]f(x) = \sqrt{\frac{m}{2\pi \hbar i t}} e^{\frac{-i m (x-x')^2}{2 \hbar t}}[/itex], if you take the absolute square, you get [itex]\frac{m}{2\pi \hbar t}[/itex], and the integral gives [itex]\infty[/itex]. 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: [itex]\sqrt{\frac{2\lambda}{\pi}} e^{-\lambda x^2}[/itex] is a perfectly good wave function. The distinction that vanhees71 is making is this: A wave function [itex]f(x)[/itex] is square-integrable. That means [itex]\int |f(x)|^2 dx < \infty[/itex]. In the case of the function [itex]f(x) = \sqrt{\frac{m}{2\pi \hbar i t}} e^{\frac{-i m (x-x')^2}{2 \hbar t}}[/itex], if you take the absolute square, you get [itex]\frac{m}{2\pi \hbar t}[/itex], and the integral gives [itex]\infty[/itex]. So it can't be a wave function.
It seems that both [itex]\sqrt{\frac{2\lambda}{\pi}} e^{-\lambda x^2}[/itex] and [itex] \sqrt{\frac{m}{2\pi \hbar i t}} e^{\frac{-i m (x-x')^2}{2 \hbar t}}[/itex] 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, [itex] < x|x' > = \delta (x - x')[/itex]. Does it matter how we express that [itex]\delta (x - x')[/itex] ?
 
Last edited:
  • #115
friend said:
It seems that both [itex]\sqrt{\frac{2\lambda}{\pi}} e^{-\lambda x^2}[/itex] and [itex] \sqrt{\frac{m}{2\pi \hbar i t}} e^{\frac{-i m (x-x')^2}{2 \hbar t}}[/itex] 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, [itex] < x|x' > = \delta (x - x')[/itex]. Does it matter how we express that [itex]\delta (x - x')[/itex] ?

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

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

[itex] < x|U(t)|x' > \,\, = \,\, < x|{e^{ - iHt/\hbar }}|x' > [/itex]

and

[itex] < x|{e^{ - iHt/\hbar }}|x' > \,\, = \,\,{\left( {\frac{m}{{2\pi \hbar it}}} \right)^{{\raise0.5ex\hbox{$\scriptstyle 1$}
\kern-0.1em/\kern-0.15em
\lower0.25ex\hbox{$\scriptstyle 2$}}}}{e^{im{{(x - x')}^2}/2\hbar t}}[/itex]

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

[itex] < x|{e^{ - iHt/\hbar }}|x' > \,\, = \,\,\int_{ - \infty }^{ + \infty } {\int_{ - \infty }^{ + \infty } {\int_{ - \infty }^{ + \infty } { \cdot \cdot \cdot \int_{ - \infty }^{ + \infty } { < x|{e^{ - i\varepsilon Ht/\hbar }}|{x_1} > } } } } < {x_1}|{e^{ - i\varepsilon Ht/\hbar }}|{x_2} > < {x_2}|{e^{ - i\varepsilon Ht/\hbar }}|{x_3} > \cdot \cdot \cdot < {x_n}|{e^{ - i\varepsilon Ht/\hbar }}|x' > d{x_1}d{x_2}d{x_3} \cdot \cdot \cdot d{x_n}[/itex]

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 [itex] < {x_n}|{e^{ - i\varepsilon Ht/\hbar }}|x' > [/itex] ?

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

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

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
[itex]{\left( {\frac{m}{{2\pi \hbar it}}} \right)^{{\raise0.5ex\hbox{$\scriptstyle 1$}
\kern-0.1em/\kern-0.15em
\lower0.25ex\hbox{$\scriptstyle 2$}}}}{e^{ - i\varepsilon m{{(x - x')}^2}/2\hbar t}}[/itex] 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 [itex] < {x_n}|{e^{ - i\varepsilon Ht/\hbar }}|x' > [/itex] by letting [itex]\varepsilon \,\, = \,\,{\varepsilon _r} + i\delta [/itex] . Then

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

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 [itex]\delta [/itex] not equal to zero until we get a formula for a probability and then take the limit as [itex]\delta \to 0[/itex] ?
 
  • #117
friend said:
Let's try to regulate the first [itex] < {x_n}|{e^{ - i\varepsilon Ht/\hbar }}|x' > [/itex] by letting [itex]\varepsilon \,\, = \,\,{\varepsilon _r} + i\delta [/itex] . 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:
[itex]\langle x | U(t) | x' \rangle = \frac{1}{2\pi} \int (e^{-ik x' - i \frac{k^2}{2m} t}) e^{i k x} dk[/itex]You can Fourier-transform again over [itex]x'[/itex]:

[itex]\langle p |U(t)|p' \rangle = \int dx' e^{i p' x'} e^{-ip x' - i \frac{p^2}{2m} t}[/itex]
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 [itex] < p|U(t)|{p^\prime } > [/itex], I need to have a minus sign in the exponent of the definition of the FT as usual. I need to integrate against [itex]e^{ - i2\pi k'x'}[/itex]. But in the process to get [itex] < p|U(t)|{x^\prime } > [/itex] of the first FT, we calculated [itex]F(k) = e^{-ik x' -i \frac{k^2}{2m} t}[/itex]. However, I need the exponent here to have a positive [itex]i2\pi kx'[/itex] (Here I include the [itex]2\pi [/itex]). Then I can get the difference of [itex] - i2\pi (k - k')x'[/itex] in the exponent of the integrand that will enable me to get the [itex]\delta (k - k')[/itex] term in the second FT. So I have to consider ways to turn the [itex]F(k) = e^{-ik x' -i \frac{k^2}{2m} t}[/itex] into [itex]F(k) = e^{ik x' +i \frac{k^2}{2m} t}[/itex], at least temporarily.

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

[itex]\langle p |U(t) |p' \rangle = \int dx \int dx' \langle p|x \rangle \langle x|U(t)|x'\rangle \langle x'|p'\rangle[/itex]

where [itex]\langle x' | p' \rangle = \sqrt{\frac{1}{2\pi}} e^{i p' x'}[/itex] and [itex]\langle p|x \rangle = (\langle x | p \rangle)^* = \sqrt{\frac{1}{2\pi}} e^{-i p x}[/itex]
(again, letting [itex]\hbar = 1[/itex] for simplicity).

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

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

[itex]\langle p |U(t) |p' \rangle = \int dx \int dx' \langle p|x \rangle \langle x|U(t)|x'\rangle \langle x'|p'\rangle[/itex]

where [itex]\langle x' | p' \rangle = \sqrt{\frac{1}{2\pi}} e^{i p' x'}[/itex] and [itex]\langle p|x \rangle = (\langle x | p \rangle)^* = \sqrt{\frac{1}{2\pi}} e^{-i p x}[/itex]
(again, letting [itex]\hbar = 1[/itex] for simplicity).

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

[itex]\langle p |U(t) |p' \rangle = e^{-i \frac{p^2}{2mt}} \delta(p'-p)[/itex]

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 [itex]\langle x | U(t) | x' \rangle[/itex] ? 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

Replies
9
Views
959
Replies
17
Views
2K
Replies
4
Views
675
Replies
12
Views
1K
Replies
6
Views
2K
Back
Top