1: %\documentclass[nofootinbib,pra,aps,twocolumn,showpacs,floatfix,]{revtex4}
2:
3: \documentclass[nofootinbib,prd,aps,twocolumn,showpacs,tightenlines,floatfix]{revtex4}
4:
5: \usepackage{graphics,bm}
6: \usepackage{epsfig}
7: \usepackage{graphicx}
8:
9:
10:
11: \newcommand{\beq}{\begin{equation}}
12: \newcommand{\eeq}{\end{equation}}
13: \newcommand{\bqa}{\begin{eqnarray}}
14: \newcommand{\eqa}{\end{eqnarray}}
15: \newcommand{\simorder}{\raisebox{-4pt}{$\, \stackrel{\textstyle >}{\sim} \,$}}
16: \newcommand{\simordertwo}{\raisebox{-4pt}{$\, \stackrel{\textstyle<}{\sim}\,$}}
17: \begin{document}
18:
19: %\voffset=-20truemm
20: %\hoffset=-15truemm
21: %\textwidth=167 truemm
22: %\textheight=210truemm
23: %\parindent=20pt
24: %\parskip=10pt
25: \pagestyle{plain}
26: \font\tenrm=cmr10
27: \def\sumint{\hbox{$\sum$}\!\!\!\!\!\!\int}
28: \def\square{\vcenter{\vbox{\hrule height.4pt
29: \hbox{\vrule width.4pt height4pt
30: \kern4pt\vrule width.3pt}\hrule height.4pt}}}
31: \def\boxx{\square}
32:
33:
34: \title{Relativistic Bose gases at finite density}
35: \author{Jens O. Andersen}
36: \affiliation{Nordita,\\ \\Blegdamsvej 17, DK-2100 Copenhagen {\O}, Denmark}
37:
38:
39: \date{\today}
40: \begin{abstract}
41: We consider a massive relativistic Bose gas
42: with $N$ complex scalars at finite density.
43: At zero temperature, we calculate the pressure, charge density and the
44: speed of sound in the one-loop approximation.
45: In the nonrelativistic limit, we obtain the
46: classic results for the dilute Bose gas.
47: We also discuss finite-temperature effects. In particular,
48: we consider the problem of calculating the critical temperature
49: for Bose-Einstein condensation.
50: Dimensional reduction and effective-field-theory methods are used
51: to perturbatively calculate the effects of the nonstatic Matsubara
52: modes. Calculations of $T_c$ in the effective
53: 3d theory require nonperturbative methods.
54: Using the Monte Carlo simulations of
55: X. Sun [Phys. Rev. {\bf E67}, 066702 (2003)]
56: and the seven-loop variational perturbation theory (VPT)
57: calculations of B. Kastening
58: [Phys. Rev. {\bf A70}, 043621 (2004)], we obtain $T_c$
59: for $N=2$ to second order in the interaction.
60: \end{abstract}
61: %\pacs{11.15Bt, 04.25.Nx, 11.10Wx, 12.38Mh}
62:
63: \maketitle
64:
65: \small
66:
67:
68:
69: \section{Introduction}
70: The realization of Bose-Einstein condensation
71: (BEC) of trapped alkali atoms %~\cite{bec1,bec2,bec3}
72: almost ten years ago
73: has created an enormous interest in the properties
74: of the weakly interacting Bose gas~\cite{pethick,dalfovo,jens2}.
75: The temperature at which these systems Bose condense is of the order
76: $10^{-5}$ Kelvin, which is many orders of magnitude higher than the
77: condensation temperature and the onset of superfluidity in $^4$He (2.17K).
78: Both trapped alkali gases and $^4$He are examples of nonrelativistic
79: systems.
80:
81: BEC in relativistic Bose systems typically takes place in matter under
82: extreme conditions.
83: For example, kaons may condense in the color-flavor
84: locked phase of high-density QCD~\cite{shot,sjafer,sjafer2}.
85: This phase is a superconducting phase of QCD
86: which arises from an instability of the Fermi surface; In analogy
87: with ordinary BCS-theory, a weak attraction among the quarks
88: in one or more channels
89: results in the formation of Cooper pairs and the spontaneous breakdown of
90: the color symmetry of QCD~\cite{color1,color2,color3}.
91: Such a phase may be found in the interior of compact stars if
92: the density is sufficiently high.
93: The linear $SU(2)_L\times SU(2)_R$-symmetric sigma model at
94: finite chemical potential $\mu$ for the hypercharge
95: is used as a toy model for the description of kaon
96: condensation in the color-flavor locked phase of QCD~\cite{igor1,igor2}.
97:
98:
99: Calculation of the critical temperature or the critical
100: density for Bose-Einstein condensation
101: of an ideal Bose gas has been a standard text-book calculation
102: for a number of years~\cite{kap}.
103: The charge density $n$
104: of excited bosons as a function of temperature is given by
105: \bqa
106: n&=&\int{d^3p\over(2\pi)^3}\bigg[{1\over e^{\beta\left(\omega-\mu\right)}-1}
107: -{1\over e^{\beta\left(\omega+\mu\right)}-1}
108: \bigg]\;,
109: \label{ndef}
110: \eqa
111: where $\omega=\sqrt{p^2+m^2}$, $\beta=1/T$ and $\mu$ is the chemical
112: potential. We have set $\hbar=k_B=1$.
113: Bose-Einstein condensation takes place when the chemical
114: potential is equal to the mass $m$ of the bosons.
115: At that temperature, all the charge can no longer be accomodated in the
116: excited states and it condenses into the ground state.
117: Generally, $T_c$ can only be calculated numerically, but
118: in various limits analytic results can be obtained.
119: For example,
120: in the nonrelativistic (NR) limit, the critical density $n_c$
121: calculated from
122: Eq.~(\ref{ndef}) is
123: \bqa
124: n_c&&=\zeta\left(\mbox{${3\over2}$}\right)
125: \left({mT\over2\pi}\right)^{3/2}\;.
126: \label{nr}
127: \eqa
128: %where $\zeta(x)$ is the zeta function.
129: Inverting this equation, one obtains the well-known result
130: $T_c=2\pi/m\left[n/\zeta\left(\mbox{${3\over2}$}\right)\right]^{2/3}$ .
131: Similarly, for $m\rightarrow0$, one finds
132: \bqa
133: T_c&=&\left({3n\over m}\right)^{1/2}\;.
134: \label{tc00}
135: \eqa
136: Thus, in the ultrarelativistic limit $m=0$, $T_c$ is infinite, or equivalently,
137: the critical charge density is zero. All charge resides in the
138: ground state irrespective of the temperature.
139:
140: In the context of nonrelativistic field theory, the problem of calculating
141: the transition temperature for Bose-Einstein condensation
142: with a weak interaction has
143: a very long history and conflicting results have appeared in the
144: literature~\cite{jens2}.
145: A first-order perturbative calculation gives no correction to the
146: ideal-gas result, while higher-order calculations are
147: plagued with infrared divergences. This is a typical example of
148: infrared divergences that arise in the vicinity of a second-order
149: phase transition. The long-distance physics in the critical region
150: is nonperturbative and one has to sum up an infinite set of diagrams
151: to obtain a finite result.
152: The problem was solved only recently
153: by Baym {\it et al.}~\cite{gordon} who realized that it
154: can be reduced to nonperturbative calculations using a classical
155: three-dimensional field theory.
156: Once it was understood how to organize the problem, the calculation of
157: $T_c$ has later been carried out using several methods. These include
158: $1/N$ techniques~\cite{gordon1,toma},
159: lattice
160: simulations~\cite{arnold,svis}, the linear delta
161: expansion~\cite{eric,kneur}, variational perturbation
162: theory~\cite{kleinert,boris,boris2}, and renormalization group
163: methods~\cite{kopietz,blai}.
164: In particular, the use of effective field theory methods to obtain an
165: effective three-dimensional
166: field theory combined with high precision lattice calculations has settled
167: the issue in a very elegant way~\cite{arnold,arnold2}.
168:
169:
170: The $O(2)$-symmetric
171: relativistic Bose gas at finite temperature and chemical potential
172: has been studied in detail by Benson, Bernstein, and
173: Dodelson~\cite{dodel1,dodel2}, while the problem of calculating
174: $T_c$ was addressed in a paper by Bedingham and Evans employing the
175: linear delta expansion~\cite{evans}. In the present paper, we
176: examine the relativistic Bose gas in a more general setting where
177: we consider $N$ coupled scalars.
178: For $N=1$, it reduces to the
179: standard case, while for $N=2$, the system is isomorphic to the
180: linear $SU(2)_L\times SU(2)_R$-symmetric sigma model and hence relevant for
181: kaon condensation in stars.
182:
183: \section{Perturbation theory}
184: In this section, we briefly discuss the perturbative framework
185: for a massive Bose gas with $N$ charged scalars
186: at finite chemical potential $\mu$. The action is
187: \bqa\nonumber
188: S&=&\int\;dt\int\;d^3x
189: \bigg[(\partial_0+i\mu)\Phi^{\dagger}(\partial_0-i\mu)\Phi
190: \\ &&
191: -\left({\partial_i}\Phi^{\dagger}\right)\left(
192: {\partial_i}\Phi\right)
193: -m^2\Phi^{\dagger}\Phi-{\lambda}\left(\Phi^{\dagger}\Phi\right)^2
194: \bigg]
195: \;,
196: \label{lag}
197: \eqa
198: where $\Phi=(\Phi_1,\Phi_2...,\Phi_N)$ and $\Phi_i$ is a complex
199: scalar field.
200: We first parametrize the quantum field $\Phi_1$ in terms of
201: a time-independent vacuum expectation value $\phi_0$ and two real
202: quantum fluctuating fields:
203: \bqa
204: \Phi_1&=&\phi_0+{1\over\sqrt{2}}\left(\phi_1+i\phi_2\right)\;.
205: \label{break}
206: \eqa
207: Similarly, the remaining complex fields $\Phi_2,...,\Phi_N$ are parametrized
208: in terms of $2N-2$ real fields $\phi_3,...,\phi_{2N}$.
209: Substituting Eq.~(\ref{break}) into Eq.~(\ref{lag}),
210: the action can be written as
211: \bqa
212: S&=&S_0+S_{\rm free}+S_{\rm int}\;.
213: \eqa
214: where
215: \bqa
216: S_0&=&\int\;dt\int\;d^3x
217: \left[\left(\mu^2-m^2\right)\phi_0^2-\lambda\phi_0^4\right]\;,
218: \\ \nonumber
219: S_{\rm free}&=&\int\;dt\int\;d^3x
220: \Bigg\{{1\over2}\phi_i\bigg[-{\partial^2\over\partial t^2}
221: +\nabla^2+\mu^2-m^2
222: \\&&\nonumber
223: -2\lambda\phi_0^2-4\delta_{j1}\delta_{j1}\lambda\phi_0^2
224: \bigg]\phi_i
225: +i\mu\left[\phi_2{\partial\phi_1\over\partial t}
226: -\phi_1{\partial\phi_2\over\partial t}
227: \right.\\ && \left.
228: +...+
229: \phi_{2N}{\partial\phi_{2N-1}\over\partial t}
230: -\phi_{2N-1}{\partial\phi_{2N}\over\partial t}
231: \right]
232: \Bigg\}\;,
233: \\
234: \nonumber
235: S_{\rm int}&=&-\int\;dt\int\;d^3x\bigg[
236: \sqrt{2}\left(m^2-\mu^2+2\lambda\phi_0^2\right)\phi_1\phi_0
237: \\ &&
238: \hspace{-0.4cm}
239: +\sqrt{2}\lambda
240: \left
241: (\phi_1^2+\phi_2^2+...+\phi_{2N}^2\right)\phi_1\phi_0
242: +{1\over4}{\lambda}\left(\phi_i\phi_i\right)^2\bigg]\;.
243: \eqa
244: The propagators that correspond to the free part $S_{\rm free}$
245: of the action are given by
246: \begin{widetext}
247: \bqa
248: D_1(\omega,p)&=&{i\over(\omega^2-\omega_{1+}^{2})(\omega^2-\omega_{1-}^{2})}
249: \left(\begin{array}{cc}
250: \omega^2-p^2-m_1^2&2i\mu\omega\vspace{2mm}
251: \\
252: -2i\mu\omega&\omega^2-p^2-m_2^2
253: \end{array}\right)\;, \\ \nonumber
254: && \\ \nonumber
255: && \\
256: D_2(\omega,p)&=&{i\over(\omega^2-\omega_{2+}^2)(\omega^2-\omega_{2-}^2)}
257: \left(\begin{array}{cc}
258: \omega^2-p^2-m_2^2&2i\mu\omega\vspace{2mm}
259: \\
260: -2i\mu\omega&\omega^2-p^2-m_2^2
261: \end{array}\right)\;,
262: \eqa
263: %\end{widetext}
264: where the dispersion relations are
265: %\begin{widetext}
266: \bqa
267: \omega_{1\pm}(p)&=&
268: \sqrt{p^2+2\mu^2+{1\over2}\left(m_1^2+m^2_2\right)
269: \pm{1\over2}\sqrt{(m_1^2+m_2^2)^2+2\mu\left(2\mu^2+m_1^2+m_2^2\right)
270: +4\mu^2p^2}}\;,
271: \label{disp0}
272: \\
273: \omega_{2\pm}(p)&=&\sqrt{p^2+\mu^2+m_2^2}\pm\mu
274: \label{disp0p}
275: \;.
276: \eqa
277: \end{widetext}
278: Here the tree-level masses $m_1^2$ and $m_2^2$ are
279: \bqa
280: m_1^2&=&-\mu^2+m^2+6{\lambda}\phi_0^2\;,\\
281: m_2^2&=&-\mu^2+m^2+2{\lambda}\phi_0^2\;.
282: \eqa
283: In the minimum of the classical action,
284: $m_1^2=2(\mu^2-m^2)$ and $m^2_2=0$, and so
285: the dispersion relations reduce to
286: \bqa\nonumber
287: \hspace{-1.2cm}
288: \omega_{1\pm}(p)&=&\sqrt{p^2+3\mu^2-m^2\pm\sqrt{(3\mu^2-m^2)^2+4\mu^2p^2}}\;,
289: \label{disp1}
290: \\ &&
291: \\
292: \omega_{2\pm}(p)&=&\sqrt{p^2+\mu^2}\pm\mu
293: \;.
294: \label{disp2}
295: \eqa
296: From these equations, we see that there are two massless modes
297: that in the long-wavelength behave as
298: \bqa
299: \label{l1}
300: \omega_{1-}(p)&=&\sqrt{{\mu^2-m^2\over3\mu^2-m^2}}\;p\;,\\
301: \omega_{2-}(p)&=&
302: {p^2\over2\mu}\;.
303: \label{l2}
304: \eqa
305: The other excitations $\omega_1^+(p)$ and $\omega_2^+(p)$
306: are gapped with gaps $\Delta_1=\sqrt{2(3\mu^2-m^2)}$ and
307: $\Delta_2=2\mu$.
308: In the case $N=2$,
309: the gapless particles $\omega_1^-$
310: and $\omega_2^-$ carry the
311: quantum numbers of $K^+$ and $K^0$, while the massive modes
312: $\omega_1^+$ and $\omega_2^+$ carry those of $K^-$ and
313: $\bar{K}^0$~\cite{igor1,igor2}.
314: Note that there are only $N$ massless modes despite the fact that the potential
315: has $2N-1$ flat directions which also is the number of broken generators.
316: This is in agreement with the counting rule derived by Nielsen and
317: Chadba~\cite{holger}, which states that the modes with a quadratic
318: dispersion relation must be counted twice.
319: Secondly, due to the quadratic dispersion relation for small $p$,
320: the Landau criterion~\cite{landau} for superfluidity can never be satisfied,
321: except for $N=1$.
322: Thus despite the presence of a Bose condensate, the system is not a
323: superfluid.
324:
325:
326:
327: \section{zero temperature}
328: In this section, we apply perturbation theory at zero temperature
329: to calculate the pressure, charge density, and the speed of sound in
330: the one-loop approximation.
331:
332: The partition function ${\cal Z}$ is given by the path integral
333: \bqa
334: {\cal Z}&=&\int{\cal D}\Phi^{\dagger}{\cal D}\Phi\;
335: e^{iS}
336: %e^{i\int\;dt\int\;d^3x{\cal L}}\;,
337: \eqa
338: where the action $S$ is given by~(\ref{lag}).
339: The pressure ${\cal P}$ is
340: \bqa
341: {\cal P}(\mu)&=&-i\;{\ln{\cal Z}\over VT}\;,
342: \eqa
343: where $VT$ is the space-time volume of the system.
344: The charge density can be found by differenting the pressure with
345: respect to $\mu$:
346: \bqa
347: n(\mu)&=&{\partial{\cal P}(\mu)\over\partial\mu}\;.
348: \label{density}
349: \eqa
350: The speed of sound $c$ is given by the coefficient of $\omega_{1-}(p)$
351: as $p\rightarrow0$.
352: Corrections to the tree-level result can be found by
353: calculating the dispersion relation in the long-wavelength limit
354: including the self-energy
355: function $\Pi_{1-}(\omega,p)$.
356: It can also be derived once we know the charge density and is given by
357: \bqa
358: c^2={n\over\mu}{\partial\mu\over\partial n}\;.
359: \label{deri}
360: \eqa
361: The chemical potential measures the amount of energy needed to add a particle
362: to the system, and in the nonrelativistic limit, we introduce the
363: nonrelativstic chemical potential $\mu_{\rm NR}$ by $\mu=m+\mu_{\rm NR}$.
364: In the NR limit, Eq.~(\ref{deri}) is therefore replaced by
365: \bqa
366: c^2={n\over m}{\partial \mu_{\rm NR}\over\partial n}
367: \eqa
368:
369:
370: \subsection{Pressure}
371: The mean-field pressure ${\cal P}_0$ is found by evaluating minus
372: the classical
373: thermodynamic potential $\Omega_0(\mu,\phi_0)$ at the minimum of
374: the classical action $S_0$:
375: \bqa
376: {\cal P}_0(\mu)&=&{1\over4\lambda}\left(\mu^2-m^2\right)^2\;.
377: \eqa
378: The one-loop contribution to the effective potential is
379: \bqa\nonumber
380: \Omega_1(\mu,\phi_0)
381: &=&{1\over2}i\int{d\omega\over2\pi}\int_{\bf p}
382: \big[\ln\det D_1(\omega,p)
383: \\ \nonumber&&
384: +(N-1)\ln\det D_2(\omega,p)\big]
385: +\Delta_1m^2\phi_0^2
386: \\ &&
387: +\Delta_1\lambda\phi_0^4
388: +\Delta_1{\cal E}\;,
389: \eqa
390: where $\Delta_1m^2$, $\Delta_1\lambda$, and
391: $\Delta_1{\cal E}$ are the one-loop
392: mass counterterm, coupling constant counterterm, and
393: vacuum counterterm, respectively.
394: After integrating over the energy $\omega$, we obtain
395: \bqa\nonumber
396: \Omega_1(\mu,\phi_0)&=&
397: {1\over2}
398: \int_{\bf p}\big[
399: \omega_{1\pm}(p)+(N-1)\omega_{2\pm}(p)\big]
400: +\Delta_1m^2\phi_0^2
401: \\ &&
402: +\Delta_1\lambda\phi_0^4
403: +\Delta_1{\cal E}\;.
404: \eqa
405: The integral involving $\omega_{2\pm}$ can be calculated
406: analytically in dimensional regularization, but the integral of
407: $\omega_{1\pm}$ cannot. In order to extract the divergences analytically,
408: we make subtractions in the integrand that render the integral finite
409: in $d=3$ dimensions and then extract the poles in $d-3$ from the subtracted
410: integrals.
411: The substraction term $\Omega_{\rm sub}$
412: %should make the integral convergent for $d=3$ and it
413: should not introduce any infrared divergences. Our choice for the
414: subtracted integral is
415: \bqa\nonumber
416: \Omega_{\rm sub}&=&%{1\over2}
417: \int_{\bf p}
418: \left[p+{m^2+4\lambda\phi_0^2\over2p}
419: %\right.\\ &&\left.
420: -{m^4+8m^2\lambda\phi_0^2+20\lambda^2\phi_0^4
421: \over8(p^2+\mu^2)^{3/2}}\right]\;.
422: \\ &&
423: \eqa
424: The first two terms in ${\Omega}_{\rm sub}$ vanish identically in
425: dimensional regularization since there is no mass scale in the
426: integrand. The last term is given in Eq.~(\ref{last}).
427: The one-loop thermodynamics potential can then be written as
428: \bqa\nonumber
429: \Omega_1&=&-{1\over2(4\pi)^2}\bigg\{m^4\left[
430: N\left({1\over\epsilon}+2L\right)+{3\over2}(N-1)
431: \right]
432: \\ \nonumber&&
433: +4{m^2\lambda\phi_0^2}\left[\left(N+1\right)
434: \left({1\over\epsilon}+2L\right)
435: +{3\over2}(N-1)
436: \right]
437: \\ && \nonumber
438: +4\lambda^2\phi_0^4\left[
439: \left(N+4\right)\left({1\over\epsilon}+2L\right)
440: +{3\over2}(N-1)\right]
441: \bigg\}
442: \\ &&
443: +\Delta_1m^2\phi_0^2
444: +{\Delta_1\lambda}\phi_0^4
445: +\Delta_1{\cal E}
446: \;,
447: \eqa
448: where $L=\ln\left({\Lambda\over\mu}\right)$ and
449: $g$ is a function of the ratio $m/\mu$ that must be evaluated
450: numerically:
451: \bqa
452: g(m/\mu)
453: &=&{1\over2}\int_{\bf p}
454: \omega_{1\pm}-\Omega_{\rm sub}
455: \;.
456: \eqa
457: The counterterms necessary to cancel the poles in $\epsilon$
458: are~\cite{kleinert}:
459: \bqa
460: \Delta_1{\cal E}&=&{Nm^4\over2(4\pi)^2\epsilon}\;,\\
461: \Delta_1m^2&=&{2(N+1)m^2\lambda\over(4\pi)^2\epsilon}\;,\\
462: \Delta_1\lambda&=&{2(N+4)\lambda^2\over(4\pi)^2\epsilon}\;.
463: \eqa
464: The one-loop contribution to the pressure ${\cal P}_1$
465: is given by $-\Omega_1$ evaluated at the classical minimum.
466: After renormalization, the pressure through one loop reduces to
467: \bqa\nonumber
468: {\cal P}_{0+1}(\mu)&=&
469: {1\over4\lambda}\left(\mu^2-m^2\right)^2
470: +{1\over(4\pi)^2}\Bigg\{2m^4L%\left[L-{9\over8}(N-1)\right]
471: -6m^2\mu^2L%\left({11\over4}+6L\right)
472: \\ &&%\nonumber
473: \hspace{-1cm}
474: +\mu^4\left[(N+4)L+{3\over4}(N-1)\right]
475: \Bigg\}
476: %\\ &&
477: +\mu^4g(m/\mu)
478: \;.
479: \label{free}
480: \eqa
481:
482: We next consider the NR limit of the pressure.
483: In this limit, $\mu_{\rm NR}\ll m$. Moreover, the kinetic energy is much
484: smaller than $m$ and so we can expand physical quantities in powers
485: of the dimensionless quantities $\mu_{\rm NR}/m$ and $k^2/2m^2$.
486: This yields
487: \bqa
488: \omega_{1-}^2(p)&=&{p^2\over4m^2}\left(p^2+4m\mu_{\rm NR}\right)\;,
489: \\\omega_{2-}^2(p)&=&{p^4\over4m^2}\;.
490: \label{nrdisp}
491: \eqa
492: The other quasiparticle excitations have $\omega_{1+}=\omega_{2+}=2m$
493: and so their
494: contribution can be neglected. In NR field theory, it is customary to
495: set $2m=1$ and we will do so in the remainder of this section.
496: Introducing the scattering length $a=\lambda/8\pi m=\lambda/4\pi$,
497: the pressure becomes
498: \bqa
499: {\cal P}_{0+1}&=&{\mu_{\rm NR}^2\over16\pi a}-{1\over2}
500: \int_{\bf p}\big[\omega_{1-}+(N-1)\omega_{2-}\big]
501: \;.
502: \eqa
503: Note that $\omega_{2-}$ does not contribute to the pressure since
504: there is there is no scale in the integral and so it set to zero
505: in dimensional regularization. Using a simple ultraviolet cutoff
506: $\Lambda$ to
507: regulate the integral, the divergence would be cancelled by
508: a vacuum counterterm~\footnote{In the NR limit, all the divergences
509: at the one-loop level are power divergences and hence the parameters
510: require no renormalization if one uses dimensional regularization.
511: See Ref.~\cite{jens2} for a thorough discussion.}.
512: Using Eq.~(\ref{f0}), we obtain
513: \bqa
514: {\cal P}_{0+1}&=&
515: {\mu^2_{\rm NR}\over16\pi a}\left[1-{32\sqrt{2\mu_{\rm NR} a^2}\over15\pi}
516: \right]\;.
517: \label{pnr}
518: \eqa
519:
520: \subsection{Charge density and the speed of sound}
521: We next consider the speed of sound, which is given by Eq.~(\ref{deri}).
522: For simplicity we consider only the ultrarelativistic and nonrelativistic
523: limits. In these limits, the tree-level results are $c=1/\sqrt{3}$
524: and $c=\sqrt{2\mu}$, respectively.
525:
526: The charge density can be calculated
527: using Eqs.~(\ref{density}) and~(\ref{free}):
528: \bqa\nonumber
529: n={\mu^3\over\lambda}\left\{1+{\lambda\over(4\pi^2)^2}
530: \left[4(N+4)L+2N-7+64\pi^2g(0)\right]\right\}\;.
531: \\ &&
532: \label{den}
533: \eqa
534: %where $C$ is a constant.
535: Inverting~(\ref{den}) and using (\ref{deri}), we obtain
536: the speed of sound due to interactions in the medium:
537: \bqa
538: c&=&{1\over\sqrt{3}}\left[1+{(N+4)\lambda\over24\pi^2}\right]\;.
539: \eqa
540: The sign of the correction is determined by the beta-function.
541:
542: In the NR limit, the charge density follows from Eqs.~(\ref{density})
543: and~(\ref{pnr}):
544: \bqa
545: n&=&{\mu_{\rm NR}\over8\pi a}\left[
546: 1-{8\sqrt{2\mu_{\rm NR} a^2}\over3\pi}
547: \right]\;.
548: \eqa
549: The speed of sound then becomes
550: \bqa
551: c&=&4\sqrt{\pi a n}\left[
552: 1+8\sqrt{na^3\over\pi}
553: \right]\;,
554: \label{nrspeed}
555: \eqa
556: where we have eliminated $\mu_{|rm NR}$ in favor of the density $n$.
557: Note that the expansion parameter in the NR limit is the dimensionless
558: quantity
559: $\sqrt{na^3}$ which is referred to as the the {\it gas parameter}.
560: This result~(\ref{nrspeed})
561: was first derived by Beliaev~\cite{beli}, who calculated
562: the leading corrections to the dispersion relation~(\ref{nrdisp})
563: in the low-momentum limit~\footnote{In the orginal derivation, Beliaev
564: expressed his result in terms of the condensate density $n_0$, which
565: is different from the total density due to the depletion of the condensate
566: caused by quantum fluctuations.
567: We have $n=n_0\left[1+{8\over3}\sqrt{n_0a^3\over\pi}\right]$.}
568:
569: \section{Finite temperature}
570: We next discuss the behavior of the system
571: defined by Eq.~(\ref{lag}) at finite temperature.
572: \subsection{Low-temperature effects}
573: We first consider the thermal corrections to the pressure at temperatures $T$
574: much lower than the chemical potential $\mu$.
575: In this regime, the thermodynamics is dominated by the massless modes.
576: We can then approximate the dispersion relations by
577: $\omega_1(p)$
578: and $\omega_2(p)$ by their low-momentum limits~(\ref{l1}) and~(\ref{l2}).
579: The pressure in the one-loop approximation is
580: \bqa\nonumber
581: {\cal P}_{0+1}&=&-{1\over2}
582: \sumint_P\ln\left[P_0^2+\omega_{1\pm}^2(p)\right]
583: \\ &&
584: -{1\over2}(N-1)\sumint_P\ln\left[P_0^2+\omega_{2\pm}^2(p)\right]\;.
585: \eqa
586: Omitting the contribution from the massive modes, neglecting the
587: zero-temperature pieces, and using~(\ref{ft1})--(\ref{ft2}),
588: we obtain
589: \bqa
590: {\cal P}_{0+1}^{T}&=&{\sqrt{3}\pi^2T^4\over30}
591: +(N-1)T\left(\mbox{${\mu T\over2\pi}$}\right)^{3/2}
592: \zeta\left(\mbox{${5\over2}$}\right)
593: \;.
594: \eqa
595: Similarly, in the nonrelativistic limit, one finds
596: \bqa
597: {\cal P}^{T}_{0+1}&=&{\pi^2T^4\over90(2\mu_{\rm NR})^{3/2}}
598: +
599: (N-1)T\left(\mbox{${T\over4\pi}$}\right)^{3/2}
600: \zeta\left(\mbox{${5\over2}$}\right)\;,
601: \eqa
602: where we again have set $2m=1$. For $N=1$, this reduces to the old result
603: of Lee and Yang~\cite{leeyang2}.
604: \subsection{Dimensional reduction}
605: Effective field theory methods
606: can conveniently be used to organize the calcuation of
607: physical quantities whenever two or more momentum scales are well
608: separated.
609: The condensation temperature for BEC is an ideal problem for
610: applying effective field theory.
611: At finite temperature there are two characteristic scales in the system.
612: The first is the correlation length which is associated with the
613: effective chemeical potential. Since the phase transition is second order,
614: the correlation length becomes infinite at $T_c$.
615: The second scale is associated with the nonzero Matsubara modes and is
616: of order $T$.
617: For distances much larger than the inverse temperature
618: and for temperatures sufficiently close to
619: the critical temperature,
620: so that the effective chemical potential is much smaller than the temperature,
621: the nonstatic Matsubara modes
622: decouple
623: and the long-distance physics can be described in terms of an
624: effective
625: three-dimensional field theory for the zeroth Matsubara mode.
626: The action for this effective theory is
627: \bqa\nonumber
628: S_{\rm 3d}
629: &=&-\int d^3x\;\Big[
630: ({\partial_i}\Phi^{\dagger})\left({\partial_i}\Phi\right)
631: +m^2_3\Phi^{\dagger}\Phi
632: \\ &&
633: +{\lambda_3}
634: \left(\Phi^{\dagger}\Phi\right)^2
635: +f+...\Big]
636: \;,
637: %\\ &&
638: \label{3d}
639: \eqa
640: where the dots indicate higher-order operators.
641: $f$ is a referred to as the coefficient of the unit operator and
642: represents the contribution to the free energy density from the
643: nonzero Matsubara modes.
644: The parameters in Eq.~(\ref{3d})
645: are functions of $T$ and the coefficients of the underlying theory~(\ref{lag}),
646: and are renormalized due to their coupling to the nonstatic Matsubara
647: frequencies. These parameters can be determined by integrating out
648: nonstatic modes explicitly as done by Bedingham and Evans in
649: Ref.~\cite{evans}, but perhaps a
650: more streamlined way of calculating them is by matching static Green's
651: functions~\cite{renorm}.
652: %Close to the phase transition, the chemical
653: %potential is of order $\sqrt{\lambda}T$, and is therefore {\it soft} compared
654: %to the {\it hard scale} $T$ provided by the nonzero Matsubara modes.
655: For the purpose of matching, the chemical potential can
656: formally be treated as a perturbation on the same footing as the quartic
657: coupling. In the effective theory $m_3^2$ is also treated as a perturbation.
658: The matching is carried out by calculating Green's functions
659: perturbatively in
660: the two theories and demand they be the same for distances $R$ much larger
661: than $1/T$. This way of calculating static correlators introduces
662: infrared divergences at an intermediate stage
663: and must be regularized.
664: Note thate these
665: infrared divergences that appear are the same in the two theories
666: and hence they cancel in the matching procedure.
667: We use dimensional regularization as discussed in the appendix.
668:
669: \begin{figure}[htb]
670: \scalebox{0.6}{\includegraphics{vac.eps}}
671: \caption{\label{dia}
672: One -and two-loop
673: vacuum diagrams for $f$. A dot indicates an insertion of the
674: operator
675: $-\left(\mu^2-m^2\right)\Phi^{\dagger}\Phi+i\mu(\Phi^{\dagger}\partial_0\Phi
676: -\partial_0\Phi^{\dagger}\Phi)$.}
677: \label{vac}
678: \end{figure}
679: In Fig.~\ref{vac}, we show the vacuum diagrams through two loops
680: in the full theory and the expression is
681: \bqa\nonumber
682: {\cal F}&\approx&
683: N\sumint_P\ln P^2
684: -N\left(\mu^2-m^2\right)\sumint_P\left[{1\over P^2}-2{P_0^2\over P^4}\right]
685: \\ && \nonumber
686: -{1\over2}
687: N\mu^4\sumint_P\left[{1\over P^4}-8{P_0^2\over P^6}+8{P_0^4\over P^8}\right]
688: \\ && \nonumber
689: +N\mu^2m^2\sumint_P
690: \left[{1\over P^4}-4{P_0^2\over P^6}\right]
691: +N(N+1)\lambda\sumint_{PQ}{1\over P^2Q^2}
692: \\ &&
693: +2N(N+1)\lambda\mu^2\sumint_{PQ}\left[{1\over P^4Q^2}
694: -4{P_0^2\over P^6Q^2}\right]\;,
695: \label{ff}
696: \eqa
697: where we have omitted terms of order $m^4$, $\mu^6$ etc.
698: The sign $\approx$ is reminder that we are neglecting infrared
699: physics which will be taken care of by the effective theory.
700: %Counting $\mu^2\sim\lambda T^2$, we have neglected
701: %terms higher than order $\lambda^2$.
702: Loop correction to the free energy in the 3d theory vanish since there
703: is no momentum scale in the loop
704: integrals~\footnote{Recall that $m_3^2$
705: for the purpose of matching is treated as a perturbation
706: and thus the propagators are massless.}. Thus $f$ is directly
707: given by~(\ref{ff}).
708: \bqa\nonumber
709: f&=&-{N\pi^2\over45}T^4
710: \left(1-{5(N+1)\lambda\over16}\right)
711: \\ \nonumber&&
712: -{1\over6}N\mu^2T^2\left(1-{\mu^2\over4\pi^2T^2}+{(N+1)
713: \lambda\over8\pi^2}\right)
714: \\ &&
715: +{1\over6}Nm^2T^2\left(1-{3\mu^2\over4\pi^2T^2}\right)
716: \label{frr}
717: \eqa
718:
719: \begin{figure}[htb]
720: \scalebox{0.5}{\includegraphics{self.eps}}
721: \caption{\label{dia2}
722: One -and two-loop
723: Feynman diagrams for the self-energy $\Pi(p_0,{\bf p})$.
724: A dot indicates an insertion of the
725: operator $-\left(\mu^2-m^2\right)\Phi^{\dagger}\Phi+i\mu(\Phi^{\dagger}\partial_0\Phi
726: -\partial_0\Phi^{\dagger}\Phi)$.}
727: \end{figure}
728: The mass parameter is found by
729: matching the two-point functions in the two theories
730: at zero external momenta.
731: The diagrams that contribute to the self-energy function
732: in the full theory through
733: two loops are shown in Fig.~\ref{dia2}.
734: The self-energy in the effective theory vanishes for the same reason
735: as did the loop corrections to the free energy.
736: This implies that the mass parameter $m_3^2$ is given directly
737: by evaluating the Feynman diagrams in Fig.~\ref{dia}.
738: We obtain
739: \bqa\nonumber
740: m_3^2&\approx&-\mu^2+m^2+2(N+1)Z_{\lambda}\lambda\sumint_P{1\over P^2}
741: \\ \nonumber&&
742: +2(N+1)\left(\mu^2-m^2\right)\lambda\sumint\left[{1\over P^4}
743: -4{P_0^2\over P^6}\right]
744: \\ \nonumber&&
745: -4(N+1)^2\lambda^2\sumint_{PQ}{1\over P^2Q^4}
746: \\&&
747: -4(N+1){\lambda^2}\sumint_{PQ}{1\over P^2 Q^2(P+Q)^2}\;,
748: \eqa
749: where we again have neglected terms of higher-order terms.
750: $Z_{\lambda}$ is the renormalization constant for the
751: coupling $\lambda$:
752: \bqa
753: Z_{\lambda}&=&1+{(N+4)\lambda\over8\pi^2\epsilon}\;.
754: \eqa
755: After renormalization, the mass term reduces to
756: \bqa\nonumber
757: m_3^2&=&-\mu^2+m^2+{(N+1)\lambda\over6}T^2\bigg[1
758: -{3\left(\mu^2-m^2\right)\over2\pi^2T^2}
759: \\ \nonumber&&
760: +{3\lambda\over8\pi^2}\left({1\over\epsilon}
761: +2-{2(N+1)\over3}\gamma
762: +2{\zeta^{\prime}(-1)\over\zeta(-1)}
763: \right.\\ &&\left.
764: +{(4-2N)\over3}\ln{\Lambda\over4\pi T}
765: \right)\bigg]\;.
766: \label{mrr}
767: \eqa
768: Note that the mass parameter has a UV divergence after renormalization.
769: The remaining divergence is exactly the one arising at the two-loop
770: level in the 3d effective theory (see also Sec.~\ref{tcccc}).
771:
772: Finally, we need $\lambda_3$ at the tree level. By comparing the
773: coefficients of the
774: operator $\left(\Phi^{\dagger}\Phi\right)^2$ in the two theories and taking the
775: different normalization of the fields into account, one finds
776: \bqa
777: \lambda_3&=&\lambda T\;.
778: \eqa
779:
780:
781:
782:
783:
784:
785:
786: \subsection{Critical temperature}
787: \label{tcccc}
788: After having determined the parameters in the effective theory, the
789: strategy for calculating $T_c$ is as follows. First we determine the
790: critical chemical potential $\mu_c$ as a function of temperature and the
791: critical value of the $m_3^2$. Then we calculate the
792: density as a function of $T$ and $\mu$ and obtain the critical
793: density as a function of $T$ by the substituing the expression for
794: $\mu_c$. Finally, the critical temperature is determined by inverting the
795: critical density as a function of $T$.
796:
797: The relation between the bare mass and the renormalized mass is
798: \bqa
799: m_3^2&=&m_{3,\rm ren}^2+{(N+1)\lambda_3^2\over(4\pi)^2\epsilon}\;.
800: \label{mbare}
801: \eqa
802: This relation is exact due to the fact that the effective 3d theory~(\ref{3d})
803: is superrenormalizable.
804: Since the bare mass is independent of the renormalization scale,
805: the renormalized mass satisfies an evolution equation. This equation
806: relates the value of $m_{3,\rm ren}^2$
807: evaluated at two different normalization points $\Lambda$ and $\Lambda_0$:
808: \bqa
809: m_{3,\rm ren}^2(\Lambda_0)&=&m_{3,\rm ren}^2(\Lambda)
810: +{(N+1)\lambda_3^2\over4\pi^2}\ln{\Lambda_0\over\Lambda}\;.
811: \eqa
812: Using Eq.~(\ref{mbare}), Eq.~(\ref{mrr}) for the chemical potential
813: becomes
814: \bqa\nonumber
815: \left(\mu^2-m^2\right)\left(1+{(N+1)\lambda\over4\pi^2}\right)&=&
816: {(N+1)\lambda\over6}
817: T^2\bigg[1%-{3(\mu^2-m^2)\over2\pi^2T^2}
818: \\ && \nonumber
819: \hspace{-2.cm}
820: +{3\lambda\over8\pi^2}\left(
821: 2-{2(N+1)\over3}\gamma+2{\zeta^{\prime}(-1)\over\zeta(-1)}
822: \right)
823: \\ &&
824: \hspace{-3.2cm}
825: +{(4-2N)\over3}\ln{\Lambda\over4\pi T}
826: %+4\ln{\lambda_3\over12\pi T}
827: -{16\pi^2\over(N+1)}{m_{3,\rm ren}^2(\Lambda)\over\lambda_3^2}
828: \bigg]\;.
829: \eqa
830: The charge density is given by
831: \bqa\nonumber
832: n&=&-\bigg\langle{\partial S_{\rm 3d}\over\partial\mu}\bigg\rangle\\
833: &=&-{\partial f\over\partial\mu}+
834: \langle\Phi^{\dagger}\Phi\rangle{\partial m_3^2\over\partial\mu}+
835: \lambda_3\big\langle\left(\Phi^{\dagger}\Phi\right)^2\big\rangle
836: \;.
837: \label{chd}
838: \eqa
839: The quantity $\big\langle\left(\Phi^{\dagger}\Phi\right)^2\big\rangle$
840: is by dimensional analysis proportional to $\lambda_3^2$.
841: Its contribution to the density is therefore third order in the interaction
842: and can be omitted in a second-order calculation.
843: Using Eqs.~(\ref{frr}),~(\ref{mrr}), and~(\ref{chd}), the charge density
844: becomes
845: \bqa\nonumber
846: n&=&{1\over3}N\mu T^2
847: \left[1 +{3m^2\over4\pi^2T^2}
848: -{\mu^2\over2\pi^2T^2}+{(N+1)\lambda\over8\pi^2
849: }
850: \right]
851: \\ &&
852: -2\mu % \left[1+{N+1\over4\pi^2}\lambda\right]
853: \langle\Phi^{\dagger}\Phi\rangle
854: \;.
855: \label{nn}
856: \eqa
857:
858: At the critical point, the renormalized mass
859: is by dimensional analysis proportional to $\lambda_3^2$.
860: The case $N=2$ is relevant to kaon condensates in stars and we
861: therefore consider this case in the following.
862: In the remainder of this section, we also restrict ourselves to
863: the ultrarelativistic limit.
864: Its value was determined by Sun~\cite{sun} using lattice simulations:
865: \bqa
866: {m_3^2(\Lambda=\lambda_3/3)\over\lambda_3^2}&=&0.002558(16)\;,
867: \label{mc00}
868: \eqa
869: where the renormalization scale was chosen to be $\Lambda=\lambda_3/3$.
870: The critical chemical potential then reduces to
871: \bqa\nonumber
872: \mu_c&=&\sqrt{{1\over2}\lambda}T\bigg[
873: 1+{3\lambda\over(4\pi)^2}
874: \bigg(%-2
875: -2\gamma+2{\zeta^{\prime}(-1)\over\zeta(-1)}
876: %-4\ln{3\Lambda\over\lambda_3}\\ &&-
877: -0.1346\bigg)
878: \bigg]\;.
879: \\ &&
880: \label{myc}
881: \eqa
882:
883: The expectation value $\langle\Phi^{\dagger}\Phi\rangle$
884: cannot be calculated in perturbation theory due to infrared divergences.
885: They depend on nonperturbative physics and can e.g. be determined
886: using lattice simulations or the $1/N$-expansion.
887: At the critical point and for $N=2$, it was computed by Sun~\cite{sun} using
888: Monte Carlo calculations:
889: \bqa
890: \bigg\langle{\Phi^{\dagger}\Phi\over\lambda_3}\bigg\rangle&=&-0.00289(18)\;.
891: \label{mc}
892: \eqa
893: Inserting Eqs.~(\ref{myc}) and~(\ref{mc}) into Eq.~(\ref{nn}), the
894: critical density becomes
895: \bqa\nonumber
896: n_c&=&\sqrt{{2\over9}\lambda}T^3\bigg[
897: 1+{3\lambda\over(4\pi)^2}
898: \bigg(2
899: -2\gamma+2{\zeta^{\prime}(-1)\over\zeta(-1)}
900: %-4\ln{3\Lambda\over\lambda_3}\\ &&
901: +0.3217
902: \bigg)
903: \bigg]\;.
904: \\ &&
905: \label{ncf}
906: \eqa
907: Inverting this equation, we obtain the critical temperature as
908: a function of the density
909: \bqa\nonumber
910: T_c&=&\left({9\over2\lambda}\right)^{1/6}n^{1/3}
911: \bigg[1-{\lambda\over(4\pi)^2}
912: \bigg(2
913: -2\gamma+2{\zeta^{\prime}(-1)\over\zeta(-1)}
914: \\ &&
915: +0.3217
916: \bigg)
917: \bigg]\;.
918: \label{tcf}
919: \eqa
920: The leading-order result is the usual perturbatively calculable
921: high-temperature result, while the second-order
922: term involves nonperturbative physics.
923: In contrast, the first order correction to $T_c$ in the nonrelativistic Bose
924: gas cannot be determined in perturbation theory~\cite{gordon}.
925: Note also that in accordance with Eq.~(\ref{tc00}),
926: $T_c$ becomes infinite in the absence of interactions.
927: Finally, the impressive seven-loop VPT calculations of
928: Kastening~\cite{boris,boris2}
929: give $0.002586(17)$ and $-0.002796(192)$
930: for the
931: quantities in Eqs.~(\ref{mc00})
932: and~(\ref{mc}).
933: Thus the critical temperature is within errors in complete agreement
934: with the lattice prediction.
935:
936: \section{Summary}
937: In this paper, we have discussed the thermodynamics of relativistic Bose
938: gases at zero and finite temperature. At zero temperature, thermodynamic
939: quantities can be expanded in a loop expansion, and we calculated the
940: pressure, charge density and speed of sound in the one-loop approximation.
941: In the nonrelativistic limit, one easily obtains the standard results
942: for the dilute Bose gas.
943: In the critical region, perturbation theory breaks down due to infrared
944: divergences. However,
945: one can take advantage of the fact that
946: there is a separation of scales to simplify the problem of calculating
947: static quantities such as $T_c$.
948: The effects of the nonstatic modes can be caclulated perturbatively
949: employing dimensional reduction, while the effective three-dimensional
950: theory must be treated nonperturbatively.
951: It is interesting to note that the leading correction to $T_c$
952: in the ultrarelativistic limit, is calculable in perturbation theory
953: while in the NR limit it is not. The reason is simply that the
954: chemical potential couples quadratically to $\Phi^{\dagger}\Phi$
955: in the first case and linearly in the latter.
956:
957: By gauging the linear $SU(2)_L\times SU(2)_R$-symmetric sigma model
958: in various ways, one obtains a number of interesting gauge
959: theories~\cite{igor1,igor2}.
960: The Higgs mechanism and the Goldstone mechanism are both realized
961: in the conventional manner. The interest in these models is partly due
962: to the fact that the rotational symmetry is broken as well and leads
963: to a directional dependence of the dispersion relation which
964: is linear for small wave vectors and roton-like for larger wave vectors.
965: These models may therefore be of interest for condensed matter systems
966: such as superfluid helium.
967:
968:
969:
970:
971:
972:
973:
974: \section*{Acknowledgments}
975: The author would like to thank P. Arnold for useful discussions.
976:
977: \appendix
978: \renewcommand{\theequation}{\thesection.\arabic{equation}}
979: \section{Formulas}
980: Dimensional regularization can be used to
981: regularize both the ultraviolet divergences and infrared divergences
982: in three-dimensional integrals over momenta.
983: The spatial dimension is generalized to $d = 3-2\epsilon$ dimensions.
984: Integrals are evaluated at a value of $d$ for which they converge and then
985: analytically continued to $d=3$.
986: We use the integration measure
987: %
988: \begin{equation}
989: \int_{\bf p} \;\equiv\;
990: \left(\frac{e^\gamma\Lambda^2}{4\pi}\right)^\epsilon\,
991: \int {d^{3-2\epsilon}p \over (2 \pi)^{3-2\epsilon}}\,.
992: \end{equation}
993: where $\Lambda$ is an arbitrary momentum scale.
994: The factor $(e^\gamma/4\pi)^\epsilon$
995: is introduced so that, after minimal subtraction
996: of the poles in $\epsilon$
997: due to ultraviolet divergences, $\Lambda$ coincides
998: with the renormalization
999: scale of the $\overline{\rm MS}$ renormalization scheme.
1000:
1001: We need the regularized integrals
1002: \bqa
1003: \int_{\bf p}\sqrt{p^2+\mu^2}&=&-{\mu^4\over2(4\pi)^2}\left(
1004: {\Lambda\over\mu}\right)^{2\epsilon}
1005: \left[{1\over\epsilon}+{3\over2}%+{\cal O}\left(\epsilon\right)
1006: \right]\;,
1007: \\
1008: \int_{\bf p}{1\over(p^2+\mu^2)^{3/2}}&=&{4\over(4\pi)^2}\left(
1009: {\Lambda\over\mu}\right)^{2\epsilon}
1010: \left[{1\over\epsilon}%+{\cal O}\left(\epsilon\right)
1011: \right]\;,
1012: \label{last}
1013: \\
1014: \int_{\bf p}p\sqrt{p^2+\mu}&=&{\mu^{5/2}\over15\pi^2}
1015: %\left[1+{\cal O}\left(\epsilon\right)\right]
1016: \;.
1017: \label{f0}
1018: \eqa
1019: %The error is one order higher in $\epsilon$ than the smallest term shown.
1020:
1021: In the imaginary-time formalism for thermal field theory,
1022: the 4-momentum $P=(\omega_n,{\bf p})$ is Euclidean with
1023: $P^2=\omega_n^2+{\bf p}^2$.
1024: The Euclidean energy $p_0$ has discrete values:
1025: $\omega_n=2n\pi T$ for bosons,
1026: where $n$ is an integer.
1027: Loop diagrams involve sums over $\omega_n$ and integrals over ${\bf p}$.
1028: We define the dimensionally regularized sum-integral by
1029: %
1030: \bqa
1031: \hbox{$\sum$}\!\!\!\!\!\!\int_{P}& \;\equiv\; &
1032: \left(\frac{e^\gamma\Lambda^2}{4\pi}\right)^\epsilon\,
1033: T\sum_{\omega_n=2n\pi T}\:\int {d^dp \over (2 \pi)^{d}}\;.
1034: \label{sumint-def}
1035: \eqa
1036: The
1037: specific sum-integrals needed are
1038: \bqa%\nonumber
1039: %\eqa
1040: %The other sum-integrals needed are
1041: %\bqa
1042: \sumint_P\ln P^2
1043: &=&-{\pi^2T^4\over45},\\
1044: \sumint_P{1\over P^2}
1045: &=&{T^2\over12}\bigg[
1046: 1+\left(
1047: 2+2{\zeta^{\prime}(-1)\over\zeta(-1)}
1048: \right)\epsilon
1049: \bigg]\;, \\
1050: \sumint_P{P_0^2\over P^4}
1051: &=&-{T^2\over24}\bigg[
1052: 1+%\left(
1053: 2{\zeta^{\prime}(-1)\over\zeta(-1)}
1054: %\right)
1055: \epsilon
1056: \bigg]\;, \\
1057: \sumint_P{1\over P^4}&=&
1058: {1 \over (4\pi)^2} \left({\mu\over4\pi T}\right)^{2\epsilon}
1059: \left[ {1 \over \epsilon} + 2 \gamma\right]\;,\\%\nonumber
1060: \sumint_P{P_0^2\over P^6}&=&
1061: {1 \over (4\pi)^2} \left({\mu\over4\pi T}\right)^{2\epsilon}
1062: {1\over4}\left[ {1 \over \epsilon} + 2+2 \gamma\right]\;,\\
1063: %&&\\ \nonumber
1064: \sumint_P{P_0^4\over P^8}&=&
1065: {1 \over (4\pi)^2} \left({\mu\over4\pi T}\right)^{2\epsilon}
1066: {1\over8}\left[ {1 \over \epsilon} + {8\over3}+2 \gamma\right]\;,\\
1067: %&& \\
1068: &&\hspace{-1cm}
1069: \sumint_{PQ}{1\over P^2Q^2(P+Q)^2}=0\;.
1070: \label{2ll}
1071: %\sumint_P\log\Big[P_0^2+c^2p^4\Big]&=&-
1072: %{\zeta\left(\mbox{${5\over2}$}\right)\over8\pi^{3/2}}T^{5/2}c^{-3/2}\;,
1073: %\label{nr1}
1074: %\\
1075: %\sumint_P{1\over(P_0^2+c^2p^4)}&=&
1076: %{\zeta\left(\mbox{${5\over2}$}\right)\over4\pi^{3/2}}T^{5/2}c^{-3/2}\;.
1077: %\label{nr2}
1078: \eqa
1079: %The error is one order higher in $\epsilon$ than the smallest term shown.
1080: %The evaluation of the one-loop sum-integrals is standard.
1081: %Detail of how to calculate the two-loop sum-integral can be found in
1082: %e.g.~\cite{2l}.
1083: We also need to expand some sum-integrals about zero temperature.
1084: The phonon part of the spectrum then dominates the
1085: temperature-dependent part of the sum-integral. We can therefore approximate
1086: the dispersion relations
1087: $\omega_{1-}(p)$ and $\omega_{2-}(p)$ by
1088: their low-momentum limits~(\ref{l1})-(\ref{l2}),
1089: and this gives the leading temperature correction. These are
1090: \bqa
1091: \sumint_P\ln\Big[P_0^2+\omega_{1-}^2(p)\Big]
1092: &&\
1093: \\ \nonumber&&
1094: \hspace{-2.6cm}
1095: =\int_{\bf p}\omega_{1-}(p)
1096: +{T\over\pi^2}\int_0^{\infty}dp\;p^2
1097: \ln\left[1-e^{-\beta\omega_{1-}(p)}\right]
1098: \\
1099: &&
1100: \hspace{-2.6cm}=\int_{\bf p}\omega_{1-}(p)-{\pi^2T^4\over45}
1101: \left({3\mu^2-m^2\over\mu^2-m^2}\right)^{3/2}+...
1102: \label{ft1}
1103: \;, \\
1104: \sumint_P\ln[P_0^2+\omega_{2-}^2(p)\Big]&&
1105: \\
1106: \nonumber&&
1107: \hspace{-2.6cm}
1108: =\int_{\bf p}\omega_{2-}(p)
1109: +{T\over\pi^2}\int_0^{\infty}dp\;p^2
1110: \ln\left[1-e^{-\beta\omega_{2-}(p)}\right]
1111: \\
1112: &&
1113: \hspace{-2.6cm}=\int_{\bf p}\omega_{2-}(p)-
1114: 2T\left(\mbox{${\mu T\over2\pi}$}\right)^{3/2}
1115: \zeta\left(\mbox{${5\over2}$}\right)
1116: +...
1117: \label{ft2}\;.
1118: \eqa
1119:
1120: \begin{thebibliography}{99}
1121: \bibitem{dalfovo}F. Dalfovo, S. Giorgini, L. P. Pitaevskii
1122: and S. Stringari, Rev. Mod. Phys. 463 (1999).
1123: \bibitem{pethick}C. J. Pethick and H. Smith,
1124: {\it Bose-Einstein Condensation
1125: in Dilute Gases}, Cambridge University Press, UK (2002).
1126:
1127: \bibitem{jens2}J. O. Andersen, Rev. Mod. Phys. {\bf 76}, 599 (2004).
1128: \bibitem{sjafer2}T. Sch\"afer, Phys. Rev. Lett. {\bf 85}, 5531 (2000).
1129:
1130: \bibitem{shot}T. Sch\"afer,
1131: D. T. Son, M. A. Stephanov, D. Toublan, and J. J. M. Verbaarschot,
1132: Phys. Lett. {\bf B522}, 67 (2001).
1133: \bibitem{sjafer}T. Sch\"afer, Phys. Rev. Lett. {\bf 86}, 3973 (2001).
1134: \bibitem{color1}K. Rajagopal and F. Wilczek, hep-ph/0011333.
1135: \bibitem{color2}T. Sch\"afer, hep-ph/0304281.
1136: \bibitem{color3}I. A Shovkovy, nucl-th/0410091.
1137:
1138:
1139:
1140: %\bibitem{drake}J. J. Drake {\it et al}, Astrophys. {\bf J572}, 996 (2002).
1141: %\bibitem{rob}E. S. Fraga, R. D. Pisarski, and
1142: %J. Schafner-Bielich, Phys. Rev. {\bf D63} 121702 (2001).
1143: %\bibitem{jm}J. O. Andersen and M. Strickland, Phys. Rev. {\bf D66},
1144: %105001 (2002).
1145: %\bibitem{color1}K. Rajagopal and F. Wilczek, hep-ph/0011333.
1146: %\bibitem{color2}T. Sch\"afer, hep-ph/0304281.
1147: %\bibitem{color3}I. A Shovkovy, nucl-th/0410091.
1148: %\bibitem{jens1}J. O. Andersen, cond-mat/0209243.
1149: \bibitem{igor1}V. A. Miransky and I. A. Shovkovy, Phys. Rev.
1150: Lett. {\bf88}, 111601 (2002).
1151: \bibitem{igor2} V. P. Gusynin, V. A. Miransky, and I. A. Shovkovy,
1152: Mod. Phys. Lett. {\bf A19}, 1341 (2004).
1153: \bibitem{kap}J. I. Kapusta, {\it Finite Temperature Field Theory},
1154: Cambridge University Press (1989).
1155:
1156: \bibitem{gordon}G. Baym, J.-P. Blaizot, M. Holzmann, and DVautherin,
1157: Phys. Rev. Lett. {\bf 83}, 1703 (1999).
1158:
1159: \bibitem{gordon1}G. Baym, J.-P. Blaizot, and J. Zinn-Justin,
1160: Europhys. Lett. {\bf 49}, 150 (2000).
1161: \bibitem{toma}P. Arnold and B. Tom\'a\^sik, Phys. Rev. {\bf A62},
1162: 063604 (2000).
1163: \bibitem{arnold}P. Arnold and G. D. Moore, Phys. Rev. Lett {\bf87}, 120401
1164: (2001); Phys. Rev. {\bf A64}, 066113 (2001).
1165: \bibitem{svis} V. A. Kashurnikov, N. V. Prokof'ev, and B. V. Svistunov,
1166: Phys. Rev. Lett. {\bf 87}, 120302 (2001).
1167: \bibitem{eric}E. Braaten and E. Radescu, Phys. Rev. {\bf A66}, 063601, (2002).
1168: \bibitem{kneur}J.-L. Kneur, M. B. Pinto, R. O. Ramos,
1169: Phys. Rev. Lett. {\bf 89}, 210403, (2002).
1170: \bibitem{kleinert}
1171: H. Kleinert and V. Schulte-Frolinde,
1172: {\it Critical properties of $\phi^4$--Theories}, 1st ed.
1173: World Scientific, Singapore (2001).
1174: \bibitem{boris}B. Kastening, %Phys. Rev. {\bf A68}, 061601R (2003),
1175: Phys. Rev. {\bf A69}, 043613 (2004).
1176: \bibitem{boris2}B. Kastening, Phys. Rev. {\bf A70}, 043621 (2004).
1177: \bibitem{kopietz}S. Ledowski, N. Hasselmann, and P. Kopietz,
1178: Phys. Rev. {\bf A69}, 061601 (2004).
1179: \bibitem{blai}J.-P. Blaizot, R. M. Galain, and N. Wschebor, cond-mat/0412481.
1180: \bibitem{arnold2}P. Arnold, G. D. Moore, and B. Tom\'a\^sik,
1181: Phys. Rev. {\bf A65}, 013606 (2001),
1182:
1183: \bibitem{dodel1}J. Bernstein and S. Dodelson, Phys. Rev. Lett. {\bf 66},
1184: 683, (1991).
1185: \bibitem{dodel2}K. Benson, J. Bernstein, and S. Dodelson, Phys. Rev.{\bf D44},
1186: 2480 (1991).
1187: \bibitem{evans}D. Bedingham and T. S. Evans, Phys. Rev. {\bf D64},
1188: 105018 (2001).
1189: \bibitem{holger}H. B. Nielsen and S. Chadha, Nucl. Phys. {\bf B105},
1190: 445 (1976).
1191: \bibitem{landau}L. D. Landau and E. M. Lifshitz, {\it Fluid Mechanics,
1192: 2nd edition}, Pergamon New York (1987).
1193: %\bibitem{gins}P. Ginsparg, Nucl. Phys. {\bf B170}, 388 (1980).
1194: %\bibitem{gpy}D. Gross, R. D. Pisarski and L. G. Yaffe, Mod. Rev. Phys.
1195: %(1981).
1196: %\bibitem{appel}T. Appelquist and R. D. Pisarski, Phys. Rev. {\bf D23},
1197: %2305 (1981).
1198: %\bibitem{nad}S. Nadkarni, Phys. Rev. {\bf D27}, 917 (1983); Phys. Rev.
1199: %{\bf D38}, 3287 (1988); Phys. Rev. Lett. {\bf 60}, 491 (1988).
1200: %\bibitem{landsman89}N. P. Landsman, Nucl. Phys. {\bf B322}, 498 (1989).
1201:
1202: \bibitem{renorm} K. Kajantie, M. Laine, K. Rummukainen, and
1203: M. E. Shaposhnikov, Nucl. Phys. {\bf B458}, 90 (1996).
1204: \bibitem{beli}S.T. Beliaev, Sov. J. Phys. {\bf 7}, 289 (1958);
1205: {\bf 34}, 299 (1958).
1206: \bibitem{leeyang2}T. D. Lee and C. N. Yang, Phys. Rev. {\bf 112}, 1419 (1958).\bibitem{sun}X. Sun, Phys. Rev. {\bf E67}, 066702 (2003).
1207:
1208:
1209: %\bibitem{2l}P.~Arnold and C.~X.~Zhai, Phys. Rev. {\bf D50}, 7603 (1994).
1210:
1211: \end{thebibliography}
1212:
1213: \end{document}
1214:
1215:
1216:
1217: