modelling of elliptical galaxies has a long history , extending back to a time when it was taken for granted that elliptical galaxies were axisymmetric and that all of their mass could be accounted for in stars .
we now know that dark matter is a commmon component of galaxies , both at large ( ashman 1992 ) and small ( kormendy & richstone 1995 ) radii , and that triaxial configurations are possible ones for stellar systems ( schwarzschild 1979 ) .    one goal of modern dynamical studies is accordingly to verify the presence of dark matter ; another is to detect departures from axisymmetry .
because triaxial models are difficult to construct , one often begins by looking for simpler models that are consistent with the data .
this `` model - building '' approach is popular since it requires a minimum of thought about the information content of the data : one simply builds a model and checks whether it reproduces the observations .
but one can take a more sophisticated approach , and ask whether the data imply anything definite about the observed stellar system .
for instance , one might attempt to falsify the axisymmetric hypothesis in a model - independent way .
this `` inverse problem '' approach is more difficult but also more rewarding , since it leads to more secure conclusions about the dynamical state of the galaxy .    beginning with binney , davies & illingworth s ( 1990 ) pioneering study ,
a standard scheme has been developed for modelling elliptical galaxies .
one assumes that the observed galaxy is axisymmetric and that the distribution of mass is known  for instance , mass might be assumed to follow light .
the gravitational potential is then derived from this mass distribution using poisson s equation ; the unique two - integral distribution function @xmath1 that reproduces the stellar density in this potential ( or more exactly , the even part of @xmath2 ) can also be found ( lynden - bell 1962 ; hunter 1975 ) .
the odd part of @xmath2 , which determines the rotational velocity field , is usually represented via some ad hoc parametrization .
one then projects this derived @xmath2 back into observable space to find the predicted kinematical variables and compares them with the observations .
if there is agreement , one can claim to have found an axisymmetric model that is consistent with the data .
this technique has been used to reproduce the kinematical data for a few , well - observed elliptical galaxies ( van der marel et al .
1994 ; dehnen 1995 ; qian et al .
but it is difficult to state precisely what has been learned from studies like these .
are the observed galaxies actually characterized by a constant @xmath3 , axisymmetry , and a two - integral distribution function , as assumed ? or might there exist models with spatially - varying @xmath3 s or three - integral @xmath2 s that reproduce the data equally well ? and if no model consistent with the data can be found , which of the various assumptions made in the model - building has been violated ?
a useful comparison can be made here with spherical systems (  2.1 ) . if one assumes that the gravitational potential @xmath4 of a spherical galaxy is known , then the observed velocity dispersion profile can be used to infer the unique dependence of anisotropy on radius ( binney & mamon 1982 ) .
alternatively , one can assume that the distribution of stellar velocities is everywhere isotropic , in which case the velocity dispersion profile implies a unique form for @xmath4 ( merritt & gebhardt 1994 ) .
assuming _ both _
isotropy _ and _ a constant @xmath3 would clearly be an over - determination of the problem , since the two assumptions together imply a unique velocity dispersion profile , and this predicted profile would almost certainly be different from the observed profile  indeed , the kinematical data would not have been used at all in the construction of the model .
but this is precisely what is commonly done in modelling axisymmetric galaxies : one assumes both isotropy in the meridional plane ( i.e. @xmath5 ) as well as an ad hoc form for the potential , and these two assumptions together imply a unique dependence of the mean square velocity on position over the image of the galaxy .
it is unlikely that a model constructed in this way would reproduce the two - dimensional velocity dispersion data ; and if it did not , there would be no clear indication of which assumption had been violated .
it is clearly desirable to think more carefully about the information content of kinematical data in axisymmetric stellar systems . unlike the spherical case , the functions to be derived depend on two spatial variables , but
the kinematical data are likewise two - dimensional , depending on both projected radius and position angle .
many such data sets now exist , for stars in globular clusters ( meylan et al .
1995 ) and in galaxies ( bacon et al .
1994 ) ; emission - line objects around the galactic bulge ( te linkel hekkert et al . 1991 ) and around other galaxies ( hui et al .
1995 ) ; and galaxies in clusters ( colless & dunn 1996 ) .
these data are most often in the form of discrete velocities , and in the best - studied systems , the measured velocities number in the hundreds or even thousands .    here
it is shown (  2.2 ) that the availability of two - dimensional kinematical data allows one to approach the dynamical study of axisymmetric stellar systems as an inverse problem rather than as a model - building problem . from the single _ ansatz _ @xmath5
, one can infer the unique gravitational potential @xmath6 that is consistent with the observed first and second velocity moments of @xmath2 .
the rotational velocity field can likewise be obtained in a model - independent way . by using the kinematical data in the construction of the model , rather than assuming that mass follows light , one thus arrives at the unique pair of functions @xmath7 that are consistent with the two - integral hypothesis . if this unique model can be falsified  for instance , by using line - of - sight velocity distributions , proper motions , or some other data  then
the two - integral , axisymmetric hypothesis will have been convincingly ruled out . in the model - building approach ,
on the other hand , one can not discard the two - integral assumption until one has explored an effectively infinite number of possible forms for the potential (  2.3 ) .
the numerical techniques that are required for converting the velocity data into a map of the potential are rather more subtle than the ones that have been applied up to now in the study of axisymmetric galaxies .
these techniques are accordingly described in some detail (  3.1 ) before applying them to pseudo - data generated from a family of oblate models (  3.2 , 3.3 ) .
although this approach yields the unique potential consistent with the two - integral assumption for @xmath2 , the true potential might be different if @xmath2 depends on a third integral
. however it would be premature to investigate three - integral models until one had first used the algorithms described here , or equivalent ones , to rule out a two - integral model .
having done so , one could then search for the pair of functions @xmath8 , @xmath9 that are most consistent with the data .
this is a hard problem , and even in the spherical geometry there is no published algorithm that can extract @xmath4 and @xmath10 in a completely model - independent way from the data ; the most sophisticated such algorithms are still based on parametrized forms for the potential ( saha & merritt 1993 ; merritt 1993b ) .
the focus here is on situations where the velocities are measured discretely , as would be the case for stars in a globular cluster .
most large , kinematical data sets are of this form .    it is also assumed throughout that the observer lies in the equatorial plane of the observed system .
the reason for this unpleasant assumption is that deprojection of the luminosity density becomes underdetermined if the inclination angle is less than @xmath11 , even if this angle is assumed known ( rybicki 1986 ; gerhard & binney 1996 ) .
one can therefore probably not hope to uniquely infer the dynamical state of an axisymmetric galaxy that is not viewed edge - on .
this fact is routinely ignored in the model - building studies but must be faced squarely if one wishes to solve the inverse problem .    also presented here (  3.4 ) is the first regularized algorithm capable of deriving @xmath1 for an axisymmetric system from its density and potential ( the lynden - bell  hunter problem ) given imperfect or incomplete information about those functions .
our starting point for the axisymmetric inverse problem is the simpler spherical problem .
a spherical stellar system has a distribution function that depends on the orbital energy @xmath12 and angular momentum @xmath13 ( both defined here per unit mass ) .
spherical symmetry in velocity space is assumed as well ; then @xmath14 $ ] , and the radial and azimuthal velocity dispersions are everywhere equal , @xmath15 .    having measured a set of discrete positions and velocities , one can compute smooth approximations to the surface density profile @xmath16 and the line - of - sight velocity dispersion profile @xmath17 .
the function @xmath18 that defines the intrinsic velocity dispersion is then related to the observed velocity dispersions via @xmath19 which when inverted gives @xmath20 here @xmath21 is the spatial density of the kinematical sample , obtained by deprojecting the surface density @xmath16 : @xmath22 the mass within @xmath23 and the potential follow from jeans s equation in spherical symmetry : @xmath24 and the mass density is @xmath25 finally , the unique isotropic distribution function describing the kinematical sample is given by eddington s formula : @xmath26 thus both @xmath2 and @xmath27 follow uniquely from the observed surface density and velocity dispersion profiles , under the sole assumption of spherical symmetry in velocity space . does not imply @xmath28 ; one can construct `` isotropic '' stellar systems with distribution functions that depend on @xmath29 as well . ] here we are treating the stars as if they were ions in an x - ray emitting gas ; the quantity @xmath30 plays the role of @xmath31 in the gas , and no assumption has been made that mass follows light .    in spite of its limitations , this approach has the following things to recommend it .
one begins from a statement of the problem that is fully determined : there is a unique pair of functions @xmath32 that reproduce any set of observed profiles @xmath33 . in practice one
does not measure @xmath16 or @xmath17 precisely , but nonparametric algorithms can be defined which yield estimates @xmath34 that are suitably close to the true functions ( merritt & gebhardt 1994 ) .
the dependence of @xmath27 on @xmath23 is determined from the velocity data , as it should be , rather than being derived from the luminosity density under the always - questionable assumption that mass follows light .
the validity of the single assumption  that @xmath2 is spherically symmetry in velocity space  can be checked .
one simply projects the derived model to find the predicted , joint distribution of positions and line - of - sight velocities : @xmath35dv'^2.\ ] ] if this function is consistent with the observed line - of - sight velocity distribution at every radius , then the model is fully consistent with the data ( assuming that no other relevant data exist ) ; if not , isotropy can be ruled out , independent of any preconceptions about the radial variation of m / l .
often the kinematical data will be insufficient in quality or quantity to produce a statistically significant discrepancy with the computed @xmath36 , because anisotropy generates only slight changes in the form of the line profiles and very high quality data are required to detect these changes ( gerhard 1993 ; merritt 1993b ) .
nevertheless this approach makes manifest a point that is often misunderstood : one can not , in principle , make inferences about the degree of velocity anisotropy in a spherical system from the velocity dispersion data alone , since one can always construct the potential in such a way as to reproduce any observed @xmath17 .    \4 .
for some stellar systems  e.g. globular clusters  the assumption of isotropy in velocity space can be physically motivated .
our goal is to identify a similar inverse problem for axisymmetric stellar systems .
we wish to show that complete knowledge of the line - of - sight velocity moments @xmath37 and @xmath38 on the plane of the sky , and of the surface density @xmath39 of the kinematical population , is equivalent to knowledge of the two - integral distribution function @xmath1 describing that population and of the potential @xmath6 in which it moves  independent of any assumptions about the relative distribution of mass and light .
as discussed above , it is assumed throughout that the observer lies in the equatorial plane of the observed system .
the jeans equations that relate the potential @xmath6 of an axisymmetric system to gradients in the velocity dispersions are @xmath40 here @xmath41 are the usual cylindrical coordinates ; all quantities are assumed independent of @xmath42 .
now set @xmath5 .
the velocity dispersions are then isotropic in the meridional plane , @xmath43 , and the jeans equations reduce to @xmath44    define cartesian coordinates @xmath45 on the plane of the sky , with @xmath46 parallel to the symmetry axis and @xmath47 along the line of sight .
we assume that @xmath48 has been derived from @xmath49 via the usual inversion , unique for an edge - on galaxy ( rybicki 1986 ) .
@xmath6 is still unknown .
but if we multiply the first jeans equation by @xmath50 and the second by @xmath51 and equate , we find a relation between @xmath52 , @xmath53 and @xmath54 that is independent of @xmath27 : @xmath55 this relation may be seen as specifying a unique @xmath52 given @xmath54 and @xmath53 , i.e. @xmath56   dz + \sigma^2(\varpi , z ) .
\label{magic2}\ ] ]    now consider the rotational velocity field .
the mean line - of - sight velocity @xmath57 is related to the internal streaming velocity @xmath58 via the projection integral @xmath59 ( fillmore 1986 , eq .
equation ( [ sigmavy ] ) has inversion @xmath60 { dx\over\sqrt { x^2-\varpi^2}}. \label{nuvphi}\ ] ] note that @xmath53 is completely determined by @xmath61 independent of the two - integral assumption  all that is required here is the assumption of axisymmetry .
the possibility of computing the rotational velocity field via direct inversion of the data has been pointed out ( though never implemented ) by a number of authors including meylan & mayor ( 1986 ) and merrifield ( 1991 ) .
the mean square line - of - sight velocity is @xmath62{\varpi d\varpi\over\sqrt{\varpi^2-x^2 } } \label{disp}\ ] ] ( fillmore 1986 , eq .
the integrand on the right hand side contains the _ two _ unknown functions @xmath63 and @xmath64 , and at first sight does not admit of a unique inversion .
but we have a relation between @xmath63 and @xmath65 , equation ( [ magic2 ] ) .
we can therefore replace @xmath65 in the integrand by a linear expression that depends only on @xmath63 and on @xmath66 .
although no analytic expression for the inverse relation could be found by the author , it will be shown below that @xmath67 is numerically well - determined by this equation .
having derived @xmath67 , @xmath68 then follows from equation ( [ magic2 ] ) , and @xmath69 .
it has thus been shown that @xmath58 , @xmath70 and @xmath71 are determined by the two - dimensional velocity moment data in an edge - on , two - integral system without any assumptions aside from isotropy in the meridional plane .
it follows that the potential @xmath6 and the mass density @xmath72 are also known : the former from equations ( 10 ) or ( 11 ) , the latter from poisson s equation : @xmath73.\ ] ] so derived , @xmath74 will of course not necessarily be proportional to @xmath66 .
finally , there is a unique distribution function @xmath1 describing the kinematical population that reproduces @xmath66 and @xmath53 in the derived potential . as usual , we divide @xmath2 into odd and even parts with respect to @xmath75 : @xmath76.\ ] ] the number density is related to @xmath77 via @xmath78 and the rotational velocity field is related to @xmath79 via @xmath80 these equations imply unique functions @xmath77 and @xmath79 given @xmath66 , @xmath53 and @xmath27 ( lynden - bell 1962 ; hunter 1975 ; dejonghe 1986 ) , although the inverse relations are complex . once again , since mass is not assumed proportional to light , the population described by this @xmath2 will not necessarily have the same spatial distribution as the matter that determines the potential .    practical algorithms for carrying out the inversions , suitable for real ( i.e. noisy and incomplete ) data ,
are described below .
just as in the spherical case , the validity of the assumed relation between @xmath81 and @xmath52 can be verified by computing the full distribution of line - of - sight velocities @xmath82 from the model and comparing with the observed velocity distributions ; or by carrying out the same procedure with the predicted and observed proper motions ; etc .
if these predicted and observed distributions are significantly different , one can conclude that the assumption of isotropy in the meridional plane is not valid ( or that the system is not being viewed edge - on , or is not axisymmetric ) and proceed to investigate more general models .
note that  just as in the spherical case
one can not infer the presence of velocity anisotropy ( @xmath83 ) based on inspection of the velocity dispersions alone , since the potential can always be constructed so as to reproduce the observed dispersions without a third integral .
information about the dependence of @xmath2 on a third integral is contained only in the higher - order moments of the line - of - sight velocity distribution ( or the proper motions ) ; and conversely , there is no need to use that extra information unless one intends to investigate three - integral models  the two - integral problem is fully constrained by the the first and second velocity moments of @xmath2 .
it is interesting to compare this approach to the one pioneered by binney , davies & illingworth ( 1990 ) ; their technique has recently formed the basis of a number of data - based studies by van der marel and collaborators ( van der marel , binney & davies 1990 ; van der marel 1991 ; van der marel et al .
similar approaches to the axisymmetric inverse problem have been worked out by merrifield ( 1991 ) , dejonghe ( 1993 ) , emsellem , monnet & bacon ( 1994 ) , dehnen ( 1995 ) , kuijken ( 1995 ) , and qian et al .
all of these authors assume at the outset that mass follows light ( or that the mass distribution has some other ad hoc form , often including a central point mass ) , and derive the two - dimensional potential from the assumed mass distribution using poisson s equation .
the depth of the potential , or equivalently the mass - to - light ratio , is obtained from the virial theorem .
the observed velocities are not otherwise used in the construction of the model , except insofar as they constrain the form of the odd part of @xmath2 , which is typically represented via some simple parametrization .
the advantage of this method is its simplicity : once the potential is specified , the even part of the distribution function @xmath84 or any of its moments can be obtained ( lynden - bell 1962 ; hunter 1975 ; dejonghe 1986 ) . but
this simplicity is achieved at the cost of having to assume the forms of @xmath6 and @xmath79 at the outset .
it was shown above that the potential follows uniquely from the observed @xmath85 and @xmath86 in a two - integral , edge - on system  one is not free to assume arbitrary functional forms for @xmath27 . furthermore the odd part of @xmath2 can be derived in a model - independent way from the observed rotational velocity field .
it follows that the approach taken by these authors is overdetermined .
models constructed in an assumed potential are unlikely to reproduce a two - dimensional set of velocity dispersions , since the information contained in those data was not used . and if the model should fail to reproduce the kinematical data , the failure could be due to the breakdown of either of two assumptions : that mass follows light , or that @xmath2 depends on only two integrals . in the method described here , on the other hand
, the potential is constructed to have the unique form that is consistent with the two - integral assumption for @xmath2 and with its lowest observable moments .
a failure of the model to reproduce any additional kinematical data could only mean that @xmath87 .
the model - building technique has nevertheless been successfully applied to a few galaxies , notably m32 ( van der marel et al .
1994 ; dehnen 1995 ; qian et al .
1995 ) . but this apparent success should be interpreted with caution .
it is possible that these galaxies satisfy all of the assumptions made in the model building , i.e. axisymmetry , @xmath5 , and @xmath88 constant .
but it is also possible that the published models would fail to reproduce a full , two - dimensional set of velocities if such data were available .
future observations of these galaxies should reveal which of these two possibilities is correct .
of course , binney , davies & illingworth ( 1990 ) were concerned with situations where the kinematical data are confined to just a few cuts across the image of the galaxy . given such limited data , their approach seems entirely justified .
at the same time , our discussion makes clear that  when two - dimensional data _ are _ available , as is increasingly often the case  one can and should infer the kinematics and potential directly from the velocities .
merrifield ( 1991 ) proposed a test for the sufficiency of two - integral models when describing edge - on , axisymmetric galaxies .
his test is based on the assumption that mass follows light , and uses as a discriminant the measured velocity dispersions .
since one can always construct the potential so as to reproduce the velocity dispersion data in a two - integral system , as shown here , conclusions based on merrifield s test are contingent on the assumption that mass follows light .
the formal solutions given above to the axisymmetric inverse problem are of little use when dealing with real data , since the inversion equations are ill - conditioned in the sense understood by statisticians ( miller 1974 ; osullivan 1986 ) .
this means that errors or incompleteness in the data will be amplified when going from data space to model space unless some objective smoothness condition is placed on the solution .
the degree to which errors are amplified depends on the number of effective differentiations that separate the model from the data .
for instance , the distribution function @xmath1 is essentially a second derivative of the number density ( eq . [ fela ] ) which is itself a half - order derivative of the surface brightness ( eq . [ nur ] )  hence the determination of @xmath2 is strongly ill - conditioned even though formally unique .
some authors have ignored this element of the problem and carried out direct deprojections without imposing smoothness constraints .
the results tend to be spectacularly noisy ( e.g. figure 2 of kuijken 1995 ) .
another approach , equally ill - advised , is to replace the data by ad hoc fitting functions for which the inversions can be carried out exactly ( e.g. qian et al .
unless these smooth functions are generated from the data using a nonparametric algorithm , they will contain a bias that is likewise amplified by the inversion .
solutions obtained in this way may look appealing in a @xmath89 sense but are likely to be far from the true solutions .
richardson - lucy iteration ( e.g. dehnen 1995 ) is genuinely nonparametric , going in discrete steps from an initial guess to the ( ill - defined ) solution that would have been obtained via direct inversion of the data .
however the success of this technique depends on the accuracy of the initial guess .
a bad guess will require many iterations before the projected solution approximates the data , at which point the solution is likely to be unacceptably noisy .
one typically halts the iteration before this occurs but the solution so obtained will accordingly be biased in the direction of the initial guess by some unknown amount .
furthermore , solutions obtained in this way tend to achieve their optimal degree of smoothness in one part of solution space while remaining undersmoothed in other parts .
our goal is an algorithm which generates solutions that are characterized by acceptably small values of _ both _ the noise and the bias .
modern nonparametric methods ( mller 1980 ; hrdle 1990 ; wahba 1990 ; scott 1992 ; green & silverman 1994 ) are designed with precisely this goal in mind .
these methods make no assumptions about the global form of the solutions ; they deal with the ill - conditioning by imposing smoothness via an effectively local constraint on the level of fluctuations in the solution , an approach called `` regularization . ''
they thus avoid the pitfalls of both richardson - lucy iteration ( no regularization ) and model fitting ( parametric bias ) .
our focus is on situations where the velocities are measured discretely , as would be the case for stars in a globular cluster , planetary nebulae around a galaxy , galaxies in a cluster , etc .
modifying the algorithms to deal with spatially - continuous data is straightforward .
we assume that the number density profile @xmath48 of the kinematical sample is known .
nonparametric algorithms for estimating @xmath66 in the spherical geometry have been described by merritt ( 1993a ) in the case that the surface brightness is measured directly , and by merritt & tremblay ( 1994 ) in the case that the surface brightness must first be inferred from discrete positions .
these algorithms are easily generalized to the axisymmetric case .
we also continue to assume , as discussed above , that the observer lies in the equatorial plane of the observed system , since otherwise the inverse problem is guaranteed not to have a unique solution ( gerhard & binney 1996 ) .
the inverse problems to be solved here belong to a class of problems that have been well studied by statisticians in the last few years ( e.g. wahba 1990 ) .
let the data be @xmath90 and the model @xmath91 .
the data are related to the model via @xmath92 where the @xmath93 are known linear functionals  in our case , projections  of @xmath91 , and the @xmath94 represent measurement errors or scatter from some other source .
for instance , in the determination of the rotational velocity field @xmath53 , we would have @xmath95 and @xmath96 the observed rotation at point @xmath97 .
if the line - of - sight rotational velocity were measured directly , then @xmath98 and the @xmath94 would be measurement errors .
if instead discrete velocities were measured , then @xmath99 , the observed velocity of the @xmath100th star , and @xmath101 , the deviation ( due both to measurement errors and to the intrinsic velocity dispersion ) of the @xmath100th star s measured velocity from the true mean line - of - sight velocity at point @xmath97 .
we seek a smooth function @xmath102 such that @xmath103 is suitably close to the data .
one possible approach is to construct a continuous approximation to the function represented by the data
e.g. @xmath57  using a kernel or spline smoother , and then to operate mathematically on this function via the inverse operator @xmath104 ( if it exists ) to produce the estimate @xmath105 .
this approach is consistent in the sense defined by statisticians as long as the functions that are fit to the data are asymptotically unbiased , i.e. nonparametric ( wahba 1990 , p. 19 ) , and such an approach has been used with success by merritt & gebhardt ( 1994 ) to solve the dynamical inverse problem in spherical geometry . such an approach will not be followed here because one of the inverse problems that we wish to solve  the recovery of @xmath1 from @xmath66 , @xmath53 and @xmath27  does not have a simple inverse operator . in addition , one sometimes wishes to place physical constraints ( e.g. positivity ) on the solutions and this is extremely difficult to do if the function approximations are carried out in data space rather than solution space .
instead we define our solutions implicitly , as the functions @xmath102 that minimize functionals of the form @xmath106 the first term in equation ( [ opt ] ) measures the fidelity of the model to the data . minimizing this term alone would lead to an unacceptably noisy solution due to the ill - conditioning of the inverse operator .
the second term measures the degree to which the solution is unsmooth .
one standard choice for the `` penalty function '' @xmath107 is @xmath108 ( here and below , a two - dimensional @xmath109 is assumed . )
the function @xmath102 that minimizes equation ( [ opt ] ) with penalty function ( [ penaltya ] ) is the so - called `` thin plate spline '' solution ( duchon 1977 ; meinguet 1979 ) .
remarkably , this solution can be found in essentially analytic form for many simple operators @xmath110 ( wahba & wendelberger 1980 ) .
the qualitative nature of the solution to equations ( [ opt ] ) and ( [ penaltya ] ) depends on the choices of @xmath111 and @xmath112 .
the penalty function acts as a low - pass filter , with @xmath111 controlling the half - power point of the filter and @xmath112 the steepness of the roll - off ( craven & wahba 1979 ) . typically one chooses @xmath113 ; the smoothness of the solution is then controlled by varying @xmath111 .
too large a value for @xmath111 will oversmooth the solution , i.e. reduce its curvature ; too small a value will yield an overly noisy solution .
the larger the data set and the smaller the measurement errors , the smaller the value of @xmath111 that can be profitably used and the more accurate the solution .
thus the bias  the average deviation of the solution from the true function  falls to zero as the sample size @xmath114 is increased . in parametric algorithms , by contrast , the bias remains finite even as @xmath114 tends to infinity , since the adopted parametric form is guaranteed to be incorrect at some level and this incorrectness does not diminish as @xmath114 is increased .
it is for this reason that parametric methods are unsuited to data - based inverse problems .
data are typically incomplete or cover only a limited region .
the use of a penalty function guarantees that the solution will tend toward a predictable form in parts of solution space that are not strongly constrained by the data .
for instance , the thin - plate spline solution with @xmath113 yields a solution that is linear in @xmath115 and @xmath116 wherever the data do not force a different functional form , since any linear function is assigned zero penalty by expression ( [ penaltya ] ) .
this very useful feature of solutions found via penalty functions means that there is never any need to extend or augment the data in ad hoc ways .
nonparametric techniques based on direct smoothing of the data , e.g. via kernels , do not share this nice property .
many variations on this basic scheme exist .
if the data errors are not normally distributed , one can choose the first term in equation ( [ opt ] ) to be some more robust measure of the fidelity of the model to the data .
such a modification would be appropriate in the study of galaxy cluster dynamics where interlopers are common .
another variation is to modify the form of the penalty function .
the simplest such variation is to add a factor @xmath117 with @xmath118 some positive constant ; changing @xmath118 is equivalent to changing the units in which @xmath116 is measured .
one can also include in the penalty function a weighting function @xmath119 that is large where the solution @xmath91 is expected to be small , thus encouraging the fluctuations in the solution to remain a fixed fraction of @xmath91 in amplitude everywhere .
finally , one can replace the differential operator @xmath120 by some more complicated operator , which defines as `` perfectly smooth '' some different class of functions ( e.g. silverman 1982 ) .    for many choices of @xmath107 , including the thin plate penalty function defined above , the quantity to be minimized is quadratic in @xmath91 .
this means that a standard quadratic programming routine ( rustagi 1994 ) can be used to find the solution on some grid in model space .
the use of a quadratic programming algorithm also allows the easy imposition of linear constraints , such as positivity , on the solution if desired .
there is a huge literature concerning the choice of the smoothing parameter @xmath111 .
while `` objective '' schemes exist , a standard practice is to slowly decrease @xmath111 until the solution begins to exhibit small - scale fluctuations , then stop .
consider first the recovery of the rotational velocity field in the meridional plane @xmath58 .
we seek the function @xmath121 that minimizes @xmath122 d\varpi dz ,   \label{opta}\ ] ] with @xmath123 the measured velocities and @xmath124 we choose @xmath53 as our function to be optimized rather than the physically more natural choice @xmath125 , since @xmath53 is expected to be a more nearly linear function of the coordinates and hence better suited to a second - derivative penalty function .
we begin by defining a cartesian grid in model space , @xmath126 , @xmath127 , and @xmath128 , @xmath129 .
the variables to be solved for are the @xmath130 values @xmath131 of the rotational velocity on the grid .
the derivatives and integrals on the right hand side of ( [ opta ] ) can easily be represented as linear combinations of the @xmath131 using standard expressions from numerical analysis ; for details from a very similar problem , see merritt & tremblay ( 1994 )
. placing the @xmath131 into a linear vector @xmath132 , one can then write @xmath133 where the quantities @xmath134 , @xmath135 and @xmath136 are straightforward to compute but messy and will not be given here .
the resulting expression is quadratic in the unknowns , and the constraints @xmath137 are linear .
the values @xmath138 that minimize @xmath89 can accordingly be found via quadratic programming .
figure 1 shows an estimate of @xmath139 derived using 5000 discrete velocities drawn randomly from an oblate model belonging to lynden - bell s ( 1962 ) family .
the adopted model is the flattest one consistent with non - negative @xmath2 , having @xmath140 in lynden - bell s notation and @xmath141 in the notation of dejonghe ( 1986 ) .
( these models have non - constant ellipticity , becoming spherical at large radii for all values of @xmath142 . )
the odd part of @xmath2 , which specifies the degree of ordered motion , was set to the function derived in the appendix of lynden - bell s paper when generating the monte - carlo data .
the resultant rotational velocity field has @xmath143 everywhere , an `` oblate isotropic rotator . ''
note that even this extreme model from lynden - bell s sequence is only mildly flattened , except very near the center , and the rotation is correspondingly small ; the peak rotation velocity is only about one half of the central , one - dimensional velocity dispersion . in spite of the small signal
, however , the inversion algorithm recovers the rotational velocity field reasonably well near the center ; the main defect is a too - shallow rise of the rotation velocity near @xmath144 , an inevitable result of the smoothing .
this example suggests that data sets consisting of a few thousand velocities are none too large for recovering the rotational velocity field of an axisymmetric system in a model - independent way .
we now wish to make estimates of @xmath71 and @xmath70 .
we search for the functions @xmath145 and @xmath146 that minimize @xmath147 ^ 2 \nonumber \\ & + & \lambda\int\int\left[\left({\partial^2 \sigma^2\over \partial\varpi^2 } \right)^2 + 2\left({\partial^2 \sigma^2 \over
\partial\varpi\partial z } \right)^2 + \left({\partial^2 \sigma^2 \over \partial z^2}\right)^2\right ] d\varpi dz \nonumber \\ & + & \lambda\int\int\left[\left({\partial^2\overline{v^2_{\phi}}\over \partial \varpi^2}\right)^2 + 2\left({\partial^2 \overline{v^2_{\phi}}\over\partial\varpi \partial z}\right)^2 + \left({\partial^2 \overline{v^2_{\phi } } \over \partial z^2 } \right)^2\right ] d\varpi dz \label{optb}\end{aligned}\ ] ] subject to the constraints of equation ( [ magic ] ) : @xmath148 as well as the usual positivity constraints . the operator @xmath93 is now defined as @xmath149 { d\varpi\over\sqrt{\varpi^2-x_i^2}}. \label{projb}\ ] ] if the velocities contain measurement errors , these should be subtracted in quadrature from the @xmath123 .
we define a double grid in @xmath150 , with the first @xmath130 points containing the @xmath63 values and the second @xmath130 points the @xmath65 values . the constraints ( [ magic3 ] )
are approximated via finite - difference derivatives , which have the effect of linking together the values on the two grids . finally ,
one obtains @xmath52 via @xmath151 , with @xmath152 having been recovered in the previous step .    before applying the algorithm to pseudo - data
, one would like some assurance that the information contained in the observed mean - square velocity field @xmath86 is sufficient , in principle , to uniquely constrain both @xmath71 and @xmath70 .
ideally this hypothesis would be demonstrated by finding analytical expressions for the inverse relations .
such expressions could not be found ( which may simply reflect limitations in the author s mathematical abilities ) , and instead the case will here be made numerically .
figure 2 shows how the integrated square error in the solutions @xmath153 , @xmath154 , @xmath155 depends on the degree to which the constraints ( [ magic3 ] ) are imposed .
that is , these constraints were replaced by @xmath156 with the parameter @xmath157  a constant at all points on the solution grid  determining how stringently the contraints are imposed .
the algorithm was given as input the exact values , on a grid , of the mean square velocity @xmath86 of the rotating oblate model of figure 1 .
solutions were then obtained as a function of @xmath158 .
figure 2 demonstrates that the error in the solutions tends to zero along with @xmath158 , which suggests  at least for this particular model  that the constraints ( [ magic3 ] ) contain just enough information to yield the correct inversion .
this experiment was repeated for a number of other models from the lynden - bell sequence of models . for each model examined , the solution with @xmath159 was found to be extremely close to the true solution .
these experiments hardly constitute a rigorous proof that the inversion is uniquely defined for every possible two - integral oblate model , however .    figures 3a and 3b
illustrate the recovery of @xmath71 and @xmath70 given the same 5000 velocities drawn from the rotating oblate model of figure 1 .
given the uniqueness , just demonstrated , of the inversion for this model , the discrepancies apparent in the numerical solutions of figure 3 are primarily due to the finiteness of the data set rather than to any limitations of the algorithm .
different , 5000-velocity monte - carlo realizations of the same model were found to yield solutions that were different in their details but that had roughly the same average error .
the gravitational potential is obtained by applying either of equations ( 10 ) or ( 11 ) , in finite - difference form , to the derived @xmath54 and @xmath52 .
the result is shown in figures 3c and 3d .
the derived potential is remarkably similar to the correct one except for slightly reduced gradients , again an unavoidable result of the smoothing .
we now want to find the functions @xmath84 and @xmath160 that generate the estimated number density @xmath161 and rotational velocity field @xmath162 in the reconstructed potential @xmath163 .
this is a simpler version of a problem solved in merritt ( 1993b ) , and we follow a similar approach here .
a rectangular grid is defined in @xmath164-space , and the unknowns @xmath165 and @xmath166 are assumed constant over each cell ( figure 4 ) . the configuration - space density at any point @xmath167 is the sum of the contributions @xmath168 , for each cell such that @xmath169}$ ] .
( cells that lie partly below and partly above this curve contribute by an amount proportional to the area that lies below the curve . ) similarly , each cell contributes @xmath170 to the estimate of @xmath171 .
the quantity to be minimized is @xmath172 de dl_z ,   \label{optc}\end{aligned}\ ] ] in the case of @xmath77 , and @xmath173 de dl_z ,   \label{optd}\end{aligned}\ ] ] in the case of @xmath79 .
the integrals are understood to extend over the region in the @xmath164 plane such that @xmath174 , where @xmath175 is the maximum value of @xmath75 attainable at energy @xmath12 ( fig .
4 ) . the smoothing parameters @xmath176 and @xmath177 are allowed to depend on the energy since @xmath2 falls off much more rapidly than linearly with @xmath12 , and a penalty function with constant @xmath111 would not strongly penalize a solution that was smooth at large @xmath178 but noisy for @xmath179 .
furthermore , a different degree of smoothing is permitted in the @xmath12 and @xmath75 directions since @xmath2 is expected to be much more homogeneous in @xmath75 than in @xmath12 .
figure 5 illustrates the recovery of @xmath77 and @xmath79 using the approximations to @xmath6 and @xmath53 obtained in the previous sections .
the smoothing parameters were chosen to vary as @xmath180 , with @xmath181 .
once again , the only obvious systematic error takes the form of a bias due to the smoothing .
the derivation of @xmath1 given @xmath48 and @xmath182 is a classical problem in stellar dynamics .
lynden - bell ( 1962 ) , hunter ( 1975 ) and dejonghe ( 1986 ) demonstrated the uniqueness of the solution , and recently hunter & qian ( 1993 ) have presented an elegant algorithm for carrying out the inversion given analytic expressions for @xmath66 and @xmath27 .
hunter & qian s algorithm is not regularized and hence not suitable for use with real data .
it has nevertheless been applied in this way , after first replacing the data with analytic models ( qian et al .
this approach is dangerous at best since any slight error in the choice of fitting functions will be amplified enormously by the inversion operator .
solutions so obtained for @xmath2 may be smooth and physically appealing , but they are unlikely to be close to the true solutions .    from a numerical point of view , the only non - trivial aspect of solving the lynden - bell  hunter problem is the regularization ; the inversion itself is essentially just a matrix operation once the integral operator has been represented via some discrete approximation .
much effort has been directed recently toward refining the discretization ( kuijken 1995 ) or the inversion ( hunter & qian 1993 ) , with curiously little attention paid to the more crucial question of regularization .
given measurements of the line - of - sight rotational velocity and the velocity dispersion over the two - dimensional image of an edge - on , axisymmetric galaxy , one can derive the unique functions @xmath6 and @xmath1 that reproduce those data , without the necessity of assuming that mass follows light .
the validity of such a model can then be tested using other data , such as the full line - of - sight velocity distributions or the proper motions .
failure to reproduce the data using this method would imply that @xmath2 depends on a third integral of motion ( or that one of the geometric assumptions , axisymmetry or zero inclination , was violated ) .
this approach is a generalization of the one pioneered by binney , davies and illingworth ( 1990 ) which assumes that mass follows light and which derives both @xmath27 and @xmath2 from the luminosity distribution alone , without using the kinematical data except in the normalization of @xmath27 .
we have presented numerical algorithms , suitable for use with noisy and incomplete data , for carrying out the required inversions and shown that they provide smooth and accurate estimates of @xmath2 and @xmath27 using simulated data sets derived from oblate models .
the second - derivative penalty functions adopted here are almost certainly non - optimal and it would be worthwhile to investigate more general forms .
in addition , it is possible that the solutions to the roughness - penalized inverse problems defined here can be found analytically , as in wahba & wendelberger ( 1980 ) .    \3 .
as shown most recently by gerhard & binney ( 1996 ) , the axisymmetric inverse problem becomes under - determined when the stellar system is viewed from a direction that is not parallel to the symmetry plane .
additional information must therefore be added if one is to solve the inverse problem for an arbitrary orientation .
( one would also like to _ infer _ that orientation from the data .
) there is at present no clear understanding of what form that extra information should take .
one can define an alternate inverse problem based on the _ ansatz _ that mass follows light , or more generally that the form of the potential @xmath6 is known a priori ; for instance , the potential might be derived from x - ray data , from the statistics of gravitational lensing , etc .
this is of course the usual assumption that is made when modelling axisymmetric galaxies ; however the goal would be to learn something unique about the degree of velocity anisotropy @xmath184 from the velocity moment data , as in the analogous spherical problem ( binney & mamon 1982 ) .
unfortunately one can show that the assumption of a known potential is _ not _ sufficient in itself to uniquely constrain the anisotropy , even for an edge - on system ; one must make additional assumptions , e.g. that the velocity ellipsoid is everywhere aligned with the coordinate axes .
nevertheless , more work along these lines would help to elucidate the more difficult inverse problem for a three - integral @xmath2 .
this work was supported by nsf grant ast 90 - 16515 and nasa grant nag 5 - 2803
. t. fridman kindly assisted in the plotting of the figures .
i thank w. dehnen and o. gerhard for lively discussions on the topic of axisymmetric modelling , and for pointing out some mathematical errors in an early version of the paper .
i also thank h. dejonghe for many useful insights on problems of this sort .
ashman , k. 1992 , pasp , 104 , 1109 bacon , r. , emsellem , e. , monnet , g. & nieto , j. l. 1994 , aap 281 , 691 binney , j. , davies , r. & illingworth , g. 1990 , apj , 361 , 78 binney , j. & mamon , g. a. 1982 , mnras , 200 , 361 colless , m. & dunn , a. m. 1996 , apj , 458 , 435 craven , p. & wahba , g. 1979 , numer .
31 , 377 dehnen , w. 1995 , mnras , 274 , 919 dejonghe , h. 1986 , phys .
133 , 217 dejonghe , h. 1993 , in galactic bulges , iau symp .
h. dejonghe & h. j. habing ( kluwer : dordrecht ) , 73 de zeeuw , p. t. 1985 , mnras , 216 , 273 duchon , j. 1977 , in constructive theory of functions of several variables ( springer : berlin ) , 85 emsellem , e. , monnet , g. , & bacon , r. 1994 , aap , 285 , 723 fillmore , j. a. 1986 , aj , 91 , 1096 gerhard , o. 1993 , mnras , 265 , 213 gerhard , o. & binney , j. 1996 , preprint green , p. j. & silverman , b. w. 1994 , nonparametric regression and generalized models ( chapman & hall : london ) hrdle , w. 1990 , applied nonparametric regression ( cambridge university press : cambridge ) hui , x. , ford , h. , freeman , k. c. & dopita , m. 1995 , apj 449 , 592 hunter , c. 1975 , aj , 80 , 783 hunter , c. & qian , e. 1993 , mnras , 262 , 401 kormendy , j. & richstone , d. 1995 , ann .
, 33 , 581 kuijken , k. 1995 , apj , 446 , 194 kuzmin , g. g. & kutuzov , s. a. 1962 , bull .
abastumani ap .
27 , 82 lynden - bell , d. 1962 , mnras , 123 , 447 meinguet , j. 1979 , j. appl .
math . phys .
30 , 292 merrifield , m. r. 1991 , aj , 102 , 1335 merritt , d. 1993a , in structure , dynamics and chemical evolution of elliptical galaxies , ed . i. j. danziger , w. w. zeilinger & k. kjr ( eso : garching ) , 275 merritt , d. 1993b , apj , 413 , 79 merritt , d. & gebhardt , k. 1994 , in clusters of galaxies , proceedings of the xxixth rencontre de moriond , ed . f. durret , a. mazure & j. tran thanh van ( editions frontiere : singapore ) , p. 11 .
merritt , d. & saha , p. 1993 , apj , 409 , 75 merritt , d. & tremblay , b. 1994 , aj , 108 , 514 meylan , g. & mayor , m. 1986 , aa 166 , 122 meylan , g. , mayor , m. , duquennoy , a. & dubath , p. 1995 , aa 303 , 761 miller , g. f. 1974 , in numerical solution of integral equations , ed .
l. m. delves & j. walsh ( clarendon press : oxford ) , 175 .
mller , h .-
1980 , nonparametric regression of longitudinal data ( springer : berlin ) osullivan , f. 1986 , stat .
sci . 1 , 502 qian , e. e. , de zeeuw , p. t. , van der marel , r. p. & hunter , c. 1995 , mnras , 274 , 602 rustagi , j. s. 1994 , optimization techniques in statistics ( academic press : boston ) rybicki , g. b. 1986 , in structure and dynamics of elliptical galaxies , iua symp .
p. t. de zeeuw ( kluwer : dordrecht ) , 397 scott , d. w. 1992 , multivariate density estimation , new york : john wiley & sons schwarzschild , m. 1979 , apj , 232 , 236 silverman , b. 1982 , ann .
stat . , 10 , 795 te linkel hekkert , p. , caswell , j. l. , habing , h. j. , haynes , r. f. & norris , r. p. 1991
, aap suppl .
90 , 327 van der marel , r. p. 1991 , mnras , 253 , 710 van der marel , r. p. , binney , j. & davies , r. 1990 , mnras , 245 , 582 van der marel , r. p. , evans , n. w. , rix , h .- w . , white , s. d. m. & de zeeuw , t. 1994 , mnras , 271 , 99 wahba , g. 1990 , spline models for observational data ( siam : philadelphia ) wahba , g. & wendelberger , j. 1980 , monthly weather review , 108 , 1122    recovery of the rotational velocity field @xmath58 given 5000 velocities derived from an oblate , lynden - bell ( 1962 ) model with maximum flattening .
heavy contours : estimated @xmath53 ; thin contours : exact @xmath53 .
recovery of the velocity dispersions and potential from the same data used fig .
heavy contours : estimated values ; thin contours : exact values .
( a ) @xmath54 ; ( b ) @xmath52 ; ( c ) @xmath27 ; ( d ) @xmath185 .
grid - based scheme for recovery of @xmath84 .
( a ) solution grid .
upper curve is the maximum @xmath75 as a function of @xmath12 ; lower curve is the characteristic curve for a given @xmath167 .
( b ) projection of a single @xmath164 grid cell into @xmath167-space .


the recent discovery of strongly coupled quark - gluon plasma at rhic @xcite has spurred a significant theoretical effort towards understanding the properties of matter described by strongly coupled quantum field theories at finite temperature .
the transport properties of such theories are much more sensitive to the strength of the coupling than stationary thermodynamic properties .
in particular , the near perfect fluidity in such theories is viewed as a tell - tale sign of the strong coupling .
the transport properties of a theory are closely related to the spectral functions of the operators such as stress - energy tensor .
in particular , viscosity can be determined from the low frequency limit of the spectral function by the well - known kubo formula .
the first - principles calculation of the spectral functions using lattice monte carlo techniques is a challenging task  @xcite , especially in the low - frequency regime , and the prior knowledge of the properties of spectral functions is essential .
therefore , constraints on the spectral functions in the form of the sum rules for the integral of the spectral function has been the subject of recent attention@xcite .
the discovery of the ads / cft holographic correspondence@xcite has opened new possibilities to study thermodynamics and transport in strongly coupled theories ( for reviews see @xcite ) . although not yet directly applicable to qcd , at least until we know its holographic dual , these methods allow one to study generic properties of the strongly coupled plasmas using model theories , such as @xmath0 susy ym , or holographic models which incorporate qcd - like features such as confinement
. in particular , the shear channel sum rule derived in @xcite has been verified in the @xmath1 susy ym using ads / cft correspondence .    in this paper , we concentrate on the sum rule for the spectral function in the bulk channel , corresponding to uniform dilatation or isotropic expansion .
the bulk channel sum - rule is trivial in a conformal theory such as @xmath1 susy ym .
however , nontrivial sum rules in qcd do exists and have been a subject of recent studies @xcite . unlike the shear channel , the bulk channel correlation function ( and associated bulk viscosity ) is sensitive not only to the strength of the coupling , but also to the amount of the scaling violation .
therefore we consider a holographic model with the simplest mechanism of conformality violation , which is similar to qcd .
we shall assume that this model describes field theories where scale invariance is broken by the presence of a scalar operator @xmath2 with dimension @xmath3 in the action .
the scale anomaly , @xmath4 , is proportional to this operator , and in qcd this role is played by the gluon condensate operator @xmath5 .
thermodynamics and transport in such theories have been first studied in ref .
in particular , it has been shown that the speed of sound @xmath6 approaches the conformal value @xmath7 universally from _ below _
@xcite .
the bulk sum rule has been also tested recently in ref .
@xcite in a theory whose holographic dual is a dilaton gravity with the chamblin - reall dilaton potential  @xcite , which has the virtue of being analytically tractable .
however , the mechanism of the scaling violation in such a putative field - theory ( if the field - theory dual exists ) would differ from that in qcd .
in particular , the speed of sound does not approach its conformal value in the high - temperature limit .    in the general class of theories we consider
, we shall find that the temperature dependent part of the bulk spectral function @xmath8_t}}$ ] obeys the following sum rule @xmath9_t}}}{\omega } d\omega.\ ] ] in the limit when the operator @xmath10 becomes marginal , @xmath11 , the sum rule coincides with the sum rule in qcd , derived in @xcite .
we shall also find that in this limit , which we shall refer to as marginal , the sum rule in eq .
( [ eq : sum - rule - dplus ] ) exhibits the same puzzle as discussed in refs.@xcite in the context of qcd : the l.h.s . of the sum rule
is of order @xmath12 , while @xmath13 , where @xmath14 is the qcd coupling . here , in the marginal limit , the l.h.s .
of eq.(1 ) is of order @xmath15 while @xmath16 , where @xmath17 we shall demonstrate that a delicate cancellation indeed occurs between the high frequency tail of the integral , @xmath18 , and the intermediate region of @xmath19 , of the kind needed to occur in qcd . keeping only the leading @xmath20 terms in @xmath21_t}}$ ] , we find that the integral in eq .
( [ eq : sum - rule - dplus ] ) converges .
however , the integral over the contribution of the subleading @xmath22 terms in @xmath21_t}}$ ] has support over an interval of @xmath23 which stretches to infinity as @xmath24 in the marginal limit @xmath25 .
we evaluate the resulting additional @xmath26 contribution from this long tail to the r.h.s .
( [ eq : sum - rule - dplus ] ) analytically and show that it cancels the @xmath20 contribution from the @xmath19 region .
this paper is organized as follows .
in the next section , we present the definitions of quantities involved in the sum rule and its derivation . in section  [ sec : sum - rule ] , we derive the sum rule , eq .
( [ eq : sum - rule - dplus ] ) , in the general class of theories we consider .
section  [ sec : holographic - model ] introduces the holographic description of such theories .
section  [ sec : two - point - functions ] explains our method of calculating the spectral function and the related green s functions . in section  [ sec : large - freq - asympt ] , we make analytical calculation of the large @xmath23 asymptotics of @xmath27 , which we use in section  [ sec : spec ] to subtract from the numerically determined @xmath27 to obtain @xmath8_t}}$ ] .
the sum rule is verified numerically in section  [ sec : sum ] for a sample of values of @xmath28 .
we demonstrate the cancellation required to satisfy the sum rule in the marginal limit in section  [ sec : sum ] .
cross - check of the results with the existing analytical result for bulk viscosity ( ref.@xcite ) is made in section  [ sec : viscosity ] .
we conclude in section  [ sec : conc ] .
appendix  [ sec : appa ] contains the relevant results from  @xcite , used throughout the paper .
we shall consider only the response to homogeneous ( @xmath29 ) perturbations and define the spectral function for the trace of the stress - energy tensor @xmath30 , as usual , by @xmath31\rangle.\end{aligned}\ ] ] the definition of the retarded green s function @xmath32 is subject to the usual ambiguity due to the contribution of the product of the operators at the same point at @xmath33 .
however , these contact terms do not have imaginary parts and do not contribute to @xmath34 .
it is convenient , as in @xcite , to define green s functions of @xmath30 by considering the response of the system to the perturbation of the background metric @xmath35 around the flat minkowski metric @xmath36 .
euclidean time correlators can be obtained similarly from variations of the euclidean partition function @xmath37 $ ] : @xmath38=\frac12 \int\ !
d^4x\ , \langle t^{\mu\nu}(x)\rangle \delta g_{\mu\nu}(x )   + \frac18\int\!\!\int\ !
d^4x\ , d^4y\ , \langle t^{\mu\nu}(x)t^{\lambda\rho}(y)\rangle\ , \delta g_{\mu\nu}(x)\delta g_{\lambda\rho}(y ) + { \cal o}(g^3).\ ] ] the correlation functions of the trace @xmath39 can be also defined via variations of the partition function with respect to the metric variations of a special form ( dilatations ) : @xmath40 @xmath41=-\int\ !
d^4x\ , \langle\theta(x)\rangle \omega(x )   + \frac12\int\!\!\int\ !
d^4x\ , d^4y\ , \langle\theta(x)\theta(y)\rangle\ , \omega(x)\omega(y ) + { \cal o}(\omega^3).\ ] ] the two definitions of the two - point function of the trace differ by a contact term : @xmath42    the corresponding retarded correlators can be defined via linear response to perturbation @xmath43 : @xmath44 the definition ( [ eq : gr - theta ] ) is convenient because the value of its fourier transform ( for @xmath29 ) @xmath45 at vanishing frequency @xmath23 follows from the conservation of entropy in the ideal hydrodynamics @xcite : @xmath46 where @xmath47 is the entropy density .
the sum rule derived in @xcite applies to the zero temperature subtracted green s function @xmath48_t } } \equiv g_r - g_r^{(t=0)}\ ] ] and its imaginary part on the real axis @xmath21_t}}=-{\rm im}\,{{\left[g_r\right]_t}}$ ] : @xmath49_t } } -{{\left[g_r(0)\right]_t } } = \frac2\pi \int_0^\infty \ !
d\omega\ , \frac{{{\left[\rho\left(\omega\right)\right]_t}}}{\omega}.\ ] ] using eq .
( [ eq : theta - theta-0-ds ] ) and @xmath50_t } } = 3p-\epsilon$ ] , one can write @xmath51_t } } = - \left ( 3 s \frac{\partial}{\partial s } -4\right)(\epsilon-3p)\ ] ] where @xmath52_t}}$ ] and @xmath53_t}}$ ] are equilibrium thermal energy and pressure at given entropy density @xmath47 . in qcd , due to the asymptotic freedom , @xmath54_t}}=0 $ ] and
one obtains the sum rule found in @xcite : @xmath55_t}}}{\omega}\ ] ]    in this paper , we consider a generic conformal field theory perturbed by an operator @xmath10 of dimension @xmath56 sourced by the field @xmath57 .
we place this theory on a nontrivial gravitational background given by metric @xmath58 .
the change of the partition function of the theory under dilatations ( [ eq : g - omega ] ) is equivalent to the rescaling of the only dimensionful external field @xmath57 , the source of the operator @xmath10 : @xmath59 = z[g(0),e^{-{\delta_-}\omega}c],\ ] ] where @xmath60 .
thus @xmath61 thus @xmath62 and @xmath63 to evaluate the fourier transform of the correlation function  ( [ eq : theta - theta - o ] ) at large ( imaginary ) frequency @xmath23 , we can use the operator product expansion ( ope ) for @xmath64 .
the leading contribution comes from the unit operator , and behaves as @xmath65 , but cancels in @xmath66_t}}$ ] because it is independent of temperature .
the contribution of an operator of dimension @xmath67 comes with the wilson coefficient which behaves as @xmath68 . assuming that there are no operators ( with vacuum quantum numbers ) of dimension equal to or lower than @xmath69
, we conclude that the contribution of the first term in eq .
( [ eq : theta - theta - o ] ) vanishes in the @xmath70 limit .
the assumption implies , in particular , that @xmath3 , i.e. , @xmath71 . the contribution of the last term in eq .
( [ eq : theta - theta - o ] ) then gives the value for @xmath72 : @xmath73_t } } = -{{\left[\langle\theta\theta\rangle(i\infty)\right]_t } } = \delta_-^2\ , c\ { { \left[\langle{{o}}\rangle\right]_t } } = \delta_-\,(\epsilon-3p),\ ] ] where we used the fact that analytical continuation of a retarded correlation function to matsubara frequencies on the imaginary axis equals negative of the euclidean correlator .
we shall verify eq .
( [ eq : gr - infty ] ) explicitly and analytically in the holographic model .
combining eqs .
( [ eq : delta - t - gr-0 ] ) ,  ( [ eq : gr - infty ] ) and  ( [ eq : sum - rule ] ) we obtain eq .
( [ eq : sum - rule - dplus ] ) .
as discussed above , we will consider a four - dimensional ( 4d ) conformal theory in which the conformal symmetry is broken by the operator @xmath10 with scaling dimension @xmath56 .
the holographically dual description of such a theory must therefore include a five - dimensional ( 5d ) scalar field with mass @xmath74 . as a model for the qcd thermodynamics ,
such a theory was first considered in @xcite .
it models in the most straightforward way the breaking of the scaling invariance in qcd .
the minimum set of fields required to describe correlators of the stress energy tensor and of the operator @xmath10 include the 5d metric @xmath75 ( @xmath76 and the scalar field ( dilaton ) @xmath77 .
the minimal action is thus given by @xmath78 , \end{split}\ ] ] where @xmath79 is the ricci scalar , @xmath80 is the determinant of the metric , @xmath81 is the determinant of the induced metric on the uv boundary @xmath82 at @xmath83 , @xmath84 is the extrinsic curvature on @xmath85 , and @xmath86 is the 5d einstein gravitational constant .
the value of @xmath86 is inversely proportional to the number of the degrees of freedom in the dual four - dimensional theory , e.g. , @xmath87 in a gauge theory with large number of colors @xmath88 .
the smallness of @xmath86 ( i.e. , the largeness of the number of colors ) controls the semiclassical approximation which we use .
the last term in the action is the gibbons - hawking term , which removes the boundary terms arising upon integration by parts of the terms in @xmath79 linear in second derivatives of the metric  @xcite .
the potential for the dilaton , @xmath89 , is the function which was tuned in  @xcite to best `` mimic '' the qcd equation of state . here , similarly to @xcite , we shall concentrate on the results which are universal in the class of models described by eq .
( [ eq : s5 ] ) with any ( sensible ) potential .
for example , ref .
@xcite found that the speed of sound approaches the conformal value @xmath7 as @xmath90 universally from below in such theories .
here we shall also make use of the large @xmath91 limit to the extent that it makes only the curvature of the potential @xmath92 matter .
the negative cosmological constant provided by choosing @xmath93 ensures necessary asymptotics of the metric near the boundary @xmath94 while the dilaton field asymptotics is fixed by @xmath95 : @xmath96 . the singular behavior at @xmath83 can be regulated by setting the boundary conditions at @xmath97 and taking the uv regulator @xmath98 to 0 after necessary renormalization .
the rules of the holographic correspondence require us to extremize the action @xmath99 w.r.t .
the metric and the dilaton field subject to the boundary conditions on the uv boundary @xmath100 : @xmath101
the holographic duality then implies that the extremal value of the euclidean 5d action as a functional of the boundary values @xmath102 and @xmath103 is the same functional as @xmath104 $ ] in the 4d theory . in order to calculate the green s function
@xmath105 we use eq .
( [ eq : theta ] ) and the relationship ( [ eq : z - g - tmunu ] ) between the derivatives of @xmath106 and the correlators of @xmath30 .
the one - point functions @xmath107 are determined by the solutions of the equations of motion with boundary conditions homogeneous in the 4d coordinates @xmath108 .
we follow ref .
@xcite to determine the solution to the equations of motion homogeneous in 4d . in the gauge chosen in ref .
@xcite , the metric has the form @xmath109 where @xmath110 and @xmath111 are functions only of the extra dimensional coordinate @xmath112 , and @xmath110 has a simple zero at some value of @xmath113 .
the functions , @xmath114 and @xmath115 , and the background dilaton field , @xmath77 , are all determined by extremizing the action .
the details can be found in @xcite and for completeness presented in appendix [ sec : appa ] .
the extremum of the action with boundary conditions  ( [ eq : b - c ] ) is a one - parameter family of solutions to the equations of motion .
a convenient choice of the parameter is the enthalpy density , @xmath116 , which arises as an integration constant ( see eq .
( [ eq : ein2b ] ) ) .
the temperature is determined , as usual , by considering the periodicity in the euclidean time necessary to avoid conical singularity at @xmath113 : @xmath117 and is related to @xmath116 via equation of state ( see e.g. eq .  ( [ eq :
w - t ] ) ) .
the calculation of two - point correlation functions requires us to consider non - homogeneous solutions to the equations of motion .
we only need to consider infinitesimal variations around the homogeneous solution ( [ eq : metric ] ) and expand the action @xmath99 to quadratic order in these variations .
we parameterize these inhomogeneous solutions as @xmath118 where summation over @xmath119 is not implied .
we exercise the freedom of the gauge choice to set @xmath120 , i.e. , we set variations of @xmath77 around homogeneous solution to 0 ( we can do this as long as we are not interested in calculating correlation functions of @xmath10 , i.e. , as long as @xmath57 remains homogeneous ) . we find that this gauge choice provides nontrivial simplification of the equations of motion , allowing us to reduce them to a second order equation for metric variation @xmath121 , instead of the third .
we then consider solution homogeneous in the spatial coordinates @xmath122 , and depending only on @xmath123 and @xmath112 , since we are interested in @xmath29 variations of @xmath58 .
for such solutions we can use the remaining gauge freedom to set @xmath124 , but not @xmath125
.    we can also use @xmath126 symmetry to simplify our analysis by separating the spatial part of metric perturbations into trace and traceless parts : @xmath127 at quadratic order , @xmath121 mixes with components @xmath128 and @xmath125 , but decouples from the traceless part @xmath129 as well as from the off - diagonal components @xmath130 .
therefore , we shall focus only on the metric perturbations @xmath121 , @xmath128 and @xmath125 .
we can express the coupling of the metric perturbation to @xmath30 as @xmath131 where @xmath132 is the trace and @xmath133 is the traceless part of the _ stress _
tensor @xmath134 . the two - point function @xmath105 in eq .  (
[ eq : theta ] ) , since @xmath135 , can be expressed in terms of correlation functions of @xmath136 and @xmath137 using @xmath138 the corresponding retarded correlators can be found using holographic correspondence and the recipe  @xcite : @xmath139 since we need the fourier transform of @xmath105 it would be convenient to express @xmath99 directly in terms of the fourier modes of @xmath140 defined as @xmath141    the metric perturbations @xmath121 , @xmath125 and @xmath128 , defined by eqs .
( [ eq : g - h ] ) and  ( [ eq : h - h - ht ] ) , satisfy a set of equations derived from the linearized einstein s equations : @xmath142 with the primes denoting derivatives with respect to @xmath112 .
in order for eqs .
( [ eq : t0000])([eq : tssss ] ) to give the _ retarded _ correlation functions , the solutions to eqs .
( [ eq : eom])([eq : eom - hzz ] ) must satisfy the in - falling wave conditions at the horizon @xmath113 .    in order to calculate the two - point functions , we expand the holographic action in eq .
( [ eq : s5 ] ) to quadratic order in metric variations around the homogeneous background .
this expansion can be written in a compact form ; the bulk part of the action is given by , @xmath143 where the dagger refers to the transposed complex conjugate ( @xmath144 ) , and @xmath145 integrating by parts and using equation of motion , we reduce the action at the extremum to the boundary term : @xmath146 the action also receives a contribution from the gibbons - hawking boundary term : @xmath147 combining all of this , the action at the extremum can be expressed in terms of the boundary values of @xmath128 , @xmath121 and @xmath148 : @xmath149 from this one can immediately read off the expressions for the fourier transforms of the stress - energy two - point functions : @xmath150 where in the last equality in eqs .
( [ eq:0000 ] ) and  ( [ eq:00xx ] ) we used expressions for one - point functions ref .
as expected , the correlators involving @xmath136 are frequency independent and satisfy energy - momentum conservation ward identies  ref .
the above expressions contain contributions divergent in the limit @xmath151 .
they can be removed by subtracting a polynomial of @xmath152 sufficient to cancel the divergences .
these terms do not affect @xmath27 .
putting this all together , the finite ( as @xmath153 ) part of the bulk green s function is found to be , @xmath154 where the polynomial @xmath155 combines the uv divergent , temperature independent contact terms . the bulk spectral function
is then given by @xmath156
in order to calculate the bulk retarded green s function and the bulk spectral function , one needs to solve the equation of motion for the field @xmath157 , eq .
( [ eq : eom ] ) . in general , this can not be done analytically . however , in the large @xmath23 limit , the solution can be found similarly to the born approximation in quantum mechanics .
we perform a louiville transformation to bring eq .
( [ eq : eom ] ) to the schrdinger form . in terms of the new coordinate @xmath158 , given by @xmath159 and the new function @xmath160 , given by @xmath161 eq .
( [ eq : eom ] ) takes the form @xmath162 with the schrdinger potential , as an implicit function of @xmath158 , is given by @xmath163 the in - falling boundary condition on @xmath164 at the horizon @xmath113 transforms into the outgoing wave condition on @xmath160 at @xmath165 .
the bulk spectral function can be expressed in terms of the new function @xmath166 as @xmath167 or somewhat more intuitively ( using eq .
( [ eq : ein1 ] ) ) as @xmath168 } { |\psi(x)|^2 } \right|_{z=\varepsilon}\ ] ] which has the quantum mechanical interpretation of the probability flux for the wave function @xmath166 ( normalized as @xmath169 at @xmath97 ) .
the positivity of the spectral function can be seen then as a consequence of the conservation of the flux and the outgoing wave boundary condition at @xmath165 .    at large @xmath23 , we would like to treat the potential as a perturbation and calculate the `` wave function '' @xmath166 using the born approximation .
there is one difficulty , however : the schrdinger potential @xmath170 diverges at @xmath33 .
we shall separate the leading divergence explicitly @xmath171 and treat the remaining part of the potential , @xmath172 , as a perturbation .
we can calculate @xmath160 iteratively , using the green s function method .
the solution to eq .
( [ eq : phi2 ] ) with @xmath173 , satisfying the outgoing wave boundary condition at @xmath165 , is given by , up to unimportant normalization , @xmath174 where @xmath175 , @xmath176 is the hankel function the first kind . substituting @xmath177 into ( [ eq : htophi ] ) and then into ( [ eq : tt ] ) we find , using eq .
( [ eq : b - small - z ] ) for @xmath178 , @xmath179 where the dots stand for corrections to the leading order which would come from iterations of @xmath180 . the first term on the r.h.s .
is the leading term in the @xmath181 limit .
it is temperature independent and has correct @xmath23-scaling to be identified with the leading contribution of the unit operator to the ope of @xmath182 in eq .
( [ eq : theta - theta - o ] ) .
this term has nontrivial , but temperature independent , imaginary part and it is subtracted when we calculate @xmath66_t}}$ ] . the second term on the r.h.s . of eq .
( [ eq : grlw ] ) gives @xmath183_t } } = - \frac{c\ , { { \left[d\right]_t}}}{2\kappa^2}\ , \delta_-^2\left(\delta_+-\delta_-\right ) = \delta_- ( \epsilon - 3p).\ ] ] where we used eq .
( [ eq : e - p ] ) .
this agrees with eq .
( [ eq : gr - infty ] ) as expected
.    the leading correction , @xmath184 , to @xmath177 can be found , similarly to the born approximation , by using green s function @xmath185 : @xmath186 the green s function satisfies equation @xmath187 with boundary condition @xmath188 at @xmath189 and outgoing wave condition at @xmath165 .
the solution is given by @xmath190 where @xmath191 substituting into eq .
( [ eq : psi1-gpsi0 ] ) we find @xmath192.\ ] ]    to zeroth order in @xmath180 , @xmath193 and eq .
( [ eq : rho - psi ] ) gives : @xmath194 to next order in @xmath180 , @xmath195 and @xmath196 , where @xmath197    in the limit @xmath181 , the integral in eq .
( [ eq : rhoint ] ) is dominated by the region of small @xmath198 .
expanding @xmath180 in powers of @xmath158 , we generate a @xmath199 series ( possibly asymptotic ) for the integral .
to enable further analytic calculation , we shall limit it to leading terms in the expansion in powers of @xmath200 . as we also discuss in appendix
[ sec : appa ] , this corresponds to the regime of high temperatures , i.e. , @xmath201 , since @xmath57 is the only dimensionful parameter in the theory .
in addition to enabling analytic calculations , this limit has the virtue of yielding results which do not depend on the form of the dilaton potential beyond its curvature at the minimum ( related to @xmath28 ) . in this regime , to the order we work , we can set @xmath57 to zero in @xmath202 .
the leading term in the taylor expansion of @xmath202 is given by @xmath203 where @xmath204 , as defined in appendix  [ sec : appa ] , and @xmath205 combining eq .
( [ eq : rho0 ] ) and eq .
( [ eq : rho1-rho0 ] ) we see that @xmath206 as @xmath181 .
we note that , strictly speaking , not all @xmath207 corrections to this result are negligible , since some of them grow with @xmath23 .
however , as one can check , those corrections do not depend on @xmath116 ( i.e. , on @xmath91 ) and are part of the @xmath208 corrections to the wilson coefficient of the unit operator in the ope of @xmath182 .
these terms would be also subtracted if @xmath8_t}}$ ] was calculated to the next order in @xmath200 .
in order to calculate the bulk spectral function , one needs to first solve the equation of motion for the functions @xmath110 , @xmath111 and @xmath209 and then use those results to solve eq .
( [ eq : eom ] ) for @xmath164 .
this can not be done analytically for an arbitrary potential @xmath89 .
however , the first step of this calculation can be done analytically in the limit where the temperature is large compared with the conformal breaking scale , @xmath210 .
another advantage of this limit is that the results are universal in the sense that the only property of the potential @xmath89 which matters is the curvature at the minimum , which determines the dimension of the operator @xmath56
.    equation ( [ eq : eom ] ) would still need to be solved numerically , however .
we use a shooting procedure starting from the ir boundary , i.e. , the horizon @xmath113 .
the equation has a regular singular point at @xmath113 .
a frbenius expansion around this point can be constructed iteratively . among the two linearly independent solutions the in - falling wave is chosen .
the expansion is used to calculate @xmath121 and @xmath148 at a point near the ir boundary .
these values are then used as the initial conditions to integrate the differential equation numerically all the way to the uv boundary @xmath97 . the spectral function
can then be determined from the numerical results using eq .
( [ eq : bulk ] ) .    as a representative example , in fig .
[ fig : rhoa ] , we plot the spectral function at order @xmath200 for @xmath25 . as expected , it is non - negative and it diverges for large @xmath23 .
the subtracted spectral function @xmath8_t}}$ ] to order @xmath207 is obtained by subtracting @xmath211 determined analytically in eq .
( [ eq : rho0 ] ) .
figures  [ fig : rhob ] and [ fig : drho ] show @xmath8_t}}/\omega$ ] plotted at different values of @xmath28 , while the dashed line corresponds to the analytic expressions for the large @xmath23 behavior given by @xmath212 in eq .
( [ eq : rho1-rho0 ] ) .
it is interesting to compare these plots with the lattice calculations of the spectral function in fig .
5 of ref .
@xcite . in both cases
one finds the sign oscillation of the spectral function in the region @xmath213 , which is absent in the weak coupling ( boltzmann equation ) result  @xcite .     for @xmath28 equaling 0.2 , 0.5 , 0.7 , and 1.0 .
the dashed curve in each plot is from the analytic expression for the spectral function in the large @xmath23 limit in eq .
( [ eq : rho1-rho0 ] ) .
the dotted line is drawn at the value of the bulk viscosity calculated from eq .
( [ eq : bulk - visc ] ) in units of @xmath214 .
this value should be compared with the intercept of the plots at @xmath215 .
, title="fig : " ]   for @xmath28 equaling 0.2 , 0.5 , 0.7 , and 1.0 .
the dashed curve in each plot is from the analytic expression for the spectral function in the large @xmath23 limit in eq .
( [ eq : rho1-rho0 ] ) .
the dotted line is drawn at the value of the bulk viscosity calculated from eq .
( [ eq : bulk - visc ] ) in units of @xmath214 .
this value should be compared with the intercept of the plots at @xmath215 .
, title="fig : " ]   for @xmath28 equaling 0.2 , 0.5 , 0.7 , and 1.0 .
the dashed curve in each plot is from the analytic expression for the spectral function in the large @xmath23 limit in eq .
( [ eq : rho1-rho0 ] ) .
the dotted line is drawn at the value of the bulk viscosity calculated from eq .
( [ eq : bulk - visc ] ) in units of @xmath214 .
this value should be compared with the intercept of the plots at @xmath215 .
, title="fig : " ]   for @xmath28 equaling 0.2 , 0.5 , 0.7 , and 1.0 .
the dashed curve in each plot is from the analytic expression for the spectral function in the large @xmath23 limit in eq .
( [ eq : rho1-rho0 ] ) .
the dotted line is drawn at the value of the bulk viscosity calculated from eq .
( [ eq : bulk - visc ] ) in units of @xmath214 .
this value should be compared with the intercept of the plots at @xmath215 .
, title="fig : " ]
in the high - temperature limit @xmath210 , the left - hand side ( thermodynamic side ) of the sum rule  eq .
( [ eq : sum - rule - dplus ] ) can be analytically calculated in the holographic model .
the trace anomaly is given by eq .
( [ eq : tanom ] ) , while the derivative with respect to entropy can be expressed via derivative with respect to enthalpy @xmath116 . using the expression for @xmath216 in the high @xmath91 limit , eq .
( [ eq : dc ] ) , the derivative can be performed , and the left - hand side can be expressed as , @xmath217 the right - hand side can be numerically calculated from @xmath21_t}}$ ] . for efficiency , we make use of the analytical result for the asymptotics of @xmath21_t}}$ ] eq .
( [ eq : rho1-rho0 ] ) .
we calculate numerically only the contribution to the integral up to some relatively large frequency @xmath218 . the contribution from @xmath218 to @xmath219
is calculated analytically using asymptotics @xmath21_t}}\approx\rho_1 $ ] from eq .
( [ eq : rho1-rho0 ] ) .
we chose @xmath220 .
table  [ tab : sum ] shows that the sum rule holds to at least within a fraction of a percent .
.verification of the sum rule in eq .
( [ eq : sum - rule - dplus ] ) in the holographic model for a sample of values of @xmath28 in the high - temperature limit @xmath201 .
the columns lhs and the rhs are the values of the left- and the right- hand side of eq .
( [ eq : sum - rule - dplus ] ) expressed in units of @xmath221 , which removes the dependence on @xmath222 , @xmath57 , @xmath91 and the leading ( @xmath15 ) dependence on @xmath28 .
the lhs is calculated analytically using eq .
( [ eq : lhs ] ) , while the rhs is a numerical calculation of the integral as described in text .
the last column shows the percent discrepancy between the two sides . [ cols="^,^,^,^",options="header " , ]
as @xmath223 the left - hand side of the sum rule given by eq .
( [ eq : lhs ] ) scales as @xmath15 ( @xmath224 according to eq .
( [ eq : dc ] ) ) .
this is also apparent in table  [ tab : sum ] .
however , the spectral function @xmath21_t}}$ ] on the right - hand side scales as @xmath225 .
this comes from factor @xmath178 in eq .
( [ eq : bulk ] ) which scales as @xmath225 according to eq .  ( [ eq : b - small - z ] ) . therefore , in order to determine the @xmath226 part of @xmath27 we can simply set @xmath227 in eq .
( [ eq : eom ] ) which then becomes  ) , @xmath228 , which means , to @xmath207 we are working , we can drop terms like @xmath178 , but not terms like @xmath229 . ] @xmath230 where @xmath114 is given by eq .
( [ eq : fz ] ) in the high - temperature limit .
this is the well known equation of motion of a massless scalar field on a pure ads background .
however , the analytic solution to this equation with required boundary conditions has not yet been found ( see @xcite for discussion ) .
nevertheless , the solution can be obtained numerically as discussed in sec .
[ sec : sum ] . the resulting spectral function
is displayed in fig .
[ fig : rho ] . the @xmath226 part of @xmath8_t}}$ ] shown in fig .
[ fig : rhob ] oscillates around 0 , but the contribution from it to the spectral integral in the sum rule is non - vanishing .
we calculate the integral numerically and find @xmath231_t}}}{\omega } \,d \omega = 2 c^2 \delta_-^2 \left(\frac{w}{4}\right ) \left(.60000(1)\right ) + { { \cal o}}(\delta_-^3)\,,\ ] ] where @xmath116 is the enthalpy .
the integral of the @xmath225 part of @xmath8_t}}$ ] is converging very fast ( apparently exponentially ) at @xmath232 and we picked relatively large @xmath233 for this numerical calculation .
the number in parenthesis is @xmath234 to at least four significant digits .
how then is the sum rule satisfied if the left - hand side is only @xmath235 ?
we shall find the missing contribution in the tail of the function @xmath8_t}}$ ] . indeed , taking @xmath218 to @xmath219 requires extra care . because @xmath226 part of @xmath8_t}}$ ] decreases very fast as @xmath181 ,
for sufficiently large @xmath23 the dominant part in @xmath8_t}}$ ] is of order @xmath15 . as we see analytically in eqs .
( [ eq : rho1-rho0 ] ) ,  ( [ eq : rho0 ] ) , @xmath21_t}}\to\rho_1\sim\delta_-^3\omega^{-2\delta_-}$ ] . at any finite @xmath28 the negative power - law tail effectively cuts off the integral at large @xmath236 .
however , the contribution of this long tail to the integral grows with @xmath237 as @xmath238_t}}/\omega\sim \delta_-^3\log(\omega_{\rm tail}/\omega_{\rm    max})\sim\delta_-^2 $ ] , i.e. , the length of the tail compensates for the extra power of @xmath28 .
let us calculate this @xmath226 contribution from the tail .
using eqs .
( [ eq : rho1-rho0 ] ) ,  ( [ eq : rho0 ] ) we can write for large @xmath23 and small  @xmath28 : @xmath239_t}}= \rho_1(\omega)+\ldots = -\frac{6}{5 } \pi c^2 \delta_-^3 \omega^{-2\delta_- } \left(\frac{w}{4}\right)+\ldots.\ ] ] thus @xmath240_t } } = - 2 c^2 \delta_-^2 \left ( \frac{w}{4}\right ) \left(\frac{3}{5}\right)+{{\cal o}}(\delta_-^3).\ ] ] we see that the contribution of the high - frequency tail exactly cancels the contribution from the region of @xmath19 in eq .
( [ eq : smalld ] ) .
therefore the rhs of the sum rule is proportional to @xmath15 just as the lhs .
remarkably , this cancellation mechanism is very similar to the one which was found in qcd by caron - huot in ref.@xcite . in the case of qcd
the left - hand ( thermodynamic ) side of the sum rule is of order @xmath12 , while the spectral function on the right - hand side is @xmath241 , with logarithmically long high - frequency tail of order @xmath242 .
we would like also to comment that the @xmath225 contribution to the bulk spectral function @xmath21_t}}$ ] in the high - temperature regime is the same , up to a constant , as the spectral function in the @xmath243 susy ym theory .
in fact , the spectral integral in eq .
( [ eq : smalld ] ) has been also performed numerically in ref .
@xcite , using a different method and with the same result . unlike the case we consider , however , for the shear channel sum rule considered in ref .
@xcite that integral saturated the sum rule .    also worth noting
is that the shear and the bulk channel spectral functions are proportional to each other in the chamblin - real dilaton model examined in @xcite and @xcite . in such theories
the mechanism of the saturation of the bulk sum rule is the same as that of the shear sum rule and no high / low frequency cancellations are needed in either case .
as another cross - check of our results , we can compare them to the analytic calculation of the bulk viscosity in the high temperature limit of ref .
@xcite , which finds @xmath244 this formula was derived by matching gradient expansion of the stress - energy tensor to the gradient expansion of the background metric .
ideally , one should also be able to derive eq .
( [ eq : bulk - visc ] ) by solving eq .
( [ eq : eom ] ) at small @xmath23 and using kubo formula @xmath245 indeed , this can be done analytically for @xmath246 . in this case , eq .
( [ eq : eom ] ) reduces to eq .
( [ eq : eom - small - d ] ) . for small @xmath23 ,
this equation can be easily integrated .
normalizing as @xmath247 and using in - falling boundary condition at the horizon we find   it is valid close enough to the horizon to allow matching it to the in - falling wave solution . ] @xmath248 this gives for the spectral function at small @xmath23 , @xmath249 and for the bulk viscosity @xmath250 this agrees with the @xmath251 limit of eq .
( [ eq : bulk - visc ] ) .    unfortunately , a similar approach at finite @xmath28 appears intractable , since an analytic solution to eq .
( [ eq : eom ] ) , even at small @xmath23 , for arbitrary @xmath28 is not known .
however , the bulk viscosity can be calculated by applying the kubo formula eq .
( [ eq : zeta - rho ] ) to our numerical results for the spectral function .
we have verified the agreement of eq .
( [ eq : bulk - visc ] ) with these numerical calculations and illustrated it in fig .
[ fig : drho ] .
we studied the spectral function corresponding to time - dependent bulk deformation ( uniform expansion ) in a class of field theories where conformality is broken `` softly '' in the sense that at high temperature the equation of state approaches conformal limit @xmath252 , similar to qcd .
the breaking is due to a scalar operator of conformal dimension @xmath3 , which is an analogue of the operator of gluon condensate in qcd .
we find that in such theories the bulk spectral function satisfies the sum rule given by eq .
( [ eq : sum - rule - dplus ] ) .    the sum rule in eq .
( [ eq : sum - rule - dplus ] ) is similar to the sum rule in an asymptotically free theory such as qcd derived by romatschke and son in ref .
@xcite . in the marginal limit @xmath11 ,
the two sum rules are identical .
we used this similarity to address an interesting puzzle noted in ref .
@xcite . in order to satisfy the sum rule
, a delicate cancellation must occur between the regions of @xmath19 and of @xmath253 in the spectral integral .
ref.@xcite showed that this cancellation can be indeed seen in the high - temperature limit of qcd , using weak coupling calculation .
our study of the holographic model shows that such a cancellation is very generic to the whole class of strongly coupled theories with softly broken conformal symmetry .    to make the connection of our model with qcd more tangible
, we can observe that in qcd the action contains operator @xmath5 and thus identify the operator @xmath10 with @xmath5 , up to a numerical coefficient .
this coefficient can be determined by matching correlation functions ( e.g. , the bulk spectral function ) of the holographic model to qcd , but we shall not need it here . the anomalous dimension of this operator in qcd is given by @xmath254 . in qcd
this anomalous dimension is a function of scale , vanishing logarithmically , i.e. , very slowly , with increasing energy - momentum scale . in the class of qcd - like theories we consider ,
the corresponding quantity is @xmath255 , which is a constant . ,
have been discussed in , e.g. , refs.@xcite . ]
this scaling dimension taken at @xmath232 , determines the value of @xmath54_t}}$ ] in the sum rule  ( [ eq : sum - rule ] ) , according to eq .
( [ eq : gr - infty ] ) , and it is responsible for the difference of the general sum rule  ( [ eq : sum - rule - dplus ] ) from qcd .
the holographic theories we consider can serve only as a qualitative or semi - quantitative guide to the qcd phenomena , since qcd becomes a weakly coupled theory at sufficiently high energy - momentum scale due to asymptotic freedom .
but this guide might be useful by offering a view complementary to the weak coupling extrapolation out of the domain of asymptotically high energies .
the experiments at rhic provide a powerful argument that the domain of interest in heavy - ion collisions is a strongly coupled domain
. it will be very interesting to see to what extent this remains true at lhc energies .    also notable in this regard are lattice calculations of the spectral function .
the striking feature of the lattice results is the sign oscillation of the spectral function in the @xmath256 region .
this oscillation is absent in weakly coupled calculations  @xcite , but appears to be a generic feature in the spectral functions obtained in holographic models , as our results in figs .
[ fig : rhob ] and [ fig : drho ] illustrate .
this qualitative difference appears to be another manifestation of the now familiar fact that real - time response ( in particular , hydrodynamics ) is more sensitive to the coupling strength than , e.g. , equation of state .
this work is supported by the doe grant no .
de - fg0201er41195 .
this appendix summarizes , for completeness , the relevant results of ref .  @xcite .
the background geometry corresponding to homogeneous boundary conditions on @xmath58 and @xmath77 can be found by solving einstein s equations for the metric in eq .
( [ eq : metric ] ) which take the form : @xmath257 where a dot denotes a @xmath258 derivative , _ e.g. _ , @xmath259 .
the holographic correspondence provides the boundary conditions at the uv boundary @xmath97 given by eqs .
( [ eq : b - c ] ) .
minkowski metric at the boundary requires @xmath260 equation ( [ eq : ein2 ] ) can be integrated once to give @xmath261 the integration constant @xmath262 must be positive if the metric is to possess a horizon @xmath263 at some value of @xmath264 . since @xmath262 determines the position of the horizon ,
it is related to temperature , and we find that it is proportional to the enthalpy , eq .
( [ eq : w - bar ] ) .
a boundary condition on @xmath115 is not needed because the value of @xmath115 is determined by eq .
( [ eq : ein3 ] ) , which is algebraic in @xmath115 .
the role of the second boundary condition for eq .
( [ eq : ein4 ] ) is played by the requirement that @xmath77 is finite at the horizon , @xmath113 , which is a regular singular point of the second order differential equation  ( [ eq : ein4 ] ) .    near the @xmath100 boundary , @xmath265 , @xmath266 , @xmath267 and @xmath268 .
equation  ( [ eq : ein4 ] ) for @xmath77 can be linearized and the asymptotic behavior of @xmath77 near the boundary can be determined easily : @xmath269 where the curvature of the potential @xmath270 determines the indices @xmath271 .
the coefficient of the first term is related to @xmath57 by eq .
( [ eq : b - c ] ) .
the coefficient @xmath216 of the second linearly independent solution should be determined by the finiteness condition at the horizon and is a function of @xmath262 ( i.e. , temperature ) and @xmath57 .    by calculating the derivative of the 5d action with respect to @xmath57 and matching it , by holographic correspondence , to the expectation value @xmath272 , one finds
( see also @xcite ) @xmath273 where ``  ''
denote uv divergent but temperature independent terms .
one can thus see that the integration constant @xmath216 is related to the uv finite ( and temperature dependent ) part of @xmath274 .      by considering homogeneous variations of the boundary condition on the metric
, the one - point functions of the stress - energy tensor can be calculated using eq .
( [ eq : z - g - tmunu ] ) as in ref .
@xcite . @xmath277 the thermal energy and pressure , @xmath278_t}},\qquad p = \langle t^{11}\rangle - \langle t^{11}\rangle_{t=0 } \equiv{{\left[\langle t^{11}\rangle\right]_t}},\end{aligned}\ ] ] are finite at @xmath279 and equal to zero at @xmath280 .
the enthalpy , @xmath281 is related to the constant @xmath262 : @xmath282 after solving eq .
( [ eq : ein3 ] ) for @xmath115 at @xmath97 with @xmath77 given by eq .
( [ eq : asy ] ) , we find that the energy and pressure can be expressed as @xmath283_t}}}{8\kappa^2}\ , \delta_-(\delta_+-\delta_-),\qquad p = w - \epsilon . \ ] ] therefore the temperature dependence of the expectation value of the trace anomaly is given by , @xmath284_t } } =   3p-\epsilon = \frac{c\,{{\left[d\right]_t}}\,\delta_-}{2 \kappa^2}\,(\delta_+-\delta_- ) = -\delta_-\ , c\ , { { \left[\langle { { o}}\rangle\right]_t}}.\ ] ] in accordance with the anomaly equation  ( [ eq : theta - o ] ) .
the equations of motion can be simplified and analytically solved if one considers the high temperature limit , or the limit where @xmath210 . since the enthalpy is related to the temperature , @xmath285 this limit
can also be expressed as @xmath286 .
one can begin by observing that at large @xmath262 the function @xmath114 varies very rapidly according to eq .
( [ eq : ein2b ] ) .
this means one can neglect variation of the function @xmath115 between the boundary @xmath97 and the horizon @xmath113 , since @xmath264 becomes small ( as @xmath287 ) . since on the boundary @xmath288 ( up to terms of order @xmath289 , negligible here , according to eq .
( [ eq : ein3 ] ) ) , we find from eq .
( [ eq : ein2b ] ) @xmath290 another consequence is that @xmath77 , which is small at @xmath97 , remains small up to @xmath264 ( @xmath291 ) , and the linearized approximation to eq .
( [ eq : ein4 ] ) is valid not only near the boundary , but all the way to the horizon . with @xmath288 and @xmath114 from eq .
( [ eq : fz ] ) we obtain @xmath292 equation ( [ eq : dphi ] ) can be solved analytically @xmath293 where the coefficients follow the notations of eq .
( [ eq : asy ] ) ( up to terms @xmath294 , here negligible )
. both linearly independent solutions are logarithmically divergent at the horizon @xmath113 , where @xmath295 .
the condition @xmath296 requires us to select the linear combination in which these divergences cancel .
this fixes @xmath216 in terms of @xmath57 : @xmath297 where the function @xmath298 is given by @xmath299 this solution for @xmath209 can be used in eq .
( [ eq : ein1 ] ) to calculate @xmath300 , @xmath301    from this expression , the function @xmath111 can be calculated to order @xmath200 , which is the leading order in the high - temperature limit . by iteratively solving the equations of motion , the higher order corrections to @xmath115 as well as to @xmath114 and @xmath77 can be determined if necessary .                        h.  b.  meyer , pos * lattice2008 * , 017 ( 2008 ) [ arxiv:0809.5202 [ hep - lat ] ] .
n.  iqbal and h.  b.  meyer , jhep * 0911 * , 029 ( 2009 ) [ arxiv:0909.0582 [ hep - lat ] ] .
h.  b.  meyer , jhep * 1004 * , 099 ( 2010 ) [ arxiv:1002.3343 [ hep - lat ] ] .
d.  kharzeev and k.  tuchin , jhep * 0809 * , 093 ( 2008 ) [ arxiv:0705.4280 [ hep - ph ] ] .
f.  karsch , d.  kharzeev and k.  tuchin , phys .
b * 663 * , 217 ( 2008 ) [ arxiv:0711.0914 [ hep - ph ] ] .
p.  romatschke , d.  t.  son , phys .
* d80 * , 065021 ( 2009 ) .
[ arxiv:0903.3946 [ hep - ph ] ] .    j.  m.  maldacena , adv .  theor .
* 2 * , 231 ( 1998 ) [ int .
j.  theor .
phys .   *
38 * , 1113 ( 1999 ) ] ; s.  s.  gubser , i.  r.  klebanov and a.  m.  polyakov , phys .  lett .
b * 428 * , 105 ( 1998 ) ; e.  witten , adv .
* 2 * , 253 ( 1998 ) .
o.  aharony , s.  s.  gubser , j.  m.  maldacena , h.  ooguri and y.  oz , phys .  rept .
* 323 * , 183 ( 2000 ) [ arxiv : hep - th/9905111 ] .
d.  t.  son , a.  o.  starinets , ann .  rev .  nucl
.  part .
* 57 * , 95 - 118 ( 2007 ) .
[ arxiv:0704.0240 [ hep - th ] ] .