Projections of cartesian products of the self-similar sets without the irrationality assumption

Abstract

Let $β>1$. Define a class of similitudes \[S=\left\{f_{i}(x)=\dfrac{x}{β^{n_i}}+a_i:n_i\in \mathbb{N}^{+}, a_i\in \mathbb{R}\right\}.\] Let $\mathcal{A}$ be the collection of all the self-similar sets generated by the similitudes from $S$. In this paper, we prove that for any $θ\in(0,π)$ and $K_1, K_2\in \mathcal{A}$, $Proj_θ(K_1\times K_2)$ is similar to a self-similar set or an attractor of some infinite iterated function system, where $Proj_θ$ denotes the orthogonal projection onto $L_θ$, and $L_θ$ denotes the line through the origin in direction $θ$. As a corollary, $\dim_{P}(Proj_θ(K_1\times K_2))=\overline{\dim}_{B}(Proj_θ(K_1\times K_2))$ holds for any $θ\in(0,π)$ and any $K_1, K_2\in \mathcal{A}$, where $\dim_{P}$ and $\overline{\dim}_{B}$ denote the packing and upper box dimension. Whether $Proj_θ(K_1\times K_2)$ is similar to a self-similar set or not is uniquely determined by the similarity ratios of $K_1$ and $K_2$ rather than the angle $θ.$ When $Proj_θ(K_1\times K_2)$ is similar to a self-similar set, in terms of the finite type condition \cite{NW}, we are able to calculate in cerntain cases the Hausdorff dimension of $Proj_θ(K_1\times K_2)$. If $Proj_θ(K_1\times K_2)$ is similar to an attractor of some infinite iterated function system, then by virtue of the Vitali covering lemma \cite{FG} we give an estimation of the Hausdorff dimension of $Proj_θ(K_1\times K_2)$. For some cases, we can calculate, by means of Mauldin and Urbanski' result \cite{MRD}, the exact Hausdorff dimension of $Proj_θ(K_1\times K_2)$. We also find some non-trivial examples such that for some angle $θ\in[0,π)$ and some $K_1, K_2\in \mathcal{A}$, $\dim_{H}(Proj_θ(K_1\times K_2))=\dim_{H}(K_1)+\dim_{H}(K_2)$.