RUS  ENG
Full version
JOURNALS // Taurida Journal of Computer Science Theory and Mathematics // Archive

Taurida Journal of Computer Science Theory and Mathematics, 2019 Issue 2, Pages 7–25 (Mi tvim63)

Schur transformation for the generalized Caratheodory function on circle

E. N. Andreishcheva

Black Sea Higher Naval School

Abstract: In the present paper we consider essentially Caratheodory class of scalar functions. This class consists of the meromorphic functions $f(z)$ on the open unit disc $\mathbb{D}$ for which the kernel
$$K_{f}(z,\omega)=\frac{f(z)+f(\omega)^{*}}{1-z\omega^{*}},~z,\omega\in\bf{hol}(f)$$
has a finite number $\varkappa$ of negative squares(here $\bf{hol}(f)$ is the domain of homomorphy of $f(z)$). This is equivalent to the fact that the function $f(z)$ has $\varkappa$ poles in $\mathbb{D}$ but the metric constraint of being not expansive on the unit circle $\mathbb{T}$. We call these functions $f(z)$ generalized Caratheodory functions with $\varkappa$ negative squares.
The approach to the Schur transformation in the indefinite case in the given paper is based on the theory of reproducing kernel Pontryagin spaces for the scalar and matrix functions, associated with a Caratheodory function $f(z)$ and a $2\times2$ matrix function $\Theta(z)$ through the reproducing kernels
$$K_{f}(z,\omega)=\frac{f(z)+f(\omega)^{*}}{1-z\omega^{*}},~ K_{\Theta}(z,\omega)=\frac{J_{f}-\Theta(z)J_{f}\Theta(\omega)^{*}}{1-z\omega^{*}},~J_{f}= \begin{pmatrix} 0 & -1 \\ -1 & 0 \end{pmatrix}.$$
In positive case, they have been first introduced by L. de Branges and J. Rovnyak in [9] and [10]. They play an important role in operator models and interpolation theory, see, for instance, [3] and [4]. In the indefinite case equivalent spaces were introduced in the papers by M.G. Krein and H. Langer [16], [17] and [18] mentioned earlier.
The transformation $s(z)\mapsto\hat{s}(z)$ was defined and studied by I.Schur in 1917 – 1918 in the paper [21] and is called the Schur transformation. The starting point is a function $s(z)$ which is analytic and contractive in the open unit disk $\mathbb{D}$ ; we call such functions Schur functions. The Schur transformation maps the set of Schur functions which are not identically equal to a unimodular constant into the set of Schur functions. In this way, I. Schur associated with a Schur function $s(z)$ a finite or infinite sequence of numbers, called Schur coefficients, via the formulas
$$s_{0}(z)=s(z),~s_{j+1}(z)=\hat{s}_{j}(z)=\frac{1}{b(z)}\frac{s_{j}(z)-s_{j}(z_{1})}{1-s_{j}(z)s_{j}(z_{1})^{*}},~b(z)=\frac{z-z_{1}}{1-zz_{1}^{*}},~z_{1}\in\mathbb{D},~j=0,1,...$$
This recursion is called the Schur algorithm.
In given paper we consider this transformation to an indefinite setting for generalized Caratheodory functions centered at $z_{1}\in\mathbb{T}$. We called this transformation the generalized Schur transformation for Caratheodory functions.
The generalized Schur transformation can be written as linear fractional transform $\widehat{f}(z)=\chi_{\Theta^{-1}}(f(z)),$ for any matrix polynomial $\Theta(z)$ and generalized Caratheodory function $f(z).$ If $z_{1}\in\mathbb{T}$ we consider functions $f(z)$ which have an asymptotic expansion of the form
$$f(z)=\tau_{0}+\sum\limits_{i=1}^{2p-1}\tau_{i}(z-z_{1})^{i}+O((z-z_{1})^{2p}) ,~~z\rightarrow z_{1}.$$
We define the vector function $R(z)$, fix some normalization point $z_{0}\in\mathbb{T},z_{0}\neq z_{1}$, and introduce the polynomial $p(z)$. Then the Schur transformation $\widehat{f}(z)$ for generalized Caratheodory function $f(z)$ is defined by the formula
$$\widehat{f}(z)=\chi_{\Theta(z)^{-1}}(f(z))= \frac{\{(1-zz_{1}^{*})^{k}-\tau_{0}(1-zz_{0}^{*})p(z)\}f(z)- \tau_{0}\tau_{0}^{*}(1-zz_{0}^{*})p(z)} {-(1-zz_{0}^{*})p(z)f(z)+\{(1-zz_{1}^{*})^{k}-\tau_{0}^{*}(1-zz_{0}^{*})p(z)\}}.$$
In this paper we also consider the basic boundary interpolation problem for generalized Caratheodory functions and factorization of the rational matrix functions which are $J$-unitary on $\mathbb{T}\backslash\{z_{1}\}$ and have a unique pole in $z_{1}.$

Keywords: indefinite metrics, Pontryagin space, Schur transformation, generalised Carateodori function, interpolation problem, factorization of rational matrix function.

UDC: 517.58

MSC: 47A58



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024