The Invariant Subspaces of
and an Extension of Schwarz's Lemma
EDWIN J. AKUTOWICZ
(p ^ 1) denote as usual the Banach space of all func-
tions/(z) holomorphic in the unit disc |z| I such that the integral'
remains bounded as r tends to 1. The norm in the space
is the LT-norm of
the boundary function
We shall assume certain of the principal facts about these spaces to be known,
such as the factorisation into inner and outer factors, representation by the
Cauchy integral over the boundary values, etc. (for details consult K. Hoffman
, the inner factor of/shall be denoted by If and the outer factor
by Ofif=IfOf. The Blaschke factor of/shall be denoted by Bf and the singular
factor by !,:/ / = Bflf.
The closed, nonnull, linear subspaces S of
which are invariant under multi-
plication by z (briefly, invariant subspaces) have been described as follows by
deLeeuw and Rudin  (also Helson ):
Every invariant subspace S of
is of the form
where s is an inner function essentially uniquely determined by the subspace S
(i.e., to within a constant factor of modulus
The proof suggested (Rudin [8, p. 432]) would give the generating element s
Here, and in the sequel, an unadorned integral sign refers to integration over the interval
-71 g & g 71 .
- This is of course also true for
p 1, but these cases are simpler.