跳至內容

用戶: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).

外部連結

[編輯]