In mathematics, Dedekind sums are certain sums of products of a sawtooth function, and are given by a function D of three integer variables. Dedekind introduced them to express the functional equation of the Dedekind eta function. They have subsequently been much studied in number theory, and have occurred in some problems of topology. Dedekind sums have a large number of functional equations; this article lists only a small fraction of these.
Dedekind sums were introduced by Richard Dedekind in a commentary on fragment XXVIII of Bernhard Riemann's collected papers.
(()):R → R
((x))=\begin{cases} x-\lfloorx\rfloor-1/2,&ifx\inR\setminusZ;\\ 0,&ifx\inZ. \end{cases}
We then let
D:Z2 x (Z-\{0\})\toR
be defined by
| c-1 | |
| D(a,b;c)=\sum | |
| n=1 |
\left(\left(
| an | |
| c |
\right)\right)\left(\left(
| bn | |
| c |
\right)\right),
the terms on the right being the Dedekind sums. For the case a = 1, one often writes
s(b, c) = D(1, b; c).
Note that D is symmetric in a and b, and hence
D(a,b;c)=D(b,a;c),
and that, by the oddness of,
D(−a, b; c) = −D(a, b; c),
D(a, b; −c) = D(a, b; c).
By the periodicity of D in its first two arguments, the third argument being the length of the period for both,
D(a, b; c) = D(a+kc, b+lc; c), for all integers k,l.
If d is a positive integer, then
D(ad, bd; cd) = dD(a, b; c),
D(ad, bd; c) = D(a, b; c), if (d, c) = 1,
D(ad, b; cd) = D(a, b; c), if (d, b) = 1.
There is a proof for the last equality making use of
| c-1 | |
| \sum | |
| n=1 |
\left(\left(
| n+x | |
| c |
\right)\right)=((x)), \forallx\inR.
Furthermore, az = 1 (mod c) implies D(a, b; c) = D(1, bz; c).
If b and c are coprime, we may write s(b, c) as
| s(b,c)= | -1 |
| c |
| \sum | + | ||||
|
| 1 | |
| 4 |
-
| 1 | |
| 4c |
,
where the sum extends over the c-th roots of unity other than 1, i.e. over all
\omega
\omegac=1
\omega\not=1
If b, c > 0 are coprime, then
| s(b,c)= | 1 |
| 4c |
| c-1 | |
| \sum | |
| n=1 |
\cot\left(
| \pin | |
| c |
\right) \cot\left(
| \pinb | |
| c |
\right).
If b and c are coprime positive integers then
s(b,c)+s(c,b)=
| 1 | \left( | |
| 12 |
| b | + | |
| c |
| 1 | + | |
| bc |
| c | \right)- | |
| b |
| 1 | |
| 4 |
.
Rewriting this as
12bc\left(s(b,c)+s(c,b)\right)=b2+c2-3bc+1,
it follows that the number 6c s(b,c) is an integer.
If k = (3, c) then
12bcs(c,b)=0\modkc
and
12bcs(b,c)=b2+1\modkc.
A relation that is prominent in the theory of the Dedekind eta function is the following. Let q = 3, 5, 7 or 13 and let n = 24/(q − 1). Then given integers a, b, c, d with ad − bc = 1 (thus belonging to the modular group), with c chosen so that c = kq for some integer k > 0, define
\delta=s(a,c)-
| a+d | |
| 12c |
-s(a,k)+
| a+d | |
| 12k |
Then nδ is an even integer.
Hans Rademacher found the following generalization of the reciprocity law for Dedekind sums:[1] If a, b, and c are pairwise coprime positive integers, then
| D(a,b;c)+D(b,c;a)+D(c,a;b)= | 1 |
| 12 |
| a2+b2+c2 | - | |
| abc |
| 1 | |
| 4 |
.
a2+b2+c2=3abc.