Scientia Magna Vol. 1 (2005), No. 2, 36-38
On the primitive numbers of power P and its mean value properties1 Ding Liping Department of Mathematics, Northwest University Xi’an, Shaanxi, P.R.China,710069 Abstract Let p be a prime, n be any fixed positive integer. Sp (n) denotes the smallest positive integer such that Sp (n)! is divisible by pn . In this paper, we study the mean value properties of Sp (n) for p, and give a sharp asymptotic formula for it. Keywords Primitive numbers; Mean value; Asymptotic formula.
§1. Introduction Let p be a prime, n be any fixed positive integer, Sp (n) denotes the smallest positive integer such that Sp (n)! is divisible by pn . For example, S3 (1) = 3, S3 (2) = 6, S3 (3) = 9, S3 (4) = 9, S3 (5) = 12, · · · . In problem 49 of book [1], Professor F. Smarandache asks us to study the properties of the sequence Sp (n). About this problem, some asymptotic properties of this sequence have been studied by Zhang Wenpeng and Liu Duansen [2], they proved that ¶ µ p Sp (n) = (p − 1)n + O log n . log p The problem is interesting because it can help us to calculate the Smarandache function. In this paper, we use the elementary methods to study the mean value properties of Sp (n) for p, and give a sharp asymptotic formula for it. That is, we shall prove the following: Theorem Let x ≥ 2, for any fixed positive integer n, we have the asymptotic formula X p≤x
µ ¶ k−1 X nam x2 nx2 nx2 Sp (n) = + +O , 2 log x m=1 logm+1 x logk+1 x
where am (m = 1, 2, · · · , k − 1) are computable constants.
§2. Some Lemmas To complete the proof of the theorem, we need the following: Lemma Let p be a prime, n be any fixed positive integer. Then we have the estimate (p − 1)n ≤ Sp (n) ≤ np. 1 This
work is supported by the N.S.F(10271093) and P.N.S.F of P.R.China
Vol. 1
On the primitive numbers of power P
37
Proof. Let Sp (n) = k = a1 pα1 + a2 pα2 + · · · + as pαs with αs > αs−1 > · · · > α1 ≥ 0 under the base p. Then from the definition of Sp (n) we know that p | Sp (n)! and the Sp (n) denotes the smallest integer satisfy the condition. However, let (np)! = 1 · 2 · 3 · · · p · (p + 1) · · · 2p · (2p + 1) · · · np = upl . where l ≥ n, p†u. So combining this and p | Sp (n)! we can easily obtain Sp (n) ≤ np.
(1)
On the other hand, from the definition of Sp (n) we know that p | Sp (n)! and pn † (Sp (n) − 1)!, so that α1 ≥ 1, note that the factorization of Sp (n)! into prime powr is Y k! = q αq (k) . q≤k
where
Q
denotes the product over all prime , and
q≤k
αq (k) =
∞ X k [ i] q i=1
because p | Sp (n)!, so we have n ≤ αp (k) =
∞ X k k [ i] = p p − 1 i=1
or (p − 1)n ≤ k
(2)
combining (1) and (2) we immediately get the estimate (p − 1)n ≤ Sp (n) ≤ np. This completes the proof of the lemma.
§3. Proof of the theorem In this section, we complete the proof of Theorem. Based on the result of lemma (p − 1)n ≤ Sp (n) ≤ np we can easily get
X
(p − 1)n ≤
p≤x
Let
1, a(n) = 0,
X p≤x
Sp (n) ≤
X p≤x
if n is prime; otherwise,
np.
38
Ding Liping
No. 2
Then from [3] we know that for any positive integer k, X
a(n) = π(x) =
n≤x
µ ¶ k−1 X m! x x (1 + ) + O . logx logm x logk+1 x m=1
By Abel’s identity we have X X p= a(m)m p≤x
m≤x Z x
= π(x)x −
π(t)dt 2
µ ¶ Z x k−1 k−1 X m! x2 X m! t x2 x2 + − (1 + )dt + O logx logx m=1 logm x logm t logk+1 x 2 logt m=1 µ ¶ k−1 X x2 am x2 x2 + + O 2 log x m=1 log( m + 1)x logk+1 x
= =
where am (m = 1, 2, · · · , k − 1) are computable constants. From above we have X
(p − 1) =
p≤x
X p≤x
µ ¶ k−1 X x2 am x2 x2 + p − π(x) = +O . 2 log x m=1 log( m + 1)x logk+1 x
Therefore X p≤x
Sp (n) =
X p≤x
k ==
¶ µ k−1 X x2 am x2 x2 + . + O 2 log x m=1 log( m + 1)x logk+1 x
This completes the proof of the theorem. Acknowledgments The author express his gratitude to his supervisor Professor Zhang Wenpeng for his very helpful and detailed instructions.
References [1] F.Smarandache, Only problems, Not Solutions, Chicago, Xiquan Publ. House, 1993. [2] Zhang Wenpeng and Liu Duansen, On the primitive numbers of power P and its asymptotic property, Smarandache Notions Journal, 13(2002), 173-175. [3] M.Ram Murty, Problems in analytic number theory, Springer-Verlag, New York, 2001, pp. 36