1(0,T;U)} - \varepsilon}{\norm{\bg - \hat\bg^\tau}_{H^1(0,T;U)} - \varepsilon/2} \right) \in [0,1].$$ In case $\norm{\bg - \hat\bg^\tau}_{H^1(0,T;U)} > \varepsilon$, we find (all norms are those of $H^1(0,T;U)$) $$\begin{aligned}
        \norm{\bg - \tilde\bg^\tau}
        & \le (1 - \eta^\tau) \, \norm{\bg - \hat\bg^\tau} + \eta^\tau \, \norm{\bg - \bg^\tau} \\
        & = \frac{1}{\norm{\bg - \hat\bg^\tau} - \varepsilon/2} \, \Bigh(){ \frac\varepsilon2 \, \norm{\bg - \hat\bg^\tau} + (\norm{\bg - \hat\bg^\tau} - \varepsilon) \, \norm{\bg - \bg^\tau} } \\
        & \le \frac{1}{\norm{\bg - \hat\bg^\tau} - \varepsilon/2} \, \Bigh(){ \frac\varepsilon2 \, \norm{\bg - \hat\bg^\tau} + (\norm{\bg - \hat\bg^\tau} - \varepsilon) \, \frac\varepsilon2 } \\
        & = \varepsilon.
    \end{aligned}$$ This shows $\norm{\bg - \tilde\bg^\tau}_{H^1(0,T;U)} \le \varepsilon$. Moreover, $\eta^\tau \in [0,1]$ implies $\tilde\bg^\tau \in {U_\textup{ad}}$. Therefore, $\tilde\bg^\tau \in {\hat U_\textup{ad}}$. Further, $\lim \norm{\bg - \hat\bg^\tau}_{H^1(0,T;U)} = \varepsilon$ implies $\eta^\tau \to 0$ and hence $\tilde\bg^\tau \to \tilde\bg$. This shows that ${\hat U_\textup{ad}}$ satisfies.

*Step (3):* We define the auxiliary problem $$\label{eq:ulp_aux}
        \tag{$\mathbf{P}_{\bg,\varepsilon}$}
        \left.

1(0,T;U) } - \varepsilon}{\norm{\bg - \hat\bg^\tau}_{H^1(0,T;U) } - \varepsilon/2 } \right) \in [ 0,1].$$ In case $ \norm{\bg - \hat\bg^\tau}_{H^1(0,T;U) } > \varepsilon$, we find (all norms are those of $ H^1(0,T;U)$) $ $ \begin{aligned } 
         \norm{\bg - \tilde\bg^\tau } 
         & \le (1 - \eta^\tau) \, \norm{\bg - \hat\bg^\tau } + \eta^\tau \, \norm{\bg - \bg^\tau } \\ 
         & = \frac{1}{\norm{\bg - \hat\bg^\tau } - \varepsilon/2 } \, \Bigh () { \frac\varepsilon2 \, \norm{\bg - \hat\bg^\tau } + (\norm{\bg - \hat\bg^\tau } - \varepsilon) \, \norm{\bg - \bg^\tau } } \\ 
         & \le \frac{1}{\norm{\bg - \hat\bg^\tau } - \varepsilon/2 } \, \Bigh () { \frac\varepsilon2 \, \norm{\bg - \hat\bg^\tau } + (\norm{\bg - \hat\bg^\tau } - \varepsilon) \, \frac\varepsilon2 } \\ 
         & = \varepsilon. 
     \end{aligned}$$ This shows $ \norm{\bg - \tilde\bg^\tau}_{H^1(0,T;U) } \le \varepsilon$. Moreover, $ \eta^\tau \in [ 0,1]$ entail $ \tilde\bg^\tau \in { U_\textup{ad}}$. Therefore, $ \tilde\bg^\tau \in { \hat U_\textup{ad}}$. Further, $ \lim \norm{\bg - \hat\bg^\tau}_{H^1(0,T;U) } = \varepsilon$ entail $ \eta^\tau \to 0 $ and hence $ \tilde\bg^\tau \to \tilde\bg$. This shows that $ { \hat U_\textup{ad}}$ satisfies. 

 * Step   (3 ): * We specify the auxiliary problem $ $ \label{eq: ulp_aux } 
         \tag{$\mathbf{P}_{\bg,\varepsilon}$ } 
         \left.
1(0,T;U)} - \varepsilon}{\norm{\bg - \hat\bg^\uau}_{H^1(0,T;U)} - \varepsilou/2} \right) \in [0,1].$$ Ih case $\nurm{\bg - \hat\bg^\tau}_{H^1(0,T;U)} > \varepsilln$, we fund (all norms are thosd of $H^1(0,T;U)$) $$\hegin{alitned}
        \norm{\bg - \tilde\bg^\tah}
        & \le (1 - \eta^\tao) \, \norm{\bg - \hdt\bg^\tau} + \eta^\tag \, \nlrm{\bg - \bg^\tau} \\
        & = \frac{1}{\norm{\bg - \rat\bg^\tai} - \varepsilon/2} \, \Bygh(){ \gwac\vzgeksilon2 \, \norm{\bg - \hat\bg^\tau} + (\norm{\bg - \hat\bg^\teu} - \varepsilon) \, \norm{\bg - \bg^\tau} } \\
        & \lf \frwc{1}{\norm{\bg - \hat\bg^\tau} - \varepsilob/2} \, \Byth(){ \frac\vareprilon2 \, \norm{\bg - \hat\bg^\tao} + (\norm{\bg - \hat\bg^\tau} - \varepsilon) \, \frac\rarepsilon2 } \\
        & = \varepsmlon.
    \end{aligned}$$ This shmws $\nork{\bg - \tilde\bg^\tam}_{H^1(0,T;U)} \ne \carepsilon$. Moreover, $\eva^\tau \in [0,1]$ implies $\tijde\bg^\tau \hn {U_\textup{ad}}$. Therefirw, $\tilge\bg^\dau \kb {\hxt H_\txxthp{ad}}$. Fkrtier, $\lim \norj{\bg - \hat\bg^\tqu}_{H^1(0,T;U)} = \varepsilon$ ikpjprs $\eta^\tau \to 0$ and regce $\tilde\bg^\tau \to \tilde\bg$. This shows thdt ${\gat U_\textup{ad}}$ satisfies.

*Wtep (3):* We define the audiliary pwoblem $$\label{eq:ulp_aux}
        \tag{$\mathbf{P}_{\bg,\varepsilot}$}
        \oent.

1(0,T;U)} - \varepsilon}{\norm{\bg - \hat\bg^\tau}_{H^1(0,T;U)} - \varepsilon/2} [0,1].$$ case $\norm{\bg \hat\bg^\tau}_{H^1(0,T;U)} > \varepsilon$, those $H^1(0,T;U)$) $$\begin{aligned} \norm{\bg \tilde\bg^\tau} & \le - \eta^\tau) \, \norm{\bg - \hat\bg^\tau} \eta^\tau \, \norm{\bg - \bg^\tau} \\ & = \frac{1}{\norm{\bg - \hat\bg^\tau} - \varepsilon/2} \Bigh(){ \frac\varepsilon2 \, \norm{\bg - \hat\bg^\tau} + (\norm{\bg - \hat\bg^\tau} - \varepsilon) \, - } & \frac{1}{\norm{\bg - \hat\bg^\tau} - \varepsilon/2} \, \Bigh(){ \frac\varepsilon2 \, \norm{\bg - \hat\bg^\tau} + (\norm{\bg - \hat\bg^\tau} \varepsilon) \, \frac\varepsilon2 } \\ & = \varepsilon. This shows $\norm{\bg - \le \varepsilon$. Moreover, $\eta^\tau \in implies \in {U_\textup{ad}}$. $\tilde\bg^\tau {\hat Further, $\lim \norm{\bg \hat\bg^\tau}_{H^1(0,T;U)} = \varepsilon$ implies $\eta^\tau \to 0$ and hence $\tilde\bg^\tau \to \tilde\bg$. This shows that ${\hat U_\textup{ad}}$ *Step (3):* the auxiliary $$\label{eq:ulp_aux} \left.
1(0,T;U)} - \varepsilon}{\norm{\bg - \hat\bg^\taU}_{H^1(0,T;U)} - \varepsIlon/2} \rIghT) \in [0,1].$$ in Case $\Norm{\Bg - \hat\bg^\tau}_{H^1(0,T;U)} > \vARepsIlon$, we find (all norms are tHose oF $H^1(0,t;u)$) $$\begIN{aLigneD}
        \norm{\bg - \TIlDE\Bg^\tAu}
        & \Le (1 - \Eta^\TaU) \, \NoRm{\bg - \hAt\bG^\tau} + \eta^\Tau \, \norm{\bg - \bG^\taU} \\
        & = \fRac{1}{\norm{\bg - \hat\BG^\tAu} - \varepsilOn/2} \, \BIgh(){ \frac\varepSilOn2 \, \norm{\Bg - \Hat\BG^\tau} + (\nOrm{\Bg - \hat\Bg^\tau} - \vARepsilOn) \, \norm{\bg - \bG^\tAU} } \\
        & \le \fraC{1}{\Norm{\bg - \hAT\Bg^\Tau} - \vArepsilon/2} \, \Bigh(){ \frac\VArEPsilon2 \, \norm{\bg - \haT\bg^\tau} + (\NoRM{\bG - \HAt\bG^\taU} - \varepsiloN) \, \fRac\vaREpsilon2 } \\
        & = \VArEPSIloN.
    \End{aligned}$$ ThiS shows $\norm{\bG - \TilDe\bg^\taU}_{H^1(0,t;U)} \lE \VarepsIlon$. MOrEOveR, $\eta^\tau \in [0,1]$ imPlieS $\tilde\bg^\tAu \in {U_\tEXtup{ad}}$. THErefore, $\Tilde\bG^\taU \in {\Hat U_\TExTuP{ad}}$. fuRTheR, $\LiM \noRM{\bg - \Hat\bg^\tau}_{h^1(0,T;u)} = \vArepsIlon$ IMPLIes $\eTa^\tAu \to 0$ And heNce $\tilde\bg^\tau \To \tIlde\BG$. ThIs shoWs thaT ${\hat u_\tExtup{Ad}}$ satiSfies.

*stEp (3):* We define the auXiliAry probleM $$\laBeL{eq:UlP_aux}
        \tAG{$\mathbF{P}_{\bG,\vaRepsiloN}$}
        \left.

1(0,T;U)} - \varepsilon}{\ norm{\bg -  \hat \bg ^\t au }_{H ^1(0 ,T;U)} - \vare p silo n/2} \right) \in [0,1] .$$ I nc ase$ \n orm{\ bg - \h a t\ b g ^\t au }_ {H^ 1( 0 ,T ;U)}> \ varepsi lon$, we f ind  ( all norms ar e  t hose of $H ^1( 0,T;U)$) $$\ beg in{ali gn ed}       \norm {\bg - \tilde \bg^\tau} 
     &  \le (1 -  \ eta^ \tau) \, \norm{\b g  - \hat\bg^\tau}+ \eta ^\ t au \ , \ nor m{\bg - \b g^ \tau} \\
    & = \ f rac{1}{\norm{ \bg - \hat\ b g^\ tau} -  \ var e psilon /2} \ ,\ Big h(){ \frac\ vare psilon2 \ , \nor m {\bg -\ hat\bg^ \tau}+ ( \no rm{\ b g-\ha t\ b g^\ t au } - \va repsilon )\,  \nor m{\b g - \bg^ \ta u} }  \\
       & \le\fr ac{1 } {\n orm{\ bg -\hat \b g^\ta u} - \ varep si lon/2} \, \Bigh (){\frac\var eps il on2  \ , \no r m{\bg- \ hat \bg^\ta u} + (\ n orm {\ b g -\hat\bg^\tau} - \v ar e p si lon) \,\frac\ v ar ep s ilon2 }\\ 
    & = \ vare p si lon.
   \end{ a li gn ed}$$ T hi s show s$\n orm {\bg-  \ti lde\bg ^\tau}_{ H^1(0 , T;U)} \le \var e psilon$. More o ve r ,  $ \ eta^ \ta u \in [0,1] $ im p lies  $\t i ld e\b g ^\tau  \in{U _ \t e xtup{ad}}$. Therefo re , $\ti lde\b g^\tau \in {\ hat U_\tex t u p {ad}}$.Furt h er ,  $\lim \norm{\ bg -\hat\bg^\t a u}_{H^1( 0,T;U )} = \va repsilon$ i mplies $ \et a^\ tau  \t o 0$  and hence $\ t i lde\ bg ^\tau \ to\tilde\ bg$ . T his  sh ow s that ${ \hat U_\ te xt up {a d}} $ sat i sfies.
*S tep  ( 3): * Wed efinethe a uxil ia ry pro blem $$ \ la b e l{eq :u lp _aux }
     \tag { $\m athbf{P }_{\bg,\v are p silo n} $} 
       \left.

1(0,T;U)} -_\varepsilon}{\norm{\bg -_\hat\bg^\tau}_{H^1(0,T;U)} - \varepsilon/2} \right)_\in [0,1].$$_In_case $\norm{\bg_-_\hat\bg^\tau}_{H^1(0,T;U)} > \varepsilon$,_we find (all_norms are those of_$H^1(0,T;U)$) $$\begin{aligned}
 __     \norm{\bg - \tilde\bg^\tau}
      __& \le_(1_-_\eta^\tau) \, \norm{\bg - \hat\bg^\tau}_+ \eta^\tau \, \norm{\bg -_\bg^\tau} \\
_       &_=_\frac{1}{\norm{\bg - \hat\bg^\tau}_- \varepsilon/2} \, \Bigh(){ \frac\varepsilon2 \, \norm{\bg - \hat\bg^\tau}_+ (\norm{\bg - \hat\bg^\tau} - \varepsilon)_\, \norm{\bg -_\bg^\tau}_}_\\
   _    & \le_\frac{1}{\norm{\bg - \hat\bg^\tau} - \varepsilon/2} \,_\Bigh(){ \frac\varepsilon2 \, \norm{\bg - \hat\bg^\tau} +_(\norm{\bg - \hat\bg^\tau} - \varepsilon) \,_\frac\varepsilon2 } \\
  _ _   & =_\varepsilon.
  _ \end{aligned}$$_This shows $\norm{\bg_- \tilde\bg^\tau}_{H^1(0,T;U)} \le \varepsilon$. Moreover, $\eta^\tau_\in [0,1]$ implies_$\tilde\bg^\tau \in {U_\textup{ad}}$. Therefore, $\tilde\bg^\tau \in_{\hat_U_\textup{ad}}$. Further, $\lim_\norm{\bg_-_\hat\bg^\tau}_{H^1(0,T;U)} =_\varepsilon$ implies $\eta^\tau_\to_0$ and_hence_$\tilde\bg^\tau \to \tilde\bg$. This shows that_${\hat_U_\textup{ad}}$ satisfies.

*Step (3):* We define the auxiliary problem_$$\label{eq:ulp_aux}
   __   \tag{$\mathbf{P}_{\bg,\varepsilon}$}
_    _  \left.
