-
Entropies and Pressures for Nonautonomous Dynamical Systems
Authors:
Zhuo Chen,
Jun Jie Miao
Abstract:
Let $\boldsymbol{X}=\{X_k\}_{k=0}^\infty$ be a sequence of compact metric spaces $X_{k}$ and $\boldsymbol{T}=\{T_k\}_{k=0}^\infty$ a sequence of continuous mappings $T_{k}: X_{k} \to X_{k+1}$. The pair $(\boldsymbol{X},\boldsymbol{T})$ is called a nonautonomous dynamical system.
In this paper, we study measure-theoretic entropies and pressures, Bowen and packing topological entropies and pressur…
▽ More
Let $\boldsymbol{X}=\{X_k\}_{k=0}^\infty$ be a sequence of compact metric spaces $X_{k}$ and $\boldsymbol{T}=\{T_k\}_{k=0}^\infty$ a sequence of continuous mappings $T_{k}: X_{k} \to X_{k+1}$. The pair $(\boldsymbol{X},\boldsymbol{T})$ is called a nonautonomous dynamical system.
In this paper, we study measure-theoretic entropies and pressures, Bowen and packing topological entropies and pressures on $(\boldsymbol{X},\boldsymbol{T})$, and we prove that they are invariant under equiconjugacies of nonautonomous dynamical systems. By establishing Billingsley type theorems for Bowen and packing topological pressures, we obtain their variational principles, that is, given a non-empty compact subset $K \subset X_{0}$ and an equicontinuous sequence $\boldsymbol{f}= \{f_k\}_{k=0}^\infty$ of functions $f_k : X_k\to \mathbb{R}$, we have that $$ P^{\mathrm{B}}(\boldsymbol{T},\boldsymbol{f},K)=\sup\{\underline{P}_μ(\boldsymbol{T},\boldsymbol{f}): μ\in M(X_{0}), μ(K)=1\}, $$ and for $\|\boldsymbol{f}\|<+\infty$ and $P^{\mathrm{P}}(\boldsymbol{T},\boldsymbol{f},K)>\|\boldsymbol{f}\|$, $$ P^{\mathrm{P}}(\boldsymbol{T},\boldsymbol{f},K)=\sup\{\overline{P}_μ(\boldsymbol{T},\boldsymbol{f}): μ\in M(X_{0}), μ(K)=1\}, $$ where $\underline{P}_μ $ and $\overline{P}_μ $, $P^{\mathrm{B}}$ and $P^{\mathrm{P}}$ denote measure-theoretic lower and upper pressures, Bowen and packing topological pressure, respectively. The Billingsley type theorems and variational principles for Bowen and packing topological entropies are direct consequences of the ones for Bowen and packing topological pressures.
△ Less
Submitted 4 March, 2025; v1 submitted 28 February, 2025;
originally announced February 2025.
-
Generalized $q$-dimensions of measures on nonautonomous fractals
Authors:
Yifei Gu,
Jun Jie Miao
Abstract:
In the paper, we study the generalized $q$-dimensions of measures supported by nonautonomous attractors, which are the generalization of classic Moran sets and attractors of iterated function systems.
First, we estimate the generalized $q$-dimensions of measures supported on nonautonomous attractors, and we provide dimension formulas for generalized $q$-dimensions of measures supported on nonaut…
▽ More
In the paper, we study the generalized $q$-dimensions of measures supported by nonautonomous attractors, which are the generalization of classic Moran sets and attractors of iterated function systems.
First, we estimate the generalized $q$-dimensions of measures supported on nonautonomous attractors, and we provide dimension formulas for generalized $q$-dimensions of measures supported on nonautonomous similar attractor under certain separation conditions. Next, we investigate the generalized $q$-dimensions of measures supported on nonautonomous affine sets and obtain the upper bounds. Finally, we study two variations of nonautonomous affine sets and obtain their dimension formulas for $q\geq 1 $.
△ Less
Submitted 26 November, 2024;
originally announced November 2024.
-
Orthogonal bases of exponential functions for infinite convolutions
Authors:
Jun Jie Miao,
Hong Bo Zhao
Abstract:
Let $μ$ denot the infinite convolution generated by $\{(N_k,B_k)\}_{k=1}^\infty$ given by $$ μ=δ_{{N_1}^{-1}B_1}\astδ_{(N_1N_2)^{-1}B_2}\ast\dots\astδ_{(N_1N_2\cdots N_k)^{-1}B_k} *\cdots. $$ where $B_k$ is a complete residue system for each integer $k>0$. We write $$ ν_{>k}=δ_{N_{k+1}^{-1} B_{k+1}} * δ_{(N_{k+1} N_{k+2})^{-1} B_{k+2}} * \cdots. $$ Since the elements in $B_k$ may have very large a…
▽ More
Let $μ$ denot the infinite convolution generated by $\{(N_k,B_k)\}_{k=1}^\infty$ given by $$ μ=δ_{{N_1}^{-1}B_1}\astδ_{(N_1N_2)^{-1}B_2}\ast\dots\astδ_{(N_1N_2\cdots N_k)^{-1}B_k} *\cdots. $$ where $B_k$ is a complete residue system for each integer $k>0$. We write $$ ν_{>k}=δ_{N_{k+1}^{-1} B_{k+1}} * δ_{(N_{k+1} N_{k+2})^{-1} B_{k+2}} * \cdots. $$ Since the elements in $B_k$ may have very large absolute values, the infinite convolution may not be compactly supported. In this paper, we study the necessary and sufficient conditions for such infinite convolutions being a spectral measure.
Generally, for such infinite convolutions, the necessary conditions for spectrality mainly depend on the properties of the polynomials generated by the complete residue systems. The main result shows that if every $B_k$ satisfies uniform discrete zero condition, and $\{ν_{>k}\}_{k=1}^\infty$ is {\it tight}, then $\# B_k | N_k$ for all integers $k\geq 2$. For some special complete residue systems $\{B_k\}_{k=1}^\infty$, we provide the necessary and sufficient conditions for $μ$ being a spectral measure.
△ Less
Submitted 8 June, 2024;
originally announced June 2024.
-
Dimension theory of Non-Autonomous iterated function systems
Authors:
Yifei Gu,
Jun Jie Miao
Abstract:
In the paper, we define a class of new fractals named ``non-autonomous attractors", which are the generalization of classic Moran sets and attractors of iterated function systems. Simply to say, we replace the similarity mappings by contractive mappings and remove the separation assumption in Moran structure. We give the dimension estimate for non-autonomous attractors.
Furthermore, we study a c…
▽ More
In the paper, we define a class of new fractals named ``non-autonomous attractors", which are the generalization of classic Moran sets and attractors of iterated function systems. Simply to say, we replace the similarity mappings by contractive mappings and remove the separation assumption in Moran structure. We give the dimension estimate for non-autonomous attractors.
Furthermore, we study a class of non-autonomous attractors, named `` non-autonomous affine sets or affine sets'', where the contractions are restricted to affine mappings. To study the dimension theory of such fractals, we define two critical values $s^*$ and $s_A$, and the upper box-counting dimensions and Hausdorff dimensions of non-autonomous affine sets are bounded above by $s^*$ and $s_A$, respectively. Unlike self-affine fractals where $s^*=s_A$, we always have that $s^*\geq s_A$, and the inequality may strictly hold.
Under certain conditions, we obtain that the upper box-counting dimensions and Hausdorff dimensions of non-autonomous affine sets may equal to $s^*$ and $s_A$, respectively. In particular, we study non-autonomous affine sets with random translations, and the Hausdorff dimensions of such sets equal to $s_A$ almost surely.
△ Less
Submitted 4 February, 2024; v1 submitted 15 September, 2023;
originally announced September 2023.
-
Multifractal analysis of a class of self-affine Moran sets
Authors:
Yifei Gu,
Chuanyan Hou,
Jun Jie Miao
Abstract:
In the paper, we investigate the fine multifractal spectrum of a class of self-affine Moran sets with fixed frequencies, and we prove that under certain separation conditions, the fine multifractal spectrum $H(α)$ is given by the formula $$ H(α)=\inf_{-\infty<t<+\infty} \{αt+β(t)\}. $$
In the paper, we investigate the fine multifractal spectrum of a class of self-affine Moran sets with fixed frequencies, and we prove that under certain separation conditions, the fine multifractal spectrum $H(α)$ is given by the formula $$ H(α)=\inf_{-\infty<t<+\infty} \{αt+β(t)\}. $$
△ Less
Submitted 15 September, 2023;
originally announced September 2023.
-
Dimensions of a class of self-affine Moran sets and measures in $\R^2$
Authors:
Yifei Gu,
Chuanyan Hou,
Jun Jie Miao
Abstract:
For each integer $k>0$, let $n_k$ and $m_k$ be integers such that $n_k\geq 2, m_k\geq 2$, and let $\mathcal{D}_k$ be a subset of $\{0,\dots,n_k-1\}\times \{0,\dots,m_k-1\}$. For each $w=(i,j)\in \mathcal{D}_k$, we define an affine transformation on~$\R^2$ by $$
Φ_w(x)=T_k(x+w), \qquad w\in\mathcal{D}_k, $$ where $T_k=\operatorname{diag}(n_k^{-1},m_k^{-1})$. The non-empty compact set…
▽ More
For each integer $k>0$, let $n_k$ and $m_k$ be integers such that $n_k\geq 2, m_k\geq 2$, and let $\mathcal{D}_k$ be a subset of $\{0,\dots,n_k-1\}\times \{0,\dots,m_k-1\}$. For each $w=(i,j)\in \mathcal{D}_k$, we define an affine transformation on~$\R^2$ by $$
Φ_w(x)=T_k(x+w), \qquad w\in\mathcal{D}_k, $$ where $T_k=\operatorname{diag}(n_k^{-1},m_k^{-1})$. The non-empty compact set $$ E=\bigcap\nolimits_{k=1}^{\infty}\bigcup\nolimits_{(w_1w_2\ldots w_k)\in \prod_{i=1}^k\mathcal{D}_i} Φ_{w_1}\circ Φ_{w_2}\circ \ldots\circ Φ_{w_k} $$ is called a \textit{self-affine Moran set}.
In the paper, we provide the lower, packing, box-counting and Assouad dimensions of the self-affine Moran set $E$. We also explore the dimension properties of self-affine Moran measure $μ$ supported on $E$, and we provide Hausdorff, packing and entropy dimension formulas of $μ$.
△ Less
Submitted 15 September, 2023;
originally announced September 2023.
-
Spectrality of Infinite Convolutions and Random Convolutions
Authors:
Wenxia Li,
Jun Jie Miao,
Zhiqiang Wang
Abstract:
In this paper, we explore spectral measures whose square integrable spaces admit a family of exponential functions as an orthonormal basis.Our approach involves utilizing the integral periodic zeros set of Fourier transform to characterize spectrality of infinite convolutions generated by a sequence of admissible pairs.Then we delve into the analysis of the integral periodic zeros set. Finally, we…
▽ More
In this paper, we explore spectral measures whose square integrable spaces admit a family of exponential functions as an orthonormal basis.Our approach involves utilizing the integral periodic zeros set of Fourier transform to characterize spectrality of infinite convolutions generated by a sequence of admissible pairs.Then we delve into the analysis of the integral periodic zeros set. Finally, we show that given finitely many admissible pairs, almost all random convolutions are spectral measures. Moreover, we give a complete characterization of spectrality of random convolutions in some special cases.
△ Less
Submitted 15 October, 2024; v1 submitted 15 June, 2022;
originally announced June 2022.
-
Weak Convergence and Spectrality of Infinite Convolutions
Authors:
Wenxia Li,
Jun Jie Miao,
Zhiqiang Wang
Abstract:
Let $\{ A_k\}_{k=1}^\infty$ be a sequence of finite subsets of $\mathbb{R}^d$ satisfying that $\# A_k \ge 2$ for all integers $k \ge 1$. In this paper, we first give a sufficient and necessary condition for the existence of the infinite convolution $$ν=δ_{A_1}*δ_{A_2} * \cdots *δ_{A_n}*\cdots, $$ where all sets $A_k \subseteq \mathbb{R}_+^d$ and $δ_A = \frac{1}{\# A} \sum_{a \in A} δ_a$. Then we s…
▽ More
Let $\{ A_k\}_{k=1}^\infty$ be a sequence of finite subsets of $\mathbb{R}^d$ satisfying that $\# A_k \ge 2$ for all integers $k \ge 1$. In this paper, we first give a sufficient and necessary condition for the existence of the infinite convolution $$ν=δ_{A_1}*δ_{A_2} * \cdots *δ_{A_n}*\cdots, $$ where all sets $A_k \subseteq \mathbb{R}_+^d$ and $δ_A = \frac{1}{\# A} \sum_{a \in A} δ_a$. Then we study the spectrality of a class of infinite convolutions generated by Hadamard triples in $\mathbb{R}$ and construct a class of singular spectral measures without compact support. Finally we show that such measures are abundant, and the dimension of their supports has the intermediate-value property.
△ Less
Submitted 29 April, 2022;
originally announced April 2022.
-
Spectrality of random convolutions generated by finitely many Hadamard triples
Authors:
Wenxia Li,
Jun Jie Miao,
Zhiqiang Wang
Abstract:
Let $\{(N_j, B_j, L_j): 1 \le j \le m\}$ be finitely many Hadamard triples in $\mathbb{R}$. Given a sequence of positive integers $\{n_k\}_{k=1}^\infty$ and $ω=(ω_k)_{k=1}^\infty \in \{1,2,\cdots, m\}^\mathbb{N}$, let $μ_{ω,\{n_k\}}$ be the infinite convolution given by…
▽ More
Let $\{(N_j, B_j, L_j): 1 \le j \le m\}$ be finitely many Hadamard triples in $\mathbb{R}$. Given a sequence of positive integers $\{n_k\}_{k=1}^\infty$ and $ω=(ω_k)_{k=1}^\infty \in \{1,2,\cdots, m\}^\mathbb{N}$, let $μ_{ω,\{n_k\}}$ be the infinite convolution given by $$μ_{ω,\{n_k\}} = δ_{N_{ω_1}^{-n_1} B_{ω_1}} * δ_{N_{ω_1}^{-n_1} N_{ω_2}^{-n_2} B_{ω_2}} * \cdots * δ_{N_{ω_1}^{-n_1} N_{ω_2}^{-n_2} \cdots N_{ω_k}^{-n_k} B_{ω_k} }* \cdots. $$ In order to study the spectrality of $μ_{ω,\{ n_k\}}$, we first show the spectrality of general infinite convolutions generated by Hadamard triples under the equi-positivity condition. Then by using the integral periodic zero set of Fourier transform we show that if $\mathrm{gcd}(B_j - B_j)=1$ for $1 \le j \le m$, then all infinite convolutions $μ_{ω,\{n_k\}}$ are spectral measures. This implies that we may find a subset $Λ_{ω,\{n_k\}}\subseteq \mathbb{R}$ such that $\big\{ e_λ(x) = e^{2πi λx}: λ\in Λ_{ω,\{n_k\}} \big\}$ forms an orthonormal basis for $L^2(μ_{ω,\{ n_k\}})$.
△ Less
Submitted 5 January, 2024; v1 submitted 22 March, 2022;
originally announced March 2022.
-
Gap sequences and Topological properties of Bedford-McMullen sets
Authors:
Zhen Liang,
Jun Jie Miao,
Huo-Jun Ruan
Abstract:
In this paper, we study the topological properties and the gap sequences of Bedford-McMullen sets. First, we introduce a topological condition, the component separation condition (CSC), and a geometric condition, the exponential rate condition (ERC). Then we prove that the CSC implies the ERC, and that both of them are sufficient conditions for obtaining the asymptotic estimate of gap sequences. W…
▽ More
In this paper, we study the topological properties and the gap sequences of Bedford-McMullen sets. First, we introduce a topological condition, the component separation condition (CSC), and a geometric condition, the exponential rate condition (ERC). Then we prove that the CSC implies the ERC, and that both of them are sufficient conditions for obtaining the asymptotic estimate of gap sequences. We also explore topological properties of Bedford-McMullen sets and prove that all normal Bedford-McMullen sets with infinitely many connected components satisfy the CSC, from which we obtain the asymptotic estimate of the gap sequences of Bedford-McMullen sets without any restrictions. Finally, we apply our result to Lipschitz equivalence.
△ Less
Submitted 8 April, 2022; v1 submitted 18 March, 2020;
originally announced March 2020.
-
On the Separation Structure of Lalley-Gatzouras Fractals
Authors:
Li-Feng Xi,
Jun Jie Miao,
Ying Xiong
Abstract:
We obtain a necessary and sufficient condition for Lalley-Gatzouras sets to be uniform disconnected. This enable us to find all Lalley-Gatzouras sets which are quasisymmetrically equivalent to the Cantor ternary set. As another application, we also study the limit behavior of the gap sequence of Lalley-Gatzouras sets.
We obtain a necessary and sufficient condition for Lalley-Gatzouras sets to be uniform disconnected. This enable us to find all Lalley-Gatzouras sets which are quasisymmetrically equivalent to the Cantor ternary set. As another application, we also study the limit behavior of the gap sequence of Lalley-Gatzouras sets.
△ Less
Submitted 26 September, 2019;
originally announced September 2019.
-
The Assouad dimension of randomly generated fractals
Authors:
Jonathan M. Fraser,
Jun Jie Miao,
Sascha Troscheit
Abstract:
We consider several different models for generating random fractals including random self-similar sets, random self-affine carpets, and fractal percolation. In each setting we compute either the \emph{almost sure} or the \emph{Baire typical} Assouad dimension and consider some illustrative examples. Our results reveal a common phenomenon in all of our models: the Assouad dimension of a randomly ge…
▽ More
We consider several different models for generating random fractals including random self-similar sets, random self-affine carpets, and fractal percolation. In each setting we compute either the \emph{almost sure} or the \emph{Baire typical} Assouad dimension and consider some illustrative examples. Our results reveal a common phenomenon in all of our models: the Assouad dimension of a randomly generated fractal is generically as big as possible and does not depend on the measure theoretic or topological structure of the sample space. This is in stark contrast to the other commonly studied notions of dimension like the Hausdorff or packing dimension.
△ Less
Submitted 1 May, 2015; v1 submitted 25 October, 2014;
originally announced October 2014.
-
Local dimensions of measures on self-affine sets
Authors:
K. J. Falconer,
Jun Jie Miao
Abstract:
We show that, in a generic setting, self-affine and almost self-affine measures are exact dimensional, with local dimension equal almost everywhere to the information dimension and given by the zero of a superadditive pressure functional.
We show that, in a generic setting, self-affine and almost self-affine measures are exact dimensional, with local dimension equal almost everywhere to the information dimension and given by the zero of a superadditive pressure functional.
△ Less
Submitted 12 May, 2011;
originally announced May 2011.
