Abstract:We study a generalization of the classical Dedekind sum that incorporates two Dirichlet characters and develop properties that generalize those of the classical Dedekind sum. By calculating the Fourier transform of this generalized Dedekind sum, we obtain an explicit formula for its second moment. Finally, we derive upper and lower bounds for the second moment with nearly identical orders of magnitude.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study the properties of the generalized Dedekind sum, and by calculating its Fourier transform, obtain an explicit formula for its second - order moment. In addition, the author also derives the upper and lower bounds of this second - order moment.
Specifically:
1. **Definition and Properties of the Generalized Dedekind Sum**:
- The author introduces a generalized Dedekind sum \( S_{\chi_1, \chi_2}(\gamma) \) that contains two Dirichlet characters, where \( \chi_1 \) and \( \chi_2 \) are non - trivial primitive characters modulo \( q_1 \) and \( q_2 \).
- The definition of the generalized Dedekind sum is:
\[
S_{\chi_1, \chi_2}(\gamma)=\sum_{j \bmod c} \sum_{n \bmod q_1} \chi_2(j) \chi_1(n) B_1\left(\frac{j}{c}\right) B_1\left(\frac{n}{q_1}+\frac{aj}{c}\right)
\]
where \( B_1(x) \) is the first Bernoulli function.
2. **Main Results**:
- The author's main result is an exact formula for the second - order moment of the generalized Dedekind sum, which generalizes the result of Walum in [11].
- Theorem 1.1 gives the explicit formula for the second - order moment:
\[
\sum_{a \bmod c,(a,c) = 1}\left|S_{\chi_1, \chi_2}(a,c)\right|^{2}=\phi(c)\frac{1}{\pi^{4}}\sum_{\psi \bmod c, \psi \chi_1(- 1)=- 1}\left|L(1,\psi^{\star}\chi_1)\right|^{2}\left|L(1,(\psi\chi_2)^{\star})\right|^{2}\left|g_{\chi_1, \chi_2}(\psi; c)\right|^{2}
\]
where \( g_{\chi_1, \chi_2}(\psi; c) \) is a complex expression involving Gauss sums.
3. **Upper and Lower Bounds**:
- The author also provides estimates of the upper and lower bounds of the second - order moment:
\[
\sum_{a \bmod c,(a,c) = 1}\left|S_{\chi_1, \chi_2}(a,c)\right|^{2}=q_1c^{2}+o(1)
\]
4. **Further Work**:
- The paper finally mentions that future work can include more refined asymptotic estimates of the second - order moment, as well as asymptotic analysis of higher - order moments.
In summary, this paper aims to expand the understanding of the classical Dedekind sum by introducing the generalized Dedekind sum and studying its properties, especially the exact formula for its second - order moment and its upper and lower bounds.