Statement

Let ff be a holomorphic function on a planar domain UU, not identically zero. Extending log⁡∣f∣\log|f| by −∞-\infty at zeros, the function log⁡∣f∣\log|f| is . Moreover, in the sense of ,

Δlog⁡∣f∣=2π∑a∈Uord⁡a(f) δa.\Delta\log|f|=2\pi\sum_{a\in U}\operatorname{ord}_a(f)\,\delta_a.
Away from the zeros

Where f≠0f\ne0, a local holomorphic logarithm exists and log⁡∣f∣\log|f| is the real part of that logarithm, hence harmonic. All positive Laplacian mass is concentrated at the zeros.

Multiplicity

If f(z)=(z−a)mg(z)f(z)=(z-a)^m g(z) with g(a)≠0g(a)\ne0, then the contribution at aa is 2πmδa2\pi m\delta_a. Thus the Riesz measure of log⁡∣f∣\log|f| is exactly the zero-counting measure with multiplicity.

References
  1. Thomas Ransford, Potential Theory in the Complex Plane, Cambridge University Press, 1995. DOI record.