Hankel forms and operators in Hardy spaces with two Szegő weights (Q4945148)

Let \(\mu\) be a nonnegative measure on the unit circle \(\mathbf T\) of the form \(d\mu=w dm\), where \(m\) is the Lebesgue measure and \(\log w\in L^1(dm)\) (equivalently, \(w=|\theta|^2\) for an outer function \(\theta\in H^2\)); such measures are called Szegő measures. The weighted Hardy space \(H^2(\mu)\) is defined as the closure in the \(L^2(\mu)\) norm of the set \(\mathcal P_+\) of all analytic trigonometric polynomials. A~nonnegative measure \(\sigma\) on the unit disc \(\mathbf D\) is called a \(\mu\)-Carleson measure if \(C_{\mu,\sigma}:=\sup\{ \iint_{\mathbf D} |f|^2 d\sigma: f\in\mathcal P_+\), \(\|f\|_{L^2(\mu)}\leq 1\}< \infty\). The main result of the paper is the following Carleson imbedding theorem: if \(\sigma\) is a \(\mu\)-Carleson measure, then \(C_{\mu,\sigma}=\sup \{\iint_{\mathbf D} |\phi_{\mu,z}|^2 d\sigma: z\in\mathbf D\}\), where \(\phi_{\mu,z}(x) = \frac{(1-|z|^2)^{1/2}}{(1-\overline zx)} \frac{|\theta(z)|} {\theta(x)\overline\theta(z)}\) are the normalized reproducing kernels for the space~\(H^2(\mu)\). The main ingredients in the proof are the authors' extension to Hankel operators on \(H^2(\mu)\) of the Nehari and Adamyan-Arov-Krein theorems [Integral Equations Oper. Theory 17, No. 2, 169-201 (1993; Zbl 0804.47026)] and of a theorem of \textit{F. F. Bonsall} [J. Lond. Math. Soc., II. Ser. 29, 289-300 (1984; Zbl 0561.47027)]. A~generalization of the main result to the context of two different Szegö measures \(\mu_1,\mu_2\) on \(\mathbf T\) is also established. For the entire collection see [Zbl 0932.00048].