Nikishin systems on star-like sets: algebraic properties and weak asymptotics of the associated multiple orthogonal polynomials
Abey López-García, Erwin Miña-Díaz
备注：
Shorter version, but there is no modification in the list of results. This paper was invited to appear in a special number dedicated to the 150th anniversary of the founding of Sbornik Mathematics. It has 32 pages and no figures
Polynomials $Q_n(z)$, $n=0,1,\ldots,$ that are multi-orthogonal with respect to a Nikishin system of $p\geq 1$ compactly supported measures over the star-like set of $p+1$ rays $S_+:=\{z\in \mathbb{C}: z^{p+1}\geq 0 \}$ are investigated. We prove that the Nikishin system is normal, that the polynomials satisfy a three-term recurrence relation of order $p+1$ of the form $z Q_{n}(z)=Q_{n+1}(z)+a_{n}\,Q_{n-p}(z)$ with $a_n>0$ for all $n\geq p$, and that the nonzero roots of $Q_n$ are all simple and located in $S_+$. Under the assumption of regularity (in the sense of Stahl and Totik) of the measures generating the Nikishin system, we describe the asymptotic zero distribution and weak behavior of the polynomials $Q_n$ in terms of a vector equilibrium problem for logarithmic potentials. Under the same regularity assumptions, a theorem on the convergence of the Hermite-Padé approximants to the Nikishin system of Cauchy transforms is proven.
In this paper we give the asymptotic behavior of type I multiple orthogonal polynomials for a Nikishin system of order two with two disjoint intervals. We use the Riemann-Hilbert problem for multiple orthogonal polynomials and the steepest descent analysis for oscillatory Riemann-Hilbert problems to obtain the asymptotic behavior in all relevant regions of the complex plane.
We consider multiple orthogonal polynomials with respect to Nikishin systems generated by two measures $(σ_1, σ_2)$ with unbounded supports ($\mbox{supp} \, σ_1 \subseteq \mathbb{R}_+$, $\mbox{supp} \, σ_2 \subseteq \,\mathbb{R}_-$) and $σ_2$ is discrete. A Nikishin type equilibrium problem in the presence of an external field acting on $\mathbb{R}_+$ and a constraint on $ \mathbb{R}_-$ is stated and solved. The solution is used for deriving the contracted zero distribution of the associated multiple orthogonal polynomials.
We investigate the ratio asymptotic behavior of the sequence $(Q_{n})_{n=0}^{\infty}$ of multiple orthogonal polynomials associated with a Nikishin system of $p\geq 1$ measures that are compactly supported on the star-like set of $p+1$ rays $S_{+}=\{z\in\mathbb{C}: z^{p+1}\geq 0\}$. The main algebraic property of these polynomials is that they satisfy a three-term recurrence relation of the form $zQ_{n}(z)=Q_{n+1}(z)+a_{n} Q_{n-p}(z)$ with $a_{n}>0$ for all $n\geq p$. Under a Rakhmanov-type condition on the measures generating the Nikishin system, we prove that the sequence of ratios $Q_{n+1}(…
For a given polynomial $P$ with simple zeros, and a given semiclassical weight $w$, we present a construction that yields a linear second-order differential equation (ODE), and in consequence, an electrostatic model for zeros of $P$. The coefficients of this ODE are written in terms of a dual polynomial that we call the electrostatic partner of $P$. This construction is absolutely general and can be carried out for any polynomial with simple zeros and any semiclassical weight on the complex plane. An additional assumption of quasi-orthogonality of $P$ with respect to $w$ allows us to give more…
We study the asymptotic properties of a class of multiple orthogonal polynomials with respect to a Nikishin system generated by two measures $(σ_1, σ_2)$ with unbounded supports (${supp}(σ_1) \subset \mathbb{R}_+$, ${supp}(σ_2) \subset \mathbb{R}_-$), and such that the second measure $σ_2$ is discrete. The weak asymptotics for these polynomials was obtained previously by V. Sorokin. We use his result and the Riemann-Hilbert analysis to derive the strong asymptotics of these polynomials and of the reproducing kernel.
Multiple orthogonal polynomials are traditionally studied because of their connections to number theory and approximation theory. In recent years they were found to be connected to certain models in random matrix theory. In this paper we introduce the notion of a multiple orthogonal polynomial ensemble (MOP ensemble) and derive some of their basic properties. It is shown that Angelesco and Nikishin systems give rise to MOP ensembles and that the equilibrium problems that are associated with these systems have a natural interpretation in the context of MOP ensembles.
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…
Hermite-Padé approximants of type II are vectors of rational functions with common denominator that interpolate a given vector of power series at infinity with maximal order. We are interested in the situation when the approximated vector is given by a pair of Cauchy transforms of smooth complex measures supported on the real line. The convergence properties of the approximants are rather well understood when the supports consist of two disjoint intervals (Angelesco systems) or two intervals that coincide under the condition that the ratio of the measures is a restriction of the Cauchy transfo…
We study the logarihtnmic asymptotic of multiple orthogonal polynomials arising in a mixed type Hermite-Padé approximation problem associated with the rational perturbation of a Nikishin system of functions. The formulas obtained allow to give exact estimates of the rate of convergence of the corresponding Hermite-Padé approximants.
Multiple orthogonality is considered in the realm of a Gauss--Borel factorization problem for a semi-infinite moment matrix. Perfect combinations of weights and a finite Borel measure are constructed in terms of M-Nikishin systems. These perfect combinations ensure that the problem of mixed multiple orthogonality has a unique solution, that can be obtained from the solution of a Gauss--Borel factorization problem for a semi-infinite matrix, which plays the role of a moment matrix. This leads to sequences of multiple orthogonal polynomials, their duals and second kind functions. It also gives t…
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…
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…
In this paper we study the local zero behavior of orthogonal polynomials around an algebraic singularity, that is, when the measure of orthogonality is supported on $ [-1,1] $ and behaves like $ h(x)|x - x_0|^λdx $ for some $ x_0 \in (-1,1) $, where $ h(x) $ is strictly positive and analytic. We shall sharpen the theorem of Yoram Last and Barry Simon and show that the so-called fine zero spacing (which is known for $ λ= 0$) unravels in the general case, and the asymptotic behavior of neighbouring zeros around the singularity can be described with the zeros of the function $ c J_{\frac{λ- 1}{2}…
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.
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.
This paper is a sequel of the reference \cite[§4.2, p.p. 1782--1783]{almp}, in where some families of quadratic polynomial vector fields related with orthogonal polynomials were studied. We extend such results that contain some details related with differential Galois Theory as well the inclusion of Darboux theory of integrability and qualitative theory of dynamical systems.
We say that the polynomial sequence $(Q^{(λ)}_n)$ is a semiclassical Sobolev polynomial sequence when it is orthogonal with respect to the inner product $$ <p, r>_S=<{\bf u} ,{p\, r}> +λ<{\bf u}, {{\mathscr D}p \,{\mathscr D}r}>, $$ where ${\bf u}$ is a semiclassical linear functional, ${\mathscr D}$ is the differential, the difference or the $q$--difference operator, and $λ$ is a positive constant. In this paper we get algebraic and differential/difference properties for such polynomials as well as algebraic relations between them and the polynomial sequence orthogonal with respect to the sem…
Given two quasi-definite moment functionals, the corresponding orthogonal polynomial systems satisfy an algebraic differential relation(called an extended coherent pair). We study generalizing extended coherent pairs that unify extended coherent pairs and extended symmetric coherent pairs and find the related coefficients. When one of the moment functionals is (strongly) classical, we find another orthogonal polynomial system to find three-term recurrence coefficients. Moreover, we determine the companion moment functional as a rational modification of the classical one.
Starting from the moment sequences of classical orthogonal polynomials we derive the orthogonality purely algebraically. We consider also the moments of ($q=1$) classical orthogonal polynomials, and study those cases in which the exponential generating function has a nice form. In the opposite direction, we show that the generalized Dumont-Foata polynomials with six parameters are the moments of rescaled continuous dual Hahn polynomials. Finally we show that one of our methods can be applied to deal with the moments of Askey-Wilson polynomials.
We study the inverse problem in the theory of (standard) orthogonal polynomials involving two polynomials families $(P_n)_n$ and $(Q_n)_n$ which are connected by a linear algebraic structure such as $$P_n(x)+\sum_{i=1}^N r_{i,n}P_{n-i}(x)=Q_n(x)+\sum_{i=1}^M s_{i,n}Q_{n-i}(x)$$ for all $n=0,1, \dots$ where $N$ and $M$ are arbitrary nonnegative integer numbers.
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.
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 f…
We analyse a family of mutually orthogonal polynomials on the unit ball with respect to an inner product which involves the outward normal derivatives on the sphere. Using their representation in terms of spherical harmonics, algebraic and analytic properties will be deduced. First, we deduce explicit connection formulas relating classical multivariate ball polynomials and our family of Sobolev orthogonal polynomials. Then explicit representations for the norms and the kernels will be obtained. Finally, the asymptotic behaviour of the corresponding Christoffel functions is studied.
A result of Pólya states that every sequence of quadrature formulas $Q_n(f)$ with $n$ nodes and positive numbers converges to the integral $I(f)$ of a continuous function $f$ provided $Q_n(f)=I(f)$ for a space of algebraic polynomials of certain degree that depends on $n$. The classical case when the algebraic degree of precision is the highest possible is well-known and the quadrature formulas are the Gaussian ones whose nodes coincide with the zeros of the corresponding orthogonal polynomials and the numbers are expressed in terms of the so-called kernel polynomials. In many cases it is reas…
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 …
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.
Strong asymptotics of polynomials orthogonal on the unit circle with respect to a weight of the form $$ W(z) = w(z) \prod_{k=1}^m |z-a_k|^{2β_k}, \quad |z|=1, \quad |a_k|=1, \quad β_k>-1/2, \quad k=1, ..., m, $$ where $w(z)>0$ for $|z|=1$ and can be extended as a holomorphic and non-vanishing function to an annulus containing the unit circle. The formulas obtained are valid uniformly in the whole complex plane. As a consequence, we obtain some results about the distribution of zeros of these polynomials, the behavior of their leading and Verblunsky coefficients, as well as give an alternative …
We study asymptotics of the recurrence coefficients of orthogonal polynomials associated to the generalized Jacobi weight, which is a weight function with a finite number of algebraic singularities on $[-1,1]$. The recurrence coefficients can be written in terms of the solution of the corresponding Riemann-Hilbert problem for orthogonal polynomials. Using the steepest descent method of Deift and Zhou, we analyze the Riemann-Hilbert problem, and obtain complete asymptotic expansions of the recurrence coefficients. We will determine explicitly the order $1/n$ terms in the expansions. A critical …
Classical orthogonal polynomials have widespread applications including in numerical integration, solving differential equations, and interpolation. Changing basis between classical orthogonal polynomials can affect the convergence, accuracy, and stability of solutions. We provide a general method for changing basis between any pair of classical orthogonal polynomials by using algebraic expressions called coefficient functions that evaluate to connection coefficients. The method builds directly on previous work on the change of basis groupoid. The scope has fifteen kinds of classical orthogona…
Via the solutions of systems of algebraic equations of Bethe Ansatz type, we arrive at bounds for the zeros of orthogonal (basic) hypergeometric polynomials belonging to the Askey-Wilson, Wilson and continuous Hahn families.
We study Askey-Wilson type polynomials using representation theory of the double affine Hecke algebra. In particular, we prove bi-orthogonality relations for non-symmetric and anti-symmetric Askey-Wilson polynomials with respect to a complex measure. We give duality properties of the non-symmetric Askey-Wilson polynomials, and we show how the non-symmetric Askey-Wilson polynomials can be created from Sahi's intertwiners. The diagonal terms associated to the bi-orthogonality relations (which replace the notion of quadratic norm evaluations for orthogonal polynomials) are expressed in terms of r…
Classical orthogonal polynomial systems of Jacobi, Hermite, Laguerre and Bessel have the property that the polynomials of each system are eigenfunctions of a second order ordinary differential operator. According to a classical theorem by Bochner they are the only systems with this property. Similarly, the polynomials of Charlier, Meixner, Kravchuk and Hahn are both orthogonal and are eigenfunctions of a suitable difference operator of second order. We recall that according to the famous theorem of Favard-Shohat, the condition of orthogonality is equivalent to the 3-term recurrence relation. V…
The multivariate quantum $q$-Krawtchouk polynomials are shown to arise as matrix elements of "$q$-rotations" acting on the state vectors of many $q$-oscillators. The focus is put on the two-variable case. The algebraic interpretation is used to derive the main properties of the polynomials: orthogonality, duality, structure relations, difference equations and recurrence relations. The extension to an arbitrary number of variables is presented
An ordering for Laurent polynomials in the algebraic torus $(\mathbb C^*)^D$, inspired by the Cantero-Moral-Velázquez approach to orthogonal Laurent polynomials in the unit circle, leads to the construction of a moment matrix for a given Borel measure in the unit torus $\mathbb T^D$. The Gauss-Borel factorization of this moment matrix allows for the construction of multivariate biorthogonal Laurent polynomials in the unit torus which can be expressed as last quasi-determinants of bordered truncations of the moment matrix. Christoffel type perturbations of the measure given by the multiplicatio…
