Dual Bases for Analytic Bernoulli Functions
Ken Nagai
TL;DR
This work develops a dual-basis framework for analytic Bernoulli functions, revealing a Hurwitz-based basis encoding even zeta values $\zeta(2m)$ and a Clausen-based basis encoding odd Dirichlet beta values $\beta(2m{+}1)$, with both arising from a common Heisenberg–Weyl ladder. The two bases form a dual system connected by the Poisson–Lerch transform, yielding explicit orthogonality relations that strictly separate the two zeta channels. Cross-branch pairings vanish, and a rotated-weight interpolation shows a continuous path between the beta- and zeta-branches. Low-degree checks corroborate the rational evaluations, and appendices link the framework to selector kernels, Poisson summation, and oscillator analogies, unifying several perspectives on analytic Bernoulli functions.
Abstract
We present a dual-basis framework for analytic Bernoulli functions. On the Hurwitz side, even zeta values arise, while on the Clausen side, odd zeta values appear. Both bases are generated by the same Heisenberg--Weyl ladder and are linked by the Poisson--Lerch transform, which plays the role of a Fourier bridge. The resulting orthogonality relations isolate $ζ(2m)$ and $β(2m{+}1)$ in strictly separated channels. Low-degree examples confirm the rational evaluations, and appendices connect the picture with selector kernels, Poisson summation, and oscillator analogies.
