Comparison between quantum and classical dynamics in the effective action formalism

A major difficulty in comparing quantum and classical behavior resides in the struc- tural differences between the corresponding mathematical languages. The Heisenberg equations of motion are operator equations only formally identical to the classical equations of motion. By taking the expectation of these equations, the well-known Ehrenfest theorem provides identities which, however, are not a closed system of equations which allows to evaluate the time evolution of the system. The formalism of the effective action seems to offer a possibility of comparing quantum and classical evolutions in a system- atic and logically consistent way by naturally providing approximation schemes for the expectations of the coordinates which at the zeroth order coincide with the classical evolution [1]. The effective action formalism leads to equations of motion which differ from the classical equations by the addition of terms nonlocal in the time variable. This means that for these equations an initial value problem is not meaningful and they have to be interpreted in an appropriate way. Here we analyze situations in which the nonlocal terms can be reasonably approximated by local ones, so that the quantum corrections do not modify the locality of classical equations. In the simplest approximation, the effective Lagrangian differs from the corresponding classical one by a renormalization of both the potential- and the kinetic-energy terms. We shall not discuss the causal formalism used, for example, in refs. [2-4], as in the approximation considered this would lead to the same local equations. The present contribution describes the beginning of a systematic study of semiclassical evolutions using the effective action formalism. In the first part, after introducing the formalism of the effective action and its expansion in powers of hbar (loop expansion) in the context of quantum mechanics, we concentrate on the structure of the first-order corrections in li. These corrections are evaluated to the second order in the derivative expansion [5], by two different methods. The first is based on a Euclidean approach [6], the second one on an adiabatic approximation in evaluating functional determinants. In the second part of the article we put the formalism at work, choosing as our case study a two-dimensional (2D) anharmonic oscillator of the kind considered in molecular physics. The results of the simulations show that by increasing lithe effective dynamics tends to regularize the classical motion and becomes qualitatively very similar to the quantum evolution provided the energy is sufficiently small. The evaluation of the effective dynamics in more general cases will be presented in a forthcoming paper.