SearcharxivSearch

arXiv subjects

D. Mbouna

Publications and source records attributed to D. Mbouna.

18 recordsLinked to original sources

On classical orthogonal polynomials on bi-lattices

In [J. Phys. A: Math. Theor. 45 (2012)], while looking for spin chains that admit perfect state transfer, Vinet and Zhedanov found an apparently new sequence of orthogonal polynomials, that they called para-Krawtchouk polynomials, defined on a bilinear lattice. In this note we present necessary and sufficient conditions for the regularity of solutions of the corresponding functional equation. Moreover, the functional Rodrigues formula and a closed formula for the recurrence coefficients are presented. As a consequence, we characterize all solutions of the functional equation, including as very particular cases the Meixner, Charlier, Krawtchouk, Hahn, and para-Krawtchouk polynomials.

math.CA

Epilegomena to the study of semiclassical orthogonal polynomials

In his monograph [Classical and quantum orthogonal polynomials in one variable, Cambridge University Press, 2005 (paperback edition 2009)], Ismail conjectured that certain structure relations involving the Askey-Wilson operator characterize proper subsets of the set of all $\mathcal{D}_q$-classical orthogonal polynomials, here to be understood as the Askey-Wilson polynomials and their limit cases. In this paper we give two characterization theorems for $\mathcal{D}_q$-semiclassical (and classical) orthogonal polynomials in consonance with the pioneering works by Maroni [Ann. Mat. Pura. Appl. (1987)] and Bonan, Lubinsky, and Nevai [SIAM J. Math. Anal. 18 (1987)] for the standard derivative, re-establishing in this context the perfect "symmetry" between the standard derivative and the Askey-Wilson operator. As an application, we present a sequence of $\mathcal{D}_q$-semiclassical orthogonal polynomials of class two that disproves Ismail's conjectures. Further results are presented for Hahn's operator.

math.CA

Some Appell-type orthogonal polynomials on lattices

We investigate on some Appel-type orthogonal polynomial sequences on q-quadratic lattices and we provide some entire new characterizations of the Al-Salam Chihara polynomials (including the Rogers q-Hermite polynomials). The corresponding forms are well described. The proposed method can be applied to similar and to more general problems involving the Askey-Wilson and the Averaging operators, in order to obtain new characterization theorems for classical and semiclassical orthogonal polynomials on lattices.

math.CA

Coherent pair of measures for orthogonal polynomials on lattices

We consider two sequences of orthogonal polynomials $(P_n)_{n\geq 0}$ and $(Q_n)_{n\geq 0}$ with respect regular functionals ${\bf u}$ and ${\bf v}$, respectively. We assume that $$\sum_{j=1} ^{M} a_{j,n}\mathrm{D}_x ^k P_{k+n-j} (z)=\sum_{j=1} ^{N} b_{j,n}\mathrm{D}_x ^{m} Q_{m+n-j} (z)\;,$$ with $k,m,M,N \in \mathbb{N}$, $a_{j,n}$ and $b_{j,n}$ are sequences of complex numbers, $$2\mathrm{S}_xf(x(s))=(\triangle +2\,\mathrm{I})f(z),~~ \mathrm{D}_xf(x(s))=\frac{\triangle}{\triangle x(s-1/2)}f(z),$$ $z=x(s-1/2)$, $\mathrm{I}$ is the identity operator, $x$ defines a lattice, and $\triangle f(s)=f(s+1)-f(s)$. We show that under some natural conditions, the functionals ${\bf u}$ and ${\bf v}$ are connected by a rational factor whenever $m=k$, and for $k>m$, ${\bf u}$ and ${\bf S}_x ^{k-m}{\bf v}$ are semiclassical functionals and in addition ${\bf S}_x{\bf u}$ and ${\bf S}_x ^{k-m+1}{\bf v}$ are connected by a rational factor. This leads to the notion of $(M,N)$-coherent pair of measures of order $(m,k)$ extended to orthogonal polynomials on lattices.

math.CA

On classical orthogonal polynomials on lattices and some characterization theorems

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.

math.CA

A structure relation for some specific orthogonal polynomials

By characterizing all orthogonal polynomials sequences $(P_n)_{n\geq 0}$ for which $$ (ax+b)(\triangle +2\,\mathrm{I})P_n(x(s-1/2))=(a_n x+b_n)P_n(x)+c_n P_{n-1}(x),\quad n=0,1,2,\dots, $$ where $\,\mathrm{I}$ is the identity operator, $x$ defines a $q$-quadratic lattice, $\triangle f(s)=f(s+1)-f(s)$, and $(a_n)_{n\geq0}$, $(b_n)_{n\geq0}$ and $(c_n)_{n\geq0}$ are sequences of complex numbers, we derive some new structure relations for some specific families of orthogonal polynomials.

math.CA

A counterexample to a conjecture of M. Ismail

In an earlier work [K. Castillo et al., J. Math. Anal. Appl., 514 (2022) 126358], we give positive answer to the first, and apparently more easy, part of a conjecture of M. Ismail concerning the characterization of the continuous $q$-Jacobi polynomials, Al-Salam-Chihara polynomials or special or limiting cases of them. In this note we present an example that disproves the second part of such a conjecture, and so this issue is definitively closed.

math.CA

On another characterization of Askey-Wilson polynomials

In this paper we show that the only sequences of orthogonal polynomials $(P_n)_{n\geq 0}$ satisfying \begin{align*} ϕ(x)\mathcal{D}_q P_{n}(x)=a_n\mathcal{S}_q P_{n+1}(x) +b_n\mathcal{S}_q P_n(x) +c_n\mathcal{S}_q P_{n-1}(x), \end{align*} ($c_n\neq 0$) where $ϕ$ is a well chosen polynomial of degree at most two, $\mathcal{D}_q$ is the Askey-Wilson operator and $\mathcal{S}_q$ the averaging operator, are the multiple of Askey-Wilson polynomials, or specific or limiting cases of them.

math.CA

Characterization of Orthogonal Polynomials on lattices

We consider two sequences of orthogonal polynomials $(P_n)_{n\geq 0}$ and $(Q_n)_{n\geq 0}$ such that $$ \sum_{j=1} ^{M} a_{j,n}\mathrm{S}_x\mathrm{D}_x ^k P_{k+n-j} (z)=\sum_{j=1} ^{N} b_{j,n}\mathrm{D}_x ^{m} Q_{m+n-j} (z)\;, $$ with $k,m,M,N \in \mathbb{N}$, $a_{j,n}$ and $b_{j,n}$ are sequences of complex numbers, $$2\mathrm{S}_xf(x(s))=(\triangle +2\,\mathrm{I})f(z),~~ \mathrm{D}_xf(x(s))=\frac{\triangle}{\triangle x(s-1/2)}f(z),$$ $z=x(s-1/2)$, $\mathrm{I}$ is the identity operator, $x$ defines a lattice, and $\triangle f(s)=f(s+1)-f(s)$. We show that under some natural conditions, both involved orthogonal polynomials sequences $(P_n)_{n\geq 0}$ and $(Q_n)_{n\geq 0}$ are semiclassical whenever $k=m$. Some particular cases are studied closely where we characterize the continuous dual Hahn and Wilson polynomials for quadratic lattices.

math.CA

On discrete coherent pairs of measures

In [Castillo \& Mbouna, Indag. Math. {\bf 31} (2020) 223-234], the concept of $π_N$-coherent pairs of order $(m,k)$ with index $M$ is introduced. This definition, implicitly related with the standard derivative operator, automatically leaves out the so-called discrete orthogonal polynomials. The purpose of this note is twofold: first we use the (discrete) Hahn difference operator and rewrite the known results in this framework; second, as an application, we describe exhaustively the (discrete) self-coherent pairs in the situation whether $M=0$, $N\leq2$, and $(m,k)=(1,0)$. This is proved by describing in a unified way the classical orthogonal polynomials with respect to Jackson's operator as special or limiting cases of a four parametric family of $q$-polynomials. This gives a partial answer to a conjecture posed by M. E. H Ismail in his monograph [Classical and quantum orthogonal polynomials in one variable, Cambridge University Press, 2005].

math.CA

A characterization of continuous $q$-Jacobi, Chebyshev of the first kind and Al-Salam Chihara polynomials

The purpose of this note is to characterize those orthogonal polynomials sequences $(P_n)_{n\geq0}$ for which $$ π(x)\mathcal{D}_q P_n(x)=(a_n x+b_n)P_n(x)+c_n P_{n-1}(x),\quad n=0,1,2,\dots, $$ where $\mathcal{D}_q$ is the Askey-Wilson operator, $π$ is a polynomial of degree at most 2, and $(a_n)_{n\geq0}$, $(b_n)_{n\geq0}$ and $(c_n)_{n\geq0}$ are sequences of complex numbers such that $c_n\neq0$ for $n=1,2,\dots$.

math.CA

Remarks on Askey-Wilson polynomials and Meixner polynomials of the second kind

The purpose of this note is twofold: firstly to characterize all the sequences of orthogonal polynomials $(P_n)_{n\geq 0}$ such that $$ \frac{\triangle}{{\bf \triangle} x(s-1/2)}P_{n+1}(x(s-1/2))=c_n(\triangle +2\,\mathrm{I})P_n(x(s-1/2)), $$ where $\mathrm{I}$ is the identity operator, $x$ defines a class of lattices with, generally, nonuniform step-size, and $\triangle f(s)=f(s+1)-f(s)$; and secondly to present, in a friendly way, a method to deal with these kind of problems.

math.CA

On classical orthogonal polynomials related to Hahn's operator

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 orthogonal polynomials with respect to ${\bf u}$. A key step in the proof relies upon the fact that a distributional Rodrigues-type formula holds without assuming that ${\bf u}$ is regular.

math.CA

On another extension of coherent pairs of measures

Let $M$ and $N$ be fixed non-negative integer numbers and let $π_N$ be a polynomial of degree $N$. Suppose that $(P_n)_{n\geq0}$ and $(Q_n)_{n\geq0}$ are two orthogonal polynomial sequences such that %their derivatives of orders $k$ and $m$ (respectively) satisfy the structure relation $$ π_N(x)\,P_{n+m}^{(m)}(x)= \sum_{j=n-M}^{n+N}r_{n,j}Q_{j+k}^{(k)}(x)\quad (n=0,1,\ldots)\,, $$ where $r_{n,j}$ are complex number independent of $x$. It is shown that under natural constraints, $(P_n)_{n\geq0}$ and $(Q_n)_{n\geq0}$ are semiclassical orthogonal polynomial sequences. Moreover, their corresponding moment linear functionals are related by a rational modification in the distributional sense. This leads to the concept of $π_N-$coherent pair with index $M$ and order $(m,k)$.

math.CA