1: \begin{definition}  The \emph{local attractor at level $r$}, denoted by $\cA_r$,  is defined to be the $\omega$-limit set of $B_r$; that is,

2: \begin{align} \label{ardef}

3:  \cA_r

4:  :=

5:  \omega(B_r)

6:  :=

7:  \bigcap_{\tau\geq0}{}^{\text{wk}}\!\overline{\set{S(t)(\buInit,\thetaInit):t>\tau, (\buInit,\thetaInit)\in B_r}},

8:  \end{align}

9:  where the closure is taken in the weak topology of $H\times L^2$. Note that by the Banach-Alaoglu Theorem, $\cA_r$ is weakly compact in $H \times L^2$. Furthermore, by Proposition \ref{wkcontinuity} (in the next section), for each fixed $t$, the map   $S(t):B_r \lra B_r$ is weakly continuous (i.e., continuous with respect to the weak topology on $B_r$). Thus,

10: \begin{align}

11:  {}^{\text{wk}}\!\overline{\set{S(t)(\buInit,\thetaInit):t>\tau, (\buInit,\thetaInit)\in B_r}}=S(t)B_r.

12: \end{align}

13: \end{definition}

14: