cold , dense quark matter is a color superconductor @xcite . for two massless quark flavors ( say , up and down ) , cooper pairs with total spin zero condense in the color - antitriplet , flavor - singlet channel . in this so - called two - flavor color superconductor , the @xmath0 gauge symmetry is spontaneously broken to @xmath1 @xcite . if we choose to orient the ( anti- ) color charge of the cooper pair along the ( anti- ) blue direction in color space , only red and green quarks form cooper pairs , while blue quarks remain unpaired .
then , the three generators @xmath2 and @xmath3 of the original @xmath0 gauge group form the generators of the residual @xmath1 symmetry . the remaining five generators @xmath4 are broken .
( more precisely , the last broken generator is a combination of @xmath5 and the generator @xmath6 of the global @xmath7 symmetry of baryon number conservation , for details see ref .
@xcite and below ) .
according to goldstone s theorem , this pattern of symmetry breaking gives rise to five massless bosons , the so - called nambu - goldstone bosons , corresponding to the five broken generators of @xmath0 .
physically , these massless bosons correspond to fluctuations of the order parameter , in our case the diquark condensate , in directions in color - flavor space where the effective potential is flat . for gauge theories ( where the local gauge symmetry can not truly be spontaneously broken ) ,
these bosons are `` eaten '' by the gauge bosons corresponding to the broken generators of the original gauge group , _
i.e. _ , in our case the gluons with adjoint colors @xmath8 .
they give rise to a longitudinal degree of freedom for these gauge bosons .
the appearance of a longitudinal degree of freedom is commonly a sign that the gauge boson becomes massive .    in a dense ( or hot ) medium ,
however , even _ without _ spontaneous breaking of the gauge symmetry the gauge bosons already have a longitudinal degree of freedom , the so - called _ plasmon _ mode @xcite .
its appearance is related to the presence of gapless charged quasiparticles .
both transverse and longitudinal modes exhibit a mass gap , _
i.e. _ , the gluon energy @xmath9 for momenta @xmath10 . in
quark matter with @xmath11 massless quark flavors at zero temperature @xmath12 , the gluon mass parameter ( squared ) is @xcite @xmath13 where @xmath14 is the qcd coupling constant and @xmath15 is the quark chemical potential .
it is _ a priori _ unclear how the nambu - goldstone bosons interact with these longitudinal gluon modes . in particular , it is of interest to know whether coupling terms between these modes exist and , if yes , whether these terms can be eliminated by a suitable choice of ( t  hooft ) gauge .
the aim of the present work is to address these questions .
we shall show that the answer to both questions is `` yes '' .
we shall then demonstrate by focussing on the gluon of adjoint color 8 , how the nambu - goldstone mode affects the spectral density of the longitudinal gluon .
our work is partially based on and motivated by previous studies of gluons in a two - flavor color superconductor @xcite .
the gluon self - energy and the resulting spectral properties have been discussed in ref .
@xcite . in that paper , however , the fluctuations of the diquark condensate have been neglected .
consequently , the longitudinal degrees of freedom of the gluons corresponding to the broken generators of @xmath0 have not been treated correctly .
the gluon polarization tensor was no longer explicitly transverse ( a transverse polarization tensor @xmath16 obeys @xmath17 ) , and it did not satisfy the slavnov - taylor identity . as a consequence ,
the plasmon mode exhibited a certain peculiar behavior in the low - momentum limit , which can not be physical ( cf .
fig .  5 ( a ) of ref .
it was already realized in ref .
@xcite that the reason for this unphysical behavior is the fact that the mixing of the gluon with the excitations of the condensate was neglected .
it was moreover suggested in ref .
@xcite that proper inclusion of this mixing would amend the shortcomings of the previous analysis .
the aim of the present work is to follow this suggestion and thus to correct the results of ref .
@xcite with respect to the longitudinal gluon .
note that in ref .
@xcite fluctuations of the color - superconducting condensate were taken into account in the calculation of the gluon polarization tensor . as a consequence ,
the latter is explicitly transverse .
however , the analysis was done in the vacuum , at @xmath18 , not at ( asymptotically ) large chemical potential .
the outline of the present work is as follows . in section [ ii ]
we derive the transverse and longitudinal gluon propagators including fluctuations of the diquark condensate . in section [ iii ]
we use the resulting expressions to compute the spectral density for the gluon of adjoint color 8 .
section [ iv ] concludes this work with a summary of our results .
our units are @xmath19 .
the metric tensor is @xmath20 .
we denote 4-vectors in energy - momentum space by capital letters , @xmath21 .
absolute magnitudes of 3-vectors are denoted as @xmath22 , and the unit vector in the direction of @xmath23 is @xmath24 .
in this section , we derive the gluon propagator taking into account the fluctuations of the diquark condensate .
a short version of this derivation can be found in appendix c of ref .
@xcite [ see also the original ref .
nevertheless , for the sake of clarity and in order to make our presentation self - contained , we decide to present this once more in greater detail and in the notation of ref .  @xcite . as
this part is rather technical , the reader less interested in the details of the derivation should skip directly to our main result , eqs .
( [ transverse ] ) , ( [ longitudinal ] ) , and ( [ hatpi00aa ] ) .
we start with the grand partition function of qcd ,    [ z ] @xmath25\,\ , , \ ] ] where @xmath26 =   \int { \cal d } \bar{\psi } \ , { \cal d } \psi\ , \exp \left [ \int_x   \bar{\psi } \left ( i \gamma^\mu \partial_\mu + \mu
\gamma_0 + g \gamma^\mu a_\mu^a t_a \right ) \psi \right ] \ , . \label{zquarks}\ ] ]    is the grand partition function for massless quarks in the presence of a gluon field @xmath27 . in eq .
( [ z ] ) , the space - time integration is defined as @xmath28 , where @xmath29 is the volume of the system , @xmath30 are the dirac matrices , and @xmath31 are the generators of @xmath32 . for qcd ,
@xmath33 , and @xmath34 are the gell - mann matrices .
the quark fields @xmath35 are @xmath36-component spinors , _
i.e. _ , they carry dirac indices @xmath37 , fundamental color indices @xmath38 , and flavor indices @xmath39 .
the action for the gauge fields consists of three parts , @xmath40 where @xmath41 is the gauge field part ; here , @xmath42 is the field strength tensor . the part corresponding to gauge fixing , @xmath43 , and to fadeev - popov ghosts , @xmath44 ,
will be discussed later .    for fermions at finite chemical potential
it is advantageous to introduce the charge - conjugate degrees of freedom explicitly .
this restores the symmetry of the theory under @xmath45 .
therefore , in ref .
@xcite , a kind of replica method was applied , in which one first artificially increases the number of quark species , and then replaces half of these species of quark fields by charge - conjugate quark fields .
more precisely , first replace the quark partition function @xmath46 $ ] by @xmath47 \equiv \left\ { { \cal z}_q[a ] \right\}^m$ ] , @xmath48 being some large integer number .
( sending @xmath49 at the end of the calculation reproduces the original partition function . ) then , take @xmath48 to be an even integer number , and replace the quark fields by charge - conjugate quark fields in @xmath50 of the factors @xmath46 $ ] in @xmath47 $ ] .
this results in @xmath51   =    \int \prod_{r=1}^{m/2 } { \cal d } \bar{\psi}_r \ , { \cal d } \psi_r \ ; \exp   \left\ { \sum_{r=1}^{m/2 } \left [ \int_{x , y } \bar{\psi}_r(x ) \,{\cal g}_0^{-1 } ( x , y)\ , \psi_r(y ) + \int_x   g\ , \bar{\psi}_r(x ) \ ,
a_\mu^a(x)\,\hat{\gamma}^\mu_a\ , \psi_r(x ) \right ] \right\ } \,\ , .
\label{zquarks2}\ ] ] here , @xmath52 labels the quark species and @xmath53 , @xmath54 are @xmath55-component nambu - gorkov spinors , @xmath56 where @xmath57 is the charge conjugate spinor and @xmath58 is the charge conjugation matrix . the inverse of the @xmath59-dimensional nambu - gorkov propagator for non - interacting quarks is defined as @xmath60^{-1 } & 0 \\               0 & [ g_0 ^ -]^{-1 }         \end{array } \right)\,\ , , \ ] ] where @xmath61^{-1}(x , y ) \equiv -i \left ( i \gamma_\mu \partial^\mu_x \pm
\mu \gamma_0 \right ) \delta^{(4)}(x - y)\ ] ] is the inverse propagator for non - interacting quarks ( upper sign ) or charge conjugate quarks ( lower sign ) , respectively .
the nambu - gorkov matrix vertex describing the interaction between quarks and gauge fields is defined as follows : @xmath62 where @xmath63 and @xmath64 .
following ref .
@xcite we now add the term @xmath65 and the corresponding charge - conjugate term @xmath66 , where @xmath67 , to the argument of the exponent in eq .
( [ zquarks2 ] ) .
this defines the quark ( replica ) partition function in the presence of the gluon field @xmath27 _ and _ the diquark source fields @xmath68 , @xmath69 : @xmath70 \equiv \int \prod_{r=1}^{m/2 } { \cal d } \bar{\psi}_r \ , { \cal d } \psi_r \ ; \exp   \left\ { \sum_{r=1}^{m/2 } \left [ \int_{x , y } \bar{\psi}_r(x ) \,{\cal g}^{-1 } ( x , y)\ , \psi_r(y ) + \int_x   g\ , \bar{\psi}_r(x ) \ ,   a_\mu^a(x)\,\hat{\gamma}^\mu_a\ , \psi_r(x ) \right ] \right\ } \,\ , , \label{zquarks3}\ ] ] where @xmath71^{-1 } & \delta^- \\               \delta^+ & [ g^-_0]^{-1 }         \end{array } \right)\ ] ] is the inverse quasiparticle propagator .    inserting the partition function ( [ zquarks3 ] ) into eq .
( [ zqcd ] ) , the ( replica ) qcd partition function is then computed in the presence of the ( external ) diquark source terms @xmath72 , @xmath73 $ ] . in principle
, this is not the physically relevant quantity , from which one derives thermodynamic properties of the color superconductor .
the diquark condensate is not an external field , but assumes a nonzero value because of an intrinsic property of the system , namely the attractive gluon interaction in the color - antitriplet channel , which destabilizes the fermi surface .
the proper functional from which one derives thermodynamic functions is obtained by a legendre transformation of @xmath74 $ ] , in which the functional dependence on the diquark source term is replaced by that on the corresponding canonically conjugate variable , the diquark condensate .
the legendre - transformed functional is the effective action for the diquark condensate .
if the latter is _ constant _ , the effective action is , up to a factor of @xmath75 , identical to the effective potential .
the effective potential is simply a function of the diquark condensate .
its explicit form for large - density qcd was derived in ref .
the value of this function at its maximum determines the pressure .
the maximum is determined by a dyson - schwinger equation for the diquark condensate , which is identical to the standard gap equation for the color - superconducting gap .
it has been solved in the mean - field approximation in refs .
@xcite . in the mean - field approximation @xcite , @xmath76 in this work , we are interested in the gluon propagator , and the derivation of the pressure via a legendre transformation of @xmath77 $ ] is of no concern to us . in the following
, we shall therefore continue to consider the partition function in the presence of ( external ) diquark source terms @xmath78 .
the diquark source terms in the quark ( replica ) partition function ( [ zquarks3 ] ) could in principle be chosen differently for each quark species .
this could be made explicit by giving @xmath78 a subscript @xmath52 , @xmath79 .
however , as we take the limit @xmath49 at the end , it is not necessary to do so , as only @xmath80 will survive anyway .
in other words , we use the _ same _ diquark sources for _ all _ quark species .
the next step is to explicitly investigate the fluctuations of the diquark condensate around its expectation value .
these fluctuations correspond physically to the nambu - goldstone excitations ( loosely termed `` mesons '' in the following ) in a color superconductor . as mentioned in the introduction , there are five such mesons in a two - flavor color superconductor , corresponding to the generators of @xmath0 which are broken in the color - superconducting phase . if the condensate is chosen to point in the ( anti- ) blue direction in fundamental color space , the broken generators are @xmath81 of the original @xmath0 group and the particular combination @xmath82 of generators of the global @xmath83 and local @xmath0 symmetry @xcite .
the effective action for the diquark condensate and , consequently , for the meson fields as fluctuations of the diquark condensate , is derived via a legendre transformation of @xmath77 $ ] . in this work
, we are concerned with the properties of the gluons and thus refrain from computing this effective action explicitly .
consequently , instead of considering the physical meson fields , we consider the variables in @xmath84 $ ] , which correspond to these fields .
these are the fluctuations of the diquark source terms @xmath78 .
we choose these fluctuations to be complex phase factors multiplying the magnitude of the source terms ,    [ deltaphi ] @xmath85    where @xmath86\,\,.\ ] ] the extra factor @xmath87 in front of @xmath88 as compared to the treatment in ref .
@xcite is chosen to simplify the notation in the following .
although the fields @xmath89 are not the meson fields themselves , but external fields which , after a legendre transformation of @xmath77 $ ] , are replaced by the meson fields , we nevertheless ( and somewhat imprecisely ) refer to them as meson fields in the following . after having explicitly introduced the fluctuations of the diquark source terms in terms of phase factors , the functions @xmath90 are only allowed to fluctuate in magnitude . for the sake of completeness ,
let us mention that one could again have introduced different fields @xmath91 for each replica @xmath52 , but this is not really necessary , as we shall take the limit @xmath49 at the end of the calculation anyway .
it is advantageous to also subject the quark fields @xmath92 to a nonlinear transformation , introducing new fields @xmath93 via @xmath94 since the meson fields are real - valued and the generators @xmath81 and @xmath95 are hermitian , the ( matrix - valued ) operator @xmath96 is unitary , @xmath97 .
therefore , the measure of the grassmann integration over quark fields in eq .
( [ zquarks3 ] ) remains unchanged .
from eq .
( [ chi ] ) , the charge - conjugate fields transform as @xmath98    the advantage of transforming the quark fields is that this preserves the simple structure of the terms coupling the quark fields to the diquark sources , @xmath99 in mean - field approximation , the diquark source terms are proportional to @xmath100    the transformation ( [ chi ] ) has the following effect on the kinetic terms of the quarks and the term coupling quarks to gluons :    @xmath101    where    [ maurer1 ] @xmath102 is the @xmath103-dimensional maurer - cartan one - form introduced in ref .
@xcite and @xmath104    is its charge - conjugate version .
note that the partial derivative acts only on the phase factors @xmath96 and @xmath105 on the right .    introducing the nambu - gorkov spinors @xmath106 and the @xmath107-dimensional maurer - cartan one - form @xmath108 the quark ( replica ) partition function becomes @xmath109 \equiv \int \prod_{r=1}^{m/2 } { \cal d } \bar{x}_r \ , { \cal d } x_r \ ; \exp   \left\ { \sum_{r=1}^{m/2 }   \int_{x , y } \bar{x}_r(x ) \,\left [ \ ,   { \cal s}^{-1 } ( x , y ) +   \gamma_\mu \omega^\mu(x , y ) \ , \right ] \ , x_r(y )   \right\ } \,\ , , \label{zquarks4}\ ] ] where @xmath110^{-1 } & \phi^- \\               \phi^+ & [ g^-_0]^{-1 }         \end{array } \right)\,\ , .\ ] ]    we are interested in the properties of the gluons , and thus may integrate out the fermion fields .
this integration can be performed analytically , with the result @xmath109 \equiv \left [ \,{\rm det } \left ( { \cal s}^{-1 } + \gamma_\mu \omega^\mu   \right ) \ , \right]^{m/2 } \,\ , . \label{zquarks5}\ ] ] the determinant is to be taken over nambu - gorkov , color , flavor , spin , and space - time indices .
finally , letting @xmath49 , we obtain the qcd partition function ( in the presence of meson , @xmath89 , and diquark , @xmath90 , source fields ) @xmath111   =    \int { \cal d } a \ ; \exp\left [ s_a   + \frac{1}{2 } \ ,   { \rm tr } \ln \left({\cal s}^{-1 } + \gamma_\mu   \omega^\mu
\right ) \ , \right]\,\ , .\ ] ] remembering that @xmath112 is linear in @xmath27 , cf .
( [ maurer2 ] ) with ( [ maurer1 ] ) , in order to derive the gluon propagator it is sufficient to expand the logarithm to second order in @xmath112 , @xmath113 + s_1[\omega,\phi^+,\phi^- ] +   s_2[\omega,\phi^+,\phi^-]\,\ , , \label{expandlog}\end{aligned}\ ] ] with obvious definitions for the @xmath114 .
the quasiparticle propagator is @xmath115 with @xmath116^{-1 } - \sigma^\pm \right\}^{-1 } \,\,\,\ , , \,\,\,\,\ ,
\sigma^\pm = \phi^\mp \ , g_0^\mp \ , \phi^\pm \,\,\,\ , , \,\,\,\,\ , \xi^\pm = - g_0^\mp \ , \phi^\pm \ , g^\pm\,\ , .\
] ]    to make further progress , we now expand @xmath117 and @xmath118 to linear order in the meson fields ,    [ linearomega ] @xmath119    the term @xmath120 in eq .
( [ expandlog ] ) is simply a tadpole source term for the gluon fields .
this term does not affect the gluon propagator , and thus can be ignored in the following .    the quadratic term @xmath121 represents the contribution of a fermion loop to the gluon self - energy .
its computation proceeds by first taking the trace over nambu - gorkov space , @xmath122 \,\ , .
\label{s2}\end{aligned}\ ] ] the remaining trace runs only over color , flavor , and spin indices . using translational invariance ,
the propagators and fields are now fourier - transformed as    @xmath123    inserting this into eq .
( [ s2 ] ) , we arrive at eq .
( c16 ) of ref .
@xcite , which in our notation reads @xmath124 \,\ , .
\end{aligned}\ ] ] the remainder of the calculation is straightforward , but somewhat tedious .
first , insert the ( fourier - transform of the ) linearized version ( [ linearomega ] ) for the fields @xmath117 and @xmath125 .
this produces a plethora of terms which are second order in the gluon and meson fields , with coefficients that are traces over color , flavor , and spin .
next , perform the color and flavor traces in these coefficients .
it turns out that some of them are identically zero , preventing the occurrence of terms which mix gluons of adjoint colors 1 , 2 , and 3 ( the unbroken @xmath1 subgroup ) among themselves and with the other gluon and meson fields .
furthermore , there are no terms mixing the meson fields @xmath126 with @xmath88 .
there are mixed terms between gluons and mesons with adjoint color indices @xmath127 , and between the gluon field @xmath128 and the meson field @xmath88 .
some of the mixed terms ( those which mix gluons and mesons of adjoint colors 4 and 5 , as well as 6 and 7 ) can be eliminated via a unitary transformation analogous to the one employed in ref .
@xcite , eq .
( 80 ) . introducing the tensors    @xmath129 \,\ , , \label{pi11}\end{aligned}\ ] ]    cf .
( 78a ) of ref .
@xcite , @xmath130\,\ , , \label{pi44diag } \end{aligned}\ ] ] cf .
( 83a ) of ref .
@xcite , @xmath131\,\ , .
\label{pi55diag}\end{aligned}\ ] ] cf .
( 83b ) of ref .
@xcite , as well as @xmath132 \,\ , , \label{pitilde}\end{aligned}\ ] ] cf .
( 78c ) of ref .
@xcite , where @xmath133 is the gluon self - energy in a dense , but normal - conducting system , @xmath134\,\ , , \label{pi0}\ ] ]    cf .
( 27b ) of ref .
@xcite , the final result can be written in the compact form ( cf .
( c19 ) of ref .
@xcite ) @xmath135 \ , \pi^{\mu \nu}_{aa}(p ) \ ,   \left[a_\nu^a(p ) + \frac{i}{g}\ , p_\nu\ , \varphi^a(p)\right ] \,\ , .\ ] ] in deriving eq .
( [ s2final ] ) , we have made use of the transversality of the polarization tensor in the normal - conducting phase , @xmath136 .
note that the tensors @xmath137 for @xmath138 and 3 are also transverse , but those for @xmath139 are not .
this can be seen explicitly from the expressions given in ref .
the compact notation of eq .
( [ s2final ] ) is made possible by the fact that @xmath140 for @xmath141 , and because we introduced the extra factor @xmath87 in eq .
( [ phase ] ) as compared to ref .
@xcite .    to make further progress , it is advantageous to tensor - decompose @xmath137 .
various ways to do this are possible @xcite ; here we follow the notation of ref .
first , define a projector onto the subspace parallel to @xmath142 , @xmath143 then choose a vector orthogonal to @xmath142 , for instance @xmath144 with @xmath145 .
note that @xmath146 .
now define the projectors @xmath147 using the explicit form of @xmath148 , one convinces oneself that the tensor @xmath149 projects onto the spatially transverse subspace orthogonal to @xmath142 , @xmath150 ( reference @xcite also uses the notation @xmath151 for @xmath149 . ) consequently , the tensor @xmath152 projects onto the spatially longitudinal subspace orthogonal to @xmath142 , @xmath153 ( reference @xcite also employs the notation @xmath154 for @xmath152 . ) with these tensors , the gluon self - energy can be written in the form @xmath155 the polarization functions @xmath156 and @xmath157 can be computed by projecting the tensor @xmath137 onto the respective subspaces of the projectors ( [ e ] ) and ( [ bca ] ) . introducing the abbreviations @xmath158 these functions read    [ pifunctions ] @xmath159 \,\ , ,   \\
\pi^{\rm c}_{aa}(p ) & = & \frac{1}{2\ , n^2 \ , p^2}\ , \pi^{\mu \nu}_{aa}(p)\ ,   { \rm c}_{\mu \nu } = -\frac{1}{p^2}\ , \left [ \pi^{00}_{aa}(p ) + \frac{p_0 ^ 2+p^2}{p_0\,p}\ , \pi^{0i}_{aa}(p)\,\hat{p}_i + \pi^\ell_{aa}(p ) \right ] \,\ , , \\
\pi^{\rm e}_{aa}(p ) & = & \pi^{\mu \nu}_{aa}(p)\ , { \rm e}_{\mu \nu } = \frac{1}{p^2}\ , \left [ p_0 ^ 2 \ , \pi^{00}_{aa}(p ) + 2\,p_0\,p \ , \pi^{0i}_{aa}(p ) \
, \hat{p}_i + p^2 \ , \pi^\ell_{aa}(p ) \right ] \,\ , .\end{aligned}\ ] ]    for the explicitly transverse tensor @xmath160 , the functions @xmath161 .
the same holds for the hdl polarization tensor @xmath133 . for the other gluon colors @xmath162 ,
the functions @xmath163 and @xmath157 do not vanish .
note that the dimensions of @xmath164 and @xmath157 are @xmath165 $ ] , while @xmath163 is dimensionless .
now let us define the functions @xmath166 note that @xmath167 , and @xmath168 , since @xmath148 is odd under @xmath169 .
the fields @xmath170 and @xmath171 are dimensionless . with the tensor decomposition ( [ tensor ] ) and the functions ( [ functions ] ) , eq .  ( [ s2final ] ) becomes @xmath172\ , \pi^{\rm c}_{aa}(p ) \,n^2
p^2 \ , a_n^a(p )   - a_n^a(-p ) \ , \pi^{\rm c}_{aa}(p ) \,n^2 p^2 \
\left[a_\parallel^a(p ) + \frac{i}{g}\ , \varphi^a(p)\right ] \nonumber   \\ &     & - \left .
\left[a_\parallel^a(-p ) + \frac{i}{g}\ , \varphi^a(-p)\right]\ , \pi^{\rm e}_{aa}(p ) \ ,
\left[a_\parallel^a(p ) + \frac{i}{g}\ , \varphi^a(p)\right ] \right\}\,\ , . \label{decompose}\end{aligned}\ ] ]    in any spontaneously broken gauge theory , the excitations of the condensate mix with the gauge fields corresponding to the broken generators of the underlying gauge group .
the mixing occurs in the components orthogonal to the spatially transverse degrees of freedom , _
i.e. _ , for the spatially longitudinal fields , @xmath173 , and the fields parallel to @xmath142 , @xmath174 .
for the two - flavor color superconductor , these components mix with the meson fields for gluon colors @xmath175 .
the mixing is particularly evident in eq .
( [ decompose ] ) .
the terms mixing mesons and gauge fields can be eliminated by a suitable choice of gauge . the gauge to accomplish
this goal is the t  hooft gauge .
the `` unmixing '' procedure of mesons and gauge fields consists of two steps .
first , we eliminate the terms in eq .
( [ decompose ] ) which mix @xmath173 and @xmath174 .
this is achieved by substituting @xmath176 ( we do not perform this substitution for @xmath177 ; for these gluon colors @xmath178 , such that there are no terms in eq .
( [ decompose ] ) which mix @xmath174 and @xmath173 ) .
this shift of the gauge field component @xmath174 is completely innocuous for the following reasons .
first , the jacobian @xmath179 is unity , so the measure of the functional integral over gauge fields is not affected .
second , the only other term in the gauge field action , which is quadratic in the gauge fields and thus relevant for the derivation of the gluon propagator , is the free field action @xmath180 and it does not contain the parallel components @xmath170 .
it is therefore also not affected by the shift of variables ( [ sub ] ) .    after renaming @xmath181 , the final result for @xmath121 reads : @xmath182\ , \pi^{\rm e}_{aa}(p ) \ , p^2 \ ,
\left[a_\parallel^a(p ) + \frac{i}{g}\ , \varphi^a(p)\right ] \right\}\,\ , , \label{s2finalunmix}\end{aligned}\ ] ] where we introduced @xmath183 ^ 2 n^2 p^2}{\pi^{\rm e}_{aa}(p ) } \,\ , .\ ] ] the t  hooft gauge fixing term is now chosen to eliminate the mixing between @xmath174 and @xmath184 : @xmath185 \ , \left [ p^2\ , a_\parallel^a(p ) -   \lambda\ , \frac{i}{g}\ , \pi^{\rm e}_{aa}(p)\ , \varphi^a(p ) \right ] \,\ , . \label{l_gf}\ ] ] this gauge condition is non - local in coordinate space , which seems peculiar , but poses no problem in momentum space . note that @xmath186 .
therefore , in various limits the choice of gauge ( [ l_gf ] ) corresponds to covariant gauge , @xmath187 the first limit we consider is @xmath188 , _
i.e. _ the vacuum . then , @xmath189 , and eq .  ( [ l_gf ] ) becomes ( [ l_cg ] ) .
the second case is the limit of large 4-momenta , @xmath190 . as shown in ref .
@xcite , in this region of phase space the effects from a color - superconducting condensate on the gluon polarization tensor are negligible . in other words ,
the gluon polarization tensor approaches the hdl limit .
the physical reason is that gluons with large momenta do not see quark cooper pairs as composite objects , but resolve the individual color charges inside the pair .
consequently , @xmath191 for @xmath190 and , for large @xmath192 , the individual terms in the sum over @xmath192 in eqs .
( [ l_gf ] ) and ( [ l_cg ] ) agree .
finally , for gluon colors @xmath177 , @xmath189 , since the self - energy @xmath160 is transverse .
thus , for @xmath177 the terms in eqs .
( [ l_gf ] ) and ( [ l_cg ] ) are identical .
the decoupling of mesons and gluon degrees of freedom becomes obvious once we add ( [ l_gf ] ) to ( [ s2finalunmix ] ) and ( [ s0 ] ) , @xmath193\ ,   { \rm a}^{\mu \nu}\ , a_{\perp\,\nu}^a(p )   \right .
\nonumber \\ &    & \hspace*{2.1 cm } - \ ; a_n^a(-p ) \ , \left [ p^2 + \hat{\pi}^{\rm b}_{aa}(p ) \right ] \ , n^2 \ ,
a_n^a(p ) \nonumber \\ &    &   \hspace*{2.1 cm } - \ ;    a_\parallel^a(-p ) \ , \left [ \frac{1}{\lambda}\ , p^2 + \pi^{\rm e}_{aa}(p ) \right]\ , p^2 \ , a_\parallel^a(p ) \nonumber \\ &     & \hspace*{2.1 cm } + \left .
\frac{\lambda}{g^2}\ , \varphi^a(-p)\ , \left [ \frac{1}{\lambda}\ , p^2 + \pi^{\rm e}_{aa}(p ) \right ] \ ,   \pi^{\rm e}_{aa}(p)\ , \varphi^a(p ) \right\ } \,\ , .
\label{sgfs2}\end{aligned}\ ] ] consequently , the inverse gluon propagator is @xmath194\ , { \rm a}^{\mu \nu }   + \left [ p^2 + \hat{\pi}^{\rm b}_{aa}(p ) \right ] \ , { \rm b}^{\mu \nu } +   \left [ \frac{1}{\lambda}\ , p^2 + \pi^{\rm e}_{aa}(p ) \right ] \ ,   { \rm e}^{\mu \nu}\,\ , .\ ] ] inverting this as discussed in ref .
@xcite , one obtains the gluon propagator for gluons of color @xmath195 , @xmath196 for any @xmath197 , the gluon propagator contains unphysical contributions parallel to @xmath142 , which have to be cancelled by the corresponding faddeev - popov ghosts when computing physical observables . only for @xmath198
these contributions vanish and the gluon propagator is explicitly transverse , _
i.e. _ , @xmath199 .
also , in this case the ghost propagator is independent of the chemical potential @xmath15 .
the contribution of fadeev - popov ghosts to the gluon polarization tensor is then @xmath200 and thus negligible at @xmath12 .
we shall therefore focus on this particular choice for the gauge parameter in the following .
note that for @xmath198 , the inverse meson field propagator is @xmath201 and the dispersion relation for the mesons follows from the condition @xmath202 , as demonstrated in ref .
@xcite for a three - flavor color superconductor in the color - flavor - locked phase .
the gluon propagator for transverse and longitudinal modes can now be read off eq .
( [ glueprop ] ) as coefficients of the corresponding tensors @xmath149 ( the projector onto the spatially transverse subspace orthogonal to @xmath142 ) and @xmath152 ( the projector onto the spatially longitudinal subspace orthogonal to @xmath142 ) . for the transverse modes one has @xcite
@xmath203 where we used eq .
( [ pia ] ) . multiplying the coefficient of @xmath152 in eq .
( [ glueprop ] ) with the standard factor @xmath204 @xcite , one obtains for the longitudinal modes @xmath205 where the longitudinal gluon self - energy @xmath206 ^ 2 } { p_0 ^ 2 \ , \pi^{00}_{aa}(p ) + 2\ , p_0\,p\ , \pi^{0i}_{aa}(p ) \ ,
\hat{p}_i + p^2 \ , \pi^\ell_{aa}(p ) } \ ] ] follows from the definition of @xmath207 , eq.([hatpib ] ) , and the relations ( [ pifunctions ] ) .
the longitudinal gluon propagator @xmath208 _ must not be confused _ with the the @xmath209-component of @xmath210 .
we deliberately use this ( slightly ambiguous ) notation to facilitate the comparison of our new and correct results with those of ref .
@xcite , which were partially incorrect .
the results of that paper were derived in coulomb gauge , where the @xmath209-component of the propagator is indeed _ identical _ to the longitudinal propagator ( [ longitudinal ] ) .
we were not able to find a t  hooft gauge that converged to the coulomb gauge in the various limits discussed above , and consequently had to base our discussion on the covariant gauge ( [ l_cg ] ) as limiting case of eq .
( [ l_gf ] ) .    to summarize this section ,
we have computed the gluon propagator for gluons in a two - flavor color superconductor . due to condensation of quark cooper pairs , the @xmath0 gauge symmetry is spontaneously broken to @xmath1 , leading to the appearance of five nambu - goldstone bosons .
in general , these bosons mix with some components of the gauge fields corresponding to the broken generators . to `` unmix '' them we have used a form of t  hooft gauge which smoothly converges to covariant gauge in the vacuum , as well as for large gluon momenta , and when the gluon polarization tensor is explicitly transverse . finally , choosing the gauge fixing parameter @xmath211 we derived the gluon propagator for transverse , eq .
( [ transverse ] ) , and longitudinal modes , eq .
( [ longitudinal ] ) with ( [ hatpi00aa ] ) .
in this section , we explicitly compute the spectral properties of the eighth gluon .
we shall confirm the results of ref .
@xcite for the transverse mode and amend those for the longitudinal mode , which have not been correctly computed in ref .
in particular , we shall show that the plasmon dispersion relation now has the correct behavior @xmath212 as @xmath10 .
furthermore , the longitudinal spectral density vanishes for gluon energies and momenta located on the dispersion branch of the nambu - goldstone bosons , _
i.e. _ , for energies and momenta given by the roots of eq .
( [ ngbosons ] ) . for the eighth gluon
, this condition can be written in the form @xmath213 @xcite , since the hdl self - energy is transverse , @xmath214 .
we first compute the polarization tensor for the transverse and longitudinal components of the eighth gluon . to this end , it is convenient to rewrite the longitudinal gluon self - energy ( [ hatpi00aa ] ) in the form @xmath215 ^ 2 } { p_0 ^ 2 \ , \tilde{\pi}^{00}(p ) + 2\ , p_0\,p\ , \tilde{\pi}^{0i}(p ) \ , \hat{p}_i + p^2 \ , \tilde{\pi}^\ell(p ) } \,\ , , \label{hatpi00}\end{aligned}\ ] ] with @xmath216 .
let us now explicitly compute the polarization functions . as in ref .
@xcite we take @xmath12 , and we shall use the identity @xmath217 where @xmath218 stands for the principal value description , in order to decompose the polarization tensor into real and imaginary parts .
the imaginary parts can then be straightforwardly computed , while the real parts are computed from the dispersion integral    @xmath219    where @xmath220 is a ( subtraction ) constant . if @xmath221 is an odd function of @xmath222 , @xmath223 , eq .
( [ dispint ] ) becomes eq .
( 39 ) of ref .
@xcite , @xmath224 and if it is an even function of @xmath222 , @xmath225 , we have instead @xmath226    since the polarization tensor for the transverse gluon modes , @xmath227 , has already been computed in ref .
@xcite , we just cite the results .
the imaginary part of the transverse hdl polarization function reads ( cf .
( 22b ) of ref .
@xcite )    @xmath228    the corresponding real part is computed from eq .
( [ odd ] ) , with the result ( cf .  eqs .  ( 40b ) and ( 41 ) of ref .
@xcite ) @xmath229\,\ , .\ ] ]    we have used the fact that the value of the subtraction constant is @xmath230 , which can be derived from comparing a direct calculation of @xmath231 using eq .
( 19b ) of ref .
@xcite with the above computation via the dispersion formula ( [ odd ] ) .
the imaginary part of the tensor @xmath232 is given by ( cf .
( 36 ) of ref .
@xcite ) @xmath233 \right .
} \nonumber \\ & + & \left .
\theta(p_0 - e_p ) \left [ \left ( 1 - \frac{p_0 ^ 2}{p^2}\ , ( 1+s^2 ) \right ) \ , e(\alpha ,
t ) - \left ( 1- \frac{p_0 ^ 2}{p^2 } \right)\ , \frac{p}{p_0}\ , \sqrt{1 - \frac{4\ , \phi^2}{p_0 ^ 2 - p^2 } }   -   s^2 \,\left ( 1- 2\ , \frac{p_0 ^ 2}{p^2
} \right)\ , f(\alpha , t ) \right ] \right\}\,\ , , \end{aligned}\ ] ] where @xmath234 is the value of the color - superconducting gap , @xmath235 , @xmath236 , @xmath237 , @xmath238 $ ] , and @xmath239 , @xmath240 are elliptic integrals of the first and second kind , while @xmath241 and @xmath242 are the corresponding complete elliptic integrals .
the real part is again computed from eq .
( [ odd ] ) .
the integral has to be done numerically , see appendix a of ref .
@xcite for details .
the subtraction constant is , for reasons discussed at length in ref .
@xcite , identical to the one in the hdl limit , @xmath243 .
finally , taking the linear combination @xmath227 completes the calculation of the transverse polarization function @xmath244 .    in order to compute the polarization function for the longitudinal gluon , @xmath245
, we have to know the functions @xmath246 , @xmath247 , @xmath248 , and @xmath249 .
the first two functions , @xmath246 and @xmath247 have also been computed in ref .
the imaginary part of the longitudinal hdl polarization function is ( cf .
( 22a ) of ref .
@xcite )    @xmath250
the real part is computed from eq .
( [ odd ] ) , with the result ( cf .  eqs .  ( 40a ) and ( 41 ) of ref .
@xcite ) @xmath251    here , the subtraction constant is @xmath252 .    the imaginary part of the function @xmath253 is ( cf .
( 35 ) of ref .
@xcite ) @xmath254 \right\}\,\ , .\ ] ] the real part is computed from eq .
( [ odd ] ) , with the subtraction constant @xmath255 .
again , the integral has to be done numerically .
it remains to compute the functions @xmath248 and @xmath249 .
first , one performs the spin traces in eq .
( [ pitilde ] ) to obtain eqs .
( 102b ) and ( 102c ) of ref .
@xcite . then , taking @xmath12 ,    [ pi0ipil ] @xmath256\ , \frac{\epsilon_1 \epsilon_2 - \xi_1 \xi_2 - \phi_1 \phi_2}{2 \ ,   \epsilon_1 \epsilon_2 } \nonumber \\ &      & \hspace*{2.6 cm } \times \ , \left ( \frac{1}{p_0 + \epsilon_1 + \epsilon_2 + i \eta } - \frac{1}{p_0 - \epsilon_1 - \epsilon_2 + i \eta } \right )   \,\ , , \end{aligned}\ ] ]    where @xmath257 , @xmath258 is the gap function for quasiparticles ( @xmath259 ) or quasi - antiparticles ( @xmath260 ) with momentum @xmath261 , @xmath262 , and @xmath263 .
one now repeats the steps discussed in detail in section ii.a of ref .
@xcite to obtain ( for @xmath264 )    [ pi0ipil2 ] @xmath265 \right .
\nonumber \\ &     & \hspace*{3.2 cm } + \left .
\theta(p_0 - e_p ) \left [ e(\alpha , t ) - \frac{p}{p_0}\ , \sqrt{1 - \frac{4\ , \phi^2}{p_0 ^ 2 - p^2 } } - s^2 \ , f(\alpha ,
t ) \right ] \right\}\,\ , , \\
{ \rm im}\ , \tilde{\pi}^\ell(p ) & = &   - \pi\ , \frac{3}{2}\ , m_g^2 \ , \theta(p_0 - 2\ , \phi)\ , \frac{p_0 ^ 3}{p^3 } \left\ { \frac { } { } \theta(e_p - p_0 ) \ , \left [ ( 1+s^2)\ , { \bf e}(t )   - 2\ , s^2 \ , { \bf k}(t ) \right ] \right .
\nonumber \\ &     & \hspace*{2.5 cm } + \left .
\theta(p_0 - e_p ) \left [ ( 1+s^2)\ , e(\alpha , t ) -   \frac{p}{p_0}\ , \sqrt{1 - \frac{4\ , \phi^2}{p_0 ^ 2 - p^2 } }   - 2\ , s^2 \ , f(\alpha , t ) \right ] \right\}\,\ , .\end{aligned}\ ] ]    one observes that in the limit @xmath266 , the functions ( [ pi0ipil2 ] ) approach the hdl result    @xmath267    applying eq .
( [ ident ] ) to eqs .
( [ pi0ipil ] ) we immediately see that the imaginary part of @xmath248 is _ even _ , while that of @xmath249 is _
odd_. thus , in order to compute the real part of @xmath248 , we have to use eq .
( [ even ] ) , while the real part of @xmath249 has to be computed from eq .
( [ odd ] ) .
when implementing the numerical procedure discussed in appendix a of ref .
@xcite for the integral in eq .
( [ even ] ) , one has to modify eq .  ( a1 ) of ref .
@xcite appropriately .    finally , one has to determine the values of the subtraction constants @xmath268 and @xmath269 .
we again use the fact that @xmath270 and @xmath271 , where the index `` 0 '' refers to the hdl limit .
the corresponding constants are determined by first computing @xmath272 and @xmath273 from the dispersion formulas ( [ odd ] ) and ( [ even ] ) .
the result of this calculation is then compared to that of a direct computation using , for instance , the result ( [ repi000 ] ) for @xmath274 and then inferring @xmath275 and @xmath273 from the transversality of @xmath133 .
the result is @xmath276 and @xmath277 .    at this point
, we have determined all functions entering the transverse and longitudinal polarization functions for the eighth gluon . in fig .
[ fig1 ] we show the imaginary parts and in fig .  [ fig2 ] the real parts , for a fixed gluon momentum @xmath278 , as a function of gluon energy @xmath279 ( in units of @xmath280 ) .
the units for the imaginary parts are @xmath281 , and for the real parts @xmath282 . for comparison , in parts ( a ) and ( g ) of these figures ,
we show the results from ref .
@xcite for the longitudinal and transverse polarization function of the gluon with adjoint color 1 . in parts
( d ) , ( e ) , and ( f ) the functions @xmath253 , @xmath283 , and @xmath284 are shown . according to eq .
( [ hatpi00 ] ) these are required to determine @xmath285 , shown in part ( b ) .
using eq .
( [ pi0088 ] ) , this result is then combined with the hdl polarization function @xmath286 to compute @xmath245 , shown in part ( c ) .
finally , the transverse polarization function for gluons of color 8 is shown in part ( i ) .
this function is given by the linear combination @xmath287 of the transverse hdl polarization function @xmath288 and the function @xmath232 , both of which are shown in part ( h ) . in all figures ,
the results for the two - flavor color superconductor are drawn as solid lines , while the dotted lines correspond to those in a normal conductor , @xmath266 ( the hdl limit ) .
note that parts ( a ) , ( d ) , ( g ) , ( h ) , and ( i ) of figs .
[ fig1 ] and [ fig2 ] agree with parts ( a ) , ( b ) , ( d ) , ( e ) , and ( f ) of figs .  2 and 3 of ref .  @xcite .
the new results are parts ( e ) and ( f ) of figs .
[ fig1 ] and [ fig2 ] , which are used to determine the functions in parts ( b ) and ( c ) , the latter showing the correct longitudinal polarization function for the eighth gluon . in ref .
@xcite , this function was not computed correctly , as the effect from the fluctuations of the condensate on the polarization tensor of the gluons was not taken into account .
the singularity around a gluon energy somewhat smaller than @xmath289 visible in figs .
( b ) and ( c ) seems peculiar .
it turns out that it arises due to a zero in the denominator of @xmath285 in eq .
( [ hatpi00 ] ) , _ i.e. _ , when @xmath213 .
as discussed above , this condition defines the dispersion branch of the nambu - goldstone excitations @xcite .
therefore , the singularity is tied to the existence of the nambu - goldstone excitations of the diquark condensate .
let us now determine the spectral densities for longitudinal and transverse modes , defined by ( cf .
( 45 ) of ref .
@xcite ) @xmath290 the longitudinal and transverse spectral densities for gluons of color 8 are shown in figs .
[ fig3 ] ( c ) and ( d ) , for fixed gluon momentum @xmath291 and @xmath292 . for comparison ,
the corresponding spectral densities for gluons of color 1 are shown in parts ( a ) and ( b ) .
parts ( a ) , ( b ) , and ( d ) are identical to those of fig .  6 of ref .
@xcite , part ( c ) is new and replaces fig .
6 ( c ) of ref .
one observes a peak in the spectral density around @xmath293 .
this peak corresponds to the ordinary longitudinal gluon mode ( the plasmon ) present in a dense ( or hot ) medium .
note that the longitudinal spectral density for gluons of color 8 vanishes at an energy somewhat smaller than @xmath294 .
the reason is the singularity of the real part of the gluon self - energy seen in figs .
[ fig2 ] ( b ) and ( c ) .
the location of this point is where @xmath295 , _
i.e. _ , on the dispersion branch of the nambu - goldstone excitations .
finally , we show in fig .
[ fig4 ] the dispersion relations for all excitations , defined by the roots of    [ disprel ] @xmath296 for longitudinal gluons ( cf .
( 47a ) of ref .
@xcite ) , and by the roots of @xmath297    for transverse gluons ( cf .
( 47b ) of ref .
let us mention that not all excitations found via eqs .
( [ disprel ] ) correspond to truly stable quasiparticles , _
i.e. _ , the imaginary parts of the self - energies do not always vanish along the dispersion curves .
nevertheless , in that case eqs .
( [ disprel ] ) can still be used to identify peaks in the spectral densities , which correspond to _ unstable _ modes ( which decay with a rate proportional to the width of the peak ) .
as long as the width of the peak ( the decay rate of the quasiparticles ) is small compared to its height , it makes sense to refer to these modes as quasiparticles .
[ fig4 ] corresponds to fig .  5 of ref .
in fact , part ( b ) is identical in both figures .
[ fig4 ] ( a ) differs from fig .
5 ( a ) of ref .
@xcite , reflecting our new and correct results for the longitudinal gluon self - energy . in fig .  5 ( a ) of ref .
@xcite , the dispersion curve for the longitudinal gluon of color 8 was seen to diverge for small gluon momenta . in ref .  @xcite it was argued that this behavior was due to neglecting the mesonic fluctuations of the diquark condensate .
indeed , properly accounting for these modes , we obtain a reasonable dispersion curve , approaching @xmath293 as the momentum goes to zero . in fig .
[ fig4 ] ( a ) we also show the dispersion branch for the nambu - goldstone excitations ( dash - dotted ) .
this is strictly speaking not given by a root of eq .
( [ disprel ] ) , but by the singularity of the real part of the longitudinal gluon self - energy .
however , because this singularity involves a change of sign , a normal root - finding algorithm applied to eq .
( [ disprel ] ) will also locate this singularity . as expected @xcite ,
the dispersion branch is linear , @xmath298 for small gluon momenta , and approaches the value @xmath289 for @xmath299 .
in cold , dense quark matter with @xmath300 massless quark flavors , condensation of quark cooper pairs spontaneously breaks the @xmath0 gauge symmetry to @xmath1 .
this results in five nambu - goldstone excitations which mix with some of the components of the gluon fields corresponding to the broken generators . we have shown how to decouple them by a particular choice of t  hooft gauge .
the unphysical degrees of freedom in the gluon propagator can be eliminated by fixing the t  hooft gauge parameter @xmath198 . in this way , we derived the propagator for transverse and longitudinal gluon modes in a two - flavor color superconductor accounting for the effect of the nambu - goldstone excitations .
we then proceeded to explicitly compute the spectral properties of transverse and longitudinal gluons of adjoint color 8 .
the spectral density of the longitudinal mode now exhibits a well - behaved plasmon branch with the correct low - momentum limit @xmath212 .
moreover , the spectral density vanishes for gluon energies and momenta corresponding to the dispersion relation for nambu - goldstone excitations . we have thus amended and corrected previous results presented in ref .
@xcite .
our results pose one final question : using the correct expression for the longitudinal self - energy of adjoint colors @xmath301 , do the values of the debye masses derived in ref .
@xcite change ?
the answer is `` no '' . in the limit @xmath302 ,
application of eqs .
( 120 ) , ( 124 ) , and ( 129 ) of ref .
@xcite to eq .
( [ hatpi00aa ] ) yields @xmath303 , and the results of ref .
@xcite for the debye masses remain valid .
we thank g.  carter , d.  diakonov , and r.d .
pisarski for discussions .
we thank r.d .
pisarski in particular for a critical reading of the manuscript and for the suggestion to use t  hooft gauge to decouple meson and gluon modes .
thanks the nuclear theory groups at bnl and columbia university for their hospitality during a visit where part of this work was done .
he also gratefully acknowledges continuing access to the computing facilities of columbia university s nuclear theory group .
i.a.s .  would like to thank the members of the institut fr theoretische physik at the johann wolfgang goethe - universitt for their hospitality , where part of this work was done .
the work of i.a.s .  was supported by the u.s.department of energy grant no .
de - fg02 - 87er40328 .
d.  bailin and a.  love , phys .
rept .   * 107 * , 325 ( 1984 ) .
m.  alford , k.  rajagopal , and f.  wilczek , phys .
b * 422 * , 247 ( 1998 ) ; r.  rapp , t.  schfer , e.v .
shuryak , and m.  velkovsky , phys .
lett .   * 81 * , 53 ( 1998 ) .
t.  schfer and f.  wilczek , phys .
d * 60 * , 074014 ( 1999 ) .
m.  le bellac , _ thermal field theory _
( cambridge , cambridge university press , 1996 ) .
rischke , phys .
d * 64 * , 094003 ( 2001 ) .
miransky , i.a .
shovkovy , and l.c.r .
wijewardhana , phys .
d * 64 * , 096002 ( 2001 ) .
gusynin and i.a .
shovkovy , nucl .
a * 700 * , 577 ( 2002 ) .
miransky , i.a .
shovkovy , and l.c.r .
wijewardhana , phys .
b * 468 * , 270 ( 1999 ) .
pisarski and d.h .
rischke , phys .
d * 61 * , 074017 ( 2000 ) .
t.  schfer and f.  wilczek , phys .
d * 60 * , 114033 ( 1999 ) .
hong , v.a .
miransky , i.a .
shovkovy , and l.c.r .
wijewardhana , phys .
d * 61 * , 056001 ( 2000 ) [ erratum - ibid .
d * 62 * , 059903 ( 2000 ) ] .
pisarski and d.h .
rischke , phys .
d * 60 * , 094013 ( 1999 ) .
r.  casalbuoni , z.  duan , and f.  sannino , phys .
d * 62 * , 094004 ( 2000 ) .
k.  zarembo , phys .
d * 62 * , 054003 ( 2000 ) .


the interaction of fluid / fluid interfaces with solid boundaries is of fundamental importance to a variety of wetting and dewetting phenomena . in this paper , we present a computational framework for the inclusion of a general fluid / solid interaction , treated as a temporally and spatially dependent body force , in a direct solver of the navier - stokes equations .
this approach allows for computing fluid wetting properties ( such as equilibrium contact angle ) based on first principles , and without restriction to small contact angles .    due to the complexities involved in modeling dynamics of fluids on solid substrates ,
a significant amount of modeling and computational work has been carried out using the long - wave ( lubrication ) approach .
still , even within the long - wave approach , a difficulty arises when employing the commonly used no - slip boundary condition at the fluid / solid interface : a non - integrable shear - stress singularity at the moving contact line . simulating dynamic contact lines therefore requires additional ingredients for the model .
one option is to include fluid / solid interaction forces with conjoining - disjoining terms which lead to a prewetted ( often called ` precursor ' ) layer in nominally ` dry ' regions .
this approach effectively removes the ` true ' contact line , consequently avoiding the associated singularity  @xcite .
a second approach is to relax the no - slip condition and instead assume the presence of slip at the fluid / solid interface .
both slip and disjoining pressure approaches have been extensively used to model a variety of problems including wetting , dewetting , film breakup , and many others ( see e.g.  @xcite for reviews ) .    while the approach based on the long - wave model has been very successful , it does include limitations inherent in its formulation : in particular , the restriction to small interfacial slopes ( strictly speaking , the slopes much less than unity ) , and therefore small contact angles . we have shown in our earlier work  @xcite that ,
depending on the choice of flow geometry , the comparison between the solutions of the long - wave model and of the navier - stokes equations may be better than expected ; however , still for slopes of @xmath0 , quantitative agreement disappears .
therefore , one would like to be able to consider wetting / dewetting problems by working outside of the long - wave limit , while still considering the most important physical effects ; such as fluid / solid interaction forces .
these fluid / solid interactions are known to be crucial in determining stability properties of a fluid film ; without their presence , a fluid film on a substrate is stable , since there are no forces in the model to destabilize it . in particular , for thin nanoscale films , fluid / solid interaction forces may be dominant .
we note that the approaches based on the derjaguin approximation to include the van der waals or electrostatic interactions into the model in the form of a local pressure contribution ( disjoining pressure ) acting on the fluid / solid interface are derived under the assumption of a flat film  @xcite .
therefore these approaches can not be trivially extended to the configurations involving large contact angles .    in the context of direct simulations of the navier - stokes equations with free interfaces , a large variety of methods
are used to track the evolution of the interface .
lagrangian methods conform the computational grid to the interface ( e.g.  @xcite ) .
eulerian methods require a separate mechanism to track the interface location ; these include front tracking methods ( e.g.  @xcite ) , and interface capturing methods such as volume of fluid methods and level set methods .
the latter two methods easily treat topology changes , and with recent developments have been shown to be effective for simulating surface tension driven flows  @xcite
. a common feature of volume of fluid methods is that contact angles are imposed geometrically , in that the angle at which the interface intersects the solid substrate is specified as a boundary condition on the interface  @xcite .
such approaches were used to model the dynamics of non - wetting drops , that could even detach from the substrate  @xcite , as well as spreading drops  @xcite .
the van der waals interaction has been implemented previously in a volume of fluid based solver for the liquid / liquid interaction of colliding droplets  @xcite , but to our knowledge has not been considered for flows involving wetting phenomena .
a variety of other computational methods have been considered in the context of wetting / dewetting . here
we mention phase - field methods that treat two fluids with a diffuse interface by means of a smooth concentration function , which typically satisfies the cahn - hilliard or allen - cahn equations , and is coupled to the navier - stokes equations .
jacqmin  @xcite describes a phase - field contact angle model that use a wall energy to determine the value of the normal derivative of the concentration on a solid substrate .
this model has been used to study contact line dynamics  @xcite , and similar models have been considered in the investigation of the sharp interface limit of the diffuse interface model  @xcite .
lattice - boltzmann methods have also treated the contact angle with a wall energy contribution  @xcite .
these approaches have explained a variety of phenomena related to spreading of fluids on solid substrates , but do not consider explicitly the stabilizing and destabilizing forces between fluid and solid , as has been done via disjoining pressure within the context of the long - wave model . the liquid / solid interaction is naturally included in molecular dynamics ( md ) simulations  @xcite that typically consider lennard jones potential between fluid and solid particles .
however , md simulations are , in general , computationally expensive , even when simulating nanoscale systems .
one would like to be able to include liquid - solid interaction within the framework of a continuum model .    here , we present a novel approach , based on a volume of fluid formulation , which includes the fluid / solid interaction forces into the governing navier - stokes equations , without limitations inherent in the long - wave model .
this inclusion allows for arbitrary contact angles to be incorporated based on modeling the underlying physics , in contrast to conventional volume of fluid methods .
the presented approach also leads to the regularization of the viscous stress since the fluid film thickness never becomes zero .
furthermore , our framework can account for additional physical effects , such as instability and breakup of thin fluid films , that would not be described if fluid / solid interaction forces were not explicitly included .
we note here that while film rupture can also occur in phase - field based approaches ( as in  @xcite ) , this seems to be due to the presence of a rather thick interface , and not due to the explicit inclusion of destabilizing liquid / solid interaction forces .    in the present paper we focus on formulating and discretizing the model , and on discussing issues related to convergence and accuracy . to validate our proposed numerical scheme , we consider two representative examples , involving relaxation and spreading of sessile drops with various contact angles on a substrate .
these benchmark cases permit comparison of our results with well established analytical solutions for a particular flow regime .
the application of the method to the study of thin film stability including dewetting will be considered in the sequel  @xcite .
the rest of this paper is organized as follows .
we describe the details of the fluid / solid interaction in sec .
[ sec : model ] . in sec .
[ sec : methods ] , we describe two finite - volume methods for the discretization of the considered fluid / solid interaction forces .
the presentation in these two sections applies to any generic fluids . in sec .
[ sec : results ] we present a comparison of the two considered discretization methods for equilibrium and spreading drops , for a particular choice of material parameters . in sec .
[ sec : conc ] , we give an overview and future outlook .
consider a perfectly flat solid substrate covered by two immiscible fluids . for clarity , we will refer to these fluids as the liquid phase ( subscript @xmath1 ) , and the vapor phase ( subscript @xmath2 ) , although the present formulation applies to any two fluids .
assume that gravity can be neglected , and also ignore any phase - change effects , such as evaporation and condensation .
there are three relevant interfacial energies : the liquid / solid , @xmath3 , the vapor / solid , @xmath4 , and the liquid / vapor , @xmath5 , energies .
the contact angle is commonly defined as the angle between the tangent plane of the interface between the liquid and vapor phases and the solid substrate at the point where the interface meets the surface . at equilibrium ,
the contact angle , @xmath6 , and the surface energies are related by young s equation  @xcite : @xmath7 if there is a nonzero contact angle at equilibrium , the liquid partially wets the solid surface ; if the equilibrium configuration is a flat layer covering the whole substrate , then it fully wets the solid surface .
it is also possible for the liquid to be non - wetting , where the liquid beads up into a sphere on the surface .
the wetting behavior of the system can be characterized by the equilibrium spreading coefficient , defined by : @xmath8 which expresses the difference in energy per unit area between a surface with no liquid , and one with a layer of liquid ( what we call ` dry ' and ` wet ' states , respectively ) .
wetting is determined by the sign of @xmath9 ; partial wetting occurs for @xmath10 , and complete wetting for @xmath11  @xcite .
the above characterization of the contact angle is straightforward for static configurations and at macroscopic length scales .
if these assumptions are not satisfied , definitions of contact angles become more complex . in the literature
, a distinction is made between the apparent contact angle , @xmath12 , and the microscopic contact angle , @xmath13 , distinguished by the distance from the contact line at which the measurement is made  @xcite .
the contact angle resulting from measuring on macroscopic length scales is @xmath12 , while @xmath13 is measured at short length scales which are still long enough so that the continuum limit is appropriate  @xcite . the microscopic contact angle , @xmath13 , is often identified with @xmath6 , which is commonly used in the derivation of spreading laws , such as the classical cox - voinov law  @xcite .
it should be noted that the details of the fluid behavior on nano scales in the vicinity of the fluid fronts and associated contact lines are far from being completely understood  @xcite , and the way in which the contact angle arises at small scales is a subject of ongoing research  @xcite .
the surface energies entering eq .   and eq .   arise due to the van der waals interaction between the different phases that are relevant on short length scales .
three kinds of van der waals interactions are usually considered : interactions between polar molecules , interaction of molecules that have an induced polarization , and the dispersion forces  @xcite .
the dispersion interaction is relevant for all molecules , and will be the only one that we consider . a common model for approximating the dispersion interaction of two particles , of phases @xmath14 and @xmath15 , centered at at @xmath16 and @xmath17 is the 12 - 6 lennard jones potential  @xcite : @xmath18 this potential has a minimum , @xmath19 , at @xmath20 , and for simplicity we assume that @xmath21 is a constant for any two interacting particles .
the center distance between the two particles is given by : @xmath22 the powers @xmath23 and @xmath24 in eq .
correspond to short range repulsion and long range attraction , respectively . for our purposes
, we generalize this formulation and use the following form : @xmath25 here @xmath26 is the scale of the potential well , having units of energy per particle pair interaction . in general , we require only that @xmath27 are integers , such that @xmath28 , for reasons that will become clear shortly .
our model considers two fluid phases , a liquid phase and a vapor phase occupying the region @xmath29 , interacting with a flat , half infinite , solid substrate ( subscript @xmath30 ) in the region @xmath31 .
consider now a particle located at @xmath32 of phase @xmath14 ( where @xmath14 is either @xmath1 or @xmath2 ) .
the interaction energy between this particle and the substrate per unit volume of the substrate is : @xmath33 where @xmath34 is the particle density in the substrate .
we derive the force per unit volume following a similar procedure outlined in  @xcite . integrating eq .   over the region @xmath31
yields the following total interaction of a particle in phase @xmath14 with the substrate : @xmath35\end{gathered}\ ] ] although the van der waals interaction is not strictly additive , the effects due to non - additivity are usually weak  @xcite , and we ignore them for simplicity .    multiplying by @xmath36 , the particle density in phase @xmath14 , we obtain the van der waals interaction per unit volume of phase @xmath14 : @xmath37\end{gathered}\ ] ] we introduce the following parameters : @xmath38^{q-3}}{\left[(q-2)(q-3)\right]^{p-3}}\right)^{\frac{1}{p - q}}\ ] ] @xmath39^\frac{1}{p - q}\sigma\ ] ] @xmath40 this simplifies eq .
to : @xmath41\ ] ] the quantity @xmath42 is referred to as the ` equilibrium film thickness ' and will be considered in more detail below .
note that eq .   has an identical form as eq .  .
the force per unit volume on phase @xmath14 that results from the potential is computed by taking the gradient of eq .
: @xmath43\hat{y}\ ] ] here @xmath44 refers to the unit vector @xmath45 .
we proceed to derive an expression for @xmath6 in terms of @xmath46 and @xmath47 in eq .   according to the microscopic arguments outlined in
@xcite . combining eqs .   and
, we obtain the following expression for the equilibrium spreading coefficient : @xmath48 where @xmath9 is the difference in the energy per unit area between a dry system and a wet system . the total energy required to remove a liquid layer originally occupying @xmath49 and replace it with a layer of the vapor phase
is given by : @xmath50 if @xmath51 is the smallest distance between particles of the substrate and fluids when they are in contact , eq .
( [ eq : energy_diff ] ) specifies the total energy required to completely remove the liquid from the substrate . even if @xmath51 takes a larger value , eq .
consistently describes the energy difference between a wet system , and a dry system which consists of a fluid layer of thickness @xmath51 wetting the solid substrate .    performing the integration in eq .
, we obtain : @xmath52\ ] ] in order to be in a partial wetting regime , i.e.  where there is a non - zero contact angle , we require @xmath10 . based on eq .
, we find :    1 .
@xmath53 : in this case , the attractive term in eq
.   dominates .
this leads to a negative spreading coefficient only if @xmath54 , so that the vapor phase must experience a greater attraction than the liquid phase in order to be in a partial wetting regime .
@xmath55 : in this case , the repulsive term in eq .   dominates .
thus partial wetting is possible when @xmath56 .
the first case states that when @xmath51 is large , the vapor phase must interact more strongly with the substrate than the liquid phase ; the reverse is true when @xmath51 is small .
for example , the second case must hold for partial wetting of a droplet surrounded by a vacuum .    for comparison ,
we briefly describe a similar method of contact angle implementation used in the long - wave theory  @xcite . in its most basic form ,
the disjoining pressure modifies the pressure jump across the interface of a thin , flat film , and can be derived as a macroscopic consequence of the van der waals interaction  @xcite . for a flat film of thickness @xmath57 ,
the difference between the pressure in the exterior vapor phase , @xmath58 , and the liquid phase , @xmath59 , is given by : @xmath60.\ ] ] the definition of the parameter @xmath42 is identical to that of eq .  .
in the long - wave literature , this quantity is identified with an equilibrium film thickness , such that in the case of a drop in the partial wetting regime , there is an additional film of thickness @xmath42 completely wetting the substrate .
following the example of disjoining pressure above , we consider situations such that there is a layer of thickness @xmath42 completely covering the surface even when the fluid is partially wetting . in particular
, this means that we assume that @xmath61 , so that in eq .
, the liquid is removed only to a thickness @xmath42 .
this value of @xmath51 has the convenient property that it allows for eq .   to be simplified , while the presence of a wetting layer over the whole substrate removes the contact line singularity .
plugging @xmath62 into eq .  , and substituting in the expression for @xmath9 from eq .
, we obtain the following expression for the difference between @xmath47 and @xmath46 as a function of @xmath6 : @xmath63 therefore , only the difference @xmath64 is needed to specify @xmath6 .
similar formulations appear in the long - wave literature  @xcite .
note that since eq .
assumes that the fluid occupies a half infinite domain in the wet state , eq .
is satisfied exactly only in the limit where @xmath42 is vanishingly small relative to the drop thickness .    to summarize , in this section
we have formulated a method that allows for the inclusion of fluid / solid interaction forces without the limitations inherent in long - wave theory , such as negligible inertia and small interfacial slope .
next we proceed to discuss numerical implementation .
equations   and   present a difficulty in that they diverge as @xmath65 . this can be dealt with by introducing a cutoff length , i.e.  forcing @xmath66 when @xmath67 is less than the cutoff .
this method has the drawback of making the force discontinuous , and may lead to poor numerical convergence . for this reason , we introduce a shifted potential : @xmath68\ ] ] where @xmath69 is some parameter less than @xmath42 .
equation   removes the singular portion of the potential near @xmath65 for a small @xmath69 , and is equal to zero at @xmath70 , but otherwise keeps the same functional form .
we refer to films occupying @xmath71 as equilibrium films , and @xmath72 as the equilibrium film thickness .
the force corresponding to eq .   is given by @xmath73\hat{y}\ ] ] we can express the total body force due to the van der waals interaction more compactly by introducing a characteristic function , @xmath74 , which takes the value @xmath75 inside the liquid phase and @xmath76 elsewhere : @xmath77 where the interaction strength explicitly depends on the phase through @xmath74 , so that @xmath78 and @xmath79 .
we solve the full two - phase navier - stokes equations subject to the force given by eq .
: @xmath80 + \gamma \kappa \delta_s \textbf{n }           \\+ \hat{\textbf{f}}_b(y)\end{gathered}\ ] ] @xmath81 the phase dependent density and viscosity are given by @xmath82 and @xmath83 .
the velocity field is @xmath84 , and @xmath85 is the pressure .
the force due to the surface tension is included as a singular body force in the third term on the right hand side of eq .
( see  @xcite ) , where @xmath86 is a delta function centered on the interface , @xmath87 is the curvature , and @xmath88 is the inward pointing unit normal of the interface . letting @xmath89 be the length scale , and @xmath90 the time scale , we define the following dimensionless variables : @xmath91 with these scales , and dropping the tildes , the dimensionless navier - stokes equations are as follows : @xmath92 + \kappa \delta_s \textbf{n } \\          +    \textbf{f}_b(y)\end{gathered}\ ] ] @xmath93 where @xmath94\hat{y}\ ] ] here , the dimensionless @xmath67-coordinate is translated , so that @xmath95 , and the equilibrium film occupies @xmath96 .
the ( phase - dependent ) dimensionless numbers are the weber number , @xmath97 , the capillary number , @xmath98 , and the force scale for the van der waals interaction , @xmath99 , given by the following : @xmath100 upon nondimensionalization , eq .
yields the following expression for @xmath6 : @xmath101     has a corresponding size @xmath102 .
the red curve shows the piecewise linear reconstruction of the liquid / vapor interface obtained using the volume of fluid method . ]
the system of eqs .  - , is solved using the open - source package gerris  @xcite , described in detail in  @xcite . in gerris
, the navier - stokes equations are solved using a finite - volume based projection method , with the interface between the two fluids tracked using the volume of fluid method .
the fluid domain is discretized into a quad - tree of square cells ( see fig .
[ fig : tree_diagram ] ) ; note that we consider the implementation in two spatial dimensions from now onward .
the finite - volume method treats each cell @xmath103 as a control volume , so that the variables associated with @xmath103 represent the volume averaged value of the variable over @xmath103 .
each cell has a size @xmath102 , and center coordinates @xmath104 .
the volume of fluid method tracks the interface implicitly by defining a volume fraction function , @xmath105 , which gives the fraction of the volume of @xmath103 occupied by the liquid phase .
@xmath105 is advected by the fluid flow according to the following equation : @xmath106 the value of @xmath97 and @xmath98 in a cell @xmath103 are then represented using an average : @xmath107 here , as before , subscript @xmath1 corresponds to liquid , and @xmath2 to the vapor phase .
the volume of fluid method reconstructs a sharp interface .
for each cell , the gradient , @xmath108 , is computed using the mixed - young s method  @xcite , so that the unit normal vector is given by @xmath109 .
this permits a linear reconstruction of the interface in each cell , according to the equation @xmath110 , where @xmath111 is determined by @xmath112 ( see  @xcite for details ) .
the exact average of the force over the computational cell , @xmath103 , is given by : @xmath113\mathcal{f}(y ) d\mathcal{c}\,\hat{y}\end{gathered}\ ] ] where @xmath114 is defined by eq .  .
we detail two possibilities for the discretization of the van der waals force term in eq .  .
for both of these methods , the force is included explicitly in the predictor step of the projection method .
* method i : *    our first method proceeds by a simple second order discretization of eq .  :
d\mathcal{c}\,\hat{y}\\      & = \left[\frac{\mathcal{f}(y_c)}{\delta_c^2}k_{ls } \int\int_\mathcal{c } \chi(x , y)d\mathcal{c }               + \frac{\mathcal{f}(y_c)}{\delta_c^2}k_{vs } \int\int_\mathcal{c } ( 1-\chi(x , y))d\mathcal{c}\right]\,\hat{y}\\      \end{split}\ ] ] we identify the average of @xmath74 over @xmath103 with @xmath105 , yielding the following expression : @xmath116          \mathcal{f}(y_c)\,\hat{y}\ ] ] however , we note that the accuracy of this simple method can deteriorate at low mesh resolutions because @xmath117 has a large gradient as @xmath65 .
consider a cell such that @xmath118 . to a first approximation , the error in eq .
is given by : @xmath119 to show that this can lead to large errors , consider the error when @xmath120 , in a cell with center at @xmath121 , i.e.  for a cell along the bottom boundary when @xmath42 is just barely resolved .
the error in this cell is : @xmath122 the lower bound of this error can be shown to be : @xmath123 since @xmath124 , we can bound this further by : @xmath125 note that @xmath126 is not the discretization error , but the error found for a fixed grid size .    recalling that eq .
implies that @xmath127 is proportional to @xmath128 , so if @xmath69 is significantly smaller than @xmath42 the errors are quite large unless @xmath129 is much smaller than @xmath42 .
furthermore , @xmath42 is generally small relative to the length scale of the droplet considered in eq .
, so that the mesh size required to accurately resolve the right hand side of eq .   will increase the computational cost .    0.4 : ( a ) cut cell divided into regions @xmath130 and @xmath131 entirely occupied by the liquid and vapor phases , respectively , and ( b ) illustration of the regions of integration of a cut cell .
the linear reconstruction of the interface from the volume of fluid method is shown by the red line.,title="fig:",width=192 ]    0.4 : ( a ) cut cell divided into regions @xmath130 and @xmath131 entirely occupied by the liquid and vapor phases , respectively , and ( b ) illustration of the regions of integration of a cut cell .
the linear reconstruction of the interface from the volume of fluid method is shown by the red line.,title="fig:",width=192 ]    * method ii : *    since eq .   gives an exact formula for the force per unit volume in a single phase , much of the simplification used in deriving eq .
is unnecessary . for the second method
, we take advantage of this fact to more accurately approximate eq .  .
first , note that it is trivial to integrate eq .   when @xmath118 or @xmath132
. moreover , the volume of fluid method gives additional information beyond just the fraction of the cell occupied by the liquid phase ; using the reconstructed interface , we have an approximation of the portion of the cell which is occupied by the liquid phase as well .
therefore , we introduce the following alternative method .
consider a cell @xmath103 with center @xmath104 , where @xmath133 , so that the volume of fluid method yields a linear reconstruction of the interface in the cell .
this interface divides the cell into a region occupied by the liquid phase , @xmath130 , and a region occupied by the vapor phase , @xmath131 ( see fig .  [
fig : cut_cell ] ) .
we can write a general algorithm to integrate over these regions , yielding the following expression for the average force on cell @xmath103 : @xmath134\hat{y}\ ] ] we briefly outline the general process to perform the integrations over @xmath130 and @xmath131 .
let the volume of fluid reconstructed interface in the cell be given by @xmath135 , where @xmath136 is a normal pointing into the liquid phase .
we only present the problem of integrating over @xmath130 , since @xmath131 involves an analogous procedure .
if @xmath137 , for a small tolerance @xmath138 , the interface is approximately horizontal ; thus the integration of @xmath114 over @xmath130 becomes : @xmath139 on the other hand , if @xmath140 , the interface is approximately vertical , and the integration over @xmath130 becomes : @xmath141 we can now proceed to provide general formulas when @xmath142 and @xmath143 . since @xmath114 is independent of @xmath144 ,
the sign of the interfacial slope is irrelevant , so , without loss of generality , suppose that @xmath145 .
define the following values : @xmath146 if @xmath147 , the integration over @xmath130 can be expressed as follows : @xmath148\end{gathered}\ ] ] on the other hand , if @xmath149 , the integration over @xmath130 is given by : @xmath150\end{gathered}\ ] ] thus , in two dimensions , the general process of integration reduces to integration over two regions . note again that @xmath114 is known exactly , so that the integrals in eqs .  - can be computed exactly , in contrast to the large error for method i in eq .  .
therefore , we conclude that regarding approximation of eq .  , method ii is superior .
for example , for a single phase fluid , or when the interface is flat , eq .
we will consider both method i and method ii in what follows and discuss their performance .
our computational domain is rectangular , with @xmath151 and @xmath152 . throughout the remainder of the paper
, we will impose a homogeneous neumann boundary condition on all boundaries for the pressure , @xmath85 .
for the velocity field , we will apply a homogeneous neumann boundary condition at all boundaries except @xmath153 , where we will apply one of the following two boundary conditions ; the no - slip , no - penetration condition by setting @xmath154 to @xmath76 on the substrate : @xmath155 or a free - slip condition by : @xmath156 the boundary condition for the van der waals force is straightforward . at @xmath153 ,
we set @xmath157 at @xmath158 , we set @xmath159 the boundary condition for the volume fraction , @xmath112 , is again homogeneous neumann on all boundaries , except on the bottom boundary , where we apply @xmath160 which is equivalent to taking the bottom boundary to always be wetted with the liquid phase .
in this section , we consider simulations of the full navier - stokes equations in which contact angles have been imposed using the van der waals force , which is included using methods i and ii described in sec .
[ sec : methods ] .
our simulation setup consists of a drop on an equilibrium film , initially at rest , which then relaxes to equilibrium under the influence of the van der waals force .
we compare methods i and ii for a drop which is initially close to its equilibrium contact angle , as predicted by eq .  , as well as for a spreading drop which is initially far from its equilibrium .
furthermore , we consider the effect of equilibrium film thickness for small , intermediate , and large contact angles , using method ii .    in simulations , droplets are surrounded by an equilibrium film of thickness @xmath161 defined by @xmath162 , where @xmath69 is the amount the force is translated by in eq .  .
the initial profile is given by the following : @xmath163 here @xmath164 is chosen so that the total area of the circular cap is equal to @xmath165 .
the quantity @xmath166 is the initial contact angle of the droplet . in all simulations ,
we fix the ratio of these length scales so that @xmath167 .
various values of the exponents @xmath168 and @xmath169 in eq .   can be found in the literature , in particular @xmath170 have been used in the context of the disjoining pressure in thin films  @xcite , the former corresponding to the 12 - 6 lennard jones potential . in this paper
we will restrict our attention to @xmath171 , which was shown to lead to favorable agreement with experiments involving liquid metal films  @xcite .
different exponents may affect the structure of the contact line region and the pressure distribution , but do not impact significantly the results presented here .
there are four contact angles that we consider in this section . the initial contact angle , @xmath166 , as in eq .
, specifies the angle formed by the tangent of the initial circular profile with the equilibrium film at the point where they meet .
the ( time dependent ) apparent contact angle is denoted @xmath172 , and the numerical equilibrium angle @xmath173 is the value of @xmath172 when the system under consideration is in equilibrium ; @xmath172 is measured by a circle fit procedure described below . finally , we refer to the imposed contact angle , @xmath6 , which we use to specify @xmath174 via eq .  ; the only relevant quantity is the difference between @xmath175 and @xmath127 , but for definiteness , we set @xmath176 and @xmath177 .
the value of @xmath6 differs from @xmath173 in simulations because @xmath42 is small but non negligible relative to the thickness of the drop .
we measure @xmath172 according to the following procedure .
a drop has a circular cap shape that transitions smoothly to the equilibrium film .
we define the contact angle in this context in the following way : let @xmath178 represent the points of inflection of the drop profile .
we perform a least squares fit of a circle to the profile over the interval @xmath179 .
the point at which the fitted circle intersects the equilibrium film is called the contact point ( in three dimensions , this is the contact line ) .
@xmath172 is measured as the angle the fitted circle makes with the equilibrium film at the contact point .
we first investigate a static drop , with @xmath180 and @xmath181 , which is then allowed to relax to its equilibrium shape .
the dimensionless numbers are set to be @xmath182 .
we set the material parameters to be the same in both fluid phases in order to restrict our attention to a smaller parameter space , so that we can focus on the properties of methods i and ii .
note that since the expression determining @xmath6 , eq .
, does not depend on the fluid parameters , this choice does not affect the equilibrium shape .
the computational domain is @xmath183 \times [ h_c,1+h_c]$ ] ; the domain is resolved at a constant resolution .
a no - slip boundary condition is imposed on the solid boundary , @xmath153 .    , @xmath180 , at equilibrium .
the pressure is normalized by the ( non - dimensional ) capillary pressure of the equilibrium drop , which is given by the curvature of the interface far from the contact point , where it is approximately circular .
the solid black curve shows the volume of fluid reconstructed interface , and the dashed curve is the initial profile ; @xmath184 . ]    figure  [ fig : eq_drop_profile ] shows such a drop at equilibrium ( with the contact angle imposed using method ii ) .
the equilibrium film has negative pressure with very high absolute value , and its thickness at equilibrium differs from @xmath185 by about @xmath186 . with this @xmath42
, there is a noticeable difference between the true equilibrium contact angle found by simulations , @xmath173 , and the imposed angle @xmath6 .
the effect of @xmath42 on the equilibrium drop shape will be considered below .
figure  [ fig : l1_error ] shows the convergence for methods i and ii for a uniform mesh .
simulations are run until time @xmath187 , with a constant time step of @xmath188 ; the stability constraint due to the explicit discretization of the surface tension dominates in this velocity regime , and this time step ensures that this constraint is satisfied for all resolutions we consider ( see  @xcite ) . for two sets of volume fractions @xmath189 and @xmath190 such that @xmath190 is computed on a quad - tree @xmath191 with mesh - size @xmath192 ,
the @xmath193 norm is computed according to the following formula : @xmath194     norm of the difference between @xmath105 at @xmath195 and @xmath184 , for a drop at equilibrium with @xmath196 , @xmath180 , with a uniform mesh size @xmath195 . ]    in this case @xmath197 , and @xmath198 is equal to @xmath189 on the largest cell containing @xmath103 . for reference
, @xmath199 is about @xmath42 , so that the low resolution case is not even resolving the equilibrium film .
both methods perform comparably well at @xmath200 , with method i converging slightly faster .
however , at low resolutions , @xmath199 , method ii performs significantly better .    .
initially , @xmath181 , and the drop spreads to its equilibrium configuration , defined by @xmath201 .
the initial profile is shown by the dashed curve .
as in fig .
[ fig : eq_drop_profile ] , the pressure is normalized by the capillary pressure of the equilibrium drop ; @xmath184 . ]    . ]    . ]
we now move onto the question of how a drop behaves when @xmath166 is far from @xmath173 .
the initial shape of the drop is as above , with @xmath180 , @xmath202 , so that @xmath181 . at @xmath153
, we use free - slip since it allows the drop to reach its steady state more quickly , reducing computational time .
the simulation domain is @xmath203 \times [ h_c,1+h_c]$ ] . for these simulations
, we will set @xmath204 .
we note that even with this choice of parameters , the dimensionless contact point speed is sufficiently small so that surface tension effects still dominate over viscous effects ( or precisely speaking , the capillary number defined based on the speed of the contact point is still small ) . as before
, we use the same material parameters for both phases , and note that , provided that the capillary number is small , varying the ratios between the phases will only affect the relaxation time ; we will expand on this point below .
here , we impose a small contact angle of @xmath205 .
unlike the above , we use an adaptive mesh which refines regions to a level of @xmath206 near the liquid / vapor interface , or if there is a high gradient in @xmath207 .
we will vary @xmath206 in what follows to study the convergence with respect to the maximum resolution .
figure  [ fig : spread_profile ] shows the initial and equilibrium profiles and pressure distribution when the drop reaches equilibrium , computed using method ii .
the pressure inside the liquid phase is near unity , while the pressure in the vapor phase just above the equilibrium film is five times the capillary pressure .
the equilibrium contact angle in fig .
[ fig : spread_profile ] is @xmath208 .     to equilibrium , with an imposed contact angle of @xmath205 using method ii .
the black ( dashed ) line is proportional to @xmath209 , and the agreement with the blue ( solid ) curve shows that the drop spreading approximately satisfies the cox - voinov law . ]
figure  [ fig : front_plots ] shows the front locations for the spreading drops as a function of time for method i and method ii . both methods show broadly similar results , with method ii appearing to slightly outperform method i in terms of convergence . in order to compute the convergence ,
we calculate the error as : @xmath210 here @xmath211 is the front location computed with @xmath212 , and @xmath213 is the front location computed with @xmath214 .
figure  [ fig : spread_error ] shows the errors .
method ii displays significantly better convergence for the front location as a function of time .     for various values of @xmath42 .
the black ( dotted ) profile shows the initial condition for @xmath215 .
we plot @xmath216 so that for each curve the @xmath67 range is @xmath217 . ]
we briefly compare the qualitative behavior of the spreading drop to the well known cox - voinov law  @xcite . for a drop displacing another immiscible fluid on a solid surface ,
the speed of the contact point , @xmath209 , is related to @xmath166 and @xmath173 to leading order by  @xcite : @xmath218 note that eq .
is derived under the assumption that @xmath219 , i.e. that the capillary number defined using the front velocity is small .
provided that one is in this regime , the choice of material parameters only impacts the constant of proportionality in eq .  .
figure  [ fig : cox_voinov ] shows @xmath209 versus @xmath220 using method ii , for @xmath221 .
the blue ( solid ) line shows the numerical results , and the black ( dashed ) line shows the slope expected if the cox - voinov law is obeyed .
we see that after initial transients @xmath209 decreases with @xmath220 , and the drop spreading approximately satisfies the cox - voinov law for @xmath222 .     for ( a ) @xmath223 and ( b ) @xmath224 .
the black ( dotted ) profile shows the initial condition for @xmath215 .
as in fig .
[ fig : conv_hstar_profiles ] , we plot @xmath216 so that for each curve the @xmath67 range is @xmath217 . ]     for ( a ) @xmath223 and ( b ) @xmath224 .
the black ( dotted ) profile shows the initial condition for @xmath215 . as in fig .
[ fig : conv_hstar_profiles ] , we plot @xmath216 so that for each curve the @xmath67 range is @xmath217 . ]    next , we turn our attention to the precise value of the contact angle . as shown in figs .
[ fig : eq_drop_profile ] and [ fig : spread_profile ] , the actual equilibrium contact angle , @xmath173 , is generally smaller than the imposed angle @xmath6 .
this is due to the fact that eq .
is derived under the assumption of small @xmath42 , while in our simulations the ratio of drop radius and @xmath42 is about 25 . to confirm the above statement
, we analyze in more detail the resulting contact angles as @xmath225 is varied .
we set @xmath196 using method ii , and the resolution is fixed at a uniform @xmath184 .
the value of @xmath42 varies over @xmath226 , @xmath227 , and @xmath228 .
the initial condition is imposed with @xmath181 as in eq .  .
the drop is again permitted to relax to its equilibrium with a fixed time step for 1.75 units of time .
figure  [ fig : conv_hstar_profiles ] shows the equilibrium profiles for various values of @xmath42 . the black (
dotted ) profile is the initial condition for @xmath215 , and is included as a reference .
as @xmath42 is decreased , the equilibrium profiles are characterized by contact angles closer to @xmath6 .
.dependence of @xmath173 on @xmath42 .
we calculate @xmath173 using a circle fit .
the third column gives the relative difference between @xmath173 and @xmath6 .
the fourth column is the @xmath193 norm of the difference between the initial volume fractions @xmath229 and the equilibrium @xmath230 . [
cols="<,<,<,<",options="header " , ]     we quantify the dependence of @xmath173 on @xmath42 in table  [ tab : theta ] . as before ,
we compute the contact angle @xmath173 using a circle fit of the drop after @xmath231 units of time , at a fixed time step for all simulations .
as @xmath42 is reduced , the calculated @xmath173 approaches @xmath196 .
the relative difference between @xmath173 and @xmath6 reduces with @xmath42 approximately linearly .
these measures however depend on the accuracy of the estimation of @xmath173 ; to analyze the convergence more directly , we compare the volume fractions of the initial condition , @xmath229 , with the equilibrium state @xmath230 , using an @xmath193 norm computed as eq .  .
initially , @xmath232 , so this comparison provides a measure of the difference between @xmath173 and @xmath6 .
this difference again decreases approximately linearly with @xmath225 .
finally , we consider the effects of varying @xmath42 for @xmath6 other than @xmath233 .
figure [ fig : dep_hstar_pi4 ] shows the equilibrium drop profiles for @xmath234 and varying @xmath42 , and fig .  [
fig : dep_hstar_3pi4 ] shows the same for @xmath235 . for @xmath223 ,
as @xmath42 decreases , the profile quickly converges to the initial condition and hence the contact angle to @xmath6 , as seen by the comparison of the black ( dotted ) curve with that of @xmath236 in fig .
[ fig : dep_hstar_pi4 ] . for @xmath224
, it can be seen that even for @xmath236 , the drop profile still shows some difference between @xmath173 and @xmath6 .
nonetheless , this plot demonstrates a central advantage of our methods : @xmath173 larger than @xmath233 can be simulated with the van der waals force .
in this paper , we have described a novel approach for including the fluid / solid interaction forces , into a direct solver of the navier - stokes equations with a volume of fluid interface tracking method .
the model does not restrict the contact angles to be small , and therefore , can be used to accurately model wetting and dewetting of fluids on substrates characterized by arbitrary contact angles .
we study the problem of a two - dimensional drop on a substrate and compare the results with the cox - voinov law for drop spreading . these validations and results
illustrate the applicability of our proposed method to model flow problems involving contact lines .
furthermore , our approach has the desirable property of regularizing the viscous stress singularity at a moving contact line since it naturally introduces an equilibrium fluid film .
we have considered two alternative finite - volume discretizations of the van der waals force term that enters the governing equations to include the fluid / solid interaction forces .
these two methods are complementary in terms of their accuracy and the ease of use , and therefore the choice of the method could be governed by the desired features of the results .
in particular , method i discretizations can be straightforwardly extended to the third spatial dimension .
however , we have shown that , when implementing method i , to guarantee accurate results , sufficient spatial resolution of the computational mesh must be used .
we also show that method ii does not suffer accuracy deterioration at low mesh resolutions , and is therefore , superior to method i , and furthermore outperforms method i for spreading drops at all resolutions , albeit being more involved to implement .
the presented approach opens the door for modeling problems that could not be described so far , in particular dewetting and associated film breakup for fluids characterized by large contact angles .
furthermore , the model allows to study the effects of additional mechanisms , such as inertia .
we will consider these problems in future work .
this research was supported by the the national science foundation under grants nsf - dms-1320037 and cbet-1235710 .
the authors acknowledge many useful discussions with javier diez of universidad nacional del centro de la provincia de buenos aires , argentina .
10 url # 1`#1`urlprefixhref # 1#2#2 # 1#1                    b.  derjaguin , l.  landau , theory of the stability of strongly charged lyophobic sols and of the adhesion of strongly charged particles in solutions of electrolytes , acta physico chemica ussr 14 ( 1941 ) 633 .
t.  baer , r.  cairncross , p.  schunk , r.  rao , p.  sackinger , a finite element method for free surface flows of incompressible fluids in three dimensions .
dynamic wetting lines , int .
j. for num . meth . in fluids 33  ( 3 ) .
m.  m. francois , s.  j. cummins , e.  d. dendy , d.  b. kothe , j.  m. sicilian , m.  w. williams , a balanced - force algorithm for continuous and sharp interfacial surface tension models within a volume tracking framework , j. comput .
213 ( 2006 ) 141 .
t.  nguyen , m.  fuentes - cabrera , j.  fowlkes , j.  diez , a.  gonzlez , l.  kondic , p.  rack , competition between collapse and breakup in nanometer - sized thin rings using molecular dynamics and continuum modeling , langmuir 28 .
m.  fuentes - cabrera , b.  rhodes , j.  fowlkes , a.  lpez - benzanilla , h.  terrones , m.  simpson , p.  rack , molecular dynamics study of the dewetting of copper on graphite and graphene : implications for nanoscale self - assembly , phys .
e 83 ( 2011 ) 041603 .