,E,D)\phi\in L^2(G\times S\times I)\ {\rm in\ the \ weak\ sense}\}\end{gathered}$$ is a Hilbert space when equipped with the inner product (cf. section \[m-d\]) $${\left\langle}\phi,v{\right\rangle}_{{{{\mathcal{}}}H}_P(G\times S\times I^\circ)}={\left\langle}\phi,v{\right\rangle}_{L^2(G\times S\times I)}+{\left\langle}P(x,\omega,E,D)\phi,P(x,\omega,E,D)v{\right\rangle}_{L^2(G\times S\times I)}.$$

With this notation, the equations and can be written as $$\begin{aligned}
P(x,\omega,E,D)\psi+\Sigma\psi - K\psi = f,\end{aligned}$$ and $$\begin{aligned}
P(x,\omega,E,D)\phi+C S_0\phi+\Sigma\phi-K_C\phi=e^{CE}f,\end{aligned}$$ respectively.

In the context if Lions-Lax-Milgram Theorem we shall make us of the following assumption which we call as ${\bf TC}$:

\[as:TC\] Let $\gamma_{\pm}(\phi)=\phi_{|\Gamma_{\pm}}$ and $\gamma_{\rm m}(\phi):=\phi(\cdot,\cdot,E_{\rm m}),\ \gamma_{0}(\phi):=\phi(\cdot,\cdot,0)$. The assumption is that the linear maps $$\begin{aligned}
\gamma_{\pm}:{{{\mathcal{}}}H}_P(G\times S\times I^\circ) & \to L_{\rm loc}^2(\Gamma_{\pm},|\omega\cdot\nu| d\sigma d\omega dE), \\
\gamma_{\rm m}:{{{\mathcal{}}}H}_P(G\times S\times I^\circ) & \to L_{\rm loc}^2(G\times S), \\
\gamma_{0}:{{{\mathcal{}}}H}_P(G\times S\times I^\circ) & \to L_{\rm loc}^2(G\times S),\end{aligned}$$ are well-defined and continuous.

In the case where $S=S(E)$ is independent of $x$
, E, D)\phi\in L^2(G\times S\times I)\ { \rm in\ the \ weak\ sense}\}\end{gathered}$$ is a Hilbert space when equipped with the inner product (californium. incision \[m - d\ ]) $ $ { \left\langle}\phi, v{\right\rangle}_{{{{\mathcal{}}}H}_P(G\times S\times I^\circ)}={\left\langle}\phi, v{\right\rangle}_{L^2(G\times S\times I)}+{\left\langle}P(x,\omega, E, D)\phi, P(x,\omega, E, D)v{\right\rangle}_{L^2(G\times S\times I)}.$$ 

 With this notation, the equations and can be written as $ $ \begin{aligned } 
 P(x,\omega, E, D)\psi+\Sigma\psi - K\psi = f,\end{aligned}$$ and $ $ \begin{aligned } 
 P(x,\omega, E, D)\phi+C S_0\phi+\Sigma\phi - K_C\phi = e^{CE}f,\end{aligned}$$ respectively. 

 In the context if Lions - Lax - Milgram Theorem we shall cause us of the following assumption which we call as $ { \bf TC}$: 

 \[as: TC\ ] permit $ \gamma_{\pm}(\phi)=\phi_{|\Gamma_{\pm}}$ and $ \gamma_{\rm m}(\phi):=\phi(\cdot,\cdot, E_{\rm m}),\ \gamma_{0}(\phi):=\phi(\cdot,\cdot,0)$. The assumption is that the linear maps $ $ \begin{aligned } 
 \gamma_{\pm}:{{{\mathcal{}}}H}_P(G\times S\times I^\circ) & \to L_{\rm loc}^2(\Gamma_{\pm},|\omega\cdot\nu| d\sigma d\omega dE), \\ 
 \gamma_{\rm m}:{{{\mathcal{}}}H}_P(G\times S\times I^\circ) & \to L_{\rm loc}^2(G\times S), \\ 
 \gamma_{0}:{{{\mathcal{}}}H}_P(G\times S\times I^\circ) & \to L_{\rm loc}^2(G\times S),\end{aligned}$$ are well - specify and continuous. 

 In the case where $ S = S(E)$ is independent of $ x$
,E,D)\pji\in L^2(G\times S\times I)\ {\rm in\ the \ weak\ sgnwe}\}\end{gethered}$$ is a Hiubert space when equipped wivh tye inber product (cf. section \[m-d\]) $${\left\lwngle}\phi,c{\rigit\rangle}_{{{{\mathcal{}}}H}_'(F\times S\times L^\circ)}={\nxft\langle}\phi,v{\rinht\rangle}_{L^2(G\dimes S\times I)}+{\newt\pangle}P(x,\omega,E,D)\phi,P(x,\omega,E,D)v{\right\raggle}_{L^2(G\tomfs S\times I)}.$$

Witr thps notzniin, the equations and can be wditten es $$\begin{aligned}
L(x,\omega,E,D)\psi+\Sigma\psi - K\psi = f,\ejd{aligned}$$ and $$\begij{aligned}
P(x,\onega,Q,E)\phi+C S_0\phi+\Siema\phi-K_C\php=z^{CE}f,\end{alighed}$$ respectively.

In the context kf Lipns-Lax-Milgtcn Tjgorem we shaol mahe us of the followitg assukption which wc caln aw ${\bf TC}$:

\[as:TC\] Let $\gamma_{\'m}(\phi)=\phi_{|\Gamma_{\pm}}$ and $\damma_{\rm m}(\[hn):=\phi(\cdot,\cdot,E_{\rm m}),\ \gamna_{0}(\phi):=\phh(\cdod,\cdog,0)$. Thd aasnmpfion id tiat the linsar maps $$\betin{aligned}
\gamma_{\pm}:{{{\mauhcwo{}}}H}_P(G\times S\tijes I^\cyrs) & \to L_{\rm loc}^2(\Gamma_{\pm},|\omega\cdot\nu| d\sigma g\omsga dE), \\
\gamma_{\rm m}:{{{\mathcal{}}}Y}_P(G\times S\times I^\circ) & \to L_{\rm joc}^2(G\times S), \\
\gamma_{0}:{{{\mathcal{}}}H}_P(G\times S\times I^\circ) & \to L_{\rm muc}^2(G\uines S),\dbd{wligned}$$ are well-defined and continuous.

In the szst wmere $S=S(E)$ is indeiendent of $x$
,E,D)\phi\in L^2(G\times S\times I)\ {\rm in\ the sense}\}\end{gathered}$$ a Hilbert when equipped with \[m-d\]) S\times I^\circ)}={\left\langle}\phi,v{\right\rangle}_{L^2(G\times S\times S\times I)}.$$ With notation, the equations and can be as $$\begin{aligned} P(x,\omega,E,D)\psi+\Sigma\psi - K\psi = f,\end{aligned}$$ and $$\begin{aligned} P(x,\omega,E,D)\phi+C S_0\phi+\Sigma\phi-K_C\phi=e^{CE}f,\end{aligned}$$ respectively. In context if Lions-Lax-Milgram Theorem we shall make us of the following assumption which call ${\bf \[as:TC\] $\gamma_{\pm}(\phi)=\phi_{|\Gamma_{\pm}}$ and $\gamma_{\rm m}(\phi):=\phi(\cdot,\cdot,E_{\rm m}),\ \gamma_{0}(\phi):=\phi(\cdot,\cdot,0)$. The assumption is that the linear maps $$\begin{aligned} \gamma_{\pm}:{{{\mathcal{}}}H}_P(G\times S\times & \to L_{\rm loc}^2(\Gamma_{\pm},|\omega\cdot\nu| d\sigma d\omega dE), \\ m}:{{{\mathcal{}}}H}_P(G\times S\times I^\circ) & L_{\rm loc}^2(G\times S), \\ \gamma_{0}:{{{\mathcal{}}}H}_P(G\times I^\circ) \to L_{\rm S),\end{aligned}$$ well-defined continuous. In the where $S=S(E)$ is independent of $x$
,E,D)\phi\in L^2(G\times S\times I)\ {\rm in\ The \ weak\ senSe}\}\end{GatHerEd}$$ Is a HIlbeRt space when equIPped With the inner product (cf. sEctioN \[m-D\]) $${\Left\LAnGle}\phI,v{\right\RAnGLE}_{{{{\maThCaL{}}}H}_P(g\tIMeS S\timEs I^\Circ)}={\lefT\langle}\phi,V{\riGhT\rangle}_{L^2(G\timES S\Times I)}+{\left\LanGle}P(x,\omega,E,D)\Phi,p(x,\omegA,E,d)v{\rIGht\raNglE}_{L^2(G\tiMes S\tiMEs I)}.$$

WitH this notaTiON, the eqUAtions aND CaN be wRitten as $$\begin{aligNEd}
p(X,\omega,E,D)\psi+\SigMa\psi - K\PsI = F,\eND{AliGneD}$$ and $$\begin{aLiGned}
P(X,\Omega,E,D)\PHi+c s_0\PHi+\SIGma\phi-K_C\phi=e^{Ce}f,\end{aligneD}$$ ResPectivElY.

In THe contExt if liONs-LAx-Milgram ThEoreM we shall mAke us oF The follOWing assUmptioN whIch We caLL aS ${\bF TC}$:

\[As:tc\] LeT $\GaMma_{\PM}(\phI)=\phi_{|\GammA_{\pM}}$ aNd $\gamMa_{\rm M}(\PHI):=\Phi(\cDot,\Cdot,e_{\rm m}),\ \gAmma_{0}(\phi):=\phi(\cdoT,\cdOt,0)$. ThE AssUmptiOn is tHat tHe LineaR maps $$\bEgin{aLiGned}
\gamma_{\pm}:{{{\mathCal{}}}H}_p(G\times S\tImeS I^\CirC) & \tO L_{\rm lOC}^2(\Gamma_{\Pm},|\oMegA\cdot\nu| D\sigma d\OMegA de), \\
\GAMmA_{\rm m}:{{{\mathcal{}}}H}_P(G\timeS S\TIMeS I^\circ) & \to l_{\rm loc}^2(g\TiMeS s), \\
\gamma_{0}:{{{\maThCal{}}}h}_P(G\tIMEs S\tiMes I^\CIrC) & \to L_{\rm loC}^2(G\timeS s),\eNd{Aligned}$$ ArE well-dEfIneD anD contINuouS.

In the Case wherE $S=S(E)$ iS Independent of $x$
,E,D)\phi\in L^2(G\times S \times I)\  {\rm  in \ t he  \ w eak\  sense}\}\end{ g athe red}$$ is a Hilbert sp ace w he n  equ i pp ed wi th thei nn e r  pr od uc t ( cf .  s ectio n \ [m-d\])  $${\left\ lan gl e}\phi,v{\ri g ht \rangle}_{ {{{ \mathcal{}}} H}_ P(G\ti me s S \ times  I^ \circ )}={\l e ft\lan gle}\phi, v{ \ right\ r angle}_ { L ^2 (G\t imes S\times I)}+ { \l e ft\langle}P(x, \omega ,E , D) \ p hi, P(x ,\omega,E, D) v{\ri g ht\rang l e} _ { L ^2( G \times S\time s I)}.$$

W i ththis n ot ati o n, the  equa ti o nsand can bewrit ten as $$ \begin { aligned } 
P(x,\o mega,E ,D) \ps i+\S i gm a\ psi  - K\p s i= f , \en d{aligne d} $$  and$$\b e g i n {ali gne d}
P (x,\o mega,E,D)\phi +CS_0\ p hi+ \Sigm a\phi -K_C \p hi=e^ {CE}f, \end{ al igned}$$ respec tive ly.

In t heco nte xt  if L i ons-La x-M ilg ram The orem we sha ll m a ke  us of the followi ng a ss umptionwhichw eca l l as ${\ bf  TC }$:\ [as:T C\]L et  $\gamma _{\pm} ( \p hi )=\phi_ {| \Gamma _{ \pm }}$  and$ \gam ma_{\r m m}(\ph i):=\ p hi(\cdot,\cdot , E_{\rm m}),\\ ga m m a_ { 0}(\ phi ):=\phi(\cd ot,\ c dot, 0)$. Th e a s sumpt ion i st ha t  the linear maps $$ \b egin{a ligne d}
\gamma_{\p m}:{{{\mat h c a l{}}}H}_ P(G\ t im e s S\times I^\c irc)& \to L_{\ r m loc}^2 (\Gam ma_{\pm} ,|\omega\ c d ot\nu| d \si gma  d\ ome g a  d E), \\
\gamma _ { \rmm} :{{{\ma thc al{}}}H }_P (G\ tim esS\ times I^\ circ) &\t oL_ {\ rmloc}^ 2 (G\times  S ),\\ 
\g amma_ { 0}:{{{ \math cal{ }} }H } _P( G\times S\ t i mesI^ \c irc)  &\t o L_{ \rml oc} ^2(G\ti mes S),\e nd{ a lign ed }$ $ are w ell-defined a nd  continuou s. 

I n thec a se where  $S=S(E)$ is independen t  of $x$ 
,E,D)\phi\in L^2(G\times_S\times I)\_{\rm in\ the \_weak\ sense}\}\end{gathered}$$_is_a Hilbert_space_when equipped with_the inner product_(cf. section \[m-d\]) $${\left\langle}\phi,v{\right\rangle}_{{{{\mathcal{}}}H}_P(G\times_S\times I^\circ)}={\left\langle}\phi,v{\right\rangle}_{L^2(G\times S\times_I)}+{\left\langle}P(x,\omega,E,D)\phi,P(x,\omega,E,D)v{\right\rangle}_{L^2(G\times_S\times I)}.$$

With this notation, the equations and can be written as $$\begin{aligned}
P(x,\omega,E,D)\psi+\Sigma\psi - K\psi_=_f,\end{aligned}$$ and_$$\begin{aligned}
P(x,\omega,E,D)\phi+C_S_0\phi+\Sigma\phi-K_C\phi=e^{CE}f,\end{aligned}$$_respectively.

In the context if Lions-Lax-Milgram_Theorem we shall make us_of the_following assumption which we call as ${\bf TC}$:

\[as:TC\]_Let_$\gamma_{\pm}(\phi)=\phi_{|\Gamma_{\pm}}$ and $\gamma_{\rm_m}(\phi):=\phi(\cdot,\cdot,E_{\rm m}),\ \gamma_{0}(\phi):=\phi(\cdot,\cdot,0)$. The assumption is that the linear_maps $$\begin{aligned}
\gamma_{\pm}:{{{\mathcal{}}}H}_P(G\times S\times I^\circ) & \to_L_{\rm loc}^2(\Gamma_{\pm},|\omega\cdot\nu| d\sigma_d\omega_dE),_\\
\gamma_{\rm m}:{{{\mathcal{}}}H}_P(G\times S\times I^\circ)_& \to L_{\rm loc}^2(G\times S), \\
\gamma_{0}:{{{\mathcal{}}}H}_P(G\times_S\times I^\circ) & \to L_{\rm loc}^2(G\times_S),\end{aligned}$$ are well-defined and continuous.

In the case_where $S=S(E)$ is independent of $x$