Generalized Knopp identities for homogeneous Hardy sums and Cochrane-Hardy sums

Abstract

Let q, h, a, b be integers with q > 0. The classical and the homogeneous Dedekind sums are defined by

$$s(h,q) = \sum\limits_{j = 1}^q {\left( {\left( {{j \over q}} \right)} \right)\left( {\left( {{{hj} \over q}} \right)} \right),{\rm{ }}s(a,b,q) = \sum\limits_{j = 1}^q {\left( {\left( {{{aj} \over q}} \right)} \right)\left( {\left( {{{bj} \over q}} \right)} \right),} } $$

respectively, where

$((x)) = \left\{ \begin{gathered} x - [x] - \tfrac{1} {2},if x is not an integer; \hfill \\ 0,if x is an integer. \hfill \\ \end{gathered} \right. $

The Knopp identities for the classical and the homogeneous Dedekind sum were the following:

$$\sum\limits_{d|n} {\sum\limits_{r = 1}^d {s\left( {{n \over d}a + rq,dq} \right) = \sigma (n)s(a,q),} } $$

$$\sum\limits_{d|n} {\sum\limits_{{r_1} = 1}^d {\sum\limits_{{r_2} = 1}^d s \left( {{n \over d}a + {r_1}q,{n \over d}b + {r_2}q,dq} \right) = n\sigma (n)s(a,b,q),} } $$

where σ(n) =Σ _d|n d.

In this paper generalized homogeneous Hardy sums and Cochrane-Hardy sums are defined, and their arithmetic properties are studied. Generalized Knopp identities for homogeneous Hardy sums and Cochrane-Hardy sums are given.