Open dynamical systems with a moving hole
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866914163803029504 |
|---|---|
| author | Kong, Derong Sun, Beibei Wang, Zhiqiang |
| author_facet | Kong, Derong Sun, Beibei Wang, Zhiqiang |
| contents | Given an integer $b\ge 3$, let $T_b: [0,1)\to [0,1); x\mapsto bx\pmod 1$ be the expanding map on the unit circle. For any $m\in\mathbb{N}$ and $ω=ω^0ω^1\ldots\in(\left\{0,1,\ldots,b-1\right\}^m)^\mathbb{N_0}$ let \[ K^ω=\left\{x\in[0,1): T_b^n(x)\notin I_{ω^n}~\forall n\geq 0\right\},\] where $I_{ω^n}$ is the $b$-adic basic interval generated by $ω^n$. Then $K^ω$ is called the survivor set of the open dynamical system $([0,1),T_b,I_ω)$ with respect to the sequence of holes $I_ω=\left\{I_{ω^n}: n\geq 0\right\}$. We show that the Hausdorff and lower box dimensions of $K^ω$ always conincide, and the packing and upper box dimensions of $K^ω$ also coincide. Moreover, we give sharp lower and upper bounds for the dimensions of $K^ω$, which can be calculated explicitly. For any admissible $α\leq β$ there exist infinitely many $ω$ such that $\dim_H K^ω=α$ and $\dim_P K^ω=β$. As applications we study badly approximable numbers in Diophantine approximation. For an arbitrary sequence of balls $\left\{B_n\right\}$, let $K\left(\left\{B_n\right\}\right)$ be the set of $x\in[0,1)$ such that $T_b^n(x)\notin B_n$ for all but finitely many $n\geq 0$. Assuming $\lim_{n\to\infty}\operatorname{diam} \left(B_n\right)$ exists, we show that $\dim_H K\left(\left\{B_n\right\}\right)=1$ if and only if $\lim_{n\to\infty}\operatorname{diam} \left(B_n\right)=0$. For any positive function $ϕ$ on $\mathbb{N}$, let $E\left(ϕ\right)$ be the set of $x\in[0,1)$ satisfying $|T_b^n (x)-x|\geq ϕ(n)$ for all but finitely many $n$. If $\lim_{n\to\infty}ϕ(n)$ exists, then $\dim_H E(ϕ)=1$ if and only if $\lim_{n\to\infty}ϕ(n)=0$. Our results can be applied to study joint spectral radius of matrices. We show that the finiteness property for the joint spectral radius of associated adjacency matrices holds true. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_02336 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Open dynamical systems with a moving hole Kong, Derong Sun, Beibei Wang, Zhiqiang Dynamical Systems Given an integer $b\ge 3$, let $T_b: [0,1)\to [0,1); x\mapsto bx\pmod 1$ be the expanding map on the unit circle. For any $m\in\mathbb{N}$ and $ω=ω^0ω^1\ldots\in(\left\{0,1,\ldots,b-1\right\}^m)^\mathbb{N_0}$ let \[ K^ω=\left\{x\in[0,1): T_b^n(x)\notin I_{ω^n}~\forall n\geq 0\right\},\] where $I_{ω^n}$ is the $b$-adic basic interval generated by $ω^n$. Then $K^ω$ is called the survivor set of the open dynamical system $([0,1),T_b,I_ω)$ with respect to the sequence of holes $I_ω=\left\{I_{ω^n}: n\geq 0\right\}$. We show that the Hausdorff and lower box dimensions of $K^ω$ always conincide, and the packing and upper box dimensions of $K^ω$ also coincide. Moreover, we give sharp lower and upper bounds for the dimensions of $K^ω$, which can be calculated explicitly. For any admissible $α\leq β$ there exist infinitely many $ω$ such that $\dim_H K^ω=α$ and $\dim_P K^ω=β$. As applications we study badly approximable numbers in Diophantine approximation. For an arbitrary sequence of balls $\left\{B_n\right\}$, let $K\left(\left\{B_n\right\}\right)$ be the set of $x\in[0,1)$ such that $T_b^n(x)\notin B_n$ for all but finitely many $n\geq 0$. Assuming $\lim_{n\to\infty}\operatorname{diam} \left(B_n\right)$ exists, we show that $\dim_H K\left(\left\{B_n\right\}\right)=1$ if and only if $\lim_{n\to\infty}\operatorname{diam} \left(B_n\right)=0$. For any positive function $ϕ$ on $\mathbb{N}$, let $E\left(ϕ\right)$ be the set of $x\in[0,1)$ satisfying $|T_b^n (x)-x|\geq ϕ(n)$ for all but finitely many $n$. If $\lim_{n\to\infty}ϕ(n)$ exists, then $\dim_H E(ϕ)=1$ if and only if $\lim_{n\to\infty}ϕ(n)=0$. Our results can be applied to study joint spectral radius of matrices. We show that the finiteness property for the joint spectral radius of associated adjacency matrices holds true. |
| title | Open dynamical systems with a moving hole |
| topic | Dynamical Systems |
| url | https://arxiv.org/abs/2505.02336 |