A general Beurling-Helson-Lowdenslager theorem on the disk (Q2356765): Difference between revisions

The author defines a Banach space \(L^\alpha\) and a Hardy-type space \(H^\alpha\) on the unit circle satisfying \(L^\infty\subseteq L^\alpha \subseteq L^1\), respectively \(H^\infty\subseteq H^\alpha \subseteq H^1\), where \(\alpha\) is a so-called continuous, \(||\cdot||_1\)-dominating gauge norm. A version of the Beurling-Helson-Lowdenslager theorem is then presented: Given a closed subspace \(W\) of \(L^\alpha\), then \(zW\subseteq W\) if and only if either \(W=\phi H^\alpha\) for some unimodular function \(\phi\) or \(W=\chi_EL^\alpha\) for some Borel set \(E\subseteq\mathbb T\). If \(\{0\}\not=W\subseteq H^\alpha\), then \(W=\varphi H^\alpha\) for some inner function \(\varphi\).