Integral expressions for the semiclassical time-dependent propagator

Rather general expressions are derived which represent the semiclassical time-dependent propagator as an integral over initial conditions for classical trajectories. These allow one to propagate time-dependent wave functions without searching for special trajectories that satisfy two-time boundary conditions. In many circumstances, the integral expressions are free of singularities and provide globally valid uniform asymptotic approximations. In special cases, the expressions for the propagators are related to existing semiclassical wave function propagation techniques. More generally, the present expressions suggest a large class of other, potentially useful methods. The behavior of the integral expressions in certain limiting cases is analyzed to obtain simple formulas for the Maslov index that may be used to compute the Van Vleck propagator in a variety of representations.