1: \begin{definition}\label{def:phik}

2: The functions $\Phi_k({\bf s})$ are defined as

3: \begin{equation}\label{eq:phik}

4:  \Phi_k(\bfs)=\mcl_{-k}\Phi_0(\bfs), \qquad k = 1,\dots ,n,

5: \end{equation}

6: where $\Phi_0({\bf s})$ is the eigenfunction of $\D$  associated with the

7: eigenvalue with the largest real part.  Note that,

8: from Lemma \ref{lem_commute} and Theorem \ref{thm:lkphi}, we have

9: %*********************************

10: \begin{equation} 

11: \mcl_k \Phi_k(\bfs) = -\Phi_0(\bfs),\qquad k=1,\ldots, n,

12: \label{eq:lem:phik}

13: \end{equation}

14: %*********************************

15: because $\mcl_k \Phi_k = \mcl_k\mcl_{-k}\Phi_0=

16:  (\mcl_{-k}\mcl_{k}-1)\Phi_0=-\Phi_0$.

17: \end{definition}

18: