Abstract: Starting from Feynmans Lagrangian description of quantum mechanics, we propose a method to construct explicitly the propagator for the Wigner distribution function of a single system. For general quadratic Lagrangians, only the classical phase space trajectory is found to contribute to the propagator. Inspired by Feynmans and Vernons influence functional theory we extend the method to calculate the propagator for the reduced Wigner function of a system of interest coupled to an external system. Explicit expressions are obtained when the external system consists of a set of independent harmonic oscillators. As an example we calculate the propagator for the reduced Wigner function associated with the CaldeiraLegett model.

Abstract: The propagator of the Wigner function is constructed from the WignerLiouville equation as a phase space path integral over a new effective Lagrangian. In contrast to a paper by Barker and Murray (1983) [1], we show that the path integral can in general not be written as a linear superposition of classical phase space trajectories over a family of non-local forces. Instead, we adopt a saddle point expansion to show that the semiclassical Wigner function is a linear superposition of classical solutions for a different set of non-local time dependent forces. As shown by a simple example the specific form of the path integral makes the formulation ideal for Monte Carlo simulation.