1: \begin{definition}\label{defBGAbckgndVarn} 

2: Let $1\le n\le \np$, and let

3: $

4: \|\cV\|_{2m}\ka(n)^2+|\mu|

5: $

6: be sufficiently small as in Proposition \ref{propHTexistencebackgroundfields}.

7: \begin{enumerate}[label=(\alph*), leftmargin=*]

8: \item

9: Define $\de\phi_{*n}\big(\psi_{*},\psi,\de\psi_*,\de\psi,\mu,\cV\big)$ and 

10: $\de\phi_n\big(\psi_{*},\psi,\de\psi_*,\de\psi,\mu,\cV\big)$ by

11: \begin{align*}

12: \phi_{(*)n}\big(\psi_{*}+\de\psi_*,\psi+\de\psi,\mu,\cV\big)

13: &= \phi_{(*)n}\big(\psi_{*},\psi,\mu,\cV\big)

14:           +  \de\phi_{(*)n}\big(\psi_{*},\psi,\de\psi_*,\de\psi,\mu,\cV\big)

15: \end{align*}

16: and set

17: \begin{align*}

18: &\de\check\phi_{(*)n+1}\big(\th_{*},\th,\de\psi_*,\de\psi,\mu,\cV\big)\\

19: &\hskip1in=\de\phi_{(*)n}\big(\psi_{*n}(\th_*,\th,\mu,\cV)\,,\,

20:        \psi_n(\th_*,\th,\mu,\cV)\,,\,\de\psi_*\,,\,\de\psi,\mu,\cV\big)

21: \end{align*}

22: 

23: \item

24: Define 

25: $\de{\check\phi_{(*)n+1}}^{(+)}\big(\th_*,\th;\de\psi_*,\de\psi,\mu,\cV\big)$

26: by

27: \begin{align*}

28: \de\check\phi_{(*)n+1}\big(\th_*,\th;\de\psi_*,\de\psi,\mu,\cV\big)

29: &=   S_n^{(*)} Q_n^* \fQ_n\,\de\psi_{(*)}

30: + \de{\check\phi_{(*)n+1}}^{(+)}\big(\th_*,\th;\de\psi_*,\de\psi,\mu,\cV\big)\\

31: \end{align*}

32: where $S_n=(D_n+Q_n^*\fQ_n Q_n)^{-1} $ as in Theorem 

33: \ref{HTthminvertibleoperators}.

34: \end{enumerate}

35: \end{definition}

36: