Lectures on Quantum Mechanics 5: The Heisenberg Uncertainty Principle

This note has been used to help create the Heisenberg Uncertainty Principle wiki

Conjugate Variables

Before I derive the uncertainty principle, I would like to introduce the notion of conjugate variables. The uncertainty principle relates the standard deviation two conjugate variables, which was briefly mentioned in Lecture 3. In Lecture 1 we described the wave-packet of a free particle being

Ψ(x,t)=12πϕ(p)ei(pxEt)/dp.\Psi(x,t) = \frac{1}{\sqrt{2\pi \hbar}}\int_{-\infty}^{\infty}{\phi(p)}{e}^{i(px-Et)/ \hbar}dp.

If we let Φ(p,t)=ϕ(p)eiEt/\Phi(p,t)={\phi(p)}{e}^{iEt/ \hbar}, the integral becomes

Ψ(x,t)=12πΦ(p,t)eipx/dp.\Psi(x,t) = \frac{1}{\sqrt{2\pi \hbar}}\int_{-\infty}^{\infty}{\Phi(p,t)}{e}^{ipx/ \hbar}dp.

Here we find that the position-space wavefunction Ψ(x,t)\Psi(x,t) is indeed the Fourier transform of another wavefunction that is dependent on momentum instead. We will call Φ(p,t)\Phi(p,t) the momentum-space wavefunction.

Following this logic, we can recover the momentum-space wavefunction given the position-space wavefunction by taking the inverse Fourier transform:

Φ(p,t)=12πΨ(x,t)eipx/dx.\Phi(p,t) = \frac{1}{\sqrt{2\pi \hbar}}\int_{-\infty}^{\infty}{\Psi(x,t)}{e}^{-ipx/ \hbar}dx.

So what? What did we learn by doing this? Well, what this bit of Fourier analysis has achieved is very interesting, because we see a direct relationship between two variables xx and pp, that describe the same wave-packet in different spaces. In this example, a free particle is measured in the position space by Ψ(x,t)\Psi(x,t), but measured in the momentum space by Φ(p,t)\Phi(p,t). Yet regardless which space we choose to measure the particle, the physics doesn't change. Thus by discovering this relationship of conjugate variables, we can make measurements on particles in physical experiments in two ways. In fact, this is how crystallography and much of solid-state physics is done (see Reciprocal Lattice).

Heisenberg's Uncertainty Principle (HUP)

From Lecture 3 we discussed the definition of standard deviation for some variable, say xx, σx2=<(x<x>)2>{\sigma}_{x}^{2} = \left<{(x-\left<x \right>)}^{2}\right>. Back then we were concerned with numbers, but to derive the uncertainty principle, we need to write the standard deviation in terms of operators acting on wavefunctions.

Thus we consider the inner product

σx2=<(x^<x^>)Ψ(x^<x^>)Ψ>.{\sigma}_{x}^{2}=\left<(\hat{x}-\left<\hat{x}\right>)\Psi|(\hat{x}-\left<\hat{x}\right>)\Psi\right>.

Let f=(x^<x^>)Ψf=(\hat{x}-\left<\hat{x}\right>)\Psi, thus σx2=<ff>{\sigma}_{x}^{2}=\left<f|f\right>.

Similarly we have σp2=<(p^<p^>)Ψ(p^<p^>)Ψ>=<gg>{\sigma}_{p}^{2}=\left<(\hat{p}-\left<\hat{p}\right>)\Psi|(\hat{p}-\left<\hat{p}\right>)\Psi\right>=\left<g|g\right> where g=(p^<p^>)Ψg=(\hat{p}-\left<\hat{p}\right>)\Psi.

By the Cauchy-Schwarz inequality, we get σx2σp2=<ff><gg><fg>2.{\sigma}_{x}^{2}{\sigma}_{p}^{2} = \left<f|f\right>\left<g|g\right> \ge {|\left<f|g\right>|}^{2}.

Now let's simplify <fg>\left<f|g\right>:

<fg>=<(x^<x^>)Ψ(p^<p^>)Ψ>=<Ψ(x^<x^>)(p^<p^>)Ψ>=<Ψ(x^p^x^<p^>)p^<x^>+<x^><p^>)Ψ>=<Ψx^p^Ψ><p><Ψx^Ψ><x><Ψp^Ψ>+<x><p><ΨΨ>=<x^p^><p^><x^><x^><p^>+<x^><p^>=<x^p^><p^><x^> \begin{aligned} &\left<f|g\right>=\left<(\hat{x}-\left<\hat{x}\right>)\Psi|(\hat{p}-\left<\hat{p}\right>)\Psi\right> \\ &=\left<\Psi|(\hat{x}-\left<\hat{x}\right>)(\hat{p}-\left<\hat{p}\right>)\Psi\right> \\ &=\left<\Psi|(\hat{x}\hat{p}-\hat{x}\left<\hat{p}\right>)-\hat{p}\left<\hat{x}\right>+\left<\hat{x}\right>\left<\hat{p}\right>)\Psi\right> \\ &=\left<\Psi|\hat{x}\hat{p}\Psi\right>-\left<p\right>\left<\Psi|\hat{x}\Psi\right>-\left<x\right>\left<\Psi|\hat{p}\Psi\right>+\left<x\right>\left<p\right>\left<\Psi|\Psi\right>\\ &=\left<\hat{x}\hat{p}\right>-\left<\hat{p}\right>\left<\hat{x}\right>-\left<\hat{x}\right>\left<\hat{p}\right>+\left<\hat{x}\right>\left<\hat{p}\right>\\ &=\left<\hat{x}\hat{p}\right>-\left<\hat{p}\right>\left<\hat{x}\right> \end{aligned}

Similarly, <gf>=<p^x^><x^><p^>.\left<g|f\right>=\left<\hat{p}\hat{x}\right>-\left<\hat{x}\right>\left<\hat{p}\right>.

I know the bra-ket notation and expectation of an operator both use angle brackets, which makes the above algebra pretty confusing. Just remember that <x^>\left<\hat{x}\right> is the expectation of x^\hat{x}, which is a number.

There is a useful property about complex numbers: zz[12i(zz)]2.{z}^{*}z \ge {\left[\frac{1}{2i}(z-{z}^{*})\right]}^{2}.

Therefore if we replace zz with <fg>\left<f|g\right> and z{z}^{*} with <gf>\left<g|f\right>, we get

<ff><gg>[12i(<fg><gf>)]2.\left<f|f\right>\left<g|g\right>\ge {\left[\frac{1}{2i}(\left<f|g\right>-\left<g|f\right>)\right]}^{2}.

This translates to σx2σp2(12i[x^,p^])2.{\sigma}_{x}^{2}{\sigma}_{p}^{2} \ge {\left(\frac{1}{2i}[\hat{x},\hat{p}]\right)}^{2}.

Remember from Lecture 4 we found out that [x^,p^]=i[\hat{x},\hat{p}]=i\hbar. Hence, by substituting the above commutator relation and taking the square root, we arrive at the HUP σxσp2.{\sigma}_{x}{\sigma}_{p} \ge \frac{\hbar}{2}.

Visit my set Lectures on Quantum Mechanics for more notes.

Problems

  1. Prove that ΨΨdx=ΦΦdp\int_{-\infty}^{\infty} {\Psi}^{*}\Psi dx = \int_{-\infty}^{\infty} {\Phi}^{*}\Phi dp given the position-space and momentum-space wavefunctions.

  2. Operators in momentum-space The position operator in momentum space is x^=ip\hat{x} = i\hbar\frac{\partial}{\partial p} and the momentum operator is p^=p.\hat{p} = p. Verify that [x^,p^]=i\left[\hat{x},\hat{p}\right]=i\hbar is valid in momentum space.

  3. The position-momentum uncertainty principle is often written loosely as (Δx)(Δp)2.(\Delta x)(\Delta p) \ge \frac{\hbar}{2}. Show that the energy-time uncertainty holds (ΔE)(Δt)2(\Delta E)(\Delta t) \ge \frac{\hbar}{2} hence, proving σEσt2.{\sigma}_{E} {\sigma}_{t} \ge \frac{\hbar}{2}.

Note by Steven Zheng
4 years, 8 months ago

No vote yet
1 vote

  Easy Math Editor

This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.

When posting on Brilliant:

  • Use the emojis to react to an explanation, whether you're congratulating a job well done , or just really confused .
  • Ask specific questions about the challenge or the steps in somebody's explanation. Well-posed questions can add a lot to the discussion, but posting "I don't understand!" doesn't help anyone.
  • Try to contribute something new to the discussion, whether it is an extension, generalization or other idea related to the challenge.
  • Stay on topic — we're all here to learn more about math and science, not to hear about your favorite get-rich-quick scheme or current world events.

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold

- bulleted
- list

  • bulleted
  • list

1. numbered
2. list

  1. numbered
  2. list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1

paragraph 2

paragraph 1

paragraph 2

[example link](https://brilliant.org)example link
> This is a quote
This is a quote
    # I indented these lines
    # 4 spaces, and now they show
    # up as a code block.

    print "hello world"
# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
MathAppears as
Remember to wrap math in \( ... \) or \[ ... \] to ensure proper formatting.
2 \times 3 2×3 2 \times 3
2^{34} 234 2^{34}
a_{i-1} ai1 a_{i-1}
\frac{2}{3} 23 \frac{2}{3}
\sqrt{2} 2 \sqrt{2}
\sum_{i=1}^3 i=13 \sum_{i=1}^3
\sin \theta sinθ \sin \theta
\boxed{123} 123 \boxed{123}

Comments

Sort by:

Top Newest

Oh I love the comic :)

Calvin Lin Staff - 4 years, 8 months ago

Log in to reply

Me too ! :D

Priyansh Sangule - 4 years, 8 months ago

Log in to reply

So where are the earlier lectures?

Snehal Shekatkar - 4 years, 8 months ago

Log in to reply

Here

Please like and reshare my notes and set!

Steven Zheng - 4 years, 8 months ago

Log in to reply

Thanks :)

Snehal Shekatkar - 4 years, 8 months ago

Log in to reply

The fact that position and momentum are "Fourier transforms" of each other leading to the position-momentum uncertainty principle has an analogy in acoustics. If we hear a pure tone, say 440hz440hz, that corresponds to a single spike in the frequency spectrum (namely, 440hz440hz!), but a single acoustic spike, say like what happens when a hammer hits a solid surface, will correspond to a broad range in the frequency spectrum, i.e., it's composed of many frequencies. If we go with Born's probability amplitude model for particles, we can see we can't get unlimited "precision" in both position and momentum. This is similar to the problem of aperture and image resolution in optics, i.e. for higher resolutions, larger apertures are needed. The same kind of math keeps re-appearing across different disciplines in physics.

Michael Mendrin - 4 years, 8 months ago

Log in to reply

That is what I find astounding about physics. As more math is discovered, it enables us to describe more physics.

Steven Zheng - 4 years, 8 months ago

Log in to reply

Excellent Explanation!!! Steven Zheng .

I wanted some clarification regarding the problem you recently posted. Don't you think the wavefunction must become zero at the end points to satisfy the requirements for it to be a valid wavefunction ? But if it is equally likely to find a particle throughout, then the wavefunction would be a non-zero constant throughout the width aa which is a clear contradiction.What are your thoughts regarding this?

Sudeep Salgia - 4 years, 8 months ago

Log in to reply

The wavefunction is zero on the boundaries of the infinite square well. "In the region" means 0<x<a0< x<a so it is still equally likely to find a particle throughout.

Steven Zheng - 4 years, 8 months ago

Log in to reply

WOW !!! Thanks @Steven Zheng it's nicely explained . BTW , you would really make a great teacher , don't you think so ?

A Former Brilliant Member - 4 years, 8 months ago

Log in to reply

I actually get that a lot! I do tutor math and physics.

I am currently taking QM at UBC. These notes are organized in order of mathematical foundation. My sources are the lectures of my professor, Griffiths "Introduction to Quantum Mechanics" and McMahon's "Quantum Mechanics Demystified." Certain side notes may come from a course I took on the Physics of Materials (a bit of quantum chemistry and solid state physics).

Steven Zheng - 4 years, 8 months ago

Log in to reply

A brilliant effort , I must say . If I may, I suggest that you write some wiki on QM so as to encourage other Brilliant minds to look it up, since QM isn't a favourite topic for many .

A Former Brilliant Member - 4 years, 8 months ago

Log in to reply

@Steven Zheng, The HUP can also be connected to the motion of a ceiling fan. The better you know a particle's speed on the blade of a fan, the lousier is your knowledge about its position. By the way, you did quite a bit of explaining!

Ameya Salankar - 4 years, 8 months ago

Log in to reply

I have never studied abt these thingss...! Thnks fr sharing this...!

GM Harimangal Pandey - 4 years, 8 months ago

Log in to reply

×

Problem Loading...

Note Loading...

Set Loading...