 \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\ \ \ \ \ \ }$$

Let$$\begin{tabular}{l}
$(A_{3})$ $\ \widetilde{h}_{i}\in H^{1}\left( 0,T\right),\ i=1,2.$\end{tabular}\text{ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\ \ \ \ }$$

Then we have the following theorem about the existence of a “strong solution”.

**Theorem 2.3.** *Suppose that* $(A_{1})-(A_{3})$ *hold and the initial data* $\left( u_{0},u_{1}\right) \in H^{2}\times H^{1}$ *satisfies the compatibility conditions*$\ $$$\left\{
\begin{tabular}{l}
$u_{0x}(0)=-\text{ }\left\vert u_{0}(0)\right\vert ^{\alpha
-2}u_{0}(0)+\lambda _{0}u_{1}(0)+\widetilde{h}_{1}(0)u_{0}(1)+\widetilde{\lambda }_{1}u_{1}(1),\medskip $ \\
$-u_{0x}(1)=-\text{ }\left\vert u_{0}(1)\right\vert ^{\beta
-2}u_{0}(1)+\lambda _{1}u_{1}(1)+\widetilde{h}_{0}(0)u_{0}(0)+\widetilde{\lambda }_{0}u_{1}(0).$\end{tabular}\right.  \tag{2.3}  \label{b3}$$

*Then problem* (\[1\]) – (\[4\]) *has a unique local solution *$$\left\{
\begin{tabular}{l}
$u\in L^{\infty }\left( 0,T_{\ast };H^{2}\right),$ $u_{t}\in L^{\infty
}\
\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ 
 \ \ \ \ \ \ } $ $ 

 Let$$\begin{tabular}{l } 
 $ (A_{3})$ $ \ \widetilde{h}_{i}\in H^{1}\left (0,T\right),\ i=1,2.$\end{tabular}\text { \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ 
 \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ 
 \ \ \ \ } $ $ 

 Then we have the following theorem about the existence of a “ strong solution ”. 

 * * Theorem 2.3. * * * presuppose that * $ (A_{1})-(A_{3})$ * delay and the initial data * $ \left (u_{0},u_{1}\right) \in H^{2}\times H^{1}$ * satisfies the compatibility conditions*$\ $ $ $ \left\ { 
 \begin{tabular}{l } 
 $ u_{0x}(0)=-\text { } \left\vert u_{0}(0)\right\vert ^{\alpha 
 -2}u_{0}(0)+\lambda _ { 0}u_{1}(0)+\widetilde{h}_{1}(0)u_{0}(1)+\widetilde{\lambda } _ { 1}u_{1}(1),\medskip $ \\ 
 $ -u_{0x}(1)=-\text { } \left\vert u_{0}(1)\right\vert ^{\beta 
 -2}u_{0}(1)+\lambda _ { 1}u_{1}(1)+\widetilde{h}_{0}(0)u_{0}(0)+\widetilde{\lambda } _ { 0}u_{1}(0).$\end{tabular}\right.   \tag{2.3 }   \label{b3}$$ 

 * Then problem * (\[1\ ]) – (\[4\ ]) * have a unique local solution   * $ $ \left\ { 
 \begin{tabular}{l } 
 $ u\in L^{\infty } \left (0,T_{\ast }; H^{2}\right),$ $ u_{t}\in L^{\infty 
 } \
 \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\ \ \ \ \ \ }$$

Lgt$$\vegin{tebular}{l}
$(Z_{3})$ $\ \widetklde{h}_{i}\in H^{1}\left( 0,T\right),\ i=1,2.$\end{tauulae}\text{ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\ \ \ \ }$$

Then we have the follofing theorem atojt the existence of a “strong solution”.

**Eheorem 2.3.** *Duppose that* $(A_{1})-(W_{3})$ *hokq ans the initial data* $\left( u_{0},u_{1}\right) \in H^{2}\times H^{1}$ *satisfies yhe compatibility conditiojs*$\ $$$\lfft\{
\begin{tabular}{l}
$u_{0x}(0)=-\hext{ }\left\vetf u_{0}(0)\wught\vert ^{\alpfa
-2}u_{0}(0)+\lambda _{0}l_{1}(0)+\cidetilde{h}_{1}(0)u_{0}(1)+\sidetilde{\lambda }_{1}u_{1}(1),\medskip $ \\
$-u_{0x}(1)=-\texg{ }\lefc\vert u_{0}(1)\righj\rwrt ^{\teta
-2}u_{0}(1)+\lambda _{1}u_{1}(1)+\widvtilde{h}_{0}(0)u_{0}(0)+\widetlkde{\lamtda }_{0}u_{1}(0).$\enc{tabular}\right.  \taj{2.3}  \lqbel{b3}$$

*Then problem* (\[1\]) – (\[4\]) *ias a unique local sjlution *$$\lext\{
\yegin{tabular}{l}
$u\in L^{\infry }\left( 0,T_{\asd };H^{2}\rktht),$ $u_{t}\jn L^{\jnfty
}\
\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ }$$ Let$$\begin{tabular}{l} $(A_{3})$ $\ \widetilde{h}_{i}\in H^{1}\left( 0,T\right),\ i=1,2.$\end{tabular}\text{ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ }$$ Then we have the following theorem about the existence of a “strong solution”. 2.3.** *Suppose *hold and initial $\left( \in H^{2}\times H^{1}$ compatibility conditions*$\ $$$\left\{ \begin{tabular}{l} $u_{0x}(0)=-\text{ }\left\vert _{0}u_{1}(0)+\widetilde{h}_{1}(0)u_{0}(1)+\widetilde{\lambda }_{1}u_{1}(1),\medskip $ \\ $-u_{0x}(1)=-\text{ }\left\vert u_{0}(1)\right\vert ^{\beta _{1}u_{1}(1)+\widetilde{h}_{0}(0)u_{0}(0)+\widetilde{\lambda }_{0}u_{1}(0).$\end{tabular}\right. \label{b3}$$ *Then problem* (\[1\]) – (\[4\]) a unique local solution *$$\left\{ \begin{tabular}{l} $u\in L^{\infty 0,T_{\ast };H^{2}\right),$ $u_{t}\in L^{\infty }\
 \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\ \ \ \ \ \ }$$

Let$$\begin{tabular}{l}
$(A_{3})$ $\ \widetildE{h}_{i}\in H^{1}\left( 0,t\righT),\ i=1,2.$\eNd{tAbUlar}\Text{ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
\ \ \ \ }$$

then we have the fOLlowIng theorem about the exisTence Of A “StroNG sOlutiOn”.

**TheorEM 2.3.** *SUPPosE tHaT* $(A_{1})-(A_{3})$ *HoLD aNd the IniTial datA* $\left( u_{0},u_{1}\rigHt) \iN H^{2}\Times H^{1}$ *satisfIEs The compatiBilIty conditionS*$\ $$$\leFt\{
\begiN{tAbuLAr}{l}
$u_{0x}(0)=-\TexT{ }\left\Vert u_{0}(0)\rIGht\verT ^{\alpha
-2}u_{0}(0)+\laMbDA _{0}u_{1}(0)+\wideTIlde{h}_{1}(0)u_{0}(1)+\wIDEtIlde{\Lambda }_{1}u_{1}(1),\medskip $ \\
$-u_{0x}(1)=-\tEXt{ }\LEft\vert u_{0}(1)\right\vErt ^{\betA
-2}u_{0}(1)+\LAmBDA _{1}u_{1}(1)+\wIdeTilde{h}_{0}(0)u_{0}(0)+\widEtIlde{\lAMbda }_{0}u_{1}(0).$\enD{TaBULAr}\rIGht.  \tag{2.3}  \label{b3}$$

*THen problem* (\[1\]) – (\[4\]) *hAS a uNique lOcAl sOLution *$$\Left\{
\bEgIN{taBular}{l}
$u\in L^{\iNfty }\Left( 0,T_{\ast };H^{2}\Right),$ $u_{T}\In L^{\inftY
}\
 \ \ \ \ \ \ \ \ \ \ \ \ \  \ \ \ \ \  \ \\ \  \\\ \\ \\ \ \ \ \ \ \\  \ \  \ \ \ }$$

Let$$\begi n{tab ul a r}{l } 
$ (A_{3 })$ $\\ wi d e til de {h }_{ i} \ in  H^{1 }\l eft( 0, T\right),\  i= 1, 2.$\end{tabu l ar }\text{ \\ \  \ \ \ \ \ \  \\ \ \\\ \ \ \ \  \\ \ \  \ \ \ \ \ \\ \ \ \ \  \ \ \ \\  \ \ \\ \\ \\ \ \ \ \ \ \ \ \ \\  \ \ \ \ \ \ \  \ \ \  \ \\ \ \  \\ \ \ \ }$ $
Then we have th e f oll o wing theoremabout the e x ist ence o fa “ s trongsolut io n ”.
**Theorem2.3. ** *Suppo se tha t * $(A_{ 1 })-(A_{ 3})$ * hol d a nd t h ein iti al dat a *$\l e ft(  u_{0},u _{ 1} \righ t) \ i n H ^{2} \ti mesH^{1} $ *satisfiesthe  com p ati bilit y con diti on s*$\$$$\le ft\{\b egin{tabular}{l }
$u _{0x}(0)= -\t ex t{}\ left\ v ert u_ {0} (0) \right\ vert ^{ \ alp ha - 2 }u _{0}(0)+\lambda _{ 0} u _ {1 }(0)+\wi detild e {h }_ { 1}(0)u_{ 0} (1) +\wi d e tilde {\la m bd a }_{1}u _{1}(1 ) ,\ me dskip $  \ \
$-u_ {0 x}( 1)= -\tex t { }\ left\v ert u_{0 }(1)\ r ight\vert ^{\b e ta
-2}u_{0}(1 ) +\ l a mb d a _{ 1}u _{1}(1)+\wi deti l de{h }_{0 } (0 )u_ { 0}(0) +\wid et i ld e {\lambda }_{0}u_{1} (0 ).$\en d{tab ular}\right. \tag{2.3} \ label{b3 }$$*T h en problem* (\ [1\])  – (\[4\]) *has a u nique  local s olution * $ $ \left\{\be gin {ta bul a r }{ l}
$u\in L^{\ i n fty}\ left( 0 ,T_ {\ast } ;H^ {2} \ri ght ), $ $u_{t}\ in L^{\i nf ty 
} \
 \_\ \_\ \ \ \_\ \_\_\ \_\_\ \ \_\ \ \_\ \ \ \_\ \ \_\_\ \ \ \ \ \ \ \
\ \ \ \ \ \ }$$

Let$$\begin{tabular}{l}
$(A_{3})$_$\_\widetilde{h}_{i}\in H^{1}\left(_0,T\right),\_i=1,2.$\end{tabular}\text{_\ \ \ \ \_\ \ \ \ \_\ \_\ \ \ \ \ \ \ \_\_\ \ \_\ \ \ \ \ \ \ \ \_\ \
\ \ \ \ \_\ \ \_\_\_\ \ \ \_\ \ \ \ \ \_\ \ \ \ \ \_\ \ \ \ \ \ \_\ \ \ \ \
\ \_\ \ }$$

Then we have_the following_theorem about the existence of_a “strong solution”.

**Theorem_2.3.** *Suppose_that* $(A_{1})-(A_{3})$ *hold_and the initial data* $\left( u_{0},u_{1}\right)_\in H^{2}\times H^{1}$_*satisfies the compatibility conditions*$\ $$$\left\{
\begin{tabular}{l}
$u_{0x}(0)=-\text{ }\left\vert_u_{0}(0)\right\vert_^{\alpha
-2}u_{0}(0)+\lambda _{0}u_{1}(0)+\widetilde{h}_{1}(0)u_{0}(1)+\widetilde{\lambda }_{1}u_{1}(1),\medskip_$_\\
$-u_{0x}(1)=-\text{_}\left\vert u_{0}(1)\right\vert_^{\beta
-2}u_{0}(1)+\lambda _{1}u_{1}(1)+\widetilde{h}_{0}(0)u_{0}(0)+\widetilde{\lambda }_{0}u_{1}(0).$\end{tabular}\right.__\tag{2.3} _\label{b3}$$

*Then_problem* (\[1\]) – (\[4\]) *has a_unique_local solution *$$\left\{
\begin{tabular}{l}
$u\in L^{\infty }\left( 0,T_{\ast };H^{2}\right),$ $u_{t}\in_L^{\infty
}\