Asymptotic for Orthogonal Polynomials with Respect to a Rational Modification of a Measure Supported on the Semi-Axis

Abstract

Given a sequence of orthogonal polynomials ${\left\{L_n\right\}}_{n=0}^{\infty }$, orthogonal with respect to a positive Borel $\nu$ measure supported on ${\mathbb{R}}_{+}$, let ${\left\{Q_n\right\}}_{n=0}^{\infty }$ be the the sequence of orthogonal polynomials with respect to the modified measure $r\left(x\right)d\nu \left(x\right)$, where r is certain rational function. This work is devoted to the proof of the relative asymptotic formula $\frac{Q_n^{\left(d\right)}\left(z\right)}{L_n^{\left(d\right)}\left(z\right)}{\rightrightarrows }_n{\prod }_{k=1}^{N_1}{\left(\frac{\sqrt{a_k}+i}{\sqrt{z}+\sqrt{a_k}}\right)}^{A_k}{\prod }_{j=1}^{N_2}{\left(\frac{\sqrt{z}+\sqrt{b_j}}{\sqrt{b_j}+i}\right)}^{B_j}$, on compact subsets of $\mathbb{C}\setminus {\mathbb{R}}_{+}$, where $a_k$ and $b_j$ are the zeros and poles of r, and the $A_k$, $B_j$ are their respective multiplicities.

1. Introduction

Let $\mu$ be a positive, finite, Borel measure on ${\mathbb{R}}_{+}=[0,+\infty )$, such that for all $n\in {\mathbb{Z}}_{+}$ (the set of all non-negative integers)

$${\eta }_n={\int }_0^{\infty }{x}^{n}d\mu \left(x\right)<\infty .$$

(1)

If there is no other measure ${\mu }_0$, such that ${\displaystyle {\eta }_n={\int }_0^{\infty }{x}^{n}d{\mu }_0\left(x\right)}$ for all $n\in {\mathbb{Z}}_{+}$, it is said that the moment problem associated with ${\left\{{\eta }_n\right\}}_{n\in {\mathbb{Z}}_{+}}$ is determined (see ([1] Ch. 4)). By a classical result of T. Carleman (see ([1] Th. 4.3)), a sufficient condition in order to the moment problem associated with the sequence ${\left\{{\eta }_n\right\}}_{n\in {\mathbb{Z}}_{+}}$ in (1) to be determined is

$$\sum _{n=1}^{\infty }\frac{1}{\sqrt[2n]{{\eta }_n}}=+\infty .$$

(2)

We say that the measure $\mu$ belongs to the class ${\mathfrak{M}}^{\prime }\left[{\mathbb{R}}_{+}\right]$ if ${\left\{{\eta }_n\right\}}_{n\in {\mathbb{Z}}_{+}}$ satisfies (2) and ${\mu }^{\prime }>0$ a.e. on ${\mathbb{R}}_{+}$ with respect to Lebesgue measure.

Let ${\displaystyle r\left(z\right)=\frac{\alpha \left(z\right)}{\beta \left(z\right)}}$ be a rational function, where $\alpha$ and $\beta$ are coprime polynomials with respective degrees A and B. We say that $d{\mu }_r\left(x\right)=r\left(z\right)d\mu \left(z\right)$ is a rational modification (for brevity, modification) of the measure $\mu$. Write

$$\alpha \left(z\right)=\prod _{i=1}^{N_1}{(z-a_i)}^{A_i},\beta \left(z\right)=\prod _{j=1}^{N_2}{(z-b_j)}^{B_j},$$

where $a_i,b_j\in \mathbb{C}\setminus {\mathbb{R}}_{+}$, $A_i,B_j\in \mathbb{N}$. $A=A_1+\cdots +A_{N_1}$ and $B=B_1+\cdots +B_{N_2}.$

We denote by ${\left\{L_n\right\}}_{n=0}^{\infty }$ the sequence of monic orthogonal polynomials with respect to $d\mu$. Assume that ${\left\{Q_n\right\}}_{n=0}^{\infty }$ is the sequence of monic polynomials of least degree, not identically equal to zero, such that

$${\int }_0^{\infty }{x}^k{Q}_n\left(x\right)r\left(x\right)d\mu \left(x\right)=0,\mathrm{for}\mathrm{all}k=0,1,2,\dots ,n-1.$$

(3)

The existence of $Q_n$ is an immediate consequence of (3). Indeed, it is deduced solving an homogeneous linear system with n equations and $n+1$ unknowns. Uniqueness follows from the minimality of the degree of the polynomial. We call $Q_n$ the nth monic modified orthogonal polynomial. In ([2] Th.1), explicit formulas are provided in order to compute $Q_n$ when the poles and zeros of the rational modification have a multiplicity of one.

Suppose that ${\left\{a_i\right\}}_{i=1}^{N_1},{\left\{b_j\right\}}_{j=1}^{N_2}\subset \mathbb{C}\setminus [-1,1]$. If $\mu$ is a positive (finite Borel) measure on $[-1,1]$, such that $\mu$ is on the Nevai class $\mathfrak{M}(0,1)$, in ([3] Th. 1) the authors prove the following asymptotic formula

$$\frac{Q_n^{\left(d\right)}\left(z\right)}{L_n^{\left(d\right)}\left(z\right)}\underset{n}{\rightrightarrows }\prod _{i=1}^{N_1}{\left(\frac{\phi \left(z\right)-\phi \left(a_i\right)}{2(z-a_i)}\right)}^{A_i}\prod _{j=1}^{N_2}{\left(1-\frac{1}{\phi \left(z\right)\phi \left(b_j\right)}\right)}^{B_j},$$

(4)

on $K\subset \overline{\mathbb{C}}\setminus [-1,1]$. The notation $f_n{\rightrightarrows }_{n}f,K\subset U$ means that the sequence of functions $f_n$ converges to f uniformly on a compact subset K of the region U, $f^{\left(d\right)}$ denotes the dth derivative of f, $d\in {\mathbb{Z}}_{+}$ is fixed and

$$\phi \left(z\right)=z+\sqrt{z^2-1}\left(\left|z+\sqrt{z^2-1}\right|>1,z\in \mathbb{C}\setminus [-1,1]\right).$$

In [3], the asymptotic formula (4) is pivotal in examining the asymptotic properties of orthogonal polynomials across a broad range of inner products, encompassing Sobolev-type inner products

$${⟨f,g⟩}_S=\int fgd\mu +\sum _{j=1}^m\sum _{i=0}^{d_j}{\lambda }_{j,i}{f}^{\left(i\right)}\left({\zeta }_j\right)g^{\left(i\right)}\left({\zeta }_j\right),$$

where ${\lambda }_{j,i}\ge 0$, $m,d_j>0$, $\mu$ is certain kind of complex measure with compact support is defined on the real line, and ${\zeta }_j$ represents complex numbers outside the support of $\mu$. The authors compare the Sobolev-type orthogonal polynomials associated with this measure to the orthogonal polynomials with respect to $\mu$. These asymptotic results are of interest for the electrostatic interpretation of zeros of Jacobi–Sobolev polynomials (cf. [4]).

On the other hand, the use of modified measures provides a stable way of computing the coefficients of the recurrence relation associated to a family of orthogonal polynomials (see ([5] Ch. 2)) and in [6,7] the interest of the modified orthogonal polynomials for the study of the multipoint Padé approximation is shown.

For measures supported on $[0,+\infty )$ (or $(-\infty ,+\infty )$) that satisfy the Carleman condition, G. López in ([8] Th. 4) (or ([8] Th. 3) for $(-\infty ,+\infty )$) proves a quite general version of the relative asymptotic formula (4). In this case, if the modification function, $\rho$, is a non-negative function on $[0,+\infty )$ in ${\mathrm{L}}^1\left(\mu \right)$, such that there exists an algebraic polynomial G and $k\in \mathbb{N}$ for which $\left|G\right|\rho /{(1+x)}^k$ and $\left|G\right|{\rho }^{-1}/{(1+x)}^k$ belong to ${\mathrm{L}}^{\infty }\left(\mu \right)$, then

$$\frac{Q_n\left(z\right)}{L_n\left(z\right)}\underset{n}{\rightrightarrows }\frac{\mathrm{S}(\rho ,\mathbb{C}\setminus [0,+\infty ),z)}{\mathrm{S}(\rho ,\mathbb{C}\setminus [0,+\infty ),\infty )},K\subset \mathbb{C}\setminus [0,+\infty );$$

(5)

where $\mathrm{S}(\rho ,\mathbb{C}\setminus [0,+\infty ),z)$ is the Szegö’s function for $\rho$ with respect to $\mathbb{C}\setminus [0,+\infty )$, i.e.,

$$\begin{array}{cc}\hfill \mathrm{S}(\rho ,\mathbb{C}\setminus [0,+\infty ),z)=& e^{s\left(z\right)},s\left(z\right)=\frac{1}{2\pi }{\int }_0^{\infty }log\rho \left(x\right)\left(\frac{\sqrt{-z}}{z-x}\right)\frac{dx}{\sqrt{x}};\hfill \\ \hfill \mathrm{S}(\rho ,\mathbb{C}\setminus [0,+\infty ),\infty )=& \underset{r\to +\infty }{lim}\mathrm{S}(\rho ,\mathbb{C}\setminus [0,+\infty ),-r);\hfill \end{array}$$

where the roots are selected from the condition $\sqrt{1}=1.$ Additionally, it is requested that $f\left(z\right)=\rho (-{((z+1)/(z-1))}^2)$ satisfies the Lipschitz condition in $z=1$ and $f\left(1\right)\ne 0$.

Asymptotic results, analogous to those obtained in [3], are obtained in [9] for the particular case of (5), when $d\mu \left(x\right)=x^a{e}^{-x}dx$ with $a>-1$ (the Laguerre measure).

The aim of this paper is to obtain an analog of (4) for measures supported on ${\mathbb{R}}_{+}$. We prove the following theorem.

Theorem 1.

Given a measure $\nu \in {\mathfrak{M}}^{\prime }\left[{\mathbb{R}}_{+}\right]$, it holds in compact subsets of $\mathbb{C}\setminus \mathbb{R}$

$$\frac{Q_n^{\left(d\right)}\left(z\right)}{L_n^{\left(d\right)}\left(z\right)}\underset{n}{\rightrightarrows }\prod _{i=1}^{N_1}{\left(\frac{\sqrt{a_i}+i}{\sqrt{z}+\sqrt{a_i}}\right)}^{A_i}\prod _{j=1}^{N_2}{\left(\frac{\sqrt{z}+\sqrt{b_j}}{\sqrt{b_j}+i}\right)}^{B_j},$$

(6)

for $d\in {\mathbb{Z}}_{+}$.

This situation is not a particular case of (5), because we consider $\rho$ as a rational function with complex coefficients and no necessarily $\rho \left(x\right)\ge 0$ on ${\mathbb{R}}_{+}$.

The structure of the paper is as follows: Section 2 and Section 3 are devoted to prove some preliminary results on varying measures. On the other hand, in Section 4 we obtain an essential theorem that allows us to finally prove Theorem 1 in Section 5.

2. Varying Measures and Carleman’s Condition

In this section, we introduce auxiliary results on varying measures and prove some useful lemmas that allow us to extend results that hold for measures with bounded support to the unbounded case. The following notations will be used throughout the paper:

$$\begin{array}{cc}\hfill \Psi \left(z\right)=& \frac{1+z}{1-z}\mathrm{for}z\in \mathbb{C}\setminus [-1,1].\hfill \\ \hfill {\Psi }^{-1}\left(z\right)=& \frac{z-1}{z+1}\mathrm{for}z\in \mathbb{C}\setminus {\mathbb{R}}_{+}.\hfill \\ \hfill \Phi \left(z\right)=& \frac{\sqrt{z}+i}{\sqrt{z}-i}\mathrm{where}\Phi (-1)=\infty \mathrm{and}z\in \mathbb{C}\setminus \left[\right|z|\le 1].\hfill \end{array}$$

(7)

If $\sigma$ is a finite positive Borel measure on $[-1,1]$, we denote

$$d{\sigma }_n\left(t\right)=\frac{d\sigma \left(t\right)}{{(1-t)}^{2n}}\mathrm{and}{\varsigma }_n={\int }_{-1}^1\frac{d\sigma \left(t\right)}{{(1-t)}^n}.$$

(8)

In this paper, we consider the principal branch of the square root, i.e., $\sqrt{r{e}^{i\theta }}=\sqrt{r}{e}^{i\frac{\theta }{2}}$, where $r>0$ and $0\le \theta <2\pi$.

Lemma 1.

Let μ be a positive Borel measure supported on ${\mathbb{R}}_{+}$ and suppose that ${\displaystyle d\sigma \left(t\right)=(1-t)d\mu \left(\Psi \left(t\right)\right)}$. Then,

(a) 

${\mu }^{\prime }>0$ a.e. on ${\mathbb{R}}_{+}$ implies that ${\sigma }^{\prime }>0$ a.e. on $[-1,1]$,

(b) 

if ${\displaystyle \sum _{n=1}^{\infty }\frac{1}{\sqrt[2n]{{\eta }_n}}=+\infty }$, then ${\displaystyle \sum _{n=1}^{\infty }\frac{1}{\sqrt[2n]{{\varsigma }_n}}=+\infty ,}$

where, as in (1), ${\eta }_n$ denotes the nth moment of the measure $d\mu$.

Proof. 

To prove the first assertion note that if ${\displaystyle d\sigma \left(t\right)=\frac{2}{1-t}{\mu }^{\prime }\left(\Psi \left(t\right)\right)dt}$, then

$$\frac{d\sigma }{dt}=(1-t)\frac{d\mu \left(\Psi \left(t\right)\right)}{dt}=\frac{2}{1-t}{\mu }^{\prime }\left(\Psi \left(t\right)\right)>0\mathrm{a}.\mathrm{e}.\mathrm{on}[-1,1].$$

The second part is derived using the change of variable ${\displaystyle t={\Psi }^{-1}\left(x\right)}$ in the integral

$$\begin{array}{cc}\hfill {\varsigma }_n& ={\int }_{-1}^1\frac{(1-t)}{{(1-t)}^n}d\mu \left(\Psi \left(t\right)\right)={\int }_0^{\infty }{\left(\frac{x+1}{2}\right)}^{n-1}d\mu \left(x\right)\hfill \\ \hfill & ={\int }_0^1{\left(\frac{x+1}{2}\right)}^{n-1}d\mu \left(x\right)+{\int }_1^{\infty }{\left(\frac{x+1}{2}\right)}^{n-1}d\mu \left(x\right)\hfill \\ \hfill & \le {\eta }_0+{\int }_1^{\infty }{x}^{n-1}d\mu \left(x\right)\le {\eta }_0+{\eta }_n.\hfill \end{array}$$

(9)

As ${\displaystyle \sum _{n=0}^{\infty }{\left({\eta }_n\right)}^{-1/2n}=+\infty }$, from (9) we have ${\displaystyle \sum _{n=0}^{\infty }{({\eta }_0+{\eta }_n)}^{-1/2n}=+\infty }$, then ${\displaystyle \sum _{n=0}^{\infty }{\left({\varsigma }_n\right)}^{-1/2n}=+\infty }$. □

Lemma 2.

Assume that $d\nu \in {\mathfrak{M}}^{\prime }\left[{\mathbb{R}}_{+}\right]$, ${\displaystyle r_k\left(x\right)={\left(\frac{x+1}{2}\right)}^k}$ and consider the modification $d{\nu }_{r_k}\left(x\right)=r_k\left(x\right)d\nu \left(x\right)$. Then ${\displaystyle d{\nu }_{r_k}\left(x\right)\in {\mathfrak{M}}^{\prime }\left[{\mathbb{R}}_{+}\right]}$ for all $k\in \mathbb{Z}$.

Proof. 

We now proceed by induction. Obviously, the initial case $k=0$ is given by hypothesis.

• Case $k>0$. Assume that ${\displaystyle d{\nu }_{r_j}\left(x\right)\in {\mathfrak{M}}^{\prime }\left[{\mathbb{R}}_{+}\right]}$ for all $j\le k-1$. Since ${\displaystyle d{\nu }_{r_k}\left(x\right)=\left(\frac{x+1}{2}\right)d{\nu }_{r_{k-1}}\left(x\right)}$, it is immediate that ${\displaystyle d{\nu }_{r_k}\left(x\right)}$ is positive and $\frac{d{\nu }_{r_k}\left(x\right)}{dx}>0$ a.e. on ${\mathbb{R}}_{+}$.

Let $m_{n,k}$ be the nth moment of the measure ${\displaystyle d{\nu }_{r_k}\left(x\right)}$, then

$$\begin{array}{cc}\hfill m_{n,k}& ={\int }_0^{\infty }{x}^{n}d{\nu }_{r_k}\left(x\right)={\int }_0^1{x}^n\left(\frac{x+1}{2}\right)d{\nu }_{r_{k-1}}\left(x\right)+{\int }_1^{\infty }{x}^n\left(\frac{x+1}{2}\right)d{\nu }_{r_{k-1}}\left(x\right),\hfill \\ \hfill & \le {\int }_0^{1}d{\nu }_{r_{k-1}}\left(x\right)+{\int }_1^{\infty }{x}^{n+1}d{\nu }_{r_{k-1}}\left(x\right)\le m_{0,k-1}+m_{n+1,k-1},\hfill \end{array}$$

where we use that ${\displaystyle x^n\left(\frac{x+1}{2}\right)\le 1}$ for ${\displaystyle x\in [0,1]}$ and ${\displaystyle \left(\frac{x+1}{2}\right)\le x}$, for $x\in [1,+\infty )$. Then, using induction hypothesis, we obtain that $m_{n,k}<\infty$ and the sequence of moments for ${\displaystyle d{\nu }_{r_k}\left(x\right)}$ satisfies Carleman’s condition.

• Case $k<0$. Repeating the previous arguments, we obtain that if ${\displaystyle d{\nu }_{r_j}\left(x\right)\in {\mathfrak{M}}^{\prime }\left[{\mathbb{R}}_{+}\right]}$ for all $0<j\le k+1$ then ${\displaystyle d{\nu }_{r_k}\left(x\right)}$ is positive and $\frac{d{\nu }_{r_k}\left(x\right)}{dx}>0$ a.e. on ${\mathbb{R}}_{+}$.

For the nth moment of the measure ${\displaystyle d{\nu }_{r_k}\left(x\right)}$, we have

$$\begin{array}{cc}\hfill m_{n,k}& ={\int }_0^{\infty }{x}^{n}d{\nu }_{r_k}\left(x\right)={\int }_0^1{x}^n\left(\frac{2}{x+1}\right)d{\nu }_{r_{k+1}}\left(x\right)+{\int }_1^{\infty }{x}^n\left(\frac{2}{x+1}\right)d{\nu }_{r_{k+1}}\left(x\right)\hfill \\ \hfill & \le 2m_{0,k+1}+m_{n,k+1},\hfill \end{array}$$

where we use that ${\displaystyle x^n\left(\frac{2}{x+1}\right)\le 2}$ for ${\displaystyle x\in [0,1]}$ and ${\displaystyle \left(\frac{2}{x+1}\right)\le 1}$, for $x\in [1,+\infty )$. Then, using induction hypothesis, we obtain that $m_{n,k}<\infty$ and the sequence of moments for ${\displaystyle d{\nu }_{r_k}\left(x\right)}$ satisfies Carleman’s condition. □

Lemma 3.

[7], Th. 4, Cor. 1. Let $P_{n,k}$ be the kth monic orthogonal polynomial with respect to $d{\sigma }_n$. If ${\sigma }^{\prime }>0$ a.e. on $[-1,1]$ and ${\displaystyle \sum _{n=1}^{\infty }\frac{1}{\sqrt[2n]{{\varsigma }_n}}=+\infty ,}$ then, for each integer k

$$\frac{P_{n,n-k+1}}{P_{n,n-k}}\left(z\right)\underset{n}{\rightrightarrows }\frac{\phi \left(z\right)}{2};K\subset \mathbb{C}\setminus [-1,1],$$

where $\phi \left(z\right)=z+\sqrt{z^2-1}$$\left(\left|z+\sqrt{z^2-1}\right|>1z\in \mathbb{C}\setminus [-1,1]\right)$.

Lemma 4.

Assume $\mu \in {\mathfrak{M}}^{\prime }\left[{\mathbb{R}}_{+}\right]$ and ${\displaystyle d{\mu }_m\left(x\right)={\left(\frac{2}{x+1}\right)}^{2m}d\mu \left(x\right)}$, with $m\in {\mathbb{Z}}_{+}$.

(a) 

Let ${\ell }_{m,n}$ be the nth orthogonal polynomial with respect to ${\displaystyle {\mu }_m}$, normalized by the condition ${\ell }_{m,n}(-1)={(-1)}^n$, then for $d\in {\mathbb{Z}}_{+}$, on $K\subset \mathbb{C}\setminus {\mathbb{R}}_{+}$ it holds

$$\frac{{\ell }_{m,n+m}^{\left(d\right)}\left(z\right)}{{\ell }_{k,n+k}^{\left(d\right)}\left(z\right)}\underset{n}{\rightrightarrows }{\left(\frac{z+1}{4}\right)}^{m-k}{\Phi }^{m-k}\left(z\right)={\left(\frac{\sqrt{z}+i}{2}\right)}^{2(m-k)}.$$

(10)

(b) 

Let $L_{m,n}$ be the nth monic orthogonal polynomial with respect to ${\displaystyle {\mu }_m}$, then on $K\subset \mathbb{C}\setminus {\mathbb{R}}_{+}$ it holds

$$\frac{L_{m,n+m}^{\left(d\right)}\left(z\right)}{L_{k,n+k}^{\left(d\right)}\left(z\right)}\underset{n}{\rightrightarrows }{\left(z+1\right)}^{m-k}{\Phi }^{m-k}\left(z\right)={\left(\sqrt{z}+i\right)}^{2(m-k)}.$$

(11)

Proof. 

(Proof of a). Taking ${\displaystyle d{\sigma }_n\left(t\right)={(1-t)}^{1-2n}d\mu \left(\Psi \left(t\right)\right)}$, from the assumptions and Lemma 1, we obtain that $d{\sigma }_n$ is a finite positive Borel measure on $[-1,1]$, ${\sigma }_n^{\prime }>0$ a.e. on $[-1,1]$ and ${\displaystyle \sum _{n=1}^{\infty }{\varsigma }_n^{-1/\left(2n\right)}=+\infty }$, where ${\varsigma }_n$ is as in (8).

Let $P_{n,k}$ be the kth monic orthogonal polynomial with respect to $d{\sigma }_n$ and denote ${\displaystyle {\ell }_{m,n+m}^{\ast }\left(z\right)={\left(\frac{z+1}{2}\right)}^{n+m}{P}_{n,n+m}\left({\Psi }^{-1}\left(z\right)\right)}$. After a change of variable ${\displaystyle x=\Psi \left(t\right)}$ in the next integral, we obtain

$$\begin{array}{cc}{\int }_0^{\infty }{\left(\frac{x+1}{2}\right)}^k{\ell }_{m,n+m}^{\ast }\left(x\right)d{\mu }_m\left(x\right)& ={\int }_{-1}^1\frac{1}{{\left(1-t\right)}^{n+m+k}}{P}_{n,n+m}\left(t\right){\left(1-t\right)}^{2m}d\mu \left(\Psi \left(t\right)\right)\hfill \\ \hfill & ={\int }_{-1}^1{\left(1-t\right)}^{n+m-1-k}{P}_{n,n+m}\left(t\right)\frac{d\mu \left(\Psi \left(t\right)\right)}{{(1-t)}^{2n-1}}\hfill \\ \hfill =& {\int }_{-1}^1{\left(1-t\right)}^{n+m-1-k}{P}_{n,n+m}\left(t\right)d{\sigma }_n\left(t\right)=0,\hfill \\ \hfill & \mathrm{for}k=0,1,\cdots ,n+m-1.\hfill \end{array}$$

(12)

$$\begin{array}{cc}\hfill {\ell }_{m,n+m}^{\ast }(-1)=& \underset{z\to -1}{lim}{\left(\frac{z+1}{2}\right)}^{n+m}{P}_{n,n+m}\left({\Psi }^{-1}\left(z\right)\right)={(-1)}^{n+m}.\hfill \end{array}$$

(13)

From (12) and (13), we have ${\ell }_{m,n+m}={\ell }_{m,n+m}^{\ast }$. Therefore,

$$\begin{array}{cc}\hfill {\ell }_{m,n+m}\left(z\right)& ={\left(\frac{z+1}{2}\right)}^{n+m}{P}_{n,n+m}\left({\Psi }^{-1}\left(z\right)\right),\hfill \\ \hfill \frac{{\ell }_{m,n+m}\left(z\right)}{{(1+z)}^{m-k}{\ell }_{k,n+k}\left(z\right)}& =\frac{P_{n,n+m}\left({\Psi }^{-1}\left(z\right)\right)}{2^{m-k}{P}_{n,n+k}\left({\Psi }^{-1}\left(z\right)\right)}\hfill \\ \hfill & =\frac{1}{2^{m-k}}\prod _{j=k}^{m-1}\frac{P_{n,n+j+1}\left({\Psi }^{-1}\left(z\right)\right)}{P_{n,n+j}\left({\Psi }^{-1}\left(z\right)\right)}.\hfill \end{array}$$

(14)

From Lemma 3, for $j=k,\dots ,m-1$;

$$\frac{P_{n,n+j+1}\left({\Psi }^{-1}\left(z\right)\right)}{P_{n,n+j}\left({\Psi }^{-1}\left(z\right)\right)}\underset{n}{\rightrightarrows }\frac{\phi \left({\Psi }^{-1}\left(z\right)\right)}{2};K\subset \mathbb{C}\setminus {\mathbb{R}}_{+}.$$

Thus,

$$\frac{{\ell }_{m,n+m}\left(z\right)}{{\ell }_{k,n+k}\left(z\right)}\underset{n}{\rightrightarrows }{\left(\frac{z+1}{4}\right)}^{m-k}{\phi }^{m-k}\left({\Psi }^{-1}\left(z\right)\right);K\subset \mathbb{C}\setminus {\mathbb{R}}_{+},$$

which establishes (10) for $d=0$. In order to proof (10) for $d>0$, we proceed by induction on d.

$$\frac{{\ell }_{m,n+m}^{(d+1)}\left(z\right)}{{\ell }_{k,n+k}^{(d+1)}\left(z\right)}=\frac{{\ell }_{m,n+m}^{\left(d\right)}\left(z\right)}{{\ell }_{k,n+k}^{\left(d\right)}\left(z\right)}+\frac{{\ell }_{k,n+k}^{\left(d\right)}\left(z\right)}{{\ell }_{k,n+k}^{(d+1)}\left(z\right)}·{\left(\frac{{\ell }_{m,n+m}^{\left(d\right)}\left(z\right)}{{\ell }_{k,n+k}^{\left(d\right)}\left(z\right)}\right)}^{\prime }.$$

Assume that formula (10) holds for $d\in {\mathbb{Z}}_{+}$, then ${\displaystyle {\left({\ell }_{m,n+m}^{\left(d\right)}/{\ell }_{0,n}^{\left(d\right)}\right)}^{\prime }}$ is uniformly bounded on compact subsets $K\subset \mathbb{C}\setminus {\mathbb{R}}_{+}$. Note that ${\displaystyle {\ell }_{0,n}^{\left(d\right)}/{\ell }_{0,n}^{(d+1)}\underset{n}{\rightrightarrows }0}$ on $K\subset \mathbb{C}\setminus {\mathbb{R}}_{+}$. This is proved using an analogous of ([3] (2.9)), and the Bell’s polynomials version of the Faa Di Bruno formula, see ([10] pp. 218, 219). The assertion (a) is proved.

(Proof of b). Write ${\displaystyle f_{d,m,n}\left(z\right)=\frac{{\ell }_{m,n+m}^{\left(d\right)}\left(z\right)}{z^m{\ell }_{0,n}^{\left(d\right)}\left(z\right)}}$ and let ${\kappa }_{m,n+m}$ be the leading coefficient of ${\ell }_{m,n+m}$. Hence, for $d>1$

$$\begin{array}{cc}\hfill f_{d,m,,k,n}(\infty )& =\frac{(n+m)\cdots (n+m-d+1){\kappa }_{m,n+m}}{(n+k)\cdots (n+k-d+1){\kappa }_{k,n+k}}\hfill \\ \hfill f_{0,m,k,n}(\infty )& =\frac{{\kappa }_{m,n+m}}{{\kappa }_{k,n+k}}.\hfill \end{array}$$

From (10),

$$\begin{array}{cc}\hfill f_{d,m,k,n}\left(z\right)& \underset{n}{\rightrightarrows }{\left(\frac{z+1}{4z}\right)}^{m-k}{\Phi }^{m-k}\left(z\right);K\subset \overline{\mathbb{C}}\setminus {\mathbb{R}}_{+},l\in {\mathbb{Z}}_{+}.\hfill \end{array}$$

(15)

$$\begin{array}{cc}\hfill \underset{n\to \infty }{lim}{f}_{d,m,k,n}(\infty )& =\underset{n\to \infty }{lim}\frac{{\kappa }_{m,n+m}}{{\kappa }_{k,n+k}}={\left(\frac{1}{2}\right)}^{2(m-k)}.\hfill \end{array}$$

(16)

As $L_{m,n+m}^{\left(d\right)}\left(z\right)=\frac{{\ell }_{m,n+m}^{\left(d\right)}\left(z\right)}{{\kappa }_{m,n+m}}$ for $d\ge 1$, from (15) and (16), we get (11). □

Denote by $\mathfrak{M}[-1,1]$ the class of admissible measures in $[-1,1]$ defined in ([11] Sec. 5). Let ${\sigma }_n$ a positive varying Borel measure supported on $[-1,1]$ and

$$p_{n,m}\left(w\right)={\tau }_{n,m}{w}^m+\cdots ,{\tau }_{n,m}>0$$

be the mth orthonormal polynomial with respect to ${\sigma }_n$, then ([11] Th. 7)

$$\underset{n\to \infty }{lim}\frac{{\tau }_{n,n+k+1}}{{\tau }_{n,n+k}}=2,k\in \mathbb{Z}.$$

(17)

Lemma 5.

Let ${\sigma }_n$ be an admissible measure, then for all $v\in \mathbb{Z}$,

$${\int }_{-1}^1\frac{p_{n,n+v}\left(t\right)p_{n,n}\left(t\right)}{w-t}d{\sigma }_n\left(t\right)\underset{n}{\rightrightarrows }\frac{1}{{\phi }^{\left|v\right|}\left(w\right)\sqrt{w^2-1}};K\subset \mathbb{C}\setminus [-1,1].$$

(18)

Proof. 

This proof is based on the proof of ([3] Lemma 2). Without loss of generality, let us consider $v\in {\mathbb{Z}}_{+}$. Applying the Cauchy–Schwarz inequality we have, for $z\in K\subset \overline{\mathbb{C}}\setminus [-1,1]$

$$\left|{\int }_{-1}^1\frac{p_{n,n+v}\left(t\right)p_{n,n}\left(t\right)}{w-t}d{\sigma }_n\left(t\right)\right|\le \frac{1}{d(K,[-1,1\left]\right)}<\infty ,$$

where $d(K,[-1,1\left]\right)$ denotes the Euclidian distance between the two sets. Thus, for (fixed) values of $v\in {\mathbb{Z}}_{+}$, the sequence of functions in the left hand side of (18) is normal. Thus, we deduce uniform convergence from pointwise convergence. The pointwise limit follows from ([11] Th. 9)

$$\underset{n\to \infty }{lim}{\int }_{-1}^1\frac{p_{n,n+v}\left(t\right)p_{n,n}\left(t\right)}{w-t}d{\sigma }_n\left(t\right)=\frac{1}{\pi }{\int }_{-1}^1\frac{T_v\left(t\right)}{w-t}\frac{dt}{\sqrt{1-t^2}},$$

here, $T_v$ is the $vth$ Chebyshev orthonormal polynomial of the first kind. Therefore, (18) holds if we prove that

$$\frac{1}{\pi }{\int }_{-1}^1\frac{T_v\left(t\right)}{w-t}\frac{dt}{\sqrt{1-t^2}}=\frac{1}{{\phi }^v\left(w\right)\sqrt{w^2-1}}.$$

(19)

Note that $T_0\left(t\right)=1,T_1\left(t\right)=x$, and, for $v\le 1$,

$$2t{T}_v\left(t\right)=T_{v+1}\left(t\right)+T_{v-1}\left(t\right),$$

or equivalently

$$T_{v+1}=2t{T}_v-T_{v-1}.$$

(20)

Next, proceed by induction. Start at $v=0$, expression (18, is obtained from the residue theorem and Cauchy’s integral formula. Then, for $v=1$ we have

$$\begin{array}{cc}\hfill \frac{1}{\pi }{\int }_{-1}^1\frac{T_1\left(t\right)}{w-t}\frac{dt}{\sqrt{1-t^2}}=& \frac{w}{\pi }{\int }_{-1}^1\frac{1}{w-t}\frac{dt}{\sqrt{1-t^2}}-\frac{1}{\pi }{\int }_{-1}^1\frac{dt}{\sqrt{1-t^2}}\hfill \\ \hfill =& \frac{w}{w^2-1}-1=\frac{1}{\phi \left(w\right)\sqrt{w^2-1}}.\hfill \end{array}$$

Now, assume (19) holds for $v=0,1,\cdots ,k$; $k\ge 1,$ we will prove that it also holds for $v=k+1$. Combining (20) and the hypothesis of induction, we obtain

$$\begin{array}{cc}\hfill \frac{1}{\pi }{\int }_{-1}^1\frac{T_{k+1}\left(t\right)}{w-t}\frac{dt}{\sqrt{1-t^2}}=& \frac{1}{\pi }{\int }_{-1}^1\frac{2t{T}_k\left(t\right)}{w-t}\frac{dt}{\sqrt{1-t^2}}-\frac{1}{\pi }{\int }_{-1}^1\frac{T_{k-1}\left(t\right)}{w-t}\frac{dt}{\sqrt{1-t^2}}\hfill \\ \hfill =& \frac{2z}{\pi }{\int }_{-1}^1\frac{T_k\left(t\right)}{w-t}\frac{dt}{\sqrt{1-t^2}}-\frac{1}{\pi }{\int }_{-1}^1\frac{T_{k-1}\left(t\right)}{w-t}\frac{dt}{\sqrt{1-t^2}}\hfill \\ \hfill =& \frac{1}{{\phi }^{k-1}\left(w\right)\sqrt{w^2-1}}\left(\frac{2w}{\phi \left(z\right)}-1\right)\hfill \\ \hfill =& \frac{1}{{\phi }^{k+1}\left(w\right)\sqrt{w^2-1}},\hfill \end{array}$$

which we wanted to prove. □

Lemma 6.

Let $d\mu \left(x\right)={\left(\frac{x+1}{2}\right)}^{A-B}d\nu \left(x\right)$, where $A,B\in {\mathbb{Z}}_{+}$, and $d\nu \in {\mathfrak{M}}^{\prime }\left[{\mathbb{R}}_{+}\right]$. We have on compact subsets of $\mathbb{C}\setminus {\mathbb{R}}_{+}$

$$\begin{array}{c}(v-1)!{\tau }_{n,n-B}^2{\int }_0^{\infty }{\left(\frac{x+1}{2}\right)}^k\frac{{\ell }_{A-k,n+A-k}\left(x\right){\ell }_{-B,n-B}\left(x\right)}{{(x-z)}^v}d\nu \left(x\right)\hfill \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\underset{n}{\rightrightarrows }{\left(\frac{-1}{(1+z){\left(2\Phi \left(z\right)\right)}^{A+B-k}\sqrt{{\left({\Psi }^{-1}\left(z\right)\right)}^2-1}}\right)}^{(v-1)}.\end{array}$$

where ${\ell }_{n,n+m}$ is defined as in Lemma 4.

Proof. 

First, the sequence ${\left\{{\ell }_{n,n+m}\right\}}_{n\ge 0}$ is well defined because the measure $d\nu \in {\mathfrak{M}}^{\prime }\left[{\mathbb{R}}_{+}\right]$, implies $d\mu \in {\mathfrak{M}}^{\prime }\left[{\mathbb{R}}_{+}\right]$ (see Lemma 2).

Let us use the connection formula (14) and the change of variable (7) to obtain

$$\begin{array}{cc}\hfill & (v-1)!{\tau }_{n,n-B}^2{\int }_0^{\infty }{\left(\frac{x+1}{2}\right)}^k\frac{{\ell }_{A-k,n+A-k}\left(x\right){\ell }_{-B,n-B}\left(x\right)}{{(x-z)}^v}d\nu \left(x\right),\hfill \\ \hfill & =(v-1)!{\tau }_{n,n-B}^2{\int }_{-1}^1\frac{P_{n,n+A-k}\left(t\right)P_{n,n-B}\left(t\right)}{{\left(\Psi \left(t\right)-z\right)}^v}\frac{d\sigma \left(t\right)}{{(1-t)}^{2n+A-B}},\hfill \\ \hfill f_n^{(v-1)}\left(z\right)& =\frac{(v-1)!{\tau }_{n,n-B}}{{\tau }_{n,n+A-k}}{\int }_{-1}^1\frac{1}{1-t}\frac{p_{n,n+A-k}\left(t\right)p_{n,n-B}\left(t\right)}{{\left(\Psi \left(t\right)-z\right)}^v}d{\sigma }_n\left(t\right).\hfill \end{array}$$

where we use

$$d{\sigma }_n\left(t\right)=\frac{d\mu (\Psi (t\left)\right)}{{(1-t)}^{2n-1}}=\frac{{(1-t)}^{B-A}d\nu (\Psi \left(t\right))}{{(1-t)}^{2n-1}}$$

Take the $(v-1)$ primitive with respect to z of the previous expression

$$\begin{array}{c}\hfill f_n\left(z\right)=\frac{{\tau }_{n,n-B}}{{\tau }_{n,n+A-k}}{\int }_{-1}^1\frac{1}{1-t}\frac{p_{n,n+A-k}\left(t\right)p_{n,n-B}\left(t\right)}{\Psi \left(t\right)-z}d{\sigma }_n\left(t\right).\end{array}$$

(21)

Since we know that

$$(1-t)(\Psi \left(t\right)-z)=(1+z)\left(t-{\Psi }^{-1}\left(z\right)\right),$$

we rewrite (21) as

$$\begin{array}{cc}\hfill & \frac{{\tau }_{n,n-B}^2}{1+z}{\int }_{-1}^1\frac{P_{n,n+A-k}\left(t\right)P_{n,n-B}\left(t\right)}{t-{\Psi }^{-1}\left(z\right)}d{\sigma }_n\left(t\right),\hfill \\ \hfill =& \frac{{\tau }_{n,n-B}}{(1+z){\tau }_{n,n+A-k}}{\int }_{-1}^1\frac{p_{n,n+A-k}\left(t\right)p_{n,n-B}\left(t\right)}{t-{\Psi }^{-1}\left(z\right)}d{\sigma }_n\left(t\right).\hfill \end{array}$$

Then, we use Lemma 5 and (17) to obtain on compact subsets of $\mathbb{C}\setminus {\mathbb{R}}_{+}$,

$$\begin{array}{c}\frac{{\tau }_{n,n-B}}{(1+z){\tau }_{n,n+A-k}}{\int }_{-1}^1\frac{p_{n,n+A-k}\left(t\right)p_{n,n-B}\left(t\right)}{t-{\Psi }^{-1}\left(z\right)}d{\sigma }_n\left(t\right)\hfill \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\underset{n}{\rightrightarrows }\left(\frac{-1}{(1+z){\left(2\phi \left({\Psi }^{-1}\left(z\right)\right)\right)}^{A+B-k}\sqrt{{\left({\Psi }^{-1}\left(z\right)\right)}^2-1}}\right)=f\left(z\right).\end{array}$$

Note that by the Cauchy–Schwarz inequality we have for $z\in \mathbb{C}\setminus {\mathbb{R}}_{+}$

$$\begin{array}{cc}\hfill \left|f_n^{(v-1)}\left(z\right)\right|& =\left|\frac{(v-1)!{\tau }_{n,n-B}}{{\tau }_{n,n+A-k}}{\int }_{-1}^1\frac{1}{1-t}\frac{p_{n,n+B-k}\left(t\right)p_{n,n-A}\left(t\right)}{{\left(\psi \left(t\right)-z\right)}^v}d{\sigma }_n\left(t\right)\right|\hfill \\ \hfill & \le \frac{B}{d(K,{\mathbb{R}}_{+})}.\hfill \end{array}$$

Then, for each v, the family ${\left\{f_n^{(v-1)}\right\}}_n$ is uniformly bounded in each $K\subset \mathbb{C}\setminus {\mathbb{R}}_{+}$, which means by Montel’s theorem (c.f. [12], §5.4, Th. 15) that ${\left\{f_n^{(v-1)}\right\}}_{n\ge 0}$ is normal (see ([12] §5.1 Def. 2)), i.e., we have that from each sequence $\mathbf{N}\subset \mathbb{N}$ we can take a subsequence ${\mathbf{N}}_1\subset \mathbf{N}$ such that

$$f_n^{\left(v\right)}\underset{n}{\rightrightarrows }{g}_{\left(v\right)};n\in {\mathbf{N}}_1,K\subset \mathbb{C}\setminus {\mathbb{R}}_{+}.$$

Now, taking the $(v-1)$ derivative and using the uniqueness of the limit we obtain

$$\begin{array}{c}\frac{(v-1)!{\tau }_{n,n-B}}{{\tau }_{n,n+A-k}}{\int }_{-1}^1\frac{1}{1-t}\frac{p_{n,n+A-k}\left(t\right)p_{n,n-B}\left(t\right)}{{\left(\Psi \left(t\right)-z\right)}^v}d{\sigma }_n\left(t\right)\hfill \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\underset{n}{\rightrightarrows }{\left(\frac{-1}{(1+z){\left(2\Phi \left(z\right)\right)}^{A+B-k}\sqrt{{\left({\Psi }^{-1}\left(z\right)\right)}^2-1}}\right)}^{(v-1)}=f^{(v-1)}\left(z\right),\end{array}$$

on compact subsets $K\subset \mathbb{C}\setminus {\mathbb{R}}_{+}$, which establishes the formula. □

3. Relative Asymptotic within Certain Class of Varying Measures

In this section, we obtain the asymptotic relation between orthogonal polynomials with respect to different measures of the class ${\left(\frac{x+1}{2}\right)}^{m}d\mu \left(x\right)$, where $\mu$ is any measure of ${\mathfrak{M}}^{\prime }\left[{\mathbb{R}}_{+}\right]$ and $m\in \mathbb{Z}$. Note that, because of Lemma 2, the elements of this class belong to ${\mathfrak{M}}^{\prime }\left[{\mathbb{R}}_{+}\right]$.

To maintain a general tone in the expositions in this section we use $\mu$ and $\nu$ as two measures in ${\mathfrak{M}}^{\prime }\left[{\mathbb{R}}_{+}\right]$ having no relation with the previous use of the notation.

Consider $m\in {\mathbb{Z}}_{+}$ and let $h_{m,n}\left(z\right)$ be the nth orthogonal polynomial with respect to ${\left(\frac{x+1}{2}\right)}^{m}d\nu \left(x\right)$, normalized as $h_{m,n}(-1)={(-1)}^n$. Consider the following relations

$$\begin{array}{c}\hfill {\int }_0^{\infty }{\left(\frac{x+1}{2}\right)}^k{h}_{0,n}\left(x\right)d\nu \left(x\right)=0,\end{array}$$

for $k=0,\dots ,n-1$. Apply the change of variable $\Psi \left(t\right)=z$ given in (7) to obtain

$$\begin{array}{cc}\hfill 0& ={\int }_{-1}^1{\left(\frac{1}{1-t}\right)}^k{h}_{0,n}\left(\Psi \left(t\right)\right)d\nu \left(\Psi \left(t\right)\right)\hfill \\ \hfill & ={\int }_{-1}^1{(1-t)}^{n-k-1}{(1-t)}^n{h}_{0,n}\left(\Psi \left(t\right)\right)\frac{(1-t)d\nu \left(\Psi \left(t\right)\right)}{{(1-t)}^{2n}}.\hfill \end{array}$$

Note that the polynomial $H_{n,n}\left(t\right)={(1-t)}^n{h}_{0,n}(\Psi \left(t\right))$ is the nth monic orthogonal polynomial with respect to the varying measure modified by a polynomial term

$$(1-t)d{\sigma }_n^{\ast }\left(t\right)=\frac{(1-t)d\nu \left(\Psi \left(t\right)\right)}{{(1-t)}^{2n}}.$$

Following the same reasoning, we obtain that

$$H_{n,n}^{\ast }\left(t\right)={(1-t)}^n{h}_{1,n}(\Psi \left(t\right)),$$

is the nth monic orthogonal polynomial with respect to $d{\sigma }_n^{\ast }\left(t\right)$. It is not hard to prove that the system $\{\sigma ,\left\{{(1-t)}^{2n}\right\},0\}$ is an admissible system, see ([11] Def. p 213). Therefore, by ([11] Th. 10), we have

$$\frac{H_{n,n}\left(t\right)}{H_{n,n}^{\ast }\left(t\right)}\underset{n}{\rightrightarrows }\frac{\phi \left(t\right)-\phi \left(1\right)}{t-1};K\subset \mathbb{C}\setminus [-1,1].$$

(22)

Theorem 2.

Under the previous hypothesis we have on compact subsets of $\mathbb{C}\setminus {\mathbb{R}}_{+}$

$$\begin{array}{cc}\hfill \frac{h_{0,n}\left(z\right)}{h_{1,n}\left(z\right)}& \underset{n}{\rightrightarrows }\left(\frac{z+1}{4}\right)\left(1-\Phi \left(z\right)\right),\hfill \end{array}$$

(23)

$$\begin{array}{cc}\hfill \frac{h_{v,n}\left(z\right)}{h_{w,n}\left(z\right)}& \underset{n}{\rightrightarrows }{\left(\frac{z+1}{4}\right)}^{w-v}{\left(1-\Phi \left(z\right)\right)}^{w-v},\hfill \end{array}$$

(24)

where $v,w\in \mathbb{Z}$.

Proof. 

From (22) and taking the change of variable (7) we have

$$\begin{array}{cc}\hfill \frac{h_{0,n}(\Psi \left(t\right))}{h_{1,n}(\Psi \left(t\right))}& =\frac{{(1-t)}^n{h}_{0,n}(\Psi \left(t\right))}{{(1-t)}^n{h}_{1,n}(\Psi \left(t\right))}\hfill \\ \hfill & =\frac{H_{n,n}\left(t\right)}{H_{n,n}^{\ast }\left(t\right)}\underset{n}{\rightrightarrows }\frac{\phi \left(t\right)-\phi \left(1\right)}{t-1}=\frac{{\Phi }^{-1}\left(z\right)-1}{\Psi \left(z\right)-1}.\hfill \end{array}$$

To prove (24), note that from Lemma 2.

$$d{\mu }_k={\left(\frac{x+1}{2}\right)}^{k}d\mu \in {\mathfrak{M}}^{\prime }\left[{\mathbb{R}}_{+}\right]\mathrm{if}\mu \in {\mathfrak{M}}^{\prime }\left[{\mathbb{R}}_{+}\right].$$

The only hypothesis needed to obtain (23) is $d\nu \in {\mathfrak{M}}^{\prime }\left[{\mathbb{R}}_{+}\right]$. Thus if we let now $d\nu ={\left(\frac{x+1}{2}\right)}^{k}d\mu =d{\mu }_k$, then $\left(\frac{x+1}{2}\right)d\nu ={\left(\frac{x+1}{2}\right)}^{k+1}d\mu =d{\mu }_{k+1}$, where $d\nu \in {\mathfrak{M}}^{\prime }\left[{\mathbb{R}}_{+}\right]$.

Therefore, $h_{0,n}={\mathfrak{h}}_{k,n}$ and $h_{1,n}={\mathfrak{h}}_{k+1,n}$, where ${\mathfrak{h}}_{k,n}$ and ${\mathfrak{h}}_{k+1,n}$ are the orthogonal polynomials with respect to the measures $d{\mu }_k$ and $d{\mu }_{k+1}$, respectively, normalized by having the value ${(-1)}^k$ at $-1$. Therefore, we have

$$\frac{{\mathfrak{h}}_{k,n}\left(z\right)}{{\mathfrak{h}}_{k+1,n}\left(z\right)}\underset{n}{\rightrightarrows }-\left(\frac{z+1}{4}\right)\left(\Phi \left(z\right)-1\right).$$

(25)

Note that, without loss of generality, we can asume $w>v$, otherwise the relation between the measures can be reverted, and they still belong to ${\mathfrak{M}}^{\prime }\left[{\mathbb{R}}_{+}\right]$. Stack formula (25 as

$$\frac{{\mathfrak{h}}_{v_1,n}\left(z\right)}{{\mathfrak{h}}_{w_1,n}}=\frac{{\mathfrak{h}}_{v_1,n}\left(z\right)}{{\mathfrak{h}}_{v_1+1,n}}·\frac{{\mathfrak{h}}_{v_1+1,n}\left(z\right)}{{\mathfrak{h}}_{v_1+2,n}}·\cdots ·\frac{{\mathfrak{h}}_{w_1-1,n}\left(z\right)}{{\mathfrak{h}}_{w_1,n}},$$

where $v_1=v+k$ and $w_1=w+k$. Since the measure $\mu \in {\mathfrak{M}}^{\prime }\left[{\mathbb{R}}_{+}\right]$, (24) holds. □

4. Asymptotic for Orthogonal Polynomials with Respect to a Measure Modified by a Rational Factor

Let $r=\alpha /\beta$, after canceling out common factors, where

$$\begin{array}{cc}\hfill & \alpha \left(z\right)=\prod _{i=1}^{N_1}{(z-a_i)}^{A_i},\beta \left(z\right)=\prod _{j=1}^{N_2}{(z-b_j)}^{B_j},\hfill \\ \hfill & a_i\in \mathbb{C}\setminus ({\mathbb{R}}_{+}\cup \{-1\}),b_j\in \mathbb{C}\setminus {\mathbb{R}}_{+},A_i,B_j\in \mathbb{N},\hfill \\ \hfill & A=\sum _{i=1}^{N_1}{A}_i,B=\sum _{j=1}^{N_2}{B}_j.\hfill \end{array}$$

(26)

Given a measure $\nu \in {\mathfrak{M}}^{\prime }\left[{\mathbb{R}}_{+}\right]$, denote by $d\mu \left(x\right)={\left(\frac{x+1}{2}\right)}^{A-B}d\nu \left(x\right)$ a modified measure, note that according to Lemma 2 it holds $\nu \in {\mathfrak{M}}^{\prime }\left[{\mathbb{R}}_{+}\right]$.

Assume $S_n$ is the polynomial of least degree not identically equal to zero, such that

$$0={\int }_0^{\infty }p\left(x\right)S_n\left(x\right)r\left(x\right)d\nu \left(x\right),p\in {\mathbb{P}}_{n-1},$$

(27)

normalized such that $S_n(-1)={(-1)}^n$, and $L_n$ is the nth orthogonal polynomial with respect to $d\nu$, normalized such that $L_n(-1)={(-1)}^n$. We are interested in the asymptotic behavior of $S_n/L_n,n\in {\mathbb{Z}}_{+}$ in compact subsets of $\mathbb{C}\setminus {\mathbb{R}}_{+}$.

Theorem 3.

Let $\mu \in {\mathfrak{M}}^{\prime }\left[{\mathbb{R}}_{+}\right]$ and α and β defined as before. Then for all sufficiently large n, for all fixed $d\in {\mathbb{Z}}_{+}$, in compact subsets of $\mathbb{C}\setminus {\mathbb{R}}_{+}$, it holds

$$\frac{S_n\left(z\right)}{{\ell }_{0,n}\left(z\right)}\underset{n}{\rightrightarrows }\frac{{(-1)}^A\alpha (-1)}{4^A{(z+1)}^{-A}}\prod _{i=1}^{N_1}{\left(\frac{\Phi \left(z\right)-\Phi \left(a_i\right)}{z-a_i}\right)}^{A_i}\prod _{j=1}^{N_2}{\left(1-\frac{1}{\Phi \left(z\right)\Phi \left(b_j\right)}\right)}^{B_j}.$$

(28)

Proof. 

First we focus on (27) for ${\displaystyle \alpha \left(x\right)={\left(\frac{x+1}{2}\right)}^k\beta \left(x\right)}$ where $k=0,\cdots ,n-B-1$, we have

$$0={\int }_0^{\infty }{\left(\frac{x+1}{2}\right)}^k{S}_n\left(x\right)\alpha \left(x\right)d\nu \left(x\right),$$

now, using the change of variables (7) and considering the expression $d\mu (\Psi \left(t\right))={(1-t)}^{B-A}d\nu (\Psi \left(t\right))$, the previous integral becomes

$$\begin{array}{c}\hfill 0={\int }_{-1}^1{\left(1-t\right)}^{n-B-k-1}{(1-t)}^{n+A}{S}_n\left(\Psi \left(t\right)\right)\alpha \left(\Psi \left(t\right)\right)\frac{d\mu \left(\Psi \left(t\right)\right)}{{(1-t)}^{2n-1}}.\end{array}$$

(29)

for $k=0,\dots ,n-B-1$. Define the $(n+A)$-degree polynomial $R_{n+A}$ as

$$R_{n+A}\left(t\right):={(1-t)}^{n+A}{S}_n\left(\Psi \left(t\right)\right)\alpha \left(\Psi \left(t\right)\right).$$

Thus, we can consider $d{\sigma }_n\left(t\right)=\frac{d\sigma \left(t\right)}{{(1-t)}^{2n-1}}$ with $d\sigma \left(t\right)=d\nu (\Psi (t\left)\right)$. The measure $d{\sigma }_n\left(t\right)$ defines a varying orthogonal polynomial system, satisfying Lemma 3. We denote by $P_{n,n+A-k}$ the $(n+A-k)$th monic orthogonal polynomial with respect to $d{\sigma }_n\left(t\right)$. According to (29), we have the following quasi-orthogonality of order $n-A$

$$R_{n+A}\left(t\right):={(1-t)}^{n+A}{S}_n\left(\Psi \left(t\right)\right)\alpha \left(\Psi \left(t\right)\right)=\sum _{k=0}^{A+B}{\lambda }_{n,k}{P}_{n,n+A-k}\left(t\right).$$

(30)

Back to (30), we use the connection formula (14) and the change of variables (7) to obtain

$$\begin{array}{cc}\hfill {\left(\frac{2}{z+1}\right)}^{n+A}{S}_n\left(z\right)\alpha \left(z\right)& =\sum _{k=0}^{A+B}{\lambda }_{n,k}{P}_{n,n+A-k}\left({\Psi }^{-1}\left(z\right)\right)\hfill \\ \hfill & =\sum _{k=0}^{A+B}{\lambda }_{n,k}{\left(\frac{2}{z+1}\right)}^{n+A-k}{\ell }_{A-k,n+A-k}\left(z\right),\hfill \\ \hfill S_n\left(z\right)\alpha \left(z\right)& =\sum _{k=0}^{A+B}{\lambda }_{n,k}{\left(\frac{z+1}{2}\right)}^k{\ell }_{A-k,n+A-k}\left(z\right).\hfill \end{array}$$

(31)

Note that ${\lambda }_{n,0}={\lambda }_0={(-1)}^A\alpha (-1)$ or $S_n$ has $deg{S}_n<n$. Dividing this relation by ${\ell }_{-B,n-B}$ we get

$$\frac{S_n\left(z\right)\alpha \left(z\right)}{{\ell }_{-B,n-B}\left(z\right)}=\sum _{k=0}^{A+B}{\lambda }_{n,k}{\left(\frac{z+1}{2}\right)}^k\frac{{\ell }_{A-k,n+A-k}\left(z\right)}{{\ell }_{-B,n-B}\left(z\right)}.$$

(32)

Set ${\displaystyle {\lambda }_{n,k}^{\ast \ast }={\lambda }_{n,k}/{\lambda }_0}$, ${\displaystyle {\lambda }_n^{\ast }={\left(\sum _{k=0}^{A+B}\left|{\lambda }_{n,k}^{\ast \ast }\right|\right)}^{-1}<\infty }$ and introduce the polynomials

$$p_n\left(z\right)=\sum _{k=0}^{A+B}{\lambda }_{n,k}^{\ast \ast }{z}^{A+B-k},p_n^{\ast }={\lambda }_n^{\ast }{p}_n\left(z\right).$$

We will prove that

$$p_n\left(z\right)\underset{n}{\rightrightarrows }\widehat{p}\left(z\right)=\prod _{i=1}^{N_1}\left(z-\frac{\Phi \left(a_i\right)}{2}\right)\prod _{j=1}^{N_2}\left(z-\frac{1}{2\Phi \left(b_j\right)}\right);K\subset \mathbb{C}.$$

To this end, it suffices to show that

$$p_n^{\ast }\left(z\right)\underset{n}{\rightrightarrows }c\widehat{p}\left(z\right)=c\left(z^{A+B}+{\lambda }_1^{\ast \ast }{z}^{A+B-1}+\cdots +{\lambda }_{A+B}^{\ast \ast }\right),$$

(33)

where

$$c=\underset{n\to \infty }{lim}{\lambda }_n^{\ast }={\left(\sum _{k=0}^{A+B}\left|{\lambda }_k\right|\right)}^{-1}.$$

(34)

Now, note that $\left\{p_n^{\ast }\right\}$, for $n\in {\mathbb{Z}}_{+}$ is contained in ${\mathbb{P}}_{A+B}$ and the sum of the coefficients of $p_n^{\ast }$ for each $n\in {\mathbb{Z}}_{+}$, is equal to one. Therefore, this family of polynomials is normal. This means that (33) can be prove if we check that, for all $\Lambda \subset {\mathbb{Z}}_{+}$ such that

$$\underset{\begin{array}{c}n\to \infty \\ n\in \Lambda \end{array}}{lim}{p}_n^{\ast }\left(z\right)=p_{\Lambda },$$

(35)

$p_{\Lambda }\left(z\right)=c\widehat{p}\left(z\right)$, where $\widehat{p}\left(z\right)$ and c are defined as above. Since $p_{\Lambda }\in {\mathbb{P}}_{A+B}$ and $p_{\Lambda }\not\equiv 0$, we can uniquely determine $p_{\Lambda }$ if we find its zeros and leading coefficient. Note that the leading coefficient of $p_{\Lambda }$ is positive and the sum of the absolute value of its coefficients is one. Therefore, we conclude that the leading coefficient is uniquely determined by the zeros. This automatically implies that $p_{\Lambda }\left(z\right)=c\widehat{p}\left(z\right)$ if and only if it is divisible by $\widehat{p}\left(z\right)$.

Note that the factor $\beta$ is in (32) and all the zeros of ${\ell }_{-B,n-B}$ concentrate on ${\mathbb{R}}_{+}$. Thus, we immediately obtain the following A equations, for $n\ge n_0$:

$$0=\sum _{k=0}^{A+B}{\lambda }_n^{\ast }{\lambda }_{n,k}^{\ast \ast }{\left[{\left(\frac{z+1}{2}\right)}^k\left(\frac{{\ell }_{A-k,n+A-k}}{{\ell }_{-B,n-B}}\right)\right]}^{\left(v\right)}\left(a_i\right),$$

for $i=1,\cdots ,N_1$ and $v=0,\cdots ,A_j-1$.

From Lemma 4 it follows that, for compact subsets $K\subset \mathbb{C}\setminus {\mathbb{R}}_{+}$, it holds

$$\begin{array}{c}\hfill {\left[{\left(\frac{z+1}{2}\right)}^k\left(\frac{{\ell }_{n+A,n+A-k}\left(z\right)}{{\ell }_{-B,n-B}\left(z\right)}\right)\right]}^{\left(v\right)}\underset{n}{\rightrightarrows }{\left[{\left(\frac{z+1}{2}\right)}^{A+B}{\left(\frac{\Phi \left(z\right)}{2}\right)}^{A+B-k}\right]}^{\left(v\right)}.\end{array}$$

(36)

Relations (35) and (36), together with the fact that $\Phi$ is holomorphic with ${\Phi }^{\prime }\ne 0$ in $\mathbb{C}\setminus {\mathbb{R}}_{+}$, imply, using induction on v, that

$$p_{\Lambda }^{\left(v\right)}\left(\frac{\Phi \left(a_i\right)}{2}\right)=0,i=1,\cdots ,N_1,v=0,\cdots ,A_i-1;$$

(37)

$$p_{\Lambda }\left(z\right)=c{\left(\frac{z+1}{2}\right)}^{A+B}\sum _{k=0}^{A+B}{\lambda }_k^{\ast \ast }{\left(\frac{\Phi \left(z\right)}{2}\right)}^{A+B-k}.$$

On the other hand, take $p\left(z\right)=\beta \left(z\right){\ell }_{-B,n-B}\left(z\right)/{(z-b_j)}^v$ in (27), $j=1,\cdots ,N_2$; $v=1,\cdots ,B_j$. Using (31) and multiplying by $(v-1)!\frac{{\lambda }_n^{\ast }}{{\lambda }_0}{\tau }_{n,n-B}^2$ we have the additional relations

$$\begin{array}{cc}\hfill 0=& \frac{{\lambda }_n^{\ast }}{{\lambda }_0}{\tau }_{n,n-B}^2{\int }_0^{\infty }\frac{(v-1)!}{{(x-b_j)}^v}{\ell }_{-B,n-B}\left(x\right)S_n\left(x\right)\alpha \left(x\right)d\nu \left(x\right),\hfill \\ \hfill =& {\tau }_{n,n-B}^2{\int }_0^{\infty }\frac{(v-1)!}{{(x-b_j)}^v}{\ell }_{-B,n-B}\left(x\right)\hfill \\ \hfill & \sum _{k=0}^{A+B}{\lambda }_n^{\ast }{\lambda }_{n,k}^{\ast \ast }{\left(\frac{x+1}{2}\right)}^k{\ell }_{A-k,n+A-k}\left(x\right)d\nu \left(x\right),\hfill \\ \hfill 0=& \sum _{k=0}^{A+B}{\lambda }_n^{\ast }{\lambda }_{n,k}^{\ast \ast }(v-1)!{\tau }_{n,n-B}^2\hfill \\ \hfill & {\int }_0^{\infty }{\left(\frac{x+1}{2}\right)}^k\frac{{\ell }_{A-k,n+A-k}\left(x\right){\ell }_{-B,n-B}\left(x\right)}{{(x-b_j)}^v}d\nu \left(x\right),\hfill \end{array}$$

(38)

for each $b_j$.

Relations (33), (38) and Lemma 6 together with the fact that $1/\Phi$ is holomorphic with ${(1/\Phi )}^{\prime }\ne 0$ and $1/\sqrt{{\left({\psi }^{-1}\left(z\right)\right)}^2-1}\ne 0$ in $\mathbb{C}\setminus {\mathbb{R}}_{+}$, give by induction

$$p_{\Lambda }^{\left(v\right)}\left(\frac{1}{2\Phi \left(b_j\right)}\right)=0,j=1,\cdots ,N_2,v=0,\cdots ,B_j-1.$$

From the previous expression and (37) it follows that $p_{\Lambda }$ is divisible by $p_0\left(z\right)$. Therefore (33) and (34) hold and

$$p_n\left(z\right)\underset{n}{\rightrightarrows }{p}_0\left(z\right),K\subset \mathbb{C}.$$

From the previous expression, the definition of $p_n$, (32), (36) with $v=0$, we obtain

$$\frac{S_n\left(z\right)\alpha \left(z\right)}{{\ell }_{-B,n-B}\left(z\right)}\underset{n}{\rightrightarrows }{(-1)}^A\alpha (-1){\left(\frac{z+1}{2}\right)}^{A+B}\widehat{p}\left(\frac{\Phi \left(z\right)}{2}\right).$$

Use the asymptotic formula (10) in the previous expression and group conveniently to obtain

$$\begin{array}{c}\frac{S_n\left(z\right)}{{\ell }_{-B,n-B}\left(z\right)}·\frac{{\ell }_{-B,n-B}\left(z\right)}{{\ell }_{0,n}\left(z\right)}\underset{n}{\rightrightarrows }{\left(\frac{z+1}{2}\right)}^A\frac{{(-1)}^A\alpha (-1)\Phi {\left(z\right)}^{-B}}{\alpha \left(z\right)}\hfill \\ \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\prod _{i=1}^{N_1}{\left(\frac{\Phi \left(z\right)-\Phi \left(a_i\right)}{2}\right)}^{A_i}\prod _{i=1}^{N_2}{\left(\frac{\Phi \left(z\right)}{2}-\frac{1}{2\Phi \left(b_j\right)}\right)}^{B_j}\end{array}$$

and (28) follows for $v=0$. To prove the formula for $d\in {\mathbb{Z}}_{+}$, apply the same technique of the proof of Lemma 4. □

Remark 1.

1.

The proof depends on the assumption of $\alpha (-1)\ne 0$, we will remove this restriction in Section 5.

2.

We suppose that $\alpha ,\beta$ are monic. We can remove that restriction without loss of generality due to the fact that orthogonal polynomial systems are invariant under the constant modification of measures.

Theorem 3 gives the ratio asymptotic between the orthogonal polynomials with respect to a rational modification of kind $r\left(x\right)d\nu \left(x\right)$ (a general rational modification with no zeros at $-1$) denoted as $S_n$ and those orthogonal with respect to a modified measure of type ${\displaystyle {\left(\frac{x+1}{2}\right)}^{A-B}}$, denoted as ${\ell }_{0,n}$.

To obtain the general formula we must find the following limit

$$\underset{n\to \infty }{lim}\frac{{\ell }_{0,n}\left(z\right)}{L_n\left(z\right)},$$

on compact subsets of $\mathbb{C}\setminus {\mathbb{R}}_{+}$, where $L_n\left(z\right)$ is the nth orthogonal polynomial with respect to $d\nu \in {\mathfrak{M}}^{\prime }\left[{\mathbb{R}}_{+}\right]$ normalized such that $L_n(-1)={(-1)}^n$.

5. Proof of Theorem 1

Next, we obtain an analogous of (4) for measures with support on ${\mathbb{R}}_{+}$. Define $\widehat{\alpha }$ as

$$\widehat{\alpha }\left(z\right)={\left(\frac{z+1}{2}\right)}^C\alpha \left(z\right)$$

wherein $\alpha$ is defined in (26) and $C\in {\mathbb{Z}}_{+}$ is the multiplicity of the zero $-1$ in $\widehat{\alpha }/\beta$. Without loss of generality we can assume that there are more zeros than poles on $-1$, if not $C=0$. Also, let $L_n$ be the nth orthogonal polynomial with respect to $d\widehat{\nu }\in {\mathfrak{M}}^{\prime }\left[{\mathbb{R}}_{+}\right]$, normalized by the condition $L_n(-1)={(-1)}^n$. Denote by $Q_n$ the nth orthogonal polynomial with respect to $\widehat{r}d\widehat{\nu }$, where $r=\widehat{\alpha }/\beta$, normalized as usual, $Q_n(-1)={(-1)}^n$.

Note that if $C=0$, $\widehat{r}=r$ and $Q_n=S_n$, as defined in Section 4. Under this notation, (6) is written as

$$\frac{Q_n^{\left(d\right)}\left(z\right)}{L_n^{\left(d\right)}\left(z\right)}\underset{n}{\rightrightarrows }{\left(\frac{2i}{\sqrt{z}+i}\right)}^C\prod _{i=1}^{N_1}{\left(\frac{\sqrt{a_i}+i}{\sqrt{z}+\sqrt{a_i}}\right)}^{A_i}\prod _{j=1}^{N_2}{\left(\frac{\sqrt{z}+\sqrt{b_j}}{\sqrt{b_j}+i}\right)}^{B_j},$$

in compact subsets of $\mathbb{C}\setminus \mathbb{R}$, for $d\in {\mathbb{Z}}_{+}$.

Proof of Theorem 1.

Let us first observe that $Q_n$ is orthogonal with respect to ${\left(\frac{x+1}{2}\right)}^C\frac{\alpha }{\beta }d\widehat{\nu }$. Then if we set

$$d\widehat{\nu }={\left(\frac{x+1}{2}\right)}^{-C}d\nu ,$$

(39)

we obtain that $Q_n$ is orthogonal with respect to $\frac{\alpha }{\beta }d\nu$, and satisfies the hypotheses of Theorem 3, thus we have on compact subsets of $\mathbb{C}\setminus {\mathbb{R}}_{+}$

$$\frac{Q_n\left(z\right)}{{\ell }_{0,n}\left(z\right)}\underset{n}{\rightrightarrows }\mathfrak{F}\left(z\right),$$

where $\mathfrak{F}\left(z\right)$ is given in (28).

On the other hand, ${\ell }_{0,n}$ is orthogonal with respect to ${\left(\frac{x+1}{2}\right)}^{A-B}d\nu$. This means by (39) that ${\ell }_{0,n}$ is orthogonal with respect to ${\left(\frac{x+1}{2}\right)}^{A-B+C}d\widehat{\nu }$. Thus, taking into account Theorem 2, we have

$$\frac{{\ell }_{0,n}\left(z\right)}{L_n\left(z\right)}\underset{n}{\rightrightarrows }{\left(\frac{z+1}{4}\right)}^{B-A-C}{\left(1-\Phi \left(z\right)\right)}^{B-A-C}.$$

Multiply the expressions corresponding to

$$\begin{array}{c}\hfill {\left(\frac{z+1}{4}\right)}^{B-A-C}{\left(1-\Phi \left(z\right)\right)}^{B-A-C}·\mathfrak{F}\left(z\right),\end{array}$$

(40)

Let us break down this expression into the following terms

$$\begin{array}{cc}\hfill \mathfrak{F}\left(z\right)& =\frac{{(-1)}^A\alpha (-1)}{4^A{(z+1)}^{-A}}\prod _{i=1}^{N_1}{\left(\frac{\Phi \left(z\right)-\Phi \left(a_i\right)}{z-a_i}\right)}^{A_i}\prod _{i=1}^{N_2}{\left(1-\frac{1}{\Phi \left(z\right)\Phi \left(b_j\right)}\right)}^{B_j}.\hfill \\ \hfill {(-1)}^A\alpha (-1)& =\prod _{i=1}^{N_1}{(1+a_i)}^{A_i}\hfill \\ \hfill (1-\varphi (z\left)\right)& =-\frac{2i}{\sqrt{z}-i}\hfill \\ \hfill \frac{\Phi \left(z\right)-\Phi \left(a_i\right)}{z-a_i}& =\frac{-2i}{(\sqrt{z}-i)(\sqrt{a_i}-i)(\sqrt{a_i}+\sqrt{z})}\hfill \\ \hfill 1-\frac{1}{\Phi \left(z\right)\Phi \left(b_j\right)}& =\frac{2i\left(\sqrt{b_j}+\sqrt{z}\right)}{(\sqrt{z}+i)\left(\sqrt{b_j}+i\right)}.\hfill \end{array}$$

On the other hand

$$\begin{array}{cc}\hfill \prod _{i=1}^{N_1}{\left(\frac{\Phi \left(z\right)-\Phi \left(a_i\right)}{z-a_i}\right)}^{A_i}& ={\left(\frac{-2i}{\sqrt{z}-i}\right)}^A\prod _{i=1}^{N_1}{\left(\frac{1}{(\sqrt{a_i}-i)(\sqrt{a_i}+\sqrt{z})}\right)}^{A_i}\hfill \\ \hfill \prod _{j=1}^{N_2}{\left(1-\frac{1}{\Phi \left(z\right)\Phi \left(b_j\right)}\right)}^{B_j}& ={\left(\frac{2i}{\sqrt{z}+i}\right)}^B\prod _{j=1}^{N_2}{\left(\frac{\sqrt{b_j}+\sqrt{z}}{\sqrt{b_j}+i}\right)}^{B_j}\hfill \end{array}$$

Combining these terms in (40) we obtain

$$\begin{array}{cc}\hfill & {\left(\frac{z+1}{4}\right)}^{B-A-C}{\left(1-\Phi \left(z\right)\right)}^{B-A-C}·\mathfrak{F}\left(z\right)\hfill \\ \hfill =& \frac{1}{4^A}\prod _{i=1}^{N_1}{(1+a_i)}^{A_i}{\left(\frac{-2i}{\sqrt{z}-i}\right)}^{B-C-A}{\left(\frac{z+1}{4}\right)}^{B-C}{\left(\frac{-2i}{\sqrt{z}-i}\right)}^A{\left(\frac{2i}{\sqrt{z}+i}\right)}^B\hfill \\ \hfill & ·\prod _{i=1}^{N_1}{\left(\frac{1}{(\sqrt{a_i}-i)(\sqrt{a_i}+\sqrt{z})}\right)}^{A_i}\prod _{j=1}^{N_2}{\left(\frac{\sqrt{b_j}+\sqrt{z}}{\sqrt{b_j}+i}\right)}^{B_j}.\hfill \end{array}$$

Finally, taking into account

$$\begin{array}{cc}\hfill \prod _{i=1}^{N_1}{\left(\frac{\sqrt{a_i}+i}{\sqrt{a_i}+\sqrt{z}}\right)}^{A_i}& =\prod _{i=1}^{N_1}{(1+a_i)}^{A_i}·\prod _{i=1}^{N_1}{\left(\frac{1}{(\sqrt{a_i}-i)(\sqrt{a_i}+\sqrt{z})}\right)}^{A_i}\hfill \\ \hfill {\left(\frac{2i}{\sqrt{z}+i}\right)}^C& =\frac{1}{4^A}{\left(\frac{-2i}{\sqrt{z}-i}\right)}^{B-C-A}{\left(\frac{z+1}{4}\right)}^{B-C}{\left(\frac{-2i}{\sqrt{z}-i}\right)}^A{\left(\frac{2i}{\sqrt{z}+i}\right)}^B\hfill \end{array}$$

we obtain (6) for $d=0$. To prove (6) for $d\ge 1$, use induction in d and the method from the proof of Lemma 4. The proof is complete. □