Strongly bounded holomorphic functions and corresponding PC-fractions (Q752217): Difference between revisions

A (normalized) PC-fraction (Perron-Carathéodory continued fraction) \[ (1)\quad \frac{1}{2}-\frac{1}{1}\begin{matrix} \quad \\ +\end{matrix} \frac{1}{\beta_ 2z}\begin{matrix} \quad \\ +\end{matrix} \frac{(1-\beta_ 2\beta_ 3)z}{\beta_ 3}\begin{matrix} \quad \\ +\end{matrix} \frac{1}{\beta_ 4z}\begin{matrix} \quad \\ +\end{matrix} \frac{(1-\beta_ 4\beta_ 5)z}{\beta_ 5}\begin{matrix} \quad \\ +\end{matrix} \frac{1}{\beta_ 6z}\begin{matrix} \quad \\ +\end{matrix}... \] where \(\beta_ 1\neq 0\), \(\beta_{2n}\beta_{2n+1}\neq 1\), corresponds at \(z=0\) and at \(z=\infty\) to formal power series \[ (2)\quad L_ 0=\frac{1}{2}+\sum^{\infty}_{k=1}c_ kz^ k\text{ and } L_{\infty}=-\frac{1}{2}-\sum^{\infty}_{k=1}c_{-k}z^{-k}. \] However, the converse is not true: To a given pair \((L_ 0,L_{\infty})\) of power series (2) one can not always find a corresponding PC-fraction (1). The authors prove that if \(L_ 0\) and \(L_{\infty}\) represent what they call strongly bounded functions \(L_ 0(z)\) and \(L_{\infty}(z)\); that is, \(L_ 0(z)\) and \(L_{\infty}(z)\) are holomorphic for \(| z| \leq R_ 0\) and \(| z| \geq R_{\infty}\), respectively, and \[ | L_ 0(z)-\frac{1}{2}| \leq \epsilon_ 0\text{ for } | z| \leq R_ 0,\quad | L_{\infty}(z)+\frac{1}{2}| \leq \epsilon_{\infty}\text{ for } | z| \geq R_{\infty} \] for some interrelated constants \(R_ 0\), \(R_{\infty}\), \(\epsilon_ 0\), \(\epsilon_{\infty}\), then \((L_ 0,L_{\infty})\) has a corresponding PC-fraction (1) with \(\beta_ n\to 0\). In the particular case where \(c_{-k}=\bar c_ k\) for all k, the result is connected to the trigonometric moment problem and the Szegö polynomials.