In the case of Hahn Polynomials given in (1), Sharapudinov [10] has given an asymptotic formula involving Jacobi polynomials when the parameters satisfy α, and , where *c* is a positive constant. The value of the variable *x* is also required to be large; more precisely, and is a small number. Although discrete Chebyshev polynomials given in (2) is a special case of the Hahn polynomials, the values of the parameters are ; that is, Sharapudinov's result does not include our case. However, because the leading term in the uniform asymptotic expansion of the Jacobi polynomials is a Bessel function (see [7, p. 451]), the work of Sharapudinov did inspire us to look for an asymptotic expansion for involving Bessel functions, when the parameters *a* and *b* in (3) satisfy and the variable *x* is large. Our method differs completely from that of Sharapudinov.

The saddle point of in the *t*-plane is given by

- (92)

cf. (11), where the *v*-plane is cut along two line segments joining 0 to the two conjugate points , and the branch of the square root is chosen so that as . From (92), we have

- (93)

where *c* is a positive constant, and for ,

- (94)

where 0^{+} and 0^{−} mean limits approaching 0 from the right-hand side of the cut and the left-hand side of the cut, respectively. Moreover, easy calculation shows that for any *v*, is not a real number on the cut (1, ∞) in the *t*-plane. Following the same argument given prior to (36), we introduce the mapping

- (95)

with the correspondence between the saddle points and given by

- (96)

Coupling (95) and (96) yields

- (97)

The zeros of are given by

- (98)

where is the relevant saddle point given in (92). By straightforward calculation, we have

- (99)

Note that we have when , and when . For any fixed *v*, we can deform the original interval of integration into a steepest descent path , passing through . Also note that is not on , unless . Moreover, if , then and is the real interval [0, 1]. In our case, there is only one point on the path γ_{3} in the *v*-plane (see (90)), where it crosses the real line. Let us denote this point by *v*_{0}. When , the mapping which we have introduced in (95) becomes singular at the point , because in (99) blows up. However, for this particular case, we only need to slightly modify the path by replacing part of the original path near this point by a small half circle as shown in Figure 3. The corresponding integration path in the τ-plane following the mapping (95) also needs to be modified. However, this small modification on the integration path will not affect the following argument and calculation. With this in mind, we will simply ignore this particular case, and proceed with the assumption that the integration path in the τ-plane is always for all *w*, and that will not blow up in the neighborhood of the path.

Thus, from (90) and (95), we have

- (100)

Here, we rewrite the phase function as

- (101)

Recalling the statements following (91) and (92), we know that there are only two cuts in the *v*-plane: one along the infinite interval and the other along the bent line joining the conjugate points and passing through the origin. To find the saddle points of , we set

and obtain

- (102)

Because (90) is obtained from (7) by making the change of variable , (102) can also be derived from (15). Note that in this case, . Furthermore, because , the quantity inside the square root is positive. Hence, are distinct, and approach .

Coupling (100) and (104), the integral representation of becomes

- (109)

where

- (110)

and the contour starts from , encircles the point in the counterclockwise direction and returns to . For , we define recursively

- (111)

- (112)

where given in (110). Furthermore, we expand and at , and write

- (113)

It is easy to see that

- (114)

From (109), (111), and (112), we have

- (115)

where

- (116)

and

- (117)

In (115), we have made use of the integral representations of Bessel function and Gamma function

and

see [7], (10.9.19) and (5.9.1). Using (112) and integration by parts, we can rewrite in (117) as

- (118)

Repeating the procedure above, we obtain

- (119)

where

- (120)

- (121)

- (122)

Because involves and depends on the parameters *a* and *b* in (3), the coefficients and in (120) and (121) also depend on *a* and *b*. For an estimate on these coefficients, see (146) below.

#### 5.2. Analyticity of

We now investigate the function given in (110). By (99) and (108), we have

- (126)

when and , and

- (127)

when and , where and is defined in the previous subsection. Note that is excluded from . It is easy to see that is bounded by a constant, independent of *b* and *a*, as for and . Therefore, is analytic in τ for τ in the neighborhood of [0, ∞). Moreover, is also analytic in *u* for , because the only singularities in are both removable; indeed, we have

- (128)

when and , and by the equation following (108) we also have

- (129)

when and . To reach (129), we have written as and move inside the square root in at ; see (108).

First, we show that for *u* on the inner boundary *C*_{I},

- (130)

where and *C*, *C*_{1}, *C*_{2} are used, here and thereafter, as generic symbols for constants independent of *u*, *v*, *m*, *a*, and *b*. Recall from (107) that as . To prove (130), we take the part of the inner boundary *C*_{I} as an illustration. Using (125), we obtain

- (131)

Because , from the equality in (131) we have . Therefore,

- (132)

Rewriting (131) gives

- (133)

which lead to . Substituting (132) into the right-hand side of the last inequality, and combining the resulting inequality with (132), we obtain (130) immediately. Similarly, for *u* on the outer boundary *C*_{O}, we have the estimates

- (134)

#### 5.3. Error bounds for the remainder

To prove the asymptotic nature of the expansion in (119), we need to give precise estimates for its coefficients , in (120) and (121), and the error term given in (122), because the derivative in (108) may blow up as approach 0, just like the case in Section 'Airy-type expansion'. Because the coefficients and are related to and by (113), (120), and (121), let us first estimate and . To this end, we define recursively

and

for . By induction, it can be shown that

- (136)

for , where and are constants independent of *m* and *u* (but dependent of τ); see [12]. Furthermore, by (114), (111), and (112), it can be proved that

- (137)

and

- (138)

see also [12]. Define ; because in this case both *n* and , and , we have , , if , and if .

Using (136), (130), and (134), it is easily verified that

- (139)

for *u* on the inner boundary *C*_{I}, and

- (140)

for *u* on the outer boundary *C*_{O}, where *C* is used again as a generic symbol for constants independent of *u*, *a*, and *b*. Also, we have the estimates

- (141)

To see this, we take one part of *C*_{I}, namely, as an example; see (124) and (125), where *Z* in (124) satisfies . Using the second equality in (125), and in polar coordinates, , the last equation is equivalent to

- (142)

Thus,

- (143)

Because in this case , we have . By (130), and

- (144)

from which the first inequality in (141) follows. The second inequality can be established in a similar manner.

Because and is analytic in τ, we have for some constant and for τ in the neighborhood of the origin. By a combination of (137), (138), (139), (140), (141), and (135), we obtain

- (145)

for τ near . Furthermore, by (113), (120), (121), and (145), we have

- (146)

To estimate the remainder in (122), we split the loop contour into two parts; see Figure 8. The bounded part of the contour, denoted by Γ_{1}, is contained in a subdomain of , which has a distance from the outer boundary of (i.e., *C*_{O}), and has a distance from the inner boundary of (i.e., *C*_{I}), *c*_{1} and *c*_{2} being two constants independent of *u*, *a* and *b*. Note that may become large, whereas may approach zero. The unbounded part of the contour, denoted by Γ_{2}, is the rest of the loop outside the subdomain . Put

- (147)

- (148)

As in [5] and [12], it can be shown that is exponentially small in comparison with . To estimate , we also follow [5] and [12] by first deriving an integral representation for . Define recursively

- (149)

for . Using induction, one can easily verify that

- (150)

where are some constants depending only on *i*, *j*, and *p*. Similar to (87), for we have from (111), (112), and (149) the integral representation

- (151)

From (150), it is easy to see that

- (152)

Coupling the above inequalities with (141) and (151), we obtain

- (153)

for and τ in the neighborhood of .

If is bounded, one can easily show from (147) and (153) that

- (154)

If , we divide the integration path Γ_{1} into three pieces: the steepest descent path *L*_{1} through in the upper half of the *u*-plane, the steepest descent path *L*_{2} through in the lower half of the *u*-plane, and the circular arc , denoted by *L*_{3}, which joins the steepest descent paths *L*_{1} and *L*_{2} at and , respectively; see Figure 8. Hence,

- (155)

where , , denotes the integral over the subcontour . Applying the steepest descent method [11], p.84], and using (153), it can be easily verified that

- (156)

For *I*_{3}, because

*I*_{2} is exponentially small in comparison with *I*_{1, 2}. Therefore,

- (157)

It is well-known that the Bessel function is bounded when *t* is bounded, and that as ,

- (158)

Coupling the estimates (154) and (157), and together with (158) and (146), we can find a constant *M* independent of *a* and *b* such that

- (159)

which establishes the asymptotic nature of the expansion in (119), given that . In conclusion, in the case and , (119) is an asymptotic expansion.