We look for spectral type differential equations for the generalized Jacobi polynomials and for the Sobolev-Laguerre polynomials.
We use a method involving computeralgebra packages like Maple and Mathematica and we will give some preliminary results.
The purpose of this paper is to find the characterization of the Sheffer polynomial sets satisfying the d-orthogonality conditions. The generating function form of these polynomial sets is given in Theorem 2.2. As applications of the Theorem 2.2, we revisit the d-orthogonal polynomial sets exist in the literature and discover new d-orthogonal polynomial sets. Moreover, we obtain the d-dimensional functional vector ensuring the d-orthogonality of these new polynomial sets.
We review properties of q-orthogonal polynomials, related to their orthogonality, duality and connection with the theory of symmetric (self-adjoint) operators, represented by a Jacobi matrix. In particular, we show how one can naturally interpret the duality of families of q-polynomials, orthogonal on countable sets of points. In order to obtain orthogonality relations for dual sets of polynomials, it is proposed to use two symmetric (self-adjoint) operators, representable (in some distinct bases) by Jacobi matrices. This approach is applied to several pairs of dual families of q-polynomials, …
A generic differential operator on the vectorial space of polynomial functions was presented in a recent work and applied in the study of differential relations fulfilled by polynomial sequences either orthogonal or 2-orthogonal. Using the techniques therein developed, we prove an identity fulfilled by different differential operators and apply it in a systematic approach to the problem of finding polynomial eigenfunctions, assuming that those polynomials constitute a 2-orthogonal polynomial sequence. In particular, we analyse a third order differential operator that does not increase the degr…
The aim of this paper is to study differential properties of orthogonal polynomials with respect to a discrete Laguerre-Sobolev bilinear form with mass point at zero. In particular we construct the orthogonal polynomials using certain Casorati determinants. Using this construction, we prove that they are eigenfunctions of a differential operator (which will be explicitly constructed). Moreover, the order of this differential operator is explicitly computed in terms of the matrix which defines the discrete Laguerre-Sobolev bilinear form.
In this manuscript we study algebraic and analytic properties of the sequence of monic polynomials orthogonal with respect to a Jacobi differential operator. A fluid dynamics model for source points location of a flow of an incompressible fluid with preassigned stagnation points is also considered.
Considering a differential operator of third order that does not increase the degree of polynomials, we analyse some properties of elements of the dual space of 2-orthogonal polynomial eigenfunctions. In two classes of such generic operator, we prove that a 2-orthogonal polynomial solution fulfils Hahn's property.
The purpose of this work is to analyse a family of mutually orthogonal polynomials on the unit ball with respect to an inner product which includes an additional term on the sphere. First, we will get connection formulas relating classical multivariate orthogonal polynomials on the ball with our family of orthogonal polynomials. Then, using the representation of these polynomials in terms of spherical harmonics, algebraic and differential properties will be deduced.
We generalize Bourgain's discretized projection theorem to higher rank situations. Like Bourgain's theorem, our result yields an estimate for the Hausdorff dimension of the exceptional sets in projection theorems formulated in terms of Hausdorff dimensions. This estimate complements earlier results of Mattila and Falconer.
The aim of this paper is to study differential properties of orthogonal polynomials with respect to a discrete Jacobi-Sobolev bilinear form with mass point at $-1$ and/or $+1$. In particular, we construct the orthogonal polynomials using certain Casorati determinants. Using this construction, we prove that when the Jacobi parameters $α$ and $β$ are nonnegative integers the Jacobi-Sobolev orthogonal polynomials are eigenfunctions of a differential operator of finite order (which will be explicitly constructed). Moreover, the order of this differential operator is explicitly computed in terms of…
In this paper a general theory of semi-classical matrix orthogonal polynomials is developed. We define the semi-classical linear functionals by means of a distributional equation $D(u A) = u B,$ where $A$ and $B$ are matrix polynomials. Several characterizations for these semi-classical functionals are given in terms of the corresponding (left) matrix orthogonal polynomials sequence. They involve a quasi-orthogonality property for their derivatives, a structure relation and a second order differo-differential equation. Finally we illustrate the preceding results with some non-trivial examples.
We look for spectral type differential equations for the generalized Jacobi polynomials found by T.H. Koornwinder in 1984 and for the Sobolev-Laguerre polynomials. We introduce a method which makes use of computeralgebra packages like Maple and Mathematica and we will give some preliminary results.
We consider several classical results related to the Hausdorff dimension of exceptional sets of orthogonal projections and try to find out whether they have reasonable formulations in terms of packing dimension. We also investigate the existence of category versions for Marstrand and Falconer-Howroyd-type projection results.
Differential properties for orthogonal polynomials in several variables are studied. We consider multivariate orthogonal polynomials whose gradients satisfy some quasi--orthogonality conditions. We obtain several characterizations for these polynomials including the analogous of the semiclassical Pearson differential equation, the structure relation and a differential--difference equation.
In this paper, we derive new recurrence relations for two-variable orthogonal polynomials for example Jacobi polynomial, Bateman's polynomial and Legendre polynomial via two different differential operators $Ξ=\left(\frac{\partial }{\partial z} +\sqrt{w} \frac{\partial }{\partial w} \right)$ and $Δ=\left(\frac{1}{w} \frac{\partial }{\partial z} +\frac{1}{z} \frac{\partial }{\partial w} \right)$. We also derive some special cases of our main results.
Difference calculus compatible with polynomials (i.e., such that the divided difference operator of first order applied to any polynomial must yield a polynomial of lower degree) can only be made on special lattices well known in contemporary $q-$calculus. Orthogonal polynomials satisfying difference relations on such lattices are presented. In particular, lattices which are dense on intervals ($|q|=1$) are considered.
Orthogonal polynomials of degree $n$ with respect to the weight function $W_μ(x) = (1-\|x\|^2)^μ$ on the unit ball in $\RR^d$ are known to satisfy the partial differential equation $$ [ Δ- \la x, \nabla \ra^2 - (2 μ+d) \la x, \nabla \ra \right ] P = -n(n+2 μ+d) P $$ for $μ> -1$. The singular case of $μ= -1,-2, ...$ is studied in this paper. Explicit polynomial solutions are constructed and the equation for $ν= -2,-3,...$ is shown to have complete polynomial solutions if the dimension $d$ is odd. The orthogonality of the solution is also discussed.
Recurrence coefficients of semi-classical orthogonal polynomials (orthogonal polynomials related to a weight function $w$ such that $w'/w$ is a rational function) are shown to be solutions of non linear differential equations with respect to a well-chosen parameter, according to principles established by D. G. Chudnovsky. Examples are given. For instance, the recurrence coefficients in $a_{n+1}p_{n+1}(x)=xp_n(x) -a_np_{n-1}(x)$ of the orthogonal polynomials related to the weight $\exp(-x^4/4-tx^2)$ on {\blackb R\/} satisfy $4a_n^3\ddot a_n = (3a_n^4+2ta_n^2-n)(a_n^4+2ta_n^2+n)$, and $a_n^2$ sa…
We consider orthogonal polynomials with respect to a linear differential operator $$\mathcal{L}^{(M)}=\sum_{k=0}^{M}ρ_{k}(z)\frac{d^k}{dz^k}, $$ where $\{ρ_k\}_{k=0}^{M}$ are complex polynomials such that $deg[ρ_k]\leq k, 0\leq k \leq M$, with equality for at least one index. We analyze the uniqueness and zero location of these polynomials. An interesting phenomenon occurring in this kind of orthogonality is the existence of operators for which the associated sequence of orthogonal polynomials reduces to a finite set. For a given operator, we find a classification of the measures for which it …
Let $μ$ be a finite positive Borel measure supported on R, $\LL[f] =xf''+(α+1-x)f'$ with $α>-1$, or $\LL[f] =\frac{1}{2}f''-xf'$, and $m$ a natural number. We study algebraic, analytic and asymptotic properties of the sequence of monic polynomials $\{Q_n\}_{n>m}$ orthogonal with respect to the operator $\LL$. We also provide a fluid dynamics model for the zeros of these polynomials.
The aim of this paper is to bring into the picture a new phenomenon in the theory of orthogonal matrix polynomials satisfying second order differential equations. The last few years have witnessed some examples of a (fixed) family of orthogonal matrix polynomials whose elements are common eigenfunctions of several linearly independent second order differential operators. We show that the dual situation is also possible: there are examples of different families of matrix polynomials, each family orthogonal with respect to a different weight matrix, whose elements are eigenfunctions of a common …
In this paper we investigate the asymptotic distribution of the zeros of polynomials $P_{n}(x)$ satisfying a first order differential-difference equation. We give several examples of orthogonal and non-orthogonal families.
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 introduce the concept of $\D$-operators associated to a sequence of polynomials $(p_n)_n$ and an algebra $\A$ of operators acting in the linear space of polynomials. In this paper, we show that this concept is a powerful tool to generate families of orthogonal polynomials which are eigenfunctions of a higher order difference or differential operator. Indeed, given a classical discrete family $(p_n)_n$ of orthogonal polynomials (Charlier, Meixner, Krawtchouk or Hahn), we form a new sequence of polynomials $(q_n)_n$ by considering a linear combination of two consecutive $p_n$: $q_n=p_n+β_np_{…
On a general method for deriving a fourth-order differential equation satisfied by Laguerre-Hahn orthogonal polynomials with new results for the class 0 analogous to Hermite
University of Monastir(莫纳斯提尔大学);Sorbonne Université(索邦大学);Universidade do Porto(波尔图大学)
Given a finite set $F=\{f_1,\cdots ,f_k\}$ of nonnegative integers (written in increasing size) and a classical discrete family $(p_n)_n$ of orthogonal polynomials (Charlier, Meixner, Krawtchouk or Hahn), we consider the Casorati determinant $\det(p_{f_i}(x+j-1))_{i,j=1,\cdots,k}$. In this paper we prove a nice invariant property for this kind of Casorati determinants when the set $F$ is changed by $I(F)=\{0,1,2,\cdots,\max F\}\setminus \{\max F-f:f\in F\}$. This symmetry is related to the existence of higher order difference equations for the orthogonal polynomials with respect to certain Chr…
In this paper, we obtain the ladder operators and associated compatibility conditions for the type I and the type II multiple orthogonal polynomials. These ladder equations extend known results for orthogonal polynomials and can be used to derive the differential equations satisfied by multiple orthogonal polynomials. Our approach is based on Riemann-Hilbert problems and the Christoffel-Darboux formula for multiple orthogonal polynomials, and the nearest-neighbor recurrence relations. As an illustration, we give several explicit examples involving multiple Hermite and Laguerre polynomials, and…
We introduce a family of weight matrices $W$ of the form $T(t)T^*(t)$, $T(t)=e^{\mathscr{A}t}e^{\mathscr{D}t^2}$, where $\mathscr{A}$ is certain nilpotent matrix and $\mathscr{D}$ is a diagonal matrix with negative real entries. The weight matrices $W$ have arbitrary size $N\times N$ and depend on $N$ parameters. The orthogonal polynomials with respect to this family of weight matrices satisfy a second order differential equation with differential coefficients that are matrix polynomials $F_2$, $F_1$ and $F_0$ (independent of $n$) of degrees not bigger than 2, 1 and 0 respectively. For size $2…
Via a generalization of the pseudospectral method for numerical solution of differential equations, a family of nonlinear algebraic identities satisfied by the zeros of a wide class of orthogonal polynomials is derived. The generalization is based on a modification of pseudospectral matrix representations of linear differential operators proposed in the paper, which allows these representations to depend on two, rather than one, sets of interpolation nodes. The identities hold for every polynomial family $\{p_ν(x)\}_{ν=0}^\infty$ orthogonal with respect to a measure supported on the real line …
We extend to a situation involving matrix valued orthogonal polynomials a scalar result that originates in work of Claude Shannon and a ground-breaking series of papers by D. Slepian, H. Landau and H. Pollak at Bell Labs in the 1960's. While these papers feature integral and differential operators acting on scalar valued functions, we are dealing here with integral and differential operators acting on matrix valued functions.
For a long time it has been a challenging goal to identify all orthogonal polynomial systems that occur as eigenfunctions of a linear differential equation. One of the widest classes of such eigenfunctions known so far, is given by Koornwinder's generalized Jacobi polynomials with four parameters $α,β\in\mathbb{N}_{0}$ and $M,N \ge 0$ determining the orthogonality measure on the interval $-1 \le x \le 1$. The corresponding differential equation of order $2α+2β+6$ is presented here as a linear combination of four elementary components which make the corresponding differential operator widely ac…
Using Casorati determinants of Charlier polynomials, we construct for each finite set $F$ of positive integers a sequence of polynomials $r_n^F$, $n\in σ_F$, which are eigenfunction of a second order difference operator, where $σ_F$ is an infinite set of nonnegative integers, $σ_F \varsubsetneq \NN$. For certain finite sets $F$ (we call them admissible sets), we prove that the polynomials $r_n^F$, $n\in σ_F$, are actually exceptional Charlier polynomials; that is, in addition, they are orthogonal and complete with respect to a positive measure. By passing to the limit, we transform the Casorat…
In this paper, usual Sturm-Liouville problems are extended for symmetric functions so that the corresponding solutions preserve the orthogonality property. Two basic examples, which are special cases of a generalized Sturm-Liouville problem, are then introduced. First example generalizes the associated Legendre functions having extensive applications in physics and the second example introduces a generic differential equation with various sub-cases that have orthogonal solutions. For instance, this generic equation possesses a symmetric differential equation containing a basic solution of symm…
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 …
Classical orthogonal polynomial systems of Jacobi, Hermite and Laguerre have the property that the polynomials of each system are eigenfunctions of a second order ordinary differential operator. According to a famous theorem by Bochner they are the only systems on the real line with this property. Similar results hold for the discrete orthogonal polynomials. In a recent paper we introduced a natural class of polynomial systems whose members are the eigenfunctions of a differential operator of higher order and which are orthogonal with respect to d measures, rather than one. These polynomial sy…
We consider the following discrete Sobolev inner product involving the Gegenbauer weight $$(f,g)_S:=\int_{-1}^1f(x)g(x)(1-x^2)^αdx+M\big[f^{(j)}(-1)g^{(j)}(-1)+f^{(j)}(1)g^{(j)}(1)\big],$$ where $α>-1,$ $j\in \mathbb{N}\cup \{0\},$ and $M>0.$ Let $\{Q_n^{(α,M,j)}\}_{n\geq0}$ be the sequence of orthogonal polynomials with respect to the above inner product. These polynomials are eigenfunctions of a differential operator $\mathbf{T}. $ We establish the asymptotic behavior of the corresponding eigenvalues. Furthermore, we calculate the exact value $$r_0 = \lim_{n\rightarrow \infty}\frac{\log \lef…
In this survey article, we review some results and conjectures related to orthogonal polynomials on Cantor sets. The main purpose of this paper is to emphasize the role of equilibrium measures in order to have a general theory of sufficiently good measures (measures that behave similarly to measures which are in the Szegő class and the isospectral torus in the finite gap case) supported on totally disconnected subsets of $\mathbb{R}$. We present some open problems a number of which can be studied numerically.
Using the theory introduced by Casper and Yakimov, we investigate the structure of algebras of differential and difference operators acting on matrix valued orthogonal polynomials (MVOPs) on $\mathbb{R}$, and we derive algebraic and differential relations for these MVOPs. A particular case of importance is that of MVOPs with respect to a matrix weight of the form $W(x)=e^{-v(x)}e^{xA} e^{xA^\ast}$ on the real line, where $v$ is a scalar polynomial of even degree with positive leading coefficient and $A$ is a constant matrix.
Differential systems with a Fuchsian linear part are studied in regions including all the singularities in the complex plane of these equations. Such systems are not necessarily analytically equivalent to their linear part (they are not linearizable) and obstructions are found as a unique nonlinear correction after which the system becomes formally linearizable. More generally, normal forms are found. The corrections and the normal forms are found constructively. Expansions in multiple orthogonal polynomials and their generalization to matrix-valued polynomials are instrumental to these constr…
We investigate the recurrence coefficients of discrete orthogonal polynomials on the non-negative integers with hypergeometric weights and show that they satisfy a system of non-linear difference equations and a non-linear second order differential equation in one of the parameters of the weights. The non-linear difference equations form a pair of discrete Painlevé equations and the differential equation is the $σ$-form of the sixth Painlevé equation. We briefly investigate the asymptotic behavior of the recurrence coefficients as $n\to \infty$ using the discrete Painlevé equations.
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.
We introduce orthogonal polynomials $M_j^{μ,\ell}(x)$ as eigenfunctions of a certain self-adjoint fourth order differential operator depending on two parameters $μ\in\mathbb{C}$ and $\ell\in\mathbb{N}_0$. These polynomials arise as $K$-finite vectors in the $L^2$-model of the minimal unitary representations of indefinite orthogonal groups, and reduce to the classical Laguerre polynomials $L_j^μ(x)$ for $\ell=0$. We establish various recurrence relations and integral representations for our polynomials, as well as a closed formula for the $L^2$-norm. Further we show that they are uniquely deter…
We obtain a class of exact solutions of a Bessel-type differential equation, which is a six-parameter linear ordinary differential equation of the second order with irregular (essential) singularity at the origin. The solutions are obtained using the Tridiagonal Representation Approach (TRA) as bounded series of square integrable functions written in terms of the Bessel polynomial on the real line. The expansion coefficients of the series are orthogonal polynomials in the equation parameters space. We use our findings to obtain solutions of the Schrödinger equation for some novel potential fun…
A limiting property of the nearest-neighbor recurrence coefficients for multiple orthogonal polynomials from a Nevai class is investigated. Namely, assuming that the nearest-neighbor coefficients have a limit along rays of the lattice, we describe it in terms of the solution of a system of partial differential equations. In the case of two orthogonality measures the differential equation becomes ordinary. For Angelesco systems, the result is illustrated numerically.
Suppose $Λ\subseteq \RR^2$ has the property that any two exponentials with frequency from $Λ$ are orthogonal in the space $L^2(D)$, where $D \subseteq \RR^2$ is the unit disk. Such sets $Λ$ are known to be finite but it is not known if their size is uniformly bounded. We show that if there are two elements of $Λ$ which are distance $t$ apart then the size of $Λ$ is $O(t)$. As a consequence we improve a result of Iosevich and Jaming and show that $Λ$ has at most $O(R^{2/3})$ elements in any disk of radius $R$.
An effective method to obtain exact analytical solutions of equations describing the coherent dynamics of multilevel systems is presented. The method is based on the usage of orthogonal polynomials, integral transforms and their discrete analogues. All the obtained solutions are expressed by way of special or elementary functions.
Several recently discovered properties of multiple families of special polynomials (some orthogonal and some not) that satisfy certain differential, difference or q-difference equations are reviewed. A general method of construction of isospectral matrices defined in terms of the zeros of such polynomials is discussed. The method involves reduction of certain partial differential, differential difference and differential q-difference equations to systems of ordinary differential equations and their subsequent linearization about the zeros of polynomials in question. Via this process, solvable …
Let $μ$ be a probability measure with an infinite compact support on $\mathbb{R}$. Let us further assume that $(F_n)_{n=1}^\infty$ is a sequence of orthogonal polynomials for $μ$ where $(f_n)_{n=1}^\infty$ is a sequence of nonlinear polynomials and $F_n:=f_n\circ\dots\circ f_1$ for all $n\in\mathbb{N}$. We prove that if there is an $s_0\in\mathbb{N}$ such that $0$ is a root of $f_n^\prime$ for each $n>s_0$ then the distance between any two zeros of an orthogonal polynomial for $μ$ of a given degree greater than $1$ has a lower bound in terms of the distance between the set of critical points a…