Abstract:Hickerson made an explicit formula for Dedekind sums $s(p,q)$ in terms of the continued fraction of $p/q$. We develop analogous formula for generalized Dedekind sums $s_{i,j}(p,q)$ defined in association with the $x^{i}y^{j}$-coefficient of the Todd power series of the lattice cone in $\Bbb{R}^2$ generated by $(1,0)$ and $(p,q)$. The formula generalizes Hickerson's original one and reduces to Hickerson's for $i=j=1$. In the formula, generalized Dedekind sums are divided into two parts: the integral $s^I_{ij}(p,q)$ and the fractional $s^R_{ij}(p,q)$. We apply the formula to Siegel's formula for partial zeta values at a negative integer and obtain a new expression which involves only $s^I_{ij}(p,q)$ the integral part of generalized Dedekind sums. This formula directly generalize Meyer's formula for the special value at $0$. Using our formula, we present the table of the partial zeta value at $s=-1$ and $-2$ in more explicit form. Finally, we present another application on the equidistribution property of the fractional parts of the graph $\Big{(}\frac{p}{q},R_{i+j}q^{i+j-2} s_{ij}(p,q)\Big{)}$ for a certain integer $R_{i+j}$ depending on $i+j$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to develop a high - order Hickerson formula, that is, to provide an explicit formula for the generalized Dedekind sum \(s_{i,j}(p,q)\), which is based on the continued fraction expansion of \(p/q\). Specifically, the goals of the paper are:
1. **Provide an explicit formula for the generalized Dedekind sum**: Similar to what Hickerson did for the classical Dedekind sum \(s(p,q)\), the author hopes to provide a similar explicit formula for the generalized Dedekind sum \(s_{i,j}(p,q)\). This formula should be able to decompose the generalized Dedekind sum into an integer part \(s_I^{i,j}(p,q)\) and a fractional part \(s_R^{i,j}(p,q)\).
2. **Apply to the calculation of partial zeta values**: Using the above formula, the author hopes to improve Siegel's formula for the partial zeta values of ideals in real quadratic fields at non - positive integer points. In particular, the author hopes to obtain a new expression that only involves the integer part \(s_I^{i,j}(p,q)\) of the generalized Dedekind sum.
3. **Study the distribution properties of the generalized Dedekind sum**: The author also hopes to explore the uniform distribution properties of the fractional part \(s_R^{i,j}(p,q)\) of the generalized Dedekind sum in the unit interval. Specifically, the author hopes to prove that the fractional part of the graph of the form \(\left( \frac{p}{q}, R_{i + j}q^{i + j-2}s_{i,j}(p,q) \right)\) is uniformly distributed in \([0,1)^2\).
### Formula details
- **Definition of the generalized Dedekind sum**:
\[
s_{i,j}(p,q)=\sum_{k = 0}^{q-1}\bar{B}_i\left(\frac{k}{q}\right)\bar{B}_j\left(\frac{pk}{q}\right)
\]
where \(\bar{B}_i(x)\) is the \(i\)-th periodic Bernoulli function.
- **Explicit formula**:
\[
s_{i,j}(p,q)=\frac{1}{q^{i + j-2}}s_I^{i,j}(p,q)+\frac{1}{q^{i + j-1}}s_R^{i,j}(p,q)
\]
where \(s_I^{i,j}(p,q)\) and \(s_R^{i,j}(p,q)\) represent the integer part and the fractional part respectively, and they can be expressed in terms of the terms of the continued fraction expansion of \(p/q\).
- **Integer part \(s_I^{i,j}(p,q)\)**:
\[
s_I^{i,j}(p,q)=e!f!\sum_{\alpha+\beta = e}\left[\sum_{k=-1}^{n-1}(-1)^{k + 1}f_k(\alpha,\beta)+\frac{B_N}{N!}\sum_{k = 0}^{n-1}(-1)^ka_{k+1}g_k(\alpha,\beta)\right]
\]
- **Fractional part \(s_R^{i,j}(p,q)\)**:
\[
s_R^{i,j}(p,q)=e!f!\frac{B_N}{N!}\left[\binom{N-1}{f}p^f+(-1)^e(n - 1)\binom{N-1}{e}(q^{n-1})^e\right]
\]
### Applications
1. **Calculation of partial zeta values**:
- Through the above formula, the author obtains an improved Siegel formula, which only involves the integer part \(s_I^{i,j}(p,q)\) of the generalized Dedekind sum.
- For example, for \(s=-1\)