A common range problem for model spaces (Q2121259)

Let \(\mathcal{O}\) be the set of all bounded outer functions. For an inner function \(u\), let \(\mathcal{K}_u:=H^2\cap (uH^2)^\perp\) be the corresponding model space. The paper is devoted to the study of the common range \(\mathcal{R}(\mathcal{K}_u):=\bigcap\{T_{\overline{\varphi}}\mathcal{K}_u:\varphi\in\mathcal{O}\}\) of coanalytic Toeplitz operators \(T_{\overline{\varphi}}\) in the case when \(u\) is an interpolating Blaschke product \(B\) whose zeros \((\lambda_n)_{n=1}^\infty\) are contained in \((0,1)\). In this case, \(\mathcal{K}_B=\left\{f=\sum_{n=1}^\infty a_n K_{\lambda_n}: (a_n)_{n=1}^\infty\in\ell^2(\mathbb{N})\right\}\), where \(K_{\lambda_n}(z)= (1-|\lambda_n|^2)^{1/2}(1-\lambda_n z)^{-1}\) denotes the normalized Cauchy kernel. The main result of the paper is the following. Suppose \(B\) is an interpolating Blaschke product with zeros \((\lambda_n)_{n=1}^\infty\subset (0,1)\). For \(f=\sum_{n=1}^\infty a_n K_{\lambda_n}\in\mathcal{K}_B\), the following assertions are equivalent: (i) \(f\in \mathcal{R}(\mathcal{K}_B)\); (ii) for every positive decreasing function \(h\in L^1[0,1]\), one has \(\sum_{n=1}^\infty |a_n| \exp\left(\frac{1}{1-\lambda_n}\int_0^{1-\lambda_n}h(t)\,dt\right)<\infty\).