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.
Articles by others on the same topic
There are currently no matching articles.