Large data local solutions for the derivative NLS equation

Size: px
Start display at page:

Download "Large data local solutions for the derivative NLS equation"

Transcription

1 J. Eur. Math. Soc. 1, c European Mathematical Society 8 Ioan Bejenaru Daniel Tataru Large data local solutions for the derivative NLS equation Received May 9, 7 Abstract. We consider the derivative NLS equation with general quadratic nonlinearities. In [] the first author has proved a sharp small data local well-posedness result in Sobolev spaces with a decay structure at infinity in dimension n =. Here we prove a similar result for large initial data in all dimensions n. 1. Introduction The general Cauchy problem for the semilinear Schrödinger equation has the form { iu t u = P (u, ū, u, ū), t R, x R n, u(x, ) = u (x), (1) where u : R n R C m and P : C n+ C m. Assuming that P is a polynomial containing terms of order at least κ and higher, one is interested in studying the local well-posedness for this evolution in a suitable Sobolev space. In the simpler case when P does not depend on u, ū this problem is rather well understood, and the Strichartz estimates for the linear Schrödinger equation play a proeminent role. Here we are interested in nonlinearities which contain derivatives. This problem was considered in full generality in the work of Kenig Ponce Vega [8]. Due to the need to regain one derivative in multilinear estimates, they use in an essential fashion the local smoothing estimates for the linear Schrödinger equation. Their results make it clear that one needs to differentiate two cases. If κ 3 then they prove local well-posedness for initial data in a Sobolev space H N with N sufficiently large. However, if quadratic nonlinearities are present, i.e. κ =, then the local well-posedness space also incorporates decay at infinity, namely H N,N = {x N u L : D N u L } I. Bejenaru: Department of Mathematics, University of California at Los Angeles, Los Angeles, CA 995, USA; bejenaru@math.ucla.edu D. Tataru: Department of Mathematics, University of California at Berkeley, Berkeley, CA 947, USA; tataru@math.berkeley.edu

2 958 Ioan Bejenaru, Daniel Tataru with N large enough. The need for decay is motivated by work of Mizohata [1]. He proves that a necessary condition for the L well-posedness of the problem { iu t u = b 1 (x) u, t R, x R n, () u(x, ) = u (x), is the uniform bound sup x R n, ω S n 1, R> R Re b 1 (x + rω) ω dr <. (3) The idea behind this condition is that Re b 1 contributes to exponential growth of the solution along the Hamilton flow of the linear Schrödinger operator. If κ 3 then naively one needs such bounds for expressions which are quadratic in u. If u H N then u W N,1 and the above integrability can be gained. However, if κ = then one would want similar bounds for linear expressions in u; but this cannot follow from square integrability, therefore one compensates by adding decay at infinity. In this work we consider the case of quadratic nonlinearities, precisely the problem { iu t u = B((u, ū), ( u, ū)), (4) u(x, ) = u (x). Here B is a generic bilinear form which contains one differentiated and one undifferentiated factor, and also may have complex conjugates. Our results easily transfer via differentiation to the similar problem with two derivatives in the nonlinearity, { iu t u = B(( u, ū), ( u, ū)), (5) u(x, ) = u (x), The initial data u is assumed to be locally in Sobolev spaces H s but with some additional decay at infinity. In what follows λ is a dyadic index. For a function u we consider a Littlewood Paley decomposition in frequency u = λ 1 u λ, u λ = S λ u, where all the frequencies smaller than 1 are included in u 1. Then following [] we define the spaces DH s by u DH s = λ s u λ DL λ, λ 1 where the dyadic norms DL λ are defined in a manner somewhat similar to (3), namely v DL = sup sup 1 λ { λ 1 (x x ) kω <1} u L. x R n ω S n 1 k N

3 Large data local solutions for the D-NLS equation 959 This definition is consistent with the speed of propagation properties for the linear Schrödinger equation. Waves with frequency λ have speed λ, and therefore move about λ within a unit time interval. Hence the linear Schrödinger equation is well-posed 1 in DH s. If one considers the low regularity well-posedness for (4) and (5) in DH s then a natural threshold is given by scaling, namely s c = n/ 1 for (4), and s c = n/ for (5). However, it turns out that the obstruction identified in Mizohata s work is much stronger and leads to additional restrictions. In [3] Chihara obtains some better results on this problem, lowering the threshold for (5) to s = n/ + 4. However, this is still far from optimal. Indeed, a sharp small data result is obtained by the first author in a recent paper: Theorem 1 (Bejenaru []). If n =, the equations (4) and (5) are locally well-posed for initial data which is small in DH s for all s > s c + 1. Although the above theorem was proved in dimension two, the same result can be derived in all dimensions n. In addition, if some limited spherical symmetry is imposed on the data then the above exponents can be relaxed up to scaling (see [1]). The goal of this paper is to obtain a local well-posedness result for the same initial data space as in [], but for large initial data. Our main result is Theorem. Let n and s > s c + 1. Then the equations (4) and (5) are locally wellposed for initial data in DH s. More precisely, there is C > so that for each initial data u DH s there is a unique solution u C(, T ; DH s ), T = e C u DH s. In addition, the solution has a Lipschitz dependence on the initial data. We believe that this result is sharp for generic nonlinearities. However, there are special cases when one is able to obtain stronger results (see for instance [4] [7], [1]). These results consider nonlinearities of the type B((u, ū), ū) and B( ū, ū) in various dimensions and show that the regularity threshold for the initial data can be lowered all the way to the scaling. The step from small to large data is entirely nontrivial. The difficulty is related to the infinite speed of propagation for the linear Schrödinger equation. Precisely, a large low frequency component of the solution produces an exponentially large perturbation in the high frequency flow even for an arbitrarily short time. Thus one needs to add the low frequency part of the data to the linear equation and only then do a perturbative analysis for the high frequencies. A somewhat similar analysis has been carried out before for related problems (see [8], [3]); however, in both works the full initial data becomes part of the nonlinearity, leading to considerable technical difficulties. What also differentiates the present work is that the perturbed linear equation is very close to Mizohata s necessary condition. Another interesting feature of this work is the choice of the function spaces for the perturbative analysis. It has been known for some time that the X s,b spaces are not good 1 The operator norm of the evolution in DH s will grow polynomially in time, though.

4 96 Ioan Bejenaru, Daniel Tataru enough in order to study the local theory for derivative NLS equation. This is due to the need to regain one derivative in the bilinear estimates, which leads to logarithmic losses. In [] the first author introduced a refinement of the X s,b spaces which removes this difficulty. In this article we provide an alternative modification of the X s,b spaces which seems better suited for the study of variable coefficient equations. This is based on a wave packet type decomposition of solutions on the uncertainty principle scale.. Scaling and the perturbative argument Differentiating once the equation (5) we obtain an equation of type (4). Thus in what follows we restrict our analysis to (4). We set M = u DH s. Our equation is invariant with respect to the scaling u ε (x, t) = εu(εx, ε t), u ε (x) = εu (εx). (6) It is natural to seek to decrease the size of the initial data by rescaling with a sufficiently small parameter ε. However, there is a difficulty arising from the fact that we are using inhomogeneous Sobolev spaces. This is why the result in [] does not work for large initial data. We split the rescaled initial data u ε into low and high frequencies, It is not too difficult to estimate their size: u ε = uε, 1 + uε,>1. Proposition 1. Assume that s > n/. Then the components u ε, 1 and uε,>1 of uε satisfy the pointwise bounds u ε, 1 L + uε,>1 L εm (7) and the estimates u ε, 1 DL M, uε, 1 DL max{ε, εs n/ }M, (8) u ε,>1 DH s εs n/ M. (9) The low frequency component is large but has the redeeming feature that it does not change much on the unit time scale; hence we freeze it in time modulo small errors. On the other hand, the high frequency component is small, therefore we can treat it perturbatively on a unit time interval. To write the equation for the function v ε = u ε u ε, 1 The constant in the second bound needs to be adjusted to ε ln ε if s = n/ + 1.

5 Large data local solutions for the D-NLS equation 961 we decompose the quadratic nonlinearity B depending on whether the gradient factor is complex conjugate or not, B((u, ū), ( u, ū)) = B ((u, ū), u) + B 1 ((u, ū), ū). Then v ε satisfies { ivt v Av = B((v, v), ( v, v)) + A 1 v + N(u ε, 1 ), v() = u ε,>1, (1) where Av = B ((u ε, 1, ūε, 1 ), v) is a linear term which is included in the principal part, A 1 v = B((v, v), ( u ε, 1, ūε, 1 )) + B 1((u ε, 1, ūε, 1 ), v) is a linear term which can be treated perturbatively, and N(u ε, 1 ) = B((uε, 1, ūε, 1 ), ( uε, 1, u ε, 1 )) + uε, 1 represents the time independent contribution of the low frequency part of the data. To solve this we need some Banach spaces X s, DX s for the solution v, and Y s, DY s for the inhomogeneous term in the equation. These are defined in Section 3. Instead of working with the linear Schrödinger equation we need to consider lower order perturbations of it of the form { ivt v a(t, x, D)v = f (x, t), (11) v(x, ) = g(x). Given any M 1 we introduce a larger class C M of pseudodifferential operators so that for a C M we can solve (11). To motivate the following definition, we note that the imaginary part of the symbol a can produce exponential growth in (11). We want to be able to control the growth in the phase space along the Hamilton flow of the linear Schrödinger equation, which leads to a (possibly large) bound on the integral of a along the flow. We also want the integral of a along the flow to give an accurate picture of the evolution. To ensure this we impose a smallness condition on the integral of derivatives of a along the flow. This motivates the following Definition 1. Let M 1. The symbol a(x, ξ) belongs to the class C M if it satisfies the following conditions: sup x,ξ with δe M 1. 1 M = sup x,ξ 1 a(t, x + tξ, ξ) dt <, (1) α x β ξ a(t, x + tξ, ξ) dt C α,βδ, α + β 1, (13)

6 96 Ioan Bejenaru, Daniel Tataru Then our main linear result has the form: Theorem 3. Let s R and a C M. Then the solution v of the equation (11) satisfies the estimate χ [,1] v DX s e M ( f DY s + g DH s ). (14) To apply this theorem in our context we need to show that Proposition. For u DH s as above, set a(x, ξ) = B ((u ε, 1, ūε, 1 ), ξ). If ε e CM with C sufficiently large then a C cn M with c n depending only on the dimension n. In order to iteratively solve the equation (1) we want bounds for the right hand side terms. The main one is a bilinear estimate: Theorem 4. The following bilinear estimate holds: B((u, ū), ( v, v)) DY s u DX s v DX s, s > n/. (15) For the linear term A 1 we use the following estimates: Proposition 3. Let A 1 be defined as above. Then A 1 v Y s u ε, 1 L v X s, A 1v DY s u ε, 1 L v DX s. (16) We also apply an estimate for the time independent term: Proposition 4. If s > 1 then B(u ε, 1, uε, 1 ) + uε, 1 DH s min(ε, εs n/ )M. (17) Using the results above we are able to conclude the proof of Theorem. We choose ε = e CM with C large enough (depending on s). Then we solve the rescaled problem (1) on a unit time interval using the contraction principle in the space X s. We define the operator T 1 by w = T 1 f to be the solution of the inhomogeneous Schrödinger equation with zero initial data: { iwt w A(x, D)w = f, (18) w(x, ) =. We also denote by T g the solution to the homogeneous equation { iwt w A(x, D)w =, w(x, ) = g, (19)

7 Large data local solutions for the D-NLS equation 963 With these notations the equation (1) can be rewritten in the form v = T v, T v = T u ε,>1 + T 1(B(v, v) + A 1 v + B(w ε, w ε ) + w ε ). We define the set K = {w DX s : w DX s ε σ }, < σ < s n/, and prove that T : K K and that T is a contraction on K. This give us the existence of a fixed point for T which is the solution of our problem in the interval [, 1]. To prove the invariance of K under the action of T we use the results in Theorem 3: T v DX s e c nm ( u ε,>1 DH s + B(v, v) DY s + A 1v DY s + B(u ε, 1 uε, 1 ) + uε, 1 DH s ). Using the estimates (9) and (15) (17) then yields T v DX s M e c nm (ε s n/ + v DX s ). If v K then we use the smallness of ε to obtain T v DX s ε σ M e c nm (ε s n/ σ + ε σ ) ε σ, which shows that T v K. To prove that T is a contraction we write T v 1 T v = T 1 (B(v 1, (v 1 v ))) + T 1 (B(v 1 v, v )) and estimate in a similar manner: T v 1 T v DX s ( v 1 DX s + v DX s ) v 1 v DX s ε σ χ [,1] (v 1 v ) DX s < 1 χ [,1](v 1 v ) DX s. 3. The function spaces Let (x, ξ ) R n. To describe functions which are localized in the phase space on the unit scale near (x, ξ ) we use the space H N,N x,ξ := {f : D ξ N f L, x x N f L }. We work with the lattice Z n both in the physical and Fourier space. We consider a partition of unity in the physical space, x Z n φ x = 1, φ x (x) = φ(x x ),

8 964 Ioan Bejenaru, Daniel Tataru where φ is a smooth bump function with compact support. We use a similar partition of unity on the Fourier side: ξ Z n ϕ ξ = 1, ϕ ξ (ξ) = ϕ(ξ ξ ). Let H be a Hilbert space. Let V H be the space of right continuous H -valued functions on R with bounded -variation u V H = sup u(t i+1 ) u(t i ) H, (t i ) T i where T is the set of finite increasing sequences in R. The V spaces are close to the homogeneous Sobolev space H 1/ in the sense that Ḃ 1/,1 V Ḃ 1/,. () Let U H be the atomic space defined by the atoms: u = h i χ [ti,t i+1 ), h i H = 1, i i for some (t i ) T. We have the inclusion U H V H but actually these spaces are very close. There is also a duality relation between V H and U H, namely (DU H ) = V H, (1) where DU H represents the space of derivatives of U H functions with the induced norm. We can associate similar spaces to the Schrödinger flow by pulling back functions to time along the flow, e.g. u V L = e it u V L. This turns out to be a good replacement for the X,1/ space associated to the Schrödinger equations. Such spaces originate in unpublished work of the second author on the wavemap equation, and have been succesfully used in various contexts so far (see [9] and [11]). In the present paper we consider a wave packet type refinement of this structure. We begin with spatial localization, and introduce the space X of functions in [, 1] R n with norm u X = φ x e it u V. x Z n t L x It is easy to see that this is a stronger norm than the V L norm, u V L u X. () The X norm is usually applied to functions which are also frequency localized on the unit scale. This is consistent with the spatial localization. Precisely, we have the straightforward bound ϕ ξ (D)u X u X (3)

9 Large data local solutions for the D-NLS equation 965 For a function u : [, 1] R n C we decompose u = u ξ, u ξ = ϕ ξ (D)u, ξ Z n and set u X s = An immediate consequence of () is that ξ Z n ξ s u ξ X. u V L u X. (4) We also denote by X λ the subspace of functions in X which are localized at frequency λ. It is easy to see that X s has an l dyadic structure, u X s λ 1 λ s u λ X λ This is the most compact definition of X s. Some equivalent formulations of the norm on X turn out to be more helpful in some estimates. We dedicate the next few paragraphs to such formulations. The first such formulation simply adds regularity and decay: Proposition 5. Let N N. Then u ξ X x Z n φ x e it u ξ V H N,N x,ξ. (5) Proof. Set v ξ = e it u ξ. Then it suffices to show that φ x v ξ x Z n V H N,N φ x v ξ V L. x,ξ x Z n This in turn follows by summation from φ x v ξ V H N,N x,ξ y Z n x y N φ y v ξ V L. We can translate both in space and in frequency and reduce the problem to the case when x = and ξ =. Then we need to show that x N φ v V L + DN (φ v ) V L y Z n y N φ y v V L. The derivatives which fall on v can be truncated at frequencies larger than 1. Then a more general formulation of the above bound is ψ χ (D)v V L y N φ y v V L, (6) y Z n

10 966 Ioan Bejenaru, Daniel Tataru where both ψ and χ are bump functions concentrated at. We write ψ χ (D)v = y Z n ψ χ (D)φ y v, It remains to show that ψ χ (D)φ y L L y N. which is straightforward since χ (D) has a bounded and rapidly decreasing kernel. The next equivalent definition of our function spaces relates the Schrödinger evolution to the associated Hamilton flow, (x, ξ ) (x tξ, ξ ) We begin by linearizing the symbol of near ξ, ξ = L ξ (ξ) + O((ξ ξ ) ), L ξ (ξ) = ξ + ξξ The evolution generated by L is simply the transport along the Hamilton flow, e itl ξ u(x) = e itξ u(x tξ ). Our next characterization of the frequency localized X norm asserts that we can replace by L ξ. Proposition 6. We have and u ξ X u ξ X Proof. Setting as before v ξ = e it u ξ we can write x Z n φ x e itl ξ u ξ V L (7) x Z n φ x e itl ξ u ξ V H N,N x,ξ. (8) e itl ξ u ξ = e it(d L ξ ) v ξ = χ ξ (t, D)v ξ, where the symbol χ(t, ξ) is a unit bump function in ξ around ξ and smooth in t. There is also a similar formula with L ξ and D interchanged. Hence for (7) it suffices to show that φ x χ ξ (t, D)v ξ V L φ x v ξ V L. x Z n x Z n Without any restriction in generality we can take ξ =. Using a Fourier series in t we can also replace χ ξ (t, ξ) by an expression of the form a(t)χ ξ (ξ) with a smooth. It remains to show that φ x χ ξ (D)v ξ V L φ x v ξ V L. x Z n x Z n But this follows as in Proposition 5 from (6). Finally, the proof of (8) uses the same argument as in Proposition 5.

11 Large data local solutions for the D-NLS equation 967 For each ξ we define the set T ξ of tubes of the form Q = {(t, x) : x (x Q tξ ) 1}, x Q Z n. They are the image of unit cubes centered at x Q at time along the L ξ flow. These tubes generate the decomposition [, 1] R n = Q T ξ Q. Now we can state our last equivalent formulation of the X norm for functions localized at frequency ξ in terms of a wave packet decomposition associated to tubes Q T ξ : Proposition 7. Let u ξ X. Then it can be represented as the sum of a rapidly convergent series u ξ (t, x) = j e ixξ e itξ with χ j uniformly bounded in H N,N, supported in B(, ), and Q T ξ a j Q (t)χ j (x x Q tξ ) (9) Q T ξ a j Q V j N u ξ X. Proof. The pull back to time of the above representation using the L ξ flow is e itl ξ u ξ (t, x) = j e ixξ x Z n a j Q (t)χ j (x x ). We define v = e ixξ e itl ξ u ξ and use (8) for the X ξ norm. Then it suffices to show that for fixed x we can represent φ x v = j a j (t)χ j (x x ), where χ j are uniformly bounded in H N,N and a j V j N φ x v V H CN,CN x. Without any restriction in generality we take x =. We take χ j to be the Hermite functions with the H N,N normalization (see e.g. [13]). Then the V functions a j are the Fourier coefficients of φ x v. They decay rapidly due to the additional regularity of φ x v. Finally, to ensure that the χ j s have compact support we can truncate the Fourier series outside the support of φ x.

12 968 Ioan Bejenaru, Daniel Tataru We follow a similar path to define the Y s structure: u Y s = ξ Z n ξ s u ξ Y, where Y is defined by f Y = x Z n φ x e itd f DUt L x. All the equivalent definitions for the X have a counterpart for Y by simply replacing the Vt structure by the DUt one. There are two key relations between the X s and Y s spaces. The first one is concerned with solvability for the linear Schrödinger equation: Proposition 8. The solution u to the linear Schrödinger equation iu t u = f, u() = u, satisfies u X s u H s + f Y s. (3) This is stated here only for the sake of completeness, as in the next section we prove a stronger estimate in Theorem 3. The second relation is a duality relation: Proposition 9. We have the duality relation (Y s ) = X s. Proof. (a) We first verify that X s (Y s ). For this we need the bound 1 uf dx dt u X s f Y s. We decompose 1 u f dx dt = ξ Z n 1 u ξ f ξ dx dt. Due to the definition of the X s and Y s norms, it suffices to show that 1 u ξ f ξ dx dt u ξ X f ξ Y. For this we write 1 u ξ f ξ dx dt = 1 e it u ξ e it f ξ dx dt = x Z n 1 φ x e it u ξ e it f ξ dx dt and use the duality relation (1) together with the definition of the X and Y norms.

13 Large data local solutions for the D-NLS equation 969 (b) We now show that (Y s ) X s. Let T be a bounded linear functional on Y s. Then we have ( ) 1/ ( ) 1/. Tf f Y s ξ s f ξ Y ξ s φ x e it f ξ DU L ξ Z n x Z n ξ Z n By the Hahn Banach theorem we can extend T to a bounded linear functional on the space l ξ s DU L. By (1) this implies that we can represent T in the form where Tf = x Z n ξ Z n 1 v x,ξ φ x e it f ξ dx dt, ξ s v x,ξ V L T (Y s ). x Z n ξ Z n Due to the above representation we can identify T with the function u T = φ ξ (D)e it φ x v x,ξ. x Z n ξ Z n It remains to show that u T X s This reduces to the fixed ξ bound ξ s v x,ξ V L. x Z n ξ Z n ϕ ξ (D)e it φ x v x,ξ v x,ξ x Z n X V L x Z n with a modified ϕ ξ. Using the definition of the X norm we rewrite this as φ y ϕ ξ (D)φ x v x,ξ v x y Z n x Z n V L,ξ V L. x Z n But this follows by Cauchy Schwarz from the rapid decay φ y ϕ ξ (D)φ x L L x y N. We still need to add the decay structure to the X s and Y s spaces. Given λ 1, we roughly want to ask for l 1 summability of frequency λ norms along collinear cubes of size λ. We define the DX λ norm by u DXλ = sup x R n sup ω S n 1 k= χ(λ 1 (x x ) kω)u Xλ, (31)

14 97 Ioan Bejenaru, Daniel Tataru where χ is a compactly supported bump function. We note that this norm can only be meaningfully used for functions at frequency λ. Summing up with respect to λ we also set u DX s = λ 1 u λ DX λ. In a completely similar way we can define DY λ and DY s. A useful tool in our analysis is a family of embeddings which correspond to the Strichartz estimates for the Schrödinger equation. Proposition 1. Let p and q be indices which satisfy Then we have the embedding p + n q = n, < p, q. X L p t L q x. By (4) these embeddings are a direct consequence of the Strichartz estimates for the Schrödinger equation (see [9, proof of Proposition 6.]). By Sobolev embeddings we also obtain bounds with larger p, q for frequency localized solutions. Corollary 1. Let p and q be indices which satisfy Then we have the embedding p + n q n, < p, q. S <µ X µ n/ /p n/q L p t L q x, where S <µ can be replaced with a multiplier localizing in frequency to an arbitrary cube of size µ. In this article we use only the case p = q, more precisely X L (n+)/n, S <µ X µ n/ 1 L n+. (3) Finally, we introduce modulation localization operators, which we can define in two equivalent ways. The first method is as multipliers, M <σ u = s <σ (τ ξ )û. The second is obtained by conjugation with respect to the Schrödinger flow, e itd (M <σ u)(t) = s <σ (D t )(e itd u(t)). The operators s <σ (D t ) are bounded on V. On the other hand, for the remainder, by (), we have a good L bound: s >σ (D t )a L σ 1/ a V. By the second definition of the modulation localization operators above we obtain

15 Large data local solutions for the D-NLS equation 971 Proposition 11. (a) The operators M <σ are bounded on X. (b) The following estimate holds: M >σ u L σ 1/ u X. We note that in fact, by using both inclusions in (), one can relate our X s spaces to the traditional X s,b spaces, namely Ẋ s,1/,1 X s Ẋ s,1/,. (33) 4. Linear estimates This section is devoted to the study of the linear equation (11) with a C M. Precisely, we aim to prove Theorem 3. We define L a = i t a(t, x, D). We begin our analysis with a heuristic computation. Suppose we have a solution u x,ξ to (i t a(t, x, D))u = which is localized on the unit scale near the bicharacteristic t (x + tξ, ξ ). Then we can freeze the symbol of a(t, x, D) along the ray and write Thus u x,ξ approximately solves a(t, x, D)u = a(t, x + ξ, ξ )u + error. (i t a(t, x + ξ, ξ ))u x,ξ. This implies that we can represent u x,ξ in the form where v x,ξ solves the equation u x,ξ (t) e t a(s,x +sξ,ξ ) ds v x,ξ, (i t )v x,ξ =. Hence along each wave packet we can use the above exponential to approximately conjugate the variable coefficient equation to the flat flow. Using this idea we produce wave packet approximate solutions for the equation (11). By orthogonality these combine into general approximate solutions to (11). The exact solutions are obtained via a Picard iteration. We first consider the regularity of the exponential weight. By (1) we have 1 a(t, x + tξ, ξ ) dt M,

16 97 Ioan Bejenaru, Daniel Tataru which implies a W 1,1 bound for the exponential, d dt e t a(s,x +sξ,ξ ) ds L 1 e M. (34) Since W 1,1 V this yields a similar V bound, t e a(s,x +sξ,ξ ) ds V em. (35) We continue our analysis with the localized equation L a u = f x,ξ, u() = g x,ξ. (36) According to the above heuristics, an approximate solution for this should be given by Duhamel s formula, u x,ξ = e t a(s,x +sξ,ξ ) ds e it g x,ξ + We prove that this is indeed the case: t t e s a(τ,x +τξ,ξ ) dτ e i(t s) f x,ξ (s) ds. Proposition 1. The function u x,ξ is an approximate solution for (36) in the sense that and e it u x,ξ V H N,N e M ( g x,ξ x,ξ H N,N + e it f x,ξ x DU Hx N,N ) (37) e it (L a u x,ξ f x,ξ ) L 1 H N,N x,ξ δe M ( g x,ξ H N+n+1,N+n+1 x,ξ Proof. For the first bound we shorten the notation and compute a (s) := a(s, x + sξ, ξ ) + e it f x,ξ DV H N+n+1,N+n+1 x,ξ ). (38) e it u x t t,ξ = e a (s) ds t g x,ξ + e s a (τ) dτ e is f x,ξ (s) ds. The first term is estimated directly by (35). Setting F (t) = t e is f x,ξ (s) ds and integrating by parts we write the second term in the form F (t) t d ds e t s a (τ) dτ F (s) ds.

17 Large data local solutions for the D-NLS equation 973 We have F V H N,N x,ξ e is f x,ξ (s) DU H N,N x,ξ, while the V norm of the second part is controlled by its W 1,1 norm, namely t d ds e t s a (τ) dτ F (s) ds V H N,N x,ξ d t d dt ds e t s a (τ) dτ F (s) ds L 1 H N,N x,ξ 1 ( t ) a (t) 1 + d s a (τ) dτ ds dt F L H N,N 1 1 ( a (t) 1 + t ds e t t a (s) e s a (τ) dτ ds a (t) e t a (τ) dτ dt F L H N,N x,ξ e M F L H N,N x,ξ e M F V H N,N x,ξ. This concludes the proof of (37). It remains to prove (38). A direct computation yields where By (37) it suffices to show that (i t a(t, x, D))u x,ξ f x,ξ = b(t, x, D)u x,ξ, b(t, x, ξ) = a(t, x + tξ, ξ ) a(t, x, ξ). x,ξ ) dt F L H N,N x,ξ e it b(t, x, D)u x,ξ L 1 H N,N x,ξ δ e it u x,ξ L H N+n+1,N+n+1 x,ξ Since the flat Schrödinger flow has the mapping property this is equivalent to e it f H N,N x,ξ f H N,N x +tξ,ξ, b(t, x, D)u x,ξ L 1 H N,N x +tξ,ξ δ u x,ξ L H N+3,N+3 x +tξ,ξ. (39) We begin with a straightforward consequence of the S calculus: Lemma 1. Let k be a nonnegative integer and c be a symbol which satisfies Then for all N N we have α x β ξ c(x, ξ) c α,β (x x, ξ ξ ) k, α + β. c(x, D)u H N,N x,ξ u H N+k,N+k x,ξ.

18 974 Ioan Bejenaru, Daniel Tataru In order to use this lemma for the operator b above we need the following Sobolev embedding: Lemma. Let R > 1 and c W n,1 (B R (x, ξ )). Then c(x, ξ) α c L 1 (B R (x,ξ )) and As a consequence, we obtain α n c(x, ξ) c(x, ξ ) Lemma 3. Let c W n,1 loc (Rn ). Then c(x, ξ) (x x, ξ ξ ) n+1 and c(x, ξ) c(x, ξ ) (x x, ξ ξ ) n+1 R n 1 α n R n α n 1 α n α c L 1 (B R (x,ξ )). α c(x, ξ) dx dξ (x x, ξ ξ ) n+1 α c(x, ξ) dx dξ. (x x, ξ ξ ) n+1 Applying these inequalities to the symbol b above we obtain pointwise bounds for b, n b(t, x, ξ) α =1 α a(t, x, ξ) dx dξ, (x x tξ, ξ ξ ) n+1 R n (x x tξ, ξ ξ ) n+1 and also for its derivatives, k b(t, x, ξ) (x x tξ, ξ ξ ) n+1 Then by Lemma 1 it follows that R n n+k α =k α a(t, x, ξ) dx dξ. (x x tξ, ξ ξ ) n+1 N α =1 b(t, x, D) H N+n+1,N+n+1 x +tξ,ξ H N,N α a(t, x, ξ) dx dξ x +tξ,ξ R n (x x, ξ ξ ) n+1 with N sufficiently large. Integrating in t and changing coordinates in the integral gives b(t, x, D) L H N+n+1,N+n+1 x +tξ,ξ L 1 H N,N x +tξ,ξ R n 1 N α =1 α a(t, x + tξ, ξ) dt dx dξ. (x x, ξ ξ ) n+1 By (13) we can bound each time integral by δ and the remaining weight is integrable in x and ξ. Hence (39) follows. Next we produce approximate solutions for the frequency localized data, L a u = f ξ, u() = g ξ. (4)

19 Large data local solutions for the D-NLS equation 975 We denote the approximate solution by u ξ ; the notation u ξ continues to be reserved for a frequency localized part of a function u. Proposition 13. There is an approximate solution u ξ to the equation (4), localized at frequency ξ, with u() = g ξ, which satisfies the bounds and Proof. We decompose u ξ X e M ( g ξ L + f ξ Y ) (41) S ξ (L a u ξ f ξ ) Y δ ξ ξ N e M ( g ξ L + f ξ Y ). (4) g ξ = x g x,ξ, f ξ = x f x,ξ, and solve the problem (36) for which we have the estimates (37) and (38). We define our approximate solution to be the sum of the approximate solutions u x,ξ : u ξ = x u x,ξ. Using (37) we obtain u ξ X = y φ y e it u ξ V L y ( y ( x φ y e it u x,ξ V L ) x y N e it u x,ξ V H N,N x x,ξ ) x e it u x,ξ V L N,N x,ξ e M x g x,ξ H N+n+1,N+n+1 x,ξ e M ( g ξ L + f ξ Y ξ ). + e it f x,ξ DU H N+n+1,N+n+1 x,ξ We continue now with the estimates for the error, using (38) instead of (37). We have S ξ (L a u ξ f ξ ) Y = y φ y e it S ξ (L a u ξ f ξ ) DU L y y ( x φ y S ξ e it (L a u x,ξ f x,ξ ) L 1 L ( x ξ ξ n N x ) e it (L a u x,ξ f x,ξ ) L 1 H N,N ) x,ξ (y x tξ, ξ ξ ) N e it (L a u x,ξ f x,ξ ) L 1 H N,N x,ξ. Then (4) follows from (38).

20 976 Ioan Bejenaru, Daniel Tataru The next stage is to consider data which is localized at frequency λ, L a u = f λ, u() = g λ. (43) Summing up the frequency localized solutions we obtain as above a dyadic approximate solution: Proposition 14. There is an approximate solution u λ to the equation (43), localized at frequency λ, with u() = g λ, which satisfies the bounds u λ Xλ e M ( g λ L + f λ Yλ ) (44) and S µ (L a u λ f λ ) Yµ (min{µ/λ, λ/µ}) N δe M ( g λ L + f λ Yλ ). (45) The construction of the functions u λ involves only the constant coefficient Schrödinger flow at frequency λ. This has spatial speed of propagation λ, therefore it can spread by at most O(λ) in a unit time interval. Thus the above construction can be trivially localized on the λ spatial scale, leading to the bounds u λ DXλ e M ( g λ DL λ + f λ DY λ ) (46) and S µ (L a u λ f λ ) DY µ (min{µ/λ, λ/µ}) N δe M ( g λ DL λ + f λ DY λ ). (47) After an addition dyadic summation we obtain a global parametrix: Proposition 15. There is an approximate solution u to the equation (11), with u() = g, which satisfies the bounds u DX s e M ( g DH s + f DY s ) (48) and (i t a(t, x, D))u f ) DY s δe M ( g DH s + f DY s ). (49) Of course the similar result without decay is also valid. If δ e M then the constant in (49) is less than 1. Then one can iterate to obtain an exact solution u to (11) which still satisfies (46). Theorem 3 follows.

21 Large data local solutions for the D-NLS equation Low frequency bounds Here we prove Propositions 1 4. Proof of Proposition 1. For simplicity we set f = u. The pointwise bounds (7) follow from Sobolev type estimates and scaling, f ε L = ε f L ε f DH s, s > n/. We now move to the L bounds. The effect of scaling on the DL λ norms is easy to compute, f ε DL = ε 1 n/ f λ DL. (5) ελ Hence the first bound in (8) can be rewritten in the form We have ε 1 n/ f <ε 1 DL ε f DH s. (51) f ε 1 = 1 λ ε 1 f λ. For each such λ we have three relevant spatial scales, ε λ 1 λ. The middle one arises due to the uncertainty principle; namely, this is the scale on which f λ is smooth. Then we can write the sequence of inequalities f λ DL ε (ελ) 1 ε n/ f λ DL λ 1 (ελ) 1 ε n/ λ n/ f λ DL λ 1 (ελ) 1 ε n/ λ n/ λ f λ DL λ = ε n/ 1 λ n/ f λ DL λ. All these bounds are obtained by comparing tubes with the same orientation ω. The first step uses Hölder s inequality to switch from the ε scale to the λ 1 scale; the DL norm is defined in the same way as the DL norm. The second takes advantage of the localization at frequency λ. Finally, the third step uses Hölder s inequality to switch from the λ 1 scale to the λ scale. Summing up with respect to λ we obtain (51), f <ε 1 DL ε 1 λ ε 1 f λ DL ε ε n/ 1 for s > n/. Consider now the second part of (8). The analogue of (5) is and therefore we have to show that f ε DL λ = ε n/ f DL ελ, 1 λ ε 1 λ n/ f λ DL λ ε n/ 1 f DH s ε n/ f <ε 1 DL ε max{ε, ε s n/ } f DH s.

22 978 Ioan Bejenaru, Daniel Tataru We proceed as above: f <ε 1 DL ε 1 λ ε 1 λ f λ DL ε ε n/ 1 1 λ ε 1 λ n/+1 f λ DL λ. The bound for the last sum is straightforward and depends on the relative positions of s and n/ + 1. It remains to consider the high frequency estimate (9), for which we only need the scaling relation (5) and Hölder s inequality: f>1 ε DH s = λ s (f ε ) λ DL = ε n λ s f ε 1 λ λ DL ελ λ>1 λ>1 ε n ε λ s f ε 1 λ DL = ε s n (ε 1 λ) s ε s n f λ>1 ε 1 DH s. λ Proof of Proposition. It suffices to consider the ã(t, x, ξ) = u ε, 1ξ part of the symbol, since u ε, 1 is obtained from ã by differentiation. The main ingredient of the proof is Lemma 4. Let s > n/. Then sup sup x R n ω =1 Proof. For each dyadic component f λ of f we have f λ (x + tω ) dt = k Z f (x + tω ) dt f DH s. (5) λ(k+1) λk λ 1/ k Z f λ (x + tω ) dt ( λ(k+1) λk ) 1/ fλ (x + tω ) dt λ n/ k Z 1 { λ 1 (x x ) kω <1} f λ L λ n/ f λ DL λ. At the second step we have used Hölder s inequality and at the third we have used the frequency localization. The summation with respect to λ gives the desired result. We return to the proof of the proposition. A change of variables combined with Lemma 4 and the first part of (8) gives sup x,ξ 1 ã(t, x + tξ, ξ) dt = sup x,ξ ξ where ω = ξ/ ξ. For x derivatives of ã we use the second part of (8) instead: 1 u ε, 1 (x + tω ) dt u ε, 1 DH s M, x ã(x + tξ, ξ) dt u ε, 1 DH s max{ε, εs n/ }M.

23 Large data local solutions for the D-NLS equation 979 For ξ derivatives we use the pointwise bound (7): 1 ξ ã(x + tξ, ξ) dt = 1 u ε, 1 (x + tξ) dt εm. Since u ε, 1 is supported at frequencies 1, we obtain similar bounds for higher order derivatives. Proof of Proposition 3. We neglect the gradients applied to u ε, 1. Also for the estimate involving v we retain only the stronger bound 3 involving v. Then we need to show that u ε, 1 v Y s uε, 1 L v X s, (53) u ε, 1 v Y s uε, 1 L v X s. (54) In (53) we use orthogonality with respect to unit frequency cubes to reduce it to u ε, 1 v ξ Y u ε, 1 L v ξ X. By duality this becomes u ε, 1 v ξ w ξ dx dt u ε, 1 L v ξ X w ξ X. Hence it suffices to show that v ξ w ξ dx dt v ξ X w ξ X. By orthogonality with respect to T ξ tubes (see Proposition 7) it remains to verify that given a ξ tube Q we can integrate a bump function on Q, 1 Q dx dt 1, which is trivial. Similarly, (54) reduces to the frequency localized bound u ε, 1 v ξ w ξ dx dt ξ 1 u ε, 1 L v ξ Y w ξ Y. We use a modulation decomposition of v ξ and w ξ at modulation ξ /8. Due to the Fourier localization, the integral corresponding to the low modulation parts vanishes, u ε, 1 M <ξ /4v ξ M <ξ /4 w ξ dx dt =. On the other hand, we use Proposition 11 to estimate u ε, 1 M >ξ /4v ξ w ξ dx dt uε, 1 L M >ξ /4v ξ L w ξ L ξ 1 u ε, 1 L v ξ X w ξ X. Proof of Proposition 4. This is a direct consequence of the estimates in (8) and (7). 3 This is because we do not differentiate between frequencies 1 and less than 1 in what follows.

24 98 Ioan Bejenaru, Daniel Tataru 6. The bilinear estimate Here we prove Theorem 4. After a Littlewood Paley decomposition it suffices to prove a bound for the high-low frequency interactions u µ v λ DYλ λ 1 µ n/ (ln µ) 1/ u µ DXµ v λ DXλ, 1 µ λ, (55) as well as 4 for high-high frequency interactions S µ (u λ v λ ) DYµ λ n 1 µ n/ u λ DXλ v λ DXλ, 1 µ λ, (56) and similar bounds where one or both of the factors are replaced by their complex conjugates. Both bounds can be localized on the λ spatial scale. Thus the decay structures in the two DX λ spaces can be factored out in the first bound, and neglected in the second. Then, by the duality result in Proposition 9, (55) can be rewritten as u µ v λ w λ dx dt λ 1 µ n/ (ln µ) 1/ u µ DXµ v λ Xλ w λ Xλ. (57) On the other hand, in (56) we can replace the l 1 summation by an l summation on the µ spatial scale by losing a λ 1/ µ 1/ factor. Thus it remains to show that S µ (u λ v λ ) Yµ λ n 3/ µ (n 1)/ u λ Xλ v λ Xλ. By the duality result in Proposition 9 this is equivalent to u λ v λ w µ dx dt λn 3/ µ (n 1)/ u λ Xλ v λ Xλ w µ Xµ, which is easily seen to be weaker than (57). It remains to prove (57) where we allow 1 µ λ in order to include both cases above, and where we allow any combination of complex conjugates. The seemingly large number of cases is reduced by observing that the bound rests unchanged if we conjugate the entire product. Hence we can assume without any restriction in generality that at most one factor is conjugated. Hence it suffices to consider the following three cases: (i) The product u µ v λ w λ with 1 µ λ. This is the main case, where all three factors can simultaneously concentrate in frequency near the parabola. (ii) The product u µ v λ w λ with 1 µ λ. Because the high frequency factors cannot simultaneously concentrate on the parabola, the estimate turns essentially into a bilinear L estimate. (iii) The product u µ v λ w λ with 1 µ λ. This is very similar to the second case. Case 1: Here we prove (57) exactly as stated, for 1 µ λ. This follows by summation with respect to ξ, η in the following result: 4 Strictly speaking, we should consider products of the form u λ1 v λ with λ 1 λ, but this makes no difference.

25 Large data local solutions for the D-NLS equation 981 Proposition 16. (a) Let 1 µ λ and ξ, η R n with Then ξ λ, η µ, ξ + η λ. S η us ξ vs ξ+η w dx dt S ηu Xη S ξ v Xξ S ξ+η w Xξ+η µ 1/. (58) (λ + min{ ξ η, ξ η }) 1/ (b) Assume in addition that µ λ 1/. Then S η us ξ vs ξ+η w dx dt S ηu Di X η S ξ v Xξ S ξ+η w Xξ+η λ 1/ µ 1/ (λ + ξ η ) 1/. (59) We first show how to use the proposition to conclude the proof of (57). We decompose u µ, v λ and w λ in unit frequency cubes, u µ = S η u µ, v λ = S ξ v λ, w λ = S ζ w λ, η µ ξ λ ζ λ and use the corresponding decomposition of the integral in (57). We consider two cases. If µ λ 1/ then we use (58) to estimate ξ+η λ u µ v λ w λ dx dt S η u µ Xη S ξ v λ Xξ S ξ+η w λ Xξ+η µ 1/ (λ + min{ ξ η, ξ η }) 1/. ξ λ, η µ By the Cauchy Schwarz inequality this is bounded by ( ξ+η λ ξ λ, η µ ) ( 1/ ξ+η λ S η u µ X η S ξ+η w λ X ξ+η ξ λ, η µ S ξ v λ ) 1/ X ξ µ(λ + min{ ξ η, ξ η }) and further by ( ξ+η λ ) 1 1/ u µ Xµ v λ Xλ w λ Xλ sup, ξ λ µ(λ + min{ ξ η, ξ η }) η µ which gives (57) since ξ+η λ η µ 1 µ(λ + min{ ξ η, ξ η }) µn ln µ µ λ and µ λ. We note that the bound improves as µ increases. If µ λ 1/ then the argument is similar but using (59) instead of (58). This concludes the proof of (57). Proof of Proposition 16. We decompose each of the factors in wave packets, S η u = P T η u P, S ξ v = Q T ξ v Q, S ξ+η w = R T ξ+η w R. We first prove a bound with Q, R fixed.

26 98 Ioan Bejenaru, Daniel Tataru Lemma 5. For ξ and η as above the following estimate holds: (P Q R = u P v Q w R dx ) 1/ vq u P Xξ w R Xξ+η X η µ P T 1/, (6) (λ + ξ η ) 1/ η P T η Proof. By Proposition 7 we can assume without any restriction in generality that u P = a P (t)e itη χ P (x tη), v Q = a Q (t)e itξ χ Q (x tξ), w R = a R (t)e it(ξ+η) χ R (x t(ξ + η)) with the χ s being unit bumps and the a s in V. Then the integral has the form 1 1 e 4itξη a Q (t)a R (t) P a P (t) χ P (x tη)χ Q (x tξ)χ R (x t(ξ + η)) dx dt. R n The tubes Q and R differ in speed by η, therefore they intersect in a time interval I of length at most µ 1. The tubes P and R differ in speed by ξ, therefore they intersect in a time interval of length at most λ 1. Thus there are about λµ 1 tubes P which intersect both Q and R. For fixed P the x integral above is a smooth bump function on a λ 1 interval. Thus we can express the above integral in the form e 4itξη a Q (t)a R (t) a P (t)b P (t) dt, I P where b P are smooth bump functions on essentially disjoint λ 1 intervals. For the sum with respect to P we can estimate P a P (t)b P (t) L λ 1 a P L and P a P (t)b P (t) a P V V. We consider two possibilities. If ξ η λ then we use Hölder s inequality to bound the integral by µ 1/ λ 1/ a P L a Q L a R L. P If ξ η λ then we use the algebra property for V. It remains to prove that µ 1 a(t)e itσ dt µ 1/ σ 1/ a V, σ = 4ξη.

27 Large data local solutions for the D-NLS equation 983 After rescaling this becomes 1 a(t)e itσ dt σ 1/ a V. This follows by Hölder s inequality from the bound S σ a(t) L σ 1/ a V. Now we prove part (a) of the proposition. Three tubes P, Q, R contribute to the integral only if they intersect. We consider the intersection pattern of ξ and ξ + η tubes. For any ξ tube Q, all ξ + η tubes intersecting it are contained in a larger slab obtained by horizontally translating Q in the η direction, H = (Q + {} [ η, η]). We denote by H a locally finite covering of [ 1, 1] R n with such slabs. Then we use the lemma to bound the integral in (58) by µ 1/ (λ + ξ η ) 1/ H H Q,R H (P Q R = u Q Xξ u R Xξ+η P T η u P X η ) 1/. Using Cauchy Schwarz in the second sum with respect to (Q, R) we bound this by N 1/ ( ) 1/ ( ) 1/ ( ) 1/, µ 1/ (λ + ξ η ) 1/ u P X η u Q X ξ u R X ξ+η P T η H H Q H R H where N = max {(Q, R) : Q, R H, P Q R = }. H,P An additional Cauchy Schwarz allows us to estimate the above sum by N 1/ ( ) 1/ ( ) 1/ ( ) 1/. µ 1/ (λ + ξ η ) 1/ u P X η u Q X ξ u R X ξ+η P T η To conclude the proof it remains to establish a bound for N, namely N Q ξ η ξ + ξ η. Both P R and P Q have a λ 1 time length and are uniquely determined by this intersection up to finite multiplicity. It follows that N λ I, where I is the time interval where H and P intersect. Given the definition of H it follows that I has the form I = {t : x + tξ + sη for some s [ 1, 1]}. R

28 984 Ioan Bejenaru, Daniel Tataru Symmetrizing we can assume that x =. Taking inner and wedge products with η it follows that t must satisfy t η ξ η 1, t η ξ η 1, which lead to the desired bound for N. (b) We first note that both Q and R are contained in spatial strips of size µ λ oriented in the ξ direction. Hence by orthogonality it suffices to prove the estimate in a single such strip. Then we can take advantage of the l 1 summability in the DX µ norm to further reduce the estimate to the case when the η tubes are spatially concentrated in a single µ µ cube Z. A ξ or a ξ + η tube needs a time of µλ 1 to move through such a cube. On the other hand, the tubes Q and R need a larger time µ 1 to separate. Hence within Z we can identify the ξ tubes and the ξ + η tubes. By orthogonality it suffices to consider a single Q and a single R. Consequently, the conclusion follows from the following counterpart of Lemma 5. Lemma 6. For ξ and η as in part (b) of the proposition the following estimate holds: P Z (P Q R = u P v Q w R dx ) 1/ vq u P Xξ w R Xξ+η X η λ P T 1/ µ 1/. (61) (λ + ξ η ) 1/ η P T η The proof is almost identical with the proof of Lemma 5, the only difference is that we now have I µλ 1. Case : Here we consider the product u µ v λ w λ with 1 µ λ, and prove a stronger bound, namely u µ v λ w λ dx dt λ 1 µ n/ 1 u µ Xµ v λ Xλ w λ Xλ. (6) We use the modulation localization operators S <λ /1 to split each of the factors in two, etc. We observe that u µ = M <λ /1 u µ + (1 M <λ /1 u µ) M <λ /1 u µm <λ /1 v λm <λ /1 w λ dx dt = due to the time frequency localizations. Precisely, the first factor is frequency localized in the region { τ < λ /5}, while the other two are frequency localized in the region {τ > λ /8}. Hence it remains to consider the case when at least one factor has high modulation. For that factor we have a favorable L bound as in Proposition 11, M >λ /1 u µ L λ 1 u µ Xµ, and similarly for the other factors. Then it remains to prove that ū µ v λ L µ n/ 1 u µ DXµ v λ Xλ

29 Large data local solutions for the D-NLS equation 985 and S µ (v λ w λ ) L µ n/ 1 v λ Xλ w λ Xλ. For this we need the Strichartz estimates in Proposition 1 (see also (3)). For the first bound we use the L (n+)/n estimate for v λ, and the L n+ estimate for ū µ. For the second we first observe that by orthogonality it suffices to prove it when both v λ and w λ are frequency localized to cubes of size µ. Then we use the L (n+)/n estimate for both factors to derive L 4 bounds by Sobolev embeddings. Case 3: Here we consider the product u µ v λ w λ with 1 µ λ. This is treated exactly as above, and an estimate similar to (6) is obtained. Acknowledgments. The first author was partially supported by MSRI for Fall 5. The second author was partially supported by NSF grants DMS and DMS 311 and also by MSRI for Fall 5. References [1] Bejenaru, I.: Quadratic nonlinear derivative Schrödinger equations Part 1. Int. Math. Res. Papers 6, Art. ID 763, 84 pp. Zbl MR [] Bejenaru, I.: Quadratic nonlinear derivative Schrödinger equations Part. Trans. Amer. Math. Soc., to appear [3] Chihara, H.: Gain of regularity for semilinear Schrödinger equations. Math. Ann. 315, (1999) Zbl MR [4] Cohn, S.: Global existence for the nonresonant Schrdinger equation in two space dimensions. Canad. Appl. Math. Quart., 57 8 (1994) Zbl MR [5] Cohn, S.: Resonance and long time existence for the quadratic semilinear Schrödinger equation. Comm. Pure Appl. Math. 45, (199) Zbl MR [6] Grünrock, A.: On the Cauchy- and periodic boundary value problem for a certain class of derivative nonlinear Schrödinger equations. arxiv:math/6195 [7] Hayashi, N., Naumkin, P.: A quadratic nonlinear Schrödinger equation in one space dimension. J. Differential Equations 186, () MR [8] Kenig, C. E., Ponce, G., Vega, L.: Smoothing effects and local existence theory for the generalized nonlinear Schrödinger equations. Invent. Math. 134, (1998) Zbl MR [9] Koch, H., Tataru, D.: Dispersive estimates for principally normal pseudodifferential operators. Comm. Pure Appl. Math. 58, (5) Zbl MR [1] Mizohata, S.: On the Cauchy Problem. Notes and Reports in Mathematics in Science and Engineering 3, Science Press & Academic Press (1985) Zbl MR 8641 [11] Smith, H., Sogge, C.: On the L p norm of spectral clusters for compact manifolds with boundary. Acta Math. 198, (7) Zbl pre MR 3167 [1] Stefanov, A.: On first-order perturbations of the Schrödinger equation with conjugation. Differential Integral Equations 18, (5) MR [13] Taylor, M. E.: Partial Differential Equations II. Appl. Math. Sci. 116, Springer (1996) Zbl MR

A REMARK ON AN EQUATION OF WAVE MAPS TYPE WITH VARIABLE COEFFICIENTS

A REMARK ON AN EQUATION OF WAVE MAPS TYPE WITH VARIABLE COEFFICIENTS A REMARK ON AN EQUATION OF WAVE MAPS TYPE WITH VARIABLE COEFFICIENTS DAN-ANDREI GEBA Abstract. We obtain a sharp local well-posedness result for an equation of wave maps type with variable coefficients.

More information

A PHYSICAL SPACE PROOF OF THE BILINEAR STRICHARTZ AND LOCAL SMOOTHING ESTIMATES FOR THE SCHRÖDINGER EQUATION

A PHYSICAL SPACE PROOF OF THE BILINEAR STRICHARTZ AND LOCAL SMOOTHING ESTIMATES FOR THE SCHRÖDINGER EQUATION A PHYSICAL SPACE PROOF OF THE BILINEAR STRICHARTZ AND LOCAL SMOOTHING ESTIMATES FOR THE SCHRÖDINGER EQUATION TERENCE TAO Abstract. Let d 1, and let u, v : R R d C be Schwartz space solutions to the Schrödinger

More information

A COUNTEREXAMPLE TO AN ENDPOINT BILINEAR STRICHARTZ INEQUALITY TERENCE TAO. t L x (R R2 ) f L 2 x (R2 )

A COUNTEREXAMPLE TO AN ENDPOINT BILINEAR STRICHARTZ INEQUALITY TERENCE TAO. t L x (R R2 ) f L 2 x (R2 ) Electronic Journal of Differential Equations, Vol. 2006(2006), No. 5, pp. 6. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) A COUNTEREXAMPLE

More information

DISPERSIVE ESTIMATES FOR WAVE EQUATIONS WITH ROUGH COEFFICIENTS

DISPERSIVE ESTIMATES FOR WAVE EQUATIONS WITH ROUGH COEFFICIENTS DISPERSIVE ESTIMATES FOR WAVE EQUATIONS WITH ROUGH COEFFICIENTS DANIEL TATARU AND DAN-ANDREI GEBA Abstract. We obtain a multiscale wave packet representation for the fundamental solution of the wave equation

More information

POINTWISE BOUNDS ON QUASIMODES OF SEMICLASSICAL SCHRÖDINGER OPERATORS IN DIMENSION TWO

POINTWISE BOUNDS ON QUASIMODES OF SEMICLASSICAL SCHRÖDINGER OPERATORS IN DIMENSION TWO POINTWISE BOUNDS ON QUASIMODES OF SEMICLASSICAL SCHRÖDINGER OPERATORS IN DIMENSION TWO HART F. SMITH AND MACIEJ ZWORSKI Abstract. We prove optimal pointwise bounds on quasimodes of semiclassical Schrödinger

More information

SCALE INVARIANT FOURIER RESTRICTION TO A HYPERBOLIC SURFACE

SCALE INVARIANT FOURIER RESTRICTION TO A HYPERBOLIC SURFACE SCALE INVARIANT FOURIER RESTRICTION TO A HYPERBOLIC SURFACE BETSY STOVALL Abstract. This result sharpens the bilinear to linear deduction of Lee and Vargas for extension estimates on the hyperbolic paraboloid

More information

TADAHIRO OH 0, 3 8 (T R), (1.5) The result in [2] is in fact stated for time-periodic functions: 0, 1 3 (T 2 ). (1.4)

TADAHIRO OH 0, 3 8 (T R), (1.5) The result in [2] is in fact stated for time-periodic functions: 0, 1 3 (T 2 ). (1.4) PERIODIC L 4 -STRICHARTZ ESTIMATE FOR KDV TADAHIRO OH 1. Introduction In [], Bourgain proved global well-posedness of the periodic KdV in L T): u t + u xxx + uu x 0, x, t) T R. 1.1) The key ingredient

More information

A LOWER BOUND ON BLOWUP RATES FOR THE 3D INCOMPRESSIBLE EULER EQUATION AND A SINGLE EXPONENTIAL BEALE-KATO-MAJDA ESTIMATE. 1.

A LOWER BOUND ON BLOWUP RATES FOR THE 3D INCOMPRESSIBLE EULER EQUATION AND A SINGLE EXPONENTIAL BEALE-KATO-MAJDA ESTIMATE. 1. A LOWER BOUND ON BLOWUP RATES FOR THE 3D INCOMPRESSIBLE EULER EQUATION AND A SINGLE EXPONENTIAL BEALE-KATO-MAJDA ESTIMATE THOMAS CHEN AND NATAŠA PAVLOVIĆ Abstract. We prove a Beale-Kato-Majda criterion

More information

Global well-posedness for KdV in Sobolev spaces of negative index

Global well-posedness for KdV in Sobolev spaces of negative index Electronic Journal of Differential Equations, Vol. (), No. 6, pp. 7. ISSN: 7-669. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) Global well-posedness for

More information

Well-posedness for the Fourth-order Schrödinger Equations with Quadratic Nonlinearity

Well-posedness for the Fourth-order Schrödinger Equations with Quadratic Nonlinearity Well-posedness for the Fourth-order Schrödinger Equations with Quadratic Nonlinearity Jiqiang Zheng The Graduate School of China Academy of Engineering Physics P. O. Box 20, Beijing, China, 00088 (zhengjiqiang@gmail.com)

More information

Traces, extensions and co-normal derivatives for elliptic systems on Lipschitz domains

Traces, extensions and co-normal derivatives for elliptic systems on Lipschitz domains Traces, extensions and co-normal derivatives for elliptic systems on Lipschitz domains Sergey E. Mikhailov Brunel University West London, Department of Mathematics, Uxbridge, UB8 3PH, UK J. Math. Analysis

More information

Local smoothing and Strichartz estimates for manifolds with degenerate hyperbolic trapping

Local smoothing and Strichartz estimates for manifolds with degenerate hyperbolic trapping Local smoothing and Strichartz estimates for manifolds with degenerate hyperbolic trapping H. Christianson partly joint work with J. Wunsch (Northwestern) Department of Mathematics University of North

More information

A survey on l 2 decoupling

A survey on l 2 decoupling A survey on l 2 decoupling Po-Lam Yung 1 The Chinese University of Hong Kong January 31, 2018 1 Research partially supported by HKRGC grant 14313716, and by CUHK direct grants 4053220, 4441563 Introduction

More information

The Chern-Simons-Schrödinger equation

The Chern-Simons-Schrödinger equation The Chern-Simons-Schrödinger equation Low regularity local wellposedness Baoping Liu, Paul Smith, Daniel Tataru University of California, Berkeley July 16, 2012 Paul Smith (UC Berkeley) Chern-Simons-Schrödinger

More information

Laplace s Equation. Chapter Mean Value Formulas

Laplace s Equation. Chapter Mean Value Formulas Chapter 1 Laplace s Equation Let be an open set in R n. A function u C 2 () is called harmonic in if it satisfies Laplace s equation n (1.1) u := D ii u = 0 in. i=1 A function u C 2 () is called subharmonic

More information

Strichartz Estimates for the Schrödinger Equation in Exterior Domains

Strichartz Estimates for the Schrödinger Equation in Exterior Domains Strichartz Estimates for the Schrödinger Equation in University of New Mexico May 14, 2010 Joint work with: Hart Smith (University of Washington) Christopher Sogge (Johns Hopkins University) The Schrödinger

More information

JUHA KINNUNEN. Harmonic Analysis

JUHA KINNUNEN. Harmonic Analysis JUHA KINNUNEN Harmonic Analysis Department of Mathematics and Systems Analysis, Aalto University 27 Contents Calderón-Zygmund decomposition. Dyadic subcubes of a cube.........................2 Dyadic cubes

More information

An introduction to Birkhoff normal form

An introduction to Birkhoff normal form An introduction to Birkhoff normal form Dario Bambusi Dipartimento di Matematica, Universitá di Milano via Saldini 50, 0133 Milano (Italy) 19.11.14 1 Introduction The aim of this note is to present an

More information

Putzer s Algorithm. Norman Lebovitz. September 8, 2016

Putzer s Algorithm. Norman Lebovitz. September 8, 2016 Putzer s Algorithm Norman Lebovitz September 8, 2016 1 Putzer s algorithm The differential equation dx = Ax, (1) dt where A is an n n matrix of constants, possesses the fundamental matrix solution exp(at),

More information

ON STRICHARTZ ESTIMATES FOR SCHRÖDINGER OPERATORS IN COMPACT MANIFOLDS WITH BOUNDARY. 1. Introduction

ON STRICHARTZ ESTIMATES FOR SCHRÖDINGER OPERATORS IN COMPACT MANIFOLDS WITH BOUNDARY. 1. Introduction ON STRICHARTZ ESTIMATES FOR SCHRÖDINGER OPERATORS IN COMPACT MANIFOLDS WITH BOUNDARY MATTHEW D. BLAIR, HART F. SMITH, AND CHRISTOPHER D. SOGGE 1. Introduction Let (M, g) be a Riemannian manifold of dimension

More information

Piecewise Smooth Solutions to the Burgers-Hilbert Equation

Piecewise Smooth Solutions to the Burgers-Hilbert Equation Piecewise Smooth Solutions to the Burgers-Hilbert Equation Alberto Bressan and Tianyou Zhang Department of Mathematics, Penn State University, University Park, Pa 68, USA e-mails: bressan@mathpsuedu, zhang

More information

arxiv:math/ v1 [math.ap] 24 Apr 2003

arxiv:math/ v1 [math.ap] 24 Apr 2003 ICM 2002 Vol. III 1 3 arxiv:math/0304397v1 [math.ap] 24 Apr 2003 Nonlinear Wave Equations Daniel Tataru Abstract The analysis of nonlinear wave equations has experienced a dramatic growth in the last ten

More information

Microlocal analysis and inverse problems Lecture 3 : Carleman estimates

Microlocal analysis and inverse problems Lecture 3 : Carleman estimates Microlocal analysis and inverse problems ecture 3 : Carleman estimates David Dos Santos Ferreira AGA Université de Paris 13 Monday May 16 Instituto de Ciencias Matemáticas, Madrid David Dos Santos Ferreira

More information

We denote the space of distributions on Ω by D ( Ω) 2.

We denote the space of distributions on Ω by D ( Ω) 2. Sep. 1 0, 008 Distributions Distributions are generalized functions. Some familiarity with the theory of distributions helps understanding of various function spaces which play important roles in the study

More information

SELF-ADJOINTNESS OF SCHRÖDINGER-TYPE OPERATORS WITH SINGULAR POTENTIALS ON MANIFOLDS OF BOUNDED GEOMETRY

SELF-ADJOINTNESS OF SCHRÖDINGER-TYPE OPERATORS WITH SINGULAR POTENTIALS ON MANIFOLDS OF BOUNDED GEOMETRY Electronic Journal of Differential Equations, Vol. 2003(2003), No.??, pp. 1 8. ISSN: 1072-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) SELF-ADJOINTNESS

More information

Euler Equations: local existence

Euler Equations: local existence Euler Equations: local existence Mat 529, Lesson 2. 1 Active scalars formulation We start with a lemma. Lemma 1. Assume that w is a magnetization variable, i.e. t w + u w + ( u) w = 0. If u = Pw then u

More information

Notes. 1 Fourier transform and L p spaces. March 9, For a function in f L 1 (R n ) define the Fourier transform. ˆf(ξ) = f(x)e 2πi x,ξ dx.

Notes. 1 Fourier transform and L p spaces. March 9, For a function in f L 1 (R n ) define the Fourier transform. ˆf(ξ) = f(x)e 2πi x,ξ dx. Notes March 9, 27 1 Fourier transform and L p spaces For a function in f L 1 (R n ) define the Fourier transform ˆf(ξ) = f(x)e 2πi x,ξ dx. Properties R n 1. f g = ˆfĝ 2. δλ (f)(ξ) = ˆf(λξ), where δ λ f(x)

More information

Some physical space heuristics for Strichartz estimates

Some physical space heuristics for Strichartz estimates Some physical space heuristics for Strichartz estimates Felipe Hernandez July 30, 2014 SPUR Final Paper, Summer 2014 Mentor Chenjie Fan Project suggested by Gigliola Staffilani Abstract This note records

More information

2 A Model, Harmonic Map, Problem

2 A Model, Harmonic Map, Problem ELLIPTIC SYSTEMS JOHN E. HUTCHINSON Department of Mathematics School of Mathematical Sciences, A.N.U. 1 Introduction Elliptic equations model the behaviour of scalar quantities u, such as temperature or

More information

DISPERSIVE EQUATIONS: A SURVEY

DISPERSIVE EQUATIONS: A SURVEY DISPERSIVE EQUATIONS: A SURVEY GIGLIOLA STAFFILANI 1. Introduction These notes were written as a guideline for a short talk; hence, the references and the statements of the theorems are often not given

More information

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability... Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................

More information

The De Giorgi-Nash-Moser Estimates

The De Giorgi-Nash-Moser Estimates The De Giorgi-Nash-Moser Estimates We are going to discuss the the equation Lu D i (a ij (x)d j u) = 0 in B 4 R n. (1) The a ij, with i, j {1,..., n}, are functions on the ball B 4. Here and in the following

More information

8 Singular Integral Operators and L p -Regularity Theory

8 Singular Integral Operators and L p -Regularity Theory 8 Singular Integral Operators and L p -Regularity Theory 8. Motivation See hand-written notes! 8.2 Mikhlin Multiplier Theorem Recall that the Fourier transformation F and the inverse Fourier transformation

More information

Strong uniqueness for second order elliptic operators with Gevrey coefficients

Strong uniqueness for second order elliptic operators with Gevrey coefficients Strong uniqueness for second order elliptic operators with Gevrey coefficients Ferruccio Colombini, Cataldo Grammatico, Daniel Tataru Abstract We consider here the problem of strong unique continuation

More information

Blow-up on manifolds with symmetry for the nonlinear Schröding

Blow-up on manifolds with symmetry for the nonlinear Schröding Blow-up on manifolds with symmetry for the nonlinear Schrödinger equation March, 27 2013 Université de Nice Euclidean L 2 -critical theory Consider the one dimensional equation i t u + u = u 4 u, t > 0,

More information

CUTOFF RESOLVENT ESTIMATES AND THE SEMILINEAR SCHRÖDINGER EQUATION

CUTOFF RESOLVENT ESTIMATES AND THE SEMILINEAR SCHRÖDINGER EQUATION CUTOFF RESOLVENT ESTIMATES AND THE SEMILINEAR SCHRÖDINGER EQUATION HANS CHRISTIANSON Abstract. This paper shows how abstract resolvent estimates imply local smoothing for solutions to the Schrödinger equation.

More information

Sharp Sobolev Strichartz estimates for the free Schrödinger propagator

Sharp Sobolev Strichartz estimates for the free Schrödinger propagator Sharp Sobolev Strichartz estimates for the free Schrödinger propagator Neal Bez, Chris Jeavons and Nikolaos Pattakos Abstract. We consider gaussian extremisability of sharp linear Sobolev Strichartz estimates

More information

Decouplings and applications

Decouplings and applications April 27, 2018 Let Ξ be a collection of frequency points ξ on some curved, compact manifold S of diameter 1 in R n (e.g. the unit sphere S n 1 ) Let B R = B(c, R) be a ball with radius R 1. Let also a

More information

Fourier Transform & Sobolev Spaces

Fourier Transform & Sobolev Spaces Fourier Transform & Sobolev Spaces Michael Reiter, Arthur Schuster Summer Term 2008 Abstract We introduce the concept of weak derivative that allows us to define new interesting Hilbert spaces the Sobolev

More information

A SHORT PROOF OF THE COIFMAN-MEYER MULTILINEAR THEOREM

A SHORT PROOF OF THE COIFMAN-MEYER MULTILINEAR THEOREM A SHORT PROOF OF THE COIFMAN-MEYER MULTILINEAR THEOREM CAMIL MUSCALU, JILL PIPHER, TERENCE TAO, AND CHRISTOPH THIELE Abstract. We give a short proof of the well known Coifman-Meyer theorem on multilinear

More information

Conservation law equations : problem set

Conservation law equations : problem set Conservation law equations : problem set Luis Silvestre For Isaac Neal and Elia Portnoy in the 2018 summer bootcamp 1 Method of characteristics For the problems in this section, assume that the solutions

More information

ALMOST CONSERVATION LAWS AND GLOBAL ROUGH SOLUTIONS TO A NONLINEAR SCHRÖDINGER EQUATION

ALMOST CONSERVATION LAWS AND GLOBAL ROUGH SOLUTIONS TO A NONLINEAR SCHRÖDINGER EQUATION ALMOST CONSERVATION LAWS AND GLOBAL ROUGH SOLUTIONS TO A NONLINEAR SCHRÖDINGER EQUATION J. COLLIANDER, M. KEEL, G. STAFFILANI, H. TAKAOKA, AND T. TAO Abstract. We prove an almost conservation law to obtain

More information

ON THE CAUCHY-PROBLEM FOR GENERALIZED KADOMTSEV-PETVIASHVILI-II EQUATIONS

ON THE CAUCHY-PROBLEM FOR GENERALIZED KADOMTSEV-PETVIASHVILI-II EQUATIONS Electronic Journal of Differential Equations, Vol. 009(009), No. 8, pp. 1 9. ISSN: 107-6691. URL: http://ejde.math.tstate.edu or http://ejde.math.unt.edu ftp ejde.math.tstate.edu ON THE CAUCHY-PROBLEM

More information

MATH 205C: STATIONARY PHASE LEMMA

MATH 205C: STATIONARY PHASE LEMMA MATH 205C: STATIONARY PHASE LEMMA For ω, consider an integral of the form I(ω) = e iωf(x) u(x) dx, where u Cc (R n ) complex valued, with support in a compact set K, and f C (R n ) real valued. Thus, I(ω)

More information

Microlocal Methods in X-ray Tomography

Microlocal Methods in X-ray Tomography Microlocal Methods in X-ray Tomography Plamen Stefanov Purdue University Lecture I: Euclidean X-ray tomography Mini Course, Fields Institute, 2012 Plamen Stefanov (Purdue University ) Microlocal Methods

More information

Partial Differential Equations

Partial Differential Equations Part II Partial Differential Equations Year 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2015 Paper 4, Section II 29E Partial Differential Equations 72 (a) Show that the Cauchy problem for u(x,

More information

LECTURE 1: SOURCES OF ERRORS MATHEMATICAL TOOLS A PRIORI ERROR ESTIMATES. Sergey Korotov,

LECTURE 1: SOURCES OF ERRORS MATHEMATICAL TOOLS A PRIORI ERROR ESTIMATES. Sergey Korotov, LECTURE 1: SOURCES OF ERRORS MATHEMATICAL TOOLS A PRIORI ERROR ESTIMATES Sergey Korotov, Institute of Mathematics Helsinki University of Technology, Finland Academy of Finland 1 Main Problem in Mathematical

More information

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )

More information

Title: Localized self-adjointness of Schrödinger-type operators on Riemannian manifolds. Proposed running head: Schrödinger-type operators on

Title: Localized self-adjointness of Schrödinger-type operators on Riemannian manifolds. Proposed running head: Schrödinger-type operators on Title: Localized self-adjointness of Schrödinger-type operators on Riemannian manifolds. Proposed running head: Schrödinger-type operators on manifolds. Author: Ognjen Milatovic Department Address: Department

More information

Topics in Harmonic Analysis Lecture 6: Pseudodifferential calculus and almost orthogonality

Topics in Harmonic Analysis Lecture 6: Pseudodifferential calculus and almost orthogonality Topics in Harmonic Analysis Lecture 6: Pseudodifferential calculus and almost orthogonality Po-Lam Yung The Chinese University of Hong Kong Introduction While multiplier operators are very useful in studying

More information

Energy transfer model and large periodic boundary value problem for the quintic NLS

Energy transfer model and large periodic boundary value problem for the quintic NLS Energy transfer model and large periodic boundary value problem for the quintic NS Hideo Takaoka Department of Mathematics, Kobe University 1 ntroduction This note is based on a talk given at the conference

More information

S. Lototsky and B.L. Rozovskii Center for Applied Mathematical Sciences University of Southern California, Los Angeles, CA

S. Lototsky and B.L. Rozovskii Center for Applied Mathematical Sciences University of Southern California, Los Angeles, CA RECURSIVE MULTIPLE WIENER INTEGRAL EXPANSION FOR NONLINEAR FILTERING OF DIFFUSION PROCESSES Published in: J. A. Goldstein, N. E. Gretsky, and J. J. Uhl (editors), Stochastic Processes and Functional Analysis,

More information

SCATTERING FOR THE TWO-DIMENSIONAL NLS WITH EXPONENTIAL NONLINEARITY

SCATTERING FOR THE TWO-DIMENSIONAL NLS WITH EXPONENTIAL NONLINEARITY SCATTERING FOR THE TWO-DIMENSIONAL NLS WITH EXPONENTIAL NONLINEARITY S. IBRAHIM, M. MAJDOUB, N. MASMOUDI, AND K. NAKANISHI Abstract. We investigate existence and asymptotic completeness of the wave operators

More information

BLOWUP THEORY FOR THE CRITICAL NONLINEAR SCHRÖDINGER EQUATIONS REVISITED

BLOWUP THEORY FOR THE CRITICAL NONLINEAR SCHRÖDINGER EQUATIONS REVISITED BLOWUP THEORY FOR THE CRITICAL NONLINEAR SCHRÖDINGER EQUATIONS REVISITED TAOUFIK HMIDI AND SAHBI KERAANI Abstract. In this note we prove a refined version of compactness lemma adapted to the blowup analysis

More information

ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM

ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM OLEG ZUBELEVICH DEPARTMENT OF MATHEMATICS THE BUDGET AND TREASURY ACADEMY OF THE MINISTRY OF FINANCE OF THE RUSSIAN FEDERATION 7, ZLATOUSTINSKY MALIY PER.,

More information

2. Function spaces and approximation

2. Function spaces and approximation 2.1 2. Function spaces and approximation 2.1. The space of test functions. Notation and prerequisites are collected in Appendix A. Let Ω be an open subset of R n. The space C0 (Ω), consisting of the C

More information

A Sharpened Hausdorff-Young Inequality

A Sharpened Hausdorff-Young Inequality A Sharpened Hausdorff-Young Inequality Michael Christ University of California, Berkeley IPAM Workshop Kakeya Problem, Restriction Problem, Sum-Product Theory and perhaps more May 5, 2014 Hausdorff-Young

More information

Strichartz Estimates in Domains

Strichartz Estimates in Domains Department of Mathematics Johns Hopkins University April 15, 2010 Wave equation on Riemannian manifold (M, g) Cauchy problem: 2 t u(t, x) gu(t, x) =0 u(0, x) =f (x), t u(0, x) =g(x) Strichartz estimates:

More information

Analytic families of multilinear operators

Analytic families of multilinear operators Analytic families of multilinear operators Mieczysław Mastyło Adam Mickiewicz University in Poznań Nonlinar Functional Analysis Valencia 17-20 October 2017 Based on a joint work with Loukas Grafakos M.

More information

NONLOCAL DIFFUSION EQUATIONS

NONLOCAL DIFFUSION EQUATIONS NONLOCAL DIFFUSION EQUATIONS JULIO D. ROSSI (ALICANTE, SPAIN AND BUENOS AIRES, ARGENTINA) jrossi@dm.uba.ar http://mate.dm.uba.ar/ jrossi 2011 Non-local diffusion. The function J. Let J : R N R, nonnegative,

More information

Overview of normed linear spaces

Overview of normed linear spaces 20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural

More information

A RECONSTRUCTION FORMULA FOR BAND LIMITED FUNCTIONS IN L 2 (R d )

A RECONSTRUCTION FORMULA FOR BAND LIMITED FUNCTIONS IN L 2 (R d ) PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 127, Number 12, Pages 3593 3600 S 0002-9939(99)04938-2 Article electronically published on May 6, 1999 A RECONSTRUCTION FORMULA FOR AND LIMITED FUNCTIONS

More information

Sobolev Spaces. Chapter 10

Sobolev Spaces. Chapter 10 Chapter 1 Sobolev Spaces We now define spaces H 1,p (R n ), known as Sobolev spaces. For u to belong to H 1,p (R n ), we require that u L p (R n ) and that u have weak derivatives of first order in L p

More information

Proceedings of the 5th International Conference on Inverse Problems in Engineering: Theory and Practice, Cambridge, UK, 11-15th July 2005

Proceedings of the 5th International Conference on Inverse Problems in Engineering: Theory and Practice, Cambridge, UK, 11-15th July 2005 Proceedings of the 5th International Conference on Inverse Problems in Engineering: Theory and Practice, Cambridge, UK, 11-15th July 2005 SOME INVERSE SCATTERING PROBLEMS FOR TWO-DIMENSIONAL SCHRÖDINGER

More information

An introduction to some aspects of functional analysis

An introduction to some aspects of functional analysis An introduction to some aspects of functional analysis Stephen Semmes Rice University Abstract These informal notes deal with some very basic objects in functional analysis, including norms and seminorms

More information

ON THE FRACTIONAL CAUCHY PROBLEM ASSOCIATED WITH A FELLER SEMIGROUP

ON THE FRACTIONAL CAUCHY PROBLEM ASSOCIATED WITH A FELLER SEMIGROUP Dedicated to Professor Gheorghe Bucur on the occasion of his 7th birthday ON THE FRACTIONAL CAUCHY PROBLEM ASSOCIATED WITH A FELLER SEMIGROUP EMIL POPESCU Starting from the usual Cauchy problem, we give

More information

DEGREE AND SOBOLEV SPACES. Haïm Brezis Yanyan Li Petru Mironescu Louis Nirenberg. Introduction

DEGREE AND SOBOLEV SPACES. Haïm Brezis Yanyan Li Petru Mironescu Louis Nirenberg. Introduction Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 13, 1999, 181 190 DEGREE AND SOBOLEV SPACES Haïm Brezis Yanyan Li Petru Mironescu Louis Nirenberg Dedicated to Jürgen

More information

CARLEMAN ESTIMATES AND ABSENCE OF EMBEDDED EIGENVALUES

CARLEMAN ESTIMATES AND ABSENCE OF EMBEDDED EIGENVALUES CARLEMAN ESTIMATES AND ABSENCE OF EMBEDDED EIGENVALUES HERBERT KOCH AND DANIEL TATARU Abstract. Let L = W be a Schrödinger operator with a potential W L n+1 2 (R n ), n 2. We prove that there is no positive

More information

at time t, in dimension d. The index i varies in a countable set I. We call configuration the family, denoted generically by Φ: U (x i (t) x j (t))

at time t, in dimension d. The index i varies in a countable set I. We call configuration the family, denoted generically by Φ: U (x i (t) x j (t)) Notations In this chapter we investigate infinite systems of interacting particles subject to Newtonian dynamics Each particle is characterized by its position an velocity x i t, v i t R d R d at time

More information

An introduction to Mathematical Theory of Control

An introduction to Mathematical Theory of Control An introduction to Mathematical Theory of Control Vasile Staicu University of Aveiro UNICA, May 2018 Vasile Staicu (University of Aveiro) An introduction to Mathematical Theory of Control UNICA, May 2018

More information

DIEUDONNE AGBOR AND JAN BOMAN

DIEUDONNE AGBOR AND JAN BOMAN ON THE MODULUS OF CONTINUITY OF MAPPINGS BETWEEN EUCLIDEAN SPACES DIEUDONNE AGBOR AND JAN BOMAN Abstract Let f be a function from R p to R q and let Λ be a finite set of pairs (θ, η) R p R q. Assume that

More information

Partial differential equation for temperature u(x, t) in a heat conducting insulated rod along the x-axis is given by the Heat equation:

Partial differential equation for temperature u(x, t) in a heat conducting insulated rod along the x-axis is given by the Heat equation: Chapter 7 Heat Equation Partial differential equation for temperature u(x, t) in a heat conducting insulated rod along the x-axis is given by the Heat equation: u t = ku x x, x, t > (7.1) Here k is a constant

More information

The NLS on product spaces and applications

The NLS on product spaces and applications October 2014, Orsay The NLS on product spaces and applications Nikolay Tzvetkov Cergy-Pontoise University based on joint work with Zaher Hani, Benoit Pausader and Nicola Visciglia A basic result Consider

More information

Non-degeneracy of perturbed solutions of semilinear partial differential equations

Non-degeneracy of perturbed solutions of semilinear partial differential equations Non-degeneracy of perturbed solutions of semilinear partial differential equations Robert Magnus, Olivier Moschetta Abstract The equation u + F(V (εx, u = 0 is considered in R n. For small ε > 0 it is

More information

Conservative Control Systems Described by the Schrödinger Equation

Conservative Control Systems Described by the Schrödinger Equation Conservative Control Systems Described by the Schrödinger Equation Salah E. Rebiai Abstract An important subclass of well-posed linear systems is formed by the conservative systems. A conservative system

More information

STRICHARTZ ESTIMATES FOR SCHRÖDINGER OPERATORS WITH A NON-SMOOTH MAGNETIC POTENTIAL. Michael Goldberg. (Communicated by the associate editor name)

STRICHARTZ ESTIMATES FOR SCHRÖDINGER OPERATORS WITH A NON-SMOOTH MAGNETIC POTENTIAL. Michael Goldberg. (Communicated by the associate editor name) STICHATZ ESTIMATES FO SCHÖDINGE OPEATOS WITH A NON-SMOOTH MAGNETIC POTENTIA Michael Goldberg Department of Mathematics Johns Hopkins University 3400 N. Charles St. Baltimore, MD 228, USA Communicated by

More information

L p -boundedness of the Hilbert transform

L p -boundedness of the Hilbert transform L p -boundedness of the Hilbert transform Kunal Narayan Chaudhury Abstract The Hilbert transform is essentially the only singular operator in one dimension. This undoubtedly makes it one of the the most

More information

The heat equation in time dependent domains with Neumann boundary conditions

The heat equation in time dependent domains with Neumann boundary conditions The heat equation in time dependent domains with Neumann boundary conditions Chris Burdzy Zhen-Qing Chen John Sylvester Abstract We study the heat equation in domains in R n with insulated fast moving

More information

1.5 Approximate Identities

1.5 Approximate Identities 38 1 The Fourier Transform on L 1 (R) which are dense subspaces of L p (R). On these domains, P : D P L p (R) and M : D M L p (R). Show, however, that P and M are unbounded even when restricted to these

More information

arxiv: v1 [math.ap] 18 May 2017

arxiv: v1 [math.ap] 18 May 2017 Littlewood-Paley-Stein functions for Schrödinger operators arxiv:175.6794v1 [math.ap] 18 May 217 El Maati Ouhabaz Dedicated to the memory of Abdelghani Bellouquid (2/2/1966 8/31/215) Abstract We study

More information

SEMILINEAR ELLIPTIC EQUATIONS WITH DEPENDENCE ON THE GRADIENT

SEMILINEAR ELLIPTIC EQUATIONS WITH DEPENDENCE ON THE GRADIENT Electronic Journal of Differential Equations, Vol. 2012 (2012), No. 139, pp. 1 9. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu SEMILINEAR ELLIPTIC

More information

A note on W 1,p estimates for quasilinear parabolic equations

A note on W 1,p estimates for quasilinear parabolic equations 200-Luminy conference on Quasilinear Elliptic and Parabolic Equations and Systems, Electronic Journal of Differential Equations, Conference 08, 2002, pp 2 3. http://ejde.math.swt.edu or http://ejde.math.unt.edu

More information

A PHASE SPACE TRANSFORM ADAPTED TO THE WAVE EQUATION

A PHASE SPACE TRANSFORM ADAPTED TO THE WAVE EQUATION A PHASE SPACE TRANSFORM ADAPTED TO THE WAVE EQUATION DAN-ANDREI GEBA AND DANIEL TATARU Abstract. Wave packets emerged in recent years as a very useful tool in the study of nonlinear wave equations. In

More information

Here we used the multiindex notation:

Here we used the multiindex notation: Mathematics Department Stanford University Math 51H Distributions Distributions first arose in solving partial differential equations by duality arguments; a later related benefit was that one could always

More information

THE THEORY OF NONLINEAR SCHRÖDINGER EQUATIONS: PART I

THE THEORY OF NONLINEAR SCHRÖDINGER EQUATIONS: PART I THE THEORY OF NONLINEAR SCHRÖDINGER EQUATIONS: PART I J. COLLIANDER, M. KEEL, G. STAFFILANI, H. TAKAOKA, AND T. TAO Contents 1. Introduction. Lecture # 1: The Linear Schrödinger Equation in R n : Dispersive

More information

Problem: A class of dynamical systems characterized by a fast divergence of the orbits. A paradigmatic example: the Arnold cat.

Problem: A class of dynamical systems characterized by a fast divergence of the orbits. A paradigmatic example: the Arnold cat. À È Ê ÇÄÁ Ë ËÌ ÅË Problem: A class of dynamical systems characterized by a fast divergence of the orbits A paradigmatic example: the Arnold cat. The closure of a homoclinic orbit. The shadowing lemma.

More information

SMOOTHING ESTIMATES OF THE RADIAL SCHRÖDINGER PROPAGATOR IN DIMENSIONS n 2

SMOOTHING ESTIMATES OF THE RADIAL SCHRÖDINGER PROPAGATOR IN DIMENSIONS n 2 Acta Mathematica Scientia 1,3B(6):13 19 http://actams.wipm.ac.cn SMOOTHING ESTIMATES OF THE RADIAL SCHRÖDINGER PROPAGATOR IN DIMENSIONS n Li Dong ( ) Department of Mathematics, University of Iowa, 14 MacLean

More information

PART IV Spectral Methods

PART IV Spectral Methods PART IV Spectral Methods Additional References: R. Peyret, Spectral methods for incompressible viscous flow, Springer (2002), B. Mercier, An introduction to the numerical analysis of spectral methods,

More information

Growth of Sobolev norms for the cubic NLS

Growth of Sobolev norms for the cubic NLS Growth of Sobolev norms for the cubic NLS Benoit Pausader N. Tzvetkov. Brown U. Spectral theory and mathematical physics, Cergy, June 2016 Introduction We consider the cubic nonlinear Schrödinger equation

More information

Michael Lacey and Christoph Thiele. f(ξ)e 2πiξx dξ

Michael Lacey and Christoph Thiele. f(ξ)e 2πiξx dξ Mathematical Research Letters 7, 36 370 (2000) A PROOF OF BOUNDEDNESS OF THE CARLESON OPERATOR Michael Lacey and Christoph Thiele Abstract. We give a simplified proof that the Carleson operator is of weaktype

More information

Strauss conjecture for nontrapping obstacles

Strauss conjecture for nontrapping obstacles Chengbo Wang Joint work with: Hart Smith, Christopher Sogge Department of Mathematics Johns Hopkins University Baltimore, Maryland 21218 wangcbo@jhu.edu November 3, 2010 1 Problem and Background Problem

More information

Stability of Feedback Solutions for Infinite Horizon Noncooperative Differential Games

Stability of Feedback Solutions for Infinite Horizon Noncooperative Differential Games Stability of Feedback Solutions for Infinite Horizon Noncooperative Differential Games Alberto Bressan ) and Khai T. Nguyen ) *) Department of Mathematics, Penn State University **) Department of Mathematics,

More information

Dispersive numerical schemes for Schrödinger equations

Dispersive numerical schemes for Schrödinger equations Dispersive numerical schemes for Schrödinger equations Enrique Zuazua joint work with L. Ignat zuazua@bcamath.org Basque Center for Applied Mathematics (BCAM), Bilbao, Basque Country, Spain IMA Workshop:

More information

RANDOM PROPERTIES BENOIT PAUSADER

RANDOM PROPERTIES BENOIT PAUSADER RANDOM PROPERTIES BENOIT PAUSADER. Quasilinear problems In general, one consider the following trichotomy for nonlinear PDEs: A semilinear problem is a problem where the highest-order terms appears linearly

More information

1-D cubic NLS with several Diracs as initial data and consequences

1-D cubic NLS with several Diracs as initial data and consequences 1-D cubic NLS with several Diracs as initial data and consequences Valeria Banica (Univ. Pierre et Marie Curie) joint work with Luis Vega (BCAM) Roma, September 2017 1/20 Plan of the talk The 1-D cubic

More information

ANALYTIC SMOOTHING EFFECT FOR NONLI TitleSCHRÖDINGER EQUATION IN TWO SPACE DIMENSIONS. Citation Osaka Journal of Mathematics.

ANALYTIC SMOOTHING EFFECT FOR NONLI TitleSCHRÖDINGER EQUATION IN TWO SPACE DIMENSIONS. Citation Osaka Journal of Mathematics. ANALYTIC SMOOTHING EFFECT FOR NONLI TitleSCHRÖDINGER EQUATION IN TWO SPACE DIMENSIONS Author(s) Hoshino, Gaku; Ozawa, Tohru Citation Osaka Journal of Mathematics. 51(3) Issue 014-07 Date Text Version publisher

More information

Sobolev spaces. May 18

Sobolev spaces. May 18 Sobolev spaces May 18 2015 1 Weak derivatives The purpose of these notes is to give a very basic introduction to Sobolev spaces. More extensive treatments can e.g. be found in the classical references

More information

A GLOBAL COMPACT ATTRACTOR FOR HIGH-DIMENSIONAL DEFOCUSING NON-LINEAR SCHRÖDINGER EQUATIONS WITH POTENTIAL TERENCE TAO

A GLOBAL COMPACT ATTRACTOR FOR HIGH-DIMENSIONAL DEFOCUSING NON-LINEAR SCHRÖDINGER EQUATIONS WITH POTENTIAL TERENCE TAO A GLOBAL COMPACT ATTRACTOR FOR HIGH-DIMENSIONAL DEFOCUSING NON-LINEAR SCHRÖDINGER EQUATIONS WITH POTENTIAL TERENCE TAO arxiv:85.1544v2 [math.ap] 28 May 28 Abstract. We study the asymptotic behavior of

More information

MULTILINEAR SQUARE FUNCTIONS AND MULTIPLE WEIGHTS

MULTILINEAR SQUARE FUNCTIONS AND MULTIPLE WEIGHTS MULTILINEA SUAE FUNCTIONS AND MULTIPLE WEIGHTS LOUKAS GAFAKOS, PAASA MOHANTY and SAUABH SHIVASTAVA Abstract In this paper we prove weighted estimates for a class of smooth multilinear square functions

More information

CORRIGENDUM: THE SYMPLECTIC SUM FORMULA FOR GROMOV-WITTEN INVARIANTS

CORRIGENDUM: THE SYMPLECTIC SUM FORMULA FOR GROMOV-WITTEN INVARIANTS CORRIGENDUM: THE SYMPLECTIC SUM FORMULA FOR GROMOV-WITTEN INVARIANTS ELENY-NICOLETA IONEL AND THOMAS H. PARKER Abstract. We correct an error and an oversight in [IP]. The sign of the curvature in (8.7)

More information