主題
Search

互異質因數


DistinctPrimeFactors

一個正整數 n>=2 的互異質因數定義為 omega(n) 個數 p_1, ..., p_(omega(n))質因數分解

 n=p_1^(a_1)p_2^(a_2)...p_(omega(n))^(a_(omega(n)))
(1)

(Hardy and Wright 1979, p. 354)。

數字 n 的互異質因數列表可以使用 Wolfram 語言 計算,使用FactorInteger[n][[All, 1]], 並且互異質因數的數量 omega(n) 被實現為PrimeNu[n]。

omega(n) 的前幾個值,對於 n=1, 2, ... 是 0, 1, 1, 1, 1, 2, 1, 1, 1, 2, 1, 2, 1, 2, 2, 1, 1, 2, 1, 2, ... (OEIS A001221; Abramowitz and Stegun 1972, Kac 1959)。這個序列由 {chi_P(n)} 的逆 莫比烏斯變換 給出,其中 chi_P 是質數的特徵函式 (Sloane and Plouffe 1995, p. 22)。下表列出了前幾個正整數的質因數分解和互異質因數。

n質因數分解omega(n)互異質因數 (A027748)
1--0--
2212
3313
42^212
5515
62·322, 3
7717
82^312
93^213
102·522, 5
1111111
122^2·322, 3
1313113
142·722, 7
153·523, 5
162^412

僅由互異質因陣列成的數字正是無平方因子數

涉及 omega(n) 的和由下式給出

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

對於 s>1 (Hardy and Wright 1979, p. 255)。

omega(n) 的平均階為

 omega(n)∼lnlnn
(3)

(Hardy 1999, p. 51)。更精確地,

 omega(n)∼lnlnn+B_1+sum_(k=1)^infty(-1+sum_(j=0)^(k-1)(gamma_j)/(j!))((k-1)!)/((lnn)^k)
(4)

(Diaconis 1976, Knuth 2000, Diaconis 2002, Finch 2003, Knuth 2003),其中 B_1梅爾滕斯常數gamma_jStieltjes 常數。此外,方差由下式給出

 var(omega(n))∼lnlnn+B_1^'+(c_1)/(lnn)+(c_2)/((lnn)^2)+...,
(5)

其中

B_1^'=B_1-t-1/6pi^2
(6)
=-1.83568427...
(7)

(OEIS A091588),其中

 t=sum_(k=1)^infty1/(p_k^2)=0.452247...
(8)

(OEIS A085548) 是質數 Zeta 函式 P(2) (Finch 2003)。係數 c_1c_2 由以下和給出

c_1=gamma-1+2sum_(k=1)^(infty)(lnp_k)/(p_k(p_k-1))
(9)
=gamma-1+2sum_(k=2)^(infty)mu(k)(zeta^'(k))/(zeta(k))
(10)
=1.0879488865...
(11)
c_2=-gamma_1-(gamma-1)[gamma+2sum_(k=1)^(infty)(lnp_k)/(p_k(p_k-1))]+2sum_(k=1)^(infty)((2p_k-1)(lnp_k)^2)/(2p_k(p_k-1)^2)
(12)
=3.3231293098...
(13)

(Diaconis 1976, Knuth 2000, Diaconis 2002, Finch 2003, Knuth 2003),其中

u=sum_(k=1)^(infty)(lnp_k)/(p_k(p_k-1))
(14)
=0.755366...
(15)
v=sum_(k=1)^(infty)((2p_k-1)(lnp_k)^2)/(2p_k(p_k-1)^2)
(16)
=1.183780...
(17)

(Finch 2003)。

如果 n 是一個素數階乘,那麼

 omega(n)∼(lnn)/(lnlnn)
(18)

(Hardy and Wright 1979, p. 355)。

omega(k)求和函式由下式給出

 sum_(k=2)^nomega(k)=nlnlnn+B_1n+O(n/(lnn))
(19)

其中 B_1梅爾滕斯常數 (Hardy 1999, p. 57),o(n) 項 (Hardy and Ramanujan 1917; Hardy and Wright 1979, p. 355) 已被重寫為更明確的形式,並且 o(x)O(x)漸近記號求和函式的前幾個值是 1, 2, 3, 4, 6, 7, 8, 9, 11, 12, 14, 15, 17, 19, 20, 21, ... (OEIS A013939)。此外,

 sum_(k=2)^n[omega(k)]^2=n(lnlnn)^2+O(nlnlnn)
(20)

(Hardy and Wright 1979, p. 357)。

前幾個數 u_n 是奇數個互異質因數的乘積 (Hardy 1999, p. 64; Ramanujan 2000, pp. xxiv and 21) 是 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 30, 31, 37, 41, 42, 43, 47, ... (OEIS A030059)。u_n 滿足

 sum_(n=1)^infty1/(u_n^s)=1/2[(zeta(s))/(zeta(2s))-zeta(s)]
(21)

(Hardy 1999, pp. 64-65)。此外,如果 U(n)u_k 的數量,其中 k<=n,那麼

 U(x)∼(3x)/(pi^2)
(22)

(Hardy 1999, pp. 64-65)。


另請參閱

Dedekind 函式, 互異質因數分解, 除數函式, Erdős-Kac 定理, 最大質因數, Hardy-Ramanujan 定理, 異構數, 最小質因數, 梅爾滕斯常數, 質因數, 無平方因子數

使用 探索

參考文獻

Abramowitz, M. and Stegun, I. A. (Eds.). 數學函式手冊,包含公式、圖表和數學表格,第 9 次印刷。 New York: Dover, p. 844, 1972.Diaconis, P. "數字 n 的質因數數量的均值和方差的漸近展開。" Dept. Statistics Tech. Report 96, Stanford, CA: Stanford University, 1976.Diaconis, P. "G. H. Hardy 和機率???" Bull. London Math. Soc. 34, 385-402, 2002.Finch, S. "兩個漸近級數。" 2003 年 12 月 10 日。 http://algo.inria.fr/bsolve/.Hardy, G. H. 拉馬努金:關於他生平和工作啟發的十二次講座,第 3 版。 New York: Chelsea, 1999.Hardy, G. H. and Ramanujan, S. "數字 n 的質因數的正常數量。" Quart. J. Math. 48, 76-92, 1917.Hardy, G. H. and Wright, E. M. "n 的質因數數量" 和 "omega(n)Omega(n) 的正常階。" §22.10 和 22.11 in 數論導論,第 5 版。 Oxford, England: Clarendon Press, pp. 354-358, 1979.Kac, M. 機率、分析和數論中的統計獨立性。 Washington, DC: Math. Assoc. Amer., p. 64, 1959.Knuth, D. E. 演算法分析精選論文。 Stanford, CA: CSLI Publications, pp. 338-339, 2000.Knuth, D. E. "E_n(Omega)Var_n(Omega) 的漸近性。" Finch (2003) 引用。未發表的筆記,2003 年。Ramanujan, S. 斯里尼瓦薩·拉馬努金論文集 (Ed. G. H. Hardy, P. V. S. Aiyar, and B. M. Wilson). Providence, RI: Amer. Math. Soc., 2000.Sloane, N. J. A. 序列 A001221/M0056, A013939, A027748, A085548, 和 A091588 在 "整數序列線上百科全書" 中。Sloane, N. J. A. and Plouffe, S. 整數序列百科全書。 San Diego, CA: Academic Press, 1995.

在 上被引用

互異質因數

請引用為

Weisstein, Eric W. "互異質因數。" 來自 Web 資源。 https://mathworld.tw/DistinctPrimeFactors.html

主題分類