RowBox[{, Cell[TextData[The simple harmonic oscillator and an introduction to phase space], Background -> RGBColor[0., 1., 0.]]}]

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      K  2 RowBox[{StyleBox[RowBox[{The,  , simple,  , harmonic,  , oscillator,  , is,  , one,  , of,  , the,  , most,  , classical,  , problems,  , in,  , quantum,  , mechanics,  , and,  , it,  , is,  , used,  , to,  , model,  , numerous,  , systems,  , from,  , the,  , band,  , structure,  , of,  , semiconductors,  , to,  , the,  , index,  , profile,  , of,  , a,  , fiber,  , optic,  , cable . In,  , one,  , dimension,  , the,  , harmonic,  , oscillator,  , is,  , described,  , by,  , the,  , RowBox[{potential, :, , , Cell[TextData[{V(x)=, Cell[BoxData[- x ]]}]]}]}], Background -> RGBColor[0., 1., 0.]], }]                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       2                                                                                                                                                                                                                                                                                                       d RowBox[{StyleBox[RowBox[{For a conservative system, ,,  , RowBox[{the,  , force,  , acting,  , on,  , such,  , a,  , potential,  , is,  , given,  , by,  , the,  , negative,  , of,  , the,  , gradient,  , of,  , the,  , RowBox[{potential, :, , , Cell[TextData[{F(x)=-∇V(x)=, Cell[BoxData[--- V(x)]], =-Kx}]]}]}]}], Background -> RGBColor[0., 1., 0.]], }]                                                                                                                                                                                                                                                                                                       dx RowBox[{StyleBox[RowBox[{Which is the familiar restoring force of a spring displaced from it ' s equilibrium position by some amount x .   In quantum mechanics the Hamiltonian for a particle of mass,  , ,, m, ,, RowBox[{in,  , such,  , a,  , system,  , containing,  , the,  , harmonic,  , oscillator,  , potential,  , is,  , given,  , RowBox[{by, :, RowBox[{Cell[], Cell[]}]}]}]}], Background -> RGBColor[0., 1., 0.]], }]                                                                                         ^2           ^2            2 ^2                                                                                     ^   p       ^    p     m ω  x RowBox[{StyleBox[RowBox[{Cell[], Cell[], Cell[], Cell[], Cell[TextData[Cell[BoxData[H = --- + V(x) = --- + ------------]]]]}], Background -> RGBColor[0., 1., 0.]], }]                                                                                         2 m          2 m        2                                                                                                                                                                                                            ^ RowBox[{StyleBox[RowBox[{The,  , Hamiltonian,  , operating,  , on,  , an,  , eigenvector,  , of,  , the,  , system,  , yields,  , energy,  , eigenvalues,  , RowBox[{or, :, , , Cell[TextData[Cell[BoxData[H | ψ  > = E  | ψ  >]]]]}]}], Background -> RGBColor[0., 1., 0.]], }]                                                                                                                                                                                                                      m         m         m                                                                                                                                                                 ^ RowBox[{StyleBox[RowBox[{This,  , can,  , be,  , put,  , into,  , the,  , coordinte,  , representation,  , RowBox[{by, :, , Cell[TextData[{<x|, Cell[BoxData[H | ψ  > = < x | E  | ψ  > = E  < x | ψ  >]]}]]}]}], Background -> RGBColor[0., 1., 0.]], }]                                                                                                                                                                           m                  m         m         m                m The left hand side can be expanded to yield :   < x | Overscript[H,^] | ψ _ m > = < x | Overscript[p,^]^2/(2 m) + (m ω^2 Overscript[x,^]^2)/2 | ψ >  Since                                                                                                                                                            2                                                              ^    *                                                               ^2                   d RowBox[{StyleBox[RowBox[{Cell[TextData[{<x|, Cell[BoxData[x = x  < x |]]}]],  , and,  , Cell[TextData[Cell[BoxData[< x | p  | ψ  > = ---- < x | ψ  >]]]], (See Schleich, Ch 2, P .35 - P .44), Cell[]}], Background -> RGBColor[0., 1., 0.]], }]                                                                                                                                              m           2                m                                                                                                                                                        dx                                                                                                                                                                                                                                                                     2   2                                                                                                                                                                                                                                                                    h   d                1         2  2 RowBox[{StyleBox[RowBox[{The,  , eigenvalue,  , equation,  , for,  , the,  , particle,  , in,  , the,  , simple,  , harmonic,  , potential,  , is,  , written,  , in,  , the,  , position,  , representation,  , RowBox[{as, :, , , Cell[TextData[{-, Cell[BoxData[--- --- ψ (x) + - m ω  x  ψ (x) = E  ψ (x)]]}]]}]}], Background -> RGBColor[0., 1., 0.]], }]                                                                                                                                                                                                                                                                    2 m   2       m      2                    m       m       m                                                                                                                                                                                                                                                                        dx RowBox[{StyleBox[RowBox[{RowBox[{Where,  , the,  , replacement,    , Cell[TextData[Cell[BoxData[ψ (x) = < x | m >]]]], has,  , been,  , made .    For,  , brevity}], ,,  , RowBox[{the solutions to the above differential equations are of the form (See Robinett, Ch .10, P .196 - P .199), :, , , RowBox[{Cell[TextData[{Cell[BoxData[ψ ]], (x)=}]], N _ m, h _ m, (ηx), e^(-(ηx)^2/2)}]}]}], Background -> RGBColor[0., 1., 0.]], }]                                                                                                                      m                                                                                                                                                                                                                                                   m where h _ m (ηx) are the Hermite polynomials, η and N _ m are scaling and normalization constants given by :   η = ((m ω)/h)^1/4  RowBox[{StyleBox[RowBox[{Cell[TextData[Cell[BoxData[N  =]]]], (η^2/π)^1/4, 1/(2^m m !)^(1/2)}], Background -> RGBColor[0., 1., 0.]], }]                                                      m The energy eigenvalues for the system are given by :   E _ m = (m + 1/2) hω  The eigenfunctions ,   ψ _ m (x), are also known as number states . The notebook below plots a few of the number states and allows one to see individual number states by changing the value of n .

"Energy Eigenfunctions and Eigenvalues of the Harmonic Oscillator" ;  ω = 2 * 10^14 ; "Angular frequency" ;  Ma = 9.109 * 10^(-31) ; "Mass of electron" ;  n = 1 ; "Set the single eigenfunction that you would like to plot below" ;  h = 1 * 10^(-34) ; "Planck's Constant" ;  η = ((Ma * ω)/h)^1/4 ;  V[x_] := (Ma * ω^2 * (x)^2)/2 ; "Simple Harmonic Oscillator Potential" ;  Nc[m_] := (η^2/π)^1/4 1/(2^m * m !)^(1/2) ; "Normalization constant" ;  ψ[m_, x_] := Nc[m] * HermiteH[m, η * x] * e^(-(η * x)^2/2) ; "Simple harmonic oscillator number state" ;  A = Table[Plot[ψ[m, x] + 350 * m, {x, -2 * 10^(-4), 2 * 10^(-4)}, Frame -> True, FrameLabel -> {"Position-x", "ψ(x)", "Harmonic Oscillator Eigenfunctions", o}, DisplayFunction -> Identity], {m, 0, 10}] ;  B = Plot[(10^13) * V[1.1 * x], {x, -2 * 10^(-4), 2 * 10^(-4)}, Frame -> True, FrameLabel -> {"Position-x", "ψ(x)", "Harmonic Oscillator Eigenfunctions", o}, DisplayFunction -> Identity]  Show[A, B, DisplayFunction -> $DisplayFunction, PlotRange -> {0, 4000}] ;  Plot[ψ[n, x], {x, -2 * 10^(-4), 2 * 10^(-4)}, Frame -> True, FrameLabel -> {"Position-x", "ψ(x)", "Single Eigenfunction n=", n}, PlotRange -> {-200, 200}]

Out[1628]=

-Graphics -

[Graphics:HTMLFiles4/index_5.gif]

[Graphics:HTMLFiles4/index_6.gif]

Out[1630]=

-Graphics -

RowBox[{, Cell[Phase Space Representation of the Harmonic Oscillator and Infinite Potential Well<br />, Subtitle, Background -> RGBColor[0., 1., 1.]]}]

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 2                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  1                   2    Mω    2                                                                                                                                                                                                                                                                      p                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         1            ∞   -i/h pξ          1            ^          1                                                                                                                                                                                     ^      ∞ RowBox[{, RowBox[{RowBox[{Now,  , that,  , the,  , eigenstates,  , of,  , the,  , harmonic,  , oscillator,  , (number states),  , have,  , been,  , solved,  , in,  , the,  , position,  , representation,  , a,  , new,  , picture,  , of,  , the,  , harmonic,  , oscillator,  , can,  , be,  , drawn,  , in,  , phase,  , space . The,  , phase,  , space,  , functions,  , for,  , the,  , eigenstates,  , of,  , the,  , system,  , are,  , functions,  , of,  , both,  , position,  , and,  , momentum . Classically,  , the,  , phase,  , space,  , picture,  , of,  , the,   , harmonic,  , oscillator,  , can,  , be,  , RowBox[{written, :, , , Cell[TextData[{Cell[BoxData[---]], Cell[BoxData[p  + (--------) x  = E]]}]]}]}], , , Using the previous definition of η, the classical phase space picture of a particle with energy E, is a circle of radius E^(1/2), and can be written :   p '^2 + x '^2 = E, , , RowBox[{RowBox[{Where,  , Cell[TextData[{p'=, Cell[BoxData[-------]]}]], and,  , RowBox[{Cell[x'=ηx], ., , , Quantum}],  , mechanically}],  , ,,  , RowBox[{the,  , phase,  , space,  , representation,  , of,  , a,  , function,  , is,  , more,  , complicated . The,  , uncertainty,  , relation,  , Cell[TextData[{ΔxΔp>=, Cell[BoxData[h]]}]],  , prevents,  , a,  , one,  , to,  , one,  , mapping,  , a,  , state,  , with,  , a,  , known,  , momentum,  , p}], ,,  , RowBox[{to,  , a,  , known,  , point,  , (p, x),  , in,  , phase,  , space . Such,  , a,  , known,  , point,  , in,  , p,  , would,  , generate,  , an,  , infinite,  , line,  , in,  , x . A,  , phase,  , space,  , distribution,  , that,  , obeys,  , uncertainty,  , and,  , that,  , allows,  , a,  , mapping,  , of,  , wavefunctions,  , into,  , a,  , phase,  , space,  , is,  , the,  , Wigner,  , function . The,  , Wigner,  , function,  , is,  , defined,  , RowBox[{as, :, , , Cell[TextData[{W(x,p)=, Cell[BoxData[--------- ∫         e             < x + - ξ | ρ | x - - ξ > d ξ]]}]]}]}]}], , , RowBox[{where,  , Overscript[ρ,^],  , is,  , the,  , density,  , operator,  , defined,  , RowBox[{by, :, , , Cell[TextData[Cell[BoxData[ρ = ∑ | ψ  > < ψ  |]]]]}]}], , , The density operator    is also known as the projection operator because it projects a state onto another basis . If the density operator for a single number state of the harmonic oscillator    is substituted in into the Wigner function definition, the result is :  W _ m (x, p) = 1/(2 πh) ∫ _ (-∞)^∞ e^(-i/h pξ) < x + 1/2 ξ | ψ _ m > < ψ _ m | x - 1/2 ξ > d ξ = 1/(2 πh) ∫ _ (-∞)^∞ e^(-i/h pξ) ψ _ m (x + 1/2 ξ) ψ _ m^* (x - 1/2 ξ) d ξ, , , The eigenfunctions ψ _ m (x) for the simple harmonic oscillator (a . k . a .. a number state) can now be substituted into the equation and the result is the integral :   W _ m (x, p) = 1/(2 πh) ∫ _ (-∞)^∞ e^(-i/h pξ) N _ m^2 h _ m(η(x + 1/2 ξ)) e^(-(η(x + 1/2 ξ))^2/2) h _ m(η(x - 1/2 ξ)) e^(-(η(x - 1/2 ξ))^2/2) d ξ, , , The integral can be simplified and can be performed analytically (Schleich, Ch .4, P .105 - P .107) . The resulting Wigner function for an eigenstate of the simple harmonic oscillator ψ _ m (x) is given by :  W _ m (x, p) = (-1)^m/πh e^(-[(p/hη)^2 + (ηx)^2]) L _ m (2[(p/hη)^2 + (ηx)^2]), , , Where L _ m (E) is the Laguerre polynomial .   The Wigner function    for states of the infinite potential well can also be determined . Remembering that the eigenfunctions for the infinite potential well are :  u _ n (x) = 1/a^(1/2) sin (nπx/a)       for n = odd, , ,     , u _ n (x) = 1/a^(1/2) cos (((n - 1/2) πx)/a)       for n = even, , , W _ even (x, p) = 1/(2 πh) ∫ _ (-∞)^∞ e^(-i/h pξ) cos (((n - 1/2) π (x + 1/2 ξ))/a) cos (((n - 1/2) π (x - 1/2 ξ))/a) d ξ, , , W _ odd (x, p) = 1/(2 πh) ∫ _ (-∞)^∞ e^(-i/h pξ) sin ((n π (x + 1/2 ξ))/a) sin ((n π (x - 1/2 ξ))/a) d ξ, , , This can be simplified to :   W _ even (x, p) = 1/(4 πh) ∫ _ (-∞)^∞ e^(-i/h pξ) cos (((n - 1/2) πξ)/a) d ξ + (cos (((n - 1/2) πx)/a))/(4 πh) ∫ _ (-∞)^∞ e^(-i/h pξ) d ξ = 1/(4 πh) (δ (p/h - ((n - 1/2) π)/(2 a)) + δ (p/h + ((n - 1/2) π)/(2 a))) - (cos (((n - 1/2) πx)/a))/(4 πh) δ (p/h)           n = even, , , W _ odd (x, p) = 1/(4 πh) ∫ _ (-∞)^∞ e^(-i/h pξ) cos (((n - 1/2) πξ)/a) d ξ - (cos (((n - 1/2) πx)/a))/(4 πh) ∫ _ (-∞)^∞ e^(-i/h pξ) d ξ = 1/(4 πh) (δ (p/h - ((n - 1/2) π)/(2 a)) + δ (p/h + ((n - 1/2) π)/(2 a))) - (cos (((n - 1/2) πx)/a))/(4 πh) δ (p/h)    n = odd ;, , Cell[], , It is clear that the representation of the eigenstates of an infinite potential well are three infinately long and thin lines . One oscillating about in the x - direction at p = 0, and two constant lines running in the x direction at p = + /-((n - 1/2) π)/(2 a), , , Since infinately thin lines are hard to illustrate, the following notebook    shows the Wigner functions for the simple harmonic oscillator in phase space . Since the distributions and their linear combinations are symmetric about the origin, they don ' t move in time . The time evolution of Wigner functions will be illustrated in the next notebook .     }]}]                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 2 M                          2                                                                                                                                                                                                                                                                           hη                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  2 πh        -∞                        2                       2                                                                                                                                                                                             m = 0          m                 m

In[1389]:=

 W[m_, x_, p_] := (-1)^m/π e^(-(p^2 + x^2)) * LaguerreL[m, 2 * (p^2 + x^2)] ;   Table[{Print["Wigner function for the number state m=", m], Plot3D[W[m, x, p], {x, -4, 4}, {p, -4, 4}, PlotPoints -> 100, PlotRange -> {-.35, .35}, Mesh -> False, AxesLabel -> {"x", "p", "W(x,p)"}]}, {m, 0, 5}] ;   "Four Wigner Functions"

Wigner function for the number state m=  0

[Graphics:HTMLFiles4/index_12.gif]

Wigner function for the number state m=  1

[Graphics:HTMLFiles4/index_14.gif]

Wigner function for the number state m=  2

[Graphics:HTMLFiles4/index_16.gif]

Wigner function for the number state m=  3

[Graphics:HTMLFiles4/index_18.gif]

Wigner function for the number state m=  4

[Graphics:HTMLFiles4/index_20.gif]

Wigner function for the number state m=  5

[Graphics:HTMLFiles4/index_22.gif]

Out[1391]=

Four Wigner Functions


Converted by Mathematica  (September 25, 2003)