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

What if Hamiltonian is not constant in time?

  1. Jan 22, 2010 #1
    If the Hamilton's operator [itex]H(t)[/itex] depends on the time parameter, what is the definition for the time evolution of the wave function [itex]\Psi(t)[/itex]? Is the equation

    [tex]
    i\hbar\partial_t\Psi(t) = H(t)\Psi(t)\quad\quad\quad (1)
    [/tex]

    or the equation

    [tex]
    \Psi(t) = \exp\Big(-\frac{it}{\hbar}H(t)}\Big)\Psi(0)\quad\quad\quad (2)
    [/tex]

    These are not equivalent, because if the wave function satisfies the equation (2), then it also satisfies

    [tex]
    i\hbar\partial_t\Psi(t) = H(t)\Psi(t) + t\big(\partial_tH(t)\big)\Psi(t)
    [/tex]

    Because these alternatives are not equivalent now, I don't which one to believe in.
     
  2. jcsd
  3. Jan 22, 2010 #2
    The equation (2) seems to be wrong. The right one is

    [tex]
    \Psi(t) = \exp\Big(-\frac{i}{\hbar}\int_0^t \hat{H}(\tau)d\tau}\Big)\Psi(0)\quad\quad\quad (2')
    [/tex]

    The more detailed explanation of quantum dynamics is in "Modern Quantum Mechanics" of J.J.Sakurai
     
  4. Jan 22, 2010 #3
    I see, and this is equivalent with the equation (1) of my first post.

    But the next question is that "why"? If we know that equations (1) and (2) are equivalent when [itex]H[/itex] is constant, and if we are then given a task of generalising the time evolution to a case where [itex]H[/itex] is not a constant, how do we know that it is the equation (1) which can be generalised directly with a substitution [itex]H\mapsto H(t)[/itex], and not the equation (2)?
     
  5. Jan 22, 2010 #4
    What do you mean?
     
  6. Jan 22, 2010 #5

    SpectraCat

    User Avatar
    Science Advisor

    Equations 1 and 2' are always equivalent, whether H is constant in time or not ... equation 2' is just the propagator form to find the time evolution of the wavefunction from some initial state.
     
  7. Jan 22, 2010 #6
    You misunderstood my post, because you accidentally replaced (2) with (2') when quoting me.
     
  8. Jan 22, 2010 #7

    Demystifier

    User Avatar
    Science Advisor

    This is analogous to the following question in high-school physics.
    When the velocity v is constant, then the path traveled during the time t is
    s=vt
    But what if v(t) depends on t?
    Is it
    s=v(t)t
    or is it
    s=Integral v(t) dt ?
    The correct equation, of course, is the last one, but why?

    I hope this analogy helps.

    If not, then let me be slightly more explicit. Because the Hamiltonian, by definition, is the generator of INFINITESIMAL time translations. Not only in quantum physics, but in classical physics as well. See e.g. classical mechanics formulated in terms of Poisson brackets.
     
  9. Jan 22, 2010 #8

    jambaugh

    User Avatar
    Science Advisor
    Gold Member

    This form is only valid if the Hamiltonians at different times commute:
    [tex] [H(\tau),H(\tau')]=0[/tex]

    Otherwise you can't simply integrate (add up). Addition is commutative the operator products are not. You can't simply exponentiate the sum of the logs to get the product.
    This is why we must use techniques such as Feynmann's path integrals.

    Rather than a continuous sum (integral) we really need the notation of a continuous (ordered) product:

    [tex]\Psi(t) =\prod_{\tau=t}^{0}\exp\left(-\frac{i}{\hbar}\hat{H}(\tau)d\tau}\right)\Psi(0)[/tex]

    with the product order understood to be written left to right. (or the reverse and reverse also the limits of multiplicative integration.)

    Of course notation to write the product adds nothing to the problem of solving it.
     
  10. Jan 22, 2010 #9
    Oh.. well this helped me noticing that my time evolution operator in the equation (2) did not depend on [itex]H(t')[/itex] for [itex]0\leq t'\leq t[/itex] at all :blushing: I'm not sure what I was thinking...
     
  11. Feb 12, 2010 #10
    continuous products from 2007-04-06

    Makes you wonder what's the point in studying, when you can't remember what you have already learned...:devil:
     
  12. Feb 12, 2010 #11

    Ben Niehoff

    User Avatar
    Science Advisor
    Gold Member

    The usual physics notation for the time-ordered continuous product is

    [tex]{\mathcal T} \exp \int_0^t H(t') \; dt'[/tex]

    where [itex]\mathcal T[/itex] is the so-called "time-ordering operation". However, I think the continuous product notation Jambaugh writes is more logical. Here is a paper I found that discusses product integrals, and uses a "curly Pi" notation for them:

    http://www.math.leidenuniv.nl/~gill/prod_int_1.pdf

    The product integral was originally conceived by Volterra to help in solving linear systems of differential equations. For ordinary functions, the product integral reduces to the ordinary integral, and so it has not garnered much mathematical interest.

    For Lie algrebra valued functions, the product integral is useful, typically showing up in Wilson loops (or holonomy loops), where a function is integrated around a closed curve. In this case, it is possible to define a notion of surface-ordered product integration which respects a non-Abelian Stokes theorem.
     
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook