_1,\phi_2,\phi_3)\in L^2(G\times S\times I)^3$, then $\phi\in{\mathcal{H}}_{{\bf P}}(G\times S\times I^\circ)$ (see ) and it is a weak (distributional) solution of the system of equations (\[cosyst1\]), (\[cosyst2\]), and $\phi_1\in W^2(G\times S\times I)$.

\(ii) Suppose that additionally the assumption ${\bf TC}$ holds (p. ). Then a solution $\phi$ of the equations (\[cosyst1\]), (\[cosyst2\]) obtained in part (i) is a solution of the problem -.

\(iii) Under the assumptions imposed in part (ii), any solution $\phi$ of the problem - that further satisfies \[asscl-aa-co-a\] \_[|\_+]{}T\^2(\_+)\^3 (,,0)L\^2(GS)\^3, is unique and obeys the estimate \[cosyst17a\] \_[[H]{}]{} (\_[L\^2(GSI)\^3]{}+\_[T\^2(\_-)\^3]{}), where $c'$ is given in.

The proofs of items (i)-(iii) are analogous to the proofs of the corresponding items in Theorem \[csdath3\]. Note that the claim $\phi_1\in W^2(G\times S\times I)$ in part (i) follows from noticing that by we have $\omega\cdot\nabla_x\phi_1=-\Sigma_1\phi_1+K_{1,C}\phi+{\bf f}_1$, and the right hand side belongs to $L^2(G\times S\times I)$.

The problem (\[csda1a\])-(\[csda3\]) also admits a variational formulation. Define bilinear $\tilde{\bf B}_0(\cdot,\cdot):{{{\mathcal{}}}H}\times \tilde {{{\mathcal{}}}H}\to{\mathbb{R}}$ by \[cosyst5a\] \_0(,v) =& \_[j=2,3]{} \_j,S\_j[E]{}\_[L\^2(GSI)]{} -, \_x v\_[L\^2(GSI)\^3]{} +,(\^\*-K\^\*) v\_[L\^2(GSI)\^3]{}\
& +q, \
_ 1,\phi_2,\phi_3)\in L^2(G\times S\times I)^3 $, then $ \phi\in{\mathcal{H}}_{{\bf P}}(G\times S\times I^\circ)$ (see) and it is a weak (distributional) solution of the system of equations (\[cosyst1\ ]), (\[cosyst2\ ]), and $ \phi_1\in W^2(G\times S\times I)$. 

 \(ii) presuppose that additionally the premise $ { \bf TC}$ holds (p.). Then a solution $ \phi$ of the equations (\[cosyst1\ ]), (\[cosyst2\ ]) obtained in function (i) is a solution of the problem -. 

 \(iii) Under the assumption inflict in part (ii), any solution $ \phi$ of the problem - that further satisfies \[asscl - associate in arts - co - a\ ] \_[|\_+]{}T\^2(\_+)\^3 (,, 0)L\^2(GS)\^3, is unique and obey the estimate \[cosyst17a\ ] \_[[H ] { } ] { } (\_[L\^2(GSI)\^3]{}+\_[T\^2(\_-)\^3 ] { }), where $ c'$ is given in. 

 The proofs of items (i)-(iii) are analogous to the proofs of the corresponding items in Theorem \[csdath3\ ]. notice that the claim $ \phi_1\in W^2(G\times S\times I)$ in part (i) postdate from noticing that by we have $ \omega\cdot\nabla_x\phi_1=-\Sigma_1\phi_1+K_{1,C}\phi+{\bf f}_1 $, and the good hand slope belongs to $ L^2(G\times S\times I)$. 

 The problem (\[csda1a\])-(\[csda3\ ]) also admits a variational formulation. specify bilinear $ \tilde{\bf B}_0(\cdot,\cdot):{{{\mathcal{}}}H}\times \tilde { { { \mathcal{}}}H}\to{\mathbb{R}}$ by \[cosyst5a\ ] \_0(,v) = & \_[j=2,3 ] { } \_j, S\_j[E]{}\_[L\^2(GSI) ] { } -, \_x v\_[L\^2(GSI)\^3 ] { } +, (\^\*-K\^\ *) v\_[L\^2(GSI)\^3]{}\ 
 & + q, \
_1,\phi_2,\ohi_3)\in L^2(G\times S\times I)^3$, tmen $\phi\in{\mathcal{K}}_{{\vf P}}(G\tmmes S\tjmes I^\cifc)$ (see ) and it is a weak (disvribytionql) solution of the sysgem of eqlations (\[cisysu1\]), (\[cosyst2\]), and $\phi_1\ii W^2(G\times S\timsd I)$.

\(in) Wuppose that acditionallf the assumptimn ${\by TC}$ holds (p. ). Then a solution $\phi$ of the eqiahions (\[cosyst1\]), (\[cjsysu2\]) oftaihvd in part (i) is a solution of tge probnem -.

\(iii) Under the assumptions imposed ij pagt (ii), any solution $\phi$ of the profoem - that fufther satisfies \[asscl-az-co-a\] \_[|\_+]{}T\^2(\_+)\^3 (,,0)L\^2(GS)\^3, is unique and obeys ghe extimate \[cowywt17a\] \_[[V]{}]{} (\_[L\^2(GSI)\^3]{}+\_[T\^2(\_-)\^3]{}), whece $c'$ if given in.

Thc proofv of itrms (i)-(iii) are akalogmus to the proofs of the corresponding iteis in Themrzm \[csdath3\]. Note that tye claik $\phh_1\in D^2(T\tioes S\vimss I)$ ij pert (i) folloss from notucing that by we hafe $\imega\cdot\nablz_x\phi_1=-\Sygia_1\phi_1+K_{1,C}\phi+{\bf f}_1$, and the right hand side telkngs to $L^2(G\times S\times U)$.

The problem (\[csda1a\])-(\[csdw3\]) also adiits a variational formulation. Define bilinear $\tinde{\bf C}_0(\cdit,\gdot):{{{\oqtjcal{}}}H}\times \tilde {{{\mathcal{}}}H}\to{\mathbb{R}}$ by \[cosyst5a\] \_0(,b) =& \_[j=2,3]{} \_j,S\_j[E]{}\_[L\^2(GSI)]{} -, \_x v\_[J\^2(GSI)\^3]{} +,(\^\*-K\^\*) v\_[L\^2(GSO)\^3]{}\
& +e, \
_1,\phi_2,\phi_3)\in L^2(G\times S\times I)^3$, then $\phi\in{\mathcal{H}}_{{\bf P}}(G\times (see and it a weak (distributional) equations (\[cosyst2\]), and $\phi_1\in S\times I)$. \(ii) that additionally the assumption ${\bf TC}$ (p. ). Then a solution $\phi$ of the equations (\[cosyst1\]), (\[cosyst2\]) obtained in (i) is a solution of the problem -. \(iii) Under the assumptions imposed part any $\phi$ the problem - that further satisfies \[asscl-aa-co-a\] \_[|\_+]{}T\^2(\_+)\^3 (,,0)L\^2(GS)\^3, is unique and obeys the estimate \[cosyst17a\] (\_[L\^2(GSI)\^3]{}+\_[T\^2(\_-)\^3]{}), where $c'$ is given in. The proofs items (i)-(iii) are analogous the proofs of the corresponding in \[csdath3\]. Note the $\phi_1\in S\times I)$ in (i) follows from noticing that by we have $\omega\cdot\nabla_x\phi_1=-\Sigma_1\phi_1+K_{1,C}\phi+{\bf f}_1$, and the right hand side belongs to S\times I)$. (\[csda1a\])-(\[csda3\]) also a formulation. bilinear $\tilde{\bf B}_0(\cdot,\cdot):{{{\mathcal{}}}H}\times by \[cosyst5a\] \_0(,v) =& \_[j=2,3]{} \_j,S\_j[E]{}\_[L\^2(GSI)]{} +,(\^\*-K\^\*) v\_[L\^2(GSI)\^3]{}\ & +q, \
_1,\phi_2,\phi_3)\in L^2(G\times S\times I)^3$, theN $\phi\in{\mathCal{H}}_{{\bF P}}(G\TimEs s\timEs I^\cIrc)$ (see ) and it is a WEak (dIstributional) solution oF the sYsTEm of EQuAtionS (\[cosyst1\]), (\[COsYST2\]), anD $\pHi_1\In W^2(g\tIMeS S\timEs I)$.

\(Ii) SuppoSe that addiTioNaLly the assumpTIoN ${\bf TC}$ holds (P. ). ThEn a solution $\pHi$ oF the eqUaTioNS (\[cosySt1\]), (\[cOsyst2\]) ObtainED in parT (i) is a soluTiON of the PRoblem -.

\(iII) unDer tHe assumptions impoSEd IN part (ii), any soluTion $\phI$ oF ThE PRobLem - That furtheR sAtisfIEs \[asscl-AA-cO-A\] \_[|\_+]{}t\^2(\_+)\^3 (,,0)l\^2(GS)\^3, IS unique and obeYs the estimaTE \[coSyst17a\] \_[[H]{}]{} (\_[l\^2(GsI)\^3]{}+\_[T\^2(\_-)\^3]{}), WHere $c'$ iS giveN iN.

the Proofs of iteMs (i)-(iIi) are analOgous tO The prooFS of the cOrrespOndIng ItemS In thEorEm \[CSdaTH3\]. NOte THat The claim $\PhI_1\iN W^2(G\tiMes S\TIMES I)$ in ParT (i) foLlows From noticing tHat By we HAve $\Omega\Cdot\nAbla_X\pHi_1=-\SigMa_1\phi_1+K_{1,c}\phi+{\bF f}_1$, And the right hand Side Belongs to $l^2(G\tImEs S\TiMes I)$.

THE problEm (\[cSda1A\])-(\[csda3\]) alSo admitS A vaRiATIOnAl formulation. DefinE bILInEar $\tilde{\Bf B}_0(\cdoT,\CdOt):{{{\MAthcal{}}}H}\tImEs \tIlde {{{\MAThcal{}}}h}\to{\mAThBb{R}}$ by \[cosYst5a\] \_0(,v) =& \_[j=2,3]{} \_J,s\_j[e]{}\_[L\^2(gSI)]{} -, \_x v\_[L\^2(GsI)\^3]{} +,(\^\*-k\^\*) v\_[L\^2(GSI)\^3]{}\
& +Q, \
_1,\phi_2,\phi_3)\in L^2(G \times S\t imesI)^ 3$,  t hen$\ph i\in{\mathcal{ H }}_{ {\bf P}}(G\times S\tim es I^ \c i rc)$ (s ee )and iti sa wea k(d ist ri b ut ional ) s olution  of the sy ste mof equations (\ [cosyst1\] ),(\[cosyst2\] ),and $\ ph i_1 \ in W^ 2(G \time s S\ti m es I)$ .

\(ii)Su p pose t h at addi t i on ally  the assumption $ { \b f  TC}$ holds (p . ). T he n  a s olu tio n $\phi$ o fthe e q uations (\ [ c o sys t 1\]), (\[cosy st2\]) obta i ned  in pa rt  (i )  is asolut io n  of  the proble m -. 

\(iii)Undert he assu m ptionsimpose d i n p art( ii ),  an ys olu t io n $ \ phi $ of the  p ro blem- th a t f urth ersati sfies  \[asscl-aa-c o-a \] \ _ [|\ _+]{} T\^2( \_+) \^ 3 (,, 0)L\^2 (GS)\ ^3 , is unique and  obe ys the es tim at e \ [c osyst 1 7a\] \ _[[ H]{ }]{} (\ _[L\^2( G SI) \^ 3 ] { }+ \_[T\^2(\_-)\^3]{} ), w he re $c'$is giv e nin . 

The pr oo fsof i t e ms (i )-(i i i)  are ana logous to  t he proo fs  of th ecor res pondi n g it ems in  Theorem  \[cs d ath3\]. Note t h at the claim$ \p h i _1 \ in W ^2( G\times S\t imes I)$in p a rt  (i )  foll ows f ro m  n o ticing that by we h av e $\om ega\c dot\nabla_x\p hi_1=-\Sig m a _ 1\phi_1+ K_{1 , C} \ phi+{\bf f}_1$ , and  the right hand sid e bel ongs to$L^2(G\ti m e s S\time s I )$. 

T hep r ob lem (\[csda1a \ ] )-(\ [c sda3\])  al so admi tsa v ari ati on al formul ation. D ef in ebi lin ear $ \ tilde{\b fB}_ 0( \cd ot,\c d ot):{{ {\mat hcal {} }} H }\t imes \t i ld e {{{\ ma th cal{ }}} H} \to{\ math b b{R }}$ by\[cosyst5 a\] \_0( ,v )=& \_[j =2,3]{} \_j,S \_ j[E]{}\_[L \^ 2(G SI)]{} - , \_x v\ _[L\^2(GSI)\^3]{} +,(\^ \ *-K\^\* ) v \_[L\ ^2(G SI)\^3]{} \
&  +q, \ 
_1,\phi_2,\phi_3)\in L^2(G\times_S\times I)^3$,_then $\phi\in{\mathcal{H}}_{{\bf P}}(G\times S\times_I^\circ)$ (see_)_and it_is_a weak (distributional)_solution of the_system of equations (\[cosyst1\]),_(\[cosyst2\]), and $\phi_1\in_W^2(G\times_S\times I)$.

\(ii) Suppose that additionally the assumption ${\bf TC}$ holds (p. ). Then a_solution_$\phi$ of_the_equations_(\[cosyst1\]), (\[cosyst2\]) obtained in part_(i) is a solution of_the problem_-.

\(iii) Under the assumptions imposed in part (ii),_any_solution $\phi$ of_the problem - that further satisfies \[asscl-aa-co-a\] \_[|\_+]{}T\^2(\_+)\^3 (,,0)L\^2(GS)\^3,_is unique and obeys the estimate_\[cosyst17a\] \_[[H]{}]{} (\_[L\^2(GSI)\^3]{}+\_[T\^2(\_-)\^3]{}),_where_$c'$_is given in.

The proofs_of items (i)-(iii) are analogous to_the proofs of the corresponding items_in Theorem \[csdath3\]. Note that the claim_$\phi_1\in W^2(G\times S\times I)$ in part_(i) follows from noticing that_by we_have $\omega\cdot\nabla_x\phi_1=-\Sigma_1\phi_1+K_{1,C}\phi+{\bf f}_1$, and the_right hand side_belongs to_$L^2(G\times S\times I)$.

The_problem (\[csda1a\])-(\[csda3\]) also admits a variational_formulation. Define bilinear_$\tilde{\bf B}_0(\cdot,\cdot):{{{\mathcal{}}}H}\times \tilde {{{\mathcal{}}}H}\to{\mathbb{R}}$ by \[cosyst5a\]_\_0(,v)_=& \_[j=2,3]{} \_j,S\_j[E]{}\_[L\^2(GSI)]{}_-,_\_x_v\_[L\^2(GSI)\^3]{} +,(\^\*-K\^\*)_v\_[L\^2(GSI)\^3]{}\
& +q, \