### References & Citations

# Mathematics > Dynamical Systems

# Title: On invariant tori in some reversible systems

(Submitted on 22 Oct 2020 (v1), last revised 21 Oct 2021 (this version, v2))

Abstract: In the present paper, we consider the following reversible system \begin{equation*} \begin{cases} \dot{x}=\omega_0+f(x,y),\\ \dot{y}=g(x,y), \end{cases} \end{equation*} where $x\in\mathbf{T}^{d}$, $y\backsim0\in \mathbf{R}^{d}$, $\omega_0$ is Diophantine, $f(x,y)=O(y)$, $g(x,y)=O(y^2)$ and $f$, $g$ are reversible with respect to the involution G: $(x,y)\mapsto(-x,y)$, that is, $f(-x,y)=f(x,y)$, $g(-x,y)=-g(x,y)$. We study the accumulation of an analytic invariant torus $\Gamma_0$ of the reversible system with Diophantine frequency $\omega_0$ by other invariant tori. We will prove that if the Birkhoff normal form around $\Gamma_0$ is 0-degenerate, then $\Gamma_0$ is accumulated by other analytic invariant tori, the Lebesgue measure of the union of these tori being positive and the density of the union of these tori at $\Gamma_0$ being one. We will also prove that if the Birkhoff normal form around $\Gamma_0$ is $j$-degenerate ($1\leq j\leq d-1$) and condition (1.6) is satisfied, then through $\Gamma_0$ there passes an analytic subvariety of dimension $d+j$ foliated into analytic invariant tori with frequency vector $\omega_0$. If the Birkhoff normal form around $\Gamma_0$ is $d-1$-degenerate, we will prove a stronger result, that is, a full neighborhood of $\Gamma_0$ is foliated into analytic invariant tori with frequency vectors proportional to $\omega_0$.

## Submission history

From: Lu Chen [view email]**[v1]**Thu, 22 Oct 2020 03:12:46 GMT (21kb)

**[v2]**Thu, 21 Oct 2021 04:17:30 GMT (21kb)

Link back to: arXiv, form interface, contact.