A generalized finite type condition for iterated function systems

We study iterated function systems (IFSs) of contractive similitudes on Rd with overlaps. We introduce a generalized finite type condition which extends a more restrictive condition in [S.-M. Ngai, Y. Wang, Hausdorff dimension of self-similar sets with overlaps, J. London Math. Soc. (2) 63 (3) (2001) 655-672] and allows us to include some IFSs of contractive similitudes whose contraction ratios are not exponentially commensurable. We show that the generalized finite type condition implies the weak separation property. Under this condition, we can identify the attractor of the IFS with that of a graph-directed IFS, and by modifying a setup of Mauldin and Williams [R.D. Mauldin, S.C. Williams, Hausdorff dimension in graph directed constructions, Trans. Amer. Math. Soc. 309 (1988) 811-829], we can compute the Hausdorff dimension of the attractor in terms of the spectral radius of certain weighted incidence matrix.     

Hausdorff measure of infinitely generated self-similar sets

We analyze self-similarity with respect to infinite sets of similitudes from a measure-theoretic point of view. We extend classic results for finite systems of similitudes satisfying the open set condition to the infinite case. We adopt Vitali-type techniques to approximate overlapping self-similar sets by non-overlapping self-similar sets. As an application we show that any open and bounded set with a boundary of null Lebesgue measure always contains a self-similar set generated by a countable system of similitudes and with Lebesgue measure equal to that ofA.     

Tangent measure distributions of fractal measures

Tangent measure distributions provide a natural tool to study the local geometry of fractal sets and measures in Euclidean spaces. The idea is, loosely speaking, to attach to every point of the set a family of random measures, called the -dimensional tangent measure distributions at the point, which describe asymptotically the -dimensional scenery seen by an observer zooming down towards this point. This tool has been used by Bandt [BA] and Graf [G] to study the regularity of the local geometry of self similar sets, but in this paper we show that its scope goes much beyond this situation and, in fact, it may be used to describe a strong regularity property possessed by every measure: We show that, for every measure on a Euclidean space and any dimension , at -almost every point, all -dimensional tangent measure distributions are Palm measures. This means that the local geometry of every dimension of general measures can be described – like the local geometry of self similar sets – by means of a family of statistically self similar random measures. We believe that this result reveals a wealth of new and unexpected information about the structure of such general measures and we illustrate this by pointing out how it can be used to improve or generalize recently proved relations between ordinary and average densities. Received: 27 November 1996 / Revised version: 27 February 1998     

Cardinality of the set of extreme extensions¶of a quasi-measure

Cardinals that arise as the number of extreme quasi-measure extensions of a quasi-measure [resp., measure] μ defined on an algebra [resp., σ-algebra] of sets to a larger algebra [resp., σ-algebra] of sets are characterized in the general case as well as under some natural assumptions on μ. Received: 19 September 2000     

Hausdorff and packing dimensions of non-normal tuples of numbers: Non-linearity and divergence points

We apply the results in [L. Olsen, Multifractal analysis of divergence points of deformed measure theoretical Birkhoff averages, J. Math. Pures Appl. 82 (2003) 1591-1649; L. Olsen, Multifractal analysis of divergence points of deformed measure theoretical Birkhoff averages. III, Aequationes Math. 71 (2006) 29-53; L. Olsen, Multifractal analysis of divergence points of deformed measure theoretical Birkhoff averages. IV: Divergence points and packing dimension, Bull. Sci. Math. 132 (2008) 650-678; L. Olsen, S. Winter, Multifractal analysis of divergence points of deformed measure theoretical Birkhoff averages. II: Non-linearity, divergence points and Banach space valued spectra, Bull. Sci. Math. 131 (2007) 518-558] to give a systematic and detailed account of the Hausdorff and packing dimensions of sets of d-tuples of numbers defined in terms of the asymptotic behaviour of the frequencies of strings of digits in their N-adic expansion.     

Algebraic Coding of Expansive Group Automorphisms and Two-sided Beta-Shifts

 Let α be an expansive automorphisms of compact connected abelian group X whose dual group is cyclic w.r.t. α (i.e. is generated by for some ). Then there exists a canonical group homomorphism ξ from the space of all bounded two-sided sequences of integers onto X such that , where σ is the shift on . We prove that there exists a sofic subshift such that the restriction of ξ to V is surjective and almost one-to-one. In the special case where α is a hyperbolic toral automorphism with a single eigenvalue and all other eigenvalues of absolute value we show that, under certain technical and possibly unnecessary conditions, the restriction of ξ to the two-sided beta-shift is surjective and almost one-to-one. The proofs are based on the study of homoclinic points and an associated algebraic construction of symbolic representations in [13] and [7]. Earlier results in this direction were obtained by Vershik ([24]–[26]), Kenyon and Vershik ([10]), and Sidorov and Vershik ([20]–[21]). (Received 27 October 1998; in revised form 17 May 1999)     

Applications of multifractal divergence points to some sets of d-tuples of numbers defined by their N-adic expansion

In this paper we apply the techniques and results from the theory of multifractal divergence points developed in [L. Olsen, Multifractal analysis of divergence points of deformed measure theoretical Birkhoff averages, Journal de Mathématiques Pures et Appliquées 82 (2003) 1591-1649; L. Olsen, Multifractal analysis of divergence points of deformed measure theoretical Birkhoff averages III, Preprint (2002); L. Olsen, S. Winter, J. London Math. Soc. 67 (2003) 103-122; L. Olsen, S. Winter, Multifractal analysis of divergence points of deformed measure theoretical Birkhoff averages II, Preprint (2001)] to give a systematic and detailed account of the Hausdorff dimensions of sets of d-tuples numbers defined in terms of the asymptotic behaviour of the frequencies of the digits in their N-adic expansion. Using the method and results from [L. Olsen, Multifractal analysis of divergence points of deformed measure theoretical Birkhoff averages, Journal de Mathématiques Pures et Appliquées 82 (2003) 1591-1649; L. Olsen, Multifractal analysis of divergence points of deformed measure theoretical Birkhoff averages III, Preprint (2002); L. Olsen, S. Winter, J. London Math. Soc. 67 (2003) 103-122; L. Olsen, S. Winter, Multifractal analysis of divergence points of deformed measure theoretical Birkhoff averages II, Preprint (2001)] we investigate and compute the Hausdorff dimension of several new sets of d-tuples of numbers. In particular, we compute the Hausdorff dimension of a large class of sets of d-tuples numbers for which the limiting frequencies of the digits in their N-adic expansion do not exist. Such sets have only very rarely been studied. In addition, our techniques provide simple proofs of higher-dimensional and non-linear generalizations of known results, by Cajar and Volkmann and others, on the Hausdorff dimension of sets of normal and non-normal numbers.     

A short zero-one law proof of a result of Abian

Summary In this note a new and very short zero-one law proof of the following theorem of Abian is presented. The subset of the unit interval [0, 1) consisting of those real numbers whose Hamel expansions do not use a given basis element of a prescribed Hamel basis, has outer Lebesgue measure one and inner measure zero.Let {a, b, c, ...} be a Hamel basis for the real numbers. LetA be the subset of the unit interval [0, 1) consisting of those real numbers whose Hamel expansions do not use the basis elementa. Sierpinski [4, p. 108] has shown thatA is nonmeasurable in the sense of Lebesgue. Abian [1] has improved Sierpinski's result by showing thatm* (A), the outer measure ofA, is one and thatm _* (A), the inner measure ofA, is zero. In this note a very short proof, using a zero-one law, of Abian's result will be presented.The following zero-one law is an immediate consequence of the Lebesgue Density Theorem [2, p. 290].     

Singularity and L2-dimension of self-similar measures

We study self-similar measures defined by non-uniformly contractive iterated function systems of similitudes with overlaps. In the case the contraction ratios of the similitudes are exponentially commensurable, we describe a method to compute the L²-dimension of the associated self-similar measures. Our result allows us to determine the singularity of some of such measures.     

On multifractality and time subordination for continuous functions

Let Z:[0,1]→R be a continuous function. This paper relates to the existence of a decomposition of Z as Z=g○f, where g:[0,1]→R is a monofractal function with exponent 0<H<1 and f:[0,1]→[0,1] is a time subordinator, i.e. the integral of a positive Borel measure supported by [0,1]. An equivalent question consists of searching for a (multifractal) parametrization of Z which transforms Z into a monofractal function. We establish that such a decomposition can be found for a large class of functions which includes the usual examples of multifractal functions.We find an interesting relationship between self-similar functions and self-similar measures as an application of our results.Our theorems yield new insights in the understanding of the multifractal behaviour of functions, giving a significant role to the regularity analysis of Borel measures.     

An exact formula for the measure dimensions associated with a class of piecewise linear maps

An exact formula for the various measure dimensions of attractors associated with contracting similitudes is given. An example is constructed showing that for more general affine maps the various measure dimensions are not always equal.Communicated by Michael F. Barnsley.     

Einige Eigenschaften monotoner Matrizen

In [5]Ky Fan derived several theorems on real square matrices from well-known covering theorems on simplexes given byE. Sperner [13] andB. Knaster-C. Kuratowski-S. Mazurkiewicz [9]. In this note some theorems on monotone matrices and nonsingularM-matrices are presented which extend some ofFan's results. The proofs will be based on certain topological theorems on simplexes which were recently established by the author in [12] and which include the mentioned covering theorems.     

Baire sets in topological spaces

Summary In this paper we study topological properties of Baire sets in various classes of spaces. The main results state that a Baire set in a realcompact space is realcompact; a Baire set in a topologically complete space is topologically complete; and that a pseudocompact Baire set in any topological space is a zero-set. As a consequence, we obtain new characterizations of realcompact and pseudocompact spaces in terms of Baire sets of their Stone-ech compactifications. (Lorch in [3] using a different method has obtained either implicitly or explicitly the same results concerning Baire sets in realcompact spaces.) The basic tools used for these proofs are first, the notions of anr-compactification andr-embedding (see below for definitions), which have also been defined and used independently byMrówka in [4]; second, the idea included in the proof of the theorem: Every compact Baire set is aG as given inHalmos' text on measure theory [2; Section 51, theorem D].The author wishes to thank Professor W. W.Comfort for his valuable advice in the preparation of this paper.     

A fixed point theorem for moment matrices of self-similar measures

We consider the self-similar measure on the complex plane C$\mathbb{C}$ associated to an iterated function system (IFS) with probabilities. From this IFS we define an operator in a complete metric space of infinite matrices. Using the expression obtained in a previous work of the authors, we prove that this operator has as fixed point the moment matrix of the self-similar measure. As a consequence, we obtain a very efficient algorithm to compute the moment matrix of the self-similar measure. Finally, in order to estimate the rate of convergence of the algorithm, we find an upper bound of the norm of this contractive operator.     

Fuzzy probability measures

In [4] Höhle has defined fuzzy measures on G-fuzzy sets [2] where G stands for a regular Boolean algebra. Consequently, since the unit interval is not complemented, fuzzy sets in the sense of Zadeh [8] do not fit in this framework in a straightforward manner. It is the purpose of this paper to continue the work started in [5] which deals with [0,1]-fuzzy sets and to give a natural definition of a fuzzy probability measure on a fuzzy measurable space [5]. We give necessary and sufficient conditions for such a measure to be a classical integral as in [9] in the case the space is generated. A counterexample in the general case is also presented. Finally it is shown that a fuzzy probability measure is always an integral (if the space is generated) if we replace the operations ∧ and ∨ by the t-norm T_o and its dual S₀ (see [6]).     

Das Taylor-Deansche Stabilitätsproblem für beliebige Spaltbreiten

Summary The stability of a viscous flow between two co-axial circular cylinders, produced by the simultaneous effect of rotation of the interior cylinder and by a constant pressure gradient in peripherical direction, has been examined. (The two single problems had been studied first byTaylor [1] resp.Dean [2].) The perturbations investigated are vortices of the Taylor-Görtler-type and are assumed to be small. It therefore becomes possible to operate on the basis of the linear differential equations for perturbations.The present stability problem had been treated under the same assumptions byDiPrima [5] for small gap-distances by using the series method ofTaylor. In this paper, however, arbitrary gap-distances are admitted, and the integral equation method ofGörtler [3] andHämmerlin [4] has been applied. The calculated dependences of the critical Reynolds number upon the pressure gradient are in good qualitative agreement with the results ofDiPrima. However, our computations performed by more exact methods yielded somewhat different results with regard to the dependence of the critical vortex number upon the pressure gradient.     

Volterra-like Banach Algebras and their Second Duals

 This paper presents and studies a class of algebras which includes the usual Volterra algebra. Roughly speaking, they relate to the Volterra algebra in the way a general locally compact group relates to ℝ. We show that they can be viewed as quotients of some semigroup algebras introduced by Baker and Baker [1]. Their sets of nilpotent elements are dense. We investigate the second duals of these algebras and find that most of the properties found in [7] for the biduals of the group algebras L ¹(G) for compact G are retained here. Received 8 July 1997; in revised form 17 November 1997     

Union congruence in a subspace of a Finsler space

Summary The union curves of a Riemannian space were studied bySpringer [8],Misra [2] andUpadhyay [9]. In a Finsler space, these curves have been studied byPrakash-Behari [4],Sinha [7],Mishra-Sinha [3] andSingh [6]. In the present paper, we wish to extend the concept of union curves in the Finsler space and as such the concept of union congruence has been discussed. The two types of union curves of the Finsler subspace are the particular cases of these curves. These are also generalization of union curves and union curvatures of a vector-field of Finsler space. It has also been shown that the λ-geodesics [5] are special case of these curves. Entrata in Redazione il 14 settembre 1970.     

Improving dimension estimates for Furstenberg-type sets

In this paper we study the problem of estimating the generalized Hausdorff dimension of Furstenberg sets in the plane. For α∈(0,1], a set F in the plane is said to be an α-Furstenberg set if for each direction e there is a line segment ?e in the direction of e for which dimH(?e∩F)?α. It is well known that , and it is also known that these sets can have zero measure at their critical dimension. By looking at general Hausdorff measures Hh defined for doubling functions, that need not be power laws, we obtain finer estimates for the size of the more general h-Furstenberg sets. Further, this approach allow us to sharpen the known bounds on the dimension of classical Furstenberg sets.The main difficulty we had to overcome, was that if Hh(F)=0, there always exists g?h such that Hg(F)=0 (here ? refers to the natural ordering on general Hausdorff dimension functions). Hence, in order to estimate the measure of general Furstenberg sets, we have to consider dimension functions that are a true step down from the critical one. We provide rather precise estimates on the size of this step and by doing so, we can include a family of zero dimensional Furstenberg sets associated to dimension functions that grow faster than any power function at zero. With some additional growth conditions on these zero dimensional functions, we extend the known inequalities to include the endpoint α=0.