English

Shy shadows of infinite-dimensional partially hyperbolic invariant sets

Dynamical Systems 2019-03-27 v2 Analysis of PDEs Classical Analysis and ODEs Functional Analysis

Abstract

Let R\mathcal{R} be a strongly compact C2C^2 map defined in an open subset of an infinite-dimensional Banach space such that the image of its derivative DFRD_F \mathcal{R} is dense for every FF. Let Ω\Omega be a compact, forward invariant and partially hyperbolic set of R\mathcal{R} such that R ⁣:ΩΩ\mathcal{R}\colon \Omega\rightarrow \Omega is onto. The δ\delta-shadow Wδs(Ω)W^s_\delta(\Omega) of Ω\Omega is the union of the sets Wδs(G)={F ⁣:dist(RiF,RiG)δ, for every i0},W^s_\delta(G)= \{F\colon dist(\mathcal{R}^iF, \mathcal{R}^iG) \leq \delta, \ for \ every \ i\geq 0 \}, where GΩG \in \Omega. Suppose that Wδs(Ω)W^s_\delta(\Omega) has transversal empty interior, that is, for every C1+LipC^{1+Lip} nn-dimensional manifold MM transversal to the distribution of dominated directions of Ω\Omega and sufficiently close to Wδs(Ω)W^s_\delta(\Omega) we have that MWδs(Ω)M\cap W^s_\delta(\Omega) has empty interior in MM. Here nn is the finite dimension of the strong unstable direction. We show that if δ\delta' is small enough then i0RiWδs(Ω)\cup_{i\geq 0}\mathcal{R}^{-i}W^s_{\delta'} (\Omega) intercepts a CkC^k-generic finite dimensional curve inside the Banach space in a set of parameters with zero Lebesgue measure, for every k0k\geq 0. This extends to infinite-dimensional dynamical systems previous studies on the Lebesgue measure of stable laminations of invariants sets.

Keywords

Cite

@article{arxiv.1508.07388,
  title  = {Shy shadows of infinite-dimensional partially hyperbolic invariant sets},
  author = {Daniel Smania},
  journal= {arXiv preprint arXiv:1508.07388},
  year   = {2019}
}

Comments

37 pages, 2 figures. To appear in Ergodic Theory and Dynamical Systems