arxiv: v1 [math.nt] 9 Jan 2014

Similar documents
Recall that by Theorems 10.3 and 10.4 together provide us the estimate o(n2 ), S(q) q 9, q=1

Chapter 10. The singular integral Introducing S(n) and J(n)

cycle that does not cross any edges (including its own), then it has at least

BINOMIAL COEFFICIENTS INVOLVING INFINITE POWERS OF PRIMES. 1. Statement of results

Introduction to Arithmetic Geometry Fall 2013 Lecture #20 11/14/2013

Cramér-Rao Inequality: Let f(x; θ) be a probability density function with continuous parameter

BINOMIAL COEFFICIENTS INVOLVING INFINITE POWERS OF PRIMES

On the irreducibility of some polynomials in two variables

Hardy-Littlewood Conjecture and Exceptional real Zero. JinHua Fei. ChangLing Company of Electronic Technology Baoji Shannxi P.R.

Derangements and Applications

Construction of asymmetric orthogonal arrays of strength three via a replacement method

INCOMPLETE KLOOSTERMAN SUMS AND MULTIPLICATIVE INVERSES IN SHORT INTERVALS. xy 1 (mod p), (x, y) I (j)

SECTION where P (cos θ, sin θ) and Q(cos θ, sin θ) are polynomials in cos θ and sin θ, provided Q is never equal to zero.

Equidistribution and Weyl s criterion

The Matrix Exponential

Limiting value of higher Mahler measure

LINEAR DELAY DIFFERENTIAL EQUATION WITH A POSITIVE AND A NEGATIVE TERM

The Matrix Exponential

1 N N(θ;d 1...d l ;N) 1 q l = o(1)

COMPUTER GENERATED HOLOGRAMS Optical Sciences 627 W.J. Dallas (Monday, April 04, 2005, 8:35 AM) PART I: CHAPTER TWO COMB MATH.

An Application of Hardy-Littlewood Conjecture. JinHua Fei. ChangLing Company of Electronic Technology Baoji Shannxi P.R.China

DISTRIBUTION OF DIFFERENCE BETWEEN INVERSES OF CONSECUTIVE INTEGERS MODULO P

Section 6.1. Question: 2. Let H be a subgroup of a group G. Then H operates on G by left multiplication. Describe the orbits for this operation.

COUNTING TAMELY RAMIFIED EXTENSIONS OF LOCAL FIELDS UP TO ISOMORPHISM

Deift/Zhou Steepest descent, Part I

Complex Powers and Logs (5A) Young Won Lim 10/17/13

On the number of pairs of positive integers x,y H such that x 2 +y 2 +1, x 2 +y 2 +2 are square-free

SCHUR S THEOREM REU SUMMER 2005

Numbers representable by five prime squares with primes in an arithmetic progression

Calculus II (MAC )

PROOF OF FIRST STANDARD FORM OF NONELEMENTARY FUNCTIONS

Problem Set 6 Solutions

On spanning trees and cycles of multicolored point sets with few intersections

2008 AP Calculus BC Multiple Choice Exam

Exercise 1. Sketch the graph of the following function. (x 2

The Equitable Dominating Graph

Higher order derivatives

NEW APPLICATIONS OF THE ABEL-LIOUVILLE FORMULA

Some remarks on Kurepa s left factorial

Basic Polyhedral theory

Bifurcation Theory. , a stationary point, depends on the value of α. At certain values

Fourier Transforms and the Wave Equation. Key Mathematics: More Fourier transform theory, especially as applied to solving the wave equation.

Math 34A. Final Review

Einstein Equations for Tetrad Fields

Square of Hamilton cycle in a random graph

Supplementary Materials

(Upside-Down o Direct Rotation) β - Numbers

Solution: APPM 1360 Final (150 pts) Spring (60 pts total) The following parts are not related, justify your answers:

ABEL TYPE THEOREMS FOR THE WAVELET TRANSFORM THROUGH THE QUASIASYMPTOTIC BOUNDEDNESS

CPSC 665 : An Algorithmist s Toolkit Lecture 4 : 21 Jan Linear Programming

Addition of angular momentum

Engineering 323 Beautiful HW #13 Page 1 of 6 Brown Problem 5-12

Differential Equations

22/ Breakdown of the Born-Oppenheimer approximation. Selection rules for rotational-vibrational transitions. P, R branches.

Addition of angular momentum

Homework #3. 1 x. dx. It therefore follows that a sum of the

Chapter 1. Chapter 10. Chapter 2. Chapter 11. Chapter 3. Chapter 12. Chapter 4. Chapter 13. Chapter 5. Chapter 14. Chapter 6. Chapter 7.

Combinatorial Networks Week 1, March 11-12

10. Limits involving infinity

Propositional Logic. Combinatorial Problem Solving (CPS) Albert Oliveras Enric Rodríguez-Carbonell. May 17, 2018

Homotopy perturbation technique

The graph of y = x (or y = ) consists of two branches, As x 0, y + ; as x 0, y +. x = 0 is the

ON A CONJECTURE OF RYSElt AND MINC

Ewald s Method Revisited: Rapidly Convergent Series Representations of Certain Green s Functions. Vassilis G. Papanicolaou 1

1 General boundary conditions in diffusion

Mutually Independent Hamiltonian Cycles of Pancake Networks

u x v x dx u x v x v x u x dx d u x v x u x v x dx u x v x dx Integration by Parts Formula

10. The Discrete-Time Fourier Transform (DTFT)

A Propagating Wave Packet Group Velocity Dispersion

Finding low cost TSP and 2-matching solutions using certain half integer subtour vertices

ON THE DISTRIBUTION OF THE ELLIPTIC SUBSET SUM GENERATOR OF PSEUDORANDOM NUMBERS

EEO 401 Digital Signal Processing Prof. Mark Fowler

BSc Engineering Sciences A. Y. 2017/18 Written exam of the course Mathematical Analysis 2 August 30, x n, ) n 2

Quasi-Classical States of the Simple Harmonic Oscillator

Probability and Stochastic Processes: A Friendly Introduction for Electrical and Computer Engineers Roy D. Yates and David J.

LARGE SIEVE INEQUALITY WITH CHARACTERS FOR POWERFUL MODULI

The van der Waals interaction 1 D. E. Soper 2 University of Oregon 20 April 2012

A. Limits and Horizontal Asymptotes ( ) f x f x. f x. x "±# ( ).

Mapping properties of the elliptic maximal function

SOME PARAMETERS ON EQUITABLE COLORING OF PRISM AND CIRCULANT GRAPH.

Derivation of Eigenvalue Matrix Equations

SIMULTANEOUS NONVANISHING OF DIRICHLET L-FUNCTIONS AND TWISTS OF HECKE-MAASS L-FUNCTIONS. 1. Introduction

2.3 Matrix Formulation

Pipe flow friction, small vs. big pipes

1 Isoparametric Concept

5.80 Small-Molecule Spectroscopy and Dynamics

1 Minimum Cut Problem

Thus, because if either [G : H] or [H : K] is infinite, then [G : K] is infinite, then [G : K] = [G : H][H : K] for all infinite cases.

Week 3: Connected Subgraphs

Brief Introduction to Statistical Mechanics

Exponential inequalities and the law of the iterated logarithm in the unbounded forecasting game

Spectral Synthesis in the Heisenberg Group

Where k is either given or determined from the data and c is an arbitrary constant.

u 3 = u 3 (x 1, x 2, x 3 )

INTEGRATION BY PARTS

MATH 319, WEEK 15: The Fundamental Matrix, Non-Homogeneous Systems of Differential Equations

Abstract Interpretation: concrete and abstract semantics

Search sequence databases 3 10/25/2016

Calculus concepts derivatives

1973 AP Calculus AB: Section I

Transcription:

ON A FORM OF DEGREE d IN 2d+ VARIABLES (d 4 MANOJ VERMA arxiv:4.2366v [math.nt] 9 Jan 24 Abstract. For k 2, w driv an asymptotic formula for th numbr of zros of th forms k (x2 2i +x2 2i + k (x2 2k+2i +x2 2k+2i x2k 4k+ x k (x2 2i +x2 2i+ +x k 2k+2 (x2 2k+2i+ +x2 2k+2i+2 x2k+ 4k+3 in th box x i P using th circl mthod. Mathmatics Subjct Classification 2: Primary D45; Scondary D85, P55.. Introduction Th problms of rprsntation of positiv intgrs of non-trivial rprsntation of zro by forms with intgral cofficints hav attractd attntion of many mathmaticians sinc th bginning of th 2th cntury. Most of th work in this ara has bn carrid out using th circl mthod. Th squar-root barrir implis that th circl mthod is unlikly to yild an asymptotic formula in cas of a form of dgr d with lss than 2d+ variabls. In 962 Birch, Davnport Lwis [] found an asymptotic formula for th numbr rprsntations of zro in a box x i P by th cubic forms in svn variabls of th typ N (x,x 2,x 3 +N 2 (x 4,x 5,x 6 +a 7 x 3 7 whr N N 2 ar norm forms of som cubic fild xtnsions of Q a 7 is a nonzro intgr. Incidntally, whras an asymptotic formula for th numbr of rprsntations of an intgr as a sum of ight cubs has bn stablishd by Vaughan [4], an asymptotic formula in th cas of a sum of svn cubs sms to b out of rach as of now. Howvr, a lowr bound of th xpctd ordr of magnitud has bn stablishd by Vaughan [5]. A fw mor familis of cubic forms in svn variabls hav bn dalt with. Howvr, for d 4 no xampl of an asymptotic formula for th numbr of rprsntations of ithr zro or of larg positiv intgrs by a form of dgr d in 2d+ variabls sms to xist in th litratur. In this papr, for ach d 4, w stablish an asymptotic formula for th numbr of zros of a particular form of dgr d in 2d+ variabls in a suitabl xping box using th circl mthod. It turns out that our proof gos through in cass d =,2,3 as wll rtrivs prviously known rsults in thos cass. For d vn, say d = 2k, k, w look at th numbr zros of th form k k f(x = f(x,...,x 4k+ = (x 2 2i +x 2 2i+ (x 2 2k+2i +x2 2k+2i x2k 4k+ whil for d odd, say d = 2k +, k, w look at th numbr of zros of th form k k f(x = f(x,...,x 4k+3 = x (x 2 2i +x 2 2i++x 2k+2 (x 2 2k+2i+ +x2 2k+2i+2 x2k+ 4k+3

2 MANOJ VERMA in a box x i P. Whn convnint w shall abbrviat writ whr f(x = f(x,...,x 2d+ = f d (x,...,x d +f d (x d+,...,x 2d x d 2d+ (. { k f d (x,...,x d = (x2 2i +x2 2i if d is vn, d = 2k, k x k. (x2 2i +x2 2i+ if d is odd, d = 2k+, k W could dfin f d = f d (x,...,x d rcursivly: f (x = x, f 2 (x,x 2 = x 2 + x2 2, f d (x,...,x d = (x 2 d +x2 d f d 2(x,...,x d 2 for d 2. Taking x d 2 = x 2d 2 = x d 4 = x 2d 4 =... =, x d 3 = x 2d 3 = x d 5 = x 2d 5 =... = applying th four squar thorm w s that this form rprsnts vry intgr infinitly many tims; our intrst lis in stablishing th asymptotic formula for th numbr of rprsntations of zro with x i P. Only minor changs ar rquird to prov th xpctd asymptotic formula for th numbr of rprsntations of a larg positiv intgr N by this form (or by th form obtaind by changing th sign in th front of x d 2d+ to + with th variabls rstrictd so that x i N d. Not that if d 3 thn th form f is singular (.g., considr th point (,,,..., (so Dlign s stimat for complt xponntial sums is not applicabl its h-invariant is 3. (Th h-invariant of a form F, dnotd h(f, is dfind as th smallst intgr h such that F can b writtn in th form F(x = A (xb (x+...+a h (xb h (x whr A i (x B i (x ar forms of positiv dgrs having rational cofficints. In what follows, ε can tak any positiv ral valu in any statmnt in which it appars, (α = 2πiα, th symbols O hav thir usual manings with th implicit constants dpnding at most on ε d. If A is a st, #A dnots th cardinality of A. If n,m ar positiv intgrs, d(n dnots th numbr of positiv divisors of n d m (n dnots th numbr of (ordrd factorizations of n with m positiv intgral factors. For a ral numbr x, x x dnot th gratst intgr lss than or qual to x th smallst intgr gratr than or qual to x rspctivly. Thorm. Th numbr of zros R(;P of th form f in (. with x i P satisfis whr S = S J ar positiv. q= a= (a,q= R(;P = P d+ SJ +O(P d+ +5 2 d +ε q J = q 2d S(q,a with S(q,a = ( [,] 2d+ (γf(ξdξ z mod q dγ; ( a q f(z, Rmark. On can also considr th problm of finding an asymptotic formula for th numbr of zros of th form f insid th box x i P but thn th contribution from thos dgnrat zros of f that li insid th box x i P also in th st U = {x Z 2d+ : f d (x,...,x d = f d (x d+,...,x 2d = x 2d+ = } would b 2 2d 2 P 2d 2 +O d (P 2d 3 in cas d is odd 2 2d 6 d 2 P 2d 4 +O d (P 2d 5 in cas d is vn thus th contribution from th zros of f with at last on of th x i qual to zro would b P d+2 if d 5 cannot b dtrmind prcisly via th circl mthod.

ON A FORM OF DEGREE d IN 2d + VARIABLES (d 4 3 On th othr h, th numbr of zros of f with x i P but non of th x i qual to zro is 2 2d+ tims th numbr of zros with x i P in cas d is vn, is 2 2d tims th sum of th numbr of zros with x i P of th thr forms f d (x,...,x d +f d (x d+,...,x 2d x d 2d+, f d (x,...,x d +f d (x d+,...,x 2d x d 2d+ f d (x,...,x d f d (x d+,...,x 2d x d 2d+ ; thorm applis to th lattr two forms as wll. 2. Th Minor Arcs Lt P b a larg positiv intgr, I = {,2,...,P}, B = I 2d+ F(α = x B(αf(x. (2. Thn th numbr of zros of th form f insid th box x i P is whr R(;P = F (α = F(αdα = x,...,x d I F (α 2 F 2 (αdα (2.2 (αf d (x,...,x d F 2 (α = ( αx d. x I Lt δ b a sufficintly small positiv ral numbr to b spcifid latr. For q P δ, a q, (a,q =, dfin th major arcs M(q,a by { M(q,a = α : α a } q Pδ d lt M b th union of th M(q,a. Th st m = (P δ d,+p δ d ]\M forms th minor arcs. Lmma 2.. W hav F (α 2 dα P d+ε. Proof. W assum that d is vn, d = 2k, k ; th proof is similar in cas d is odd. W hav F (α 2 dα = a(n 2 n 2 k P d whr a(n = #{(x,...,x d I d : f d (x,...,x d = n} for n. Clarly a( = n 2 k P d a(n = Pd. For n, in any solution of k (x2 2i + x 2 2i = n w must hav x2 2i +x2 2i = n i ( i k for som factorization n = n...n k of n with k (positiv factors. For a positiv intgr r, th numbr of solutions of th

4 MANOJ VERMA quation s 2 +t 2 = r in non-ngativ intgrs s,t is 8d(r r ε. Thus, for n 2 k P d w hav a(n n ε...nε k = d k(nn ε n ε n ε P 2dε. Hnc n...n k =n F (α 2 dα = + a(n 2 +P 2dε a(n P d+2dε. n 2 k P d n 2 k P d Lmma 2.2. W hav m F(αdα P d++ε δ 2 d. Proof. For α m, by Dirichlt s thorm on Diophantin approximation, thr xist a, q with (a,q =,q P d δ α a q q P δ d < q 2. Sinc α m (P δ d, P δ d, w must hav a < q q > P δ (othrwis α would b in M(q,a. By Wyl s inquality (S [2] or [6], This, with (2.2 lmma 2. givs m F(αdα = F 2 (α P +ε δ 2 d. F(αF 2 2 (αdα (sup m α m ( ( sup F 2 (α F (α 2 dα α m ( F 2 (α F (α 2 dα m P d++ε δ 2 d. 3. Th Major Arcs Todal withthmajorarcswndtoobtainanapproximationtothgnratingfunction F(α, (2., in trms of th auxiliary functions S(q,a = z mod q ( a q f(z (3. I(β = (βf(ξdξ. (3.2 [,P] 2d+ Lmma 3.. For α M(q,a, writing α = (a/q+β, w hav F(α = q 2d S(q,aI(β+O(P 2d+2δ.

Proof. W hav ( a F q +β ON A FORM OF DEGREE d IN 2d + VARIABLES (d 4 5 = x B = z mod q = z mod q (( a q +β f(x y:qy+z B y:qy+z B = q 4 z mod q (( a q +β ( a q f(qy+z ( a q f(z f(qy+z y:qy+z B (βf(qy+z q 2d+ (βf(qy+z. Th innr sum is a Rimann sum of th function (βf(ξ ovr a 2d + -dimnsional cuboid which dpnds on z. W want to rplac it by th intgral ovr th 2d + - dimnsional cub [,P] 2d+ stimat th rror in doing so. Firstly, any first-ordr partial drivativ of (βf(ξ is of th form 2πiβg(ξ(βf(ξ whr g(ξ is a dgr d form (in 2d + ral variabls whos cofficints ar boundd which itslf is, thrfor, O(P d on th cub [,P] 2d+. Thrfor, (βf(ξ dos not vary by mor that O( β qp d on a cub of sid q. Thr ar q 2d+ trms in th outr sum (P/q 2d+ trms in ach innr sum so th rror in rplacing th sum by th intgral ovr th corrsponding cuboid is O( β qp d q 2d+ (P/q 2d+ = O( β qp 3d. Scondly, ach sid of this cuboid dpnds on z but is within lngth q of th sids of [,P] 2d+. Sinc th intgr is boundd by in absolut valu, th rror in rplacing th rgion of intgration by [,P] 2d+ is O(qP 2d. Sinc w hav q P δ β P δ d, th total rror is O(P 2d+2δ +O(P 2d+δ = O(P 2d+2δ. Hnc, F ( a q +β which givs th lmma. Lmma 3.2. W hav = q 2d z mod q ( a q f(z ( I(β+O(P 2d+2δ whr F(αdα = P d+ S(P δ J(P δ +O(P d+5δ M S(Q = q Q J(µ = γ <µ ( q a= (a,q= q 2d S(q,a (3.3 [,] 2d+ (γf(ξdξ dγ. (3.4 Proof. Not that M(q,a = [(a/q P δ d,(a/q +P δ d ] has lngth 2P δ d. Th chang of variabl α = (a/q+β lmma 3. giv P δ d F(αdα = q 2d S(q,a I(βdβ +O(P d+3δ. M(q,a P δ d

6 MANOJ VERMA Summing ovr q P δ, a q, (a,q =, w gt P δ d F(αdα = S(P δ I(βdβ +O(P d+5δ. M P δ d Applying th chang of variabl γ = P d β, th intgral in th abov quation bcoms P δ P d I(P d γdγ. P δ Sinc f is a homognous function of dgr d, th chang of variabl ξ = P ξ givs (P d γ = (γp d f(ξdξ = (γf(p ξdξ [,P] 2d+ [,P] 2d+ = P 2d+ (γf(ξ dξ [,] 2d+ which complts th proof of th lmma. 4. Th Singular Intgral Not that th innr intgral apparing in th dfinition of J(µ, (3.4, is boundd trivially by. Applying th chang of variabl ξ = γ /2k ξ w s that (γf(ξdξ = γ 2d+ d (f(ξ dξ. [,] 2d+ γ d[,] 2d+ W think of th last intgral as an itratd intgral apply Lmma 7.3 of Vaughan [6] to ach itration to gt th bound (γf(ξdξ min(,γ 2d+ d. (4. [,] 2d+ Lmma 4.. For µ, whr J = J(µ = J +O(µ d+ d ( [,] 2d+ (γf(ξdξ dγ >. Proof. Th convrgnc of J(µ to J as µ at th rat assrtd follows from (4.. To show that J >, w imitat [2, Chaptr 4]. Writing α for (α,...,α d α 2 for (α d+,...,α 2d, ( J = lim λ λ λ Sinc ( γαd 2d+ dα 2d+ = any ral numbrs λ µ, J = d lim λ [,] 2d+ (γ(f d (α +f d (α 2 α d 2d+ dα dα 2 dα 2d+ [,] 2d+ α d dγ. d α d ( γαdα λ λ(γµdγ = sin(2πλµ/πµ for ( sin(2πλ(fd (α +f d (α 2 α dα π(f d (α +f d (α 2 α dα 2 dα.

ON A FORM OF DEGREE d IN 2d + VARIABLES (d 4 7 Putting β = f d (α +f d (α 2 α so that α = f d (α +f d (α 2 β, whr φ(β = d J = d lim λ 2 d/2 + φ(β sin(2πλβ πβ {β<f d (α +f d (α 2 <β+} [,] 2d (f d (α +f d (α 2 β d dα dα 2. Fourir s intgral thorm for a finit intrval is applicabl givs J = φ( = (f d (α +f d (α 2 d dα dα 2. {<f d (α +f d (α 2 <} [,] 2d Sinc th rgion of intgration is a non-mpty opn st th intgr is positiv throughout th rgion of intgration, J >. dβ 5. Th Singular Sris From th dfinition of S(Q, (3.3, whr S (q,a = S(Q = q Q q x,...,x d = S(q = q Q q 2d q a= (a,q= ( a q f d(x,...,x d, S 2 (q,a = S(q = q 2d q a= (a,q= S (q,a 2 S 2 (q,a. S (q,a 2 S 2 (q,a (5. q x= ( aq xd S(q is a multiplicativ function of q. In fact, if (q,q 2 = (a,q q 2 = w choos a,a 2 so that a 2 q +a q 2 = thn for i =,2 S i (q q 2,a = S i (q q 2,a q 2 +a 2 q = S i (q,a S i (q 2,a 2. (5.2 This follows from th fact that as r r 2 run through a complt (or rducd st of rsidus modulo q q 2 rspctivly, r 2 q +r q 2 runs through a complt (or rducd st of rsidus modulo q q 2. Thus it suffics to study S i (q,a whn q is a prim powr (a,q =. For a prim powr p l p a w hav p l p l ( S (p l,a = N d 2 (p,l,u auy 2 p l ( auz 2. (5.3 whr u= y= N d 2 (p,l,u = #{(x,...,x d 2 : x,...,x d 2 p l,f d 2 (x,...,x d 2 u(mod p l }. For a fixd u with p j u, writing u = p j u dividing th sum ovr y (or z into p j subsums by grouping p l j conscutiv trms togthr w gt p l ( auy 2 p l ( auz 2 p j p l j ( au (p l j v +v 2 2 p l j ( p l = p l = p l j = p j au v 2 2 p l j. y= z= v =v 2 = p l z= p l v 2 =

8 MANOJ VERMA Th sum ovr v 2 is a quadratic Gauss sum modulo p l j its valu is wll known (.g., s [3, Chaptr 9]. W find that p 2l if j = l p l ( auy 2 p l ( auz 2 p l+j if p (mod 4 p l p l = ( l+j p l+j if p 3(mod 4 = G(p,l,j, y= z= if p = 2, j = l 2 2 l+j if p = 2, j l 2 say, dpnds on p,l j but not on a or u. Thus, from (5.3, whr, for d 3, l, j l, l S (p l,a = p 2l M d 2 (p,l,l+ Md 2 (p,l,jg(p,l,j (5.4 M d 2 (p,l,j := #{(x,...,x d 2 : x,...,x d 2 p l, p j f d 2 (x,...,x d 2 }., for d 3, l, j l, M d 2 (p,l,j := #{(x,...,x d 2 : x,...,x d 2 p l, p j f d 2 (x,...,x d 2 } j= = M d 2 (p,l,j M d 2 (p,l,j +. Th quation (5.4 also holds for d = d = 2 if w dfin M (p,l,j = for j l, M (p,l,j = for j l, { { if j = f =, M (p,l,j = M if j l if j = (p,l,j = if j l. It is clar that M (p,l,j = p l j for j l M (p,l,j = pl j ( p for j l. Th tratmnt of th singular sris is trivial in cass d =,2,3 now; w dispos thm off. Whn d = w hav S (p l,a = ; S (q,a = S 2 (q,a = S(q = if q =, if q > ; S =. (5.5 Whn d = 2 w hav S (p l,a = G(p,l,; S (q,a 2q; S 2 (q,a 2q; S(q 4 2q 3 2. (5.6 Whn d = 3 w hav S (p l,a < (l +p 2l ; S (q,a < q 2 d(q; S 2 (q,a q 2/3 ; S(q q 4 3 +ε. (5.7 To dal with th cass d 4, w first calculat M 2 (p,l,j = #{(w,x : w,x p l, p j w 2 + x 2 } for j l. W do so by dividing th st {(w,x : w,x p l, p j w 2 +x 2 } according to th highst powr of p dividing w. Thus, for j l, M 2 (p,l,j = #{(w,x : w,x p l, p j+ 2 w, p j w 2 +x 2 } + j 2 m= = p 2l 2 j+ 2 + #{(w,x : w,x p l, p m w, p j w 2 +x 2 } j 2 m= #{(w,x : w,x p l m, p w, p j 2m w 2 +x 2 }. Sinc has two squar roots modulo p j 2m if p (mod 4, on squar root modulo p j 2m if p j 2m = 2, no squar root in othr cass, th m th trm in th sum quals

ON A FORM OF DEGREE d IN 2d + VARIABLES (d 4 9 p l m ( p 2 p(l m (j 2m = 2p 2l j ( p if p (mod 4, 22l j if p j 2m = 2 zro othrwis. Thus, for j l, p 2l 2 j+ 2 +2 j+ 2 p2l j ( p if p (mod 4 M 2 (p,l,j = p 2l 2 j+ 2 if p 3(mod 4 2 2l j if p = 2. Hnc, for j l, (j +p 2l j ( p 2 if p (mod 4 M2(p,l,j p = 2l j ( if p 3(mod 4 j is vn p 2 if p 3(mod 4 j is odd 2 2l j if p = 2. Thus for j l w hav M 2 (2,l,j = 22l j, M 2 (p,l,j < p2l j if p 3(mod 4, M 2 (p,l,j < (j + p2l j for all p. Also, M 2 (p,l,l p l if p = 2 or p 3(mod 4, M 2 (p,l,l < (l +p l for all p. To stimat S (q,a w considr th cass of vn d odd d sparatly. Now suppos that d is vn d 4, say d = 2k k 2. Thn, for j l, M 2k 2 (p,l,j = j +...+j =j M 2(p,l,j i Thus M 2k 2 (2,l,j = = j +...+j =j j +...+j =j 2 2l j i 2 ((2l j l 2 ((2l j l 2 2kl 2l j. If p 3(mod 4, thn M 2k 2 (p,l,j < = j +...+j =j j +...+j =j p 2l j i p 2(l j l p 2(l j = l p 2kl 2l j.

MANOJ VERMA If p (mod 4, thn M 2k 2 (p,l,j < j +...+j =j (j i +p 2l j i = p 2(l j j +...+j =j < l p 2(l j (j i + j +...+j =j < l l p 2(l j = l 2k 2 p 2kl 2l j. Dividing th (2k 2-tupls (x,...,x 2k 2 with p l f 2k 2 (x,...,x 2k 2 into th ons with on of th factors x 2 2i +x2 2i divisibl by pl th ons with non of th factors x 2 2i +x2 2i divisibl by pl w s that for any prim p M 2k 2 (p,l,l ( k M 2 (p,l,l (p 2l k 2 + j +...+j l < (k (l +p l p 2kl 4l +l 2k 2 p 2kl 2l l M 2 (p,l,j i < (l + 2k 2 p 2kl 3l. (Th last inquality follows sinc ((l++l 2k 2 ((2l+l 2k 2 = ( 2k 2 l+ l 2k 2 < (l + 2k 2. Thus from (5.4, S (p l,a < (l+(l + 2k 2 p 2kl l = (p l 2 d(p l 2. Thus from (5.2 for vn d 4 (a,q =, S (q,a q 2 d(q 2 q 2+ε = q d +ε. (5.8 Now suppos that d is odd d 5, say d = 2k+ k 2. Not that thr is on valu of x modulo p l that is divisibl by p l whil for j l thr ar p l j ( p valus of x modulo p l that ar xactly divisibl by p j. Hnc, for j l, M 2 (p,l,j = j +...+j =j p l j ( p M2 (p,l,j i. Thus M 2 (2,l,j = = j +...+j =j j +...+j =j 2 l j ( 2 2 2l+((2l j 2 2l j i l k 2 l+2kl 2l ( j l k 2 2kl l j 2.

If p 3(mod 4, thn If p (mod 4, thn ON A FORM OF DEGREE d IN 2d + VARIABLES (d 4 M 2 (p,l,j < M 2 (p,l,j < = j +...+j =j j +...+j =j p l j ( p ( p p (2l j < l k p (2l j = l k p 2kl l j. j +...+j =j < ( p p (2l j < l p (2l j p 2l j i p l j ( p (j i +p 2l j i j +...+j =j j +...+j =j < l k l p (2l j = l 2 p 2kl l j. (j i + Dividing th (2-tupls (x,...,x 2 with p l f 2k 2 (x,...,x 2 into th ons with x divisibl by p l, th ons with on of th factors x 2 2i +x2 2i+ divisibl by pl th ons with non of th factors of f 2 divisibl by p l, w s that for any prim p ( M 2 (p,l,l p (2k 2l + M 2 (p,l,l p (2k 3l + j +...+j l p l j ( p M2(p,l,j i < p 2kl 2l +(k (l + p 2kl 2l +l 2 p 2kl l l < (l + 2 p 2kl 2l. (Th last inquality follows sinc + (k (l + + l 2k 2 +(k (2l + l 2k 2 < + ( 2 l+l 2 < (l+ 2. Thus from (5.4, S (p l,a < (l +(l + 2 p 2kl = (p l 2k d(p l 2k. Thus from (5.2 for odd d 5 (a,q =, S (q,a q 2k d(q 2k q 2k+ε = q d +ε. (5.9 It is wll known from th study of Waring s problm that for (a,q = (S [2] or [6], Thus, from (5.5-(5.9 (5., S 2 (q,a q d. S(q q d +ε. (5.

2 MANOJ VERMA Lmma 5.. Th sris S = S(q q= convrgs absolutly, S >, for any Q w hav S(Q = S+O(Q d +ε. Proof. Th convrgnc at th assrtd rat follows from (5.. Th argumnt in [2, Chaptr 7] applis to forms of any dgr shows that th positivity of S would follow from th xistnc of a non-singular zro of th form f. Th point (x,...,x 2d+ with x = x 3 =... = x 2 (d /2 + = x 2d+ =, th rst of th x i qual to zro is a non-singular zro of f. 6. Compltion of th Proof of Thorm From (2.2 lmmas 2.2, 3.2, 4., 5. w gt R(;P = P d+ (S+O(P δ d +ε (J +O(P d+ d δ +O(P d+5δ +O(P d++ε δ 2 d = P d+ SJ +O(P d++ε δ 2 d +P d+5δ. Taking δ = 2d +5 2 d complts th proof of Thorm. Acknowldgmnts. I would lik to thank Prof. Robrt C. Vaughan for suggsting m th cas d = 4 of this problm San Prndivill for asking m if I could do somthing similar for all d. Rfrncs [] Birch, B.J., Davnport, H., Lwis, D.J.: Th addition of norm forms. Mathmatika 9, 75-82 (962 [2] Davnport, H.: Analytic Mthods for Diophantin Equations Diophantin Inqualitis, 2nd dn., Cambridg Univrsity Prss, Cambridg (25 [3] Montgomry, H.L., Vaughan, R.C.: Multiplicativ Numbr Thory I. Classical Thory. Cambridg Studis in Advancd Mathmatics, vol. 97. Cambridg Univrsity Prss, Cambridg (27 [4] Vaughan, R.C.: On Waring s problm for cubs. J. Rin Angw. Math. 365, 22-7 (986 [5] Vaughan, R.C.: A nw itrativ mthod in Waring s problm. Acta Math. 62, -7 (989 [6] Vaughan, R.C.: Th Hardy-Littlwood Mthod, 2nd dn. Cambridg Tracts in Mathmatics, vol. 25. Cambridg Univrsity Prss, Cambridg (997 MANOJ VERMA: Institut of Mathmatical Scincs, CIT Campus, Taramani, Chnnai 63, India E-mail addrss: mvrma@imsc.rs.in