Abstract A simplified formulation of the semiclassical Heisenberg operator based on the forward‐backward evolution methodology is worked out. A new representation related to the Husimi form is suggested to remove its problem, which may also offer a new way to improve the Herman‐Kluk semiclassical propagator.
We present a complete derivation of the semiclassical limit of the coherent-state propagator in one dimension, starting from path integrals in phase space. We show that the arbitrariness in the path integral representation, which follows from the overcompleteness of the coherent states, results in many different semiclassical limits. We explicitly derive two possible semiclassical formulae for the propagator, we suggest a third one, and we discuss their relationships. We also derive an initial-value representation for the semiclassical propagator, based on an initial Gaussian wavepacket. It turns out to be related to, but different from, Heller's thawed Gaussian approximation. It is very different from the Herman-Kluk formula, which is not a correct semiclassical limit. We point out errors in two derivations of the latter. Finally we show how the semiclassical coherent-state propagators lead to WKB-type quantization rules and to approximations for the Husimi distributions of stationary states.
We construct a representation of the coherent state path integral using the Weyl symbol of the Hamiltonian operator. This representation is very different from the usual path integral forms suggested by Klauder and Skagerstam (1985 Coherent States: Applications in Physics and Mathematical Physics (Singapore: World Scientific)), which involve the normal or the antinormal ordering of the Hamiltonian. These different representations, although equivalent quantum mechanically, lead to different semiclassical limits. We show that the semiclassical limit of the coherent state propagator in the Weyl representation involves classical trajectories that are independent of the width of coherent states. This propagator is also free from the phase corrections found in Baranger et al ( 2001 J. Phys. A: Math. Gen. 34 7227 ) for the two Klauder forms and provides an explicit connection between the Wigner and the Husimi representations of the evolution operator.
A log-derivative formulation of the prefactor term appearing in the semiclassical Herman−Kluk propagator is presented. The resulting new expression is found in practice to avoid the branch cut problem which has hampered previous formulations. The enhanced performance of the log-derivative version of the prefactor has been confirmed by testing it on several one- and two-dimensional model problems. This log-derivative algorithm is also incorporated in the forward−backward initial value representation and applied to a model of the double-slit diffraction problem.
The semiclassical Herman–Kluk initial value approximation of the quantum-mechanical propagator, which is heavily used in dynamical studies of atomic and molecular systems, takes into account nonlinearity of the underlying classical dynamics by using multiple classical initial value solutions. In applications to the propagation of Gaussian wavepackets non-Gaussian distortions in the course of time and therefore a realistic description of the quantum dynamics are possible. This is in contrast to the single-trajectory approximations investigated in a recent paper by Baranger et al , one of which was erroneously termed Herman–Kluk approximation.