arxiv: v3 [math.ca] 14 May 2009

Transcription

1 SINGULAR OSCILLATORY INTEGRALS ON R n arxiv:77.757v3 [mah.ca] 4 May 9 M. PAPADIMITRAKIS AND I. R. PARISSIS Absrac. Le P,n enoe he space of all real polynomials of egree a mos on R n. We prove a new esimae for he logarihmic measure of he sublevel se of a polynomial P P,. Using his esimae, we prove ha Z sup p.v. ipx Ωx/ x e P P,n R n x n x clog Ω L log LS n +, for some absolue posiive consan c an every funcion Ω wih zero mean value on he uni sphere S n. This improves a resul of Sein from [4].. Inroucion We enoe by P,n he vecor space of all real polynomials of egree a mos in R n. Le K be a n homogeneous funcion on R n, ha is,. Kx = Ωx/ x x n, where Ω is some funcion on he uni sphere S n. Consier he principal value inegral I n P = R p.v. e ipx Kxx. n Sein has prove in [4] ha if Ω has zero mean value on he uni sphere, hen. I n P c Ω L S n, for some consan c epening on. We wish o obain sharp esimaes of he form.. The one imensional analogue, namely he esimae.3 p.v. e ipx x R x c log, which was prove in [3], suggess ha he consan c in. coul be replace by c log for some absolue posiive consan c. The fac ha his is inee he case is he conen of he following heorem. Theorem.. Suppose ha Kx = Ωx/ x / x n where Ω has zero mean value on he uni sphere S n. There exiss an absolue posiive consan c such ha sup R p.v. e ipx Kxx c log Ω Llog LS n +. n P P,n Mahemaics Subjec Classificaion. Primary 4B; Seconary 6D5.

2 M. PAPADIMITRAKIS AND I. R. PARISSIS Remark.. Suppose ha Kx = Ωx/ x / x n where he funcion Ω is o on he uni sphere. I is an immeiae consequence of he one-imensional resul ha sup R p.v. e ipx Kxx c log Ω L S n n P P,n for some absolue posiive consan c. The main ingreien of he proof of Theorem. is an esimae for he logarihmic measure of he sublevel se of a real polynomial in one imension. This is a lemma of inepenen ineres which we now sae. Lemma.3 The logarihmic measure lemma. Le Px = k= b kx k be a real value polynomial of egree a mos, α > an M = max{ b k : < k }. If E = {x : Px α}, hen x α x c min α, + M log+, M where c is an absolue posiive consan. E Lemma.3 shoul be compare o he following variaion of a classical resul of Vinograov which can be foun in [6]: Lemma.4. Le Px = k= b kx k be a real value polynomial of egree a mos, α > an M r = max{ b k : r k }. Le < R. Then {x [, R] : Px α} cr r where c is an absolue posiive consan. α, M r The esimaes above epen on he lengh of he inerval [, R] in all cases bu he one where r =. The epenence on R is sharp as can be seen by a scaling argumen. When r = we ge.4 {x [, R] : Px α} c α. b The las inequaliy correspons o he following more general resul abou sublevel ses which was prove in []: Lemma.5. Le φ be a C k funcion on he inerval [, R] for some k an R >. Suppose ha φ k x M on [, R]. Then where c is an absolue posiive consan. {x [, R] : φx α} ck α k Observe ha inequaliy.4 can be euce by Lemma.5 by aking k = erivaives of he phase funcion φx = Px. In case n = he linear par a M of he esimae of E xx in Lemma.3 is enough for he proof of Theorem.. In fac, he auhor in [3] use Lemma.4 in some appropriae way o prove he above linear esimae of Lemma.3. M k,

3 SINGULAR OSCILLATORY INTEGRALS ON R n 3 In case n > he logarihmic par of he esimae of E xx is essenial in he proof of Theorem. as can easily be seen by examining he argumen herein. The srucure of he res of his work is as follows. In secion we sae some preliminary resuls. In secion 3 we presen he proof of Lemma.3 an secion 3 conains he proof of Theorem.. Finally in secion 4 we give a proof of Theorem. in case n = which uses he linear esimae in Lemma.3 an no Lemma.4 an which is hus simpler han he proof appearing in [3]. Noaion. We will use he leer c o enoe an absolue posiive consan which migh change even in he same line of ex.. Preliminary Resuls As is usually he case when one eals wih oscillaory inegrals, a key Lemma is he classical van er Corpu Lemma. Lemma. van er Corpu. Le φ : [a, b] R be a C funcion an suppose ha φ for all [a, b] an φ changes monooniciy N imes in [a, b]. Then, for every λ R, b e iλφx x cn a λ where c is an absolue consan inepenen of a,b an φ. The proof of Lemma. is a simple inegraion by pars. We will also nee a precise esimae for he Lebesgue measure of he sublevel se of a polynomial on R n. Theorem. Carbery,Wrigh. Suppose ha K R n is a convex boy of volume an P P,n. Le q. Then, {x K : Px α} c minq, nα P L q K. This is a consequence of a more general Theorem of Carbery an Wrigh an can be foun in []. Corollary.3. Le P be a real homogeneous polynomial of egree k on R n. Then k P L. S n σ S n Px n x c. k Proof of Corollary.3. Le B = B, ρ be he ball of volume on R n. For ǫ < k an some λ > o be efine laer, we have Px ǫ x = {x B : Px ǫ α} α B λ + using Theorem.. Opimizing in λ we ge Px ǫ x B λ {x B : Px < α ǫ } α λ + cn P λ kǫ + k L B kǫ, cn kǫ kǫ kǫ P ǫ L B.

4 4 M. PAPADIMITRAKIS AND I. R. PARISSIS Using polar coorinaes an seing ǫ = k < k, we hen ge P k L S n Px k σn x c n 3 S ρ n = c n 3 n π Γ n n + which complees he proof. c n 3 eπ n n+ + n c, 3. The logarihmic measure lemma The proof of Lemma.3 is moivae by an argumen of Vinograov from [6], use o esimae he Lebesgue measure of he sublevel se of a polynomial in a boune inerval. We fix a polynomial Px = k= b kx k an look a he se E = {x : Px α}. Noe ha by replacing α wih αm in he saemen of he lemma, i is enough o consier he case M =. Since E is a close se we can fin poins x, x,..., x E such ha x < x < < x an E x x = E [x j,x j+] x x j+ x j, j. We se µ = x E x an = e µ > an we have ha x j+ x j, j. The Lagrange inerpolaion formula is Px = Px j x x x x j x x x j x x j x j x j x, x R, j= where û means ha u is omie. Thus, b k = Px j k σ k x,..., x j,...,x x j x x j x j x j x, j= where σ l is he l-h elemenary symmeric funcion of is variables. Therefore σ k x,..., x j,...,x b k α x j x x j x j x j x = α α j= j= j= σ k x,..., x j,..., x xj x xj x j xj x j+ xj x σ k,...,,..., j j. I is easy o see ha here exiss precisely one j, j <, for which 3. j < + + j. I is exacly for his j ha j akes is minimum j value as j runs from o. On he oher han we have σ k,...,,..., j k = + kσ k,..., j=

5 SINGULAR OSCILLATORY INTEGRALS ON R n 5 an, hence 3. b k α + kσ k,..., j j α + k + k k j. j From 3. we easily see ha j < an, since logx x is increasing in he inerval,, we fin 3.3 = log + + log j log + + logj j logx x = j x j j j + x x. Similarly, since log x x is ecreasing in he inerval, we ge log j + + log log = j j j + + log 3.4 We le j log x x j x = j x x. A = +, B = j, Γ = j, an, obviously, < A, B, Γ <. From 3.3 an 3.4 we have log + + log j + log j = j B + x x + + x x + Γ j = B log B Γ log Γ O x x x x B + + log O Γ. From 3. we ge B, Γ an, since is ecreasing in, +, we fin B an, similarly, Γ

6 6 M. PAPADIMITRAKIS AND I. R. PARISSIS Therefore Now log + + log j + log j + + log B log B Alog A B log B + Γ log Γ Alog A Using 3. an we conclue ha Γ log Γ c B log B + Γ log Γ Alog A c. = B + Γ Alog A + AB A log A B + A Γ A log A Γ B + Γ A Alog A + ca. B + Γ A B log B + Γ log Γ Alog A Alog A + c A c + c + + c. Therefore log + + log j + log j + + log Alog A c an, finally, 3. implies ha for some k > c oα A kk A, where c o is an absolue posiive consan. case : c o α < A. Then, since + A, we ge which implies an, finally, case : c o α, <. Then A A A c o α + = A c o α µ e µ = 4c o α. which shows ha < e µ = < 4c o α µ < log + 4c o + log+ α.

7 case 3: c o α,. Then A 3 SINGULAR OSCILLATORY INTEGRALS ON R n 7 an A + kk 3 c oα. A an, hence, We conclue ha µ log + 3c o + log+ α c + log+ α kk since k >. fsecionproof of Theorem. Le Ω be a funcion wih zero mean value on he uni sphere S n belonging o he class L log LS n, ha is Ω Llog LS n = Ωx + log + Ωx σ n x <. S n Se Kx = Ωx/ x / x n an le P P,n. We will show he heorem for = m, for some m. The general case is hen an immeiae consequence. We se C = sup e ipx Kxx <ǫ<r, P P,n ǫ x R where C is a consan epening on, Ω an n. For < ǫ < R an P P,n we wrie, I ǫ,r P = ǫ x R e ipx Kxx = S n R ǫ e iprx r r Ωx σ n x. For x S n, we have ha Prx = j= P jx r j where P j is a homogeneous polynomial of egree j. Observe ha we can omi he consan erm, wihou loss of generaliy. Se also m j = P j L S n. Since ǫ an R are arbirary posiive numbers, by a ilaion in r we can assume ha max <j m j = an, in paricular, ha m jo = for some < j o. We also wrie Qx = j= P j x. We spli he inegral in wo pars as follows I ǫ,r P e iprx r S n ǫ r Ωx σ n x R + e iprx r r Ωx σ n x = I + I. For I we have ha I + S n S n <j S n e iprx e iqrx r r Ωx σ n x e iqrx r ǫ r Ωx σ n x m j j Ω L S n + C c Ω L S n + C.

8 8 M. PAPADIMITRAKIS AND I. R. PARISSIS For I we wrie I + S n S n {r [,R]: Prx r >} {r [,R]: Prx r } e iprx r r Ωx σ n x r r Ωx σ n x. Since {r [, R] : Prx r > } consiss of a mos O inervals where Prx r is monoonic, a simple corollary o van er Corpu s lemma for he firs erivaive [5, corollary on p. 334] gives he boun e iprx r r Ωx σ n x c Ω L S n. S n {r [,R]: Prx r >} On he oher han, he logarihmic measure lemma implies ha r S n {r [,R]: Prx r } r Ωx σ n x c Ω L S n + c log S max n <j{j P jx } Ωx σ n x. Combining he esimaes we ge C c Ω L S n + C + c j o an, from Young s inequaliy, jo L S n log P jo S n P jo x jo Ωx σ n x P jo jo L C c Ω L S n + C + c S n σ S n P jo x n x jo + c Ωx + log + Ωx σ n x. S n Now, using corollary.3 we ge C C + c Ω Llog LS n +. Since = m, his means ha C m C m + c Ω Llog LS n +. Using inucion on m we ge ha C m C + cm Ω Llog LS n +. Observe ha C correspons o some polynomial Px = b x + + b n x n. We wrie e ipx Kxx ǫ< x <R = R = {e irpx e ir P r L S n } r Ωx σ n x. S n Using he simple esimae ǫ R ǫ {e iar e ibr } r r c + c log b a

9 SINGULAR OSCILLATORY INTEGRALS ON R n 9 we ge ǫ< x <R e ipx Kxx c Ω L S n + +c L S n log P S n Px Hence, C c Ω L S n + c + Ω Llog LS n an C m cm Ω Llog LS n +. The case of general is now rivial. If m < m hen Ωx σ n x. C C m cm Ω Llog LS n + c log Ω Llog LS n The one imensional case revisie We will aemp o give a shor proof of he one imensional analogue of heorem.. This is a sligh simplificaion of he proof in [3], wih he ai of he logarihmic measure lemma. So, fix a real polynomial Px = b + b x + + b x an consier he quaniy C = sup e ipx x <ǫ<r ǫ< x <R x. By he same consieraions as in he n imensional case, we can assume ha P has no consan erm an ha i can be ecompose in he form Px = b j x j + b j x j = Qx + Rx, <j <j where max <j b j =. As a resul e ipx x ǫ< x <R x C + < x < C + c + I. Rx x We spli I as follows I e ipx x {x [,R: P x >} x + x + e ipx x < x <R x {x : P x } Now, using Proposiion. for he firs summan in he above esimae an he logarihmic measure lemma o esimae he secon summan, we ge ha I c. Bu his means ha C C + c which complees he proof by consiering firs he case = m for some m, as in he n imensional case. x x.

10 M. PAPADIMITRAKIS AND I. R. PARISSIS References. G. I. Arkhipov, A. A. Karacuba, an V. N. Čubarikov, Trigonomeric inegrals, Izv. Aka. Nauk SSSR Ser. Ma , no. 5, 97 3, 97. MR MR f:5. A. Carbery an J. Wrigh, Disribuional an L q norm inequaliies for polynomials over convex boies in R n, Mah. Res. Le. 8, no. 3, MR MR h: I. R. Parissis, A sharp boun for he Sein-Wainger oscillaory inegral, Proc. Amer. Mah. Soc. 36 8, no. 3, elecronic. MR MR3687,, 3, 9 4. E. M. Sein, Oscillaory inegrals in Fourier analysis, Beijing lecures in harmonic analysis Beijing, 984, Ann. of Mah. Su., vol., Princeon Univ. Press, Princeon, NJ, 986, pp MR MR g:4 5. Elias M. Sein, Harmonic analysis: real-variable mehos, orhogonaliy, an oscillaory inegrals, Princeon Mahemaical Series, vol. 43, Princeon Universiy Press, Princeon, NJ, 993, Wih he assisance of Timohy S. Murphy, Monographs in Harmonic Analysis, III. MR MR39 95c: I. M. Vinograov, Selece works, Springer-Verlag, Berlin, 985, Wih a biography by K. K. Marzhanishvili, Translae from he Russian by Naiu Psv [P. S. V. Naiu], Translaion eie by Yu. A. Bakhurin. MR MR a:4, 4 aress: papaim@mah.uoc.gr Deparmen of Mahemaics, Universiy of Cree, Knossos Avenue 749, Iraklio Cree, Greece aress: ioannis.parissis@gmail.com Insiuionen för Maemaik, Kungliga Tekniska Högskolan, SE 44, Sockholm, SWEDEN.