g}})-\pi_{\mathfrak{g}}-\varphi_{X_k}^{*}([X_k,\pi_{\mathfrak{g}}]),\ \ U_{k}:=Z_{k}-[\pi_{\mathfrak{g}},X_k].$$ Using Lemma \[Lemma\_domain\_of\_flowfixed\] and inequality (\[EQ\_X\_n\_nfixed\]), these terms can be bounded by $$\begin{aligned}
\label{EQ_Vfixed}
\|V_k\|_{s,r_{k+1}}&\leq C\|\pi_{\mathfrak{g}}\|_{s+2,r_k}\|X_k\|_{0,r_k}\|X_k\|_{s+2,r_k}\leq  Ct_k^{s+2-2\alpha},\\
\label{EQ_Ufixed}\|\varphi_{X_k}^{*}(U_{k})\|_{s,r_{k+1}}&\leq C(\|U_k\|_{s,r_k}+\|U_k\|_{0,r_k}\|X_k\|_{s+1,r_{k}})\leq\\
\nonumber&\leq C(\|U_k\|_{s,r_k}+t_k^{s+1-\alpha}\|U_k\|_{0,r_k}).\end{aligned}$$ To compute the $C^s$-norm for $U_k$, we rewrite it as $$\begin{aligned}
U_k&=Z_k-[\pi_{\mathfrak{g}},X_k]=[\pi_{\mathfrak{g}},h_1^{r_k}(Z_k)]+h_2^{r_k}([\pi_{\mathfrak{g}},Z_k])-[\pi_{\mathfrak{g}},X_k]=\\
&=[\pi_{\mathfrak{g}},(I-S_k)h_1^{r_k}(Z_k)]-\frac{1}{2}h_2^{r_k}([Z_k,Z_k]).\end{aligned}$$ By tameness of the Lie bracket, the first term can be bounded by $$\begin{aligned}
\|[\pi_{\mathfrak{g}},(I-S_k)& h_1^{r_k}(Z_k)]\|_{s,r_k}\leq C \|(I-S_k)h_1^{r_k}(Z_k)\|_{s+1,r
g}})-\pi_{\mathfrak{g}}-\varphi_{X_k}^{*}([X_k,\pi_{\mathfrak{g}}]),\ \ U_{k}:=Z_{k}-[\pi_{\mathfrak{g}},X_k].$$ Using Lemma \[Lemma\_domain\_of\_flowfixed\ ] and inequality (\[EQ\_X\_n\_nfixed\ ]), these terms can be bounded by $ $ \begin{aligned } 
 \label{EQ_Vfixed } 
 \|V_k\|_{s, r_{k+1}}&\leq C\|\pi_{\mathfrak{g}}\|_{s+2,r_k}\|X_k\|_{0,r_k}\|X_k\|_{s+2,r_k}\leq   Ct_k^{s+2 - 2\alpha},\\ 
 \label{EQ_Ufixed}\|\varphi_{X_k}^{*}(U_{k})\|_{s, r_{k+1}}&\leq C(\|U_k\|_{s, r_k}+\|U_k\|_{0,r_k}\|X_k\|_{s+1,r_{k}})\leq\\ 
 \nonumber&\leq C(\|U_k\|_{s, r_k}+t_k^{s+1-\alpha}\|U_k\|_{0,r_k}).\end{aligned}$$ To compute the $ C^s$-norm for $ U_k$, we rewrite it as $ $ \begin{aligned } 
 U_k&=Z_k-[\pi_{\mathfrak{g}},X_k]=[\pi_{\mathfrak{g}},h_1^{r_k}(Z_k)]+h_2^{r_k}([\pi_{\mathfrak{g}},Z_k])-[\pi_{\mathfrak{g}},X_k]=\\ 
 & =[ \pi_{\mathfrak{g}},(I - S_k)h_1^{r_k}(Z_k)]-\frac{1}{2}h_2^{r_k}([Z_k, Z_k]).\end{aligned}$$ By jejunity of the Lie bracket, the inaugural term can be bounded by $ $ \begin{aligned } 
 \|[\pi_{\mathfrak{g}},(I - S_k) & h_1^{r_k}(Z_k)]\|_{s, r_k}\leq C \|(I - S_k)h_1^{r_k}(Z_k)\|_{s+1,r
g}})-\pi_{\lathfrak{g}}-\varphi_{X_k}^{*}([X_k,\pi_{\matmfrak{g}}]),\ \ U_{k}:=Z_{k}-[\pi_{\majhdrak{g}},X_n].$$ Usinf Lemma \[Uemma\_domain\_of\_flowfixed\] and iiequqlity (\[EQ\_X\_n\_nfixed\]), these termr can be hounded vy $$\btgin{aligned}
\label{EQ_Vfixed}
\|V_k\|_{s,r_{k+1}}&\les C\|\pi_{\kethfrak{g}}\|_{s+2,r_k}\|X_k\|_{0,r_k}\|W_k\|_{s+2,r_k}\leq  Cd_k^{s+2-2\alpha},\\
\label{EX_Uwired}\|\varphi_{X_k}^{*}(U_{k})\|_{s,r_{k+1}}&\leq C(\|U_k\|_{s,r_k}+\|U_k\|_{0,r_k}\|X_k\|_{s+1,r_{k}})\lqq\\
\nonumneg&\leq C(\|U_k\|_{s,r_k}+t_k^{s+1-\wlphs}\|T_k\|_{0,r_k}).\snd{aligned}$$ To compute the $C^s$-norm fkr $U_k$, wt rewrite it as $$\bebin{aligned}
U_k&=Z_k-[\pi_{\mathfrak{g}},X_n]=[\pi_{\mwthfrak{g}},h_1^{r_k}(Z_k)]+h_2^{r_k}([\pi_{\lathfrak{g}},Z_k])-[\kj_{\maeyfrak{g}},X_k]=\\
&=[\pi_{\maghfrak{g}},(I-S_k)h_1^{r_k}(Z_k)]-\frac{1}{2}h_2^{r_k}([E_k,Z_k]).\end{aligned}$$ By tameness of thd Lie bracket, tye figvt term can be bjunded by $$\benpn{alignad}
\|[\pi_{\matnfrak{g}},(I-S_k)& h_1^{r_k}(Z_l)]\|_{s,r_n}\lew C \|(I-S_k)h_1^{r_k}(Z_k)\|_{s+1,r
g}})-\pi_{\mathfrak{g}}-\varphi_{X_k}^{*}([X_k,\pi_{\mathfrak{g}}]),\ \ U_{k}:=Z_{k}-[\pi_{\mathfrak{g}},X_k].$$ Using Lemma \[Lemma\_domain\_of\_flowfixed\] and these can be by $$\begin{aligned} \label{EQ_Vfixed} \nonumber&\leq To compute the for $U_k$, we it as $$\begin{aligned} U_k&=Z_k-[\pi_{\mathfrak{g}},X_k]=[\pi_{\mathfrak{g}},h_1^{r_k}(Z_k)]+h_2^{r_k}([\pi_{\mathfrak{g}},Z_k])-[\pi_{\mathfrak{g}},X_k]=\\ &=[\pi_{\mathfrak{g}},(I-S_k)h_1^{r_k}(Z_k)]-\frac{1}{2}h_2^{r_k}([Z_k,Z_k]).\end{aligned}$$ By of the Lie bracket, the first term can be bounded by $$\begin{aligned} \|[\pi_{\mathfrak{g}},(I-S_k)& C \|(I-S_k)h_1^{r_k}(Z_k)\|_{s+1,r
g}})-\pi_{\mathfrak{g}}-\varphi_{X_k}^{*}([X_k,\pi_{\mAthfrak{g}}]),\ \ U_{k}:=z_{k}-[\pi_{\mAthFraK{g}},x_k].$$ UsIng LEmma \[Lemma\_domaiN\_Of\_flOwfixed\] and inequality (\[EQ\_x\_n\_nfiXeD\]), ThesE TeRms caN be bounDEd BY $$\BegIn{AlIgnEd}
\LAbEl{EQ_VFixEd}
\|V_k\|_{s,r_{k+1}}&\Leq C\|\pi_{\mathFraK{g}}\|_{S+2,r_k}\|X_k\|_{0,r_k}\|X_k\|_{s+2,r_k}\LEq  ct_k^{s+2-2\alpha},\\
\lAbeL{EQ_Ufixed}\|\varPhi_{x_k}^{*}(U_{k})\|_{s,r_{K+1}}&\lEq C(\|u_K\|_{s,r_k}+\|U_K\|_{0,r_k}\|x_k\|_{s+1,r_{k}})\Leq\\
\nonUMber&\leQ C(\|U_k\|_{s,r_k}+t_k^{S+1-\aLPha}\|U_k\|_{0,r_K}).\End{aligNED}$$ TO comPute the $C^s$-norm for $U_K$, We REwrite it as $$\begiN{alignEd}
u_K&=Z_K-[\PI_{\maThfRak{g}},X_k]=[\pi_{\maThFrak{g}},H_1^{R_k}(Z_k)]+h_2^{r_k}([\PI_{\mATHFraK{G}},Z_k])-[\pi_{\mathfrak{G}},X_k]=\\
&=[\pi_{\mathfrAK{g}},(I-s_k)h_1^{r_k}(Z_K)]-\fRac{1}{2}H_2^{R_k}([Z_k,Z_k]).\End{alIgNEd}$$ BY tameness of The LIe bracket, The firST term caN Be boundEd by $$\beGin{AliGned}
\|[\PI_{\mAtHfrAk{G}},(i-S_k)& H_1^{R_k}(z_k)]\|_{s,R_K}\leQ C \|(I-S_k)h_1^{r_k}(z_k)\|_{S+1,r
g}})-\pi_{\mathfrak{g}}-\v arphi_{X_k }^{*} ([X _k, \p i_{\ math frak{g}}]),\ \ U_{k }:=Z_{k}-[\pi_{\mathfr ak{g} }, X _k]. $ $Using  Lemma\ [L e m ma\ _d om ain \_ o f\ _flow fix ed\] an d inequali ty(\ [EQ\_X\_n\_n f ix ed\]), the seterms can be  bo undedby  $$ \ begin {al igned }
\lab e l{EQ_V fixed}
\| V_ k \|_{s, r _{k+1}} & \ le q C\ |\pi_{\mathfrak{g } }\ | _{s+2,r_k}\|X_ k\|_{0 ,r _ k} \ | X_k \|_ {s+2,r_k}\ le q  Ct _ k^{s+2- 2 \a l p h a}, \ \
\label{EQ_U fixed}\|\va r phi _{X_k} ^{ *}( U _{k})\ |_{s, r_ { k+1 }}&\leq C(\ |U_k \|_{s,r_k }+\|U_ k \|_{0,r _ k}\|X_k \|_{s+ 1,r _{k }})\ l eq \\ 
\n on u mbe r &\ leq C(\ |U_k\|_{ s, r_ k}+t_ k^{s + 1 - \ alph a}\ |U_k \|_{0 ,r_k}).\end{a lig ned} $ $ T o com putethe$C ^s$-n orm fo r $U_ k$ , we rewrite it  as$$\begin{ ali gn ed} 
U _k&=Z _ k-[\pi _{\ mat hfrak{g }},X_k] = [\p i_ { \ m at hfrak{g}},h_1^{r_k }( Z _ k) ]+h_2^{r _k}([\ p i_ {\ m athfrak{ g} },Z _k]) - [ \pi_{ \mat h fr ak{g}},X _k]=\\ &= [\ pi_{\ma th frak{g }} ,(I -S_ k)h_1 ^ {r_k }(Z_k) ]-\frac{ 1}{2} h _2^{r_k}([Z_k, Z _k]).\end{ali g ne d } $$ By t ame ness of the  Lie brac ket, th e f i rst t erm c an be bounded by $$\begin {a ligned }
\|[ \pi_{\mathfra k{g}},(I-S _ k ) & h_1^{r _k}( Z _k ) ]\|_{s,r_k}\le q C \ |(I-S_k)h_ 1 ^{r_k}(Z _k)\| _{s+1,r
g}})-\pi_{\mathfrak{g}}-\varphi_{X_k}^{*}([X_k,\pi_{\mathfrak{g}}]),\ \_U_{k}:=Z_{k}-[\pi_{\mathfrak{g}},X_k].$$ Using_Lemma \[Lemma\_domain\_of\_flowfixed\] and inequality_(\[EQ\_X\_n\_nfixed\]), these_terms_can be_bounded_by $$\begin{aligned}
\label{EQ_Vfixed}
\|V_k\|_{s,r_{k+1}}&\leq C\|\pi_{\mathfrak{g}}\|_{s+2,r_k}\|X_k\|_{0,r_k}\|X_k\|_{s+2,r_k}\leq_ Ct_k^{s+2-2\alpha},\\
\label{EQ_Ufixed}\|\varphi_{X_k}^{*}(U_{k})\|_{s,r_{k+1}}&\leq C(\|U_k\|_{s,r_k}+\|U_k\|_{0,r_k}\|X_k\|_{s+1,r_{k}})\leq\\
\nonumber&\leq_C(\|U_k\|_{s,r_k}+t_k^{s+1-\alpha}\|U_k\|_{0,r_k}).\end{aligned}$$ To compute the_$C^s$-norm for $U_k$,_we_rewrite it as $$\begin{aligned}
U_k&=Z_k-[\pi_{\mathfrak{g}},X_k]=[\pi_{\mathfrak{g}},h_1^{r_k}(Z_k)]+h_2^{r_k}([\pi_{\mathfrak{g}},Z_k])-[\pi_{\mathfrak{g}},X_k]=\\
&=[\pi_{\mathfrak{g}},(I-S_k)h_1^{r_k}(Z_k)]-\frac{1}{2}h_2^{r_k}([Z_k,Z_k]).\end{aligned}$$ By tameness of the Lie bracket, the first term can_be_bounded by_$$\begin{aligned}
\|[\pi_{\mathfrak{g}},(I-S_k)&_h_1^{r_k}(Z_k)]\|_{s,r_k}\leq_C \|(I-S_k)h_1^{r_k}(Z_k)\|_{s+1,r