Chao Min,Liwei Wang
Orthogonal Polynomials with Singularly Perturbed Freud Weights
orthogonal polynomials,recurrence coefficients,singularly perturbed Freud weights,differential and difference equations
In this paper, we are concerned with polynomials that are orthogonal with respect to the singularly perturbed Freud weight functions. By using Chen and Ismail’s ladder operator approach, we derive the difference equations and differential-difference equations satisfied by the recurrence coefficients. We also obtain the differential-difference equations and the second-order differential equations for the orthogonal polynomials, with the coefficients all expressed in terms of the recurrence coefficients.
Orthogonal Polynomials with Singularly Perturbed Freud Weights

In this paper, we are concerned with polynomials that are orthogonal with respect to the singularly perturbed Freud weight functions. By using Chen and Ismail’s ladder operator approach, we derive the difference equations and differential-difference equations satisfied by the recurrence coefficients. We also obtain the differential-difference equations and the second-order differential equations for the orthogonal polynomials, with the coefficients all expressed in terms of the recurrence coefficients.

Orthogonal polynomials are of great importance in Random Matrix Theory (RMT), integrable systems, numerical analysis, representation theory, etc. It is well known that classical orthogonal polynomials (Hermite, Laguerre and Jacobi) are orthogonal with respect to a weight function that satisfies the Pearson equation where is a polynomial of degree and is a polynomial of degree 1. Semi-classical orthogonal polynomials have a weight that satisfies the Pearson Equation (1), where and are polynomials with or (see, e.g., ([1], Section 1.1.1)). A motivation of this paper is the fact that the recurrence coefficients of semi-classical orthogonal polynomials are usually related to the solutions of the Painlevé equations. For example, Chen and Its [2] proved that the recurrence coefficients of orthogonal polynomials with a singularly perturbed Laguerre weight are expressed in terms of a particular Painlevé III equation. Filipuk, Van Assche and Zhang [3] showed that the recurrence coefficients of a class of semi-classical Laguerre polynomials are related to the Painlevé IV equation. Basor, Chen and Ehrhardt [4] established the relation between the recurrence coefficients of time-dependent Jacobi polynomials and the Painlevé V equation. See [5,6,7,8,9,10,11] and also the recent monograph of Van Assche [1] for more information. A Freud weight is a weight function of the form ([12], Section 18.32) where is real, even, nonnegative and continuously differentiable. Of special interest are the cases . In a seminal paper [9], Magnus studied the relations between the Painlevé equations and many semi-classical orthogonal polynomials, in which there are two examples of the one-parameter Freud weights: with a parameter, and Magnus obtained a series of differential and difference equations satisfied by the recurrence coefficients of the corresponding orthogonal polynomials. See also [3,7,13,14]. In this paper, we consider the singularly perturbed Freud weight with . When , the factor induces an infinitely strong zero at the origin. This is a semi-classical weight since it satisfies the Pearson Equation (1) with . Orthogonal polynomials with singularly perturbed Gaussian, Laguerre and Jacobi weights have been studied in [2,5,15]. We mention that the weights with an essential singularity at the origin, such as (2), play an important role in many mathematical and physical problems, such as the study of statistics for zeros of the Riemann zeta function [16], the calculation of finite temperature expectation values in integrable quantum field theory [17], the study of the Wigner time-delay distribution [18,19,20], etc. Let be the monic polynomials of degree n orthogonal with respect to the weight (2), i.e., Since the weight is even, we have ([21], p. 21). Specifically, has the expansion where is the sub-leading coefficient of , and . It is well known that the orthogonal polynomials satisfy the three-term recurrence relation ([21], pp. 18–21) with the initial conditions Using (3)–(5), we have two alternative expressions of : See also [22,23] for more information about orthogonal polynomials. From Chen and Ismail [24] (see also [25] and ([22], Chapter 3)), our orthogonal polynomials satisfy the following differential-difference equations: where is the potential and Note that we do not display the t-dependence of many quantities for simplicity. By the definitions (9) and (10) and with the aid of the three-term recurrence relation (5), it can be shown that and satisfy the compatibility conditions Multiplying by on both sides of (12) and using (11) to eliminate , we have the following identity after taking a telescopic sum: Finally, eliminating from (7) and (8), we obtain the second-order differential equation satisfied by the orthogonal polynomials: where use has been made of (13) to simplify the coefficient of . From the point of view of RMT, the weight (2) can be used to define a singularly perturbed Freud unitary ensemble with probability distribution where is the partition function and can be expressed as a Hankel determinant generated by the weight (2) by using Andréief or Heine’s identity. See [26,27,28] for more information about this topic. In this respect, there are many problems to be considered, including the large n asymptoics of the partition function and the gap probabilities of the ensemble. We will leave these problems to a future investigation. We mention that Claeys, Krasovsky and Minakov [29] recently studied the asymptotics of the partition function and gap probabilities of a certain Freud random matrix ensemble. In addition, construction of the quadrature formulas related to the weight (2) as in [30] may be an interesting problem. The main purpose of this paper is to derive the differential and difference equations for the recurrence coefficient and also the orthogonal polynomials with respect to the singularly perturbed Freud weight (2) by using Chen and Ismail’s method [24,25].

In this section, we consider the simplest case () and the weight function now reads with . It is also called the singularly perturbed Gaussian weight and has been studied by Min, Lyu and Chen [15] (see also [31]). One of the main results in [15] is that the authors establish the relation between the recurrence coefficient and the Painlevé III equation (see Theorem 3 below). The following results in Lemma 1 and Lemma 2 are obtained in [15]. Lemma 1. For this problem, we have where and are the auxiliary quantities defined by Substituting (15) and (16) into (11) and (13), we have the following. Lemma 2. The auxiliary quantities and the recurrence coefficient satisfy the following relations: Theorem 1. The recurrence coefficient satisfies the nonlinear second-order difference equation Proof. From (18) and (17), we have Substituting (21) and (22) into (19), we establish the theorem. □ Theorem 2. The recurrence coefficient satisfies the differential-difference equation Proof. Taking a derivative with respect to t in the orthogonality condition we find Using (6), we have Substituting (22) into the above, we obtain the desired result. □ Theorem 3. The auxiliary quantity , related to the recurrence coefficient by satisfies a particular Painlevé III equation ([32], (2)): Proof. This is obtained by eliminating from the coupled Riccati equations satisfied by and . See [15] for details. □ Theorem 4. The orthogonal polynomials satisfy the differential-difference Equations (7) and (8), and the second-order differential Equation (14) with and . Proof. Substituting (22) and (21) into (15) and (16), we have the expressions of and in (23). From (15) and (20), we find Substituting (22) and (21) into the above, we obtain (24). □

In this section, we consider the case and the weight function is with . It is easy to see that the potential is It follows that and Lemma 3. We have where and are the auxiliary quantities given by Proof. Substituting (25) into the definition of in (9) and using the parity of the integrand, we obtain By the three-term recurrence relation (5), we have It follows that where use has been made of (6). Inserting (29) into (28) gives (26). Similarly, substituting (25) into the definition of in (10), we have It is easy to see that Then, we arrive at (27). The proof is complete. □ Theorem 5. The recurrence coefficient satisfies the nonlinear fourth-order difference equation Proof. Substituting (26) and (27) into (11), we find Similarly, substituting (26) and (27) into (13), we obtain the following four identities: From (33) and (32), we can express and in terms of the recurrence coefficient : Substituting (37) and (38) into (34), we obtain (31). □ Theorem 6. The recurrence coefficient satisfies the differential-difference equation Proof. Taking a derivative with respect to t in the equality we find and then Substituting (38) into the above gives the desired result. □ Theorem 7. The orthogonal polynomials satisfy the differential-difference Equations (7) and (8), and the second-order differential Equation (14) with Proof. Substituting (38) and (37) into (26) and (27), we obtain (39) and (40), respectively. From (26), we have Using (36) and (35), we find Inserting (43) and (44) into (42), and eliminating and by (38) and (37), we obtain (41). This completes the proof. □ In the case, we find that the expressions of and include the terms of the recurrence coefficient , which is different from the case. This leads to the result that and do not have a simple relation as in the case by using the compatibility conditions. Thus, we cannot derive the coupled Riccati equations for the auxiliary quantities and , and the second-order differential equations for and . Therefore, the relation between our problem and the Painlevé equations is not clear in the case. A similar phenomenon arises in the next case; see also [33].

In this section, we consider the weight function with . We have It follows that and Lemma 4. We have where , , and are the auxiliary quantities given by Proof. Substituting (46) into (9) and (10) and noting that formulas (29) and (30) still hold for the weight (45), we obtain the desired results. □ Theorem 8. The recurrence coefficient satisfies the nonlinear sixth-order difference equation Proof. Substituting (47) and (48) into (11), we find Similarly, substituting (47) and (48) into (13), we obtain the following six identities: From (51) and (49), we can express and in terms of the recurrence coefficient, It follows from (52) and (50) that and can also be expressed in terms of , Substituting (59) and (60) into (53), we establish the theorem. □ Remark 1. The expressions of and in (57) and (58) can also be obtained by using the three-term recurrence relation and the orthogonality from their definitions in Lemma 4. Theorem 9. The recurrence coefficient satisfies the differential-difference equation Proof. Taking a derivative with respect to t in the equality gives and then Substituting (60) into the above gives the desired result. □ Theorem 10. The orthogonal polynomials satisfy the differential-difference Equations (7) and (8), and the second-order differential Equation (14) with where and are given by (57), (58), (59) and (60), and . Proof. Inserting (58) and (60) into (47) and inserting (57) and (59) into (48), we obtain (61) and (62), respectively. From (47), we have Eliminating and by using (56), (55) and (54), we obtain (63). □ Remark 2. From (63), we see that can be expressed in terms of the recurrence coefficients . We do not write the explicit expression since it is very long.

In this paper, we study the singularly perturbed Freud weights (2), the associated orthogonal polynomials and the recurrence coefficients in the cases. We derive the differential and difference equations for the recurrence coefficients and the orthogonal polynomials in the three cases. It can be seen that for increasing m, the order of the difference equations increases by 2 in each case. We can use our method to consider the higher-order singularly perturbed Freud weights. However, one can imagine that the results for the differential and difference equations will be more and more complicated. Finally, we find that the recurrence coefficient is related to the Painlevé III equation when , but it is not clear whether there is any connection to the Painlevé equations when .