The uniqueness of the Dirichlet space among Möbius-invariant Hilbert spaces (Q760535)

Let \(\Delta\) be the open unit disc in the complex plane and let \({\mathcal M}\) be the set of all Möbius functions mapping \(\Delta\) onto \(\Delta\) : \(\phi\in {\mathcal M}\) if and only if \(\phi (z)=\lambda ((a-z)/(1-az)),\) \(| \lambda | =1\), \(a\in \Delta\). Let \({\mathcal B}\) denote the Bloch space on \(\Delta\) : \(f\in {\mathcal B}\) if and only if \(\rho_{{\mathcal B}}(f)=\sup_{z\in \Delta}(1-| z|^ 2)| f'(z)|\) is finite. A linear space H of analytic functions on \(\Delta\) is Möbius invariant if \(f\circ \phi\) lies in H for each \(f\in H\) and each \(\phi\in {\mathcal M}\). We assume that there is a semi-inner product (\(\cdot,\cdot)\) on H which satisfies all the usual axioms of an inner product except that \((f,f)=0\) need not imply that \(f=0\). Let \(\rho (f)=(f,f)^{1/2}\) for \(f\in H\). We further assume that H is a linear subspace of \({\mathcal B}\) and that there is a constant A with \(\rho_{{\mathcal B}}(f)\leq A\rho (f),\) \(f\in H\). Thus the kernel of \(\rho\) is either \(\{\) \(0\}\) or \({\mathbb{C}}\). Define \(\| f\| =\rho (f)\) if \(\rho^{-1}(0)=\{0\}\), and \(\| f\| =(\rho^ 2(f)+| f(0)|^ 2)^{1/2}\) if \(\rho^{-1}(0)={\mathbb{C}}\). Two more assumptions are made: H is complete in the norm given above; for each \(f\in H\) the mapping \(\phi\) \(\to f\circ \phi\) is continuous from \({\mathcal M}\) into H. Finally, let D denote the Dirichlet space: \(f\in D\) if and only if \(\rho_ D(f)=(\int_{\Delta}| f'(z)|^ 2dxdy)^{1/2}\) is finite. The theorems of the paper then are the following: Theorem 1. If \(\rho (f)=\rho (f\circ \phi)\) for all \(f\in H\) and all \(\phi\in {\mathcal M}\) then there is a positive constant \(\lambda\) with \(\rho (f)=\lambda \rho_ D(f)\) and hence H is exactly D. Theorem 2. If there is a positive constant C with \(\rho\) (f\(\circ \phi)\leq C\rho (f)\) for all \(f\in H\) and all \(\phi\in {\mathcal M}\) then there is a positive constant \(\nu\) with \(\nu \rho_ D(f)\leq \rho (f)\leq (1/\nu)\rho_ D(f)\) for all \(f\in H\) and hence H is exactly D. Theorems 1 and 2 can be summarized by saying that the Dirichlet space D is the only Möbius invariant Hilbert space (of analytic functions on the unit disc).