cal}^*\\
         x_{\Ncal}^*
       \end{bmatrix}.
\label{eqn:approx:xast}$$ It is also simple to show that the vector $\widetilde{x}(k_0)$ given by $$\begin{aligned}
 \widetilde{x}(k_0)
  &= \begin{bmatrix}
        \widetilde{x}_{\Ccal}(k_0)\\
        \widetilde{x}_{\Ncal}(k_0)
      \end{bmatrix}  := \begin{bmatrix}
       y_{\Ccal}(k_0)\\
       \bigl(
         I - \widehat{A}_{\Ncal\Ncal}
       \bigr)^{-1} 
         \bigl(
           \widehat{A}_{\Ncal\Ccal}\;
             y_{\Ccal}(k_0) + \frac{\hat{m}}{n}s
         \bigr)
     \end{bmatrix}
\label{eqn:approx:xdash2}\end{aligned}$$ is an equilibrium of the system. This vector always exists by (ii) in the lemma above.

After the pages in $\Ccal(k_0)$ have terminated their updates, the dynamics of the scheme can be characterized as follows.

\[lem:approx:xdash2\]For the distributed update scheme and its average system, the following statements hold.

1.  The average state $\overline{x}(k)$ converges to $\widetilde{x}(k_0)$ and, in particular, $\overline{x}_{\Ncal}(k)\rightarrow \widetilde{x}_{\Ncal}(k_0)$ as $k\rightarrow\infty$.

2.  If $\abs{\widetilde{x}_{\Ccal}(k_0)-x_{\Ccal}^*}\leq\delta x_{\Ccal}^*$, then $\abs{\widetilde{x}_{\Ncal}(k_0)-x_{\Ncal}^*}\leq \delta x_{\Ncal}^*$.

[[*Proof:*]{}]{}(i) Since $\widetilde{x}(k_0)$ is an equilibrium of the average system, it follows that $$\begin{aligned}
 \overline{x}(k+1) - \widetilde{x}(k_0) 
  &= \begin{bmatrix}
      I & 0\\
      \widehat{A}_{\Ncal\Ccal} & \widehat{A}_{\
cal}^*\\ 
          x_{\Ncal}^ * 
        \end{bmatrix }. 
 \label{eqn: approx: xast}$$ It is also simple to show that the vector $ \widetilde{x}(k_0)$ given by $ $ \begin{aligned } 
  \widetilde{x}(k_0) 
   & = \begin{bmatrix } 
         \widetilde{x}_{\Ccal}(k_0)\\ 
         \widetilde{x}_{\Ncal}(k_0) 
       \end{bmatrix }  : = \begin{bmatrix } 
        y_{\Ccal}(k_0)\\ 
        \bigl (
          I - \widehat{A}_{\Ncal\Ncal } 
        \bigr)^{-1 } 
          \bigl (
            \widehat{A}_{\Ncal\Ccal}\; 
              y_{\Ccal}(k_0) + \frac{\hat{m}}{n}s 
          \bigr) 
      \end{bmatrix } 
 \label{eqn: approx: xdash2}\end{aligned}$$ is an chemical equilibrium of the arrangement. This vector always exists by (ii) in the lemma above. 

 After the pages in $ \Ccal(k_0)$ have end their updates, the dynamics of the outline can be characterize as follows. 

 \[lem: approx: xdash2\]For the distribute update scheme and its average organization, the following statements cargo area. 

 1.   The modal state $ \overline{x}(k)$ converges to $ \widetilde{x}(k_0)$ and, in particular, $ \overline{x}_{\Ncal}(k)\rightarrow \widetilde{x}_{\Ncal}(k_0)$ as $ k\rightarrow\infty$. 

 2.   If $ \abs{\widetilde{x}_{\Ccal}(k_0)-x_{\Ccal}^*}\leq\delta x_{\Ccal}^*$, then $ \abs{\widetilde{x}_{\Ncal}(k_0)-x_{\Ncal}^*}\leq \delta x_{\Ncal}^*$. 

 [ [ * Proof:*]{}]{}(i)   Since $ \widetilde{x}(k_0)$ is an equilibrium of the average system, it succeed that $ $ \begin{aligned } 
  \overline{x}(k+1) - \widetilde{x}(k_0) 
   & = \begin{bmatrix } 
       I & 0\\ 
       \widehat{A}_{\Ncal\Ccal } & \widehat{A}_{\
cal}^*\\
         x_{\Ncal}^*
       \end{nmatrix}.
\label{eqn:akpeox:xasv}$$ It is also siople to show that the vector $\wudetiode{x}(k_0)$ given by $$\begin{alkgned}
 \widvtilde{x}(k_0)
  &= \bejin{bmatrix}
        \widetilde{x}_{\Cczp}(k_0)\\
        \widetilde{w}_{\Ncal}(k_0)
      \end{bmatrix}  := \teeiu{bmatrix}
       y_{\Ccal}(k_0)\\
       \bigl(
         I - \wldehat{A}_{\Ncal\Ncaj}
       \bjgr)^{-1} 
         \bigl(
           \widehaf{A}_{\Ncal\Cbal}\;
             y_{\Vcal}(k_0) + \frac{\hat{m}}{n}s
         \higr)
     \end{bmatrix}
\labfl{eqn:approx:zdasr2}\wnd{aligned}$$ ir an equilpyrium of thg system. This vector always exisgs by (ii) in the lwmmw above.

After the iages in $\Ccal(k_0)$ have tarminatrd their updatcs, thx dybamics of the scheme ran be characterized as follofs.

\[mem:approx:xdash2\]For tye divtritutea upaatt srheje and ita average aystem, the dollowing statementx rild.

1.  The averzge stwtq $\overline{x}(k)$ converges to $\widetilde{x}(k_0)$ atd, jn particular, $\overline{x}_{\Bcal}(k)\rightarrow \widetllde{x}_{\Ncal}(h_0)$ as $k\rightarrow\infty$.

2.  If $\abs{\widetilde{x}_{\Ccal}(k_0)-x_{\Ccal}^*}\neq\demga r_{\Ggal}^*$, gyej $\abs{\widetilde{x}_{\Ncal}(k_0)-x_{\Ncal}^*}\leq \delta x_{\Ncal}^*$.

[[*Proof:*]{}]{}(y) Aimcv $\widetilde{x}(k_0)$ is cn equilibrium og hhr average systgm, it follkws that $$\begin{aligjed}
 \ovetline{x}(j+1) - \widetijde{x}(l_0) 
  &= \begin{bmatrix}
      I & 0\\
      \widehat{C}_{\Ncql\Ccal} & \widehat{A}_{\
cal}^*\\ x_{\Ncal}^* \end{bmatrix}. \label{eqn:approx:xast}$$ It is also show the vector given by $$\begin{aligned} \end{bmatrix} \begin{bmatrix} y_{\Ccal}(k_0)\\ \bigl( - \widehat{A}_{\Ncal\Ncal} \bigr)^{-1} \widehat{A}_{\Ncal\Ccal}\; y_{\Ccal}(k_0) + \frac{\hat{m}}{n}s \bigr) \end{bmatrix} is an equilibrium of the system. This vector always exists by (ii) in lemma above. After the pages in $\Ccal(k_0)$ have terminated their updates, the dynamics the can characterized follows. \[lem:approx:xdash2\]For the distributed update scheme and its average system, the following statements hold. 1. The state $\overline{x}(k)$ converges to $\widetilde{x}(k_0)$ and, in particular, \widetilde{x}_{\Ncal}(k_0)$ as $k\rightarrow\infty$. 2. $\abs{\widetilde{x}_{\Ccal}(k_0)-x_{\Ccal}^*}\leq\delta x_{\Ccal}^*$, then $\abs{\widetilde{x}_{\Ncal}(k_0)-x_{\Ncal}^*}\leq \delta [[*Proof:*]{}]{}(i) $\widetilde{x}(k_0)$ is equilibrium the system, it follows $$\begin{aligned} \overline{x}(k+1) - \widetilde{x}(k_0) &= \begin{bmatrix} I & 0\\ \widehat{A}_{\Ncal\Ccal} & \widehat{A}_{\
cal}^*\\
         x_{\Ncal}^*
       \end{bmatrix}.
\label{eqN:approx:xasT}$$ It is AlsO siMpLe to Show That the vector $\wIDetiLde{x}(k_0)$ given by $$\begin{alignEd}
 \widEtILde{x}(K_0)
  &= \BeGin{bmAtrix}
        \wiDEtILDe{x}_{\ccAl}(K_0)\\
        \wiDeTIlDe{x}_{\NcAl}(k_0)
      \End{bmatRix}  := \begin{bmAtrIx}
       Y_{\Ccal}(k_0)\\
       \bigl(
         I - \wIDeHat{A}_{\Ncal\NcAl}
       \bIgr)^{-1} 
         \bigl(
           \widehAt{A}_{\ncal\CcAl}\;
             Y_{\CcAL}(k_0) + \fraC{\haT{m}}{n}s
         \bIgr)
     \end{BMatrix}
\Label{eqn:aPpROx:xdasH2}\End{aligNED}$$ iS an eQuilibrium of the sySTeM. this vector alwaYs exisTs BY (iI) IN thE leMma above.

AfTeR the pAGes in $\CcAL(k_0)$ HAVE teRMinated their uPdates, the dyNAmiCs of thE sCheME can be CharaCtERizEd as follows.

\[Lem:aPprox:xdasH2\]For thE DistribUTed updaTe scheMe aNd iTs avERaGe SysTeM, The FOlLowINg sTatementS hOlD.

1.  The aVeraGE STAte $\oVerLine{X}(k)$ conVerges to $\widetIldE{x}(k_0)$ aND, in PartiCular, $\OverLiNe{x}_{\NcAl}(k)\rigHtarrOw \Widetilde{x}_{\Ncal}(k_0)$ As $k\rIghtarrow\InfTy$.

2.  if $\aBs{\WidetILde{x}_{\CcAl}(k_0)-X_{\CcAl}^*}\leq\deLta x_{\CcaL}^*$, TheN $\aBS{\WIdEtilde{x}_{\Ncal}(k_0)-x_{\Ncal}^*}\lEq \DELtA x_{\Ncal}^*$.

[[*PrOof:*]{}]{}(i) SiNCe $\WiDEtilde{x}(k_0)$ Is An eQuilIBRium oF the AVeRage systEm, it foLLoWs That $$\begIn{AligneD}
 \oVerLinE{x}(k+1) - \wiDEtilDe{x}(k_0) 
  &= \beGin{bmatrIx}
      I & 0\\
      \wiDEhat{A}_{\Ncal\Ccal} & \wIDehat{A}_{\
cal}^*\\
         x_{\Ncal }^*
      \end {bm atr ix }.
\ labe l{eqn:approx:x a st}$ $ It is also simple to  show  t h at t h evecto r $\wid e ti l d e{x }( k_ 0)$  g i ve n by$$\ begin{a ligned}
 \ wid et ilde{x}(k_0)  &= \begin{ bma trix}
       \ wideti ld e{x } _{\Cc al} (k_0) \\
      \w idetilde{ x} _ {\Ncal } (k_0)
  \en d{bmatrix}  := \b e gi n {bmatrix}
      y_{ \C c al } ( k_0 )\\ 
       \b ig l(
       I -\ w i deh a t{A}_{\Ncal\N cal}
     \bi gr)^{- 1}  
      \big l(           \wi deha t{A}_{\Nc al\Cca l }\;
          y_{\ Cca l}( k_0) +\f rac {\ h at{ m }} {n} s 
        \ bi gr )
    \e n d { b matr ix} 
\la bel{e qn:approx:xda sh2 }\en d {al igned }$$ i s an  e quili briumof th esystem. This ve ctor  always e xis ts  by  ( ii) i n  the l emm a a bove.
After t h e p ag e s in  $\Ccal(k_0)$ have  t e r mi nated th eir up d at es ,  the dyn am ics  oft h e sch emec an  be char acteri z ed  a s follo ws .

\[l em :ap pro x:xda s h2\] For th e distri buted update schemea nd its averag e  s y s te m , th e f ollowing st atem e ntshold . 
1.The a verag es ta t e $\overline{x}(k)$  c onverg es to  $\widetilde{ x}(k_0)$ a n d ,  in part icul a r, $\overline{x}_ {\Nca l}(k)\righ t arrow \w ideti lde{x}_{ \Ncal}(k_ 0 ) $ as $k\ rig hta rro w\i n f ty $.

2.  If $\ a b s{\w id etilde{ x}_ {\Ccal} (k_ 0)- x_{ \Cc al }^*}\leq\ delta x_ {\ Cc al }^ *$,  then $\abs{\w id eti ld e{x }_{\N c al}(k_ 0)-x_ {\Nc al }^ * }\l eq \del t ax _ {\Nc al }^ *$.
[[ *P roof: *]{} ] {}( i) Sinc e $\widet ild e {x}( k_ 0) $ is an  equilibriumof  the avera ge  sy stem,i t  follows  that $$\begin{aligned}  \overl ine {x}(k +1)- \wideti lde {x}(k_ 0)  &= \ begin{ bmatr ix }
   I& 0\ \
    \wideha t { A}_ {\Nca l\ Ccal } & \wi dehat{A}_{\
cal}^*\\
 _ _   _ x_{\Ncal}^*
__ __  \end{bmatrix}.
\label{eqn:approx:xast}$$_It is also_simple to show that_the vector $\widetilde{x}(k_0)$_given_by $$\begin{aligned}
 \widetilde{x}(k_0)
  &= \begin{bmatrix}
        \widetilde{x}_{\Ccal}(k_0)\\
__ ___  \widetilde{x}_{\Ncal}(k_0)
  _   \end{bmatrix} _:= \begin{bmatrix}
_      y_{\Ccal}(k_0)\\
 __  _ \bigl(
       _ I - \widehat{A}_{\Ncal\Ncal}
  _  __\bigr)^{-1}_
   _     \bigl(
_     _    \widehat{A}_{\Ncal\Ccal}\;
  _     _    y_{\Ccal}(k_0)_+ \frac{\hat{m}}{n}s
_    _  _\bigr)
 _  _\end{bmatrix}
\label{eqn:approx:xdash2}\end{aligned}$$ is an equilibrium of the_system. This vector_always exists by (ii) in the_lemma_above.

After the pages_in_$\Ccal(k_0)$_have terminated_their updates, the_dynamics_of the_scheme_can be characterized as follows.

\[lem:approx:xdash2\]For the_distributed_update scheme and its average system, the_following statements hold.

1. _The_average state $\overline{x}(k)$ converges_to $\widetilde{x}(k_0)$ and, in particular,_$\overline{x}_{\Ncal}(k)\rightarrow \widetilde{x}_{\Ncal}(k_0)$ as $k\rightarrow\infty$.

2.  If_$\abs{\widetilde{x}_{\Ccal}(k_0)-x_{\Ccal}^*}\leq\delta x_{\Ccal}^*$,_then $\abs{\widetilde{x}_{\Ncal}(k_0)-x_{\Ncal}^*}\leq_\delta x_{\Ncal}^*$.

[[*Proof:*]{}]{}(i) Since $\widetilde{x}(k_0)$ is an equilibrium of the average system, it_follows that $$\begin{aligned}
 \overline{x}(k+1) - \widetilde{x}(k_0)_
  &= \begin{bmatrix}
_ __  I_&_0\\
 _    \widehat{A}_{\Ncal\Ccal} & \widehat{A}_{\