Free Access
Issue
A&A
Volume 534, October 2011
Article Number A69
Number of page(s) 8
Section Extragalactic astronomy
DOI https://doi.org/10.1051/0004-6361/201117708
Published online 04 October 2011

© ESO, 2011

1. Introduction

The Sérsic (1968) surface brightness profile has become the preferred model for describing the surface brightness profile of early-type galaxies and the bulges of spiral galaxies (e.g. Davies et al. 1988; Caon et al. 1993; D’Onofrio et al. 1994; Cellone et al. 1994; Andredakis et al. 1995; Prugniel & Simien 1997; Möllenhoff & Heidt 2001; Graham & Guzmán 2003; Allen et al. 2006; Gadotti 2009). Many analytical properties of this model have been discussed in the literature (e.g. Ciotti 1991; Ciotti & Lanzoni 1997; Ciotti & Bertin 1999; Trujillo et al. 2001; Mazure & Capelato 2002; Cardone 2004; Graham & Driver 2005; Elíasdóttir & Möller 2007; Baes & Gentile 2011).

An important inconvenience of the Sérsic model is that its deprojected luminosity density, i.e. the spatial 3D luminosity density ν(r) that projects on the plane of the sky to the Sérsic surface brightness profile, cannot be expressed using elementary functions or even in terms of standard special functions. It was long thought that no analytical expression could be obtained. Quite unexpectedly, Mazure & Capelato (2002) came up with an analytical expression for ν(r) in terms of the Meijer G function for all integer Sérsic indices m. Baes & Gentile (2011, hereafter BG11 took this analysis one step further and showed that the deprojection of the Sérsic surface brightness profile for general values of m can be solved elegantly using Mellin integral transforms and gives rise to a Mellin-Barnes integral. The result is that the Sérsic luminosity density can be written compactly in terms of a Fox H function, which reduces to a Meijer G function for all rational values of m. BG11 also calculated a number of additional properties of the Sérsic model for rational m, including the asymptotic expansion of the luminosity density at small and large radii, the cumulative light profile, and the gravitational potential. This was possible thanks to the many analytical properties of the Meijer G function.

The goal of this paper is two-fold. Foremost, we extend and complete the analysis presented in Mazure & Capelato (2002) and BG11. We provide compact and elegant expressions for the density, potential, and luminosity profiles in terms of the general Fox H function, which are valid for all values of the Sérsic index m rather than just for integer or rational m. We also present a completely general series expansion of these functions that enables both a numerical evaluation and a straightforward analytical study of the asymptotic behaviour. Besides providing these useful characteristics on one of the most used models in extragalactic astronomy, our work also has a secondary objective, namely to demonstrate the power of the Fox H function for analytical work. The Fox H function is, to use an understatement, not the most mainstream special function: it is even not contained in the standard works on special functions such as Gradshteyn & Ryzhik (1965) or the Wolfram Functions Site. We feel that this is not justified because it is in fact a very elegant and powerful tool for analytical work, and it is becoming used more and more in mathematics and applied sciences, including physics, biology, engineering and earth sciences. It is also gradually being used in astrophysics, e.g. for solar and stellar structure models, fractional reaction-diffusion equations, and stellar dynamics (Haubold et al. 2007, 2011; Baes & van Hese 2007; van Hese et al. 2009; De Rijcke et al. 2010). With our analysis, we wish to illustrate its useful properties and advocate its use in theoretical astrophysical research.

In Sect. 2 we derive compact expressions for the luminosity density, cumulative luminosity and potential for the Sérsic model, and in Sect. 3 we deduce detailed power and logarithmic-power series expressions for these important quantities. We discuss the asymptotic behaviour of our functions in Sect. 4, and we sum up our results in Sect. 5. In Appendix A we present the Fox H function and we discuss some of its properties that were used for our analysis.

2. Analytical properties of the Sérsic model

The Sérsic model is defined by the intensity profile projected on the plane of the sky, (1)The 3D, deprojected luminosity density ν(r) of a spherically symmetric system can be recovered from the surface brightness profile I(R) using the standard deprojection formula (2)Substituting the Sérsic profile (1) into (2) we obtain an integral that cannot readily be evaluated using the standard methods or look-up tables. BG11 applied a Mellin integral transform technique to convert this integral to a Mellin-Barnes contour integral, (3)or, given the definition (A.1), to the compact expression (4)where we have used the reduced coordinate (5)As a check on this formula, BG11 calculated the total luminosity of the Sérsic model for rational m by integrating the luminosity density over the entire space. To obtain the results, they used the integration properties of the Meijer G function, combined with several applications of Gauss’ multiplication theorem. As a generalization of this result, and as a nice example of the power of the Fox H function, we calculate the total luminosity from the general formula (4), i.e. (6)To evaluate this integral, one should remind that equation (A.1) defined the Fox H function as an inverse Mellin transform of a combination of gamma functions. As a result, the Mellin transform of a Fox H function reads (7)Applying this to (6) with s = 1, we obtain (8)in agreement with the value obtained by integrating the surface brightness profile (1) over the plane of the sky.

From the luminosity density, a number of other important quantities can be derived, most importantly the cumulative luminosity profile L(r) and the gravitational potential Ψ(r), where the Υ is the mass-to-light ratio. Mazure & Capelato (2002) and BG11 calculated these quantities for the Sérsic model for integer and rational values of the Sérsic parameter, respectively, using the integration properties of the Meijer G function. It is, however, possible to calculate these properties for general m in an elegant way by directly applying the integrations on the Mellin-Barnes integral form of the luminosity density. For the cumulative luminosity profile we find (11)For the gravitational potential we find after a similar calculation (12)The formulae (4), (11), and (12) form a triplet of formulae that describe three important spatial properties of the Sérsic model in a compact way.

A straightforward way of checking these formulae is to look at the model that corresponds to . In this case, all components of the vectors A and B are equal to one, such that the Fox H function reduces to a Meijer G function. We find These expressions can also be derived by substituting the intensity profile in the expressions (2), (9), and (10) and directly evaluating the resulting integrals. More generally, one can check that the formulae (4), (11), and (12) reduce to Eqs. (22), (40), and (44) of BG11 for rational values of m.

3. Explicit series expansions

While the expressions (4), (11), and (12) form an triplet of compact formulae that are useful for analytical work, they are not readily useful to numerically evaluate the spatial properties of the Sérsic model. For rational values of m, the Fox H functions reduce to Meijer G functions, and some numerical software packages now have this function implemented. However, the numerical evaluation of Meijer G functions with large parameter vectors (which easily occurs in our case for rational values of m, as can be seen in BG11), proves to be difficult, in particular in cases where second-order poles are present in the integrand of the inverse Mellin transform. Moreover, for general values of m, the expressions (4), (11), and (12) cannot be written in terms of the Meijer G function or any other special function, and we are not aware of any implementations in numerical software that can evaluate general Fox H functions.

In this section, we derive explicit series expansions for ν(r), L(r), and Ψ(r), which both enables the numerical calculation and again highlights the power of Fox H function as a useful mathematical tool. The expansions build on the general series expansion of the Fox H function as power or power-logarithmic series (details can be found in Appendix A). The form of the series expansion depends on the multiplicity of the poles of the gamma functions Γ(bj + Bjs). For ν(r) and L(r), the poles of these gamma functions are found at  − k1/2m and  − 1/2 − k2 with k1 and k2 any natural number. The gamma functions corresponding to the expression of the potential Ψ(r) contain the same poles with an additional pole at 1/2. The good news is that each pole can at most occur twice, the bad news is that this happens quite often: for all integer m and rational m = p/q where the denominator q of the fraction is odd, double poles do occur.

In the case of simple poles of the gamma functions Γ(bj + Bjs), the expansion of the Fox H function is a power series, given by Eq. (A.6). Applied to our case, we find in case m is non-rational or rational with an even denominator, the expansions The term k = 0 in the first sums is omitted, since the factors Γ(0) in the denominator make those terms vanish. In fact, if m is a rational number p/q with q even, then the terms in the first sums for which k = 0,p,2p,... vanish; if p = 1, these first sums vanish completely. A particularly interesting case is (again) , where we find in agreement with formulae (13), (13) and (15).

When the gamma functions Γ(bj + Bjs) have multiple poles, the expansion of the Fox H function is a logarithmic-power series, the complexity of which increases with increasing multiplicity of the poles. The full expression for the case where two gamma functions share poles is given in Eq. (A.10). For our present case, this means that we obtain logarithmic-power series expansions for ν(r), L(r), and Ψ(r) if the Sérsic index m is integer or rational with an odd denominator. If we define k0 = (q + 1)/2, one obtains after quite some algebra (22)(23)(24)In these expressions, ψ(s) = Γ′(s)/Γ(s) is the digamma function. In Ψ(r), the third term corresponds to the residue of the pole . Again, the terms in the first sums for which k = 0,p,2p,... vanish, and these first sums vanish completely if p = 1. On the other hand, if q = 1, i.e. if m is an integer value, the second sums vanish, since then the integrands for ν(r) and L(r) have no simple poles β2,k2, while for Ψ(r) only the pole remains as a single pole. On the crossroad of these two cases we have m = 1: for this model, both the first and second sums in the expansions (22) − (24) vanish completely, apart from a single term for the potential. Astrophysically, the Sérsic model with m = 1 corresponds to a model with an exponential surface brightness profile, often used for the description of low-luminosity elliptical galaxies and pseudo-bulges. BG11 calculated the luminosity density of the exponential model by directly deprojecting the surface brightness profile and through its representation as a Meijer G function. For the luminosity density we get (25)with Kν(z) the modified Bessel function of the second kind. This expression agrees with Eq. (24) of BG11. Similarly, we obtain for the cumulative luminosity (26)with Lν(u) the modified Struve function. Finally, for the potential of the exponential model we get the expansion (27)These last two expressions can also be obtained by substituting the luminosity density (25) into the recipes (9) and (10).

4. Asymptotic behaviour

With all the explicit power series of Sect. 3 available, it is fairly straightforward to examine the asymptotic behaviour of the spatial function of the Sérsic model at small radii, generalizing the results of BG11. The density has the following rich behaviour, depending on the value of m: (28a)(28b)(28c)(28d)(28e)with γ ≈ 0.57721566 the Euler-Mascheroni constant. The luminosity behaves as (29a)(29b)(29c)Finally, the potential approaches r → 0 as (30a)(30b)(30c)If we set r = 0 in the expressions (23), we recover the central potential (31)for every real value m > 0, in agreement with Eq. (12) of Ciotti (1991).

5. Conclusions

This paper is the second paper that deals with the derivation of analytical expressions for the luminosity density ν(r), cumulative luminosity L(r), and gravitational potential Ψ(r) of the Sérsic model. Our work extends the work initiated by Mazure & Capelato (2002), who managed to express these properties in terms of the Meijer G function for integer values of the Sérsic index m. In BG11 we extended this analysis by demonstrating that these expressions can be derived using a Mellin integral transform and that they are also valid for half-integer values of m. We also derived more general expressions in terms of the Meijer G function for these spatial properties for Sérsic models with rational m. Actually, the Mellin integral transform approach directly led to an expression in terms of the Fox H function for the luminosity density valid for general values of m. Not fully aware of the rich power of the Fox H function and attracted by the availability of implementations of the Meijer G function both in symbolic computer algebra packages and as high-performance computing code, we focused our attention in BG11 on the study of the cases for rational m. In this paper, we have extended this analysis to arbitrary values of m, now making full use of the Fox H function. We derived compact and elegant expressions for the luminosity density, cumulative luminosity, and gravitational potential that are valid for all values of m. We used the properties of the Fox H function to deduce explicit power and logarithmic-power expansions for ν, L, and Ψ, which can be used to evaluate these important spatial properties for arbitrary values of m. These series expansions also provide a direct way to probe the rich asymptotic behaviour of the Sérsic model at small radii, and our results are in full agreement with the more ad hoc analysis of BG11.

Our work fits into an impressive set of in-depth analytical work on the Sérsic model. Apart from the spatial properties discussed here, also its photometric (Graham & Driver 2005), dynamic (Ciotti 1991; Ciotti & Lanzoni 1997), and lensing (Cardone 2004; Elíasdóttir & Möller 2007) properties have been studied extensively through analytical means. Given that the Sérsic model is the de facto standard model for describing the surface brightness distribution of hot stellar systems, this combined range of analytical properties has plenty of applications. For example, they can be used for the construction of self-consisting dynamical models for elliptical galaxies, serve as a realistic starting point for numerical N-body or smoothed particle hydrodynamics simulations, or serve as a template for radiative transfer or gravitational lens modelling.

Besides this practical use, we hope to have demonstrated the power of the Fox H as a tool for analytical work. We are aware that the Fox H function is not the most everyday special function and that its unfamiliar definition through inverse Mellin transform alone might already seem daunting. However, the Fox H function is gradually appearing more in mathematics and applied sciences, and there are now several volumes of comprehensive literature available on its properties (e.g. Mathai & Saxena 1978; Srivastava et al. 1982; Kilbas & Saigo 2004; Mathai et al. 2009). Given the completeness and elegance of the analytical results obtained in this paper, we hope that this work may advocate the use of the Fox H function in theoretical astrophysics.

References

Appendix A: The Fox H function

The Fox H function, or just the H function, is generally defined as the inverse Mellin transform of a product of gamma functions, (A.1)It was introduced by Fox (1961) in his attempt to find the most general symmetric Fourier kernel. The Fox H function is a generalization of the Meijer G function, but includes many other special functions, including Mittag-Leffler functions and generalized Bessel functions. For details on the definition, convergence, and many useful properties of the Fox H function, we refer to Mathai & Saxena (1978), Srivastava et al. (1982), Kilbas & Saigo (2004), Mathai et al. (2009), and the references therein.

We now derive a series expansion of the Fox H function. We write the Fox H function in the form (A.2)with (A.3)Under certain conditions (always satisfied for the Fox H functions we consider in this paper; see e.g. Kilbas & Saigo 1999; or Mathai et al. 2009, for details), the Fox H function is an analytical function, and the contour integral can be evaluated using the residue theorem. If we introduce the short-hand notation βi,k =  −(bi + k)/Bi for the poles of the functions Γ(bi + Bis), then (A.4)If βi,k is a simple pole, then the corresponding residue is fairly straightforward. We find (A.5)where ϕi(s) is ϕ(s)/Γ(bi + Bis). As a result, if all gamma functions Γ(bi + Bis) only have single poles, we get as a series expansion, (A.6)in agreement with Eq. (3.12) in Kilbas & Saigo (1999). However, if several gamma functions share the same pole, then this pole is of second order, and the calculation becomes more cumbersome. Kilbas & Saigo (1999) demonstrate that the Fox H function can then be expressed as a logarithmic-power series rather than a simple power series. They present a generic expression valid for all orders of pole multiplicity. Here, we present a less general, but more explicit, series expansion in the case that two gamma functions Γ(bj + Bjs) share at least one pole. Without loss of generality, we can place these two gamma functions at the front, so that we can write (A.7)with (A.8)Now, suppose there is a tuple (k1,k2) of indices so that β1,k1 = β2,k2. The residue of this second-order pole is then, after some algebra, (A.9)with ψ(s) = Γ′(s)/Γ(s) the digamma function. Moreover, φ(s) is a product and quotient of gamma functions, so that φ′(s)/φ(s) can also be expressed as a sum of digamma functions. This means that all the machinery is available to express the Fox H function as the rather daunting series expansion (A.10a)with the constants Ck1 defined as (A.10b)The prime in the first summation in (A.10a) indicates that this sum covers only the single poles, and the double prime in the second summation indicates that this summation runs over the second-order poles. In the latter summation, we set k2 = B2(b1 + k1)/B1 − b2.

Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.

Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.

Initial download of the metrics may take a while.