On the periodic points of a two-parameter family of maps of the plane

We study the dynamics of a two-parameter family of noninvertible maps of the plane, derived from a model in population dynamics. We prove that, as one parameter varies with the other held fixed, the nonwandering set changes from the empty set to an unstable Cantor set on which the map is topologically equivalent to the shift endomorphism on two symbols. With the help of some numerical work, we trace the genealogies of the periodic points of the family of period 5, and describe their stability types and bifurcations. Among our results we find that the family has a fixed point which undergoes fold, flip and Hopf bifurcations, and that certain families of period five points are interconnected through a codimension-two cusp bifurcation.     

Rigidity of critical circle mappings I

We prove that two C ³ critical circle maps with the same rotation number in a special set ? are C ^1+α conjugate for some α>0 provided their successive renormalizations converge together at an exponential rate in the C ⁰ sense. The set ? has full Lebesgue measure and contains all rotation numbers of bounded type. By contrast, we also give examples of C ^∞ critical circle maps with the same rotation number that are not C ^1+β conjugate for any β>0. The class of rotation numbers for which such examples exist contains Diophantine numbers. Received November 1, 1998 / final version received July 7, 1999     

Stable intersection of affine Cantor sets defined by two expanding maps

It is shown that in the context of affine Cantor sets with two increasing maps, the arithmetic sum of both of its elements is a Cantor set otherwise, it is a closure of countable union of nontrivial intervals. Also, a new family of pairs of affine Cantor sets is introduced such that each element of it has stable intersection. At the end, pairs of affine Cantor sets are characterized such that the sum of elements of each pair is a closed interval.     

A new proof of the stable manifold theorem

We give a new proof of the stable manifold theorem for hyperbolic fixed points of smooth maps. This proof shows that the local stable and unstable manifolds are projections of a relation obtained as a limit of the graphs of the iterates of the map. The same proof generalizes to the setting of stable and unstable manifolds for smooth relations.     

An analogue to the Smale—Birkhoff homoclinic theorem for iterated entire mappings

Summary A snapback repeller of an analytic mapping is defined as a full orbit which tends to an unstable fixed point backwards in time and snaps back to the same fixed point. This note gives a rather elementary proof that unstable periodic orbits accumulate near snapback repellers. The proof is entirely selfcontained and uses only standard elementary tools. We exploit that the global semiconjugacy of the entire analytic map to a linear map is itself an entire analytic function and apply the Theorem of Rouché to its zeros. We also generalize Marotto's result about the chaotic motion near a snapback repeller to include the degenerate case.     

Regularity of ghosts in tensor tomography

We study on a compact Riemannian manifold with boundary the ray transform I which integrates symmetric tensor fields over geodesics. A tensor field is said to be a nontrivial ghost if it is in the kernel of I and is L²-orthogonal to all potential fields. We prove that a nontrivial ghost is smooth in the case of a simple metric. This implies that the wave front set of the solenoidal part of a field f can be recovered from the ray transform If. We give an explicit procedure for recovering the wave front set.     

Border collision and fold bifurcations in a family of one-dimensional discontinuous piecewise smooth maps: divergence and bounded dynamics

In this work we continue the study of a family of 1D piecewise smooth maps, defined by a linear function and a power function with negative exponent, proposed in engineering studies. The range in which a point on the right side is necessarily mapped to the left side, and chaotic sets can only be unbounded, has been already considered. In this work we are characterizing the remaining ranges, in which more iterations of the right branch are allowed and in which divergent trajectories occur. We prove that in some regions a bounded chaotic repellor always exists, which may be the only non-divergent set, or it may coexist with an attracting cycle. In another range, in which divergence cannot occur, we prove that unbounded chaotic sets always exist. The role of particular codimension-two points is evidenced, associated with fold bifurcations and border collision bifurcations (BCBs), related to cycles having the same symbolic sequences. We prove that they exist related to the border collision of any admissible cycle. We show that each BCB, each fold bifurcation and each homoclinic bifurcation is a limit set of infinite families of other BCBs.     

An explicit bound for uniform perfectness of the Julia sets of rational maps

A compact set C in the Riemann sphere is called uniformly perfect if there is a uniform upper bound on the moduli of annuli which separate C. Julia sets of rational maps of degree at least two are uniformly perfect. Proofs have been given independently by Ma né and da Rocha and by Hinkkanen, but no explicit bounds are given. In this note, we shall provide such an explicit bound and, as a result, give another proof of uniform perfectness of Julia sets of rational maps of degree at least two. As an application, we provide a lower estimate of the Hausdorff dimension of the Julia sets. We also give a concrete bound for the family of quadratic polynomials in terms of the parameter c. Received: 7 June 1999; in final form: 9 November 1999 / Published online: 17 May 2001     

Configurations of limit cycles and planar polynomial vector fields

We show that every finite configuration of disjoint simple closed curves of the plane is topologically realizable as the set of limit cycles of a polynomial vector field. Moreover, the realization can be made by algebraic limit cycles, and we provide an explicit polynomial vector field exhibiting any given finite configuration of limit cycles.     

Sensitivity analysis in vector optimization

For a vector optimization problem that depends on a parameter vector, the sensitivity analysis of perturbation, proper perturbation, and weak perturbation maps is dealth with. Each of the perturbation maps is defined as a set-valued map which associates to each parameter value the set of all minimal, properly minimal, and weakly minimal points of the perturbed feasible set in the objective space with respect to a fixed ordering cone. Using contingent cones in a finite-dimensional Euclidean space, we investigate the relationship between the contingent derivatives of the three types of perturbation maps and three types of minimal point sets for the contingent derivative of the feasible-set map in the objective space. These results provide quantitative informations on the behavior of the perturbation maps.The authors would like to thank the referees for their valuable comments and suggestions.     

Rotation Numbers of Discontinuous Orientation-Preserving Circle Maps

We extend a few well-known results about orientation preserving homeomorphisms of the circle to orientation preserving circle maps, allowing even an infinite number of discontinuities. We define a set-valued map associated to the lift by filling the gaps in the graph, that shares many properties with continuous functions. Using elementary set-valued analysis, we prove existence and uniqueness of the rotation number, periodic limit orbit in the case when the latter is rational, and Cantor structure of the unique limit set when the rotation number is irrational. Moreover, the rotation number is found to be continuous with respect to the set-valued extension if we endow the space of such maps with the Haussdorff topology on the graph. For increasing continuous families of such maps, the set of parameter values where the rotation number is irrational is a Cantor set (up to a countable number of points).     

Critical invariant circles in asymmetric and multiharmonic generalized standard maps

Invariant circles play an important role as barriers to transport in the dynamics of area-preserving maps. KAM theory guarantees the persistence of some circles for near-integrable maps, but far from the integrable case all circles can be destroyed. A standard method for determining the existence or nonexistence of a circle, Greene’s residue criterion, requires the computation of long-period orbits, which can be difficult if the map has no reversing symmetry. We use de la Llave’s quasi-Newton, Fourier-based scheme to numerically compute the conjugacy of a Diophantine circle conjugate to rigid rotation, and the singularity of a norm of a derivative of the conjugacy to predict criticality. We study near-critical conjugacies for families of rotational invariant circles in generalizations of Chirikov’s standard map.A first goal is to obtain evidence to support the long-standing conjecture that when circles breakup they form cantori, as is known for twist maps by Aubry–Mather theory. The location of the largest gaps is compared to the maxima of the potential when anti-integrable theory applies. A second goal is to support the conjecture that locally most robust circles have noble rotation numbers, even when the map is not reversible. We show that relative robustness varies inversely with the discriminant for rotation numbers in quadratic algebraic fields. Finally, we observe that the rotation number of the globally most robust circle generically appears to be a piecewise-constant function in two-parameter families of maps.     

On a topological closeness of perturbed Julia sets

In the present work we expand our previous work in [1] by introducing the Julia Deviation Distance and the Julia Deviation Plot in order to study the stability of the Julia sets of noise-perturbed Mandelbrot maps. We observe a power-law behaviour of the Julia Deviation Distance of the Julia sets of a family of additive dynamic noise Mandelbrot maps from the Julia set of the Mandelbrot map as a function of the noise level. Additionally, using the above tools, we support the invariance of the Julia set of a noise-perturbed Mandelbrot map under different noise realizations.     

Numerical approximation of homoclinic chaos

Transversal homoclinic orbits of maps are known to generate a Cantor set on which a power of the map conjugates to the Bernoulli shift on two symbols. This conjugacy may be regarded as a coding map, which for example assigns to a homoclinic symbol sequence a point in the Cantor set that lies on a homoclinic orbit of the map with a prescribed number of humps. In this paper we develop a numerical method for evaluating the conjugacy at periodic and homoclinic symbol sequences in a systematic way. The approach combines our previous method for computing the primary homoclinic orbit with the constructive proof of Smale's theorem given by Palmer. It is shown that the resulting nonlinear systems are well conditioned uniformly with respect to the characteristic length of the symbol sequence and that Newton's method converges uniformly too when started at a proper pseudo orbit. For the homoclinic symbol sequences an error analysis is given. The method works in arbitrary dimensions and it is illustrated by examples. This revised version was published online in June 2006 with corrections to the Cover Date.     

Images Réciproques D'ensembles Inévitables Par Les Applications Holomorphes De C Dans C

Unlike the one-dimensional case, when we deal with several complex variables, there exist entire one-to-one holomorphic maps with an identically equal to one jacobian, but with a non-dense range: the Fatou-Bieberbach maps (to simplify, we will call them Fatou-Bieberbach maps, even if there are not one-to-one). In Ref. [4], Gruman gave a sufficient density condition for a discrete set to be unavoidable and he constructed an explicit family of such sets $\{ E_a , a \in {\shadC} ^{*n} \} $ . Analogeously to Nevanlinna theory, he showed that the Fatou-Bieberbach maps intersect these sets with the same asymptotic frequency for a outside a pluripolar set. In the present paper, we generalise these estimates to any discrete set E verifying the sufficient density condition by giving a lower and an upper bound for the pre-image of E by a Fatou-Bieberbach map F in terms of the growth of the function.     

Global properties of a class of overdetermined systems

We consider an overdetermined system of complex vector fields on the three-dimensional torus which is naturally associated to a real analytic, closed 1-form on the two-dimensional torus. By means of a detailed study of the geometry of level sets of a primitive of the pull-back of the 1-form via the universal covering, we prove that a necessary condition for the system to be globally solvable, in the non-exact case, is that each connected component of the critical set has a point at which the local primitives of the 1-form are open maps. When this condition is violated we also construct global solutions to the inhomogenous equations having analytic singularities.