Radial logarithmic mean of a Blaschke product
ID: radial-logarithmic-mean-of-a-blaschke-product
For with nonzero zeros counted with multiplicity, Jensen's formula gives the displayed identity. The negative logarithms of partial products increase, so the monotone convergence theorem permits termwise integration. The Blaschke condition implies , which dominates the absolute summands. The dominated convergence theorem therefore gives a limit of zero as . Since , the mean of tends to zero as well.
New to topics? Read the docs here!