The tag has no wiki summary.

learn more… | top users | synonyms

0
votes
3answers
120 views

When Banach indicatrix is measurable?

Let $f:X\to Y$ is a measurable function. Banach indicatrix $$ N(y,f) = \#\{x\in X \mid f(x) = y\} $$ is the number of the pre-images of $y$ under $f$. If there are infinitely many pre-images then ...
8
votes
1answer
137 views

Best Hölder exponents of surjective maps from the unit square to the unit cube

The Peano's square-filling curve $p:I\to I^2$ turn's out to be Hölder continuous with exponent $1/2$ on the unit interval $I$ (a quick way to see it, is to note that $p$ is a fixed point of a ...
1
vote
1answer
126 views

Singularities in minimal surfaces [closed]

There is a theorem by Jean Taylor that says that an almost minimal set in $\mathbb{R}^3$ can be locally parametrize by the only three possible minimal cones in $\mathbb{R}^3$, the plane, an $Y$ times ...
0
votes
1answer
110 views

Probability Content of a random ball in R^n

As a follow up to this question, concerning this paper: Given random variables $X_1,\ldots,X_N,X_q:\Omega\rightarrow\mathbb{R}^d$, where $X_1,\ldots,X_N$ are independent and identical distributed. ...
4
votes
1answer
180 views

Hausdorff measure of the graph

Is there any example of a real valued function on the real line whose domain has Lebesgue measure zero but the graph (in the plane) has positive one dimensional Hausdorff measure? Of course if such ...
4
votes
2answers
166 views

How can dimension depend on the point?

Let $M$ be a metric space. For any subset $A\subset M$ let $\dim(A)$ denote its Hausdorff dimension. For $x\in M$, define the dimension of $M$ at $x$ by $\dim(x)=\lim_{r\to0}\dim(B(x,r))$; this limit ...
0
votes
0answers
55 views

Derivative of Log_p map

If $\mathscr{M}$ is a $(d-dimensional)$ Riemann Manifold and $p$ is a point therein. What is the derivative of $Log_p$ function?
2
votes
2answers
73 views

understanding the average height of a unit hyper-semisphere

According to my calculations, the average height of the unit hyper-hemisphere in $\mathbb{R}^n$ is given by the formula $$h_n:=\frac{S_{n-2}}{V_{n-2}} \int_{r=0}^1 r^{n-2} \sqrt{1-r^2} dr$$ where ...
1
vote
0answers
47 views

How often can a single length occur as a boundary distance?

Given a bounded domain $\Omega\subset\mathbb R^n$ ($n\geq2$), how often can a single real number $r>0$ appear as a distance of two points on $\partial\Omega$? We can make any assumptions about the ...
11
votes
2answers
490 views

What is the Hausdorff dimension of this fractal?

Let $\sum_{i=h}^\infty d_i/b^i $ be the base $b$ representation of $x \geq 0,$ where $b>1$ and the $d_i$ are uniquely determined by the greedy algorithm. For fixed $c>1,$ let $f(x)= ...
3
votes
1answer
45 views

Subsets of sets of positive Hausdorff dimension with controlled upper Minkowski dimension

Call a Borel set $A \subseteq [0,1]$ good if $$0 < \dim(A) \leq \overline{\dim_\text{M}}(A) < 2 \dim(A),$$ where $\dim(A)$ is the Hausdorff dimension of $A$ and $\overline{\dim_\text{M}}(A)$ is ...
1
vote
1answer
73 views

“Schwarz symmetrization” on annulus

If $\Omega=\{x\in \mathbb R^n| 0<r_0<|x|<r_1\}$ is an annulus on $\mathbb R^n$, I am looking for a symmetrization result on $\Omega$. To be precise, for any $u \in W_0^{1,2}(\Omega)$, can we ...
1
vote
0answers
61 views

Method of proving the regularity of the minimizer of geometric variational problems

Recall the proof of the $(\Lambda,r_0)$-perimeter minimizer. We say that $E$ is a $(\Lambda,r_0)$-perimeter minimizer in an open set A provided $sptD\chi_E=\partial E$ and there exist two constants ...
0
votes
0answers
69 views

Must the Lebesgue measure of a $\rho$ - neighbourhood of an $(n-2)$ - dimensional set be at least $c\rho^2$?

The Lebesgue measure of a $\rho$-neighbourhood of a point in $\mathbb{R}^2$ is of course equal to $c\rho^2$. Similar such considerations in higher dimensions lead me to the following question: Given ...
7
votes
3answers
202 views

Set with small internal radius, small perimeter and prescribed area

Given a regular set $E\subset \mathbb R^2$ define $$ R(E) = \sup\{r\colon \exists x,\ B(x,r)\subseteq E\} $$ to be the radius of the largest circle contained in $E$ and let $|\partial E|$ be the ...
1
vote
0answers
90 views

Does Newtonian capacity increase strictly when mass is spread?

We start with two disjoint compact sets A and B with positive capacities. Then, we translate B s.t. $B+rv$ is disjoint from A and B and ,more importantly, $dist(x,y)<dist(x,y+rv)$ for all $x\in A$ ...
4
votes
1answer
119 views

Calculate Hausdorff measure with Frostman measures

Fix a metrix space $(X,d)$ and consider the Hausdorff (outer) measures $\mathcal{H}^s$ on $X$. A Frostman measure on $X$ is a finite Borel measure $\mu$ such that there exists $C,t,r_0>0$ with ...
3
votes
1answer
184 views

The relation between Hausdorff dimension of an $n$-manifold and $n$

It is known that for a topological space with different metrics, the Hausdorff dimensions may not be equal in general. For the case of manifolds, suppose $M$ is a $n$-manifold with a ...
2
votes
0answers
39 views

sets with positive reach with complementary set with positive reach

I am interested in bibliographical references about a special class of sets, those who have positive reach and which complementary has also positive reach. I recall that the reach $R\geq 0$ of a set ...
0
votes
0answers
45 views

Is the blowing up the rectifiable set cone?

Let $M$ be a rectifiable set in $\mathbb{R}^N$. For any point $p\in M$, is the following true?: $\lambda_i M$ subconverges to a cone in $p$ for $\lambda_i\to\infty$, i.e. $(\lambda_i M)\cap B(p,R)$ ...
1
vote
1answer
45 views

Convergent algorithm for dividing a body into two regions of equal volume

Let $\Omega \subset R^3$ be a bounded open region. It is well known that there exists a smooth surface $\Gamma$ with minimum area and constant mean curvature which is orthogonal to $\partial \Omega$ ...
2
votes
0answers
81 views

Besicovitch's covering theorem for ellipsoids and shadows

The usual Besicovitch's covering theorem concerns closed balls in $\mathbb{R}^d$. It relies on a property called "directionally limited metric space": the principal ingredient is to say that there ...
5
votes
1answer
142 views

Averaging maps of Riemannian manifolds

Let $M$ be a compact Riemannian manifold. We know how to average functions $f\colon M\to {\mathbb R}$; the integral $\frac{\int_M f}{\int_M 1}$ returns a value in ${\mathbb R}$. If intead $f\colon ...
6
votes
1answer
210 views

Precise density estimates for Cantor sets

Let $C_\lambda$ be the classical Cantor set associated to a real number $0<\lambda<\frac{1}{2}$, as defined for example in the book of K. J. Falconer The geometry of fractal sets. I recall ...
5
votes
2answers
208 views

Stability of minimal surfaces

Let $\Gamma$ be a prescribed $n-2$ dimensional set and assume $S \subset R^n$ is a minimal hyper-surface with respect to some smooth metric $g$ on $R^n$, and $\partial S= \Gamma$. Is $S$ is stable ...
0
votes
0answers
74 views

existence of locally translation-invariant Borel measure on Frechet manifolds

It is well known that the only locally finite, translation-invariant Borel measure on an infinite-dimensional, separable Frechet space is the trivial measure. I am wondering about an analogous ...
3
votes
0answers
137 views

Hausdorff densities

I've been stuck on this one for a while now. Given an $\mathcal{H}^{s}$ measurable subset $E\subset \mathbb{R}^n$ with $0<\mathcal{H}^{s}(E)<\infty$, we let $\overline{D}^{s}(E,x)$ denote the ...
0
votes
1answer
175 views

Aronszajn measure

In a geometric measure theory (GMT) course I'm following this year, the professor told us about the Aronszajn measure, and asked us to go check by ourselves what it reprensents (the course was about ...
1
vote
1answer
94 views

Is it true that $ H^{n-1} (spt \mu _E - \partial ^{*}E)=0 ?$

In Federer's Theorem, $ H^{n-1} (\partial ^{m}E - \partial ^{*}E)=0 $, where $E$ is a set of finite perimeter in $ \mathbb R^n $, $\partial ^{e}E$ is the essential boundary of E, and $\partial ^{*}E$ ...
12
votes
1answer
465 views

Open problems in Federer's Geometric Measure Theory

I wanted to know if the problems mentionned in this book are solved. More specifically, at some places, the author says that he doesn't know the answer, for example :"I do not know whether this ...
3
votes
1answer
128 views

Wiener measure of hitting sets A,B but not C (or easier hitting A but not C)

I am trying to formulate the measure of event $E=\{B[0\infty)\cap A,B \neq \varnothing$ and $B[0\infty)\cap C= \varnothing\}$, where $B[0\infty)$ is a Brownian path and $A,B,C$ are pairwise ...
6
votes
1answer
289 views

Geometric measures different from Hausdorff

$\newcommand{\RR}{\mathbb{R}}\newcommand{\calF}{\mathcal{F}}\newcommand{\diam}{\mathrm{diam}}$ In geometric measure theory there are various notions of $m$-dimensional measure for sets $A\subset ...
2
votes
0answers
59 views

Probability of hitting a Borel set by transient Brownian motion ($d\geq 3$)

I am looking for references/progress made in estimating the hitting probability for Borel sets. For spheres we have $P_{x}(T_{B_{r}(0)}<\infty)=(\frac{|r|}{|x|})^{d-2}$, where $x=B_{0}$ for ...
3
votes
1answer
250 views

An integral estimate over rotations of the dyadic grid

I'm currently reading the paper Rectifiable Sets and the Traveling Salesman Problem (link) by Peter Jones (Invent. math. 102, 1-15 (1990)), and am having trouble understanding an integral estimate ...
1
vote
1answer
114 views

Regularity of intersection of Lipschitz boundaries

I am interested in the regularity of the "$n-1$ dimensional boundary" of the intersection of two Lipschitz boundaries, in particular I would like to know if this boundary always has zero $n-1$ ...
2
votes
0answers
77 views

isoperimetric problems on Alexandrov spaces

For an Alexandrov space M with curvature bounded from below, the isoperimetric profile $v \to I_M(v)$ defined for every $v\in (0,V(M))$ (the volume of M might be infinite), is given by $$ ...
8
votes
1answer
266 views

Besicovitch Covering Lemma on Manifolds

The classical Besicovitch covering lemma (BCL) asserts that for any $d \geq 1$, there is a constant $N(d)$ with the following property. If $A \subset \mathbb{R}^d$ is any subset and $r : A \to (0,R]$ ...
2
votes
1answer
128 views

The Mahler conjecture and non-zonoidal 3-polytopes (4-polytopes)

I have been working on the Mahler conjecture for over a year now and have made some progress for certain classes of convex polytopes and I'm now attempting to write up my results specified to ...
2
votes
0answers
142 views

Convex functions with non-singular hessian measure are continuously differentiable?

It is known that every convex function $f: \Omega\to \mathbb{R}$, $\Omega$ convex subset of $\mathbb{R}^n$, has a weak derivative of bounded variation $Df\in BV_{loc}(\mathbb{R}^n)$ (e.g. Evans and ...
3
votes
2answers
149 views

Perimeter of a 'trapped' convex set

Consider the following setup: three bounded, 'nice' convex sets $A \subseteq B \subsetneq C \subset \mathbb{R}^2$, and three points $x,y,z\in \partial A\cap \partial B\cap \partial C$ (see edit ...
3
votes
1answer
152 views

Is the countable intersection of residual sets in [0,1] with Hausdorff dimension 1 of full Hausdorff dimension?

Let $E_k\subset [0,1]$ be residual subsets (i.e. containing dense $G_\delta $ set) with $E_{k+1}\subset E_k$ and $\dim_HE_k=1, \forall k.$ My question is : $\dim_H\bigcap_k E_k=1?$ Thanks.
10
votes
4answers
557 views

Does the centroid depend continuously on the curve?

Let $\gamma$ be a piecewise smooth curve in $\mathbb{R}^n$. Recall that the centroid of $\gamma$ is the point $(\overline{x}, \overline{y})$ where $\overline{x}$ is the average value of $x$ on ...
1
vote
1answer
113 views

Two equivalent measures on the real Grassmannians?

Denote by $G(n,k)$ the real Grassmannian, the set of $k$-dimensional subspaces of $\mathbb{R}^n$. It is a topological space, even metrizable (see A metric for Grassmannians), and so it is a ...
5
votes
2answers
273 views

Can Hausdorff dimension make sets into a Tropical Semiring?

If $X$ is a metric space, we construct Hausdorff $d$ measure from the outer measure \begin{equation} H^d(U) = \lim_{\delta \to 0}\inf\left\{\sum_{i=1}^\infty \left(\text{diam}(E_i)\right)^d : ...
2
votes
0answers
58 views

Measure of points with small neighborhood in convex bodies

Let $K \subseteq \mathbb{R}^n$ be a "fat" convex body, i.e. one that contains a ball of radius 1. I'm interested in the following question about points $y \in K$: If you take a normally distributed $e ...
1
vote
0answers
204 views

Brakke's theorem for gap in entropy between self-shrinkers

In their paper The round sphere minimizes entropy among closed self shrinkers, Colding-Ilmanen-Minicozzi-White state "It follows from Brakke's theorem that $\mathbb{R}^n$ has the least entropy of any ...
1
vote
1answer
135 views

Is the speed of a curve in $ \ell^\infty $ zero a.e. if the derivative of each component is zero a.e.?

Let $ A $ be an $ \mathcal{H}^1$-measurable subset of $ \mathbb{R} $ and $ \gamma \colon A \subseteq \mathbb{R} \to \ell^\infty $ be a Lipschitz mapping with the Lipschitz constant $ L $. Also, assume ...
14
votes
1answer
417 views

Lower-Hölder embeddings of the sphere

My question is very simple: Given $d\ge 3$, does there exist $s\in (0,1)$ and an embedding $f:S^{d-1}\to \mathbb{R}^d$ such that $$ |f(x)-f(y)| \ge |x-y|^s \quad\textrm{if } |x-y|<r, $$ for ...
2
votes
1answer
118 views

Compact Riemannian manifold with maximum average distance

Given a compact connected Riemannian $2$-manifold $M$ with positive curvature (thus by Gauß-Bonnet, $M$ is diffeomorphic to a 2-sphere) and diameter 1, what is the supremum (as $M$ varies over all ...
2
votes
1answer
126 views

Function from a compact metric space to the subsets of the naturals

Let $X$ be a compact metric space, and $\mu$ a Borel probability measure. For $S\subset\mathbb{N}$ we denote the upper density with $\overline{D}(S).$ Let $f:X\rightarrow2^{\mathbb{N}}$ be a ...