A criterion to detect a nontrivial homology of an invariant set of a flow in $\mathbb{R}^3$

J.J. Sánchez-Gabites
2024-05-31
Abstract:Consider a flow in $\mathbb{R}^3$ and let $K$ be the biggest invariant subset of some compact region of interest $N \subseteq \mathbb{R}^3$. The set $K$ is often not computable, but the way the flow crosses the boundary of $N$ can provide indirect information about it. For example, classical tools such as Ważewski's principle or the Poincaré-Hopf theorem can be used to detect whether $K$ is nonempty or contains rest points, respectively. We present a criterion that can establish whether $K$ has a nontrivial homology by looking at the subset of the boundary of $N$ along which the flow is tangent to $N$. We prove that the criterion is as sharp as possible with the information it uses as an input. We also show that it is algorithmically checkable.
Dynamical Systems
What problem does this paper attempt to address?