Centred logarithmic keyhole identity
ID: centred-logarithmic-keyhole-identity
For an entire function , use the complex logarithm with argument in . The unit-circle integral in the title uses the branch's one-sided boundary values at its crossing with the cut. On a keyhole contour, the outward upper bank has , and the inward lower bank has . Their combined integral of is . The inner circle contributes , which vanishes. The Cauchy integral theorem on the slit plane therefore gives the identity.
On , . The estimation lemma consequently givesSubtracting the middle branch value centres the weight and produces this bound. The contour crosses the cut only in the limiting boundary-value interpretation, so it is not a closed contour inside the logarithm's domain.
New to topics? Read the docs here!
