Let be a locally integrable function on , that is, exists for all and satisfying . The Mellin transform of is defined by
when this integral converges. The domain of analyticity of is usually an infinite strip parallel to the imaginary axis. The inversion formula is given by
One of the two convolution integrals associated with the Mellin transform is of the form
If and have a common strip of analyticity , then
where . When , this identity is a Parseval-type formula; compare §1.14(iv).
If and can be continued analytically to meromorphic functions in a left half-plane, and if the contour can be translated to with , then
The sum in (2.5.6) is taken over all poles of in the strip , and it provides the asymptotic expansion of for small values of . Similarly, if and can be continued analytically to meromorphic functions in a right half-plane, and if the vertical line of integration can be translated to the right, then we obtain an asymptotic expansion for for large values of .
In the half-plane , the product has a pole of order two at each positive integer, and
and is the logarithmic derivative of the gamma function (§5.2(i)).
We now apply (2.5.5) with , and then translate the integration contour to the right. This is allowable in view of the asymptotic formula
where , .
Let and be locally integrable on and
where for , and as . Also, let
where is real, , for , and as . To ensure that the integral (2.5.3) converges we assume that
with , and
with . To apply the Mellin transform method outlined in §2.5(i), we require the transforms and to have a common strip of analyticity. This, in turn, requires , , and either or . Following Handelsman and Lew (1970, 1971) we now give an extension of this method in which none of these conditions is required.
First, we introduce the truncated functions and defined by
|Transform||Domain of Convergence|
Furthermore, can be continued analytically to a meromorphic function on the entire -plane, whose singularities are simple poles at , , with principal part
By Table 2.5.1, is an analytic function in the half-plane . Hence we can extend the definition of the Mellin transform of by setting
for . The extended transform has the same properties as in the half-plane .
Similarly, if in (2.5.18), then can be continued analytically to a meromorphic function on the entire -plane with simple poles at , , with principal part
Alternatively, if in (2.5.18), then can be continued analytically to an entire function.
Since is analytic for by Table 2.5.1, the analytically-continued allows us to extend the Mellin transform of via
We are now ready to derive the asymptotic expansion of the integral in (2.5.3) as . First we note that
By direct computation
Next from Table 2.5.1 we observe that the integrals for the transform pair and are absolutely convergent in the domain specified in Table 2.5.2, and these domains are nonempty as a consequence of (2.5.19) and (2.5.20).
For simplicity, write
From Table 2.5.2, we see that each is analytic in the domain . Furthermore, each has an analytic or meromorphic extension to a half-plane containing . Now suppose that there is a real number in such that the Parseval formula (2.5.5) applies and
If, in addition, there exists a number such that
For further discussion of this method and examples, see Wong (1989, Chapter 3), Paris and Kaminski (2001, Chapter 5), and Bleistein and Handelsman (1975, Chapters 4 and 6). The first reference also contains explicit expressions for the error terms, as do Soni (1980) and Carlson and Gustafson (1985).
The Mellin transform method can also be extended to derive asymptotic expansions of multidimensional integrals having algebraic or logarithmic singularities, or both; see Wong (1989, Chapter 3), Paris and Kaminski (2001, Chapter 7), and McClure and Wong (1987). See also Brüning (1984) for a different approach.
Since , by the Parseval formula (2.5.5), there are real numbers and such that , , and
Since is analytic for , by (2.5.14),
for any satisfying . Similarly, since can be continued analytically to a meromorphic function (when ) or to an entire function (when ), we can choose so that has no poles in . Thus
where () is an arbitrary integer and is an arbitrary small positive constant. The last term is clearly as .
where . From (2.5.28)
To verify (2.5.48) we may use