УДК 511.3

S.V. Matnyak

The asymptotic formula in the Goldbach binary problem

Khmelnytsky, Ukraine

Summary: The binary problem of Goldbach is solved by the method of the

trigonometrical sums. The asymptotic formula of distribution of the even numbers

formed by the sum of two simple uneven numbers is found for each even number

from the set of natural numbers 𝑁.

Key words: binary problem of Goldbach, asymptotic formula, simple uneven

numbers, even numbers, method of the trigonometrical sums.

Introduction. In this paper well-known unsolved Goldbach problem is

considered. This problem represents itself the hypothesis according to which some

even number, no less than six, is represented by the sum of two prime uneven

numbers, which is the Goldbach binary problem .Goldbach had come to this

problem experimentally. Nowadays computer gives you to experimentally test this

hypothesis. But until the present moment no example which would contradict the

Goldbach hypothesis has been found. A great progress in its proving was achieved

by I.M. Vynogradov and L.G.Shnirelman. In 1973 Vynogradov managed to show

that some sufficiently large uneven number is a sum of three prime uneven

numbers. In this paper the asymptotic formula of distribution of sums of two prime

uneven numbers is found, that is the founding of asymptotic formula faund gives

the solution to the binary problem of Goldbach.

Problem statement.To find an asymptotic formula of distribution of even

numberslarger than 6, which consist of addition of two prime uneven numbers.

Solution. In the proof presented here the method of I.M. Vynogradov is

used, which was ingested to prove the ternary Goldbach problem.

Definitions and theorems to reminder.

Definition 1.The even number is a positive integer, if there is a number 2

among its prime multipliers.

Definition 2. Uneven number is a positive integer, if there no number 2

among its prime multipliers.

Definition 3. [1, p.119] The integer number p is called prime, if it differ

from 0 and ±1 and has a divisor only to ±1 and ±р. The integer number a, differ

from 0 and ±1and which has except ±1and ±𝑎 other divisors, is called complex

number.

Theorem 1. [1, p.120] Some integer positive number differs from 1, can be

presented in the form of positive prime numbers product. This production accurate

within multiplier order is unique.

Theorem 2. [1, p.120] The set of positive prime numbers is infinite.

Theorem 3. [1, p.394] (J. Hadamard and Vallée Poussin law). The ratio

x

xx

ln:

tends to 1 at unlimited growth x , i.e.

1ln

lim

x

xx

x

,

where the function x

xx

ln – defines the number of prime uneven numbers in

the set of natural numbers N 𝑤ℎ𝑒𝑛 x .

Consequence. (Euler’s theorem) [1, p.408]. Each positive prime uneven

number 𝑎 can be presented in the following form

12 qa ,

where q is an even number among the set of natural numbers N .

Theorem 4. The sum of arbitrary two prime and uneven numbers is an even

number

21 ppN ,

Where N is an even number, and 1p , 2p are prime uneven numbers.

Proof. In terms of Euler’s theorem consequence each uneven prime number

1p 𝑎𝑛𝑑 2p can be represented in following form

12 11111 qrqbp , 12 22222 qrqbp

Where 1q и 2q − a whole, positive number from the set of natural numbers N.

Then

).12(2241212 21212122211121 qqqqqqrqbrqbppN

Let us factorize the number N is to prime numbers.

s

spppqqmN ...21222 21

2121 ,

where numbers sppp ,...,, 21 are different positive prime numbers, аnd 0i

For si ,...,3,2,1 . Therefore, the number N is even number, because between his

simple multipliers is the number 2.

Lemma 1. (Paige). If for the given 0 quite high 1c and c are set. Then the

number lqN ,, of prime numbers, does not exceed N , which is in an arithmetic

progression lxq , crq 0 , 1, lq , ql 0 , Nr ln , expressed by the formula

N

Hx

dx

qlqN

2ln

1,, , qq 1 ,

where for all q , except on the series of different numbers, multiples of some

0qq , the condition is met

02 rq

we have the inequality

rq

rNH

c

1

.

Proof.This Lemma is a consequence of the well known theorem of English

mathematician Page.

Lemma 2. If 2N , Nr ln , z – actual

N izx

dzr

ezI

2

2

, N izx

dxx

ezJ

2

2

,ln

Then we have

,ZzI ,ZzJ

.,

,5,0111

11

NzthenNrz

NZthenrNZ

Proof. This Lemma is proved by Vynogradov [2,p.95].

Lemma 3.If crN , where 2c , and if

1

1

,22

dzezJR izN

Where zJ has the meaning specified in Lemma 2, then

32 r

NO

r

NR . .

Proof. Let us apply the notation of Lemma 2. The Integral R is compared

with integral

5,0

5,0

22,dzezIzI iz

And we find

1

1

1

1

022222

0

RdzezIdzezIzJRR izNizN.

Here, the first component of the right part, according to Lemma 2 and inequality

,1

ln

12

2r

Ndx

rxzIzJ

N

So we have

1 1

1

1

1 0

333

2

2.

N

Nr

Ndz

r

Ndz

r

Ndx

r

NZ

Another component of the right part, according to Lemma 2 will be

3

5,0 5,0

22

2

1 1 r

N

rz

dzdzZ

.

Therefore, 30

r

NRR . Let us assume,

5,0

5,0

22,dzezSR izN ,

2

2

N

x

izx

r

ezS

In accordance to Lemma 2, we’ll have r

zSzI1

, r

Z1

. Then

2

5,0

0 0

5,0

22

2

0

1

1

11

r

Ndz

zrdz

r

Ndz

rZRR

N

N

.

Therefore,2r

NRR . The expression Rr 2 defines the number of

representations of number N

in the form of

21 xxN

with integer 1x , 2x , which are greater than the number 2. The number of

combinations of two numbers with 2N will be equal to

2

65

2

32 22

2

NNNNCN

.

Therefore, each number of a series of positive integer N is possible to represent

as

12

652

2

22 ON

N

NN

N

CRr N

times, and each even number of series of positive integer N is possible to

represent in the form of

12

6522 2

2

22 ONN

NN

N

CRr N

times. From where we verify the validity of Lemma.

Theorem 5. Number NI of representations of pair positive number N as

the sum

21 ppN

simple unpaired numbers 1p и 2p and is expressed by the formula

322 r

NONS

r

NNI ,

Where

1

21

113

2/21,p

Пp

ПNS NpNp

More over NpП / applies to all of the prime numbers that divide N , а

1, NpП on prime

divisors, which do not divide the number N и Np .

And we have 0,1NS .

Consequence (the binary Gold Bach problem).There is 0c with the

condition that a certain pair number N not less than 0c , is a sum of two prime’s

unpaired numbers.

Proof. Let us assume 7 rN , we have

1

22

1

1

deSNI Ni ,

Np

pieS2

2 ,

the interval of integration of the integral NI can be divided into intervals of the

first and second classes.

Intervals of the first class we'll call intervals, which include all the values of alpha

bud.

zq

a , 1, qa , 11 z ,

20 rq .

Obviously, ( 0c is big enough), intervals of first class do not intersect . Intervals of

the second class are called the intervals that remained after the separation of the

intervals of the first class. The arbitrary alpha, which belongs to the second class

can be represented in the form

zq

a , 1, qa ,

11

11

q

zq

, qr2.

Accordingly to the specified distribution of intervals the integration of the integral

NI is split into two components.

NININI 21 .

1. Assessment𝑰𝟐(𝑵).Accordingly to the theorem of the 1 chapter 4 by

7rq we have

15,2

5,01ln

r

Ner

N

qr

qrrNS r

.

And respectively to theorem 2 of the chapter 4 by 72 rqr , valid is the ratio is

valid

15,2

rNS , 12r

NA .

Therefore

1

1

3

2

11

0 2 2

25,2

2

r

NderNNI

Np Np

ppi .

1. Lemma 4. Integral

1

0

2

1

2 2

2

'

'

deNp Np

ppi

Nln

1 under conditions, that

p

N

ln2

ln and

2

qa .

Proof. Let us write the expression

1

0

2

1

2 2

2

'

'

deNp Np

ppi in the form of

1

0

2

1

2

ln2

'

deNp

pi , where ppp ln . Let us estimate the amount of

Nee

eeee

ii

iN

Ni

N

N

h

ih

Np

pi

ln

1

2

1

sin

1

1

2

1 22

21

ln2

ln

1

2

2

ln2

'

, where

pln and p

N

ln2

ln . From here we find , that 12 or

2

qa . From theorem 4

(Bertrand's postulate) [3,p. 97] we have, that a should be in the interval

Na

N

2, that meets the condition

2

qa as far as Nqa 1 . Therefore

Nde

Np Np

ppi

ln

11

0

2

1

2 2

2

'

'

.

Lemma 4 is proved.

2. The intervals of the first class, which correspond to the value of q which

is not different. If qaI , is the part of the integral that corresponds to the

interval NI1 of the first class, which includes quotient

q

a with value q , and

not differ. Take the arbitrary zq

a , of this interval, the sum S can be

divided into 12

1

radditive aspect

11

1

2

,NpAN

pzq

ai

N eS

, 12r

NA

For additive sums 1,NS we have AzpzNz 1 . Number of this summands

1 rA . Therefore

6

122

2

,

11

1

1 r

ArAzeeS

NpAN

pzq

ai

izN

N

.

But (Lemma 1)[2, 𝑝. 65] с=17) when given l with the condition ql 0 , 1, ql ,

the number of primes of the form lxq , which lie in the interval 11 NpAN is

expressed by the formula

1

1 1

17

1 ln

1N

ANrq

rNO

x

dx

q

Therefore:

1

1

1

1 6

2

1

2

,ln

1N

AN

iN

l

lq

ai

Nr

AO

x

dxe

qeS

We shall find symbol (Lemma 2)

l

lq

ai

qe 2

, AzpzNz 1 ,

1

1

6ln

N

ANr

A

x

zAdx,

1

1

1 6

2

1

,ln

N

AN

izx

Nr

AO

x

dxe

q

qS

,

61 r

AOzJ

q

qS

,

11 q

z

q

zJ ,

1226

1

2

1

2 rNNrq

zzJ

q

qS

.

We denote 21

r

N and because the range

11

11 , 𝑒𝑛𝑡𝑒𝑟𝑠 𝑖𝑛𝑡𝑜 𝑡ℎ𝑒 𝑟𝑎𝑛𝑔𝑒 11, , 𝑠𝑜

1

11

1 z 𝑎𝑛𝑑 then

dzrq

NNr

q

ZdzezJ

q

qI

Nzq

ai

q

11

11

11

0

8

1

26

1

22

21

,

11

5

28

1

226

1 qr

N

N

rr

q

N

N

rrN

q

z

Compel a to runt his deduction system on module q , 𝑡ℎ𝑒𝑟𝑒𝑓𝑜𝑟𝑒 𝑤𝑒 𝑜𝑏𝑡𝑎𝑖𝑛

11

3,

qrNORqGIa

qa ,

a

Nq

ai

eq

qqG

2

21

(1)

According Lemma 3 and inequality 11qqG , we shall write down

132,

qr

NOqG

r

NI

aqa

3. Basic intervals, which correspond to the different values of q. Let’s

assume that q belongs to the different quantity of numbers q So kqq 0 where k

is the number with condition 010 rk (since 2rq and 01

0

rq ).

dale us assume that

zq

a z ,

𝛼 =𝑎

𝑞+ 𝑧, − 𝜏 ≤ 𝑧 ≤ 𝜏, 𝛿 = |𝑧|𝑁,

𝑆(𝑞, 𝛿) = 𝑁 · 𝑟−1+𝜀 · 𝑞−0,5, 𝑤ℎ𝑒𝑛𝛿 ≤ 1,

𝑆(𝑞, 𝛿) = 𝑁 · 𝑟−1+𝜀 · 𝑞−0,5 · 𝛿0,5, 𝑤ℎ𝑒𝑛𝛿 ≥ 1,

According to theorem 2 in Chapter 4[2], we will have 𝑆𝛼 ≪ 𝑆(𝑞, 𝛿),So we

obtain

𝐼𝑎,𝑞 ≪ ∫ (𝑆(𝑞, 𝛿)2)𝜏−1

0dz≪

1

𝑁∫ (𝑆(𝑞, 𝛿)2)dδ

1

0≪

𝑁

𝑟2−2𝜀.𝑘𝑞0.

Compel 𝑎to run this deduction system on module 𝑞, 𝑡ℎ𝑒𝑟𝑒𝑓𝑜𝑟𝑒 𝑤𝑒 𝑜𝑏𝑡𝑎𝑖𝑛

𝐼𝑎,𝑞 ≪𝑁

𝑟2−2𝜀𝑞0.

or, since the order of the first member is lower than of the following second order,

so

∑ 𝐼𝑎,𝑞 =𝑁

𝑟2 𝐺(𝑞) + О (𝑁

𝑟2−𝜀𝑟)𝑎 .

4. The previous formulas 𝑰(𝑵).According to the computation (1,2,3) we

find

𝐼1(𝑁) − ∑𝑁

𝑟2𝑞≤𝑟2 .G(𝑞) ≪ ∑𝑁

𝑟3𝑞1𝑞≤𝑟2 +∑

𝑁·

𝑞01·𝑘1𝑟3−2𝜀𝑘≤𝑟1+𝜀 .≪

𝑁·𝑟𝜀1

𝑟3 ,

∑𝑁

𝑟2𝑞>𝑟2 .G(𝑞) ≪ ∑𝑁

𝑟2 ·𝑞>𝑟2 .𝑞1−2 ≪

𝑁

𝑟3,

𝐼(𝑁) =𝑁

𝑟2· 𝑆(𝑁) + О (

𝑁

𝑟3−𝜀),

1q

qGNS . (2)

5.Inverse transform and researching NS .It is clear that, nG differs

fromzeroonlyincase, when cannonicalexpansionofthenumberof q is

givenby kpppq ...21 (andincase, when 1q ). Thustheidentitywill betruealsoif

kk ppGpGpG ...... 11

Indeed, in the case 2k , the validity of this equation comes from the equality

11 21

21

1221

0 0

2

21

21

1

pa pa

pp

Npapai

epp

pGpG

,

Where 1221 papa runs this deduction system on module 𝑝1𝑝2 .The

generalization of this identity on the case. 2k is trivial.

When 2x we have

xq

xqxp qGqGpGП'

1 ,

Whereextends to the values q , which are divided into primes, greater than x . As

NS converges absolutely at boundless increase x , the first components the right

part aspires to a limit, the second to a limit zero. Therefore, forcing p to run all

simple numbers, we will have

pGПNS з 1

Let's consider the expression (1) N is divided into on q , to qea

Nq

ai

2

. Let's

substitute this expression in (1) and we will receive

22

1

22

1

2 11...

11

11...

11

kk ppq

q

ppq

qqqG

,

Where there is Euler's function which equals [4, item 30]

kpppqq

11...

11

11

21

.

Let's substitute value in expression (2)

Np

qGNS/

and obtain:

Nqk

k

Nq

k

Nq q

q

p

p

p

p

ppq

qqGNS

/2

2

2

1

21

/22

1

/ 1...

111...

11

1

1...

11

11...

11

11

1...

1 2

2

1

1

212

2

2

1

21

k

k

kk

k

p

p

p

p

p

p

pppp

p

p

p,

because [4,p.29]

111

1 p

p, 1

12

2 p

p,..., 1

1

k

k

p

p and than

kNq pppq

q 11...

11

11

21/

.

As 21 p , we will have

0,2NS .

and .6,061

10,22

\2

Np pNS

Then it is possible to write down that

2

1

ppG , when N divided on p .

Therefore:

1

21

113

11

11

113)(

2

"

2

'

2

2

"

2

'

pП

pП

p

pП

pПNS ,

where П – extends on values p , which do not divide by N , and П – on

values which divide N ...

Here the first multiplier П of the right part is more than 1, and the second

multiplierП equals

6,061

122

р р.

Therefore we find

0,1NS

The theorem is proved.

On August, 06th, 2013

Remade

April, 22nd, 2014

References

1.Kulikov L.Y. Algebra and number theory. A training manual for pedagogical

institutes.M:Highschool,1979.

2. I.M. Vynogradov Special variants of the method of trigonometric sums. - M:

URSS.2004..

3. Kunnath Chandrasekharan. An introduction to the analytic theory of numbers.

M:Mir,1974.

4. Vynogradov, I. M. Basic theory of numbers. Saint-Petersburg, Moscow,

Krasnodar,2006.