 Hyperbolic characteristic of a disc map

This logarithmic area integral measures the accumulated pullback hyperbolic metric area of a holomorphic disc map. Its nonnegative kernel makes it increasing in $R$. Schwarz-Pick theorem bounds $H_g(z)$ by $2/(1-|z{|}^2)$, which controls its characteristic through a critical-point Jensen identity.