主題
Search

Apéry 數

DOWNLOAD Mathematica Notebook下載 Wolfram 筆記本

Apéry 數由下式定義

A_n=sum_(k=0)^(n)(n; k)^2(n+k; k)^2
(1)
=sum_(k=0)^(n)([(n+k)!]^2)/((k!)^4[(n-k)!]^2)
(2)
=_4F_3(-n,-n,n+1,n+1;1,1,1;1),
(3)

其中 (n; k) 是一個 二項係數。 前幾個數，對於 n=0, 1, 2, ... 是 1, 5, 73, 1445, 33001, 819005, ... (OEIS A005259)。

前幾個素數 Apéry 數是 5, 73, 12073365010564729, 10258527782126040976126514552283001, ... (OEIS A092826)，它們的索引是 n=1, 2, 12, 24, ... (OEIS A092825)。

r=2 情況下的 施密特問題 將這些數表示為形式

sum_(k=0)^n(n; k)^2(n+k; k)^2=sum_(k=0)^nsum_(j=0)^n(n; k)(n+k; k)(k; j)^3
(4)

（Strehl 1993, 1994; Koepf 1998, p. 55）。

它們也由 遞推方程 給出

A_n=((34n^3-51n^2+27n-5)A_(n-1)-(n-1)^3A_(n-2))/(n^3)
(5)

其中 A_0=1 且 A_1=5 (Beukers 1987)。

還有一組相關的數

B_n=sum_(k=0)^(n)(n; k)^2(n+k; k)
(6)
=_3F_2(-n,-n,n+1;1,1;1)
(7)

(Beukers 1987)，其中 _3F_2(a,b,c;d,e;z) 是一個 廣義超幾何函式。 對於 n=0, 1, ... 的值是 1, 3, 19, 147, 1251, 11253, 104959, ... (OEIS A005258)。 前幾個素數 B 數是 5, 73, 12073365010564729, 10258527782126040976126514552283001, ... (OEIS A092827)，它們的索引是 n=1, 2, 6, 8, ... (OEIS A092828)，對於 n<4.5×10^4 沒有其他的 (Weisstein, Mar. 8, 2004)。

B_n 數也由遞推方程給出

B_n=((n-1)^2B_(n-2)+(11n^2-11n+3)B_(n-1))/(n^2)
(8)

其中 B_0=1 且 B_1=3。

A_n 和 B_n 都出現在 Apéry 對 zeta(2) 和 zeta(3) 的無理性的證明中 (van der Poorten 1979, Beukers 1987)。 它們滿足一些令人驚訝的同餘性質，

A_(mp^r-1)=A_(mp^(r-1)-1) (mod p^(3r))
(9)
B_(mp^r-1)=B_(mp^(r-1)-1) (mod p^(3r))
(10)

對於 p 一個 素數 >=5 且 m,r in N (Beukers 1985, 1987)，以及

B_((p-1)/2)={4a^2-2p (mod p) if p=a^2+b^2, a odd; 0 (mod p) if p=3 (mod 4)
(11)

(Stienstra and Beukers 1985, Beukers 1987)。 定義 gamma_n 來自 生成函式

sum_(n=1)^(infty)gamma_nq^n=qproduct_(n=1)^(infty)(1-q^(2n))^4(1-q^(4n))^4
(12)
=q(q^2;q^2)_infty^4(q^4;q^4)_infty^4,
(13)

其中 (a;q)_infty 是一個 q-Pochhammer 符號，給出 gamma_n 為 1, -4, -2, 24, -11, -44, ... (OEIS A030211; Koike 1984) 對於 n=1, 3, 5, ..., 並且

A_((p-1)/2)=gamma_p (mod p)
(14)

對於 p 一個 奇素數 (Beukers 1987)。 此外，對於 p 一個 奇素數 且 m,r in N,

A_((mp^r-1)/2)-gamma_pA_((mp^(r-1)-1)/2)+p^3A_((mp^(r-2)-1)/2)=0 (mod p^r)
(15)

(Beukers 1987)。

Apéry 數由恆等式 A_n=A_(nn) 中的對角線元素給出

A_(mn)=sum_(k=-infty)^(infty)sum_(j=-infty)^(infty)(m; k)^2(n; k)^2(2m+n-j-k; 2m)
(16)
=sum_(k=-infty)^(infty)(m+n-k; k)^2(m+n-2k; m-k)^2
(17)
=sum_(k=-infty)^(infty)(m; k)(n; k)(m+k; k)(n+k; k)
(18)

(Koepf 1998, p. 119)。

另請參閱

二項式求和, 整數序列素數, 施密特問題

使用 探索

參考文獻

Apéry, R. "zeta(2) 和 zeta(3) 的無理性。" Astérisque 61, 11-13, 1979.Apéry, R. "連分數的插值和某些常數的無理性。" Mathématiques, Ministère universités (France), Comité travaux historiques et scientifiques. Bull. Section Sciences 3, 243-246, 1981.Beukers, F. "Apéry 數的一些同餘式。" J. Number Th. 21, 141-155, 1985.Beukers, F. "Apéry 數的另一個同餘式。" J. Number Th. 25, 201-210, 1987.Chowla, S.; Cowles, J.; 和 Cowles, M. "Apéry 數的同餘性質。" J. Number Th. 12, 188-190, 1980.Gessel, I. "Apéry 數的一些同餘式。" J. Number Th. 14, 362-368, 1982.Koepf, W. "超幾何恆等式。" 第 2 章，超幾何求和：求和與特殊函式恆等式的演算法方法。 Braunschweig, Germany: Vieweg, pp. 29 和 119, 1998.Koike, M. "關於 McKay 的猜想。" Nagoya Math. J. 95, 85-89, 1984.Schmidt, A. L. "勒讓德變換和 Apéry 序列。" J. Austral. Math. Soc. Ser. A 58, 358-375, 1995.Sloane, N. J. A. 序列 A005258/M3057, A005259/M4020, A030211, A092825, A092826, A092827, 和 A092828 在 "整數序列線上百科全書" 中。Stienstra, J. 和 Beukers, F. "關於某些橢圓 K3 曲面的 Picard-Fuchs 方程和形式 Brauer 群。" Math. Ann. 271, 269-304, 1985.Strehl, V. "二項式求和與恆等式。" Maple Technical Newsletter 10, 37-49, 1993.Strehl, V. "二項式恆等式——組合和演算法方面。" Discrete Math. 136, 309-346, 1994.van der Poorten, A. "尤拉錯過的證明... Apéry 對 zeta(3) 無理性的證明。" Math. Intel. 1, 196-203, 1979.

在 上被引用

Apéry 數

請引用本文為

Weisstein, Eric W. "Apéry 數。" 來自 --一個 資源。 https://mathworld.tw/AperyNumber.html

主題分類