2

For context, consider a general expansion of a wavefunction into continuous eigenstates of position, $\phi(x_m,x)$, multiplied by continuous probability amplitudes, $a(x_m)$

$$\begin{align}\psi(x) &=\int_{x_m=-\infty}^{\infty}a(x_m)\phi(x_m,x)\, \mathrm{d}{x_m} \\& = \int_{x_m=-\infty}^{\infty}a(x_m)\delta(x-x_m)\, \mathrm{d}{x_m} \\&= a(x)\end{align}\tag{1}$$

I understand the equation $\psi(x)=a(x)$ since the Dirac delta sifts out the only value of $x$ for which the argument of the Dirac delta function is zero. But $(1)$ is essentially a trivial situation since the position eigenstates are Dirac deltas and the 'sifting property' is then applied. The natural question to ask is what happens when the wavefunction (or its amplitudes) have a non trivial form?

I tried searching the internet to find an explanation for why the probability amplitudes are the same as the wavefunction itself, but I cannot get a straight answer. The following is a Quantum Mechanics past exam paper question (and solution), academic year: 2013-2014 from Imperial College London.

Question:

Consider the wavepacket $$\psi_G(x)=A\exp\left(-\frac{(x-x_m)^2}{(2 \Delta x)^2}\right)\exp\left(\frac{i\, p_m x}{\hbar}\right)$$ where $\Delta x$ is the RMS spread in position or uncertainty in position (standard deviation), $x_m$ is the mean postion of the particle, $p_m$ is the momentum of the wavepacket, $A$ is a normalization constant (that you need not calculate).

Eigenstates of the momentum operator with eigenvalue $p$ are given by $$\phi(p,x)=\frac{1}{\sqrt{2\pi \hbar}}\exp\left(\frac{i \, p x}{\hbar}\right)$$ Find the wavefunction in the momentum representation.

Solution:

We need to find the wavefunction in the momentum representation: $$\begin{align}a_G(p)&=\int_{x=-\infty}^{\infty}\phi^*(p,x)\psi_G(x)\,\mathrm{d}x \\&= \int_{x=-\infty}^{\infty}\frac{A}{\sqrt{2 \pi \hbar}}\exp\left(\frac{-i \, p x}{\hbar}\right)\exp\left(\frac{-(x-x_m)^2}{(2 \Delta x)^2}\right)\exp\left(\frac{i\, p_m x}{\hbar}\right)\,\mathrm{d}x \\&=\int_{x=-\infty}^{\infty}\frac{A}{\sqrt{2 \pi \hbar}}\exp\left(\frac{-i \, p x}{\hbar}\right)\exp\left(\frac{-(x-x_m)^2}{(2 \Delta x)^2}\right)\exp\left(\frac{-i\,(p- p_m) x}{\hbar}\right)\,\mathrm{d}x \\&= \frac{A\sqrt{4\pi {\Delta x}^2}}{\sqrt{2\pi \hbar}}\exp\left(\frac{-(p-p_m)^2\Delta x^2}{\hbar^2}\right)\exp\left(\frac{-i\,(p- p_m) x_m}{\hbar}\right) \end{align}$$

That is the end of the solution. But in the solution $a_G(p)$ is written instead of $\psi(p)$, and since the objective of the question was to find the wavefunction, I can only deduce that the solution is suggesting that $a_G(p)=\psi(p)$.

The reason I asked this question is because I fail to see where the relation $(1)$ is being utilized to show that $a_G(p)=\psi(p)$. Could anyone please explain to me the conditions that need to be satisfied for $a_G(p)=\psi(p)$?

While working with discrete eigenstates, it was never found that the wavefunctions are the same as the amplitudes. So does this mean that continuous eigenstates are needed for wavefunction=amplitudes? I would just like to know when I can write down wavefunction=amplitudes; just as the author wrote in the solution to the question I included.

I will try to rephrase this question in another way; Why doesn't the author use $\psi(p)=\int a_G(p)\phi(x_m,x)dx$ to find the wavefunction $\psi(p)$?

BLAZE
  • 2,460
  • If you eliminate a(x) of (1) by plugging in its value ψ(x) everywhere , as Dirac does in his classic book, you never have to wonder about any as. (1) is a tautology, and the effective Fourier transform of you 2nd displayed quote is simply the standard illustration of the power of the Dirac bra-ket notation. It appears you are tying yourself into sobering logical knots in refusing to utilize and appreciate that very notation. (Not that I expect this to be self-evident, but you are probably deconstructing Dirac's "standard ket".) – Cosmas Zachos Aug 14 '18 at 22:35
  • What kind of "in practice" explanation are you looking for"; if I knew the answer to that I wouldn't be asking the question in the first place. Look, there are situations when the wavefunction is equal to it's coefficients, my question has shown that. But in that question the author simply wrote down that they are (or eluded to being) equal, now there must be a reason why he did that. – BLAZE Aug 14 '18 at 22:48
  • @DavidZ ...but i fear I really don't understand the question. The OP appears to think there might be a logical distinction between wavefunctions and $\langle x| \psi\rangle$ s... Saying there cannot be conditions to a tautology never resolves anything... – Cosmas Zachos Aug 14 '18 at 23:01
  • @CosmasZachos $\langle x| \psi\rangle$ is what you mean by the overlap integral for probability amplitude right? Is there no logical distinction between wavefunctions and $\langle x| \psi\rangle$ s? Thanks. – BLAZE Aug 14 '18 at 23:19
  • 3
    No logical distinction whatsoever. The "solution" is $\psi_G(p)=\int dx \langle p| x\rangle \langle x|\psi_G\rangle=\langle p|\psi_G\rangle$, a dull Fourier transform. – Cosmas Zachos Aug 14 '18 at 23:27
  • @Cosmas I can see that this is very simple for you, but I am somewhat unfamiliar with the Dirac notation. You wrote $\psi_G(p)=\int dx \langle p| x\rangle \langle x|\psi_G\rangle=\langle p|\psi_G\rangle$. So I'm gonna make a guess here: $\langle p| x\rangle$ is the probability amplitude in the momentum basis; $\langle x|\psi_G\rangle$ is the wavepacket in the position basis and $\langle p|\psi_G\rangle$ is the wavepacket in the momentum basis? – BLAZE Aug 14 '18 at 23:50
  • Right. Just as the link of @Alfred indicates.... – Cosmas Zachos Aug 15 '18 at 00:39
  • @CosmasZachos I just need to be clear on what you wrote: $\psi_G(p)=\int dx \langle p| x\rangle \langle x|\psi_G\rangle=\langle p|\psi_G\rangle$. Is $\langle p|\psi_G\rangle$ the probability amplitudes (what I call $a_G(p)$ in my post) as well as the wavefunction in the momentum basis $\psi_G(p)$? Hence, $\psi_G(p)=a_G(p)$? – BLAZE Aug 15 '18 at 17:45
  • Yes, right, I'm not sure how to agree more. It is all basic linear algebra, and any distinction between discrete and continuous quantities is a canard, here. – Cosmas Zachos Aug 15 '18 at 18:33
  • 1

1 Answers1

5

I tried searching the internet to find an explanation for why the probability amplitudes are the same as the wavefunction itself, but I cannot get a straight answer.

While I'm sure the content of this answer is all over the internet, I'll still post this just in case it addresses your question.

The (position basis) wavefunction $\psi(x)$ just is the state vector (ket) $|\psi\rangle$ projected onto the coordinate basis $|x\rangle$ as so

$$\psi(x) = \langle x|\psi\rangle$$

where the $|x\rangle$ are the position eigenkets (state vectors with definite position)

$$X|x\rangle = x|x\rangle$$

Assuming as usual that $|\psi\rangle$ is normalized

$$\langle \psi|\psi\rangle = 1$$

and recalling that the bra-ket of $|\phi\rangle$ with $|\psi\rangle$ is the probability amplitude for the particle with state vector $|\psi\rangle$ to be found in the state $|\phi\rangle$

$$c_\phi = \langle\phi | \psi \rangle,\quad P_{\psi\rightarrow\phi} = |c_\phi|^2$$

it follows that $\psi(x)$ is the probability amplitude for the particle to be found in the position eigenket $|x\rangle$.

We use the fact that the position eigenkets satisfy

$$\int\mathrm{d}x\, |x\rangle\langle x| = 1$$

$$\langle x | x' \rangle = \delta(x - x')$$ to get this into a form like in your equation (1);

$$\psi(x) = \langle x| \psi\rangle = \int\mathrm{d}x'\,\langle x|x'\rangle\langle{x'}|\psi\rangle = \int\mathrm{d}x'\,\delta(x - x')\psi(x')$$


Is ⟨p|ψG⟩ the probability amplitudes (what I call aG(p) in my post) as well as the wavefunction in the momentum basis ψG(p)?

Stipulating that the $|p\rangle$ are the eigenkets of the momentum operator

$$P|p\rangle = p|p\rangle$$

then the probability amplitude for the particle with state vector $|\psi_G\rangle$ to be found in the momentum eigenket $|p\rangle$ is just

$$a_G(p) = \langle p|\psi_G\rangle = \psi_G(p)$$

Using the properties of the position eigenkets as above and also using the fact that

$$\langle p|x\rangle = \frac{1}{\sqrt{2\pi}}e^{-ipx},\quad \left(\hbar = 1\right)$$

we can write

$$\psi_G(p) = \langle p|\psi_G\rangle = \int\mathrm{d}x'\,\langle p|x'\rangle\langle{x'}|\psi_G\rangle = \frac{1}{\sqrt{2\pi}}\int\mathrm{d}x'\,e^{-ipx'}\,\psi_G(x')$$

which shows that the momentum basis wavefunction (probability amplitude density) is the Fourier transform of the position basis wavefunction.

  • Thank you for the answer and sorry about all the edits. The reason why I haven't accepted your answer yet is because I am struggling with the Dirac notation. Could you please take a look at the last comment I wrote to Cosmas Zachos underneath my post and see if you can answer it? Many thanks. – BLAZE Aug 15 '18 at 17:54
  • @BLAZE, I've attempted to address your question with an addendum to my answer. – Alfred Centauri Aug 15 '18 at 22:21
  • That's perfect, thank you very much for taking the time to write such a great answer, I guess with more practice I will become accustomed to the Dirac notation. – BLAZE Aug 16 '18 at 09:41
  • @AlfredCentauri You say that "The (position basis) wavefunction $\psi(x)$ just is the state vector (ket) $| \psi \rangle$ projected onto the coordinate basis $| x \rangle$ as so $\psi(x) = \langle x| \psi\rangle$". Is this a definition? Why can one not write $\psi(x) = \langle \psi | x\rangle$ instead? My reason for asking is that the bra, $\langle \psi |$ is just the dual of the ket, $| \psi \rangle$, so I don't see any specific reason for writing the the position basis in the bra part instead of the ket. I looked at the Wikipedia link you mentioned but still can't understand, sorry. – FutureCop Mar 11 '23 at 22:21
  • "Why can one not write ψ(x)=⟨ψ|x⟩" @FutureCop, isn't it $\psi^*(x) = \langle\psi | x\rangle$? – Alfred Centauri Mar 16 '23 at 01:23
  • @AlfredCentauri I thought you would say that, I know that complex conjugation changes the order of the basis of the bra-ket. But my question is more subtle, you have taken $\psi(x) = \langle x| \psi\rangle$ for granted, maybe it is a definition, I don't know at this point. But the question still remains as to why the wave-function (in position space) cannot be defined as $\psi(x) = \langle \psi| x\rangle$? Put another way, what rule is violated in me trying to write a wave-function like that (not it's complex conjugate)? Thanks for your reply. – FutureCop Mar 16 '23 at 18:10
  • @FutureCop, I'm not sure what you're looking for here. What research have you done regarding your question and, in particular, why is this of so much interest? I recommend that you post your concerns about this as a question here. It seems like a pretty good one to me but, honestly, I'm not so active here anymore so it would be good to get some more eyes on it. – Alfred Centauri Mar 18 '23 at 22:37