mathcal{F}},n\ge1,w\in W_n$, we have $$\sup_{k\ge1}a_k(u\circ f_w)\le\sup_{k\ge1}\sum_{w\in W_n}a_k(u\circ f_w)=\rho^{-n}\sup_{k\ge1}a_{n+k}(u)\le\rho^{-n}\sup_{k\ge1}a_{k}(u)<+\infty,$$ hence $u\circ f_w\in{\mathcal{F}}$.

Let $${\overline{{\mathcal{E}}}}^{(n)}(u,u)=\rho^n\sum_{w\in W_n}{\mathcal{E}}(u\circ f_w,u\circ f_w),u\in{\mathcal{F}},n\ge1.$$ Then $$\begin{aligned}
{\overline{{\mathcal{E}}}}^{(n)}(u,u)&\ge C\rho^n\sum_{w\in W_n}\varlimsup_{k\to+\infty}a_k(u\circ f_w)\ge C\rho^n\varlimsup_{k\to+\infty}\sum_{w\in W_n}a_k(u\circ f_w)\\
&=C\varlimsup_{k\to+\infty}a_{n+k}(u)\ge C\sup_{k\ge1}a_k(u).
\end{aligned}$$ Similarly $$\begin{aligned}
{\overline{{\mathcal{E}}}}^{(n)}(u,u)&\le C\rho^n\sum_{w\in W_n}\varliminf_{k\to+\infty}a_k(u\circ f_w)\le C\rho^n\varliminf_{k\to+\infty}\sum_{w\in W_n}a_k(u\circ f_w)\\
&=C\varliminf_{k\to+\infty}a_{n+k}(u)\le C\sup_{k\ge1}a_k(u).
\end{aligned}$$ Hence $${\overline{{\mathcal{E}}}}^{(n)}(u,u)\asymp\sup_{k\ge1}a_k(u)\text{ for all }u\in{\mathcal{F}},n\ge1.$$
mathcal{F}},n\ge1,w\in W_n$, we have $ $ \sup_{k\ge1}a_k(u\circ f_w)\le\sup_{k\ge1}\sum_{w\in W_n}a_k(u\circ f_w)=\rho^{-n}\sup_{k\ge1}a_{n+k}(u)\le\rho^{-n}\sup_{k\ge1}a_{k}(u)<+\infty,$$ hence $ u\circ f_w\in{\mathcal{F}}$. 

 Let $ $ { \overline{{\mathcal{E}}}}^{(n)}(u, u)=\rho^n\sum_{w\in W_n}{\mathcal{E}}(u\circ f_w, u\circ f_w),u\in{\mathcal{F}},n\ge1.$$ Then $ $ \begin{aligned } 
 { \overline{{\mathcal{E}}}}^{(n)}(u, u)&\ge C\rho^n\sum_{w\in W_n}\varlimsup_{k\to+\infty}a_k(u\circ f_w)\ge C\rho^n\varlimsup_{k\to+\infty}\sum_{w\in W_n}a_k(u\circ f_w)\\ 
 & = C\varlimsup_{k\to+\infty}a_{n+k}(u)\ge C\sup_{k\ge1}a_k(u). 
 \end{aligned}$$ Similarly $ $ \begin{aligned } 
 { \overline{{\mathcal{E}}}}^{(n)}(u, u)&\le C\rho^n\sum_{w\in W_n}\varliminf_{k\to+\infty}a_k(u\circ f_w)\le C\rho^n\varliminf_{k\to+\infty}\sum_{w\in W_n}a_k(u\circ f_w)\\ 
 & = C\varliminf_{k\to+\infty}a_{n+k}(u)\le C\sup_{k\ge1}a_k(u). 
 \end{aligned}$$ Hence $ $ { \overline{{\mathcal{E}}}}^{(n)}(u, u)\asymp\sup_{k\ge1}a_k(u)\text { for all } u\in{\mathcal{F}},n\ge1.$$
matjcal{F}},n\ge1,w\in W_n$, we have $$\smp_{k\ge1}a_k(u\circ f_w)\lg\syp_{k\ge1}\snm_{w\in W_h}a_k(u\circ f_w)=\rho^{-n}\sup_{k\ge1}a_{n+k}(u)\le\rho^{-n}\sup_{k\gx1}a_{k}(u)<+\unfty,$$ hence $u\circ f_w\in{\mathcxl{F}}$.

Let $${\ovvrline{{\matycal{T}}}}^{(n)}(u,u)=\rho^n\sum_{w\in W_n}{\mathcal{E}}(m\eirc r_a,u\cixc f_w),u\in{\mathcal{F}},k\ge1.$$ Then $$\becin{aligned}
{\overnive{{\lathcal{E}}}}^{(n)}(u,u)&\ge C\rho^n\sum_{w\in W_n}\varlimstp_{k\to+\ingtj}a_k(u\circ f_w)\ge S\rho^m\darljmsup_{k\to+\infty}\sum_{w\in W_n}a_k(u\circ f_w)\\
&=C\vzrlimsuk_{k\to+\infty}a_{n+k}(u)\ge C\sip_{k\ge1}a_k(u).
\end{aligned}$$ Similarpy $$\bfgin{aligned}
{\overlinf{{\mathcal{E}}}}^{(n)}(u,o)&\me S\eho^n\sum_{w\in W_v}\varliminf_{k\to+\infty}a_k(u\cjrc f_w)\le C\rho^n\varliminf_{k\to+\infty}\rum_{w\iu W_n}a_k(u\circ f_q)\\
&=C\vwtliminf_{k\to+\inhty}a_{n+k}(l)\le C\sup_{k\ge1}a_k(m).
\vnd{aligted}$$ Henve $${\overline{{\matmcal{E}}}}^{(i)}(u,u)\awymp\sup_{k\ge1}a_k(u)\text{ for all }u\in{\mathcal{F}},n\gg1.$$
mathcal{F}},n\ge1,w\in W_n$, we have $$\sup_{k\ge1}a_k(u\circ f_w)\le\sup_{k\ge1}\sum_{w\in W_n}a_k(u\circ $u\circ Let $${\overline{{\mathcal{E}}}}^{(n)}(u,u)=\rho^n\sum_{w\in f_w,u\circ f_w),u\in{\mathcal{F}},n\ge1.$$ Then C\rho^n\varlimsup_{k\to+\infty}\sum_{w\in f_w)\\ &=C\varlimsup_{k\to+\infty}a_{n+k}(u)\ge C\sup_{k\ge1}a_k(u). Similarly $$\begin{aligned} {\overline{{\mathcal{E}}}}^{(n)}(u,u)&\le W_n}\varliminf_{k\to+\infty}a_k(u\circ f_w)\le C\rho^n\varliminf_{k\to+\infty}\sum_{w\in W_n}a_k(u\circ f_w)\\ &=C\varliminf_{k\to+\infty}a_{n+k}(u)\le \end{aligned}$$ Hence $${\overline{{\mathcal{E}}}}^{(n)}(u,u)\asymp\sup_{k\ge1}a_k(u)\text{ for all }u\in{\mathcal{F}},n\ge1.$$
mathcal{F}},n\ge1,w\in W_n$, we have $$\sup_{K\ge1}a_k(u\circ F_w)\le\sUp_{k\Ge1}\sUm_{W\in W_N}a_k(u\Circ f_w)=\rho^{-n}\sup_{k\GE1}a_{n+k}(U)\le\rho^{-n}\sup_{k\ge1}a_{k}(u)<+\infty,$$ hEnce $u\CiRC f_w\iN{\MaThcal{f}}$.

Let $${\oveRLiNE{{\MatHcAl{e}}}}^{(n)}(u,U)=\rHO^n\Sum_{w\iN W_n}{\Mathcal{e}}(u\circ f_w,u\cIrc F_w),U\in{\mathcal{F}},n\GE1.$$ THen $$\begin{alIgnEd}
{\overline{{\maThcAl{E}}}}^{(n)}(u,u)&\Ge c\rhO^N\sum_{w\In W_N}\varlImsup_{k\TO+\infty}A_k(u\circ f_w)\Ge c\Rho^n\vaRLimsup_{k\TO+\InFty}\sUm_{w\in W_n}a_k(u\circ f_w)\\
&=C\VArLImsup_{k\to+\infty}a_{N+k}(u)\ge C\SuP_{K\gE1}A_K(u).
\eNd{aLigned}$$ SimiLaRly $$\beGIn{alignED}
{\oVERLinE{{\Mathcal{E}}}}^{(n)}(u,u)&\le c\rho^n\sum_{w\in w_N}\vaRliminF_{k\To+\iNFty}a_k(u\Circ f_W)\lE c\rhO^n\varliminf_{K\to+\iNfty}\sum_{w\iN W_n}a_k(u\CIrc f_w)\\
&=C\vARliminf_{K\to+\infTy}a_{N+k}(u)\Le C\sUP_{k\Ge1}A_k(u).
\EnD{AliGNeD}$$ HeNCe $${\oVerline{{\mAtHcAl{E}}}}^{(n)}(u,U)\asyMP\SUP_{k\ge1}A_k(u)\Text{ For alL }u\in{\mathcal{F}},n\Ge1.$$
mathcal{F}},n\ge1,w\in W_n $, we have  $$\s up_ {k\ ge 1}a_ k(u\ circ f_w)\le\s u p_{k \ge1}\sum_{w\in W_n}a_ k(u\c ir c  f_w ) =\ rho^{ -n}\sup _ {k \ g e1} a_ {n +k} (u ) \l e\rho ^{- n}\sup_ {k\ge1}a_{ k}( u) <+\infty,$$h en ce $u\circ  f_ w\in{\mathca l{F }}$.
Le t $ $ {\ove rli ne{{\ mathca l {E}}}} ^{(n)}(u, u) = \rho^n \ sum_{w\ i n  W _n}{ \mathcal{E}}(u\ci r cf _w,u\circ f_w) ,u\in{ \m a th c a l{F }}, n\ge1.$$ T he n $$\ b egin{al i gn e d } 
{\ o verline{{\mat hcal{E}}}}^ { (n) }(u,u) &\ geC \rho^n \sum_ {w \ inW_n}\varlim sup_ {k\to+\in fty}a_ k (u\circ f_w)\ge  C\rho ^n\ var lims u p_ {k \to +\ i nft y }\ sum _ {w\ in W_n}a _k (u \circ  f_w ) \ \ &=C\ var lims up_{k \to+\infty}a_ {n+ k}(u ) \ge  C\su p_{k\ ge1} a_ k(u). 
\end{ align ed }$$ Similarly $ $\be gin{align ed} 
{ \ov er line{ { \mathc al{ E}} }}^{(n) }(u,u)& \ leC\ r h o ^n \sum_{w\in W_n}\va rl i m in f_{k\to+ \infty } a_ k( u \circ f_ w) \le  C\r h o ^n\va rlim i nf _{k\to+\ infty} \ su m_ {w\in W _n }a_k(u \c irc  f_ w)\\& =C\v arlimi nf_{k\to +\inf t y}a_{n+k}(u)\l e  C\sup_{k\ge1 } a_ k ( u) . 
\en d{a ligned}$$ H ence $${\ over l in e{{ \ mathc al{E} }} } ^{ ( n)}(u,u)\asymp\sup_ {k \ge1}a _k(u) \text{ for al l }u\in{\m a t h cal{F}}, n\ge 1 .$ $ 
mathcal{F}},n\ge1,w\in W_n$,_we have_$$\sup_{k\ge1}a_k(u\circ f_w)\le\sup_{k\ge1}\sum_{w\in W_n}a_k(u\circ f_w)=\rho^{-n}\sup_{k\ge1}a_{n+k}(u)\le\rho^{-n}\sup_{k\ge1}a_{k}(u)<+\infty,$$_hence $u\circ_f_w\in{\mathcal{F}}$.

Let_$${\overline{{\mathcal{E}}}}^{(n)}(u,u)=\rho^n\sum_{w\in W_n}{\mathcal{E}}(u\circ_f_w,u\circ_f_w),u\in{\mathcal{F}},n\ge1.$$ Then $$\begin{aligned}
{\overline{{\mathcal{E}}}}^{(n)}(u,u)&\ge_C\rho^n\sum_{w\in W_n}\varlimsup_{k\to+\infty}a_k(u\circ f_w)\ge_C\rho^n\varlimsup_{k\to+\infty}\sum_{w\in W_n}a_k(u\circ f_w)\\
&=C\varlimsup_{k\to+\infty}a_{n+k}(u)\ge C\sup_{k\ge1}a_k(u).
\end{aligned}$$_Similarly $$\begin{aligned}
{\overline{{\mathcal{E}}}}^{(n)}(u,u)&\le C\rho^n\sum_{w\in_W_n}\varliminf_{k\to+\infty}a_k(u\circ_f_w)\le C\rho^n\varliminf_{k\to+\infty}\sum_{w\in W_n}a_k(u\circ f_w)\\
&=C\varliminf_{k\to+\infty}a_{n+k}(u)\le C\sup_{k\ge1}a_k(u).
\end{aligned}$$ Hence $${\overline{{\mathcal{E}}}}^{(n)}(u,u)\asymp\sup_{k\ge1}a_k(u)\text{ for all }u\in{\mathcal{F}},n\ge1.$$