Astron. Astrophys. 321, 703-712 (1997)
Appendix A: the saddle-point evaluation of the density integral
The following saddle-point analysis justifies our choice of the
normalization function as given by Eqs. (4) and
(9). We start from the definition of the density:
![[EQUATION]](img116.gif)
where the integral in the radial velocity
is:
![[EQUATION]](img118.gif)
here and . Along the
positive real J -axis, the phase of the exponential function in
Eq. (A1) is stationary at defined by the
relation . Since, for
the quantity goes to infinity uniformly in
r, we can effectively set the upper integration limits in
Eqs.(A1) and (A2) to infinity. Thus Eq. (14) follows.
The argument of the exponential in Eq. (A1) vanishes at
and can be expanded to give:
![[EQUATION]](img126.gif)
Here the function is defined as:
![[EQUATION]](img128.gif)
Note that the function is well behaved. Let
us now introduce the scaled velocity variable
and further expand the argument of the integral:
![[EQUATION]](img131.gif)
with , , and
, and we recall that .
This leads to the final expression:
![[EQUATION]](img136.gif)
where:
![[EQUATION]](img137.gif)
and
![[EQUATION]](img138.gif)
The two limits, and
yield the well known normalization of an isotropic Maxwellian and the
epicyclic normalization of Eq. (4), respectively. These limits justify
our choice (10) for the function . The
limitation of this saddle-point method is recognized in the fact that
the assumption of slow variations of the quantity
is violated in the region where
, because the two integrals
and are found to
present large derivatives there. One possible way out that has been
attempted has been to introduce an appropriate "fudge factor" to
compensate for the undesired fast variations; in practice, the problem
is best resolved by a contour integration, as illustrated in the
following Appendix B.
Appendix B: contour integration
If we want to generate models that reproduce the chosen density
distribution more accurately at small radii, we can proceed by an
approximate inversion of the relationship between the density and the
distribution function in the following way (as suggested to us by J.
Schmidt). The method is still based on the smallness of the parameter
, but, by means of a suitable transformation of
the relevant integrals, the approximations are all carried out in one
integral that does not depend on the unknown normalization factor
P.
We start from Eq. (15)
![[EQUATION]](img146.gif)
where the quantities and
are defined in Sect. 2.4. We multiply both
sides by and integrate them with respect to
the "radial" variable
![[EQUATION]](img150.gif)
along the imaginary axis at constant
. By exchanging the order of integration on the
right hand side, this procedure leads to
![[EQUATION]](img152.gif)
![[EQUATION]](img153.gif)
The inversion formula
![[EQUATION]](img154.gif)
follows by noting that, to leading order in ,
![[EQUATION]](img155.gif)
This result can be derived by expanding for
, provided the ratios
between the following coefficients and the first in the Taylor
expansion be bounded.
In order to evaluate the inverse integral transform (B4)
explicitly, it is more convenient to bring the integral over z
along the imaginary axis into an integral over
. The detailed form of the integration path in
the complex u -plane depends on the explicit form of the
potential , but its main features are quite
general and are governed by the contribution arising from the
centrifugal potential, which dominates at ,
i.e., , and by the crossing of the real
u -axis at for
.
The resulting ovaloid shape of the integration path in the complex
u -plane is shown for the case of the isochrone potential in
Fig. 5. The integrand in Eq. (B4) has neither poles nor branch-points
inside this ovaloid, but has an essential singularity at
. In the half-plane to the left (negative
real-part of u) of the essential singularity, the integrand in
Eq. (B4) is exponentially small. Then, the integration path can be
deformed so as to fully encircle the singularity at
and the inversion formula (B4) becomes
![[EQUATION]](img170.gif)
where the residue at
is best computed numerically by integrating
Eq. (B4) along a path enclosing and
on the positive real axis such that
. This completes the derivation of Eq.
(18).
![[FIGURE]](img168.gif) |
Fig. 5. Integration path in the complex u -plane, illustrated for the isochrone potential at . This corresponds to the integration in the z -variable along the imaginary axis
|
© European Southern Observatory (ESO) 1997
Online publication: June 30, 1998
helpdesk.link@springer.de  |