{"entities":{"Q1231512":{"pageid":1242262,"ns":120,"title":"Item:Q1231512","lastrevid":68262696,"modified":"2026-04-12T22:32:45Z","type":"item","id":"Q1231512","labels":{"en":{"language":"en","value":"Some theorems on generalized Dedekind-Rademacher sums"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3531460"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1231512$81494223-065B-4499-B917-C70E4EC39B6C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9046aead0b3d8268b21d5ce18b06a623c3ad3c9","datavalue":{"value":{"text":"Some theorems on generalized Dedekind-Rademacher sums","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1231512$D729DDBE-E702-484D-9264-0DC98963F8EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da6e29f418fc9391b4267229b9d06b23ee6ad1b2","datavalue":{"value":"0341.10011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1231512$21E81DA2-430C-4B47-BD43-8CF9E88F7BA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6ba23c64cdecba444dd4de169161aa478e780d6","datavalue":{"value":{"entity-type":"item","numeric-id":759016,"id":"Q759016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1231512$A89C7D83-4969-4162-B46F-3C368AEF94A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1231512$CD30B655-2E20-46D1-B688-94DB64169294","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1231512$3EFF8800-3E4A-45B6-8DA1-56795E0B9FDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a96622fcd80af466935fa676e0d61d9bf562b120","datavalue":{"value":"https://projecteuclid.org/euclid.pjm/1103121468","type":"string"},"datatype":"url"},"type":"statement","id":"Q1231512$CBFE10C1-9612-41E8-B573-58B0D9FAB4A5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e34f91c21d1fbef06a8c6bd5d7e81aa7dc7a6ada","datavalue":{"value":"The Dedekind sum \\(s(h,k)\\) is defined by \\[ s(h,k)=\\sum_{a\\pmod k}\\left(\\left(\\frac ak\\right)\\right)\\left(\\left(\\frac{ha}k\\right)\\right), \\] where \\(((x))=x-[x]-\\frac 12\\) (\\(x\\neq\\) integer); \\(((x))=0\\) (\\(x=\\) integer). The most striking property of \\(s(h,k)\\) is the reciprocity theorem [\\textit{H. Rademacher} and \\textit{E. Grosswald}, Dedekind sums. Carus Mathematical Monographs (1972; Zbl 0251.10020), Ch. 2] \\[ 12hk(s(h,k)+s(k,h))=h^2-3hk+k^2+1\\quad ((h,k)=1). \\] \\textit{T. M. Apostol} [Duke Math. J. 17, 147--157 (1950; Zbl 0039.03801)] defined the generalized sum \\(s_n(h,k)=\\sum_{a\\pmod k}\\overline{B}_1\\left(\\frac ak\\right)\\overline{B}_n\\left(\\frac{ha}k\\right)\\), where \\(\\overline{B}_n(x)=B_n(x-[x])\\) and \\(\\frac{ze^{xz}}{e^z-1}=\\sum_{n=0}^\\infty B_n(x)\\frac{z^n}{n!}\\). The sum \\(s_n(h,k)\\) satisfies \\[ (n+1)\\left(hk^ns(h,k)+kh^ns(k,h)\\right)=(Bk+Bh)^{n+1}+nB_{n+1}\\quad ((h,k)=1)\\tag{*} \\] for all \\(n\\geq 0\\). A further generalization is given by \\[ \\varphi_{r,s}(h,k)=\\sum_{a\\pmod k}\\overline{B}_r\\left(\\frac ak\\right)\\overline{B}_s\\left(\\frac {ha}k\\right), \\] where \\(r,s\\) are arbitrary nonnegative integers. Put \\[ \\psi_{r,s}=\\sum_{t=0}^r (-1)^t\\binom rt k^t\\varphi_{r-t,s+t}(h,k). \\] The author [Nederl. Akad. Wet., Proc., Ser. A 77, 413--422 (1974; Zbl 0291.10005); Pac. J. Math. 3, 523--527 (1954; Zbl 0057.03703)] has proved the following reciprocity theorem that contains \\((*)\\) as a special case: \\[ (s+1)k^s\\psi_{r+1,s}(h,k)-(s+1)kB_{r+1}B_s=(r+1)h^r\\psi_{s+1,r}(k,h)-(r+1)hB_{s+1}B_r \\quad ((h,k)=1). \\] He has also proved that \\[ (u-1)\\sum_{r=1}^{k-1}u^{k-r-1}v^{[hr/k]}-(v-1)\\sum_{r=1}^{h-1}v^{h-r-1}u^{[hr/k]}=u^{k-1}-v^{h-1}\\quad ((h,k)=1), \\] where \\(u,v\\) are indeterminates. \\textit{H. Rademacher} [Acta Arith. 9, 7--105 (1964; Zbl 0128.27101)] has generalized \\(s(h,k)\\) in the form \\[ s(h,k;x,y)=\\sum_{a\\pmod k}\\left(\\left( h\\frac {a+y}{k}\\right)\\right)\\left(\\left(\\frac {a+y}k\\right)\\right), \\] where \\(x,y\\) are arbitrary real numbers. He proved that \\[ s(h,k;x,y)+s(k,h;y,x)=-\\frac 14\\delta(x)\\delta(y)+((x))((y))+\\frac 12\\left(\\frac hk\\overline{B}_2(y)+\\frac 1{hk}\\overline{B}_2(hy+kx)+\\frac kh\\overline{B}_2(x)\\right), \\] where \\((h,k)=1\\) and \\(\\delta(x)=1\\) (\\(x\\neq\\) integer); \\(\\delta(x)=0\\) (\\(x=\\) integer). For another proof see Acta Arith. 29, 309--313 (1976; Zbl 0282.10016). In the present paper \\[ \\varphi_{r,s}(h,k)=\\sum_{a\\pmod k}\\overline{B}_r\\left( h\\frac {a+y}k+x\\right)\\overline{B}_s\\left(\\frac {a+y}k\\right), \\] and \\[ \\psi_{r,s}(h,k;x,y)=\\sum_{j=0}^r (-1)^{r-j}\\binom rj h^{r-j}\\varphi_{j,r+s-j}(h,k;x,y). \\] It is proved that \\(\\psi_{r,s}(h,k;x,y)\\) satisfies \\[ (s+1)k^s\\psi_{r+1,s}(h,k; x,y)-(r+1)h^r\\psi_{s+1,r}(h,k; x,y)=(s+1)k\\overline{B}_{r+1}(x)\\overline{B}_s(y)-(r+1)h\\overline{B}_{s+1}(y)\\overline{B}_r(x) \\quad ((h,k)=1). \\] It is also proved that \\[ (1-v)\\sum_{a=0}^{k-1} u^{h-[(ha+z)/k]}v^a-(1-u)\\sum_{b=0}^{h-1} v^{k-[(kb+z)/h]}u^b=u^h-v^k, \\] where \\((h,k)=1\\), \\(z=kx+hy\\) and \\(u,v\\) are indeterminates. A number of additional results are also proved, for example \\[ \\sum_{a=0}^{k-1}\\left(h-\\left[\\frac{ha+z}{k}\\right]\\right)^r\\left((a+1)^s-a^s\\right)=\\sum_{b=0}^{h-1} \\left(k-\\left[\\frac{kb+z}{h}\\right]\\right)^s\\left((b+1)^r-b^r\\right), \\] where \\((h,k)=1\\), \\(r>0\\), \\(s>0\\) and \\(0\\leq z