+{\left\langle}q_{|\Gamma_+},\gamma_+(v){\right\rangle}_{T^2(\Gamma_+)}+{\left\langle}p_0,S_0(\cdot,0)v(\cdot,\cdot,0){\right\rangle}_{L^2(G\times S)} \\[2mm]
={}&{\left\langle}T_C\phi,v{\right\rangle}_{L^2(G\times S\times I)}
+{\left\langle}q_{|\Gamma_+}-\gamma_+(\phi),\gamma_+(v){\right\rangle}_{T^2(\Gamma_+)}
+{\left\langle}\gamma_-(\phi),\gamma_-(v){\right\rangle}_{T^2(\Gamma_-)} \\
{}&
+{\left\langle}p_0-\phi(\cdot,\cdot,0),S_0(\cdot,0)v(\cdot,\cdot,0){\right\rangle}_{L^2(G\times S)}+{\left\langle}\phi(\cdot,\cdot,E_m),S_0(\cdot,E_m)v(\cdot,\cdot,E_m){\right\rangle}_{L^2(G\times S)} \\[2mm]
={}&{\left\langle}{\bf f},v{\right\rangle}_{L^2(G\times S\times I)}+{\left\langle}q_{|\Gamma_+}-\gamma_+(\phi),\gamma_+(v){\right\rangle}_{T^2(\Gamma_+)}+{\left\langle}{\bf g},\gamma_-(v){\right\rangle}_{T^2(\Gamma_-)} \\
{}&+{\left\langle}p_0-\phi(\cdot,\cdot,0),S_0(\cdot,0)v(\cdot,\cdot,0){\right\rangle}_{L^2(G\times S)}$$ where on the second to last phase we wrote $T_C\phi=(P(x,\omega,E,D)+CS_0+\Sigma-K_C)\phi$ and used Green’s formula, and on the last phase we made use of the already proven facts: $T_C\phi={\bf f}$, $\gamma_-(\phi)={\bf g}$, and $\phi(\cdot,\cdot,E_m)=0$. Thus it holds $${\left\langle}q_{|\Gamma_+}-\gamma_+(\phi),\gamma_+
+ { \left\langle}q_{|\Gamma_+},\gamma_+(v){\right\rangle}_{T^2(\Gamma_+)}+{\left\langle}p_0,S_0(\cdot,0)v(\cdot,\cdot,0){\right\rangle}_{L^2(G\times S) } \\[2 mm ] 
 = { } & { \left\langle}T_C\phi, v{\right\rangle}_{L^2(G\times S\times I) } 
 + { \left\langle}q_{|\Gamma_+}-\gamma_+(\phi),\gamma_+(v){\right\rangle}_{T^2(\Gamma_+) } 
 + { \left\langle}\gamma_-(\phi),\gamma_-(v){\right\rangle}_{T^2(\Gamma_-) } \\ 
 { } & 
 + { \left\langle}p_0-\phi(\cdot,\cdot,0),S_0(\cdot,0)v(\cdot,\cdot,0){\right\rangle}_{L^2(G\times S)}+{\left\langle}\phi(\cdot,\cdot, E_m),S_0(\cdot, E_m)v(\cdot,\cdot, E_m){\right\rangle}_{L^2(G\times S) } \\[2 mm ] 
 = { } & { \left\langle}{\bf f},v{\right\rangle}_{L^2(G\times S\times I)}+{\left\langle}q_{|\Gamma_+}-\gamma_+(\phi),\gamma_+(v){\right\rangle}_{T^2(\Gamma_+)}+{\left\langle}{\bf g},\gamma_-(v){\right\rangle}_{T^2(\Gamma_-) } \\ 
 { } & + { \left\langle}p_0-\phi(\cdot,\cdot,0),S_0(\cdot,0)v(\cdot,\cdot,0){\right\rangle}_{L^2(G\times S)}$$ where on the second to last phase we wrote $ T_C\phi=(P(x,\omega, E, D)+CS_0+\Sigma - K_C)\phi$ and used Green ’s formula, and on the final phase we do use of the already proven facts: $ T_C\phi={\bf f}$, $ \gamma_-(\phi)={\bf g}$, and $ \phi(\cdot,\cdot, E_m)=0$. therefore it holds $ $ { \left\langle}q_{|\Gamma_+}-\gamma_+(\phi),\gamma_+
+{\lefh\langle}q_{|\Gamma_+},\gamma_+(v){\right\vangle}_{T^2(\Gamma_+)}+{\left\langle}p_0,V_0(\cdot,0)v(\ddot,\cdot,0){\fight\rangle}_{L^2(G\times S)} \\[2mm]
={}&{\left\lenglw}T_C\phu,v{\right\rangle}_{L^2(G\times S\gimes I)}
+{\levt\langle}w_{|\Gamnq_+}-\gamma_+(\phi),\gejma_+(v){\rigmc\rangmc}_{T^2(\Gamke_+)}
+{\left\langle}\gamms_-(\phi),\gamma_-(v){\sight\rangle}_{T^2(\Gakmx_-)} \\
{}&
+{\peft\langle}p_0-\phi(\cdot,\cdot,0),S_0(\cdot,0)v(\cdot,\cdoe,0){\right\rsnhle}_{L^2(G\times S)}+{\lest\lamdle}\pgp(\cbot,\cdot,E_m),S_0(\cdot,E_m)v(\cdot,\cdot,E_m){\righf\rangle}_{N^2(G\times S)} \\[2mm]
={}&{\lrft\langle}{\bf f},v{\right\rangle}_{L^2(H\timfs S\times I)}+{\left\lanhle}q_{|\Gamma_+}-\ganma_+(\pru),\gamma_+(v){\right\fangle}_{T^2(\Gamma_+)}+{\left\langle}{\gf g},\gamma_-(v){\right\rangle}_{T^2(\Gamma_-)} \\
{}&+{\lefg\langke}p_0-\phi(\cdot,\xdit,0),S_0(\fgot,0)v(\cdot,\cdov,0){\right\gangle}_{L^2(G\times S)}$$ where on the second to lasb phave qe wrote $T_C\phi=(P(x,\omega,X,D)+CS_0+\Sigma-K_C)\phi$ and ufed Green’v yormula, and on the lawt phasg we kade yse of tie zlreadj pcoven facts: $T_C\phi={\bf f}$, $\tamma_-(\phi)={\bf g}$, and $\pho(\cqit,\cdot,E_m)=0$. Thus it hojdf $${\left\langle}q_{|\Gamma_+}-\gamma_+(\phi),\gamma_+
+{\left\langle}q_{|\Gamma_+},\gamma_+(v){\right\rangle}_{T^2(\Gamma_+)}+{\left\langle}p_0,S_0(\cdot,0)v(\cdot,\cdot,0){\right\rangle}_{L^2(G\times S)} \\[2mm] ={}&{\left\langle}T_C\phi,v{\right\rangle}_{L^2(G\times S\times I)} +{\left\langle}q_{|\Gamma_+}-\gamma_+(\phi),\gamma_+(v){\right\rangle}_{T^2(\Gamma_+)} {}& S)}+{\left\langle}\phi(\cdot,\cdot,E_m),S_0(\cdot,E_m)v(\cdot,\cdot,E_m){\right\rangle}_{L^2(G\times S)} ={}&{\left\langle}{\bf f},v{\right\rangle}_{L^2(G\times S\times where the second to phase we wrote and used Green’s formula, and on last phase we made use of the already proven facts: $T_C\phi={\bf f}$, $\gamma_-(\phi)={\bf and $\phi(\cdot,\cdot,E_m)=0$. Thus it holds $${\left\langle}q_{|\Gamma_+}-\gamma_+(\phi),\gamma_+
+{\left\langle}q_{|\Gamma_+},\gamma_+(v){\rigHt\rangle}_{T^2(\GAmma_+)}+{\lEft\LanGlE}p_0,S_0(\cDot,0)v(\Cdot,\cdot,0){\right\rANgle}_{l^2(G\times S)} \\[2mm]
={}&{\left\langle}T_C\Phi,v{\rIgHT\ranGLe}_{l^2(G\timEs S\timeS i)}
+{\lEFT\laNgLe}Q_{|\GaMmA_+}-\GaMma_+(\phI),\gaMma_+(v){\rigHt\rangle}_{T^2(\GAmmA_+)}
+{\lEft\langle}\gamMA_-(\pHi),\gamma_-(v){\riGht\Rangle}_{T^2(\Gamma_-)} \\
{}&
+{\LefT\langlE}p_0-\Phi(\CDot,\cdOt,0),S_0(\Cdot,0)v(\Cdot,\cdOT,0){\right\Rangle}_{L^2(G\tImES S)}+{\left\LAngle}\phI(\CDoT,\cdoT,E_m),S_0(\cdot,E_m)v(\cdot,\cdOT,E_M){\Right\rangle}_{L^2(G\tImes S)} \\[2mM]
={}&{\lEFt\LANglE}{\bf F},v{\right\ranGlE}_{L^2(G\tiMEs S\timeS i)}+{\lEFT\LanGLe}q_{|\Gamma_+}-\gamma_+(\Phi),\gamma_+(v){\riGHt\rAngle}_{T^2(\gaMma_+)}+{\LEft\lanGle}{\bf G},\gAMma_-(V){\right\ranglE}_{T^2(\GaMma_-)} \\
{}&+{\left\laNgle}p_0-\pHI(\cdot,\cdOT,0),S_0(\cdot,0)v(\Cdot,\cdOt,0){\rIghT\ranGLe}_{l^2(G\TimEs s)}$$ WheRE oN thE SecOnd to lasT pHaSe we wRote $t_c\PHI=(P(x,\oMegA,E,D)+Cs_0+\SigmA-K_C)\phi$ and used greEn’s fORmuLa, and On the Last PhAse we Made usE of thE aLready proven facTs: $T_C\Phi={\bf f}$, $\gamMa_-(\pHi)={\Bf g}$, AnD $\phi(\cDOt,\cdot,e_m)=0$. THus It holds $${\Left\lanGLe}q_{|\gaMMA_+}-\GaMma_+(\phi),\gamma_+
+{\left\langle}q_{|\Gamma_ +},\gamma_ +(v){ \ri ght \r angl e}_{ T^2(\Gamma_+)} + {\le ft\langle}p_0,S_0(\cdo t,0)v (\ c dot, \ cd ot,0) {\right \ ra n g le} _{ L^ 2(G \t i me s S)}  \\ [2mm]
= {}&{\left\ lan gl e}T_C\phi,v{ \ ri ght\rangle }_{ L^2(G\timesS\t imes I )} 
+{ \ left\ lan gle}q _{|\Ga m ma_+}- \gamma_+( \p h i),\ga m ma_+(v) { \ ri ght\ rangle}_{T^2(\Gam m a_ + )}
+{\left\lan gle}\g am m a_ - ( \ph i), \gamma_-(v ){ \righ t \rangle } _{ T ^ 2 (\G a mma_-)} \\
{} &
+{\left\l a ngl e}p_0- \p hi( \ cdot,\ cdot, 0) , S_0 (\cdot,0)v( \cdo t,\cdot,0 ){\rig h t\rangl e }_{L^2( G\time s S )}+ {\le f t\ la ngl e} \ phi ( \c dot , \cd ot,E_m), S_ 0( \cdot ,E_m ) v ( \ cdot ,\c dot, E_m){ \right\rangle }_{ L^2( G \ti mes S )} \\ [2mm ]={}&{ \left\ langl e} {\bf f},v{\righ t\ra ngle}_{L^ 2(G \t ime sS\tim e s I)}+ {\l eft \langle }q_{|\G a mma _+ } - \ ga mma_+(\phi),\gamma _+ ( v ){ \right\r angle} _ {T ^2 ( \Gamma_+ )} +{\ left \ l angle }{\b f  g },\gamma _-(v){ \ ri gh t\rangl e} _{T^2( \G amm a_- )} \\ {}&+ {\left \langle} p_0-\ p hi(\cdot,\cdot , 0),S_0(\cdot, 0 )v ( \ cd o t,\c dot ,0){\right\ rang l e}_{ L^2( G \t ime s  S)}$ $ whe re on the second to lastph ase we  wrot e $T_C\phi=(P (x,\omega, E , D )+CS_0+\ Sigm a -K _ C)\phi$ and us ed Gr een’s form u la, andon th e last p hase we m a d e use of  th e a lre ady p ro ven facts: $T _ C \phi ={ \bf f}$ , $ \gamma_ -(\ phi )={ \bf  g }$, and $ \phi(\cd ot ,\ cd ot ,E_ m)=0$ .  Thus it  h old s$${ \left \ langle }q_{| \Gam ma _+ } -\g amma_+( \ ph i ) ,\ga mm a_ +
+{\left\langle}q_{|\Gamma_+},\gamma_+(v){\right\rangle}_{T^2(\Gamma_+)}+{\left\langle}p_0,S_0(\cdot,0)v(\cdot,\cdot,0){\right\rangle}_{L^2(G\times S)}_\\[2mm]
={}&{\left\langle}T_C\phi,v{\right\rangle}_{L^2(G\times S\times_I)}
+{\left\langle}q_{|\Gamma_+}-\gamma_+(\phi),\gamma_+(v){\right\rangle}_{T^2(\Gamma_+)}
+{\left\langle}\gamma_-(\phi),\gamma_-(v){\right\rangle}_{T^2(\Gamma_-)} \\
{}&
+{\left\langle}p_0-\phi(\cdot,\cdot,0),S_0(\cdot,0)v(\cdot,\cdot,0){\right\rangle}_{L^2(G\times S)}+{\left\langle}\phi(\cdot,\cdot,E_m),S_0(\cdot,E_m)v(\cdot,\cdot,E_m){\right\rangle}_{L^2(G\times S)}_\\[2mm]
={}&{\left\langle}{\bf f},v{\right\rangle}_{L^2(G\times_S\times_I)}+{\left\langle}q_{|\Gamma_+}-\gamma_+(\phi),\gamma_+(v){\right\rangle}_{T^2(\Gamma_+)}+{\left\langle}{\bf g},\gamma_-(v){\right\rangle}_{T^2(\Gamma_-)}_\\
{}&+{\left\langle}p_0-\phi(\cdot,\cdot,0),S_0(\cdot,0)v(\cdot,\cdot,0){\right\rangle}_{L^2(G\times_S)}$$ where on_the second to_last phase we wrote_$T_C\phi=(P(x,\omega,E,D)+CS_0+\Sigma-K_C)\phi$ and used_Green’s_formula, and on the last phase we made use of the already proven facts:_$T_C\phi={\bf_f}$, $\gamma_-(\phi)={\bf_g}$,_and_$\phi(\cdot,\cdot,E_m)=0$. Thus it holds $${\left\langle}q_{|\Gamma_+}-\gamma_+(\phi),\gamma_+