A three variable identity connected with Dedekind sums (Q1893265): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Generalized Dedekind sums and transformation formulae of certain Lambert series / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Theorems on generalized Dedekind sums / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4116506 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Multiple Franel integrals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On reciprocity formulae for inhomogeneous and homogeneous Dedekind sums / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Generalization of the reciprocity formula for Dedekind sums / rank | |||
Normal rank |
Latest revision as of 15:10, 23 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A three variable identity connected with Dedekind sums |
scientific article |
Statements
A three variable identity connected with Dedekind sums (English)
0 references
7 August 1995
0 references
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.
0 references
Dedekind sums
0 references
cotangent sums
0 references