A sharp estimate for extremal functions (Q4490216)

The weighted Bergman space \(A^p_{\omega}\) is equal to the closure of the polynomials in the space \(L^p ({\mathbf D}, \omega dA)\) (here \(dA\) is the normalized area measure in the disc \(\mathbf D\); the weight \(\omega\) is continuous and nonnegative and has only isolated zeros in \(\mathbf D\); \(0<p<1\)). Let \(K^{\omega}\) be the reproducing kernel for \(A^2_{\omega}\). For an invariant subspace \(I\) of \(A^p_{\omega}\) (this means that \(gI\subset I\) for every polynomial \(g\)), put \(n_I =\min \{ n\in{\mathbf N}:\;\text{ there\;exists} f\in I\;\text{ with} f^{(n)}(0)\neq 0 \}\). Any solution of the extremal problem \[ \sup\{\text{Re }f^{(n_I)}(0): f\in I, \|f\|_p \leq 1 \} \] is called an extremal function for \(A^p_{\omega}\). It is shown that if \(\log \omega\) is subharmonic, then \(|G(z)|\leq (1-|z|^2)K^{\omega}(z, z)\) for every extremal function \(G\). The same is true for the weight \(\omega =(\alpha +1)(1-|z|^2)^{\alpha}\), which fails to be logarithmically subharmonic unless \(-1< \alpha \leq 0)\).