Exceptional Hahn and Jacobi orthogonal polynomials (Q730191)

This very interesting and well written paper, starts from Hahn polynomials and constructs from them, using Casorati determinants, polynomials which are eigenfunctions of a second order difference equation. Under certain admissability conditions on the parameters, these polynomials are also complete and orthogonal with respect to a positive measure (exceptional Hahn polynomials). Passing to the limit (as for the ordinary Hahn and Jacobi polynomials), the Casorati determinant transforms into a Wronskian and under certain conditions on the parameters, these turn out to be exceptional Jacobi polynomials. The layout of the paper is as follows: Introduction: Exceptional (discrete) orthogonal polynomials \(p_n,n\in X\subset\mathbb N,X\not=\mathbb N\), are complete orthogonal polynomial systems with respect to a positive measure, which are in addition eigenfunctions of a second order (difference) differential equation. As \(X\not=\mathbb N\), there are so called \textit{gaps in the degrees}. Preliminaries. Important lemmas for the proofs of the main results, the Christoffel transform, basic definitions and facts of Hahn, dual Hahn and Jacobi polynomials. \S3 Constructing polynomials which are eigenfunctions of second order difference equations First the extension of the ordinary Hahn polynomials \(h_n{\alpha,\beta,N}(x)\) is given. Then, the main result is Theorem 3.3, stating the explicit form of the second order difference equation for these extended polynomials. \S4 Exceptional Hahn polynomials The extensions given in \S3 are proved to be exceptional (i.e. they are orthogonal and complete with respect to a positive measure) in Theorem 4.4 under conditions on the integer parameters \(\alpha,\beta\) and \(N\) (above the conditions \(\alpha,\beta\in\{-1,-2,\ldots,-N\};\;\alpha+\beta\in\{-1,-2,\ldots,-2N-1\}\)). \S5 Constructing polynomials which are eigenfunctions of second order differential equations This uses the basic limit going from Hahn polynomials to Jacobi polynomials: replace \(x\) by \((1-x)/N\) and let \(N\rightarrow\infty\); given in Theorem 5.2. \S6 Exceptional Jacobi polynomials Again the concept of exceptionality is used to indicate the existence of orthogonality and completeness with respect to a positive measure, now for the polynomials introduced in \S5. \S7 Recurrence relations In Corollary 7.1 (exceptional Hahn) and Corollary 7.2 (exceptional Jacobi) explicit forms of the recurrence relations for the new orthogonal polynomials are given; because of the gaps in the degrees, the order is now higher than in the classical cases and also given. References The list contains 35 items.