Scientia Magna Vol. 2 (2006), No. 1, 9-12
Some arithmetical properties of primitive numbers of power p1 Xu Zhefeng Department of Mathematics, Northwest University Xi’an, Shaanxi, P.R.China Abstract The main purpose of this paper is to study the arithmetical properties of the primitive numbers of power p by using the elementary method, and give some interesting identities and asymptotic formulae. Keywords
Primitive numbers of power p; Smarandache function; Asymptotic formula.
§1. Introduction Let p be a fixed prime and n be a positive integer. The primitive numbers of power p, denoted as Sp (n), is defined as following: Sp (n) = min{m : m ∈ N, pn |m!}. In problem 47,48 and 49 of [1], Professor F.Smarandache asked us to study the properties of the primitive numbers sequences {Sp (n)}(n = 1, 2, · · · ). It is clear that {Sp (n)}(n = 1, 2, · · · ) is the sequence of multiples of prime p and each number being repeated as many times as its exponent of power p is. What’s more, there is a very close relationship between this sequence and the famous Smarandache function S(n), where S(n) = min{m : m ∈ N, n|m!}. Many scholars have studied the properties of S(n), see [2], [3], [4], [5] and [6]. It is easily to show that S(p) = p and S(n) < n except for the cases n = 4 and n = p. Hence, the following relationship formula is obviously: π(x) = −1 +
¸ [x] · X S(n) n=2
n
,
where π(x) denotes the number of primes up to x, and [x] denotes the greatest integer less than or equal to x. However, it seems no one has given some nontrivial properties about the primitive number sequences before. In this paper, we studied the relationship between the Riemann zeta-function and an infinite series involving Sp (n), and obtained some interesting identities and asymptotic formulae for Sp (n). That is, we shall prove the following conclusions: Theorem 1. For any prime p and complex number s, we have the identity: ∞ X
1 ζ(s) = s , s (n) S p −1 n=1 p 1 This
work is supported by the N.S.F(60472068) and P.N.S.F(2004A09) of P.R.China
10
Xu Zhefeng
No. 1
where ζ(s) is the Riemann zeta-function. Specially, taking s = 2, 4 and p = 2, 3, 5, we have the Corollary. The following identities hold: ∞ X
1 π2 = ; S 2 (n) 18 n=1 2 ∞ X
1
S 4 (n) n=1 2
=
π4 ; 1350
∞ X
1 π2 = ; S 2 (n) 48 n=1 3 ∞ X
1
S 4 (n) n=1 3
=
∞ X
1 π2 = ; S 2 (n) 144 n=1 5
π4 ; 7200
∞ X
1
S 4 (n) n=1 5
=
π4 . 56160
Theorem 2. Let p be any fixed prime. Then for any real number x ≥ 1, we have the asymptotic formula: µ ¶ ∞ X 1 1 1 p ln p = ln x + γ + + O(x− 2 +² ), Sp (n) p−1 p−1 n=1 Sp (n)≤x
where γ is the Euler constant, ² denotes any fixed positive number. Theorem 3. Let k be any positive integer. Then for any prime p and real number x ≥ 1, we have the asymptotic formula: ∞ X
Spk (n) =
n=1 Sp (n)≤x
1 xk+1 + O(xk+ 2 +² ). (k + 1)(p − 1)
§2. Proof of the theorems To complete the proof of the theorems, we need a simple Lemma. Lemma. Let b, T are two positive numbers, then we have ¡ ¡ ¢¢ 1 1 + O ab min 1, T ln , if a > 1; Z b+iT s a ¡ b ¡ ¢¢ 1 a 1 ds = O a min 1, T ln a , if 0 < a < 1; 2πi b−iT s ¡b¢ 1 if a = 1. 2 +O T , Proof. See Lemma 6.5.1 of [8]. Now we prove the theorems. First, we prove Theorem 1. Let m = Sp (n), if pα km, then the same number m will repeat α times in the sequence Sp (n) (n = 1, 2, · · · ). Noting that Sp (n) (n = 1, 2, · · · ) is the sequence of multiples of prime p, we can write ∞ X
1 s S (n) n=1 p
=
∞ ∞ X X X α α = s αs m p ms pα m=1 m=1 pα km
(m,p)=1
µ ¶ µ ¶ ∞ ∞ X X α 1 1 α = ζ(s) 1 − = 1 − ζ(s) . αs s s αs p p p p α=1 α=1 Since
µ 1−
1 ps
¶X ∞
∞
X α 1 1 1 1 = s+ = s+ s αs (α+1)s p p p p p α=1 α=1
µ
1 ps − 1
¶ =
1 , ps − 1
Vol. 2
11
Some arithmetical properties of primitive numbers of power p
we have the identity
∞ X
1 ζ(s) = s . s (n) S p −1 n=1 p This completes the proof of Theorem 1. Now we prove Theorem 2 and Theorem 3. Let x ≥ 1 be any real number. If we set a = Spx(n) in the lemma, then we can write 1 2πi
Z
∞ X
b+iT
b−iT
n=1 Sp (n)≤x
xs ds Sps−k (n)s
∞ X
=
n=1 Sp (n)≤x
Spk (n) + O
∞ X
xb
n=1 Sp (n)≤x
Spb−k (n)
min 1,
1 2πi
Z
∞ X
b+iT
b−iT
n=1 Sp (n)>x
∞ X xs ds = O Sps−k (n)s n=1 Sp (n)≤x
1 ³ T ln
x Sp (n)
´ ,
(1)
xb 1 ³ ´ min 1, b−k , x Sp (n) T ln Sp (n)
(2)
where k is any integer. Combining (1) and (2), we find
=
Z
∞ 1 xs X ds s−k s n=1 Sp (n) b−iT ∞ ∞ b X X x 1 ³ ´ . Spk (n) + O min 1, b−k S (n) T ln Spx(n) n=1 n=1 p
1 2πi
b+iT
(3)
Sp (n)≤x
Then from Theorem 1, we can get ∞ X n=1 Sp (n)≤x
Spk (n) =
1 2πi
Z
b+iT
b−iT
s
1 ζ(s − k)x ³ ´ ds + O xb min 1, (ps−k − 1)s T ln Spx(n)
Now we calculate the first term in the right side of (4). When k = −1, taking b = 21 and T = x, we move the integral line from s = s = − 12 + iT . This time, the function f (s) =
1 2
(4)
+ iT to
ζ(s + 1)xs (ps+1 − 1)s
³ ´ ln p 1 ln x + γ − pp−1 . Hence, we can have a second order pole point at s = 0. Its residue is p−1 write Z 12 +iT 1 ζ(s + 1)xs ds 2πi 12 −iT (ps+1 − 1)s ÃZ 1 µ ¶ Z − 12 +iT Z 12 +iT ! − 2 −iT 1 p ln p 1 ζ(s + 1)xs = ln x + γ − + ds. (5) + + 1 p−1 p−1 2πi (ps+1 − 1)s − 12 −iT − 12 +iT 2 −iT
12
Xu Zhefeng
No. 1
We can easily get the estimate ¯ ¯ ÃZ 1 Z 12 +iT ! ¯ 1 − 2 −iT ζ(s + 1)xs ¯¯ ¯ + ds¯ ¯ 1 ¯ 2πi (ps+1 − 1)s ¯ − 21 +iT 2 −iT ¯ Z 12 ¯¯ 1 ¯ 1 1 x2 ¯ ζ(σ + 1 + iT )x 2 ¯ ¿ = x− 2 , ¯ dσ ¿ ¯ σ+1+iT 1 ¯ (p ¯ − 1)T T −2 and
¯ ¯ Z T ¯ 1 Z − 12 +iT ζ(s + 1)xs ¯ ¯ ¯ ds ¿ ¯ ¯ ¯ 2πi − 1 −iT (ps+1 − 1)s ¯ 0 2
¯ ¯ ¯ ζ( 1 + it)x− 12 ¯ 1 ¯ ¯ 2 ¯ 1 +it ¯ dt ¿ x− 2 +² . ¯ (p 2 − 1)( 1 + t) ¯
(6)
(7)
2
Combining (4), (5), (6) and (7), we have ∞ X n=1 Sp (n)≤x
1 1 = Sp (n) p−1
This is the result of Theorem 2. When k ≥ 1, taking b = k + to s = k + 12 . Now the function
3 2
µ ln x + γ +
p ln p p−1
¶ 1
+ O(x− 2 +² ).
and T = x, we move the integral line of (4) from s = k + g(s) =
3 2
ζ(s − k)xs (ps−k − 1)s k+1
x have a simple pole point at s = k + 1 with residue (p−1)(k+1) . Using the same method we can also get ∞ X 1 xk+1 Spk (n) = + O(xk+ 2 +² ). (k + 1)(p − 1) n=1 Sp (n)≤x
This completes the proofs of the theorems.
References [1] F.Smaradache, Only problems, not solutions, Xiquan Publishing House, Chicago, 1993. [2] P.Erd¨ os, Problem 6674, Amer. Math. Monthly, 98(1991), pp. 965. [3] Ashbacher, C., Some Properties of the Smarandache-Kurepa and Smarandache-Wagstaff Functions, Mathematics and Informatics Quarterly, 7(1997), pp. 114-116. [4] Begay, A., Smarandache Ceil Functions, Bulletin of Pure and Applied Sciences, 16E(1997), pp.227-229. [5] Mark Farris and Patrick Mitchell, Bounding the Smarandache function, Smarandache Notions Journal, 13(2002), pp. 37-42. [6] Kevin Ford, The normal behavior of the Smarandache function, Smarandache Notions Journal, 10(1999), pp. 81-86. [7] Tom M. Apostol, Introduction to Analytic Number Theory, Springer-Verlag, New York, 1976. [8] Pan Chengdong and Pan Chengbiao, Element of the analytic Number Theory, Science Press, Beijing, 1991, pp.96.