No label defined (Q4037154)

[For the entire collection see Zbl 0755.00016.] The paper is a summary of the work to be published. Denote by \(A^ p\) the Bergmann space over the unit disc. An \(A^ p\) zero-set is the set of zeros counted with their multiplicities of some nonconstant function in \(A^ p\). Given an \(A^ p\) zero-set \((z_ j)\), let \(N^ p\) be the set of functions in \(A^ p\) having zeros at least of prescribed order in each \(z_ j\). For an \(A^ p\) zero-set \((z_ j)\) not containing 0, pose the extremal problem of maximizing \(f(0)\) among all \(f\) in \(N^ p\) with \(\| f\|=1\), \(f(0)>0\). The authors assert that this problem has a unique solution for \(0<p<\infty\), which they call the canonical divisor of \((z_ j)\). Some of the main results are the following. Theorem 1. The canonical divisor has no extraneous zeros; it vanishes precisely at prescribed points with the prescribed multiplicities. Theorem 2. For \(0<p<\infty\), let \(G\) be the canonical divisor in \(A^ p\) of a zero-set \((z_ j)\). Then \(\| f/G\|\leq \| f\|\) for each \(f\) in \(N^ p\). Furthermore, \(G\) is the only function in \(A^ p\) with the given normalization which has this contractive property. Theorem 3. Let \(G\) be the canonical divisor of an arbitrary \(A^ p\) zero-set, \(0<p<\infty\). Then \(\| Gf\|\geq\| f\|\) for all \(f\) in \(A^ p\).