What if Hamiltonian is not constant in time?

  • Thread starter jostpuur
  • Start date
  • #1
2,111
18
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.
 

Answers and Replies

  • #2
45
0
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
 
  • #3
2,111
18
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
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)?
 
  • #4
45
0
...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)?
What do you mean?
 
  • #5
SpectraCat
Science Advisor
1,395
2
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)?
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.
 
  • #6
2,111
18
You misunderstood my post, because you accidentally replaced (2) with (2') when quoting me.
 
  • #7
Demystifier
Science Advisor
Insights Author
Gold Member
10,958
3,669
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.
 
  • #8
jambaugh
Science Advisor
Insights Author
Gold Member
2,221
254
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
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.
 
  • #9
2,111
18
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.
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...
 
  • #10
2,111
18
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:
 
  • #11
Ben Niehoff
Science Advisor
Gold Member
1,879
162
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.
 

Related Threads on What if Hamiltonian is not constant in time?

  • Last Post
Replies
1
Views
841
  • Last Post
Replies
6
Views
4K
Replies
5
Views
9K
Replies
14
Views
2K
Replies
7
Views
6K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
2
Views
1K
Replies
6
Views
6K
Replies
1
Views
1K
Replies
9
Views
2K
Top