ON THE ODD SIEVE SEQUENCE

Page 1

ON THE ODD SIEVE SEQUENCE Yao Weili Research Center for Basic Science, Xi’an Jiaotong University, Xi’an, Shaanxi, P.R.China

Abstract

The odd sieve sequence is the sequence, which is composed of all odd numbers that are not equal to the difference of two primes. In this paper, we use analytic method to study the mean value properties of this sequence, and give two interesting asymptotic formulae.

Keywords:

The odd sieve sequence; Mean value; Asymptotic formula.

S1.Introduction The odd sieve sequence is the sequence, which is composed of all odd numbers that are not equal to the difference of two primes. For example: 7, 11, 19, 23, 25, · · ·. In problem 94 of [1], Professor F.Smarandache asked us to study this sequence. About this problem, it seems that none had studied it before. Let A denotes the set of the odd sieve numbers. In this paper, we use analytic method to study the mean value properties of this sequence, and give two interesting asymptotic formulae. That is, we shall prove the following: Theorem 1. For any positive number x > 1, we have the asymptotic formula à ! X x2 x2 x2 − +O n= . 4 2 ln x ln2 x n≤x n∈A

Theorem 2. formula

For any positive number x > 1, we have the asymptotic

X 1 n≤x n∈A

µ

1 x 1 1 , = ln − ln ln(x + 2) + γ − A + B + O n 2 2 2 ln x

where A, B are computable constants, γ is the Euler’s constant.

§2.

Proof of Theorems

In this section, we shall complete the proof of Theorems. Firstly we prove Theorem 1, let ½ 1, n is a prime, a(n) = 0, otherwise,


138

SCIENTIA MAGNA VOL.1, NO.1

and note that

µ

X

x x π(x) = a(n) = +O . ln x ln2 x n≤x

Therefore if we take f (n) = n in Abel’s identity, we can get the estimate X

Z

p = (x + 2)π(x + 2) − 2π(2) −

p≤x+2

Ã

=

(x + 2)2 +O ln(x + 2)

=

(x + 2)2 +O 2 ln(x + 2)

(x + 2)2 ln2 (x + 2)

Ã

x+2

0

π(t)f (t)dt

2

!

Z

− !

x+2 µ

2

µ

t t +O ln t ln2 t

¶¶

dt

(x + 2)2 . ln2 (x + 2)

Then from the definition of the odd sieve sequence and the Euler’s summation formula, we have X

n =

X 2n−1≤x

n≤x n∈A

X

(2n − 1) −

(p − 2)

p−2≤x

=

X X (x + 1)(x + 3) + O(x) − p+2 1 4 p≤x+2 p≤x+2

=

(x + 2)2 (x + 1)(x + 3) − +O 4 2 ln(x + 2)

=

x2 x2 − +O 4 2 ln x

Ã

Ã

!

(x + 2)2 ln2 (x + 2)

!

x2 . ln2 x

This completes the proof of Theorem 1. Now we prove Theorem 2. From the Euler’s summation formula, we have X 1 n≤x

n

µ ¶

1 , x

= ln x + γ + O

(1)

where γ is the Euler’s constant. Since

∞ X 1 1 , ≤ 2n(2n − 1) (n − 1)2 n=1 n≤x

X

we have X

1 = O(1). 2n(2n − 1) n≤x Note X 1

µ

(2)

1 , = ln ln x + A + O p ln x n≤x

(3)


139

On the odd sieve sequence

where A is a constant. From the definition of odd sieve and formulae (1), (2) and (3), we can obtain X 1 n≤x n∈A

=

n

=

X 1 1 − 2n − 1 p−2≤x p 2n−1≤x

X µ 1

2n

n≤ x+1 2

=

X

+

1 2n(2n − 1)

X

1 p−2 3≤p≤x+2

X 1 X X 1 1 X 1 2 1 − + − + 2 x+1 n p≤x+2 p 2n(2n − 1) 3≤p≤x+2 p(p − 2) 2 x+1 n≤

2

n≤

2

µ

1 x 1 1 = ln − ln ln(x + 2) + γ − A + B + O , 2 2 2 ln x where B is a computable constant. This completes the proof of Theorem 2.

References [1] F. Smarandache, Only Problems, Not Solutions, Xiquan Publishing House, Chicago, 1993. [2] Tom M. Apostol, Introduction to Analytic Number Theory, New York, 1976.


Turn static files into dynamic content formats.

Create a flipbook
Issuu converts static files into: digital portfolios, online yearbooks, online catalogs, digital photo albums and more. Sign up and create your flipbook.