Quantum Theory of Non-Homogeneous Phases of Helium