主題
Search

劉維爾函式

下載 Mathematica Notebook下載 Wolfram Notebook
LiouvilleLambda

函式

lambda(n)=(-1)^(Omega(n)),
(1)

其中 Omega(n) 是 n 的不一定相異的素因子個數，Omega(1)=0。λ(lambda(n)) 對於 n=1, 2, ... 的值為 1, -1, -1, 1, -1, 1, -1, -1, 1, 1, -1, -1, ... (OEIS A008836)。λ(n)=-1 的 n 值為 2, 3, 5, 7, 8, 11, 12, 13, 17, 18, 19, 20, 23, ... (OEIS A026424)，而 λ(n)=+1 的 n 值為 1, 4, 6, 9, 10, 14, 15, 16, 21, 22, 24, ... (OEIS A028260)。

劉維爾函式在 Wolfram 語言中實現為LiouvilleLambda[n]。

劉維爾函式透過以下方程與黎曼zeta函式相關聯

(zeta(2s))/(zeta(s))=sum_(n=1)^infty(lambda(n))/(n^s)
(2)

(Lehman 1960)。它具有蘭伯特級數

sum_(n=1)^(infty)(lambda(n)x^n)/(1-x^n)=sum_(n=1)^(infty)x^(n^2)
(3)
=1/2[theta_3(q)-1],
(4)

其中 theta_3(q)=theta_3(0,q) 是雅可比theta函式。

LiouvilleL

考慮求和函式

L(n)=sum_(k=1)^nlambda(k),
(5)

其對於 n=1, 2, ... 的值為 1, 0, -1, 0, -1, 0, -1, -2, -1, 0, -1, -2, -3, -2, -1, 0, -1, -2, -3, -4, ... (OEIS A002819)。

Lehman (1960) 給出了公式

L(x)=sum_(m=1)^(x/w)mu(m){|_sqrt(x/m)_|-sum_(k=1)^(v-1)lambda(k)(|_x/(km)_|-|_x/(mv)_|)}-sum_(l=x/w-1)^(x/v)L(x/l)sum_(m|l; m=1)^(x/w)mu(m)
(6)

和

L(x)=sum_(k=1)^gM(x/(k^2))+sum_(l=1)^(x/g^2)mu(l)|_sqrt(x/l)_|-M(x/(g^2))|_sqrt(x/(g^2))_|,
(7)

其中 k, l 和 m 是遍歷正整數的變數，mu(n) 是莫比烏斯函式，M(x) 是梅滕斯函式，而 v, w 和 x 是正實數，且 v<w<x。

猜想 L(n) 對於 n>=2 滿足 L(n)<=0 被稱為 Pólya 猜想，並且已被證明是錯誤的。L(n) 對於 n=1 為正，但在很長一段時間內對於任何其他 n 都不為正。實際上，L(n)=0 的第一個 n 值為 n=2, 4, 6, 10, 16, 26, 40, 96, 586, 906150256, ... (OEIS A028488)，而 n=906150257 是 Pólya 猜想的第一個反例 (Tanaka 1980)。然而，L(x) 是否無限次改變符號是未知的 (Tanaka 1980)。

L(10^n) 對於 n=0, 1, 2, ... 的值為 1, 0, -2, -14, -94, -288, -530, -842, -3884, ... (OEIS A090410)。

另請參閱

Pólya 猜想, 素因子, 黎曼zeta函式

使用 探索

參考文獻

Apostol, T. M. Introduction to Analytic Number Theory. New York: Springer-Verlag, p. 37, 1976.Fawaz, A. Y. "The Explicit Formula for L_0(x)." Proc. London Math. Soc. 1, 86-103, 1951.Gupta, H. "On a Table of Values of L(n)." Proc. Indian Acad. Sci. Sec. A 12, 407-409, 1940.Gupta, H. "A Table of Values of Liouville's Function L(n)." Res. Bull. East Panjab University, No. 3, 45-55, Feb. 1950.Lehman, R. S. "On Liouville's Function." Math. Comput. 14, 311-320, 1960.Ramanujan, S. "Irregular Numbers." J. Indian Math. Soc. 5, 105-106, 1913. Ramanujan, S. Collected Papers of Srinivasa Ramanujan (Ed. G. H. Hardy, P. V. S. Aiyar, and B. M. Wilson). Providence, RI: Amer. Math. Soc., pp. 20-21, 2000.Ribenboim, P. Algebraic Numbers. New York: Wiley, p. 44, 1972.Roberts, J. The Lure of the Integers. Washington, DC: Math. Assoc. Amer., p. 279, 1992.Sloane, N. J. A. Sequences A002819/M0042, A008836, A026424, A028260, A028488, and A090410 in "The On-Line Encyclopedia of Integer Sequences."Tanaka, M. "A Numerical Investigation on Cumulative Sum of the Liouville Function." Tokyo J. Math. 3, 187-189, 1980.

在 中被引用

劉維爾函式

引用為

Weisstein, Eric W. "劉維爾函式。" 來自 Web 資源。 https://mathworld.tw/LiouvilleFunction.html

主題分類