Poisson-Jensen formula ($\log |f(z)|=\mathrm{Poisson}(\log |f|)(z)-\sum m_a{G}_R(z,a)+\sum m_p{G}_R(z,p)$)

For a meromorphic function with no zero or pole on $|w|=R$, set $G_R(z,a)=\log |(R^2-\overline{a}z)/(R(z-a))|$. At source points that are neither zeros nor poles, the displayed identity expresses its logarithmic modulus as the Poisson integral of its boundary values, minus its zero Green potentials plus its pole Green potentials. The Poisson kernel is $(R^2-|z{|}^2)/|R{e}^{i\theta }-z{|}^2$ with normalized angular measure. Subtracting the corresponding logarithmic singularities leaves a harmonic function, so the harmonic Poisson formula proves the identity. At zero it reduces to Jensen's formula.

For a meromorphic function near $0<|z|\le 1$, and a target $a$ off its image of the unit circle, let $u_a=-\log k(f,a)$ for the chordal metric, $M_a(s)$ its normalized angular mean, and $I(a)=M_a^{\prime }(1)$. The weighted spherical area $T(r)=(4\pi {)}^{-1}{\int }_{r<|z|<1}\log (|z|/r)(f_{\mathrm{round}}^{\#}{)}^{2}dA$ satisfies the displayed formula, where $N$ counts $a$-points with multiplicity and weight $\log (|z|/r)$ and $\overline{m}=M_a(r)-M_a(1)$. Indeed $\Delta u_a=(f_{\mathrm{round}}^{\#}{)}^2/2-2\pi \sum {\mathrm{deg}}_z(f){\delta }_z$, and Green's second identity with the radial logarithmic weight proves the formula. The angular mean must include $1/(2\pi )$.