No label defined (Q4512146)

Let \(T^m=\mathbb R^m/2\pi \mathbb Z^m\) be an \(m\)-dimensional torus with standard angular coordinates \(\varphi =(\varphi_1,\ldots,\varphi_m)|\bmod 2\pi \), \((l_2,\langle\cdot ,\cdot \rangle)\) be the Hilbert space of real sequences \((x_1,x_2,\ldots)\) such that \(\sum_{i}x_i^2<\infty \), and \(L(l_2)\) stands for the space of linear bounded operators on \(l_2\). This paper deals with the difference system of the form \[ \varphi _{n+1}=\varphi_n+a(\varphi_n),\quad h_{n+1}=\bigl(E+P(\varphi_n)\bigr)h_n +f(\varphi_n).\tag{1} \] Here \(a\in C^1(T^m,\mathbb R^m)\), \(f\in C(T^m,l_2)\), \(P\in C(T^m,L(l_2))\), and \(E\) is the identity operator. The author introduces the notion of conjugate system with respect to (1) with \(f=0\) and asserts that the following statements are true: if system (1) has an invariant torus \(h=u(\varphi)\in C(T^m,l_2)\), then \(\int_{T^m}\langle f(\varphi),v(\varphi)\rangle d\varphi =0\) for any invariant torus \(v(\varphi)\) of the conjugate system; if system (1) has an invariant torus for any \(f\in C(T^m,l_2)\), then the conjugate system does not have nontrivial invariant tori.