Invariant subspaces of parabolic self-maps in the Dirichlet space (Q2253102)

Let \(\mathbb D\) be the open disk in the complex plane. The Dirichlet space \(\mathcal D\) is the space of all functions \(f\) holomorphic on \(\mathcal D\) and having finite norms \[ \| f \|_{2}^{2}=|f(0)|^{2}+\int_{\mathcal D}|f'(z)|^{2}\,dA(z), \] where \(dA\) is the normalized plane Lebesgue measure on \(\mathcal D\). The authors introduce the parabolic non-automorphism \(\varphi_{a}:\mathcal D \to \mathcal D\) by the formula \[ \varphi_{a}=\frac{(2-a)z+a}{-az+2+a},\quad \Re (a)>0. \] There is obtained a complete description of the lattice of invariant subspaces of composition operators \(C_{\varphi_{a}}:{\mathcal D}\to {\mathcal D}\) defined by the formula \(C_{\varphi_{a}}f=f\circ \varphi_{a}\).