Searcharxiv⌕ Search

arXiv subjects

J. Petronilho

Publications and source records attributed to J. Petronilho.

15 recordsLinked to original sources
arXiv2022

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↗
arXiv2022

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↗
arXiv2021

A Short Course on Orthogonal Polynomials and Special Functions

These notes contain part of the lectures of an introductory course on orthogonal polynomials and special functions that I gave in the joint PhD Program in Mathematics UC|UP in the academic years 2015-2016 (at University of Porto) and 2016-2017 (at University of Coimbra). The notes were written for students who have never contacted with the above topics. Most results presented here can be found in the available bibliography at the end of each text/chapter, although in general more detailed proofs have been included (a few of them different from the ones presented in the source references), hoping this helps the beginner student.

math.CA↗
arXiv2021

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↗
arXiv2021

Classical orthogonal polynomials revisited

This manuscript contains a small portion of the algebraic theory of orthogonal polynomials developed by Maroni and their applicability to the study and characterization of the classical families, namely Hermite, Laguerre, Jacobi, and Bessel polynomials. It is presented a cyclical proof of some of the most relevant characterizations, particularly those due to Al-Salam and Chihara, Bochner, Hahn, Maroni, and McCarthy. Two apparently new characterizations are also added. Moreover, it is proved through an equivalence relation that, up to constant factors and affine changes of variables, the four families of polynomials named above are the only families of classical orthogonal polynomials.

math.CA↗
arXiv2021

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↗
arXiv2019

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↗
arXiv2019

An electrostatic interpretation of the zeros of sieved ultraspherical polynomials

In a companion paper [On semiclassical orthogonal polynomials via polynomial mappings, J. Math. Anal. Appl. (2017)] we proved that the semiclassical class of orthogonal polynomials is stable under polynomial transformations. In this work we use this fact to derive in an unified way old and new properties concerning the sieved ultraspherical polynomials of the first and second kind. In particular we derive ordinary differential equations for these polynomials. As an application, we use the differential equation for sieved ultraspherical polynomials of the first kind to deduce that the zeros of these polynomials mark the locations of a set of particles that are in electrostatic equilibrium with respect to a particular external field.

math.CA↗
arXiv2017

$H_q-$semiclassical orthogonal polynomials via polynomial mappings

In this work we study orthogonal polynomials via polynomial mappings in the framework of the $H_q-$semiclassical class. We consider two monic orthogonal polynomial sequences $\{p_n (x)\}_{n\geq0}$ and $\{q_n(x)\}_{n\geq0}$ such that $$ p_{kn}(x)=q_n(x^k)\;,\quad n=0,1,2,\ldots\;, $$ being $k$ a fixed integer number such that $k\geq2$, and we prove that if one of the sequences $\{p_n (x)\}_{n\geq0}$ or $\{q_n(x)\}_{n\geq0}$ is $H_q-$semiclassical, then so is the other one. In particular, we show that if $\{p_n(x)\}_{n\geq0}$ is $H_q-$semiclassical of class $s\leq k-1$, then $\{q_n (x)\}_{n\geq0}$ is $H_{q^k}-$classical. This fact allows us to recover and extend recent results in the framework of cubic transformations, whenever we consider the above equality with $k=3$. The idea of blocks of recurrence relations introduced by Charris and Ismail plays a key role in our study.

math.CA↗
arXiv2014

On linearly related sequences of difference derivatives of discrete orthogonal polynomials

Let D_v the difference operator and q-difference operators defined by D_ωp(x) = \frac{p(x+ω)-p(x)}ω and D_q p(x) = \frac{p(qx)-p(x)}{(q-1)x}, respectively. Let U and V be two moment regular linear functionals and let (P_n)_n and Q_n)_n be their corresponding orthogonal polynomial sequences (OPS). We discuss an inverse problem in the theory of discrete orthogonal polynomials involving the above two OPS assuming that their difference derivatives $D_ν$ of higher orders m and k (resp.) are connected by a linear algebraic structure relation such as $$ \sum_{i=0}^M a_{i,n} D_ν^m P_{n+m-i}(x) = \sum_{i=0}^N b_{i,n} D_ν^k Q_{n+k-i}(x), \quad n\geq 0, $$ where $M,N,m,k=0,1,2,... Under certain conditions, we prove that U and V are related by a rational factor ç (in the distributional sense). Moreover, when m\neq k then both U and V are D_v-semiclassical functionals. This leads us to the concept of (M,N)-D_v-coherent pair of order (m,k) extending to the discrete case several previous works. As an application we consider the OPS with respect to a certain following Sobolev-type discrete inner product.

math.CA↗
arXiv2012

Orthogonal polynomials generated by a linear structure relation: Inverse problem

Let $(P_n)_n$ and $(Q_n)_n$ be two sequences of monic polynomials linked by a type structure relation such as $$ Q_{n}(x)+r_nQ_{n-1}(x)=P_{n}(x)+s_nP_{n-1}(x)+t_nP_{n-2}(x)\;, $$ where $(r_n)_n$, $(s_n)_n$ and $(t_n)_n$ are sequences of complex numbers. First, we state necessary and sufficient conditions on the parameters such that the above relation becomes non-degenerate when both sequences $(P_n)_n$ and $(Q_n)_n$ are orthogonal with respect to regular moment linear functionals ${\bf u}$ and ${\bf v}$, respectively. Second, assuming that the above relation is non-degenerate and $(P_n)_n$ is an orthogonal sequence, we obtain a characterization for the orthogonality of the sequence $(Q_n)_n$ in terms of the coefficients of the polynomials $Φ$ and $Ψ$ which appear in the rational transformation (in the distributional sense) $Φ{\bf u}=Ψ{\bf v}\; .$ Some illustrative examples of the developed theory are presented.

math.CA↗