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

What is the effect of e^(isH)? p.77, Ballentine

  1. Apr 27, 2012 #1
    Hi guys, I am reading Ballentine's Quantum Mechanics book, and I am stuck on p.77.
    I don't know how the above formula comes, what is the effect of [itex]e^{isH}[/itex] when it acts on a vector?
    In this page, there is also a sentence that I don't understand:
    Does this sentence imply something that can derive the above formula?
  2. jcsd
  3. Apr 27, 2012 #2


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    ##|\Psi(t)\rangle## is the vector that you would use to represent the state of the system at time t. ##|\Psi(t-s)\rangle## is the vector you would use to represent the state of the same system s seconds earlier, or equivalently, the vector you would have used instead of ##|\Psi(t)\rangle## if you had been using a coordinate system in which the time coordinate reaches 0 s seconds later than in the coordinate system you're using now.

    We can define a family of unitary operators (one for each s) by ##U(s)|\Psi(t)\rangle=|\Psi(t+s)\rangle##. We assume that the function U satisfies U(t+s)=U(t)U(s). This is how the idea of translational invariance of time is incorporated into QM. Now there's a theorem (Stone's) that tells us that since U has this property, there's a unique self-adjoint operator H such that U(t)=exp(-iHt) for all t. The Hamiltonian is defined as that operator.

    The function U in this case is a group homomorphism from the group ##(\mathbb R,+)## into the group of unitary operators on our Hilbert space. The group ##(\mathbb R,+)## is (isomorphic to) the group of translations in time. To claim that "the dynamics of a free particle are invariant under the full Galilei group of space-time transformations" is to claim that we can do essentially the same thing with any one-parameter subgroup of the Galilei group, not just the time translation group.
  4. Apr 27, 2012 #3


    User Avatar
    Science Advisor

    The action of transformations of wavefunctions was already explained in sections 3.1 and 3.2. The details of the Galilei group of transformations was explained in sections 3.2 & 3.3. So I'm kinda surprised that you had trouble on p77.

    Maybe you should re-study those earlier sections and see whether there's still anything in there you don't understand.

    No. Up to this point he's been using the familiar properties of space and time to derive stuff. E.g., he derived earlier a geometric quantity "P" that generates spatial translations. But to make the leap from there to seeing "P" as being also the familiar dynamical quantity we call "momentum", an extra step is necessary -- which is what section 3.4 is all about.
  5. May 18, 2012 #4
    I am sorry for replying so late. It seems that Ballentine uses [itex]|\Psi(t)\rangle\rightarrow e^{isH}|\Psi(t)\rangle=|\Psi(t-s)\rangle[/itex] to define the operator [itex]H[/itex], the formula is a definition. Are formulas (3.40)[itex]|\mathbf x\rangle\rightarrow|\mathbf x\rangle'=e^{-i\mathbf a\cdot\mathbf P}|\mathbf x\rangle=|\mathbf x+\mathbf a\rangle[/itex], (3.45)[itex]|\mathbf x\rangle\rightarrow|\mathbf x\rangle'=e^{-i\theta\hat{n}\cdot\mathbf J}|\mathbf x\rangle=|\mathbf x'\rangle[/itex] and (3.49)[itex]e^{i\mathbf v\cdot\mathbf G}\mathbf Ve^{-i\mathbf v\cdot\mathbf G}=\mathbf V-\mathbf vI[/itex] also definitions which define operators [itex]\mathbf P[/itex], [itex]\mathbf J[/itex] and [itex]\mathbf G[/itex]? If so, why those operators should be defined like this? And how can Ballentine know that those opertors which he defined satisfy the commutation relations(3.35)? I feel that I really don't know what section 3.4 is talking about.

    I think that section 3.1~3.3 is talking about some mappings [itex]U(\tau)[/itex], these mappings satisfy the following conditions:
    1)the value [itex]|\langle\phi|\psi\rangle|[/itex] should be preserved.
    2)[itex]U(\tau_2\tau_1)=e^{i\omega}U(\tau_2)U(\tau_1)[/itex], and when [itex]\tau_1[/itex],[itex]\tau_2[/itex] are both the same kind of elementary transformations like rotations, displacements, etc., [itex]\omega=0[/itex].

    We know that for any set of mappings satisfying the above conditions, there correspond a set of operators, namely [itex]\mathbf J[/itex],[itex]\mathbf P[/itex],[itex]\mathbf G[/itex] and [itex]H[/itex]. And we can choose some special sets of mappings so that the commutation relations between their opertors can be simplified to formula(3.35).

    This is what I've got from those sections, I don't know whether or not I misunderstood something.
    Last edited: May 18, 2012
  6. May 18, 2012 #5
    From the last two paragraphs of sec.3.2, does the author regard the state vector [itex]|\Psi\rangle[/itex] as a function [itex]\Psi:(x,y,z,t)\mapsto\Psi(x,y,z,t)[/itex], and [itex]U(\tau)|\Psi\rangle=|\Psi'\rangle[/itex] such that [itex]\Psi'(x,y,z,t)=e^{i\omega}\Psi(\tau^{-1}(x,y,z,t))[/itex]?
    The set of mappings [itex]U(\tau)[/itex] satisfy the conditions in #4.
    Last edited: May 18, 2012
  7. May 21, 2012 #6


    User Avatar
    Science Advisor

    They are defined as generators of the Galilei group in section 3.3 (which assumes the reader has understood sect 3.2). This is crucial. You won't understand later sections unless you understand the concept of a Lie group and its infinitesimal generators, and the applicability of these to spacetime transformations.

    After that, the next step is to understand the concept of representing these abstract quantities as operators on a Hilbert space of abstract states, and then on a Hilbert space of wavefunctions. E.g., ##|\Psi\rangle## is an abstract state in an abstract Hilbert space, whereas ##\Psi(x)## is a wavefunction in a Hilbert space of square-integrable functions.
    This is what Ballentine means in the 1st sentence of the last paragraph on p67 where he
    says "[...] when the abstract vector ##|\Psi\rangle## is represented as a function of space-time coordinates [...]".
  8. May 21, 2012 #7
    I haven't learnt Lie group before. I only know a little elementary knowledge about groups. I think I should learn the mathematics of Lie group or group theory which you mentioned. Can you please recommend some books from which I can learn this kind of mathematics? I've found the book "Lie Algebras in Particle Physics" by Howard Georgi, is this book suitable?
    Last edited: May 21, 2012
  9. May 21, 2012 #8
    Are the exponents throwing you off? If so, you just need to understand how to go from infinitesimal to finite transformations.

    I don't think you should need to read a whole book on Lie Algebra to understand that. Some QM books have a decent enough explanation. I prefer Shankar, myself, and he devotes at least a section, or two, to showing this.
  10. May 21, 2012 #9
    I don't need to read the whole book, I can choose a few chapters on the mathematics which I concern about to read.
    I know Shankar is very good, but I don't know if it is as advanced as Sakurai or Ballentine. Is Shankar enough before proceeding to QFT?
  11. May 21, 2012 #10
    It was for me. Although, I did use David Tong's QFT text/manual as a baby step before starting out on Peskin and Schroeder.
  12. May 21, 2012 #11


    User Avatar
    Science Advisor

    I haven't read Georgi's book, so I can't give an opinion.
    But I'm sure this book would be suitable:

    Greiner & Muller, "Quantum Mechanics -- Symmetries".
  13. May 22, 2012 #12
    Thank you. I'll try the book you recommended.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook