Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Energy of the harmonic oscillator

  1. Jun 30, 2006 #1
    Hey!

    Can someone explain to why the energy of the harmonic oscillator must be at least:

    [tex]\frac{(\Delta p)^2}{2m}+\frac{1}{2}m \omega^2 (\Delta x)^2[/tex]

    I mean, [tex]\Delta x[/tex] and [tex]\Delta p[/tex] represents the uncertainty in the position and momentum, and therefore it does not really have anything to do with the actual true value of the position and momentum does it? If you don't understand what I mean please let me know.

    Thanks!
     
  2. jcsd
  3. Jun 30, 2006 #2
    The Hamiltonian is given by

    [tex]H = \frac{1}{2m}\left[p^2 + (m\omega x)^2\right][/tex]

    If I understand your problem correctly::

    There is no "true" value that is measurable. The observables are the expectation values of [itex]x[/itex] and [itex]p[/itex] and the uncertainty principle gives you an inequality relating the standard deviations (in statistical language, what you call uncertainties).
     
    Last edited: Jun 30, 2006
  4. Jun 30, 2006 #3
    Well, what I want to do is derive the minimum energy of the harmonic oscillator. I start with:

    [tex]<E>=\frac{<p^2>}{2m} + \frac{1}{2}m \omega^2 <x^2>[/tex]

    ...and use the fact that:

    [tex](\Delta x)^2 = <x^2> - <x>^2[/tex]

    and

    [tex](\Delta p)^2 = <p^2> - <p>^2[/tex]

    To rewrite the formula for the energy expectation value into the one in my first post I assume that [tex]<p>[/tex] and [tex]<x>[/tex] are zero so that [tex](\Delta x)^2=<x^2>[/tex] and [tex](\Delta p)^2=<p^2>[/tex]. Now, my question is how can I assume that the expectation value of position and momentum is zero? Is it because the particle in the harmonic oscillator potential spends equal amounts of time in the two outer positions? And for the momentum, is it because the velocity of the particle reverses sign in the two outermost positions just as in a classical oscillator?

    Thanks!
     
  5. Jun 30, 2006 #4
    To convince yourself you could calculate [itex]<x>[/itex] and [itex]<p>[/itex] for the n-th harmonic ocillator state though I assure you that the integration won't be straightforward (you could use the hermitian adjoint operators...the ladder operators to ease a bit).

    For n = 1, its just

    [tex]\psi(x) = \left(\frac{m\omega}{\pi \hbar}\right)^{1/4}exp\left(-\frac{m\omega^2}{2\hbar}\right)[/tex]

    Try calculating the expectation values with this (note that you don't need to tack the time dependence for expectation values).

    When you get the result, you can think of it as being analogous to the classical harmonic oscillator (as you say) but I wouldn't like to stretch the analogy too far because I don't have the time dependence of [itex]x[/itex] here--in QM it makes no sense--to predict how long it remains in a particular part of the region [itex]-A \leq x \leq A[/itex]. All my computations are based on how [itex]\psi(x)[/itex] behaves and not how [itex]x(t)[/itex] behaves (the second function has no meaning in QM).
     
    Last edited: Jun 30, 2006
  6. Jul 2, 2006 #5
    Look again!

    Look again, Repetit. The answer you seek is staring :bugeye: you in the face from behind no more than a wispy veil.

    From the first three relations of your second post, it follows that

    <E> = E + <p>2/2m + mω2<x>2/2 ,

    where I have defined E as the expression you gave in your opening post.

    Clearly, <E> ≥ E .
     
  7. Jul 3, 2006 #6
    That is not quite right. When the energy of a system is measured the only possible measured results are eigenvalues. Each eigenvalue can be determined to within an arbitrarily small value. Therefore a "true" value is measureable and has a well defined meaning. Observables are not the expectation values of an operator. See

    http://www.geocities.com/physics_world/qm/harmonic_oscillator.htm

    for the details.

    Pete
     
  8. Jul 4, 2006 #7
    pmb_phy: The site you gave doesn't work (maybe geocities is down right now or something).

    Interesting you should say that...when I was reading Griffiths QM, I learnt that it is the expectation values that are measured and this idea was confirmed by Eisberg/Resnick. Could you please enlighten me about what you want to show through that website?
     
    Last edited: Jul 4, 2006
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?