Heisenberg Evolution WKB and Symplectic Area Phases
  The Schrodinger and Heisenberg evolution operators are represented in quantum phase space by their Weyl symbols. Their semiclassical approximations are constructed in the short and long time regimes. For both evolution problems, the WKB representation is purely geometrical: the amplitudes are functions of a Poisson bracket and the phase is the symplectic area of a region in phase space bounded by trajectories and chords. A unified approach to the Schrodinger and Heisenberg semiclassical evolutions is developed by introducing an extended phase space. In this setting Maslov's pseudodifferential operator version of WKB analysis applies and represents these two problems via a common higher dimensional Schrodinger evolution, but with different extended Hamiltonians. The evolution of a Lagrangian manifold in the extended phase space, defined by initial data, controls the phase, amplitude and caustic behavior. The symplectic area phases arise as a solution of a boundary condition problem. Various applications and examples are considered. 
T. A. Osborn and M. F. Kondratieva