Skip to content

Interacting Bose Fields and Bogoliubov Sound

Free bosons are deceptively simple. A macroscopic number of them can sit in the same one-particle state, and the energy of a particle with small momentum is only p2/(2m)\mathbf p^2/(2m). This produces an enormous supply of very low-energy excitations. A weak repulsive interaction changes the situation qualitatively: the low-energy excitation is no longer a single particle moving through an inert background, but a collective density wave. Its energy is linear at small momentum,

ωkck,\omega_{\mathbf k}\simeq c|\mathbf k|,

so the interacting Bose gas has sound.

This page develops that result directly from the field-operator formalism. The Hamiltonian is still nonrelativistic, and the field still obeys the equal-time commutator introduced earlier, but the interaction makes the theory genuinely field-theoretic: the equation of motion is nonlinear, a classical condensate can appear at large occupation number, and small fluctuations mix particles with holes. That mixing is the seed of the Bogoliubov spectrum.

The most natural nonrelativistic interaction is a pair potential. For identical bosons described by the field ψ(x)\psi(\mathbf x), the Hamiltonian is

H=d3x12mψψ+12d3xd3yV(xy)ψ(x)ψ(y)ψ(y)ψ(x).H=\int d^3x\,\frac{1}{2m}\nabla\psi^\dagger\cdot\nabla\psi +\frac12\int d^3x\,d^3y\,V(\mathbf x-\mathbf y) \psi^\dagger(\mathbf x)\psi^\dagger(\mathbf y) \psi(\mathbf y)\psi(\mathbf x).

The factor 1/21/2 avoids double-counting pairs. The ordering shown here is normal ordered: annihilation operators stand to the right of creation operators. For smooth VV, this Hamiltonian is the second-quantized version of the many-body Hamiltonian

HN=i=1N(i22m)+1i<jNV(xixj).H_N=\sum_{i=1}^N\left(-\frac{\nabla_i^2}{2m}\right) +\sum_{1\leq i<j\leq N}V(\mathbf x_i-\mathbf x_j).

The Heisenberg equation

itψ(x,t)=[ψ(x,t),H]i\partial_t\psi(\mathbf x,t)=[\psi(\mathbf x,t),H]

gives

itψ(x,t)=22mψ(x,t)+d3yV(xy)ψ(y,t)ψ(y,t)ψ(x,t).i\partial_t\psi(\mathbf x,t) =-\frac{\nabla^2}{2m}\psi(\mathbf x,t) +\int d^3y\,V(\mathbf x-\mathbf y) \psi^\dagger(\mathbf y,t)\psi(\mathbf y,t)\psi(\mathbf x,t).

This equation is still exact as an operator equation. It already has the form of a Schrödinger equation in a self-consistent potential: the particle annihilated at x\mathbf x feels the density of all other particles.

A particularly important idealization is a short-range repulsion,

V(xy)=gδ(3)(xy),g>0.V(\mathbf x-\mathbf y)=g\delta^{(3)}(\mathbf x-\mathbf y), \qquad g>0.

Then the contact Hamiltonian should be read as the normal-ordered operator

H=d3x[12mψψ+g2ψψψψ]=d3x[12mψψ+g2:(ψψ)2:].H=\int d^3x\left[\frac{1}{2m}\nabla\psi^\dagger\cdot\nabla\psi +\frac g2\psi^\dagger\psi^\dagger\psi\psi\right] =\int d^3x\left[\frac{1}{2m}\nabla\psi^\dagger\cdot\nabla\psi +\frac g2:(\psi^\dagger\psi)^2:\right].

With this understood, the equation of motion becomes

itψ=22mψ+gψψψ.i\partial_t\psi =-\frac{\nabla^2}{2m}\psi+g\psi^\dagger\psi\,\psi.

A local repulsive interaction as a two-body contact vertex

The contact term gψψψψ/2=g:(ψψ)2:/2g\psi^\dagger\psi^\dagger\psi\psi/2= g:(\psi^\dagger\psi)^2:/2 represents a local two-body repulsion. In perturbation theory it becomes a four-leg vertex; in mean-field theory it becomes an energy cost proportional to the square of the density.

The contact interaction is best regarded as a low-energy effective description. In three spatial dimensions a literal delta-function potential needs ultraviolet care; in dilute-gas applications the coupling is related to the two-body scattering length after renormalization. For the long-wavelength sound mode derived below, the effective coupling gg and the density n0n_0 are the only ingredients that enter at leading order.

The same operator can behave quantum mechanically or classically depending on occupation number. For a single oscillator mode,

[a,a]=1,N=aa.[a,a^\dagger]=1, \qquad N=a^\dagger a.

If the mode contains N1N\gg1 particles, then the commutator is small compared with the size of the operator products:

[a,a]aa1N.\frac{[a,a^\dagger]}{a^\dagger a}\sim \frac1N.

In a coherent state aα=ααa|\alpha\rangle=\alpha|\alpha\rangle with α2=N|\alpha|^2=N, the relative number fluctuation is ΔN/N=1/N\Delta N/N=1/\sqrt N. Thus, at large occupation, replacing the operator by a complex classical amplitude is self-consistent at leading order.

For a Bose field this means that a macroscopically occupied state may be described by a classical order parameter

Ψ(x,t)=ψ(x,t).\Psi(\mathbf x,t)=\langle\psi(\mathbf x,t)\rangle.

Replacing ψ\psi by Ψ\Psi in the contact-interaction Hamiltonian gives the Gross–Pitaevskii energy functional

E[Ψ]=d3x[12mΨ2+g2Ψ4].E[\Psi]=\int d^3x\left[ \frac{1}{2m}|\nabla\Psi|^2+\frac g2|\Psi|^4 \right].

The conserved particle number is

N=d3xΨ2.N=\int d^3x\,|\Psi|^2.

To fix the average density it is convenient to minimize

K[Ψ]=E[Ψ]μN=d3x[12mΨ2μΨ2+g2Ψ4].K[\Psi]=E[\Psi]-\mu N =\int d^3x\left[ \frac{1}{2m}|\nabla\Psi|^2-\mu|\Psi|^2+\frac g2|\Psi|^4 \right].

For a uniform field Ψ=neiθ\Psi=\sqrt n\,e^{i\theta}, the grand-canonical energy density is

Eμ(n)=μn+g2n2=g2(nμg)2μ22g.\mathcal E_\mu(n)=-\mu n+\frac g2 n^2 =\frac g2\left(n-\frac{\mu}{g}\right)^2-\frac{\mu^2}{2g}.

For g>0g>0 and μ>0\mu>0 the minimum occurs at

n0=μg.n_0=\frac{\mu}{g}.

The sign restriction is physical. If the same contact model is continued to g<0g<0, the quartic energy is unbounded below at fixed chemical potential, and the uniform dilute-gas saddle is not stable without additional physics. In the linearized spectrum below, the same instability appears as ωk2<0\omega_k^2<0 at sufficiently small kk. We therefore keep g>0g>0 throughout the sound-mode derivation.

The phase θ\theta is arbitrary. Choosing one value of θ\theta is the mean-field signal of spontaneous breaking of the global U(1)U(1) symmetry

ψeiαψ.\psi\mapsto e^{-i\alpha}\psi.

The broken symmetry does not mean that particle number has disappeared from the exact theory. The exact Hamiltonian still commutes with

N=d3xψψ.N=\int d^3x\,\psi^\dagger\psi.

Rather, in the thermodynamic limit a state with macroscopic occupation can be described by an order parameter with a chosen phase. Small changes of that phase become the low-energy collective mode.

The classical equation of motion in the grand-canonical frame is

itΨ=22mΨμΨ+gΨ2Ψ.i\partial_t\Psi =-\frac{\nabla^2}{2m}\Psi-\mu\Psi+g|\Psi|^2\Psi.

The uniform condensate

Ψ0=n0\Psi_0=\sqrt{n_0}

is time independent precisely because μ=gn0\mu=gn_0. Without subtracting μN\mu N, the same physical condensate would rotate in phase as Ψ(t)=n0eiμt\Psi(t)=\sqrt{n_0}e^{-i\mu t}.

Choose the condensate phase so that Ψ0=n0\Psi_0=\sqrt{n_0} is real, and write the operator field as

ψ(x,t)=n0+χ(x,t),\psi(\mathbf x,t)=\sqrt{n_0}+\chi(\mathbf x,t),

where χ\chi is a small fluctuation. Substituting into

itψ=22mψμψ+gψψψi\partial_t\psi =-\frac{\nabla^2}{2m}\psi-\mu\psi+g\psi^\dagger\psi\,\psi

and keeping only terms linear in χ\chi gives

itχ=22mχ+gn0(χ+χ).i\partial_t\chi =-\frac{\nabla^2}{2m}\chi+gn_0(\chi+\chi^\dagger).

The appearance of χ\chi^\dagger is the crucial point. The condensate can absorb or supply particles, so a fluctuation with momentum k\mathbf k is coupled to the conjugate fluctuation with momentum k-\mathbf k. A normal mode is not a bare particle; it is a particle–hole mixture.

Fourier transform

χ(x,t)=d3k(2π)3eikxχk(t),ϵk=k22m.\chi(\mathbf x,t)=\int\frac{d^3k}{(2\pi)^3}e^{i\mathbf k\cdot\mathbf x}\chi_{\mathbf k}(t), \qquad \epsilon_k=\frac{k^2}{2m}.

The linearized equations for χk\chi_{\mathbf k} and χk\chi_{-\mathbf k}^\dagger are

iddt(χkχk)=(ϵk+gn0gn0gn0ϵkgn0)(χkχk).i\frac{d}{dt} \begin{pmatrix} \chi_{\mathbf k} \\ \chi_{-\mathbf k}^\dagger \end{pmatrix} = \begin{pmatrix} \epsilon_k+gn_0 & gn_0 \\ -gn_0 & -\epsilon_k-gn_0 \end{pmatrix} \begin{pmatrix} \chi_{\mathbf k} \\ \chi_{-\mathbf k}^\dagger \end{pmatrix}.

Looking for modes proportional to eiωte^{-i\omega t}, the eigenvalue equation is

det(ϵk+gn0ωgn0gn0ϵkgn0ω)=0.\det\begin{pmatrix} \epsilon_k+gn_0-\omega & gn_0 \\ -gn_0 & -\epsilon_k-gn_0-\omega \end{pmatrix}=0.

Therefore

ω2=(ϵk+gn0)2(gn0)2=ϵk(ϵk+2gn0).\omega^2=(\epsilon_k+gn_0)^2-(gn_0)^2 =\epsilon_k(\epsilon_k+2gn_0).

The positive-frequency branch is the Bogoliubov dispersion relation,

ωk=ϵk(ϵk+2gn0)(ϵk=k22m).\boxed{\omega_k=\sqrt{\epsilon_k(\epsilon_k+2gn_0)}} \qquad \left(\epsilon_k=\frac{k^2}{2m}\right).

At large momentum, ϵkgn0\epsilon_k\gg gn_0, this behaves like

ωk=ϵk+gn0+O(k2),\omega_k=\epsilon_k+gn_0+O(k^{-2}),

which is close to a single-particle excitation with a mean-field energy shift. At small momentum, ϵkgn0\epsilon_k\ll gn_0,

ωkkgn0m.\omega_k\simeq |\mathbf k|\sqrt{\frac{gn_0}{m}}.

Thus the sound velocity is

c=gn0m.\boxed{c=\sqrt{\frac{gn_0}{m}}}.

Bogoliubov dispersion crossing over from sound to particle behavior

The Bogoliubov dispersion ωk=ϵk(ϵk+2gn0)\omega_k=\sqrt{\epsilon_k(\epsilon_k+2gn_0)} is linear at small kk, with slope c=gn0/mc=\sqrt{gn_0/m}, and crosses over to particle-like behavior at larger kk. Repulsion changes the low-energy spectrum from quadratic to acoustic.

The corresponding quasiparticle operator may be written schematically as

bk=ukχk+vkχk,uk2vk2=1,b_{\mathbf k}=u_k\chi_{\mathbf k}+v_k\chi_{-\mathbf k}^\dagger, \qquad |u_k|^2-|v_k|^2=1,

so that the canonical commutator of bkb_{\mathbf k} is preserved. Switching temporarily to box-normalized modes, the quadratic grand-canonical Hamiltonian for each pair k,k\mathbf k,-\mathbf k is

K2=k0[(ϵk+gn0)χkχk+gn02(χkχk+χkχk)]+constant.K_2=\sum_{\mathbf k\ne0}\left[ (\epsilon_k+gn_0)\chi_{\mathbf k}^\dagger\chi_{\mathbf k} +\frac{gn_0}{2} \left(\chi_{\mathbf k}^\dagger\chi_{-\mathbf k}^\dagger +\chi_{\mathbf k}\chi_{-\mathbf k}\right) \right] +\text{constant}.

The factor 1/21/2 in the pairing term compensates for summing over both k\mathbf k and k-\mathbf k. For the displayed definition of bkb_{\mathbf k}, one convenient real choice has

uk2=12(ϵk+gn0ωk+1),vk2=12(ϵk+gn0ωk1),u_k^2=\frac12\left(\frac{\epsilon_k+gn_0}{\omega_k}+1\right), \qquad v_k^2=\frac12\left(\frac{\epsilon_k+gn_0}{\omega_k}-1\right),

with

ukvk=gn02ωk.u_kv_k=\frac{gn_0}{2\omega_k}.

Changing the sign in the definition of bkb_{\mathbf k} changes the sign of vkv_k and of the last equation, but not vk2v_k^2 or the spectrum. This explicit relation fixes the otherwise easy-to-miss factor of two in the pairing term. At small kk, both amplitudes are large and nearly equal: the phonon is a strongly mixed particle–hole excitation. At large kk, vk0v_k\to0 and the mode becomes particle-like.

This result is one of the simplest places where field theory improves the physical picture. A free boson at small momentum has energy k2/(2m)k^2/(2m); in the interacting condensate, trying to move one boson necessarily shakes the density and phase of the whole condensate. The low-energy object is therefore not an isolated particle but a collective wave.

The same sound mode can be derived in a way that makes the physics more transparent. Write the field in polar form,

ψ(x,t)=n(x,t)eiθ(x,t),n(x,t)=n0+δn(x,t),\psi(\mathbf x,t)=\sqrt{n(\mathbf x,t)}\,e^{i\theta(\mathbf x,t)}, \qquad n(\mathbf x,t)=n_0+\delta n(\mathbf x,t),

where δn\delta n is a density fluctuation. This notation avoids confusing the density fluctuation with the canonical momentum symbol used for relativistic fields later. The nonrelativistic real-time Lagrangian density in the grand-canonical frame is

Lμ=iψtψ12mψψ+μψψg2(ψψ)2.\mathcal L_\mu =i\psi^\dagger\partial_t\psi -\frac{1}{2m}\nabla\psi^\dagger\cdot\nabla\psi +\mu\psi^\dagger\psi -\frac g2(\psi^\dagger\psi)^2.

After dropping total derivatives and expanding to quadratic order around n0=μ/gn_0=\mu/g, one finds

L(2)=δnθ˙n02m(θ)2g2(δn)218mn0(δn)2.\mathcal L^{(2)} =-\delta n\,\dot\theta -\frac{n_0}{2m}(\nabla\theta)^2 -\frac g2(\delta n)^2 -\frac{1}{8mn_0}(\nabla\delta n)^2.

The term δnθ˙-\delta n\,\dot\theta says that density is conjugate to phase. At very long wavelengths the gradient term for δn\delta n is subleading. The density fluctuation then appears algebraically, and its equation of motion is

δn=1gθ˙.\delta n=-\frac{1}{g}\dot\theta.

Substituting back gives the effective phase Lagrangian

Leff=12gθ˙2n02m(θ)2.\mathcal L_{\mathrm{eff}} =\frac{1}{2g}\dot\theta^2 -\frac{n_0}{2m}(\nabla\theta)^2.

The phase therefore obeys

θ¨c22θ=0,c2=gn0m.\ddot\theta-c^2\nabla^2\theta=0, \qquad c^2=\frac{gn_0}{m}.

This derivation shows why the gapless mode is a phase oscillation, while its propagation is made possible by finite compressibility. If gg is very large at fixed n0n_0, density fluctuations cost a lot of energy and the sound velocity grows. If gg is sent to zero, the phase-only description degenerates, and one returns to the free Bose gas with quadratic excitations.

Keeping the (δn)2(\nabla\delta n)^2 term and integrating out δn\delta n more carefully reproduces the full Bogoliubov dispersion rather than just its small-kk limit. The additional k4k^4 term in ωk2\omega_k^2 is the remnant of the kinetic energy associated with density variation.

A superfluid is not merely a system with a gapless mode. A gapless mode by itself would seem to make dissipation easy. What matters is the relation between energy and momentum.

Suppose a macroscopic object moves through the condensate with momentum P\mathbf P and energy E(P)E(\mathbf P). It can emit a collective excitation of momentum k\mathbf k only if energy and momentum conservation allow

E(P)=E(Pk)+ω(k).E(\mathbf P)=E(\mathbf P-\mathbf k)+\omega(\mathbf k).

For a sufficiently heavy object, recoil is negligible and

E(P)E(Pk)=vk+O(k2/M),v=EP.E(\mathbf P)-E(\mathbf P-\mathbf k) =\mathbf v\cdot\mathbf k+O(k^2/M), \qquad \mathbf v=\frac{\partial E}{\partial\mathbf P}.

Thus the no-recoil emission threshold requires

vkω(k).\mathbf v\cdot\mathbf k\geq \omega(\mathbf k).

Equivalently, in a frame where the fluid moves with velocity v\mathbf v, an excitation has shifted energy ω(k)vk\omega(\mathbf k)-\mathbf v\cdot\mathbf k. For a given excitation spectrum the intrinsic Landau critical velocity is therefore

vc=infk0ω(k)k.\boxed{v_c=\inf_{\mathbf k\neq0}\frac{\omega(\mathbf k)}{|\mathbf k|}}.

For the Bogoliubov spectrum,

ωkk=gn0m+k24m2,\frac{\omega_k}{k} =\sqrt{\frac{gn_0}{m}+\frac{k^2}{4m^2}},

so the infimum is approached as k0k\to0 and

vc=c.v_c=c.

For an impurity of finite mass MM, the recoil term is not optional. If E(P)=P2/(2M)E(\mathbf P)=\mathbf P^2/(2M), exact energy conservation gives

vk=ωk+k22M,\mathbf v\cdot\mathbf k =\omega_k+\frac{k^2}{2M},

so the one-excitation threshold is

vc(M)=infk>0(ωkk+k2M).v_c(M)=\inf_{k>0}\left(\frac{\omega_k}{k}+\frac{k}{2M}\right).

For the Bogoliubov spectrum this infimum is still cc, approached as k0k\to0; recoil only raises the threshold at fixed nonzero kk. For a general spectrum, the no-recoil formula is recovered as MM\to\infty. The handwritten argument, and the Mach-cone discussion below, use that macroscopic no-recoil limit.

If v<cv<c, an object moving through the condensate cannot emit a single long-wavelength phonon while conserving energy and momentum. If v>cv>c, phonon emission is kinematically allowed. For the acoustic part of the spectrum, ωk=ck\omega_k=ck, the emission condition becomes

vk=ck.\mathbf v\cdot\mathbf k=ck.

If θ\theta is the angle between v\mathbf v and the emitted phonon wavevector k\mathbf k, then

cosθ=cv.\cos\theta=\frac{c}{v}.

This is the momentum-space version of the Mach-cone condition. The wavefront cone in real space has the complementary geometric angle, often written with sinα=c/v\sin\alpha=c/v.

Landau emission condition and Mach cone geometry

For a moving object, phonon emission requires vk=ωk\mathbf v\cdot\mathbf k=\omega_k. In the acoustic regime ωk=ck\omega_k=ck, the emitted wavevector satisfies cosθ=c/v\cos\theta=c/v. No such angle exists for v<cv<c.

This argument is kinematic, not dynamical. It does not compute the rate of dissipation; it decides whether the simplest dissipation channel is even available. The result explains why the slope of the low-energy dispersion is so important. The linear sound mode protects the condensate from arbitrarily soft energy loss below vcv_c.

A repulsive interacting Bose gas is described at low energy by a nonlinear field equation. In the large-occupation limit the Bose field may be replaced by a classical condensate order parameter, and minimizing HμNH-\mu N gives a uniform density

n0=μg.n_0=\frac{\mu}{g}.

Small fluctuations around this condensate are not ordinary free particles. Because the condensate mixes particle and hole fluctuations, the linearized equations produce the Bogoliubov spectrum

ωk=ϵk(ϵk+2gn0),ϵk=k22m.\omega_k=\sqrt{\epsilon_k(\epsilon_k+2gn_0)}, \qquad \epsilon_k=\frac{k^2}{2m}.

At small momentum this becomes sound,

ωkck,c=gn0m.\omega_k\simeq c k, \qquad c=\sqrt{\frac{gn_0}{m}}.

The same result follows from phase-density variables: density is conjugate to phase, density fluctuations encode compressibility, and the phase field is the gapless collective variable. The Landau criterion then says that the critical velocity for phonon emission is

vc=infk>0ωkk=cv_c=\inf_{k>0}\frac{\omega_k}{k}=c

for this simple weakly interacting Bose condensate.

The conceptual message is bigger than this model. Field theory naturally describes collective excitations. In a condensate, the most elementary low-energy quantum is not a microscopic boson but a fluctuation of an ordered medium.

The derivation also has clear limits. It assumes a weakly depleted condensate, a repulsive effective coupling, and wavelengths long compared with the microscopic range of the interaction. Outside that regime, the formula for ωk\omega_k is no longer guaranteed, but the logic—identify the saddle, expand about it, and diagonalize the quadratic fluctuations—remains one of the central moves in QFT.

  1. Forgetting the chemical potential. The condensate is static only in the grand-canonical frame K=HμNK=H-\mu N. With HH alone, the condensate phase rotates as eiμte^{-i\mu t}.

  2. Dropping the conjugate fluctuation. Linearizing with χ\chi but not χ\chi^\dagger misses the particle–hole mixing that produces the Bogoliubov spectrum.

  3. Confusing the field operator with the condensate wavefunction. The operator ψ\psi is quantum. The classical function Ψ=ψ\Psi=\langle\psi\rangle is a mean-field order parameter valid when a mode has macroscopic occupation.

  4. Treating the delta interaction as microscopic in three dimensions. The contact coupling gg is an effective low-energy parameter. It should not be used blindly at arbitrarily high momenta.

  5. Thinking that any gapless mode guarantees superfluidity. The Landau criterion depends on the ratio ω(k)/k\omega(k)/k, not just on whether ω(k)\omega(k) vanishes at k=0k=0.

Starting from

Hint=12d3xd3yV(xy)ψ(x)ψ(y)ψ(y)ψ(x),H_{\mathrm{int}} =\frac12\int d^3x\,d^3y\,V(\mathbf x-\mathbf y) \psi^\dagger(\mathbf x)\psi^\dagger(\mathbf y) \psi(\mathbf y)\psi(\mathbf x),

show that

[ψ(z),Hint]=d3yV(zy)ψ(y)ψ(y)ψ(z),[\psi(\mathbf z),H_{\mathrm{int}}] =\int d^3y\,V(\mathbf z-\mathbf y) \psi^\dagger(\mathbf y)\psi(\mathbf y)\psi(\mathbf z),

assuming V(xy)=V(yx)V(\mathbf x-\mathbf y)=V(\mathbf y-\mathbf x).

Solution

Use

[ψ(z),ψ(x)]=δ(3)(zx),[ψ(z),ψ(x)]=0.[\psi(\mathbf z),\psi^\dagger(\mathbf x)]=\delta^{(3)}(\mathbf z-\mathbf x), \qquad [\psi(\mathbf z),\psi(\mathbf x)]=0.

Then

[ψ(z),ψ(x)ψ(y)ψ(y)ψ(x)]=δ(3)(zx)ψ(y)ψ(y)ψ(x)+δ(3)(zy)ψ(x)ψ(y)ψ(x).\begin{aligned} [\psi(\mathbf z),&\psi^\dagger(\mathbf x)\psi^\dagger(\mathbf y) \psi(\mathbf y)\psi(\mathbf x)] \\ &=\delta^{(3)}(\mathbf z-\mathbf x) \psi^\dagger(\mathbf y)\psi(\mathbf y)\psi(\mathbf x) +\delta^{(3)}(\mathbf z-\mathbf y) \psi^\dagger(\mathbf x)\psi(\mathbf y)\psi(\mathbf x). \end{aligned}

Substituting into HintH_{\mathrm{int}} gives two terms:

12d3yV(zy)ψ(y)ψ(y)ψ(z)\frac12\int d^3y\,V(\mathbf z-\mathbf y) \psi^\dagger(\mathbf y)\psi(\mathbf y)\psi(\mathbf z)

and

12d3xV(xz)ψ(x)ψ(z)ψ(x).\frac12\int d^3x\,V(\mathbf x-\mathbf z) \psi^\dagger(\mathbf x)\psi(\mathbf z)\psi(\mathbf x).

Because bosonic annihilation fields commute with one another, ψ(z)ψ(x)=ψ(x)ψ(z)\psi(\mathbf z)\psi(\mathbf x)=\psi(\mathbf x)\psi(\mathbf z). Renaming x\mathbf x as y\mathbf y and using the symmetry of VV, the two terms are equal. Their sum is

[ψ(z),Hint]=d3yV(zy)ψ(y)ψ(y)ψ(z).[\psi(\mathbf z),H_{\mathrm{int}}] =\int d^3y\,V(\mathbf z-\mathbf y) \psi^\dagger(\mathbf y)\psi(\mathbf y)\psi(\mathbf z).

For V(xy)=gδ(3)(xy)V(\mathbf x-\mathbf y)=g\delta^{(3)}(\mathbf x-\mathbf y) this becomes gψ(z)ψ(z)ψ(z)g\psi^\dagger(\mathbf z)\psi(\mathbf z)\psi(\mathbf z).

Diagonalize the linearized Bogoliubov matrix

Mk=(ϵk+gn0gn0gn0ϵkgn0)M_k= \begin{pmatrix} \epsilon_k+gn_0 & gn_0 \\ -gn_0 & -\epsilon_k-gn_0 \end{pmatrix}

and show that its eigenvalues are ω=±ϵk(ϵk+2gn0)\omega=\pm\sqrt{\epsilon_k(\epsilon_k+2gn_0)}.

Solution

Let

A=ϵk+gn0,B=gn0.A=\epsilon_k+gn_0, \qquad B=gn_0.

Then

Mk=(ABBA).M_k= \begin{pmatrix} A & B \\ -B & -A \end{pmatrix}.

The characteristic equation is

0=det(MkωI)=det(AωBBAω).0=\det(M_k-\omega I) =\det\begin{pmatrix} A-\omega & B \\ -B & -A-\omega \end{pmatrix}.

Thus

0=(Aω)(Aω)+B2=ω2A2+B2.0=(A-\omega)(-A-\omega)+B^2 =\omega^2-A^2+B^2.

Therefore

ω2=A2B2=(ϵk+gn0)2(gn0)2=ϵk2+2gn0ϵk.\omega^2=A^2-B^2 =(\epsilon_k+gn_0)^2-(gn_0)^2 =\epsilon_k^2+2gn_0\epsilon_k.

Hence

ω=±ϵk(ϵk+2gn0).\omega=\pm\sqrt{\epsilon_k(\epsilon_k+2gn_0)}.

The positive branch is the physical excitation energy.

Use the phase-density quadratic Lagrangian

L(2)=δnθ˙n02m(θ)2g2(δn)2\mathcal L^{(2)} =-\delta n\,\dot\theta -\frac{n_0}{2m}(\nabla\theta)^2 -\frac g2(\delta n)^2

and integrate out δn\delta n. Derive the sound velocity.

Solution

The equation of motion for δn\delta n is

L(2)(δn)=0θ˙gδn=0.\frac{\partial\mathcal L^{(2)}}{\partial(\delta n)}=0 \quad\Rightarrow\quad -\dot\theta-g\delta n=0.

So

δn=1gθ˙.\delta n=-\frac{1}{g}\dot\theta.

Substitute this back:

δnθ˙g2(δn)2=1gθ˙212gθ˙2=12gθ˙2.-\delta n\,\dot\theta-\frac g2(\delta n)^2 =\frac{1}{g}\dot\theta^2-\frac{1}{2g}\dot\theta^2 =\frac{1}{2g}\dot\theta^2.

Therefore

Leff=12gθ˙2n02m(θ)2.\mathcal L_{\mathrm{eff}} =\frac{1}{2g}\dot\theta^2 -\frac{n_0}{2m}(\nabla\theta)^2.

The Euler–Lagrange equation is

1gθ¨n0m2θ=0.\frac1g\ddot\theta-\frac{n_0}{m}\nabla^2\theta=0.

Thus

θ¨c22θ=0,c2=gn0m.\ddot\theta-c^2\nabla^2\theta=0, \qquad c^2=\frac{gn_0}{m}.

For the Bogoliubov dispersion, show directly that the Landau critical velocity is cc.

Solution

The Landau critical velocity is

vc=infk>0ωkk.v_c=\inf_{k>0}\frac{\omega_k}{k}.

Using

ωk2=ϵk(ϵk+2gn0),ϵk=k22m,\omega_k^2=\epsilon_k(\epsilon_k+2gn_0), \qquad \epsilon_k=\frac{k^2}{2m},

we find

(ωkk)2=1k2(k22m)(k22m+2gn0)=k24m2+gn0m.\left(\frac{\omega_k}{k}\right)^2 =\frac{1}{k^2}\left(\frac{k^2}{2m}\right) \left(\frac{k^2}{2m}+2gn_0\right) =\frac{k^2}{4m^2}+\frac{gn_0}{m}.

This is minimized as k0k\to0, so

vc=gn0m=c.v_c=\sqrt{\frac{gn_0}{m}}=c.
  • A. Zee, Quantum Field Theory in a Nutshell, 2nd ed., chs. III.5 and V.1. A compact discussion of nonrelativistic fields, phase-density variables, and the Bogoliubov sound mode.
  • A. L. Fetter and J. D. Walecka, Quantum Theory of Many-Particle Systems. A standard many-body treatment of Bose fields and Bogoliubov theory.
  • L. Pitaevskii and S. Stringari, Bose–Einstein Condensation. Detailed discussion of condensates, collective modes, and dilute-gas physics.
  • C. J. Pethick and H. Smith, Bose–Einstein Condensation in Dilute Gases. A physically oriented reference for the Gross–Pitaevskii equation and superfluidity.
  • L. D. Landau and E. M. Lifshitz, Statistical Physics, Part 2. Classic reference for the Landau criterion and superfluid hydrodynamics.