A three variable identity connected with Dedekind sums (Q1893265)

In an earlier paper [\textit{G. R. H. Greaves}, \textit{R. R. Hall}, \textit{M. Huxley}, and \textit{J. Wilson}, Mathematika 40, No. 1, 51-70 (1993; Zbl 0791.11029)] it was shown that integrals of the form \[ J(a_1, a_2, \ldots, a_n) = {1 \over A_n} \int^{A_n}_0 \rho \left( {x \over a_1} \right) \rho \left( {x \over a_2} \right) \cdots \rho \left( {x \over a_n} \right) dx \] need not be elementary. Here \(\rho (x) = [x] - x + {1 \over 2}\), and the \(a_i\) are positive integers with product \(A_n\). For example, when \(n = 4\) the values of the integrals involve Dedekind sums and related cotangent sums. This paper shows that the sum of the three integrals in which the variables are permuted cyclically, i.e. \[ J(k,km,l,lm) + J(l,lk,m,mk) + J(m,ml,k,kl), \] is elementary if \(k,l,m\) are pairwise coprime. The proof uses residue calculus to derive a three term relation involving cotangent sums that includes, as special cases, a classical identity of Rademacher for Dedekind sums, and the reviewer's reciprocity formula for generalized Dedekind sums. It is also shown that each individual integral \(J(k,km,l,lm)\) is not elementary.