arxiv:math/ v1 [math.ap] 1 Mar 2007

Size: px

Start display at page:

Download "arxiv:math/ v1 [math.ap] 1 Mar 2007"

Cory Sutton
6 years ago
Views:

1 LOCAL WELL-POSEDNESS FOR THE MODIFIED KDV EQUATION IN ALMOST CRITICAL Ĥ s-spaces aiv:math/ v [mathap] Ma 007 AEL GRÜNROCK FACHBEREICH C: MATHEMATIK/NATURWISSENSCHAFTEN BERGISCHE UNIVERSITÄT WUPPERTAL D-4097 WUPPERTAL GERMANY AND LUIS VEGA DEPARTAMENTO DE MATEMATICAS UNIVERSIDAD DEL PAIS VASCO BILBAO SPAIN Abstact We study the Cauchy oblem fo the modified KdV equation u t +u +(u 3 ) = 0 u(0) = u 0 fo data u 0 in the sace c H s defined by the nom u 0 H c s := ξ s cu 0 L ξ Local well-osedness of this oblem is established in the aamete ange > s so the case (s) = (0) which is citical in view of scaling consideations is almost eached To show this esult we use an aoiate vaiant of the Fouie estiction nom method as well as bi- and tilinea estimates fo solutions of the Aiy equation Intoduction and main esult In this ae we study the local well-osedness (LWP) of the Cauchy oblem fo the modified KdV equation () u t +u +(u 3 ) = 0 u(0) = u 0 R As long as data u 0 in the classicalsobolev sacesh s ae consideed this oblem is knowntobe well-osedfos 4 andill-osed(in the C0 -unifom sense)fos < 4 Both the ositive and the negative esult wee shown by Kenig Ponce and the second autho see [KPV93 Theoem 4] and [KPV0 Theoem 3] esectively The situation emains the same when the defocusing modified KdV equation i e () with a negative sign in font of the nonlineaity is consideed In this case the oof of the well-osedness esult emains identically valid while the ill-osedness esult hee is due to Chist Colliande and Tao cf [CCT03 Theoem 4] In both cases the standad scaling agument suggests LWP fo s > so - on the Hs -scale - thee is a consideable ga of 3 4 deivatives between the scaling ediction and the otimal LWP esult This ga could be closed atially by the fist autho in [G04] whee data in the saces Ĥ s ae consideed which ae defined by the noms u 0 Ĥ := ξ s û 0 L s ξ whee û 0 denotes the Fouie tansfom of u 0 ξ = ( + ξ ) and + = The choice of these noms was motivated by ealie wok of Cazenave Vilela and

2 A GRÜNROCK AND L VEGA the second autho on nonlinea Schödinge equations see [CVV0] yet anothe altenative class of data saces has been consideed in [VV0] The main esult in [G04] was LWP fo () in the aamete ange > 4 3 s s() := which coincides fo = with the otimal esult on the Hs - scale The oof used an aoiate vaiant of Bougain s Fouie estiction nom method cf [B93] Esecially the function saces defined by ( f := dξdτ ξ s τ ξ 3 b ˆf(ξτ) ) wee utilised as well as the time estiction nom saces with nom (δ) := {f = f [ δδ] R : f } f (δ) := inf{ f : f [ δδ] R = f} + = A key estimate in [G04] was the following Aiy-vesion of the Feffeman-Steinestimate (cf [F70] and [G04 Coollay 36]) () e t 3 u 0 L 3 c I 3u 0 cl > 4 3 Hee and below I (J) denotes the Riesz (Bessel) otential oeato of ode and L = Ĥ 0 This estimate fails to be tue fo 4 3 which elains the estiction > 4 3 in [G04] It is the aim of the esent ae to show how this difficulty can be ovecome by using bi- and tilinea estimates fo solutions of the Aiy equation (instead of linea and bilinea ones) This allows us to eend the LWP esult fo () to the aamete ange > s s() Moe ecisely the following theoem is the main esult of this ae Theoem Let > s s() = and u 0 Ĥ s Then thee eist b > δ = δ( u 0 Ĥ ) > 0 and a unique solution u (δ) of () This solution s is esistent and the flow ma S : u 0 u Ĥ s (δ 0) is locally Lischitz continuous fo any δ 0 (0δ) Theoem is sha in the sense that fo given (] we have ill-osedness in the C 0 -unifom sense fo < s < s() This can be seen by using the counteeamle fom [KPV0] as it was discussed in [G04 section 5] Combined with scaling consideations - obseve that Ĥ s scales like H σ if s = σ - this shows that the case (s) = (0) becomes citical in ou setting and that ou esult coves the whole subcitical ange Unfotunately ou agument beaks down - even fo small data - in the citical case and we must leave this as an oen oblem Notice howeve that fo secific data u 0 = a δ +µ v (aµ small) of citical egulaity the eistence of global solutions of () was shown in [PV05 Theoem ] By the geneal LWP Theoem [G04 Theoem 3] the oof of the following estimate is sufficient to establish Theoem Theoem Let > and s s() = Then fo all b < 0 and b > the estimate (3) ( 3 i= u i) c u i holds tue i=

3 MKDV EQUATION IN ALMOST CRITICAL c H s -SPACES 3 Remaks: i) (On the lifesan of local solutions) Using [G05 Lemma 5] we have fo u u u 3 suoted in [ δδ] R (0 < δ ) the estimate ( 3 i= u i) cδ ε u i ovided > s s()b > ε > 0 Inseting this estimate esecially the secific owe of δ into the oof of the local esult we obtain a lifesan of size δ u 0 ε Fo = this coincides - u to ε - with Ĥ s the esult in [KPV93] (see also [FLP99 Theoem ]) ii) Concening elated esults fo the one-dimensional cubic NLS and DNLS equations we efe to [G05] Acknowledgement: The fist autho A G wishes to thank the Deatment of Mathematics at the UPV in Bilbao fo its kind hositality duing his visit i= Bi- and tilinea Aiy estimates Thoughout this section we conside solutions u(t) = e t 3 u0 v(t) = e t 3 v0 and w(t) = e t 3 w0 of the Aiy equation with data u 0 v 0 and w 0 esectively Cetain bi- and tilinea eessions involving these solutions will be estimated in the saces L ( L q t) and L := L ( L t) whee f cl q ( c L t ) := ( ( ) q f(ξτ) dτ dξ ) q q + q = + = (Below we will always wite q etc to indicate conjugate Hölde eonents f o Ff denote the Fouie tansfom of f while fo the atial Fouie tansfom in the sace vaiable the symbol F is used) We begin with the following bilinea estimate which we state and ove in a slightly moe geneal vesion than actually needed Lemma Let I s denote the Riesz otential of ode s and let I s (fg) be defined by its Fouie tansfom (in the sace vaiable): F I (fg)(ξ) s := dξ ξ ξ s F f(ξ )F g(ξ ) whee is shothand fo ξ +ξ =ξ Then we have I I (uv) L cq ( L c c u 0 t ) dl v 0 dl ovided q and + q = + and Poof: Taking the Fouie tansfom fist in sace and then in time we obtain F I I (uv)(ξt) = c ξ dξ ξ ξ e it(ξ 3 +ξ3 ) F u 0 (ξ )F v 0 (ξ ) FI I (uv)(ξτ) = c ξ dξ ξ ξ δ(τ ξ 3 ξ 3 )F u 0 (ξ )F v 0 (ξ ) esectively We use δ(g()) = n g ( δ( n) n) whee the sum is taken ove all simle zeos of g which in ou case is g(ξ ) = τ ξ 3 ξ 3 = τ ξ 3 +3ξξ (ξ ξ )

4 4 A GRÜNROCK AND L VEGA with the zeos and the deivative Hence (4) FI I (uv)(ξτ) ξ ± = ξ ±y y := τ 3ξ ξ g (ξ ± ) = 3ξ(ξ ξ± ) = 3ξy = c ξ y ( F u 0 ( ξ +y )F v 0 ( ξ y )+F u 0 ( ξ y )F v 0 ( ξ +y ) Using dτ = 3 ξ ydy we see that the L τ ( dy F u 0 ( ξ +y )F v 0 ( ξ y ) ) - nom of the fist contibution equals ) ) = c( F u 0 F v 0 (ξ) Now Young s inequality is alied to see that ( ) dξ( F u 0 F v 0 (ξ)) q q c u 0 dl v 0 dl (cf the oof of [G05 Lemma ]) which is the desied bound Finally we obseve that the second contibution in (4) can be teated in ecisely the same manne with and intechanged Aguing similaly as in the oof of Lemma in [G04] we obtain: Coollay Fo q as in the evious lemma and b i > i the estimate is valid I I (u u ) cl q ( c L t ) c u 0b u 0b The ne ste is to dualize the eceding coollay Fo that uose we ecall the bilinea oeato I+ s defined by F I+(fg)(ξ) s := dξ ξ +ξ s F f(ξ )F g(ξ ) and the linea oeatos ξ +ξ =ξ M s u v := Is (uv) and Ns u w := Is + (wu) which ae fomally adjoint w t the inne oduct on L (cf [G04 399]) With this notation Coollay eesses the boundedness of I M u : 0b L q ( L t) with oeato nom c u 0b By duality unde the additional hyothesis < q < it follows that N u I : Lq ( L t ) 0 b is bounded with the same nom Thus we obtain the following estimate: Coollay Let < q < + q = + and b i > i Then (5) I + (I u u ) 0 b c u 0b u dl q ( d L t )

5 MKDV EQUATION IN ALMOST CRITICAL c H s -SPACES 5 Remak:Sincethehasefunctionφ(ξ) = ξ 3 isodd wehave u = u and we may elace u by u in the left hand side of (5) The secial case in (5) whee = q = will be sufficient fo ou uoses In this case (5) can be witten as (6) I + (I u u ) 0b c u 0 b u dl ovided < < b < Combining this with the tivial endoint of the Hausdoff-Young inequality i e u u dl c u dl u dl we obtain by elementay Hölde estimates ρ (7) I + (I ρ u u ) c u 0β ρ 0 β u dl whee 0 ρ and β < ρ In this fom actually we shall make use of Coollay Now we tun to the tilinea estimates Again we take the Fouie tansfom fist in and then in t to obtain F (uvw)(ξt) = c dξ dξ e it(ξ3 +ξ3 +ξ3 3 ) F u 0 (ξ )F v 0 (ξ )F w 0 (ξ 3 ) (whee now = ξ ) and +ξ +ξ 3=ξ F(uvw)(ξτ) = c dξ dξ δ(ξ 3 +ξ3 +ξ3 3 τ)f u 0 (ξ )F v 0 (ξ )F w 0 (ξ 3 ) Now the agument of δ that is has eactly two zeos g(ξ ) = 3(ξ ξ )ξ 3(ξ ξ ) ξ 3ξξ (ξ ξ )+ξ 3 τ (8) ξ ± = ξ ξ with ± (ξ +ξ ) g (ξ ± ) = 6 ξ ξ (ξ +ξ ) τ ξ3 3(ξ ξ ) =: ξ ξ ±y + τ ξ3 3(ξ ξ ) = 6 ξ ξ y Using δ(g(ξ )) = δ(ξ n) g( n)=0 g ( n) whee the sum is taken ove all simle zeos of g we see that F(uvw)(ξτ) = c(k + (ξτ)+k (ξτ)) whee K ± (ξτ) = dξ ξ ξ y F u 0 (ξ )F v 0 ( ξ ξ ±y)f w 0 ( ξ ξ y) with y as defined in (8) In ode to estimate uvw dl = F(uvw) L we distinguish between thee ξτ cases deending on the elative size of the fequencies ξ ξ and ξ 3 : i) ξ ξ ξ 3 ii) ξ ξ 3 ξ +ξ 3 iii) ξ ξ 3 ξ +ξ 3

6 6 A GRÜNROCK AND L VEGA To teat the fist case we define the tilinea oeato T by F T(fgh) := dξ dξ F f(ξ )F g(ξ )F h(ξ 3 )χ { ξ ξ ξ 3 } whee again = ξ +ξ +ξ 3=ξ In this case we have: Lemma Let and s > 4 s Then T(uvw) dl c u 0 dh s v 0 dh s w 0 dh s Poof: By the above comutation we have with K ± (ξτ) = FT(uvw)(ξτ) = c(k + (ξτ)+k (ξτ)) dξ A ± ξ ξ y F u 0 (ξ )F v 0 ( ξ ξ ±y)f w 0 ( ξ ξ y) whee A ± = { ξ ξ ξ ±y ξ ξ y } and y is defined by (8) Since in A ± the inequality ξ ξ ξ ±y c ξ ξ y holds tue we get the ue bound leading to K ± (ξτ) c dξ F J u 0 (ξ )F J v 0 ( ξ ξ ±y)f w 0 ( ξ ξ T(uvw) dl c J u 0 dl J v 0 cl w 0 cl y) By symmety between the fist two factos and multilinea inteolation we obtain (9) T(uvw) dl c J u 0 L J v 0 L w 0 cl On the othe hand side we have with uvw L c u L 8 (L 4 t ) v L 8 (L 4 t ) w L 4 (L t ) (0) w L 4 (L t ) c I 4u 0 L which is the maimal function estimate fom [S87 Thm 3] Concening the fist two factos we inteolate between the sha vesion of Kato s smoothing effect i e Iu L (L t ) = c u 0 L see [KPV9 Thm 4] and (0) to obtain such that I 3 8u L 8 (L 4 t ) c u 0 L () T(uvw) L c J 3 8u 0 L J 3 8v 0 L J 4w 0 L Using multilinea inteolation again now between (9) and () we finally see that fo T(uvw) dl c J 5 4 u 0 L J 5 4 v 0 L J w 0 cl c u 0 dh s v 0 dh s w 0 dh s whee in the last ste we have used the Sobolev tye embedding Ĥ s Ĥρ σ which holds tue fo s > σ ρ ρ Coollay 3 Fo s as in the evious lemma and b > the estimate T(u u u 3 ) dl c u u u 3 holds tue

7 MKDV EQUATION IN ALMOST CRITICAL c H s -SPACES 7 and Ne we intoduce T (T ) by F T (fgh) := dξ dξ F f(ξ )F g(ξ )F h(ξ 3 )χ { ξ ξ 3 ξ +ξ 3 } F T (fgh) := dξ dξ F f(ξ )F g(ξ )F h(ξ 3 )χ { ξ ξ 3 ξ +ξ 3 } Lemma 3 Let < < < 0 < < 0 3 = 0 + and < + Then the estimate is valid T (uvw) dl c u 0 dl 0 I v0 dl I w0 dl Poof: Fo the Fouie tansfom of T (uvw) in both vaiables we obtain whee K ± (ξτ) = FT (uvw)(ξτ) = c(k + (ξτ)+k (ξτ)) {y ξ ξ } dξ ξ ξ y F u 0 (ξ )F v 0 ( ξ ξ ±y)f w 0 ( ξ ξ y) with y as in (8) again By symmety we may estict ouselves to the estimation of K + Using ξ ξ ±y y and Hölde s inequality we see that ( K + (ξτ) c F u 0 (ξ ) ) dξ ξ ξ ( θ) ( dξ ξ ξ θ y F I v0 ( ξ ξ +y)f I w0 ( ξ ξ ) y) whee θ = 3 ( (0) by ou assumtions) Taking the L τ -nom of both sides and using dτ = 6 ξ ξ ydy we aive at FT (uvw)(ξ ) L c( F u 0 ξ (θ ) ) τ ( dξ dy ξ ξ θ F I v0 ( ξ ξ +y)f I w0 ( ξ ξ ) y) Changing vaiables (z ± := ξ ξ ±y) we see that the second facto equals ( ) dz + dz z + +z θ F I v0 (z + )F I w0 (z ) c I v0 dl I w0 dl by the Hady-Littlewood-Sobolev-inequality equiing θ to be chosen as above and < θ < which follows fom ou assumtions It emains to estimate the -nom of the fist facto that is L ξ F u 0 ξ (θ ) c( F u 0 0 L ξ Lξ ξ (θ ) ) ( θ) L ξ c u 0 dl 0 whee the HLS inequality was used again Fo its alication we need 0 < ( θ) < ; < 0 < ( θ) and θ = 0 which follows fom the assumtions too

8 8 A GRÜNROCK AND L VEGA Coollay 4 Fo < < thee eist s 0 0 with s 0 +s = such that () T (uvw) dl c I s0 u 0 cl I s v 0 cl I s w 0 cl In addition fo b > we have T (u u u 3 ) dl c I s0 u I s u 0b I s u 3 0b 0b Poof of (): Using Hölde s inequality and the Aiy-vesion of the Feffeman- Stein-estimate that is (3) u L 3q c I 3q u0 cl q q > 4 3 see [G04 Coollay 36] we get fo (4) 4 3 < q 0 < < q with that 3 = q 0 + q (5) T (uvw) L uvw L c I 3q 0 u 0 dl q 0 I 3q v 0 dl q I 3q w 0 dl q Multilinea inteolationof(5) with Lemma 3 yields () ovided 0 ; q 0 q defined by the inteolation conditions = θ + θ = θ + θ = θ + θ 0 q 0 q fulfill the assumtions of Lemma 3 and (4) esectively which can be guaanteed by choosing θ sufficiently small Now s 0 ae obtained fom which gives as desied s 0 = θ 3q 0 and s = θ + θ 3q s 0 +s = θ + θ 3 ( q 0 + q ) = Remak: By (3) Coollay 4 still holds tue fo (with s 0 = s = 3 ) Lemma 4 Let < ρ Then Poof: We have whee K ± (ξτ) = j=0 T (uvw) dl c u 0 cl ρ I v0 cl I w0 cl FT (uvw)(ξτ) = c(k + (ξτ)+k (ξτ)) { y ξ ξ } {y j } dξ ξ ξ y F u 0 (ξ )F v 0 ( ξ ξ ±y)f w 0 ( ξ ξ y) with y as defined in (8) By symmety between v and w it suffices to teat K + which we decomose dyadically with esect to y to obtain the ue bound: dξ c j=0 { y ξ ξ y j } ξ ξ y F u 0 (ξ )F v 0 ( ξ ξ +y)f w 0 ( ξ ξ y) c j dξ F u 0 (ξ )F I v0 ( ξ ξ +y)f I w0 ( ξ ξ y) c j u 0 cl λ({y j }) I v 0 cl I w 0 cl j=0

9 MKDV EQUATION IN ALMOST CRITICAL c H s -SPACES 9 whee λ({y j }) denotes the Lebesgue measue of {ξ : y(ξ ) j } which is bounded by c j Hence fo any > K + L c j u ξτ 0 cl I v 0 cl I w 0 cl (6) j=0 c u 0 cl I v 0 cl I w 0 cl On the othe hand by integation with esect fist to dτ = 6y(ξ ξ )dy to dξ and finally to dξ we see that (7) K + L ξτ c u 0 dl v 0 dl w 0 dl Now multilinea inteolation between (6) and (7) leads to which gives the desied esult K + L c u 0 cl ρ I v 0 cl I w 0 cl ξτ Coollay 5 Let < ρ β > ρ b > and ε > 0 Then and ae valid T (u u u 3 ) dl c u ρ I u 0β I u 3 0b 0b T (u u u 3 ) dl c u I u εb I u 3 0b 0b 3 Poof of Theoem Without loss of geneality we may assume that s = s() Then we ewite the left hand side of (3) as τ ξ 3 b ξ s ξ dν 3 i=ûi(ξ i τ i ) L ξτ whee dν = dξ dξ dτ dτ and 3 i= (ξ iτ i ) = (ξτ) In the sequel we shall use the following notation: ξ ma ξ med ξ min ae defined by ξ ma ξ med ξ min denotes the ojection on low fequencies i e f(ξ) = χ { ξ } f(ξ) f g is shothand fo f c ĝ fo the mied weights coming fom the - noms we shall wite σ 0 := τ ξ 3 and σ i := τ i ξi 3 i 3 esectively the Fouie multilie associated with these weights is denoted by Λ b := F τ ξ 3 b F fo a eal numbe we wite ± to denote ±ε fo abitaily small ε > 0 stands fo an abitaily lage eal numbe To see this we wite {ξ : y(ξ ) j } = S S whee in S we assume that ξ ξ j ξ + ξ j o ξ 3ξ j Then S consists of a finite numbe of intevals of total length bounded by c j Fo S we have ξ ξ j ξ +ξ j and ξ 3ξ j imlying that which gives dy dξ = y ξ ξ (ξ +ξ )(ξ 3ξ ) 4 Z Z λ(s ) = dξ S +y ξ +ξ ξ 3ξ y ξ ξ dξ dy χ {y j } dy cj

10 0 A GRÜNROCK AND L VEGA Aat fom the tivial egion whee ξ ma whose contibution can be estimated by 3 i= u i dl c we conside thee cases: i= u i dl 3 c u i c u i 0b The nonesonant case whee ξ ma ξ med the semiesonant case with ξ ma ξ med ξ min and finally 3 the esonant case whee ξ ma ξ min i= i= In the nonesonantcaseweassume without lossofgenealitythat ξ ξ ξ 3 Then we have fo this egion J s (u u u 3 ) (J s u J s u J s u 3 ) I I (J s u J s u )J s u3 I 0+ + (I + I (J s u J s u )J s u 3 ) Now the dual vesion (7) of the bilinea estimate is alied to obtain I 0+ + (I + I (J s u J s u )J s u 3 ) 0b c I I (J s u J s u ) dl J s u c u i whee in the last ste we have used the bilinea estimate itself (Coollay ) fo the fist and Sobolev-tye embeddings fo the second facto In the semiesonant case we assume again ξ ξ ξ 3 and conside two subcases: If in addition ξ +ξ (so that ξ c ξ 3 ) we can ague as in case with u and u 3 intechanged: J s (u u u 3 ) (J s u J s u J s u 3 ) i= I 0+ + (I + I (J s u 3 J s u )J s u ) which can be teated as above by alying(7) Sobolev-tye embeddings and Coollay On the othe hand if ξ +ξ we have σ 0 σ σ σ 3 = 3 ξ +ξ ξ +ξ 3 ξ 3 +ξ ξ ξ and hence fo any ε > 0 ξ ε ξ ε c So in this subcase we have the ue bound by Coollay 3 σ i ε i=0 T(J s+ Λ 0+ u J s+ Λ 0+ u Λ 0+ u 3 ) dl c 3 In the esonant case we distinguish seveal subcases: 3: At least fo one ai (ij) we have ξ i ξ j ξ i +ξ j u i i=

11 MKDV EQUATION IN ALMOST CRITICAL H c s -SPACES Hee we may assume by symmety that ξ ξ 3 ξ +ξ 3 Then we have fo nonnegative s 0 with s 0 +s = J s (u u u 3 ) T (J s+s0 u J s+s u J s+s u 3 ) so that Coollay 4 leads to the desied bound 3: ξ ξ ξ +ξ ξ ξ 3 ξ +ξ 3 and ξ 3 ξ ξ 3 +ξ so that all the ξ i have the same sign which imlies ξ 3 ξ 3 ξ 3 3 σ i 3: At least one of the ξ i ξ j By symmety we may assume that ξ ξ 3 Gaining a ξ ε fom the σ s we obtain as an ue bound fo this subcase T (J s Λ 0+ u J Λ 0+ u J Λ 0+ u 3 ) dl c u i i=0 whee we have used the second at of Coollay 5 3: ξ i ξ j fo all i j 3 Again we can gain a ξ ε fom the σ s Now witing f i (ξτ) = ξ s τ ξ 3 b Fu i (ξτ) i 3 such that f i L = u i ξτ it suffices to show (8) ξ s ξ A dν 3 i= ξ i s τ i ξ 3 i f i (ξ i τ i ) L ξτ i= c i= f i L ξτ whee in A all the diffeences ξ k ξ j k j 3 ae bounded by and ξ ξ i ξ i fo all i 3 By Hölde s inequality and Fubini s Theoem the oof of (8) is educed to show that ( (9) su ξ s ξτ Adν ) τ i ξi 3 < i= Using [GTV97 Lemma 4] twice we see that dν τ i ξi 3 c dξ dξ τ ξ 3 +3(ξ +ξ )(ξ ξ )(ξ ξ ) A A i= whee A is simly the ojection of A onto R We decomose A = A 0 A A kj 0 kj c ln( ξ ) whee in A 0 (A ) we have that ξ +ξ ξ 3 00 ξ ( ξ +ξ 3 ξ 3 00 ξ ) so that the contibutions of these subegions ae bounded by c ξ while in A kj it should hold that ξ + ξ ξ 3 k and ξ + ξ 3 ξ 3 j By symmety we may assume k j To estimate the integal ove A kj we intoduce new vaiables := ξ +ξ ξ 3 and := ξ ξ such that k and = ξ +ξ ξ 3 +(ξ +ξ 3 ξ 3 ) k

12 A GRÜNROCK AND L VEGA Then dξ dξ τ ξ 3 +3(ξ +ξ )(ξ ξ )(ξ ξ ) A kj d d τ ξ 3 +3( + ξ k k 3 )(+ ξ 3 )( ξ 3 ) Substituting z := ( + ξ 3 )(+ 3 )( 3 ) so that dz d = 3 ξ 4 ξ ξ k we see that the latte is bounded by d kdz ξ τ ξ3 +3z c ξ k ξ ξ Finally summing u ove j and k we have A dξ dξ τ ξ 3 +3(ξ +ξ )(ξ ξ )(ξ ξ ) c (ln ξ ) c ξ + ξ which gives (9) Refeences [B93] Bougain J: Fouie tansfom estiction henomena fo cetain lattice subsets and alications to nonlinea evolution equations GAFA 3 (993) and 09-6 [CVV0] Cazenave T Vega L Vilela M C: A note on the nonlinea Schödinge equation in weak L saces Communications in contemoay Mathematics Vol3 No (00) 53-6 [CCT03] Chist M Colliande J Tao T: Asymtotics fequency modulation and low egulaity ill-osedness fo canonical defocusing equations Ame J Math 5 (003) no [F70] Feffeman C: Inequalities fo stongly singula convolution oeatos Acta Math 4 (970) 9-36 [FLP99] Fonseca G Linaes F Ponce G: Global well-osedness fo the modified Koteweg-de Vies equation Comm PDE 4 (999) [GTV97] Ginibe J Tsutsumi Y Velo G: On the Cauchy Poblem fo the Zakhaov System J of Functional Analysis 5 (997) [G04] Günock A: An imoved local well-osedness esult fo the modified KdV equation IMRN 004 No [G05] Günock A: Bi- and tilinea Schödinge estimates in one sace dimension with alications to cubic NLS and DNLS IMRN 005 No [KPV9] Kenig C Ponce G Vega L: Oscillatoy Integals and Regulaity of disesive equations Indiana Univesity Math J [KPV93] Kenig C Ponce G Vega L: Well-osedness and scatteing esults fo the genealized Koteweg-de Vies equation via the contaction incile CPAM 46 (993) [KPV0] Kenig C Ponce G Vega L: On the illosedness of some canonical disesive equations Duke Math J 06 (00) [PV05] Peelman G Vega L: Self-simila lana cuves elated to modified Koteweg-de Vies equation eint [S87] Sjölin P: Regulaity of solutions to the Schödinge equation Duke Math J 55 (987) no [VV0] Vagas A Vega L: Global wellosedness fo D nonlinea Schödinge equation fo data with an infinite L nom J Math Pues Al 80 0(00)

Problem Set #10 Math 471 Real Analysis Assignment: Chapter 8 #2, 3, 6, 8

Problem Set #10 Math 471 Real Analysis Assignment: Chapter 8 #2, 3, 6, 8 Poblem Set #0 Math 47 Real Analysis Assignment: Chate 8 #2, 3, 6, 8 Clayton J. Lungstum Decembe, 202 xecise 8.2 Pove the convese of Hölde s inequality fo = and =. Show also that fo eal-valued f / L ),