A sufficient and necessary condition for infinite orthogonal sets on some Moran measures

Chen, S.,Su, J.,Wu, S.

DOI: https://doi.org/10.1007/s10474-024-01458-3

2024-10-16

Acta Mathematica Hungarica

Abstract:In this work we shall concentrate on fractal-harmonic analysis of a class of Moran measures. Let be a sequence of expanding matrix in and be a sequence of non-collinear integer digit sets satisfying

mathematics

What problem does this paper attempt to address?

The Logarithmic Minkowski Problem For Non-Symmetric Measures

Shibing Chen,Qi-Rui Li,Guangxian Zhu

DOI: https://doi.org/10.1090/tran/7499

IF: 1.3529

2019-01-01

Transactions of the American Mathematical Society

Abstract:Recently, Boroczky, Lutwak, Yang, and Zhang [J. Amer. Math. Soc. 26 (2013), pp. 831-852] established necessary and sufficient conditions for the existence of solutions to the logarithmic Minkowski problem for origin-symmetric measures. We establish the existence of solutions to the logarithmic Minkowski problem for non-symmetric measures and demonstrate the non-uniqueness of solutions to the logarithmic Minkowski problem.
Spectrality of a Class of Moran Measures on

Ming-Liang Chen

DOI: https://doi.org/10.1007/s11785-024-01617-y

2024-10-07

Complex Analysis and Operator Theory

Abstract:Let be a sequence of expansive matrices, and let be a sequence of finite digit sets satisfying , where , and the sequence is bounded with . In this paper, we show that the associated integral Moran measure is a spectral measure if and only if for all and for all .

mathematics, applied
On new fractal phenomena connected with infinite linear IFS

Sergio Albeverio,Yuri Kondratiev,Roman Nikiforov,Grygoriy Torbin

DOI: https://doi.org/10.48550/arXiv.1507.05672

2015-07-21

Abstract:We establish several new fractal and number theoretical phenomena connected with expansions which are generated by infinite linear iterated function systems. First of all we show that the systems $\Phi$ of cylinders of generalized Lüroth expansions are, generally speaking, not faithful for the Hausdorff dimension calculation. Using Yuval Peres' approach, we prove sufficient conditions for the non-faithfulness of such families of cylinders. On the other hand, rather general sufficient conditions for the faithfulness of such covering systems are also found. As a corollary of our main results, we obtain the non-faithfullness of the family of cylinders generated by the classical Lüroth expansion. Possible infinite entropy of the stochastic vector $Q_\infty$ which determines the metric relations for partitions of the generalized Lüroth expansions, possible non-faithfulness of the family $\Phi(Q_\infty)$ and the absence of general formulae for the calculation of the Hausdorff dimension even for probability measures with independent identically distributed symbols of generalized Lüroth expansions are all facts that do not allow to apply usual probabilistic methods, as well as methods of dynamical systems to study fractal properties of corresponding subsets of non-normal numbers. Despite of the above mentioned difficulties, we develop new approach to the study of subsets of $Q_\infty$-essentially non-normal numbers and prove (without any additional restrictions on the stochastic vector $Q_{\infty}$) that this set is superfractal. This result answers the open problem mentioned in \cite{AKNT2} and completes the metric, dimensional and topological classification of real numbers via the asymptotic behaviour of frequencies their digits in the generalized Lüroth expansion.

Metric Geometry,Functional Analysis,Number Theory,Probability
Exponential orthonormal basis of a class of Moran measures

Cao, Jian,Lu, Jian-Feng

DOI: https://doi.org/10.1007/s40840-024-01786-1

2024-11-05

Bulletin of the Malaysian Mathematical Sciences Society

Abstract:Let be a sequence of expanding matrices and let be a sequence of p -element digit sets with

mathematics
Non-spectrality of Moran measures with consecutive digits

Ya-Li Zheng,Wen-Hui Ai

DOI: https://doi.org/10.48550/arXiv.2205.03541

2022-05-07

Abstract:Let $\rho=(\frac{p}{q})^{\frac{1}{r}}<1$ for some $p,q,r\in\mathbb{N}$ with $(p,q)=1$ and $\mathcal{D}_{n}=\{0,1,\cdot\cdot\cdot,N_{n}-1\}$, where $N_{n}$ is prime for all $n\in\mathbb{N}$, and denote $M=\sup\{N_{n}:n=1,2,3,\ldots\}<\infty$. The associated Borel probability measure $$\mu_{\rho,\{\mathcal{D}_{n}\}}=\delta_{\rho\mathcal{D}_{1}}*\delta_{\rho^{2}\mathcal{D}_{2}}*\delta_{\rho^{3}\mathcal{D}_{3}}*\cdots$$ is called a Moran measure. Recently, Deng and Li proved that $\mu_{\rho,\{\mathcal{D}_{n}\}}$ is a spectral measure if and only if $\frac{1}{N_{n}\rho}$ is an integer for all $n\geq 2$. In this paper, we prove that if $L^{2}(\mu_{\rho, \{\mathcal{D}_{n}\}})$ contains an infinite orthogonal exponential set, then there exist infinite positive integers $n_{l}$ such that $(q,N_{n_{l}})>1$. Contrastly, if $(q,N_{n})=1$ and $(p,N_{n})=1$ for all $n\in\mathbb{N}$, then there are at most $M$ mutually orthogonal exponential functions in $L^{2}(\mu_{\rho, \{\mathcal{D}_{n}\}})$ and $M$ is the best possible. If $(q,N_{n})=1$ and $(p,N_{n})>1$ for all $n\in\mathbb{N}$, then there are any number of orthogonal exponential functions in $L^{2}(\mu_{\rho, \{\mathcal{D}_{n}\}})$.

Functional Analysis
On the spectrality of a class of Moran measures

Yali Zheng,Yingqing Xiao

2024-05-04

Abstract:In this paper, we study the spectrality of a class of Moran measures $\mu_{\mathcal{P},\mathcal{D}}$ on $\mathbb{R}$ generated by $\{(p_n,\mathcal{D}_n)\}_{n=1}^{\infty}$, where $\mathcal{P}=\{p_n\}_{n=1}^{\infty}$ is a sequence of positive integers with $p_n>1$ and $\mathcal{D}=\{\mathcal{D}_{n}\}_{n=1}^{\infty}$ is a sequence of digit sets of $\mathbb{N}$ with the cardinality $\#\mathcal{D}_{n}\in \{2,3,N_{n}\}$. We find a countable set $\Lambda\subset\mathbb{R}$ such that the set $\{e^{-2\pi i \lambda x}|\lambda\in\Lambda\}$ is a orthonormal basis of $L^{2}(\mu_{\mathcal{P},\mathcal{D}})$ under some conditions. As an application, we show that when $\mu_{\mathcal{P},\mathcal{D}}$ is absolutely continuous, $\mu_{\mathcal{P},\mathcal{D}}$ not only is a spectral measure, but also its support set tiles $\mathbb{R}$ with $\mathbb{Z}$.

Classical Analysis and ODEs
The Orthogonal Bases of Exponential Functions Based on Moran-Sierpinski Measures

Qi Rong Deng,Xing Gang He,Ming Tian Li,Yuan Ling Ye

DOI: https://doi.org/10.1007/s10114-024-2604-5

2024-05-21

Acta Mathematica Sinica English Series

Abstract:Let A n ∈ M 2 (Z) be integral matrices such that the infinite convolution of Dirac measures with equal weights

mathematics, applied
One-Dimensional Moran Sets and the Spectrum of Schrödinger Operators

zhiying wen

DOI: https://doi.org/10.1007/978-3-0348-7891-3_3

2004-01-01

Abstract:We study the structure and dimension of the spectrum of one-dimensional Schrodinger operators with Sturmian potentials. For this purpose we introduce the class of recurrent Moran sets which are generalizations of the well-known self-similar fractals.
Multifractal analysis of a class of self-affine Moran sets

Yifei Gu,Chuanyan Hou,Jun Jie Miao

2023-09-15

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(\alpha)$ is given by the formula $$ H(\alpha)=\inf_{-\infty<t<+\infty} \{\alpha t+\beta(t)\}. $$

Classical Analysis and ODEs
A Class of Spectral Moran Measures Generated by the Compatible Tower

Zi-Chao Chi,Jian-Feng Lu,Min-Min Zhang

DOI: https://doi.org/10.1007/s12220-024-01646-1

2024-04-28

Journal of Geometric Analysis

Abstract:Let be a compatible tower on and let be the Moran measure generated by infinite convolutions of discrete measures induced by them. In this paper, we first prove that under certain situations, the compatible tower condition can ensure that is a spectral measure, that is the Hilbert space admits an exponential orthonormal basis. Furthermore, if we restrict to be a class of generalized Sierpinski-type family, then we obtain that the existence of compatible tower and the spectrality of are equivalent.

mathematics
Intermediate dimensions of Moran sets and their visualization

Yali Du,Junjie Miao,Tianrui Wang,Haojie Xu

2024-09-10

Abstract:Intermediate dimensions are a class of new fractal dimensions which provide a spectrum of dimensions interpolating between the Hausdorff and box-counting dimensions. In this paper, we study the intermediate dimensions of Moran sets. Moran sets may be regarded as a generalization of self-similar sets generated by using different class of similar mappings at each level with unfixed translations, and this causes the lack of ergodic properties on Moran set. Therefore, the intermediate dimensions do not necessarily exist, and we calculate the upper and lower intermediate dimensions of Moran sets. In particular, we obtain a simplified intermediate dimension formula for homogeneous Moran sets. Moreover, we study the visualization of the upper intermediate dimensions for some homogeneous Moran sets, and we show that their upper intermediate dimensions are given by Mobius transformations.

Dynamical Systems,Metric Geometry
Hausdorff and Packing Dimensions of Subsets of Moran Fractals with Prescribed Mixed Group Frequency of Their Codings

Wenxia Li,Lars Olsen,Zhiying Wen

DOI: https://doi.org/10.1007/s00010-008-2947-5

2009-01-01

Aequationes Mathematicae

Abstract:Summary. We compute the Hausdorff dimension and the packing dimension of subsets of Moran fractals with prescribed mixed group frequencies. For example, if E denotes the set of real numbers x in [0, 1] for which the group of digits 1, 2, 3, 4 in the decimal expansion of x occurs with relative frequency t_1 ∈ [0, 1] and the group of digits 0, 1, 2, 8, 9 in the decimal expansion of x occurs with relative frequency t_2 ∈ [0, 1] , then our results shows that dim_ H E = dim_ P E = - 1/log 10 log ( t^t_1_1 t^t_2_2 (1 - t_1)^1-t_1 (1 - t_2)^1-t_2/2^t_13^1-t_1) , where dim H denotes the Hausdorff dimension and dim P denotes the packing dimension. Observe that the two groups of digits with prescribed frequencies, namely 1, 2, 3, 4 and 0, 1, 2, 8, 9, are mixed , i.e. they are not disjoint. Previous work [LD, O1, V] has investigated the non-mixed case. In this paper we investigate the more difficult problem of finding the Hausdorff dimension and packing dimension of subsets of Moran fractals with prescribed mixed group frequencies.
Packing Dimensions of Generalized Random Moran Sets

Xin Tong,Yue-Li Yu,Xiao-Jun Zhao

DOI: https://doi.org/10.4134/jkms.2014.51.5.1075

2014-01-01

Journal of the Korean Mathematical Society

Abstract:We consider random fractal sets with random recursive constructions in which the contracting vectors have different distributions at different stages. We prove that the random fractal associated with such construction has a constant packing dimension almost surely and give an explicit formula to determine it.
On the intermediate value property of spectra for a class of Moran spectral measures

Jinjun Li,Zhiyi Wu

DOI: https://doi.org/10.1016/j.acha.2023.101606

IF: 2.974

2024-01-01

Applied and Computational Harmonic Analysis

Abstract:We prove that the Beurling dimensions of the spectra for a class of Moran spectral measures are in 0 and their upper entropy dimensions. Moreover, for such a Moran spectral measure μ, we show that the Beurling dimension for the spectra of μ has the intermediate value property: let t be any value in 0 and the upper entropy dimension of μ, then there exists a spectrum whose Beurling dimension is t. In particular, this result settles affirmatively a conjecture involving spectral Bernoulli convolution in Fu et al. (2018) [20]. Furthermore, we prove that the set of the spectra whose Beurling dimensions are equal to any fixed value in 0 and dim ‾ e μ has the cardinality of the continuum.

mathematics, applied
Dimension theory of Non-Autonomous iterated function systems

Yifei Gu,Jun Jie Miao

2024-02-04

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 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.

Classical Analysis and ODEs
Lower discrete Hausdorff dimension of spectra for Moran measure

Jinjun Li,Wanxiang Zeng,Min Wu

DOI: https://doi.org/10.1088/1361-6544/ad7808

2024-09-21

Nonlinearity

Abstract:We show that the lower discrete Hausdorff dimension of any spectrum for Moran measure is bounded by the Hausdorff dimension of its support.

mathematics, applied,physics, mathematical
Tangent Measures Of Non-Homogeneous Cantor Sets Satisfying The Strong Separation Condition

YONGTAO WANG,YUMEI XUE

DOI: https://doi.org/10.1142/s0218348x24501111

2024-08-20

Fractals

Abstract:Fractals, Ahead of Print. This paper investigates tangent measures in the sense of Preiss for non-homogeneous Cantor sets on [math] generated by specific iterated function systems that satisfy the strong separation condition. Through the dynamics of "zooming in" on any typical point, we derive an explicit and uniform formula for the tangent measures associated with this category of non-homogeneous Cantor sets on [math].

mathematics, interdisciplinary applications,multidisciplinary sciences
Integer tile and Spectrality of Cantor-Moran measures with equidifferent digit sets

Sha Wu,Yingqing Xiao

2024-10-29

Abstract:Let $\left\{b_{k}\right\}_{k=1}^{\infty}$ be a sequence of integers with $|b_{k}|\geq2$ and $\left\{D_{k}\right\}_{k=1}^{\infty} $ be a sequence of equidifferent digit sets with $D_{k}=\left\{0,1, \cdots, N-1\right\}t_{k},$ where $N\geq2$ is a prime number and $\{t_{k}\}_{k=1}^{\infty}$ is bounded. In this paper, we study the existence of the Cantor-Moran measure $\mu_{\{b_k\},\{D_k\}}$ and show that $$\mathbf{D}_k:=D_k\oplus b_{k} D_{k-1}\oplus b_{k}b_{k-1} D_{k-2}\oplus\cdots\oplus b_{k}b_{k-1}\cdots b_2D_{1}$$ is an integer tile for all $k\in\mathbb{N}^+$ if and only if $\mathbf{s}_i\neq\mathbf{s}_j$ for all $i\neq j\in\mathbb{N}^{+}$, where $\mathbf{s}_i$ is defined as the numbers of factor $N$ in $\frac{b_1b_2\cdots b_i}{Nt_i}$. Moreover, we prove that $\mathbf{D}_k$ being an integer tile for all $k\in\mathbb{N}^+$ is a necessary condition for the Cantor-Moran measure to be a spectral measure, and we provide an example to demonstrate that it cannot become a sufficient condition. Furthermore, under some additional assumptions, we establish that the Cantor-Moran measure to be a spectral measure is equivalent to $\mathbf{D}_k$ being an integer tile for all $k\in\mathbb{N}^+$.

Number Theory,Classical Analysis and ODEs
Assouad type dimensions of homogeneous Moran sets and Cantor-like sets

Yanzhe Li,Jun Li,Shuang Liang,Manli Lou

2024-07-20

Abstract:In this paper, we give the Assouad dimension formula and the upper bound of the lower dimension for homogeneous Moran sets under the condition $\sup_{k\ge 1}\{n_{k}\}<+\infty$. We also give the Assouad spectrum and the lower spectrum formulas for Cantor-like sets.

General Topology
Separation conditions on controlled Moran constructions

Antti Käenmäki,Markku Vilppolainen

DOI: https://doi.org/10.4064/fm200-1-2

2017-01-30

Abstract:It is well known that the open set condition and the positivity of the $t$-dimensional Hausdorff measure are equivalent on self-similar sets, where $t$ is the zero of the topological pressure. We prove an analogous result for a class of Moran constructions and we study different kinds of Moran constructions with this respect.

Dynamical Systems

A sufficient and necessary condition for infinite orthogonal sets on some Moran measures

The Logarithmic Minkowski Problem For Non-Symmetric Measures

Spectrality of a Class of Moran Measures on

On new fractal phenomena connected with infinite linear IFS

Exponential orthonormal basis of a class of Moran measures

Non-spectrality of Moran measures with consecutive digits

On the spectrality of a class of Moran measures

The Orthogonal Bases of Exponential Functions Based on Moran-Sierpinski Measures

One-Dimensional Moran Sets and the Spectrum of Schrödinger Operators

Multifractal analysis of a class of self-affine Moran sets

A Class of Spectral Moran Measures Generated by the Compatible Tower

Intermediate dimensions of Moran sets and their visualization

Hausdorff and Packing Dimensions of Subsets of Moran Fractals with Prescribed Mixed Group Frequency of Their Codings

Packing Dimensions of Generalized Random Moran Sets

On the intermediate value property of spectra for a class of Moran spectral measures

Dimension theory of Non-Autonomous iterated function systems

Lower discrete Hausdorff dimension of spectra for Moran measure

Tangent Measures Of Non-Homogeneous Cantor Sets Satisfying The Strong Separation Condition

Integer tile and Spectrality of Cantor-Moran measures with equidifferent digit sets

Assouad type dimensions of homogeneous Moran sets and Cantor-like sets

Separation conditions on controlled Moran constructions