Analytic Erd？s-Turán conjectures and Erd？s-Fuchs theorem英文文献资料.docVIP

ANALYTICERD?S-TURáNCONJECTURES ANDERD?S-FUCHSTHEOREM L.HADDAD,C.HELOU,ANDJ.PIHKO Received3March2005andinrevisedform28September2005 Weconsiderandstudyformalpowerseries,thatwecallsupportedseries,withrealcoe?- cientswhichareeitherzeroorboundedbelowbysomepositiveconstant.Thesequences ofsuchcoe?cients havealotofsimilarity with sequences ofnatural numbers consid- eredinadditivenumbertheory.Itisthisanalogythatwepursue,thusestablishingmany propertiesandgivingequivalentstatementstothewell-known Erd¨os-Tur′anconjectures intermsofsupportedseriesandextendingtothemaversionofErd¨os-Fuchstheorem. 1.Introduction Inaseminalpaperof1941,Erd¨osandTur′an[4]madetwoconjecturesinadditivenum- bertheory,whichhavehadanimportant impactonthe?eld.Theyconcernthenumber r(A,n)ofrepresentations ofanaturalnumbernasasumoftwoelementsofasubsetA ofthesetNofnaturalnumbers.Oneofthem,theso-calledErd¨os-Tur′anconjecture,still anotoriousopenquestion,canbeformulatedasfollows. (ET)IfAisabasisofN,ifeverynaturalnumberisthesumoftwoelementsofA ,then thenumberr(A,n)ofsuchrepresentationsisunboundedforn∈N. Theotheronepredictedthatr(A,n)cannotbeasymptotically toowellapproximated
n byitsaveragevalue;moreprecisely,itisimpossibletohave r(A,m)=cn+O(1)for m=0 anypositiverealnumberc.Fifteenyearslater,inanotherveryin?uentialpaper,Erd¨osand r(A,m)=cn+o(n1/4log?1/2n)
n m=0 Fuchs[3]provedevenmorethanthat,namelythat isimpossible. Thissurprising resultstirred alotofinterestsinceitwasalmost asgood asaclassical estimate ofitskindforthenumber oflatticepoints inacircle,speci?c to the set Aofthe squares in Nand obtained via di?cult analytic techniques, while this one was valid for any subset A of N and with a simpler proof. Consequently, several authorspresentedvariousversionsoftheErd¨os-Fuchstheorem[1,7,9,10,11].Moreover, theErd¨os-Fuchspapercontainedthestatementofamoregeneralconjecturethan(ET), namelythefollowing. (GET) IfA={a1a2···an···}isanin?nitesubsetofNsuchthatan≤dn2, forsomeconstantd0andallninN?=N\{0