- #1

- 9

- 0

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter bikashkanungo
- Start date

- #1

- 9

- 0

- #2

Fredrik

Staff Emeritus

Science Advisor

Gold Member

- 10,872

- 419

- #3

- 9

- 0

yeah i know that U = exp[-iH*(t-t0)/ħ] if H does not depend explicitly on time .

- #4

Fredrik

Staff Emeritus

Science Advisor

Gold Member

- 10,872

- 419

Right. And the exponential is defined as a power series. So what is [H,U]? (You can choose t_{0}=0 and units such that [itex]\hbar=1[/itex] to eliminate some typing).

Last edited:

- #5

- 13,193

- 762

The exponential is defined as a power series only if H is bounded. For H bounded (which is rarely the case in QM) the proof is trivial (purely algebraic). For the unbounded case, it should go like this. From the theory of Galilei group representation, one derives that time evolution of pure states is provided by means of a strongly continuous group of unitary operators U(t) and we agree to denote by H the generator of this group and call it Hamiltonian, which is time-independent, if one's working in the Schrödinger picture. To show that the generator commutes with U(t), we start from the definition of the generator (H) and I have attached a paragraph from Blank et al.

The fact that H as the generator is self-adjoint represents the conclusion of the theorem of Stone, which is found in most books on functional analysis.

The fact that H as the generator is self-adjoint represents the conclusion of the theorem of Stone, which is found in most books on functional analysis.

Last edited:

- #6

Fredrik

Staff Emeritus

Science Advisor

Gold Member

- 10,872

- 419

To a typical physics student, a rigorous treatment of the bounded case is not trivial. They aren't expected to understand (or even care about) how to prove that the series that defines the exponential is convergent given that H is bounded, or what sort of things they can do to series and other expressions that involve limits. A physics student who's given this problem is expected to answer it with [tex][U(t),H]=\left[e^{-iHt},H\right]=\left[\sum_{k=0}^\infty\frac{(-iHt)^k}{k!},H\right]=\sum_{k=0}^\infty \frac{(-it)^k}{k!}[H^k,H]=0[/tex] without even thinking about whether these steps actually make sense.

- #7

- 13,193

- 762

If he knows from functional analysis / math methods for quantum physics what a bounded operator is, he can make a proof of strong convergence, I believe.

Share: