On the Structure of Neigborhood of Homoclinic Orbit to a Nonhyperbolic Fixet Point

of two-dimensional diffeomorphisms such that for μ=0 the diffeomorphism f0 has a transversal homoclinic orbit to a nonhyperbolic fixed point of arbitrary finite order n≥1 of degeneracy, and for μ>0 the fixed point becomes a hyperbolic saddle. The goal of the paper is to give a complete description of structure of the set Nμ of orbits from a sufficiently small fixed neighborhood of the homoclinic orbit. The main result of the work is a complete description for the set Nμ of orbits entirely lying in a neighborhood of the homoclinic structure. It was shown that for μ≥0 the set Nμ is hyperbolic (for μ=0 it is nonuniformly hyperbolic) and the dynamical system fμ∣∣Nμ (the restriction of fμ to Nμ) is topologically conjugate to some nontrivial subsystem of the topological Bernoulli scheme of two symbols. Thus, we generalize the classical result of Lukyanov and Shilnikov, obtained by them for the case when the fixed point is a nondegenerate saddle-node (n=1). In addition, we obtained new effective formulas for iterations of one-dimensional maps (maps in the restriction to the central manifold of the diffeomorphism fμ). These formulas are derived using some modification of the well-known methods of qualitative theory, such as the methods of embedding a map to a flow and the Shilnikov cross-maps method.