Wecken's theorem for periodic points in dimension at least 3

Boju Jiang introduced a homotopy invariant NFn(f), for a natural number n, which is a lower bound for the cardinality of periodic points, of period n, of a self-map of a compact polyhedron. In [J. Jezierski, Wecken theorem for periodic points, Topology 42 (5) (2003) 1101-1124] and [J. Jezierski, Wecken theorem for fixed and periodic points, in: Handbook of Topological Fixed Point Theory, Kluwer Academic, Dordrecht, 2005] we prove that any self-map of a compact PL-manifold (dimM?3) is homotopic to a map g satisfying #Fix(gn)=NFn(f) i.e. NFn(f) is the best such homotopy invariant. Here we give an alternative, simpler proof of these results.     

Stably average shadowable homoclinic classes

Let p be a hyperbolic periodic saddle of a diffeomorphism of f on a closed smooth manifold M, and let H_f(p) be the homoclinic class of f containing p. In this paper, we show that if H_f(p) is locally maximal and every hyperbolic periodic point in H_f(p) is uniformly far away from being nonhyperbolic, and H_f(p) has the average shadowing property, then H_f(p) is hyperbolic.     

Nielsen periodic point theory for periodic maps on orientable surfaces

Let denote a periodic self map of minimal period m on the orientable surface of genus g with g>1. We study the calculation of the Nielsen periodic numbers NPn(f) and NΦn(f). Unlike the general situation of arbitrary maps on such surfaces, strong geometric results of Jiang and Guo allow for straightforward calculations when n≠m. However, determining NPm(f) involves some surprises. Because fm=idFg, fm has one Nielsen class Em. This class is essential because L(idFg)=χ(Fg)=2−2g≠0. If there exists k<m with L(fk)≠0 then Em reduces to the essential fixed points of fk. There are maps g (we call them minLef maps) for which L(gk)=0 for all k<m. We show that the period of any minLef map must always divide 2g−2. We prove that for such maps Em reduces algebraically iff it reduces geometrically. This result eliminates one of the most difficult problems in calculating the Nielsen periodic point numbers and gives a complete trichotomy (non-minLef, reducible minLef, and irreducible minLef) for periodic maps on Fg.We prove that reducible minLef maps must have even period. For each of the three types of periodic maps we exhibit an example f and calculate both NPn(f) and NΦn(f) for all n. The example of an irreducible minLef map is on F₄ and is of maximal period 6. The example of a non-minLef map is on F₂ and has maximal period 12 on F₂. It is defined geometrically by Wang, and we provide the induced homomorphism and analyze it. The example of an irreducible minLef map is a map of period 6 on F₄ defined by Yang. No algebraic analysis is necessary to prove that this last example is an irreducible minLef map. We explore the algebra involved because it is intriguing in its own right. The examples of reducible minLef maps are simple inversions, which can be applied to any Fg. Using these examples we disprove the conjecture from the conclusion of our previous paper.     

Measure of minimal sets for certain discrete dynamical systems

Let X be a separable metric space, μ a complete Borel measure on X that is finite on balls, and f a closed discrete dynamical system on X that preserves μ and has the diameters of all orbits bounded. We prove that almost every point in X (in the sense of measure μ) has its orbit contained in its ω-limit set.     

On topological entropy of transitive triangular maps

In the paper of Alsedà, Kolyada, Llibre and Snoha [L. Alsedà, S.F. Kolyada, J. Llibre, L'. Snoha, Entropy and periodic points for transitive maps, Trans. Amer. Math. Soc. 351 (1999) 1551-1573] there was—among others—proved that a nonminimal continuous transitive map f of a compact metric space (X,ρ) can be extended to a triangular map F on X×I (i.e., f is the base for F) in such a way that F is transitive and has the same entropy as f. The presented paper shows that under certain conditions the extension of minimal maps is guaranteed, too: Let (X,f) be a solenoidal dynamical system. Then there exist a transitive triangular map F such that h(F)=h(f).     

Small amplitude limit cycles for the polynomial Liénard system

We estimate for the maximal number of limit cycles bifurcating from a focus for the Liénard equation , where f and g are polynomials of degree m and n respectively. These estimates are quadratic in m and n and improve the existing bounds. In the proof we use methods of complex algebraic geometry to bound the number of double points of a rational affine curve.     

Asymptotic arc-components of unimodal inverse limit spaces

We consider the inverse limit space (I,f) of a unimodal bonding map f as fixed bonding map. If f has a periodic turning point, then (I,f) has a finite non-empty set of asymptotic arc-components. We show how asymptotic arc-components can be determined from the kneading sequence of f. This gives an alternative to the substitution tiling space approach taken by Barge and Diamond [Ergodic Theory Dynamical Systems 21 (2001) 1333].     

Multiplicity of limit cycles and analytic m-solutions for planar differential systems

This work deals with limit cycles of real planar analytic vector fields. It is well known that given any limit cycle Γ of an analytic vector field it always exists a real analytic function f₀(x,y), defined in a neighborhood of Γ, and such that Γ is contained in its zero level set. In this work we introduce the notion of f₀(x,y) being an m-solution, which is a merely analytic concept. Our main result is that a limit cycle Γ is of multiplicity m if and only if f₀(x,y) is an m-solution of the vector field. We apply it to study in some examples the stability and the bifurcation of periodic orbits from some non-hyperbolic limit cycles.     

Topological classification of affine operators on unitary and Euclidean spaces

We study affine operators on a unitary or Euclidean space U up to topological conjugacy. An affine operator is a map f:U→U of the form f(x)=Ax+b, in which A:U→U is a linear operator and b∈U. Two affine operators f and g are said to be topologically conjugate if g=h^-1fh for some homeomorphism h:U→U.If an affine operator f(x)=Ax+b has a fixed point, then f is topologically conjugate to its linear part A. The problem of classifying linear operators up to topological conjugacy was studied by Kuiper and Robbin [Topological classification of linear endomorphisms, Invent. Math. 19 (2) (1973) 83-106] and other authors.Let f:U→U be an affine operator without fixed point. We prove that f is topologically conjugate to an affine operator g:U→U such that U is an orthogonal direct sum of g-invariant subspaces V and W,

•

the restriction g∣V of g to V is an affine operator that in some orthonormal basis of V has the form

(x₁,x₂,…,x_n)?(x₁+1,x₂,…,x_n-1,εx_n)     

Minimal sets in compact connected subspaces

Let X be a topological space, f:X→X be a continuous map, and Y be a compact, connected and closed subset of X. In this paper we show that, if the boundary X_∂Y contains exactly one point v and f(v)∈Y, then Y contains a minimal set of f.     

A triangular map with homoclinic orbits and no infinite ω-limit set containing periodic points

Recently, Forti, Paganoni and Smítal constructed an example of a triangular map of the unite square, F(x,y)=(f(x),g(x,y)), possessing periodic orbits of all periods and such that no infinite ω-limit set of F contains a periodic point. In this note we show that the above quoted map F has a homoclinic orbit. As a consequence, we answer in the negative the problem presented by A.N. Sharkovsky in the eighties whether, for a triangular map of the square, existence of a homoclinic orbit implies the existence of an infinite ω-limit set containing a periodic point. It is well known that, for a continuous map of the interval, the answer is positive.     

A Grobman-Hartman theorem for nonuniformly hyperbolic dynamics

We establish a version of the Grobman-Hartman theorem in Banach spaces for nonuniformly hyperbolic dynamics. We also consider the case of sequences of maps, which corresponds to a nonautonomous dynamics with discrete time. More precisely, we consider sequences of Lipschitz maps Am+fm such that the linear parts Am admit a nonuniform exponential dichotomy, and we establish the existence of a unique sequence of topological conjugacies between the maps Am+fm and Am. Furthermore, we show that the conjugacies are Hölder continuous, with Hölder exponent determined by the ratios of Lyapunov exponents with the same sign. To the best of our knowledge this statement appeared nowhere before in the published literature, even in the particular case of uniform exponential dichotomies, although some experts claim that it is well known in this case. We are also interested in the dependence of the conjugacies on the perturbations fm: we show that it is Hölder continuous, with the same Hölder exponent as the one for the conjugacies. We emphasize that the additional work required to consider the case of nonuniform exponential dichotomies is substantial. In particular, we need to consider several additional Lyapunov norms.     

The Julia sets of quadratic Cremer polynomials

We study the topology of the Julia set of a quadratic Cremer polynomial P. Our main tool is the following topological result. Let be a homeomorphism of a plane domain U and let T⊂U be a non-degenerate invariant non-separating continuum. If T contains a topologically repelling fixed point x with an invariant external ray landing at x, then T contains a non-repelling fixed point. Given P, two angles θ,γ are K-equivalent if for some angles x₀=θ,…,xn=γ the impressions of xi−1 and xi are non-disjoint, 1?i?n; a class of K-equivalence is called a K-class. We prove that the following facts are equivalent: (1) there is an impression not containing the Cremer point; (2) there is a degenerate impression; (3) there is a full Lebesgue measure dense Gδ-set of angles each of which is a K-class and has a degenerate impression; (4) there exists a point at which the Julia set is connected im kleinen; (5) not all angles are K-equivalent.     

Implications of pseudo-orbit tracing property for continuous maps on compacta

We look at the dynamics of continuous self-maps of compact metric spaces possessing the pseudo-orbit tracing property (i.e., the shadowing property). Among other things we prove the following: (i) the set of minimal points is dense in the non-wandering set Ω(f), (ii) if f has either a non-minimal recurrent point or a sensitive minimal subsystem, then f has positive topological entropy, (iii) if X is infinite and f is transitive, then f is either an odometer or a syndetically sensitive non-minimal map with positive topological entropy, (iv) if f has zero topological entropy, then Ω(f) is totally disconnected and f restricted to Ω(f) is an equicontinuous homeomorphism.     

Fixed points of C2 maps

S.N. Chow and J.A. Yorke have proposed in abstract terms an algorithm for computing fixed points of C² maps that is globally convergent with probability one. A numerical implementation of that algorithm is presented here, where careful attention has been paid to computational efficiency, accuracy, and robustness. Convergence proofs for the numerical algorithm require differential geometry, and are given elsewhere. FORTRAN subroutines are given and explained in detail, and some typical numerical results are presented. It is shown how to modify the subroutines to compute zeros and handle some large sparse problems.     

A note on the average shadowing property for expansive maps

Let f be a continuous map of a compact metric space. Assuming shadowing for f we relate the average shadowing property of f to transitivity and its variants. Our results extend and complete the work of Sakai [K. Sakai, Various shadowing properties for positively expansive maps, Topology Appl. 131 (2003) 15-31].     

Renormalization and conjugacy of piecewise linear Lorenz maps

We investigate the uniform piecewise linearizing question for a family of Lorenz maps. Let f be a piecewise linear Lorenz map with different slopes and positive topological entropy, we show that f is conjugate to a linear mod one transformation and the conjugacy admits a dichotomy: it is either bi-Lipschitz or singular depending on whether f is renormalizable or not. f is renormalizable if and only if its rotation interval degenerates to be a rational point. Furthermore, if the endpoints are periodic points with the same rotation number, then the conjugacy is quasisymmetric.     

The 16th Hilbert problem on algebraic limit cycles

For real planar polynomial differential systems there appeared a simple version of the 16th Hilbert problem on algebraic limit cycles: Is there an upper bound on the number of algebraic limit cycles of all polynomial vector fields of degree m? In [J. Llibre, R. Ramírez, N. Sadovskaia, On the 16th Hilbert problem for algebraic limit cycles, J. Differential Equations 248 (2010) 1401-1409] Llibre, Ramírez and Sadovskaia solved the problem, providing an exact upper bound, in the case of invariant algebraic curves generic for the vector fields, and they posed the following conjecture: Is1+(m−1)(m−2)/2the maximal number of algebraic limit cycles that a polynomial vector field of degree m can have?In this paper we will prove this conjecture for planar polynomial vector fields having only nodal invariant algebraic curves. This result includes the Llibre et al.?s as a special one. For the polynomial vector fields having only non-dicritical invariant algebraic curves we answer the simple version of the 16th Hilbert problem.     

On the 2-factor index of a graph

The 2-factor index of a graph G, denoted by f(G), is the smallest integer m such that the m-iterated line graph L^m(G) of G contains a 2-factor. In this paper, we provide a formula for f(G), and point out that there is a polynomial time algorithm to determine f(G).     

A globally convergent algorithm for computing fixed points of C2 maps

Chow, Mallet-Paret, and Yorke have recently proposed in abstract terms an algorithm for computing Brouwer fixed points of C² maps. A numerical implementation of that algorithm is presented here. Careful attention has been paid to computational efficiency, accuracy, and robustness. Some convergence theorems and results of numerical tests are also included.