The local variational principle of topological pressure for sub-additive potentials

Let (X,T) be a topological dynamical system and be a sub-additive potential on C(X,R). Let U be an open cover of X. Then for any T-invariant measure μ, let . The topological pressure for open covers U is defined for sub-additive potentials. Then we have a variational principle:

     

Studying discrete dynamical systems through differential equations

In this paper we consider dynamical systems generated by a diffeomorphism F defined on U an open subset of Rn, and give conditions over F which imply that their dynamics can be understood by studying the flow of an associated differential equation, , also defined on U. In particular the case where F has n−1 functionally independent first integrals is considered. In this case X is constructed by imposing that it shares with F the same set of first integrals and that the functional equation μ(F(x))=det(DF(x))μ(x), x∈U, has some non-zero solution, μ. Several examples for n=2,3 are presented, most of them coming from several well-known difference equations.     

Equilibrium states for factor maps between subshifts

Let π:X→Y be a factor map, where (X,σX) and (Y,σY) are subshifts over finite alphabets. Assume that X satisfies weak specification. Let a=(a₁,a₂)∈R² with a₁>0 and a₂?0. Let f be a continuous function on X with sufficient regularity (Hölder continuity, for instance). We show that there is a unique shift invariant measure μ on X that maximizes . In particular, taking f≡0 we see that there is a unique invariant measure μ on X that maximizes the weighted entropy a₁hμ(σX)+a₂hμ°π−1(σY), which answers an open question raised by Gatzouras and Peres (1996) in [15]. An extension is given to high dimensional cases. As an application, we show that for each compact invariant set K on the k-torus under a diagonal endomorphism, if the symbolic coding of K satisfies weak specification, then there is a unique invariant measure μ supported on K so that dimHμ=dimHK.     

An example on movable approximations of a minimal set in a continuous flow

In the present paper the study of flows on n-manifolds in particular in dimension three, e.g., R³, is motivated by the following question. Let A be a compact invariant set in a flow on X. Does every neighbourhood of A contain a movable invariant set M containing A? It is known that a stable solenoid in a flow on a 3-manifold has approximating periodic orbits in each of its neighbourhoods. The solenoid with the approximating orbits form a movable set, although the solenoid is not movable. Not many such examples are known. The main part of the paper consists of constructing an example of a set in R³ that is not stable, is not a solenoid, and is approximated by Denjoy-like invariant sets instead of periodic orbits. As in the case of a solenoid, the constructed set is an inverse limit of its approximating sets. This gives a partial answer to the above question.     

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).     

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.     

Configurations of limit cycles in Liénard equations

We show that every finite configuration of disjoint simple closed curves in the plane is topologically realizable as the set of limit cycles of a polynomial Liénard equation. The related vector field X is Morse–Smale. Moreover it has the minimum number of singularities required for realizing the configuration in a Liénard equation. We provide an explicit upper bound on the degree of X, which is lower than the results obtained before, obtained in the context of general polynomial vector fields.     

Perturbations of symmetric elliptic Hamiltonians of degree four

In this paper four-parameter unfoldings Xλ of symmetric elliptic Hamiltonians of degree four are studied. We prove that in a compact region of the period annulus of X₀ the displacement function of Xλ is sign equivalent to its principal part, which is given by a family induced by a Chebychev system; and we describe the bifurcation diagram of Xλ in a full neighborhood of the origin in the parameter space, where at most two limit cycles can exist for the corresponding systems.     

The singularity spectrum of Lévy processes in multifractal time

Let X=(Xt)_t?0 be a Lévy process and μ a positive Borel measure on R₊. Suppose that the integral of μ defines a continuous increasing multifractal time . Under suitable assumptions on μ, we compute the singularity spectrum of the sample paths of the process X in time μ defined as the process (XF(t))_t?0.A fundamental example consists in taking a measure μ equal to an “independent random cascade” and (independently of μ) a suitable stable Lévy process X. Then the associated process X in time μ is naturally related to the so-called fixed points of the smoothing transformation in interacting particles systems.Our results rely on recent heterogeneous ubiquity theorems.     

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.     

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.     

Topological entropy of maps on regular curves

In [G.T. Seidler, The topological entropy of homeomorphisms on one-dimensional continua, Proc. Amer. Math. Soc. 108 (1990) 1025-1030], G.T. Seidler proved that the topological entropy of every homeomorphism on a regular curve is zero. Also, in [H. Kato, Topological entropy of monotone maps and confluent maps on regular curves, Topology Proc. 28 (2) (2004) 587-593] the topological entropy of confluent maps on regular curves was investigated. In particular, it was proved that the topological entropy of every monotone map on any regular curve is zero. In this paper, furthermore we investigate the topological entropy of more general maps on regular curves. We evaluate the topological entropy of maps f on regular curves X in terms of the growth of the number of components of f−n(y) (y∈X).     

Ergodic properties for some non-expanding non-reversible systems

We study several properties of invariant measures obtained from preimages, for non-invertible maps on fractal sets which model non-reversible dynamical systems. We give two ways to describe the distribution of all preimages for endomorphisms which are not necessarily expanding on a basic set Λ. We give a topological dynamics condition which guarantees that the corresponding measures converge to a unique conformal ergodic borelian measure; this helps in estimating the unstable dimension a.e. with respect to this measure with the help of Lyapunov exponents. When there exist negative Lyapunov exponents of this limit measure, we study the conditional probabilities induced on the non-uniform local stable manifolds by the limit measure, and also its pointwise dimension on stable manifolds.     

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].     

Entropy of Hadamard spaces

We consider a geodesically complete and proper Hadamard metric measure space X endowed with a Borel measure. Assuming that there exists a certain non-amenable group of isometry of X which acts freely, properly discontinuously and cocompactly on X and preserves the measure we show that the topological entropy of the geodesic flow on the orbit space is positive.     

Extremal integral representations

Let X be a closed bounded convex subset with the Radon-Nikodym property of a Banach space. For tight Borel probability measures μ, v on X, define μ ? v iff there is a dilation T on X such that T(μ) = v. Then, for every x?X, there is a measure μ on X which is maximal in the partial order ? and which has barycenter x. If X is separable, then μ(ex X) = 1 for all maximal measures μ. In general, a maximal measure need not be “on” ex X in this strong sense. If X is weakly compact, then a maximal measure is “on” ex X in the looser sense that μ(B) = 1 for all weak Baire sets B ? ex X.     

On the period of the limit cycles appearing in one-parameter bifurcations

The generic isolated bifurcations for one-parameter families of smooth planar vector fields {X_μ} which give rise to periodic orbits are: the Andronov-Hopf bifurcation, the bifurcation from a semi-stable periodic orbit, the saddle-node loop bifurcation and the saddle loop bifurcation. In this paper we obtain the dominant term of the asymptotic behaviour of the period of the limit cycles appearing in each of these bifurcations in terms of μ when we are near the bifurcation. The method used to study the first two bifurcations is also used to solve the same problem in another two situations: a generalization of the Andronov-Hopf bifurcation to vector fields starting with a special monodromic jet; and the Hopf bifurcation at infinity for families of polynomial vector fields.     

P-chaos implies distributional chaos and chaos in the sense of Devaney with positive topological entropy

Let f be a continuous map from a compact metric space X to itself. The map f is called to be P-chaotic if it has the pseudo-orbit-tracing property and the closure of the set of all periodic points for f is equal to X. We show that every P-chaotic map from a continuum to itself is chaotic in the sense of Devaney and exhibits distributional chaos of type 1 with positive topological entropy.     

Diophantine approximation and badly approximable sets

Let (X,d) be a metric space and (Ω,d) a compact subspace of X which supports a non-atomic finite measure m. We consider ‘natural’ classes of badly approximable subsets of Ω. Loosely speaking, these consist of points in Ω which ‘stay clear’ of some given set of points in X. The classical set Bad of ‘badly approximable’ numbers in the theory of Diophantine approximation falls within our framework as do the sets Bad(i,j) of simultaneously badly approximable numbers. Under various natural conditions we prove that the badly approximable subsets of Ω have full Hausdorff dimension. Applications of our general framework include those from number theory (classical, complex, p-adic and formal power series) and dynamical systems (iterated function schemes, rational maps and Kleinian groups).