Abstract:In this paper, we establish some reciprocity formulas for certain generalized Hardy-Berndt sums by using the Fourier series technique and some properties of the periodic zeta function and the Lerch zeta function. It turns out that one of Hardy's reciprocity theorems is deduced as a special case.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to establish the reciprocity formulas for some generalized Hardy - Berndt sums. Specifically, the author derives the reciprocity formulas for these generalized Hardy - Berndt sums by using Fourier series techniques and some properties of the periodic Zeta function and the Lerch Zeta function.
### Problem Background
The classical Dedekind sum \(s(a, b)\) arises from the transformation formula of the logarithm of the Dedekind eta function and is defined as:
\[
s(a,b)=\sum_{r = 0}^{|b|-1}\left(\left(\frac{r}{b}\right)\right)\left(\left(\frac{ar}{b}\right)\right)
\]
where \(\left(\left(x\right)\right)\) is the sawtooth function (also known as the first Bernoulli function), defined as:
\[
\left(\left(x\right)\right)=\begin{cases}
\{x\}-\frac{1}{2},&\text{if }x\in\mathbb{R}\setminus\mathbb{Z},\\
0,&\text{if }x\in\mathbb{Z}.
\end{cases}
\]
For two relatively prime positive integers \(a\) and \(b\), the Dedekind sum satisfies the following reciprocity theorem:
\[
s(a,b)+s(b,a)=-\frac{1}{4}+\frac{1}{12}\left(\frac{a}{b}+\frac{b}{a}+\frac{1}{ab}\right)
\]
Hardy provided different proof methods in 1905 and also proposed some reciprocity theorems for similar arithmetic sums. For example, for two relatively prime odd positive integers \(a\) and \(b\), Hardy gave the following reciprocity formula:
\[
s_5(a,b)+s_5(b,a)=\frac{1}{2}-\frac{1}{2ab}
\]
where \(s_5(a,b)\) is the Hardy sum (also known as the Hardy - Berndt sum), defined as:
\[
s_5(a,b)=\sum_{r = 0}^{|b|-1}(-1)^r\left[\frac{ar}{b}\right]\left(\left(\frac{r}{b}\right)\right)
\]
### Main Contributions of the Paper
The main objective of this paper is to give some new generalizations of the above - mentioned reciprocity formula (1.3). To this end, the author considers the following generalized Hardy - Berndt sum:
\[
S_m^{(5)}\left(\frac{a}{b}\frac{c}{x}\frac{y}{z}\right)=\sum_{r = 0}^{|c|-1}(-1)^rE_m\left(\frac{a(r + z)}{c}-x\right)B_n\left(\frac{b(r + z)}{c}-y\right)
\]
where \(E_n(x)\) is the \(n\)-th quasi - periodic Euler function and \(B_n(x)\) is the \(n\)-th Bernoulli function.
By using Fourier series techniques and the properties of the periodic Zeta function and the Lerch Zeta function, the author establishes the reciprocity formulas for the generalized Hardy - Berndt sums. In particular, when \(m = n=x=y = z=0\), the assumption \((a, b)=1\) in the reciprocity formula (1.3) can be removed, and the following result is obtained:
\[
s_5(a,b)+s_5(b,a)=\frac{1}{2}-\frac{(a, b)^2}{2ab}
\]
More generally, the author also obtains the following