Pointwise tube formulas for fractal sprays and self-similar tilings with arbitrary generators

In a previous paper by the first two authors, a tube formula for fractal sprays was obtained which also applies to a certain class of self-similar fractals. The proof of this formula uses distributional techniques and requires fairly strong conditions on the geometry of the tiling (specifically, the inner tube formula for each generator of the fractal spray is required to be polynomial). Now we extend and strengthen the tube formula by removing the conditions on the geometry of the generators, and also by giving a proof which holds pointwise, rather than distributionally. Hence, our results for fractal sprays extend to higher dimensions the pointwise tube formula for (1-dimensional) fractal strings obtained earlier by Lapidus and van Frankenhuijsen.Our pointwise tube formulas are expressed as a sum of the residues of the “tubular zeta function” of the fractal spray in Rd. This sum ranges over the complex dimensions of the spray, that is, over the poles of the geometric zeta function of the underlying fractal string and the integers 0,1,…,d. The resulting “fractal tube formulas” are applied to the important special case of self-similar tilings, but are also illustrated in other geometrically natural situations. Our tube formulas may also be seen as fractal analogues of the classical Steiner formula.     

Orthogonal exponentials on the generalized plane Sierpinski gasket

The self-affine measure μ_Mp,D corresponding tois supported on the the generalized plane Sierpinski gasket T(M_p,D). In the present paper we show that there exist at most 3 mutually orthogonal exponential functions in L²(μ_Mp,D), and the number 3 is the best. This generalizes several known results on the non-spectral self-affine measure problem.     

Quantitative recurrence properties for beta-dynamical system

This note is concerned with the quantitative recurrence properties of beta dynamical system ([0,1],Tβ) for general β>1; the size of points with the prescribed recurrence rate is determined. More precisely, Hausdorff dimensions of the sets and are obtained completely, where ψ is a positive function defined on N and f is a positive continuous function on [0,1]. Besides, the pressure function P(f,Tβ) with a continuous potential f is proven to be continuous with respect to β.     

On special types of nonholonomic contact elements

Our starting point has been a recent clarification of the role of semiholonomic contact elements in the theory of submanifolds of Cartan geometries, Kolá? and Vitolo (2010) [5]. We deduce some further properties of the iterated contact elements by using the general concept of contact (n,F)-element for a regular subcategory F of the category of nonholonomic r-jets. Special attention is paid to the incidence relation of contact F-elements of different dimensions.     

On the Assouad dimension of self-similar sets with overlaps

It is known that, unlike the Hausdorff dimension, the Assouad dimension of a self-similar set can exceed the similarity dimension if there are overlaps in the construction. Our main result is the following precise dichotomy for self-similar sets in the line: either the weak separation property is satisfied, in which case the Hausdorff and Assouad dimensions coincide; or the weak separation property is not satisfied, in which case the Assouad dimension is maximal (equal to one). In the first case we prove that the self-similar set is Ahlfors regular, and in the second case we use the fact that if the weak separation property is not satisfied, one can approximate the identity arbitrarily well in the group generated by the similarity mappings, and this allows us to build a weak tangent that contains an interval. We also obtain results in higher dimensions and provide illustrative examples showing that the ‘equality/maximal’ dichotomy does not extend to this setting.     

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.     

Energy method for multi-dimensional balance laws with non-local dissipation

In this paper, we are concerned with a class of multi-dimensional balance laws with a non-local dissipative source which arise as simplified models for the hydrodynamics of radiating gases. At first we introduce the energy method in the setting of smooth perturbations and study the stability of constants states. Precisely, we use Fourier space analysis to quantify the energy dissipation rate and recover the optimal time-decay estimates for perturbed solutions via an interpolation inequality in Fourier space. As application, the developed energy method is used to prove stability of smooth planar waves in all dimensions n?2, and also to show existence and stability of time-periodic solutions in the presence of the time-periodic source. Optimal rates of convergence of solutions towards the planar waves or time-periodic states are also shown provided initially L¹-perturbations.     

On the Kantorovich–Rubinstein theorem

The Kantorovich–Rubinstein theorem provides a formula for the Wasserstein metric W₁ on the space of regular probability Borel measures on a compact metric space. Dudley and de Acosta generalized the theorem to measures on separable metric spaces. Kellerer, using his own work on Monge–Kantorovich duality, obtained a rapid proof for Radon measures on an arbitrary metric space. The object of the present expository article is to give an account of Kellerer’s generalization of the Kantorovich–Rubinstein theorem, together with related matters. It transpires that a more elementary version of Monge–Kantorovich duality than that used by Kellerer suffices for present purposes. The fundamental relations that provide two characterizations of the Wasserstein metric are obtained directly, without the need for prior demonstration of density or duality theorems. The latter are proved, however, and used in the characterization of optimal measures and functions for the Kantorovich–Rubinstein linear programme. A formula of Dobrushin is proved.     

Fractal tiles associated with shift radix systems

Shift radix systems form a collection of dynamical systems depending on a parameter r which varies in the d-dimensional real vector space. They generalize well-known numeration systems such as beta-expansions, expansions with respect to rational bases, and canonical number systems. Beta-numeration and canonical number systems are known to be intimately related to fractal shapes, such as the classical Rauzy fractal and the twin dragon. These fractals turned out to be important for studying properties of expansions in several settings.In the present paper we associate a collection of fractal tiles with shift radix systems. We show that for certain classes of parameters r these tiles coincide with affine copies of the well-known tiles associated with beta-expansions and canonical number systems. On the other hand, these tiles provide natural families of tiles for beta-expansions with (non-unit) Pisot numbers as well as canonical number systems with (non-monic) expanding polynomials.We also prove basic properties for tiles associated with shift radix systems. Indeed, we prove that under some algebraic conditions on the parameter r of the shift radix system, these tiles provide multiple tilings and even tilings of the d-dimensional real vector space. These tilings turn out to have a more complicated structure than the tilings arising from the known number systems mentioned above. Such a tiling may consist of tiles having infinitely many different shapes. Moreover, the tiles need not be self-affine (or graph directed self-affine).     

Equilibrium states for factor maps between subshifts

Let π:X→Y be a factor map, where (X,σX) and (Y,σY) are subshifts over finite alphabets. Assume that X satisfies weak specification. Let a=(a₁,a₂)∈R² with a₁>0 and a₂?0. Let f be a continuous function on X with sufficient regularity (Hölder continuity, for instance). We show that there is a unique shift invariant measure μ on X that maximizes . In particular, taking f≡0 we see that there is a unique invariant measure μ on X that maximizes the weighted entropy a₁hμ(σX)+a₂hμ°π−1(σY), which answers an open question raised by Gatzouras and Peres (1996) in [15]. An extension is given to high dimensional cases. As an application, we show that for each compact invariant set K on the k-torus under a diagonal endomorphism, if the symbolic coding of K satisfies weak specification, then there is a unique invariant measure μ supported on K so that dimHμ=dimHK.     

Multifractal analysis of divergence points of deformed measure theoretical Birkhoff averages. IV: Divergence points and packing dimension

During the past 10 years multifractal analysis has received an enormous interest. For a sequence n(φn) of functions on a metric space X, multifractal analysis refers to the study of the Hausdorff and/or packing dimension of the level sets(1) of the limit function limnφn. However, recently a more general notion of multifractal analysis, focusing not only on points x for which the limit limnφn(x) exists, has emerged and attracted considerable interest. Namely, for a sequence n(xn) in a metric space X, we let A(xn) denote the set of accumulation points of the sequence n(xn). The problem of computing that the Hausdorff dimension of the set of points x for which the set of accumulation points of the sequence (φnn(x)) equals a given set C, i.e. computing the Hausdorff dimension of the set(2){x∈X|A(φn(x))=C} has recently attracted considerable interest and a number of interesting results have been obtained. However, almost nothing is known about the packing dimension of sets of this type except for a few special cases investigated in [I.S. Baek, L. Olsen, N. Snigireva, Divergence points of self-similar measures and packing dimension, Adv. Math. 214 (2007) 267–287]. The purpose of this paper is to compute the packing dimension of those sets for a very general class of maps φn, including many examples that have been studied previously, cf. Theorem 3.1 and Corollary 3.2. Surprisingly, in many cases, the packing dimension and the Hausdorff dimension of the sets in (2) do not coincide. This is in sharp contrast to well-known results in multifractal analysis saying that the Hausdorff and packing dimensions of the sets in (1) coincide.     

Extracting information is hard: A Turing degree of non-integral effective Hausdorff dimension

We construct a infinite binary sequence with effective Hausdorff dimension 1/2 that does not compute a sequence of higher dimension. Introduced by Lutz, effective Hausdorff dimension can be viewed as a measure of the information density of a sequence. In particular, the dimension of A∈ω² is the lim inf of the ratio between the information content and length of initial segments of A. Thus the main result demonstrates that it is not always possible to extract information from a partially random source to produce a sequence that has higher information density.     

On the Hausdorff dimension of generalized Besicovitch-Eggleston sets of d-tuples of numbers

We give a systematic and detailed account of the Hausdorff 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.     

Graph-directed systems and self-similar measures on limit spaces of self-similar groups

Let G be a group and ?:H→G be a contracting homomorphism from a subgroup H<G of finite index. V. Nekrashevych (2005) [25] associated with the pair (G,?) the limit dynamical system (JG,s) and the limit G-space XG together with the covering _?g∈GT⋅g by the tile T. We develop the theory of self-similar measures m on these limit spaces. It is shown that (JG,s,m) is conjugated to the one-sided Bernoulli shift. Using sofic subshifts we prove that the tile T has integer measure and we give an algorithmic way to compute it. In addition we give an algorithm to find the measure of the intersection of tiles T∩(T⋅g) for g∈G. We present applications to the invariant measures for the rational functions on the Riemann sphere and to the evaluation of the Lebesgue measure of integral self-affine tiles.     

Global well posedness for the Maxwell–Navier–Stokes system in 2D

We prove global existence of regular solutions to the full MHD system (or more precisely the Maxwell–Navier–Stokes system) in 2D. We also provide an exponential growth estimate for the Hs norm of the solution when the time goes to infinity.     

Support theorem for the fundamental solution to the Schrödinger equation on certain compact symmetric spaces

In this paper we construct the fundamental solution to the Schödinger equation on a compact symmetric space with even root multiplicities using shift operators of Heckman and Opdam. Next, we prove that the support of the fundamental solution becomes a lower dimensional subset at a rational time whereas its support and its singular support coincide with the whole symmetric space at an irrational time. Moreover, we also show that generalized Gauss sums appear in the expression of the fundamental solution.     

The prescribed curvature problem in dimension four

Necessary and sufficient conditions for a g-valued differential 2-form on a 4-dimensional manifold to be, locally, a curvature form, are given. The dimension four is exceptional for the problem of prescribed curvature as, in this dimension, Bianchi's identities can be eliminated for a large class of Lie algebras, including semisimple algebras. Hence, the curvature forms are characterized as the solutions to a second-order partial differential system, which is proved to be formally integrable.     

Differential equations with singular fields

This paper investigates the well posedness of ordinary differential equations and more precisely the existence (or uniqueness) of a flow through explicit compactness estimates. Instead of assuming a bounded divergence condition on the vector field, a compressibility condition on the flow (bounded Jacobian) is considered. The main result provides existence under the condition that the vector field belongs to BV in dimension 2 and SBV in higher dimensions.     

A geometric degree formula for A-discriminants and Euler obstructions of toric varieties

We give explicit formulas for the dimensions and the degrees of A-discriminant varieties introduced by Gelfand, Kapranov and Zelevinsky. Our formulas can be applied also to the case where the A-discriminant varieties are higher-codimensional and their degrees are described by the geometry of the configurations A. Moreover combinatorial formulas for the Euler obstructions of general (not necessarily normal) toric varieties will be also given.     

Superharmonic functions are locally renormalized solutions

We show that different notions of solutions to measure data problems involving p-Laplace type operators and nonnegative source measures are locally essentially equivalent. As an application we characterize singular solutions of multidimensional Riccati type partial differential equations.