主題
Search

j-函式

下載 Mathematica Notebook下載 Wolfram Notebook
jFunctionReIm
jFunctionContours

j-函式 j 是由以下定義的模函式

j(tau)=1728J(tau),
(1)

其中 tau 是半週期比，I[tau]>0,

J(tau)=4/(27)([1-lambda(tau)+lambda^2(tau)]^3)/(lambda^2(tau)[1-lambda(tau)]^2)
(2)

是 Klein 的絕對不變數，lambda(tau) 是橢圓 lambda 函式

lambda(tau)=(theta_2^4(e^(ipitau)))/(theta_3^4(e^(ipitau))),
(3)

theta_i(0,q) 是 Jacobi theta 函式，

q=e^(ipitau)
(4)

是 諾姆，且 1728=12^3。

高斯顯然在 1800 年之前就意識到了 j-函式 j。埃爾米特在 1858 年左右用它來解五次方程。戴德金在 1877 年左右給出了一個很好的定義，克萊因從 1879 年或 1880 年開始研究這個函式。j-函式 j 與怪物群的群階因子和超奇異素數有關 (Ogg 1980)。

這個函式也可以用 Weber 函式 f、f_1、f_2、gamma_2 和 gamma_3 表示為

j(tau)=([f^(24)(tau)-16]^3)/(f^(24)(tau))
(5)
=([f_1^(24)(tau)+16]^3)/(f_1^(24)(tau))
(6)
=([f_2^(24)(tau)+16]^3)/(f_2^(24)(tau))
(7)
=gamma_2^3(tau)
(8)
=gamma_3^2(tau)+1728
(9)

(Weber 1979, p. 179; Atkin and Morain 1993)。

j-函式 j 是上半平面上的解析函式，對於特殊線性群 SL(2,Z) 是不變的。它具有傅立葉級數

j(q^_)=sum_(n=-infty)^inftyc(n)q^_^n,
(10)

其中

q^_=q^2=e^(2piitau).
(11)

j(q^_) 因此透過 J(tau) 相關

j(q^_)=1728J(-(ilnq^_)/(2pi)).
(12)

j-函式 j 的展開式中的係數滿足

1. c(n)=0 對於 n<-1 和 c(-1)=1，

2. 所有 c(n) 都是整數，相對於 n 增長相當有限，並且

3. j(tau) 是代數數，有時是有理數，有時甚至是整數，在 tau 的某些非常特殊的值處。

後一個結果是複數乘法的龐大而優美理論的最終結果，也是 Kronecker 所謂的“Jugendtraum”的第一步。

因此，洛朗級數中的所有係數

j(q^_)=1/(q^_)+744+196884q^_+21493760q^_^2 +864299970q^_^3+20245856256q^_^4+333202640600q^_^5+...
(13)

(OEIS A000521) 都是正整數 (Rankin 1977, Apostol 1997)。Berwick (1916) 計算了前七個 c(n)，Zuckerman (1939) 找到了前 24 個，van Wijngaarden (193) 給出了前 100 個。

一些涉及 j(tau) 的顯著求和公式，其中 tau in H，其中 H 是上半平面，且 c(n) 包括

j(q^_)=([1+240sum_(n=1)^(infty)sigma_3(n)q^_^n]^3)/(q^_product_(n=1)^(infty)(1-q^_^n)^(24))
(14)
=(E_4^3(sqrt(q^_)))/(q(q^_)_infty^(24))
(15)
=([theta_2^8(sqrt(q^_))+theta_3^8(sqrt(q^_))+theta_2^4(sqrt(q^_))]^3)/(8q^_(q^_)_infty^(24)),
(16)

其中 E_4(q) 是 Eisenstein 級數，(q)_infty 是 q-Pochhammer 符號，並且

[-1+504sum_(n=1)^inftysigma_5(n)q^_^n]^2=[j(q^_)-12^3]sum_(n=1)^inftytau(n)q^_^n,
(17)

其中 sigma_k(n) 是除數函式，且 tau(n) 是 tau 函式（不要與半週期比 tau 混淆）。此外，

504^2[-2/(504)sigma_5(n)+sum_(k=1)^(n-1)sigma_5(k)sigma_5(n-k)] =tau(n+1)-984tau(n)+sum_(k=1)^(n-1)c(k)tau(n-k) (65520)/(691)[sigma_(11)(n)-tau(n)] =tau(n+1)+24tau(n)+sum_(k=1)^(n-1)c(k)tau(n-k)
(18)

(Lehmer 1942; Apostol 1997, p. 92)。這些與 Eisenstein 級數密切相關。

公式 (18) 立即導致了顯著的同餘式

tau(n)=sigma_(11)(n) (mod 691).
(19)

Lehmer (1942) 表明

(n+1)c(n)=0 (mod 24)
(20)

對於所有 n>=1，Lehner (1949ab) 和 Apostol (1997, pp. 22, 74, and 90-91) 證明了

c(2n)=0 (mod 2^(11))
(21)
c(3n)=0 (mod 3^5)
(22)
c(5n)=0 (mod 5^2)
(23)
c(7n)=0 (mod 7)
(24)
c(11n)=0 (mod 11).
(25)

更一般地，

c(2^alphan)=0 (mod 2^(3alpha+8))
(26)
c(3^alphan)=0 (mod 3^(2alpha+3))
(27)
c(5^alphan)=0 (mod 5^(alpha+1))
(28)
c(7^alphan)=0 (mod 7^alpha)
(29)

(Lehner 1949ab; Apostol 1997, p. 91)。對於 13，這種型別的同餘式不存在，但 Newman (1958) 表明

c(13np)+c(13n)c(13p)+p^(-1)c((13n)/p)=0 (mod 13),
(30)

其中 p^(-1)p=1 (mod 13) 且 c(x)=0 如果 x 不是整數 (Apostol 1997, p. 91)。Atkin 和 O'Brien (1967) 推廣了 c(kn) 的同餘式。

Petersson (1932) 發現了 c(n) 的漸近公式，Rademacher (1938) 隨後獨立地重新發現了該公式

c(n)∼(e^(4pisqrt(n)))/(sqrt(2)n^(3/4)).
(31)

令 d 為無平方因子正整數，並透過以下方式定義半週期比

tau={isqrt(d) for d=1 or 2 (mod 4); 1/2(1+isqrt(d)) for d=3 (mod 4),
(32)

因此

q^_={e^(-2pisqrt(d)) for d=1 or 2 (mod 4); -e^(-pisqrt(d)) for d=3 (mod 4).
(33)

結果表明，j(tau) 是代數整數，其二元二次型判別式 -d 的二次域 Q(sqrt(d)) 的類數 h(-d) 為次數 (Silverman 1986; Berndt 1994, p. 90)。

jFunctionIntegers

如果 h(-d)=1，則 j(tau) 是次數為 1 的代數整數，即僅是一個普通的整數。此外，這個整數是一個完美的立方數。但這些恰好是 Heegner 數 -1、-2、-3、-7、-11、-19、-43、-67、-163。與Heegner 數對應的 j(tau) 的確切值是

j(1+i)=12^3
(34)
j(1+isqrt(2))=20^3
(35)
j(1/2(1+isqrt(3)))=0^3
(36)
j(1/2(1+isqrt(7)))=(-15)^3
(37)
j(1/2(1+isqrt(11)))=(-32)^3
(38)
j(1/2(1+isqrt(19)))=(-96)^3
(39)
j(1/2(1+isqrt(43)))=(-960)^3
(40)
j(1/2(1+isqrt(67)))=(-5280)^3
(41)
j(1/2(1+isqrt(163)))=(-640320)^3.
(42)

上面說明了 tau 的這些特殊值的位置。（請注意，儘管不特別重要，但數字 5280 也是一英里的英尺數。）

Heegner 數 d 的絕對值越大，表示式 e^(pisqrt(-d)) 就越接近整數，因為 j(tau) 中的初始項是最大的，而後續項是最小的。因此，h(-d)=1 的最佳近似值是

e^(pisqrt(43)) approx 960^3+744-2.2×10^(-4)
(43)
e^(pisqrt(67)) approx 5280^3+744-1.3×10^(-6)
(44)
e^(pisqrt(163)) approx 640320^3+744-7.5×10^(-13)
(45)

（後者出現在 Trott 2004, p. 8）。由最後一個生成的近似整數，e^(pisqrt(163))（對應於域 Q(sqrt(-163)) 和最大判別式的虛二次域），有時被稱為Ramanujan 常數。然而，這種歸因在歷史上是錯誤的，因為 Hermite (1859) 首先注意到 e^(pisqrt(163)) 的這種驚人特性，並且似乎沒有出現在 Ramanujan 的任何著作中。

有 18 個數字的類數為 h(-d)=2，奇數判別式不可被 3 整除，對應於確切值

j(1/2(1+isqrt(35)))=-16^3(15+7sqrt(5))^3
(46)
j(1/2(1+isqrt(91)))=-48^3(227+63sqrt(13))^3
(47)
j(1/2(1+isqrt(115)))=-48^3(785+351sqrt(5))^3
(48)
j(1/2(1+isqrt(187)))=-240^3(3451+837sqrt(17))^3
(49)
j(1/2(1+isqrt(235)))=-528^3(8875+3969sqrt(5))^3
(50)
j(1/2(1+isqrt(403)))=-240^3(2809615+779247sqrt(13))^3
(51)
j(1/2(1+isqrt(427)))=-5280^3(236674+30303sqrt(61))^3
(52)

以及 d=4m 時的偶數 m=5、10、13、22、37、58、

j(isqrt(5))=2^3(25+13sqrt(5))^3
(53)
j(isqrt(10))=6^3(65+27sqrt(5))^3
(54)
j(isqrt(13))=30^3(31+9sqrt(13))^3
(55)
j(isqrt(22))=60^3(155+108sqrt(2))^3
(56)
j(isqrt(37))=60^3(2837+468sqrt(37))^3
(57)
j(isqrt(58))=30^3(140989+26163sqrt(29))^3
(58)

以及可被 3 整除的判別式，

j(isqrt(6))=12^3(1+sqrt(2))^2(5+2sqrt(2))^3
(59)
j(1/2(1+isqrt(15)))=-3^3(1/2(1+sqrt(5)))^2(5+4sqrt(5))^3
(60)
j(1/2(1+isqrt(51)))=-48^3(4+sqrt(17))^2(5+sqrt(17))^3
(61)
j(1/2(1+isqrt(123)))=-480^3(32+5sqrt(41))^2×(8+sqrt(41))^3
(62)
j(1/2(1+isqrt(267)))=-240^3(500+53sqrt(89))^2×(625+53sqrt(89))^3
(63)

其中平方因子是基本單位。

對於 h(d)=2 的最佳近似值是，對於偶數判別式，

e^(pisqrt(232)) approx 30^3(140989+26163sqrt(29))^3-744-3.2×10^(-16),
(64)

對於奇數判別式，

e^(pisqrt(427)) approx 5280^3(236674+30303sqrt(61))^3+744-1.3×10^(-23).
(65)

數字

e^(pisqrt(22))=(12sqrt(11))^4-104-1.7×10^(-3)
(66)
e^(pisqrt(37))=(84sqrt(2))^4+104-2.2×10^(-5)
(67)
e^(pisqrt(58))=396^4-104-1.8×10^(-7)
(68)

也是近似整數。這些對應於判別式為 -88、-148 和 -232 的二元二次型，這些是類數為 2 且可被 4 整除的最大（絕對值）判別式。Ramanujan 注意到了它們 (Berndt 1994, pp. 88-91)。

另請參閱

近似整數, Heegner 數, 虛二次域, Klein 的絕對不變數, 怪物群, Ramanujan 常數, 超奇異素數, Weber 函式

此條目部分內容由 Tito Piezas III 貢獻

使用 探索

參考文獻

Apostol, T. M. "Delta(tau) 和 J(tau) 的傅立葉展開以及模函式 j 的係數的同餘式" §1.15 和 Ch. 4 in 數論中的模函式和狄利克雷級數，第二版 New York: Springer-Verlag, pp. 20-22 和 74-93, 1997.Atkin, A. O. L. 和 Morain, F. "橢圓曲線與素性證明." Math. Comput. 61, 29-68, 1993.Atkin, A. O. L. 和 O'Brien, J. N. "p(n) 和 c(n) 模 13 的冪的一些性質." Trans. Amer. Math. Soc. 126, 442-459, 1967.Berndt, B. C. Ramanujan 的筆記本，第四部分. New York: Springer-Verlag, 1994.Berwick, W. E. H. "五次不變數模方程." Quart. J. Math. 47, 94-103, 1916.Borwein, J. M. 和 Borwein, P. B. Pi 與 AGM：解析數論和計算複雜性研究. New York: Wiley, pp. 117-118, 1987.Cohen, H. In 從數論到物理學 (M. Waldschmidt, P. Moussa, J.-M. Luck, 和 C. Itzykson). Berlin: Springer-Verlag, 1992.Cohn, H. 類域構造導論. New York: Dover, p. 73, 1994.Conway, J. H. 和 Guy, R. K. "九個神奇的判別式." In 數字之書. New York: Springer-Verlag, pp. 224-226, 1996.Hermite, C. "關於模方程理論." Comptes Rendus Acad. Sci. Paris 49, 16-24, 110-118, 和 141-144, 1859 全集，第二卷. Paris: Hermann, p. 61, 1912.Lehmer, D. H. "模不變數 J(tau) 的係數的性質." Amer. J. Math. 64, 488-502, 1942.Lehner, J. "模不變數 j(tau) 的傅立葉係數的可除性性質." Amer. J. Math. 71, 136-148, 1949a.Lehner, J. "模不變數 j(tau) 的傅立葉係數的進一步同餘性質." Amer. J. Math. 71, 373-386, 1949b.Morain, F. "Atkin-Goldwasser-Kilian 素性測試演算法的實現." Rapport de Recherche 911, INRIA, Oct. 1988.Newman, M. "模形式係數和 j(tau) 係數的同餘式." Proc. Amer. Math. Soc. 9, 609-612, 1958.Ogg, A. P. "模函式." In 1979 年 6 月 25 日至 7 月 20 日在加利福尼亞大學聖克魯斯分校舉行的聖克魯斯有限群會議 (Ed. B. Cooperstein 和 G. Mason). Providence, RI: Amer. Math. Soc., pp. 521-532, 1980.Petersson, H. "關於自守形式的展開係數." Acta Math. 58, 169-215, 1932.Piezas, T. "Ramanujan 常數及其表親." 2005. http://www.geocities.com/titus_piezas/Ramanujan_a.htm.Rademacher, H. "模不變數 j(tau) 的傅立葉係數." Amer. J. Math. 60, 501-512, 1938.Rankin, R. A. 模形式與函式. Cambridge, England: Cambridge University Press, p. 199, 1977.Rankin, R. A. 模形式. New York: Wiley, 1985.Roberts, J. 整數的誘惑. Washington, DC: Math. Assoc. Amer., 1992.Serre, J.-P. 算術教程. New York: Springer-Verlag, 1973.Silverman, J. H. 橢圓曲線的算術. New York: Springer-Verlag, p. 339, 1986.Sloane, N. J. A. 整數序列線上百科全書中的序列 A000521/M5477.Stillwell, J. "模奇蹟." Amer. Math. Monthly 108, 70-76, 2001.Trott, M. Mathematica 程式設計指南. New York: Springer-Verlag, 2004. http://www.mathematicaguidebooks.org/.van Wijngaarden, A. "關於模不變數 J(tau) 的係數." Indagationes Math. 15, 389-400, 1953.Waldschmidt, M. In Ramanujan 百年國際會議 (Ed. R. Balakrishnan, K. S. Padmanabhan, 和 V. Thangaraj). Ramanujan Math. Soc., 1988.Weber, H. 代數學教科書，第一卷和第二卷. New York: Chelsea, 1979.Zuckerman, H. S. "J(tau) 較小系數的計算." Bull. Amer. Math. Soc. 45, 917-919, 1939.

在 上被引用

j-函式

引用為

Piezas, Tito III 和 Weisstein, Eric W. "j-函式。" 來自 Web 資源。 https://mathworld.tw/j-Function.html

主題分類