--- abstract: | We discuss the Bloch-state solutions of the stationary Gross-Pitaevskii equation and of the Bogoliubov equations for a Bose-Einstein condensate in the presence of a one-dimensional optical lattice. The results for the compressibility, effective mass and velocity of sound are analysed as a function of the lattice depth and of the strength of the two-body interaction. The band structure of the spectrum of elementary excitations is compared with the one exhibited by the stationary solutions ("Bloch bands"). Moreover, the numerical calculations are compared with the analytic predictions of the tight binding approximation. We also discuss the role of quantum fluctuations and show that the condensate exhibits 3D, 2D or 1D features depending on the lattice depth and on the number of particles occupying each potential well. We finally show how, using a local density approximation, our results can be applied to study the behaviour of the gas in the presence of harmonic trapping.\ address: - '$^1$ Dipartimento di Fisica, Università di Trento and BEC-INFM, I-38050 Povo, Italy' - '$^2$ Dipartimento di Matematica e Fisica, Università Cattolica del Sacro Cuore, I-25121 Brescia, Italy' - '$^3$ Kapitza Institute for Physical Problems, 117334 Moscow, Russia' author: - '$^1$M. Krämer, $^{1,2}$C. Menotti, $^{1,3}$L. Pitaevskii and $^1$S. Stringari' title: 'Bose-Einstein condensates in 1D optical lattices: compressibility, Bloch bands and elementary excitations' --- Introduction ============ Cold atoms in optical lattices exhibit phenomena typical of solid state physics like the formation of energy bands, Bloch oscillations, and Josephson effects. Many of these phenomena have been already the object of experimental and theoretical investigation in Bose-Einstein condensates. For deep potential wells further important effects take place like the transition from the superfluid to the Mott insulator phase @jaksch [@greiner]. The purpose of this paper is to study some structural properties of interacting Bose-Einstein condensed dilute gases at $T=0$ in the presence of 1D periodic potentials generated by laser fields (1D optical lattices). Unless the confinement in the radial direction is very tight, the transition to the insulator phase in 1D optical lattices is expected to take place only for extremely deep potential wells. There is consequently a large range of potential depths where the gas can be described as a fully coherent system, in the framework of the mean field Gross-Pitaevskii approach to the order parameter. We will explicitly discuss the change in the behaviour of the system as a function of the optical potential depth, ranging from the uniform gas (absence of optical lattice) to the opposite regime of deep wells separated by high barrieres (tight binding limit). Special emphasis will be given to the role of two-body interactions, whose effects will be adressed by varying the average density $n$. An important feature produced by the periodic potential is the occurrence of a typical band structure in the energy spectra. In this paper we will discuss different manifestations of such a band structure, including: - the energy per particle $\varepsilon_j(k)$ of stationary Bloch-wave configurations consisting in the motion of the whole condensate and carrying a current constant in time and uniform in space ("Bloch bands"). This energy is naturally parametrized as a function of the quasimomentum $k$ which, together with the band index $j$ ($j=1,2,...$), is the proper quantum number of these states; - the chemical potential $$\mu_j (k)= {\partial [n \varepsilon_j (k) ] \over \partial n}\,, \label{mu_l}$$ of the same stationary configurations, where $n$ is the average density of the sample. The chemical potential plays a crucial role in the determination of the equation of state and emerges as a natural output of the solution of the Gross-Pitaevskii equation (see Eq.(\[galileo\]) below); - the spectrum $\hbar \omega_j(q)$ of the elementary excitations ("Bogoliubov bands") carrying quasi-momentum $q$. The elementary excitations are small perturbations of the system and in general can be calculated with respect to each stationary configuration of quasimomentum $k$. In this paper we will limit the discussion to the elementary excitations built on top of the groundstate configuration ($k=0$). They can be determined by solving the linearized Gross-Pitaevskii equations (see Eqs.(\[bog\_u\],\[bog\_v\])). The three band spectra $\varepsilon_j$, $\mu_j$ and $\hbar \omega_j$ represent different physical quantities and have the same dependence on quasimomentum only in the absence of two body interactions. Due to the periodicity of the problem the quasi-momentum can be restricted to the first Brillouin zone. Still it is often convenient to consider all values of quasi-momentum to emphasize the periodicity of the energy spectra in quasi-momentum space. In Sect.\[section2\], we discuss the equation of state and the Bloch bands, assuming uniform confinement in the radial direction. Special emphasis is given to the behaviour of the compressibility and the effective mass. The compressibility $\kappa$ is defined by the thermodynamic relation $$\begin{aligned} \kappa^{-1 } = n {\partial \mu \over \partial n} \,, \label{kappa} \end{aligned}$$ where $\mu$ is the chemical potential relative to the groundstate solution of the Gross-Pitaevskii equation ($\mu\equiv \mu_{j=1}(k=0)$). For systems interacting with repulsive forces, the optical trapping reduces the compressibility of the system since the effect of repulsion is enhanced by the squeezing of the condensate wavefunction in each well. The effective mass is defined through the curvature of the lowest ($j=1$) energy band $$\begin{aligned} {1 \over m^*(k)} = {\partial^2 \varepsilon\over \partial k^2}\,. \label{curvature} \end{aligned}$$ Here and in the following, we omit the band index $j$ when we refer to the lowest band ($j=1$). The current flowing along the direction of the optical lattice, is fixed by the relation $$\begin{aligned} I (k) = n {\partial \varepsilon\over \partial k}\,, \label{current} \end{aligned}$$ and in the long wavelength limit $k \to 0$, one finds $I \to n k /m^*$, where we have used the notation $m^*\equiv m^*(k=0)$. Equivalently, one has $$\begin{aligned} \varepsilon(k) \raisebox{0.1cm}{$ \;\;\;\; \longrightarrow \;\;\;$} \hspace*{-1.15cm} \raisebox{-0.15cm}{$\; k \to 0 $} \;\;\; % \varepsilon(k=0)+{k^2\over2m^*}\,. \label{epsilonlowk}\end{aligned}$$ For small intensities of the laser field the effective mass $m^*$ approaches the bare value $m$ . Instead, for large intensities the effective mass is inversely proportional to the tunneling rate through the barrier separating neighbouring potential wells and is strongly enhanced with respect to the bare value. Based on the knowledge of the compressibility and of the effective mass, one can calculate the sound velocity according to the thermodynamic relation $$\begin{aligned} c = {1\over\sqrt{\kappa m^*} }\,. \label{sound_vel} \end{aligned}$$ This quantity fixes the slope of the lowest Bogoliubov band at low quasi momenta. In Sect.\[elementary-excitations\], we discuss the behaviour of the elementary excitations. The excitation spectrum (Bogoliubov spectrum) is obtained from the solution of the linearized time-dependent Gross-Pitaevskii equation and develops energy bands $\hbar\omega_j(q)$ periodic in quasi-momentum space. From the same solutions one can calculate the excitation strengths $Z_j(p)$ relative to the density operator and hence the dynamic structure factor $S(p,\omega)$ @chiara. Here, $p$ and $\hbar\omega$ are the momentum and the energy transferred by a weak external probe. Differently from the Bogoliubov energies $\hbar \omega_j$, the strengths $Z_j(p)$, and $S(p,\omega)$, are not periodic functions of $p$, putting in clear evidence the difference between <span>*momentum*</span> and <span>*quasi-momentum*</span>. We will often compare our numerical results with the predictions of the so called tight binding approximation, which is reached when the intensity of the laser field generating the optical lattice is so high that only the overlap between the wavefunctions of nearest-neighbour condensates plays a role. In the tight binding limit, the lowest Bloch and Bogoliubov bands take analytic forms that will be discussed explicitly. In Sect.\[fluct\_depl\], we study the effect of the lattice on the quantum depletion of the condensate and comment on the validity of Gross-Pitaevskii and Bogoliubov theory. Depending on the parameters of the problem, we distinguish between different configurations which show 3D, 2D or 1D features. Finally, in Sect.\[appl\_to\_ho\] we include the presence of an additional harmonic trapping. This is achieved by employing a local density approximation to treat the inhomogeneity of the density profile due to the harmonic confinement. Important applications concern the frequencies of collective oscillations. Compressibility and effective mass {#section2} ================================== The aim of this section is to calculate the compressibility and the effective mass as a function of the average density of the gas and of the depth of the optical potential. Using these quantities, we will also calculate the velocity of sound. We consider the following geometry: along the $z$ direction the atoms feel the periodic potential created by two counterpropagating laser fields, while the system is uniform in the transverse direction. The important length, momentum and energy scales of the problem are: the lattice spacing $d={ \pi / k_{\rm opt} }$ related to the wavevector $k_{\rm opt}$ of the laser field in the lattice direction, the Bragg momentum $q_B=\hbar k_{\rm opt}={\hbar \pi / d }$ which identifies the edge of the Brillouin zone and the recoil energy $E_R={\hbar^2 \pi^2 / 2md^2}$, corresponding to the energy gained by an atom at rest by absorbing a lattice photon. The trapping potential generated by the optical field can be simply written in the form $$\begin{aligned} V(z)= s\; E_R \;{\rm sin}^2\left( {\pi z \over d} \right), \label{Vext} \end{aligned}$$ where $s$ is a dimensionless parameter which denotes the lattice depth in units of the recoil energy $E_R$. The parameter characterizing the role of interactions in the system is $g n$, defined as the two-body coupling constant $g=4 \pi \hbar^2 a /m$ times the 3D <span>*average*</span> density $n$. Here $a$ is the s-wave scattering length which will be always assumed to be positive. Typical values of the ratio $gn/E_R$ used in recent experiments @denschlag [@cataliotti; @morsch1; @greiner1] range from $0.02$ to $1$. Since the density is uniform in the transverse direction, the transverse degrees of freedom decouple from the axial ones and the stationary Gross-Pitaevskii equation can be reduced to a 1D equation of the form $$\begin{aligned} \left[-{\hbar^2 \over 2m}\;{\partial^2\over\partial z} +s\;E_R \; {\rm sin}^2\left({ \pi z \over d }\right) +{g n d }|\varphi(z)|^2 \right]\varphi(z)= \nonumber \\ = {\mu }\varphi(z)\,, \label{gpe} \end{aligned}$$ where the order parameter $\varphi$ is normalized according to $\int_{-d/2}^{d/2}|\varphi(z)|^2 dz =1$. In spite of its non-linearity, Eq.(\[gpe\]) permits solutions in the form of Bloch waves $$\begin{aligned} \varphi_{jk}(z)=e^{ikz/\hbar} \tilde{\varphi}_{jk}(z)\,, \label{bloch-ansatz} \end{aligned}$$ where $k$ is the quasimomentum, $j$ is the band index and the function $\tilde{\varphi}_{jk}(z)$ is periodic with period $d$. Notice that Eq.(\[bloch-ansatz\]) does not exhaust all the possible stationary solutions of the Gross-Pitaevskii equation @machholm2. The Gross-Pitaevskii equation (\[gpe\]), rewritten in terms of the functions $\tilde{\varphi}_{jk}(z)$, reads $$\begin{aligned} \Bigg[ {1 \over 2m} \left( -i \hbar\partial_z + k \right)^2 +s\;E_R\;{\rm sin}^2\left({\pi z \over d }\right) + \nonumber \\ + gn d |\tilde{\varphi}_{jk}(z)|^2 \Bigg] \tilde{\varphi}_{jk}(z) = \mu_j(k) \tilde{\varphi}_{jk}(z). \label{galileo} \end{aligned}$$ From the solution of Eq.(\[galileo\]) one gets the functions $\tilde{\varphi}_{jk}(z)$ and the corresponding chemical potentials $\mu_j(k)$. The energy per particle $\varepsilon_j(k)$ can be calculated using the expression $$\begin{aligned} {\varepsilon_j } (k)= \int_{-d/2}^{d/2} \tilde{\varphi}^*_{jk}(z) \left[ {1 \over 2m } \left( -i \hbar\partial_z + k \right)^2 + \right. \nonumber\\ \left. + s\;E_R \; {\rm sin}^2\left({z}\right) + {1 \over 2}{gn d } |\tilde{\varphi}_{jk}(z)|^2 \right] \tilde{\varphi}_{jk}(z) dz. \label{epsilon_l} \end{aligned}$$ and differs from the chemical potential $\mu_j(k)$. In fact by multiplying Eq.(\[galileo\]) by $\tilde{\varphi}_{jk}^*$ and integrating, one finds the expression $$\begin{aligned} {\mu_j } (k)= \int_{-d/2}^{d/2} \tilde{\varphi}^*_{jk}(z) \left[ {1 \over 2m } \left( -i \hbar\partial_z + k \right)^2 + \right. \nonumber\\ \left. + s\;E_R \; {\rm sin}^2\left({z}\right) + {gn d } |\tilde{\varphi}_{jk}(z)|^2 \right] \tilde{\varphi}_{jk}(z) dz. \label{mubands}\end{aligned}$$ for the chemical potential which coincides with Eq.(\[epsilon\_l\]) only in absence of the interaction term. In general, $\mu_j$ and $\varepsilon_j$ are related to each other by Eq.(\[mu\_l\]). The solution of Eq.(\[galileo\]) for $k=0$ and $j=1$ gives the ground state of the system. This state corresponds to a condensate at rest in the frame of the optical lattice. Instead the solutions of Eq.(\[galileo\]) with $k\neq 0$, describe states of the system where all the atoms, occupying the same single-particle wavefunction, move together with respect to the optical potential giving rise to the constant current (\[current\]). Experimentally such states can be created by turning on adiabatically the intensity of a lattice moving at fixed velocity @denschlag. In this way, it is possible to map higher Brillouin zones onto higher bands. Results for the Bloch bands (\[epsilon\_l\]) are shown in Fig.\[bloch-bands\] for $s=5$ and $gn/E_R=0,\,0.1$ and $0.5$. The effect of interactions for these parameter values can be hardly distinguished in the energy band structure. It can be made more evident by plotting the group velocity $$\begin{aligned} v={\partial \varepsilon(k) \over \partial k} \label{groupv}\end{aligned}$$ as a function of the quasi-momentum. For $gn=0.5 E_R$ one finds a difference in the group velocity of about 30% with respect to the non interacting case. The quantity plotted in Fig.\[bloch-bands\](b) is accessible experimentally through Bloch oscillations experiments @arimondo. In this context, it is important to note that the Bloch states (\[bloch-ansatz\]) with $k\neq 0$ can become energetically or dynamically unstable depending on the choice of the values for $s$ and $gn$ (See for example @niu [@smerzi; @machholm; @trombettoni; @menotti]). Note also that for values of $gn \ge s$ one encounters loops ("swallow tails") in the band structure at the band edge of the lowest band @machholm [@swallow] and, at even smaller values of $gn$, at the center of the first excited band @machholm. For the values of $gn$ we have considered, these swallow tails exist only for very small values of the lattice depth $s$. ![(a) Lowest three Bloch bands for $s=5$, $gn=0$ (solid line), $0.1 E_R$ (dashed line) and $0.5 E_R$ (dash-dotted line). The energy of the groundstate ($k=0$) has been subtracted; (b) Group velocity for the same parameters as in (a).<span data-label="bloch-bands"></span>](fig1.eps){width="0.8\linewidth"} Let us now focus on the properties of the ground state ($k=0,\,j=1$). By solving numerically Eq.(\[galileo\]) and calculating the chemical potential, it is straightforward to evaluate the inverse compressibility (\[kappa\]) as a function of the relevant parameters of the problem. The results are plotted in Fig.\[fig\_inv\_compr\] as a function of $gn$ for $s=0,5,10$. The case $s=0$ is the uniform case, where the equation of state is $\mu=gn$ and $\kappa^{-1 }=g n$. In the presence of the optical lattice, we predict a deviation from this linear dependence on density. One finds an increase of the inverse compressibility with $s$, which is a direct consequence of the localization of the wavefunction at the bottom of the wells produced by the optical lattice. When the effect of two body interactions on the wavefunction is negligible one can account for this increase through the simple law $\kappa^{-1}={\tilde g}(s) n$. The effective coupling constant ${\tilde g}(s)$ depends only on the lattice depth $s$ and takes the explicit form $$\begin{aligned} {\tilde g}= g d \int_{-d/2}^{d/2} \varphi_{gn=0}^4 dz , \label{gtilde}\end{aligned}$$ where $\varphi_{gn=0}$ is the groundstate solution of Eq.(\[gpe\]) for $gn=0$. It is correct to describe $\kappa^{-1}$ with a linear dependence on the density only for small interaction parameters $gn$. For higher values of the interactions the slope of the curves tends to decrease. This is due to the fact that interactions tend to broaden the order parameter in each well and hence counteract the effect produced by the optical lattice. Numerical results for $\kappa^{-1}/gn$ are presented in Fig.(\[fig\_gtilde\]) and compared with the density independent quantity ${\tilde g}/g$ (solid line), confirming that in general the compressibility does not depend linearly on the interaction. However for large $s$ the density dependence of $\kappa^{-1}/gn$ becomes less and less important and the expression $\kappa^{-1}(n,s)=\tilde{g}(s)n$ becomes applicable in a larger range of $gn$-values. ![Inverse compressibility $\kappa^{-1 } = n {\partial \mu / \partial n}$ as a function of $g n/E_R$ for $s=0$ (solid line), $s=5$ (dashed line) and $s=10$ (dashed-dotted line).<span data-label="fig_inv_compr"></span>](fig2.eps){width="0.8\linewidth"} Let us now determine the effective mass by studying the low-$k$ behaviour of the lowest band $\varepsilon(k)$. The results for $m^*=m^*(k=0)$ are shown in Fig.\[fig\_eff\_mass\]. For $s \to 0$, the effective mass tends to the bare mass $m$. Instead for large $s$ the effective mass increases strongly due to the decreased tunneling between neighbouring wells of the optical potential. The effect of the interactions is to decrease the value of $m^*$ as a consequence of the broadening of the wavefunction caused by the repulsion, which favours tunneling, contrasting the effect of the lattice potential. In fact, the effective mass is fixed by the tunneling properties of the system, which are exponentially sensible to the behaviour of the wavefunction in the region of the barriers. Then, any small change in the wavefunction due to interactions can have a significant effect on the effective mass. ![$\kappa^{-1}/gn$ for $gn=0.1 E_R$ (dashed line) and $gn=0.5 E_R$ (dashed-dotted line) as a function of the lattice depth $s$; comparison with the effective coupling constant $\tilde{g}/g$ defined in Eq.(\[gtilde\]) (solid line).<span data-label="fig_gtilde"></span>](fig3.eps){width="0.8\linewidth"} ![Effective mass as a function of lattice depth $s$ for $gn=0$ (solid line), $gn=0.1 E_R$ (dashed line) and $gn=0.5 E_R$ (dashed-dotted line).<span data-label="fig_eff_mass"></span>](fig4.eps){width="0.8\linewidth"} The two quantities calculated above, compressibility and effective mass, can be used to calculate the sound velocity using relation (\[sound\_vel\]) @machholm [@meret]. The corresponding results are shown in Fig.\[fig\_sound\_vel\]. We find that the sound velocity decreases as the lattice is made deeper. This is due to the fact that the increase of the effective mass is more important than the decrease of the compressibility $\kappa$. The solid line in Fig.\[fig\_sound\_vel\] shows that decreasing the interactions the sound velocity approaches the law $c=\sqrt{\tilde{g}n/m^*_{gn=0}}$, where $m^*_{gn=0}$ is the effective mass calculated with $gn=0$. The sound velocity is in principle measurable by studying the velocity of a wavepacket propagating in the presence of the optical potential. This could be done for example by following the experimental procedure used in @andrews. Yet note that in deep lattices, non linear effects are expected to be important also for small amplitude perturbations @smerzi. ![Sound velocity as a function of the potential depth $s$ divided by the sound velocity in the absence of the optical potential ($s=0$) for $gn=0.02 E_R$ (solid line), $gn=0.1 E_R$ (dashed line) and $gn=0.5 E_R$ (dashed-dotted line).<span data-label="fig_sound_vel"></span>](fig5.eps){width="0.8\linewidth"} Most of the results discussed above can be qualitatively understood by working in the so called tight binding approximation which becomes more and more accurate as the intensity of the laser field increases. Within the tight binding approximation we can derive analytic or semi-analytic expressions for the energy bands and consequently for the effective mass, compressibility and sound velocity. Using Bloch's theorem, we can write the condensate in the lowest band as $$\begin{aligned} \varphi_k(z)= \sum_l e^{i k l d/\hbar } f(z-l d), \label{t-b-varphi} \end{aligned}$$ where $l$ is the index of the well and $f$ are the Wannier functions. The function $f(z)$ is normalised to unity and is orthogonal to the functions centered at different sites. In general, it depends on two-body interactions and hence on the density. Equation (\[t-b-varphi\]) holds for any depth of the optical potential. However, in the tight binding regime, $f(z)$ is a well localized function. This provides important simplifications in the calculation of the relevant quantities, since only nearest-neighbour overlap integrals have to be considered. In our derivation of the tight binding results we will include also the interaction terms in the Hamiltonian. By substituting Eq.(\[t-b-varphi\]) into (\[galileo\]) and using definition (\[epsilon\_l\]) it follows, after some straightforward algebra, that the energy per particle takes the simple tight-binding form $$\begin{aligned} \varepsilon(k) = \varepsilon- \delta \;{\rm cos} \left({k d \over \hbar}\right), \label{t-b} \end{aligned}$$ where $\varepsilon=\int f(z) \left[ -{\hbar^2 \partial^2_z \over 2m} +V(z)+ {gnd\over 2} f^2(z) \right] f(z) dz$ is an energy offset, which depends on $s$ and $gn$ but not on $k$, and $\delta$ is the tunneling parameter defined as $$\begin{aligned} \delta =-2\! \! \int\!\! f(z)\!\! \left[ -{\hbar^2 \partial^2_z \over 2m} +V(z)+ 2 gnd f^2(z) \right]\! \! f(z\!-\!d) dz. \label{delta_e} \end{aligned}$$ Using the same approximations, the chemical potential takes the form $$\begin{aligned} \mu(k) = \mu_0- \delta_\mu \cos \left({kd\over\hbar}\right), \label{t-b-mu} \end{aligned}$$ where $\mu_0= \int f(z) \left[ -{\hbar^2 \partial^2_z \over 2m} +V(z)+ gnd f^2(z) \right] f(z) dz$ and $\delta_{\mu} = \delta - 4 gnd \int f^3(z) f(z-d) dz$. To derive Eqs.(\[t-b\],\[t-b-mu\]), we have kept terms of the order $\int f^3(z)f(z-d) dz$ and neglected terms of the order $\int f^2(z)f^2(z-d) dz$, which, for localized functions, turn out to be much smaller. Note that $\delta$ and $\delta_{\mu}$ depend on density both explicitly and implicitly through the density dependence of $f$ (see Eq.(\[delta\_e\])). In all situations considered in this work, contributions involving $\partial f/\partial n$ can be safely neglected. This approximation allows us to identify the quantity $\delta_\mu-\delta = -4 gnd \int f^3(z)f(x-d)$ with $n\partial\delta/\partial n$. To check the accuracy of the tight binding approximation, one can compare the numerical results for the first Bloch band with expression (\[t-b\]). The parameter $\delta$ is related to the curvature of the band at $k=0$, i.e. to the effective mass defined in Eq.(\[curvature\]), through the important relation @notedeltamu $$\begin{aligned} \delta={2 \over \pi^2}{m \over m^*} E_R . \label{delta} \end{aligned}$$ Hence, we can evaluate (\[t-b\]) by using the numerical results for the effective mass discussed above (see Fig.(\[fig\_eff\_mass\])). In this way, we automatically include the correct density dependence of the tunneling parameter $\delta$. In Fig.\[t-b\_gn05\], we compare the first Bloch energy band with its tight binding approximation for $gn=0.5 E_R$ and various values of $s$. The comparison shows that, for this value of the interactions, the tight binding approximation is already quite good for $s=10$ and becomes better and better for increasing $s$. ![Lowest Bloch band at $gn=0.5 E_R$ for different values of the potential depths: $s=1$ (a), $s=5$ (b) and $s=10$ (c). The solid lines are obtained by evaluating Eq.(\[epsilon\_l\]) using the numerical solution of Eq.(\[galileo\]) while the dashed lines refer to the tight binding expression (\[t-b\]). The energy of the groundstate ($k=0$) has been subtracted.<span data-label="t-b_gn05"></span>](fig6.eps){width="0.8\linewidth"} Using Eq.(\[t-b-mu\]) for $k=0$, we can also derive an expression for the inverse compressibility, which reads $$\begin{aligned} \kappa^{-1}= gnd \int f^4(z) dz + 8gnd \int f^3(z)f(z-d) dz, \label{t-b-k} \end{aligned}$$ where contributions due to $\partial f/\partial n$ have been neglected, as previously. Since $\int f^3(z)f(z-d) dz$ is normally much smaller than $ \int f^4(z) dz$, the on-site contribution to the inverse compressibility (first term in (\[t-b-k\])) is usually the leading term. A tight-binding expression for the density-independent effective coupling constant $\tilde{g}$ (\[gtilde\]) is obtained from (\[t-b-k\]) by replacing $f$ with the Wannier function $f_{gn=0}$ of the non-interacting system. Then $\kappa^{-1}$ is linear in the density and $\kappa^{-1}/n$ can be identified with $\tilde{g}$. Neglecting the overlap contribution, $\tilde{g}$ takes the form @meret $$\begin{aligned} {\tilde g}=g d \int f^4_{gn=0}(z)dz \,. \label{gtilde1}\end{aligned}$$ This shows that in the tight binding regime, the effective coupling constant $\tilde{g}$ can be safely estimated replacing the Bloch state $\varphi_{gn=0}$ in Eq.(\[gtilde\]) by the Wannier function $f_{gn=0}$. Deep in the tight binding regime, the function $f(z)$ can be conveniently approximated by a gaussian $f=\exp(-z^2/2\sigma^2)/\pi^{1/4}\sqrt{\sigma}$, where the width $\sigma$ is chosen such as to satisfy the equation $$-{d^3\over\pi^3}{1\over\sigma^3}+s{\pi\over d}\sigma-s{\pi^3\over d^3}\sigma^3 -{1\over 2}{gn\over E_R}\sqrt{\pi\over 2}{d^2\over \pi^2}{1\over\sigma^2} =0 \label{def-sigma}$$ accounting for the anharmonicities of ${\cal{O}}(z^4)$ of the potential wells and for the broadening effect of repulsive two body interactions. Within the gaussian approximation, the inverse compressibility (\[t-b-k\]) can be rewritten in the simplified form $$\begin{aligned} \kappa^{-1}= {gnd\over\sqrt{2\pi}\sigma}\,, \label{t-b-k-g} \end{aligned}$$ where we have neglected the contribution arising from the overlap of neighbouring wavefunctions. If we neglect the interaction term in Eq. (\[def-sigma\]), we obtain $\kappa^{-1}= \tilde{g}n$, with $\tilde{g}={gd/\sqrt{2\pi}\sigma}$ and $\sigma=s^{-1/4}(1+1/4\sqrt{s})d/\pi$. For $s=10, gn=0.5 E_R$ the approximation (\[t-b-k-g\]) differs from the exact value of $\kappa^{-1}$ by less than $1\%$. Note that even though the gaussian approximation is useful in estimating the compressibility at high $s$, it can not be employed to calculate the effective mass or, equivalently, the tunneling parameter $\delta$, which requires a more accurate description of the tails of the function $f$. Elementary excitations ====================== In this section we study the spectrum of elementary excitations. We will focus our attention on the excitations relative to the ground state, i.e. to the solution of Eq.(\[galileo\]) with $j=1$ (lowest band) and $k=0$. To this aim we look for solutions of the time-dependent Gross-Pitaevskii equation of the form $$\begin{aligned} \varphi(z,t)=e^{-i \mu t / \hbar} \left[ \varphi(z) + u_{jq}(z) e^{-i\omega_j(q)t} + v^*_{jq}(z) e^{i\omega_j(q)t} \right],\end{aligned}$$ where $u_{jq}$ and $v_{jq}$ describe a small perturbation with respect to the groundstate condensate $\varphi\equiv \varphi_{j=1,k=0}$. At first order in the perturbations, the time-dependent Gross-Pitaevskii equation yields the Bogoliubov equations $$\begin{aligned} \label{bog_u} \left[ -{\hbar^2 \partial^2_z \over 2m} + s \; E_R \; {\rm sin}^2\left({\pi z \over d }\right) - \mu + 2 gn d |\varphi|^2 \right] u_{jq}(z) + \nonumber \\ + gnd \varphi^2 v_{jq}(z) = \hbar \omega_j(q) u_{jq}(z), \\ \left[ -{\hbar^2 \partial^2_z \over 2m} + s \;E_R \; {\rm sin}^2\left({\pi z \over d }\right) - \mu + 2 gnd |\varphi|^2 \right] v_{jq}(z) + \nonumber \\ + gn d \varphi^{*2} u_{jq}(z) = - \hbar \omega_j(q) v_{jq}(z). \label{bog_v} \end{aligned}$$ The solutions $u_{jq}$ and $v_{jq}$ are Bloch waves ($u_{jq}=\exp(iqz/\hbar) \tilde{u}_{jq}(z)$ where ${\tilde u}_{jq}$ is periodic with period $d$ and analogously for $v_{jq}$). They are labeled by their band index $j$ and their quasimomentum $q$ belonging to the first Brillouin zone. Hence, also the Bogoliubov spectrum $\omega_j(q)$ exhibits a band structure @moelmer [@chiofalo]. ![Bogoliubov bands in the first Brillouin zone for $s=1$, $gn=0$ (solid line) and $gn=0.5 E_R$ (dash-dotted line). Note that for such a small potential, the gap between second and third band is still very small. <span data-label="effect-interactions-s5"></span>](fig7.eps){width="0.8\linewidth"} Similarities and differences with respect to the well-known Bogoliubov spectrum in the uniform case ($s=0$) are immediate. As in the uniform case, interactions make the compressibility finite, giving rise to a phononic regime for long wavelength excitations ($q\to 0$) in the lowest band. In high bands the spectrum of excitations instead resembles the Bloch dispersion (see Eq.(\[epsilon\_l\])). The differences are due to the fact that in the presence of the optical lattice the Bogoliubov spectrum develops a band structure. As a consequence, the dispersion is periodic as a function of quasimomentum and different bands are separated by an energy gap. In particular, the phononic regime present at $q=0$ is repeated at every even multiple of the Bragg momentum $q_B$. Moreover, the lattice period $d$ emerges as an additional physical length scale. In Fig.\[effect-interactions-s5\] we compare the Bologoliubov bands at $s=1$ for $gn=0$ and $gn=0.5 E_R$. In the interacting case, one notices the appearance of the phononic regime in the lowest band, while higher bands differ from the non-interacting ones mainly by an energy shift. In Fig.\[fig-bog-bloch\] we compare the lowest Bogoliubov and Bloch bands. Clearly, the lowest Bloch band is less affected by the presence of interactions than the Bogoliubov band. Recall that the Bogoliubov band gives the energy of the elementary excitations while the Bloch band gives the energy per particle of an excitation involving the whole condensate. The solid lines in Fig.\[fig-bog-tba-2\] show how the lowest Bogoliubov band changes when the lattice depth is increased at fixed interaction. At $s=1$ (Fig.\[fig-bog-tba-2\]a), apart from the formation of the energy gap close to $q=q_B$, the curve still resembles the dispersion in the uniform case: both the phononic linear regime and the quadratic regime are visible. When the potential is made deeper ($s=5, 10$; Fig.\[fig-bog-tba-2\]b,c), the band becomes flatter. As a consequence, the quadratic regime disappears and the slope of the phononic regime decreases. This reflects the behaviour of the velocity of sound (see Fig.\[fig\_sound\_vel\]). ![Lowest Bloch band (dashed line) and lowest Bogoliubov band (dash-dotted line) bands for $s=1$ and $gn=0.5 E_R$ compared with the energy band without interactions for $s=1$ (solid line). The groundstate energy has been subtracted in the case of the Bloch band (dashed line) and of the energy band without interactions (solid line).<span data-label="fig-bog-bloch"></span>](fig8.eps){width="0.8\linewidth"} ![Lowest Bogoliubov band at $gn=0.5 E_R$ for different values of the potential depths: $s=1$ (a), $s=5$ (b) and $s=10$ (c). The solid lines are obtained from the numerical solution of Eqs.(\[bog\_u\],\[bog\_v\]) while the dashed lines refer to the tight-binding expression (\[approx\_bog\_t-b\]). <span data-label="fig-bog-tba-2"></span>](fig9.eps){width="0.8\linewidth"} Similarly to the Bloch energy and chemical potential spectra, also for the Bogoliubov excitation spectrum we can obtain an analytic expression in the tight binding limit. We write the excitation amplitudes in the form $$\begin{aligned} \label{t-b-u} u_q(z)= U_q \sum_l e^{i q l d / \hbar} f(z-ld), \\ v_q(z)= V_q \sum_l e^{i q l d / \hbar} f(z-ld), \label{t-b-v} \end{aligned}$$ where $f$ is the same function as in (\[t-b-varphi\]). Recall, that $\int dz f^2=1$. Using expression (\[t-b-varphi\]) for the order parameter, we find the result $$\begin{aligned} \label{approx_bog_t-b} \hbar \omega_q \!=\! \hspace*{6cm} \\ \sqrt{ 2\delta{\rm sin}^2\left({q d \over 2 \hbar }\right) \left[ 2 \left(\delta + 2n{\partial\delta\over\partial n}\right) {\rm sin}^2 \left({q d \over 2 \hbar}\right) + 2 \kappa^{-1}\right]} \nonumber\end{aligned}$$ for the excitation frequencies (lowest band), where $\delta$ and $\kappa^{-1}$ are the tunneling and inverse compressibility parameters defined respectively in (\[delta\_e\]) and (\[t-b-k\]). In the same limit, the Bogoliubov amplitudes are $$\begin{aligned} U_q &=& \frac{ \varepsilon_q + \hbar \omega_q} {2 \sqrt{ \hbar \omega_q \varepsilon_q}}, \label{U_tb} \\ V_{q}&=& \frac{ \varepsilon_q - \hbar \omega_q} {2 \sqrt{ \hbar \omega_q \varepsilon_q}}, \label{V_tb}\end{aligned}$$ where $\omega_q$ is given by Eq.(\[approx\_bog\_t-b\]) and $\varepsilon_q= 2\delta{\rm sin}^2\left({q d / 2 \hbar }\right)$ captures the quasimomentum dependence of the Bloch energy (compare with Eq.(\[t-b\])). Note that in deriving Eqs.(\[U\_tb\],\[V\_tb\]), we have imposed the normalization condition $\int_{-d/2}^{d/2} |u_{q}(z)|^2-|v_{q}(z)|^2 dz =1$. In expression (\[approx\_bog\_t-b\]) the density dependence of the spectrum shows up in three different ways: - first of all, the parameter $\delta$ depends on interactions as shown explicitly in Fig.\[fig\_eff\_mass\], where the quantity $m^*\propto 1/\delta$ (see relation (\[delta\])) is plotted; - second, $\kappa^{-1}$ has a more general dependence on the density than the one accounted for by the linear law $\tilde{g}n$, as shown in Fig.\[fig\_gtilde\]; - third, a contribution due to the density derivative of $\delta$ appears. However this term is always small: for small interactions one has $n \partial\delta/\partial n \ll \delta$ while for larger interactions the inverse compressibility $\kappa^{-1}$ dominates both $\delta$ and $n \partial\delta/\partial n$. However, as shown in @trombettoni [@menotti] this term can significantly affect the excitation frequency calculated on top of a moving condensate. Fig.\[fig-bog-tba-2\] compares the numerical data with the approximate expression (\[approx\_bog\_t-b\]) evaluated using the parameters $\kappa^{-1}$ and $\delta$ calculated in the previous section. The tunneling parameter $\delta$ is obtained from the data for the effective mass $m^*$ through Eq.(\[delta\]). As already found for the lowest Bloch band, for this value of $gn$, the agreement with the tight binding expression is already good for $s=10$. It is possible to identify two regimes, where the Bogoliubov spectrum can be described by further simplified expressions: \(I) for very large potential depth, the spectrum is dominated by the second term in the square brackets of Eq.(\[approx\_bog\_t-b\]). In fact, $\delta\rightarrow 0$ while $\kappa^{-1}$ becomes larger and larger as $s$ increases. Hence, the spectrum takes the form $$\begin{aligned} \hbar \omega_q \approx \sqrt{ \delta \kappa^{-1}} \left| \sin\left({q d \over 2 \hbar }\right) \right|\,, \label{bog-tb-larges}\end{aligned}$$ both for large and small $gn$. Of course for large $gn$, the proper density-dependence of $\delta$ and $\kappa^{-1}$ has to be taken into account in evaluating (\[bog-tb-larges\]). Note that the Bogoliubov band becomes very flat since $\delta$ decreases exponentially for large lattice depth $s$. Yet, its height decreases more slowly than the lowest Bloch band (\[t-b\]) whose height decreases linearly in $\delta$. We also point out that in the regime where Eq.(\[bog-tb-larges\]) is valid, the Bogoliubov amplitudes Eqs.(\[U\_tb\],\[V\_tb\]) become comparable in magnitude for all $q$ in the first Brillouin zone, even if the excitation spectrum(\[bog-tb-larges\]) is not linear. This implies that all excitations in the lowest band acquire quasi-particle character and the role of interactions is strongly enhanced. \(II) for small enough $gn$, one can neglect the density dependence of $\delta$ and use the approximation $\kappa^{-1}={\tilde g} n$, where ${\tilde g}$ was defined in (\[gtilde\]) and takes the form (\[gtilde1\]) in the tight binding regime. This yields $$\begin{aligned} \hbar \omega_q \approx \sqrt{ 2 \; \delta_0 \; {\rm sin}^2 \left({q d \over 2 \hbar }\right) \left[ 2 \; \delta_0\; {\rm sin}^2 \left({q d \over 2 \hbar }\right) + 2 \tilde{g}n\right]}\,, \label{i} \end{aligned}$$ which was first obtained in @javanainen (see also @smerzi [@oosten; @rey]). Eq.(\[i\]) has a form similar to the well-known Bogoliubov spectrum of uniform gases, the energy $2\delta_0 {\rm sin}^2 \left({q d /2 \hbar }\right)$ replacing the free particle energy $q^2/2m$. The spectrum of elementary excitations can be measured by exposing the system to a weak perturbation transferring momentum $p$ and energy $\hbar\omega$. The response of the system is described by the dynamic structure factor $S(p,\omega)$ which, in the presence of a periodic potential takes the form $$\begin{aligned} S(p,\omega) = \sum_j Z_j(p) \delta(\omega - \omega_{j}(p)), \label{struc-fac}\end{aligned}$$ where $Z_j(p)$ are the density excitation strengths relative to the $j^{th}$ band and $\hbar \omega_{j}(p)$ are the corresponding excitation energies, defined by the solutions of Eqs.(\[bog\_u\],\[bog\_v\]). Note that $p$, here assumed to be along the optical lattice ($z$ axis), is not restricted to the first Brillouin zone, being the physical momentum transferred to the system by the external probe. In this respect, it is important to notice that, while the excitation energies $\hbar \omega_{j}(p)$ are periodic as a function of $p$, this is not true for the strengths $Z_j(p)$. Starting from the solution of Eqs.(\[bog\_u\]) and (\[bog\_v\]), the excitation strengths $Z_j(p)$ can be evaluated using the standard prescription of Bogoliubov theory (see for example @griffin) $$\begin{aligned} Z_j(p) = \left| \int_{-d/2}^{d/2} \left[ u^*_{jq}(z) + v^*_{jq}(z) \right] e^{ipz/\hbar} \varphi(z) dz \right|^2 , \label{strength}\end{aligned}$$ where $q$ belongs to the first Brillouin zone and is fixed by the relation $q=p+2 \ell q_B$ with $\ell$ integer and the Bogoliubov amplitudes are normalized according to $\int_{-d/2}^{d/2} |u_{jq}(z)|^2-|v_{jq}(z)|^2 dz =1$. The dynamic structure factor of a Bogoliubov gas in an optical lattice has been recently calculated in @chiara. It is found that for an interacting system the strength towards the first band develops an oscillating behaviour as a function of the momentum transfer, vanishing at even multiples of the Bragg momentum due to the presence of a phononic regime. Moreover, in the presence of interactions, the strength $Z_1$ towards the first bands vanishes as $\sqrt{\delta \kappa}$ in the limit of very deep lattices, due to the quasi-particle character of the excitations in the whole band. Finally, the suppression of the static structure factor at small momenta, due to phononic correlations, is significantly enhanced by the presence of the lattice. Link with the Josephson formalism {#josephson} --------------------------------- In this section, we show that the results for the excitation spectrum in the tight binding limit obtained in the previous section (see Eq.(\[approx\_bog\_t-b\])) can be recovered using a different formalism based on the Josephson equations of motion. These can be derived starting from the ansatz for the condensate $$\begin{aligned} \varphi(z,t)=\sum_l\,f_l(z;n_l)\,\sqrt{n_l(t)\over n}\,e^{iS_l(t)}, \label{tb_ansatz} \end{aligned}$$ where for sufficiently deep optical lattices the wavefunction $f_l$ is localized at site $l$ and extends only over nearest-neighbouring sites, $n_l$ is the time-dependent average density at site $l$ where the average is taken over the $l$-th well, $n$ is the average equilibrium density and $S_l$ is the phase of the condensate at site $l$. At equilibrium the functions $f_l$ coincide with the Wannier functions $f(z-ld)$ introduced before. In general, they depend on the density at the corresponding site, as indicated in Eq. (\[tb\_ansatz\]), and hence might themselves implicitly depend on time. Furthermore, these functions are chosen such that $\int f_{l'}^*(z;n_{l'}) f_{l}(z;n_{l})dz=0$ for $l\neq l'$ and $1$ for $l=l'$. When excitations are present, the phases $S_l$ at different sites will be different from each other, indicating the presence of a current. Using the time-dependent Gross-Pitaevskii formalism one can derive the following equations of motion for the density and phase variables $$\begin{aligned} {\dot n_l}&=&\sum_{l'=l+1,l-1}\;{\delta^{l,l'}\over\hbar} \sqrt{n_l n_{l'}}\;\sin(S_l-S_{l'})\,, \label{jos1} \\ {\dot S_l}&=&-{\mu_l\over \hbar} +\sum_{l'=l+1,l-1}\;{\delta_{\mu}^{l,l'}\over 2\hbar} \sqrt{n_{l'} \over n_l}\;\cos(S_l-S_{l'})\,, \label{jos2} \end{aligned}$$ where $\mu_l= \int f_l \left[ -{\hbar^2 \partial^2_z \over 2m} +V(z)+ gnd |f_l|^2 \right] f_l dz$, while the time-dependent tunneling parameters $\delta^{l,l'}$ and $\delta_{\mu}^{l,l'}$ are directly related to the overlap between two neighbouring wavefunctions $$\begin{aligned} \label{delta-fm} \delta^{l,l'}&=& -2\!\!\int \!dz \Bigg[ f_l \left( - {\hbar^2 \partial_z^2\over 2m} \!+ V \right)f_{l'} + \\ && +gn_ld\,f_l|f_l|^2f_{l'} +gn_{l'}d\,f_l|f_{l'}|^2f_{l'} \Bigg]\,, \nonumber \\ \delta_{\mu}^{l,l'} &=& \delta^{l,l'} -4 gn_l d \int f_l|f_l|^2f_{l'} dz. \label{delta_mu-fm} \end{aligned}$$ Note that at equilibrium $\delta^{l,l'}=\delta$ and $\delta_{\mu}^{l,l'}=\delta_{\mu}$, where $\delta$ and $\delta_{\mu}$ have been previously defined in Eq.(\[delta\_e\]) and after Eq.(\[t-b-mu\]). At equilibrium they do not depend on the sites $l$ and $l'$ since the wavefunctions $f_l$ are all the same. In order to obtain the excitation frequencies, one has to linearize Eqs.(\[jos1\],\[jos2\]) around equilibrium: in Eq.(\[jos1\]) it is enough to take the value of $\delta^{l,l'}$ at equilibrium; instead in Eq.(\[jos2\]) one has to expand $\delta_{\mu}^{l,l'}$ to first order in the density fluctuations $\Delta n_l$ $$\begin{aligned} \delta_{\mu}^{l,l'} \approx \delta_{\mu} + \frac{\partial \delta_{\mu}^{l,l'}}{\partial n_l} \Delta n_l+ \frac{\partial \delta_{\mu}^{l,l'}}{\partial n_{l'}} \Delta n_{l'}. \end{aligned}$$ This procedure allows us to recover exactly Eq.(\[approx\_bog\_t-b\]). Instead, if one sets $\sqrt{n_l n_{l'}}=n_l$ from the beginning one obtains result (\[bog-tb-larges\]) for the excitation spectrum. This proves that the first term in the brackets of Eq.(\[approx\_bog\_t-b\]) has its physical origin in the quantum pressure, because it arises from the difference in population $n_l-n_{l'}$ between neighbouring sites. Note that in the form (\[jos1\],\[jos2\]), the equations of motion differ from commonly used Josephson equations in that the quantities $\delta^{l,l'}$ and $\delta_{\mu}^{l,l'}$ can be time-dependent. In the usual treatment, these quantities are calculated at equilibrium and one approximates $\delta=\delta_{\mu}$. The resulting simplified equations are equivalent to the discrete nonlinear Schrödinger equation used for example in @trombettoni1 to investigate nonlinear phenomena like solitons and breathers. An approach equivalent to the Josephson formalism presented in this section, based on the ansatz (\[tb\_ansatz\]), has been developed independently in @trombettoni, where the approximations involved are discussed in detail. For a system confined in the radial direction, containing $N$ atoms per site, it is also convenient to introduce the Josephson energy $E_J=N\delta$ and the charging energy $E_C=2\partial\mu/\partial N=2\kappa^{-1}/N$ which play an important role in the physics of Josephson oscillations. Quantum fluctuations and depletion of the condensate {#fluct_depl} ==================================================== The presence of the optical potential may introduce phase fluctuations which reduce the degree of coherence of the sample. This effect is known to yield spectacular consequences in 3D optical lattices, giving rise to a transition from the superfluid to the Mott insulator phases. Also in the presence of a 1D optical lattice one can predict interesting effects. First of all, the quantum depletion of the condensate increases as a consequence of the increase of the effective coupling constant (\[gtilde\]) and of the effective mass. Eventually, if the tunneling rate becomes very small, the system reduces to a 1D chain of Josephson junctions with a modification of the behaviour of long range order affecting the phase coherence of the system. Let us consider the problem in a 3D box, with the optical lattice oriented along the $z$-direction (Note that the quantum depletion of the condensate has been calculated in @oosten [@rey] for different geometries). The quantum numbers of the elementary excitations are the band index $j$ and the quasi-momentum $q$ along the $z$ direction and the momenta $p_x$ and $p_y$ in the transverse directions. The quantum depletion of the condensate can be calculated using the Bogoliubov result $$\begin{aligned} {\Delta N_{\rm tot} \over N_{\rm tot}} = \!\!{1\over N_{\rm tot}}\!\! \sum_j \!\sum_{q,p_x,p_y} \int_{-d/2}^{d/2}\!\!\!\!\!\!dz\!\! \int \!\!dx\!\! \int\!\!dy \;|v_{j,q,p_x,p_y}({\bf r})|^2, \label{depletion1}\end{aligned}$$ where $N_{\rm tot}$ denotes the total number of atoms, $\Delta N_{\rm tot}$ is the number of non-condensed particles and we sum over all bands $j$, over the quasi-momenta $q$ in the first Brillouin zone and the momenta of elementary excitations in the transverse directions $p_x,p_y$ allowed by the periodic boundary conditions. Eq. (\[depletion1\]) describes correctly the depletion when Bogoliubov theory is applicable. In the thermodynamic limit, the depletion can be calculated replacing the sum with an integral in Eq.(\[depletion1\]). In the uniform case, the main contribution to the depletion is given by quasi-particles with $q^2+p_x^2+p_y^2 \approx (mc)^2$. Yet the convergence is very slow and the integral is saturated by momenta much higher than $mc$ @muntsa, where the dispersion exhibits the quadratic $p^2/2m$ behaviour. This implies that in the presence of the lattice it is possible to calculate the depletion as in the uniform case, provided all the quasimomenta relevant for the calculation of the depletion lie within the first Brillouin zone. This zone should include a region beyond the phononic regime where the dispersion goes like $q^2/2m^*$. This condition is satisfied if the inequality $m^* c \ll q_B$ (or equivalently $\kappa^{-1} \ll \delta$), corresponding to weak interactions and relatively low values of $s$, is fulfilled. Under this condition, we can replace $q^2/2m \to q^2/2m^*$ and $g \to {\tilde g}$ and the quantum depletion takes the generalized Bogoliubov form $${\Delta N_{\rm tot}\over N_{\rm tot}} ={8\over 3}{1\over \pi^{1/2}}\sqrt{m^*\over m}(\tilde{a}^3n)^{1/2} \, , \label{depletion3D}$$ where we have defined $\tilde{a}$ through the relation $\tilde{g}=4\pi\hbar^2 \tilde{a}/m$. In this regime, the depletion will not be quantitatively very different from the corresponding one in the absence of the lattice. The situation becomes more interesting for larger optical potential depth, where the lattice is expected to affect the coherence properties of the system. In the regime of deep optical lattices, one can neglect contributions to the depletion from higher bands, because high energy excitations are particle-like. We are then allowed to restrict the sum in (\[depletion1\]) to $j=1$. In the tight binding limit, one can easily generalize expressions (\[t-b-u\],\[t-b-v\]) for the Bogoliubov amplitudes in the lowest band to account for transverse excitations $$\begin{aligned} \label{t-b-u-3d} u_{q,p_x,p_y}({\bf r})&=& {e^{i(p_x x+p_y y)/\hbar}\over L} U_{q,p_x,p_y}\! \sum_l e^{i q l d / \hbar} f(z\!-\!ld),\\ v_{q,p_x,p_y}({\bf r})&=& {e^{i(p_x x+p_y y)/\hbar} \over L} V_{q,p_x,p_y}\! \sum_l e^{i q l d/\hbar} f(z\!-\!ld), \label{t-b-v-3d} \end{aligned}$$ where $f(z)$ is the same function as in (\[t-b-varphi\]) and $L$ is the transverse size of the system. Neglecting for simplicity contributions arising from $n{\partial\delta/\partial n}$, Eq.(\[approx\_bog\_t-b\]) can be generalized in a straightforward way to $$\begin{aligned} \label{approx_bog_t-b-3d} \hbar \omega_q\!&\approx&\! \sqrt{ \varepsilon_0(p_{\perp},q) (\varepsilon_0(p_{\perp},q)+ 2 \kappa^{-1} )},\end{aligned}$$ where $\varepsilon_0(p_{\perp},q) = {p_{\perp}^2/ 2m} + 2\delta\sin^2(qd/2\hbar)$ and $p_{\perp}^2=p_x^2+p_y^2$. For the amplitudes $U_{q,p_x,p_y}$ and $V_{q,p_x,p_y}$ we find the result $$\begin{aligned} U_{q,p_x,p_y}\,, V_{q,p_x,p_y} &=& \frac{ \varepsilon_0 \pm \hbar \omega} {2 \sqrt{\hbar \omega \varepsilon_0}} , \label{bog-V-3d}\end{aligned}$$ satisfying the normalization condition $\int_{-d/2}^{d/2}\! dz \int\!\!dx\!\!\int\!\!dy \left[|u_{q,p_x,p_y}|^2-|v_{q,p_x,p_y}|^2\right]=1$. We replace again the sum (\[depletion1\]) by an integral. This corresponds to considering the thermodynamic limit in all the 3 directions. Inserting Eqs.(\[t-b-v-3d\],\[bog-V-3d\]), the calculation can be performed analytically and gives $${\Delta N_{\rm tot}\over N_{\rm tot}} = 2 \:\:{\tilde{a}\over d} \:\:G\left({\delta\over\tilde{g}n}\right)\,, \label{resultdepletion}$$ where $G(b)={1/ 2}-{\sqrt{b}/\pi}+{b/2}-{\rm arctan}(\sqrt{b})(1+b)/\pi$ and, for simplicity we have used the approximation $\kappa^{-1}=\tilde{g}n$ for the compressibility. Since in the tight binding regime the ratio ${\delta/\tilde{g}n}$ is usually small and becomes smaller and smaller with increasing lattice depth, the result (\[resultdepletion\]) converges to $${\Delta N_{\rm tot}\over N_{\rm tot}} = {\tilde{a}\over d}\,. \label{2D}$$ Result (\[2D\]) coincides with the 2D depletion of a disc of axial extension $d$ and scattering length $\tilde{a}$, where the axial confinement is so strong that the motion is frozen along the $z$-direction. In this limit the actual 3D system is described as a series of separated 2D discs. It is interesting to note that the depletion remains finite even if the tunneling parameter $\delta \to 0$. The reason is that before taking the limit $\delta\to 0$ we have taken the continuum limit in the radial direction, which forces the system to be coherent. In this case the ratio $E_J/E_C=N\kappa\delta/2$ between the Josephson energy and the charging energy (see end of the last section) is large and hence coherence is maintained across the whole sample. A different result would be obtained by fixing $N$ and considering the limit $\delta\rightarrow 0$. We point out that the dependence on the interaction strength is stronger in the 2D case than in the 3D case, since the depletion scales like ${\tilde a}$ (2D) rather than ${\tilde a}^{3/2}$ (3D). From Eq.(\[resultdepletion\]), one recovers the 3D result (\[depletion3D\]) in the limit $\delta/{\tilde g}n \to \infty$. This limit is by the way only of academic interest, since in the tight binding limit, where (\[resultdepletion\]) was derived, the ratio $\delta/{\tilde g}n $ becomes large only if interactions are vanishingly small (For example, for $gn=0.02 E_R$ and $s=10$ one finds $\delta/\tilde{g}n\approx 1$.). Under the assumption made in the continuum approximation, the depletion is always very small and is upper-bounded by the quantity ${\tilde a}/d$. If the continuum approximation in the radial direction is not applicable and it is crucial to take into account the discretization of the sum over the quantum numbers $p_x$ and $p_y$ in Eq.(\[depletion1\]), the results are different. This is the case if the number of particles in each well is sufficiently small, or if the longitudinal size of the system, fixed by the number of wells $N_w$, is sufficiently large. The limiting case takes place when the contribution arising from the term with $p_x=p_y=0$ is the dominant one in Eq.(\[depletion1\]). In this case the system exhibits typical 1D features and one finds the result $$\begin{aligned} { \Delta N_{\rm tot} \over N_{\rm tot}} = \nu \ln \left( \frac{4 N_w}{\pi} \right), \label{1d}\end{aligned}$$ where $$\begin{aligned} \nu = \frac{m^* c d }{ 2 \pi \hbar N}\,. \label{nu}\end{aligned}$$ Here, $N$ is the number of particles per well. The dependence on the interaction strength in the 1D case is stronger than in the 2D and 3D cases, since $c=\sqrt{\tilde{g}n/m^*}$ and hence the depletion scales like ${\tilde a}^{1/2}$. This should be compared with the ${\tilde a}$ and $ {\tilde a}^{3/2}$ dependence in 2D and 3D respectively. The transition to the 1D character of the fluctuations can be identified by the condition $$\begin{aligned} \frac{\tilde a}{d} \approx \nu \ln \left( \frac{4 N_w}{\pi} \right) , \label{2d1d}\end{aligned}$$ which, for $gn=0.2 E_R$, $N_w=200$ and $N=500$, is predicted to occur around $s=30$ where the left and right side of the inequality become equal to $\sim 4\%$. Result (\[1d\],\[nu\]) is strictly linked to the coherence theory of 1D systems, where the off-diagonal 1-body density exhibits the power law decay $$\begin{aligned} n^{(1)}(|{\bf r}-{\bf r}'|) \to |{\bf r}-{\bf r}'|^{-\nu}\end{aligned}$$ at large distances. If the exponent $\nu$ is much smaller than $1$, the coherence survives at large distances and the application of Bogoliubov theory is justified. For a superfluid, the value of $\nu$ is fixed by the hydrodynamic fluctuations of the phase and is given, at $T=0$, by the expression (\[nu\]) @book [@nolattice]. In terms of the Josephson parameters (see section \[josephson\]) one can also write $\nu = \sqrt{E_C/8\pi^2 E_J}$. One can easily check that, unless $N$ is of the order of unity or $m^*$ is extremely large, the value of $\nu$ always remains very small. When the exponent of the power law takes the value $\nu = 0.14$, corresponding to $E_J=1.62 E_C$, the 1D system is expected to exhibit the Bradley-Doniach phase transition to an insulating phase where the 1-body density matrix decays exponentially @bradley. Note however that before this transition is reached the depletion (\[1d\]) becomes large and hence Bogoliubov theory is no longer applicable. To give an example, we set $gn=0.2 E_R, N=200$ and $N_w=500$ describing a setting similar to the experiment of @cataliotti. Bogoliubov theory predicts a depletion of $\approx 0.6\%$ in the absence of the lattice ($s=0$). At a lattice depth of $s=10$ the evaluation of Eq.(\[depletion1\]), using the tight binding results (\[t-b-v-3d\],\[bog-V-3d\]), and keeping the sum discrete yields a depletion of $\approx 1.7\%$. On the other hand, Eq.(\[resultdepletion\]), obtained by replacing the sum in Eq.(\[depletion1\]) by an integral, yields a depletion of $\approx 2\%$, in reasonable agreement with the full result $\approx 1.7\%$. The 2D formular (\[2D\]) instead yields $\approx 2.9\%$ depletion, revealing that the system is not yet fully governed by 2D fluctuations. With the same choice of parameters, the power law exponent (\[nu\]) has the value $\nu=0.001$ and the 1D depletion (\[1d\]) is predicted to be $\approx 0.6\%$, significantly smaller than the full value $\approx 1.7\%$. This reveals that the sum (\[depletion1\]) is not exhausted by the terms with $p_x=p_y=0$. In conclusion, one finds that for this particular setting, the character of fluctuations is intermediate between 3D and 2D, and still far from 1D. In particular, from the above estimates it emerges that in order to reach the conditions for observing the Bradley-Doniach transition one should work at much larger values of $s$. Applications to harmonically trapped condensates {#appl_to_ho} ================================================= The results obtained in the previous sections can be used to describe harmonically trapped condensates in the presence of an optical lattice: If the trapped condensate is well described by the TF-approximation in the absence of the lattice and if the axial size of the condensate is much larger than the interwell separation $d$, then one can generalize the local density approximation (LDA) to describe harmonically trapped condensates in a lattice. Basically, the idea is to introduce the average density $$n_l(r_{\perp})={1\over d}\int_{ld-d/2}^{ld+d/2} \!\!n(r_{\perp},z)\,dz\; \,, \label{profile_lda}$$ where $n(r_{\perp},z)$ is the microscopic density and $l$ is the index of the lattice sites. Within the LDA, the chemical potential is given by $$\mu_l=\mu_{\rm opt}(n_l(r_{\perp}))+ {m\over 2}(\omega_z^2l^2d^2+\omega_{\perp}^2r_{\perp}^2)\,, \label{mu_lda}$$ where $\mu_{\rm opt}(n_l(r_{\perp}))$ is the chemical potential calculated at the average density $n_l(r_{\perp})$ in the presence of the optical potential and $\omega_z, \,\omega_{\perp}$ are the axial and transverse frequencies of the harmonic trap respectively. Eq.(\[mu\_lda\]) fixes the radial density profile $n_l(r_{\perp})$ at the $l$-th site once the value of $\mu_l$ or, equivalently, the number of atoms $$N_l=2\pi d \int_0^{R_{l}} r_{\perp}dr_{\perp}n_l(r_{\perp})\,, \label{normlr0}$$ occupying the $l$-th well is known. In Eq.(\[normlr0\]), $R_{l}$ is the radial size of the condensate at the $l$-th site, fixed by the value of $r_{\perp}$ where the density $n_l(r_{\perp})$ vanishes. This procedure avoids the full calculation of the microscopic density $n(r_{\perp},z)$. When equilibrium is established across the whole sample we have $\mu_l=\mu$ for all $l$. Making use of this fact and employing that $\sum_l N_l=N_{\rm tot}$ we can find the dependence of $\mu$ on the total number of particles $N_{\rm tot}$. This procedure also yields the well occupation numbers $N_l$ and the number of sites eric15@example.com. In the simple case in which the chemical potential exhibits a linear dependence on density $\mu_{\rm opt}=\tilde{g}n+const.$ one obtains for the radial density profile @pedri $$n_l(r_{\perp})={1\over\tilde{g}}\left(\mu-{m\over2}\omega_z^2l^2d^2-{m\over 2}\omega_{\perp}^2r_{\perp}^2\right)\,,$$ where the chemical potential,
{'source': 'arXiv_out/cond-mat0305300_extract_paper-oct'}