Shy shadows of infinite-dimensional partially hyperbolic invariant sets

Abstract

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