Abstract:Abstract. We use the parameterization method to prove the existence and properties of one-dimensional submanifolds of the center manifold associated to the fixed point of C r maps with linear part equal to the identity. We also provide some numerical experiments to test the method in these cases.1. Introduction. We consider C r maps of R 1+n having a parabolic fixed point and study the existence of one-dimensional invariant manifolds passing through this fixed point.We assume that the fixed point is the origin… Show more
“…We remark that the first component of the three-dimensional scheme iteration defined by g as in ( 14), agrees with the difference equation ( 1) when k = 2, proposed in [37], while the family defined by g as in ( 15) is related to the difference equation (2) proposed in [8].…”
Section: Introduction and Main Resultssupporting
confidence: 81%
“…where the coefficients are fixed in such a way that x n is proved to be a solution of equation (2). In our work, we answer to the problem of determining the complete asymptotic expansion of x n , for one dimensional difference equations having a parabolic equilibrium point.…”
Section: Introduction and Main Resultsmentioning
confidence: 97%
“…However, it is worth mentioning the existence and uniqueness results in some cases. See [1,2,3,15,17,29], for instance. To develop algorithms for the computation of local approximations of invariant manifolds of parabolic fixed points is also of interest.…”
The aim of this work is the study of the asymptotic dynamical behaviour, of solutions that approach parabolic fixed points in difference equations. In one dimensional difference equations, we present the asymptotic development for positive solutions tending to the fixed point. For higher dimensions, through the study of two families of difference equations in the two and three dimensional case, we take a look at the asymptotic dynamic behaviour. To show the existence of solutions we rely on the parametrization method.
“…We remark that the first component of the three-dimensional scheme iteration defined by g as in ( 14), agrees with the difference equation ( 1) when k = 2, proposed in [37], while the family defined by g as in ( 15) is related to the difference equation (2) proposed in [8].…”
Section: Introduction and Main Resultssupporting
confidence: 81%
“…where the coefficients are fixed in such a way that x n is proved to be a solution of equation (2). In our work, we answer to the problem of determining the complete asymptotic expansion of x n , for one dimensional difference equations having a parabolic equilibrium point.…”
Section: Introduction and Main Resultsmentioning
confidence: 97%
“…However, it is worth mentioning the existence and uniqueness results in some cases. See [1,2,3,15,17,29], for instance. To develop algorithms for the computation of local approximations of invariant manifolds of parabolic fixed points is also of interest.…”
The aim of this work is the study of the asymptotic dynamical behaviour, of solutions that approach parabolic fixed points in difference equations. In one dimensional difference equations, we present the asymptotic development for positive solutions tending to the fixed point. For higher dimensions, through the study of two families of difference equations in the two and three dimensional case, we take a look at the asymptotic dynamic behaviour. To show the existence of solutions we rely on the parametrization method.
“…One-dimensional manifolds of fixed points with linear part equal to the identity are studied in [2] using the parameterization method. Higher-dimensional manifolds in the same setting are considered in [1] using a generalized version of the method of McGehee, and in [4,5] using the parameterization method, where applications to Celestial Mechanics are given.…”
We consider a map F of class C r with a fixed point of parabolic type whose differential is not diagonalizable, and we study the existence and regularity of the invariant manifolds associated with the fixed point using the parameterization method. Concretely, we show that under suitable conditions on the coefficients of F , there exist invariant curves of class C r away from the fixed point, and that they are analytic when F is analytic. The differentiability result is obtained as an application of the fiber contraction theorem. We also provide an algorithm to compute an approximation of a parameterization of the invariant curves and a normal form of the restricted dynamics of F on them.
“…The parameterization method has wide application outside the scope of the present work; see [10,11,12,6,26,27,21,31,33] for theoretical developments, as well as [13,14,25,7,37] for additional numerical applications.…”
This work is concerned with high order polynomial approximation of stable and unstable manifolds for analytic discrete time dynamical systems. We develop a posteriori theorems for these polynomial approximations which allow us to obtain rigorous bounds on the truncation errors via a computer assisted argument. Moreover, we represent the truncation error as an analytic function, so that the derivatives of the truncation error can be bounded using classical estimates of complex analysis. As an application of these ideas we combine the approximate manifolds and rigorous bounds with a standard Newton-Kantorovich argument in order to obtain a kind of "analytic-shadowing" result for connecting orbits between fixed points of discrete time dynamical systems. A feature of this method is that we obtain the transversality of the connecting orbit automatically. Examples of the manifold computation are given for invariant manifolds which have dimension between two and ten. Examples of the a posteriori error bounds and the analytic-shadowing argument for connecting orbits are given for dynamical systems in dimension three and six.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.