arxiv: v4 [math.nt] 8 May 2014

Transcription

1 O ADDITIVE REPRESETATIO FUCTIOS R. BALASUBRAMAIA AD SUMIT GIRI ABSTRACT. Let A ={a < a < a 3...<a n <...} be an infinite sequence of integers and let R n= {i, j : a i a j = n; a i,a j A ; i j}. We define S = R l R l. We prove that, if L norm of S = max{s,0} l= is small then L norm of S is large. arxiv:07.778v4 [math.t] 8 May 04. ITRODUCTIO Let A = {a,a,...,}0 a a... be an infinite sequence of non-negative integers. Let n 0, denote the number of solutions of a i a j = n, and a i a j = ni j by R n and R n, respectively. More precisely: R n=r A,n= ; a i a j =n Also define, R n=r A,n= a i a j =n i j R 3 n=r 3 A,n= a i a j =n i< j It is easy to chec that if A is a full set or a complement of a finite set inside the set of natural numbers then all R, R, R 3 are monotonically increasing. Here we are interested in inverse problems. In other words how the monotonicity of one of the representation function affects the cardinality of the set A. Erdős, Sárözy and Sós [8, 9] and the first author [] studied the monotonicity properties of the functions R, R, R 3. It turns out that monotonicity of these three functions differs significantly. Erdős, Sárözy and Sós [8] proved that R n can be monotonically increasing from a certain point only in a trivial way: Theorem A. If R n R n for all large n, then\a is a finite set. The analogous conclusion is not true in case of R. If we define A = A [,], then first author [] proved that, Theorem B. If R n R n for all large n, then A= Olog That is to say, the complement set of A is of order Olog at most. The following result was also proved in []: Theorem C. If A=o log, then the function R 3n can not be eventually increasing. Again Erdos, Sarozy and Sos [8] proved another result related to R : n An Theorem D. If lim n n =, then we have, lim sup n R R = The result is tight, in fact they gave an example of a sequence A where n An > clogn for large n and fixed constatnt c. and lim sup R R <. In [], Tang and Chen gave a quantative version of Theorem D. To state the theorem, let us define a few notations: Sn= R R n m=log loglog. ;.

2 Then L norm of Sn is defned by T=maxSn= max R R. n n n They proved that, when the ratio T A A is bounded above by a small enough fixed constatnt, then T and log satisfies a simple inequality. More precisely: Theorem E. If T< A, then, 36 T> A 80e log 4 8 Where is a fixed positive integer, depending only on A It is easy to see that under the condition, Theorem E implies Theorem D ow Set and S n=max{sn,0} T =max n {S n} ote: T and T are same unless all {Sn} n are negative. In this paper we again assume that T A is bounded above and prove an improved inequality where we replace L norm of Sn by L norm of S n n. More precisely: Theorem. Let A be an infinite sequence of positive integers and there exists 0 such that T< 36A for all 0. Then there exists a constatnt > 0 such that 3 m S n n > 0e A 7 log c. for some constatnt c depending on the first few elements of A. Corollary. If holds then T > 7e A log 7 So if at least one of Sn is non-negetive, then T indeed equals to T. In that case Corollary gives Theorem E with a better constant. Corollary also implies the following corollaries: A Corollary. If lim sup log =, then for all large. A Corollary 3. If lim sup log T min{ 36 A, A e log } =, then lim sups n =. n Remar. In the proof, we assume that, mentioned in Theorem, is suffuciently large. But as the reader can notice, one can tae any, which satisfies the following: Define Ñ by: AÑ>40, then can be the smallest integer satisfying 0.98 < 40 eñ Ñ.

3 Set Then Let χ A be the characteristic function of A. i.e. For a positive real number, define and. otations and prelimanary lemmas: fz= z a ; for z < fz = χn= Rnz n. {, if n A 0else. ψ= fe = e a g=4 e S e. Before proving the theorem we shall prove a few lemmas which we shall be using later. Lemma. Let 0<x be a real number. Then Proof. ote that Summing over to, n=0 n x n xx x n x n n < j n x j. n x n j= x j = x x. Adding x corresponding to n=0 on both sides, we get the result. ote that ψ :0, R be a continuous function, which is positive and increasing. It can be shown that if the complement of A is finite then 4 ψ = O ψ. and conversely. We aim to prove that, even if Ψ satisfies a hypothesis, slightly weaer than 4, then some colclusion can be arrived about Ψ. Let f : R [0, be an function. For any real number y, and integer α 0, define Fy,α by recurrence, as follows: and In other words, Fy;0=0; Fy,α = fyα Fy,α. Fy;α= fα y fα y 4 Lemma. Ifψ exp fψ for all 0, then fα y... fy 8 α ψy α y α exp Fy;α ψy y α for all integers α 0. and a fixed real number y 0 3

4 Proof. For α = 0, both sides are equal; For the general case by induction, and hence the result. ψy α y α exp fy α ψy α = y α exp fy α Fy;α ψy y α =r α exp Fy,α ψy y α We will see the implication of Lemma and Lemma in the proof of Theorem. Before doing so we need one more fact. Intuitively it maes sense that if T= T[] is small then g should also be small. We will show that is the case in the next lemma: Lemma 3. Let g and T are defined as above. Then g<t0 for all 40. Further if T 36 A for all integers 0 then there exists 0 such that g ψ for all Proof. First tae =[]. Then we have: ow Also e S e m Σ = = m = R R e R R e =m = Σ Σ Say; R R e = e m max m S ; = T. Σ = =m R R e S e S m e m ; R R e Using R R < and m=log loglog, and also considering the fact that h x= xe x is a decreasing function of x we get, Σ xe x dx; m < 3 if > 80. 4log 4 ;

5 So g=4σ Σ ; < 4T 3 4log for 0; = 4T9 3 log. Which proves the first part of the lemma since g is an increasing function. To prove the second part note that for 00. Then the fact that proves the result. Ψ > e a a g 9 A0 > e = e A, a 3. PROOF OF THEOREM : We observe, by comparing the coefficients of α n from both sides, that Since α > 0 this gives, 5 fα = α α fα fα α α fα R R α α α f α. ow considering the right hand side of the summation, we get: Thus we get, from 5, 6 ow putting α = e, we get Since ψ, this gives R R α = R R α = = α fα α α fα α S S α S α α ψ ψ e S α. S α S e. 7 ψ ψ g Thus 8 ψ ψ g. ow using the second part of lemma 3, we get Thus, ψ satisfies lemma, with f=log. Thus ψ ψ 0 Fy;α=log α 5

6 Thus, ψy 0 α y 0 α ψy 0 y 0 α for 0 y 0 < 0 This gives, since ψ 0, and if α is sufficently large, say α α 0, ψy 0 α 0.49y 0 α for y 0 0. Thus choosing α suitably and defining y 0 = α so that 0 y 0 < 0, we get Thus, from 8 for all. Since g Then This gives for y <. ote that in this case ψ 0.49 for all = 0 α 0. ψ ψ g < 9 g, lemma is satisfied with f=.3 Fy;α=.3 α y gα yg α y...gy ψy α y α exp Fy ;α ψy y α ; g α y g α y...gy =α 8 α y α 8 α y α 8 α y That implies for large enough α and fixed y with y <, ψy α y α S α n=0 n e n y α S e α e α y y S α y exp Fy ;α c y α e α y ; by Lemma. for some constant c depending on A. For example, you can choose c=inf y< ylog Taing logarithm on both sides Fy ;α c y α > ψy α y α, ψy y. Or,.3 α α 8 y S c y α e y α Ay α y α. As before choosing α suitably, so that y = α <, it implies that S > 0e A 7 log c for large enough and fixed constant c depending on A. Which proves Theorem. 6

7 4. REMARK Remar. Also we sloved a question raised by Sárözy see [0][Problem 5, Page 337]: Does there exist a set A such that A is an infinite set and R n R n holds on a sequence of integers n whose density is? Here we show that the answer to this question is positive by giving a simple example. Let B be an infinite Sidon set of even integers and A = \ B; Put =BB B and X =\; Then, R n R n for all n X. To see this, let let Then fz= z a and gz= z b, b B R n R n z n = z fz z = z z gz = z z zgz zgz r n=, b i b j =n b i B,b j B So R n R n iff coefficient of z n in z fz is non negetive. ow coefficient of z is = r r χ B and coefficient of z is = r r χ B Then it is clear from the above choice of X and A that, R n R n for all n in X. For example we can tae B ={,4,8,6,3,..., m,...}. Then B is infinite and X is of density. REFERECES [] M. Ajtai, J. Komlós and E. Szemerédi, A dense infinite Sidon sequence, European J. Combin. 98,. [] R. Balasubramanian, A note on a result of Erd os, S ar ozy and S os, Acta Arith , [3] ong-gao Chen, András Sárözy, Vera T. Sós and Min Tang, On The Monotonicity Properties of Additive Representations Functions,Bull. Austral. Math. Soc., 7 005, [4] Min Tang and ong-gao Chen, On Additive Properties of General Sequences. Bull. Austral. Math. Soc., 7, [5] P. Erdős and A. Sárözy, Problems and results on additive properties of general sequences, P, Pacific J. Math , [6] P. Erdős and A. Sárözy, Problems and results on additive properties of general sequences, II, Ada Math. Hungar , 0-. [7] P. Erdős, A. Sárözy and V.T. Sós, Problems and results on additive properties of general sequences, III, Studia Sci. Math. Hungar. 987, [8] P. Erdős, A. Sárözy and V.T. Sós, Problems and results on additive properties of general sequences, IV,, in umber Theory, Proceedings, Ootacamund, India, 984, Lecture otes in Mathematics Springer-Verlag, Berlin, 985, pp [9] P. Erdős, A. Sárözy and V.T. Sós, Problems and results on additive properties of general sequences, V, Monatsh. Math , [0] A. Sárözy, On the umber of Additive Representations of Integers. Bolyai Society Mathematical Studies,5,

8 O ADDITIVE REPRESETATIO FUCTIOS R. BALASUBRAMAIA AD SUMIT GIRI ABSTRACT. Let A ={a < a < a 3 < a n < } be an infinite sequence of non-negetive integers and let R n= {i, j : a i a j = n; a i,a j A ; i j}. We define S = R l R l. We prove that if L norm of l= S = max{s,0} is small, then L norm of S is large. arxiv:07.778v4 [math.t] 8 May 04. ITRODUCTIO Let A ={a,a, }0 a < a < be an infinite sequence of non-negative integers. For n 0, Define R n=r A,n= a i a j =n R n=r A,n=. a i a j =n i j ow, it is easy to chec that if A is a full set or a complement of a finite set inside the set of natural numbers, then R and R are monotonically increasing. Here we are interested in inverse problems, i.e., how the monotonicity of the representation functions affects the cardinality of the set A. The question of characterisation of the set A, under the condition that either R n or R n is monotonic, was raised by Erdős, Sárözy and Sós [8]. Also see [9] and []. In [8], Erdős, Sárözy and Sós proved that R n can be monotonically increasing from a certain point, only in a trivial way. See [8] and [] for the following theorem. Theorem A. If R n R n for all large n, then\a is a finite set. 3 While analogous conclusion is not true in case of R. If, we define then the first author [] proved the following theorem: A= A [,], Theorem B. If R n R n for all large n, then A= Olog. In other words, If R n is monotonic, then the complement set of A is almost of order Olog. In the first part of this paper we shall focus on the function R and quantities related to monotonicity of it. Also in Section 6, we shall mae a remar concerning a question raised by Sárözy [0], related to monotonicity of R. In [9] Erdős, Sárözy and Sós proved Theorem C. If 4 then we have, 5 lim sup n An lim =, n logn R R =. The assumption 4 in the above theorem can not be relaxed. In fact Erdős, Sárözy and Sós [9] constructed a sequence Aˆ wheren An>clogn ˆ for large n and fixed constatnt c and lim sup R R <.

9 In [4], Tang and Chen gave a quantative version of Theorem C. Before we state their theorem, let us define a few notations. S n = R R, n m=log loglog. Also L norm of S n, denoted by T, is defined as follow: 6 T= max S n = max R R. n m n m n In [4] the authors proved that, when the ratio T A is bounded above by a small enough fixed constatnt, then T satisfies a simple inequality. More precisely, and A log Theorem D. If T be defined as in 6 and 7 T< 36 A, for all large enough, then there exists a C> 0, depending only on A, such that 8 for all large enough. T> A 80e log 4 C 8 It is easy to see that, under the condition 7, Theorem D implies Theorem C. ow, set and S n = max{s n,0}, T = max n m {S n }. ote: T and T are same unless all the elements of the set {S n : n m} are negative. T In this paper, we again assume that A is bounded above and prove an improved version of 8 where we replace L norm of Sn by L norm of S n n. More precisely, we prove the following theorem: Theorem. Let A be an infinite sequence of positive integers and there exists 0 such that T< 36 A for all 0. Then there exists a constatnt c > 0, depending on A, such that 9 for all large enough. m S n n > 0e A 4 log c. Corollary. If 7 in Theorem D holds, then for any ε > 0, 0 for any large enough. T > A 0eε log 4. So, if at least one of Sn is non-negetive, then T indeed equals T. In that case, Corollary gives Theorem D with a better constant. Corollary also implies the following: A Corollary. If lim sup log =, then lim sup{s n }=. n

10 . Generating Functions: It is more natural to consider the problem in terms of generating function. Set fz= z a, z <. Then, For any positive real number, define and 3 fz = Rnz n. ψ= fe = e, a g=4 e S e. Theorem. Let g and ψ be defined as above. Also assume 4 g min{ψ, 9 } for all sufficiently large positive real number. Then ψ exp.3 log 6 S for some positive constatnt c depending only on first few elements of A. e e In Section 3, we will give a proof of Theorem. In Section 4, we will show how Theorem follows from Theorem. c 3. otations and prelimanary lemmas: Consider a function h :R [0,. For any real number and integer α 0 define H;α by recurrence, as follows: 5 Also 6 H;0=0 H;α= h h 4 = α j=0 j h H= j=0 h 4 h α 8 α for integer α. j j h j. Lemma. If h and H;α is defined as above and 7 ψ exp hψ for all real number Ñ 0, then for every integer α 0, 8 for any real number α Ñ 0. ψ exp H ;α 3 ψ α α α

11 Proof. For α = 0, both sides are equal. For the general case, suppose it is true for α = α 0. Then ψ exp hψ = exp h H ;α ψ 0 = exp H,α ψ α 0 α 0 α 0 α 0 α 0 α 0 for and hence the result. Lemma. There exist a c>0 such that, if is larghe enough, then we have for some α log. ψ α α α exp c Proof. ow fix an interval[a, a] so that ψa. Then choose α suitably so that α [a,a]. In that case, we have ψ α α α a. a This proves the lemma. Lemma 3. Let 0<x< be a real number. Then Proof. ote that Summing over to, n=0 n x n x x. n x n n < j n x j. n x n j= x j = x x. Adding x corresponding to n=0 on both sides, we get the result. Lemma 4. In the notaion of Lemma, let h=d g for some fixed positive constant d, to be choosen later. Then H,α d α 8 S e e Proof. set x=e. g=4 e 8 4 S x. S x.

12 Then α H ;α= j=0 α j=0 d = d j j h d 8 α 8 α 8 S S j=0 S j x j x x j x j PROOF OF THEOREM : It is easy to verify the following inequality by comparing the coefficients of z n from both sides. If z>0, this gives, fz = z z fz R R z z f z. z fz z z fz ow, considering the right hand side of the summation, we get Thus, from 0 we get ow putting z=e, we get ψ Since ψ, this gives Thus, R R z = fz z z R R z. = z S S z S z z S 0 z fz z S z. S z. ψ e ψ ψ g. ψ ψ g. Lemma 5. If g ψ, then for all large enough real number ψ Proof. Since g ψ, using we get ψ ψ. 5 S e.

13 Then 7 in Lemma is holds with h=log. In that case H= 0 j j h j = log. This gives, by Lemma and Lemma, if is large enough. ψ 0.49 Thus, combining and Lemma 5 we get ψ ψ g 0.49 for sufficiently large. Since g < g 9, equation 7 in Lemma is satisfied with h=.3. Hence Lemma 4 and Lemma together give the following: 3 ψ exp.3 α 6 Hence Theorem follows from 3 and Lemma. S e e ψ α α α. 5. PROOF OF THEOREM Lemma 6. Let g and T are defined as in 3 and 6. Then a g<4t40 for all real number 40. b Further, if T 36 A for all integers 0, then there exists 0 such that g ψ for all real number. Proof. We now S T for m and S for m. ow g=4 e { S e S e } m >m = 4 e {Σ 3 Σ 4 }, say. and hence a. To prove b note that for 00. Then, the fact that proves the result. Σ 3 =0 Σ 4 >m Te Ψ > a e = T. e m g 9 A0 x x e dx 0 e a > e = e A a 6

14 Lemma 6 shows condition 4 of Theorem are satisfied. Hence ψ exp.3 log 6 4 S for some constant c depending on A. Taing logarithm on both sides,.3 log 6 S Or, ow,.3 log 6 e e e x e x x and hence we can replace e It implies that 5.3 log 8 m S e e e c c > log ψ > ψ. e e by. S 0 0 c e c > A S > 0e A 8 log c for large enough and fixed constant c depending on A. This proves Theorem. ψ. 6. MOOTOICIT OF R n O DESE SET OF ITEGERS Remar. Also, we solved a question raised by Sárözy see [0][Problem 5, Page 337]. His question was the following: Does there exist an infinite set A such that \A is also an infinite and R n R n holds on a sequence of integers n whose density is? Here we show that the answer to this question is positive by giving a simple example. A Sidon set is a set of positive integers such that the sums of any two terms are all different. i.e., R n for the corresponding R function. By [], it is possible to construct sidon sequence of ordernlogn 3. ow, let B be an infinite Sidon set of even integers and A =\B; Put =BB B and X =\; Then, R n R n for all n X.. To see this, let Then, Again, let fz= z a and gz= z b. b B R n R n z n = z fz z = z z gz = z z zgz zgz. r n=, b i b j =n b i B,b j B 7

15 So, R n R n iff coefficient of z n in z fz is non negetive. ow coefficient of z is = r r χ B and coefficient of z is = r r χ B Then, it is clear from the above choice of X and A that R n R n for all n in X. For example, we can tae B ={,4,8,6,3,..., m,...}. Then B is infinite and X is of density. REFERECES [] M. Ajtai, J. Komlós and E. Szemerédi, A dense infinite Sidon sequence. European J. Combin. 98,. [] R. Balasubramanian, A note on a result of Erdős, Sárözy and Sós. Acta Arith , [3] ong-gao Chen, András Sárözy, Vera T. Sós and Min Tang, On The Monotonicity Properties of Additive Representations Functions. Bull. Austral. Math. Soc., 7 005, [4] Min Tang and ong-gao Chen, On Additive Properties of General Sequences. Bull. Austral. Math. Soc., 7, [5] P. Erdős and A. Sárözy, Problems and results on additive properties of general sequences. I. Pacific J. Math , [6] P. Erdős and A. Sárözy, Problems and results on additive properties of general sequences. II. Acta Math. Hungar , 0-. [7] P. Erdős, A. Sárözy and V.T. Sós, Problems and results on additive properties of general sequences. III. Studia Sci. Math. Hungar. 987, [8] P. Erdős, A. Sárözy and V.T. Sós, Problems and results on additive properties of general sequences. IV. umber Theory Ootacamund, 984, Lecture otes in Mathematics. Springer-Verlag, Berlin, 985, [9] P. Erdős, Sárözy and V.T. Sós, Problems and results on additive properties of general sequences. V. Monatsh. Math , [0] A. Sárözy, On the umber of Additive Representations of Integers. Bolyai Society Mathematical Studies,5,