computational methods for quantum mechanicsbnikolic/teaching/phys660/lectures/quantum... · phys...

34
Computational Methods for Quantum Mechanics Branislav K. Nikolić Department of Physics and Astronomy, University of Delaware, U.S.A. PHYS 460/660: Computational Methods of Physics http://www.physics.udel.edu/~bnikolic/teaching/phys660/phys660.html

Upload: duongnhu

Post on 08-Feb-2018

223 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

Computational Methods for Quantum Mechanics

Branislav K. NikolićDepartment of Physics and Astronomy, University of Delaware, U.S.A.

PHYS 460/660: Computational Methods of Physics http://www.physics.udel.edu/~bnikolic/teaching/phys660/phys660.html

Page 2: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

What is Quantum Mechanics?

�Albert Einstein: “Quantum mechanics is very impressive. But an inner voice tells me that it is not yet the real thing. The theory produces a good deal but hardly brings us closer to the secret of the Old One. I am at all events convinced that He does not play dice.”

�Niels Bohr: “Anyone who is not shocked by quantum theory has not understood a single word.”

�Werner Heisenberg: “I myself . . . only came to believe in the uncertainty relations after many pangs of conscience. . . “

�Erwin Schrödinger: “Had I known that we were not going to get rid of this damned quantum jumping, I never would have involved myself in this business!”

�Groucho Marx: ”Very interesting theory - it makes no sense at all.”

Page 3: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

Quantum Interference in Two-Slit Experiments

�The self interference of individual particles is the greatest mistery in quntum physics; in fact, Richard Feynman pronounced it “the only mystery” in quantum theory.

( )

( )

1 2

2 2 2 *

1 2 1 2

1

2

12Re

2prob

Ψ = Ψ + Ψ

= Ψ = Ψ + Ψ + Ψ Ψ

( )

( )

1 2

2 2

1 2

11 2

2

1

2prob α α

Ψ = Ψ ⊗ + Ψ ⊗

= +

Page 4: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

Quantum Erasure

B. Green, Fabric of Cosmos (page 149): “These experiments are a magnificent affront to our conventional notions of space and time. Something that takes place long after and far away from something else nevertheless is vital to our description of that something else. By any classical-common sense-reckoning, that's, well, crazy. Of course, that's the point: classical reckoning is the wrong kind of reckoning to use in a quantum universe.... For a few days after I learned of these experiments, I remember feeling elated. I felt I'd been given a glimpse into a veiled side of reality. Common experience—mundane, ordinary, day-to-day activities—suddenly seemed part of a classical charade, hiding the true nature of our quantum world. The world of the everyday suddenly seemed nothing but an inverted magic act, lulling its audience into believing in the usual, familiar conceptions of space and time, while the astonishing truth of quantum reality lay carefully guarded by nature's sleights of hand.”

( )0

1path1 path 2

2Ψ = +տ ր

( )

( )

0

1path1 path 2

2

1path1 path 2

2

Ψ = + → +

− ↑

Page 5: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

The Canon of Quantum “Churches”Living in Hilbert Space

1. For every system there is a complex Hilbert space:

2. States of the system are unit vectors in this space (or, more properly, 1-dim subspaces of H, or projection operators onto H).

3. Those things that are observable somehow correspond to Hermitianoperators and their eigenprojectors:

4. Isolated systems evolve according to the Schrödinger equation …

1 2 1 2,

limn nn

H H

H H

α β

→ ∞

Ψ Ψ ∈ ⇒ Ψ + Ψ ∈

Ψ ∈ ⇒ Ψ ∈

ˆ1, i.e., , orie H

φ ρΨ Ψ = Ψ ⊂ = Ψ Ψ

[ ]( ) [ ] [ ][ ]

, ,,

ˆ ˆ ˆ

ˆ ˆ ˆˆ ˆp r o b , , , ( ) , ( )n

t t

n n s np p

n n

a b a ba a b

A a P s P d s a n n s s s d s

a b A P A P A n n∈

= + = +

Ψ = Ψ Ψ =

∑ ∑∫ ∫

“Wave-particle” duality!

*†ˆ ˆA A A A= ⇔ Ψ Φ = Φ Ψ

( )ˆ ˆ ˆp ro b , ,n n

n

A A a a A= Ψ Ψ = ⋅ Ψ∑

Page 6: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

Four Nobel Truths About Quantum States (Schrödinger 1935)

� Superposition: A quantum state is described by a linear superpositions of the basic states.

� Interference: The result of measurement depends on the relative phases of the amplitudes in the superpositions.

� Entanglement: Complete information about the state of the whole system does not imply complete information about its parts.

� Nonclonability and uncertainty: An unknown quantum state can be neither cloned nor observed without being disturbed There can be no Quantum Copier Machine that would perform do the following:

original 0 original original:QCMU Ψ ⊗ Φ → Ψ ⊗ Ψ

Page 7: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

Representation of Quantum Mechanics

� Coordinate Representation:

� Momentum Representation:

� Energy representation:

( )x x dx x x dxΨ = Ψ = Ψ∫ ∫

/ /1 1( ) ( )

2 2

ipx ipx

p p dp p p x x dpdx

p x e p e x dxπ π

− −

Ψ = Ψ = Ψ

= ⇒ Ψ = Ψ

∫ ∫

∫ℏ ℏ

ℏ ℏ

n n n n

n n

E E EΨ = Ψ = Ψ∑ ∑

ˆn n nH E E E=

Page 8: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

Quantum-Mechanical Probabilities in Practice

� Probability to find coordinate of a particle in

� Probability to find momentum of a particle in

� Probability to find energy of a particle to be

* *

2*

( ) ( ) ( ) ( ) 1

ˆ , ( ) ( ) ( )

x x dx x x dx x x dx

x x x x x x x

+∞

−∞

Ψ Ψ = Ψ Ψ ⇒ Ψ Ψ =

= Ψ Ψ = Ψ

2 * *| | 1n n n n n n n

n

E E EΨ Ψ = Ψ = Ψ Ψ ⇒ Ψ Ψ =∑

[ , ]x x dx+

[ , ]p p dp+* *

2*

( ) ( ) ( ) ( ) 1

ˆ , ( ) ( ) ( )

p p dp p p dp p p dp

p p p p p p p

+∞

−∞

Ψ Ψ = Ψ Ψ ⇒ Ψ Ψ =

= Ψ Ψ = Ψ

nE

Page 9: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

Schrödinger Equation(s)

� Time Evolution of state vectors

� Time evolution of coordinate wave functions for a single particle acted on by a conservative force with potential

� Momentum representation for a single particle of mass m acted on by a conservative force with potential

ˆ ˆstationary:d

i H H Edt

Ψ= Ψ ⇒ Ψ = Ψℏ

22( )

( ) ( ) ( )2

i Vt m

∂Ψ= − ∇ Ψ + Ψ

∂x

x x xℏ

( )V x

2( )( ) ( ') ( ') '

2i p V d

t m

+∞

−∞

∂Ψ= Ψ + − Ψ

∂ ∫p p

p p p pℏ

/1( ) ( ) ( )

2

ipxV x V p V x e dxπ

−⇒ = ∫ℏ

Page 10: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

Pictures of Quantum Mechanics

Schrödinger

( )1

2* * *

1 2ˆ ˆ( ) N

N

A t A

Ψ Ψ = Ψ Ψ = Ψ Ψ Ψ Ψ

A…⋮

Heinseberg

Dirac

†ˆ ˆˆ ˆ( )

ˆ( )

A t U AU

A t

= Ψ Ψ

= Ψ Ψˆ ˆˆ ˆ( ) ( )

ˆ ( ) ( )

A t U A t U

t A t

= Ψ Ψ

= Ψ Ψ †

0 1 1 0ˆ ˆˆ ˆ ˆ ˆ( )

ˆ( ) ( ) ( )

A t U U AU U

t A t t

= Ψ Ψ

= Ψ Ψ

Page 11: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

Heisenberg Uncertainty (Indeterminacy) Relations

� Operators (of course, Hermitian), which represent physical quantities in QM, in general, do not commute:

� Coordinate and momentum are c-numbers in classical physics, but in QM:

( ) ( )22 2

2

1ˆ ˆ ˆ ˆ ˆˆ ˆ ˆ ˆ ˆ, 0 ,2

ˆ ˆ ˆ ˆ ˆ ˆ ˆ0 iff

A B A B B A A B A B

A A A A A A A a

= ⋅ − ⋅ ≠ ⇒ ∆ ∆ ≥

∆ = − = − ⇒ ∆ = Ψ = Ψ

[ ]ˆ ˆ ˆ ˆ,2

x xx p i x p= ⇒ ∆ ∆ ≥ℏ

0xp px− =

2 x∆ 2 p∆

xδ pδ

�The experimental test of the Heisenberg inequality does not involve simultaneous measurements of x and p, but rather it involves the measurement of one or the other of these dynamical variables on each independently prepared representative of the particular state being studied.Ψ

Page 12: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

Classical vs. Quantum MechanicsNewton-Lagrange-Hamilton

Mechanics

Boltzmann-Gibbs

Statistical Mechanics

,i i

i i

p qq p

• •∂ ∂= − =

∂ ∂H H { }

( , )

, 0 ( , )t

H p qd e

p qdt Z

βρ ρρ ρ

−∂≡ + = ⇒ =

∂H

Dirac-Heisenberg

-Schrödinger

Textbook Formul

ation in Hilbert Sp

ace

Moyal-G

roenewa

ld-Weyl

Deform

ation Q

uantizat

ion

Feynman-Dirac

Path Integral

ˆ( ),

ˆ ˆˆ ˆ[ , ]

q A

dA Ai A H

dt t

Ψ

∂= +

∂ℏ

[ ]/

,( , ) ( ) iS q

f f i iK q t q t Dq t e← = ∫ℏ

( )/2

( , )

1( * )

q p p q

W

WW W

i

q p

H Ht i

e

ρ

ρρ ρ

∂ ∂ −∂ ∂

∂= ∗ −

∗≡� � � �ℏ

P Phase Orbit

P Feynman Paths

decoherence

Page 13: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

Quantum Tunneling Through Single Barrier in Solid State Systems

Page 14: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

Quantum Tunneling Through Double Barrier in Textbooks

,

,

( ) ,

,

,

m m

ikx ikx

qx qx

ik x ik x

px px

ikx ikx

Ae Be x a

C e D e a x b

x Fe G e b x c

H e Ie c x d

Je K e x d

+ <

+ < <

Ψ = + < < + < < + >

1

2 2

2

2 2

2 ( )2,

2 ( ) 2 ( ),m

m

m V Em Ek q

m E V m V Ek p

−= =

− −= =

ℏ ℏ

ℏ ℏ

** ( ) ( )( ) ( )

2x

x xj x x

mi x x

∂Ψ ∂Ψ= Ψ − Ψ ∂ ∂

2

for electrons incident from the left (+ states)2

,

2,

for electrons incident from the right (- states)2

| |,

| |

| |,

| |

k

transmitted x d

incident x ak

H

j AT

j B

K

>

<

= = 2 2

2

( )( ) ( )

2

d xE V x

m dx

Ψ− = − Ψℏ

Transmission probability versus incident energy for: (a) asymmetric barriers; (b) symmetric barriers; (c)tall barriers; and (d) narrow well.

Page 15: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

Quantum Tunneling Through Double Barrier in Solid State Systems

Page 16: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

Plane Wave Solutions of the Free Particle Schrödinger Equation

( )( )

2

1 2

1( ) exp ,

22p

i px Et px E

mπ Ψ = − − = ℏℏ

�Plane waves solve the free particle Schrödinger equation:2 2

2( ) ( , )

2p pi t x t

t m x

∂ ∂Ψ = − Ψ

∂ ∂ℏ

( ) ( )

2 2 2

1 2 1 22

1 1e e

2 22 2

i ipx pxp

m x mπ π

∂− =

∂ℏ ℏ

ℏ ℏ

H E E E

Page 17: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

Gaussian Wave Packet: Construction

( )( )

2

1 2

1( ) exp ,

22p

i px Et px E

mπ Ψ = − − = ℏℏ

�Linear superpositions of plane waves are also solutions!

( , ) ( , )n p

n

x t w x tΨ = Ψ∑ 0( , ) ( ) ( , )px t f p x x t dp

+∞

−∞

→Ψ = Ψ −∫�For Gaussian wave packet use Gaussian spectral function:

( )

2

0

1 4 2

( )1( ) exp

42 pp

p pf p

σπ σ

−= −

Page 18: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

Spreading of Gaussian Wave Packet at Rest

�The probability density that the particle is located at some location in space is determined from the wave function (in coordinate representation):

*( ) ( ) ( )ρ = Ψ Ψ = Ψ Ψx x x x x

�For a free particle the Schrödinger equation has the form of a diffusion equation with diffusion coefficient .

( ) 0V =x/2i mℏAs time progresses the width of the distribution increases . This width is proportional to the standard deviation of the position x. In quantum mechanics the standard deviation of the probability distribution of a variable is often called the uncertainty in the variable. If we have an object of mass 1 kg then the time scale for the uncertainty in the position of this object to increase by about is estimated to be years. Hence classical physics is amply adequate to describe the dynamics of macroscopic objects.

2

2

i

m t

∂Ψ∇ Ψ=

∂ℏ

( )1/ 2/t m∝ ℏ

61 0 m− 63 10⋅

Page 19: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

Moving Gaussian Wave Packet

( , )

0( , ) ( ) ( , ) ( , ) i x t

px t f p x x t dp M x t eφ

+∞

−∞

Ψ = Ψ − =∫

2

*

2

( ( ) )1( , ) ( , ) ( , ) exp

22 ( ) xx

x x tx t x t x t

σπσ

−=Ψ Ψ = −

( )

2

0 0

1 4 2

( )1amplitude function : ( , ) exp

42 xp

x x v tM x t

σπ σ

− −= −

0group velocity:p

vm

=22 2

2

2 2 2

4localization in space: 1

4

p

x

p

t

m

σσ

σ

= +

2

2

00 0 0 0 0 02

2arctan

1phase: ( , ) ( ) ( )

2 2 2

p

p

x

t

pt mx t p x x v t x x v t v tm

σσ

φσ

= + − − − − + −

ℏ ℏ

*

0 0ˆ ( , ) ( , )x x t x x t x v t

+∞

−∞

= Ψ Ψ = +∫

�Physical (i.e., measurable) properties are contained in:

Page 20: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

Gaussian Wave Packet: Uncertainty Relations

( ) ( )2 2 * 2ˆ ˆ ˆ ˆ ˆvar( ) ( , ) ( , ) xx x x x t x x x t dx σ+∞

−∞

= − = Ψ − Ψ =∫

( )2

2 * 2

0ˆ ˆ ˆvar( ) ( , ) ( , ) pp p p x t p x t dx

i xσ

+∞

−∞

∂ = − = Ψ − Ψ = ∂ ∫

ˆ ˆ ˆ ˆvar( ) var( ) ( )2

x px p x p tσ σ∆ ∆ = = ≥ℏ

2( ,0) 0

0 021 4

( )1( ,0) ( ,0) exp exp ( )

4(2 )0

ˆ ˆ ( 0)2 2

i x

xx

x p p

p

x x ix M x e p x x

t

x p t

φ

σπ σ

σ σ σσ

− Ψ = = − − = ⇒∆ ∆ = = = =

ℏ ℏ←minimum uncertainty state

Page 21: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

Time-Dependent Schrödinger Equation: Direct Solution

22ˆ ˆ, ( )

2i H H V

t m

∂Ψ= Ψ = − ∇ +

∂r

ℏℏ

( )V r

1 ˆn n ni tH+ ∆

Ψ = Ψ − Ψℏ

t∆

2

1 1

2 2

2n n nn

k k k

kx x

+ −Ψ − Ψ + Ψ∂ Ψ∂ ∆

x∆

�The time dependent Schröödinger equation can be compactly written a

where we assume Hamiltonian for a single particle in a potential .

�Lets try to use naïve Euler method to convert this into a difference equation:

Where the superscript represent time and is the time increment.

�The second derivative in the Hamiltonian is approximated by:

where is the interval in x, with similar expressions for the contributions from the yand z coordinates.

Page 22: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

Stability Problem of Direct Euler Approach

� This finite difference equation is unstable - consider the case of a free particle in one dimension:

� This is a linear second order difference equation in two variables. We can solve it by Fourier analysis in the x direction. What this means is that x-dependence can be taken to be a superposition of solutions of form :

� Thus, at each time step is multiplied by the amplification factor:

( )1

1 1 22 ,

2

n n n n n

k k k k k

tiQ Q

m x

++ −

∆Ψ = Ψ + Ψ − Ψ + Ψ =

∆ℏ

ikxe

( ) ( ) ( )

( )

1

1

expexp 2 exp

a constant

1 2 1 cos( )

n n

k n n n

n n

i k xiQ i x i x

x k x

iQ x

ζ κζ ζ κ κ ζ

ζ ζ κ

+

+

Ψ = ∆ ⇒ = + ∆ − + − ∆ = ∆ +

= − − ∆

ζ( ) ( )

221 2 1 cos 1 4 1 cos

1 for 0

iQ x Q x

Q

α κ α κ

κ α

= − − ∆ ⇔ = + − ∆

∃ ⇒ > >

Page 23: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

Analogous Stability Problem in Diffusion Equation

� Diffusion equation can be maped onto the Schrödinger equation in “imaginary time”, and vice versa → similar analysis of stability of the Euler method leads to:

� In this case the diffusion coefficient is a real number and the amplification factor is also real. Here is the diffusion coefficient.

� The stability criterion which imposes restriction on the time step is:

2

1 if 4 14

xQ t

∆< < ⇒ ∆ <

( ) 21 2 1 cos ,

D tQ x Q

xα κ

∆ = − − ∆ = ∆

D

Page 24: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

Implicit Method Cure?

� The instability of the Euler method is cured by time-reversal, i.e., we can use the implicit method. For the free particle:

so that “amplification” factor is now:

� However, we now have new problem with unitarity: The implicit method does not preserve unitarity, i.e., it does not keep the normalization integral constant. This is related to the fact that the amplification factor has magnitude less than or equal to one.

( )1 1 1 1

1 1 22 ,

2

n n n n n

k k k k k

tiQ Q

m x

+ + + ++ −

∆Ψ = Ψ + Ψ − Ψ + Ψ =

∆ℏ

( ) ( )22

1 11

1 2 1 cos 1 4 1 cosiQ x Q x

α ακ κ

= ⇒ = ≤ + − ∆ + − ∆

*( ) ( ) 1dΨ Ψ =∫ r r r

Page 25: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

A Cure for both Stability and Unitarity

� The unitarity problem is cured by using a more accurate method — evaluate the time derivative at the midpoint of the time interval by taking the average of the implicit and explicit Euler methods approximations for the Hamiltonian.

� For free particle such finite difference method yields the equation:

� This is now finally a stable method that preserves unitarity!� For a 1-dim particle in a potential , the finite difference TDSE is:

� If considered as a set of linear equations for the unknowns , we have a tri-diagonal system of linear equations that can be solved much easier than standard LU decomposition + forward-backward substitution. Note, however, that you need to use complex arithmetic.

( ) ( )( )( )

1 1 1 1

1 1 1 12 22 2

1 1 cos1

1 1 cos

n n n n n n n n

k k k k k k k k

Q Qi i

iQ x

iQ x

κα α

κ

+ + + ++ − + −Ψ = Ψ + Ψ − Ψ + Ψ + Ψ − Ψ + Ψ

− − ∆ = ⇒ = + − ∆

( )V x

( ) ( )1 1 1 1 1

1 1 1 1

2

2 2

( ), ,2 4 ( ) 2

n n n n n n n n n n

k k k k k k k k k k k k

k k

iq irV iq irV

Q t tV V x q r

m x

+ + + + ++ − + −Ψ − Ψ − Ψ + Ψ + Ψ = Ψ + Ψ − Ψ + Ψ − Ψ

∆ ∆= = = =

∆ℏ

ℏ1 1 1

1 2, , ,n n n

K

+ + +Ψ Ψ Ψ…

Page 26: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

Test Example for Computational Algorithm for Quantum Mechanical Unitary Evolution

�The figure shows the probability distribution at equal time intervals for a Gaussian wave packet propagating to the right.

Page 27: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

Solving Time-Independent Schrödinger Equation

� Separation of variables to solve the partial differential equation:

� The spatial part has boundary conditions that often lead to an eigenvalueproblem, i.e., there is a solution for only for a discrete set of values of This is formally similar to oscillations in a linear chain. If we label the eigenvalues and corresponding eigenfunctionsthen the complete solution is:

22

22

1 1( , ) ( ) ( ) ( )

2

( ) exp , ( )2

dTt R T t R V R i E

R m T dt

iEtT t R V R ER

m

Ψ = ⇒ − ∇ + = =

= − − ∇ + =

r r r

r

ℏℏ

R E

1 2 3, , ,E E E … 1 2 3, , ,R R R …

1

( , ) ( ) exp

ˆ( ) exp (0) exp (0)

ll l

l

l

l

iE tt R

iE tiHtt l l

α∞

=

Ψ = −

Ψ = − Ψ = − Ψ

r rℏ

ℏ ℏ

lα 0t =The constants are determined from initial conditions at

Page 28: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

Variational Methods: Principle

� Consider the functional (here is any complex function of position):

Theorem: is stationary if is a solution of and then:

→That is, if we change by a small amount then to lowest order in , does not change.

Corollary:

*

*

H dE

d

Φ Φ=

Φ Φ∫∫

r

r

ɶ

ΦEɶ

( )Φ r

H EΨ = ΨE E=ɶ

Φ δΦδΦEɶ

*

min*

H dE E

d

Φ Φ= ≥

Φ Φ∫∫

r

r

ɶThis is valid for any , where is the lowest (ground) state energy.

( )Φ rminE

Page 29: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

Variational Methods: Practice

Theorem: If is an approximate solution to Schrödinger equation and the difference between this and the exact solution is ,then the difference between the value of the functional and the eigenvalue is

�This tells us that the error in the eigenvalue is quadratic in the error in the eigenfunction. We use this to develop variational methods for solving the Schrödinger equation. One such method is to use a simple function with a few adjustable parameters as a trial function:

�The functional then depends on the adjustable parameters . Minimizing the functional gives an upper bound to the minimum energy of the system.

ΦΨ δΨ = Φ − Ψ

( )*

*

ˆ

higher order termsH E d

E Ed

δ δΨ − Ψ− = +

Ψ Ψ

∫∫

r

r

ɶ

1, 2( ; , , )np p pΦ r …

1, 2 , , np p p…

Page 30: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

Variational Methods: Textbook Example

Consider a particle that is free to move in a one-dimensional box but cannot get out of the box. The walls of the box are at x = -L and x = L. The potential for the box is:

0, | |( ) ( ) 0

, otherwise

x LV x L

<= ⇒Ψ ± =

�Exact solution:

( )2

2

2 2

2exp ,

2

d mEE A ikx k

m dx

Ψ− = Ψ⇒Ψ = ± =ℏ

ℏ22 2 2 2

min 2 2

cos( ), , 1.2337

cos( ) 2 2 2 8

A k x n nk E E

A k x L m L mL mL

π π π+±

Ψ = = = ⇒ = =

ℏ ℏ ℏ

�Trial function for the variational method: 2

1 iffx

x LL

Φ = − <

2 2* *

2

4 16ˆ 1 ,3 15

L L L

L L L

xH dx dx dx L

L mL mL− − −

Φ Φ = − = Φ Φ =

∫ ∫ ∫ℏ ℏ

22

2

43 1.25

1615

mLEL mL

= =ℏ

Page 31: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

Variational Methods Through Computation:Quantum Monte Carlo�This is a variational method that uses a Monte Carlo technique to adjust an initial guess for the eigenfunction in such a way as to minimize the functional for the energy eigenvalue.

( )V r We choose a range in x and divide this range into K grid points. Outside this range we make the approximation that the wave function is zero. This is equivalent to putting the system inside a box. By varying the location of the walls of the box, you can test how the solution depends on this approximation.

�Replace the 2nd order derivative by a finite-difference on the grid so that at the k-thpoint:

( )2

1 1

2

2ˆ ( )2 ( )

k k kk k

kH V x

m x

+ − Φ − Φ + ΦΦ = − + Φ ∆

Page 32: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

Quantum Monte Carlo: Part II

�Replace continous integrals by trapezoidal (or Simpson) rule-generated discrete sums:

�At the endpoints, the boundary conditions give and

�Algorithm:

( ) ( ) ( )1

* * * *

11

20

1* * * *

1 1

20

ˆ ˆ ˆ ˆ2

2

K

k Kk K

k

K

k k K K

k

xI H dx H x H H

xJ dx x

∞ −

=

∞ −

=

∆ = Φ Φ ⇒ Φ Φ ∆ + Φ Φ + Φ Φ

∆ = Φ Φ ⇒ Φ Φ ∆ + Φ Φ + Φ Φ

∑∫

∑∫

1 0Φ = 0KΦ =

( , )−∆Φ ∆ΦEɶ

2| |lΦ ∆Φ

*

1

10.1

K

k k

kK =

∆Φ = Φ Φ∑

Pick one at random, e.g.,

and change it by an amount

randomly chosen from

Recalculate . If it is getting smaller,

keep the change in wave function

value. Otherwise discard it.

Make a guess for

and calculate

�A modification to this procedure that speeds up convergence is to make the probability that a particular grid point is chosen be proportional to , rather than uniform. The value of is then chosen to be about 10% of the mean square average of :

Page 33: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

Quantum Monte Carlo: Example 2( )V x x=

Page 34: Computational Methods for Quantum Mechanicsbnikolic/teaching/phys660/lectures/quantum... · PHYS 460/660: Computational Methods for Quantum Mechanics Quantum Interference in Two-Slit

PHYS 460/660: Computational Methods for Quantum Mechanics

Quantum Monte Carlo: Rate of Convergence

�The rate of convergence of the energy eigenvalue is shown above.

�Note that the error does not go to zero. This is due to the error associated with using the grid and the box.