online advertising
Processing math: 62%

Saturday, May 30, 2015

Exploring Quantum Physics - Good bye

With the last final exam solution posted - this post mark the end to this series of Quantum physics posts. 

Looking backward in this couple month, it seems so amazing that I could accomplish this many problems - with around 10 problems every week for 8 weeks, that amounts to about 80 problems.

Let me end this post with my special thanks to the professors who gave us the course, this journey is simply amazing.

Exploring Quantum Physics - Final Exam Part 2 Question 6

Question:

What is the required frequency stir an atom is a trap of 20 micron radius to put the an atom with in L3=1×?

Solution:

Disclaimer - I have got this problem wrong - and there is no official solution yet, so this is at best a sharing of my idea.

The Bohr model gives mvr=n. The problem requires n=1, so we got almost everything in this equation, except v .

If a stirrer is operating at a certain frequency f, then a particle being stirred will have travelled a circle in one period of time, in other words, v=dT=2πrT=2πrf.

Substitute this back to the equation we get

m(2πrf)r=. So f=2πr2m=hr2m=43Hz

I didn't know what I pick 106Hz at that point - perhaps I was just too nervous. I am not sure if the current answer is correct either. But that's the idea - the problem isn't too hard. It is just that the climax was just too high :p

Exploring Quantum Physics - Final Exam Part 2 Question 5

Question:

What is the exact energy for the Hamiltonian of the previous problem.

Solution:

So we get started with the original equation again

ˆHΨ(r)=22μ2Ψ(r)+krΨ(r)=EΨ(r)

We were given a wonderful substitutionΨ(r)=ψ(r)r so that 2Ψ(r)=1r2ψ(r)r2. Using it, we get

22μ1r2ψ(r)r2+krψ(r)r=Eψ(r)r

Multiply by r on both side, we get the standard form

22μ2ψ(r)r2+krψ(r)=Eψ(r)

This is simply the bouncing ball potential if we set μ=M and k=Mg, therefore the ground state energy is simply

E0=αρ0=(2Mg22)1/3ρ0=(2M(kM)22)1/3ρ0=(2k2M2)1/3ρ0=(2k22M)1/3ρ0=(2k22μ)1/3ρ0=(2k2μ)1/3(12)1/3ρ0

So that's the answer - I have got this wrong just because I am not using the numerically accurate enough ρ0 - Ooops - too bad.

Exploring Quantum Physics - Final Exam Part 2 Question 4

Question:

What is the Gaussian variational estimate of the ground state energy for the following potential:

ˆHΨ(r)=22μ2Ψ(r)+krΨ(r)=EΨ(r)

Solution:

I see this as the climax of the whole exam. The original problem statement has a lot of other hints, but I still get this wrong due to some inaccuracy.

First, we substitute the standard Gaussian to the kinetic energy term. I've got inaccuracy here so the whole problem is wrong. So let's do that here again.


22μ2Ψ(r)=22μ21π3/4d3/2exp(r22d2)=22μ21π3/4d3/2exp(r21+r22+r232d2)=22μπ3/4d3/22exp(r21+r22+r232d2)=22μπ3/4d3/2(r1d2,r2d2,r3d2)exp(r21+r22+r232d2)=22μπ3/4d3/2(r21d41d2+r22d41d2+r23d41d2)exp(r21+r22+r232d2)=22μπ3/4d3/2(r21d4+r22d4+r23d43d2)exp(r21+r22+r232d2)

To find the energy, we do an integration

T=1π3/4d3/2exp(r22d2)(22μπ3/4d3/2(r21d4+r22d4+r23d43d2)exp(r21+r22+r232d2))dV=1π3/4d3/2exp(r21+r22+r232d2)(22μπ3/4d3/2(r21d4+r22d4+r23d43d2)exp(r21+r22+r232d2))dV=1π3/4d3/222μπ3/4d3/2exp(r21+r22+r232d2)((r21d4+r22d4+r23d43d2)exp(r21+r22+r232d2))dV=22μπ3/2d3((r21d4+r22d4+r23d43d2)exp(r21+r22+r23d2))dV=22μπ3/2d5((r21d2+r22d2+r23d23)exp(r21+r22+r23d2))dV=22μπ3/2d5((r21d2+r22d2+r23d2)exp(r21+r22+r23d2))dV+22μπ3/2d5(3exp(r21+r22+r23d2))dV=22μπ3/2d7((r21+r22+r23)exp(r21+r22+r23d2))dV+22μπ3/2d5(3exp(r21+r22+r23d2))dV

In this form, we can see this is a Gaussian variance integral. We know that 12πσ2ex22σ2dx=1 and x212πσ2ex22σ2dx=σ2, so we can compute the basic integrals as follow:

exp(x2d2)dx=exp(x22(12)d2)dx=exp(x22(12)2d2)dx=exp(x22(d2)2)dx=2π(d2)212π(d2)2exp(x22(d2)2)dx=2π(d2)2=πd x2exp(x2d2)dx=x2exp(x22(12)d2)dx=x2exp(x22(12)2d2)dx=x2exp(x22(d2)2)dx=2π(d2)212π(d2)2x2exp(x22(d2)2)dx=2π(d2)2(d2)2=πd32


With these basic integral - computing T becomes a substitution exercise. The above are triple integrals and therefore we turn it into iterated integral and compute them.

T=22μπ3/2d7((r21+r22+r23)exp(r21+r22+r23d2))dV+22μπ3/2d5(3exp(r21+r22+r23d2))dV=22μπ3/2d7(3πd32πdπd)+22μπ3/2d5(3πdπdπd)=324μd2+322μd2=324μd2

Next we move on an compute V, another integral

V=ΨkrΨdV=1π3/4d3/2exp(r22d2)kr1π3/4d3/2exp(r22d2)dV=1π3/2d3exp(r22d2)krexp(r22d2)dV=1π3/2d3krexp(r2d2)dV

Despite the deceptive simplicity in the formula, it is a triple integral with r being the length of the vector. Now it make sense to convert this to spherical coordinates.

=1π3/2d34πkr3exp(r2d2)dr

Let we let s=r2d2, ds=2rd2dr, so we further simplify this to

=1π3/2d34πkr3exp(s)dr=1π3/2d34πkr3d22rexp(s)ds=1π3/2d34πkr2d22exp(s)ds=1π3/2d34πkr2d42d2exp(s)ds=1π3/2d34πkd42sexp(s)ds=2kdπ1/2sexp(s)ds=2kdπ1/2Γ(2)=2kdπ1/2

So the total energy is T+V=324μd2+2kdπ1/2. To estimate the ground state we would want to minimize it.

0=ddd(T+V)=ddd(324μd2+2kdπ1/2)=3(2)24μd3+2kπ1/23(2)24μd3=2kπ1/2d3=3(2)2π1/24(2k)μ=32π1/24kμ

Finally, we substitute this back into the energy expression

T+V=324μd2+2kdπ1/2=32d4μd3+2kdπ1/2=32d4μ(32π1/24kμ)+2kdπ1/2=kdπ1/2+2kdπ1/2=3kdπ1/2=3kπ1/2(32π1/24kμ)1/3=(81k32π1/24kμπ3/2)1/3=(81k224πμ)1/3=(814π)1/3(2k2μ)1/3

Phew - that's it! What a climax.

Monday, May 25, 2015

Exploring Quantum Physics - Final Exam Part 2 Question 3

Question:

Despite the very long description - question 3 by itself is trivial. In some sense, it is just a hint for the upcoming questions. To a bare minimum, the question listed a bunch of quantity and asked which one has to unit of energy. So all we have to do is to match dimensions.

Solution:

Energy unit
= Force times Distance
= Mass times Acceleration times Distance
= M(LT-2)(L)
= ML2T-2

kr = Energy
Therefore k has a unit of Force MLT-2

Planck's constant has unit of Joule Second = Energy Second = ML2T-1

Finally μ has unit of mass.

So 2k2μ has unit (ml2t1)2(mlt2)2m=m3l6t6

Therefore we see (2k2μ)1/3 has the unit of energy.

Exploring Quantum Physics - Final Exam Part 2 Question 2

Question:

What is the value of j|x|k where |j and |k are the j and k eigen function of the Quantum Harmonic Oscillator?

Solution:

As a disclaimer, I didn't quite solve the problem completely in the exam. But I get the correct answer.

The key annoying piece is the x inside the sandwich. We just break it down into ladder operators.

ˆx=22mω(ˆa+ˆa).

Substitute this back into j|x|k, we have got


j|x|k=j|22mω(ˆa+ˆa)|k=22mωj|(ˆa+ˆa)|k=22mω(j|ˆa|k+j|ˆa|k)=22mω(k+1j|k+1+kj|k1)=22mω(k+1δj,k+1+kδj,k1)

Sunday, May 24, 2015

Exploring Quantum Physics - Final Exam Part 2 Question 1

Question:

Given:

s3|=2| and s3|=2|

Find

s312(|↑↓|↓↑)

Solution:

Disclaimer: My answer is wrong.

It seems to be a really simple question, just apply the definitions.

s312(|↑↓|↓↑)=12s3[||,||]=12[|2+2|,2|2|]=212[|+|,||]

Now I am stuck, it appears the vector I get is not in the choices. For the exam, I guessed an answer, and got the wrong answer.

Exploring Quantum Physics - Final Part 1 Question 10

Question:

Considering the linear oscillator chain system, which was discussed in Lecture 8, what is the minimum energy required to excite an acoustic phonon?

Solution:

Any arbitrarily small energy can excite a phonon. I recalled this in the lectures.

This conclude the first part of the final exam.

Exploring Quantum Physics - Final Part 1 Question 9

Question:

What is the probability that the particle in the ground state of a 1 dimensional delta potential get to an excited state when the potential suddenly double its strength?

Solution:

I attempted the exam before I watch week 8 lecture 16, and the approach to this problem is discussed there. I am really thrilled because I used exactly the same procedure as the lecture told us to without watching it first!

The key idea is that the wave function is unchanged when the potential suddenly change, but then it suddenly becomes a linear combination of eigen functions in the doubled potential. To find out if it is excited, we compute the probability that it is still in the ground state using the inner product.

The probability that it is still in the ground state is (ψ0,α|ψ0,2α)2.

We are given that
ψ0,α(x)=mαexp(mα|x|2)

So the required integral can be computed as:

mαexp(mα|x|2)2mαexp(2mα|x|2)dx=2mα2exp(3mα|x|2)dx=2mα2(0exp(3mα|x|2)dx+0exp(3mα|x|2)dx)=2mα2(0exp(3mαx2)dx+0exp(3mαx2)dx)=2mα2(23mαexp(3mαx2)|0+23mαexp(3mαx2)|0)=2mα2223mα=223

So the probability that the particle stay in ground state is (223)2=89, and the probability that it get excited is 19.

Exploring Quantum Physics - Final Exam Part 1 Question 8

Question:

What are the eigen energies for this system?

ˆH=22md2dx2+12mω2x2qEx

Solution:

Using the given substitution z=xqEω2m, we have

(22md2dx2+12mω2x2qEx)ψ(x)=Eψ(x)(22md2dz2+12mω2(z+qEω2m)2qE(z+qEω2m))ψ(z+qEω2m)=Eψ(z+qEω2m)(22md2dz2+12mω2(z+qEω2m)2qEzq2E2ω2m)ψ(z+qEω2m)=Eψ(z+qEω2m)(22md2dz2+12mω2(z2+2zqEω2m+(qEω2m)2)qEzq2E2ω2m)ψ(z+qEω2m)=Eψ(z+qEω2m)(22md2dz2+12mω2z2+qEz+q2E22ω2mqEzq2E2ω2m)ψ(z+qEω2m)=Eψ(z+qEω2m)(22md2dz2+12mω2z2+q2E22ω2mq2E2ω2m)ψ(z+qEω2m)=Eψ(z+qEω2m)(22md2dz2+12mω2z2q2E22ω2m)ψ(z+qEω2m)=Eψ(z+qEω2m)(22md2dz2+12mω2z2)ψ(z+qEω2m)=(E+q2E22ω2m)ψ(z+qEω2m)

Now we know E+q2E22ω2m=ω(n+12), in other words, E=ω(n+12)q2E22ω2m

Saturday, May 23, 2015

Exploring Quantum Physics - Final Exam Part 1 Question 6/7

Question:

Given a system with non-positive energy and energy = 0 at infinity, do it have a bound state.

Solution:

For delta potential, we already know the answer, for 1 or 2 dimension we have bound state but for 3 we don't.

A reasonable conjecture, would then be, to conjecture we always have bound state for 1 or 2 dimension potential well, and may or may not have a bound state for 3 dimension.

It turns out to be true. See this as a theorem.

http://physics.stackexchange.com/questions/143630/why-the-statement-there-exist-at-least-one-bound-state-for-negative-potential

Exploring Quantum Physics - Final Exam Part 1 Question 5

Question:

Given a potential with a single discontinuity at x=0, what is the right choice for the wave function?

Solution:

The basic principle is that the wave function must agree value at the boundary. The only choice that allow this is Asin(kx)θ(x)

Exploring Quantum Physics - Final Exam Part 1 Question 4

Question:

How is the behavior of resitivity in weakly-disordered metals at low temperatures different in 3 dimensions versus one and two dimensions?

Solution:

The answer is:
In one and two dimensions weak scattering can lead to localization effects and an upturn in the resistivity at low temperatures.

I just vaguely recall this has to do with random walk. For 1 or 2 dimensional random walk they return to origin almost surely and therefore there are paths inference, but for 3 dimension that does not happen.

Exploring Quantum Physics - Final Exam Part 1 Question 3

Question:

How to reduce the Feynman Integral to classical action?

Solution:

Recall that the Feynman Integral reduce to classical action when we take the exponential term to minimum, as required for the Laplace method. So the answer is

δS[x(t)]=0

Tuesday, May 19, 2015

Exploring Quantum Physics - Final Exam Part 1 Question 2

Question:

What are the following choices are valid solution for the time dependent Schrodinger equation?

Solution:

This is a trivial problem, just substitute the choices in the time dependent Schrodinger equation and verify.

Note that there cannot be a purely real solution - so two choices go away. Be careful with signs, that's all.

Exploring Quantum Physics - Final Exam Part 1 Question 1

Question:

What is the probability of finding the particle in the left hand side of the box under the particle in a box potential?

Solution:

12. Left and right is symmetric.

Sunday, May 17, 2015

Exploring Quantum Physics - Week 7 Question 10

Question:

Suppose we have a wave function of an electron under an electric field, what would the wave function be in the anti technique we just derived?

Solution:

We just simply do αβ to both side of the equation, that gives.

iΨF(x,t)t=(cˆαˆpqFˆx+mc2ˆβ)ΨF(x,t)iˆαˆβΨF(x,t)t=(cˆαˆpQFˆx+Mc2ˆβ)ˆαˆβΨF(x,t)iˆαˆβΨF(x,t)t=(cˆαˆpQFˆx+Mc2ˆβ)ˆαˆβΨF(x,t)iˆαˆβΨF(x,t)t=ˆα(cˆαˆpQFˆxMc2ˆβ)ˆβΨF(x,t)iˆαˆβΨF(x,t)t=ˆαˆβ(cˆαˆpQFˆxMc2ˆβ)ΨF(x,t)iˆαˆβΨF(x,t)t=ˆαˆβ(cˆαˆp+QFˆx+Mc2ˆβ)ΨF(x,t)

So the new 'particle' has the charge flipped and the mass stay the same - that envisions positron!

Exploring Quantum Physics - Week 7 Question 9

Question:

How to construct another wave-function from one such that it overall gain a negative sign in the Dirac equation?

Solution:

The Dirac equation is:

iΨt=(ˆαˆp+mc2ˆβ)Ψ.

We know {α,β}=αβ+βα=0, so we have αβ=βα, that how a negative sign is introduced.

So all we need to do to make sure it gain an overall negative sign is simply make sure we have odd number of  αβ.

That explains the existence of anti matter!

Exploring Quantum Physics - Week 7 Question 8

Question:

What is the average velocity ψ0|v1|ψ0

Solution:

Without going through the calculation, there is no reason why there are any asymmetry. The solution should be 0.

Exploring Quantum Physics - Week 7 Question 7

Question:

Compute the root mean square of electron velocity in ground state quantized motion under the Earth's constant magnetic field.

Solution:

The problem seems daunting at first. But experience tell me once again this is most likely just number substituting exercise, so let's try expanding ˆaˆa and see what is going on there.

ˆaˆa=m2ω(^v1i^v2)(^v1+i^v2)=m2ω(^v12+^v22+i[^v1,^v2])=m2ω(^v12+^v22+i(iωm))=m2ω(^v12+^v22ωm)

So we can expand H2D as follow:

H2D=ω(ˆaˆa+12)=ω(m2ω(^v12+^v22ωm)+12)=m2(^v12+^v22ωm)+ω2=m2(^v12+^v22)ω2+ω2=m2(^v12+^v22)

Now we will equate the ground state energies

ϵ0|ψ0=H2D|ψ0ψ0|ϵ0|ψ0=ψ0|H2D|ψ0ϵ0ψ0|ψ0=ψ0|H2D|ψ0ϵ0=ψ0|H2D|ψ0hω2=ψ0|H2D|ψ0hω2=ψ0|m2(^v12+^v22)|ψ0hω2=m2ψ0|(^v12+^v22)|ψ0hωm=ψ0|(^v12+^v22)|ψ0

Last but not least, the actual value root mean square value is 32.15.

Exploring Quantum Physics - Week 7 Question 6

Question:

What is the exact energy?

Solution:

To solve the equation, we use a substitution z=ζz0.

22md2Ψdz2+mω22z2Ψ+mgzΨ=EexactΨ22md2Ψdζ2+mω22(ζz0)2Ψ+mg(ζz0)Ψ=EexactΨ22md2Ψdζ2+mω22(ζ22ζz0+z20)Ψ+mg(ζz0)Ψ=EexactΨ

Now we see a convenient choice for z0 would be gω2, because that would give

22md2Ψdζ2+mω22(ζ22ζz0+z20)Ψ+mg(ζz0)Ψ=EexactΨ22md2Ψdζ2+mω22(ζ22ζgω2+z20)Ψ+mg(ζz0)Ψ=EexactΨ22md2Ψdζ2+mω22(ζ2+z20)Ψmgz0Ψ=EexactΨ22md2Ψdζ2+mω22ζ2Ψ=(Eexact+mgz0mω22z20)Ψ

Therefore, for ground state, we have ,.

hω2=Eexact+mgz0mω22z20Eexact=hω2mgz0+mω22z20=hω2mggω2+mω22(gω2)2=hω2mg2ω2+mω2g22ω4=hω2mg2ω2+mg22ω2=hω2mg22ω2

Exploring Quantum Physics - Week 7 Question 5

Question:

What happen to E2 in classical limit 0?

Solution:

E2 is independent of .

Exploring Quantum Physics - Week 7 Question 4

Question:

Compute the second order energy.

Solution:

Now we pick the terms for second order.

H0ψ2+Vψ1=E0ψ2+E1ψ1+E2ψ0.

To find E2, we take inner product with ϕ0. That gives

ϕ0|H0|ψ2+ϕ0|V|ψ1=ϕ0|E0|ψ2+ϕ0|E1|ψ1+ϕ0|E2|ψ0.

As in lecture, the terms cancels, and we already establish E1=0, so we have

ϕ0|V|ψ1=E2.

But we still don't know what is ψ1, what can we do now?

Note that V=mgz, so we can relate ϕ0|V with ϕ1 as follow.

ϕ1|=12ϕ0(2mωz)=2mω21mgϕ0mgz=2mω21mgϕ0|Vϕ1|ψ1=2mω21mgϕ0|V|ψ1mgω2mω=2mω21mgϕ0|V|ψ1mg22ω2=ϕ0|V|ψ1

The last equal sign involve messy cancelation, but at the end that's the perfect result I needed!

Saturday, May 16, 2015

Exploring Quantum Physics - Week 7 Question 3

Question:

What are the conditions that is true about ψ1.

Solution:

We had the equation H0ψ1+Vψ0=E0ψ1+E1ψ0.

With the last solution we can drop the last term.

Now consider the inner product of this equation with the eigenfunctions of the Quantum Harmonic Oscillator.

ϕk|H0|ψ1+ϕk|V|ψ0=E0ϕk|ψ1

Being eigenfunction of the H0, we can simplify the first term, and substitute in the eigen energies.

ω(k+12)ϕk|ψ1+ϕk|V|ψ0=ω(12)ϕk|ψ1

So it obviously simplify to

ωkϕk|ψ1+ϕk|V|ψ0=0

From this form, it is clear that we need to evaluate ϕk|V|ψ0. By symmetry, ϕ0|V|ψ0 and ϕ2|V|ψ0 are 0, so the key term to evaluate is ϕ1|V|ψ0

ϕ1|V|ψ0=dz(12(mωπ)1/4exp(mωz22)2(mω)1/2z)mgz((mωπ)1/4exp(mωz22))=2mg12(mω)1/2(mωπ)1/2dzz2(exp(mωz2))=2mg(mω)12πdzz2(exp(mωz2))

The integral can be seen as the variance of a normal distribution with variance = 2mω, so we will do the integral as follow:

2mg(mω)12πdzz2(exp(mωz2))=2mg(mω)2mω12π2mωdzz2(exp(mωz2))=2mg(mω)2mω(2mω)=mg2mω

To complete this, we substitute it back to get the result we need.

ωkϕk|ψ1+ϕk|V|ψ0=0ωϕ1|ψ1+ϕ1|V|ψ0=0ωϕ1|ψ1+mg2mω=0ωϕ1|ψ1=mg2mωϕ1|ψ1=mgω2mω

Lot of work just to show it is non-zero, but we will need it for the next problem.

Exploring Quantum Physics - Week 7 Question 2

Question:

What is the first order energy for the Quantum Harmonic Oscillator under gravity?

Solution:

We will use perturbation theory.

First, as usual, we let E=k=0Ekλk, ψ=k=0ψkλk.

Substitute these back to the Schrodinger equation. We get this by picking the terms with λ to the first order.

λ(H0ψ1+Vψ0)=λ(E0ψ1+E1ψ0)

That allow us to show, E1=ψ0|V|ψ0.

We know from the Quantum Harmonic Oscillator that ψ0=(mωπ)1/4exp(mωz22).

So the rest is just an integration.

dx((mωπ)1/4exp(mωz22))mgz((mωπ)1/4exp(mωz22))=(mωπ)1/2mgdxz(exp(mωz2))

Lot of typesetting, but it is now obvious the first order energy is 0 because of the symmetry.

Thursday, May 14, 2015

Exploring Quantum Physics - Week 7 Question 1

Question:

What are the parameters in the exponential function of the base state of the Quantum Harmonic Oscillator.

Solution:

m,ω,.

Exploring Quantum Physics - Week 6 Bonus Question

Question:

Prove that lml for |lm is both an eigenvector of L2 and L3.

Solution:

Thanks Gang Xu for the ladder operator hint.

L3L±|lm=(L±L3L±L3+L3L±)|lm=(L±L3+L3L±L±L3)|lm=(L±L3+[L3,L±])|lm=(L±L3+±L±)|lm=(L±m+±L±)|lm=(m±1)L±|lm

To proceed, we need to know one more identity

LL+=(L1iL2)(L1+iL2)=(L21iL2L1+iL1L2+L22)=(L21+L22)+iL1L2iL2L1=(L21+L22)+i[L1,L2]=(L21+L22)+i(iL3)=(L21+L22)L3=L2L23L3

So we can combine the two identities into a single one L±L=L2L23±L3. Now we can efficiently do both at the same time

L2L±|lm=(L±L+L23L3)L±|lm=(L±LL±+L23L±L3L±)|lm=(L±(L2L23L3)+L23L±L3L±)|lm=(L±(L2L23L3)+L23L±2(m±1)L±)|lm=(L±(L2L23L3)+L3(m±1)L±2(m±1)L±)|lm=(L±(L2L23L3)+(m±1)L3L±2(m±1)L±)|lm=(L±(L2L23L3)+2(m±1)2L±2(m±1)L±)|lm=(L±(L2L232m)+2(m±1)2L±2(m±1)L±)|lm=(L±(L2L3m2m)+2(m±1)2L±2(m±1)L±)|lm=(L±(L2mL32m)+2(m±1)2L±2(m±1)L±)|lm=(L±(L22m22m)+2(m±1)2L±2(m±1)L±)|lm=(L±(2l(l+1)2m22m)+2(m±1)2L±2(m±1)L±)|lm=((2l(l+1)2m22m)L±+2(m±1)2L±2(m±1)L±)|lm=(2l(l+1)2m22m+2(m±1)22(m±1))L±|lm=2(l(l+1)m2m+(m±1)2(m±1))L±|lm=2(l(l+1)m2m+m2±2m+1(m±1))L±|lm=2(l(l+1)m±2m+1(m±1))L±|lm=2(l(l+1))L±|lm

The last equality comes from just plus or minus sign case study - they will all cancel in either case. In retrospect - this result is not surprising, as L2 is supposed to commute with L1 and L2. That is so far I can go.

Tuesday, May 12, 2015

Exploring Quantum Physics - More angular momentum commutators

The goal of this post is to compute [La,Ld].

We'll prove something more basic first, let's start with [xapb,xc]. This one is basic, we have

[xapb,xc]=xapbxcxcxapb=xapbxcxaxcpb=xa(pbxcxcpb)=xa[pb,xc]=iδbcxa.

Similarly we can also do [xapb,pc], using essentially the same trick

[xapb,pc]=xapbpcpcxapb=xapcpbpcxapb=(xapcpcxa)pb=[xapc]pb=iδacpb.

I thought I will use these relations to prove the [La,Ld] relation, but I was wrong. We should always use closest established result, which is [La,xb] and [La.pb].

[La,Ld]=[La,ϵbcdxbpc]=ϵbcd[La,xbpc]=ϵbcd([La,xb]pc+xb[La,pc])=ϵbcd(iϵabexepc+iϵacfxbpf)

The expression seems complicated but it could be simplified. Let focus on one term at a time

iϵbcdϵabexepc=iϵbcdϵbeaxepc=i(δadδceδacδde)xepc

Similarly, we can get the right hand side as

iϵbcdϵacfxbpfiϵcdbϵcfaxbpf=i(δabδdfδadδbf)xbpf

The key idea to simplification is that b and f are just running index in the second term, we can rename it as we wish. Apparently, we want be and fc, so we can write the second term as

i(δabδdfδadδbf)xbpf=i(δaeδcdδadδce)xepc

So if we put them back together, we get:

[La,Ld]=i(δadδceδacδde)xepc+(δaeδcdδadδce)xepc=i(δaeδcdδacδde)xepc=i(xapdxdpa)

To complete the circle, let's prove the answer is iϵadbLb

iϵadbLb=iϵadbϵcebxcpe=iϵbadϵbcexcpe=i(δacδdeδaeδcd)xcpe=i(xapdxdpa)

No wonder professor said this is complicated.

Exploring Quantum Physics - More about Hermitian Operator

It always confuse me when we have equation like this

ψ|ˆA

What on earth does that mean? Why do we put an operator to the left of the function being applied?
I decided to dig deeper.

According to Wikipedia, a Hermitian Operator in a Hilbert space has this property.

ˆAx,y=x,ˆAy. The angle brackets are NOT bra-ket notation, they represents inner product.

So we can write ˆAx|ˆBy=x|ˆAˆBy. This time we indeed mean the bra-ket notation.

Saturday, May 9, 2015

Exploring Quantum Physics - Week 6 Question 11

Question:

What is the ground state energy of a bouncing neutron under the simplified, constant gravitational field?

Solution:

Just substitute the values into the equations in the lectures to give the answer:

α=(2Mg22)1/3=9.64×1032
E=ρα=2.25×1031
T=Ek=1.63×108

So the answer is 16 nano-kelvin.

Exploring Quantum Physics - Week 6 Question 10

Question:

Do all states of this new Hamiltonian that have the same energy also have the same parity?

Solution:

No, it is possible to have |1|1|2 to have energy 6ω and |1|3|1 to have energy 6ω. But they have different parity. The former is even and the latter is odd.

Exploring Quantum Physics - Week 6 Question 9

Question:

Does the angular momentum operator commute with the Hamilionian in this asymmetric potential?

Solution:

Yes. The same reasoning applies just as question 7 does.

Turn out I am wrong - it commutes only with L3.
The expression I used in question 7 assumes all coefficients are the same, but this one isn't. Some terms may not cancel.

Exploring Quantum Physics - Week 6 Question 8

Question:

What is the ground state energy of the potential V(x1,x2,x3)=Mω22(x21+x22+4x23)

Solution:

Following the same mindset in Question 4. The ground state energy is really just the sum of ground state energies, so that would be

ω12+ω12+2ω12=2ω.

Exploring Quantum Physics - Week 6 Question 7

Question:

Does the angular momentum operator commutes with the Hamilitonian in the isotropic potential?

Solution:

The Hamilitonian operator is ˆH=ˆp22m+ˆV.

[Lk,H]=[Lk,ˆp22m+ˆV]=12m[Lk,ˆp2]+[Lk,ˆV]

Again, in order not to clutter the derivation, let's solve a subproblem first.

[La,ˆp2]=[La,pbpb]=[La,pb]pb+pb[La,pb]=ϵabcpcpb+pbϵabcpc=ϵabcpcpb+pbϵabcpc=2ϵabcpbpc=0

The last equality comes from the fact that the sum cancel each other! Suppose a=1, then the non-vanishing terms of the sum is just p2p3p3p2, which is simply 0. Looking backward, if I go just a little further with my question 3, I would have reach the same result. Now let's solve the potential side

[La,xbxb]=[La,xb]xb+xb[La,xb]=ϵabcxcxb+xbϵabcxc=ϵabcxcxb+xbϵabcxc=2ϵabcxbxc=0

The reasoning is identical, so the commutator is just 0.

Exploring Quantum Physics - Week 6 Question 5, 6

Question:

A state Ψ(x1,x2,x3) is said to have even parity if Ψ(x1,x2,x3)=Ψ(x1,x2,x3) and odd parity if Ψ(x1,x2,x3)=Ψ(x1,x2,x3).

5) What is the parity of the wave function |n1|n2|n3

6) Is it true that same energy implies same parity.

Solution:

This one is simple. For the basic quantum harmonic oscillator solution, even energy is even function, odd energy is odd function.

Together with the basic facts

Product of two even functions is a even function.
Product of two odd functions is a even function.
Product of an even function with an odd function is an odd function.

We deduce the the wavefunction is even parity if n1+n2+n3 is even, and it is odd parity if n1+n2+n3 is odd.

Now question 6 is obvious - by question 4 energy depends on sum of indices - and by question 5 parity depends on sum of indices. So if we have the same energy, we must also have the same parity!

Exploring Quantum Physics - Week 6 Question 4

Question:

Given an isotropic Quantum Harmonic Oscillator, what is the ground state energy.

ˆH=22M2+V(x1,x2,x3)=22M2+Mω22(x21+x22+x23).

Solution:

The Hamilitonian can be written as a sum
ˆH=22M2+Mω22(x21+x22+x23)=22M(2x21+2x22+2x23)+Mω22(x21+x22+x23)=3k=1(22M2x2k+Mω2x2k2)

In this form, we can easily see the energy is just the sum of three harmonic oscillator, so the answer is ω(n1+n2+n3+32).
Phew - finally an easier question - blocked on question 3 for so long.

Exploring Quantum Physics - Week 6 Question 3

Question:

What is [LL,ˆrˆp]?

Solution:

At this point I still don't know the solution. But I think it might be beneficial at this point to try to typeset whatever I have right now. Maybe that's the key to completion of the complicated piece.

This is just really complicated. Anyway, we need to start somewhere.

[LL,ˆrˆp]=[LaLa,xbpb]=[LaLa,xb]pb+xb[LaLa,pb]

To avoid getting too complicated - now we focus on the first term

[LaLa,xb]=[La,xb]La+La[La,xb]=(ϵabcixc)La+La(ϵabcixc)=ϵabci(xcLa+Laxc)=ϵabci(xc(ϵadexdpe)+(ϵadexdpe)xc)=ϵabcϵadei(xcxdpe+xdpexc)

Now we work on the second term

[LaLa,pb]=[La,pb]La+La[La,pb]=(ϵabcipc)La+La(ϵabcipc)=ϵabci(pcLa+Lapc)=ϵabci(pc(ϵadexdpe)+(ϵadexdpe)pc)=ϵabcϵadei(pcxdpe+xdpepc)

And then we substitute them back

[LL,ˆrˆp]=[LaLa,xb]pb+xb[LaLa,pb]=ϵabcϵadei(xcxdpe+xdpexc)pb+xbϵabcϵadei(pcxdpe+xdpepc)=ϵabcϵadei(xcxdpepb+xdpexcpb+xbpcxdpe+xbxdpepc)=(δbdδceδbeδcd)i(xcxdpepb+xdpexcpb+xbpcxdpe+xbxdpepc)=i((xcxbpcpb+xbpcxcpb+xbpcxbpc+xbxbpcpc)(xcxcpbpb+xcpbxcpb+xbpcxcpb+xbxcpbpc))=i((xbxcpbpc+xbpcxcpb+xbpcxbpc+xbxbpcpc)(xcxcpbpb+xcpbxcpb+xbpcxcpb+xbxcpbpc))=i((xbpcxbpc+xbxbpcpc)(xcxcpbpb+xcpbxcpb))

When b and c are equal, the expression above is 0, so we can focus on the case when bc, in that case the operator commutes!

[LL,ˆrˆp]=i((xbpcxbpc+xbxbpcpc)(xcxcpbpb+xcpbxcpb))=i((xbxbpcpc+xbxbpcpc)(xcxcpbpb+xcxcpbpb))=i(2xbxbpcpc2xcxcpbpb)=2i(xbxbpcpcxcxcpbpb)

This is the end - I have no trick to further simplify this. It appears to me no choice matches this.

Now we try something else - discussion forum suggest I can try expanding the operators the other way round.

\begin{eqnarray*} & & [L \cdot L, \hat{r} \cdot \hat{p} ] \\ &=& [L_a L_a, x_b p_b ] \\ &=& [L_a L_a, x_b p_b ] \\ &=& [L_a, x_b p_b] L_a + L_a [L_a, x_b p_b] \end{eqnarray*}

Oh - leveraging the previous question - this is just zero?

Thursday, May 7, 2015

Exploring Quantum Physics - Question 2

Question:

What is [\hat{L_1}, \hat{r} \cdot \hat{p}]

Solution:

With the identity and the experience deriving those, it is not complicated anymore.

\begin{eqnarray*} [\hat{L_1}, \hat{r} \cdot \hat{p}] &=& [\hat{L_1}, \hat{x_a}\hat{p_a}] \\ &=& [\hat{L_1}, \hat{x_a}]\hat{p_a} + \hat{x_a}[\hat{L_1}, \hat{p_a}] \\ &=& (\epsilon_{1ab}\hat{x_b})\hat{p_a} + \hat{x_a}(\epsilon_{1ab}\hat{p_b}) \\ &=& \epsilon_{1ab}(\hat{x_b}\hat{p_a} + \hat{x_a}\hat{p_b}) \\ &=& \hat{x_3}\hat{p_2} + \hat{x_2}\hat{p_3} - \hat{x_2}\hat{p_3} - \hat{x_3}\hat{p_2} \\ &=& 0 \end{eqnarray*}

Exploring Quantum Physics - More commutators

In this post we will talk about the angular momentum operator and their commutators. The angular momentum operator is \hat{L} = \hat{r} \times \hat{p} , so we can write \hat{L_c} = \epsilon_{abc}\hat{x_a}\hat{p_b} , and we wanted to compute [\hat{L_a}, \hat{x_d}] and [\hat{L_a}, \hat{p_b}] .

Given the principle we learnt in the last post. I will try to work in abstract as much as I can. It works great this way.

\begin{eqnarray*} [\hat{L_c}, \hat{x_d}] &=& [\epsilon_{abc}\hat{x_a}\hat{p_b}, \hat{x_d}] \\ &=& \epsilon_{abc}[\hat{x_a}\hat{p_b}, \hat{x_d}] \\ &=& \epsilon_{abc}([\hat{x_a}, \hat{x_d}]\hat{p_b} + \hat{x_a}[\hat{p_b}, \hat{x_d}]) \\ &=& \epsilon_{abc}\hat{x_a}[\hat{p_b}, \hat{x_d}] \\ &=& -\epsilon_{abc}\hat{x_a}[\hat{x_b}, \hat{p_d}] \\ &=& -\epsilon_{abc}\hat{x_a}(\delta_{bd}i\hbar) \\ &=& -i\hbar\epsilon_{adc}\hat{x_a} \\ &=& i\hbar\epsilon_{cda}\hat{x_a} \\ \end{eqnarray*}

Let's also solve the momentum problem:

\begin{eqnarray*} [\hat{L_c}, \hat{p_d}] &=& [\epsilon_{abc}\hat{x_a}\hat{p_b}, \hat{p_d}] \\ &=& \epsilon_{abc}[\hat{x_a}\hat{p_b}, \hat{p_d}] \\ &=& \epsilon_{abc}([\hat{x_a}, \hat{p_d}]\hat{p_b} + \hat{x_a}[\hat{p_b}, \hat{p_d}]) \\ &=& \epsilon_{abc}[\hat{x_a}, \hat{p_d}]\hat{p_b} \\ &=& \epsilon_{abc}(\delta_{ad}i\hbar)\hat{p_b} \\ &=& i\hbar\epsilon_{dbc}\hat{p_b} \\ &=& i\hbar\epsilon_{cdb}\hat{p_b} \end{eqnarray*}

These match perfectly with the standard result. Imagine how complicated and convoluted it would look like without all these simplifying identity and symbols.

Exploring Quantum Physics - Generic Operator Calculus

Operators, symbols, are no good if one need to keep thinking about the underlying representation in order to use it. To this end, we need to be able to reason about operators without going back to its underlying representation. I call it operator calculus.

The simplest rule of operator is linearity.

(\hat{A + B})\hat{C} = \hat{A}\hat{C} + \hat{B}\hat{C} .

In general, operators do not commute, i.e. \hat{A} \hat{B} \ne \hat{B}\hat{A} . But they can be compensated by commutator [\hat{A}, \hat{B}] = \hat{A}\hat{B} - \hat{B}\hat{A} . This definition automatically implies [\hat{A}, \hat{B}] = -[\hat{B}, \hat{A}] .

Commutators are also linear [\hat{A} + \hat{B}, \hat{C}] = (\hat{A} + \hat{B})\hat{C} - \hat{C}(\hat{A} + \hat{B}) = \hat{A}\hat{C} + \hat{B}\hat{C} - \hat{C}\hat{A} + \hat{C}\hat{B} = [\hat{A},\hat{C}] + [\hat{B}, \hat{C}] .

This identity is useful to decompose product of operators inside a commutator.

[\hat{A}, \hat{B}\hat{C}] = [\hat{A}, \hat{B}]\hat{C}+\hat{B}[\hat{A}, \hat{C}] .

To show that, we expands the commutators on the right.

[\hat{A}, \hat{B}]\hat{C} + \hat{B}[\hat{A}, \hat{C}] = (\hat{A}\hat{B}-\hat{B}\hat{A})\hat{C} + \hat{B}(\hat{A}\hat{C}-\hat{C}\hat{A}) = \hat{A}\hat{B}\hat{C} - \hat{B}\hat{A}\hat{C} + \hat{B}\hat{A}\hat{C} -\hat{B}\hat{C}\hat{A} = \hat{A}\hat{B}\hat{C} - \hat{B}\hat{C}\hat{A} = [\hat{A},\hat{B}\hat{C}]

Same principle applies to commutator, once we prove a certain identity in commutator, then let's not expand the operator. That's how one maybe able to handle the complexity.

To apply that, let's see what can we do to deal with an operator product on the left, we have

[\hat{A}\hat{B}, \hat{C}] = -[\hat{C}, \hat{A}\hat{B}] = -([\hat{C}, \hat{A}]\hat{B} + \hat{A}[\hat{C}, \hat{B}]) = [\hat{A}, \hat{C}]\hat{B} + \hat{A}[\hat{B}, \hat{C}]

Exploring Quantum Physics - Basic commutators

The goal of this post is to show the basic commutator relationships. Recall that the position operator is simply multiplying with the position, and the momentum operator is -i\hbar\frac{\partial}{\partial x} . Now we work in 3 dimensional space.

Also recall [\hat{A}, \hat{B}] =  \hat{A}\hat{B} - \hat{B}\hat{A} .

Now we wanted to know the commutation relationship between position and momentum operator, we have

\begin{eqnarray*} [\hat{x_m}, \hat{p_n}] &=& \hat{x_m}\hat{p_n} - \hat{p_n}\hat{x_m} \\ [\hat{x_m}, \hat{p_n}] \psi &=& x_m(-i\hbar)\frac{\partial}{\partial x_n}\psi - (-i\hbar)\frac{\partial}{\partial x_n}x_m\psi \\ &=& (-i\hbar)(x_m\frac{\partial}{\partial x_n}\psi - \frac{\partial}{\partial x_n}x_m\psi) \\ \end{eqnarray*}

In this form, it is obvious that if m \ne n , then we can simply pull x_m out from the partial derivative at the latter term and the whole thing cancel out. So let focus on the case when m = n , the expression becomes:

\begin{eqnarray*} [\hat{x_m}, \hat{p_m}] \psi &=& (-i\hbar)(x_m\frac{\partial}{\partial x_m}\psi - \frac{\partial}{\partial x_m}x_m\psi) \\ &=& (-i\hbar)(x_m\frac{\partial}{\partial x_m}\psi - (\psi + x_m\frac{\partial}{\partial x_m}\psi)) \\ &=& (-i\hbar)(-\psi) \\ [\hat{x_m}, \hat{p_m}] &=& i\hbar \\ \end{eqnarray*}

Exploring Quantum Physics - Week 6 Question 1

Question:

What is \epsilon_{abc}\epsilon_{cde} .

Solution:

The contraction identity we just shown in the previous post is applied.

\epsilon_{abc}\epsilon_{cde} = \epsilon_{cab}\epsilon_{cde} = \delta_{ad}\delta_{be}-\delta_{ae}\delta_{bd}.

Exploring Quantum Physics - The contraction identity

The proof of that identity is a straightforward verification, so here is the code that does the job for us.

Note in particular that the Einstein summation convention in action in the left hand side as i is a repeated index.

namespace ManagedWorkspace
{
    using System;
    using System.Collections.Generic;
    using System.Linq;

    internal static class Program
    {
        static int levi(int i, int j, int k)
        {
            int c = i * 100 + j * 10 + k;
            switch (c)
            {
                case 123: return 1;
                case 231: return 1;
                case 312: return 1;
                case 132: return -1;
                case 213: return -1;
                case 321: return -1;
            }
            return 0;
        }

        static int delta(int i, int j)
        {
            return i == j ? 1 : 0;
        }

        static void Main(string[] args)
        {
                for (int j = 1; j <= 3; j++)
                {
                    for (int k = 1; k <= 3; k++)
                    {
                        for (int s = 1; s <= 3; s++)
                        {
                            for (int t = 1; t <= 3; t++)
                            {
                                int lhs = 0;
                                for (int i = 1; i <= 3; i++)
                                {
                                    lhs += levi(i, j, k) * levi(i, s, t);
                                }
                                int rhs = delta(j, s) * delta(k, t) - delta(j, t) * delta(k, s);
                                if (lhs != rhs)
                                {
                                    Console.WriteLine("Error!");
                                }
                            }
                        }
                    }
                }
            }
        }
    }

Wednesday, May 6, 2015

Exploring Quantum Mechanics - even more about cross product.

Believe it or not, there are even more property in the cross product. This time our goal is the BAC-CAB identity

\vec{a} \times (\vec{b} \times \vec{c}) = \vec{b}(\vec{a} \cdot \vec{c}) - \vec{c}(\vec{a} \cdot \vec{b}) .

To prove this, we need this result first, the so-called contraction identity.

\epsilon_{ijk}\epsilon_{ist} = \delta_{js}\delta_{kt} - \delta_{jt}\delta_{ks} .

To be honest, I don't really understand how does one come up with the identity, but it is relatively easy to verify that it is correct, and under what condition (that i does not equal any of j, k, s, t

With that, we express the right hand side as follow:

\begin{eqnarray*} \vec{a} \times (\vec{b} \times \vec{c}) &=& \vec{a} \times (\epsilon_{pqr}b_pc_qe_r) \\ &=& \epsilon_{srt}a_s\epsilon_{pqr}b_pc_qe_t \\ &=& \epsilon_{srt}\epsilon_{pqr}a_sb_pc_qe_t \\ &=& \epsilon_{rts}\epsilon_{rpq}a_sb_pc_qe_t \\ &=& (\delta_{tp}\delta_{sq} - \delta_{tq}\delta_{sp})a_sb_pc_qe_t \\ &=& \delta_{tp}\delta_{sq}a_sb_pc_qe_t - \delta_{tq}\delta_{sp}a_sb_pc_qe_t \\ &=& a_sb_tc_se_t - a_sb_sc_te_t \\ &=& \vec{b}(\vec{a} \cdot \vec{c}) - \vec{c}(\vec{a} \cdot \vec{b}) \end{eqnarray*}

Exploring Quantum Physics - More about cross product

In this post, I want to summarize more about the cross product. We will first prove a simple fact about dot product.

It is well known that \vec{a} \cdot \vec{b} = |a| |b| \cos \theta where \theta is the angle between the two vectors, but why?

To see that, note that the dot product can be written as a matrix product x^Ty where vectors are written as column. Now we insert R^TR = I into the product with R being a rotation (i.e. orthogonal), we have x^Ty = x^TR^TRy = (Rx)^TRy , that mean dot product is rotational invariant.

Now we scale all vectors to have unit length and rotate them such that they both lie on the same XY plane with \vec{x} being parallel to the x axis, it is obvious that it is possible, then the rest is obvious. The dot product is simply the length of the x projection of the other vector, which is exactly \cos \theta ! Mapping it back to the original problem, multiplying back the scale, we get the formula we want.

The next interesting thing is to prove the also familar identity \vec{a} \times \vec{b} = |a||b|\sin \theta . To that end, it is easier to prove |\vec{a} \times \vec{b}|^2 = |a||b| - (\vec{a} \cdot \vec{b})^2 , as this will automatically implies the result. To prove this one, however, is easy too as one only need to multiply out all the terms, detail skipped.

Monday, May 4, 2015

Exploring Quantum Mechanics - Cross Product

We are going to look into angular momentum soon. Before that, let's review the vector cross product.

The definition of the cross product is as follow

\begin{eqnarray*} \vec{x} \times \vec{y} &=& \left|\begin{array}{ccc}i & j & k\\x_1 & x_2 & x_3\\y_1 & y_2 & y_3\end{array}\right| \\ &=& (x_2 y_3 - x_3 y_2) e_1 + (x_3 y_1 - x_1 y_3 ) e_2 + (x_1 y_2 - x_2 y_1) e_3 \end{eqnarray*}

In this form, we can easily seen we can write it as a summation of these indices

\begin{eqnarray*} \vec{x} \times \vec{y} &=& \sum\limits_{i,j,k = 0}^{3}{f(i, j, k)x_i y_j e_k} \\ \end{eqnarray*}

ijkf(i,j,k)
1231
132-1
213-1
2311
3121
321-1
otherwise0

It is easy to verify that this is true, therefore we have \vec{x} \times \vec{y} = \sum\limits_{i,j,k = 0}^{3}{\epsilon_{ijk}x_iy_je_k} , where \epsilon_{ijk} is the Levi-Civita symbol. We can even simplify it to just \epsilon_{ijk}x_iy_je_k , using the Einstein's summation notation.

As a simple sum, differentiate it will be easy. Suppose we have the vectors as a function of time, then we have

\begin{eqnarray*} \frac{d}{dt} \vec{x} \times \vec{y} &=& \frac{d}{dt}(\epsilon_{ijk}x_i(t)y_j(t)e_k) \\ &=& \epsilon_{ijk}(x_i'(t)y_j(t) + x_i(t)y_j'(t))e_k \\ &=& \epsilon_{ijk}x_i'(t)y_j(t)e_k + \epsilon_{ijk}x_i(t)y_j'(t)e_k \\ &=& \vec{x'} \times \vec{y} + \vec{x} \times \vec{y'} \end{eqnarray*}

Sunday, May 3, 2015

Exploring Quantum Physics - Solving the Quantum Harmonic Oscillator using the series method

Disclaimer - this is just an attempt - it never finishes. Blogging this so that I don't forget where I were:
Recall the Quantum Harmonic Oscillator problem as follow:

\begin{eqnarray*} \hat{H}\psi &=& E\psi \\ (\frac{\hat{p}^2}{2m} + \frac{1}{2}m\omega^2x^2)\psi &=& E\psi \\ (\frac{-\hbar^2}{2m}\frac{\partial^2}{\partial x^2} + \frac{1}{2}m\omega^2x^2)\psi &=& E\psi \\ \end{eqnarray*}

The so called series method is basically assume \psi as an analytic function, as such, it can be (locally) represented as a power series.

\begin{eqnarray*} \psi(x) &=& \sum\limits_{k=0}^{\infty}{a_kx^k} \\ \end{eqnarray*}

Substituting it back to the problem, we have

\begin{eqnarray*} E\psi &=& (\frac{-\hbar^2}{2m}\frac{\partial^2}{\partial x^2} + \frac{1}{2}m\omega^2x^2)\psi \\ E(\sum\limits_{k=0}^{\infty}{a_kx^k}) &=& (\frac{-\hbar^2}{2m}\frac{\partial^2}{\partial x^2} + \frac{1}{2}m\omega^2x^2)(\sum\limits_{k=0}^{\infty}{a_kx^k}) \\ \end{eqnarray*}

So we simply match the coefficients.
\begin{eqnarray*} Ea_0 &=& \frac{-\hbar^2}{2m}(2)a_2 \\ Ea_1 &=& \frac{-\hbar^2}{2m}(3)(2)a_3 \\ Ea_k &=& \frac{-\hbar^2}{2m}(k+1)(k+2)a_{k+2} + \frac{1}{2}m\omega^2x^2(a_{k-2}) \\ \end{eqnarray*}

This apparently lead to the recurrence that we can use to solve for a_k , but I am stuck on the next step that I can foresee, how do I know I have found the Gaussian?

Friday, May 1, 2015

Exploring Quantum Physics - Week 5 Bonus Question

Question:

Prove the Ehrenfest theorem.

Solution:

I could have write cool equations like this

\frac{d}{dt}\int{\psi^* \hat{A} \psi} = \int{\frac{d}{dt}\psi^* \hat{A} \psi + \psi^* \frac{d\hat{A}}{dt} \psi + \psi^* \hat{A} \frac{d}{dt}\psi } and then use the relation \hat{H} = ih\frac{d}{dt} to present a 'proof', just like the wikipedia page does.

The key difficulty is defining the derivative of an operator, otherwise the right hand side of the theorem just cannot be understood.

There is nothing magic in it, except this. The operator itself is a function of t in order for the differentiation to make sense

So we go back to the first principle and define the derivative of an operator to be a limit.

\frac{d\hat{A(t)}}{dt}\psi = \lim\limits_{\Delta t \to 0}{\frac{\hat{A(t + \Delta t)}\psi - \hat{A(t)}\psi}{\Delta t}}

Then we can proof the product rule on operator differentiation just like one would prove it in analysis.

\begin{eqnarray*} \frac{d}{dt}{\hat{A(t)}\psi(t)} &=& \lim\limits_{\Delta t \to 0}{\frac{\hat{A(t + \Delta t)}\psi(t + \Delta t) - \hat{A(t)}\psi(t)}{\Delta t}} \\ &=& \lim\limits_{\Delta t \to 0}{\frac{\hat{A(t + \Delta t)}\psi(t + \Delta t) - \hat{A(t + \Delta t)}\psi(t) + \hat{A(t + \Delta t)}\psi(t) - \hat{A(t)}\psi(t)}{\Delta t}} \\ &=& \hat{A(t)}\frac{d\psi(t)}{dt} + \frac{d\hat{A(t)}}{dt}\psi(t) \end{eqnarray*}

The rest should follows ...

Exploring Quantum Physics - Week 5 Question 7, 8, 9

Question:

... snip ...
Compute the energies of a particle under a field of constant force towards the center using Bohr's model.

Solution:

The particle is going in circular motion, so it is running on a particular plane, choose coordinate system so that the plane is the xy plane (i.e. z-coordinate is always zero), the trajectory of the particle can then be simplified to (r \cos \omega t, r \sin \omega t) . The velocity is the first derivative (-r \omega \sin \omega t, r \omega\cos \omega t) , and the acceleration would be the second derivative (-r \omega^2 \cos \omega t, -r \omega^2 \sin \omega t)

Now let's work on the magnitudes, |v| = r \omega , |a| = r\omega^2 .

The total energy is given by

\begin{eqnarray*} E & = & \frac{p^2}{2m} + Fr \\ & = & \frac{(mv)^2}{2m} + mar \\ & = & \frac{mv^2}{2} + mar \\ & = & \frac{m(r\omega)^2}{2} + m(r\omega^2)r \\ & = & \frac{m(r\omega)^2}{2} + m(r\omega)^2 \\ & = & \frac{3m(r\omega)^2}{2} \end{eqnarray*}

So we need to find r \omega . The Bohr's model give us mr^2\omega = m(r\omega)r = mvr = n\hbar , and the Newton's second law gives us F = ma = mr\omega^2 . A little arithmetic trick gives

\begin{eqnarray*} (r\omega)^3 &=& (r^2\omega)(r\omega^2) \\ &=& \frac{mr^2\omega}{m}\frac{mr\omega^2}{m} \\ &=& \frac{n\hbar}{m}\frac{F}{m} \\ &=& \frac{n\hbar F}{m^2} \\ (r\omega) &=& (\frac{n\hbar F}{m^2})^{1/3} \end{eqnarray*}

Substitute this back to the equation we get the answer

\begin{eqnarray*} E & = & \frac{3m(r\omega)^2}{2} \\ & = & \frac{3m((\frac{n\hbar F}{m^2})^{1/3})^2}{2} \\ & = & \frac{3}{2}m(\frac{n\hbar F}{m^2})^{2/3} \\ & = & \frac{3}{2}(m^{3/2}\frac{n\hbar F}{m^2})^{2/3} \\ & = & \frac{3}{2}(\frac{n\hbar F}{\sqrt{m}})^{2/3} \\ & = & \frac{3}{2}n^{2/3} (\frac{\hbar F}{\sqrt{m}})^{2/3} \end{eqnarray*}

This formula solved question 7, 8, 9 as follow:

Question 7 requires the quantity that is a factor that is independent of n , that would be (\frac{\hbar F}{\sqrt{m}})^{2/3} .

Question 8 ask for the number part of the ground state, that would be \frac{3}{2}1^{2/3} = 1.5 .

Question 9 ask for the exponent, so it is \frac{2}{3} .

Exploring Quantum Physics - Week 5 Question 6

Question:

Computing the Gaussian Variational Estimate for the ground state of this potential.

V(x) = - V_0 a \delta(x)

Solution:

First, let's compute the expected energy for the Gaussian 'solution'.

\begin{eqnarray*} \psi_d(x) &=& \frac{1}{\pi^{1/4}\sqrt{d}} \exp\left[-\frac{x^2}{2d^2}\right] \\ E_d &=& \langle \psi_d(x) | \hat{H}|\psi_d(x)\rangle \\ &=& \int\limits_{-\infty}^{\infty}{\psi_d^*(x)(\frac{-\hbar^2}{2m}\frac{\partial^2}{\partial x^2}\psi_d(x) + V(x) \psi_d(x))dx} \\ &=& \int\limits_{-\infty}^{\infty}{\psi_d(x)(\frac{-\hbar^2}{2m}\frac{\partial^2}{\partial x^2}\psi_d(x) + V(x) \psi_d(x))dx} \\ &=& \int\limits_{-\infty}^{\infty}{\psi_d(x)(\frac{-\hbar^2}{2m}\frac{\partial^2}{\partial x^2}\psi_d(x))dx} + \int\limits_{-\infty}^{\infty}{\psi_d(x)(V(x) \psi_d(x))dx} \\ &=& \frac{-\hbar^2}{2m}\int\limits_{-\infty}^{\infty}{\psi_d(x)\frac{\partial^2}{\partial x^2}\psi_d(x)dx} + \int\limits_{-\infty}^{\infty}{(V(x) \psi_d^2(x))dx} \\ \end{eqnarray*}

To compute that, let's start with the second term.

\begin{eqnarray*} \int\limits_{-\infty}^{\infty}{(V(x) \psi_d^2(x))dx} &=& \int\limits_{-\infty}^{\infty}{(-V_0a\delta(x) \psi_d^2(x))dx} \\ &=& -V_0a \psi_d^2(0) \\ &=& -V_0a (\frac{1}{\pi^{1/4}\sqrt{d}})^2 \\ &=& \frac{-V_0a}{\pi^{1/2}d} \end{eqnarray*}

Next, we deal with the second derivative

\begin{eqnarray*} \frac{\partial^2}{\partial x^2}\psi_d(x) &=& \frac{\partial^2}{\partial x^2} \frac{1}{\pi^{1/4}\sqrt{d}} \exp\left[-\frac{x^2}{2d^2}\right] \\ &=& \frac{1}{\pi^{1/4}\sqrt{d}} \frac{\partial^2}{\partial x^2} \exp\left[-\frac{x^2}{2d^2}\right] \\ &=& \frac{1}{\pi^{1/4}\sqrt{d}} \frac{\partial}{\partial x} \frac{-x}{d^2} \exp\left[-\frac{x^2}{2d^2}\right] \\ &=& \frac{-1}{\pi^{1/4}d^{5/2}} \frac{\partial}{\partial x} x \exp\left[-\frac{x^2}{2d^2}\right] \\ &=& \frac{-1}{\pi^{1/4}d^{5/2}} (\exp\left[-\frac{x^2}{2d^2}\right] + \frac{-x^2}{d^2} \exp\left[-\frac{x^2}{2d^2}\right]) \\ &=& \frac{-1}{\pi^{1/4}d^{5/2}} \exp\left[-\frac{x^2}{2d^2}\right](1 - \frac{x^2}{d^2}) \\ \end{eqnarray*}

Now we substitute this back into the first term and see how it works out:

\begin{eqnarray*} & & \frac{-\hbar^2}{2m}\int\limits_{-\infty}^{\infty}{\psi_d(x)\frac{\partial^2}{\partial x^2}\psi_d(x)dx} \\ &=& \frac{-\hbar^2}{2m}\int\limits_{-\infty}^{\infty}{(\frac{1}{\pi^{1/4}\sqrt{d}} \exp\left[-\frac{x^2}{2d^2}\right])\frac{-1}{\pi^{1/4}d^{5/2}} \exp\left[-\frac{x^2}{2d^2}\right](1 - \frac{x^2}{d^2})dx} \\ &=& \frac{\hbar^2}{2\pi^{1/2}md^{3}} \int\limits_{-\infty}^{\infty}{(\exp\left[-\frac{x^2}{2d^2}\right]) \exp\left[-\frac{x^2}{2d^2}\right](1 - \frac{x^2}{d^2})dx} \\ &=& \frac{\hbar^2}{2\pi^{1/2}md^{3}} \int\limits_{-\infty}^{\infty}{\exp\left[-\frac{x^2}{d^2}\right](1 - \frac{x^2}{d^2})dx} \\ \end{eqnarray*}

Now it looks simpler, let's further simplify it further by letting y = \frac{x}{d} , so d dy = dx

\begin{eqnarray*} & & \frac{\hbar^2}{2\pi^{1/2}md^{3}} \int\limits_{-\infty}^{\infty}{\exp\left[-\frac{x^2}{d^2}\right](1 - \frac{x^2}{d^2})dx} \\ &=& \frac{\hbar^2}{2\pi^{1/2}md^{3}} \int\limits_{-\infty}^{\infty}{\exp\left[-y^2\right](1 - y^2)ddy} \\ &=& \frac{\hbar^2}{2\pi^{1/2}md^{2}} \int\limits_{-\infty}^{\infty}{\exp\left[-y^2\right](1 - y^2)dy} \\ \end{eqnarray*}

The integral value is \frac{\sqrt{\pi}}{2} . it can be seen as computing the total probability minus the variance of a standard Gaussian distribution with variance \sqrt{\frac{1}{2}} . So the final value of the first term is

\begin{eqnarray*} & & \frac{\hbar^2}{2\pi^{1/2}md^{2}} \int\limits_{-\infty}^{\infty}{\exp\left[-y^2\right](1 - y^2)dy} \\ &=& \frac{\hbar^2}{2\pi^{1/2}md^{2}} \frac{\sqrt{\pi}}{2} \\ &=& \frac{\hbar^2}{4md^{2}} \end{eqnarray*}

Now we combine them back together, the expected energy for the Gaussian 'solution' would be \frac{\hbar^2}{4md^{2}} - \frac{V_0a}{\pi^{1/2}d} . To minimize the quantity, we compute the derivative.

\begin{eqnarray*} 0 &=& \frac{\partial}{\partial d} \frac{\hbar^2}{4md^{2}} - \frac{V_0a}{\pi^{1/2}d} \\ &=& \frac{-2\hbar^2}{4md^{3}} + \frac{V_0a}{\pi^{1/2}d^2} \\ &=& \frac{-2\hbar^2\pi^{1/2}}{4\pi^{1/2}md^{3}} + \frac{4mV_0ad}{4\pi^{1/2}md^3} \\ 4mV_0ad -2\hbar^2\pi^{1/2} &=& 0 \\ d &=& \frac{2\hbar^2\pi^{1/2}}{4mV_0a} \\ &=& \frac{\hbar^2\pi^{1/2}}{2mV_0a} \\ \end{eqnarray*}

Last but not least, we just substitute this back to the energy to get the minimum possible energy for the 'solution'

\begin{eqnarray*} & & \frac{\hbar^2}{4md^{2}} - \frac{V_0a}{\pi^{1/2}d} \\ &=& \frac{\hbar^2}{4m(\frac{\hbar^2\pi^{1/2}}{2mV_0a})^2} - \frac{V_0a}{\pi^{1/2}(\frac{\hbar^2\pi^{1/2}}{2mV_0a})} \\ &=& \frac{\hbar^2(2mV_0a)^2}{4m(\hbar^2\pi^{1/2})^2} - \frac{V_0a(2mV_0a)}{\pi^{1/2}(\hbar^2\pi^{1/2})} \\ &=& \frac{4m^2\hbar^2V_0^2a^2}{4m\hbar^4\pi} - \frac{2mV_0^2a^2}{\hbar^2\pi} \\ &=& \frac{mV_0^2a^2}{\hbar^2\pi} - \frac{2mV_0^2a^2}{\hbar^2\pi} \\ &=& - \frac{mV_0^2a^2}{\hbar^2\pi} \end{eqnarray*}

Can you believe it all simplify to this? I am shocked now when I get this result! The final answer is to compare this with E_0 and get a numerical answer, which is \frac{2}{\pi} .

Exploring Quantum Physics - Week 5 Question 5

Question:

How does he state the dependence of M_0 upon E?

Solution:

In Bohr's paper, M_0 = \frac{h}{2\pi} , it has nothing to do with electron charge.

Exploring Quantum Physics - Week 5 Question 4

Question:

On p. 15 of Bohr’s paper there is a discussion of the quantization of the angular momentum, M, of the electron orbiting an atomic nucleus. Bohr states that M must be an integral multiple of a fundamental quantity, M_0. Bohr states a numerical value of M_0 in an equation on that page. How
much does his number differ from the presently accepted value of that quantity?

Note that Bohr does not explicitly state on that page what system of units he is using!

Solution:

It is quite obvious that on page 15 Bohr mentioned the quantity is 1.04 \times 10^{-27} . The challenge, really, is to determine the unit of that value Bohr meant.

Today's value should be 1.05 \times 10^{-34} . There is a 10 million fold changes, so the changes should be accounted for by the unit of measurement.

After messing up around online searching, I found the Gaussian units (or cgs units). If we apply the units to the planck's constant, we will find agreement.

Energy = Force \times distance = Mass \times acceleration \times distance = (kgms^{-2})m = kgm^2s^{-2} .

Therefore, the Planck constant has unit energy \times time = (kgm^2s^{-2})s  = kgm^2s^{-1} . Now we substitute in the units using gram and cm instead, we will get a 1000 fold from the kg to gram conversion, and 10,000 fold from the m^2 to cm^2 .

Wow - that explain the 10,000,000 fold of the value difference, now we see the values is surprisingly close, the relative error is less than 1%!

Exploring Quantum Physics - Week 5 Question 3

Question:

How many photons is required to excite a hydrogen atom for the following lasers?

Red R: 650 nm
Green G: 532 nm
Violet V: 405 nm

Solution:

We need to have 0.99R_\infty hc = E \le \frac{nhc}{\lambda} , therefore n \ge  \frac{0.99R_\infty hc \lambda}{hc} = 0.99R_\infty \lambda .

Plugging the values in, we have minimum n = 8, 6, 5 respectively.

Exploring Quantum Physics - Week 5 Question 2

Question:

What is the maximum value of the wavelength of light that will ionize the hydrogen atom?
Take the energy of the ground state of the hydrogen atom to be -0.99946650834 R_\infty h c \,, where R_\infty is the Rydberg constant and c is the speed of light.

Solution:

Recall the potential energy of an item in a gravitational field is define to have 0 potential energy if and only if it is at infinitely far. I guess the same idea apply here when we say the energy of the ground state of the hydrogen atom is a negative number.

So we need a photon with energy just enough of make the overall energy 0.

A photon has energy E = hf = \frac{hc}{\lambda} . Therefore we have \lambda = \frac{hc}{0.99R_\infty hc} = 9.11 \times 10^-{8} , or 91 nanometers.