Abstract
Studying the multiplication operator associated with exceptional Jacobi polynomials, the zero distribution of the corresponding average characteristic polynomials is determined. Applying this result, the location of zeros of certain self-inversive polynomials is examined.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The three term recurrence relation fulfilled by standard orthogonal polynomials implies that the multiplication operator \(M: f(x)\rightarrow xf(x)\), acting on the weighted \(L^2_w\) space can be represented by a tridiagonal (Jacobi) matrix. Denoting by \(\pi _n\) the projection operator to the n-dimensional subspace, the eigenvalues of \(\pi _nM\pi _n\) are just the zeros of the orthogonal polynomials in question.
Considering the probability density
where c(n) is a normalization factor, and the average characteristic polynomial is defined as follows:
where the expectation \({\mathbb {E}}\) refers to \(\varrho _n\). According to [28, (2.2.10)], the zeros of the average characteristic polynomial are just the zeros of \(q_n\) again.
Exceptional orthogonal polynomials are complete systems of polynomials with respect to a positive measure. They are different from the standard or from the classical orthogonal polynomials, since exceptional families have finite codimension in the space of polynomials. Similarly to the classical ones, exceptional polynomials are eigenfunctions of Sturm–Liouville-type differential operators but unlike the classical cases, the coefficients of these operators are rational functions. Exceptional orthogonal polynomials also possess a Bochner-type characterization as each family can be derived from one of the classical families applying finitely many Darboux transformations, see [5].
Exceptional orthogonal polynomials were introduced recently by Gómez-Ullate, Kamran and Milson, cf. e.g. [7, 8] and the references therein. These families of polynomials play a fundamental role for instance in the construction of bound-state solutions to exactly solvable potentials in quantum mechanics. In the last few years, they have seen a great deal of activity in this area both by mathematicians and physicists, cf. e.g. [4, 6, 13, 25], etc. The location of zeros of exceptional orthogonal polynomials is also examined, cf. e.g. [2, 3, 9, 15, 16, 19].
Exceptional orthogonal polynomials fulfil \(2L+1\) recurrence formulae with \(L\ge 2\). Thus the matrices that represent the multiplication operators associated with exceptional polynomials are \(2L+1\) diagonal. Unlike the standard case, the nth average characteristic polynomial does not coincide with the nth orthogonal polynomial; furthermore, these two polynomials are of different degrees.
Below we deal with exceptional Jacobi polynomials. In this case, it is pointed out that the normalized counting measure associated with the modified characteristic polynomial tends to the equilibrium measure of the interval of orthogonality in weak-star sense, see Theorem 1 below, i.e. it coincides asymptotically with the normalized zero-counting measure of the corresponding exceptional Jacobi polynomials, see [2, Theorem 6.5].
Finally, this multiplication operator method is applied to determine the zeros on the unite circle of certain self-inversive polynomials.
2 Preliminaries, notation
2.1 General construction of exceptional orthogonal polynomials
There are two different approaches of derivation exceptional orthogonal polynomials from classical ones. Both methods are based on the quasi-rational eigenfunctions of the classical (Hermite, Laguerre, Jacobi) differential operators. The method, developed first for exceptional Hermite polynomials (see [6]), defines exceptional polynomials by the Wronskian of certain partition of quasi-rational eigenfunctions mentioned above. The other method defines exceptional polynomials recursively, which is by application of finitely many Crum–Darboux transformations to the classical differential operators. A Bochner-type characterization theorem (see [5]) ensures that all exceptional classes can be derived by this method.
Subsequently we follow the construction by Crum-Darboux transformation. According to [5, Propositions 3.5 and 3.6], it is as follows.
Classical orthogonal polynomials \(\left\{ P_n^{[0]}\right\} _{n=0}^\infty \) are eigenfunctions of the second-order linear differential operator with polynomial coefficients
and its eigenvalues are denoted by \(\lambda _n\). T can be decomposed as follows:
where w is the logarithmic derivative of a quasi-rational eigenfunction of T with eigenvalue \(\tilde{\lambda }\), which is w is rational and fulfils the Riccati equation
b is a suitable rational function. The coefficients of B can be expressed as follows:
Then the exceptional polynomials are the eigenfunctions of \(\hat{T}\) that is the partner operator of T, which is
where
so exceptional polynomials can be obtained from the classical ones by application of (finitely many) appropriate first-order differential operator(s) to the classical polynomials. This observation motivates the notation below:
(and recursively \(A_sP_n^{[s-1]}=:P_n^{[s]}\) in case of s Darboux transformations.) The degree of \(P_n^{[1]}\) is usually greater than n. \(\left\{ P_n^{[1]}\right\} _{n=0}^\infty \) is an orthogonal system on I with respect to the weight
where \(w_0\) is one of the classical weights.
Remark
Since at the endpoints of I (if there is any) p may possesses zeros, b can be zero here as well, but b does not have zeros inside I, otherwise the moments of W would not be finite.
-
As each \(P_n^{[1]}\) is a polynomial (\(n=0, 1, \dots \)), applying the operator A to \(P_0^{[0]}\) it can be seen that bw must be a polynomial and to \(P_1^{[0]}\) shows that b itself is also a polynomial.
-
Let us recall that \(r=0\) in the classical differential operators. Considering (2) and comparing degrees, w itself cannot be a polynomial. By the same reasons, pw cannot be a polynomial unless it is of degree one. w is a rational function, and it has no poles in \((-1,1)\).
-
Expressing (2) as
$$\begin{aligned} bBP_n^{[1]}=p\left( P_n^{[1]}\right) '+\left( pw+q-p\frac{b'}{b}\right) P_n^{[1]}=(\lambda _n-\tilde{\lambda })bP_0^{[0]}, \end{aligned}$$(9)it can be easily seen that if \(P_n^{[1]}\) had got a double zero at \(x_0\in \mathrm {int}I\), then \(P_0^{[0]}(x_0)=0\), and by (7) \(\left( P_n^{[0]}\right) '(x_0)=0\), which is impossible, i.e. that zeros of \(P_n^{[1]}\) which are in the interior of the interval of orthogonality are simple.
-
Let a be (one of) the finite endpoint(s) of the interval of orthogonality. Again by (9), one can derive that if \(b(a)\ne 0\), then \(P_n^{[1]}(a)\ne 0\) as well.
-
If there was an \(n\in {\mathbb {N}}\) such that \(P_n^{[1]}(a)= 0\), then \(b(a)= 0\) and by (7) \((bw)(a)=0\) and so \(P_n^{[1]}(a)= 0\) for all n. That is, taking \(\tilde{P}_n^{[1]} :=b_1\left( P_n^{[0]}\right) '-b_1wP_0^{[0]}\), where \(b_1(x)=\frac{b(x)}{x-a}\), we arrive to the exceptional system orthogonal with respect to \(W=\frac{pw_0}{b_1^2}\). Thus, we can assume that \(\forall \) n \(P_n^{[1]}(a)\ne 0\), and if \(b(a)=0\), then \((bw)(a)\ne 0\).
2.2 Exceptional Jacobi polynomials
Let the \(n^{th}\) Jacobi polynomial defined by Rodrigues’ formula be:
where \(\alpha , \beta >-1\).
The orthogonal Jacobi polynomials which fulfil the following differential equation (cf. [28, (4.2.1)])
With
and
In the following examples \(X_m\) stands for a family of exceptional Jacobi polynomials of codimension m which are given by a certain Darboux transformation. Examples of \(X_{m}\) can be found in [9]. These are as follows:
where \(\alpha \) and \(\beta \) are defined appropriately, see [9, Proposition 5.1].
where A and B are defined in (2), and
So the defined exceptional Jacobi polynomials, \(P_n^{[1]}:=AP_n^{[0]}\), are orthogonal with respect to
and the space spanned by these classes is m-codimensional in the space of polynomials.
We restrict our investigations to the one-step Darboux transformation case. As it is mentioned above, b can be zero at \(\pm 1\). Indeed, by [2, Table 1] the quasi-rational eigenfunctions of
cf. (11), are \(p_n^{(\alpha ,\beta )}(x)\), \((1+x)^{-\beta }p_n^{(\alpha ,-\beta )}(x)\), \((1-x)^{-\alpha }p_n^{(-\alpha ,\beta )}(x)\) and \((1+x)^{-\beta }(1-x)^{-\alpha }p_n^{(-\alpha ,-\beta )}(x)\). It gives three kinds of b(x). According to the three types of quasi-rational eigenfunctions, let
Thus, b(x) can be taken as
where s is a polynomial such that \(s(x)\ne 0\) on \([-1,1]\).
Of course, \(\{P_n^{[1]}\}\) is an (exceptional) closed orthogonal system with \(s\equiv 1\) in \(L^2_{W}\) if and only if \(\{sP_n^{[1]}\}\) is orthogonal and closed in \(L^2_{\frac{W}{s^2}}\). If s had a zero in \(x=\pm 1\), then closedness could fail. So the examples beyond \(b_0\) do not give really new classes and can be handled as simple consequences of the \(b_0\)-type families. Because it does not cause any difficulty, below we use b instead of using \(b_0\) first and than taking extension.
Subsequently we denote by \(\tilde{b}\) that part of b which appears in the weight function,
which is bounded on \([-1,1]\). Introducing the notation
where \(\varepsilon _i=\pm 1\), \(i=1,2\), the exceptional Jacobi polynomial system, \(\left\{ P_{n}^{[1]}\right\} _{n=0}^{\infty }\), is orthogonal on \((-1,1)\) with respect to
The orthonormal system is denoted by \(\left\{ \hat{P}_{n}\right\} _{n=0}^{\infty }.\) The codimension is given by the degree of \(\tilde{b}\) cf. [5].
3 Multiplication operator
Below we investigate the location of zeros of the modified characteristic polynomial introduced in [14]. In our case, it is as follows.
Let us denote by \(\{\hat{P}_n\}_{n=0}^\infty \) the orthonormal system of exceptional Jacobi polynomials, i.e.
The Christoffel–Darboux kernel is
The joint probability density generated by an n-point ensemble has the form:
Thus the correlation functions are
where c(N) and c(n, N) are normalization factors. The expectation \({\mathbb {E}}\) refers to (21). The eigenvalue measure becomes a point process with determinantal correlation kernel, cf. [17, Example 2.12], i.e. it is a determinantal point process.
Now we define the modified characteristic polynomial. Let b and \(\tilde{b}\) be given by (13) and (16), respectively. Recalling that b is a polynomial, let
The constant term of Q is chosen to be zero.
Considering Q, the modified average characteristic polynomial is defined as follows:
cf. [14]. Denote by \(z_i\) the zeros, of \(\chi _n(z)\) and define the not necessarily unique pre-images of \(z_i\) by \(y_i\), i.e. \(z_i=Q(y_i)\), \(i=1, \dots , n\). The normalized counting measure based on \(y_i\) is
that is \(\int Q^l(y)d\tilde{\nu }_n=\int z^ld\nu _n(z)\). Note, that since \(\tilde{b}>0\) on \([-1,1]\), Q is increasing here and so if \(z_i \in Q([-1,1])\), \(y_i\) can be chosen from \([-1,1]\) uniquely.
The next theorem describes zero distribution of the modified average characteristic polynomial. \(X_m\) stands for exceptional orthogonal polynomials generated by one Darboux transformation and of codimension m.
Theorem 1
In the exceptional Jacobi case \(X_{m}\), where \(m\in {\mathbb {N}}\) is arbitrary, if \(\alpha +\varepsilon _1, \beta +\varepsilon _2 \ge -\frac{1}{2}\), then
in weak-star sense, where \(\mu _e\) is the equilibrium measure of \([-1,1]\).
For this study, our main tool is the multiplication operator \(M: f \rightarrow Qf\), which was introduced in [14]. It is defined as follows.
Exceptional orthogonal polynomials fulfil the next recurrence formula with constant coefficient: \(QP_n^{[1]}=\sum _{k=-L}^L\tilde{u}_{n,k}P_{n+k}^{[1]}\) (see [24] and [14, (3.4)]). After normalization the recurrence relation above is modified as follows:
where \(u_{n,k}=\frac{\sigma _{n+k}}{\sigma _{n}}\tilde{u}_{n,k}\), for \(\sigma _n\) see (19). That is M can be represented by an infinite matrix, \(M_{e}\), in the orthonormal basis \(\{\hat{P}_n\}_{n=0}^\infty \). This operator, acting on \(L^2_W[-1,1]\) and simultaneously on \(l_2\), is denoted by \(M_e\). By (25), the matrix of \(M_{e}\) is \(2L+1\)-diagonal:
It can be easily seen that \(M_e\) is symmetric since
Let us recall that \(\{\hat{P}_n\}_{n=0}^\infty \) is an orthonormal system on \([-1,1]\) with respect to \(W=\frac{pw_0}{b^2}\), where \(w_0\) is a classical Jacobi weight function. Besides this exceptional orthonormal polynomial system, there is the standard orthonormal polynomial system, \(\{q_n\}_{n=0}^\infty \), on \([-1,1]\) with respect to W. These standard orthonormal polynomials fulfil the three-term recurrence relation:
(see e.g. [28, (3.2.1)]). Since \(W>0\) on \((-1,1)\), by [23, Theorem 4.5.7] (see also [26]) in formula (28) the recurrence coefficients fulfil the asymptotics
According to (28) multiplication operator on \(L^2_W[-1,1]\), \(A: f \mapsto xf\) can be represented in the (Schauder) basis \(\{q_n\}\) as an infinite tridiagonal matrix (denoted by A again)
and so A acts on \(L^2_W[-1,1]\) and on \(l^2\). Let Q(x) be as above. Then the multiplication operator, \(M: f \mapsto Qf\) can be represented as \(M=Q(A)\), and in the basis \(\{q_n\}\), it has a matrix \(M_q=Q(A)\). Let \(\Pi _n^q\) and \(\Pi _n^e\) be the projections to \(\mathrm {span}\{q_0, \dots , q_{n-1}\}\), and to \(\mathrm {span}\{\hat{P}_0, \dots , \hat{P}_{n-1}\}\), respectively. Let
To prove Theorem 1, we compare the trace of the truncated operators in the different bases above.
It is known (see [14] and the references therein) that the characteristic polynomial of the truncated multiplication matrix \(M_{e,n\times n}\), coincides with the modified average characteristic polynomial, that is
where \(I_n\) stands for the n-dimensional identity operator. In the standard case, the characteristic polynomial of the truncated multiplication matrix \(A_{n\times n}\) coincides with the standard average characteristic polynomial (see [10, 11]) and the eigenvalues are just the zeros of the standard orthonormal polynomials, \(q_n\), see [28, (2.2.10)]. Thus, we need the next statement.
Proposition 1
With the notation (18), let us assume that \(\alpha +\varepsilon _1, \beta +\varepsilon _2 \ge -\frac{1}{2}\). Then for each \(l\in {\mathbb {N}}\)
Proof of Proposition 1 is postponed to the next section.
Proof
(of Theorem 1) Let \(\xi _i=\xi _{i,n}\), \(i=1, \dots , n\) the zeros of the standard orthogonal polynomial, \(q_n\). Let us recall that \(\{\xi _i\}_{i=1}^n\) are the eigenvalues of \(A_{n\times n}\). Since \(\frac{1}{n}\mathrm {Tr}((Q(A_{n\times n}))^l)=\frac{1}{n}\sum _{i=1}^nQ^l(\xi _i)\) and by (30) \(\frac{1}{n}\mathrm {Tr}((M_{e,n\times n})^l)=\frac{1}{n}\sum _{i=1}^nQ^l(y_i)\), according to Proposition 1
On the other hand, (29) implies that the normalized counting measure based on the zeros of the orthogonal polynomials, \(q_n\), tends to the equilibrium measure of the interval of orthogonality in weak-star sense (see e.g. [18, Proposition 1.1] and the references therein). That is
Comparing the two limits and taking into consideration that the spectrum of the multiplication operator is the closure the range of Q on \([-1,1]\) (see e.g. [27, Sect. 150]) we have that for all \(l\in {\mathbb {N}}\)
As it is pointed out in the proof of [14, Theorem 4.1], \(\mathrm {span}\{Q^l: l\in {\mathbb {N}}\}\) is dense in \(C[-1,1]\), which implies the result. \(\square \)
4 Proof of Proposition 1
First, we need some technical lemmas. Let \(C=[c_{ij}]_{i,j=0}^\infty \) be an infinite matrix. \(c_{ij}= _i C_j\) stands for the elements of C. Its \(n^{th}\) principal minor matrix is \(C_{n\times n}:=[c_{ij}]_{i,j=0}^{n-1}\). Its ith row is \(_i C\) and jth column is \(C_j\). With this notation, we can state the next lemma.
Lemma 1
Let \(C=[c_{ij}]_{i,j=0}^\infty \) be a \(2k+1\)-diagonal, infinite matrix. Let \(P=\sum _{l=0}^Mp_lx^l\) be a fixed polynomial. If the entries of C are bounded, i.e. there is a K such that \(|c_{ij}|<K\) for all \(0\le i,j <\infty \), then
Proof
It is obvious that for each \(l\in {\mathbb {N}}\) \(C^l\) is \(2(kl)+1\) diagonal:
Indeed, \(c_{ij}=0\) if \(|i-j|>k\). Assuming that \((C^l)_{ij}=:C^l_{ij}=0\) if \(|i-j|>kl\) we compute \(C^{l+1}_{ij}=\langle _iC^l, C_j\rangle =\sum _{\begin{array}{c} {|i-p|\le kl} {|p-j|\le k} \end{array}} C^l_{ip}C_{pj}\). That is \(C^{l+1}_{ij}=0\) \(|i-j|>(l+1)k\).
By induction on l, we show that the elements of the principal diagonal are coincided in \(C_{n\times n}^l\) and \((C^l)_{n\times n}\) except at most the last \(k(l-1)\) ones.
Let us assume that \((C_{n\times n}^l)_{ij}=((C^l)_{n\times n})_{ij}\) if \(i\le n-(l-1)k\) or \(j\le n-(l-1)k\). (For \(l=1\), it is obviously fulfilled.) Let \(i\le n-kl\). By the assumption and by \(2kl+1\)-diagonality \(_i((C_{n\times n})^l)=_i(C^l)\), and similarly if \(j\le n-k\), then \((C_{n\times n})_j=C_j\). Thus, \(((C_{n\times n})^{l+1})_{ij}=C^{l+1}_{ij}\) if \(i\le n-kl\) and \(j\le n-k\). If \(i\le n-kl\), then \(C^l_{ip}=0\) if \(p>n\) and if \(j>n-k\) then \(C_j-(C_{n\times n})_j\) starts with n zeros; thus, if \(i\le n-kl\) and \(j> n-k\), \(_i((C_{n\times n})^{l+1})_{j}=C^{l+1})_{ij}\) again. For \(j\le n-kl\), we have the same by symmetry.
Finally considering that the rows and columns contain finitely many non-zero elements, these imply that \(\frac{1}{n}\left( \mathrm {Tr}((C_{n\times n})^l)-\mathrm {Tr}((C^l)_{n\times n})\right) \le \frac{1}{n}k(l-1)(2kl+1)^lK^l\), that is
Since \(\mathrm {Tr}(P(C_{n\times n}))=\sum _{l=0}^Mp_l\mathrm {Tr}((C_{n\times n})^l)\) and \(\mathrm {Tr}((P(C))_{n\times n})=\sum _{l=0}^Mp_l\mathrm {Tr}((C^l)_{n\times n})\), (32) implies (31). \(\square \)
To ensure the boundedness of the entries of the matrices in question, we recall the asymptotic behaviour of recurrence coefficients. First, we compute the norm of \(P_n^{[1]}\).
Lemma 2
With the notation (19), if \(\alpha +\frac{\varepsilon _1}{2}, \beta +\frac{\varepsilon _2}{2}> -\frac{1}{2}\),
Proof
With the notation \(p_k^{(\alpha ,\beta )}=p_k\), cf. (12)
By (2) \(pw^2=\tilde{\lambda }-qw-pw'\) and considering (11) \((w^{(\alpha +1,\beta +1)})'=qw^{(\alpha ,\beta )}\)
Thus,
According to [28, (4.21.7)]
\(I_2=\tilde{\lambda }\). By the assumption on \(\alpha \) and \(\beta \), one can see that \(I_3=0\). Substituting the values of the corresponding \(\varrho _k^{\alpha ,\beta }\), (33) is proved. \(\square \)
Analogous to (29), the coefficients in (25) fulfil a symmetric limit relation
where \(U_{|j|}\) depends on the polynomial \(\tilde{b}\) (cf. (2), (16)) as follows. Let
Since Lemma 2 ensures that the asymptotics of \(\tilde{u}_{n,j}\) and \(u_{n,j}\) coincide, according to [14, Proposition 1]
Let us recall that \(\frac{p}{b}\) is bounded on \([-1,1]\) and \(W(x)=\frac{(1-x)^{\alpha +\varepsilon _1}(1+x)^{\beta +\varepsilon _2}}{\tilde{b}^2}\) (\(\varepsilon _i=\pm 1\)), where \(b(x)=\tilde{b}(x)(1-x)^{\frac{1-\varepsilon _1}{2}}(1+x)^{\frac{1-\varepsilon _2}{2}}\) and \(0<c<\tilde{b}<C\) on \([-1,1]\).
Subsequently, the next lemma proved by Badkov (see [1]) is useful. Here, we cite the formulation given in [22].
Lemma A
[22, Lemma 2.E] Let \(\{q_k\}_{k=0}^\infty \) be the standard orthonormal system with respect to W. For each \(j\ge 0\) integer
We need the following estimations on norms of exceptional Jacobi polynomials.
Lemma 3
If \(\alpha +\varepsilon _1, \beta +\varepsilon _2\ge -\frac{1}{2}\), and \(0\le \delta \le \min \left\{ \frac{1}{4},\frac{\alpha +\varepsilon _1}{2}+\frac{1}{4}, \frac{\beta +\varepsilon _2}{2}+\frac{1}{4}\right\} \), then
where c is a constant (independent of k).
Proof
We have
which is bounded, see e.g. [28, (8.21.10], or (37). Since bw is bounded on \([-1,1]\) (it is a polynomial), by (37)
To prove Proposition 1, we introduce the operator O which changes the basis in the Hilbert space in question:
where
and
\(\square \)
Proof
(of Proposition 1) Notice that Lemma 1 can be applied to A and \(M_e\). Indeed, A is tridiagonal, and \(M_e\) is \(2L+1\)-diagonal. Furthermore, the entries of A and \(M_e\) are bounded (see (29) and (34) respectively). Thus it is enough to show that
Considering (39), it is enough to prove that
To prove (42), we compute the diagonal elements of \(\pi _n^eO^{-1}Q^l(A)O\pi _n^e\). According to (40), for \(0\le i\le n-1\)
and considering the \(2lL+1\)-diagonality of \(Q^l(A)\)
Thus,
Reversing the order of summation, we get
Thus, the expression after the limit in (42) becomes
According to (36), the entries \(_i(Q^l(A))_k\) are bounded, and by orthonormality, we have
Thus,
where K depends on L and on the supremum of \(|_i(Q^l(A))_k|\), but it is independent of n, that is the first term tends to zero, when n tends to infinity.
We can start the estimation of the second term of (44) in the same way. By the boundedness of the entries of \(Q^l(A)\), and by (45), we have
Let \(i>k\). Referring to (40), we have
where the differential equation of \(\hat{P}_i\) was taken into consideration, cf. (4) and (6). By the assumption on \(\alpha , \beta \) and (16), integrating by parts the first term, we have
because \(pW'=(\hat{q}-p')W\), cf. (5).
Considering (9), we get
By (50), we have
By (16) \(\left| pw+q-p\frac{b'}{b}\right| \) is bounded on \([-1,1]\). Indeed, only the first term needs some investigation; recalling that bw is a polynomial, notice that \(pw=\frac{p}{b}bw\).
Thus, according to (37) and (38)
where the last inequality fulfils if \(\alpha +\varepsilon _1+\frac{3}{2}-2\delta \ge 0\) and \(\beta +\varepsilon _2+\frac{3}{2}-2\delta \ge 0\). Let \(\delta =ck^{-\frac{1}{4}}\). Then,
provided that \(\alpha +\varepsilon _1,\beta +\varepsilon _2> - \frac{3}{2}\). For sake of simplicity, let us denote by \(c(i):=-\frac{\lambda _i-\tilde{\lambda }}{\sigma _i \lambda _i}\). After simplification, we arrive at
Recalling that \(\frac{1}{\tilde{b}}\) is bounded on \([-1,1]\), let \(S_{i-k-2}\) be its uniformly best approximating polynomial on \([-1,1]\) of degree \(i-k-2\). Then, as its degree is less than i, it follows that \(S_{i-k-2}\tilde{p}q'_k\) is orthogonal to \(p_i\) with respect to \(w^{(\alpha ,\beta )}\). Thus,
Taking into account, (11), (33) and (2), we get \(c(i) \le c \frac{1}{i}\). Since \(\left( \frac{1}{\tilde{b}}\right) '\) is bounded on \([-1,1]\) too, according to the classical Jackson’s theorem, we have
where the norm of \(q'_k\) is estimated by (37). Finally by [28, (7.34.1)], the last integral can be estimated by a constant independent of i, that is
To estimate \(II_{ki}\), first we remark that \(\hat{r}\) is bounded on \([-1,1]\). Indeed, it is clear that we have to deal with only the endpoints. Recalling that \(\frac{p}{b}\) is bounded on \([-1,1]\) and considering (5), we see that \(\hat{q}\) is bounded there too. As it is mentioned in the Remark of section 2, \(\hat{P}_n(1)\ne 0\) that is due to (4) and (6) \(\hat{r}\) must be bounded at 1. By the same chain of ideas, we can show that \(\hat{r}\) is bounded at \(-1\). Thus, by the Cauchy-Schwarz inequality
Since \(\sum _{i=n}^\infty o_{ki}^2\le 1\), according to (52), (53) and (54), we have
so the expression in (46) tends to zero.
Finally, we estimate the error term \(\frac{1}{n}H_n\), cf. (43) and (44). Using the properties of \(|_j(Q^l(A))_k |\) and \(o_{ki}\) again, it can be estimated as follows:
Certainly, \(\lim _{n\rightarrow \infty }\Sigma _1(n)=0\). Splitting \(\Sigma _2(n)\) to two parts and changing the ordering of summation, we get
Again, \(\lim _{n\rightarrow \infty }\Sigma _{21}(n)=0\). According to (40) \(o_{ki}=0\) if \(i\le k-L\). Thus, by orthogonality \(\sum _{i=(l-1)L+1}^{n-1}o_{ji} o_{ki}=\sum _{i=n}^{\infty }o_{ji} o_{ki}\). That is
We can proceed as in (55) again, and so \(\lim _{n\rightarrow \infty }\Sigma _{22}(n)=0\), which finishes the estimation of \(\frac{1}{n}|H_n|\) and the proof of Proposition 1 as well. \(\square \)
5 Certain self-inversive polynomials
In this section, we use the multiplication operator and the infinite matrix \(M_e\) introduced in Sect. 3 to investigate certain self-inversive polynomials.
Let b be defined by (15), and \(\tilde{b}\) by (16). Investigation of Sect. 3 was independent of the constant term of the polynomial \(Q=\int ^x \tilde{b}\). At first, as above, take \(Q_0(x):= \int ^x \tilde{b}\), with zero constant term. Recalling (25), we have \(Q_0\hat{P}_n=\sum _{k=-L}^Lu_{n,k}\hat{P}_{n+k}\), and by (34) we get \(\lim _{n\rightarrow \infty }u_{n,0}=U_0\), where \(U_0\) depends on \(\tilde{b}\), cf. (35). Rearranging the equation above, we have \((Q_0-U_0)\hat{P}_n=\sum _{\begin{array}{c} {-L\le k\le L} \\ {k\ne 0} \end{array}}u_{n,k}\hat{P}_{n+k}+ (u_{n,0}-U_0)\hat{P}_n\); thus, in this section, we define
where \(\int ^x \tilde{b}\) means the primitive function without any constant term. The operator \(M_e\) refers to this Q, that is, denoting by \(M^0_e\) the operator defined by \(Q_0\), \(M_e=M^0_e-U_0I\). Since the asymptotics of the elements of \(M_e\) can be described by (36) \(M_e\) can be decomposed to a bounded symmetric and a compact symmetric part again (cf. (27)), that is
where
and
Investigation of \(M_{e,s}\) leads to the so-called self-inversive or palindrome polynomials, cf. [21, Lemma 12]. A polynomial P of degree n with real coefficients is self-inversive if \(z^nP\left( \frac{1}{z}\right) =P(z)\). The location of zeros of self-inversive polynomials has been extensively studied, see e.g. [20, 29], etc. Of course, the zeros of a self-inversive polynomial are symmetric with respect to the unit circle. One of the statements on the location of zeros is the next one (see eg. [29] ): if \(P_{2m}(z)=\sum _{k=0}^{2m}a_kz^k\) is self-inversive and \(|a_m|>\sum _{\begin{array}{c} {0\le k \le m} \\ {k\ne m} \end{array}} |a_k|\), then \(P_{2m}\) has no zeros on the unite circle. In our special case we get something similar.
Let us recall that \(\tilde{b}(x)=\sum _{k=0}^md_kx^k\), cf. (35). Now define
where \(U_k\) depends on b see (36), and
Theorem 2
\(P_{2L,\lambda }(z)\) has no zeros on the unit circle if and only if
Let us consider \(M_{e,s}\) as an operator on \(l^2\) and on the Hardy space
It is a Hilbert space under the norm \(\Vert f\Vert ^2=\sum _{k=0}^\infty |c_k|^2=\frac{1}{2\pi }\int _0^{2\pi }|f(e^{i\varphi })|^2d\varphi \).
Lemma 4
\(M_{e,s}-\lambda I\) has a bounded inverse if and only if \(P_{2L,\lambda }(z)\) has no zeros on the unit circle.
Proof
With this interpretation if \(f \in H^2\),
Let \(g\in H^2\) be arbitrary. Then considering the equation
we have
By symmetry, counting with multiplicity, \(P_{2L,\lambda }\) has l zeros in the unit disc and \(2(L-l)\) on the unit circle. We can determine \(f\in H^2\) if and only if these zeros can be compensated. That is if \(\xi _m\) are the zeros of the denominator (in the closed unit disc) of multiplicity \(k_m\) with \(\sum _m k_m=2L-l\), then it means a system of linear equations in the numerator. According to (58) this system looks like
where \(C_j(x)=\frac{1}{j!}\sum _{k=j}^{L-1}U_{L-k+j}x^k\), \(j=0, \dots ,L-1\); \(h(x)=-x^Lg(x)\), the coefficient matrix is of \(2L-l \times L\). We deal with the rank of the coefficient matrix. Let us denote by \(O_j\), the jth column of the coefficient matrix \((j = 0; 1;\ldots ;L - 1)\). The first step is
After the first step, the sums in the entries of the new columns \(O_{j}^{(1)}\), are shorter than they were in \(O_{j}\) for \(j=0, 1, \dots ,L-2\). Repeating this procedure we finally arrive at a coefficient matrix which inherits the structure of the original one. Its entries can be calculated by the new functions \(\tilde{C}_j(x)={a_{j}}{x^j}\).
Thus, the rank of the coefficient matrix coincides with its less size. That is to get a unique solution, it must be of \(L\times L\) which means that \(2L-l=L\), i.e. \(l=L\) which means that \(P_{2L,\lambda }\) has L zeros inside the unite disc. The unique solution of this linear system is equivalent to the existence of a (well-defined) bounded inverse of the operator. Indeed, after determination of the first L coefficients of f, the remainder ones can be uniquely determined. \(\square \)
Lemma 5
The spectrum of \(M_{e,s}\) is \(Q([-1,1])\).
Proof
Let us recall the information on \(M_{e,s}\). According to Weyl’s theorem (see e.g. [27, Sect. 134]), the essential spectrum of \(M_{e,s}\) agrees with the essential spectrum of \(M_{e}\). Recalling that the spectrum of \(M_{e}\) is the closure of \(Q([-1,1])\), the essential spectrum and the spectrum of \(M_{e}\) are the same. As the spectrum of \(M_{e,s}\) does not contains any isolated points as well, see [12], it also coincides with \(Q([-1,1])\).
The fact that the essential spectrum and the spectrum of \(M_{e,s}\) coincide in this setup can be proved as follows.
Let us consider \(P_{2L, \lambda }(r,\varphi )\) (\(z=(r\cos \varphi ,r\sin \varphi )\)) as a function from \({\mathbb {R}}^{1+2}\) to \({\mathbb {R}}^{2}\). If there was an isolated point of \(\sigma (M_{e,s})\), then there would be a \((\lambda _0, r_0, \varphi _0)\), \(r_0=1\), such that \(P_{2L, \lambda _0}(r_0,\varphi _0)=0\) and there would be a neighbourhood of \(\lambda _0\) such that for any \(\lambda \) from this neighbourhood, the zeros of \(P_{2L, \lambda }\) are not on the unit circle.
So \(P_{2L, \lambda }(r,\varphi )=(p_1(\lambda ,r,\varphi ),p_2(\lambda ,r,\varphi )\). Let us consider \(\partial _2P_{2L, \lambda }=\left[ \begin{array}{cc}a_{11}&{}a_{12} \\ a_{21}&{}a_{22}\end{array}\right] \), where \(a_{i1}=\frac{\partial }{\partial r}p_i\), \(a_{i2}=\frac{\partial }{\partial \varphi }p_i\), \(i=1,2\). As \(\det \partial _2P_{2L, \lambda }=\frac{1}{r}(a_{22}^2+a_{12}^2)\), we can apply the implicit function theorem at \((\lambda _0,r_0,\varphi _0)\) that is there is a neighbourhood of \(\lambda _0\) denoted by U and an arc g in U such that if \(\lambda \in U\) then \(P_{2L}(\lambda , g(\lambda ))=P_{2L, \lambda }(r(\lambda ),\varphi (\lambda ))=0\). If \(\lambda \in U\) \(g'(\lambda )=\left[ \begin{array}{c}r'(\lambda ) \varphi '(\lambda )\end{array}\right] \), where \(r'(\lambda )=\frac{r^{2L+1}}{a_{22}^2+a_{12}^2}\sum _{k=1}^LkU_k\cos k\varphi (r^k-r^{-k})\) (that is \(r'(\lambda _0)=0\)), and \(\varphi '(\lambda )=\frac{-r^{2L}}{a_{22}^2+a_{12}^2}\sum _{k=1}^LkU_k\sin k\varphi (r^k+r^{-k})\). Thus, the slope of the tangent line at \(\lambda _0\) to g is \(-\cot (\varphi (\lambda _0))\), which is just the the slope of the tangent line to the unit circle at the same point, and the curvature of g at \(\lambda _0\) is 1. Considering the symmetry of the zeros with respect to the unite circle g has to coincide locally with the unit circle, which means that \(\lambda _0\) cannot be isolated. \(\square \)
Proof
(of Theorem 2) Notice, that \(b\ge 0\) on \([-1,1]\). Thus Q is increasing here and \(Q(-1)<Q(1)\). That is to prove the statement it is enough to compute these two values. In view of (36)
Changing the order of summation and by the definition of Q
Thus, the spectrum of the operator \([M]_{e,s}\) is \(\left[ \sum _{k=1}^L(-1)^kU_k,2\sum _{k=1}^LU_k\right] \), which together with Lemma 4 proves the statement. \(\square \)
References
Badkov, V.M.: Asymptotic and extremal properties of orthogonal polynomials corresponding to weight having singularities. Trudy Mat. Inst. Steklov. 198, 41–88 (1992)
Bonneux, N.: Exceptional Jacobi polynomials. J. Approx. Theory 239, 72–112 (2019)
Dimitrov, D.K., Lun, Y.C.: Monotonicity, interlacing and electrostatic interpretation of zeros of exceptional Jacobi polynomials. J. Approx. Theory 181, 18–29 (2014)
Durán, A.J.: Higher order recurrence relation for exceptional Charlier, Meixner, Hermite and Laguerre orthogonal polynomials. Integral Transforms Special Funct. 26, 357–376 (2015)
García-Ferrero, M.Á., Gómez-Ullate, D., Milson, R.: A Bochner type classification theorem for exceptional orthogonal polynomials. J. Math. Anal. Appl. 472(1), 584–626 (2019)
Gómez-Ullate, D., Grandati, Y., Milson, R.: Rational extensions of the quantum Harmonic oscillator and exceptional Hermite polynomials. J. Phys. A 47, 015203 (2014)
Gómez-Ullate, D., Kamran, N., Milson, R.: An extended class of orthogonal polynomials defined by a Sturm–Liouville problem. J. Math. Anal. Appl. 359, 352–367 (2009)
Gómez-Ullate, D., Kamran, N., Milson, R.: On orthogonal polynomials spanning a non-standard flag, algebraic aspects of Darboux transformations, quantum integrable systems and supersymmetric quantum mechanics. Contemp. Math. 563, 51–72 (2012)
Gómez-Ullate, D., Marcellán, F., Milson, R.: Asymptotic and interlacing properties of zeros of exceptional Jacobi and Laguerre polynomials. J. Math. Anal. Appl. 399, 480–495 (2013)
Hardy, A.: Average characteristic polynomials of determinantal point processes. Annales de l’Institut Henri Poincaré-Probabilités et Statistiques 51(1), 283–303 (2015)
Hardy, A.: Polynomial ensembles and recurrence coefficients. Constr. Approx. 48, 137–162 (2018)
Hartman, Ph., Wintner, A.: The spectra of Toeplitz’s matrice. Am. J. Math. 76, 867–882 (1954)
Ho, C.-L., Sasaki, R.: Discrete orthogonality relations for multi-indexed Laguerre and Jacobi polynomials. J. Math. Phys. 62, 013509 (2021)
Horváth, Á.P.: Asymptotics for recurrence coefficients of \(X_1\)-Jacobi exceptional polynomials and Christoffel function. Integral Transforms Spec. Funct. 31, 87–106 (2020)
Horváth, Á.P.: The electrostatic properties of zeros of exceptional Laguerre and Jacobi polynomials and stable interpolation. J. Approx. Theory 194, 87–107 (2015)
Horváth, Á.P.: The energy function with respect to the zeros of exceptional Hermite polynomials. Acta Math. Sci. 37(5), 1483–1496 (2017)
Johansson, K.: Random matrices and determinantal processes. In: Bovier, A. (ed.) Mathematical Statistical Physics. Lecture Notes of the Les Houches Summer School, pp. 1–55. Elsevier, Amsterdam (2006)
Kuijlaars, A.B.J., Van Assche, W.: The asymptotic zero distribution of orthogonal polynomials with varying recurrence coefficients. J. Approx. Theory 99, 167–197 (1999)
Kuijlaars, A.B.J., Milson, R.: Zeros of exceptional Hermite polynomials. J. Approx. Theory 200, 28–29 (2015)
Lakatos, P., Losonczi, L.: Circular interlacing with reciprocal polynomials. Math. Inequal. Appl. 10, 761–769 (2007)
Máté, A., Nevai, P., Van Assche, W.: The supports of measures associated with orthogonal polynomials and the spectra of the related self-adjoint operators. Rocky Mountain J. Math. 21, 501–527 (1991)
Mastroianni, G., Vértesi, P.: Some applications of generalized Jacobi weights. Acta Math. Hungar. 77(4), 323–357 (1997)
Nevai, P., Freud, G.: Orthogonal polynomials and christoffel functions: a case study. J. Approx. Theory 48, 3–167 (1986)
Odake, S.: Recurrence relations of the multi-indexed orthogonal polynomials : II. J. Math. Phys. 56, 053506 (2015)
Odake, S.: Recurrence relations of the multi-indexed orthogonal polynomials IV: closure relations and creation/annihilation operators. J. Math. Phys. 57, 113503 (2016)
Rahmanov, E.A.: On the asymptotics of the ratio of orthogonal polynomials, II. Math. USSR-Sb. 46, 105–117 (1983)
Riesz, F., Szőkefalvi-Nagy, B.: Functional Analysis. Tankönyvkiadó Budapest, Budapest (1988)
Szegő, G.: Orthogonal Polynomials, vol. 23. American Mathematical Society Colloquium. Publications, Providence (1975)
Vieira, R.S.: On the number of roots of self-inversive polynomials on the complex unit circle. Ramanujan J. 42, 363–369 (2017)
Open Access
This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funding
Open access funding provided by Budapest University of Technology and Economics.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supported by the NKFIH-OTKA Grants K128922 and K132097.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Horváth, Á.P. Multiplication operator and average characteristic polynomial associated with exceptional Jacobi polynomials. Ramanujan J 59, 157–180 (2022). https://doi.org/10.1007/s11139-021-00521-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11139-021-00521-9
Keywords
- Exceptional Jacobi polynomials
- Average characteristic polynomial
- Multiplication operator
- Self-inversive polynomials