主題
Search

戴德金和

DOWNLOAD Mathematica Notebook下載 Wolfram Notebook

給定互素 整數 p 和 q (即，(p,q)=1)，戴德金和定義為

s(p,q)=sum_(i=1)^q((i/q))(((pi)/q)),
(1)

其中

((x))={x-|_x_|-1/2 x not in Z; 0 x in Z,
(2)

其中 |_x_| 是向下取整函式。((x)) 是一個奇函式，因為 ((x))=-((-x)) 且以 1 為週期。即使 (p,q)!=1，戴德金和也是有意義的，因此互素的限制有時會被取消（Apostol 1997, p. 72）。符號 s(p,q) 有時被用來代替 s(p,a) (Beck 2000)。

戴德金和也可以用以下形式表示

s(p,q)=1/(4q)sum_(r=1)^(q-1)cot((pipr)/q)cot((pir)/q).
(3)

如果 0<h<k，令 r_0, r_1, ..., r_(n+1) 表示歐幾里得演算法中的餘數，由下式給出

r_0=k
(4)
r_1=h
(5)
r_(j+1)=r_(j-1) (mod r_j)
(6)

對於 1<=r_(j+1)<r_j 且 r_(n+1)=1。那麼

s(h,k)=1/(12)sum_(j=1)^(n+1){(-1)^(j+1)(r_j^2+r_(j-1)^2+1)/(r_jr_(j-1))}-((-1)^n+1)/8
(7)

(Apostol 1997, pp. 72-73)。

一般來說，對於 s(p,q) 的閉式求值沒有簡單的公式，但有一些特殊情況是

s(1,q)=((q-1)(q-2))/(12q)
(8)
s(2,q odd)=((q-1)(q-5))/(24q)
(9)

(Apostol 1997, p. 62)。Apostol (1997, p. 73) 給出了額外的特殊情況

12hks(h,k)=(k-1)(k-h^2-1) for k=1 (mod h)
(10)
12hks(h,k)=(k-2)[k-1/2(h^2+1)] for k=2 (mod h)
(11)
12hks(h,k)=k^2+(h^2-6h+2)k+h^2+1 for k=-1 (mod h)
(12)
12hks(h,k)=k^2-(h^2-t(r-1)(r-2)h+r^2+1)/rk+h^2+1
(13)

對於 k=r (mod h) 和 h=t (mod r)，其中 r>=1 且 t=+/-1。最後，

12hks(h,k)=k^2-(h^2+4r(t-2)(t+2)h+26)/5k+h^2+1
(14)

對於 k=5 (mod h) 和 h=t (mod 5)，其中 t=+/-1 或 +/-2。

戴德金和服從二項

s(p,q)+s(q,p)=-1/4+1/(12)(p/q+q/p+1/(pq))
(15)

(Dedekind 1953; Rademacher and Grosswald 1972; Pommersheim 1993; Apostol 1997, pp. 62-64) 和三項

s(bc^',a)+s(ca^',b)+s(ab^',c)=-1/4+1/(12)(a/(bc)+b/(ca)+c/(ab))
(16)

(Rademacher 1954) 互反律，其中 a, a^'; b, b^'; 和 c, c^' 是兩兩互素的，並且

aa^'=1 (mod b)
(17)
bb^'=1 (mod c)
(18)
cc^'=1 (mod a)
(19)

(Pommersheim 1993)。

6qs(p,q) 是一個整數 (Rademacher and Grosswald 1972, p. 28)，並且如果 theta=(3,q)，那麼

12pqs(p,q)=0 (mod thetap)
(20)

並且

12pqs(q,p)=q^2+1 (mod thetap).
(21)

此外，s(p,q) 滿足同餘式

12qs(p,q)=(q-1)(q+2)-4p(q-1)+4sum_(r<q/2)|_(2pr)/q_| (mod 8),
(22)

如果 q 是奇數，則變為

12qs(p,q)=q-1+4sum_(r<q/2)|_(2pr)/q_| (mod 8)
(23)

(Apostol 1997, pp. 65-66)。如果 q=3, 5, 7, 或 13，令 r=24/(q-1)，令整數 a, b, c, d 滿足 ad-bc=1 使得 c=c_1q 且 c_1>0，並令

delta={s(a,c)-(a+d)/(12c)}-{s(a,c_1)-(a+d)/(12c_1)}.
(24)

那麼 rdelta 是一個偶數 (Apostol 1997, pp. 66-69)。

令 p, q, u, v in N 且 (p,q)=(u,v)=1 (即，兩兩互素)，那麼戴德金和也滿足

s(p,q)+s(u,v)=s(pu^'-qv^',pv+qu)-1/4+1/(12)(q/(vt)+v/(tq)+t/(qv)),
(25)

其中 t=pv+qu，並且 u^', v^' 是滿足 uu^'+vv^'=1 的任意整數 (Pommersheim 1993)。

如果 p 是素數，那麼

(p+1)s(h,k)=s(ph,k)+sum_(m=0)^(p-1)s(h+mk,pk)
(26)

(Dedekind 1953; Apostol 1997, p. 73)。此外，Knopp (1980) 對其進行了漂亮的推廣。

另請參閱

戴德金Eta函式, Iseki公式

使用 探索

參考文獻

Apostol, T. M. "戴德金和的性質", "戴德金和的互反律", 和 "戴德金和的同餘性質"。§3.7-3.9 in 數論中的模函式與狄利克雷級數，第二版。 New York: Springer-Verlag, pp. 52 and 61-69, 1997.Apostol, T. M. Ch. 12 in 解析數論導論。 New York: Springer-Verlag, 1976.Beck, M. "戴德金餘切和" 2001年12月7日. http://arxiv.org/abs/math.NT/0112077.Dedekind, R. "關於片段 XXVIII 的說明。" In 伯恩哈德·黎曼全集。 New York: Dover, pp. 466-478, 1953.Iseki, S. "戴德金模函式及其相關函式方程的變換公式。" Duke Math. J. 24, 653-662, 1957.Knopp, M. I. "赫克運算元與戴德金和的恆等式。" J. Number Th. 12, 2-9, 1980.Pommersheim, J. "環面簇、格點和戴德金和。" Math. Ann. 295, 1-24, 1993.Rademacher, H. "戴德金和互反公式的推廣。" Duke Math. J. 21, 391-398, 1954.Rademacher, H. and Grosswald, E. 戴德金和。 Washington, DC: Math. Assoc. Amer., 1972.Rademacher, H. and Whiteman, A. L. "關於戴德金和的定理。" Amer. J. Math. 63, 377-407, 1941.

在 中被引用

戴德金和

請引用為

Eric W. Weisstein "戴德金和。" 來自 Web 資源。 https://mathworld.tw/DedekindSum.html

主題分類