Abstract
The aim of this paper is to analyze the relation between the Christoffel transformations in the framework of hermitian linear functionals and the associated polynomials of the second kind through of their associated Carathéodory formal power series. In particular, some results are given in the way of characterization of linear spectral transformations using Christoffel and Geronimus transformations. This gives a new example of rational spectral transformation that has not yet been studied in the literature.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(\textbf{u}\) be a complex-valued linear functional defined on the linear space of polynomials \(\mathbb {P}\) with complex coefficients and real variable i.e.
We denote the n-th moment of \(\textbf{u}\) by \(\textbf{u}_n:=\left\langle {\textbf{u},x^n}\right\rangle \), \(n= 0,1,\ldots \). The linear functional \(\textbf{u}\) is said to be quasi-definite (resp. positive-definite) if every leading principal submatrix of the Hankel matrix \(H=(\textbf{u}_{i+j})_{i, j=0}^{\infty }\) is nonsingular (resp. positive-definite) (see [11]). Under these conditions, there exists a sequence of monic polynomials \((P_n)_{n\ge 0}\) satisfying \(\deg {P_n}=n\) and \(\left\langle {\textbf{u},P_n(x)P_m(x)}\right\rangle =K_{n}\delta _{n,m},\) where \(\delta _{n,m}\) is the Kronecker delta and \(K_{n}\ne 0\) (see [11, 15]). The sequence \((P_n)_{n\ge 0}\) is said to be the sequence of monic orthogonal polynomials (SMOP) with respect to \(\textbf{u}\).
Given a quasi-definite linear functional \(\textbf{u}\) and if \((P_n)_{n\ge 0}\) is its corresponding SMOP, then there exist two sequences of complex numbers \(( a_n)_{n\ge 1}\) and \((b_n)_{n\ge 0}\), with \( a_n\ne 0\), such that
Conversely, from Favard’s Theorem (see [11, 15]) if \((P_n)_{n\ge 0}\) is a sequence of monic polynomials generated by a three-term recurrence relation as in (1) with \( a_n\ne 0,\) \(n\ge 1\), then there exists a unique linear functional \(\textbf{u}\) such that \((P_n)_{n\ge 0}\) is its SMOP. Another way to write the recurrence relation (1) is in matrix form. Indeed, if \(\textbf{P}=(P_0,P_1, \cdots )^\top ,\) where \(A^\top \) denotes the transposed of a matrix A, then \(x\textbf{P}=J\textbf{P}\) where J is the semi-infinite matrix
which is known in the literature as a monic Jacobi matrix (see [11, 15]).
Definition 1
Let \((P_n)_{n\ge 0}\) be the SMOP with respect to the linear functional \(\textbf{u}\) satisfying the three-term recurrence relation (1). Then the sequence of associated polynomials of the k-th kind, \((P^{(k)}_n)_{n\ge 0}\), is defined as the sequence of monic polynomials satisfying the recurrence relation
According to Favard’s Theorem, there exists a quasi-definite linear functional \(\textbf{u}^{(k)}\), called the k-th associated transformation of \(\textbf{u}\), such that \((P_n^{(k)})_{n\ge 0}\) is its corresponding SMOP.
The perturbations of quasi-definite functionals have been extensively studied in the literature (see for example [1, 33, 34] and references therein), being of particular importance the canonical transformations of Christoffel and Geronimus (Table 1). These two transformations are also known in the literature as canonical discrete Darboux transformations due to the existing relation between their corresponding Jacobi matrices and LU and UL factorizations [1, 33].
The necessary and sufficient conditions for the quasi-definiteness of the linear functionals \(\widetilde{\textbf{u}}\) and \(\widehat{\textbf{u}}\) appear in [15], among others.
A (general) Christoffel transformation \(\widetilde{\textbf{u}}\) of a linear functional \(\textbf{u}\) is a superposition of canonical Christoffel transformations, i. e., there exists a polynomial p(x) such that \( \widetilde{\textbf{u}}= p(x) \textbf{u}.\) A (general) Geronimus transformation \(\widehat{\textbf{u}}\) of a linear functional \(\textbf{u}\) is a superposition of canonical Geronimus transformations, i.e., there exists a polynomial q(x) such that \(\textbf{u}= q(x) \widehat{\textbf{u}}.\)
Given a quasi-definite linear functional \(\textbf{u}\) with moments \((\textbf{u}_n)_{n\ge 0}\), the formal series
is said to be the Stieltjes function associated with \(\textbf{u}\). Due to the connection between the Stieltjes function and the coefficients of the three-term recurrence relation (1) through of continued fractions, the Stieltjes function is a very useful tool to study properties of quasi-definite linear functionals.
Definition 2
([34]) Let \({\widetilde{\textbf{u}}}\) be a quasi-definite linear functional and \(\widetilde{\textbf{S}}(z)\) its Stieltjes function. \({\widetilde{\textbf{u}}}\) is said to be a rational spectral transform of \(\textbf{u}\) if there exist polynomials A(z), B(z), C(z) and D(z) such that
The above mapping between two linear functionals is said to be a rational spectral transformation. In particular, if \(C(z)\equiv 0,\) then \({\widetilde{\textbf{u}}}\) is a linear spectral transformed of the linear functional \(\textbf{u}.\) In such a case, the mapping between two linear functionals is said to be a linear spectral transformation.
If J is a Jacobi matrix, we can to add k new rows and columns to J. In such a way the original Jacobi matrix is shifted downward. We can remove the first k rows and columns of J, so that the original Jacobi matrix is shifted upward. In both cases, we obtain Jacobi matrices defining new linear functionals. In the first case, the functional obtained is known as the anti-associated functional of order k [30]. In the second case, the functional obtained is the k-th associated functional (see Definition 1). These two transformations are examples of rational spectral transformations. Together with Christoffel and Geronimus transformations they are relevant in the literature due to the following characterizations of linear (resp. rational) spectral transformations given by Zhedanov in [34].
Theorem 1
(Zhedanov, [34]) Every linear spectral transformation is a superposition of the Christoffel and Geronimus transformations.
Theorem 2
(Zhedanov, [34]) Every rational spectral transformation is a superposition of Christoffel, Geronimus, associated, and anti-associated transformations.
Taking into account the above, in [16] and [14], respectively, the following two problems were studied:
Problem 1
(Fig. 1) Let \(\textbf{u}\) be a quasi-definite functional, and let \({\widetilde{\textbf{u}}}=(x-c)\textbf{u}\) and \((x-c){\widehat{\textbf{u}}}=\textbf{u}\) be a canonical Christoffel and Geronimus transformation of \(\textbf{u}\), respectively. Deduce the relations between \(\textbf{u}^{(1)}\) and \({\widetilde{\textbf{u}}}^{(1)}\) (resp. \({\widehat{\textbf{u}}}^{(1)}\)) by using the LU and UL factorization of the monic Jacobi matrix associated with \(\textbf{u}\), as well as explicit algebraic relations between their corresponding SMOPs.
Problem 2
(Fig. 2) Let \(\textbf{u}\) be a quasi-definite functional and let \({\widetilde{\textbf{u}}}=(x-c)\textbf{u}\) and \((x-c){\widehat{\textbf{u}}}=\textbf{u}\) be a canonical Christoffel and Geronimus transformation of \(\textbf{u},\) respectively. What is the relation between \(\widetilde{\textbf{u}}\) and \(\widetilde{\textbf{u}^{(1)}}\) (resp. \(\widehat{\textbf{u}^{(1)}}\))? There, \(\widetilde{\textbf{u}^{(1)}}\) (resp. \(\widehat{\textbf{u}^{(1)}}\)) is the Christoffel transformation (resp. Geronimus) of \(\textbf{u}^{(1)}\).
The aim of this manuscript is to analyze the analog of Problem 1 for Christoffel transformations in the framework of hermitian linear functionals and their corresponding Carathéodory functions (see Definition 7).
Here, we stress that the study of properties of families of orthogonal polynomials with respect to these hermitian linear functionals (and more precisely when they induce inner products) has intensively attracted the interest of researchers in recent years (see [31, 32] and references therein). In particular, perturbations of quasi-definite (and, more specifically, positive-definite) hermitian functionals have been studied widely in the literature (see [2, 3, 5,6,7,8,9,10, 12, 17,18,19,20,21,22], among others) with a special emphasis on the analytic and algebraic properties of the sequences of orthogonal polynomials with respect to perturbed functionals as well as the relation between their corresponding Toeplitz matrices.
Taking into account the goals of this manuscript, the presentation is organized as follows. In Sect. 2, we provide the basic facts about hermitian linear functionals that will be needed in the sequel. In Sect. 3 we describe the most common perturbations of hermitian linear functionals and the relation between their Carathéodory formal power series. In particular, some results are given in the way of characterization of linear spectral transformations using Christoffel and Geronimus transformations. In Sect. 4 we study the analogue of Problem 1 for a Christoffel transformation giving a representation of the new family of orthogonal polynomials as well as an expression for the corresponding Carathéodory formal power series. This result illustrates a new example of rational spectral transformation that has not yet been studied in the literature as far as we know. Finally, in Sect. 5 some concluding remarks are established.
2 Background
Let \(\mathbb {D}=\{z\in \mathbb {C}:\,|z|<1\}\) and \(\partial \mathbb {D}=\{z\in \mathbb {C}:\,|z|=1\}\) denote the open disk on the complex plane and the unit circle, respectively. Let \(\mathbb {L}={\text {span}}\{z^k\}_{k\in \mathbb {Z}}\) be the linear space of Laurent polynomials with complex coefficients. For \(f(z)=\sum a_kz^k\in \mathbb {L}\) we define \(f_*(z)=\overline{f}(z^{-1})\), where we understand by \(\overline{f}(z)=\sum \overline{a_k}z^k\) and for \(p\in \mathbb {P}_n\setminus \mathbb {P}_{n-1},\) we define the reverse polynomial of p as \(p^*(z)=z^np_*(z).\)
Definition 3
A polynomial p(z) is said to be palindromic if \(p(z)= p^*(z) \) and antipalindromic if \(p(z)=- p^*(z) \).
The polynomial p(z) will be called self-reciprocal if it is either palindromic or antipalindromic. From the above definition, if \(p(z)=\sum _{k=0}^m a_kz^k\) is a self-reciprocal polynomial and \(z_0\) is a zero of p(z), then \(1/\overline{z_0}\) is also a zero of p(z). In addition, the coefficients are related by \(a_k= \overline{a}_{m-k}\), \(k=0,\ldots ,m\) if p is palindromic and \(a_k=- \overline{a}_{m-k}\), \(k=0,\ldots ,m\) if p is antipalindromic.
Let L(z) be a Laurent polynomial such that \(L(z)=L_*(z)\) (resp. \(L(z)=-L_*(z)\)), then L(z) is said to be hermitian (resp. anti-hermitian). In this case there exists a polynomial \(r\in \mathbb {P}\) such that \(L=r+r_*\) (resp. \(L=r-r_*\)). We will refer to \(\deg r\) as the degree of L. Another characterization of a hermitian (resp. anti-hermitian) polynomial is the following: If \(A(z)=z^{\deg r}L(z)\) with A(z) a polynomial of \(\deg A=2\deg r\), then L is hermitian (resp. anti-hermitian) if and only if A is palindromic (resp. antipalindromic). As a consequence of the properties of the zeros of self-reciprocal polynomials, we have the following result.
Proposition 1
If L is a hermitian polynomial (resp. anti-hermitian) of degree \(\deg r\), then there exists \(L_1,\ldots , L_{\deg r}\) hermitian (resp. anti-hermitian) Laurent polynomials, each one of degree one such that
Let \(\mathscr {L}\) be a linear functional defined on \(\mathbb {L}\). Denote by \(\mathcal {B}_{\mathscr {L}} (p(z), q(z)):= \mathscr {L}(p(z) \overline{q}(1/z))\) a sesquilinear form with \(p, q \in \mathbb {P}\).
Definition 4
Consider the matrix \(T = (c_{i-j})_{i,j=0}^\infty \), where \(c_{i-j}:=\mathscr {L}(z^{i-j})=\mathcal {B}_\mathscr {L}(z^i, z^j ) \), and let \(T_n\) be the leading principal submatrix of order n. Then
-
(i)
If \(c_{i-j} = \overline{c_{j-i}}\), \(\mathcal {B}_{\mathscr {L}}\) is said to be hermitian sesquilinear form and \(\mathscr {L}\) is said to be a hermitian linear functional in \(\mathbb {P}\).
-
(ii)
Taking into account that the function \(\Phi (p)=:\mathcal {B}_{\mathscr {L}}(p,p)\) is a quadratic form, \(\mathcal {B}_\mathscr {L}\) is said to be quasi-definite if \(\Phi (p)\ne 0\) for all \(p\in \mathbb {P}\). The above is equivalent to \(\det T_n \ne 0\), for every non-negative integer n.
-
(iii)
If \(\mathcal {B}_\mathscr {L}(p, p)>0\), for every \(p \in \mathbb {P}\), \(p(z) \ne 0\), or, equivalently, \(\det T_n >0\), for every non-negative integer n, then \(\mathcal {B}_\mathscr {L}\) is said to be positive-definite.
Observe that if \(\mathscr {L}\) is hermitian, then \(\mathcal {B}_\mathscr {L}(p, q)=\overline{\mathcal {B}_\mathscr {L}(q,p)}\) for all \(p,q\in \mathbb {P}.\) If \(\mathcal {B}_{\mathscr {L}}\) is a quasi-definite hermitian sesquilinear form, then there exists a sequence of monic polynomials, \((P_n)_{n\ge 0}\), orthogonal with respect to \(\mathcal {B}_{\mathscr {L}}\), i.e., \(\deg P_n = n\) and \(\mathcal {B}_{\mathscr {L}} (P_k, P_n) = \textbf{k}_n\delta _{n,k}\), \(\textbf{k}_n \ne 0\), for all \( n\in \mathbb {N},\) where \(\delta _{k,n}\) is the Kronecker delta (see [28]).
Theorem 3
(Szegő Recursion) If \(\mathcal {B}_{\mathscr {L}}\) is a quasi-definite hermitian sesquilinear form, then its corresponding sequence of monic orthogonal polynomials \((P_n)_{n\ge 0}\) satisfies the recurrence relations (see [28])
Remark 1
The values \((P_n(0))_{n\ge 1}\) are known in the literature as Verblunsky coefficients.
As a consequence of Theorem 3
and
The reverse polynomials satisfy a property of orthogonality that can be summarized as follows (see [31]). If \(P_n\) is orthogonal to \(\{1,z,\ldots , z^{n-1}\}\) with respect to \(\mathcal {B}_{\mathscr {L}}\) and \(\mathcal {B}_{\mathscr {L}}(P_n(z),z^n)=\textbf{k}_n\ne 0\), then \(P^*_n(z)\) is orthogonal with respect to \(\mathcal {B}_{\mathscr {L}}\) to \(\{z,z^2\ldots ,z^n\}\), i. e., to \(z\mathbb {P}_{n-1}\) and
Theorem 4
(Verblunsky’s Theorem [13]) Assume \((\alpha _n)_{n=1}^\infty \) is a sequence of complex numbers such that \(|\alpha _n|\ne 1\) for \(n = 1, 2,\ldots \). Suppose that a polynomial sequence \((P_n))_{n\ge 0}\) satisfies the Szegő recursion
Then there exists a unique quasi-definite and hermitian functional \(\mathscr {L}\) such that \((P_n)_{n\ge 0}\) is orthogonal with respect \(\mathcal {B}_{\mathscr {L}}.\) Moreover, if \(|\alpha _n|<1\) for \(n = 1, 2,\ldots ,\) then the hermitian functional \(\mathscr {L}\) is positive-definite and there exists a unique non-trivial probability measure \(\mu \) supported on \(\partial \mathbb {D}\) such that \((P_n)_{n\ge 0}\) is orthogonal with respect to \(\mu \).
The multiplication operator with respect to \((P_n(z))_{n\ge 0}\) is represented in a matrix form by
where \(\textbf{P}(z) = [P_0(z), P_1(z)\cdots , P_n(z),\cdots ]^\top \) and \({{\textbf{H}}_P}\) is a lower Hessenberg matrix whose entries are
Moreover, \(\mathbf {H_P}\mathbf {D_P}\mathbf {H_P}^*=\mathbf {D_P},\) where \(\mathbf {D_P}={\text {diag}}(\textbf{k}_0,\textbf{k}_1,\ldots )\).
Definition 5
Let \(\mathcal {B}_{\mathscr {L}}\) be a quasi-definite hermitian sesquilinear form. If \((P_n(z))_{n\ge 0}\) is its sequence of monic orthogonal polynomials, then we define the n-th kernel polynomial as
where \(\textbf{k}_j=\mathcal {B}_{\mathscr {L}}(P_j,P_j).\)
The Kernel polynomials satisfy the following properties
Proposition 2
([31]) If \(K_n(z,y)\) is the n-th Kernel polynomial associated with \((P_n(z))_{n\ge 0}\), then
-
(i)
Christoffel–Darboux formula
$$\begin{aligned} K_{n}(z,y)=\dfrac{\overline{P^*_{n+1}(y)}P^*_{n+1}(z) -\overline{P_{n+1}(y)}P_{n+1}(z)}{\textbf{k}_{n+1}(1-z\overline{y})},\quad n\ge 0. \end{aligned}$$(5) -
(ii)
In particular, if \(|y|=1\) then
$$\begin{aligned} K_{n}(y,y)=\dfrac{\overline{P_{n+1}(y)}(P_{n+1})^\prime (y)-\overline{P^*_{n+1}(y)} (P^*_{n+1})^\prime (y)}{\textbf{k}_{n+1}},\quad n\ge 0. \end{aligned}$$ -
(iii)
Reproducing property. For every polynomial q with \(\deg q\le n\)
$$\begin{aligned} \mathcal {B}_{\mathscr {L}}(K_n(z,\alpha ),q(z))=\overline{q(\alpha )} \quad \text {and} \quad \mathcal {B}_{\mathscr {L}}(q(z),K_n(z,\alpha ))=q(\alpha ). \end{aligned}$$
For an arbitrary polynomial p(z), \(\deg p=n,\) and \(\mathscr {L}\) a hermitian linear functional, the polynomial of degree n defined by
is said to be the associated polynomial of second kind of p(z) with respect to \(\mathscr {L}\). In particular, it is well known that the associated polynomials of the second kind denoted by \((Q_n)_{n\ge 0}\) corresponding to the orthogonal family \((P_n)_{n\ge 0}\) satisfy the following recurrence relations (see [28])
i.e., they satisfy the same recurrence relation as the family \((P_n)_{n\ge 0}\) (2) with \(P_{n+1}(0)\) replaced by \(-P_{n+1}(0)\). Furthermore, an important relation between \(P_n(z)\) and \(Q_n(z)\) can be found in [23, 28]
Proposition 3
(Mixed Christoffel–Darboux formula) Let \((P_n)_{n\ge 0}\) be the monic orthogonal polynomials with respect to \(\mathcal {B}_{\mathscr {L}}\) and \((Q_n)_{n\ge 0}\) the family of its associated polynomials of second kind. If we define
then
Proof
From (2), (4), (6), (7) and (3) we get
and taking into account the initial conditions \(P_0(y)=Q_{0}(z)=1,\) we get the result. \(\square \)
Let \(\mathscr {L}\) be a hermitian linear functional and \(\mathcal {B}_\mathscr {L}\) its corresponding sesquilinear form. If \(\mathcal {B}_\mathscr {L}\) is quasi-definite, then we introduce the formal power series
where \(c_{-n}=\mathscr {L}(z^{-n}).\) If \(\mathcal {B}_\mathscr {L}\) is positive-definite, then \(\textbf{F}\) is said to be the Carathéodory function associated with \(\mathscr {L}\). In such a case, \(\textbf{F}(z)\) is an analytic function in \(\mathbb {D}\) and \(\mathfrak {Re}(\textbf{F})>0\) [29, 31]. Moreover,
Theorem 5
([29, Lemma 2.1]) Let \(\textbf{F}\) be analytic in \(|z|< 1\) and suppose that \(\textbf{F}\) has simple poles at \(z_k\in \mathbb {D}\), \(k=1,\ldots ,n\) with \(\lim _{z\rightarrow z_k}F(z)(z-z_k)=\gamma _k\) and \(\gamma _k/z_k\in \mathbb {R}.\) Furthermore, assume that the non-tangential boundary values \(\lim _{z\rightarrow e^{i\varphi }} \mathfrak {Re}(F(z)-\sum _{k=1}^n\gamma _k/(z-z_k))\) exist a.e. on \([0,2\pi ]\) and are \(L_p\)-integrable on \([0,2\pi ]\), where \(p\in (1,\infty ).\) Then
with
where
and \(\delta (\cdot -z_k)\) denotes the Dirac delta at \(z_k\).
As a natural extension, we call to \(\textbf{F}\) Carathéodory formal power series when the linear functional is quasi-definite.
Definition 6
(Jones, Njåstad, Thron [25]) Let \(\{\delta _n\}_{n\ge 0}\) be a sequence of complex numbers such that \(\delta _0\ne 0\) and \(|\delta _n|\ne 1\) for all \(n=1,2\ldots \). Then the hermitian Perron–Carathéodory continued fraction (HPC-fraction) is defined by
If we denote by \(B_n\) the numerator and \(A_n\) the denominator polynomials of the HPC fractions which are defined by the difference equations
and
then \(C_n=B_n/A_n.\) is the n-th approximant of the HPC-fraction. Moreover, given a HPC-fraction as in (9) there exists a pair \((L_0, L_\infty )\) of formal power series
such that \(B_{2n}/A_{2n}\), and \(B_{2n+1}/A_{2n+1}\), are the weak (n, n) two-point Padé approximants for \((L_0, L_\infty )\) of orders \((n + 1, n)\) and \((n, n + 1)\), respectively, where for n, r, t non-negative integers and B and A polynomials of degree at most n, B/A is called the weak (n, n) two-point Padé approximant of order (r, t) for \((L_0, L_{\infty })\) if (see [24, 26])
In particular, if for a quasi-definite hermitian linear functional \(\mathscr {L}\) with monic orthogonal polynomials \((P_n)_{n\ge 0}\) and associated second kind polynomials \((Q_n)_{n\ge 0},\) we take \(\delta _0=c_0=1\) and \(\delta _n=P_n(0),\) \(n\ge 1\) in (9), then the numerator and denominator polynomials defined by (10), (11), (12) and (13) are (see [25])
Moreover, if \(\textbf{F}(z)\) is the Carathéodory formal power series for \(\mathscr {L},\) then when \(z\rightarrow 0\) (see [28, Theorem 2.1.(a)]) we get
-
(i)
\(P_{n}(z)\textbf{F}(z)+Q_n(z)=\mathcal {O}(z^{n}),\)
-
(ii)
\(P^*_{n}(z)\textbf{F}(z)-Q^*_n(z)=\mathcal {O}(z^{n+1}).\)
When \(\mathscr {L}\) is positive-definite we have that
uniformly on compact subsets of \(\mathbb {D}\) (see [25, 29, 31]).
We conclude this section by stating the following important result.
Theorem 6
(Peherstorfer [29]) Let \((P_n)_{n\ge 0}\) be a sequence of orthogonal polynomials with respect to a positive definite linear functional with Carathéodory formal power series, \(\textbf{F}\). Furthermore, let A, B, C, D be self-reciprocal polynomials of exact degree \(\mu \) which satisfy the following conditions
and
The following statements hold for \(n=0,1,2\ldots \)
-
(a)
$$\begin{aligned} {\widetilde{P}}_{n+\mu -\lambda }(z)=\dfrac{A(z)P_{n+\lambda }(z)+B(z)Q_{n+\lambda }(z)}{z^\lambda } \end{aligned}$$
and
$$\begin{aligned} {\widetilde{Q}}_{n+\mu -\lambda }(z)=\dfrac{D(z)Q_{n+\lambda }(z)+C(z)P_{n+\lambda }(z)}{z^\lambda } \end{aligned}$$are both polynomials of exact degree \(n+\mu -\lambda \) with leading coefficient independent of n.
-
(b)
The polynomial \({\widetilde{P}}_{n+\mu -\lambda }(z)\) is orthogonal with respect to a hermitian linear functional with Carathéodory function, given by
$$\begin{aligned} \widetilde{\textbf{F}}(z)=\dfrac{-C(z)+D(z)\textbf{F}(z)}{A(z)-B(z)\textbf{F}(z)}. \end{aligned}$$(16) -
(c)
The polynomials \({\widetilde{P}}_{n+\mu -\lambda }(z)\) satisfy the recurrence relation
$$\begin{aligned} {\widetilde{P}}_{n+\mu -\lambda +1}(z)=z{\widetilde{P}}_{n+\mu -\lambda }(z)+b_{n+\mu -\lambda } ({\widetilde{P}}_{n+\mu -\lambda })^*(z) \end{aligned}$$with
$$\begin{aligned} b_{n+\mu -\lambda }={\widetilde{P}}_{n+\mu -\lambda +1}(0)=\dfrac{A^*(0)}{A(0)}P_{n+\lambda +1}(0),\quad n\ge 0. \end{aligned}$$(17)
Remark 2
It is necessary to clarify that in [28] the authors assume that the series \(\textbf{F}(z)\) defined in (8) converges on \(|z|<\rho \) for some \(\rho >0\). They used this to provide the expression
However, the proof of [28, Theorem 2.1 (a)] only uses the fact that \(\textbf{F}(z)\) is a (formal) series. This is important because since the proof of [29, Theorem 2.2 (a)-(c)] (Theorem 6 in this document) is fully supported on [28, Theorem 2.1 (a)], the result is still valid when \(\textbf{F}(z)\) is taken as a formal series.
3 Perturbation of hermitian functionals
In this Section we will summarize the most important perturbations of hermitian linear functionals as well as of Carathéodory formal power series. With this in mind, we first provide the following definition. Hereinafter, if \(\mathcal {B}_{\mathscr {L}}\) is quasi-definite, then we will assume without loss of generality that \(c_0=1.\)
Definition 7
Let \(\textbf{F}(z)\) be a Carathéodory formal power series, A Carathéodory formal power series \({\widetilde{\textbf{F}}}(z)\) is said to be a rational spectral transformation of \(\textbf{F}(z)\) if
where a(z), b(z), c(z) and d(z) are polynomials such that \(a(z)c(z)-b(z)d(z)\ne 0\). In particular, if \(d(z)=0,\) \({\widetilde{\textbf{F}}}(z)\) is said to be a linear spectral transformation of \(\textbf{F}(z)\).
First, we point out some illustrative examples of linear spectral transformations that can be found in the literature.
3.1 Linear spectral transformations
3.1.1 Perturbation of the Toeplitz matrix
Let \(\mathscr {L}\) be a hermitian linear functional with moments \((c_n)_{n\in \mathbb {Z}}\) and Carathéodory formal power series \(\textbf{F}(z)\). Consider a new hermitian functional \({\widehat{\mathscr {L}}}\) with moments \(({\widehat{c}}_n)_{n\in \mathbb {Z}}\) defined from a perturbation of the moments of \(\mathscr {L}\) as follows: For \(s,t\in \mathbb {N}\) with \(s<t\) and fixed complex numbers \(m_j,\) \(j=s,\ldots ,t\), let
and \({\widehat{c}}_k=c_k,\) otherwise. These transformations were studied in [8] providing conditions for the quasi-definite character of \({\widehat{\mathscr {L}}}\) as well as the characterization of orthogonal polynomials associated with the corresponding sesquilinear form. Notice that if \({\widehat{\textbf{F}}}\) is the Carathéodory formal power series corresponding to \({\widehat{\mathscr {L}}}\), then it can be written as a linear transformation of \(\textbf{F}\)
This is the simplest linear spectral transformation.
3.1.2 Christoffel transformation
Let \(\mathscr {L}\) be a hermitian linear functional and \(\mathcal {B}_{\mathscr {L}}\) its associated sesquilinear form. Consider the perturbation of \(\mathcal {B}_{\mathscr {L}}\) defined by
Taking into account that \(\mathcal {B}_1\) is non-hermitian, under certain conditions there exist two sequences of monic polynomials \((L_n)_{n\ge 0},\) \((R_n)_{n\ge 0}\) biorthogonal with respect to \(\mathcal {B}_1,\) i.e., for all \(n\ge 0,\) \(\deg L_n(z)=\deg R_n(z)=n\) and
In this case, \(L_n(z)\) (resp. \(R_n(z)\)) is said to be left (resp. right) orthogonal with respect to \(\mathcal {B}_1\).
Theorem 7
([12]) Suppose that \(P_n(\alpha )\ne 0\) for every \(n\ge 1\). Then
-
(i)
The sequence
$$\begin{aligned} R_n(z)= \dfrac{1}{(z-\alpha )}\left( P_{n+1}(z)-\dfrac{P_{n+1}(\alpha )}{P_{n}(\alpha )}P_{n}(z)\right) \end{aligned}$$is right orthogonal with respect to \(\mathcal {B}_1\). Besides \(\mathcal {B}_1(z^n,R_n)=-\dfrac{\overline{P_{n+1}(\alpha )}}{\overline{P_{n}(\alpha )}}\textbf{k}_n.\)
-
(ii)
The sequence
$$\begin{aligned} L_n(z) = \dfrac{\textbf{k}_n}{\overline{P_{n}(\alpha )}}K_n(z,\alpha ) \end{aligned}$$(19)is left orthogonal with respect \(\mathcal {B}_1\). In addition, \(\mathcal {B}_1(L_n(z),z^n)=-\dfrac{\overline{P_{n+1}(\alpha )}}{\overline{P_{n}(\alpha )}}\textbf{k}_n.\)
Theorem 8
Let \(L^{(1)}_n(z)\) be the polynomial of degree n defined by
Then
Proof
If \(\mathscr {L}\) is the linear functional associated with \(\mathcal {B}\), then
On the other hand, for \(n\ge 1\)
In a similar way we get
Thus, from (21), (22) and (23)
\(\square \)
Now let us consider the sesquilinear form \(\mathcal {B}_2\) such that
Taking into account that \(\mathcal {B}_{\mathscr {L}}\) is hermitian, it is not difficult to check that \(\mathcal {B}_2 \) is also hermitian. Moreover,
Theorem 9
([12]) The sesquilinear functional \(\mathcal {B}_2\) is quasi-definite if and only if \(K_n(\alpha ,\alpha )\ne 0\), for every \(n\ge 0\).
Assume that \(K_n(\alpha ,\alpha )\ne 0\), for every \(n\ge 0\) and let \(({\widetilde{P}}_n)_{n\ge 0}\) be the sequence of monic orthogonal polynomials with respect to \(\mathcal {B}_2\). Since
then we have the following connection formula.
Proposition 4
Let \((P_n)_{n\ge 0}\), \(({\widetilde{P}}_n)_{n\ge 0}\) and \((L_n)_{n\ge 0}\) be the sequences of (left) orthogonal polynomials with respect to \(\mathcal {B}_{\mathscr {L}}\), \(\mathcal {B}_2\) and \(\mathcal {B}_1\), respectively. Then
Proof
The proof of (25) can be found in [12]. To prove (26) notice that the polynomials \((L_k(z))_{k=0}^{n+1}\) constitute a basis of \(\mathbb {P}_{n+1}.\) Thus, there exist complex coefficients \((\alpha _{n,k})_{k=0}^n\) such that
The above yields
Taking into account the orthogonality relations, we obtain the result. \(\square \)
Corollary 1
The Verblunsky coefficients of the original and perturbed sesquilinear form \(\mathcal {B}_{\mathscr {L}}\) and \(\mathcal {B}_2,\) respectively, are related by
Let \(\widetilde{\textbf{F}}(z)\) be the Carathéodory formal power series associated with \(\mathcal {B}_2\) (Christoffel transformation). From the definition, it is not difficult to check that
where
Observe that \({\widetilde{\textbf{F}}}(z)=L(z)\textbf{F}(z)+R(z),\) where \(L(z)=a(z)/d(z)\) and \(R(z)=b(z)/d(z)\) are hermitian and anti-hermitian Laurent polynomials, respectively.
Theorem 10
Let \(\textbf{F}(z)\) be the Carathéodory formal power series (8) associated with a hermitian linear functional. Let
Then every \({\widetilde{\textbf{F}}}(z)\in \Omega _1\cap \Omega _2\) can be written as a superposition of Christoffel transformations.
Proof
Suppose first that
with \(R(z)=\lambda z+d-\overline{\lambda }/z,\) \(\mathfrak {Re}(d)=0,\) an anti-hermitian polynomial of degree one. Since \({\widetilde{\textbf{F}}}(z)\in \Omega _2\), then it can be written as
where \(\mu _n,\) \(n=0,1,\ldots \) are the moments of a linear functional satisfying \(\overline{\mu }_{-n}={\mu }_{n}\). In order to preserve the hermitian structure of the linear functional associated with \({\widetilde{\textbf{F}}}\), L(z) should be a Laurent polynomial of degree one. With this in mind, let us assume that \(L(z)=a_1z+\gamma +a_2/z\) and from (29)
thus
-
(i)
\(a_2-\overline{\lambda }=0\).
-
(ii)
\(\mu _0=\gamma +2a_2c_{-1}+d\in \mathbb {R}\).
-
(iii)
\(\mu _{-1}=\gamma c_{-1}+a_2c_{-2}+\dfrac{a_1+\lambda }{2}\).
-
(iv)
For \(k\ge 2,\) \(\mu _{-k}=a_1c_{-(k-1)}+\gamma c_{-k}+a_2c_{-(k+1)}\).
From (i) \(a_2=\overline{\lambda }\). Now, for all \(k\in \mathbb {Z}\setminus \{0,\pm 1\},\) define
We want \(\mu _k=\widetilde{\mu }_k\), for \(k=\pm 2,\pm 3\cdots \). It is clear from (iv) that for \(k\le -2\), \(\mu _k= \widetilde{\mu }_k\). Now taking into account that by hypothesis \(\mu _k=\overline{\mu }_{-k}=\overline{a_{1}}c_{k-1}+\overline{\gamma }c_k+\overline{a_{2}}c_{k+1}\), then \(\mu _k=\widetilde{\mu }_k\) for \(k\ge 2\) if and only if \(\gamma \in \mathbb {R}\) and \(a_1=\overline{a}_2={\lambda }\). Therefore, if (29) holds, then
which is a hermitian polynomial of degree one. Observe that condition (ii) implies \(d=-2\mathfrak {Im}(\overline{\lambda }c_{-1})i\). Thus \({\widetilde{\textbf{F}}}(z)\) coincides with a Christoffel transformation of \(\textbf{F}(z).\) In general, if \({\widetilde{\textbf{F}}}(z)=L(z)\textbf{F}(z)+R(z) \in \Omega _1\cap \Omega _2\) with \(\deg (R)=m,\) then from Proposition 1 we can factorize the polynomial \(R=R_1\cdots R_m,\) where the polynomials \(R_k,\) \(k=1,\ldots , m,\) are anti-hermitian polynomials of degree one. Thus, iterating the above procedure, we get the result. \(\square \)
3.1.3 Geronimus transformation
Consider now the inverse problem of the previous section. More precisely, given a hermitian sesquilinear form \(\mathcal {B}_{\mathscr {L}}\) defined from a hermitian linear functional \(\mathscr {L}\), we seek a hermitian sesquilinear form \(\widehat{\mathcal {B}_2}\) also defined from a hermitian linear functional \(\widehat{\mathscr {L}_2}\) and such that
Let us consider the Laurent polynomial \(L(z)=(z-\alpha )(1/z-\overline{\alpha }),\) with \(\alpha \ne 0\), \(\alpha \in \mathbb {C}\setminus {\partial \mathbb {D}}.\) Then (30) can be rewritten as
As a consequence \(\widehat{\mathscr {L}_2}\) (resp. \(\widehat{\mathcal {B}}_2\)) is not unique, Furthermore, if \(({\hat{c}}_{n})_{n\in \mathbb {Z}}\) are the moments of \(\widehat{\mathscr {L}_2},\) then
and therefore \(1=(1+|\alpha |)^2){\hat{c}}_{0}-2\,\mathfrak {Re}(\alpha \overline{{\hat{c}}_{1}}).\) This implies that \(\widehat{\mathscr {L}_2}\) is completely defined up to the values of \({\hat{c}}_{0}\in \mathbb {R}\) and \({\hat{c}}_{1}\in \mathbb {C}\). Moreover, if \(\widehat{\mathcal {B}}_0 \) is a particular solution of (30), then every solution can be written as
In [4] it was shown that every sequence of orthogonal polynomials \(({\widehat{P}}_{n})_{n\ge 0}\) with respect to \(\widehat{\mathcal {B}}_2,\) that is a solution of (30), can be written as
where \(x_n,y_n\in \mathbb {C}\) satisfy
Taking \({\widehat{P}}_{1}(0)\) and \(x_0\) as free parameters, an algorithm can be provided to construct the family \(({\widehat{P}}_{n})_{n\ge 0}\) (see [4, Subsection 3.2.1])
Let \(\widehat{\textbf{F}}(z)\) be the Carathéodory formal power series associated with \(\widehat{\mathcal {B}_2}\). Then from (31) (see [27]) we get
Thus \(\widehat{\textbf{F}}(z)\) is a linear spectral transformation of \(\textbf{F}(z)\)
where
After some algebraic manipulations on (32), we get
Corollary 2
Let \(\textbf{F}(z)\) be a Carathéodory formal power series corresponding to a hermitian linear functional. Let \({\widehat{\textbf{F}}}_{\alpha }(z)\) and \({\widehat{\textbf{F}}}_{\alpha ,M}(z)\) be the Carathéodory formal power series corresponding to the Christoffel (27) and Geronimus (32) transformation, respectively, with parameter \(\alpha \). Then
-
(i)
\({\widehat{\textbf{F}}}_{\alpha }(z)\circ {\widehat{\textbf{F}}}_{\alpha ,M}(z)=\textbf{F}(z)\) (Identity transformation).
-
(ii)
\({\widehat{\textbf{F}}}_{\alpha ,M}(z)\circ {\widetilde{\textbf{F}}}_{\alpha }(z)=\textbf{F}(z)+\dfrac{R(z)}{L(z)}.\) This transformation is known in the literature as Uvarov transformation (see [27]).
Theorem 11
Let \(\textbf{F}(z)\) be the Carathéodory formal power series (8) associated with a hermitian linear functional. Let
Then every \({\widetilde{\textbf{F}}}(z)\in \Omega _1\cap \Omega _3\) can be written as a superposition of Christoffel and Geronimus transformations.
Proof
Let
with \(L,\,W,\) hermitian polynomials, R anti-hermitian polynomial and such that \({\widetilde{\textbf{F}}}(z)\in \Omega _1.\) Suppose that \(\deg (W)=m.\) Then from Proposition 1, \(W=W_1\cdots W_m,\) where each \(W_k\), \( k=1,\ldots , m, \) is a hermitian polynomial of degree one. Applying a Christoffel transformation (27) to \({\widetilde{\textbf{F}}}(z)\) with \(a(z)=zW_1(z)\) we get
where \(R_1\) is an anti-hermitian polynomial. Since the Christoffel transformation preserves the structure of Carathéodory formal power series, then \({\widetilde{\textbf{F}}}_1(z)\in \Omega _1\). Iterating the above process for each polynomial \(W_k\), \(k=2,\ldots , m,\)
where \(R_{m-1}(z)\) is an anti-hermitian polynomial. But the transformation (34) is reduced to the case already considered in Theorem 10. Hence, \({\widetilde{\textbf{F}}}_{m-1}(z)\) is obtained from \(\textbf{F}(z)\) by means of a composition of Christoffel transformations. On the other hand, the function \({\widetilde{\textbf{F}}}(z)\), by construction, is obtained from \({\widetilde{\textbf{F}}}_{m-1}(z)\) by means of a composition of Geronimus transformations taking into account the fact that a canonical Geronimus transformation is the right inverse of a canonical Christoffel transformation (Corollary 2 (i)). Thus, \(\widetilde{\textbf{F}}(z)\) is obtained from \(\textbf{F}(z)\) by means of a composition of Christoffel and Geronimus transformation. \(\square \)
3.2 Rational spectral transformations
3.2.1 Aleksandrov transformations
Definition 8
([31]) If \(\lambda \) is a complex number such that \(|\lambda |=1\) and \(\textbf{F}(z)\) is a Carathéodory formal power series, then the Aleksandrov transformation of \(\textbf{F}(z)\) is defined by
This is an example of rational spectral transformation.
Theorem 12
([31]) Let \(\mathscr {L}\) be a quasi-definite hermitian functional with Carathéodory formal power series \(\textbf{F}(z)\) and let \((P_n)_{n\ge 0}\) be the corresponding sequence of monic orthogonal polynomials. Then, for \(\lambda \in \mathbb {C}\) such that \(|\lambda |=1\), there exists a sequence of monic orthogonal polynomials \((P^{\lambda }_n)_{n\ge 0}\) associated with the Aleksandrov transformation satisfying the recurrence relation
Moreover
where \(Q_n(z)\) is the associated polynomial of second kind of \(P_n(z).\)
Theorem 13
([28]) Let \((P_n)_{n\ge 0}\) be the monic orthogonal polynomials with respect to \(\mathcal {B}_{\mathscr {L}}\), with Carathéodory formal power series \(\textbf{F}(z)\). If \((Q_n)_{n\ge 0}\) is the family of the second kind polynomials, then the Carathéodory formal power series \(\textbf{F}_{Q}(z)\) associated with the polynomials \((Q_n)_{n\ge 0}\) is
Note that the result is a direct consequence of the Aleksandrov transformation with \(\lambda =-1.\)
3.2.2 Associated and anti-associated polynomials
Definition 9
Suppose that \((P_{n})_{n\ge 0}\) satisfies the recurrence relation (2). Then for \(n\ge 0\) we define the associated polynomials of order N \((P^{(N)}_{n})_{n\ge 0}\) which are generated by
If \((Q^{(N)}_{n})_{n\ge 0}\) is the sequence of associated polynomials of second kind corresponding to \((P^{(N)}_{n}(z))_{n\ge 0}\), as natural extension of [29], we get
Moreover, the Carathéodory formal series \(\textbf{F}^{(N)}\) associated with \((P^{(N)}_{n})_{n\ge 0}\), can be expressed as a rational spectral transformation of \(\textbf{F}\) as follows
Definition 10
Suppose that \((P_{n})_{n\ge 0}\) satisfies the recurrence relation (2) and let \(\alpha _i\), \(i=0,\ldots ,N-1,\) be complex numbers such that \(|\alpha _i|\ne 1\). Then for \(n\ge 0\) we define the anti-associated polynomials \((P^{(-N)}_{n}(z))_{n\ge 0}\) of order N which are generated by
where
Notice that this transformation is not unique since it depends on the choice of \(\alpha _{n}\), \(n=0,\ldots , N-1.\)
Proposition 5
Let M(z) be the polynomial defined by
and R(z) its associated polynomial of second kind. Then
Furthermore, in the positive definite case we get
Proof
If in Theorem 6 we take
then A, B, C, D are self-reciprocal polynomials of degree N satisfying (14) and (15). Moreover \(A(z)-B(z)\textbf{F}(z)=\mathcal {O}(z^0)\). Thus taking \(\mu =N,\) \(\lambda =0\) in Theorem 6 we have that the polynomial \(\widetilde{P}_{N+k}(z)=A(z)P_k(z)+B(z)Q_k(z)\) is a polynomial of degree \(N+k.\) Notice that, in particular,
Together with (17) this implies that \(P_{n+N}^{(-N)}(z)={\widetilde{P}}_{N+n}(z)\) for all \(n=1,2\ldots ,\) and (36) is proved. The proof of (37) is made in a similar way. Finally, (38) is a straightforward consequence of (16). \(\square \)
In the positive definite case the following result holds.
Theorem 14
(Peherstofer [29]) Let \(\textbf{F}(z)\) be a Carathéodory formal series and suppose that the self-reciprocal polynomials A, B, C and D satisfy (14), (15) and (16) with \(\lambda = 0\). Furthermore, assume that \(\mathfrak {Re}(-A(0)/B(0))> 0 \) as well as \(\gamma =(A(0)-B(0))/(D(0)- C(0))\). Then
is a Carathéodory function if and only if all zeros of A(z) and B(z) lie on \(\partial \mathbb {D}\), are simple and interlace.
4 Second kind polynomials and spectral transformations
In this section we will study a new rational spectral transformation involving a perturbation of hermitian linear functionals and second-kind polynomials.
Problem 3
(Fig. 3) Let \(\mathscr {L}\) be a quasi-definite hermitian functional with associated sesquilinear form \(\mathcal {B}_{\mathscr {L}}\). Let \(\mathcal {B}_2(p,q)=\mathcal {B}_{\mathscr {L}}((z-\alpha )p,(z-\alpha )q), \alpha \ne 0,\) be a Christoffel transformation of \(\mathcal {B}_{\mathscr {L}}\), \(\mathcal {H}(\cdot ,\cdot )\) the sesquilinear form such that the sequence of polynomials of second-kind \((Q_{n})_{n\ge 0}\) is the corresponding sequence of orthogonal polynomials. We will denote by \((Q_{n}^{[c]})_{n\ge 0}\) the sequence of monic polynomials of the second kind with respect to \(\mathcal {B}_2\) which are orthogonal with respect to the sesquilinear form \(\mathcal {C}(\cdot ,\cdot )\). What is the relation between \(\mathcal {C}\) and \(\mathcal {H}\) (or equivalently, between their Carathéodory formal power series)? What is the relation between their orthogonal polynomials?
To deal with the above problem, we state the following proposition.
Proposition 6
Let \((Q^{[c]}_n)_{n\ge 0}\) be the second kind polynomials associated with \((\widetilde{ P}_n)_{n\ge 0}.\) Then
where \(W_n(z)=r(z)L^{(1)}_n(z)-q(z)L_{n}(z),\)
and \(L_n(z)\) and \(L^{(1)}_n(z)\) are defined in (19) and (20), respectively.
Proof
From (26), we have
On the other hand, the left-hand side of the previous expression is
This yields
Multiplying both sides of the above equation by \((z-\alpha )\) and taking into account (26), the statement follows. \(\square \)
Theorem 15
Let define
Then,
-
(i)
The polynomial
$$\begin{aligned} \mathcal {R}_{n+1}(z)=\dfrac{A(z)P_{n+1}(z)+B(z)Q_{n+1}(z)}{z},\quad n\ge 0, \end{aligned}$$has exact degree \(n+1\) and its leading coefficient is \(B_2(1,1)\).
-
(ii)
The reverse polynomial of \(\mathcal {R}_{n+1}(z)\) can be written as
$$\begin{aligned} \mathcal {R}^*_{n+1}(z)=\dfrac{-A(z)P^*_{n+1}(z)+B(z)Q^*_{n+1}(z)}{z},\quad n\ge 0. \end{aligned}$$(41) -
(iii)
The sequence \((\mathcal {R}_{n+1})_{n\ge 0}\) satisfies the recurrence relation
$$\begin{aligned} \mathcal {R}_{n+1}(z)= z \mathcal {R}_n(z)-P_{n+1}(0)\mathcal {R}_n^*(z),\quad n\ge 0. \end{aligned}$$
Proof
Taking into account that \(P_1(0)=-c_1, \) then from (2) and (6) with \(n=1,\) we get
which is a polynomial of degree 1. Now assume that \(R_{k+1}(z)\), is a polynomial of degree \(k+1\) for all \(k=0,1,\ldots , n. \) Again from (2) and (6) and the fact that \(Q^*_{n+1}(0)=P^*_{n+1}(0)=1,\) we get
is a polynomial of degree \(n+2\) and, as consequence, (i) follows for all \(n\ge 0\) from the induction process. The above analysis also shows that the leading coefficient of \(\mathcal {R}_{n}(z),\) is \(B_2(1,1)\) for all \(n=1,2,\ldots \). To prove (ii), let us assume that \(A(z)P_{n+1}(z)=\sum _{k=0}^{n+3}a_{n+1,k}z^k\) and \(B(z)Q_{n+1}(z)=\sum _{k=0}^{n+3}b_{n+1,k}z^k.\) Since \({\text {deg}}\mathcal {R}_{n+1}(z)=n+1,\) then \(a_{n+1,0}=-b_{n+1,0},\) \(a_{n+1,n+3}=-b_{n+1,n+3}\) and
On the other hand, since \(A(z)=-A^*(z)\) and \(B(z)=B^*(z)\)
Thus, we get (41). Finally, (iii) is a direct consequence of (42) and the expression of \(R^*_{n+1}(z)\). \(\square \)
Notice that according to Theorems 4 and 15 (iii), \((\mathcal {R}_n)_{n\ge 0}\) is a sequence of orthogonal polynomials with respect to a hermitian linear functional defined on \(\mathbb {L}\). Taking into account that we are interested in finding relations between Carathéodory formal power series, we state the following Theorem.
Theorem 16
Let \(A(z),\,B(z)\) be defined in (40). If
then
-
(i)
The second kind polynomials associated with \((\mathcal {R}_n)_{n\ge 0},\) denoted by \((\mathcal {T}_n)_{n\ge 0},\) satisfy
$$\begin{aligned} \mathcal {T}_{n+1}(z)=\dfrac{D(z)Q_{n+1}(z)+C(z)P_{n+1}(z)}{z},\quad n\ge 0, \end{aligned}$$with exact degree \(n+1\).
-
(ii)
The reverse polynomial of \(\mathcal {T}_{n+1}(z)\) is
$$\begin{aligned} \mathcal {T}^*_{n+1}(z)=-\dfrac{D(z)Q^*_{n+1}(z)-C(z)P^*_{n+1}(z)}{z}. \end{aligned}$$ -
(iii)
The sequence \((\mathcal {T}_{n+1})_{n\ge 0}\) satisfies the recurrence relation
$$\begin{aligned} \mathcal {T}_{n+1}(z)= z \mathcal {T}_n(z)+P_{n+1}(0)\mathcal {T}_n^*(z),\quad n\ge 0. \end{aligned}$$ -
(iv)
The Carathéodory formal power series \(\textbf{F}_{\mathcal {R}}(z)\) (resp. \(\textbf{F}_{\mathcal {T}}(z)\)) associated with \((\mathcal {R}_n)_{n\ge 0}\) (resp. \((\mathcal {T}_n)_{n\ge 0}\)) is given by
$$\begin{aligned} \textbf{F}_{\mathcal {R}}(z)=\dfrac{-C(z)+D(z)\textbf{F}(z)}{A(z)-B(z)\textbf{F}(z)} \quad \left( \text {resp.} \quad \textbf{F}_{\mathcal {T}}(z)=\dfrac{1}{\textbf{F}_{\mathcal {R}}(z)}\right) , \end{aligned}$$where \(\textbf{F}(z)\) is the Carathéodory formal power series associated with the original family \((P_n)_{n\ge 0}\)
Proof
Since the polynomials A(z), B(z), C(z), D(z) satisfy
as well as
then the statements follow from Theorem 2.2 in [29]. \(\square \)
As we have mentioned earlier, \((\mathcal {R}_{n})_{n\ge 0}\) is the sequence of orthogonal polynomials with respect to a hermitian linear functional on \(\mathbb {L}\). We will denote it by \(\mathscr {L}_R\).
Proposition 7
Let \(\mathscr {L}_R\) be the hermitian linear functional such that the polynomials \((\mathcal {R}_{n})_{n\ge 0}\) are orthogonal and let \(\mathcal {B}_R(\cdot ,\cdot )\) be the sesquilinear form associated with \(\mathscr {L}_R\). Then
-
(i)
The kernel polynomial (Definition 5) \(K_{n,\mathcal {R}}(x,y)\) associated with \(\mathscr {L}_R\) can be written as
$$\begin{aligned} K_{n,\mathcal {R}}(z,y)=\dfrac{\overline{\mathcal {R}^*_{n+1}(y)}\mathcal {R}^*_{n+1}(z)-\overline{\mathcal {R}_{n+1}(y)} \mathcal {R}_{n+1}(z)}{\textbf{k}_{n+1,\mathcal {R}}(1-z\overline{y})}, \end{aligned}$$where \(\textbf{k}_{n,\mathcal {R}}=\mathcal {B}_R(\mathcal {R}_n,\mathcal {R}_n).\)
-
(ii)
The polynomials \((W_n)_{n\ge 0}\) defined in Proposition 6 can be written as
$$\begin{aligned} W_n(z)&=\dfrac{\textbf{k}_n}{\delta \overline{\mathcal {R}_n(\alpha )}}\left( \dfrac{\overline{\mathcal {R}^*_{n+1}(\alpha )}\mathcal {R}^*_{n+1}(z) -\overline{\mathcal {R}_{n+1}(\alpha )}\mathcal {R}_{n+1}(z)}{\textbf{k}_{n+1}(1-z\overline{\alpha })}\right) \nonumber \\&=\dfrac{\textbf{k}_{n,\mathcal {R}}}{\overline{\mathcal {R}_n(\alpha )}}K_{n,\mathcal {R}}(z,\alpha ), \end{aligned}$$(43)where \(\delta :=\left[ (1+|\alpha |^2)- 2\mathfrak {Re}(\alpha \overline{c_1})\right] =B_2(1,1).\)
-
(iii)
For each \(n\ge 0\)
$$\begin{aligned} \textbf{k}_{n+1,\mathcal {R}}=\left( \delta \right) ^{n+1}\dfrac{\textbf{k}_{n+1}}{\textbf{k}_{0}}\textbf{k}_{0,\mathcal {R}}. \end{aligned}$$
Proof
Let \((\mathfrak {r}_{n})_{n\ge 0}\) be the sequence of monic orthogonal polynomials with respect to \(\mathcal {B}_{\mathcal {R}}(\cdot ,\cdot )\) and \(\widetilde{\textbf{k}}_{j,\mathcal {R}}=\mathcal {B}_{\mathcal {R}}(\mathfrak {r}_{j}(z),\mathfrak {r}_{j}(z))\). Taking into account that for each \(n\ge 0\) the leading coefficient of \(\mathcal {R}_n(z)\) is \(\delta \), we get
and (i) is proved. Now, from the definition of \(W_{n}(z)\), (19) and (24) we get
and since
we get
Thus, the first part of (ii) is a straightforward consequence of
Notice that (44) is equivalent to
and since \(W_n(z)\) is a monic polynomial we get
Thus (iii) is proved. \(\square \)
Corollary 3
The monic polynomials \((W_n)_{n\ge 0}\) are left orthogonal with respect to the sesquilinear form \(\mathcal {B}_{\mathcal {R},1}\) defined by \(\mathcal {B}_{\mathcal {R},1}(p(z),q(z)):=\mathcal {B}_{\mathcal {R}}(p(z),(z-\alpha )q(z))\). Furthermore, the sequence of second-kind polynomials \((Q^{[c]}_{n})_{n\ge 0} \) associated with \((\widetilde{P}_n)_{n\ge 0}\) is orthogonal with respect to the sesquilinear form \(\mathcal {B}_{\mathcal {R},2}(p(z),q(z)):=\mathcal {B}_{\mathcal {R}}((z-\alpha )p(z),(z-\alpha )q(z)).\) In other words, polynomials \((Q^{[c]}_{n})_{n\ge 0}\) are orthogonal with respect to a Christoffel transformation of \(\mathcal {B}_{\mathcal {R}}\). Besides,
Proof
The result is a direct consequence of (43) and (39), respectively. \(\square \)
Corollary 4
Let \(\textbf{F}_Q(z)\) and \(\textbf{F}_{Q^{[c]}}(z)\) be the Carathéodory formal power series associated with the sesquilinear forms \(\mathcal {H}\) and \(\mathcal {C}\), respectively. Then
where a(z), b(z), c(z) and d(z) were defined in (28)
Proof
The proof is a direct consequence of (35) and (27). \(\square \)
Problem 4
(Fig. 4) Let \(\mathscr {L}\) be a quasi-definite hermitian functional and let \(\mathcal {B}_{\mathscr {L}}\) be the associated sesquilinear form. Let \(\widehat{\mathcal {B}}_2((z-\alpha )p,(z-\alpha )q):=\mathcal {B}_{\mathscr {L}}(p,q)\) be a Geronimus transformation of \(\mathcal {B}_{\mathscr {L}}\), \(\mathcal {G}(\cdot ,\cdot )\) the sesquilinear form such that the polynomials of the second kind \((Q_{n}(z))_{n\ge 0}\) constitute the corresponding sequence of orthogonal polynomials, and let \((Q^{[g]}_{n})_{n\ge 0}\) be the sequence of polynomials of the second kind with respect to \(\widehat{\mathcal {B}}_2,\) which are orthogonal with respect to the sesquilinear form \(\mathcal {G}(\cdot ,\cdot )\).
What is the relation between \(\mathcal {G}\) and \(\mathcal {H}\) (or alternatively, between their Carathéodory formal power series)? On the other hand, what is the relation between their corresponding sequences of orthogonal polynomials?
What is the relation between the corresponding Hessenberg matrices?
Corollary 5
Let \(\textbf{F}_Q(z)\) and \(\textbf{F}_{Q^{[g]}}(z)\) be the Carathéodory formal power series associated with the sesquilinear forms \(\mathcal {H}\) and \(\mathcal {G}\), respectively. Then
where \({\hat{a}}(z),\) \({\hat{b}}(z),\) and \({\hat{d}}(z)\) are given (33).
5 Concluding remarks
In the same way as in the real case, a very interesting problem is to describe all the rational spectral transformations of Carathéodory formal power series. We note that Theorem 11 and Theorem 14 describe a subset of rational spectral transformations (18) that can be constructed under certain conditions; however, there is not a closed result that gives a characterization of this type of transformations. It is clear that the Christoffel and Geronimus transformations are not sufficient to generate all the linear spectral transformations. Thus, it is necessary to seek a new set of “basis” transformations that enable us to generate all linear spectral transformations, preserving the hermitian condition of the linear functional.
Data availability
Not applicable.
References
Bueno, M.I., Marcellán, F.: Darboux transformation and perturbation of linear functionals. Linear Algebra Appl. 384, 215–242 (2004)
Cantero, M.J., Marcellán, F., Moral, L., Velázquez, L.: Darboux transformations for CMV matrices. Adv. Math. 298, 122–206 (2016)
Cantero, M.J., Marcellán, F., Moral, L., Velázquez, L.: A CMV connection between orthogonal polynomials on the unit circle and the real line. J. Approx. Theory 266, 105579 (2021)
Cantero, M.J., Moral, L., Velázquez, L.: Direct and inverse polynomial perturbations of Hermitian linear functionals. J. Approx. Theory 163(8), 988–1028 (2011)
Castillo, K.: On perturbed Szegő recurrences. J. Math. Anal. Appl. 411, 742–752 (2014)
Castillo, K., Garza, L.E., Marcellán, F.: Laurent polynomial perturbations of linear functionals. An inverse problem. Electron. Trans. Numer. Anal. 36, 83–98 (2009/2010)
Castillo, K., Garza, L.E., Marcellán, F.: Linear spectral transformations, Hessenberg matrices, and orthogonal polynomials. Rend. Circ. Mat. Palermo (2) Suppl. No. 82, 3–26 (2010)
Castillo, K., Garza, L.E., Marcellán, F.: Perturbations on the subdiagonals of Toeplitz matrices. Linear Algebra Appl. 434(6), 1563–1579 (2011)
Castillo, K., Garza, L.E., Marcellán, F.: A new linear spectral transformation associated with derivatives of Dirac linear functionals. J. Approx. Theory 163(12), 1834–1853 (2011)
Castillo, K., Marcellán, F.: Generators of rational spectral transformations for nontrivial \(C\)-functions. Math. Comput. 82(282), 1057–1068 (2013)
Chihara, T.S.: An Introduction to Orthogonal Polynomials. Gordon and Breach, New York (1978)
Daruis, L., Hernández, J., Marcellán, F.: Spectral transformations for Hermitian Toeplitz matrices. J. Comput. Appl. Math. 202(2), 155–176 (2007)
Erdélyi, T., Nevai, P., Zhang, J., Geronimo, J.: A simple proof of “Favard’s theorem’’ on the unit circle. Atti Sem. Mat. Fis. Univ. Modena 39, 551–556 (1991)
García-Ardila, J.C., Marcellán, F.: Spectral transformations and associated linear functionals of the first kind. Axioms 10, 107 (2021)
García-Ardila, J.C., Marcellán, F., Marriaga, M.E.: Orthogonal Polynomials and Linear Functionals. An Algebraic Approach and Applications. European Mathematical Society (EMS), Zürich (2021)
García-Ardila, J.C., Marcellán, F., Villamil-Hernández, P.H.: Associated orthogonal polynomials of the first kind and Darboux transformations. J. Math. Anal. Appl. 508(2), 125883 (2022)
Garza, L., Hernández, J., Marcellán, F.: Spectral transformations of measures supported on the unit circle and the Szegő transformation. Numer. Algorithms 49(1–4), 169–185 (2008)
Garza, L.E., Marcellán, F.: Szegő transformations and associated polynomials of the nth order on the unit circle. Comput. Math. Appl. 57(10), 1659–1671 (2009)
Garza, L.E., Marcellán, F.: Linear spectral transformations and Laurent polynomials. Mediterr. J. Math. 6(3), 273–289 (2009)
Garza, L.E., Marcellán, F.: Verblunsky parameters and linear spectral transformations. Methods Appl. Anal. 16(1), 69–85 (2009)
Garza, L.E., Marcellán, F.: Szegő transformations and rational spectral transformations for associated polynomials. J. Comput. Appl. Math. 233(3), 730–738 (2009)
Garza, L.E., Marcellán, F.: Orthogonal polynomials and perturbations on measures supported on the real line and on the unit circle. A matrix perspective. Expo. Math. 34(3), 287–326 (2016)
Geronimus, Y.L.: Polynomials orthogonal on a circle and their applications. Zap. Naucno-Issled. Inst. Math. Mekh. Kharkov. Mat. Obshch. 19, 35–120 (1948) (English translation Amer. Math. Soc. Transl.,3, 1–78, Providence, 1961)
Jones, W.B., Njåstad, O., Thron, W.J.: Continued fractions associated with trigonometric and other strong moment problems. Constr. Approx. 2(3), 197–211 (1986)
Jones, W.B., Njåstad, O., Thron, W.J.: Moment theory, orthogonal polynomials, quadrature, and continued fractions associated with the unit circle. Bull. Lond. Math. Soc. 21(2), 113–152 (1989)
Jones, W.B., Njåstad, O., Thron, W.J.: Schur fractions, Perron–Carathéodory fractions and Szegő polynomials, a survey. Analytic theory of continued fractions, II (Pitlochry/Aviemore, 1985), pp. 127–158, Lecture Notes in Mathematics, vol. 1199. Springer, Berlin (1986)
Marcellán, F.: Polinomios ortogonales no estándar. Aplicaciones en Análisis Numérico y Teoría de Aproximación, Rev. Acad. Colomb. Ciencias Exactas, Físicas y Naturales 30(117), 563–579 (2006)
Peherstorfer, F., Steinbauer, F.: Characterization of orthogonal polynomials with respect to a functional. J. Comput. Appl. Math. 65, 339–355 (1995)
Peherstorfer, F.: A special class of polynomials orthogonal on the unit circle including the associated polynomials. Constr. Approx. 12(2), 161–185 (1996)
Ronveaux, A., Van Assche, W.: Upward extension of the Jacobi matrix for orthogonal polynomials. J. Approx. Theory 86(3), 335–357 (1996)
Simon, B.: Orthogonal polynomials on the unit circle. Part 1. Classical theory. Amer. Math. Soc. Coll. Publ. Series, vol. 54, Part 1. Amer. Math. Soc., Providence (2005)
Simon, B.: Orthogonal polynomials on the unit circle. Part 2. Spectral theory, Amer. Math. Soc. Coll. Publ. Series, vol. 54, Part 2. Amer. Math. Soc., Providence (2005)
Yoon, G.: Darboux transforms and orthogonal polynomials. Bull. Korean Math. Soc. 39, 359–376 (2002)
Zhedanov, A.: Rational spectral transformations and orthogonal polynomials. J. Comput. Appl. Math. 85, 67–86 (1997)
Acknowledgements
We thank the suggestions and comments by referees. They have contributed to improve the presentation of the manuscript. The work of J. C. García-Ardila has been supported by the Comunidad de Madrid multiannual agreement with the Universidad Rey Juan Carlos under the grant Proyectos I+D para Jóvenes Doctores, Ref. M2731, project NETA-MM. The work of F. Marcellán has been supported by FEDER/Ministerio de Ciencia e Innovación-Agencia Estatal de Investigación of Spain, grant PID2021-122154NB-I00, and the Madrid Government (Comunidad de Madrid-Spain) under the Multiannual Agreement with UC3M in the line of Excellence of University Professors, grant EPUC3M23 in the context of the V PRICIT (Regional Program of Research and Technological Innovation).
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
García-Ardila, J.C., Marcellán, F. Spectral transformations and second kind polynomials associated with a hermitian linear functional. Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. 118, 79 (2024). https://doi.org/10.1007/s13398-024-01577-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13398-024-01577-0
Keywords
- Szegö orthogonal polynomials
- Spectral transformations
- Associated polynomials of second kind
- Carathéodory formal power series