Abstract. A rigorous representation of the Feynman-Vernon influence functional used to describe open quantum systems is given, based on the theory of infinite dimensional oscillatory integrals. An application to the case of the density matrices describing the Caldeira-Leggett model of two quantum systems with a quadratic interaction is treated.
IntroductionOne of the crucial problems of modern physics consists in understanding the behaviour of an open quantum system, i.e. of a quantum system coupled with a second system often called reservoir or enviroment. One is interested in the dynamics of the first system, taking into account the influence of the enviroment on it. A typical example is the study of a quantum particle submitted to the measurement of an observable. In fact, from a quantum mechanical point of view, the interaction with the measuring apparatus cannot be neglected and modifies the dynamics of the particle. On the other hand the evolution of the measuring instrument is not of primary interest. A particularly intriguing approach to this problem was proposed in 1963 by Feynman and Vernon ( see [FH65,FV63]) within the path integral formulation of quantum mechanics. In 1942 R.P. Feynman [Fey42], following a suggestion by Dirac (see [Dir33,Dir47], proposed an alternative (Lagrangian) formulation of quantum mechanics (published in [Fey48]), that is an heuristic, but very suggestive representation for thesolution of the Schrödinger equationdescribing the time evolution of the state ψ of a d−dimensional quantum particle. The parameter is the reduced Planck constant, m > 0 is the mass of the particle and F = −∇V is an external force. According to Feynman's proposal the wave function of the system at time t evaluated at the point x ∈ R d is heuristically given as an "integral over histories", or as an integral over all possible paths γ in the configuration space of the system with finite energy passing in the point x at time t:(2) where S t (γ) is the classical action of the system evaluated along the path γ, i.e. :Dγ is an heuristic Lebesgue "flat" measure on the space of paths and ( {γ|γ(t)=x} e i S • t (γ) Dγ) −1 is a normalization constant. Feynman and Vernon (see [FH65,FV63]) generalized this idea to the study of the time evolution of the reduced density operator of a system in interaction with an enviroment. Let denote ρ A , ρ B , respectively, the initial density matrices of the system and of the enviroment, S A , S B , respectively, the action functionals of the system and of the enviroment and S I the contribution to the total action due to the interaction. Then the kernel of the reduced density operator of the system ρ R (obtained by tracing over the environmental coordinates) is heuristically given by:(5) where F is the formal influence functional (IF):
FEYNMAN-VERNON INFLUENCE FUNCTIONAL 3The number of spin-offs originated by the seminal work [FV63] is so large that it is nearly impossible to give here a complete list, and we limit ourselves to shortly mention some of them. Probably the most inf...