We discuss the effective theory of a bosonic superfluid whose microscopic behavior is described by a nonrelativistic, weak-coupling Φ4 theory in the phase with broken particle number symmetry, both at zero temperature and in the vicinity of the phase transition. In the zero-temperature regime, the theory is governed by the gapless Goldstone mode resulting from the broken .symmetry. Although this mode is gapless, the effective theory turns out to be Gallilei invariant. The regime just below the critical temperature is approached in a high-temperature expansion which is shown to be consistent with the weak-coupling assumption of the theory. We calculate the critical temperature, the co-efficients of the Landau theory, and the finite-temperature sound velocity. A comparison with BCS theory is given.
To investigate the pairing phase transition in finite systems with the particle-number conservation, we formulate a new BCS-type theory at finite temperature, by deriving a set of variational equations of the free energy after the particle-number projection. This theory enables us to distinguish the symmetry-restoring fluctuation (SRF) from additional quantum fluctuations. By numerical calculations, it is found that the phase transition is compatible with the conservation law in this theory, and that the SRF shifts up the critical temperature. Having correct zero-temperature limit, this theory also gives new interpretation on the Pauli blocking effect in systems with odd particle number.