Generic properties of vector fields identical on a compact set and codimension one partially hyperbolic dynamics

Abstract

Let $\mathscr{X}^r(M)$ be the set of $C^r$ vector fields on a boundaryless compact Riemannian manifold $M$. Given a vector field $X_0\in\mathscr{X}^r(M)$ and a compact invariant set $Γ$ of $X_0$, we consider the closed subset $\mathscr{X}^r(M,Γ)$ of $\mathscr{X}^r(M)$, consisting of all $C^r$ vector fields which coincide with $X_0$ on $Γ$. Study of such a set naturally arises when one needs to perturb a system while keeping part of the dynamics untouched. A vector field $X\in\mathscr{X}^r(M,Γ)$ is called $Γ$-avoiding Kupka-Smale, if the dynamics away from $Γ$ is Kupka-Smale. We show that a generic vector field in $\mathscr{X}^r(M,Γ)$ is $Γ$-avoiding Kupka-Smale. In the $C^1$ topology, we obtain more generic properties for $\mathscr{X}^1(M,Γ)$. With these results, we further study codimension one partially hyperbolic dynamics for generic vector fields in $\mathscr{X}^1(M,Γ)$, giving a dichotomy of hyperbolicity and Newhouse phenomenon. As an application, we obtain that $C^1$ generically in $\mathscr{X}^1(M)$, a non-trivial Lyapunov stable chain recurrence class of a singularity which admits a codimension 2 partially hyperbolic splitting with respect to the tangent flow is a homoclinic class.

Figures (2)

• Figure 3.1: The point $\phi_{n_0T}(p)$ is close to $\gamma_t$ so that the much longer left central curve at $\phi_{n_0T}(p)$ reaches out to the left side of $x_t$.
• Figure 3.2: The two periodic orbits $\mathrm{Orb}(p^+_{n_0})$ and $\mathrm{Orb}(p^-_n)$ are homoclinically related

Theorems & Definitions (60)

• Definition 1.1
• Theorem 1.1
• Theorem 1.2
• Theorem 1.3
• Theorem 1.4
• Theorem 1.5
• Definition 1.2: Lorenz-like singularity
• Remark 1.1
• Theorem 1.6
• Remark 1.2