Homoclinic structures in infinite-dimensional systems (Q1263854): Difference between revisions

Let B be a Banach space or a Banach manifold of class \(C^ r\) and let f: \(B\to B\) be a \(C^ r\)-smooth mapping. Suppose \(x_ 0\) is a fixed point for f, \(f(x_ 0)=x_ 0\), and the spectrum of \(L=Df(x_ 0)\) (Df the Fréchet derivative) does not intersect with the unit circle. Then H is a direct sum \(H=H_ 1\dot +H_ 2\), where the spectra of \(L|_{H_ 1}\) and \(L|_{H_ 2}\) belong correspondingly to \(\{\) \(s\in {\mathbb{C}}\); \(| s| <1\}\) and \(\{\) \(s\in {\mathbb{C}}\); \(| s| >1\}\). Correspondingly two submanifolds of \(C^ r\)-class exist, the stable \(W^ s_{loc}\) and the unstable \(W^ u_{loc}\), tangent at (0,0) to \(H_ 1\) and \(H_ 2\). A homoclinical point is said to be each point of \(f^ n(W^ u_{loc})\cap W^ s_{loc}\setminus \{x_ 0\}\), \(n\geq 1.\) The following theorem is proved: Let the transversal homoclinical points \(p_+\), \(p_-\) belong to a neighbourhood U of the fixed point \(x_ 0\). Suppose that \(f^ m(x)\neq x_ 0\) for each \(m\in {\mathbb{N}}\) and each x in a neighbourhood of \(p_+\) in \(W^ s_{loc}\). Then there exist neighbourhoods \(V\ni x_ 0\), \(V_ 1\ni p_-\) and \(V_ 2\ni p_+\) such that \(V_ 1\cap V_ 2=\emptyset\), \(V_ 2\cap V=\emptyset\), \(f(V_ 2)\subset V\), \(f^{-1}(V_ 1)\cap V_ 1\cap V=\emptyset\) and the set of all points from \(V_ 2\), whose positive iterates with the mapping f belong to \(V_ 2\cap V\cap V_ 1\), is homeomorphic with the product of \(V_ 2\cap V^ s_{loc}\) and the Cantor set.