The basic assumption of this paper is that in the presence of Bose-Einstein condensation (BEC) in liquid
4He, the wave functions of occupied many particle states are the superposition of two components; a phase coherent component, proportional to the ground state wave function and a phase incoherent component. It is shown that this assumption satisfies necessary conditions imposed by the presence of BEC and that the wave functions of the ideal Bose gas and wave functions of the Bijl-Feynman type are of this form. It is shown that this single assumption provides simple microscopic explanations of essentially all the exotic properties of helium II; why BEC implies two fluid behavior, how the superfluid and condensate fractions are linked, how Landau theory is linked to the presence of BEC, why the superfluid exhibits flow without viscosity and macroscopic quantum effects while the normal fluid does not, how the anomalous expansion and loss of spatial order, observed in helium II as it is cooled, is linked to BEC, and how the presence of sharp peaks observed in the dynamic structure factor are linked with BEC. The theory provides predictions that are in quantitative agreement with a wide range of presently unexplained experimental data on helium II.
At finite temperatures below the phase transition point, the Bose-Einstein condensation, the macroscopic occupation of a single quantum state by particles of integer spin, is not complete. In the language of superfluid helium, this means that the superfluid coexists with the normal fluid. Our goal is to describe this coexistence in trapped, dilute atomic gases with repulsive interactions via mean field laws that account for a {\em spatially varying} particle interaction strength. By starting with the
N-body Hamiltonian,
N≫1, we formally derive a system of coupled, nonlinear evolution equations in
3+1 dimensions for the following quantities: (i) the wave function of the macroscopically occupied state; and (ii) the single-particle wave functions of thermally excited states. For stationary (bound) states and a scattering length with {\em periodic microstructure} of subscale
ε, we heuristically extract effective equations of motion via periodic homogenization up to second order in
ε.