Hausdorff dimension of scale-sparse Weierstrass-type functions

Abel Carvalho

Displaying similar documents to “Hausdorff dimension of scale-sparse Weierstrass-type functions”

Homogeneity and non-coincidence of Hausdorff and box dimensions for subsets of ℝⁿ

Anders Nilsson, Peter Wingren (2007)

Studia Mathematica

Similarity:

A class of subsets of ℝⁿ is constructed that have certain homogeneity and non-coincidence properties with respect to Hausdorff and box dimensions. For each triple (r,s,t) of numbers in the interval (0,n] with r < s < t, a compact set K is constructed so that for any non-empty subset U relatively open in K, we have $(d i m_{H} (U), {\underset{̲}{d i m}}_{B} (U), {\bar{d i m}}_{B} (U)) = (r, s, t)$ . Moreover, $2^{- n} \leq H^{r} (K) \leq 2 n^{r / 2}$ .

Characterization of local dimension functions of subsets of $ℝ^{d}$

L. Olsen (2005)

Colloquium Mathematicae

Similarity:

For a subset $E \subseteq ℝ^{d}$ and $x \in ℝ^{d}$ , the local Hausdorff dimension function of E at x is defined by $d i m_{H, l o c} (x, E) = l i m_{r ↘ 0} d i m_{H} (E \cap B (x, r))$ where $d i m_{H}$ denotes the Hausdorff dimension. We give a complete characterization of the set of functions that are local Hausdorff dimension functions. In fact, we prove a significantly more general result, namely, we give a complete characterization of those functions that are local dimension functions of an arbitrary regular dimension index.

A first countable supercompact Hausdorff space with a closed $G_{δ}$ nonsupercompact subspace

Murray G. Bell (1980)

Colloquium Mathematicae

Similarity:

Univoque sets for real numbers

Fan Lü, Bo Tan, Jun Wu (2014)

Fundamenta Mathematicae

Similarity:

For x ∈ (0,1), the univoque set for x, denoted (x), is defined to be the set of β ∈ (1,2) such that x has only one representation of the form x = x₁/β + x₂/β² + ⋯ with $x_{i} \in 0, 1$ . We prove that for any x ∈ (0,1), (x) contains a sequence ${β_{k}}_{k \geq 1}$ increasing to 2. Moreover, (x) is a Lebesgue null set of Hausdorff dimension 1; both (x) and its closure $\bar{(x)}$ are nowhere dense.

$ℰ_{B}$ -dimension function of bitopological spaces

M. Jelić (1987)

Matematički Vesnik

Similarity:

On the Hausdorff Dimension of Topological Subspaces

Tomasz Szarek, Maciej Ślęczka (2006)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

It is shown that every Polish space X with $d i m_{T} X \geq d$ admits a compact subspace Y such that $d i m_{H} Y \geq d$ where $d i m_{T}$ and $d i m_{H}$ denote the topological and Hausdorff dimensions, respectively.

Quantization Dimension Estimate of Inhomogeneous Self-Similar Measures

Mrinal Kanti Roychowdhury (2013)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We consider an inhomogeneous measure μ with the inhomogeneous part a self-similar measure ν, and show that for a given r ∈ (0,∞) the lower and the upper quantization dimensions of order r of μ are bounded below by the quantization dimension $D_{r} (ν)$ of ν and bounded above by a unique number $κ_{r} \in (0, \infty)$ , related to the temperature function of the thermodynamic formalism that arises in the multifractal analysis of μ.

On the Hausdorff dimension of certain self-affine sets

Abercrombie Alex G.., Nair R. (2002)

Studia Mathematica

Similarity:

A subset E of ℝⁿ is called self-affine with respect to a collection ϕ₁,...,ϕₜ of affinities if E is the union of the sets ϕ₁(E),...,ϕₜ(E). For S ⊂ ℝⁿ let $Φ (S) = ⋃_{1 \leq j \leq t} ϕ_{j} (S)$ . If Φ(S) ⊂ S let $E_{Φ} (S)$ denote $⋂_{k \geq 0} Φ^{k} (S)$ . For given Φ consisting of contracting “pseudo-dilations” (affinities which preserve the directions of the coordinate axes) and subject to further mild technical restrictions we show that there exist self-affine sets $E_{Φ} (S)$ of each Hausdorff dimension between zero and a positive number depending on Φ. We also...

Infinite Iterated Function Systems Depending on a Parameter

Ludwik Jaksztas (2007)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

This paper is motivated by the problem of dependence of the Hausdorff dimension of the Julia-Lavaurs sets $J_{0, σ}$ for the map f₀(z) = z²+1/4 on the parameter σ. Using homographies, we imitate the construction of the iterated function system (IFS) whose limit set is a subset of $J_{0, σ}$ , given by Urbański and Zinsmeister. The closure of the limit set of our IFS $ϕ_{σ, α}^{n, k}$ is the closure of some family of circles, and if the parameter σ varies, then the behavior of the limit set is similar to the behavior of...

Sets of $β$ -expansions and the Hausdorff measure of slices through fractals

Tom Kempton (2016)

Journal of the European Mathematical Society

Similarity:

We study natural measures on sets of $β$ -expansions and on slices through self similar sets. In the setting of $β$ -expansions, these allow us to better understand the measure of maximal entropy for the random $β$ -transformation and to reinterpret a result of Lindenstrauss, Peres and Schlag in terms of equidistribution. Each of these applications is relevant to the study of Bernoulli convolutions. In the fractal setting this allows us to understand how to disintegrate Hausdorff measure by slicing,...

Szpilrajn type theorem for concentration dimension

Jozef Myjak, Tomasz Szarek (2002)

Fundamenta Mathematicae

Similarity:

Let X be a locally compact, separable metric space. We prove that $d i m_{T} X = i n f d i m_{L} X^{'} : X^{'} i s h o m e o m o r p h i c t o X$ , where $d i m_{L} X$ and $d i m_{T} X$ stand for the concentration dimension and the topological dimension of X, respectively.

On the continuity of the Hausdorff dimension of the Julia-Lavaurs sets

Ludwik Jaksztas (2011)

Fundamenta Mathematicae

Similarity:

Let f₀(z) = z²+1/4. We denote by ₀ the set of parameters σ ∈ ℂ for which the critical point 0 escapes from the filled-in Julia set K(f₀) in one step by the Lavaurs map $g_{σ}$ . We prove that if σ₀ ∈ ∂₀, then the Hausdorff dimension of the Julia-Lavaurs set $J_{0, σ}$ is continuous at σ₀ as the function of the parameter $σ \in \bar{₀}$ if and only if $H D (J_{0, σ ₀}) \geq 4 / 3$ . Since $H D (J_{0, σ}) > 4 / 3$ on a dense set of parameters which correspond to preparabolic points, the lower semicontinuity implies the continuity of $H D (J_{0, σ})$ on an open and dense subset of...

On the Separation Dimension of $K_{ω}$

Yasunao Hattori, Jan van Mill (2013)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We prove that $t r t K_{ω} > ω + 1$ , where trt stands for the transfinite extension of Steinke’s separation dimension. This answers a question of Chatyrko and Hattori.

Birational positivity in dimension $4$

Behrouz Taji (2014)

Annales de l’institut Fourier

Similarity:

In this paper we prove that for a nonsingular projective variety of dimension at most 4 and with non-negative Kodaira dimension, the Kodaira dimension of coherent subsheaves of $Ω^{p}$ is bounded from above by the Kodaira dimension of the variety. This implies the finiteness of the fundamental group for such an $X$ provided that $X$ has vanishing Kodaira dimension and non-trivial holomorphic Euler characteristic.

A compact Hausdorff topology that is a T₁-complement of itself

Dmitri Shakhmatov, Michael Tkachenko (2002)

Fundamenta Mathematicae

Similarity:

Topologies τ₁ and τ₂ on a set X are called T₁-complementary if τ₁ ∩ τ₂ = X∖F: F ⊆ X is finite ∪ ∅ and τ₁∪τ₂ is a subbase for the discrete topology on X. Topological spaces $(X, τ_{X})$ and $(Y, τ_{Y})$ are called T₁-complementary provided that there exists a bijection f: X → Y such that $τ_{X}$ and $f^{- 1} (U) : U \in τ_{Y}$ are T₁-complementary topologies on X. We provide an example of a compact Hausdorff space of size $2^{}$ which is T₁-complementary to itself ( denotes the cardinality of the continuum). We prove that the existence of a compact...

$L^{p}$ -improving properties of measures of positive energy dimension

Kathryn E. Hare, Maria Roginskaya (2005)

Colloquium Mathematicae

Similarity:

A measure is called $L^{p}$ -improving if it acts by convolution as a bounded operator from $L^{p}$ to $L^{q}$ for some q > p. Positive measures which are $L^{p}$ -improving are known to have positive Hausdorff dimension. We extend this result to complex $L^{p}$ -improving measures and show that even their energy dimension is positive. Measures of positive energy dimension are seen to be the Lipschitz measures and are characterized in terms of their improving behaviour on a subset of $L^{p}$ -functions.

A two-dimensional univoque set

Martijn de Vrie, Vilmos Komornik (2011)

Fundamenta Mathematicae

Similarity:

Let J ⊂ ℝ² be the set of couples (x,q) with q > 1 such that x has at least one representation of the form $x = \sum_{i = 1}^{\infty} c_{i} q^{- i}$ with integer coefficients $c_{i}$ satisfying $0 \leq c_{i} < q$ , i ≥ 1. In this case we say that $(c_{i}) = c ₁ c ₂ . . .$ is an expansion of x in base q. Let U be the set of couples (x,q) ∈ J such that x has exactly one expansion in base q. In this paper we deduce some topological and combinatorial properties of the set U. We characterize the closure of U, and we determine its Hausdorff dimension. For (x,q) ∈ J, we also...

Boundedness of the Hausdorff operators in $H^{p}$ spaces, 0 < p < 1

Elijah Liflyand, Akihiko Miyachi (2009)

Studia Mathematica

Similarity:

Sufficient conditions for the boundedness of the Hausdorff operators in the Hardy spaces $H^{p}$ , 0 < p < 1, on the real line are proved. Two related negative results are also given.

Appendix to the article of T. Peternell: the Kodaira dimension of Kummer threefolds

Frédéric Campana, Thomas Peternell (2001)

Bulletin de la Société Mathématique de France

Similarity:

We prove that Kummer threefolds $T / G$ with algebraic dimension $0$ have Kodaira dimension 0.

Topology and measure of buried points in Julia sets

Clinton P. Curry, John C. Mayer, E. D. Tymchatyn (2013)

Fundamenta Mathematicae

Similarity:

It is well-known that the set of buried points of a Julia set of a rational function (also called the residual Julia set) is topologically “fat” in the sense that it is a dense $G_{δ}$ if it is non-empty. We show that it is, in many cases, a full-measure subset of the Julia set with respect to conformal measure and the measure of maximal entropy. We also address Hausdorff dimension of buried points in the same cases, and discuss connectivity and topological dimension of the set of buried points....

Metric Diophantine approximation on the middle-third Cantor set

Yann Bugeaud, Arnaud Durand (2016)

Journal of the European Mathematical Society

Similarity:

Let $μ \geq 2$ be a real number and let $ℳ (μ)$ denote the set of real numbers approximable at order at least $μ$ by rational numbers. More than eighty years ago, Jarník and, independently, Besicovitch established that the Hausdorff dimension of $ℳ (μ)$ is equal to $2 / μ$ . We investigate the size of the intersection of $ℳ (μ)$ with Ahlfors regular compact subsets of the interval $[0, 1]$ . In particular, we propose a conjecture for the exact value of the dimension of $ℳ (μ)$ intersected with the middle-third Cantor set and give several...

The Brouwer Fixed Point Theorem for Some Set Mappings

Dariusz Miklaszewski (2013)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

For some classes $X \subset 2^{ₙ}$ of closed subsets of the disc ₙ ⊂ ℝⁿ we prove that every Hausdorff-continuous mapping f: X → X has a fixed point A ∈ X in the sense that the intersection A ∩ f(A) is nonempty.

Hausdorff dimension of affine random covering sets in torus

Esa Järvenpää, Maarit Järvenpää, Henna Koivusalo, Bing Li, Ville Suomala (2014)

Annales de l'I.H.P. Probabilités et statistiques

Similarity:

We calculate the almost sure Hausdorff dimension of the random covering set ${lim sup}_{n \to \infty} (g_{n} + ξ_{n})$ in $d$ -dimensional torus $𝕋^{d}$ , where the sets $g_{n} \subset 𝕋^{d}$ are parallelepipeds, or more generally, linear images of a set with nonempty interior, and $ξ_{n} \in 𝕋^{d}$ are independent and uniformly distributed random points. The dimension formula, derived from the singular values of the linear mappings, holds provided that the sequences of the singular values are decreasing.

A method for evaluating the fractal dimension in the plane, using coverings with crosses

Claude Tricot (2002)

Fundamenta Mathematicae

Similarity:

Various methods may be used to define the Minkowski-Bouligand dimension of a compact subset E in the plane. The best known is the box method. After introducing the notion of ε-connected set $E_{ε}$ , we consider a new method based upon coverings of $E_{ε}$ with crosses of diameter 2ε. To prove that this cross method gives the fractal dimension for all E, the main argument consists in constructing a special pavement of the complementary set with squares. This method gives rise to a dimension formula...

Distinguished subspaces of $L_{p}$ of maximal dimension

Geraldo Botelho, Daniel Cariello, Vinícius V. Fávaro, Daniel Pellegrino, Juan B. Seoane-Sepúlveda (2013)

Studia Mathematica

Similarity:

Characteristic points, rectifiability and perimeter measure on stratified groups

Valentino Magnani (2006)

Journal of the European Mathematical Society

Similarity:

We establish an explicit connection between the perimeter measure of an open set $E$ with $C^{1}$ boundary and the spherical Hausdorff measure $S^{Q - 1}$ restricted to $\partial E$ , when the ambient space is a stratified group endowed with a left invariant sub-Riemannian metric and $Q$ denotes the Hausdorff dimension of the group. Our formula implies that the perimeter measure of $E$ is less than or equal to $S^{Q - 1} (\partial E)$ up to a dimensional factor. The validity of this estimate positively answers a conjecture raised by Danielli,...

Strong bifurcation loci of full Hausdorff dimension

Thomas Gauthier (2012)

Annales scientifiques de l'École Normale Supérieure

Similarity:

In the moduli space $ℳ_{d}$ of degree $d$ rational maps, the bifurcation locus is the support of a closed $(1, 1)$ positive current $T_{bif}$ which is called the bifurcation current. This current gives rise to a measure $μ_{bif} : = {(T_{bif})}^{2 d - 2}$ whose support is the seat of strong bifurcations. Our main result says that $supp (μ_{bif})$ has maximal Hausdorff dimension $2 (2 d - 2)$ . As a consequence, the set of degree $d$ rational maps having $(2 d - 2)$ distinct neutral cycles is dense in a set of full Hausdorff dimension.

Inhomogeneous Diophantine approximation with general error functions

Lingmin Liao, Michał Rams (2013)

Acta Arithmetica

Similarity:

Let α be an irrational and φ: ℕ → ℝ⁺ be a function decreasing to zero. Let $ω (α) : = s u p θ \geq 1 : l i m i n f_{n \to \infty} n^{θ} | | n α | = 0$ $. F o r a n y α w i t h a g i v e n ω (α), w e g i v e s o m e s h a r p e s t i m a t e s f o r t h e H a u s d o r f f d i m e n s i o n o f t h e s e t$ $E_{φ} (α)$ := y ∈ ℝ: ||nα -y|| < φ(n) for infinitely many n, where ||·|| denotes the distance to the nearest integer.

Lipschitz equivalence of graph-directed fractals

Ying Xiong, Lifeng Xi (2009)

Studia Mathematica

Similarity:

This paper studies the geometric structure of graph-directed sets from the point of view of Lipschitz equivalence. It is proved that if ${E_{i}}_{i}$ and ${F_{j}}_{j}$ are dust-like graph-directed sets satisfying the transitivity condition, then $E_{i ₁}$ and $E_{i ₂}$ are Lipschitz equivalent, and $E_{i}$ and $F_{j}$ are quasi-Lipschitz equivalent when they have the same Hausdorff dimension.

The growth speed of digits in infinite iterated function systems

Chun-Yun Cao, Bao-Wei Wang, Jun Wu (2013)

Studia Mathematica

Similarity:

Let ${f ₙ}_{n \geq 1}$ be an infinite iterated function system on [0,1] satisfying the open set condition with the open set (0,1) and let Λ be its attractor. Then to any x ∈ Λ (except at most countably many points) corresponds a unique sequence ${a ₙ (x)}_{n \geq 1}$ of integers, called the digit sequence of x, such that $x = l i m_{n \to \infty} f_{a ₁ (x)} \circ \dots \circ f_{a ₙ (x)} (1)$ . We investigate the growth speed of the digits in a general infinite iterated function system. More precisely, we determine the dimension of the set $x \in Λ : a ₙ (x) \in B (\forall n \geq 1), l i m_{n \to \infty} a ₙ (x) = \infty$ for any infinite subset B ⊂ ℕ, a question posed by...

Well-posedness of optimization problems and Hausdorff metric on partial maps

Alessandro Caterino, Rita Ceppitelli, Ľubica Holà (2006)

Bollettino dell'Unione Matematica Italiana

Similarity:

The object of this paper is the Hausdorff metric topology on partial maps with closed domains. This topological space is denoted by $(\mathcal{P},H_{\rho})$ . An equivalence of well-posedness of constrained continuous problems is proved. By using the completeness of the Hausdorff metric on the space of usco maps with moving domains, the complete metrizability of $(\mathcal{P},H_{\rho})$ is investigated.

Some Čebyšev sets with dimension d + 1 in hyperspaces over $ℝ^{d}$

R. J. MacG. Dawson (2009)

Banach Center Publications

Similarity:

A Čebyšev set in a metric space is one such that every point of the space has a unique nearest neighbour in the set. In Euclidean spaces, this property is equivalent to being closed, convex, and nonempty, but in other spaces classification of Čebyšev sets may be significantly more difficult. In particular, in hyperspaces over normed linear spaces several quite different classes of Čebyšev sets are known, with no unifying description. Some new families of Čebyšev sets in hyperspaces are...

The degree of approximation by Hausdorff means of a conjugate Fourier series

Sergiusz Kęska (2016)

Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica

Similarity:

The purpose of this paper is to analyze the degree of approximation of a function $\bar{f}$ that is a conjugate of a function $f$ belonging to the Lipschitz class by Hausdorff means of a conjugate series of the Fourier series.

Non-Typical Points for β-Shifts

David Färm, Tomas Persson (2013)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We study sets of non-typical points under the map $f_{β} \mapsto β x$ mod 1 for non-integer β and extend our results from [Fund. Math. 209 (2010)] in several directions. In particular, we prove that sets of points whose forward orbit avoid certain Cantor sets, and the set of points for which ergodic averages diverge, have large intersection properties. We observe that the technical condition β > 1.541 found in the above paper can be removed.