Multiple orthogonal polynomials

In mathematics, the multiple orthogonal polynomials (MOPs) are orthogonal polynomials in one variable that are orthogonal with respect to a finite family of measures. The polynomials are divided into two classes named type 1 and type 2.

In the literature, MOPs are also called d-orthogonal polynomials, Hermite-Padé polynomials or polyorthogonal polynomials. MOPs should not be confused with multivariate orthogonal polynomials.

Multiple orthogonal polynomials

Consider a multiindex n→=(n1,…,nr)∈ℕr and r positive measures μ1,…,μr over the reals. As usual |n→|:=n1+n2+⋯+nr.

MOP of type 1

Polynomials An→,j for j=1,2,…,r are of type 1 if the j-th polynomial An→,j has at most degree nj−1 such that

∑j=1r∫ℝxkAn→,jdμj(x)=0,k=0,1,2,…,|n→|−2,

and

∑j=1r∫ℝx|n→|−1An→,jdμj(x)=1.

Explanation

This defines a system of |n→| equations for the |n→| coefficients of the polynomials An→,1,An→,2,…,An→,r.

MOP of type 2

A monic polynomial Pn→(x) is of type 2 if it has degree |n→| such that

∫ℝPn→(x)xkdμj(x)=0,k=0,1,2,…,nj−1,j=1,…,r.

Explanation

If we write j=1,…,r out, we get the following definition

∫ℝPn→(x)xkdμ1(x)=0,k=0,1,2,…,n1−1
∫ℝPn→(x)xkdμ2(x)=0,k=0,1,2,…,n2−1
⋮
∫ℝPn→(x)xkdμr(x)=0,k=0,1,2,…,nr−1

Literature