Divided-difference Equation Research Articles

On Non-linear Characterizations of Classical Orthogonal Polynomials

Classical orthogonal polynomials are known to satisfy seven equivalent properties, namely the Pearson equation for the linear functional, the second-order differential/difference/q-differential/ divided-difference equation, the orthogonality of the derivatives, the Rodrigues formula, two types of structure relations, and the Riccati equation for the formal Stieltjes function. In this work, following previous work by Kil et al. (J Differ Equ Appl 4:145–162, 1998a; Kyungpook Math J 38:259–281, 1998b), we state and prove a non-linear characterization result for classical orthogonal polynomials on non-uniform lattices. Next, we give explicit relations for some families of these classes.

Recurrence equations and their classical orthogonal polynomial solutions on a quadratic or a q-quadratic lattice

ABSTRACTIf is an orthogonal polynomial system, then satisfies a three-term recurrence relation of type with . On the other hand, Favard's theorem states that the converse is true. A general method to derive the coefficients , , in terms of the polynomial coefficients of the divided-difference equations satisfied by orthogonal polynomials on a quadratic or q-quadratic lattice is recalled. If a three-term recurrence relation is given as input, the Maple implementations rec2ortho of Koorwinder and Swarttouw or retode of Koepf and Schmersau can identify its solution which is a (linear transformation of a) classical orthogonal polynomial system of a continuous, a discrete or a q-discrete variable, if applicable. The two implementations rec2ortho and retode do not handle classical orthogonal polynomials on a quadratic or q-quadratic lattice. Motivated by an open problem, submitted by Alhaidari during the 14th International Symposium on Orthogonal Polynomials, Special Functions and Applications, which will serve as application, the Maple implementation retode of Koepf and Schmersau is extended to cover classical orthogonal polynomial solutions on quadratic or q-quadratic lattices of three-term recurrence relations.

On the Polynomial Solution of Divided-Difference Equations of the Hypergeometric Type on Nonuniform Lattices

In this paper, we provide a formal proof of the existence of a polynomial solution of fixed degree for a second-order divided-difference equation of the hypergeometric type on non-uniform lattices, generalizing therefore previous work proving existence of the polynomial solution for second-order differential, difference or q-difference equation of hypergeometric type. This is achieved by studying the properties of the mean operator and the divided-difference operator as well as by defining explicitly, the right and the “left” inverse for the second operator. The method constructed to provide this formal proof is likely to play an important role in the characterization of orthogonal polynomials on non-uniform lattices and might also be used to provide hypergeometric representation (when it does exist) of the second solution—non polynomial solution—of a second-order divided-difference equation of hypergeometric type.

Characterization of semi-classical orthogonal polynomials on nonuniform lattices

ABSTRACTWe state and prove characterization theorem for semi-classical orthogonal polynomials on nonuniform lattices (quadratic lattices of a discrete or q-discrete variable). This theorem proves the equivalence between the four characterization properties, namely, the Pearson type equation for the linear functional, the strictly quasi-orthogonality of the derivatives, the structure relation, and the Riccati equation for the formal Stieltjes function. We give the classification of the semi-classical linear functional of class one on nonuniform lattice. Using the definition and the properties of the associated orthogonal polynomials, we prove that semi-classical orthogonal polynomials satisfy the second-order divided difference equation on nonuniform lattices.

Divided-difference equation and three-term recurrence relations of some systems of bivariate q-orthogonal polynomials

Partial divided-difference equations and three-term recurrence relations satisfied by the bivariate Askey–Wilson and the bivariate q-Racah polynomials are computed in this work. By using limiting processes, partial divided (or q)-difference equations and three-term recurrence relations are also provided for each of the following families of orthogonal polynomials: the bivariate continuous dual q-Hahn, the bivariate Al-Salam-Chihara, the bivariate continuous q-Hahn, the bivariate q-Hahn, the bivariate dual q-Hahn, the bivariate q-Krawtchouk, the bivariate q-Meixner, and the bivariate q-Charlier polynomials.

Divided-difference equation, inversion, connection, multiplication and linearization formulae of the continuous Hahn and the Meixner–Pollaczek polynomials

From the study of various properties of some difference operators, we prove in the first part of this work that the continuous Hahn and the Meixner–Pollaczek polynomials are solutions of a second-order divided-difference equation of hypergeometric- type. Next, using some algorithmic tools, we solve the inversion, connection, multiplication and linearization problems for the continuous Hahn and the Meixner–Pollaczek polynomials.

Linear Partial Divided-Difference Equation Satisfied by Multivariate Orthogonal Polynomials on Quadratic Lattices

In this paper, a fourth-order partial divided-difference equation on quadratic lattices with polynomial coefficients satisfied by bivariate Racah polynomials is presented. From this equation we obtain explicitly the matrix coefficients appearing in the three-term recurrence relations satisfied by any bivariate orthogonal polynomial solution of the equation. In particular, we provide explicit expressions for the matrices in the three-term recurrence relations satisfied by the bivariate Racah polynomials introduced by Tratnik. Moreover, we present the family of monic bivariate Racah polynomials defined from the three-term recurrence relations they satisfy, and we solve the connection problem between two different families of bivariate Racah polynomials. These results are then applied to other families of bivariate orthogonal polynomials, namely the bivariate Wilson, continuous dual Hahn and continuous Hahn, the latter two through limiting processes. The fourth-order partial divided-difference equations on quadratic lattices are shown to be of hypergeometric type in the sense that the divided-difference derivatives of solutions are themselves solution of the same type of divided-difference equations.

Semiclassical orthogonal polynomial systems on nonuniform lattices, deformations of the Askey table, and analogues of isomonodromy

AbstractA 𝔻-semiclassical weight is one which satisfies a particular linear, first-order homogeneous equation in a divided-difference operator 𝔻. It is known that the system of polynomials, orthogonal with respect to this weight, and the associated functions satisfy a linear, first-order homogeneous matrix equation in the divided-difference operator termed thespectral equation. Attached to the spectral equation is a structure which constitutes a number of relations such as those arising from compatibility with the three-term recurrence relation. Here this structure is elucidated in the general case of quadratic lattices. The simplest examples of the 𝔻-semiclassical orthogonal polynomial systems are precisely those in the Askey table of hypergeometric and basic hypergeometric orthogonal polynomials. However within the 𝔻-semiclassical class it is entirely natural to define a generalization of the Askey table weights which involve a deformation with respect to new deformation variables. We completely construct the analogous structures arising from such deformations and their relations with the other elements of the theory. As an example we treat the first nontrivial deformation of the Askey–Wilson orthogonal polynomial system defined by the q-quadratic divided-difference operator, the Askey–Wilson operator, and derive the coupled first-order divided-difference equations characterizing its evolution in the deformation variable. We show that this system is a member of a sequence of classical solutions to theq-Painlevé system.

Semiclassical orthogonal polynomial systems on nonuniform lattices, deformations of the Askey table, and analogues of isomonodromy

AbstractA 𝔻-semiclassical weight is one which satisfies a particular linear, first-order homogeneous equation in a divided-difference operator 𝔻. It is known that the system of polynomials, orthogonal with respect to this weight, and the associated functions satisfy a linear, first-order homogeneous matrix equation in the divided-difference operator termed thespectral equation. Attached to the spectral equation is a structure which constitutes a number of relations such as those arising from compatibility with the three-term recurrence relation. Here this structure is elucidated in the general case of quadratic lattices. The simplest examples of the 𝔻-semiclassical orthogonal polynomial systems are precisely those in the Askey table of hypergeometric and basic hypergeometric orthogonal polynomials. However within the 𝔻-semiclassical class it is entirely natural to define a generalization of the Askey table weights which involve a deformation with respect to new deformation variables. We completely construct the analogous structures arising from such deformations and their relations with the other elements of the theory. As an example we treat the first nontrivial deformation of the Askey–Wilson orthogonal polynomial system defined by the q-quadratic divided-difference operator, the Askey–Wilson operator, and derive the coupled first-order divided-difference equations characterizing its evolution in the deformation variable. We show that this system is a member of a sequence of classical solutions to theq-Painlevé system.

On Solutions of Holonomic Divided-Difference Equations on Nonuniform Lattices

The main aim of this paper is the development of suitable bases that enable the direct series representation of orthogonal polynomial systems on nonuniform lattices (quadratic lattices of a discrete or a q-discrete variable). We present two bases of this type, the first of which allows one to write solutions of arbitrary divided-difference equations in terms of series representations, extending results given by Sprenger for the q-case. Furthermore, it enables the representation of the Stieltjes function, which has already been used to prove the equivalence between the Pearson equation for a given linear functional and the Riccati equation for the formal Stieltjes function. If the Askey-Wilson polynomials are written in terms of this basis, however, the coefficients turn out to be not q-hypergeometric. Therefore, we present a second basis, which shares several relevant properties with the first one. This basis enables one to generate the defining representation of the Askey-Wilson polynomials directly from their divided-difference equation. For this purpose, the divided-difference equation must be rewritten in terms of suitable divided-difference operators developed in previous work by the first author.

Characterization theorem for classical orthogonal polynomials on non-uniform lattices: the functional approach

Using the functional approach, we state and prove a characterization theorem for classical orthogonal polynomials on non-uniform lattices (quadratic lattices of a discrete or a q-discrete variable) including the Askey–Wilson polynomials. This theorem proves the equivalence between seven characterization properties, namely the Pearson equation for the linear functional, the second-order divided-difference equation, the orthogonality of the derivatives, the Rodrigues formula, two types of structure relations, and the Riccati equation for the formal Stieltjes function.

On difference equations for orthogonal polynomials on nonuniform lattices1

By the study of various properties of some divided-difference equations, we simplify the definition of classical orthogonal polynomials given by Atakishiyev et al., 1995, On classical orthogonal polynomials, Constructive Approximation, 11, 181–226, then prove that orthogonal polynomials obtained by some modifications of the classical orthogonal polynomials on nonuniform lattices satisfy a single fourth-order linear homogeneous divided-difference equation with polynomial coefficients. Moreover, we factorize and solve explicitly these divided-difference equations. Also, we prove that the product of two functions, each of which satisfying a second-order linear homogeneous divided-difference equation is a solution of a fourth-order linear homogeneous divided-difference equation. This result holds in particular when the divided-difference operator is carefully replaced by the Askey–Wilson operator , following pioneering work by Magnus 1988, Associated Askey–Wilson polynomials as Laguerre–Hahn orthogonal polynomials, Lecture Notes in Mathematics (Berlin: Springer), vol. 1329, pp. 261–278, connecting and divided-difference operators. Finally, we propose a method to look for polynomial solutions of linear divided-difference equations with polynomial coefficients.

A Set of Orthogonal Polynomials That Generalize the Racah Coefficients or $6 - j$ Symbols

A very general set of orthogonal polynomials with five free parameters is given explicitly, the orthogonality relation is proved and the three term recurrence relation is found.

A functional equation related to divided differences

where [~(z); z~: . . 9 ~m] denote the m-th-order divided difference [i] of the function o~i:)~SIE and ao, al, ., an are complex constants. The operator (i) is defined for those functions o~(--)~=S(E) which do not assume the value infinity at the points ~, ~2, ~nIt is obviously linear 9 We call it the n-th order linear divided-difference operator. Let U(z) be a given continuous function in E. The equation L,: [,~ ~_-)] = u (-) (2) relative to o~ (:)~S IE) is called an n-th order linear divided-difference equation with constant coefficients. A function satisfying Eq. (2) is called a particular solution of this equation. The set of all particular solutions forms the general solution of Eq. (2). If u (z)---0 iu ~--)~0), then Eq. (2) is called homogeneous (nonhomogeneous). A homogeneous equation has the trivial solution m(z) 5 0. Our aim in this paper is to solve Eq. (2). THEOREM i. Let