A constructive proof of the Leech theorem for rational matrix functions (Q1946577): Difference between revisions

Let \(\mathbb{D}\) denote the unit disk in the complex plane and let \(H^2(\mathbb{D})\) be the usual Hardy space. Let \(E\) and \(E_*\) be finite dimensional Hilbert spaces. For \({\mathcal F}:{\mathbb{D}}\longrightarrow B(E,E_*)\), an analytic function on \(\mathbb{D}\) with \(\sup_{z\in \mathbb{D}}\|{\mathcal F}(z)\|_{B(E,E_*)}\leq \infty\), let \(T_{\mathcal F}: H_E^2(\mathbb{D})\longrightarrow H_{E_*}^2(\mathbb{D})\) be the corresponding analytic Toeplitz operator. In a previous paper [Integral Equations Oper. Theory 59, No. 3, 421--435 (2007; Zbl 1148.30018)], the author gives a new constructive method for explicit construction of corona solutions for polynomial input data on the unit disk. In the present paper, the procedure is extended to the general case of rational matrix corona data. In fact, the algorithm allows to compute explicitly rational matrix solutions to Leech's theorem with rational matrix data. More precisely, if \({\mathcal F, G}\) (defined as above) are rational matrix functions with poles off \(\overline{\mathbb{D}}\), then, under the assumption that \(T_{\mathcal F}T_{\mathcal F}^* \geq T_{\mathcal G}T_{\mathcal G}^*\), a rational matrix function \({\mathcal H}\), with poles off \(\overline{\mathbb{D}}\), is constructed such that \(T_{\mathcal F}T_{\mathcal H}=T_{\mathcal G}\) and \( \| T_{\mathcal H}\| \leq 1\). In addition, good estimates for the order of the rational function entries of \({\mathcal H}\) are obtained.