PHYS 343 Lecture 20: A Closer Look at the (Quantum) Harmonic Oscillator
Watch on YouTubeVideo summary
The lecture begins by reviewing the classical harmonic oscillator, characterized by a mass attached to a spring where potential energy is proportional to the square of displacement. The instructor explains that physicists focus intensely on this system because any generic potential can be approximated as a parabola near its local minimum, making the simple harmonic oscillator a universal model for small oscillations in various physical systems. Transitioning to quantum mechanics, the discussion shifts to solving the time-independent Schrödinger equation for a quadratic potential. Instead of using the standard brute-force method involving infinite series, the lecture introduces a more elegant algebraic technique: factorizing the Hamiltonian operator into two distinct parts known as the lowering and raising operators.
To achieve this factorization, the instructor carefully handles non-commuting operators, specifically deriving the canonical commutation relation between position and momentum. By defining these new ladder operators with specific normalization factors, the product of the lowering and raising operators is shown to reconstruct the original Hamiltonian plus or minus a constant energy term. This leads to a crucial insight: if a wavefunction satisfies the Schrödinger equation for a certain energy, applying the raising operator generates a new valid solution with an energy increased by one quantum unit ($\hbar\omega$), while the lowering operator decreases the energy by the same amount. These operators effectively allow physicists to "climb" or "descend" a ladder of discrete energy levels without solving differential equations from scratch for each state.
However, this ladder cannot extend infinitely downward because the energy must always exceed the minimum potential energy for the wavefunction to be normalizable. If one attempts to lower the energy below the ground state, the resulting mathematical solution becomes identically zero or non-normalizable, indicating a hard limit at the bottom of the ladder. By applying the lowering operator to the ground state and setting the result to zero, the lecture derives the specific Gaussian form of the ground state wavefunction. Substituting this back into the energy equation reveals that the lowest possible energy is not zero but rather $\frac{1}{2}\hbar\omega$, a phenomenon known as zero-point energy. Consequently, all higher energy states are found to be quantized in integer multiples of $\hbar\omega$ added to this ground state energy.
The lecture concludes by summarizing the complete solution for the quantum harmonic oscillator, where energy levels are given by $E_n = (n + \frac{1}{2})\hbar\omega$. The instructor emphasizes that while the algebraic derivation was rigorous, the physical implications are profound: energy is quantized even in the absence of motion, and the classical picture of continuous oscillation emerges only as a statistical average over many quantum states, a connection further explored via the Ehrenfest theorem. Students are encouraged to verify these results by constructing excited states using the raising operator and to reflect on how this elegant algebraic method provides deep physical insight into the nature of quantum confinement and energy quantization.
Read the full video transcript
nanohub.org.
>> So the lecture is on
a closer look at the quantum harmonic
oscillator. If you have just walked in,
I'm guest lecturing for Erica. Um my
name is Dr. Ayar Piswas or Shri or
Shidya, whatever you want to call me.
Just call me uh by whatever whatever um
whatever is comfortable for you. Okay.
Okay, let's get started.
Rec recall
the classical
harmonic oscillator.
Are you able to read fine from the back?
So a quintessential example is mass
attached to spring.
Mass M attached to a spring with spring
constant K. As you know potential energy
is
does this sound right?
half kx²
okay so potential energy is half kx²
Newton's laws
d2x dt² is
let's start with force is minus kx
corresponding to this potential energy
so we can write down d2 d2x dt2 is
uh minus kx x
from here.
And the solution
x of t is a sin omega t
plus b cossine omega t. The familiar
simple harmonic oscillator where omega
is the classical
angular frequency
of oscillation
which is clearly related to
the spring constant through this or
omega square is equal to k by m.
Everybody more or less with me on this?
That's the classical version.
Why do we obsess so much over the
harmonic oscillator? If you feel like
you've seen enough of it in this course,
rest assured, if you stick with physics,
you'll be seeing a great deal more of
the harmonic oscillator. We are just
getting warmed up. Why Why do we obsess
so much over the harmonic oscillator?
I will expect more participation going
forward. But since it's early in the
lecture, let me give you the answer.
Consider a generic potential.
So sorry, generic V of X.
etc. And let's focus on some local
minimum
and Consider
a parabolic approximation
to this generic potential
around the local minimum.
Why are we considering the parabolic
approximation?
Well, for those of you who like to think
in terms of algebra rather than
pictures, let's expand tailor expand
V of X around X knot
the local minimum.
As you know this is constant
term plus linear term
the linear portion
plus half
second derivative
times quadratic term
etc.
This is a potential energy. This term is
constant as you know. It doesn't do
anything interesting because it doesn't
change the force.
X not is a local minimum. So what's this
term?
Zero.
>> Louder.
>> Zero.
>> Please clap for this gentleman.
[applause]
>> And what's your name, sir?
>> Pratush.
>> Pratush. Thank you. Pratush. Not just
for answering correctly for but for
answering at all.
And what about the second term?
It's our first nonzero or non-trivial
term and it's quadratic
in x - x kn and that is this parabolic
approximation.
Everybody remember parabola goes as x
square
parabolic.
And that is why we obsess over a simple
harmonic oscillator cuz this potential
energy form is what you get if you take
any generic potential energy and
[clears throat] expand around the local
minimum.
This is the leading order term.
Good. So are we a little bit more
invested in the simple harmonic
oscillator knowing that it's not just
some esoteric thing that physicists like
to pull out all the time but it actually
is practically useful all the time. Okay
to summarize
any generic v of x
for small enough x - x
is approximately equal to half
second derivative at x not times this
quadratic term. So we can identify this
second derivative second derivative at x
not term with the effective spring
constant
here.
Okay, that's the spirit in which we are
approaching the harmonic oscillator.
So that was lightning introduction in
the classical uh version. But now we go
to the quantum version.
for quant for the quantum version. As
you know,
the thing we need from here
is the form of E of X
[laughter]
quantum analog
V of X. We had half kx²
and we also discussed what omega was the
angular frequency in terms of k and m.
For the quantum analog it's convenient
to write this potential in terms of m
and omega.
This is how I want it.
Yeah.
M is mass of course. Omega is now to be
understood as
the
classical
angular frequency.
It's just notation
because you may not always have a spring
connected to a mass as the
physical instantiation of the potential.
Okay, so this is just setting up our
language to talk about this harmonic
oscillator now within the quantum
framework.
Shall I proceed?
At this point,
let me pause and ask you if you know the
drill for given a potential, how do you
do quantum mechanics with it? I know you
do because I've seen the lecture topics
that Erica has gone through. But I am
going to without writing the
prescription down on the board because
it won't be directly useful for this
lecture just go through the prescription
for how you're expected to treat a
quantum mechanical system given the
potential with you and you can nod with
me as we go through each step. Okay,
does that sound like a plan?
As you know
for a generic problem given the
functional form of V of X we assume it's
a timeindependent potential. In this
course you're only going to meet V of X
given the initial condition capital S of
X comm 0. So you're given B of X and
initial condition. The problem is to
find capital S of X comma T.
Capital S is the solution to the time
dependent Shreddinger equation.
The typical strategy is to solve instead
the time independent shreddinger
equation
which yields a set of solutions small si
of x
each with associated energy e1 e2 e3
etc.
And then our strategy is to write the
initial condition capital S of X comm 0
as a sum of terms C1 * small S1
of X plus C2 * small S2 of X and so
forth and then to find these
coefficients through magic using the FIA
trick.
And then are you still with me? Should
have draw done this drill a few times by
now. And then once you have those
coefficients,
it's trivial. Uh you just tag on the
phase factors and get your general
solution.
Does this sound vaguely familiar?
The good news is that we are not going
to do this brute force technique for the
harmonic oscillator in class today.
It can be done. But what I want to walk
you through is a
diabolically clever alternate way of
arriving at the same answer which you
will only fully appreciate if you sweat
your guts out through the brute force
method afterwards.
So will at least some of you take that
on so that you can appreciate the full
beauty of this alternate technique for
the harmonic oscillator.
Yes. Okay. All right. With that
background
and having declared that we will not
take the brute force route, what we want
to do is a clever solution of the time
independent shreddinger equation. That's
what the rest of the lecture is about.
And you've also seen some of this, but I
want to walk you through the nuts and
bolts in detail.
Okay, everybody remember the time
independent shreddinger equation?
Let me write it down. Let me write it
down.
So we have the potential energy
term
time.
I'll write it once and then I'll
independent
shreddinger.
It's laborious to write this again and
again. So going forward I am just going
to write this. Okay. The time
independent shinger equation is minus
hr² by 2 m d2 small s dx2
plus v of x
small s of x equ= e * of x
to be determined
given
here
and
also to be determined.
Everybody with me?
This is not a grim topic even though it
seems like it right now.
it. The material we are going to cover
in today's lecture if you were to ask me
is could
easily go into
uh centerpiece in museum of amazing
human thought or human achievement in
thought.
It is an extraordinary
set of u ideas that come together to
give you the story that I'm telling you
today.
And even
in an hour and change,
I am hopeful that you'll feel the wow of
human accomplishment here.
So stay with me. We'll get there. So
here is the time independent shinger
equation which I'm going to call this
from going forward. The program is to
find small s of x given the potential
energy term which is quadratic in x for
the simple harmonic oscillator.
Okay. And corresponding to to s you also
need to find e. And typically we expect
an infinitum of solutions
size correspond with corresponding
solutions E.
Have you seen this before? For let's say
the
for what potential have you seen this
before? Beside the harmonic oscillate
>> well.
>> The well. Okay. The infinite well. Yep.
So you know the drill.
So instead of the brute force technique,
now we want to try a
clever technique to solve for the
infinitum of size and ease allowed for
this problem.
And to motivate the method of solution,
let me first clean up this equation as
follows for the simple harmonic
oscillator.
So to start with
we write
the time independent shinger equation in
a more suggestive form
[snorts]
1 by 2 M *
P operator squared + M omega X operator
the whole square
operating on S equals P S
where as you know P operator is H bar by
I ddx.
Is this familiar?
And so p²
is
minus h bar²
d2 dx2
and x is just x.
We must treat operators with tender
loving care gently because operator A
time operator B need not be equal to
operator B * operator A.
Okay. And we'll see this explicitly as
we go forward.
Is this vaguely familiar to everybody?
Okay. So take this hat notation
seriously. This is just to remind
ourselves that if another operator
multiplies it, we must preserve the
order of multiplication.
So if this is on the left and something
else is on the right, we want to keep it
that way and not flip the orderly.
You know what this operator is?
Anybody?
Take a wild guess. Yes.
>> Indeed. The Hamiltonian operator.
So in fact we could have thirstly
written the time independent shooting
equation
as this.
The reason this is a suggestive form is
because
if we were to think about the number
analog
for what we have now in operator form.
Let me tell you what I mean by that.
Think about the algebraic identity
u 2 + v square. Can anybody factoriize
this for me?
>> Yes. Go ahead.
>> Ei.
>> I think you said u plus i plus uus iv.
>> That is correct. But I just want to be
um
slightly different and write it as I u +
v * minus i + v which is also equally
valid. Right?
Everybody with me on factorizing this?
In that spirit we will attempt to
factoriize the Hamiltonian.
Okay.
But can we do that given that P and X
are operators and may not elegantly
allow us to write it in this kind of
neat factorized form?
That's the question.
So take a deep breath
because that's what we are going to do
for the next several minutes. Attempt to
factoriize this Hamiltonian in the
spirit of that algebraic identity.
So that is the So we are now in the hard
slog part of the hike. Scenic views will
come but you have to stay with me
through this.
Is the motivation clear? We are going to
attempt to factoriize this Hamiltonian
which has these two quadratic terms
which have operators in them in the
spirit of that algebraic identity.
Okay, let's get started.
To sort of clean up notation,
I want to introduce.
Let's examine
operator E plus
defined as stay with me and I'll
motivate why we are doing this
some factors in the front 2 h bar m
omega
under square root
times this is the important part minus
this I P operator plus N omega X
operator
and
it's analog
A minus operator which is same prefactor
in front which at the moment
can [snorts] just take down as
something that we have put in the front
to make a future result look nice. Okay,
but that's not the important stuff.
times the analogous
plus IP
plus M omega X
in the spirit of this relation.
Okay. And so you won't be surprised that
the next thing we want to examine
is the product A minus
operator time A+ operator
which at least in spirit looks like
this.
Are you with me?
Okay, hard coming up. Take a deep
breath.
Here's the definition of a plus comes
with a negative sign here. Here's the
definition of a minus comes with a
positive sign here. We want to multiply
in the order. This times that. Okay, a
minus * a plus. So, let's do that. The
preactors under square root multiply
with each other. Getting rid of the
square root
1 by 2 h m omega time
let's write it out ip + m omega x * - i
+ m omega x.
So
straightforward to do the multiplication
provided you remember these are
operators and need to be handled with
care and so what stays on the left stays
on the left and what stays on the right
stays on the right. Okay. So this
becomes
p² +
m omega square
+ m² omega 2
x²
those are the easy terms and now come
the terms we have to handle with care i
- i m omega - i m omega * x * p minus p
* x
Is my algebra sound?
You're getting the same thing.
This thing, as you may have seen before,
is written in shorthand form as this.
where this notation stands for something
that's referred to as
the commutator.
Have you heard this before?
And so to proceed further, we need to
find the commutator of X with P.
which even though I expect you know from
before or you've seen before, I'm going
to quickly evaluate for you just you
just to get you warmed up with
operators.
Okay,
do I belabor the point? Handle operators
with care. uh to find out what this is.
If you were to calculate this, I would
highly recommend sticking in a test
function
here to evaluate what it's equal to. And
in the end, the test function will
cancel off.
So let's do that. This is x * h bar / i
dx of f minus h bar / i x
* f.
So that's h bar / i *
x df dx
minus
from here you're going to get two terms.
So that's x df dx
canceling off with this minus f.
Quick reminder
i² is -1.
So minus I is the same as 1 by I.
We have a 1 by I here and a minus here.
So we are left with I H bar * F compare.
So we end up with commutator of x with p
this i h bar
the famous canonical
commutation relation
with me so far. This should be old
stuff. And the reason that we got into
this is because we are trying to
evaluate this product because we are
trying to write the Hamiltonian in a
factorized form in the spirit of this
relation. And we were stuck at a point
where we needed the commutator of X and
P.
The hard slog part of the hike is almost
done. Scenic views are coming up. So
please stay with me. So now we take this
and stick this in here
and see what happens to this product A
minus A+.
Continuing
a minus A+ is therefore equal to
what we had before
1 by 2 H bar M omega times
this stuff
just what we had 4
minus i by 2 h bar. Just opening up this
bracket,
you have a 1x 2 h bar m omega here and a
i m omega here. M omega's cancel off
minus i and 2 h bar
minus i 2 h bar times the commutator of
x p.
This will be a lot more fun if you
actually work it out with me.
If I'm talking at you I don't know maybe
me
don't feel pressure but scribbling along
with me you may have a lot more fun.
Okay.
So we are going to substitute for this.
We just derived what this is. This is IH
bar
I H bar.
Kind reminder I square is -1.
I I - sign. So we can clean this up.
What do we get?
>> 12.
through a derivation like this. It is a
relief to know that somebody's paying
attention.
So, please follow with me, follow along
with me and yell out answers as I ask
for them. We are almost at the end of
this one. Okay, of this one.
So, we conclude
A minus A+
which is what we started out with is
P² + M omega X²
/ 2 M + half.
What's the first term?
together.
>> It's got this. It's got P square. Sorry,
my first term. I should be clear. What's
this term?
>> All right.
>> Louder.
>> Hamiltonian.
>> The Hamiltonian.
The P square by 2M part was the kinetic
energy part. And this is the potential
energy part. So together the
Hamiltonian. So we have rewritten
the Hamiltonian
in terms of the product a minus a plus
as
a factor.
>> Yeah, I'm searching for it actually. Oh,
from here.
[snorts]
So we've rewritten the Hamiltonian in
terms of the product a minus a plus as
the Hamiltonian is h bar omega
time
a + a minus minus
we have a minus sign problem.
Okay, this is what happens when
we try to do too many steps in one shot.
Give me a moment to remind you what we
had. We had
- i by 2 h bar here.
- i by 2 h bar. And then we multiplied
that by i h bar.
And so we got rid of this and we got a
plus sign.
Ah my bad. We are doing fine. Okay. We
are doing fine. A minus a + min - half.
Okay. [snorts]
So let's summarize what we have found
because we'll use this again and again.
The Hamiltonian is
a minus a +
-/*
h bar omega.
Analogously
instead of starting with the product a
minus a + we could have started with a +
a minus
following through the derivation in
exactly the same way. you would have
actually gotten this commutator with a
different sign so and so forth. So you
will find you could also write this as h
by omega * a + a minus
plus half.
So there's a minus here and you would
get a plus here if you did the
complimentary derivation with a + a
minus.
Still with me?
Okay. What's the big deal?
Well,
before we start unpacking all the wisdom
that's contained here, and again, I'm
hoping to convince you
um I'm hoping to convince you in the
next 35 minutes that
this is an extraordinary accomplishment
in the Museum of Human Thought.
So, stay with me. This is there's a lot
to unpack here.
But
the next thing I want to calculate
before we actually unpack that result is
the commutator of a minus and a plus. We
are almost there
because the commutator as you know by
now is just this difference.
Are you with me?
And from here
you can do the math in your head.
What is it?
Just one.
It's to get this nice result of one
rather than some yucky factors on the
right hand side that we chose these
three factors before.
So this result that the commutator of a
minus and a plus is one will turn out to
be useful. So, let's put that up here.
And I just remembered what I wanted to
point out to you earlier.
What units does H bar omega have?
Energy. Indeed. Hamiltonian units of
energy. H bar omega units of energy.
What is the unit of the product A minus
A plus?
Stare at the formula. energy on the
left hand side for Hamiltonian energy
for H bar omega what's left over must be
dimensionless
so the product a minus a plus is
dimensionless
which also squares with
commutator is one because one is
dimensionless
so dimension dimensionally all of this
makes sense we haven't dropped any
factors by accident
All right. Now that we have these, we
are ready to start constructing
pictures.
So this is just
cosmetic
but stylishly you can combine these two
relations into one
as Hamiltonian equals h omega time
a + a minus
+ half. This is one of the relations.
And then you can write the second
relation right here.
And if you see a formula written like
that, that means either you consistently
read the top line or you consistently
read the bottom line.
Yes. So sometimes you'll see those two
formula written like this. And that's
what that means.
So everybody with me still on the
science.
Okay. So for the rest of what comes we
will have to make
clever choices of which of these two
equivalent formula for the Hamiltonian
we want to use for the time independent
shreddinger equation. [snorts] Okay so
both are equally valid but one route is
the scenic route and the other one is
the slog route.
So I'll motivate you through the use of
this formula again and again over what
comes next to appreciate
better what the a minus a plus operators
do for us.
Here is the crucial argument in this
lecture
claim.
If satisfies
the time independent shingle equation
with energy value E.
It's a lot of words that basically says
if hi equals e si that's what we have so
far then
here's the claim.
So does
a + s
but with energy value
[music] E plus H bar omega
that is if this if S satisfies the time
independent shinger equation with energy
E. Then
A+ type
satisfies the time independent shingle
equation
with energy E plus H bar omega.
So if this then this.
As you can intuit
this is
one of a pair pair of analogous results.
We could write the analogous result for
a minus. And let me also write that
statement. And since that proof will be
very similar to this one, I'm going to
do one of the proofs for you and leave
the other proof for you to try at home.
The treat this treatment is taken out of
the marvelous textbook by David
Griffiths.
Are any of you familiar with this book?
And I use the second edition. I believe
the edition that's out there right now
is the third. I cannot imagine that
something profound has changed for what
I've told you. Okay.
So the analogous result
which I'll or the analogous claim which
I'll also write down is
well hold on let's do this proof first
and then I'll write down the analogous
claim.
So let's start with h
* a +
which is what we have here. We want to
show that it's equal to this given that
s and e given that 8 s equals e si. So
starting with this
we can unpack
using an appropriate choice of formula
for Hamiltonian from one of these two
and I am going to choose
this one and I'll tell you why in just a
moment.
So I chose the top line.
So this is what I have
substituted for the Hamiltonian.
And this is as before.
Remember we have operators. So we treat
them gently and keep the order of
multiplication the same. This is on the
right hand side and we want to bring it
in.
So let's do that. H bar omega time a + a
minus. And now we are going to stick in
the a+ on the right hand side plus a + 2
from the second term.
With me so far?
And now we pull out the A+es to the
left.
That's a legit operation. Are you with
me? I'm not changing the order of
multiplication.
So this is h bar omega * now we pulled
out the a+ to the left times what's left
over here is this
a minus a +
once again half.
Now I want to flip the order of this
but I have to pay a cost and that cost
is given to me by the commutator
because the commutator.
So let's unpack this relation again
this relation is telling us a minus a +
minus a + a minus
is 1. I want to trade a minus a plus for
a plus a minus. So I have to rewrite a
minus a plus as 1 + a + a minus.
Are you with me?
Almost there.
This is h bar omega time
a +
time flipping the order a + a minus + +
1 and then the half from before
and we got this from the commutator
which we unpacked as this
Almost there.
H bar omega is just a number regular
number not an operator. So we can freely
pass it through operators.
Are you with me? So we can bring this in
here and then take it inside.
So what we in fact have
is Hamiltonian.
Sorry, we have to keep track of this
a+.
So, a + time the h bar omega passes
through and this term combined with this
term is once again just the Hamiltonian.
read the top line
and then what's left over is h bar omega
multiplying the one
I'll write it down and then you can take
a deep breath and stare at it and then
what we had from before
is the s
almost there
do you agree with my algebra any
questions is
h bar omega is just a number. So we
passed it through and multiplied and
identified two of those terms with the
Hamiltonian identifying with the top
line of that equation again. What was
left over was 1 * h bar omega which
gives me that second factor of plus h
bar omega inside the bracket. And now we
do the clever thing of multiplying this
with this again to get
number time I rather than operator time
s.
So
but this is a number
so we can bring this here. So this is
just e + h bar omega time
a + s
proved.
All of a sudden we have arrived at
physics from this extremely dry algebra.
And the physics is this.
If satisfies the time independent shing
equation with energy value e, so does a
plus s but with energy value e plus h
bar omega.
And for this reason, the a+ operator is
referred to as a raising operator
and is one of a pair of ladder
operators.
Have you heard these terms before?
And the other analogous result is the
proof. Um this is one of a pair of
analogous results. And the other result
is
as you can possibly guess.
If Satisfies
the time independent stringer equation
with energy value E then
so does A minus S
but now with energy value E minus H bar
omega
And for this reason,
the proof is very similar to what we
just did. You would just use the other
formula for the Hamiltonian to do it
conveniently.
Are you with me? And I strongly
recommend going home and trying this.
What's the worst thing that can happen?
You'll probably not watch a video you
would have watched otherwise. and lose
20 minutes doing this instead.
Since we are doing
ancient math uh for fun today, you might
as well close this out and try these
things out at home at least once.
We are almost at something very
beautiful. We are ready to construct a
picture. What these two results are
telling us is that somehow through magic
if you happen to have one state sigh and
the corresponding energy E for this
problem.
So you just happen to have this then you
can solve the full problem because you
can then construct the next state
with the next allowed energy value by
just operating the raising operator once
and the next state by operating the
raising operator another time with
corresponding energy value E + 2 H bar
omega and so forth.
So on this side you can climb the ladder
through a plus and on this side you can
climb down the ladder by operating
the lowering operator
and correspondingly lowering the
energies
as follows.
So you could climb down the ladder with
a lowering operator.
This is fantastic
but problematic.
Why is this problematic?
Are you saying that the problem is that
we are only allowed to climb rungs
>> um which are at which are h bar omega or
multiples of h bar omega different from
each other. That's not the problem. That
is in fact the quantum in quantum
mechanics which is that the energy is
quantized and so there are these
discrete discrete allowed levels which
for the quantum harmonic oscillator it
so happens are equaced.
So that's not the problem. The problem
is that yes
>> we we don't have a ground state like
>> why do we need one?
So like maybe you'll have end up with
like a negative energy and that's not
like
>> you're close but what's wrong with that?
>> Almost there. And there's a very cute
argument which I want to give you in 2
minutes which is quite useful to
understand why what you're saying is
true. Okay.
So theorem
E must exceed
the minimum value
of V of X for any quantum mechanical
problem. E must exceed the minimum value
of V of X for normalizable wave
functions.
Can you prove this to me in a couple of
sentences?
In the interest of time, I'll give you
the proof.
This is a deep statement. We are making
a general statement about any potential
and then we'll also apply it to this
problem which will get us to what this
gentleman told us. Pratush
rewrite the time independent shreddinger
equation through trivial rearrangement
as d2 dx2 is 2 m by hr² * vx minus
e * s.
Okay, that is s prime is positive number
time this thing time.
Let's interpret this equation in a
figure.
Since we have second derivative is
positive number times this time the
function
if e
less than v mining
if this term in the brackets is positive
then sp prime and s must have the same
sign.
Are you with me? I'm just reinterpreting
the time independent shinger equation.
Since this is a positive number, if e is
less than v min, that would make this
positive. This and this will have the
same sign. What does that mean in
figures? In figures, that means that s
must be like this,
always bending away from the x-axis.
Do you see why?
Consider let's say
this portion.
If s is increasing with x
and its slope is increasing with x then
you get a function of that form.
So s and s doublep prime both have the
same sign here and the rest of the
shapes follow from symmetry arguments.
So let's step back.
If e is less than v min
s has to always curve away from the
x-axis.
But what's the problem with such a sigh?
If it never curves back down as x goes
to infinity, you cannot normalize this.
Right? S has to go to zero as x tends to
infinity for it to be normalizable.
And so we have proved our theorem. E
must exceed the minimum value of vx for
normalizable s.
Are you wowed?
You barely needed high school math to
make this argument, but it's deep
physics. And so we conclude that we have
a problem with this ladder because our
potential energy was
half m omega² x². What's the minimum
value for this?
0.
The minimum value of our potential for
the harmonic oscillator is zero.
So surely
I cannot indefinitely keep climbing down
this ladder because it has to be kept at
the bottom.
There has to be a lowest energy state
with energy greater than zero for this
theorem to hold.
What gives?
Its energy must be greater than zero.
must exceed.
>> Yeah. So that's why
>> Oh, sorry. You were saying say that
again.
>> No. How do we fix the ladder is the
question.
>> The ladder allows you to climb down
indefinitely. That seems legit. We just
derived this.
But theorem says you can't have uh well-
behaved wave functions
if E is less than V min. How do we
reconcile the two?
Our ladder picture was constructed from
theorems which did not guarantee that
the size we would construct by raising
and lowering the original well- behaved
normalizable size
would themselves be normalizable.
[snorts] Let me say that again. You can
start with
well- behaved normalizable S
and as you apply the raising operator.
The theorem doesn't guarantee that the
new
wave function you have create or new
solution to the time independent
shooting equation you've created is
itself normalizable. It only says that
it solves the time independent shooting
equation. So normalization is not
guaranteed.
Are you with me?
By the same token, as you climb down the
ladder, you have to check if the new
solutions you're creating are
normalizable. And what this theorem is
saying is that at some point you will
hit a non-normalizable
solution which will correspond to the
which
will give you not correspond because
it's which will give you the lowest rung
of the ladder. Let's see how that works.
the lowest rung of the ladder in will in
fact
okay maybe there's one more point that's
worth unpacking before we do this how do
you what does it mean for s to be
non-normalizable what are the options
how can you end up with non-normalizable
size
if size identically zero
okay because then you can't make the
area under the curve for mod square
equal to one which is what we need for
decently behaved probability densities.
So one option is that size is
identically zero that's
non-normalizable.
Another option is that mod s² is
infinity.
It turns out in this case we get the
lowest rung of the ladder
by looking for non-normalizable
size
which are identically zero. So in fact
that gives us the following relation.
If you try to climb down
below the ground state,
you hit a non-normalizable solution.
Is the argument clear?
So, see, we have not only fixed the
ladder, but in fact completely solve the
problem. You don't see it yet, but you
will in two minutes.
To construct this ladder, I needed to
magically have E and S given to me and
then I could construct the rest of the
ladder. But now I have a relation that
is going to give me the ground state.
So I will have when I'm done solving
this the lowest rung of the ladder and
the corresponding energy and then
through this process I can construct
everything else because we already know
how to do that. So no magic needed to
get this pair. We have this.
Okay. So just a little bit algebra left
to unpack this and then we are going to
finish constructing the ladder and solve
the problem and go home.
Here is a minus.
[snorts]
We need to operate it on s not to figure
out what s not is
conveniently the right hand side is
zero. So we can forget about this
prefactor.
So we just have i * p operator which as
you know is h bar / i * ddx
operating on s not plus m omega x
operator is just x is zero. This is a
trivial differential equation
that all of us can solve without any
help from computers,
right?
You'll see in a moment.
This is just d sin over sin equals - m
omega / h bar * x * dx. I've just
rearranged.
This gives us sin not of x goes as
you're going to get x² over two here and
then we have to exponentiate because
you'll have a logarithm here
and so s goes as e ^ of - x² with the
preactor
m omega by 2 h bar
which is the gausian. So you can look up
integral tables to figure out the
prefactor or just do the normalization
yourself to figure out the prefactor.
Doesn't matter what it is. Some
prefactor which is given by
normalization.
We have
s not and the ladder stops at s not. So
we've cleaned up this picture.
[snorts] This is now s
and we know how to construct everything
else provided we have e not. How do we
find e not?
Almost there.
We go back to our dear friend the
shreddinger equation
and make a wise choice for the
Hamiltonian again from the relations
I've erased.
We in fact choose h bar omega * a + a
minus plus half operating on
s
equals e sin not you can check this in
your notes that I got this right and the
reason I chose this is that conveniently
a minus operating on the ground state
gives us zero that's how we identified
the ground state
correct Right? So this term drops out
and you're left with h bar omega * half
* sin not
equals e sin.
Taa we are done.
E K is half H bar omega.
So we have solved the full problem.
For completion, let me write down
what happens when you take the pair s
not and e not e not and successively
construct the first excited state and
the next excited state and the next
excited state and so on using the
raising operator. You end up with as you
can directly read off from our ladder
picture, en is n + half h bar omega
corresponding to
n applications of the raising operator
to saut.
for which we have an explicit formula.
That's your s n
with the caveat that you must remember
to normalize at each rung of the ladder.
And that's just the normalization
constant
solved.
What we have d Go ahead please loudly.
[applause]
Once you go back home and process this
and internalize this, I want you to
appreciate at least some of the many
ways in which we have derived some
profoundly disturbing results about the
harmonic oscillator
and see how you would close the gap
between here
and what we did in our lightning
introduction with what the classical
harmonic oscillator
What's oscillating?
It was very clear in the classical case
what was oscillating.
Where are the oscillations?
Energy is quantized. Well, that's why
it's quantum mechanics.
What does that mean?
What does it mean that the ground state
has
this nonzero energy half h bar omega?
There are several physics courses over
which these profoundly disturbing facets
of this quantum result can be unpacked.
But there are a few that you can try at
home already. Are you familiar with the
earnfest theorem?
Is that how I say it? Let me write it
down in case you pronounce it
differently.
I am sure you have seen this in a
problem even if you haven't learn to
identify it by that name.
It is a result that tells you how you
recover the classical picture from the
quantum mechanical version.
I want those of you who feel motivated
to take what you've learned today and
extract the maximum physics for all the
sweaty algebra we've done
to look up Earnfest theorem and see
where the oscillations can be recovered
from. How do you recover the classical
oscillator from those?
One more thing to try at home and then
I'll stop.
You can now construct explicit
expressions for
well let me just stop with Earnfest
theorem. You can clap again and we'll
call it job well done. [applause]