Theorem
Subharmonicity of the logarithmic modulus
The logarithm of the modulus of a nonzero holomorphic function is subharmonic, with Laplacian equal to its zero-counting measure.
Statement
Let be a holomorphic function on a planar domain , not identically zero. Extending by at zeros, the function is subharmonic. Moreover, in the sense of distributions,
Away from the zeros
Where , a local holomorphic logarithm exists and is the real part of that logarithm, hence harmonic. All positive Laplacian mass is concentrated at the zeros.
Multiplicity
If with , then the contribution at is . Thus the Riesz measure of is exactly the zero-counting measure with multiplicity.
References
- Thomas Ransford, Potential Theory in the Complex Plane, Cambridge University Press, 1995. DOI record.