A microscopic theory of the lambda transition,II

The previously proposed finite temperature field theory of the lambda transition based on the Schwinger functional method is investigated further. A systematic method for calculating the higher-order loop terms is presented by introducing the one-loop Green's functions, which are found to be a natural finite temperature extension of the Beliaev-Hugenholtz-Pines-Gavoret-Nozières zero-temperature Green's functions. The application of the finite temperature loop expansion to the dynamical properties is presented by calculating the retarded density correlation functions at the one-loop level. The result gives a microscopic basis for the form of the dynamical structure factor recently proposed by Woods and Svensson. From a general point of view, without using any approximations or model interactions, Goldstone's theorem for the lambda transition at finite temperature is presented.