TOPICS
Search

Prime Omega Function


The prime omega function is the arithmetic function

 Omega(n)=sum_(i=1)^kalpha_i
(1)

when the prime factorization of n is

 n=p_1^(alpha_1)...p_k^(alpha_k).
(2)

Thus Omega(n) counts prime factors with multiplicity, and Omega(1)=0. It is implemented in the Wolfram Language as PrimeOmega[n].

PrimeFactors

The first few values of Omega(n) for n=1, 2, ... are 0, 1, 1, 2, 1, 2, 1, 3, 2, 2, 1, 3, 1, 2, 2, 4, 1, 3, 1, 3, ... (OEIS A001222). For example, Omega(12)=3 because 12=2^2·3. In contrast, the prime nu function gives omega(12)=2 because it ignores multiplicity.

Conway et al. (2008) called Omega(n) the "multiprimality" of n, and accordingly used the names biprime for a semiprime, triprime when Omega(n)=3, and so on.

The prime omega function is completely additive,

 Omega(mn)=Omega(m)+Omega(n)
(3)

for all positive integers m and n. It determines the Liouville function by

 lambda(n)=(-1)^(Omega(n)).
(4)

Let

 mu_Omega(x)=1/xsum_(n<=x)Omega(n).
(5)

An asymptotic series for this mean is

 mu_Omega(x)∼lnlnx+B_2+sum_(k=1)^infty(-1+sum_(j=0)^(k-1)(gamma_j)/(j!))((k-1)!)/((lnx)^k),
(6)

where B_2 is a constant related to the Mertens constant and the gamma_j are Stieltjes constants (Diaconis 1976, Knuth 2000, Diaconis 2002, Finch 2003). The corresponding variance has expansion

 var_x(Omega)∼lnlnx+B_2^'+(c_1)/(lnx)+(c_2)/((lnx)^2)+...,
(7)

where

B_2^'=B_2-T-1/6pi^2
(8)
=0.76478...
(9)

(OEIS A091589), and

 T=sum_(k=1)^infty1/((p_k-1)^2) approx 1.37506...
(10)

(OEIS A086242; Finch 2003) is a convergent prime sum. The coefficients are

c_1=gamma-1-2sum_(k=1)^(infty)(lnp_k)/((p_k-1)^2)
(11)
=gamma-1+2sum_(k=2)^(infty)phi(k)(zeta^'(k))/(zeta(k))
(12)
=2.8767219464...
(13)
c_2=-gamma_1-(gamma-1)[gamma-2sum_(k=1)^(infty)(lnp_k)/((p_k-1)^2)]-2sum_(k=1)^(infty)(p_k(lnp_k)^2)/((p_k-1)^3)
(14)
=4.9035933594....
(15)

Equivalently, the sums occurring here have values

U=sum_(k=1)^(infty)(lnp_k)/((p_k-1)^2)=1.2269688...
(16)
V=sum_(k=1)^(infty)(p_k(lnp_k)^2)/((p_k-1)^3)=2.0914802...
(17)

(Finch 2003).

If n is chosen uniformly from 1 through x, then the probability that

 Omega(n)<=lnlnx+csqrt(lnlnx)
(18)

approaches

 1/(sqrt(2pi))int_(-infty)^ce^(-u^2/2)du
(19)

as x->infty (Erdős and Kac 1940; Knuth 1998, p. 384). This is the Erdős-Kac theorem for Omega.

PrimeFactorsAverageOrder

The average order of Omega(n) is lnlnn (Hardy 1999, p. 51). More precisely,

 sum_(n<=x)Omega(n)=xlnlnx+B_2x+O(x/(lnx)),
(20)

where O(x) is asymptotic notation (Hardy and Ramanujan 1917; Hardy and Wright 1979, p. 355; Hardy 1999, p. 57).


See also

Asymptotic Notation, Erdős-Kac Theorem, Liouville Function, Mertens Constant, Prime Factor, Prime Nu Function, Prime Sums, Stieltjes Constants

Explore with Wolfram|Alpha

References

Conway, J. H.; Dietrich, H.; and O'Brien, E. A. "Counting Groups: Gnus, Moas, and Other Exotica." Math. Intell. 30, 6-18, 2008.Diaconis, P. "Asymptotic Expansions for the Mean and Variance of the Number of Prime Factors of a Number n." Dept. Statistics Tech. Report 96, Stanford, CA: Stanford University, 1976.Diaconis, P. "G. H. Hardy and Probability???" Bull. London Math. Soc. 34, 385-402, 2002.Erdős, P. and Kac, M. "The Gaussian Law of Errors in the Theory of Additive Number Theoretic Functions." Amer. J. Math. 62, 738-742, 1940.Finch, S. "Two Asymptotic Series." Dec. 10, 2003. https://web.archive.org/web/20160419150604/http://www.people.fas.harvard.edu/~sfinch/csolve/asym.pdf.Hardy, G. H. Ramanujan: Twelve Lectures on Subjects Suggested by His Life and Work, 3rd ed. New York: Chelsea, 1999.Hardy, G. H. and Ramanujan, S. "The Normal Number of Prime Factors of a Number n." Quart. J. Math. 48, 76-92, 1917.Hardy, G. H. and Wright, E. M. §§22.10-22.11 in An Introduction to the Theory of Numbers, 5th ed. Oxford, England: Clarendon Press, pp. 354-355, 1979.Knuth, D. E. The Art of Computer Programming, Vol. 2: Seminumerical Algorithms, 3rd ed. Reading, MA: Addison-Wesley, p. 384, 1998.Knuth, D. E. Selected Papers on Analysis of Algorithms. Stanford, CA: CSLI Publications, pp. 338-339, 2000.Ramanujan, S. Collected Papers of Srinivasa Ramanujan (Ed. G. H. Hardy, P. V. S. Aiyar, and B. M. Wilson). Providence, RI: Amer. Math. Soc., p. 327, 2000.Sloane, N. J. A. Sequences A001222/M0094, A086242, and A091589 in "The On-Line Encyclopedia of Integer Sequences."Turán, P. "On a Theorem of Hardy and Ramanujan." J. London Math. Soc. 9, 274-276, 1934.Turán, P. "Über einige Verallgemeinerungen eines Satzes von Hardy und Ramanujan." J. London Math. Soc. 11, 125-133, 1936.

Cite this as:

Weisstein, Eric W. "Prime Omega Function." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/PrimeOmegaFunction.html

Subject classifications