 {\varphi}\|_{X^{s_2, b}_-}$$ which follows from Corollary \[cor wave-sobolev and X\^sb estimate\] provided $$s_1>-\frac{1}{2},\qquad s_2>-\frac{1}{2}, \qquad s_1 + s_2> -\frac{1}{2} + \epsilon.$$ The $low$-$hi$ case now follows by taking $s_1=0$, $s_2 =  - \frac{1}{2} + 2\epsilon$ and observing that $$\begin{aligned}
                  \| I^2 ( u_{low} v_{hi} ) \|_{H^{r-2s -1, b-1}(S_{\Delta T})} &{\lesssim}\| u_{low} v_{hi}  \|_{H^{-\frac{1}{2}, b-1}(S_{\Delta T})} \\
                  &{\lesssim}\|  u_{low}  \|_{X_+^{0, b}(S_{\Delta T})} \|  v_{hi} \|_{X^{-\frac{1}{2} + 2\epsilon, b}_{-}(S_{\Delta T})}\\
                  &{\lesssim}N^{-\frac{1}{2} + 2\epsilon} \| I u \|_{X_+^{0, b}(S_{\Delta T})} \| I v\|_{X^{0, b}_{-}(S_{\Delta T})}.
        \end{aligned}$$

**$\bullet$ Case 3 ( $hi$-$low$).** Follows by taking $s_1 = -\frac{1}{2} + 2\epsilon$, $s_2= 0$ in (\[lem mod lwp proof - low hi case eqn4\]) and using an identical argument to the previous case.\
**$\bullet$ Case 4 ( $hi$-$hi$).** As before, we use (\[lem mod lwp proof - low hi case eqn4\]) with $s_1 = - \frac{1}{2} +2\epsilon - s$ and $s_2 = s$ and apply a similar argument to the above cases.

Bilinear Estimates {#sec bilinear est}
==================

In this section we prove Theorem \[thm main X\^sb esimate\]. To help simplify the proof, we start by introducing some notation. Let $m : {\mathbb{R}}^3\times{\mathbb{R}}^3 \rightarrow {\mathbb{C}}$
{ \varphi}\|_{X^{s_2, b}_-}$$ which follows from Corollary \[cor wave - sobolev and X\^sb estimate\ ] provided $ $ s_1>-\frac{1}{2},\qquad s_2>-\frac{1}{2 }, \qquad s_1 + s_2 > -\frac{1}{2 } + \epsilon.$$ The $ low$-$hi$ case now follow by accept $ s_1=0 $, $ s_2 =   - \frac{1}{2 } + 2\epsilon$ and observing that $ $ \begin{aligned } 
                   \| I^2 (u_{low } v_{hi }) \|_{H^{r-2s -1, b-1}(S_{\Delta T }) } & { \lesssim}\| u_{low } v_{hi }   \|_{H^{-\frac{1}{2 }, b-1}(S_{\Delta T }) } \\ 
                   & { \lesssim}\|   u_{low }   \|_{X_+^{0, b}(S_{\Delta T }) } \|   v_{hi } \|_{X^{-\frac{1}{2 } + 2\epsilon, b}_{-}(S_{\Delta T})}\\ 
                   & { \lesssim}N^{-\frac{1}{2 } + 2\epsilon } \| I u \|_{X_+^{0, b}(S_{\Delta T }) } \| I v\|_{X^{0, b}_{-}(S_{\Delta T }) }. 
         \end{aligned}$$ 

 * * $ \bullet$ Case 3 ($ hi$-$low$). * * Follows by taking $ s_1 = -\frac{1}{2 } + 2\epsilon$, $ s_2= 0 $ in (\[lem mod lwp validation - low hi case eqn4\ ]) and practice an identical argument to the previous case.\ 
 * * $ \bullet$ Case 4 ($ hi$-$hi$). * * As earlier, we use (\[lem mod lwp proof - broken hi case eqn4\ ]) with $ s_1 = - \frac{1}{2 } +2\epsilon - s$ and $ s_2 = s$ and enforce a exchangeable argument to the above cases. 

 Bilinear Estimates { # sec bilinear est } 
 = = = = = = = = = = = = = = = = = = 

 In this section we prove Theorem \[thm main X\^sb esimate\ ]. To help oneself simplify the proof, we start by introducing some note. Let $ m: { \mathbb{R}}^3\times{\mathbb{R}}^3 \rightarrow { \mathbb{C}}$
 {\vagphi}\|_{X^{s_2, b}_-}$$ which follows fvom Corollary \[cot qave-souolev ahd X\^sb ertimate\] provided $$s_1>-\frac{1}{2},\qquad d_2>-\feac{1}{2}, \qwuad s_1 + s_2> -\frac{1}{2} + \epsilov.$$ The $low$-$ji$ case bow hollows by takinj $s_1=0$, $s_2 =  - \frac{1}{2} + 2\cpsilmi$ and observing that $$\begit{aligned}
                  \| I^2 ( u_{low} v_{hi} ) \|_{H^{r-2s -1, b-1}(S_{\Delta E})} &{\lesssom}\| u_{low} v_{hi}  \|_{H^{-\frwc{1}{2}, b-1}(X_{\Qeltz T})} \\
                  &{\lesssim}\|  u_{los}  \|_{X_+^{0, b}(S_{\Velta T})} \|  v_{hi} \|_{X^{-\grac{1}{2} + 2\epsilon, b}_{-}(S_{\Delta T})}\\
                  &{\lesssim}J^{-\frac{1}{2} + 2\epsioon} \| U u \|_{X_+^{0, b}(S_{\Deltx T})} \| I v\|_{X^{0, b}_{-}(S_{\Delta T})}.
        \end{aligned}$$

**$\bullet$ Case 3 ( $hi$-$uow$).** Fpllows by jcjinh $s_1 = -\frac{1}{2} + 2\e'silon$, $s_2= 0$ in (\[lem mod lwp psoof - lpw hi case eqn4\]) anv usung an identical argukent to the previoos case.\
**$\bulnec$ Case 4 ( $hi$-$hi$).** As befoee, we uve (\[lam mue ldp kropf - low ji rase eqn4\]) wifh $s_1 = - \frac{1}{2} +2\epsilon - s$ and $s_2 = x$ wbd apply a sijilar wrdument to the above cases.

Bilinear Estimdtea {#sec bilinear est}
==================

In thus section we prove Tjeorem \[thi main X\^sb esimate\]. To help simplify the proof, we vtart cy nkbrodjxijg some notation. Let $m : {\mathbb{R}}^3\times{\mathbb{R}}^3 \ryfhuargow {\mathbb{C}}$
{\varphi}\|_{X^{s_2, b}_-}$$ which follows from Corollary \[cor X\^sb provided $$s_1>-\frac{1}{2},\qquad \qquad s_1 + $low$-$hi$ now follows by $s_1=0$, $s_2 = \frac{1}{2} + 2\epsilon$ and observing that \| I^2 ( u_{low} v_{hi} ) \|_{H^{r-2s -1, b-1}(S_{\Delta T})} &{\lesssim}\| u_{low} v_{hi} b-1}(S_{\Delta T})} \\ &{\lesssim}\| u_{low} \|_{X_+^{0, b}(S_{\Delta T})} \| v_{hi} \|_{X^{-\frac{1}{2} + 2\epsilon, T})}\\ + \| u \|_{X_+^{0, b}(S_{\Delta T})} \| I v\|_{X^{0, b}_{-}(S_{\Delta T})}. \end{aligned}$$ **$\bullet$ Case 3 ( $hi$-$low$).** Follows taking $s_1 = -\frac{1}{2} + 2\epsilon$, $s_2= 0$ (\[lem mod lwp proof low hi case eqn4\]) and an argument to previous **$\bullet$ 4 ( $hi$-$hi$).** before, we use (\[lem mod lwp proof - low hi case eqn4\]) with $s_1 = - \frac{1}{2} - s$ = s$ apply similar to the above Estimates {#sec bilinear est} ================== In prove Theorem \[thm main X\^sb esimate\]. To help the proof, start by introducing some notation. Let : {\mathbb{R}}^3\times{\mathbb{R}}^3 \rightarrow {\mathbb{C}}$
 {\varphi}\|_{X^{s_2, b}_-}$$ which follows from corollary \[cOr wavE-soBolEv And X\^Sb esTimate\] provided $$S_1>-\Frac{1}{2},\Qquad s_2>-\frac{1}{2}, \qquad s_1 + s_2> -\frac{1}{2} + \ePsiloN.$$ THE $low$-$HI$ cAse noW followS By TAKinG $s_1=0$, $S_2 =  - \fRac{1}{2} + 2\EpSIlOn$ and ObsErving tHat $$\begin{alIgnEd}
                  \| i^2 ( u_{low} v_{hi} ) \|_{H^{r-2s -1, b-1}(s_{\deLta T})} &{\lesssiM}\| u_{lOw} v_{hi}  \|_{H^{-\frac{1}{2}, b-1}(S_{\delTa T})} \\
                  &{\lesSsIm}\|  u_{LOw}  \|_{X_+^{0, b}(S_{\delTa T})} \|  v_{hI} \|_{X^{-\frac{1}{2} + 2\EPsilon, B}_{-}(S_{\Delta T})}\\
                  &{\lEsSSim}N^{-\frAC{1}{2} + 2\epsiloN} \| i U \|_{X_+^{0, B}(S_{\DeLta T})} \| I v\|_{X^{0, b}_{-}(S_{\Delta T})}.
        \enD{AlIGned}$$

**$\bullet$ Case 3 ( $Hi$-$low$).** FOlLOwS BY taKinG $s_1 = -\frac{1}{2} + 2\epsiLoN$, $s_2= 0$ in (\[lEM mod lwp PRoOF - LOw hI Case eqn4\]) and usiNg an identicAL arGument To The PReviouS case.\
**$\BuLLet$ case 4 ( $hi$-$hi$).** As bEforE, we use (\[lem Mod lwp PRoof - low HI case eqN4\]) with $s_1 = - \FraC{1}{2} +2\epSiloN - S$ aNd $S_2 = s$ aNd APplY A sImiLAr aRgument tO tHe Above CaseS.

bILIneaR EsTimaTes {#seC bilinear est}
==================

IN thIs seCTioN we prOve ThEoreM \[tHm maiN X\^sb esImate\]. to Help simplify the ProoF, we start bY inTrOduCiNg somE NotatiOn. LEt $m : {\Mathbb{R}}^3\Times{\maTHbb{r}}^3 \rIGHTaRrow {\mathbb{C}}$
 {\varphi}\|_{X^{s_2, b}_- }$$ whichfollo wsfro mCoro llar y \[cor wave-s o bole v and X\^sb estimate\]  prov id e d $$ s _1 >-\fr ac{1}{2 } ,\ q q uad  s _2 >-\ fr a c{ 1}{2} , \ qquad s _1 + s_2>-\f ra c{1}{2} + \e p si lon.$$ The  $l ow$-$hi$ cas e n ow fol lo wsb y tak ing  $s_1 =0$, $ s _2 = - \frac{1 }{ 2 } + 2\ e psilon$ a nd  obs erving that $$\be g in { aligned}
           \|I^2  ( u_{low}  v _{hi} ) \|_{H ^ {r - 2 s  -1 ,  b-1}(S_{\Del ta T})} &{\ l ess sim}\|  u _{l o w} v_{ hi} \| _ {H^ {-\frac{1}{ 2},b-1}(S_{\ DeltaT })} \\              &{ \les s si m} \| u _ {lo w } \| _ {X_ +^{0, b} (S _{ \Delt a T} ) } \ |  v _{h i} \ |_{X^ {-\frac{1}{2}  +2\ep s ilo n, b} _{-}( S_{\ De lta T })}\\                &{\l esss im}N^{-\f rac {1 }{2 }+ 2\e p silon}  \|  Iu \|_{X _+^{0,b }(S _{ \ D e lt a T})} \| I v\|_{X ^{ 0 ,  b }_{-}(S_ {\Delt a  T }) } .
      \en d{al i g ned}$ $

* * $\ bullet$Case 3 ($h i$-$low $) .** Fo ll ows  by  taki n g $s _1 = - \frac{1} {2} + 2\epsilon$, $s _ 2= 0$ in (\[l e mm o dl wp p roo f - low hicase eqn4 \])a nd  us i ng an  iden ti c al argument to the pre vi ous ca se.\**$\bullet$ C ase 4 ( $h i $ - $hi$).**  Asb ef o re, we use (\[ lem m od lwp pro o f - lowhi ca se eqn4\ ]) with $ s _ 1 = - \f rac {1} {2}  +2 \ e ps ilon - s$ and $ s_2=s$ andapp ly a si mil ararg ume nt  to the a bove cas es .
B il ine ar Es t imates { #s ecbi lin ear e s t}
=== ===== ==== == == = =
In this se c t ionwe  p rove  Th eo rem \ [thm mai n X\^sb  esimate\ ].T o he lp  s implify  the proof, w estart by i nt rod ucings o me notat ion. Let $m : {\mathbb{ R }}^3\ti mes {\mat hbb{ R}}^3 \ri ght arrow{\m a thbb{C }}$
 {\varphi}\|_{X^{s_2,_b}_-}$$ which_follows from Corollary \[cor_wave-sobolev and_X\^sb_estimate\] provided_$$s_1>-\frac{1}{2},\qquad_s_2>-\frac{1}{2}, \qquad s_1_+ s_2> -\frac{1}{2}_+ \epsilon.$$ The $low$-$hi$_case now follows_by_taking $s_1=0$, $s_2 =  - \frac{1}{2} + 2\epsilon$ and observing that $$\begin{aligned}
 __ ___    _    _ \|_I^2 ( u_{low} v_{hi} ) \|_{H^{r-2s -1, b-1}(S_{\Delta_T})}_&{\lesssim}\| u_{low} v_{hi}_ \|_{H^{-\frac{1}{2}, b-1}(S_{\Delta T})} \\
    _     _  ___  &{\lesssim}\| _u_{low}  \|_{X_+^{0, b}(S_{\Delta T})} \|_ v_{hi} \|_{X^{-\frac{1}{2} + 2\epsilon, b}_{-}(S_{\Delta_T})}\\
      _     _    _&{\lesssim}N^{-\frac{1}{2} +_2\epsilon} \| I u \|_{X_+^{0,_b}(S_{\Delta T})} \|_I v\|_{X^{0,_b}_{-}(S_{\Delta T})}.
 _     _\end{aligned}$$

**$\bullet$ Case 3_( $hi$-$low$).** Follows by taking $s_1_=_-\frac{1}{2} + 2\epsilon$,_$s_2=_0$_in (\[lem_mod lwp proof_-_low hi_case_eqn4\]) and using an identical argument_to_the previous case.\
**$\bullet$ Case 4 ( $hi$-$hi$).**_As before, we use_(\[lem_mod lwp proof -_low hi case eqn4\]) with_$s_1 = - \frac{1}{2} +2\epsilon -_s$ and_$s_2 =_s$ and apply a similar argument to the above cases.

Bilinear Estimates_{#sec bilinear est}
==================

In this section we_prove Theorem \[thm main_X\^sb esimate\]._To_help simplify the_proof,_we start_by introducing some notation. Let $m :_{\mathbb{R}}^3\times{\mathbb{R}}^3 \rightarrow_{\mathbb{C}}$