[Paper Review] A Comment on Matiyasevich's Identity #0102 with Bernoulli Numbers

H. Gopalkrishna Gadiyar, R. Padma|ArXiv.org|Aug 28, 2006

Advanced Mathematical Identities16 references3 citations

TL;DR

This paper establishes a novel connection between Matiyasevich’s identity involving Bernoulli numbers and the Ramanujan summation of divergent Euler sums, using contour integration and generating functions. It derives new recursion relations for the derivatives of Bernoulli numbers and links them to analytically continued Euler sums and zeta values.

ABSTRACT

We connect and generalize Matiyasevich's identity #0102 with Bernoulli numbers and an identity of Candelpergher, Coppo and Delabaere on Ramanujan summation of the divergent series of the infinite sum of the harmonic numbers. The formulae are analytic continuation of Euler sums and lead to new recursion relations for derivatives of Bernoulli numbers. The techniques used are contour integration, generating functions and divergent series.

Motivation & Objective

• To unify Matiyasevich’s identity on Bernoulli numbers with the Ramanujan summation of divergent Euler sums.
• To explore the analytic continuation of Euler sums and their relation to zeta functions and Bernoulli numbers.
• To derive new recursion relations for the derivatives of Bernoulli numbers using advanced summation techniques.
• To clarify discrepancies in the literature regarding the values of analytically continued Euler sums at negative integers.
• To investigate the role of divergent series and contour integration in deriving identities involving special functions and constants.

Proposed method

• Uses contour integration along a Hankel contour to extract coefficients from generating functions of Bernoulli numbers and logarithmic terms.
• Applies generating functions for $ \frac{z}{e^z - 1} $ and $ \log\left(\frac{e^z - 1}{z}\right) $ to model the product structure in Matiyasevich’s identity.
• Relies on the Ramanujan summation of divergent series $ \sum_{n=1}^\infty H_n n^k $, interpreted via analytic continuation.
• Derives integral representations of zeta functions and their derivatives using the Hankel contour and functional equations.
• Combines results from Flajolet, Roman, Rota, and Gessel to unify approaches to logarithmic and Bernoulli number identities.
• Uses the functional equation of the zeta function and the Glaisher-Kinkelin-Bendersky constant to link $ \zeta'(2k+1) $ to derivatives of Bernoulli numbers.

Experimental results

Research questions

• RQ1 How can Matiyasevich’s identity involving Bernoulli numbers be generalized through analytic continuation of Euler sums?
• RQ2 What is the precise relationship between the Ramanujan summation of $ \sum H_n n^k $ and the derivatives of Bernoulli numbers?
• RQ3 Can a recursion for $ B_n' $ be derived from the interplay of divergent series, contour integrals, and zeta function identities?
• RQ4 Why do different summation methods (e.g., Ramanujan vs. standard) yield different values for $ \sum_{n=1}^\infty H_n $, and how is this reconciled?
• RQ5 How do the Glaisher-Kinkelin-Bendersky constants emerge naturally in the context of zeta and Bernoulli number derivatives?

Key findings

• The paper derives the identity $ (-1)^{n-1} n h(-n+1) = B_n' + n B_{n-1} + \gamma B_n - \sum_{k+l=n} \binom{n}{k} \frac{B_k}{k} B_l - B_n H_n $, linking Ramanujan summation of divergent Euler sums to derivatives of Bernoulli numbers.
• For $ n=1 $, the identity reduces to $ h(0) = \frac{1}{2}\gamma + \frac{1}{2} - \frac{1}{2}\log(2\pi) $, matching the Ramanujan summation of $ \sum H_n $.
• The authors show that the divergent series $ \sum H_n n^k $, when interpreted via Ramanujan summation, yields coefficients that relate directly to $ B_n' $ and $ h(-n+1) $.
• The contour integral method successfully extracts the $ n $-th coefficient of the generating function, yielding $ \frac{B_{n-1}}{(n-1)!} - \frac{(-1)^{n-1} h(-n+1)}{(n-1)!} + \frac{B_n'}{n!} $.
• The derivation reveals that $ \zeta'(2k+1) $ can be expressed in terms of $ B_n' $ via the functional equation of the zeta function, suggesting a new route to evaluating odd zeta values.
• The paper highlights a discrepancy between Apostol-Vu and Candelpergher-Coppo-Delabaere on the value of $ h(-k) $, suggesting the need for rigorous analysis of analytic continuation in divergent series.