Shifted Hilbert quadratic-form bound

ID: shifted-hilbert-quadratic-form-bound

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.

New to topics? Read the docs here!