跳转到内容

User:AnthonyDonlon/wip/多重对数函数

维基百科,自由的百科全书


数学中,多重对数函数(英语:polylogarithm,也称为 Jonquière 函数)是一类有着阶数 s 和参数 z 的特殊函数Lis(z)。只有当 s 为特殊值时,多重对数函数才退化为初等函数(如自然对数有理函数)。在量子统计中,多重对数函数可作为费米–狄拉克分布玻色–爱因斯坦分布的积分的闭式解,也因此被称为费米–狄拉克积分玻色–爱因斯坦积分。在量子电动力学中,正整数阶的多重对数函数出现的计算程序表示高阶费曼图

多重对数函数与赫尔维茨ζ函数等价,二者可以相互表示,且都是勒奇超越函数的特例。多重对数函数不应与多对数函数对数积分混淆,尽管它们有相似的记号,但后者只有一个变量。

多重对数函数由关于 z幂级数定义,这个级数也是关于 s狄利克雷级数

在阶数 s 为任意复数且复数参数 |z| < 1 时,这个定义有效。但这个式子也可被解析延拓至 |z| ≥ 1 上。在s = 1 的特殊情况下,多重对数函数将与自然对数有关,Li1(z) = -ln(1-z),而在特殊情况 s = 2 和 s = 3 时,多重对数函数则变为二重对数函数(也称为斯盆司函数)和三重对数函数。双重对数函数的名称来自于它能被定义为它自身的积分这一性质:

这样,二重对数函数(s = 2)就是与对数有关的函数的积分,依此类推。对于非正的整数阶数s,多重对数函数是一个有理函数

属性

[编辑]

在多重对数函数阶的阶数是一个整数时,可由表示(或,当其为负数时)。通常,可以定义复数对数主支以便于使用,这样一来就有。此外,所有指数都将被认定是单值的:

在不同的阶数下,多重对数函数可能是多值的。的主支被认为是为了根据上述系列定义,除在正实轴上切割成以便将轴放置在。就......而言,这等于。多重对数函数的不连续性取决于有时会令人困惑。

对于实的参数,在当时,实数阶的多重对数函数的函数值也是实数。而当时,其虚部是(Wood 1992,§ 3):

越过边界,如果ε是一个无限小的正实数,那么:

而者都可以从 Lis(eµ)在 µ = 0 处的级数展开(见下文)得出。

多重对数函数的导数来自定义的幂级数:

从级数定义中可以看出平方关系,并且与复制公式英语duplication formula有关(参见Clunie (1954)Schrödinger (1952)):

Kummer函数英语Kummer's function遵循非常相似的复制公式英语duplication formula。对于任何正整数p,这是乘法公式的一个特殊情况:

这可以通过使用多重对数函数的级数定义和指数项的正交性来证明(例如,参见离散傅里叶变换)。

多重对数函数另一个重要的属性,即反演公式,涉及赫尔维茨ζ函数伯努利多項式,可以在下方与其他函数的关系中找到。

特殊值

[编辑]

在特殊情况下,多重对数函数可用其他函数表示(见下文)。因此多重对数函数的一些特殊值也可用这些函数的特殊值表示。

1. 对于整数阶的多重对数函数,将z·z/∂z算子反复应用于Li1(z),即可得到以下的表达式:

因此,对于所有非正整数阶,多重对数函数将退化为关于z的有理分式,因此是关于 z有理函数。一般地,可以用有限和来表示:

其中S(n,k)是第二类斯特林数英语Stirling numbers of the second kind。适用于负整数阶的等效的公式为 (Wood 1992):

其中欧拉数。Lin(z)的所有根都是互不相同的实数,并包含z = 0,而其余根为负,并且在对数刻度上以z = -1为中心。随着n变大,对这些有理表达式的数值评估越来越遭受抵消(Wood 1992,§ 6) ;但是,可以通过与Hurwitz zeta函数的一般关系计算Li-n(z)来获得完全精度(见下文)。

2. 参数z取半整数值时,有:

其中ζ黎曼ζ函數。对于更高整数阶,没有这种类型的公式是已知的(Lewin 1991,第2頁),但是有一个例子 (Borwein, Borwein & Girgensohn 1995):

其中涉及mn的二阶交错求和:

一般地,对于 n ≥ 2 的整数阶数 (Broadhurst 1996)

其中ζ(s1,...,sk)是多ζ函数英语Multiple zeta function。比如当 n = 5 时:

3. 作为级数定义的直接推论,多重对数函数在第 p 个复单位根处的值可由如下傅立叶和给出:

其中 ζ赫尔维茨ζ函数。对于 Re(s) > 1,其中Li s(1)是有限的,该关系在m = 0或m = p时也成立。尽管此公式并不像下文与其他函数的关系中列出的与Hurwitz zeta函数的更一般的关系所暗示的那样简单,但它的优点是也适用于s的非负整数值。与往常一样,该关系可以被反转来表达ζ(S,M / P)为任何M = 1,...,P如Li s的傅立叶总和(EXP(2πiK / P))超过K = 1,...,p

与其他函数的关系

[编辑]
其中η(s)是狄利克雷η函数。对于纯虚数的参数,有:
其中β(s)是狄利克雷β函数。
但是,哪个关系在伽马函数 Γ(1- s)的极点处在正整数s处无效,而在两个zeta函数的极点处的s = 0处无效。下面的系列表示式给出了该公式的推导。在Hurwitz zeta函数的函数方程的一点帮助下,多重对数函数也因此通过(Jonquière 1889) 与该函数相关:
其关系式适用于0≤的Re(X)<1,如果IM(X)≥0,和0 <的Re(X)≤1,如果IM(X)<0。 等效地,对于所有的复杂的S和复杂Ž∉] 0; 1]时,反演公式读取
对于所有的复数 s 和复数 z ∉ ]1;∞[
对于z∉] 0;∞[之一具有LN(- Z)= -ln(- 1 / Z),和两个表达式同意。这些关系使多重对数函数的解析连续性超出了收敛圈。z | =定义的幂级数的1。(如果人们假设同时使用多重对数函数和对数的主分支,则Jonquière (1889)Erdélyi et al. (1981) 的相应方程式是不正确的。)如果s是整数,请参见下一项以获取简化公式。
其中再次0≤的Re(X)<1,如果IM(X)≥0,和0 <的Re(X)≤1,如果IM(X)<0。 将多重对数函数参数限制为单位圆Im(x)= 0时,如果n为偶数,则该公式的左侧简化为2 Re(Li ne 2 ixix)),并简化为2 i Im(Li如果n为奇数,则为 ne 2πix)。对于负整数的订单,在另一方面,Γ(多个)的发散意味着所有的Z那(Erdélyi et al. 1981)
更一般地,对于 n = 0, ±1, ±2, ±3, ...,有:
其中两个表达式同意针对z∉] 0;∞[。(Jonquière (1889)Erdélyi et al. (1981) 的相应方程式也不正确。)
该关系特别暗示:
这说明了这个函数的名称
正整数阶的多重对数函数Lin(z)可用有限和表示(Wood 1992):
一个非常相似的表达式将“德拜函数”Zn(z) 与多重对数函数联系在了一起:

积分表示

[编辑]

以下任何一个积分表示形式都可以使多重对数函数的解析连续性超出收敛圆| z | =定义的幂级数的1。

1 可以使用玻色–爱因斯坦分布的积分表示多重对数函数:

当 Re(s) > 0 且 zz ≥ 1 的实数时,上式收敛。在这种情况下,多重对数函数有时会被称为玻色积分,但更常被称为玻色–爱因斯坦积分。[1]类似地,多重对数函数也可以用费米-狄拉克分布的积分表示:

当 Re(s) > 0 且 zz ≤ -1 的实数时,上式收敛。在这种情况下,多重对数函数有时也被称为费米积分或费米-狄拉克积分[2](GSL 2010)。这些表示可以容易地通过被击函数关于z泰勒级数的逐项积分进行验证。Dingle 的论文包含对两种类型积分的详细研究。

多重对数函数还与麦克斯韦-玻尔兹曼分布的积分有关:

这也给出了多重对数函数在原点附近的渐近性质。

2. complementary integral表示适用于 Re(s) < 0 和所有除了非 z ≥ 0 的实数:

该积分来自多重对数函数与赫尔维茨ζ函数的一般关系(请参见上文)和后者的常见积分表示。

3. 多重对数函数通常可以由汉克轮廓积分表示(Whittaker & Watson 1927,§ 12.22, § 13.13),该方程将Bose-Einstein表示扩展到负阶s。只要被整数的t = μ 不位于非负实轴上,并且s ≠1、2、3,...,就有:

其中H代表汉克尔轮廓。被积物沿实轴具有从零到无穷大的切口,该轴属于t的下半平面。积分从上半平面的+∞开始(Im(t)>   0),绕圈原点而不包围任何极点t = µ + 2kπi,并在下半平面(Im(t)<   0)。对于µ为实数且为非负数的情况,我们可以简单地减去封闭的t = µ极点的贡献:

其中R是极点的残基

4. 当将Abel–Plana公式英语Abel–Plana formula应用于多重对数函数的定义级数时,将生成夏爾·埃爾米特型积分表示形式,该表示形式对于所有复数z和所有复数s有效

其中Γ是上不完全Γ函数。此表达式中的全部(但不是全部)ln(z)都可以替换为-ln(1z)。一个相关的表示形式,对于所有s

避免使用不完全伽玛功能,但针对z这个积分失败。如果再(S)正实轴≤   0。该表达式可通过将 2s Lis(−z) / (−z) 改写为 Φ(z2, s, 12) − z Φ(z2, s, 1) 得到,其中 Φ 是勒奇超越函数,将 Abel–Plana 公式应用于第一个 Φ 的级数,并使用一个包含第二个Φ系列的1 /(e 2πt +1)代替1 /(e 2πt− 1)的互补公式。

5, 如在引用的[3]我们可以通过积分普通表达的组成为多重对数函数几何级数逐项为

级数表示

[编辑]

1. 如上文积分表示中所指出的,可以通过汉克等高线积分英语Hankel contour的方式将多重对数函数的玻色–爱因斯坦积分表示扩展到负阶s

其中H是汉克尔等高线,s ≠1,2,3,...,并且被积物的t = μ极不位于非负实轴上。所述轮廓可以这样进行修饰,它包围所述磁极t被积函数- μ= 2kπi,积分可以被评估为的总和残基Wood 1992 Gradshteyn & Ryzhik 1980):

这对Re(s) < 0和除了eμ = 1 的μ成立。当0 < Im(µ) ≤ 2π 时,该和式可被拆分为:

两个级数可以用赫尔维茨ζ函数表示:

该关系已经根据在上文其他函数的关系中给出,对所有满足 s ≠ 0, 1, 2, 3, ... 的复数s都成立,并首先在(Jonquière 1889)被推导。

2. 为了将多重对数函数表示为μ = 0的幂级数,我们将从汉克轮廓积分导出的级数写为:

当和中的二项式幂展开约µ = 0且求和的顺序相反时,h上的和可以用封闭形式表示:

此结果适用于| µ | <2π,并且由于由所提供的解析开拓zeta函数,对于所有s≠1,2,3,。。。。如果阶数为正整数s = n,则k = n − 1的项和伽马函数都变为无穷大,尽管它们的总和不是。一个获得(Wood 1992  ; Gradshteyn & Ryzhik 1980):

如果k = 0,则h上的总和消失。因此,对于正整数阶和μ | <2π,我们有系列:

其中Hn表示第n谐波数

问题术语现在包含-ln(- μ),当由μn-1,将趋 向于零,μ→0,除了n = 1 。这反映了一个事实,即Li s (z)在s = 1和z = 1时表现出对数奇异性,因为:

对于接近但不等于正整数的s,可以期望展开在µ = 0处的发散项会导致计算困难(Wood 1992)。ERDELYI的相应的扩展(Erdélyi et al. 1981) 在LN(z)的权力是不正确的,如果一个假定多重对数函数和对数的主要分支被同时使用,因为LN(1 / z)为不均匀等于-ln(z)。

对于s的非正整数值,展开约µ = 0时的zeta函数ζ(s- k)减小为伯努利数 :ζ(-n - k)= -B 1+ n + k /(1 + n + k)。通过该系列进行的Li - n (z)的数值评估不会受到抵消效应的影响,在上述特定值下给出的有限有理表达式对于n较大。

3. 通过使用单位元

多重对数函数的 Bose-Einstein 积分表示形式(见上文)可以转换为以下形式:

将双曲余切项展开为双边级数,

然后反转积分和的顺序,最后用上不完全Γ函数的积分表示来识别被加数,可以得到:

对于该结果的双侧级数和双曲余切线,从-k maxk max的对称部分和无条件地收敛为k max →∞。如果求和是对称进行的,那么对于Li s (z)的该级数对所有复数s和所有复数z都成立

4。 可以将第二种斯特林数的显式引入非正整数阶多重对数函数的有限和中(见上文),可以这样写:

通过简单地将外部求和扩展为∞而获得的无穷级数(Guillera & Sondow 2008) :

原来收敛到多重对数函数的所有复杂的S和用于与的Re(z)的复杂Ž<1/2,由于可以验证为| z(1− z | < 二分之一通过反转求和并使用的顺序:

这些序列的内系数可以由涉及广义谐波数的 斯特林数相关公式表示。例如,请参见生成函数转换以查找以下身份的证明(对证明的引用):

对于随Re(z)的其他参数<1/2中的结果通过如下解析开拓。此过程等效于将Euler变换应用于z中定义多重对数函数的序列。

渐近展开

[编辑]

对于 |z| ≫ 1,可以根据ln(−z)将多重对数函数展开为渐近级数

其中 B2k伯努利数。两个式子对于所有s和任何arg(z)都成立。像往常一样,当项的大小开始增长时,应终止求和。对于负整数s,展开完全消失;对于非负整数s,它们在有限数量的项之后分解。Wood (1992) 描述了一种用于从玻色-爱因斯坦积分表示获得这些系列的方法(他的方程11.2栗'S(Ëμ)'要求'-2π<IM(μ)≤0)。'

极限性质

[编辑]

以下极限可以由多重对数函数的各种表示形式推导得到(Wood 1992):

Wood 关于的 Re(µ)→∞的第一极限已根据他的方程11.3进行了校正。Re(s)→-∞的极限来自于多重对数函数与赫尔维茨ζ函数的一般关系(参见上文)。

二重对数函数

[编辑]

二重对数函数是阶数 s = 2 的多重对数函数。对任意复数参数z,二重对数函数也可用积分表达式表示(Abramowitz & Stegun 1972) §27.7 :

造成混淆的一个原因是某些计算机代数系统将对数定义为dilog(z)= Li 2(1- z)。

re(z)≥1情况下为二重对数函数的第一个积分式可写成

将ln(t -1)展开,并逐项积分,我们得到

二重对数函数的阿贝尔恒等式由(Abel 1881) 给出

这立即看到搁置要么X = 0或y = 0,而对于一般的参数,然后很容易地分化'∂/∂X∂/∂ÿ'验证。对于y = 1- x,恒等式简化为欧拉 反射公式

其中,Li 2(1)=ζ(2)= 1/6 π2已被使用,并且x可以采取任何复数值。

根据新变量u = x /(1- y),v = y /(1- x),Abel身份读取

对应于(Rogers 1907) 给出的五边形标识

根据x = y = 1- z的Abel身份和平方关系,我们得到Landen的身份

并将反射公式应用于每个对数,我们找到反演公式

和真正的z ≥ 1 还

下表中收集了特殊参数对数的已知封闭式评估。在第一列中的参数由反射相关X↔1- x或反转X↔1 / x至任一X = 0或X = -1;这些操作将第三列中的参数相互关联。

Maximon (2003) discusses the 17th to 19th century references. The reflection formula was already published by Landen in 1760, prior to its appearance in a 1768 book by Euler (Maximon 2003); an equivalent to Abel's identity was already published by Spence in 1809, before Abel wrote his manuscript in 1826 (Zagier 1989). The designation bilogarithmische Function was introduced by Carl Johan Danielsson Hill (professor in Lund, Sweden) in 1828 (Maximon 2003).  (1989 has remarked that the dilogarithm is the only mathematical function possessing a sense of humor.

二重对数函数的特殊值
这里的 表示黄金比例.

多重对数函数阶梯

[编辑]

伦纳德·莱文(Leonard Lewin)在特殊值的多重对数上发现了许多经典关系的显着而广泛的概括。这些现在称为多重对数函数阶梯。定义作为黄金比例的倒数。然后是对数阶梯的两个简单示例

这由 Coxeter (1935给出,和

由兰登给出。多重对数函数梯子自然而深地出现在K理论代数几何中。多重对数函数阶梯为通过BBP算法快速计算各种数学常数提供了基础(Bailey, Borwein & Plouffe 1997)。

单值性

[编辑]

多重对数函数有两个分支点,它们分别位于 z = 1 和 z = 0 处。z = 0 处的第二个分支点在多重对数函数的主表上不可见;仅当该功能在分析上继续到其其他图纸时,它才可见。多重对数函数的单峰组由围绕两个分支点缠绕的同型类循环组成。用m 0m 1表示这两个,单峰组具有组表示

对于二重对数函数的特殊情况,也有wm 0 = m 0 w,单峰组成为Heisenberg组(用xyz标识m 0m 1w)(Vepstas 2008)。

参考资料

[编辑]
  1. ^ R.B. Dingle, Appl.Sci. Res. B6 (1957) 240-244, B4 (1955) 401; R.B.Dingle, D. Arndt and S.K. Roy, Appl.Sci.Res. B6 (1957) 144.
  2. ^ R.B. Dingle, Appl.Sci.Res. B6 (1957) 225-239.
  3. ^ See equation (4) in section 2 of Borwein, Borwein and Girgensohn's article Explicit evaluation of Euler sums (1994).

外部链接

[编辑]