1: \begin{definition}\indent

2: \begin{itemize}

3: \item $X_{ML}$ is the set of all real-valued triples

4: \bea

5: (\sigma,\gamma,\mathbf{f})&\in& \Real \left(C^\infty(\overline{\gO})^2\times H^{1/2}(\dgO)^{2ML}\right)\nonumber\\

6: \mathbf{f}&=&f^{(m,l,q)}\geq0\quad m=1,\ldots, M,\quad l=1,\ldots,L,\quad q=1,2\nonumber

7: \eea such that

8: the vector fields

9: 

10: \bea

11: \nonumber V_{1,1},&\ldots&,V_{M,L}\\

12: \nonumber V_{m,l}(x)&= &u^{(m,l,2)}(x)\nabla u^{(m,l,1)}(x) - u^{(m,l,1)}(x)\nabla u^{(m,l,2)}(x)

13: \eea

14: of the corresponding solutions of (\ref{qpat}) span the whole space $\R^n$ at every point

15: % $x$ in

16: % a neighborhood of $\overline{\gO''}$,

17: $x\in\overline{\gO''}$,

18: and such that, for each $m$ and $x$, the ratios $(u^{(m,1,1)}(x)/u^{(m,1,2)}(x))$ and $(u^{(m,l,1)}(x)/u^{(m,l,2)}(x))$

19: are not equal for at least one value of $l\geq3$.

20: \item $\overline{X_{ML}}$ is the closure of $X_{ML}$ in $\Real \left(C(\overline{\gO})^2\times  H^{1/2}(\dgO)^{2ML}\right)$.

21: \item $Y_{ML}$ is the set of (possibly complex-valued) triples

22: $$

23: (\sigma,\gamma,\mathbf{f})\in C^\infty(\overline{\gO})^2\times H^{1/2}(\dgO)^{2ML}

24: $$

25:  such that

26:  $$

27:  \boldAsiggamf\in\Phi_l(L^2(\gO')\oplus H^1_0(\gO'),H^1(\gO)^{2ML}).

28:  $$

29:  \item $Y_{ML}^0$ is the connected component of $Y_{ML}$ containing the point $(\sigma_0,0,\mathbf{f}_0)$, where

30:  $\mathbf{f}_0$ is an extension of the boundary data of Lemma \ref{L:QPATpoint}

31:  to a set of $2ML$ boundary data functions in such a way that $(\sigma_0,0,\mathbf{f}_0)$

32:  is contained in $X_{ML}$

33:  (that such a set of boundary data $\mathbf{f}_0$ exists will be part Theorem \ref{T:XYqpat}).%\footnote{This is possible by Remark \ref{R:vectorfield}.}.

34:  \item $\overline{Y_{ML}^0}$ is the closure of $Y_{ML}^0$ in $C(\overline{\gO})^2\times H^{1/2}(\dgO)^m$.

35: \end{itemize}

36: \end{definition}

37: