Generalized Knopp Identities for Homogeneous Hardy Sums and Cochrane-Hardy Sums

Huaning Liu,Jing Gao
DOI: https://doi.org/10.1007/s10587-012-0069-7
2012-01-01
Abstract:Let q, h, a, b be integers with q > 0. The classical and the homogeneous Dedekind sums are defined by s(h,q) = ∑_j = 1^q ( ( j q))( ( hj q)),s(a,b,q) = ∑_j = 1^q ( ( aj q))( ( bj q)), respectively, where ((x)) = { x - [x] - 12,if x is not an integer; 0,if x is an integer. . The Knopp identities for the classical and the homogeneous Dedekind sum were the following: ∑_d|n∑_r = 1^d s( n da + rq,dq) = σ (n)s(a,q), ∑_d|n∑_r_1 = 1^d ∑_r_2 = 1^d s ( n da + r_1q,n db + r_2q,dq) = nσ (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.
What problem does this paper attempt to address?