戴德金和
维基百科,自由的百科全书
戴德金和(Dedekind sum)是數學家戴德金在跟戴德金η函數有關的工作中提出的。
定義這個函數,首先要定義((x)):若x是整數,((x)) = 0,否則為x − [x] − 0.5,其中[x]是最大而又不大於x的整數。
對於非零整數h,k,戴德金和s(h,k)定義為
若h,k互質且均大於0,有
[编辑] 公式
- 有公因數時:s(ch,ck) = s(h,k)
- Petersson-Knopp恆等式:,σ(n)為因數函數,是n的正因數之和。其中一個較易證明的特例為當p為質數,
- 周期性:s(nk + h,k) = s(h,k)
- 若,s(p,k) = s(q,k)。
- 若k為奇數,
- 對於,12hks(h,k) = (k − 1)(k − (h2 + 1))
- 對於,12hks(h,k) = (k − 2)(k − (h2 + 1) / 2)
- 對於,12hks(h,k) = k2 + (h2 − 6h + 2)k + (h2 + 1)
- 互反和: