Invariants of \(\Omega\)-conjugacy of diffeomorphisms with a nongeneric homoclinic trajectory (Q918016): Difference between revisions

We consider a smooth \(C^ r\) (r\(\geq 3)\) diffeomorphism T of a 2- dimensional manifold which satisfies the condition: 1) T has a saddle fixpoint with eigenvalues \(\lambda\), \(\gamma\), \(0<| \lambda | <1<| \gamma |\); 2) the saddle value \(\sigma =| \lambda \gamma | <1\); 3) T has a nonhyperbolic homoclinic orbit which consists of the stable and unstable manifolds \(W^ s\), \(W^ u\) of a saddle of odd order \(n\geq 1.\) The authors have obtained necessary conditions for the topological conjugate of a homoclinic orbit [see Ukr. Math. J. 39, 15-21 (1987); translation from Ukr. Mat. Zh. 39, No.1, 21-28 (1987; Zbl 0635.58025)]. The author gives sufficient conditions for \(\Omega\)-conjugacy as follows: Let \[ \theta =-\ln | \lambda | /\ln | \gamma |,\quad \tau =(1/\ln | \gamma |)\ln | cx^+/y^-|; \] and let \((M^+(x^+,0),M^-(0,y^-))\) be a pair of points in \(\Gamma\). If \(\theta_ 1=\theta_ 2=p/g\), \(s/g<\tau^ k_ 0<(s+1)/g\), \(k=1,2\), for some integer s, then the diffeomorphisms \(T_ 1\) and \(T_ 2\) are \(\Omega\)-conjugate in some neighbourhood of the homoclinic orbit \(\Gamma\), where \(\tau_ 0\) is defined by the formula \[ \tau (T^ sM^+,T^ pM^-)=\tau (M^+,M^-)+(s-p)(1-\theta). \]