The graph and range singularity spectra of b-adic independent cascade functions

With the “iso-Hölder” sets of a function we naturally associate subsets of the graph and the range of the function. We compute the Hausdorff dimension of these subsets for a class of statistically self-similar multifractal functions, namely the b-adic independent cascade functions.     

The box dimension of completely invariant subsets for expanding piecewise monotonic transformations

We consider completely invariant subsetsA of expanding piecewise monotonic transformationsT on [0, 1]. An estimate of the box dimension of such setsA in terms of a certain pressure function is given, which implies equality of box dimension and Hausdorff dimension ofA.     

Hessian measures of semi-convex functions and applications to support measures of convex bodies

This paper originates from the investigation of support measures of convex bodies (sets of positive reach), which form a central subject in convex geometry and also represent an important tool in related fields. We show that these measures are absolutely continuous with respect to Hausdorff measures of appropriate dimensions, and we determine the Radon-Nikodym derivatives explicitly on sets of σ-finite Hausdorff measure. The results which we obtain in the setting of the theory of convex bodies (sets of positive reach) are achieved as applications of various new results on Hessian measures of convex (semi-convex) functions. Among these are a Crofton formula, results on the absolute continuity of Hessian measures, and a duality theorem which relates the Hessian measures of a convex function to those of the conjugate function. In particular, it turns out that curvature and surface area measures of a convex body K are the Hessian measures of special functions, namely the distance function and the support function of K. Received: 15 July 1999     

Dimension gap under Sobolev mappings

We prove an essentially sharp estimate in terms of generalized Hausdorff measures for the images of boundaries of Hölder domains under continuous Sobolev mappings, satisfying suitable Orlicz–Sobolev conditions. This estimate marks a dimension gap, which was first observed in [2] for conformal mappings.     

Typical dimension of the graph of certain functions

Most functions from the unit interval to itself have a graph with Hausdorff and lower entropy dimension 1 and upper entropy dimension 2. The same holds for several other Baire spaces of functions. In this paper it will be proved that this is the case also in the spaces of all mappings that are Lebesgue measurable, Borel measurable, integrable in the Riemann sense, continuous, uniform distribution preserving (and continuous).     

Fractal analysis for sets of non-differentiability of Minkowski's question mark function

In this paper we study various fractal geometric aspects of the Minkowski question mark function Q. We show that the unit interval can be written as the union of the three sets , , and . The main result is that the Hausdorff dimensions of these sets are related in the following way:

dimH(νF)<dimH(Λ_∼)=dimH(Λ_∞)=dimH(L(htop))<dimH(Λ₀)=1.     

Scaling properties of Hausdorff and packing measures

Let . Let be a continuous increasing function defined on , for which and is a decreasing function of t. Let be a norm on , and let , , denote the corresponding metric, and Hausdorff and packing measures, respectively. We characterize those functions such that the corresponding Hausdorff or packing measure scales with exponent by showing it must be of the form , where L is slowly varying. We also show that for continuous increasing functions and defined on , for which , is either trivially true or false: we show that if , then for a constant c, where is the Lebesgue measure on . Received June 17, 2000 / Accepted September 6, 2000 / Published online March 12, 2001     

Local variability of non-smooth functions

With the help of Müntz powers a formula of the Taylor type for non-smooth functions is presented. The approximation provides a local study for the variability of some curves which do not have a derivative. The approach includes the classical case but, at the same time, other non-analytical and non-differentiable mappings. In the first place, a Müntz curve representing the local variability of a function is defined. The coefficient and exponent of the model allow a numerical characterization of the relative extremes and differentiability of the map. The introduction of exponents of higher order provides a generalization of the Taylor’s formula including some cases of non-differentiability. In the last part, a series expansion of non necessarily integer powers representing the function is presented. Several properties of convergence, continuity, integrability and density are studied.     

Spectral Properties of Image Measures Under the Infinite Conflict Interaction

We introduce the conflict interaction with two positions between a couple of image probability measures and consider the associated dynamical system. We prove the existence of invariant limiting measures and find the criteria for these measures to be a pure point, absolutely continuous, or singular cotinuous as well as to have any topological type and arbitary Hausdorff dimension.     

Collections of paths and rays in the plane which fix its topology

A collection $\text{F}$ of proper maps into a locally compact Hausdorff space X fixes the topology of X if the only locally compact Hausdorff topology on X which makes each element of $\text{F}$ continuous and proper is the given topology. In I²=[-1, 1]×[-1, 1], neither the collection of analytic paths nor the collection of regular twice differentiable paths fixes the topology. However, in I², both the collection of C^∞ arcs and the collection of regular C¹ arcs fix the topology. In $\text{I}{}^2\text{=[?1,1]×[?1,1], the collection of polynomial rays together with any collection of paths does not fix the topology. However, in}\text{R}{}^2$, the collection of regular injective entire rays together with either the collection of C^∞ arcs or the collection of regular C¹ arcs fixes the topology.     

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.     

A differential operator and weak topology for Lipschitz maps

We show that the Scott topology induces a topology for real-valued Lipschitz maps on Banach spaces which we call the L-topology. It is the weakest topology with respect to which the L-derivative operator, as a second order functional which maps the space of Lipschitz functions into the function space of non-empty weak^∗ compact and convex valued maps equipped with the Scott topology, is continuous. For finite dimensional Euclidean spaces, where the L-derivative and the Clarke gradient coincide, we provide a simple characterization of the basic open subsets of the L-topology. We use this to verify that the L-topology is strictly coarser than the well-known Lipschitz norm topology. A complete metric on Lipschitz maps is constructed that is induced by the Hausdorff distance, providing a topology that is strictly finer than the L-topology but strictly coarser than the Lipschitz norm topology. We then develop a fundamental theorem of calculus of second order in finite dimensions showing that the continuous integral operator from the continuous Scott domain of non-empty convex and compact valued functions to the continuous Scott domain of ties is inverse to the continuous operator induced by the L-derivative. We finally show that in dimension one the L-derivative operator is a computable functional.     

The exact hausdorff dimension of a branching set

Summary We obtain a critical function for which the Hausdorff measure of a branching set generated by a simple Galton-Watson process is positive and finite.     

On Darboux points of real functions

The nature and relationship of the sets of Darboux points and continuity points of real function are studied.     

A new fractal dimension: The topological Hausdorff dimension

We introduce a new concept of dimension for metric spaces, the so-called topological Hausdorff dimension. It is defined by a very natural combination of the definitions of the topological dimension and the Hausdorff dimension. The value of the topological Hausdorff dimension is always between the topological dimension and the Hausdorff dimension, in particular, this new dimension is a non-trivial lower estimate for the Hausdorff dimension.     

DIMENSION AND DIFFERENTIABILITY OFA CLASS OF FRACTAL INTERPOLATION FUNCTIONS

Abstract. In this paper, a new iterated function system consisting of non-linear affine maps is constructed. We investigate the fractal interpolation functions generated by such a system and get its differentiabillty, its box dimension, its packing dimension,and a lower bound of its Hausdorff dimension.     

Hausdorff measures for a class of homogeneous Moran sets

This paper provides an explicit formula for the Hausdorff measures of a class of regular homogeneous Moran sets. In particular, this provides, for the first time, an example of an explicit formula for the Hausdorff measure of a fractal set whose Hausdorff dimension is greater than 1.     

On the Beurling dimension of exponential frames

We study Fourier frames of exponentials on fractal measures associated with a class of affine iterated function systems. We prove that, under a mild technical condition, the Beurling dimension of a Fourier frame coincides with the Hausdorff dimension of the fractal.     

Egoroff’s theorem and maximal run length

We construct a sequence of measurable functions converging at each point of the unit interval, but the set of points with any given rate of convergence has Hausdorff dimension one. This is used to show that a version of Egoroff’s theorem due to Taylor is best possible. The construction relies on an analysis of the maximal run length of ones in the dyadic expansion of real numbers. It is also proved that the exceptional set for a limit theorem of Renyi has Hausdorff dimension one.