主题
Search

Dedekind Eta 函数

DOWNLOAD Mathematica Notebook下载 Wolfram Notebook
DedekindEtaReal
最小值 最大值
Powered by webMathematica

Dedekind eta 函数定义在上半平面 H={tau:I[tau]>0} 上，由下式给出

eta(tau)=q^_^(1/24)(q^_)_infty
(1)
=q^_^(1/24)product_(k=1)^(infty)(1-q^_^k)
(2)
=q^_^(1/24)sum_(n=-infty)^(infty)(-1)^nq^_^(n(3n-1)/2)
(3)
=sum_(n=-infty)^(infty)(-1)^nq^_^((6n-1)^2/24)
(4)
=q^_^(1/24){1+sum_(n=1)^(infty)(-1)^n[q^_^(n(3n-1)/2)+q^_^(n(3n+1)/2)]}
(5)
=q^_^(1/24)(1-q^_-q^_^2+q^_^5+q^_^7-q^_^(12)-...)
(6)

(OEIS A010815), 其中 q^_=e^(2piitau) 是 nome nome q 的平方, tau 是半周期比 half-period ratio, 并且 (q)_infty 是一个 q-级数 q-series (Weber 1902, pp. 85 and 112; Atkin and Morain 1993; Berndt 1994, p. 139)。

Dedekind eta 函数在 Wolfram 语言 中实现为DedekindEta[tau]。

用 q^_ 显式地用半周期比 half-period ratio tau 重写定义，得到乘积

eta(tau)=e^(piitau/12)product_(k=1)^infty(1-e^(2piiktau)).
(7)
DedekindEtaReImAbs
最小值 最大值
Re
Im Powered by webMathematica

它在上面的复平面 complex plane 中进行了说明。

eta(tau) 是由 Dedekind 在 1877 年首次引入的模形式 modular form，并且与 Weierstrass 椭圆函数 Weierstrass elliptic function 的模判别式 modular discriminant 相关，关系如下：

Delta(tau)=(2pi)^(12)[eta(tau)]^(24)
(8)

(Apostol 1997, p. 47)。

导数的紧凑闭合形式由下式给出

(deta(tau))/(dtau)=i/pieta(tau)zeta(1;g_2,g_3),
(9)

其中 zeta(z;g_2,g_3) 是 Weierstrass zeta 函数 Weierstrass zeta function，g_2 和 g_3 是对应于半周期 (1,tau) 的不变量。 eta(tau) 的导数满足

-4piid/(dtau)ln[eta(tau)]=G_2(tau),
(10)

其中 G_2(tau) 是 Eisenstein 级数 Eisenstein series，并且

d/(dtau)ln[eta(-1/tau)]=d/(dtau)ln[eta(tau)]+1/2d/(dtau)ln(-itau).
(11)

一个特殊值由下式给出

eta(i)=(Gamma(1/4))/(2pi^(3/4))
(12)
=0.7682254...
(13)

(OEIS A091343), 其中 Gamma(z) 是 gamma 函数 gamma function。 另一个特殊情况是

P=(x^3-x-1)_1
(14)
=(e^(ipi/24)eta(tau_0))/(sqrt(2)eta(2tau_0))
(15)
=1.3247179572...
(16)

其中 P 是塑性常数 plastic constant，(P(x))_n 表示多项式根 polynomial root，并且 tau_0=(1+isqrt(23))/2。

令 zeta_(24)=e^(2pii/24)=e^(pii/12) 为单位根 root of unity，eta(tau) 满足

eta(tau+1)=zeta_(24)eta(tau)
(17)
eta(tau+n)=zeta_(24)^neta(tau)
(18)
eta(-1/tau)=sqrt(-itau)eta(tau)
(19)

其中 n 是一个整数 (Weber 1902, p. 113; Atkin and Morain 1993; Apostol 1997, p. 47)。 Dedekind eta 函数与 Jacobi theta 函数 Jacobi theta function theta_2 相关，关系如下：

eta(q^_)=(theta_2(1/6pi,q^_^(1/6)))/(sqrt(3))
(20)

(Weber 1902, Vol. 3, p. 112) 和

theta_3(0,e^(piitau))=(eta^2(1/2(tau+1)))/(eta(tau+1))
(21)

(Apostol 1997, p. 91)。

Macdonald (1972) 将大多数 形式为 (q,q)_infty^c 的展开式与仿射根系 root systems 联系起来。 Macdonald 的处理中未包含的例外情况包括 Hecke 和 Rogers 发现的 c=2, Ramanujan 发现的 c=4, 以及 Atkin 发现的 c=26 (Leininger and Milne 1999)。 使用 Dedekind eta 函数，Jacobi 三重积 Jacobi triple product 恒等式

(q,q)_infty^3=sum_(n=0)^infty(-1)^n(2n+1)q^(n(n+1)/2)
(22)

可以写成

eta^3(tau)=sum_(n=0)^infty(-1)^n(2n+1)q^_^((2n+1)^2/8)
(23)

(Jacobi 1829, Hardy and Wright 1979, Hirschhorn 1999, Leininger and Milne 1999)。

Dedekind 的函数方程指出，如果 [a b; c d] in Gamma，其中 Gamma 是模群 Gamma modular group Gamma，c>0，并且 tau in H (其中 H 是上半平面 upper half-plane)，那么

eta((atau+b)/(ctau+d))=epsilon(a,b,c,d)[sqrt(-i(ctau+d))]eta(tau),
(24)

其中

epsilon(a,b,c,d)=exp[pii((a+d)/(12c)+s(-d,c))],
(25)

并且

s(h,k)=sum_(r=1)^(k-1)r/k((hr)/k-|_(hr)/k_|-1/2)
(26)

是 Dedekind 和 Dedekind sum (Apostol 1997, pp. 52-57)，其中 |_x_| 是向下取整函数 floor function。

参见

Dirichlet Eta 函数, Dedekind 和, 椭圆不变量, 椭圆 Lambda 函数, 无穷乘积, Jacobi Theta 函数, Klein 绝对不变量, q-乘积, q-级数, Rogers-Ramanujan 连分式, Tau 函数, Weber 函数

相关 Wolfram 网站

http://functions.wolfram.com/EllipticFunctions/DedekindEta/

使用 探索

参考文献

Apostol, T. M. "The Dedekind Eta Function." Ch. 3 in Modular Functions and Dirichlet Series in Number Theory, 2nd ed. New York: Springer-Verlag, pp. 47-73, 1997.Atkin, A. O. L. and Morain, F. "Elliptic Curves and Primality Proving." Math. Comput. 61, 29-68, 1993.Berndt, B. C. Ramanujan's Notebooks, Part IV. New York: Springer-Verlag, 1994.Bhargava, S. and Somashekara, D. "Some Eta-Function Identities Deducible from Ramanujan's _1psi_1 Summation." J. Math. Anal. Appl. 176, 554-560, 1993.Hardy, G. H. and Wright, E. M. An Introduction to the Theory of Numbers, 5th ed. Oxford, England: Clarendon Press, 1979.Hirschhorn, M. D. "Another Short Proof of Ramanujan's Mod 5 Partition Congruences, and More." Amer. Math. Monthly 106, 580-583, 1999.Jacobi, C. G. J. Fundamenta Nova Theoriae Functionum Ellipticarum. Königsberg, Germany: Regiomonti, Sumtibus fratrum Borntraeger, p. 90, 1829.Leininger, V. E. and Milne, S. C. "Expansions for (q)_infty^(n^2+n) and Basic Hypergeometric Series in U(n)." Discr. Math. 204, 281-317, 1999a.Leininger, V. E. and Milne, S. C. "Some New Infinite Families of eta-Function Identities." Methods Appl. Anal. 6, 225-248, 1999b.Köhler, G. "Some Eta-Identities Arising from Theta Series." Math. Scand. 66, 147-154, 1990.Macdonald, I. G. "Affine Root Systems and Dedekind's eta-Function." Invent. Math. 15, 91-143, 1972.Ramanujan, S. "On Certain Arithmetical Functions." Trans. Cambridge Philos. Soc. 22, 159-184, 1916.Siegel, C. L. "A Simple Proof of eta(-1/tau)=eta(tau)sqrt(tau/i)." Mathematika 1, 4, 1954.Sloane, N. J. A. Sequences A010815, A091343, and A116397 in "The On-Line Encyclopedia of Integer Sequences."Weber, H. Lehrbuch der Algebra, Vols. I-III. 1902. Reprinted as Lehrbuch der Algebra, Vols. I-III, 3rd rev ed. New York: Chelsea, 1979.

在 中被引用

Dedekind Eta 函数

引用为

Weisstein, Eric W. "Dedekind Eta 函数。" 来自 Web 资源。 https://mathworld.net.cn/DedekindEtaFunction.html

主题分类