Smooth center manifolds for nonuniformly partially hyperbolic trajectories

We establish the existence of unique smooth center manifolds for ordinary differential equations v^′=A(t)v+f(t,v) in Banach spaces, assuming that v^′=A(t)v admits a nonuniform exponential trichotomy. This allows us to show the existence of unique smooth center manifolds for the nonuniformly partially hyperbolic trajectories. In addition, we prove that the center manifolds are as regular as the vector field. Our proof of the Ck smoothness of the manifolds uses a single fixed point problem in an appropriate complete metric space. To the best of our knowledge we establish in this paper the first smooth center manifold theorem in the nonuniform setting.     

Structural stability of vector fields with shadowing

Let X be a C¹ vector field without singularities. In this paper, we show that X is in the C¹ interior of the set of vector fields with the shadowing property if and only if X satisfies both Axiom A and the strong transversality condition; that is, X is structurally stable.     

Generic Bowen-expansive flows

We prove that in the set of all C ¹ vector fields on a compact manifold there is a residual subset which satisfies the property that if a vector field is Bowen-expansive, then it is Axiom A without cycles.     

Embedding smooth diffeomorphisms in flows

In this paper we study the problem on embedding germs of smooth diffeomorphisms in flows in higher dimensional spaces. First we prove the existence of embedding vector fields for a local diffeomorphism with its nonlinear term a resonant polynomial. Then using this result and the normal form theory, we obtain a class of local Ck diffeomorphisms for k∈N∪{∞,ω} which admit embedding vector fields with some smoothness. Finally we prove that for any k∈N∪{∞} under the coefficient topology the subset of local Ck diffeomorphisms having an embedding vector field with some smoothness is dense in the set of all local Ck diffeomorphisms.     

Asymptotic expansion of the period function II

Let P be a not necessarily bounded polycycle of an analytic vector field on an open set of the plane. Suppose that the singularities which appear after desingularization of the vertices of P are hyperbolic. Consider the function T defined by the return time near P. It is shown that the function T and its derivative T^′ have asymptotic expansions similar to the series of Dulac but with negative powers.     

Characterizing omega-limit sets which are closed orbits

Let X be a vector field in a compact n-manifold M, n?2. Given Σ⊂M we say that q∈M satisfies (P)_Σ if the closure of the positive orbit of X through q does not intersect Σ, but, however, there is an open interval I with q as a boundary point such that every positive orbit through I intersects Σ. Among those q having saddle-type hyperbolic omega-limit set ω(q) the ones with ω(q) being a closed orbit satisfy (P)_Σ for some closed subset Σ. The converse is true for n=2 but not for n?4. Here we prove the converse for n=3. Moreover, we prove for n=3 that if ω(q) is a singular-hyperbolic set [C. Morales, M. Pacifico, E. Pujals, On C¹ robust singular transitive sets for three-dimensional flows, C. R. Acad. Sci. Paris Sér. I 26 (1998) 81-86], [C. Morales, M. Pacifico, E. Pujals, Robust transitive singular sets for 3-flows are partially hyperbolic attractors or repellers, Ann. of Math. (2) 160 (2) (2004) 375-432], then ω(q) is a closed orbit if and only if q satisfies (P)_Σ for some Σ closed. This result improves [S. Bautista, Sobre conjuntos hiperbólicos-singulares (On singular-hyperbolic sets), thesis Uiversidade Federal do Rio de Janeiro, 2005 (in Portuguese)] and [C. Morales, M. Pacifico, Mixing attractors for 3-flows, Nonlinearity 14 (2001) 359-378].     

Limit cycles and Lie symmetries

Given a planar vector field U which generates the Lie symmetry of some other vector field X, we prove a new criterion to control the stability of the periodic orbits of U. The problem is linked to a classical problem proposed by A.T. Winfree in the seventies about the existence of isochrons of limit cycles (the question suggested by the study of biological clocks), already answered by Guckenheimer using a different terminology. We apply our criterion to give upper bounds of the number of limit cycles for some families of vector fields as well as to provide a class of vector fields with a prescribed number of hyperbolic limit cycles. Finally we show how this procedure solves the problem of the hyperbolicity of periodic orbits in problems where other criteria, like the classical one of the divergence, fail.     

The set of axiom A diffeomorphisms with no cycles

LetM be aC ^∞ closed manifold and Diff¹ (M) be the space of diffeomorphisms ofM endowed with theC ¹ topology. This paper contains an affirmative answer to the following conjecture raised by Mañé, which is an extension of the stability and Ω-stability conjectures of Palis and Smale, as follows: theC ¹ interior of the subset of diffeomorphism such that all the periodic points are hyperbolic is characterized as the set of diffeomorphisms satisfying Axiom A and the no-cycles condition. Moreover, it is showed that theC ¹ interior of the set of all Kupka-Smale diffeomorphisms coincides with the set of all diffeomorphisms satisfying Axiom A and the strong transversality condition.     

Singular sets of planar hyperbolic billiards are regular

Many planar hyperbolic billiards are conjectured to be ergodic. This paper represents a first step towards the proof of this conjecture. The Hopf argument is a standard technique for proving the ergodicity of a smooth hyperbolic system. Under additional hypotheses, this technique also applies to certain hyperbolic systems with singularities, including hyperbolic billiards. The supplementary hypotheses concern the subset of the phase space where the system fails to be C ² differentiable. In this work, we give a detailed proof of one of these hypotheses for a large collection of planar hyperbolic billiards. Namely, we prove that the singular set and each of its iterations consist of a finite number of compact curves of class C ² with finitely many intersection points.     

Embedding smooth and formal diffeomorphisms through the Jordan-Chevalley decomposition

In [Xiang Zhang, The embedding flows of C^∞ hyperbolic diffeomorphisms, J. Differential Equations 250 (5) (2011) 2283-2298] Zhang proved that any local smooth hyperbolic diffeomorphism whose eigenvalues are weakly nonresonant is embedded in the flow of a smooth vector field. We present a new and more conceptual proof of such result using the Jordan-Chevalley decomposition in algebraic groups and the properties of the exponential operator.We characterize the hyperbolic smooth (resp. formal) diffeomorphisms that are embedded in a smooth (resp. formal) flow. We introduce a criterion showing that the presence of weak resonances for a diffeomorphism plus two natural conditions imply that it is not embeddable. This solves a conjecture of Zhang. The criterion is optimal, we provide a method to construct embeddable diffeomorphisms with weak resonances if we remove any of the conditions.     

Plane foliations with a saddle singularity

We study the set of planar vector fields with a unique singularity of hyperbolic saddle type. We found conditions to assure that a such vector field is topologically equivalent to a linear saddle. Furthermore, we describe the plane foliations associated to these vector fields. Such a foliation can be split in two subfoliations. One without restriction and another one that is topologically characterized by means of trees.     

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.     

Birth of limit cycles bifurcating from a nonsmooth center

This paper is concerned with a codimension analysis of a two-fold singularity of piecewise smooth planar vector fields, when it behaves itself like a center of smooth vector fields (also called nondegenerate Σ-center). We prove that any nondegenerate Σ-center is Σ  -equivalent to a particular normal form _Z0$Z_0$. Given a positive integer number k   we explicitly construct families of piecewise smooth vector fields emerging from _Z0$Z_0$ that have k hyperbolic limit cycles bifurcating from the nondegenerate Σ  -center of _Z0$Z_0$ (the same holds for k=∞$k=\infty$). Moreover, we also exhibit families of piecewise smooth vector fields of codimension k   emerging from _Z0$Z_0$. As a consequence we prove that _Z0$Z_0$ has infinite codimension.     

Nonlinear perturbations of nonuniform exponential dichotomy on measure chains

This paper focuses on nonlinear perturbations of flows in Banach spaces, corresponding to a nonautonomous dynamical system on measure chains admitting a nonuniform exponential dichotomy. We first define the nonuniform exponential dichotomy of linear nonuniformly hyperbolic systems on measure chains, then establish a new version of the Grobman-Hartman theorem for nonuniformly hyperbolic dynamics on measure chains with the help of nonuniform exponential dichotomies. Moreover, we also construct stable invariant manifolds for sufficiently small nonlinear perturbations of a nonuniform exponential dichotomy. In particular, it is shown that the stable invariant manifolds are Lipschitz in the initial values provided that the nonlinear perturbation is a sufficiently small Lipschitz perturbation.     

Points with maximal Birkhoff average oscillation

Let f: X → X be a continuous map with the specification property on a compact metric space X. We introduce the notion of the maximal Birkhoff average oscillation, which is the “worst” divergence point for Birkhoff average. By constructing a kind of dynamical Moran subset, we prove that the set of points having maximal Birkhoff average oscillation is residual if it is not empty. As applications, we present the corresponding results for the Birkhoff averages for continuous functions on a repeller and locally maximal hyperbolic set.     

Bifurcation of critical periods from the rigid quadratic isochronous vector field

This paper is concerned with the study of the number of critical periods of perturbed isochronous centers. More concretely, if X₀ is a vector field having an isochronous center of period T₀ at the point p and X? is an analytic perturbation of X₀ such that the point p is a center for X? then, for a suitable parameterization ξ of the periodic orbits surrounding p, their periods can be written as T(ξ,?)=T₀+T₁(ξ)?+T₂(ξ)?²+?. Firstly we give formulas for the first functions Tl(ξ) that can be used for quite general vector fields. Afterwards we apply them to study how many critical periods appear when we perturb the rigid quadratic isochronous center , inside the class of centers of the quadratic systems or of polynomial vector fields of a fixed degree.     

Density of hyperbolicity and tangencies in sectional dissipative regions

In this paper we extend the notion of sectionally dissipative periodic points to arbitrarily compact invariant sets. We show that given a sectionally dissipative and attracting region for a diffeomorphisms f, there is a neighborhood of f and a dense subset of it such that any diffeomorphism g in this dense subset either exhibits a sectional dissipative homoclinic tangency or the part of the limit set of g in this attracting region is a hyperbolic compact set. The proof goes extending some results on dominated splitting obtained for compact surfaces maps.     

Gibbs–Markov–Young structures with (stretched) exponential tail for partially hyperbolic attractors

In this work we extend the results obtained by Gouëzel in [12] to partially hyperbolic attractors. We study a forward invariant set K on a Riemannian manifold M   whose tangent space splits as dominated decomposition _TKM=E^cu⊕E^s$T_{K}M=E^{cu}\oplus E^s$, for which the center-unstable direction E^cu$E^{cu}$ is non-uniformly expanding on some local unstable disk. We prove that the (stretched) exponential decay of recurrence times for an induced scheme can be deduced under the assumption of (stretched) exponential decay of the time that typical points need to achieve some uniform expanding in the center-unstable direction. As an application of our results we obtain exponential decay of correlations and exponential large deviations for a class of partially hyperbolic diffeomorphisms considered in [1].     

Embedding solenoids in foliations

In this paper we find smooth embeddings of solenoids in smooth foliations. We show that if a smooth foliation F of a manifold M contains a compact leaf L with H¹(L;R) not equal to 0 and if the foliation is a product foliation in some saturated open neighborhood U of L, then there exists a foliation F^′ on M which is C¹-close to F, and F^′ has an uncountable set of solenoidal minimal sets contained in U that are pairwise non-homeomorphic. If H¹(L;R) is 0, then it is known that any sufficiently small perturbation of F contains a saturated product neighborhood. Thus, our result can be thought of as an instability result complementing the stability results of Reeb, Thurston and Langevin and Rosenberg.