The Hausdorff Dimension Distribution of Finite Measures in Euclidean Space

1986 ◽  
Vol 38 (6) ◽  
pp. 1459-1484 ◽  
Author(s):  
Colleen D. Cutler

Let E be a Borel set of RN. The α-outer Hausdorff measure of E has been defined to bewhereand each Bi is a closed ball. d(Bi) denotes the diameter of Bi.It is easily seen that the same value Hα(E) is obtained if we consider coverings of E by open balls or by balls which may be either open or closed.By dim(E) we will mean the usual Hausdorff-Besicovitch dimension of E, where

1985 ◽  
Vol 26 (2) ◽  
pp. 115-120 ◽  
Author(s):  
Murali Rao

Let D be a domain in Euclidean space of d dimensions and K a compact subset of D. The well known Harnack inequality assures the existence of a positive constant A depending only on D and K such that (l/A)u(x)<u(y)<Au(x) for all x and y in K and all positive harmonic functions u on D. In this we obtain a global integral version of this inequality under geometrical conditions on the domain. The result is the following: suppose D is a Lipschitz domain satisfying the uniform exterior sphere condition—stated in Section 2. If u is harmonic in D with continuous boundary data f thenwhere ds is the d — 1 dimensional Hausdorff measure on the boundary ժD. A large class of domains satisfy this condition. Examples are C2-domains, convex domains, etc.


2019 ◽  
Vol 40 (12) ◽  
pp. 3217-3235 ◽  
Author(s):  
AYREENA BAKHTAWAR ◽  
PHILIP BOS ◽  
MUMTAZ HUSSAIN

Let $\unicode[STIX]{x1D6F9}:[1,\infty )\rightarrow \mathbb{R}_{+}$ be a non-decreasing function, $a_{n}(x)$ the $n$th partial quotient of $x$ and $q_{n}(x)$ the denominator of the $n$th convergent. The set of $\unicode[STIX]{x1D6F9}$-Dirichlet non-improvable numbers, $$\begin{eqnarray}G(\unicode[STIX]{x1D6F9}):=\{x\in [0,1):a_{n}(x)a_{n+1}(x)>\unicode[STIX]{x1D6F9}(q_{n}(x))\text{ for infinitely many }n\in \mathbb{N}\},\end{eqnarray}$$ is related with the classical set of $1/q^{2}\unicode[STIX]{x1D6F9}(q)$-approximable numbers ${\mathcal{K}}(\unicode[STIX]{x1D6F9})$ in the sense that ${\mathcal{K}}(3\unicode[STIX]{x1D6F9})\subset G(\unicode[STIX]{x1D6F9})$. Both of these sets enjoy the same $s$-dimensional Hausdorff measure criterion for $s\in (0,1)$. We prove that the set $G(\unicode[STIX]{x1D6F9})\setminus {\mathcal{K}}(3\unicode[STIX]{x1D6F9})$ is uncountable by proving that its Hausdorff dimension is the same as that for the sets ${\mathcal{K}}(\unicode[STIX]{x1D6F9})$ and $G(\unicode[STIX]{x1D6F9})$. This gives an affirmative answer to a question raised by Hussain et al [Hausdorff measure of sets of Dirichlet non-improvable numbers. Mathematika 64(2) (2018), 502–518].


Author(s):  
P. A. P. Moran

Consider bounded sets of points in a Euclidean space Rq of q dimensions. Let h(t) be a continuous increasing function, positive for t>0, and such that h(0) = 0. Then the Hausdroff measure h–mE of a set E in Rq, relative to the function h(t), is defined as follows. Let ε be a small positive number and suppose E is covered by a finite or enumerably infinite sequence of convex sets {Ui} (open or closed) of diameters di less than or equal to ε. Write h–mεE = greatest lower bound for any such sequence {Ui}. Then h–mεE is non-decreasing as ε tends to zero. We define


2015 ◽  
Vol 158 (3) ◽  
pp. 419-437 ◽  
Author(s):  
BAO-WEI WANG ◽  
JUN WU ◽  
JIAN XU

AbstractWe generalise the mass transference principle established by Beresnevich and Velani to limsup sets generated by rectangles. More precisely, let {xn}n⩾1 be a sequence of points in the unit cube [0, 1]d with d ⩾ 1 and {rn}n⩾1 a sequence of positive numbers tending to zero. Under the assumption of full Lebesgue measure theoretical statement of the set \begin{equation*}\big\{x\in [0,1]^d: x\in B(x_n,r_n), \ {{\rm for}\, {\rm infinitely}\, {\rm many}}\ n\in \mathbb{N}\big\},\end{equation*} we determine the lower bound of the Hausdorff dimension and Hausdorff measure of the set \begin{equation*}\big\{x\in [0,1]^d: x\in B^{a}(x_n,r_n), \ {{\rm for}\, {\rm infinitely}\, {\rm many}}\ n\in \mathbb{N}\big\},\end{equation*} where a = (a1, . . ., ad) with 1 ⩽ a1 ⩽ a2 ⩽ . . . ⩽ ad and Ba(x, r) denotes a rectangle with center x and side-length (ra1, ra2,. . .,rad). When a1 = a2 = . . . = ad, the result is included in the setting considered by Beresnevich and Velani.


1994 ◽  
Vol 116 (3) ◽  
pp. 513-526 ◽  
Author(s):  
Yuval Peres

AbstractWe show that the self-affine sets considered by McMullen in [11] and by Bedford in [1] have infinite Hausdorff measure in their dimension, except in the (rare) cases where the Hausdorff dimension coincides with the Minkowski (≡ box) dimension. More precisely, the Hausdorff measure of such a self-affine set K is infinite in the gauge(where γ is the Hausdorff dimension of K, and c > 0 is small). The Hausdorff measure of K becomes zero if 2 is replaced by any smaller number in the formula for the gauge ø.


1977 ◽  
Vol 81 (3) ◽  
pp. 377-385 ◽  
Author(s):  
R. C. Baker

1. Introduction. Throughout the paper θ = (θ1, …, θn), φ = (φ1, …, φn), … denote points of Euclidean space Rn. We write Kn for the set of θ in Rn for which θl, …, θn, 1 are linearly independent over the rational numbers. We denote points of the set of integer n-tuples Zn by x, y, … We writeIf α is a real number, ∥α∥ denotes the distance from α to the nearest integer.Let θ ∈ Rn. By a theorem of Dirichlet ((2), chapter 1, theorem VI).for all X ≥ 1. We say that θ is singular ifSingular points form a set of n-dimensional Lebesgue measure zero. In fact, H. Davenport and W. M. Schmidt (3) showed thatfor almost all θ in Rn. Although there are no singular numbers in Kl ((2), p. 94) there are ‘highly singular’ n-tuples in Kn for n ≥ 2.


Author(s):  
Daniel C. Alvey

We show that affine subspaces of Euclidean space are of Khintchine type for divergence under certain multiplicative Diophantine conditions on the parameterizing matrix. This provides evidence towards the conjecture that all affine subspaces of Euclidean space are of Khintchine type for divergence, or that Khintchine’s theorem still holds when restricted to the subspace. This result is proved as a special case of a more general Hausdorff measure result from which the Hausdorff dimension of [Formula: see text] intersected with an appropriate subspace is also obtained.


2018 ◽  
Vol 2020 (19) ◽  
pp. 5797-5813 ◽  
Author(s):  
Tuomas Orponen ◽  
Laura Venieri

Abstract For $e \in S^{2}$, the unit sphere in $\mathbb{R}^3$, let $\pi _{e}$ be the orthogonal projection to $e^{\perp } \subset \mathbb{R}^{3}$, and let $W \subset \mathbb{R}^{3}$ be any $2$-plane, which is not a subspace. We prove that if $K \subset \mathbb{R}^{3}$ is a Borel set with $\dim _{\textrm{H}} K \leq \tfrac{3}{2}$, then $\dim _{\textrm{H}} \pi _{e}(K) = \dim _{\textrm{H}} K$ for $\mathcal{H}^{1}$ almost every $e \in S^{2} \cap W$, where $\mathcal{H}^{1}$ denotes the one-dimensional Hausdorff measure and $\dim _{\textrm{H}}$ the Hausdorff dimension. This was known earlier, due to Järvenpää, Järvenpää, Ledrappier, and Leikas, for Borel sets $K$ with $\dim _{\textrm{H}} K \leq 1$. We also prove a partial result for sets with dimension exceeding $3/2$, improving earlier bounds by D. Oberlin and R. Oberlin.


1992 ◽  
Vol 111 (3) ◽  
pp. 577-584 ◽  
Author(s):  
R. C. Baker

Let n be a natural number, with n ≥ 2. Let Kn denote the set of θ in Euclidean space Rn for which θ1, …, θn, 1 are linearly independent over the rational numbers. We denote points of the set of integer n-tuples Zn by x, y,…. We writeInner product is denoted by θø. In Rl, ‖θ‖ denotes distance to the nearest integer.


2020 ◽  
Vol 0 (0) ◽  
Author(s):  
Matteo Focardi ◽  
Emanuele Spadaro

AbstractBuilding upon the recent results in [M. Focardi and E. Spadaro, On the measure and the structure of the free boundary of the lower-dimensional obstacle problem, Arch. Ration. Mech. Anal. 230 2018, 1, 125–184] we provide a thorough description of the free boundary for the solutions to the fractional obstacle problem in {\mathbb{R}^{n+1}} with obstacle function φ (suitably smooth and decaying fast at infinity) up to sets of null {{\mathcal{H}}^{n-1}} measure. In particular, if φ is analytic, the problem reduces to the zero obstacle case dealt with in [M. Focardi and E. Spadaro, On the measure and the structure of the free boundary of the lower-dimensional obstacle problem, Arch. Ration. Mech. Anal. 230 2018, 1, 125–184] and therefore we retrieve the same results:(i)local finiteness of the {(n-1)}-dimensional Minkowski content of the free boundary (and thus of its Hausdorff measure),(ii){{\mathcal{H}}^{n-1}}-rectifiability of the free boundary,(iii)classification of the frequencies and of the blowups up to a set of Hausdorff dimension at most {(n-2)} in the free boundary.Instead, if {\varphi\in C^{k+1}(\mathbb{R}^{n})}, {k\geq 2}, similar results hold only for distinguished subsets of points in the free boundary where the order of contact of the solution with the obstacle function φ is less than {k+1}.


Sign in / Sign up

Export Citation Format

Share Document