Classical orthogonal polynomials in one variable can be characterized as the only orthogonal polynomials satisfying a Rodrigues formula. In this paper, using the second kind Kronecker power of a matrix, a Rodrigues formula is introduced for classical orthogonal polynomials in two variables.
We study two families of orthogonal polynomials with respect to the weight function $w(t)(t^2-\|x\|^2)^{μ-\frac12}$, $μ> -\frac 12$, on the cone $\{(x,t): \|x\| \le t, \, x \in \mathbb{R}^d, t >0\}$ in $\mathbb{R}^{d+1}$. The first family consists of monomial polynomials $\mathsf{V}_{\mathbf{k},n}(x,t) = t^{n-|\mathbf{k}|} x^\mathbf{k} + \cdots$ for $\mathbf{k} \in \mathbb{N}_0^d$ with $|\mathbf{k}| \le n$, which has the least $L^2$ norm among all polynomials of the form $t^{n-|\mathbf{k}|} x^\mathbf{k} + \mathsf{P}$ with $°\mathsf{P} \le n-1$, and we will provide an explicit construction for …
The properties of matrix valued polynomials generated by the scalar-type Rodrigues' formulas are analyzed. A general representation of these polynomials is found in terms of products of simple differential operators. The recurrence relations, leading coefficients, completeness are established, as well as, in the commutative case, the second order equations for which these polynomials are eigenfunctions and the corresponding eigenvalues, and ladder operators. The conjecture of Duran and Grunbaum that if the weights are self-adjoint and positive semidefinite then they are necessarily of scalar t…
By building a second order adjoint difference equations on nonuniform lattices, the generalized Rodrigues type representation for the second kind solution of a second order difference equation of hypergeometric type on nonuniform lattices is given. The general solution of the equation in the form of a combination of a standard Rodrigues formula and a generalized Rodrigues formula is also established.
We introduce a new family of special functions, namely $q$-Charlier multiple orthogonal polynomials. These polynomials are orthogonal with respect to $q$-analogues of Poisson distributions. We focus our attention on their structural properties. Raising and lowering operators as well as Rodrigues-type formulas are obtained. An explicit representation in terms of a $q$-analogue of the second of Appell's hypergeometric functions is given. A high-order linear $q$-difference equation with polynomial coefficients is deduced. Moreover, we show how to obtain the nearest neighbor recurrence relation fr…
Starting from the Rodrigues representation of polynomial solutions of the general hypergeometric-type differential equation complementary polynomials are constructed using a natural method. Among the key results is a generating function in closed form leading to short and transparent derivations of recursion relations and an addition theorem. The complementary polynomials satisfy a hypergeometric-type differential equation themselves, have a three-term recursion among others and obey Rodrigues formulas. Applications to the classical polynomials are given.
Orthogonal polynomials for the weight $x^ν \exp(-x - t/x),\ x, t > 0, ν\in \mathbb{R}$ are investigated. Differential-difference equations, recurrence relations, explicit representations, generating functions and Rodrigues-type formula are obtained.
In this article, a class of analytic functions is investigated and their some properties are established. Several recurrence relations and various classes of bilinear and bilateral generating functions for these analytic functions are also derived. Examples of some members belonging to this family of analytic functions are given and differential equations satisfied by these functions are also obtained.
Necessary and sufficient conditions for the regularity of solutions of the functional equation appearing in the theory of classical orthogonal polynomials on lattices are stated. Moreover, the functional Rodrigues formula and a closed formula for the recurrence coefficients are presented.
We give some structural formulas for the family of matrix-valued orthogonal polynomials of size $2\times 2$ introduced by C. Calderón et al. in an earlier work, which are common eigenfunctions of a differential operator of hypergeometric type. Specifically, we give a Rodrigues formula that allows us to write this family of polynomials explicitly in terms of the classical Jacobi polynomials, and write, for the sequence of orthonormal polynomials, the three-term recurrence relation and the Christoffel-Darboux identity. We obtain a Pearson equation, which enables us to prove that the sequence of …
We introduce a new class of polynomials of multiple orthogonality with respect to the product of $r$ classical discrete weights on integer lattices with noninteger shifts. We give explicit representations in the form of the Rodrigues formulas. The case of two weights is described in detail.
New sequences of orthogonal polynomials with respect to the weight functions $e^{-x} ρ_ν(x),\ e^{- 1/x} x^{-1} ρ_ν (x), ρ_ν(x)= 2 x^{ν/2} K_ν(2\sqrt x),\ x >0, ν\in \mathbb{R}$, where $K_ν(z)$ is the modified Bessel function, are investigated. The recurrence relations, explicit representations, generating functions and Rodrigues-type formulae are obtained.
Zeilberger's algorithm provides a method to compute recurrence and differential equations from given hypergeometric series representations, and an adaption of Almquist and Zeilberger computes recurrence and differential equations for hyperexponential integrals. Further versions of this algorithm allow the computation of recurrence and differential equations from Rodrigues type formulas and from generating functions. In particular, these algorithms can be used to compute the differential/difference and recurrence equations for the classical continuous and discrete orthogonal polynomials from th…
We consider multiple orthogonal polynomials corresponding to two Macdonald functions (modified Bessel functions of the second kind), with emphasis on the polynomials on the diagonal of the Hermite-Padé table. We give some properties of these polynomials: differential properties, a Rodrigues type formula and explicit formulas for the third order linear recurrence relation.
In this chapter are given necessary and sufficient conditions for the regularity of solutions of the functional equation appearing in the theory of classical orthogonal polynomials. In addition, we also present the functional Rodrigues formula and a closed formula for the recurrence coefficients. We finally used these results to solve some interesting research problems concerning characterization theorems.
Orthogonal polynomial solutions of an admissible potentially self-adjoint linear second-order partial $q$-difference equation of the hypergeometric type in two variables on $q$-linear lattices are analyzed. A $q$-Pearson's system for the orthogonality weight function, as well as for the difference derivatives of the solutions are presented, giving rise to a solution of the $q$-difference equation under study in terms of a Rodrigues-type formula. The monic orthogonal polynomial solutions are treated in detail, giving explicit formulae for the matrices in the corresponding recurrence relations t…
We consider multiple orthogonal polynomials associated with the exponential cubic weight e^{-x^3} over two contours in the complex plane. We study the basic properties of these polynomials, including the Rodrigues formula and nearest-neighbor recurrence relations. It turns out that the recurrence coefficients are related to a discrete Painlevé equation. The asymptotics of the recurrence coefficients, the ratio of the diagonal multiple orthogonal polynomials and the (scaled) zeros of these polynomials are also investigated.
New sequences of orthogonal polynomials with ultra-exponential weight functions are discovered. In particular, it gives an explicit solution to the Ditkin-Prudnikov problem (1966). The 3-term recurrence relations, explicit representations, generating functions and Rodrigues type formulae are derived. The method is based on differential properties of the involved special functions and their representations in terms of the Mellin-Barnes and Laplace integrals. A notion of the composition polynomial orthogonality is introduced. The corresponding advantages of this orthogonality to discover new seq…
We study a new family of q-Meixner multiple orthogonal polynomials of the first kind. The discrete orthogonality conditions are considered over a non-uniform lattice with respect to different q-analogues of Pascal distributions. We address some algebraic properties, namely raising and lowering operators as well as Rodrigues-type. Based on the explicit expressions for the raising and lowering operator a high-order linear q-difference equation with polynomial coefficients for the q-Meixner multiple orthogonal polynomials of the first kind is obtained. Finally, we obtain the nearest neighbor recu…
A new method of composition orthogonality is introduced. It is applied to generate new sequences of orthogonal polynomials and functions. In particular, classical orthogonal polynomials are interpreted in the sense of composition orthogonality. Finally, new sequences of orthogonal polynomials with respect to the weight function $x^αρ^2_ν(x), ρ_ν(x)= 2 x^{ν/2} K_ν(2\sqrt x),\ x >0, ν\ge 0, α> -1$, where $K_ν(z)$ is the modified Bessel function or Macdonald function, are investigated. Differential properties, recurrence relations, explicit representations, generating functions and Rodrigues-type…
A hierarchy of matrix-valued polynomials which generalize the Jacobi polynomials is found. Defined by a Rodrigues formula, they are also products of a sequence of differential operators. Each class of polynomials is complete, satisfies a two-step recurrence relation, integral inter-relations, and quasi-orthogonality relations.
Let ${\bf u}$ be a nonzero linear functional acting on the space of polynomials. Let $\mathbf{D}_{q,ω}$ be a Hahn operator acting on the dual space of polynomials. Suppose that there exist polynomials $ϕ$ and $ψ$, with $\mathrm{deg}\,ϕ\leq2$ and $\mathrm{deg}\,ψ\leq1$, so that the functional equation $$ \mathbf{D}_{q,ω}(ϕ{\bf u})=ψ{\bf u} $$ holds, where the involved operations are defined in a distributional sense. In this note we state necessary and sufficient conditions, involving only the coefficients of $ϕ$ and $ψ$, such that ${\bf u}$ is regular, that is, there exists a sequence of ortho…
It is well known that the classical families of orthogonal polynomials are characterized as eigenfunctions of a second order linear differential/difference operator. In this paper we present a study of classical orthogonal polynomials in a more general context by using the differential (or difference) calculus and Operator Theory. In such a way we obtain a unified representation of them. Furthermore, some well known results related to the Rodrigues operator are deduced. A more general characterization Theorem that the one given in [1] and [2] for the q-polynomials of the q-Askey and Hahn Table…
We generalize classical Hobson's formula concerning partial derivatives of radial functions on a Euclidean space to a formula in the Dunkl analysis. As applications we give new simple proofs of known results involving Maxwell's representation of harmonic polynomials, Bochner-Hecke identity, Pizzetti formula for spherical mean, and Rodrigues formula for Hermite polynomials.
Complementary polynomials of Legendre polynomials are briefly presented, as well as those for the confluent and hypergeometric functions, relativistic Hermite polynomials and corresponding new pre-Laguerre polynomials. The generating functions are all given in closed form and are much simpler than the standard ones. Some are simply polynomials in two variables. New recursions and addition formulas are derived.
In this article we present a method to implement orthogonal polynomials and many other special functions in Computer Algebra systems enabling the user to work with those functions appropriately, and in particular to verify different types of identities for those functions. Some of these identities like differential equations, power series representations, and hypergeometric representations can even dealt with algorithmically, i.\ e.\ they can be computed by the Computer Algebra system, rather than only verified. The types of functions that can be treated by the given technique cover the genera…
We introduce two q-analogues of the 2D-Hermite polynomials which are functions of two complex variables. We derive explicit formulas, orthogonality relations, raising and lowering operator relations, generating functions, and Rodrigues formulas for both families. We also introduce a q-2D analogue of the disk polynomials (Zernike polynomials) and derive similar formulas for them as well including evaluating certain connection coefficients. Some of the generating functions may be related to Rogers-Ramanujan type identities.
We introduce and analyse a new family of multiple orthogonal polynomials of hypergeometric type with respect to two measures supported on the positive real line which can be described in terms of confluent hypergeometric functions of the second kind. These two measures form a Nikishin system. Our focus is on the multiple orthogonal polynomials for indices on the step line. The sequences of the derivatives of both type I and type II polynomials with respect to these indices are again multiple orthogonal and they correspond to the original sequences with shifted parameters. For the type I polyno…
We can write the polynomial solution of the second order linear differential equation of hypergeometric-type $$ ϕ(x)y''+ψ(x)y'+λy=0, $$ where $ϕ$ and $ψ$ are polynomials, $°ϕ\le 2$, $°ψ=1$ and $λ$ is a constant, among others, by using the Rodrigues operator $R_k(ϕ,{\bf u})$ (see \cite{coma2}) where $\bf u$ is certain linear operator which satisfies the distributional equation \begin{equation} \label{1} \frac{d}{dx}[ϕ{\bf u}]=ψ{\bf u}, \end{equation} as $$ P_n(x)=B_n R_n(ϕ,{\bf u})[1], \qquad B_n\ne 0,\quad n=0, 1, 2, ... $$ Taking this into account we construct the complementary polynomials. A…
Matrix-valued analogues of the little q-Jacobi polynomials are introduced and studied. For the 2x2-matrix-valued little q-Jacobi polynomials explicit expressions for the orthogonality relations, Rodrigues formula, three-term recurrence relation and their relation to matrix-valued q-hypergeometric series and the scalar-valued little q-Jacobi polynomials are presented. The study is based on a matrix-valued q-difference operator, which is a q-analogue of Tirao's matrix-valued hypergeometric differential operator.
A new set of multiple orthogonal polynomials of both type I and type II with respect to two weight functions involving Gauss' hypergeometric function on the interval $(0,1)$ is studied. This type of polynomials have direct applications in the investigation of singular values of products of Ginibre matrices, in the analysis of rational solutions to Painlevé equations and are connected with branched continued fractions and total positivity problems in combinatorics. The pair of orthogonality measures is shown to be a Nikishin system and to satisfy a matrix Pearson-type differential equation. The…
This paper studies a suitably normalized set of generalized Hermite polynomials and sets down a relevant Mehler formula, Rodrigues formula, and generalized translation operator. Weighted generalized Hermite polynomials are the eigenfunctions of a generalized Fourier transform which satisfies an F. and M. Riesz theorem on the absolute continuity of analytic measures. The Bose-like oscillator calculus, which generalizes the calculus associated with the quantum mechanical simple harmonic oscillator, is studied in terms of these polynomials.
The matrix-valued spherical functions for the pair (K x K, K), K=SU(2), are studied. By restriction to the subgroup A the matrix-valued spherical functions are diagonal. For suitable set of representations we take these diagonals into a matrix-valued function, which are the full spherical functions. Their orthogonality is a consequence of the Schur orthogonality relations. From the full spherical functions we obtain matrix-valued orthogonal polynomials of arbitrary size, and they satisfy a three-term recurrence relation which follows by considering tensor product decompositions. An explicit ex…
We present two infinite sequences of polynomial eigenfunctions of a Sturm-Liouville problem. As opposed to the classical orthogonal polynomial systems, these sequences start with a polynomial of degree one. We denote these polynomials as $X_1$-Jacobi and $X_1$-Laguerre and we prove that they are orthogonal with respect to a positive definite inner product defined over the the compact interval $[-1,1]$ or the half-line $[0,\infty)$, respectively, and they are a basis of the corresponding $L^2$ Hilbert spaces. Moreover, we prove a converse statement similar to Bochner's theorem for the classical…
A connection between Romanovski polynomials and those polynomials that solve the one-dimensional Schrödinger equation with the trigonometric Rosen-Morse and hyperbolic Scarf potential is established. The map is constructed by reworking the Rodrigues formula in an elementary and natural way. The generating function is summed in closed form from which recursion relations and addition theorems follow. Relations to some classical polynomials are also given.
A general family of matrix valued Hermite type orthogonal polynomials is introduced and studied in detail by deriving Pearson equations for the weight and matrix valued differential equations for these matrix polynomials. This is used to derive Rodrigues formulas, explicit formulas for the squared norm and to give an explicit expression of the matrix entries as well to derive a connection formula for the matrix polynomials of Hermite type. We derive matrix valued analogues of Burchnall formulas in operational form as well explicit expansions for the matrix valued Hermite type orthogonal polyno…
We present determinantal formulas for families of exceptional $X_m$-Laguerre and exceptional $X_m$-Jacobi polynomials and also for exceptional $X_2$-Hermite polynomials. The formulas resemble Vandermonde determinants and use the zeros of the classical orthogonal polynomials.
We derive inversion formulas involving orthogonal polynomials which can be used to find coefficients of differential equations satisfied by certain generalizations of the classical orthogonal polynomials. As an example we consider special symmetric generalizations of the Hermite polynomials.
We present a compact formulation of the orthogonal Weingarten formula, with the traditional quantity $I(i_1,...,i_{2k}:j_1,...,j_{2k}) = \int_{O_n}u_{i_1j_1} ... u_{i_{2k}j_{2k}} du$ replaced by the more advanced quantity $I(a)=\int_{O_n}Πu_{ij}^{a_{ij}} du$, depending on a matrix of exponents $a\in M_n(\mathbb N)$. Among consequences, we establish a number of basic facts regarding the integrals $I(a)$: vanishing conditions, possible poles, asymptotic behavior.
We introduce two classes of $(p,q)$-Itô--Hermite polynomials, the post-quantum analogs of the $q$-Itô--Hermite polynomials introduced recently by Ismail and Zhang. We study their basic properties such as their operational formulas of Rodrigues type, the corresponding raising and lowering operators as well as their generating functions and the $(p,p$-differential equations they obey.
Matrix valued Laguerre polynomials are introduced via a matrix weight function involving several degrees of freedom using the matrix nature. Under suitable conditions on the parameters the matrix weight function satisfies matrix Pearson equations, which allow to introduce shift operators for these polynomials. The shift operators lead to explicit expressions for the structures of these matrix valued Laguerre polynomials, such as a Rodrigues formula, the coefficients in the three-term recurrence, differential operators, and expansion formulas.
For a bilinear form obtained by adding a Dirac mass to a positive definite moment functional in several variables, explicit formulas of orthogonal polynomials are derived from the orthogonal polynomials associated with the moment functional. Explicit formula for the reproducing kernel is also derived and used to establish certain inequalities for classical orthogonal polynomials.
The classical orthogonal polynomials are usually defined by the Rodrigues' formula. This paper refers to a fractional extension of the classical Hermite, Laguerre, Jacobi, Charlier, Meixner, Krawtchouk and Hahn polynomials. By means of the Caputo operator of fractional calculus, C-Hermite, C-Laguerre, C-Legndre and the C-Jacobi functions are defined and their representation in terms of the hypergeometric functions are provided. Also, by means of the Gray and Zhang fractional difference oparator, fractional Charlier, Meixner, Krawtchouk and Hahn functions are defined and their representation in…
We study multiple orthogonal polynomials of Meixner-Pollaczek type with respect to a symmetric system of two orthogonality measures. Our main result is that the limiting distribution of the zeros of these polynomials is one component of the solution to a constrained vector equilibrium problem. We also provide a Rodrigues formula and closed expressions for the recurrence coefficients. The proof of the main result follows from a connection with the eigenvalues of block Toeplitz matrices, for which we provide some general results of independent interest. The motivation for this paper is the study…
The wave functions of the Calogero-Sutherland model are known to be expressible in terms of Jack polynomials. A formula which allows to obtain the wave functions of the excited states by acting with a string of creation operators on the wave function of the ground state is presented and derived. The creation operators that enter in this formula of Rodrigues-type for the Jack polynomials involve Dunkl operators.
We prove a projection formula for the four-parameter family of orthogonal polynomials that are a reparameterization of the polynomials in the Askey-Wilson class. By carefully analyzing the recurrence relations we manage to avoid using the explicit expression for the orthogonality measure, which would be cumbersome due to the complexity of the reparameterization.
Bleher and Kuijlaars recently showed that the eigenvalue correlations from matrix ensembles with external source can be expressed by means of a kernel built out of special multiple orthogonal polynomials. We derive a Christoffel-Darboux formula for this kernel for general multiple orthogonal polynomials. In addition, we show that the formula can be written in terms of the solution of the Riemann-Hilbert problem for multiple orthogonal polynomials, which will be useful for asymptotic analysis.
Let $p_n(x)$, $n=0,1,\dots$, be the orthogonal polynomials with respect to a given density $dμ(x)$. Furthermore, let $dν(x)$ be a density which arises from $dμ(x)$ by multiplication by a rational function in $x$. We prove a formula that expresses the Hankel determinants of moments of $dν(x)$ in terms of a determinant involving the orthogonal polynomials $p_n(x)$ and associated functions $q_n(x)=\int p_n(u) \,dμ(u)/(x-u)$. Uvarov's formula for the orthogonal polynomials with respect to $dν(x)$ is a corollary of our theorem. Our result generalises a Hankel determinant formula for the case where …