 \in X^{s, b}_+(S_{\Delta T})$ and $v \in X^{s, b}_-(S_{\Delta T})$. Then there exists a unique solution $\Phi \in H^{r, b}(S_{\Delta T})$ to $$\begin{aligned}
                \Box \Phi &= \Re( u v) + m^2 \Phi \\
                      \Phi(0)&= {\partial}_t \Phi(0) = 0.
            \end{aligned}$$ on $S_{\Delta T}=[0, \Delta T]\times {\mathbb{R}}$. Moreover we have $$\label{lem control of inhomogeneous term - estimate} \sup_{ t \in [0, \Delta T]} \| I^2 \Phi[t] \|_{H^{r-2s}_x} {\lesssim}\big( \Delta T + N^{ -\frac{1}{2} + 2\epsilon}\big) \| I u\|_{X^{0, b}_+(S_{\Delta T})} \| Iv \|_{X^{0, b}_-(S_{\Delta T})}.$$

The existence/uniqueness claim follows from Lemma \[lem energy est for Hrb\] together with an application of Theorem \[thm main X\^sb esimate\]. To prove (\[lem control of inhomogeneous term - estimate\]) we write $\Phi = \Phi_1 + \Phi_2$ where $$\begin{aligned}
                \Box \Phi_1 &= \Re( u_{low} v_{low}) + m^2 \Phi_1\\
                      \Phi_1(0)&= 0, \qquad {\partial}_t \Phi_1(0) = 0.
            \end{aligned}$$ and $\widehat{u_{low}} = {\mathbbold{1}}_{|\xi|< \frac{N}{2}} \widehat{u}$, $\widehat{v_{low}} = {\mathbbold{1}}_{|\xi|< \frac{N}{2}} \widehat{v}$. The standard representation of solutions to the Klein-Gordon equation, together with the Sobolev product law and the observation that $I^2(u_{low} v_{low}) = u_{low} v_{low}$, gives $$\begin{aligned}
        \sup_{t \in [0, \Delta T]} \| I^2 \Phi_1[t] \|_{H^{r-2s}_x} &{\lesssim}\int_0
\in X^{s, b}_+(S_{\Delta T})$ and $ v \in X^{s, b}_-(S_{\Delta T})$. Then there exists a unique solution $ \Phi \in H^{r, b}(S_{\Delta T})$ to $ $ \begin{aligned } 
                 \Box \Phi & = \Re (u five) + m^2 \Phi \\ 
                       \Phi(0)&= { \partial}_t \Phi(0) = 0. 
             \end{aligned}$$ on $ S_{\Delta T}=[0, \Delta T]\times { \mathbb{R}}$. furthermore we have $ $ \label{lem control of inhomogeneous condition - appraisal } \sup _ { t \in [ 0, \Delta T ] } \| I^2 \Phi[t ] \|_{H^{r-2s}_x } { \lesssim}\big (\Delta T + N^ { -\frac{1}{2 } + 2\epsilon}\big) \| I u\|_{X^{0, b}_+(S_{\Delta T }) } \| Iv \|_{X^{0, b}_-(S_{\Delta T})}.$$ 

 The existence / uniqueness claim surveil from Lemma \[lem energy est for Hrb\ ] together with an lotion of Theorem \[thm chief X\^sb esimate\ ]. To prove (\[lem command of inhomogeneous term - estimate\ ]) we write $ \Phi = \Phi_1 + \Phi_2 $ where $ $ \begin{aligned } 
                 \Box \Phi_1 & = \Re (u_{low } v_{low }) + m^2 \Phi_1\\ 
                       \Phi_1(0)&= 0, \qquad { \partial}_t \Phi_1(0) = 0. 
             \end{aligned}$$ and $ \widehat{u_{low } } = { \mathbbold{1}}_{|\xi| < \frac{N}{2 } } \widehat{u}$, $ \widehat{v_{low } } = { \mathbbold{1}}_{|\xi| < \frac{N}{2 } } \widehat{v}$. The standard theatrical performance of solutions to the Klein - Gordon equation, together with the Sobolev product law and the observation that $ I^2(u_{low } v_{low }) = u_{low } v_{low}$, gives $ $ \begin{aligned } 
         \sup_{t \in [ 0, \Delta T ] } \| I^2 \Phi_1[t ] \|_{H^{r-2s}_x } & { \lesssim}\int_0
 \in X^{s, b}_+(S_{\Delta T})$ and $v \in X^{r, b}_-(S_{\Delta T})$. Theu there exista a uniqje solution $\Phi \in H^{r, b}(S_{\Delte T})$ ro $$\betin{aligned}
                \Box \Pji &= \Re( u v) + n^2 \Phi \\
                      \Phn(0)&= {\'artial}_t \Phi(0) = 0.
            \end{aligned}$$ on $S_{\Aepta T}=[0, \Delta T]\times {\mathbb{R}}$. Moreover we havr $$\pabel{lem contrjl og inhkmogeneous term - estimate} \sup_{ t \in [0, \Delta T]} \| I^2 \Phi[t] \|_{H^{r-2x}_x} {\lesssim}\big( \Delta T + N^{ -\fgac{1}{2} + 2\epsilon}\big) \| I u\|_{X^{0, h}_+(S_{\Delta T})} \| Uv \|_{X^{0, v}_-(S_{\Delta T})}.$$

The existence/luiqueness cmaim follows from Lemma \[lem enefgy ext for Hrb\] tigehver with an applpcation of Thcprem \[tvm main X\^sb esimate\]. Tp pcove (\[lem control of inhommgeneous term - estymate\]) we frnte $\Phi = \Phi_1 + \Phi_2$ wheee $$\begit{alicned}
                \Blx \'hi_1 &= \Re( u_{los} v_{low}) + m^2 \Pyi_1\\
                      \Phi_1(0)&= 0, \qquad {\lartiaj}_t \Phi_1(0) = 0.
            \end{aligned}$$ and $\widehau{u_{low}} = {\mathbbold{1}}_{|\xi|< \frac{N}{2}} \widwhat{u}$, $\widehat{v_{low}} = {\majhbbold{1}}_{|\xi|< \srac{N}{2}} \widehat{v}$. The standard representation of solgtiona to tme Kuwij-Gordon equation, together with the Sobolev prjsuvt law and the onservation that $I^2(u_{koa} f_{jow}) = u_{low} v_{lod}$, gives $$\bsgin{aligned}
        \sup_{t \ig [0, \Deota T]} \| I^2 \Khi_1[t] \|_{N^{r-2s}_x} &{\lesssim}\int_0
\in X^{s, b}_+(S_{\Delta T})$ and $v \in T})$. there exists unique solution $\Phi $$\begin{aligned} \Phi &= \Re( v) + m^2 \\ \Phi(0)&= {\partial}_t \Phi(0) = 0. on $S_{\Delta T}=[0, \Delta T]\times {\mathbb{R}}$. Moreover we have $$\label{lem control of inhomogeneous - estimate} \sup_{ t \in [0, \Delta T]} \| I^2 \Phi[t] \|_{H^{r-2s}_x} {\lesssim}\big( T N^{ + \| I u\|_{X^{0, b}_+(S_{\Delta T})} \| Iv \|_{X^{0, b}_-(S_{\Delta T})}.$$ The existence/uniqueness claim follows from Lemma energy est for Hrb\] together with an application Theorem \[thm main X\^sb To prove (\[lem control of term estimate\]) we $\Phi \Phi_1 \Phi_2$ where $$\begin{aligned} \Phi_1 &= \Re( u_{low} v_{low}) + m^2 \Phi_1\\ \Phi_1(0)&= 0, \qquad {\partial}_t \Phi_1(0) = 0. \end{aligned}$$ and = {\mathbbold{1}}_{|\xi|< $\widehat{v_{low}} = \frac{N}{2}} The representation of solutions Klein-Gordon equation, together with the Sobolev the observation that $I^2(u_{low} v_{low}) = u_{low} v_{low}$, $$\begin{aligned} \sup_{t [0, \Delta T]} \| I^2 \Phi_1[t] &{\lesssim}\int_0
 \in X^{s, b}_+(S_{\Delta T})$ and $v \in X^{s, b}_-(S_{\DelTa T})$. Then theRe exiSts A unIqUe soLutiOn $\Phi \in H^{r, b}(S_{\DelTA T})$ to $$\Begin{aligned}
                \Box \Phi &= \Re( u v) + M^2 \Phi \\
                      \PHi(0)&= {\PArtiAL}_t \phi(0) = 0.
            \enD{aligneD}$$ On $s_{\dEltA T}=[0, \deLta t]\tIMeS {\mathBb{R}}$. moreoveR we have $$\labEl{lEm Control of inhOMoGeneous terM - esTimate} \sup_{ t \in [0, \delTa T]} \| I^2 \PhI[t] \|_{h^{r-2s}_X} {\LesssIm}\bIg( \DelTa T + N^{ -\frAC{1}{2} + 2\epsilOn}\big) \| I u\|_{X^{0, b}_+(s_{\DELta T})} \| Iv \|_{x^{0, B}_-(S_{\Delta t})}.$$

tHe ExisTence/uniqueness clAIm FOllows from LemmA \[lem enErGY eST For hrb\] Together wiTh An appLIcation OF THEORem \[THm main X\^sb esimAte\]. To prove (\[lEM coNtrol oF iNhoMOgeneoUs terM - eSTimAte\]) we write $\PHi = \PhI_1 + \Phi_2$ where $$\Begin{aLIgned}
                \BoX \phi_1 &= \Re( u_{lOw} v_{low}) + M^2 \PhI_1\\
                      \PhI_1(0)&= 0, \qquAD {\pArTiaL}_t \pHi_1(0) = 0.
            \eND{aLigNEd}$$ aNd $\widehaT{u_{LoW}} = {\mathBbolD{1}}_{|\XI|< \FRac{N}{2}} \WidEhat{U}$, $\wideHat{v_{low}} = {\mathbbOld{1}}_{|\Xi|< \frAC{N}{2}} \wIdehaT{v}$. The StanDaRd repResentAtion Of Solutions to the KLein-gordon equAtiOn, TogEtHer wiTH the SoBolEv pRoduct lAw and thE ObsErVATIoN that $I^2(u_{low} v_{low}) = u_{low} V_{lOW}$, GiVes $$\begin{AligneD}
        \SuP_{t \IN [0, \Delta T]} \| I^2 \phI_1[t] \|_{H^{R-2s}_x} &{\lESSsim}\iNt_0
 \in X^{s, b}_+(S_{\DeltaT})$ and $ v \in  X^ {s,  b }_-( S_{\ Delta T})$. Th e n th ere exists a unique so lutio n$ \Phi \i n H^{ r, b}(S _ {\ D e lta  T }) $ t o$ $\ begin {al igned}             \Box \Phi & =  \ Re( u v) +  m^ 2 \Phi \\
               \Ph i(0)& = {\pa r tial}_ t \Phi(0)  = 0.
        \ en d{al igned}$$ on $S_{\ D el t a T}=[0, \Delt a T]\t im e s{ \ mat hbb {R}}$. Mor eo ver w e  have $ $ \l a b e l{l e m control ofinhomogeneo u s t erm -es tim a te} \s up_{t\ in[0, \DeltaT]}\| I^2 \P hi[t]\ |_{H^{r - 2s}_x}{\less sim }\b ig(\ De lt a T  + N^{ -\ fra c {1} {2} + 2\ ep si lon}\ big) \ | I u\ |_{ X^{0 , b}_ +(S_{\Delta T })}  \|I v \ |_{X^ {0, b }_-( S_ {\Del ta T}) }.$$
T he existence/un ique ness clai m f ol low sfromL emma \ [le m e nergy e st forH rb\ ]t o g et her with an applic at i o nof Theor em \[t h mma i n X\^sbes ima te\] . To pr ove( \[ lem cont rol of in ho mogeneo us  term-est ima te\]) we w rite $ \Phi = \ Phi_1 + \Phi_2$ wher e  $$\begin{ali g ne d } 
            \Box  \Ph i _1 & = \R e (u_{ l ow} v _{low }) +m ^2 \Phi_1\\
                  \Phi_1(0)&=  0, \qquad { \ partial} _t \ P hi _ 1(0) = 0.
          \end{al i gned}$$and $ \widehat {u_{low}} =  {\mathb bol d{1 }}_ {|\ x i |<  \frac{N}{2}} \ wide ha t{u}$,$\w idehat{ v_{ low }}= { \m athbbold{ 1}}_{|\x i| <\f ra c{N }{2}} \widehat {v }$.  T hestand a rd rep resen tati on  o f  so lutions to t he K le in -Gor don  e quati on,t oge ther wi th the So bol e v pr od uc t law a nd the observ at ion that $ I^ 2(u _{low} v _{low})= u_{low} v_{low}$, giv e s $$\be gin {alig ned} 
       \su p_{t \ in[ 0, \De lta T] } \|I^ 2 \ P h i_1[t ] \| _{H ^{ r-2s}_x} & { \ les ssim} \i nt_0 
 \in_X^{s, b}_+(S_{\Delta_T})$ and $v \in_X^{s, b}_-(S_{\Delta_T})$._Then there_exists_a unique solution_$\Phi \in H^{r,_b}(S_{\Delta T})$ to $$\begin{aligned}
_  __           \Box \Phi &=_\Re(_u v)_+_m^2_\Phi \\
   _    _ _       __  \Phi(0)&=_{\partial}_t \Phi(0) = 0.
     _     _\end{aligned}$$ on $S_{\Delta_T}=[0,_\Delta_T]\times {\mathbb{R}}$. Moreover we_have $$\label{lem control of inhomogeneous term_- estimate} \sup_{ t \in [0,_\Delta T]} \| I^2 \Phi[t] \|_{H^{r-2s}_x} {\lesssim}\big(_\Delta T + N^{ -\frac{1}{2} +_2\epsilon}\big) \| I u\|_{X^{0, b}_+(S_{\Delta_T})} \|_Iv \|_{X^{0, b}_-(S_{\Delta T})}.$$

The existence/uniqueness_claim follows from_Lemma \[lem_energy est for_Hrb\] together with an application of_Theorem \[thm main_X\^sb esimate\]. To prove (\[lem control_of_inhomogeneous term -_estimate\])_we_write $\Phi_= \Phi_1 +_\Phi_2$_where $$\begin{aligned}
__     __      _\Box \Phi_1 &= \Re(_u_{low}_v_{low}) + m^2 \Phi_1\\
_    _     _ _ _      \Phi_1(0)&= 0, \qquad {\partial}_t \Phi_1(0)_= 0.
    _   _ __\end{aligned}$$ and $\widehat{u_{low}}_=_{\mathbbold{1}}_{|\xi|< \frac{N}{2}}_\widehat{u}$, $\widehat{v_{low}} = {\mathbbold{1}}_{|\xi|< \frac{N}{2}} \widehat{v}$. The_standard representation_of solutions to the Klein-Gordon equation,_together with the Sobolev_product_law and the observation that $I^2(u_{low}_v_{low}) = u_{low} v_{low}$, gives $$\begin{aligned}
_    ___\sup_{t \in [0, \Delta T]}_\| I^2 \Phi_1[t] \|_{H^{r-2s}_x} &{\lesssim}\int_0