On the explicit representation of polyorthogonal polynomials
type: Item
instance of: scholarly article
title: On the explicit representation of polyorthogonal polynomials
zbMATH Open document ID: 1472.41008
DOI: 10.3103/S1066369X2104006X
author: A. P. Starovoitov
published in: Russian Mathematics
publication date: 2021-07-23T00:00:00Z
review text: In the classical theory of orthogonal polynomials, the representation of the orthogonal polynomial \(Q_n\) in determinant form is well known: \[ Q_n(z)=\left| \begin{array}{cccc}s_0 & s_1 & \cdots & s_n \\ s_1 & s_2 & \cdots & s_{n+1} \\ \cdots & \cdots & \cdots & \cdots \\ s_{n-1} & s_n & \cdots & s_{2n-1}\\ 1 & z & \cdots & z^n\end{array}\right|, \] where \[ s_i=\int_{\triangle}x^id\mu (x)\ (i=0, 1, \ldots ) \] is a sequence of power moments of the measure \(\mu \), whose carrier coincides with the orthogonality segment \(\triangle\). In this paper, the author proves that a similar representation is also valid for a polyorthogonal polynomial if the power moments of the measures \(\mu _j\) are known. In this respect, notice that polyorthogonal polynomials (named also as \lq multiple orthogonal polynomial\rq) satisfy non-standard orthogonality relations and naturally arise as the common denominator of the Padé approximations for the system of Markov functions. Here, the orthogonality relations are distributed among several measures \(\mu _1,...,\mu _k\). Moreover, the author considers the concept of orthogonality in a broader sense, when the orthogonal polynomial is defined for an arbitrary sequence \(\{s_i\}\), which is not bound by any restrictions. In this general situation, necessary and sufficient conditions for the existence and uniqueness of a polyorthogonal polynomial are found, under which it can be represented in determinant form similar to one above. As a consequence, similar representations are obtained for the residual function, the numerator, and the denominator of the corresponding Padé approximations, complementing this way well-known results in the theory of polyorthogonal polynomials and Padé approximations. A fundamental role is played by new concepts which are introduced in the paper, namely, an admissible index and an almost perfect system of functions.
Mathematics Subject Classification ID: 41A21
Mathematics Subject Classification ID: 33C45
Mathematics Subject Classification ID: 42C05
zbMATH DE Number: 7374471
zbMATH Keywords: Padé approximations
zbMATH Keywords: normal index
zbMATH Keywords: perfect system
zbMATH Keywords: Hankel determinant
zbMATH Keywords: polyorthogonal polynomial
reviewed by: Daniel Cárdenas Morales
MaRDI profile type: Publication
cites work: Q3994435
cites work: Semiclassical multiple orthogonal polynomials and the properties of Jacobi-Bessel polynomials
cites work: Multiple orthogonal polynomials
cites work: The genetic sums' representation for the moments of a system of Stieltjes functions and its application
cites work: Some classical multiple orthogonal polynomials
cites work: Multiple orthogonal polynomials for classical weights
cites work: Non-intersecting squared Bessel paths and multiple orthogonal polynomials for modified Bessel weights
cites work: Orthogonality properties of 𝐶-fractions
cites work: Q3228737
cites work: A Note on the Irrationality of ζ(2) and ζ(3)
cites work: Generalized analytic functions
cites work: Higher-order three-term recurrences and asymptotics of multiple orthogonal polynomials
cites work: Multiple orthogonal polynomials of mixed type and non-intersecting Brownian motions
cites work: Singular values of products of Ginibre random matrices, multiple orthogonal polynomials and hard edge scaling limits
cites work: Multiple orthogonal polynomials and a counterexample to the Gaudin Bethe Ansatz Conjecture
full work available at URL: s1066369x2104006x
OpenAlex ID: W3164320217
description: scientific article; zbMATH DE number 7374471