Admissible Majorants for Model Subspaces of $H^2$, Part II: Fast Winding of the Generating Inner Function

http://dx.doi.org/10.4153/CJM-2003-049-5
Canad. J. Math. 55(2003), 1264-1301

  Published:2003-12-01
 Printed: Dec 2003

This paper is a continuation of \cite{HM02I}. We consider the model subspaces $K_\Theta=H^2\ominus\Theta H^2$ of the Hardy space $H^2$ generated by an inner function $\Theta$ in the upper half plane. Our main object is the class of admissible majorants for $K_\Theta$, denoted by $\Adm \Theta$ and consisting of all functions $\omega$ defined on $\mathbb{R}$ such that there exists an $f \ne 0$, $f \in K_\Theta$ satisfying $|f(x)|\leq\omega(x)$ almost everywhere on $\mathbb{R}$. Firstly, using some simple Hilbert transform techniques, we obtain a general multiplier theorem applicable to any $K_\Theta$ generated by a meromorphic inner function. In contrast with \cite{HM02I}, we consider the generating functions $\Theta$ such that the unit vector $\Theta(x)$ winds up fast as $x$ grows from $-\infty$ to $\infty$. In particular, we consider $\Theta=B$ where $B$ is a Blaschke product with ``horizontal'' zeros, {\it i.e.}, almost uniformly distributed in a strip parallel to and separated from $\mathbb{R}$. It is shown, among other things, that for any such $B$, any even $\omega$ decreasing on $(0,\infty)$ with a finite logarithmic integral is in $\Adm B$ (unlike the ``vertical'' case treated in \cite{HM02I}), thus generalizing (with a new proof) a classical result related to $\Adm\exp(i\sigma z)$, $\sigma>0$. Some oscillating $\omega$'s in $\Adm B$ are also described. Our theme is related to the Beurling-Malliavin multiplier theorem devoted to $\Adm\exp(i\sigma z)$, $\sigma>0$, and to de~Branges' space $\mathcal{H}(E)$.