Semiclassical propagator and van Vleck determinant in a mixed position-momentum space

In this paper a semiclassical propagator in a mixed position-momentum space is derived in the formalism of Maslov's multi-dimensional semiclassical theory. The corresponding mixed van Vleck determinant is also given explicitly. The propagator can be used to locally fix semiclassical divergences in singular regions of configuration space. It is shown that when a semiclassical propagator is transformed from one representation to another, its form is invariant.