In mathematics, the Littlewood subordination theorem, proved by J. E. Littlewood in 1925, is a theorem in operator theory and complex analysis. It states that any holomorphic univalent self-mapping of the unit disk in the complex numbers that fixes 0 induces a contractive composition operator on various function spaces of holomorphic functions on the disk. These spaces include the Hardy spaces, the Bergman spaces and Dirichlet space.
Subordination theorem Let h be a holomorphic univalent mapping of the unit disk D into itself such that h(0) = 0. Then the composition operator Ch defined on holomorphic functions f on D by
C h ( f ) = f ∘ h {\displaystyle C_{h}(f)=f\circ h}
defines a linear operator with operator norm less than 1 on the Hardy spaces H p ( D ) {\displaystyle H^{p}(D)} , the Bergman spaces A p ( D ) {\displaystyle A^{p}(D)} . (1 ≤ p < ∞) and the Dirichlet space D ( D ) {\displaystyle {\mathcal {D}}(D)} . The norms on these spaces are defined by:
‖ f ‖ H p p = sup r 1 2 π ∫ 0 2 π | f ( r e i θ ) | p d θ {\displaystyle \|f\|_{H^{p}}^{p}=\sup _{r}{1 \over 2\pi }\int _{0}^{2\pi }|f(re^{i\theta })|^{p}\,d\theta }
‖ f ‖ A p p = 1 π ∬ D | f ( z ) | p d x d y {\displaystyle \|f\|_{A^{p}}^{p}={1 \over \pi }\iint _{D}|f(z)|^{p}\,dx\,dy}
‖ f ‖ D 2 = 1 π ∬ D | f ′ ( z ) | 2 d x d y = 1 4 π ∬ D | ∂ x f | 2 + | ∂ y f | 2 d x d y {\displaystyle \|f\|_{\mathcal {D}}^{2}={1 \over \pi }\iint _{D}|f^{\prime }(z)|^{2}\,dx\,dy={1 \over 4\pi }\iint _{D}|\partial _{x}f|^{2}+|\partial _{y}f|^{2}\,dx\,dy}
Littlewood's inequalities Let f be a holomorphic function on the unit disk D and let h be a holomorphic univalent mapping of D into itself with h(0) = 0. Then if 0 < r < 1 and 1 ≤ p < ∞
∫ 0 2 π | f ( h ( r e i θ ) ) | p d θ ≤ ∫ 0 2 π | f ( r e i θ ) | p d θ . {\displaystyle \int _{0}^{2\pi }|f(h(re^{i\theta }))|^{p}\,d\theta \leq \int _{0}^{2\pi }|f(re^{i\theta })|^{p}\,d\theta .}
This inequality also holds for 0 < p < 1, although in this case there is no operator interpretation.
Proofs
Case p = 2 To prove the result for H2 it suffices to show that for f a polynomial
‖ C h f ‖ 2 ≤ ‖ f ‖ 2 , {\displaystyle \displaystyle {\|C_{h}f\|^{2}\leq \|f\|^{2},}}
Let U be the unilateral shift defined by
… excerpt ends here. Continue reading the full article.
