Invariant subspaces of the Dirichlet shift and pseudocontinuations

Source abstract

In this paper we study extremal functions for invariant subspaces M \mathcal {M} of the Dirichlet shift, i.e., solutions φ \varphi of the extremal problem $$sup { | f ( n ) ( 0 ) | / ‖ f ‖ D : f ∈ M , f ≠ 0 } \sup \{ |{f^{(n)}}(0)|/{\left \| f \right \|_D}:f \in \mathcal {M},f \ne 0\}$$ . Here n n is the smallest nonnegative integer such that the sup is positive. It is known that such a function φ \varphi generates M \mathcal {M} . We show that the derivative ( z φ ) ′ (z\varphi )\prime has a pseudocontinuation to the exterior disc. This pseudocontinuation is an analytic continuation exactly near those points of the unit circle where φ \varphi is bounded away from zero. We also show that the radial limit of the absolute value of an extremal function exists at every point of the unit circle. Some of our results are valid for all functions that are orthogonal to a nonzero invariant subspace.