We discuss selected topics of current research interest in the theory of dynamical systems, with emphasis on dimension theory, multifractal analysis, and quantitative recurrence. The topics include the quantitative versus the qualitative behavior of Poincaré recurrence, the product structure of invariant measures and return times, the dimension of invariant sets and invariant measures, the complexity of the level sets of local quantities from the point of view of Hausdorff dimension, and the conditional variational principles as well as their applications to problems in number theory.
We present the foundations of each area, and discuss recent developments and applications. All the necessary notions from ergodic theory, hyperbolic dynamics, dimension theory, and the thermodynamic formalism are briefly recalled. We concentrate on uniformly hyperbolic dynamics, although we also refer to nonuniformly hyperbolic dynamics. Instead of always presenting the most general results, we made a selection with the purpose of illustrating the main ideas while we avoid the accessory technicalities.
A vector field X is called a star flow if every periodic orbit, of any vector field C1-close to X, is hyperbolic. It is known that the chain recurrence classes of a generic star flow X on a 3 or 4 manifold are either hyperbolic or singular hyperbolic (see [MPP] for 3-manifolds and [GLW] on 4-manifolds). As it is defined, the notion of singular hyperbolicity forces the singularities in the same class to have the same index. However, in higher dimension (i.e $\geq 5$) \cite{BdL} shows that singularities of different indices may be robustly in the same chain recurrence class of a star flow. There…
We prove that for certain partially hyperbolic skew-products, non-uniform hyperbolicity along the leaves implies existence of a finite number of ergodic absolutely continuous invariant probability measures which describe the asymptotics of almost every point. The main technical tool is an extension for sequences of maps of a result of de Melo and van Strien relating hyperbolicity to recurrence properties of orbits. As a consequence of our main result, we also obtain a partial extension of Keller's theorem guaranteeing the existence of absolutely continuous invariant measures for non-uniformly …
We give a criterion to determine the large deviation rate functions for abstract dynamical systems on towers. As an application of this criterion we show the level 2 large deviation principle for some class of smooth interval maps with nonuniform hyperbolicity.
In this paper, we show that for several interesting systems beyond uniform hyperbolicity, any generic continuous function has a unique maximizing measure with zero entropy. In some cases, we also know that the maximizing measure has full support. These interesting systems including singular hyperbolic attractors, $C^\infty$ surface diffeomorphisms and diffeomorphisms away from homoclinic tangencies.
We consider some general classes of random dynamical systems and show that a priori very weak nonuniform hyperbolicity conditions actually imply uniform hyperbolicity.
We consider the remainder term in the semiclassical limit formula for the eta invariant on a metric contact manifold, proving in general that it is controlled by volumes of recurrence sets of the Reeb flow. This particularly gives a logarithmic improvement of the remainder for Anosov Reeb flows, while for certain elliptic flows the improvement is in terms of irrationality measures of corresponding Floquet exponents.
We study the multifractal analysis for smooth dynamical systems in dimension one. It is characterized the Hausdorff dimension of the level set obtained from the Birkhoff averages of a continuous function by the local dimensions of hyperbolic measures for a topologically mixing $C^2$ map modelled by an abstract dynamical system. A characterization which corresponds to above is also given for the ergodic basins of invariant probability measures. And it is shown that the complement of the set of quasi-regular points carries full Hausdorff dimension.
We give sufficient conditions for the uniform hyperbolicity of certain nonuniformly hyperbolic dynamical systems. In particular, we show that local diffeomorphisms that are nonuniformly expanding on sets of total probability are necessarily uniformly expanding. We also present a version of this result for diffeomorphisms with nonuniformly hyperbolic sets.
We study shadowing property for a partially hyperbolic diffeomorphism $f$. It is proved that if $f$ is dynamically coherent then any pseudotrajectory can be shadowed by a pseudotrajectory with "jumps" along the central foliation. The proof is based on the Tikhonov-Shauder fixed point theorem.
In this paper we deal with an invariant ergodic hyperbolic measure $μ$ for a diffeomorphism $f,$ assuming that $f$ it is either $C^{1+α}$ or $f$ is $C^1$ and the Oseledec splitting of $μ$ is dominated. We show that this system $(f,μ)$ satisfies a weaker and non-uniform version of specification, related with notions studied in several recent papers, including \cite{STV,Y, PS, T,Var, Oli}. Our main results have several consequences: as corollaries, we are able to improve the results about quantitative Poincaré recurrence, removing the assumption of the non-uniform specification property in the m…
For a right-invariant control system on a flag manifold $\mathbb{F}_Θ$ of a real semisimple Lie group, we relate the $\mathfrak{a}$-Lyapunov exponents to the Lyapunov exponents of the system over regular points. Moreover, we adapt the concept of partial hyperbolicity from the theory of smooth dynamical systems to control-affine systems, and we completely characterize the partially hyperbolic chain control sets on $\mathbb{F}_Θ$.
We show that, under suitable assumptions, Poincare recurrences of a dynamical system determine its topology in phase space. Therefore, dynamical systems with the same recurrences are topologically equivalent.
This paper continues our investigation of the dynamics of polynomial diffeomorphisms of C^2. We introduce a dynamical property of polynomial diffeomorphisms that generalizes hyperbolicity in the way that semi-hyperbolicity generalizes hyperbolicity for polynomial maps of the complex plane.
This paper is a first step in the study of the recurrence behavior in random dynamical systems and randomly perturbed dynamical systems. In particular we define a concept of quenched and annealed return times for systems generated by the composition of random maps. We moreover prove that for super-polynomially mixing systems, the random recurrence rate is equal to the local dimension of the stationary measure.
In this paper we study topological entropy and recurrence properties of non-autonomous dynamical system generated by a family of continuous self maps on a compact space X. Specially, we introduce the pseudo-entropy and periodic-pseudo-entropy and prove their equivalence with the topological entropy for non-autonomous dynamical systems.
For measure preserving dynamical systems on metric spaces we study the time needed by a typical orbit to return back close to its starting point. We prove that when the decay of correlation is super-polynomial the recurrence rates and the pointwise dimensions are equal. This gives a broad class of systems for which the recurrence rate equals the Hausdorff dimension of the invariant measure.
We study the set of points returning infinitely often to a sequence of targets dependent on the starting points. With an assumption of decay of correlations for L1 against bounded variations, we prove a generalized quantitative recurrence result under Lipschitz twists.
We prove that for conformal expanding maps the return time does have constant multifractal spectrum. This is the counterpart of the result by Feng and Wu in the symbolic setting.
In the present paper, we define the concept of weak topological conjugacy and we establish sufficient conditions to obtain this kind of topological conjugacy between two limit sets. We use the character of recurrence to obtain the results.
This report investigates the dynamical stability conjectures of Palis and Smale, and Pugh and Shub from the standpoint of numerical observation and lays the foundation for a stability conjecture. As the dimension of a dissipative dynamical system is increased, it is observed that the number of positive Lyapunov exponents increases monotonically, the Lyapunov exponents tend towards continuous change with respect to parameter variation, the number of observable periodic windows decreases (at least below numerical precision), and a subset of parameter space exists such that topological change is …
We consider invertible discrete-time dynamical systems having a hyperbolic product structure in some region of the phase space with infinitely many branches and variable recurrence time. We show that the decay of correlations of the SRB measure associated to that hyperbolic structure is related to the tail of the recurrence times. We also give sufficient conditions for the validity of the Central Limit Theorem. This generalizes previous results by Benedicks and Young.
This paper examines a continuous time dynamical system that is an extension of a discrete time dynamical system previously examined, and considers this system together in a product space with a compact subset of Euclidean space. Together, the two systems give a skew product flow. We first examine limit behavior and recurrence in our continuous time extension. We then consider analogous limit and recurrence concepts for a skew product flow, and the behavior on the Euclidean space that results.
We study the specification property for partially hyperbolic dynamical systems. In particular, we show that if a partially hyperbolic diffeomorphism has two saddles with different indices, and stable manifold of one of them coincides with the strongly stable leaf, then it does not satisfy the specification property. As an application, we prove that there exists a $C^1$-open and dense subset $\mathcal P$ in the set of robustly non-hyperbolic transitive diffeomorphisms on a three dimensional closed manifold such that diffeomorphisms in $\mathcal P$ do not satisfy the specification property.
It is well known that for $a>4$, the dynamical behaviors of the logistic map $f_a(x)=ax(1-x)$ on the maximal invariant compact set are "simple" which could be clearly explained by the theories of hyperbolic dynamics and symbolic dynamics. Is it possible that similar phenomena could be observed in general real polynomial maps? In this paper, we study this problem by investigating the real polynomial map $f_a(x)=ag(x)$, where $a$ is a parameter, and $g$ is a real-coefficient polynomial, which has at least two different real zeros or only one real zero.
We are interested in the asymptotic behaviour of the first return time of the orbits of a dynamical system into a small neighbourhood of their starting points. We study this quantity in the context of dynamical systems preserving an infinite measure. More precisely, we consider the case of $\mathbb{Z}$-extensions of subshifts of finite type. We also consider a toy probabilistic model to enlight the strategy of our proofs.
In this paper we examine the interplay between recurrence properties and the shadowing property in dynamical systems on compact metric spaces. In particular, we demonstrate that if the dynamical system $(X,f)$ has shadowing, then it is recurrent if and only if it is minimal. Furthermore, we show that a uniformly rigid system $(X,f)$ has shadowing if and only if $X$ is totally disconnected and use this to demonstrate the existence of a space $X$ for which no surjective system $(X,f)$ has shadowing. We further refine these results to discuss the dynamics that can occur in spaces with compact spa…
We prove the almost sure invariance principle with rate $o(n^{\varepsilon})$ for every $\varepsilon > 0$ for Hölder continuous observables on nonuniformly expanding and nonuniformly hyperbolic transformations with exponential tails. Examples include Gibbs-Markov maps with big images, Axiom A diffeomorphisms, dispersing billiards and a class of logistic and Hénon maps. The best previously proved rate is $O(n^{1/4} (\log n)^{1/2} (\log \log n)^{1/4})$. As a part of our method, we show that nonuniformly expanding transformations are factors of Markov shifts with simple structure and natural metri…
We study the existence and regularity of invariant graphs for bundle maps (or bundle correspondences with generating bundle maps motivated by ill-posed differential equations) having some relative partial hyperbolicity on non-trivial and non-locally-compact bundles. The regularity includes (uniform) $ C^0 $ continuity, Hölder continuity and smoothness. To illustrate the power of our results and methods, a number of applications to both well-posed and ill-posed semilinear differential equations and abstract infinite-dimensional dynamical systems are given. These applications include the existen…
We prove that dynamical coherence is an open and closed property in the space of partially hyperbolic diffeomorphisms of $\mathbb{T}^3$ isotopic to Anosov. Moreover, we prove that strong partially hyperbolic diffeomorphisms of $\mathbb{T}^3$ are either dynamically coherent or have an invariant two-dimensional torus which is either contracting or repelling. We develop for this end some general results on codimension one foliations which may be of independent interest.
We show the existence of a family of manifolds on which all (pointwise or absolutely) partially hyperbolic systems are dynamically coherent. This family is the set of 3-manifolds with nilpotent, non-abelian fundamental group. We further classify the partially hyperbolic systems on these manifolds up to leaf conjugacy. We also classify those systems on the 3-torus which do not have an attracting or repelling periodic 2-torus. These classification results allow us to prove some dynamical consequences, including existence and uniqueness results for measures of maximal entropy and quasi-attractors…
We study Poincaré recurrence from a purely geometrical viewpoint. We prove that the metric entropy is given by the exponential growth rate of return times to dynamical balls. This is the geometrical counterpart of Ornstein-Weiss theorem. Moreover, we show that minimal return times to dynamical balls grow linearly with respect to its length. Finally, some interesting relations between recurrence, dimension, entropy and Lyapunov exponents of ergodic measures are given.
This thesis attempts to contribute to the study of differentiable dynamics both from a semi-local and global point of view. The center of study is differentiable dynamics in manifolds of dimension 3 where we are interested in the understanding of the existence and structure of attractors as well as dynamical and topological implications of the existence of a global partially hyperbolic splitting. The main contributions are new examples of dynamics without attractors where we get a quite complete description of the dynamics around some wild homoclinic classes and two results on dynamical cohere…
In this work we study permanence of hyperbolicity for autonomous differential equations under nonautonomous random/stochastic perturbations. For the linear case, we study robustness and existence of exponential dichotomies for nonautonomous random dynamical systems. Next, we establish a result on the persistence of hyperbolic equilibria for nonlinear differential equations. We show that for each nonautonomous random perturbation of an autonomous semilinear problem with a hyperbolic equilibrium there exists a bounded \textit{random hyperbolic solution} for the associated nonlinear nonautonomous…
We study shadowing and chain recurrence in the context of linear operators acting on Banach spaces or even on normed vector spaces. We show that for linear operators there is only one chain recurrent set, and this set is actually a closed invariant subspace. We prove that every chain transitive linear dynamical system with the shadowing property is frequently hypercyclic, and as a corollary obtain that every shadowing hypercyclic linear dynamical system is frequently hypercyclic.
Using a result of Behrend concerning sets without arithmetic progressions, we construct some examples of dynamical systems with slow time of multiple recurrence. Our theorem is a quatitative analog of Furstenberg's Correspondence Principle.
We consider a broad class of second-order dynamical systems and study the impact of damping as a system parameter on the stability, hyperbolicity, and bifurcation in such systems. We prove a monotonic effect of damping on the hyperbolicity of the equilibrium points of the corresponding first-order system. This provides a rigorous formulation and theoretical justification for the intuitive notion that damping increases stability. To establish this result, we prove a matrix perturbation result for complex symmetric matrices with positive semidefinite perturbations to their imaginary parts, which…
In this paper we initiate a somewhat detailed investigation of the relationships between quantitative recurrence indicators and algorithmic complexity of orbits in weakly chaotic dynamical systems. We mainly focus on examples.
For non-uniformly hyperbolic dynamical systems we consider the time series of maxima along typical orbits. Using ideas based upon quantitative recurrence time statistics we prove convergence of the maxima (under suitable normalization) to an extreme value distribution, and obtain estimates on the rate of convergence. We show that our results are applicable to a range of examples, and include new results for Lorenz maps, certain partially hyperbolic systems, and non-uniformly expanding systems with sub-exponential decay of correlations. For applications where analytic results are not readily av…
A topological dynamical system induces two natural systems, one is on the hyperspace and the other one is on the probability space. The connection among some dynamical properties on the original space and on the induced spaces are investigated. Particularly, a minimal weakly mixing system which induces a $P$-system on the probability space is constructed and some disjointness result is obtained.
We initiate a parametric study of holomorphic families of polynomial skew products, i.e., polynomial endomorphisms of $\mathbb{C}^2$ of the form $F(z,w)= (p(z), q(z,w))$ that extend to holomorphic endomorphisms of $\mathbb{P}^2(\mathbb{C})$. We prove that dynamical stability in the sense of arXiv:1403.7603 preserves hyperbolicity within such families, and give a complete classification of the hyperbolic components that are the analogue, in this setting, of the complement of the Mandelbrot set for the family $z^2 +c$. We also precisely describe the geometry of the bifurcation locus and current …
We prove a maximal-type large deviation principle for dynamical systems with arbitrarily slow polynomial mixing rates. Also several applications, particularly to billiard systems, are presented.
In this paper, we study the Poisson stability (in particular, stationarity, periodicity, quasi-periodicity, Bohr almost periodicity, almost automorphy, recurrence in the sense of Birkhoff, Levitan almost periodicity, pseudo periodicity, almost recurrence in the sense of Bebutov, pseudo recurrence, Poisson stability) of motions for monotone nonautonomous dynamical systems and of solutions for some classes of monotone nonautonomous evolution equations (ODEs, FDEs and parabolic PDEs). As a byproduct, some of our results indicate that all the trajectories of monotone systems converge to the above …
Joint typical periodic optimization: systems with stable hyperbolicity
Peking University（北京大学）；Queen Mary, University of London（伦敦大学玛丽女王学院）；Beijing International Center for Mathematical Research, Peking University（北京大学北京国际数学研究中心）
We study non-recurrence sets for weakly mixing dynamical systems by using linear dynamical systems. These are systems consisting of a bounded linear operator acting on a separable complex Banach space X, which becomes a probability space when endowed with a non-degenerate Gaussian measure. We generalize some recent results of Bergelson, del Junco, Lemańczyk and Rosenblatt, and show in particular that sets \{n_k\} such that n_{k+1}/{n_k} tends to infinity, or such that n_{k} divides n_{k+1} for each k, are non-recurrence sets for weakly mixing linear dynamical systems. We also give examples, fo…
In the study of some dynamical systems the limsup set of a sequence of measurable sets is often of interest. The shrinking targets and recurrence are two of the most commonly studied problems that concern limsup sets. However, the zero-one laws for the shrinking targets and recurrence are usually treated separately and proved differently. In this paper, we introduce a generalized definition that can specialize into the shrinking targets and recurrence; our approach gives a unified proof of the zero-one laws for the two problems.
We study the dynamical Borel-Cantelli lemma for recurrence sets in a measure preserving dynamical system $(X, μ, T)$ with a compatible metric $d$. We prove that, under some regularity conditions, the $μ$-measure of the following set \[ R(ψ)= \{x\in X : d(T^n x, x) < ψ(n)\ \text{for infinitely many}\ n\in\N \} \] obeys a zero-full law according to the convergence or divergence of a certain series, where $ψ:\N\to\R^+$. Some of the applications of our main theorem include the continued fractions dynamical systems, the beta dynamical systems, and the homogeneous self-similar sets.
This paper intends to provide new, simple, and self-contained proofs of the equivalence of various different descriptions of the uniformly hyperbolic $\mathrm{SL}(2,\mathbb R)$ sequences. While in the scenario of the Schrödinger cocyles, they may in turn be applied to give new and simple proofs of theorems regarding their relation with the spectral analysis of one-dimensional discrete Schrödinger operators. Concretely, this paper gives four different descriptions of uniformly hyperbolic sequences together with the detailed proofs of their equivalence. It provides concise and self-contained pro…
We study different pointwise recurrence notions for linear dynamical systems from the Ergodic Theory point of view. We show that from any reiteratively recurrent vector $x_0$, for an adjoint operator $T$ on a separable dual Banach space $X$, one can construct a $T$-invariant probability measure which contains $x_0$ in its support. This allows us to establish some equivalences, for these operators, between some strong pointwise recurrence notions which in general are completely distinguished. In particular, we show that (in our framework) reiterative recurrence coincides with frequent recurrenc…
Two properties of a dynamical system, rigidity and non-recurrence, are examined in detail. The ultimate aim is to characterize the sequences along which these properties do or do not occur for different classes of transformations. The main focus in this article is to characterize explicitly the structural properties of sequences which can be rigidity sequences or non-recurrent sequences for some weakly mixing dynamical system. For ergodic transformations generally and for weakly mixing transformations in particular there are both parallels and distinctions between the class of rigid sequences …
