Lyapunov exponents of hyperbolic measures and hyperbolic periodic orbits
Lyapunov exponents of a hyperbolic ergodic measure are approximated by Lyapunov exponents of hyperbolic atomic measures on periodic orbits.
Discover
Workspaces
Network
Opportunities
Account
Researcher profile
Wenxiang Sun contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Lyapunov exponents of a hyperbolic ergodic measure are approximated by Lyapunov exponents of hyperbolic atomic measures on periodic orbits.
We prove that entropy map is upper semi-continuous for C1 nonuniformly hyperbolic systems with domination, while it is not true for C1+alpha nonuniformly hyperbolic systems in general. This goes a little against a common intuition that conclusions are parallel between C1+domination systems and C1+alpha systems.
We prove that the Oseledets splittings of an ergodic hyperbolic measure of a $C^{1+ r}$ diffeomorphism can be approximated by that of atomic measures on hyperbolic periodic orbits. This removes the assumption on simple spectrum in \cite{Liang} and strengthens Katok's closing lemma.
Let $M$ be a smooth compact manifold and $Λ$ be a compact invariant set. In this paper we prove that for every robustly transitive set $Λ$, $f|_Λ$ satisfies a $C^1-$generic-stable shadowable property (resp., $C^1-$generic-stable transitive specification property or $C^1-$generic-stable barycenter property) if and only if $Λ$ is a hyperbolic basic set. In particular, $f|_Λ$ satisfies a $C^1-$stable shadowable property (resp., $C^1-$stable transitive specification property or $C^1-$stable barycenter property) if and only if $Λ$ is a hyperbolic basic set. Similar results are valid for volume-preserving case.
Let $M$ be a compact manifold and $f:\,M\to M$ be a $C^1$ diffeomorphism on $M$. If $μ$ is an $f$-invariant probability measure which is absolutely continuous relative to Lebesgue measure and for $μ$ $a.\,\,e.\,\,x\in M,$ there is a dominated splitting $T_{orb(x)}M=E\oplus F$ on its orbit $orb(x)$, then we give an estimation through Lyapunov characteristic exponents from below in Pesin's entropy formula, i.e., the metric entropy $h_μ(f)$ satisfies $$h_μ(f)\geq\int χ(x)dμ,$$ where $χ(x)=\sum_{i=1}^{dim\,F(x)}λ_i(x)$ and $λ_1(x)\geqλ_2(x)\geq...\geqλ_{dim\,M}(x)$ are the Lyapunov exponents at $x$ with respect to $μ.$ Consequently, by using a dichotomy for generic volume-preserving diffeomorphism we show that Pesin's entropy formula holds for generic volume-preserving diffeomorphisms, which generalizes a result of Tahzibi in dimension 2.
For an ergodic hyperbolic measure $ω$ of a $C^{1+α}$ diffeomorphism, there is an $ω$ full-measured set $\tildeΛ$ such that every nonempty, compact and connected subset $V$ of $\mathbb{M}_{inv}(\tildeΛ)$ coincides with the accumulating set of time averages of Dirac measures supported at {\it one orbit}, where $\mathbb{M}_{inv}(\tildeΛ)$ denotes the space of invariant measures supported on $\tildeΛ$. Such state points corresponding to a fixed $V$ are dense in the support $supp(ω)$. Moreover, $\mathbb{M}_{inv}(\tildeΛ)$ can be accumulated by time averages of Dirac measures supported at {\it one orbit}, and such state points form a residual subset of $supp(ω)$. These extend results of Sigmund [9] from uniformly hyperbolic case to non-uniformly hyperbolic case. As a corollary, irregular points form a residual set of $supp(ω)$.
In this paper, we study two properties of the Lyapunov exponents under small perturbations: one is when we can remove zero Lyapunov exponents and the other is when we can distinguish all the Lyapunov exponents. The first result shows that we can perturb all the zero integrated Lyapunov exponents $\int_M λ_j(x)dω(x)$ into nonzero ones, for any partially hyperbolic diffeomorphism. The second part contains an example which shows the local genericity of diffeomorphisms with non-simple spectrum and three results: one discusses the relation between simple-spectrum property and the existence of complex eigenvalues; the other two describe the difference on the spectrum between the diffeomorphisms far from homoclinic tangencies and those in the interior of the complement. Moreover, among the conservative diffeomorphisms far from tangencies, we prove that ergodic ones form a residual subset.
Let $Λ$ be an isolated non-trival transitive set of a $C^1$ generic diffeomorphism $f\in\Diff(M)$. We show that the space of invariant measures supported on $Λ$ coincides with the space of accumulation measures of time averages on one orbit. Moreover, the set of points having this property is residual in $Λ$ (which implies the set of irregular$^+$ points is also residual in $Λ$). As an application, we show that the non-uniform hyperbolicity of irregular$^+$ points in $Λ$ with totally 0 measure (resp., the non-uniform hyperbolicity of a generic subset in $Λ$) determines the uniform hyperbolicity of $Λ$.
Two flows defined on a smooth manifold are equivalent if there exists a homeomorphism of the manifold that sends each orbit of one flow onto an orbit of the other flow while preserving the time orientation. The topological entropy of a flow is defined as the entropy of its time-1 map. While topological entropy is an invariant for equivalent homeomorphisms, finite non-zero topological entropy for a flow cannot be an invariant because its value is affected by time reparameterization. However, 0 and $\infty$ topological entropy are invariants for equivalent flows without fixed points. In equivalent flows with fixed points there exists a counterexample, constructed by Ohno, showing that neither 0 nor $\infty$ topological entropy is preserved by equivalence. The two flows constructed by Ohno are suspensions of a transitive subshift and thus are not differentiable. Note that a differentiable flow on a compact manifold cannot have $\infty$ entropy. These facts led Ohno in 1980 to ask the following: "Is 0 topological entropy an invariant for equivalent differentiable flows?" In this paper, we construct two equivalent $C^\infty$ smooth flows with a singularity, one of which has positive topological entropy while the other has zero topological entropy. This gives a negative answer to Ohno's question in the class $C^\infty$.