As is well known the kernel of the orthogonal projector onto the polynomials of degree $n$ in $L^2(w_{\a,\b}, [-1, 1])$ with $w_{\a,\b}(t) = (1-t)^\a(1+t)^\b$ can be written in terms of Jacobi polynomials. It is shown that if the coefficients in this kernel are smoothed out by sampling a $C^\infty$ function then the resulting function has almost exponential (faster than any polynomial) rate of decay away from the main diagonal. This result is used for the construction of tight polynomial frames for $L^2(w_{\a,\b})$ with elements having almost exponential localization.
The formulas that relate Jacobi's Epsilon and Zeta function with real moduli in the interval (1,inf) or with pure imaginary moduli to elliptic functions with moduli in the interval [0,1] are derived.
We look for spectral type differential equations satisfied by the generalized Jacobi polynomials which are orthogonal on the interval [-1,1] with respect to a weight function consisting of the classical Jacobi weight function together with point masses at the endpoints of the interval of orthogonality. In order to find explicit formulas for the coefficients of these differential equations we have to solve systems of equations involving derivatives of the classical Jacobi polynomials. These systems of equations have a unique solution which can be given explicitly in terms of Jacobi polynomials.…
We look for differential equations satisfied by the generalized Jacobi polynomials which are orthogonal on the interval [-1,1] with respect to a weight function consisting of the classical Jacobi weight function together with point masses at the endpoints of the interval of orthogonality. In order to find explicit formulas for the coefficients of these differential equations we have to solve systems of equations involving derivatives of the classical Jacobi polynomials. We show that these systems of equations have a unique solution which is given explicitly. This is a consequence of the Jacobi…
We study a family of orthogonal polynomials which satisfy (apart from a 3-term recurrence relation) an eigenvalue equation involving a third order differential operator of Dunkl-type. The orthogonality measure of these polynomials consists in the continuous measure of the little -1 Jacobi polynomials to which is added an arbitrary mass located at the point $x=0$, the middle of the orthogonality interval. This provides the first nontrivial example of Krall-type polynomials with a point mass inside the orthogonality interval. These polynomials can be obtained by a Geronimus transform of the litt…
We look for spectral type differential equations satisfied by the generalized Jacobi polynomials, which are orthogonal on the interval [-1,1] with respect to a weight function consisting of the classical Jacobi weight function together with two point masses at the endpoints of the interval of orthogonality. We show that such a differential equation is uniquely determined and we give explicit representations for the coefficients. In case of nonzero mass points the order of this differential equation is infinite, except for nonnegative integer values of (one of) the parameters. Otherwise, the fi…
We show asymptotic expansions of the eigenfunctions of certain perturbations of the Jacobi operator in a bounded interval, deducing equiconvergence results between expansions with respect to the associated orthonormal basis and expansions with respect to the cosine basis. Several results for pointwise convergence then follow.
The aim of this paper is to construct sup-exponentially localized kernels and frames in the context of classical orthogonal expansions, namely, expansions in Jacobi polynomials, spherical harmonics, orthogonal polynomials on the ball and simplex, and Hermite and Laguerre functions.
Generalized Jacobi polynomials are orthogonal polynomials related to a weight function which is smooth and positive on the whole interval of orthogonality up to a finite number of points, where algebraic singularities occur. The influence of these singular points on the asymptotic behaviour of the recurrence coefficients is investigated.
Below the normalized weighted reciprocal of the Christoffel function with respect to exceptional Jacobi polynomials is investigated. It is proved that it tends to the equilibrium measure of the interval of orthogonality in weak-star sense. The main tool of this study is the multiplication operator and examination of behavior of zeros of the corresponding average characteristic polynomial. Finally, as an application of multiplication operator, location of zeros of certain self-inversive polynomials are examined.
We investigate the differential equation for the Jacobi-type polynomials which are orthogonal on the interval $[-1,1]$ with respect to the classical Jacobi measure and an additional point mass at one endpoint. This scale of higher-order equations was introduced by J. and R. Koekoek in 1999 essentially by using special function methods. In this paper, a completely elementary representation of the Jacobi-type differential operator of any even order is given. This enables us to trace the orthogonality relation of the Jacobi-type polynomials back to their differential equation. Moreover, we establ…
Mehler-Heine asymptotics describe the behavior of orthogonal polynomials near the edges of the interval where the orthogonality measure is supported. For Jacobi polynomials and Laguerre polynomials this asymptotic behavior near the hard edge involves Bessel functions $J_α$. We show that the asymptotic behavior near the endpoint of the interval of (one of) the measures for multiple orthogonal polynomials involves a generalization of the Bessel function. The multiple orthogonal polynomials considered are Jacobi-Angelesco polynomials, Jacobi-Piñeiro polynomials, multiple Laguerre polynomials, mul…
We prove that similarly to the standard case, the equilibrium measure of Julia sets of exceptional Jacobi polynomials tends to the equilibrium measure of the interval of orthogonality in weak-star sense.
This note supplements the work of Gomez-Ullate, Kamran and Milson on the X_(1)-Jacobi polynomials which are orthogonal in a weighted Hilbert function space on the the interval (-1,+1) of the real line. These polynomials are generated by a second-order ordinary linear differential equation with a spectral parameter. Some additional information on the Sturm-Liouville form of this equation is given in this note, together with details of the singular differential operators generated in the weighted Hilbert function space. In particular, structured boundary conditions are given to determine the spe…
We consider direct and inverse Jacobi transforms with measures $dμ(t)=2^{2ρ}(\sinh t)^{2α+1}(\cosh t)^{2β+1}\,dt$ and $dσ(λ)=(2π)^{-1}\bigl|\frac{2^{ρ-iλ}Γ(α+1)Γ(iλ)} {Γ((ρ+iλ)/2)Γ((ρ+iλ)/2-β)}\bigr|^{-2}\,dλ$, respectively. We solve the following generalized Logan problem: to find \[ \infΛ((-1)^{m-1}f), \quad m\in \mathbb{N}, \] where $Λ(f)=\sup\,\{λ>0\colon f(λ)>0\}$ and the infimum is taken over all nontrivial even entire functions $f$ of exponential type that are Jacobi transforms of positive measures with supports on an interval. Here, if $m\ge 2$, then we additionally assume that $\int_{…
We study a new family of "classical" orthogonal polynomials, here called big -1 Jacobi polynomials, which satisfy (apart from a 3-term recurrence relation) an eigenvalue problem with differential operators of Dunkl-type. These polynomials can be obtained from the big $q$-Jacobi polynomials in the limit $q \to -1$. An explicit expression of these polynomials in terms of Gauss' hypergeometric functions is found. The big -1 Jacobi polynomials are orthogonal on the union of two symmetric intervals of the real axis. We show that the big -1 Jacobi polynomials can be obtained from the Bannai-Ito poly…
We investigate type I multiple orthogonal polynomials on $r$ intervals which have a common point at the origin and endpoints at the $r$ roots of unity $ω^j$, $j=0,1,\ldots,r-1$, with $ω= \exp(2πi/r)$. We use the weight function $|x|^β(1-x^r)^α$, with $α,β>-1$ for the multiple orthogonality relations. We give explicit formulas for the type I multiple orthogonal polynomials, the coefficients in the recurrence relation, the differential equation, and we obtain the asymptotic distribution of the zeros.
We find all spectral type differential equations satisfied by the symmetric generalized ultraspherical polynomials which are orthogonal on the interval [-1,1] with respect to the classical symmetric weight function for the Jacobi polynomials together with equal mass points at both ends of the interval of orthogonality. In order to find explicit formulas for the coefficients of these differential equations we have to solve systems of equations involving derivatives of the classical Jacobi polynomials. These systems of equations have a unique solution which is given explicitly. This is a consequ…
In this paper, some geometric properties of inverse polynomial images which consist of a real interval and an arc symmetric with respect to the real line are obtained. The proofs are based on properties of Jacobi's elliptic and theta 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…
We consider multiple orthogonal polynomials with respect to two modified Jacobi weights on touching intervals [a,0] and [0,1], with a < 0, and study a transition that occurs at a = -1. The transition is studied in a double scaling limit, where we let the degree n of the polynomial tend to infinity while the parameter a tends to -1 at a rate of O(n^{-1/2}). We obtain a Mehler-Heine type asymptotic formula for the polynomials in this regime. The method used to analyze the problem is the steepest descent technique for Riemann-Hilbert problems. A key point in the analysis is the construction of a …
T. Erdélyi, A.P. Magnus and P. Nevai conjectured that for $α, β\ge - {1/2} ,$ the orthonormal Jacobi polynomials ${\bf P}_k^{(α, β)} (x)$ satisfy the inequality \begin{equation*} \max_{x \in [-1,1]}(1-x)^{α+{1/2}}(1+x)^{β+{1/2}}({\bf P}_k^{(α, β)} (x) )^2 =O (\max \left\{1,(α^2+β^2)^{1/4} \right\}), \end{equation*} [Erdélyi et al.,Generalized Jacobi weights, Christoffel functions, and Jacobi polynomials, SIAM J. Math. Anal. 25 (1994), 602-614]. Here we will confirm this conjecture in the ultraspherical case $α= β\ge \frac{1+ \sqrt{2}}{4},$ even in a stronger form by giving very explicit upper …
In this work we construct uniform asymptotic expansion of $\sn(t|m)$ - Jacobi when $m\to1-0$. The constructed expansion is valid over more than a half of period. The turning point is included into the interval of validity for the approximation. In addition we obtain the asymptotic formula for elliptic integral of the first kind and discuss the differences with the same formula from a handbook.
The paper examines rational Darboux transformations (RDTs) of the Jacobi equation written in the canonical form, with emphasis on the Sturm-Liouville problems (SLPs) solved under the Dirichlet boundary conditions (DBCs) at the ends of the infinite interval [1, inf). To be able to extend the analysis to the Darboux-Crum net of rational SL equations (SLEs) solved under the cited DBCs in terms of multi-indexed orthogonal exceptional Romanovski-Jacobi (XR-Jacobi) polynomials, we consider only seed functions which represent principal Frobenius solutions (PFSs) near one of the singular endpoints. . …
The six Painlevé transcendants which originally appeared in the studies of ordinary differential equations have been found numerous applications in physical problems. The well-known examples among which include symmetry reduction of the Ernst equation which arises from stationary axial symmetric Einstein manifold and the spin-spin correlation functions of the two-dimensional Ising model in the work of McCoy, Tracy and Wu. The problem we study in this paper originates from random matrix theory, namely, the smallest eigenvalues distribution of the finite $n$ Jacobi unitary ensembles which was fi…
M. Derevyagin, L. Vinet and A. Zhedanov introduced in Constr. Approx. 36 (2012) 513-535 a new connection between orthogonal polynomials on the unit circle and the real line. It maps any real CMV matrix into a Jacobi one depending on a real parameter $λ$. These authors prove that this map yields a natural link between the Jacobi polynomials on the unit circle and the little and big $-1$ Jacobi polynomials on the real line. They also provide explicit expressions for the measure and orthogonal polynomials associated with the Jacobi matrix in terms of those related to the CMV matrix, but only for …
The location and asymptotic behaviour for large n of the zeros of exceptional Jacobi and Laguerre polynomials are discussed. The zeros of exceptional polynomials fall into two classes: the regular zeros, which lie in the interval of orthogonality and the exceptional zeros, which lie outside that interval. We show that the regular zeros have two interlacing properties: one is the natural interlacing between consecutive polynomials as a consequence of their Sturm-Liouville character, while the other one shows interlacing between the zeros of exceptional and classical polynomials. A generalizatio…
We look for differential equations satisfied by the generalized Jacobi polynomials which are orthogonal on the interval [-1,1] with respect to the classical weight function for the Jacobi polynomials together with point masses at both endpoints. In the special symmetric case that both parameters are equal and also the two point masses are equal we find all differential equations of spectral type satisfied by these symmetric generalized ultraspherical polynomials. We show that if the point masses are positive only for nonnegative integer values of the parameter there exists exactly one differen…
Motivated by G. H. Hardy's 1939 results \cite{Hardy} on functions orthogonal with respect to their real zeros $λ_{n}, n=1,2,... $, we will consider, within the same general conditions imposed by Hardy, functions satisfying an orthogonality with respect to their zeros with Jacobi weights on the interval $(0,1)$, that is, the functions $f(z)=z^νF(z), ν\in \mathbb{R}$, where $F$ is entire and \begin{equation*} \int_{0}^{1}f(λ_{n}t)f(λ_{m}t)t^α(1-t)^βdt=0,\quad α>-1-2ν, β>-1, \end{equation*}% when $n\neq m$. Considering all possible functions on this class we are lead to the discovery of a new fam…
In this paper, we study the strong asymptotic for the orthogonal polynomials and universality associated with singularly perturbed Pollaczek-Jacobi type weight $$w_{p_J2}(x,t)=e^{-\frac{t}{x(1-x)}}x^α(1-x)^β, $$ where $t \ge 0$, $α>0$, $β>0$ and $x \in [0,1].$ Our main results obtained here include two aspects: { I. Strong asymptotics:} We obtain the strong asymptotic expansions for the monic Pollaczek-Jacobi type orthogonal polynomials in different interval $(0,1)$ and outside of interval $\mathbb{C}\backslash (0,1)$, respectively; Due to the effect of $\frac{t}{x(1-x)}$ for varying $t$, diff…
Classical Jacobi polynomials $P_{n}^{(α,β)}$, with $α, β>-1$, have a number of well-known properties, in particular the location of their zeros in the open interval $(-1,1)$. This property is no longer valid for other values of the parameters; in general, zeros are complex. In this paper we study the strong asymptotics of Jacobi polynomials where the real parameters $α_n,β_n$ depend on $n$ in such a way that $$ \lim_{n\to\infty}\frac{α_{n}}{n}=A, \quad \lim_{n\to\infty}\frac{β_{n}}{n}=B, $$ with $A,B \in \mathbb{R}$. We restrict our attention to the case where the limits $A,B$ are not both pos…
In 1995 Magnus posed a conjecture about the asymptotics of the recurrence coefficients of orthogonal polynomials with respect to the weights on [-1,1] of the form $$ (1-x)^α(1+x)^β|x_0 - x|^γ\times a jump at x_0, $$ with $α, β, γ>-1$ and $x_0 \in (-1,1)$. We show rigorously that Magnus' conjecture is correct even in a more general situation, when the weight above has an extra factor, which is analytic in a neighborhood of [-1,1] and positive on the interval. The proof is based on the steepest descendent method of Deift and Zhou applied to the non-commutative Riemann-Hilbert problem characteriz…
The main result of the paper is a construction of a five-parameter family of new bases in the algebra of symmetric functions. These bases are inhomogeneous and share many properties of systems of orthogonal polynomials on an interval of the real line. This means, in particular, that the algebra of symmetric functions is embedded into the algebra of continuous functions on a certain compact space Omega, and under this realization, our bases turn into orthogonal bases of weighted Hilbert spaces corresponding to certain probability measures on Omega. These measures are of independent interest ---…
In this paper we study the simplest deformation on a sequence of orthogonal polynomials, namely, replacing the original (or reference) weight $w_0(x)$ defined on an interval by $w_0(x)e^{-tx}.$ It is a well-known fact that under such a deformation the recurrence coefficients denoted as $α_n$ and $β_n$ evolve in $t$ according to the Toda equations, giving rise to the time dependent orthogonal polynomials, using Sogo's terminology. The resulting "time-dependent" Jacobi polynomials satisfy a linear second order ode. We will show that the coefficients of this ode are intimately related to a partic…
In the bulk scaling limit of the Gaussian Unitary Ensemble of Hermitian matrices the probability that an interval of length $s$ contains no eigenvalues is the Fredholm determinant of the sine kernel $\sin(x-y)\overπ(x-y)$ over this interval. A formal asymptotic expansion for the determinant as $s$ tends to infinity was obtained by Dyson. In this paper we replace a single interval of length $s$ by $sJ$ where $J$ is a union of $m$ intervals and present a proof of the asymptotics up to second order. The logarithmic derivative with respect to $s$ of the determinant equals a constant (expressible i…
