Use the absolute value around the logarithm in the original PDF. Set . This is a nonnegative subharmonic function, including at zeros by its continuous extension. Its radial means are nondecreasing: Poisson integral comparison on a larger concentric circle bounds the smaller mean by the larger one. The hypothesis givesConsequently for every , and continuity of implies throughout the unit disc. Thus everywhere, which is stronger than the requested conclusion. In particular has bounded characteristic, because ; it belongs to the Nevanlinna class and to H-infinity space. The hypothesis also excludes the identically zero function, whose absolute logarithmic integral is infinite.
Articles by others on the same topic
There are currently no matching articles.