1: \documentclass[10pt]{amsart}
2:
3: \usepackage{amssymb}
4: \usepackage{enumerate}
5:
6:
7: \numberwithin{equation}{section}
8:
9: \newtheorem{theorem}{Theorem}
10: \newtheorem{lemma}{Lemma}
11: \newtheorem{proposition}{Proposition}
12: \newtheorem{corollary}{Corollary}
13: \newtheorem{definition}{Definition}
14:
15:
16:
17: \begin{document}
18:
19: \title[Generalized Benjamin-Ono equation]{Sharp well-posedness results for the generalized Benjamin-Ono equation with high nonlinearity}
20: \author{St\'ephane Vento}
21: \address{Universit\'e de Marne-La-Vall\'ee, Laboratoire d'Analyse et
22: de Math\'ematiques Appliqu\'ees,\\ 5, bd. Descartes, Cit\'e
23: Descartes, Champs-Sur-Marne,\\ 77454 Marne-La-Vall\'ee Cedex 2,
24: France.}
25:
26: \email{stephane.vento@univ-mlv.fr}
27: \date{}
28: \keywords{NLS-like equations, Cauchy problem}
29:
30: \def\sgn{\textrm{sgn}}
31: \def\R{\mathbb{R}}
32: \def\Z{\mathbb{Z}}
33: \def\S{\mathcal{S}}
34: \def\H{\mathcal{H}}
35: \def\eps{\varepsilon}
36: \def\pv{\textrm{pv}}
37: \def\supp{\textrm{supp}}
38:
39:
40:
41: \begin{abstract}
42: We establish the local well-posedness of the generalized
43: Benjamin-Ono equation $\partial_tu+\mathcal{H}\partial_x^2u\pm
44: u^k\partial_xu=0$ in $H^s(\R)$, $s>1/2-1/k$ for $k\geq 12$ and
45: without smallness assumption on the initial data. The condition
46: $s>1/2-1/k$ is known to be sharp since the solution map
47: $u_0\mapsto u$ is not of class $\mathcal{C}^{k+1}$ on $H^s(\R)$
48: for $s<1/2-1/k$. On the other hand, in the particular case of the
49: cubic Benjamin-Ono equation, we prove the ill-posedness in
50: $H^s(\R)$, $s<1/3$.
51: \end{abstract}
52:
53:
54:
55: \maketitle
56:
57:
58: \section{Introduction and statement of the results}
59: \subsection{Introduction}
60:
61: Our purpose in this paper is to study the initial value problem
62: for the generalized Benjamin-Ono equation
63: \begin{equation}\label{gBO}\tag{gBO}\left\{\begin{array}{ll}\partial_tu+\mathcal{H}\partial_x^2u\pm u^k\partial_xu=0,
64: \quad x,t\in\mathbb{R},\\u(x,t=0)=u_0(x),\quad
65: x\in\mathbb{R},\end{array}\right.\end{equation} where
66: $k\in\mathbb{N}\setminus\{0\}$, $\mathcal{H}$ is the Hilbert
67: transform defined by
68: \[\mathcal{H}f(x)=\frac{1}{\pi}\pv\Big(\frac{1}{x}\ast
69: u\Big)(x)=\mathcal{F}^{-1}\big(-i\ \sgn(\xi)\hat{f}(\xi)\big)(x)\]
70: and with initial data $u_0$ belonging to the Sobolev space
71: $H^s(\R)=(1-\partial^2_x)^{-s/2}L^2(\R)$. \vskip 0.5cm The case
72: $k=1$ was deduced by T.B. Benjamin \cite{1967JFM....29..559B} and
73: later by H. Ono \cite{MR0398275} as a model in internal wave
74: theory. The Cauchy problem for the Benjamin-Ono equation has been
75: extensively studied. It has been proved in \cite{MR533234} that
76: (BO) is globally well-posed (i.e. global existence, uniqueness and
77: persistence of regularity of the solution) in $H^s(\R)$ for $s\geq
78: 3$, and then for $s\geq 3/2$ in \cite{MR1097916} and
79: \cite{MR847994}. Recently, T. Tao \cite{MR2052470} proved the
80: well-posedness of this equation for $s\geq 1$ by using a gauge
81: transformation. More recently, combining a gauge transformation
82: with a Bourgain's method, A.D. Ionescu and C.E. Kenig
83: \cite{math.AP/0508632} shown that one could go down to $L^2(\R)$,
84: and this seems to be, in some sense, optimal. It is worth noticing
85: that all these results have been obtained by compactness methods.
86: On the other hand, L. Molinet, J.-C. Saut and N. Tzvetkov
87: \cite{MR1885293} proved that, for all $s\in\R$, the flow map
88: $u_0\mapsto u$ is not of class $\mathcal{C}^2$ from $H^s(\R)$ to
89: $H^s(\R)$. Furthermore, building suitable families of approximate
90: solutions, H. Koch and N. Tzvetkov proved in \cite{MR2172940}
91: that the flow map is not even uniformly continuous on bounded sets
92: of $H^s(\R)$, $s>0$. As an important consequence of this, since a
93: Picard iteration scheme would imply smooth dependance upon the
94: initial data, one see that such a scheme cannot be used to get
95: solutions in any space continuously embedded in
96: $\mathcal{C}([0,T],H^s(\R))$.
97:
98: \vskip 0.5cm
99:
100: For higher nonlinearities, that is for $k\geq 2$, the picture is a
101: little bit different. It turns out that one can get local
102: well-posedness results throught a Picard iteration scheme but for
103: small initial data only. This seems mainly due to the fact that
104: the smoothing properties of the linear group $V(\cdot)$ associated
105: to the linear (BO) equation is just sufficient to recover the lost
106: derivative in the nonlinear term, but does not allow to get the
107: required contraction factors. On the other hand, for large initial
108: data, one can prove local well-posedness by compactness methods
109: together with a gauge transformation. Unfortunately, this usually
110: requires more smoothness on the initial data. We summurize now the
111: known results about the Cauchy problem for (gBO) equations when
112: $k\geq 2$.
113:
114: \vskip 0.3cm
115:
116: In the case of the modified Benjamin-Ono equation ($k=2$), C.E.
117: Kenig and H. Takaoka \cite{math.AP/0509573} have recently obtained
118: the global well-posedness in the energy space $H^{1/2}(\R)$. This
119: have been proved thanks to a localized gauge transformation
120: combined with a $L^2_{xT}$ estimate of the solution. This result
121: is known to be sharp since the solution map $u_0\mapsto u$ is not
122: $\mathcal{C}^3$ in $H^s(\R)$, $s<1/2$ (see \cite{MR2038121}).
123: \vskip 0.3cm
124:
125: For (\ref{gBO}) with cubic nonlinearity ($k=3$), the local
126: well-posedness is known in $H^s(\R)$, $s>1/3$ for small initial
127: data \cite{MR2038121} but only in $H^s(\mathbb{R})$, $s>3/4$, for
128: large initial data. Moreover, the ill-posedness has been proved in
129: $H^s(\mathbb{R})$, $s<1/6$ \cite{MR2038121}. In this paper, we
130: show the ill-posedness of the cubic Benjamin-Ono equation in
131: $H^s(\mathbb{R})$, $s<1/3$, which turns out to be optimal
132: according to the above results.
133:
134: \vskip 0.3cm
135:
136:
137: When $k\geq 4$, by a scaling argument, one can guess the best
138: Sobolev space in which the Cauchy problem is locally well-posed,
139: that is, the critical indice $s_c$ such that (\ref{gBO}) is
140: well-posed in $H^{s}(\R)$ for $s>s_c$ and ill-posed for $s<s_c$ .
141: Recall that if $u(x,t)$ is a solution of the equation then
142: $u_\lambda(x,t)=\lambda^{1/k}u(\lambda x,\lambda^2t)$
143: ($\lambda>0$) solves (\ref{gBO}) with initial data
144: $u_\lambda(x,0)$ and moreover
145: \[\|u_\lambda(\cdot,0)\|_{\dot{H}^s}=\lambda^{s+\frac{1}{k}-\frac{1}{2}}\|u(\cdot,0)\|_{\dot{H}^s}.\]
146: Hence the $\dot{H}^s(\R)$ norm is invariant if and only if
147: $s=s_k=1/2-1/k$ and one can conjecture that $s_c=s_k$.
148:
149: In the case of small initial data, this limit have been reached by
150: L. Molinet and F. Ribaud \cite{MR2038121}. This result is almost
151: sharp in the sense that the flow map $u_0\mapsto u$ is not of
152: class $\mathcal{C}^{k+1}$ from $H^s(\R)$ to
153: $\mathcal{C}([0,T],H^s(\R))$ at the origin when $s<s_k$,
154: \cite{MR2101982}. This lack of regularity is also described by
155: H.A. Biagioni and F. Linares in \cite{MR1837253} where they
156: established, using solitary waves, that the flow map is not
157: uniformly continuous in $\dot{H}^{s_k}(\R)$, $k\geq 2$.
158:
159: For large initial data, the local well-posedness of (gBO) is only
160: known in $H^s(\mathbb{R})$, $s\geq 1/2$, whatever the value of
161: $k$. This have been proved in \cite{MR2101982} by using the gauge
162: transformation
163: \begin{equation}\label{GT}u\stackrel{\mathcal{G}}{\longmapsto} P_+(e^{-i\int_{-\infty}^xu^k}u),\end{equation} together with compactness methods.
164: Note also that very recently, in the particular case $k=4$, N. Burq and F. Planchon
165: \cite{math.AP/0409379} derived the local well-posedness of (gBO)
166: in the homogeneous space $\dot{H}^{1/4}(\R)$.
167:
168: In this paper, our aim is to improve the results obtained in
169: \cite{MR2101982} for large initial data. We show that for all
170: $k\geq 12$, (\ref{gBO}) is locally well-posed in $H^s(\R)$,
171: $s>s_k$.
172: Our proofs follow those of
173: \cite{MR2101982} : we perform the gauge transformation
174: $w=\mathcal{G}(u)$ of a smooth solution $u$ of (gBO) and derive
175: suitable estimates for $w$. The main interest of this
176: transformation is to obtain an equation satisfied by $w$ where the
177: nonlinearity $u^ku_x$ is replaced by terms of the form
178: $P_+(u^kP_-u_x)$ in which one can share derivatives on $u$ with
179: derivatives on $u^k$. Working in the surcritical case, this allows
180: to get a contraction factor $T^\nu$ in our estimates. It is worth
181: noticing that $\nu=\nu(s)$ verifies $\lim_{s\rightarrow
182: s_k}\nu(s)=0$, and this explains why our method fails in the
183: critical case $s=s_k$. On the other hand, the restriction $k\geq
184: 12$ appears when we estimate the integral term
185: $$P_+\Big(e^{-i\int_{-\infty}^x u^k}u\int_{-\infty}^xu^{k-2}\H
186: u_{xx}\Big)$$ (see section 3.2). This term doesn't seem to have a
187: "good structure" since the bad interaction
188: $$Q_ju\int_{-\infty}^x(P_j u)^{k-2}\H P_ju_{xx}$$ forbids the share
189: of the antiderivative $\int_{-\infty}^x$ with other derivatives.
190:
191:
192:
193: \subsection{Main results}
194: Our main results read as follows.
195: \begin{theorem}\label{mainresult} Let $k\geq 12$ and $u_0\in H^s(\R)$ with $s>1/2-1/k$. Then there
196: exist $T=T(s,k,\|u_0\|_{H^s})>0$ and a unique solution
197: $u\in\mathcal{C}([0,T];H^s(\R))$ of (\ref{gBO}) such that
198: \begin{eqnarray}&&\|D^{s+1/2}_xu\|_{L^\infty_xL^2_T}<\infty,\\
199: &&\|D^{s-1/4}_xu\|_{L^4_xL^\infty_T}<\infty,\\
200: &&\|P_0u\|_{L^2_xL^\infty_T}<\infty.\end{eqnarray} Moreover, the
201: flow map $u_0\mapsto u$ is Lipschitz on every bounded set of
202: $H^s(\R)$.
203: \end{theorem}
204:
205: As mentioned previously, these results are in some sense almost
206: sharp. However, the critical case $s=s_k$ remains open. We will
207: only consider the most difficult case, that is the lowest values
208: for $s$. More precisely we will prove Theorem \ref{mainresult} for
209: $s_k<s<1/2$.
210:
211: \vskip 0.5cm
212:
213: In the case $k=3$, we have the following ill-posedness result.
214:
215: \begin{theorem}\label{illth} Let $k=3$ and $s<1/3$. There does not exist $T>0$ such that
216: the Cauchy problem (\ref{gBO}) admits an unique local solution
217: defined on the interval $[0,T]$ and such that the flow map
218: $u_0\mapsto u$ is of class $\mathcal{C}^4$ in a neighborhood of
219: the origin from $H^s(\mathbb{R})$ to $H^s(\mathbb{R})$.
220: \end{theorem}
221:
222: This result implies that we cannot solve (\ref{gBO}) with $k=3$ in
223: $H^s(\R)$, $s<1/3$ by a contraction method on the Duhamel
224: formulation. Recall that for small initial data \cite{MR2038121},
225: we have local well-posedness in $H^s(\R)$ for $s>1/3$. In view of
226: this, we can conjecture that (\ref{gBO}) is locally well-posed in
227: $H^s(\R)$, $s>1/3$. \vskip 0.3cm The remainder of this paper is
228: organized as follows. In section 2, we first derive some linear
229: estimates on the free evolution operator associated to (\ref{gBO})
230: and we define our resolution space. Then we give some technical
231: lemmas which will be used for nonlinear estimates. In section 3 we
232: introduce the gauge transformation and derive the needed nonlinear
233: estimates. The section 4 is devoted to the proof of Theorem
234: \ref{mainresult}. Finally we prove our ill-posedness result in the
235: Appendix.
236:
237: The author is grateful to Francis Ribaud for several useful
238: comments on the subject.
239:
240: \subsection{Notations}
241: For two positive numbers $x$, $y$, we write $x\lesssim y$ to mean
242: that there exists a $C>0$ which does not depend on $x$ and $y$,
243: and such that $x\leq Cy$. In the sequel, this constant may depend
244: on $s$ and $k$. We also use $\nu=\nu(s,k)$ to denote a positive
245: power of $T$ which may differ at each occurrence.
246:
247: Our resolution space is constructed thanks to the space-time
248: Lebesgue spaces $L^p_xL^q_T$ and $L^q_TL^p_x$ endowed for $T>0$
249: and $1\leq p,q\leq\infty$ with the norm
250: $$\|f\|_{L^p_xL^q_T}=\big\|\|f\|_{L^q_T([0;T])}\big\|_{L^p_x(\R)}\ \textrm{ and
251: }\
252: \|f\|_{L^q_TL^p_x}=\big\|\|f\|_{L^p_x(\R)}\big\|_{L^q_T([0;T])}.$$
253: When $p=q$ we simplify the notation by writing $L^p_{xT}$.
254:
255: The well-known operators $\mathcal{F}$ (or $\hat{\cdot}$) and
256: $\mathcal{F}^{-1}$ (or $\check{\cdot}$) are the Fourier operators
257: defined by $\hat{f}(\xi)=\int_\R e^{-ix\xi}f(x)dx$. The
258: pseudo-differential operator $D^\alpha_x$ is defined by its
259: Fourier symbol $|\xi|^\alpha$. Let $P_+$ and $P_-$ be the Fourier
260: projections to $[0,+\infty[$ and $]-\infty,0]$. Thus one has
261: $$i\mathcal{H}=P_+-P_-.$$
262: Let $\eta\in\mathcal{C}_0^\infty(\R)$, $\eta\geq 0$, $\supp\
263: \eta\subset\{1/2\leq |\xi|\leq 2\}$ with
264: $\sum_{-\infty}^\infty\eta(2^{-k}\xi)=1$ for $\xi\neq 0$. We set
265: $p(\xi)=\sum_{j\leq -3}\eta(2^{-j}\xi)$ and consider, for all
266: $k\in\Z$, the operators $Q_k$ and $P_k$ respectively defined by
267: \[Q_k(f)=\mathcal{F}^{-1}(\eta(2^{-k}\xi)\hat{f}(\xi))\ \textrm{ and
268: }\ P_k(f)=\mathcal{F}^{-1}(p(2^{-k}\xi)\hat{f}(\xi)).\] Therefore
269: we have the standard Littlewood-Paley decomposition
270: \begin{equation}\label{DLP}f=\sum_{j\in\Z}Q_j(f)=P_0(f)+\sum_{j\geq
271: -2}Q_j(f)=P_0(f)+\Tilde{P}(f).\end{equation} We also need the
272: operators \[P_{\leq k}f=\sum_{j\leq k}Q_jf,\quad P_{\geq
273: k}f=\sum_{j\geq k}Q_jf.\] We finally introduce the operators
274: $\tilde{P}_+=P_+\Tilde{P}$ and $\tilde{P}_-=P_-\Tilde{P}$ in order
275: to obtain the smooth decomposition
276: \begin{equation}\label{smoothdec}f=\tilde{P}_-(f)+P_0(f)+\tilde{P}_+(f).\end{equation}
277:
278:
279: \section{Linear estimates and technical lemmas}
280: \subsection{Linear estimates and resolution space}
281:
282: Recall that (\ref{gBO}) is equivalent to its integral formulation
283: \begin{equation}\label{duhamel}u(t)=V(t)u_0\mp\frac{1}{k+1}\int_0^tV(t-\tau)\partial_x(u^{k+1})(\tau)d\tau,\end{equation}
284: where $V(t)=\mathcal{F}^{-1}e^{it\xi|\xi|}\mathcal{F}$ is the
285: generator of the free evolution. Let us now gather the well-known
286: estimates on the group $V(\cdot)$ in the following lemma.
287:
288: \begin{lemma}\label{estlin} Let $\varphi\in\mathcal{S}(\R)$, then
289: \begin{eqnarray}\label{est0}\|V(t)\varphi\|_{L^\infty_TL^2_x} &\lesssim
290: &\|\varphi\|_{L^2},\\
291: \label{est1}\|D^{1/2}_xV(t)\varphi\|_{L^\infty_x L^2_T} &\lesssim
292: &
293: \|\varphi\|_{L^2},\\
294: \label{est2}\|D^{-1/4}_xV(t)\varphi\|_{L^4_x L^\infty_T} &\lesssim
295: & \|\varphi\|_{L^2}.\end{eqnarray} Moreover, for $0<T<1$, we have
296: \begin{eqnarray}
297: \label{est4}\|P_0V(t)\varphi\|_{L^2_xL^\infty_T} &\lesssim &
298: \|P_0\varphi\|_{L^2}.\end{eqnarray}
299: \end{lemma}
300: The estimate (\ref{est0}) is straightforward whereas the proof of
301: the Kato smoothing effect (\ref{est1}) and the maximal in time
302: inequality (\ref{est2}) can be found in \cite{MR1101221}. Estimate
303: (\ref{est4}) has been proved in \cite{MR1086966}.
304:
305: These estimates motivate the definition of our resolution space.
306:
307: \begin{definition} For $s_k<s<1/2$, we define the
308: space $X^s_T=\{u\in\mathcal{S}'(\R^2), \|u\|_{X^s_T}<\infty\}$
309: where $0<T<1$ and
310: \begin{equation}\label{space}\|u\|_{X^s_T}=\|u\|_{L^\infty_TH^s_x}+\|D^{s+1/2}_xu\|_{L^\infty_xL^2_T}+\|D^{s-1/4}_xu\|_{L^4_xL^\infty_T}
311: +\|P_0u\|_{L^2_xL^\infty_T}.\end{equation}
312: \end{definition}
313:
314: Thus lemma \ref{estlin} implies immediately that for all
315: $\varphi\in\mathcal{S}(\R)$ and $0<T<1$,
316: \begin{equation}\label{estsg}\|V(t)\varphi\|_{X^s_T}\lesssim
317: \|\varphi\|_{H^s}.\end{equation}
318:
319: We now give some families of norms which are controlled by the
320: $X^s_T$ norm. This will be usefull to derive some nonlinear
321: estimates in the sequel.
322:
323: \begin{definition} A triplet $(\alpha,p,q)\in\R\times[2,\infty]^2$
324: is said to be
325: 1-admissible if
326: $(\alpha,p,q)=(1/2,\infty,2)$ or \begin{equation}\label{1ad} 4\leq
327: p<\infty,\quad 2< q\leq\infty,\quad
328: \frac{2}{p}+\frac{1}{q}\leq\frac{1}{2},\quad
329: \alpha=\frac{1}{p}+\frac{2}{q}-\frac{1}{2}.
330: \end{equation}
331: \end{definition}
332:
333: \begin{proposition}\label{admis} If $(\alpha-s,p,q)$ is 1-admissible, then for all $u$ in
334: $X^s_T$,
335: \begin{equation}\label{in1ad}\|D^\alpha_xu\|_{L^p_xL^q_T}\lesssim
336: \|u\|_{X^s_T}.\end{equation}
337: \end{proposition}
338: Proof : The inequality
339: \begin{equation}\label{triest}\|D^{s+1/2}_xu\|_{L^\infty_xL^2_T}\lesssim\|u\|_{X^s_T}\end{equation}
340: yields the result when $(\alpha,p,q)=(1/2,\infty,2)$. Assume now
341: $(\alpha,p,q)\neq (1/2,\infty,2)$. Let $r\in[4;p]$. Then according
342: to Sobolev embedding theorem,
343: \[\|D^{s+1/r-1/2}_xu\|_{L^r_xL^\infty_T}\lesssim
344: \|D^{s-1/4}_xu\|_{L^4_xL^\infty_T}\lesssim \|u\|_{X^s_T}.\] By
345: interpolation with (\ref{triest}) we get for all $0\leq\theta\leq
346: 1$
347: \[\|D^{s+\frac{1}{2}-(1-\frac{1}{r})\theta}_xu\|_{L^{r/\theta}_xL^{2/(1-\theta)}_T}\lesssim\|u\|_{X^s_T}.\]
348: We deduce (\ref{in1ad}) by taking $\theta=r/p$ since the
349: assumption $r\geq 4$ is equivalent to $\frac{2}{p}+\frac{1}{q}\leq
350: \frac{1}{2}$. $\Box$
351:
352: We list now all the norms needed for the nonlinear estimates.
353:
354: \begin{corollary}\label{bound} For $u\in X^s_T$, the following quantities are bounded by
355: $\|u\|_{X^s_T}$. $$\begin{array}{ll}
356: N_1=\|u\|_{L^p_xL^\infty_T},\quad 4\leq
357: p\leq(\frac{1}{2}-s)^{-1},&
358: N_2=T^{-\nu}\|u\|_{L^{3k}_{xT}},\\
359: N_3=T^{-\nu}\|u\|_{L^{k/(1-s)}_xL^{2k/s}_T}, & N_4=
360: T^{-\nu}\|u\|_{L^{k(\frac{1}{3}+s)^{-1}}_xL^{k(\frac{1}{3}-\frac{s}{2})^{-1}}_T},\\
361: N_5=T^{-\nu}\|u\|_{L^{3k/4s}_xL^{k(\frac{1}{2}-\frac{2s}{3})^{-1}}_T},
362: &
363: N_6=T^{-\nu}\|u\|_{L^{k(1-\frac{s}{3})^{-1}}_xL^{6k/s}_T}, \\
364: N_7=T^{-\nu}\|u\|_{L^{k+1}_xL^{2k(k+1)}_T}, &
365: N_{8}=T^{-\nu}\|u\|_{L^{(k-1)(\frac{5}{6}-\frac{s}{3})^{-1}}_xL^{(k-1)(\frac{2s}{3}-\frac{1}{6})^{-1}}_T},\\
366: N_{9}=\|D^{1-2s+6\eps}_xu\|_{L^{(\frac{3}{2}-3s)^{-1}}_xL^{1/3\eps}_T},
367: & N_{10}=\|D^s_xu\|_{L^6_{xT}},
368: \\
369: N_{11}=\|D^{s+1/2-3\eps}_xu\|_{L^{1/\eps}_xL^{(\frac{1}{2}-2\eps)^{-1}}_T},
370: &
371: N_{12}=\|D^{1/2}_xu\|_{L^{3/s}_xL^{(\frac{1}{2}-\frac{2s}{3})^{-1}}_T},
372: \end{array}$$
373: where $\eps,\nu>0$ are small enough.
374: \end{corollary}
375: Proof : \begin{enumerate} \item[(i)] Let $4\leq p\leq
376: (\frac{1}{2}-s)^{-1}$. By separating low and high frequencies,
377: \[\|u\|_{L^p_xL^\infty_T}\lesssim \|P_0u\|_{L^2_xL^\infty_T}+\|\Tilde{P}D^{s+1/p-1/2}_xu\|_{L^p_xL^\infty_T}\lesssim\|u\|_{X^s_T}.\] Here
378: we used that $\Tilde{P}$ is continuous on $L^p_xL^q_T$, $1\leq
379: p,q\leq\infty$, and the 1-admissibility of $(1/p-1/2,p,\infty)$.
380: \item[(ii)-(vii)] We evaluate the norm of the form
381: $N=\|u\|_{L^p_xL^q_T}$ with $p>2$ and $q<\infty$. Fix $\delta>0$
382: small enough so that $\alpha=s-s_k-2\delta>0$ and
383: $\frac{1}{q}-\delta>0$. Then using the previous decomposition,
384: Bernstein and H\"older inequalities, we get \[N\lesssim
385: T^\nu\|P_0u\|_{L^2_xL^\infty_T}+T^\nu\|\tilde{P}D^{\alpha}_xu\|_{L^p_xL^{(\frac{1}{q}-\delta)^{-1}}_T}.\]
386: One complete the proof by noticing that the triplet
387: $(\alpha-s,p,(\frac{1}{q}-\delta)^{-1})$ is 1-admissible.
388: \item[(viii)] Following the same idea, we write \[N_{8}\lesssim
389: T^\nu\|P_0u\|_{L^2_xL^\infty_T}+
390: T^\nu\|\tilde{P}D^{\frac{k}{k-1}(s-s_k-2\frac{\delta}{k})}_xu\|_{L^{(k-1)(\frac{5}{6}-\frac{s}{3})^{-1}}_x
391: L^{(k-1)(\frac{2s}{3}-\frac{1}{6}-\delta)^{-1}}_T}\] for an
392: appropriate $\delta>0$. Once again,
393: $(\frac{k}{k-1}(s-s_k-2\frac{\delta}{k})-s,(k-1)(\frac{5}{6}-\frac{s}{3})^{-1},(k-1)(\frac{2s}{3}-\frac{1}{6}-\delta)^{-1})$
394: is 1-admissible. \item[(ix)-(xii)] Note finally that the triplets
395: $(1-3s+6\eps,(\frac{3}{2}-3s)^{-1},1/3\eps)$, $(0,6,6)$,
396: $(1/2-3\eps,1/\eps,(\frac{1}{2}-2\eps)^{-1})$ and
397: $(1/2-s,3/s,(\frac{1}{2}-\frac{2s}{3})^{-1})$ are 1-admissible.
398: $\Box$
399: \end{enumerate}
400:
401: We now turn to the non-homogenous estimates. Let us first recall
402: the following result found in \cite{MR2101982}.
403:
404: \begin{lemma}\label{estsnonhom} Let $(\alpha_1,\alpha_2)\in\R^2$,
405: $(\nu_1,\nu_2)\in \R_+^2$, and $1\leq p_1,q_1,p_2,q_2\leq \infty$
406: such that for all $\varphi\in\mathcal{S}(\R)$,
407: \[\|D^{\alpha_1}_xV(t)\varphi\|_{L^{p_1}_xL^{q_1}_T}\lesssim
408: T^{\nu_1}\|\varphi\|_{L^2},\]
409: \[\|D^{\alpha_2}_xV(t)\varphi\|_{L^{p_2}_xL^{q_2}_T}\lesssim
410: T^{\nu_2}\|\varphi\|_{L^2}.\] Then for all
411: $f\in\mathcal{S}(\R^2)$,
412: \begin{equation}\label{estnonhom}\Big\|D^{\alpha_2}_x\int_0^tV(t-\tau)f(\tau)d\tau\Big\|_{L^\infty_TL^2_x}\lesssim
413: T^{\nu_2}\|f\|_{L^{\bar{p}_2}_xL^{\bar{q}_2}_T},\end{equation}
414: \begin{equation}\label{estnonhom2}\Big\|D^{\alpha_1+\alpha_2}_x\int_0^tV(t-\tau)f(\tau)d\tau\Big\|_{L^{p_1}_xL^{q_1}_T}
415: \lesssim
416: T^{\nu_1+\nu_2}\|f\|_{L^{\bar{p}_2}_xL^{\bar{q}_2}_T}\end{equation}
417: provided $\min(p_1,q_1)>\max(\bar{p}_2,\bar{q}_2)$ or
418: ($q_1=\infty$ and $\bar{p}_2,\bar{q}_2<\infty$), where $\bar{p}_2$
419: and $\bar{q_2}$ are defined by $1/\bar{p}_2=1-1/p_2$ and
420: $1/\bar{q}_2=1-1/q_2$.
421: \end{lemma}
422:
423: Using lemma \ref{estsnonhom} we infer the following result.
424:
425: \begin{lemma}\label{lemestnonhom} For all $f\in\mathcal{S}(\R^2)$, the quantity
426: $\displaystyle\Big\|\int_0^tV(t-\tau)f(\tau)d\tau\Big\|_{X^s_T}$
427: can be estimated by
428: \begin{equation}\label{estnonhoms}\|f\|_{L^{(\frac{5}{6}+\frac{s}{3})^{-1}}_xL^{(\frac{5}{6}-\frac{2s}{3})^{-1}}_T},\quad
429: \|D^s_xf\|_{L^{6/5}_{xT}},\quad
430: \|D^{s-1/2}_xf\|_{L^1_xL^2_T},\quad
431: \|D^{s+1/4}_xf\|_{L^{4/3}_xL^1_T}.\end{equation} Moreover,
432: \begin{equation}\label{estnonhoms2}\Big\|D^{s+1/2}_x\int_0^tV(t-\tau)f(\tau)d\tau\Big\|_{L^\infty_xL^2_T}\lesssim\|D^s_xf\|_{L^1_TL^2_x}.\end{equation}
433: \end{lemma}
434:
435: Proof : (\ref{estnonhoms}) follows from
436: (\ref{estnonhom})-(\ref{estnonhom2}) since the triplets
437: $(s,(\frac{1}{6}-\frac{s}{3})^{-1},(\frac{1}{6}+\frac{2s}{3})^{-1})$,
438: $(0,6,6)$, $(1/2,\infty,2)$ and $(-1/4,4,\infty)$ are
439: 1-admissible. Inequality (\ref{estnonhoms2}) is proved in
440: \cite{MR2101982}, proposition 2.8. $\Box$
441:
442:
443: \subsection{Technical lemmas}
444: In this subsection, we recall some useful lemmas which allow to
445: share derivatives of various expressions in $L^p_xL^q_T$ norms.
446: One can
447: find proofs of lemmas \ref{leibniz}-\ref{lemg} in \cite{MR2101982,MR1086966}.\\
448: Here $f$ and $g$ denote two elements of $\mathcal{S}(\R)$.
449:
450: \begin{lemma}\label{leibniz} If $\alpha>0$ and $1<p,q<\infty$, then
451: \[\|D^\alpha_x(fg)\|_{L^{p}_xL^{q}_T}\lesssim\|f\|_{L^{p_1}_xL^{q_1}_T}\|D^\alpha_xg\|_{L^{p_2}_xL^{q_2}_T}+
452: \|g\|_{L^{\tilde{p}_1}_xL^{\tilde{q}_1}_T}\|D^\alpha_xf\|_{L^{\tilde{p}_2}_xL^{\tilde{q}_2}_T}\]
453: where $1<p_1,p_2,q_2,\tilde{p}_1,\tilde{p}_2,\tilde{q}_2<\infty$,
454: $1<q_1,\tilde{q}_1\leq\infty$,
455: $1/p_1+1/p_2=1/\tilde{p}_1+1/\tilde{p}_2=1/p$ and
456: $1/q_1+1/q_2=1/\tilde{q}_1+1/\tilde{q}_2=1/q$.\\
457: Moreover the cases $(p_1,q_1)=(\infty,\infty)$ and
458: $(\tilde{p}_1,\tilde{q}_1)=(\infty,\infty)$ are allowed.
459: \end{lemma}
460:
461: \begin{lemma}\label{comp} If $0<\alpha<1$ and $1<p,q<\infty$ then
462: \[\|D^\alpha_xF(f)\|_{L^p_xL^q_T}\lesssim
463: \|F'(f)\|_{L^{p_1}_xL^{q_1}_T}\|D^\alpha_xf\|_{L^{p_2}_xL^{q_2}_T}\]
464: where $1<p_1,p_2,q_2<\infty$, $1<q_1\leq\infty$, $1/p_1+1/p_2=1/p$
465: and $1/q_1+1/q_2=1/q$.
466: \end{lemma}
467:
468: \begin{lemma}\label{commu} If $0<\alpha<1$, $0\leq\beta<1-\alpha$ and
469: $1<p,q<\infty$, then
470: \[\|D^\beta_x([D^\alpha_x,f]g)\|_{L^p_xL^q_T}\lesssim
471: \|g\|_{L^{p_1}_xL^{q_1}_T}\|D^{\alpha+\beta}_xf\|_{L^{p_2}_xL^{q_2}_T}\]
472: where $1<p_1,q_1,p_2,q_2<\infty$, $1/p_1+1/p_2=1/p$ and
473: $1/q_1+1/q_2=1/q$.\\ Moreover, if $\beta>0$ then $q_1=\infty$ is
474: allowed.
475: \end{lemma}
476:
477: \begin{lemma}\label{P+P-} If $\alpha>0$, $\beta\geq 0$ and $1<p,q<\infty$ then
478: \[\|D^\alpha_xP_+(fP_-D^\beta_xg)\|_{L^p_xL^q_T}\lesssim
479: \|D^{\gamma_1}_xf\|_{L^{p_1}_xL^{q_1}_T}\|D^{\gamma_2}_xg\|_{L^{p_2}_xL^{q_2}_T}\]
480: where $1<p_1,q_1,p_2,q_2<\infty$, $1/p_1+1/p_2=1/p$,
481: $1/q_1+1/q_2=1/q$ and $\gamma_1\geq\alpha$,
482: $\gamma_1+\gamma_2=\alpha+\beta$.
483: \end{lemma}
484:
485: As in \cite{MR2101982}, we introduce the bilinear operator $G$
486: defined by
487: $$G(f,g)=\mathcal{F}^{-1}\Big(\frac{1}{2}\int_\R\frac{\xi_1(\xi-\xi_1)}{i\xi}[\sgn(\xi_1)
488: +\sgn(\xi-\xi_1)]\hat{f}(\xi_1)\hat{g}(\xi-\xi_1)d\xi_1\Big).$$ We
489: easily verify that
490: \begin{equation}\label{defg1}G(f,f)=\partial^{-1}_x(f_x\mathcal{H}f_x)=\partial_x^{-1}(-i(P_+f_x)^2+i(P_-f_x)^2)\end{equation}
491: and
492: \begin{equation}\label{defg2}G(f,g)=\partial_x^{-1}(-iP_+f_xP_+g_x+iP_-f_xP_-g_x).\end{equation}
493:
494: \begin{lemma}\label{lemg} If $0\leq\alpha\leq 1$ and $1<p,q<\infty$ then
495: $$\|D^\alpha_xG(f,g)\|_{L^p_xL^q_T}\lesssim
496: \|D^{\gamma_1}_xf\|_{L^{p_1}_xL^{q_1}_T}\|D^{\gamma_2}_xg\|_{L^{p_2}_xL^{q_2}_T}$$
497: where $0\leq\gamma_1,\gamma_2\leq 1$,
498: $\gamma_1+\gamma_2=\alpha+1$, $1<p_1,q_1,p_2,q_2<\infty$,
499: $1/p_1+1/p_2=1/p$ and $1/q_1+1/q_2=1/q$.
500: \end{lemma}
501:
502: We will also need the following lemma in order to treat low
503: frequencies in the integral term.
504:
505: \begin{lemma}\label{lowfreq} If $\alpha\geq 0$ and $1\leq p,q\leq\infty$ then
506: $$\|P_0(fD^\alpha_xg)\|_{L^p_xL^q_T}\lesssim
507: \|D^{\gamma_1}_xf\|_{L^{p_1}_xL^{q_1}_T}\|D^{\gamma_2}_xg\|_{L^{p_2}_xL^{q_2}_T}+\|P_0f\|_{L^{\tilde{p}_1}_x
508: L^{\tilde{q}_1}_T}\|D^\alpha_xP_0g\|_{L^{\tilde{p}_2}_xL^{\tilde{q}_2}_T}$$
509: where $\gamma_1,\gamma_2\geq 0$, $\alpha=\gamma_1+\gamma_2$,
510: $1<p_i,q_i,\tilde{p}_i,\tilde{q}_i<\infty$,
511: $1/p_1+1/p_2=1/\tilde{p}_1+1/\tilde{p}_2=1/p$ and
512: $1/q_1+1/q_2=1/\tilde{q}_1+1/\tilde{q}_2=1/q$.
513: \end{lemma}
514: Proof : We split the product $fD^\alpha_xg$ as follows :
515: \begin{equation}\label{decbf}fD^\alpha_xg=P_+fP_+D^\alpha_xg+ P_+fP_-D^\alpha_xg+
516: P_-fP_+D^\alpha_xg+P_-fP_-D^\alpha_xg.\end{equation} It is
517: sufficient to consider the contribution of the first two terms.
518: For the first one, we remark that
519: $$P_0[P_+fP_+(D^\alpha_xg)]=P_0[P_0(P_+f)P_0(P_+D^\alpha_xg)]$$
520: and thus using the continuity of $P_0$ on $L^p_xL^q_T$,
521: \begin{eqnarray*}\|P_0[P_+fP_+(D^\alpha_xg)]\|_{L^p_xL^q_T}
522: &\lesssim & \|P_0(P_+f)P_0(P_+D^\alpha_xg)\|_{L^p_xL^q_T}\\
523: &\lesssim &
524: \|P_0f\|_{L^{\tilde{p}_1}_xL^{\tilde{q}_1}_T}\|D^\alpha_xP_0g\|_{L^{\tilde{p}_2}_xL^{\tilde{q}_2}_T}.
525: \end{eqnarray*}
526: For the second term in (\ref{decbf}) we have typically
527: contributions of the form $P_0[P_0(P_+f)P_0(P_-D^\alpha_xg)]$
528: which are treated as above, and
529: $P_0[\Tilde{P}_+f\tilde{P}_-D^\alpha_xg]$. Using decomposition
530: (\ref{DLP}), one can write
531: \begin{eqnarray*}P_0(\tilde{P}_+f\tilde{P}_-D^\alpha_xg) &=&
532: P_0\Big(\sum_{j\in\Z}Q_j(\tilde{P}_+f)P_j(\tilde{P}_-D^\alpha_xg)+\sum_{j\in\Z}P_j(\tilde{P}_+f)Q_j(\tilde{P}_-D^\alpha_xg)\Big)\\
533: && +P_0\big(\sum_{|p|\leq
534: 2}\sum_{j\in\Z}Q_j(\tilde{P}_+f)Q_{k-j}(\tilde{P}_-D^\alpha_xg)\Big).
535: \end{eqnarray*}
536: By a careful analysis of the various localisations, we get
537: $$P_0(\Tilde{P}_+f\tilde{P}_-D^\alpha_xg) =
538: P_0\Big[\sum_{|p|\lesssim
539: 1}\sum_{j\in\Z}Q_j(\tilde{P}_+f)Q_{j+p}(\Tilde{P}_-D^\alpha_xg)\Big].$$
540: Here we define the operators $Q_j^\lambda=2^{-\lambda
541: j}D^\lambda_xQ_j$. It follows that
542: \begin{eqnarray*}P_0(\Tilde{P}_+f\tilde{P}_-D^\alpha_xg)
543: =P_0\Big[\sum_{|p|\lesssim
544: 1}\sum_{j\in\Z}Q_j^{-\gamma_1}(\tilde{P}_+D^{\gamma_1}_xf)Q^{\gamma_1}_{j+p}(\tilde{P}_-D^{\gamma_2}_xg)\Big].\end{eqnarray*}
545: Thus using Cauchy-Schwarz and H\"older inequalities, and
546: Littlewood-Paley theorem,
547: \begin{eqnarray*}\|P_0(\Tilde{P}_+f\tilde{P}_-D^\alpha_xg)\|_{L^p_xL^q_T}
548: &\lesssim & \Big\|\sum_{|p|\lesssim
549: 1}\Big[\Big(\sum_{j\in\Z}|Q^{-\gamma_1}_j\tilde{P}_+D^{\gamma_1}_xf|^2\Big)^{1/2}
550: \Big(\sum_{j\in\Z}|Q^{\gamma_1}_j\tilde{P}_-D^{\gamma_2}_xg|^2\Big)^{1/2}\Big]\Big\|_{L^p_xL^q_T}\\
551: &\lesssim & \Big\|
552: \Big(\sum_{j\in\Z}|Q^{-\gamma_1}_j\tilde{P}_+D^{\gamma_1}_xf|^2\Big)^{\frac{1}{2}}\Big\|_{L^{p_1}_xL^{q_1}_T}
553: \Big\|\Big(\sum_{j\in\Z}|Q^{\gamma_1}_j\tilde{P}_-D^{\gamma_2}_xg|^2\Big)^{\frac{1}{2}}\Big\|_{L^{p_2}_xL^{q_2}_T}\\
554: &\lesssim &
555: \|D^{\gamma_1}_xf\|_{L^{p_1}_xL^{q_1}_T}\|D^{\gamma_2}_xg\|_{L^{p_2}_xL^{q_2}_T}.
556: \Box
557: \end{eqnarray*}
558:
559:
560: \section{Nonlinear estimates}
561: \subsection{Gauge transformation}
562:
563: By a rescaling argument, it is sufficient to solve
564: \begin{equation}\label{resceq}u_t+\mathcal{H}u_{xx}=2u^ku_x\end{equation}
565: (equation with minus sign in front of the nonlinearity could be
566: treated in the same way). If $u\in\mathcal{C}([0,T];H^\infty(\R))$
567: is a smooth solution, we define the gauge
568: transformation\footnotemark[1]
569: \begin{equation}\label{gauge}w=P_+(e^{-iF}u),\quad
570: F=F(u)=\int_{-\infty}^xu^k(y,t)dy.\end{equation}
571: \footnotetext[1]{we can also set $F=\frac 12 \int_{-\infty}^xu^k$
572: in the non-rescaled case $u_t+\H u_{xx}=u^ku_x$.}
573:
574: The rest of this subsection is devoted to the proof of the
575: following estimate.
576:
577: \begin{proposition} Let be $k\geq 12$ and $s_k<s<1/2$. Let $u\in\mathcal{C}([0,T];H^\infty(\R))$ be a solution
578: of the Cauchy problem associated to (\ref{resceq}) with initial
579: data $u_0\in H^\infty(\R)$. Then there exist $\nu=\nu(s,k)>0$ and
580: a positive nondecreasing polynomial function $p_{k}$ such that
581: \begin{eqnarray}\nonumber\|u\|_{X^s_T}&\lesssim &\|u_0\|_{H^s}+T^\nu
582: p_{k}(\|u\|_{X^s_T})\|u\|_{X^s_T}\\
583: \label{estnonlin1} &&+(\|u_0\|_{H^s}^k+T^\nu
584: p_k(\|u\|_{X^s_T})\|u\|_{X^{s}_T})\|D^{s+1/2}_xw\|_{L^\infty_xL^2_T}.\end{eqnarray}
585: \end{proposition}
586: Proof : We start by splitting $u$ according to (\ref{smoothdec}).
587: Then, using that $|P_+u|=|P_-u|$ (since $u$ is real), we deduce
588: \begin{equation}\label{decu}\|u\|_{X^s_T}\lesssim
589: \|P_0u\|_{X^s_T}+\|\tilde{P}_+u\|_{X^s_T}.\end{equation} For the
590: low frequencies, we use the Duhamel formulation of (\ref{gBO}),
591: lemma \ref{lemestnonhom} and (\ref{estsg}) to get
592: \begin{eqnarray*}\|P_0u\|_{X^s_T} &\lesssim
593: & \|P_0u_0\|_{H^s}+\|P_0D^{1/2}_xu^{k+1}\|_{L^1_xL^2_T}\\
594: &\lesssim & \|u_0\|_{H^s}+\|u^{k+1}\|_{L^1_xL^2_T}\\ &\lesssim &
595: \|u_0\|_{H^s}+T^\nu\|u\|_{L^{k+1}_xL^{2k(k+1)}_T}^{k+1}\\
596: &\lesssim & \|u_0\|_{H^s}+T^\nu\|u\|_{X^s_T}.
597: \end{eqnarray*}
598:
599:
600: Now we consider the second term in the right-hand side of
601: (\ref{decu}). As mentioned in \cite{MR2101982}, $\tilde{P}_+u$
602: satisfies the dispersive equation
603: \[\partial_t(\tilde{P}_+u)+\H\partial^2_x(\tilde{P}_+u)=\tilde{P}_+(e^{iF}u^kw_x)-\tilde{P}_+(e^{iF}u^k\partial_x
604: P_-(e^{-iF}u)) +i\tilde{P}_+(u^{2k+1}).\] Thus, according to lemma
605: \ref{lemestnonhom} \begin{eqnarray*}\|\Tilde{P}u\|_{X^s_T}
606: &\lesssim &
607: \|V(t)u_0\|_{X^s_T}+\Big\|\int_0^tV(t-\tau)\tilde{P}_+(e^{iF}u^kw_x)(\tau)d\tau\Big\|_{X^s_T}\\
608: &\quad&+\|D^s_xu^{2k+1}\|_{L^{6/5}_{xT}}+
609: \|\tilde{P}_+(e^{iF}u^k\partial_x
610: P_-(e^{-iF}u))\|_{L^{(\frac{5}{6}+\frac{s}{3})^{-1}}_xL^{(\frac{5}{6}-\frac{2s}{3})^{-1}}_T}\\
611: & \lesssim & \|u_0\|_{H^s}+A+B+C.
612: \end{eqnarray*}
613: Obviously, \[B \lesssim
614: \|u^{2k}\|_{L^{3/2}_{xT}}\|D^s_xu\|_{L^6_{xT}} \lesssim
615: \|u\|_{L^{3k}_{xT}}^{2k}\|D^s_xu\|_{L^6_{xT}}\lesssim
616: T^\nu\|u\|_{X^s_T}^{2k+1}.\] Term $C$ has a structure
617: $P_+(fP_-g_x)$ thus by lemma \ref{P+P-}
618: \begin{eqnarray*}C &\lesssim &
619: \|D^{1/2}_x(e^{iF}u^k)\|_{L^{6/5}_xL^3_T}\|D^{1/2}_x(e^{-iF}u)\|_{L^{3/s}_xL^{(\frac{1}{2}-\frac{2s}{3})^{-1}}_T}\\
620: &\lesssim & C_1C_2.\end{eqnarray*} Using lemmas
621: \ref{leibniz}-\ref{comp}, we infer \begin{eqnarray}\nonumber C_1
622: &\lesssim &
623: \|D^{1/2}_xu^k\|_{L^{6/5}_xL^3_T}+\|D^{1/2}_xe^{iF}\|_{L^{(\frac{1}{2}-s)^{-1}}_xL^{2/s}_T}\|u^k\|_{L^{(\frac{1}{3}+s)^{-1}}_x
624: L^{(\frac{1}{3}-\frac{s}{2})^{-1}}_T}\\ \nonumber &\lesssim &
625: \|u\|_{L^{(k-1)(\frac{5}{6}-\frac{s}{3})^{-1}}_xL^{(k-1)(\frac{2s}{3}-\frac{1}{6})^{-1}}_T}^{k-1}\|D^{1/2}_xu\|_{L^{3/s}_xL^{(\frac{1}{2}-\frac{2s}{3}
626: )^{-1}}_T}\\ \nonumber &\quad &
627: +\|D^{-1/2}_x(u^ke^{iF})\|_{L^{(\frac{1}{2}-s)^{-1}}_xL^{2/s}_T}
628: \|u\|_{L^{k(\frac{1}{3}+s)^{-1}}_x
629: L^{k(\frac{1}{3}-\frac{s}{2})^{-1}}_T}^k\\ \nonumber &\lesssim &
630: T^\nu\|u\|_{X^s_T}^k+T^\nu\|u^k\|_{L^{1/(1-s)}_xL^{2/s}_T}\|u\|_{X^s_T}^k\\
631: \label{c1} &\lesssim &
632: T^\nu\|u\|_{X^s_T}^k+T^\nu\|u\|_{X^s_T}^{2k}
633: \end{eqnarray}
634: and in the same way
635: \begin{eqnarray}\nonumber C_2 &\lesssim &\|D^{1/2}_xu\|_{L^{3/s}_xL^{(\frac{1}{2}-\frac{2s}{3})^{-1}}_T}+
636: \|D^{1/2}_xe^{-iF}\|_{L^{(\frac{4s}{3}-\frac{1}{2})^{-1}}_x
637: L^{(\frac{1}{2}-\frac{2s}{3})^{-1}}_T}\|u\|_{L^{(\frac{1}{2}-s)^{-1}}_xL^\infty_T}\\
638: \nonumber &\lesssim
639: &\|D^{1/2}_xu\|_{L^{3/s}_xL^{(\frac{1}{2}-\frac{2s}{3})^{-1}}_T}+\|u^k\|_{L^{3/4s}_x
640: L^{(\frac{1}{2}-\frac{2s}{3})^{-1}}_T}\|u\|_{L^{(\frac{1}{2}-s)^{-1}}_xL^\infty_T}\\
641: \label{c2} &\lesssim & \|u\|_{X^s_T}+T^\nu\|u\|_{X^s_T}^{k+1}.
642: \end{eqnarray}
643: Combining (\ref{c1}) and (\ref{c2}), $C$ is bounded by $$C\lesssim
644: T^\nu(\|u\|_{X^s_T}^{k+1}+\|u\|_{X^s_T}^{2k+1}+\|u\|_{X^s_T}^{3k+1})\lesssim
645: T^\nu p_k(\|u\|_{X^s_T})\|u\|_{X^s_T}.$$ In order to study the
646: contribution of $A$, we decompose $e^{iF}u^kw_x$ as
647: \[e^{iF}u^kw_x=D^{1/2}_x(e^{iF}u^k\H D^{1/2}_xw)-[D^{1/2}_x,e^{iF}u^k]\H D^{1/2}_xw.\]
648: Therefore, according to lemma \ref{lemestnonhom}, and using the
649: fact that $\tilde{P}_+$ is continuous on $L^1_xL^2_T$,
650: \begin{eqnarray*}A &\lesssim &
651: \|D^s_x(e^{iF}u^k\H
652: D^{1/2}_xw)\|_{L^1_xL^2_T}+\|[D^{1/2}_x,e^{iF}u^k]\H
653: D^{1/2}_xw\|_{L^{(\frac{5}{6}+\frac{s}{3})^{-1}}_x
654: L^{(\frac{5}{6}-\frac{2s}{3})^{-1}}_T}\\ &\lesssim & A_1+A_2.
655: \end{eqnarray*}
656: Note that $A_1$ cannot be treated by lemma \ref{leibniz}, so we
657: use lemma A.13 in \cite{MR1086966}. This leads to
658: \begin{eqnarray*}A_1 &\lesssim &
659: \|D^s_x(e^{iF}u^k)\|_{L^{(1-\frac{s}{3})^{-1}}_xL^{3/2s}_T}
660: \|D^{1/2}_x(e^{-iF}u)\|_{L^{3/s}_xL^{(\frac{1}{2}-\frac{2s}{3})^{-1}}_T}+\|u^k\|_{L^1_xL^\infty_T}\|D^{s+1/2}_xw\|_{L^\infty_xL^2_T}\\
661: &\lesssim & A_{11}C_2+A_{12}^k\|D^{s+1/2}_xw\|_{L^\infty_xL^2_T}.
662: \end{eqnarray*}
663: By lemma \ref{leibniz} we bound the contribution of $A_{11}$ by
664: \begin{eqnarray*}
665: A_{11} &\lesssim &
666: \|D^s_xu^k\|_{L^{(1-\frac{s}{3})^{-1}}_xL^{3/2s}_T}+\|D^s_xe^{iF}\|_{L^{3/2s}_xL^{6/s}_T}
667: \|u^k\|_{L^{1/(1-s)}_xL^{2/s}_T}\\ &\lesssim &
668: \|u\|_{L^{(k-1)(\frac{5}{6}-\frac{s}{3})^{-1}}_xL^{(k-1)(\frac{2s}{3}-\frac{1}{6})^{-1}}_T}^{k-1}\|D^s_xu\|_{L^6_{xT}}+
669: \|u\|_{L^{k(1-\frac{s}{3})^{-1}}_xL^{6k/s}_T}^k
670: \|u\|_{L^{k/(1-s)}_xL^{2k/s}_T}^k \\ &\lesssim &
671: T^\nu\|u\|_{X^s_T}^k+T^\nu\|u\|_{X^s_T}^{2k}.
672: \end{eqnarray*}
673: To treat $A_{12}=\|u\|_{L^k_xL^\infty_T}$ we use the Duhamel
674: formulation of (\ref{gBO}) and lemma \ref{estsnonhom},
675: \begin{eqnarray*}A_{12} &\lesssim &
676: \|V(t)u_0\|_{L^k_xL^\infty_T}+\Big\|\int_0^tV(t-\tau)\partial_xu^{k+1}(\tau)d\tau\Big\|_{L^k_xL^\infty_T}\\
677: &\lesssim &
678: \|u_0\|_{H^s}+\|D^{s_k+1/2+3\eps}_xu^{k+1}\|_{L^{(1-\eps)^{-1}}_xL^{(\frac
679: 12+2\eps)^{-1}}_T}
680: \end{eqnarray*}
681: and setting $\eps'=\frac 13(s-s_k)-\eps>0$ it follows that
682: \begin{eqnarray*}
683: \lefteqn{\|D^{s_k+1/2+3\eps}_xu^{k+1}\|_{L^{(1-\eps)^{-1}}_xL^{(\frac
684: 12+2\eps)^{-1}}_T}}\\ &\lesssim &
685: \|D^{s+1/2-3\eps'}_xu\|_{L^{1/\eps'}_xL^{(\frac
686: 12-2\eps')^{-1}}_T} \|u^k\|_{L^{(1-\frac
687: 13(s-s_k))^{-1}}_xL^{\frac 32(s-s_k)^{-1}}_T}\\ &\lesssim &
688: T^\nu\|u\|_{X^s_T}\|u\|_{L^{k(1-\frac
689: 13(s-s_k))^{-1}}_xL^\infty_T}^k
690: \\ &\lesssim &
691: T^\nu\|u\|_{X^s_T}^{k+1}.
692: \end{eqnarray*}
693: Finally, according to lemma \ref{commu} we write
694: \begin{eqnarray*}A_2 &\lesssim &
695: \|D^{1/2}_x(e^{iF}u^k)\|_{L^{6/5}_xL^3_T}
696: \|D^{1/2}_x(e^{-iF}u)\|_{L^{3/s}_xL^{(\frac{1}{2}-\frac{2s}{3})^{-1}}_T}\\
697: &\lesssim & C_1C_2\\ &\lesssim & T^\nu
698: p_k(\|u\|_{X^s_T})\|u\|_{X^s_T},
699: \end{eqnarray*}
700: witch complete the proof of (\ref{estnonlin1}). $\Box$
701:
702: \subsection{Estimate of $\|D^{s+1/2}_xw\|_{L^\infty_xL^2_T}$}
703:
704: Now our aim is to estimate the term
705: $\|D^{s+1/2}_xw\|_{L^\infty_xL^2_T}$ which appears in
706: (\ref{estnonlin1}). More precisely we will prove the following
707: proposition.
708:
709: \begin{proposition} Let $k\geq 12$ and $s_k<s<1/2$. For all solution $u\in\mathcal{C}([0,T];
710: H^\infty(\R))$ of (\ref{resceq}) with initial data
711: $u_0\in{H}^\infty(\R)$, we have the following bound,
712: \begin{equation}\label{estnonlin2}\|D^{s+1/2}_xw\|_{L^\infty_xL^2_T} \lesssim p_{k}(\|u_0\|_{H^s})\|u_0\|_{H^s}+T^\nu
713: p_{k}(\|u\|_{X^s_T})\|u\|_{X^s_T}\end{equation} where $p_{k}$ is a
714: positive nondecreasing polynomial function.
715: \end{proposition}
716: Proof : Following \cite{MR2101982}, we see that $w$ satisfies the
717: equation \begin{eqnarray}\nonumber w_t+\H w_{xx} &=&
718: P_+[2e^{-iF}(-ku^kP_-u_x-iP_-u_{xx})]\\
719: \label{eqw} &&-ik(k-1)P_+\Big(e^{-iF}u\int_{-\infty}^xu^{k-2}u_x\H
720: u_x\Big).\end{eqnarray} Thus using the Duhamel formulation of
721: (\ref{eqw}) and lemma \ref{lemestnonhom} we infer
722: \begin{eqnarray}\nonumber \|D^{s+1/2}_xw\|_{L^\infty_xL^2_T} &\lesssim &
723: \|D^{s+1/2}_xV(t)w(0)\|_{L^\infty_xL^2_T}\\ &&\nonumber +
724: \|P_+[2e^{-iF}(-ku^kP_-u_x-iP_-u_{xx})]\|_{L^{(\frac{5}{6}+\frac{s}{3})^{-1}}_xL^{(\frac{5}{6}-\frac{2s}{3})^{-1}}_T}\\
725: \label{termint}&\quad &
726: +\Big\|D^{s+1/2}_x\int_0^tV(t-\tau)P_+\Big(e^{-iF}u\int_{-\infty}^xu^{k-2}u_x\H
727: u_x\Big)d\tau\Big\|_{L^\infty_xL^2_T}.
728: \end{eqnarray}
729: The first term of right-hand side can be bounded by
730: \begin{eqnarray*}\|D^{s+1/2}_xV(t)w(0)\|_{L^\infty_xL^2_T} &\lesssim &
731: \|e^{-iF(u_0)}u_0\|_{H^s}\\ &\lesssim &
732: \|u_0\|_{L^2}+\|e^{-iF(u_0)}\|_{L^\infty}\|D^s_xu_0\|_{L^2}+\|D^s_xe^{-iF(u_0)}\|_{L^{1/s}}\|u_0\|_{L^{(\frac{1}{2}-s)^{-1}}}\\
733: &\lesssim &
734: \|u_0\|_{H^s}+\|D^{s-1}(e^{-iF(u_0)}u_0^k)\|_{L^{1/s}}\|u_0\|_{H^s}\\
735: &\lesssim & \|u_0\|_{H^s}(1+\|u_0^k\|_{L^1})\\
736: &\lesssim & \|u_0\|_{H^s}(1+\|u_0\|_{H^s}^k).\end{eqnarray*} On
737: the other hand, according to lemma \ref{P+P-}, we see that
738: \begin{eqnarray*} \lefteqn{\|P_+[2e^{-iF}(-ku^kP_-u_x-iP_-u_{xx})]\|_{L^{(\frac{5}{6}+\frac{s}{3})^{-1}}_xL^{(\frac{5}{6}-\frac{2s}{3})^{-1}}_T}}
739: \\ &\lesssim &
740: \|D^{1/2}_x(e^{-iF}u^k)\|_{L^{6/5}_xL^3_T}\|D^{1/2}_xu\|_{L^{3/s}_xL^{(\frac{1}{2}-\frac{2s}{3})^{-1}}_T}\\
741: &\lesssim & C_1\|u\|_{X^s_T}\\ &\lesssim &
742: T^\nu\|u\|_{X^s_T}^{k+1}+T^\nu\|u\|_{X^s_T}^{2k+1}
743: \end{eqnarray*}
744: Thus it remains to estimate the integral term in (\ref{termint}),
745: that is, the last one. For this purpose, we split it as
746: \begin{eqnarray*}\int_{-\infty}^xu^{k-2}u_x\H u_x &=& {P}_0
747: \int_{-\infty}^xu^{k-2}u_x\H u_x+
748: \tilde{P}_+\int_{-\infty}^xu^{k-2}u_x\H
749: u_x+\tilde{P}_-\int_{-\infty}^xu^{k-2}u_x\H u_x\\
750: &=& I+II+III.\end{eqnarray*} By symmetry, it will be enough to
751: consider the contributions of $I$ and $II$.
752:
753: \textbf{Contribution of $I$}\\
754: Using a commutator operator, we decompose \[D^s_x(e^{-iF}u
755: I)=D^s_x(e^{-iF}u)I+[D^s_x,I]e^{-iF}u.\] Therefore thanks to lemma
756: \ref{lemestnonhom} we obtain
757: \begin{eqnarray*}\lefteqn{\Big\|D^{s+1/2}_x \int_{0}^tV(t-\tau)P_+\Big(e^{-iF}u\int_{-\infty}^x{P}_0(u^{k-2}u_x\H
758: u_x)\Big)d\tau\Big\|_{L^\infty_xL^2_T}} \\ & \lesssim &
759: \Big\|D^s_x(e^{-iF}u)\int_{-\infty}^x{P}_0(u^{k-2}u_x\H
760: u_x)\Big\|_{L^1_TL^2_x} \\ && \quad +
761: \Big\|D^{1/4}_x\Big[D^s_x,\int_{-\infty}^x{P}_0(u^{k-2}u_x\H
762: u_x)\Big]e^{-iF}u\Big\|_{L^{4/3}_xL^1_T}\\ & \lesssim &
763: D+E.\end{eqnarray*} The contribution of $D$ is treated as follows.
764: \begin{eqnarray*}D &\lesssim &
765: \|D^s_x(e^{-iF}u)\|_{L^\infty_TL^2_x}\Big\|\int_{-\infty}^x{P}_0(u^{k-2}u_x\H
766: u_x)\Big\|_{L^1_TL^\infty_x}\\ &\lesssim &
767: (\|D^s_xu\|_{L^\infty_TL^2_x}+\|D^s_xe^{-iF}\|_{L^\infty_TL^{1/s}_x}\|u\|_{L^\infty_TL^{(\frac{1}{2}-s)^{-1}}_x})
768: \|{P}_0(u^{k-2}\partial_xG(u,u))\|_{L^1_{xT}}\\
769: &\lesssim &
770: T^\nu\|u\|_{L^\infty_TH^s_x}(1+\|u\|_{L^\infty_TH^{s_k}_x}^k)
771: \|{P}_0(u^{k-2}\partial_xG(u,u))\|_{L^1_xL^{1/(1-\eps)}_{T}}\\
772: &\lesssim &
773: T^\nu\|u\|_{X^s_T}(1+\|u\|_{X^s_T}^k)\|{P}_0(u^{k-2}\partial_xG(u,u))\|_{L^1_xL^{1/(1-\eps)}_{T}}.
774: \end{eqnarray*}
775: The low frequencies term is estimated with lemma \ref{lowfreq}. We
776: get
777: \begin{eqnarray*}
778: \lefteqn{\|{P}_0(u^{k-2}\partial_xG(u,u))\|_{L^1_xL^{1/(1-\eps)}_{T}}}
779: \\ &\lesssim &
780: \|D^{1-2s+6\eps}_xu^{k-2}\|_{L^{1/(1-2\eps)}_xL^{1/3\eps}_T}
781: \|D^{2s-6\eps}_xG(u,u)\|_{L^{1/2\eps}_xL^{1/(1-4\eps)}_T} \\
782: &\quad &
783: +\|{P}_0u^{k-2}\|_{L^{(1-\frac{2s}{3})^{-1}}_xL^{(\frac{4s}{3}-\eps)^{-1}}_T}\|{P}_0\partial_x
784: G(u,u)\|_{L^{3/2s}_xL^{(1-\frac{4s}{3})^{-1}}_T}\\ &\lesssim &
785: \|u^{k-3}\|_{L^{(3s-\frac{1}{2}-2\eps)^{-1}}_xL^{\infty}_T}
786: \|D^{1-2s+6\eps}_xu\|_{L^{(\frac{3}{2}-3s)^{-1}}_xL^{1/3\eps}_T}
787: \|D^{s+1/2-3\eps}_xu\|_{L^{1/\eps}_xL^{(\frac{1}{2}-2\eps)^{-1}}_T}^2\\
788: &\quad & +\|u\|_{L^{k-2}_xL^\infty_T}^{k-2}
789: \|D^{1/2}_xu\|_{L^{3/s}_xL^{(\frac{1}{2}-\frac{2s}{3})^{-1}}_T}^2\\
790: &\lesssim & \|u\|_{X^s_T}^{k}.
791: \end{eqnarray*}
792: Note that in order to bound the norm
793: $N_9=\|D^{1-2s+6\eps}_xu\|_{L^{(\frac{3}{2}-3s)^{-1}}_xL^{1/3\eps}_T}$,
794: we have to impose $k\geq 12$. Indeed, for $\eps>0$ small enough,
795: the triplet $(1-3s+6\eps,(\frac 32-3s)^{-1},1/3\eps)$ is
796: 1-admissible if and only if $$\Big(\frac 32-3s\Big)^{-1}\geq
797: 4\quad \textrm{ and }\quad 2\Big(\frac 32-3s\Big)+3\eps\leq \frac
798: 12$$ if and only if $s>5/12=1/2-1/12$.
799:
800: To bound $E$ by lemma \ref{commu},
801: \begin{eqnarray*}E &\lesssim & T^\nu \Big\|D^{1/4}_x\Big[D^s_x,\int_{-\infty}^x{P}_0(u^{k-2}u_x\H
802: u_x)\Big]e^{-iF}u\Big\|_{L^{4/3}_xL^{1/(1-\eps)}_T}\\
803: &\lesssim & T^\nu
804: \|D^{s-3/4}_x{P}_0(u^{k-2}\partial_xG(u,u))\|_{L^{(s+\frac{1}{4})^{-1}}_xL^{1/(1-\eps)}_T}
805: \|u\|_{L^{(\frac{1}{2}-s)^{-1}}_xL^\infty_T}\\ &\lesssim & T^\nu
806: \|{P}_0(u^{k-2}\partial_xG(u,u))\|_{L^1_xL^{1/(1-\eps)}_T}\|u\|_{X^s_T}\\
807: &\lesssim & T^\nu\|u\|_{X^s_T}^{k+1}.
808: \end{eqnarray*}
809:
810: \textbf{Contribution of $II$}\\
811: We split the term $II$ into $$II = II_1+II_2+II_3$$ with
812: \begin{eqnarray*} II_1 &=&
813: \int_{-\infty}^x\tilde{P}_+(u^{k-2}P_-(u_x\H u_x)),\\ II_2 &=&
814: \int_{-\infty}^x\tilde{P}_+(P_+(u^{k-2})P_+(u_x\H u_x)),\\
815: II_3&= & \int_{-\infty}^x\tilde{P}_+(P_-(u^{k-2})P_+(u_x\H u_x)).
816: \end{eqnarray*}
817:
818: \textbf{Contribution of $II_1$}\\
819: The treatment of $II_1$ is similar to the one of $I$. We write
820: \[D^s_x(e^{-iF}u II_1)=D^s_x(e^{-iF}u)II_1+[D^s_x,II_1]e^{-iF}u\]
821: and thus
822: \begin{eqnarray*}\lefteqn{\Big\|D^{s+1/2}_x\int_{0}^tV(t-\tau)P_+\Big(e^{-iF}u\int_{-\infty}^x\tilde{P}_+(u^{k-2}P_-(u_x\H
823: u_x))\Big)d\tau\Big\|_{L^\infty_xL^2_T}} \\ &\lesssim &
824: \Big\|D^s_x(e^{-iF}u)\int_{-\infty}^x\tilde{P}_+(u^{k-2}P_-(u_x\H
825: u_x))\Big\|_{L^1_TL^2_x} \\ && +
826: \Big\|D^{1/4}_x\Big[D^s_x,\int_{-\infty}^x\tilde{P}_+(u^{k-2}P_-(u_x\H
827: u_x))\Big]e^{-iF}u\Big\|_{L^{4/3}_xL^1_T}\\&\lesssim &
828: D'+E'.\end{eqnarray*} We first bound $D'$ as
829: \begin{eqnarray*}D' &\lesssim &
830: \|D^s_x(e^{-iF}u)\|_{L^\infty_TL^2_x}\Big\|\int_{-\infty}^x\tilde{P}_+(u^{k-2}P_-(u_x\H
831: u_x))\Big\|_{L^1_TL^\infty_x}\\ &\lesssim &
832: \|u\|_{X^s_T}(1+\|u\|_{X^s_T}^k)
833: \|\tilde{P}_+(u^{k-2}P_-\partial_xG(u,u))\|_{L^1_TL^{1/(1-\eps)}_{x}}\\
834: &\lesssim & T^\nu\|u\|_{X^s_T}(1+\|u\|_{X^s_T}^k)
835: \|\tilde{P}_+(u^{k-2}P_-\partial_xG(u,u))\|_{L^{1/(1-\eps)}_{xT}}
836: \end{eqnarray*}
837: and using lemma \ref{P+P-}, we get
838: \begin{eqnarray*}
839: \lefteqn{\|\tilde{P}_+(u^{k-2}P_-\partial_xG(u,u))\|_{L^{1/(1-\eps)}_{xT}}}
840: \\ &\lesssim &
841: \|D^{1-2s+6\eps}_xu^{k-2}\|_{L^{1/(1-3\eps)}_xL^{1/3\eps}_T}
842: \|D^{2s-6\eps}_xG(u,u)\|_{L^{1/2\eps}_xL^{1/(1-4\eps)}_T}\\
843: &\lesssim &
844: \|u^{k-3}\|_{L^{(3s-\frac{1}{2}-3\eps)^{-1}}_xL^{\infty}_T}
845: \|D^{1-2s+6\eps}_xu\|_{L^{(\frac{3}{2}-3s){-1}}_xL^{1/3\eps}_T}
846: \|D^{s+1/2-3\eps}_xu\|_{L^{1/\eps}_xL^{(\frac{1}{2}-2\eps)^{-1}}_T}^2
847: \\
848: &\lesssim & \|u\|_{X^s_T}^{k}.
849: \end{eqnarray*}
850: Next, $E'$ is estimated as follows
851: \begin{eqnarray*}E' &\lesssim & T^\nu \Big\|D^{1/4}_x\Big[D^s_x,\int_{-\infty}^x\tilde{P}_+(u^{k-2}P_-(u_x\H
852: u_x))\Big]e^{-iF}u\Big\|_{L^{4/3}_xL^{1/(1-\eps)}_T}\\
853: &\lesssim & T^\nu
854: \|D^{s-3/4}_x\tilde{P}_+(u^{k-2}P_-\partial_xG(u,u))\|_{L^{(s+\frac{1}{4})^{-1}}_xL^{1/(1-\eps)}_T}
855: \|u\|_{L^{(\frac{1}{2}-s)^{-1}}_xL^\infty_T}\\ &\lesssim & T^\nu
856: \|\tilde{P}_+(u^{k-2}P_-\partial_xG(u,u))\|_{L^{1/(1-\eps)}_{xT}}\|u\|_{X^s_T}\\
857: &\lesssim & T^\nu\|u\|_{X^s_T}^{k+1}.
858: \end{eqnarray*}
859:
860: \textbf{Contribution of $II_2$}\\
861: A decomposition of $u^{k-2}$ into low and high frequencies, an
862: integration by parts, and formulas (\ref{defg1}-\ref{defg2}) give
863: \begin{equation}\begin{split} II_2 &= \int_{-\infty}^x\tilde{P}_+[P_+P_{\leq
864: -4}u^{k-2}P_+P_{\geq
865: -3}\partial_xG(u,u)]+\int_{-\infty}^x\tilde{P}_+[P_+P_{\geq
866: -3}u^{k-2}P_+\partial_xG(u,u)]\\ \label{II2} &=
867: \tilde{P}_+[P_+P_{\leq -4}u^{k-2}P_+P_{\geq
868: -3}G(u,u)]-i\tilde{P}_+G(P_{\leq -4}u^{k-2}, P_{\geq
869: -3}\partial_x^{-1}G(u,u))\\ & \quad +i \tilde{P}_+G(P_{\geq
870: -3}\partial_x^{-1}u^{k-2},G(u,u)).\end{split}
871: \end{equation}
872: We bound the first term by
873: \begin{eqnarray}\nonumber \lefteqn{\Big\| D^{s+1/2}_x\int_0^tV(t-\tau)P_+(e^{-iF}u\tilde{P}_+
874: [P_+P_{\leq -4}u^{k-2}P_+P_{\geq
875: -3}G(u,u)])(\tau)d\tau\Big\|_{X^s_T}}
876: \\ \nonumber &\lesssim &
877: \|u\tilde{P}_+[P_+P_{\leq -4}u^{k-2}P_+P_{\geq
878: -3}G(u,u)]\|_{L^{(\frac{5}{6}+\frac{s}{3})^{-1}}_xL^{(\frac{5}{6}-\frac{2s}{3})^{-1}}_T}\\
879: \nonumber &\lesssim &
880: \|u\|_{L^{(k-1)(\frac{5}{6}-\frac{s}{3})^{-1}}_xL^{(k-1)(\frac{2s}{3}-\frac{1}{6})^{-1}}_T}\\
881: \nonumber &&\times \|P_+P_{\leq -4}u^{k-2}P_+P_{\geq
882: -3}G(u,u)\|_{L^{(k-1)[k(\frac{5}{6}+\frac{s}{3})-\frac{5}{3}]^{-1}}_xL^{(k-1)[k(\frac{5}{6}-\frac{2s}{3})-\frac{2}{3}]^{-1}}_T}
883: \\
884: &\lesssim & \nonumber
885: \|u\|_{L^{(k-1)(\frac{5}{6}-\frac{s}{3})^{-1}}_xL^{(k-1)(\frac{2s}{3}-\frac{1}{6})^{-1}}_T}\\
886: \nonumber && \times
887: \|u^{k-2}\|_{L^{\frac{k-1}{k-2}(\frac{5}{6}-\frac{s}{3})^{-1}}_xL^{\frac{k-1}{k-2}(\frac{2s}{3}-\frac{1}{6})^{-1}}_T}
888: \|G(u,u)\|_{L^{3/2s}_xL^{(1-\frac{4s}{3})^{-1}}_T}\\
889: \nonumber &\lesssim &
890: \|u\|_{L^{(k-1)(\frac{5}{6}-\frac{s}{3})^{-1}}_xL^{(k-1)(\frac{2s}{3}-\frac{1}{6})^{-1}}_T}^{k-1}
891: \|D^{1/2}_xu\|_{L^{3/s}_xL^{(\frac{1}{2}-\frac{2s}{3})^{-1}}_T}^2\\
892: \label{II21} &\lesssim & T^\nu\|u\|_{X^s_T}^{k+1}.
893: \end{eqnarray}
894: The other terms in (\ref{II2}) are teated in the same way via
895: lemma \ref{lemg}.
896:
897: \textbf{Contribution of $II_3$}\\
898: In order to share the derivative on $G(u,u)$ in $II_3$ with lemma
899: \ref{P+P-}, we first integrate by parts
900: \[II_3 =
901: \tilde{P}_+[P_-u^{k-2}P_+G(u,u)]-\tilde{P}_+\Big[\int_{-\infty}^x
902: P_-\partial_x u^{k-2}P_+G(u,u)\Big].\] Then we see that the first
903: term can be estimated exactly as (\ref{II21}). Finally for the
904: last term in the previous equality we repeat the proof for the
905: contribution of $II_1$. $\Box$
906:
907:
908: \section{Proof of Theorem \ref{mainresult}}
909: In this section we briefly recall the standard arguments which
910: yield well-posedness for (\ref{gBO}) ; we refer the reader to
911: \cite{MR2101982} for details. We choose $k\geq 12$ and
912: $s_k<s<1/2$.
913:
914: We start by taking a sequence $(u_0^n)_n$ in $H^\infty(\R)$ such
915: that $u_0^n\rightarrow u_0$ in $H^s(\R)$ and $\|u_0^n\|_{H^s}\leq
916: \|u_0\|_{H^s}$. Now let $u_n\in H^\infty(\R)$ be the solutions of
917: (\ref{gBO}) with initial data $u_0^n$. Then bounds
918: (\ref{estnonlin1}) and (\ref{estnonlin2}) imply the \textit{a
919: priori} estimate
920: \begin{equation}\|u_n\|_{X^s_T}\lesssim
921: p_{k}(\|u_0^n\|_{H^s})\|u_0^n\|_{H^s}+T^\nu
922: p_{k}(\|u_n\|_{X^s_T})\|u_n\|_{X^s_T}.\end{equation} This allows
923: us to obtain the existence of a $T>0$ small enough and a solution
924: $u\in X^s_T$ of (\ref{gBO}).
925:
926: Using the integral equation (\ref{duhamel}) and
927: (\ref{estnonlin1})-(\ref{estnonlin2}) it follows that for all
928: $0<t_1<t_2<T$,
929: \begin{eqnarray*}\|u(t_1)-u(t_2)\|_{H^s} &\lesssim &
930: \sup_{t\in[t_1,t_2]}\|u(t)-u(t_1)\| \\ &\lesssim &
931: \|u(t)-u(t_1)\|_{L^\infty([t_1,t_2];H^s)}+\Big\|\int_{t_1}^tV(t-\tau)\partial_x(u^{k+1})(\tau)d\tau\Big\|_{L^\infty([t_1,t_2];H^s)}
932: \\ &\lesssim & o(1).
933: \end{eqnarray*}
934: This shows that $u\in\mathcal{C}([0,T];H^s(\R))$.
935:
936: We now turn to the proof of the uniqueness and the dependance of
937: the solution upon the data. In this purpose we must establish the
938: estimate
939: $$\|u_1-u_2\|_{X^s_T}\lesssim
940: p_{k}(\|u_{0,1}\|_{H^s}+\|u_{0,2}\|_{H^s})\|u_{0,1}-u_{0,2}\|_{H^s}+T^\nu
941: p_{k}(\|u_1\|_{X^s_T}+\|u_2\|_{X^s_T})\|u_1-u_2\|_{X^s_T}$$ for
942: $u_1$, $u_2$ two solutions of (\ref{gBO}) associated to initial
943: data $u_{0,1}$ and $u_{0,2}$ respectively. We process exactly as
944: in section 3 with the gauge transformation $$w=w_1-w_2,\quad
945: w_j=P_+(e^{-iF_j}u_j),\quad F_j=\int_{-\infty}^xu^k_j(y,t)dy.$$
946: The main new ingredient to use is the estimate
947: $$|e^{i\int_{-\infty}^xf_1}-e^{i\int_{-\infty}^xf_2}|\lesssim
948: \|f_1-f_2\|_{L^1}$$ for any real functions $f_1$, $f_2$ as explained in \cite{MR2101982}.
949:
950:
951:
952: \renewcommand{\theequation}{A-\arabic{equation}}
953: % redefine the command that creates the equation no.
954: \setcounter{equation}{0} % reset counter
955: \section*{Appendix} % use *-form to suppress numbering
956:
957:
958: This subsection is devoted to the proof of theorem \ref{illth}. As
959: in \cite{MR2038121,MR1950814,MR1885293}, it is a consequence of
960: the following result.
961:
962: \begin{lemma}\label{lem}Let $s<1/3$. Then there exists a sequence of
963: functions $\{h_N\}\subset H^s(\mathbb{R})$ such that for all
964: $T>0$,
965: \[\|h_N\|_{H^s}\lesssim 1\]
966: \begin{equation}\label{cond2}\lim_{N\rightarrow
967: +\infty}\sup_{[0,T]}\Big\|\int_0^tV(t-s)\partial_x((V(s)h_N)^4)ds\Big\|_{H^s}=+\infty\end{equation}
968:
969: \end{lemma}
970:
971:
972: We show first that lemma \ref{lem} implies the result.\\
973: Suppose that theorem \ref{illth} fails. Since the flow-map
974: $\varphi\mapsto u(\varphi)$ is of class $\mathcal{C}^4$ at the
975: origin, we have the relation
976: \[F(u,\varphi):=u(\varphi)-V(t)\varphi+\int_0^tV(t-s)u^3(s)\partial_xu(s)ds=0\]
977: which together with the implicit function theorem yields
978: \[v(t,x):=\frac{\partial^3
979: u}{\partial\varphi^3}(t,x,0)[h_N,...,h_N]=3!\int_0^tV(t-s)\partial_x((V(s)h_N)^4)ds.\]
980: Hence \[\sup_{[0,T]}\|v(t)\|_{H^s}\lesssim\|h_N\|_{H^s}\lesssim
981: 1,\] witch contradicts (\ref{cond2}).
982:
983: \textbf{Proof of lemma \ref{lem}}\\
984: For each integer $N$, we define the function $h_N$ though its
985: Fourier transform by
986: \[\widehat{h_N}(\xi)=\alpha^{-1/2}N^{-s}\big(\chi_1(\xi)+\chi_2(\xi)\big)\]
987: where $\chi_1=\chi_{[N,N+\alpha]}$, $\chi_2(\xi)=\chi_1(-\xi)$ and
988: $\alpha=N^{-\theta}$, $\theta>0$ to be chosen later. Observe that
989: $h_N$ is a real valued function since $\widehat{h_N}$ is even.
990: Moreover, an obvious calculation yields $\|h_N\|_{H^s}\simeq 1$.\\
991: We now want to estimate $|\hat{v}|$ :
992: \begin{eqnarray*}\hat{v}(\xi_0,t) & \simeq & \xi_0 e^{ip(\xi_0)t}\int_0^te^{-ip(\xi_0)s}\mathcal{F}_x((V(s)h_N)^4)ds\\
993: &\simeq & \alpha^{-2}N^{-4s}\xi_0
994: e^{ip(\xi_0)t}\sum_{n=0}^4\int_0^te^{-ip(\xi_0)s}\big(e^{ip(\xi_0)s}\chi_1\big)^{\ast
995: n}\ast\big(e^{ip(\xi_0)s}\chi_2\big)^{\ast(4-n)}ds\\ & := &
996: \sum_{n=0}^4v_n
997: \end{eqnarray*}
998: where we defined $p(\xi)=\xi|\xi|$ and $f^{\ast n}=f\ast...\ast f$.
999: The function $v_4$ is supported in $[4N,4N+4\alpha]$ which is
1000: disjoined with the supports of $v_n$, $n=0,1,2,3$. Consequently,
1001: \begin{eqnarray*}\lefteqn{\hat{v}(\xi_0,t)\chi_{[4N,4N+4\alpha]}(\xi_0)}\\ &
1002: \simeq & \alpha^{-2}N^{-4s}\xi_0
1003: e^{ip(\xi_0)t}\int_0^t\int_{\mathbb{R}^3}
1004: e^{-ip(\xi_0)s}e^{ip(\xi_0-\xi_1)s}e^{ip(\xi_1-\xi_2)s}
1005: e^{ip(\xi_2-\xi_3)s}e^{ip(\xi_3)s}\\
1006: & & \quad \times \chi_1(\xi_0-\xi_1)\chi_1(\xi_1-\xi_2)\chi_1(\xi_2-\xi_3)\chi_1(\xi_3)d\xi_1d\xi_2d\xi_3ds\\
1007: & \simeq & \alpha^{-2}N^{-4s}\xi_0
1008: e^{ip(\xi_0)t}\int_{\mathbb{R}^3}\frac{e^{itP(\xi_0,\xi_1,\xi_2,\xi_3)}-1}{P(\xi_0,\xi_1,\xi_2,\xi_3)}\\
1009: & & \quad \times
1010: \chi_1(\xi_0-\xi_1)\chi_1(\xi_1-\xi_2)\chi_1(\xi_2-\xi_3)\chi_1(\xi_3)d\xi_1d\xi_2d\xi_3
1011: \end{eqnarray*}
1012: with
1013: $P(\xi_0,\xi_1,\xi_2,\xi_3)=-2\sum_{j=1}^3\xi_j(\xi_{j-1}-\xi_j)$.
1014: For $(\xi_{j-1}-\xi_j)$ and $\xi_3$ in $[4N,4N+4\alpha]$, we have
1015: \[P(\xi_0,\xi_1,\xi_2,\xi_3)\simeq N^2\quad\textrm{ and }\quad\Big|\frac{e^{itP(\xi_0,\xi_1,\xi_2,\xi_3)}-1}{P(\xi_0,\xi_1,\xi_2,\xi_3)}\Big|
1016: =|t|+O(N^2) \gtrsim 1,\] witch yields
1017: \[|\hat{v}(\xi_0,t)|\chi_{[4N,4N+4\alpha]}(\xi_0)\gtrsim
1018: \alpha^{-2}N^{-4s}|\xi_0|\chi_1^{\ast4}(\xi_0).\] By
1019: straightforward calculations,
1020: \[\chi_1^{\ast4}(\xi)\simeq\int_{\mathbb{R}}\exp\big(-i\xi_1(4N+2\alpha-\xi)\big)\Big(\frac{\sin
1021: i\alpha\xi_1/2}{\xi_1}\Big)^4d\xi_1\] and hence
1022: $\chi_1^{\ast4}(4N+2\alpha)\simeq \alpha^3$. By a continuity
1023: argument, $\chi_1^{\ast4}(\xi)\simeq \alpha^3$ for all
1024: $\xi\in[4N,4N+4\alpha]$. This proves that
1025: \[|\hat{v}(\xi_0,t)|\chi_{[4N,4N+4\alpha]}(\xi_0)\gtrsim \alpha
1026: N^{-4s+1}\chi_{[4N,4N+4\alpha]}(\xi_0)\] and finally
1027: \[\|v\|_{H^s}\gtrsim \alpha
1028: N^{-4s+1}\Big(\int_{4N}^{4N+4\alpha}(1+|\xi|^2)^sd\xi\Big)^{1/2}\gtrsim
1029: \alpha N^{-4s+1}N^s\alpha^{1/2}\gtrsim N^{-3s+1-3\theta/2}.\]
1030: Since $s<1/3$, we can choose $\theta>0$ such that
1031: $-3s+1-3\theta/2>0$ and it follows that
1032: $\|v\|_{H^s}\rightarrow+\infty$. $\Box$
1033:
1034:
1035:
1036: % The Appendices part is started with the command \appendix;
1037: % appendix sections are then done as normal sections
1038: % \appendix
1039:
1040: % \section{}
1041: % \label{}
1042:
1043: % Bibliographic references with the natbib package:
1044: % Parenthetical: \citep{Bai92} produces (Bailyn 1992).
1045: % Textual: \citet{Bai95} produces Bailyn et al. (1995).
1046: % An affix and part of a reference:
1047: % \citep[e.g.][Ch. 2]{Bar76}
1048: % produces (e.g. Barnes et al. 1976, Ch. 2).
1049:
1050: \bibliographystyle{plain}
1051: \bibliography{gbo}
1052:
1053: %\begin{thebibliography}{}
1054:
1055: % \bibitem[Names(Year)]{label} or \bibitem[Names(Year)Long names]{label}.
1056: % (\harvarditem{Name}{Year}{label} is also supported.)
1057: % Text of bibliographic item
1058:
1059: %\bibitem[]{}
1060:
1061: %\end{thebibliography}
1062:
1063:
1064:
1065:
1066: \end{document}
1067: