Recognizing \(\mathfrak{Q}_{p,0}\) functions per Dirichlet space structure (Q5952912)

Let \(\Delta\) denote the unit disc in the complex plane. For a point \(w\in\Delta\), let NEWLINE\[NEWLINE\sigma_w(z)={w-z\over 1-\overline wz}.NEWLINE\]NEWLINE For \(p>0\), a function analytic in \(\Delta\) is said to be in the space \(Q_p\) if NEWLINE\[NEWLINE\sup_{w\in \Delta} \int_\Delta \bigl|f'(z)\bigr |^2\biggl (1-\bigl|\sigma_w (z)\bigr |^2\biggr)^p dm(z)=\|f\|^2_{Q_p} <\infty,NEWLINE\]NEWLINE where \(dm(z)\) denotes the element of Lebesgue area measure on \(\Delta\). If \(p>0\) and \(f \in Q_p\), we say that \(f\in Q_{p,0}\) if NEWLINE\[NEWLINE\lim_{|w|\to 1}\int_\Delta \bigl|f'(z)\bigr |^2\biggl( 1-\bigl|\sigma_w(z) \bigr|^2 \biggr)^p dm(z)=0.NEWLINE\]NEWLINE The authors deal with several problems dealing with the structure of the spaces \(Q_{p,0}\). First, they show that \(Q_{p,0}\) is a Möbius invariant space in the sense of \textit{J. Arazy}, \textit{S. Fisher}, and \textit{J. Peetre} [J. Reine Angew. Math. 363, 110-145 (1985; Zbl 0566.30042)]. Next, they prove a theorem that shows, among other things, that \(Q_{p,0}\) is the closure of the polynomials in the space \(Q_p\) (using the norm \(\|\cdot \|_{Q_p})\). Further, it is shown that the only functions \(f\in Q_{p,0}\) that are extreme points in the unit ball of \(Q_p\) are the functions \(f(z)\equiv \lambda\), \(|\lambda |=1\) and those functions \(f\) satisfying both \(f(0)= 0\) and \(|f\|_{Q_p} =1\). Finally, some results are given about the topological implications when a one parameter operator semigroup \(\{C_{\psi_t}: t\geq 0\}\) acts on \(Q_{p,q}\), where \(C_{\psi_t} (f)=f\circ \psi_t\).