Apply the Cauchy integral theorem to on the slit plane, which is star-shaped about . For fixed , first let . The upper bank is traversed from to one and the lower bank from one to , so their limiting sum isThe outer arc tends to the positively oriented unit-circle integral, interpreting the logarithm by its one-sided boundary values at the cut. On the inner arc, and is bounded near zero. Its integral is therefore and tends to zero. The sum of all four contour pieces is zero. Letting givesThe integral around the full circle is a piecewise integral of the branch's boundary values; is not a single holomorphic function across the cut-crossing point. This is the centred logarithmic keyhole identity.
Shifted Hilbert quadratic-form bound 2026-10-31
For real , put . The quadratic form equals , proving its nonnegativity. Apply the centred logarithmic keyhole identity bound to the entire function . Since , orthogonality of the finite Fourier sum gives . Multiplication by the contour estimate's factor proves the upper bound. The matrix is the principal submatrix of a Hilbert matrix obtained by deleting its first row and column.
