Hyperbolic cotangent generating function for Bernoulli numbers

ID: hyperbolic-cotangent-generating-function-for-bernoulli-numbers

The defining generating function of the Bernoulli numbers, with , gives this identity of formal Laurent series by . Therefore is regular and odd. Integrating it gives the even formal logarithm of . Its even derivatives of order at zero are , while the odd derivatives vanish. This computes the cyclotomic higher logarithmic derivatives of symmetric cyclotomic units without introducing a spurious linear term.

New to topics? Read the docs here!