Ground states for the higher order dispersion managed NLS equation in the absence of average dispersion
|
|
- Lionel Golden
- 5 years ago
- Views:
Transcription
1 Ground states for the higher order dispersion managed NLS equation in the absence of average dispersion Markus Kunze, Jamison Moeser & Vadim Zharnitsky 3 Universität Essen, FB 6 Mathematik, D Essen, Germany Department of Applied Mathematics, University of Colorado, Boulder, CO , USA Phone : Fax : moeser@colorado.edu 3 Department of Mathematics, University of Illinois at Urbana-Champaign, 49 W. Green Street, Urbana, IL 68, USA Abstract The problem of existence of ground states in higher order dispersion managed NLS equation is considered. The ground states are stationary solutions to dispersive equations with nonlocal nonlinearity which arise as averaging approximations in the context of strong dispersion management in optical communications. The main result of this note states that the averaged equation possesses ground state solutions in the practically and conceptually important case of the vanishing residual dispersions. Introduction Over the past ten years, certain nonlinear dispersive equations with nonlocal nonlinearity have arisen in the context of optical communications and have become the subject of intense numerical and analytical study [5,,,, 8, 9, ]. In general, these equations are of the form where H(u = α u t = i H(u ( u x 4 T (tu 4 dxdt, ( denotes the Frechét derivative of the Hamiltonian H, and T denotes the solution operator for the linear dispersive equation M iu t = β m (t( i x m u, (3 m=
2 where the coefficients β m (t are piecewise constant and periodic with zero mean. Such equations arise naturally as averaging approximations to the nonlinear dispersive equations that model pulse propagation in dispersion managed (DM optical fibers [5,, ], and a question of great interest has been the existence and stability of solitary wave solutions. The first work in this direction was done for the case M =, which in optical communications is known as conventional dispersion management. It was shown that when α >, the Hamiltonian H possesses a ground state in H = H (; C [, 8]. A natural extension of this work was to study the variational problem with α =. This problem, while interesting from an analytical point of view, is also important physically, as certain physical effects that are destabilizing to pulse propagation in an optical fiber are minimized in the regime α. [8, ]. Due to Strichartz-type estimates for solutions of linear dispersive equations [7], the corresponding Hamiltonian is bounded from below in L = L (; C. However, loss of compactness of a minimizing sequence could have become a problem, due to potential loss of control on derivatives. Nevertheless, this variational problem was analyzed successfully in [9], where it was shown that vanishing and splitting of the minimizing sequence (in the language of concentration compactness [] is not possible in both Fourier and physical space. Hence the problem is essentially localized in Fourier and in physical space (up to L -errors which are controlled, and therefore one is back to the classical situation where Sobolev s embedding theorem can be applied. As a result, the minimizing sequence converged to a ground state, strongly in L. ecent advances in manufacture techniques have made it possible to extend dispersion management to higher order dispersion, and for such a system the appropriate averaged equation is again of the form in (, (, (3, but with M = 3. Analysis of the type in [] was carried out for the case α >, yielding ground states in H = H (; C []. Two natural questions come to mind when considering this case. First, can one extend the analysis for α = to this equation, and second, is it possible to further extend the analysis to cases of arbitrarily high order dispersion management (M > 3? In this paper, we will show that the answer to these questions is affirmative, using the method in [9]. We will also use a technical simplification of the method from [9], relying on a certain multilinear estimate, which was suggested by an anonymous referee of that paper. We will discuss compensation of both even and odd orders without lower order terms, and furthermore mixed cases up to order three. The linear part of the equation has the general form (3. To simplify the exposition, we will assume that all β m are periodic step-functions, more precisely that β m (t = β m (t +, β m (t = b m for t (,, and β m (t = b m for t (, hold. Considering the more general case with β m being general piecewise constant mean-zero periodic functions does not create any new difficulties, but makes the derivations more cumbersome. In this (symmetric case and with zero average dispersion, α =, the Hamiltonian functional of the averaged equation reduces to H(u = T (tu 4 dxdt, (4 where we have used that the integral over the period (, is equal to the double value of the integral over (,. In (4 we denoted by T (t the solution operator of the general equation iu t = M b m ( i x m u, (5 m= which is the above linear equation (3 for t (,, and therefore with constant coefficients. Furthermore, T m (t stands for the solution operator of the linear equation with the single dispersion
3 term m x, i.e., u(t, x = (T m (tu (x solves iu t = ( i x m u (6 with initial data u(, x = u (x. Our first main result concerns the pure higher order dispersion case. Theorem. Let m 3 and T m (t be defined via (6. Then the minimization problem { } P,m = inf ϕ m (u : u L, u dx = <, (7 with the functional ϕ m given by possesses a solution u L. ϕ m (u = (T m (tu(x 4 dxdt, u L, (8 Note that the functional H from (4 has been renamed to ϕ m to allow for an easier comparison with [9], which our strategy of proof follows; we will also use the simplification mentioned above. The main new technical problem compared to [9] results from the fact that in the case m 3 the functional ϕ m is no longer invariant under rotations, i.e., in general ϕ m (e iax u ϕ m (u for a. Stated differently, ϕ m is not invariant under translations of the Fourier transform. The latter property was important in [9], since it allowed us to re-center those minimal sequences which are localized in Fourier space, but whose centers move off to infinity. Due to the lack of invariance of the functional ϕ m a new argument had to be found. It turned out, however, that the loss of invariance was beneficial for the construction of a minimizing sequence, as the sequences whose centers move to infinity could be shown to be not minimizing, see Lemma.5 below. We prove the theorem in Section by taking any minimizing sequence and constructing a strongly converging subsequence (up to translation of the original sequence. The first step is to show, in Section., that there is a subsequence which is tight in the Fourier domain. Then we will verify in Section. that there is yet another subsequence which (up to translation is also tight in physical space, from which the strong convergence in L follows. For the mixed cases up to third order we could obtain a similar result, which in particular yields the existence of a ground state in the motivating problem that was described above. Theorem. Let T (t denote the solution operator of the equation Then the minimization problem with the functional ϕ given by has a solution u L. iu t = b xu + ib 3 3 xu, where b, b 3. P = inf ϕ(u = { } ϕ(u : u L, u dx = <, (T (tu(x 4 dxdt, u L, (9 emark.3 Note, that the case b 3 =, b has been treated in [9] and the case b 3, b = follows from Theorem.. Up to some technical differences the proof of Theorem. naturally is quite similar to the proof of Theorem.; it will be carried out in Section 3. 3
4 Proof of Theorem.. Tightness of minimizing sequences in the Fourier domain In this section we establish the tightness of every minimizing sequence in Fourier space, up to selection of a subsequence; see (3 in Corollary.8 below for the notion of tightness we are using. From (6 we obtain the representation (T m (tu(x = e i(xξ tξmû(ξ dξ, ( where here and henceforth for simplicity all π-factors in the Fourier transforms are dropped, so that we have û(ξ = e iξx u(x dx. A basic related Strichartz-type estimate is T m ( u L (m+ tx ( C u L, u L, ( see [7] or [9, 5.9(b, p. 369] with n =, φ(ξ = ξ m, k = m, q = (m +, and α =. The following lemma states a certain refined multilinear estimate related to T m. The usefulness of such type of estimates was explained to the first author by an anonymous referee of [9], who also outlined its application (see Lemmas.3 and.4 below; this help is gratefully acknowledged. In spirit, Lemma. is similar to e.g. [6] or [3, Lemma.], where refinements of Strichartz estimates are discussed. We remark that we did not try to optimize the decay power q(m in (; for our purposes it is sufficient to obtain some q(m >. Lemma. There exists a constant C > such that (T m ( u(t m ( v L tx ([,] Cdist(I, J q(m u L v L ( for all functions u, v L such that û and ˆv are supported in disjoint intervals I and J, respectively, which are at positive distance. For m the function q(m > is defined by q(m = { m : m is even 6 : m is odd. (3 Proof : Without loss of generality we may assume that I lies to the left of J. Denoting a = sup I and b = inf J thus dist(i, J = b a >. Writing u(t = T m (tu and v(t = T m (tv we have from Parseval s identity (T m ( u(t m ( v L tx ([,] = u(t, x v(t, x [,] (t dxdt = Φ(τ, ξg(τ, ξ dξdτ, with Φ = F(uv, G = F(ū v [,] (t, and F denoting the space-time Fourier transform. In view of ( thus Φ(τ, ξ = e i(τt+ξx u(t, xv(t, x dxdt = û(ξ ˆv(ξ δ (τ + ξ m + ξ m δ (ξ ξ ξ dξ dξ. 4
5 Consequently, the representation (T m ( u(t m ( v L tx ([,] = is obtained. Now we consider separately the two different cases. û(ξ ˆv(ξ G( ξ m ξ m, ξ + ξ dξ dξ (4 Case : m is even. Here we can use a well-know argument which relies on the gain which is obtained by introducing a suitable transformation. For this we let η = (η, η = ( ξ m ξ m, ξ +ξ, dη dη = m ξ m ξ m dξ dξ, to get from (4 and Hölder s inequality (T m ( u(t m ( v L tx ([,] dη dη C û(ξ (η ˆv(ξ (η G(η, η ξ (η m ξ (η m ( C û(ξ (η ˆv(ξ (η dη dη / ξ (η m ξ (η m G L τξ ( C û(ξ ˆv(ξ dξ dξ / ξ m ξ m G L τξ C(b m a m / u L v L G L τξ. Since m is odd, b m a m C(b a m = C dist(i, J m, cf. Lemma.(i below. Observing G L = uv [,] (t τξ L = (T m ( u(t m ( v tx L tx ([,], we thus obtain ( for even m. Case : m is odd, m = n +. First we are going to argue that without loss of generality we can assume that b a. Indeed, Hölder s inequality, the elementary inequality z 4 ε z + ε (m z (m+ with ε = u L, and ( yield (T m ( u(t m ( v L tx ([,] T m ( u L 4 tx ([,] T m( v L 4 tx ([,] /4 C (ε u L dt + ε (m u (m+ L (ε C u L v L ; v L dt + ε (m v (m+ L /4 observe that (Tm (tu(ξ = e itξm û(ξ, whence T m (t preserves all H s -norms. Thus if b a, then we can produce any factor (b a q = dist(i, J q on the right-hand side. Therefore we will suppose in the sequel that b a. Inserting the factor ξ m ξ m /3+/3 in (4, Hölder s inequality leads to ( (T m ( u(t m ( v L tx ([,] C ( û(ξ 3/ ˆv(ξ 3/ ξ m ξ m / dξ dξ /3 ξ m ξ m G( ξ m ξ m, ξ + ξ 3 dξ dξ /3 5
6 ( C I ( J û(ξ 3/ ˆv(ξ 3/ ξ n ξ n / dξ dξ G(η, η 3 dη dη /3, /3 where in the last step we have again used the transformation (η, η = ( ξ m ξ m, ξ + ξ. To bound the first term, we note that for ξ J and ξ I the estimate ξ n ξ n = (ξ ξ ((ξ n + (ξ n ξ ξ (ξ n + (ξ n ( ξ ξ ξ + ξ ξ (n + ξ (n C(b a ξ + ξ follows from b a, see Lemma.(ii. Therefore the Hardy-Littlewood-Sobolev inequality [7, p. 3] implies ( (T m ( u(t m ( v L tx ([,] C dist(i, J /3 û(ξ 3/ ˆv(ξ 3/ /3 dξ ξ + ξ / dξ G L 3 τξ C dist(i, J /3 û 3/ /3 ˆv 3/ /3 L 4/3 L 4/3 G L 3 τξ C dist(i, J /3 u L v L G L 3. (5 τξ Thus it remains to estimate G L 3 τξ. For this purpose, we note that G L 3 = F(ū v [,] (t τξ L 3 C ū v [,] (t 3/ τξ L tx ( /3 ( C u(t, x 3 dxdt ( = C /3 u(t, x 3/ v(t, x 3/ dxdt v(t, x 3 dxdt /3. (6 Using the elementary inequality z 3 ε z + ε m z (m+ with ε = u L similarly as before u(t, x 3 dxdt C (ε u L dt + ε m u (m+ L C u 3 L. and (, we get Thus ( follows from (5 and (6. This completes the proof of Lemma.. The following technical lemma has been needed in the above proof. Lemma. (i Let n N be odd. Then b n a n n (b a n for every a, b with b a. (ii Let k N. There exists a constant C > such that whenever a, b with b a, then ξ a and ξ b implies ξ k + ξ k C. Proof : (i We have b n a n = n b a xn dx. If b a, then b a xn dx b a x n dx = n (b a n. If b a and b + a, then b a xn dx = (b a/ x n dx + b a (b a/ xn dx (b a/ x n dx+ (b a/ x n dx = (b a/ a a (b a/ xn dx = n n (b a n. If b a and b+a, then b a xn dx = (b a/ x n dx + b a (b a/ xn dx b (b a/ xn dx + b (b a/ xn dx = 6
7 (b a/ (b a/ xn dx = n n (b a n. The last case a b is symmetric to b a. (ii If b a, then b + a, whence ξ k + ξ k b k. If b a and a /, then ξ k +ξ k a k k. If b a and a /, then b +a /, thus ξ k +ξ k b k k. Finally, if a b, then a = a b yields ξ k + ξ k a k. Next we need to establish yet another technical lemma; recall (7 for the definition of P,m. Lemma.3 There exists a constant C > with the following property. Let ε >, N N, and u L with u L = be given and choose a < b such that a û(ξ dξ = ε/ = û(ξ dξ. b Then T m ( u L 4 tx ([,] [( P,m ( ε + C N q(m (b a + C N q(m ] /4 + C N /, q(m (b a q(m with q(m > from (3. Proof : For a fixed u as in the assumption we divide the interval [a, b] into N subintervals of equal length (b a/n. Then there must be one of the N subintervals, denoted [a, b ], such that b a û(ξ dξ N. We introduce u l, u, u r L through û l = ],a [ û, û = [a,b ] û, and û r = ]b, [ û. It follow that u = u l + u + u r and moreover that Furthermore, u L = û L = b a û(ξ dξ N. = a û(ξ dξ û(ξ dξ = u l L a û(ξ dξ = ε. In summary, taking into account the analogous bounds on u r L, we have shown that u L N /, ε/ ul L, and ε/ u r L. In addition, we also have hence u l L + u r L = a û(ξ dξ + b û(ξ dξ û(ξ dξ =, u l 4 L + u r 4 L u l L u r L ε. Since the supports of û l and û r have distance at least b a = (b a/n, Lemma. implies T m (tu l T m (tu r dxdt CN q (b a q u l L u r L CN q (b a q, 7
8 where q = q(m. On the other hand, by definition of P,m we also have T m (tu l 4 dxdt ( P,m u l 4 L C, and analogously From Hölder s inequality we thus deduce ( T m (tu l 3 T m (tu r dxdt T m (tu r 4 dxdt ( P,m u r 4 L C. CN q (b a q, / ( T m (tu l 4 dxdt / T m (tu l T m (tu r dxdt and the same estimate is obtained if the roles of u l and u r are exchanged. Expanding T m (t(u l + u r 4 = T m (tu l T m (tu l 3 T m (tu r + 6 T m (tu l T m (tu r + 4 T m (tu l T m (tu r 3 + T m (tu r 4 and invoking the above estimates, it follows that T m (t(u l + u r 4 dxdt ( P,m ( u l 4L + u r 4L + CN q q CN (b a q + (b a q ( P,m ( ε + CN q q CN (b a q + (b a q. If we finally take into account T m (tu 4 dxdt ( P,m u 4 L CN, then the triangle inequality T m ( u L 4 tx ([,] T m( (u l + u r L 4 tx ([,] + T m( u L 4 tx ([,] completes the proof of the lemma. The next lemma is a useful consequence of Lemma.3. Lemma.4 For every ε > there exist δ = δ ε > and = ε > with the following property. If u L satisfies u L = and ϕ(u P,m + δ, and if a < b are such that a û(ξ dξ = ε/ = û(ξ dξ, then b a. b Proof : Denote C > the constant from Lemma.3, and for given ε > set { and = max N, δ = P,m ε 8 ( 6C N q(m P,m ε /q(m }, where N = N ε is introduced in (7 below. If u L satisfies u L = and ϕ(u P,m + δ, and if a < b are such that a û(ξ dξ = ε/ = û(ξ dξ, then b a > cannot occur. Indeed, b if b a >, then Lemma.3 would yield [ ] ( P,m ( ε /4 = [ P,m δ] /4 [ ϕ(u] /4 = T ( u 8 L 4 tx ([,] ( ε + C N q(m [ ( P,m 8 q(m + C N q(m q(m ] /4 + C N /
9 for every N N. If we select N = N ε N such that [ ] C N / ( P,m ( ε /4 [ ] /4, ( P,m ( ε (7 8 4 then we obtain by definition of the contradiction ( P,m ε 4 C N q(m + C N q(m q(m q(m Hence we must in fact have b a. C N q(m q(m ( P,m ε 8. After this preparation we can take the main step towards finding a minimizing sequence which is tight in the Fourier domain. Lemma.5 Let m 3 and (u j be any minimizing sequence for P,m. Then there exist a subsequence (which is not relabelled and ξ j for j N such that the following holds: (a sup j N ξ j <, and (b for every ε > there is = ε > and j ε N so that û j dξ ε, j j ε. ξ ξ j < Proof : For a fixed sequence ε k we choose δ k = δ εk and k = εk correspondingly by means of Lemma.4. Since (u j is a minimizing sequence for P,m, it follows from ϕ(u j P,m that for every k N there is j k N such that ϕ(u j P,m +δ k for j j k. Passing to a subsequence if necessary we therefore may assume ϕ(u j P,m + δ k for j k. Let us start by fixing j =. We first select a ( < b ( such that a ( b ( û dξ = ε / = û dξ. Since ϕ(u P,m + δ, we obtain from Lemma.4 that b ( a (. Denoting ξ = (a ( + b ( / the center of the interval [a (, b ( ξ ξ < û dξ = ξ + ξ ], it follows that û dξ b ( a ( û dξ = ε. The next step is to fix j = and to consider u. First we choose a ( < b ( with the property that a ( û dξ = ε / = b ( û dξ. Due to ϕ(u P,m + δ, Lemma.4 yields b ( a (. Next we select a ( < a ( and b ( > b ( such that a ( û dξ = ε / = û dξ. Then ϕ(u P,m + δ in conjunction with Lemma.4 implies b ( a (. We denote ξ = (a ( + b ( / the center of the interval [a (, b ( ]. Then b ( a ( implies ξ + b ( as well as ξ a (, whence ξ ξ < û dξ = ξ + ξ û dξ b ( a ( û dξ = ε. b ( 9
10 In addition, we also have ξ a ( a (, thus ξ + a ( + b (, and similarly ξ b ( b ( yields ξ b ( a (. Therefore ξ ξ < û dξ = ξ + ξ û dξ b ( a ( û dξ = ε. This procedure can be continued inductively to yield a sequence (ξ j such that ξ ξ j < k û j dξ ε k, k j, holds. Then (b is satisfied, since given ε > we may choose k N with ε k ε and set = k and j ε = k. Then j j ε = k implies û j dξ = û j dξ ε k ε, ξ ξ j < ξ ξ j < k as was to be shown. Consequently, it remains to prove the boundedness of (ξ j. To do so, we can assume that on the contrary there is a subsequence (not relabelled such that ξ j ; the case that ξ j along a subsequence can be handled similarly. Now we fix ε > and choose = ε > and j ε N according to (b. Then we decompose û j = ˆv j + ŵ j, with ˆv j = [ξj, ξ j +] û j, j j ε. Hence a Lipschitz estimate for ϕ m, analogous to [9, (.5], in conjunction with u j L Lemma.6 below yields for j N sufficiently large, = and ϕ m (u j ϕ m (u j ϕ m (v j + ϕ m (v j C ( u j 3L + v j 3L u j v j L + Cξ (m /3 j v j 4 L C ŵ j L + Cξ (m /3 j ( = C ξ ξ j > ( / = C û j (ξ dξ + Cξ (m /3 j ξ ξ j < / û j (ξ dξ + Cξ (m /3 C ε + Cξ (m /3 j. Taking the limit j, this and the fact that (u j is a minimizing sequence gives P,m C ε for all ε >, whence P,m =. However, similar to [9, Lemma.5] one can show that P,m <, which gives a contradiction. Hence we conclude that indeed (ξ j must be bounded. We add two more technical results that have been used before. Lemma.6 Let m 3 and ϕ m be defined as in (8. If u L is such that supp(û [ξ, ξ +] for some ξ max{, } >, then ϕ m (u Cξ (m /3 u 4 L. j
11 Proof : From ( we recall (T m (tu(x = ei(xξ tξmû(ξ dξ. By integrating out dt dx, it thus follows that ϕ m (u = T m (tu 4 dxdt =... dξ... dξ 4 û(ξ û(ξ û(ξ 3 û(ξ 4 δ (ξ ξ + ξ 3 ξ 4 ( i α ( e iα, where α = α(ξ,..., ξ 4 = ξ m ξ m + ξ3 m ξ4 m. Therefore we obtain with ϕ m (u = C dξ dξ dξ 3 û(ξ û(ξ û(ξ 3 û(ξ ξ + ξ 3 ( i β ( e iβ dξ dξ dξ 3 û(ξ û(ξ û(ξ 3 û(ξ ξ + ξ 3 + β, (8 β = β(ξ, ξ, ξ 3 = ξ m ξ m + ξ m 3 (ξ ξ + ξ 3 m, and we used that ( β eiβ C( + β. Case : m is even. We fix δ ], ] and perform an argument like in [9, Lemma.]. (i On the set where ξ ξ δ we get from Young s inequality, cf. [6, Cor. 4.5.], and with g( (ξ := g( ξ dξ dξ dξ 3 { ξ ξ δ} û(ξ û(ξ û(ξ 3 û(ξ ξ + ξ 3 + β dξ dη dξ 3 { η δ} û(ξ û(ξ η û(ξ 3 û(η + ξ 3 C û û( δ C u 4 L L δ. (9 (ii On the set where ξ ξ 3 δ, we obtain in the same manner dξ dξ dξ 3 { ξ ξ 3 δ} û(ξ û(ξ û(ξ 3 û(ξ ξ + ξ 3 + β C u 4 L δ. ( (iii Now we consider the case that ξ ξ δ and ξ ξ 3 δ. Due to (8 we can always restrict our attention to ξ, ξ, ξ 3 supp(û, whence ξ, ξ, ξ 3 ξ ξ / by assumption. Accordingly, by Lemma.7(a below we can estimate for an appropriate η >, + β(ξ, ξ, ξ 3 ξ ξ ξ ξ 3 β m (ξ, ξ, ξ 3 η ξ ξ ξ ξ 3 ( ξ m + ξ m + ξ 3 m 3 (m η ξ m ξ ξ ξ ξ 3 (3/δ (m η ξ m ( + ξ ξ ξ ξ 3. It follows that dξ dξ dξ 3 { ξ ξ δ, ξ ξ 3 δ} û(ξ û(ξ û(ξ 3 û(ξ ξ + ξ 3 Cδ ξ (m dξ dξ dξ 3 û(ξ û(ξ û(ξ 3 û(ξ ξ + ξ 3 Cδ ξ (m u 4 L, + β + ξ ξ ξ ξ 3 (
12 where for the last estimate one can for instance use the bound obtained from [9, (.3], with δ = and A = there, also noting that ˆΓ(A u L for every A > and moreover that now Φ û gives Φ L u L rather than Φ L C u 3 L, as we had in [9]. By (8, and summarizing (9, (, and (, we see that ( ϕ m (u C δ + δ ξ (m u 4 L Cξ (m /3 u 4 L, where we have chosen the optimal δ = ξ (m /3. Case : m is odd. In principle we follow the same lines as before. Now we use Lemma.7(b below to obtain + β(ξ, ξ, ξ 3 ξ ξ ξ ξ 3 ξ + ξ 3 β m 3 (ξ, ξ, ξ 3 η ξ ξ ξ ξ 3 ξ + ξ 3 ( ξ m 3 + ξ m 3 + ξ 3 m 3. Thus if ξ, ξ, ξ 3 ξ ξ /, then ξ + ξ 3 = ξ + ξ 3 ξ, and ξ ξ, ξ ξ 3 δ yields + β(ξ, ξ, ξ 3 3 (m 3 η ξ m ξ ξ ξ ξ 3 (3/δ (m 3 η ξ m ( + ξ ξ ξ ξ 3. Hence the preceding argument can be applied once more. Lemma.7 Let m N and β(x, y, z = x m y m + z m (x y + z m, x, y, z. (a If m is even, then we can write β(x, y, z = (x y(y zβ m (x, y, z with a polynomial β m of degree m such that β m (x, y, z η ( x m + y m + z m for some η > and all x, y, z. (b If m 3 is odd, then we have β(x, y, z = (x y(y z(x + zβ m 3 (x, y, z, where β m 3 is a polynomial of degree m 3 so that β m 3 (x, y, z η ( x m 3 + y m 3 + z m 3 holds for some η > and all x, y, z. Proof : (a We can assume that m 4. First we show that β(x, y, z = implies x = y or y = z. For this purpose we fix y z and consider the function f(x = β(x, y, z. Then f(y = and moreover f (x = mx m m(x y + z m for x. Since (m is even, u u m is one-to-one on. Hence it follows that f (x for x, i.e., f is either strictly increasing of strictly decreasing. In both cases we obtain f(x for x y as claimed, and this leads to β(x, y, z = (x y k (y z l B(x, y, z for some maximal k, l N and a polynomial B of degree (m k l. Differentiating both sides w.r. to x yields mx m m(x y + z m = (x y k (y z l [(x y x B + kb] for all x, y, z. Thus if k, then x = y enforces mx m mz m = for all x, z, which is impossible. It follows that k =, and similarly l =, so that we obtain β(x, y, z = (x y(y zβ m (x, y, z, where β m is a polynomial of degree m. Next we claim that β m (x, y, z = = x = y = z =. ( Indeed, if β m (x, y, z =, then also β(x, y, z =, and consequently x = y or y = z. Assuming y z we can further factor β m (x, y, z = (x x β m (x, y, z for x,
13 so that β(x, y, z = (x y (y z β m (x, y, z = (x y (y z β m (x, y, z due to x = y. Differentiating the original form of β w.r. to x we see that m(x m (x y + z m = (x y (y z [(x y x βm + β m ] for x, which at x = x = y yields m(x m z m =. Hence the contradiction y = x = z is found. Therefore we have seen that in fact β m (x, y, z = implies x = y = z. Differentiating β(x, y, z = (x y(y zβ m (x, y, z w.r. to x and y, we get m(m (x y + z m = (x y(y z xyβ m + (x y + z x β m + (y z y β m + β m. At x = y = z, this gives m(m z m =, i.e., ( holds. Thus we must have the estimate β m (x, y, z η ( x m + y m + z m for some constant η > and all x, y, z. Otherwise there would exist sequences (x j, (y j, (z j and η j + such that β m (x j, y j, z j < η j ( x j m + y j m + z j m for all j N. If we assume w.l.o.g that < z j = max{ x j, y j, z j } and define x j = x j / z j, ỹ j = y j / z j, and z j = z j / z j, then x j, ỹ j = z j, so that we can suppose that x j x, ỹ j y, and z j z as j, where z =. But β(x, y, z = (x y(y zβ m (x, y, z shows that β m is homogeneous of degree m, thus as j β m (x, y, z β m ( x j, ỹ j, z j = z j (m β m (x j, y j, z j < z j (m η j ( x j m + y j m + z j m 3η j, j. We hence obtain β m (x, y, z =, which however contradicts ( in view of z =. (b The proof of (b can be carried out along similar lines as in (a, so we do not expand the details. Finally we are in the position to show that any minimizing sequence is (up to a subsequence tight in Fourier space. Corollary.8 Let m 3 and (u j be any minimizing sequence for P,m. Then there exists a subsequence (which is not relabelled such that the following holds: For every ε > there is = ε > and j ε N so that û j dξ ε, j j ε. (3 Proof : Let the subsequence of (u j be chosen as in Lemma.5, and let = sup j N ξ j. If ε > is given, then we set ε = + ε > and j ε = j ε N, where ε and j ε are selected corresponding to ε by means of Lemma.5. Then [ξ j ε, ξ j + ε ] [ ε, ε ] implies ε ε û j dξ ξ ξ j < ε û j dξ ε for j j ε.. Tightness in physical space and convergence In the previous section, we have shown that any minimizing sequence possesses a subsequence which is tight in Fourier space. Now, we will prove that there is yet another subsequence which (up to translation will be tight in x-space, leading to the strong convergence (in L to a minimizer. The proofs in this section are rather similar to the ones in [9], and therefore we provide details only when necessary. We first prove one estimate which will be used to rule out the alternatives vanishing and splitting in the concentration compactness lemma. Since this part of the argument does not rely on the pure higher order dispersion form, we will more generally consider T (t defined via (5, instead of T m (t as obtained from (6. 3
14 Lemma.9 Let T (t be the solution operator associated to (5. If u H M = H M (; C, A >, and t, then A A T (tu dx A A u dx + CA t u H M. Proof : Let u(t, x = (T (tu(x. From the equation (5 we obtain ( t ( u = e(ūu t = Im ū M m= b m ( i x m u. Thus if we choose a function ζ C ( with values in [, ] such that ζ(x = for x A, ζ(x = for x A, and ζ L ( CA, then is follows with I(t = ζ(x u(t, x dx that Now ζū x m u dx = I(t = M m= b m Im (( i m ζū x m u dx. [ζ ū + ζ( x ū] x m u dx =: J (t ζ( x ū x m u dx, where J (t CA u(t L u(t H M CA u H ; for the latter estimate, note that M û(t(ξ = e it(p M m= b mξ mû(ξ, whence u(t H s = u H s for s. Then we may continue ζū x m u dx = J (t + [ζ ( x ū + ζ( xū] x m u dx =: J (t + J (t + ζ( xū x m u dx, where again J (t CA u H. Thus the repeated application of this procedure finally yields M ζū x m u dx = J(t + ( m ζ( x m ūu dx, with J(t CA u H M. Therefore I(t = M m= b m Im (( i m ζū x m u dx = leads to I(t CA u H M. Hence for t, A A T (tu dx which implies the required estimate. ζ u(t dx = I(t = I( + t M m= I(s ds ( b m Im ( i m J(t ζ u dx + CA t u H M, Following the lines of [9, Lemma.7], one then establishes the next estimate. Lemma. For u H M, t [, ], and A we have ( x +A T (tu 4 dx C sup u dx + A u H u M H. x x A 4
15 Now, we are ready complete the proof of Theorem.. Our argument varies only slightly from the original one in [9]. From Corollary.8 we already know that by passing to a subsequence of any minimizing sequence (u j, we may assume that (û j is tight, in the sense of (3. Then the concentration compactness lemma is applied to (u j, see [] or [9, Lemma 3.] for the form which is to be used here. This leads to three alternatives for (a further subsequence of the sequence (u j, namely tightness, vanishing, or splitting. In the first case one can follow the reasoning in [9, Section 4..] to prove that (u j has a strong limit in L, which then yields the desired minimizer for P,m. This argument only relies on the shift invariance ϕ m (u( + x = ϕ m (u, which holds here, since (T (tu( + x (x = (T (tu(x + x is a consequence of the fact that both sides have Fourier transform e ix ξ it( P M m= b mξ mû(ξ. Finally, to rule out vanishing one can just copy the argument given in [9, Section 4..] using Lemma., and that splitting is impossible may be verified as in [9, Section 4..3]. 3 Proof of Theorem. Given the similarity of Theorem. to Theorem., we do only point out which modifications are necessary to carry through the argument elaborated in Section. Lemma. has to be replaced by the following Lemma 3. There exists a constant C > such that (T ( u(t ( v L tx ([,] Cdist(I, J /6 u L v L for all functions u, v L such that û and ˆv are supported in disjoint intervals I and J, respectively, which are at positive distance. Proof : The relation u(t, x = (T (tu(x = e ixξ e it(b ξ +b 3 ξ 3û(ξ dξ (4 yields, in the notation of Lemma., Φ(τ, ξ = û(ξ ˆv(ξ δ (τ + σ(ξ + σ(ξ δ (ξ ξ ξ dξ dξ, whence (T ( u(t ( v L tx ([,] = û(ξ ˆv(ξ G( σ(ξ σ(ξ, ξ + ξ dξ dξ, where σ(ξ = b ξ + b 3 ξ 3. Then we proceed as in Lemma. in the Case (m odd and insert the factor σ (ξ σ (ξ /3+/3 into the integral. To estimate the second resulting term ( /3, = σ (ξ σ (ξ G( σ(ξ σ(ξ, ξ + ξ 3 dξ dξ we introduce the transformation (η, η = ( σ(ξ σ(ξ, ξ +ξ, which leads to C G L 3 τξ C u L v L as before. For the first resulting term ( û(ξ 3/ ˆv(ξ 3/ /3 = I J σ (ξ σ (ξ dξ dξ /, 5
16 we observe that σ (ξ σ (ξ = 3b 3 (ξ ξ + b (ξ ξ = ξ ξ 3b 3 (ξ + ξ + b C(b a ξ + ξ + γ for ξ I and ξ J, with γ = b /(3b 3. Then in the subsequent application of the Hardy-Littlewood-Sobolev inequality the constant γ can be absorbed through e.g. the transformation (η, η = (ξ, ξ + γ. Hence it is found that (T ( u(t ( v L tx ([,] C Cdist(I, J /3 u L v L, as before. The only other place in Section. where the particular form σ(ξ = ξ m of the dispersion function in the pure higher order dispersion case was used is Lemma.6. Accordingly, we have to derive an appropriate modification for the mixed case considered here, where we have σ(ξ = b ξ + b 3 ξ 3. Lemma 3. Let ϕ be given by (9. If u L is such that supp(û [ξ, ξ + ] for some ξ max{,, b / b 3 } >, then ϕ(u Cξ /3 u 4 L. Proof : From (4 one deduces in analogy to (8, ϕ(u C dξ dξ dξ 3 û(ξ û(ξ û(ξ 3 û(ξ ξ + ξ 3 + β, where β = β(ξ, ξ, ξ 3 = σ(ξ σ(ξ + σ(ξ 3 σ(ξ ξ + ξ 3. With σ(ξ = b ξ + b 3 ξ 3, this is evaluated as ( β = (ξ ξ (ξ ξ 3 b + 3b 3 (ξ + ξ 3, and if ξ ξ, ξ ξ 3 δ and ξ, ξ, ξ 3 ξ ξ / as well as ξ b / b 3, then for δ ], ], ( ( + β ξ ξ ξ ξ 3 3 b 3 (ξ + ξ 3 b ξ ξ ξ ξ 3 3 b 3 ξ b b 3 ξ ξ ξ ξ 3 ξ δ b 3 ( + ξ ξ ξ ξ 3 ξ. Therefore it is clear that the argument from Lemma.6 can be applied to obtain the desired estimate. Since we have seen that the necessary modifications compared to Section. are possible, it follows as in Corollary.8 that any minimizing sequence (u j for P has a subsequence (which is not relabelled such that (û j is tight, in the sense of (3. Next we observe that concerning the application of the concentration compactness lemma to (u j in Section., we already established Lemmas.9 and. for the general mixed dispersion case, i.e., for T (t defined via (5. Thus these results in particular are valid in the mixed third order case which is considered here. Hence one can follow the reasoning which is outlined in Section. and elaborated in [9] to complete the proof of Theorem.. 6
17 4 Acknowledgements Part of this research was carried out while V. Zharnitsky was visiting Program in Applied and Computational Mathematics at Princeton University. He would like to thank Ingrid Daubechies for her hospitality and for providing stimulating research environment. V. Zharnitsky was supported by NSF under grant No. DMS-933. J.M. gratefully acknowledges the support of NSF grant DMS eferences [] M.J. Ablowitz, G. Biondini: Multiscale pulse dynamics in communication systems with strong dispersion management, Opt. Lett. 3, 668 (998. [] T. Cazenave: An Introduction to Nonlinear Schrödinger Equations, UFJ io de Janeiro 993, pp [3] J. Colliander, M. Keel, G. Staffilani, H. Takaoka, T. Tao: A refined global well-posedness result for Schrödinger equations with derivative, preprint arxiv:math.ap/6,. [4] L. du Mouza, E. Seve, H. Mardoyn, S. Wabnitz, P. Sillard, P. Nouchi: High-order dispersion managed solitons for dense wavelength-division multiplexed systems, Opt. Lett. 6, 8 (. [5] I. Gabitov, S.K. Turitsyn: Asymptotic breathing pulse in optical communication systems with dispersion compensation, Opt. Lett., 37 (995. [6] L. Hörmander: The Analysis of Linear Partial Differential Operators I: Distribution Theory and Fourier Analysis, Springer, Berlin-New York 99. [7] C.E. Kenig, G. Ponce, L. Vega: Oscillatory integrals and regularity of dispersive equations, Indiana Univ. Math. J. 4, (99. [8] M. Kunze: Bifurcation from the essential spectrum without sign condition on the nonlinearity, Proc. oy. Soc. Edinburgh, Ser. A. 3, (. [9] M. Kunze: On a variational problem with lack of compactness related to the Strichartz inequality, to appear in Calc. Var. Partial Differential Equations. [] P.-L. Lions: The concentration-compactness principle in the calculus of variations. The locally compact case (part, Ann. Inst. Henri Poincaré, 9-45 (984. [] J. Moeser, I. Gabitov, C.K..T. Jones: Pulse stabilization by high order dispersion management, Optics Letters 7(4, 6-8 (. [] J. Moeser, C.K..T. Jones, V. Zharnitsky: Stable pulse solutions for the nonlinear Schrodinger equation with higher order dispersion management, submitted. [3] L.F. Mollenauer, P.V. Mamyshev, J. Gripp, M.J. Neubelt, N. Mamysheva, L. Gruner-Nielsen, T. Veng: Demonstration of massive wavelength-division multiplexing over transoceanic distances by use of dispersion managed solitons, Opt. Lett. 5, 74 (. 7
18 [4] I. Morita, K. Tanaka, N. Edagawa, M. Suzuki: 4 Gb/s single channel soliton transmission over km without active inline transmission control, in Proceedings of the European Conference on Optical Communication (ECOC98 Vol. 3 (998, pp [5] M. Nakazawa, H. Kubota, K. Suzuki, E. Yamada: ecent progress in soliton transmission technology, Chaos, (. [6] T. Ozawa, Y. Tsutsumi: Space-time estimates for null gauge forms and nonlinear Schrödinger equations, Differential Integral Equations, - (998. [7] M. eed, B. Simon: Methods of Modern Mathematical Physics II: Fourier Analysis, Self Adjointness, Academic Press, New York 975. [8] T. Schäfer, E. W. Laedke, M. Gunkel, C. Karle, A. Posth, K. H. Spatschek, S. K. Turitsyn: Optimization of dispersion-managed optical fiber lines, to appear in IEEE J. Light. Tech. (. [9] E.M. Stein: Harmonic Analysis, Princeton University Press, Princeton 993. [] H. Toda, K. Hamada, Y. Furukawa, Y. Kodama, S. Seikai: Experimental Evaluation of Gordon-Haus timing jitter of dispersion managed solitons, in Proceedings of the European Conference on Optical Communication (ECOC99, Vol. (999, pp [] V. Zharnitsky, E. Grenier, C.K..T. Jones, S.K. Turitsyn: Stabilizing effects of dispersion management, Phys. D 5-53, (. 8
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 informationBound-state solutions and well-posedness of the dispersion-managed nonlinear Schrödinger and related equations
Bound-state solutions and well-posedness of the dispersion-managed nonlinear Schrödinger and related equations J. Albert and E. Kahlil University of Oklahoma, Langston University 10th IMACS Conference,
More informationSharp 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 informationSCATTERING 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 informationGlobal 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 informationWell-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 informationDISPERSIVE 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 informationPartial Differential Equations, 2nd Edition, L.C.Evans Chapter 5 Sobolev Spaces
Partial Differential Equations, nd Edition, L.C.Evans Chapter 5 Sobolev Spaces Shih-Hsin Chen, Yung-Hsiang Huang 7.8.3 Abstract In these exercises always denote an open set of with smooth boundary. As
More informationRecent developments on the global behavior to critical nonlinear dispersive equations. Carlos E. Kenig
Recent developments on the global behavior to critical nonlinear dispersive equations Carlos E. Kenig In the last 25 years or so, there has been considerable interest in the study of non-linear partial
More informationStable pulse solutions for the nonlinear Schrödinger equation with higher order dispersion management
Stable pulse solutions for the nonlinear Schrödinger equation with higher order dispersion management Jamison T. Moeser, Christopher K..T. Jones, Vadim Zharnitsky September 11, 3 Abstract The evolution
More informationarxiv:math/ v1 [math.ap] 28 Oct 2005
arxiv:math/050643v [math.ap] 28 Oct 2005 A remark on asymptotic completeness for the critical nonlinear Klein-Gordon equation Hans Lindblad and Avy Soffer University of California at San Diego and Rutgers
More informationANALYTIC 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 informationEnergy 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 informationA 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 informationPiecewise 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 informationBLOWUP 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 informationON 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 informationThe 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 informationSome 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 informationThe 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 informationA 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 informationSYMMETRY IN REARRANGEMENT OPTIMIZATION PROBLEMS
Electronic Journal of Differential Equations, Vol. 2009(2009), No. 149, pp. 1 10. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu SYMMETRY IN REARRANGEMENT
More informationGlobal well-posedness for semi-linear Wave and Schrödinger equations. Slim Ibrahim
Global well-posedness for semi-linear Wave and Schrödinger equations Slim Ibrahim McMaster University, Hamilton ON University of Calgary, April 27th, 2006 1 1 Introduction Nonlinear Wave equation: ( 2
More informationPOINTWISE 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 informationScattering theory for nonlinear Schrödinger equation with inverse square potential
Scattering theory for nonlinear Schrödinger equation with inverse square potential Université Nice Sophia-Antipolis Based on joint work with: Changxing Miao (IAPCM) and Junyong Zhang (BIT) February -6,
More informationLOW REGULARITY GLOBAL WELL-POSEDNESS FOR THE ZAKHAROV AND KLEIN-GORDON-SCHRÖDINGER SYSTEMS
LOW REGULARITY GLOBAL WELL-POSEDNESS FOR THE ZAKHAROV AND KLEIN-GORDON-SCHRÖDINGER SYSTEMS JAMES COLLIANDER, JUSTIN HOLMER, AND NIKOLAOS TZIRAKIS Abstract We prove low-regularity global well-posedness
More informationEXISTENCE OF SOLUTIONS TO ASYMPTOTICALLY PERIODIC SCHRÖDINGER EQUATIONS
Electronic Journal of Differential Equations, Vol. 017 (017), No. 15, pp. 1 7. ISSN: 107-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF SOLUTIONS TO ASYMPTOTICALLY PERIODIC
More informationOn the Cauchy problem of 3-D energy-critical Schrödinger equations with subcritical perturbations
J. Differential Equations 30 (006 4 445 www.elsevier.com/locate/jde On the Cauchy problem of 3-D energy-critical Schrödinger equations with subcritical perturbations Xiaoyi Zhang Academy of Mathematics
More informationMATH 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 informationScattering for cubic-quintic nonlinear Schrödinger equation on R 3
Scattering for cubic-quintic nonlinear Schrödinger equation on R 3 Oana Pocovnicu Princeton University March 9th 2013 Joint work with R. Killip (UCLA), T. Oh (Princeton), M. Vişan (UCLA) SCAPDE UCLA 1
More informationALMOST 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 informationA 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 informationWell-Posedness and Adiabatic Limit for Quantum Zakharov System
Well-Posedness and Adiabatic Limit for Quantum Zakharov System Yung-Fu Fang (joint work with Tsai-Jung Chen, Jun-Ichi Segata, Hsi-Wei Shih, Kuan-Hsiang Wang, Tsung-fang Wu) Department of Mathematics National
More informationSharp Well-posedness Results for the BBM Equation
Sharp Well-posedness Results for the BBM Equation J.L. Bona and N. zvetkov Abstract he regularized long-wave or BBM equation u t + u x + uu x u xxt = was derived as a model for the unidirectional propagation
More informationDaniel M. Oberlin Department of Mathematics, Florida State University. January 2005
PACKING SPHERES AND FRACTAL STRICHARTZ ESTIMATES IN R d FOR d 3 Daniel M. Oberlin Department of Mathematics, Florida State University January 005 Fix a dimension d and for x R d and r > 0, let Sx, r) stand
More information1D Quintic NLS with White Noise Dispersion
2011 年 1 月 7 日 1D Quintic NLS with White Noise Dispersion Yoshio TSUTSUMI, Kyoto University, Arnaud DEBUSSCHE, ENS de Cachan, Bretagne 1D quintic NLS with white noise dispersion idu + xu 2 dβ(t) =λ u 4
More informationDiagonalization of the Coupled-Mode System.
Diagonalization of the Coupled-Mode System. Marina Chugunova joint work with Dmitry Pelinovsky Department of Mathematics, McMaster University, Canada Collaborators: Mason A. Porter, California Institute
More informationCUTOFF 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 informationSCALE 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 informationStability for a class of nonlinear pseudo-differential equations
Stability for a class of nonlinear pseudo-differential equations Michael Frankel Department of Mathematics, Indiana University - Purdue University Indianapolis Indianapolis, IN 46202-3216, USA Victor Roytburd
More informationPARTIAL REGULARITY OF BRENIER SOLUTIONS OF THE MONGE-AMPÈRE EQUATION
PARTIAL REGULARITY OF BRENIER SOLUTIONS OF THE MONGE-AMPÈRE EQUATION ALESSIO FIGALLI AND YOUNG-HEON KIM Abstract. Given Ω, Λ R n two bounded open sets, and f and g two probability densities concentrated
More informationDecay estimates and smoothness for solutions of the dispersion managed non-linear Schrödinger equation
Communications in Mathematical Physics manuscript No. (will be inserted by the editor) Decay estimates and smoothness for solutions of the dispersion managed non-linear Schrödinger equation Dirk Hundertmark,
More informationRANDOM 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 informationNon-radial solutions to a bi-harmonic equation with negative exponent
Non-radial solutions to a bi-harmonic equation with negative exponent Ali Hyder Department of Mathematics, University of British Columbia, Vancouver BC V6TZ2, Canada ali.hyder@math.ubc.ca Juncheng Wei
More informationNUMERICAL SIMULATIONS OF THE ENERGY-SUPERCRITICAL NONLINEAR SCHRÖDINGER EQUATION
Journal of Hyperbolic Differential Equations Vol. 7, No. 2 (2010) 279 296 c World Scientific Publishing Company DOI: 10.1142/S0219891610002104 NUMERICAL SIMULATIONS OF THE ENERGY-SUPERCRITICAL NONLINEAR
More informationSplines which are piecewise solutions of polyharmonic equation
Splines which are piecewise solutions of polyharmonic equation Ognyan Kounchev March 25, 2006 Abstract This paper appeared in Proceedings of the Conference Curves and Surfaces, Chamonix, 1993 1 Introduction
More informationON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 29, 2004, 167 176 ON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES Piotr Haj lasz and Jani Onninen Warsaw University, Institute of Mathematics
More informationGRAND SOBOLEV SPACES AND THEIR APPLICATIONS TO VARIATIONAL PROBLEMS
LE MATEMATICHE Vol. LI (1996) Fasc. II, pp. 335347 GRAND SOBOLEV SPACES AND THEIR APPLICATIONS TO VARIATIONAL PROBLEMS CARLO SBORDONE Dedicated to Professor Francesco Guglielmino on his 7th birthday W
More informationA 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 informationBIHARMONIC WAVE MAPS INTO SPHERES
BIHARMONIC WAVE MAPS INTO SPHERES SEBASTIAN HERR, TOBIAS LAMM, AND ROLAND SCHNAUBELT Abstract. A global weak solution of the biharmonic wave map equation in the energy space for spherical targets is constructed.
More informationarxiv: v3 [math.ap] 1 Sep 2017
arxiv:1603.0685v3 [math.ap] 1 Sep 017 UNIQUE CONTINUATION FOR THE SCHRÖDINGER EQUATION WITH GRADIENT TERM YOUNGWOO KOH AND IHYEOK SEO Abstract. We obtain a unique continuation result for the differential
More informationGLOBAL WELL-POSEDNESS FOR NONLINEAR NONLOCAL CAUCHY PROBLEMS ARISING IN ELASTICITY
Electronic Journal of Differential Equations, Vol. 2017 (2017), No. 55, pp. 1 7. ISSN: 1072-6691. UL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu GLOBAL WELL-POSEDNESS FO NONLINEA NONLOCAL
More informationUniversität des Saarlandes. Fachrichtung 6.1 Mathematik
Universität des Saarlandes U N I V E R S I T A S S A R A V I E N I S S Fachrichtung 6.1 Mathematik Preprint Nr. 155 A posteriori error estimates for stationary slow flows of power-law fluids Michael Bildhauer,
More informationTADAHIRO 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 informationA NOTE ON ZERO SETS OF FRACTIONAL SOBOLEV FUNCTIONS WITH NEGATIVE POWER OF INTEGRABILITY. 1. Introduction
A NOTE ON ZERO SETS OF FRACTIONAL SOBOLEV FUNCTIONS WITH NEGATIVE POWER OF INTEGRABILITY ARMIN SCHIKORRA Abstract. We extend a Poincaré-type inequality for functions with large zero-sets by Jiang and Lin
More information1D Quintic NLS with White Noise Dispersion
2011 年 8 月 8 日 1D Quintic NLS with White Noise Dispersion Yoshio TSUTSUMI, Kyoto University, Arnaud DEBUSSCHE, ENS de Cachan, Bretagne 1D quintic NLS with white noise dispersion idu + xu 2 dβ(t) =λ u 4
More informationA 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 informationarxiv: 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 informationDerivatives of Harmonic Bergman and Bloch Functions on the Ball
Journal of Mathematical Analysis and Applications 26, 1 123 (21) doi:1.16/jmaa.2.7438, available online at http://www.idealibrary.com on Derivatives of Harmonic ergman and loch Functions on the all oo
More informationarxiv: v1 [math.ap] 11 Apr 2011
THE RADIAL DEFOCUSING ENERGY-SUPERCRITICAL CUBIC NONLINEAR WAVE EQUATION IN R +5 arxiv:04.2002v [math.ap] Apr 20 AYNUR BULUT Abstract. In this work, we consider the energy-supercritical defocusing cubic
More informationExact controllability of the superlinear heat equation
Exact controllability of the superlinear heat equation Youjun Xu 1,2, Zhenhai Liu 1 1 School of Mathematical Sciences and Computing Technology, Central South University, Changsha, Hunan 410075, P R China
More informationSHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction
SHARP BOUNDARY TRACE INEQUALITIES GILES AUCHMUTY Abstract. This paper describes sharp inequalities for the trace of Sobolev functions on the boundary of a bounded region R N. The inequalities bound (semi-)norms
More informationON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES
ON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES CLAUS GERHARDT Abstract. We prove that the mean curvature τ of the slices given by a constant mean curvature foliation can be used
More informationDecay in Time of Incompressible Flows
J. math. fluid mech. 5 (23) 231 244 1422-6928/3/3231-14 c 23 Birkhäuser Verlag, Basel DOI 1.17/s21-3-79-1 Journal of Mathematical Fluid Mechanics Decay in Time of Incompressible Flows Heinz-Otto Kreiss,
More informationMath 699 Reading Course, Spring 2007 Rouben Rostamian Homogenization of Differential Equations May 11, 2007 by Alen Agheksanterian
. Introduction Math 699 Reading Course, Spring 007 Rouben Rostamian Homogenization of ifferential Equations May, 007 by Alen Agheksanterian In this brief note, we will use several results from functional
More informationON THE BEHAVIOR OF THE SOLUTION OF THE WAVE EQUATION. 1. Introduction. = u. x 2 j
ON THE BEHAVIO OF THE SOLUTION OF THE WAVE EQUATION HENDA GUNAWAN AND WONO SETYA BUDHI Abstract. We shall here study some properties of the Laplace operator through its imaginary powers, and apply the
More informationMeasurable functions are approximately nice, even if look terrible.
Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............
More informationPOINCARÉ S INEQUALITY AND DIFFUSIVE EVOLUTION EQUATIONS
POINCARÉ S INEQUALITY AND DIFFUSIVE EVOLUTION EQUATIONS CLAYTON BJORLAND AND MARIA E. SCHONBEK Abstract. This paper addresses the question of change of decay rate from exponential to algebraic for diffusive
More informationTHE 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 informationModèles stochastiques pour la propagation dans les fibres optiques
Modèles stochastiques pour la propagation dans les fibres optiques A. de Bouard CMAP, Ecole Polytechnique joint works with R. Belaouar, A. Debussche, M. Gazeau Nonlinear fiber optics in communications
More informationOn the Asymptotic Behavior of Large Radial Data for a Focusing Non-Linear Schrödinger Equation
Dynamics of PDE, Vol.1, No.1, 1-47, 2004 On the Asymptotic Behavior of Large adial Data for a Focusing Non-Linear Schrödinger Equation Terence Tao Communicated by Charles Li, received December 15, 2003.
More informationThe Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:
Oct. 1 The Dirichlet s P rinciple In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation: 1. Dirichlet s Principle. u = in, u = g on. ( 1 ) If we multiply
More informationarxiv: v1 [math.ap] 28 Mar 2014
GROUNDSTATES OF NONLINEAR CHOQUARD EQUATIONS: HARDY-LITTLEWOOD-SOBOLEV CRITICAL EXPONENT VITALY MOROZ AND JEAN VAN SCHAFTINGEN arxiv:1403.7414v1 [math.ap] 28 Mar 2014 Abstract. We consider nonlinear Choquard
More informationOBSERVABILITY INEQUALITY AND DECAY RATE FOR WAVE EQUATIONS WITH NONLINEAR BOUNDARY CONDITIONS
Electronic Journal of Differential Equations, Vol. 27 (27, No. 6, pp. 2. ISSN: 72-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu OBSERVABILITY INEQUALITY AND DECAY RATE FOR WAVE EQUATIONS
More informationNonlinear Modulational Instability of Dispersive PDE Models
Nonlinear Modulational Instability of Dispersive PDE Models Jiayin Jin, Shasha Liao, and Zhiwu Lin Georgia Tech ICERM workshop on water waves, 4/28/2017 Jiayin Jin, Shasha Liao, and Zhiwu Lin Georgia Tech
More informationMeasure and Integration: Solutions of CW2
Measure and Integration: s of CW2 Fall 206 [G. Holzegel] December 9, 206 Problem of Sheet 5 a) Left (f n ) and (g n ) be sequences of integrable functions with f n (x) f (x) and g n (x) g (x) for almost
More informationVariational Theory of Solitons for a Higher Order Generalized Camassa-Holm Equation
International Journal of Mathematical Analysis Vol. 11, 2017, no. 21, 1007-1018 HIKAI Ltd, www.m-hikari.com https://doi.org/10.12988/ijma.2017.710141 Variational Theory of Solitons for a Higher Order Generalized
More informationSELF-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 informationGROUND STATE SOLUTIONS FOR CHOQUARD TYPE EQUATIONS WITH A SINGULAR POTENTIAL. 1. Introduction In this article, we study the Choquard type equation
Electronic Journal of Differential Equations, Vol. 2017 (2017), o. 52, pp. 1 14. ISS: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu GROUD STATE SOLUTIOS FOR CHOQUARD TYPE EQUATIOS
More informationBenjamin-Ono equation: Lax pair and simplicity of eigenvalues
Benjamin-Ono equation: Lax pair and simplicity of eigenvalues The Benjamin-Ono equation is u t + 2uu x + Hu x x = where the Hilbert transform H is defined as Hϕx) = P.V. π ϕy) x y dy. Unfortunately the
More informationOn an uniqueness theorem for characteristic functions
ISSN 392-53 Nonlinear Analysis: Modelling and Control, 207, Vol. 22, No. 3, 42 420 https://doi.org/0.5388/na.207.3.9 On an uniqueness theorem for characteristic functions Saulius Norvidas Institute of
More informationExistence of Positive Solutions to a Nonlinear Biharmonic Equation
International Mathematical Forum, 3, 2008, no. 40, 1959-1964 Existence of Positive Solutions to a Nonlinear Biharmonic Equation S. H. Al Hashimi Department of Chemical Engineering The Petroleum Institute,
More informationSharp blow-up criteria for the Davey-Stewartson system in R 3
Dynamics of PDE, Vol.8, No., 9-60, 011 Sharp blow-up criteria for the Davey-Stewartson system in R Jian Zhang Shihui Zhu Communicated by Y. Charles Li, received October 7, 010. Abstract. In this paper,
More informationTHE HARDY LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION. Juha Kinnunen. 1 f(y) dy, B(x, r) B(x,r)
Appeared in Israel J. Math. 00 (997), 7 24 THE HARDY LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION Juha Kinnunen Abstract. We prove that the Hardy Littlewood maximal operator is bounded in the Sobolev
More informationSmoothing Effects for Linear Partial Differential Equations
Smoothing Effects for Linear Partial Differential Equations Derek L. Smith SIAM Seminar - Winter 2015 University of California, Santa Barbara January 21, 2015 Table of Contents Preliminaries Smoothing
More informationarxiv:math/ v2 [math.ap] 8 Jun 2006
LOW REGULARITY GLOBAL WELL-POSEDNESS FOR THE KLEIN-GORDON-SCHRÖDINGER SYSTEM WITH THE HIGHER ORDER YUKAWA COUPLING arxiv:math/0606079v [math.ap] 8 Jun 006 Changxing Miao Institute of Applied Physics and
More informationHOMOCLINIC SOLUTIONS FOR SECOND-ORDER NON-AUTONOMOUS HAMILTONIAN SYSTEMS WITHOUT GLOBAL AMBROSETTI-RABINOWITZ CONDITIONS
Electronic Journal of Differential Equations, Vol. 010010, No. 9, pp. 1 10. ISSN: 107-6691. UL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu HOMOCLINIC SOLUTIONS FO
More informationA semilinear Schrödinger equation with magnetic field
A semilinear Schrödinger equation with magnetic field Andrzej Szulkin Department of Mathematics, Stockholm University 106 91 Stockholm, Sweden 1 Introduction In this note we describe some recent results
More informationEXISTENCE OF SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS WITH UNBOUNDED POTENTIAL. 1. Introduction In this article, we consider the Kirchhoff type problem
Electronic Journal of Differential Equations, Vol. 207 (207), No. 84, pp. 2. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS
More informationEXISTENCE OF NONTRIVIAL SOLUTIONS FOR A QUASILINEAR SCHRÖDINGER EQUATIONS WITH SIGN-CHANGING POTENTIAL
Electronic Journal of Differential Equations, Vol. 2014 (2014), No. 05, pp. 1 8. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu EXISTENCE OF NONTRIVIAL
More informationPERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 28, 2003, 207 222 PERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS Fumi-Yuki Maeda and Takayori Ono Hiroshima Institute of Technology, Miyake,
More informationNULL CONDITION FOR SEMILINEAR WAVE EQUATION WITH VARIABLE COEFFICIENTS. Fabio Catalano
Serdica Math J 25 (999), 32-34 NULL CONDITION FOR SEMILINEAR WAVE EQUATION WITH VARIABLE COEFFICIENTS Fabio Catalano Communicated by V Petkov Abstract In this work we analyse the nonlinear Cauchy problem
More informationarxiv: v1 [math.ap] 24 Oct 2014
Multiple solutions for Kirchhoff equations under the partially sublinear case Xiaojing Feng School of Mathematical Sciences, Shanxi University, Taiyuan 030006, People s Republic of China arxiv:1410.7335v1
More informationHOMEOMORPHISMS OF BOUNDED VARIATION
HOMEOMORPHISMS OF BOUNDED VARIATION STANISLAV HENCL, PEKKA KOSKELA AND JANI ONNINEN Abstract. We show that the inverse of a planar homeomorphism of bounded variation is also of bounded variation. In higher
More informationPartial 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 informationNONLINEAR DECAY AND SCATTERING OF SOLUTIONS TO A BRETHERTON EQUATION IN SEVERAL SPACE DIMENSIONS
Electronic Journal of Differential Equations, Vol. 5(5), No. 4, pp. 7. ISSN: 7-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) NONLINEAR DECAY
More informationUniversität des Saarlandes. Fachrichtung 6.1 Mathematik
Universität des Saarlandes U N I V E R S I T A S S A R A V I E N I S S Fachrichtung 6.1 Mathematik Preprint Nr. 225 Estimates of the second-order derivatives for solutions to the two-phase parabolic problem
More informationESTIMATES FOR MAXIMAL SINGULAR INTEGRALS
ESTIMATES FOR MAXIMAL SINGULAR INTEGRALS LOUKAS GRAFAKOS Abstract. It is shown that maximal truncations of nonconvolution L -bounded singular integral operators with kernels satisfying Hörmander s condition
More informationNonlinear Schrödinger Equation BAOXIANG WANG. Talk at Tsinghua University 2012,3,16. School of Mathematical Sciences, Peking University.
Talk at Tsinghua University 2012,3,16 Nonlinear Schrödinger Equation BAOXIANG WANG School of Mathematical Sciences, Peking University 1 1 33 1. Schrödinger E. Schrödinger (1887-1961) E. Schrödinger, (1887,
More informationChapter One. The Calderón-Zygmund Theory I: Ellipticity
Chapter One The Calderón-Zygmund Theory I: Ellipticity Our story begins with a classical situation: convolution with homogeneous, Calderón- Zygmund ( kernels on R n. Let S n 1 R n denote the unit sphere
More information