Concrete expressions are given to the operators φk forming a set of canonically conjugate variables to the density fluctuations ρl in a Bose-Einstein condensed many-boson system. The Fourier transform of φk to the coordinate space admits in classical terms an interpretation as the phase of the boson field ψ(x). Various objections against the existence of canonically conjugate variables to the density are critically examined. They do not apply to the proposed operator φk which is non local and canonically conjugate only to the density fluctuation.
We prove two equilibrium properties of a system of interacting atoms in three or higher dimensional continuous space. (i) If the particles interact via pair potentials of a nonnegative Fourier transform, their self-organization into infinite permutation cycles is simultaneous with off-diagonal long-range order. If the cycle lengths tend to infinity not slower than the square of the linear extension of the system, there is also Bose-Einstein condensation. (ii) If the pair potential is also nonnegative, cycles composed of a nonzero fraction of the total number of particles do appear if the density exceeds a temperature-dependent threshold value. The two together constitute the proof that in such a system Bose-Einstein condensation takes place at high enough densities.
We consider equilibrium canonical-ensemble fluctuations of the Bose-Einstein condensate (BEC) in a trap using the particle-number conserving operator formalism of Girardeau and Arnowitt [Phys. Rev. 113, 755 (1959)] and the concept of the canonical-ensemble quasiparticles. We find explicit expressions for the characteristic function and all cumulants of the ground-state occupation statistics both for the dilute weakly interacting and ideal Bose gases. We present analytical formulas for the moments of the ground-state occupation fluctuations in the weakly interacting and ideal Bose gases in a box (``homogeneous gas'') as well as in the ideal Bose gas in an arbitrary power-law trap, in particular, in an arbitrary harmonic trap. We calculate the effect of Bogoliubov coupling between quasiparticles on suppression of the ground-state occupation fluctuations at moderate temperatures and their enhancement at very low temperatures. We clarify a crossover between ideal-gas and weakly interacting gas statistics, which is governed by a pair-correlation, squeezing mechanism. The important conclusion is that in most cases the ground-state occupation fluctuations are anomalously large and are not Gaussian even in the thermodynamic limit.
The existence of inequivalent representations of the canonical commutation relations which describe a nonrelativistic infinite free Bose gas of uniform density is investigated, with a view to possible applications to statistical mechanics. The functional E(f, g)=(Ψ, eiφ(f) eiπ(g)Ψ) is used to describe the inequivalent representations. This functional is calculated for the free Bose gas in a box of volume V, and the limit is then taken as V → ∞. In this way we construct cyclic representations describing an infinite system of particles with a density distribution ρ(k) in momentum space. For a given ρ(k) the operator algebra generated by the φ(f), π(g) is reducible. For the ground-state representation (all particles in the zero-momentum state), the representation is a direct integral of irreducible representations (analogous to BCS theory). For finite temperatures the situation is complicated by the occurrence of representations which are not type I. The physical significance of the reducibility of the representations is discussed. It is argued that the thermal ensemble for the infinite system is a pure state at zero temperature, although there is some ambiguity as to which operators should belong to the algebra of observables. For finite temperatures, the thermal ensemble seems to be a mixture. The case of an interacting Bose gas is considered briefly.
This work is concerned with a microscopic model of a nonideal boson gas. The Hamiltonian is treated in a rigorous manner free of all approximations and, in particular, the Bogoliubov approximation of replacing the zero-momentum single-particle creation and destruction operators by a
c number is entirely avoided. Utilizing a method due to Wentzel, the Hamiltonian is replaced by one involving products of two second quantized operators which, in general, can be diagonalized. This replacement is shown to be rigorously valid in the infinite volume limit for all temperatures despite the avoidance of the Bogoliubov approximation. It is found that the assumption of a positive-definite quasiparticle excitation spectrum $\ensuremath{\epsilon}(\mathrm{k})$ becomes untenable for temperatures
T less than a critical value
Tc, if the interparticle potential is described by a certain kernel which possesses positive eigenvalues only, corresponding to a sufficiently repulsive interparticle force. Assuming that $\ensuremath{\epsilon}(\mathrm{k})=0$ only for k=0, it is found that for
T<Tc the system undergoes an Einstein condensation into the k=0 single-particle state, and the integral equations characterizing the system are precisely the same as would be obtained if the Bogoliubov approximation were made, proving within the framework of this model the strict validity of this approximation procedure. The well-known criterion for an Einstein condensation
v(0)>0, where
v(k) is the Fourier transform of the interparticle potential, is shown to be a weaker statement of our eigenvalue criterion. Further, in agreement with Girardeau and Arnowitt, it is found that an energy gap separates $\ensuremath{\epsilon}(0)$ and $\ensuremath{\epsilon}(\mathrm{k})$ for
k>0. An approximation method is developed for solving the integral equations which describe those systems which undergo an Einstein condensation, and it is shown that this method can be justified if $|T\ensuremath{-}{T}_{c}|\ensuremath{\lesssim}\frac{{T}_{c}}{10}$, and in cases of short-range repulsive interparticle forces and systems for which $\ensuremath{\rho}v(0)$ possesses a certain prescribed upper bound, $\ensuremath{\rho}$ being the number of particles per unit volume. The transition temperature is found to be lower than the corresponding quantity for the ideal boson gas of the same density. A detailed discussion of the thermal properties of the system in the vicinity of
Tc is also given. In an Appendix a general type of smeared Einstein condensation is assumed, and it is found that for systems in which this property occurs $\ensuremath{\epsilon}(\mathrm{k})$ is linear for small
k. This ansatz is shown to be tenable only if
v(0)<0. Finally, by assuming an appropriate pseudopotential representation of a hard repulsive core and by including a weak, longranged attractive force between particles, $\ensuremath{\epsilon}(\mathrm{k})$ shows a nonmonotonic behavior of the same qualitative type as observed in liquid
He4.
We present a method of treating the assembly of interacting bosons under Bose-Einstein condensation. Without applying the Bogoliubov approximation in which the creation and the annihilation operators of zero-momentum particles are replaced by a c number, we keep the quantum nature of these operators—thus the title, ``Quantum Mechanics.'' The method is a quantum mechanical adaptation of the theory of small oscillation. The oscillation means the fluctuation of the number of condensed particles. The interaction between particles determines the stability of this oscillation. When it is stable and its amplitude is not macroscopic, the Bogoliubov approximation is valid. In this way, our method provides a validity criterion for the Bogoliubov approximation as well as an estimation of the errors thereby committed. We have to note that the excitations associated with the fluctuation of condensed particles can never be obtained within that approximation. Our method is applied to the Huang model, the assembly of bosons interacting through a hard core plus weak attractive potential. Having found that, within the physically accessible range of the particle density, the above-mentioned oscillation is stable, we can conclude that Huang's treatment is well founded. We have discussed the mathematical background of our approximation by invoking the representation theory of canonical variables of an infinitely large system.