Critical-point Jensen identity for the hyperbolic derivative
ID: critical-point-jensen-identity-for-the-hyperbolic-derivative
For , apply Jensen's formula with the smooth curvature term to the hyperbolic derivative density. Its distributional Laplacian is , giving the displayed identity with ramification points defined by . If at zero, use as the origin counting term and replace the base constant by . Without this regularization the basepoint-critical formula is undefined.
New to topics? Read the docs here!