Advances in Mathematical Physics

Volume 2014 (2014), Article ID 161756, 8 pages

http://dx.doi.org/10.1155/2014/161756

## Multifractal Structure of the Divergence Points of Some Homogeneous Moran Measures

Wuhan College, Zhongnan University of Economics and Law, Wuhan 430070, China

Received 18 January 2014; Accepted 3 March 2014; Published 7 April 2014

Academic Editor: Christian Maes

Copyright © 2014 JiaQing Xiao and YouMing He. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

The point for which the limit does not exist is called divergence point. Recently, multifractal structure of the divergence points of self-similar measures has been investigated by many authors. This paper is devoted to the study of some Moran measures with the support on the homogeneous Moran fractals associated with the sequences of which the frequency of the letter exists; the Moran measures associated with this kind of structure are neither Gibbs nor self-similar and than complex. Such measures possess singular features because of the existence of so-called divergence points. By the box-counting principle, we analyze multifractal structure of the divergence points of some homogeneous Moran measures and show that the Hausdorff dimension of the set of divergence points is the same as the dimension of the whole Moran set.

#### 1. Introduction and Statement of Results

##### 1.1. Moran Set

Let be a sequence of positive integers and let be a sequence of positive real number with for any . Define , and for any , set , , and If , , let . And for , remark .

*Definition 1. *Suppose is a closed interval of length 1. The collection of closed subintervals of is said to have a homogeneous Moran structure, if it satisfies the following conditions (MSC):(i);
(ii)for all and , are subintervals of and satisfy that , where denotes the interior of ;(iii)for any and , ,
where denotes the diameter of .

Suppose that is a collection of closed subintervals of having homogeneous Moran structure, and set It is ready to see that is a nonempty compact set. The set is called the homogeneous Moran set associated with the collection .

Let , and let . The elements of are called the basic elements of order of the homogeneous Moran set and the elements of are called the basic elements of the homogeneous Moran set .

*Remark 2. *If , then contains interior points. Thus, the measure and dimension properties will be trivial. We assume therefore that

Proposition 3 (see [1, Proposition 3.1]). *For a homogeneous Moran set defined as above, suppose furthermore that
**
Then we have
**
where satisfies the equation for each .*

Let , and let be a sequence over , . For , write ; then . We denote by the number of occurrences of the letter in . If for any , , then we say that the sequence has the frequency vector . It is easy to see that and . For , let For , let and let be a positive real number with . For , in the homogeneous Moran construction above, for any if take , . Then we construct the homogeneous Moran set relating to and denote it by .

*Remark 4. *In this paper, we assume that , let be the basic intervals of order contained in arranged from left to right. For all , let , where is a sequence of positive real number. Let . In this paper we suppose .

##### 1.2. Moran Measure

Let be probability vectors; that is, and . For any , , from Section 1.1, we know where , if . For , define as follows: let , be the occurrences of the letter in ; then . For convenience we will write , where . In fact, is a rearrangement of . We make the convention that if .

Now define It is obvious that for any . We make the convention that if .

Let be a mass distribution on , such that for any , , and . Since is related to , we denote it by . Here is a homogeneous Moran measure on , and it is an extension of the self-similar measure by Hutchinson [2].

##### 1.3. Main Results

From now on, we assume that is a homogeneous Moran fractal defined in Section 1.1, and is a probability measure introduced in Section 1.2. The notationa , , , , are as above; in the following, if , , let , and , . Now we define an auxiliary function as follows. For each and , there is a unique number such that By simple calculation, we get

Proposition 5 (see [3, Proposition 2.3]). *For all , defined by (10) satisfies the following:*(i)*;*(ii)* is strictly decreasing, and **;*(iii)* is convex in **, and ** is strictly convex if and only if ** is not the same for all **, **.*

*Let be a Borel probability measure on ; let
where the supremum is taken over all families of disjoint closed balls with . If exists, we call that the spectrum of exists; that is,
Peres and Solomyak [4] give alternative definition of spectrum. Let be a Borel probability measure on . Let be the partition of into grid boxes with . For , denote . If exists, we call that the spectrum of exists; that is,
Peres and Solomyak [4] prove that .*

*Proposition 6 (see [5]). Let be a Moran measure supported on the homogeneous Moran fractals ; then
*

*The Legendre transform* of is the function defined by
where , .

*Let be a complete separable metric space and a finite Borel measure on . In the multifractal analysis one is interested in the size of the following level sets:
The space has the following natural decomposition:
where
The set is called the set of divergence points and the point for which the limit does not exist is called divergence point. Recently, multifractal structure of the divergence points of self-similar measures has been investigated by a large number of authors. Barreira and Schmeling [6] and Chen and Xiong [7] have shown that for self-similar measures satisfying the SSC the set of divergence points typically has the Hausdorff dimension as the support . Furthermore, Olsen and Winter [8] analyse its structure and give a decomposition of this set for the case that the SSC satisfies. However, with only the OSC satisfied, we cannot do most of the work on a symbolic space and then transfer the results to the subsets of , which makes things more difficult. By the box-counting principle we (2011) [9] show that the set of divergence point has still the same Hausdorff dimension as the support for self-similar measures satisfying the OSC. Li et al. [10] further analyse its structure and give a decomposition of this set for the case that the OSC satisfies. This paper is devoted to the study of some Moran measures with the support on the homogeneous Moran fractals associated with the sequences of which the frequency of the letter exists; such measures possess singular features because of the existence of so-called divergence points. By the box-counting principle, we analyze Multifractal structure of the divergence points of some homogeneous Moran measures and show that the Hausdorff dimension of the set of divergence points is the same as the dimension of the whole Moran set. It should be pointed out that the Moran measures associated with this kind of structure are neither Gibbs nor self-similar and more than complex.*

*Theorem 7. Let be a Moran measure supported on the homogeneous Moran fractals associated with the sequences of which the frequency of the letter exists as above. Set
Then
*

*By Theorem 7 and Proposition 5, we easily obtain that the Hausdorff dimension of the set of divergence points is the same as the dimension of the whole Moran set.*

*2. Several Lemma*

*2. Several Lemma**Lemma 8. Suppose that is such that for some . Then for any , , (I)there exist , , an integral number , and satisfying the following properties:(a) for all ,(b) for all ;(II)there exist an integral number such that for any integer , there exist , , an integral number , and satisfying the following properties:(a) for all ;(b) for all .*

*Proof. *For the given , we choose a small such that
Using (10), we can pick and an integral number such that for any integer ,
Set
Then
Similarly, we have
These two inequalities together with (22)–(26) imply
Note that for each , . Hence,
which combining with (30) yields
We suppose is an integral number satisfying and . This completes the proof of (I).

Next we prove (II). Note that ; we get
Note that and for and using (33), we can choose an integral such that for any integral , the following properties are satisfied; that is,
Combining (34) we get
Therefore
Using the same method, we can choose an integral such that for any integral ,
Set , and (36) and (37) satisfy simultaneously. We suppose is an integral number satisfying and
Set . Replace (25) and (26) with (36) and (37); we can prove (II) by the same method with (I).

*Lemma 9. Let be a Moran measure supported on the homogeneous Moran fractals associated with the sequences of which the frequency of the letter exists as above. Set
Then
*

*Proof. *Let , then for any , ; Using (39), there exist and a number sequence such that
for any . We can choose such that . For any and , we consider grid boxes ; there exist adjacent grid boxes such that , and there and are neighbours with . Therefore there exists such that (by ). On the other hand, notice that (by (41)). Thus
Thus
Therefore
Using (14) and (15), notice that ; we have
Thus

*3. Proof of Theorem 7*

*3. Proof of Theorem 7**Lemma 10. Suppose ( is from Remark 4), for all , and , and choose such that
where denote the basic elements of order that contains the point . Then
*

*Proof. *It is obvious that . Now let , but ; then there exists such that , and , and , . Therefore,
which is a contradiction since ; therefore .

Since and . (48) imply that
which yields

*Proof of Theorem 7. *For any , define a number sequence in the following manner:
We choose a positive sequence . For and , there exist an integral number sequence ( corresponds to in Lemma 8) and a real number such that the follow properties are satisfied.

For and , using Lemma 8 we can pick satisfying , for all and .

For , remark .

By the same step, for and , we also construct such that (a);
(b);
(c) for , ;(d) for , . Also we let be a sequence of integers large enough such that(e);
(f) for each ;(g).

Now we define a sequence of subsets of symbol set in the following manner:
and relabel them as . Let
It is easy to check that is the homogeneous* Moran set* which is a subset of the homogeneous* Moran set *.

Next we show that

Let , then there exist such that
Let ; there exists such that
Using Lemma 10, we attain
Thus to calculate , we need to estimate and for . By (c) and (d), we obtain
By (54), (60)–(62), and (g), we obtain
Let ; there exists such that
By the same method, we obtain

Next we show . For small enough, there is a unique large integer such that
Using the same method as above, we attain
Now we estimate and for , . For large , write with . In the case that , by (c) and (d), we obtain
In the other case , we have the similar inequalities where the lower bounds for and in (68) and (69) are replaced, respectively, by
By (54), using the inequalities (67)–(71), (f), and (g), we obtain

Combining (63), (65), and (72), we obtain

To prove , recall that is the homogeneous* Moran set* which is a subset of the homogeneous* Moran set *. For large , write with . By (a) and (c), we have
and for any
Using (75) and (f), we have
This implies the condition (5) in Proposition 3; we have , where satisfies the equation
It follows that
This, together with (74)-(75), yields

Using Lemma 9, we finish proof of Theorem 7.

*Conflict of Interests*

*Conflict of Interests*

*The authors declare that there is no conflict of interests regarding the publication of this paper.*

*Acknowledgments*

*Acknowledgments*

*The authors are supported by Natural Science Foundation of China (11271140) and Teaching Research Project of Wuhan College, Zhongnan University of Economics and Law.*

*References*

*References*

- D.-J. Feng, K.-S. Lau, and J. Wu, “Ergodic limits on the conformal repellers,”
*Advances in Mathematics*, vol. 169, no. 1, pp. 58–91, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus - J. E. Hutchinson, “Fractals and self-similarity,”
*Indiana University Mathematics Journal*, vol. 30, pp. 713–747, 1981. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - M. Wu, “The multifractal spectrum of some Moran measures,”
*Science in China A: Mathematics*, vol. 48, no. 8, pp. 1097–1112, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus - Y. Peres and B. Solomyak, “Existence of ${L}^{q}$ dimensions and entropy dimension for self-conformal measures,”
*Indiana University Mathematics Journal*, vol. 49, no. 4, pp. 1603–1621, 2000. View at Google Scholar · View at Scopus - J. Xiao and M. Wu, “The multifractal dimension functions of homogeneous moran measure,”
*Fractals*, vol. 16, no. 2, pp. 175–185, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus - L. Barreira and J. Schmeling, “Sets of “non-typical” points have full topological entropy and full Hausdorff dimension,”
*Israel Journal of Mathematics*, vol. 116, pp. 29–70, 2000. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus - E. Chen and J. Xiong, “The pointwise dimension of self-similar measures,”
*Chinese Science Bulletin*, vol. 44, no. 23, pp. 2136–2140, 1999. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus - L. Olsen and S. Winter, “Normal and non-normal points of self-similar sets and divergence points of self-similar measures,”
*Journal of the London Mathematical Society*, vol. 67, no. 1, pp. 103–122, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus - J.-Q. Xiao, M. Wu, and F. Gao, “Divergence points of self-similar measures satisfying the OSC,”
*Journal of Mathematical Analysis and Applications*, vol. 379, no. 2, pp. 834–841, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus - J. Li, M. Wu, and Y. Xiong, “Hausdorff dimensions of the divergence points of self-similar measures with the open set condition,”
*Nonlinearity*, vol. 25, no. 1, pp. 93–105, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus

*
*