All Questions
Tagged with geometric-measure-theory measure-theory
252 questions
1
vote
1
answer
183
views
Metric currents on singular measures in $\mathbb R^d$
Unless I am misunderstanding a lot of works, it is my understanding that a finite and non negative measure $\mu=g\mathcal{H}^\alpha$, where $\mathcal{H}^\alpha$ is the $\alpha$-Haudorff measure, ...
- 391
3
votes
1
answer
227
views
"Essential values" of a function at a point?
Recall that the essential range $\operatorname{ess.im} f$ of a measurable function $f \in L^\infty(\mathbb{R})$ is a compact set. Denote by $f_k$ the restriction of $f$ to the interval $[-1/k,1/k]$, ...
- 981
1
vote
0
answers
51
views
Questions about shear transformations
I am interested in the following shear transformation $T$, which is the linear transformation on $\mathbb{R}^n$ such that the $n$ by $n$ matrix representation is given by $T = I_n + ce_n e_1^{\perp}$ ...
- 83
12
votes
2
answers
866
views
Sets that project to zero measure on all lines except one
It is a (difficult) exercise to show that there exists a measurable set $E \subset [0,1]^2$ (necessarily with zero 2-dimensional Lebesgue measure) such that the projection on every line passing ...
- 355
2
votes
2
answers
154
views
Domains of type (A) are Lipschitz?
In this article and in the book of Ladyzhenskaya et al (1968) - Linear and Quasilinear Elliptic Equations we have the following definition of what is a domain of type (A):
There is no example of a ...
- 1,759
1
vote
0
answers
87
views
Hausdorff distance and Hausdorff measure of symmetric difference
Let $X_n$ be a sequence of $k$-dimensional piecewise smooth submanifolds of $\mathbb{R}^m$, converging in Hausdorff distance to a $k$-dimensional piecewise smooth submanifold $Y \subset \mathbb{R}^m$, ...
- 11
2
votes
0
answers
29
views
Steiner symmetrization of smooth function on non-simply connected regions
Given a smooth function $u$ defined on $\mathbb{R}^2$, restrict $u$ to a subset $\Omega \subset \mathbb{R}^2$ (possibly not simply connected) foliated by level sets of a smooth function $\psi: \Omega \...
- 434
7
votes
1
answer
152
views
Higher (BV) regularity of solutions to Poisson equation with Radon measure right-hand side?
I am trying to understand higher regularity for solutions to Poisson's equation when the right-hand side is a Radon measure. In particular:
$$\begin{cases}
\Delta u = \mu \text{ in } \Omega\\
u = 0\...
- 221
1
vote
2
answers
101
views
Ratio of Gaussian measure over Euclidean balls
Let $\nu\in\mathcal P(\mathbf R^d)$ be the standard Gaussian distribution $\mathcal N(0,I_d)$.
Denote by $\mathscr B$ the class of Euclidean balls $B_r(x)$ (centered in $x\in\mathbf R^d$ with radius $...
- 11
1
vote
1
answer
204
views
A question on Borel measurability
Let $(X, \mathcal{B}_{X}, \mu)$ be a measure space. Here, $\mu$ is an infinite Borel measure and $\mu$ is not $\sigma$-finite. Let $\pi$ be surjective Borel measurable map form $(X, \mathcal{B}_{X}, \...
- 11
3
votes
1
answer
101
views
How to check that the surface measure is the weak limit of $\delta^{-1}\mathcal{L}^n|_{B(0,1+\delta)\setminus B(0,1)}$?
We denote the unit sphere $\{x\in\mathbb{R}^n:|x|=1\}$ by $S^{n-1}.$ If $x\in\mathbb{R}^n\setminus\{0\}$, the polar coordinates of $x$ are
\begin{align*}
r=|x|\in(0,\infty),\quad \gamma=\dfrac x{|...
- 207
7
votes
2
answers
448
views
Uncountable collections of distinct subsets of an interval (existence)
Throughout, $\mu$ is just the Lebesgue measure.
Question: does there exist an uncountable family of distinct subsets of $[-1, 1]$, denoted by $(U_j)_{j \in [-1, 1]}$, with $\mu(U_j) > 0$ for each $...
- 101
1
vote
1
answer
168
views
About the sigma algebra generated by the Hausdorff measure on $\mathbb R^n$
Let $\mathcal{H}^k$ be the $k-$dimensional Hausdorff measure on $\mathbb R^n$, with $k \in \{1, \ldots n\}$. By Carathéodory's theorem we know that there exists a sigma algebra $\mu(\mathcal{H}^k)$ of ...
- 119
1
vote
1
answer
181
views
For proper group action on closed Riemannian manifold, must the union of orbits with non-unique closest points to a given point be of 0 volume measure
Let $(M,g)$ be a closed (compact without boundary) Riemannian manifold of finite dimension, with the volume measure $\mu:= \mu(E):=\int_{E}d\operatorname{vol}_g \forall E \in \mathcal{B}(M),$ the ...
- 1,467
3
votes
1
answer
199
views
Product of low dimensional Hausdorff measures
Let $\mathcal{H}^n$ and $\mathcal{H}^m$ be Hausdorff measures on $\mathbb{R}^n$ and $\mathbb{R}^m$. We know that the product measure $\mathcal{H}^n\otimes \mathcal{H}^m$ is the Hausdorff measure $\...
- 73
2
votes
1
answer
128
views
On the existence of a complicated fractal-like set of finite perimeter
Let $f\in BV(\Bbb R^n)$ be an integer-valued function that maps into $\{0, 1\}$ and is identically $0$ outside some bounded set in $\Bbb R^n$. In particular, $f$ determines a bounded Caccioppoli set $...
- 1,245
2
votes
0
answers
91
views
Measurability of the union of cut loci along a curve
Let $(M,g)$ be a Riemannian symmetric space and $\alpha(s)$ be a geodesic. Define
$$
U(t)=\cup_{s\in[0,t]}{\rm Cut}(\alpha(s))
$$
as the union of the cut loci ${\rm Cut}(\alpha(s))$ along the curve $\...
- 125
2
votes
0
answers
151
views
$\mathscr{H}^{n-2}(\Sigma)< \infty$ implies $\mathscr{H}^{n-1}(\pi(\Sigma))=0$
Let $\Sigma\subset \mathbb{R}^{n+1}$ be a set with $(n-2)$-dimensional Hausdorff measure finite, i.e. $\mathscr{H}^{n-2}(\Sigma)<\infty$. Let $\pi:\mathbb{R}^{n+1}\to \mathbb{R}^n$ be the ...
- 1,149
0
votes
0
answers
94
views
When can an affine functional on the dual be represented as an element of a Banach space?
In Measures Which Agree on Balls by Hoffmann-Jørgenson, we are given a functional $\varphi: T(x_0)\to (-\infty, \infty]$, which is a lower semicontinuous, affine, Baire function on a subspace $T(x_0)$ ...
- 297
1
vote
2
answers
115
views
Computation of tangent functional
In Measures Which Agree on Balls by Hoffmann-Jørgenson, the tangent functional is defined as follows.
If $x \in S$, we define the tangent functional $\tau(x,\cdot)$ at $x$ as
\begin{equation}
\...
- 297
1
vote
1
answer
342
views
Gateaux differentiability of the norm in Banach spaces
I'm struggling to understand a particular implication in the proof of Corollary 5 of this paper involving Gateaux differentiability of the norm. The claim is that Gateaux differentiability of the norm ...
- 297
1
vote
1
answer
87
views
Potentially elementary question on affine functions on Banach spaces
In Measures Which Agree On Balls by Hoffmann-Jørgensen, it is claimed that the function defined on $T(x)$, the set of normals to the unit sphere at $x$, given by
$ \varphi(x^*) = \left\{
\begin{array}{...
- 297
-1
votes
1
answer
132
views
What is an "open Baire set"?
In Measures Which Agree on Balls by Hoffmann-Jørgensen, it is stated that if $\varphi$ is a Baire function (which I presume means a pointwise limit of continuous functions), then $\{a<\varphi\}$ is ...
- 297
25
votes
1
answer
3k
views
A gerrymandering problem - can you always turn a tie into a landslide victory?
Note: Here we use $|A|$ to denote the Lebesgue measure of a measurable subset $A$ of $\mathbb R^2$.
Your party is running for election! In your country, voters are approximately uniformly distributed. ...
- 6,155
1
vote
1
answer
179
views
Definition and properties of tangent functional
I am reading Measures Which Agree on Balls by Hoffmann-Jørgensen and I am somewhat confused. Here, $E$ is a Banach space, $S$ is the unit sphere, and $x \in S$.
We let $\tau(x, \cdot)$ denote the ...
- 297
2
votes
1
answer
300
views
If $\mathcal{H}^{n-1}(E)=0$ then $\mathbb{R}^n\setminus E$ is connected
Let $E\subset \mathbb{R}^n$ be a (measurable) subset with $\mathcal{H}^{n-1}(E)=0$, where $\mathcal H^{n - 1}$ is the ($n - 1$)-dimensional Hausdorff measure. I want to know if $\mathbb{R}^n\setminus ...
- 1,149
1
vote
2
answers
213
views
If $\mathcal{H}^{n-1}(K)=0$ then $\mathcal{H}^n(K\times \mathbb{R})=0$
I am reading a paper Simon and Wickramasekera - A Frequency Function and Singular Set Bounds for Branched Minimal Immersions where the authors seem to claim that if $K\subset\mathbb{R}^n$ is a compact ...
- 1,149
2
votes
0
answers
230
views
A question from Leon Simon's "Lectures on Geometric Measure Theory"
In a book I am reading (Leon Simon, Lectures on Geometric Measure Theory) at some point the author claims that if a certain property $(P)$ holds for almost every $n$-plane $\pi\subset \mathbb{R}^{n+k}$...
- 1,149
1
vote
0
answers
87
views
Symmetry of the isoperimetric profile
Given a probability measure $\mu$ on a metric space $(X, \mathsf{d})$, the $(\mu-)$Minkowski content of a set $A$ is defined as
$$\mu^+ (A) := {\lim\inf}_{r \to 0^+} \frac{\mu ( A_r \setminus A)}{r},$$...
- 801
4
votes
0
answers
169
views
Finding balls with big measure
Let $(X,d)$ be a compact metric space $n \in \mathbb{N}$ and $\mu$ a finite Borel measure. Suppose there exists $\delta, R>0$ such that for all $0<r<R$.
$$\mu(B(x,r)) < \delta r^n.$$
Under ...
- 41
0
votes
1
answer
60
views
If $ \mathcal{H}^k(B_1(0)\cap S)\leq A\omega_k $ when $ \mathcal{H}^k(B_r(x)\cap S)\leq A\omega_kr^k $ for all $ 0<r<\delta $, $ x\in\mathbb{R}^n $?
Let $ S\subset\mathbb{R}^n $ is of finite $ k $-dimensional Hausdorff and $ 0<\delta<1 $ is a constant. If for any $ x\in\mathbb{R}^n $ and $ r>0 $, we hae
$$
\mathcal{H}^k(S\cap B_r(x))\leq ...
- 1,219
1
vote
0
answers
57
views
Uniform bound on the measure of $\Omega_\delta = \Omega \cap \delta\mathbb Z^d$ if $\Omega$ is an open bounded set with Lipschitz boundary
Let $\Omega \subset \mathbb R^d$ be an open bounded set with Lipschitz boundary. Let us consider $\Omega_\delta = \Omega \cap \delta\mathbb Z^d$ for $\delta >0$. I want to say that the measure of $\...
- 131
1
vote
1
answer
125
views
How to find the point at minimal average distance of a given measure
Given a compactly supported probability measure $m$ on $\mathbb{R}^n$, we can define its average distance to a point $x$ as $\int_\mathbb{R^n}d(x,y)dm(y)$. In this question I found that for a given ...
- 10.6k
1
vote
1
answer
318
views
What is the limit of a helix as the frequency tends to infinity?
Consider the helix parametrized by $r(t) = (\cos(\omega t), \sin(\omega t), t)$, for a given $\omega > 0$, and $t \in \mathbb{R}$. How can we interpret the limit as $\omega \to \infty?$
My initial ...
- 217
6
votes
3
answers
532
views
If the measure theoretic boundary is closed must it coincide with the topological boundary?
$\DeclareMathOperator\Int{Int}\DeclareMathOperator\Ext{Ext}$Suppose $E\subset\mathbb{R}^n$ is a set of finite perimeter and suppose that the measure theoretic boundary $\partial^*E=\mathbb{R}^n\...
- 1,149
6
votes
1
answer
319
views
Does approximately Fréchet differentiable imply approximately Gateaux differentiable?
In what follows, $\mu^n$ denotes $n$-dimensional Lebesgue measure, and $B_r(x)$ is the open ball with radius $r$ centered at $x$.
In elementary calculus, if we have a function $f : \mathbb{R}^n \...
- 700
6
votes
0
answers
271
views
Existence of a limit of alpha-difference quotient for Hölder functions
Let $f:\mathbb{R}\to \mathbb{R}^d,d\geq 1,$ be an Hölder function with exponent $\alpha\in (0,1)$, meaning that
\begin{equation}
\sup_{x, y \in \mathbb R, \,x\neq y}\frac{|f(x)-f(y)|}{|x-y|^\alpha}<...
- 61
2
votes
0
answers
202
views
Prove or disprove that $u=0$ a.e. on $\Bbb R^d$
Let $\Omega\subset\Bbb R^d$ be an open set. Let $k:\Bbb R^d\to [0,\infty)$ be measurable such that $0\in \operatorname{supp}k$. This implies that $\Omega\subset \Omega_k=\Omega+\operatorname{supp}k$. ...
- 1,101
4
votes
1
answer
265
views
Bounds on discrepancy metric of product measures
Consider two measurable spaces $X_1 = (\mathbb{R}^m,\mathcal{B}(\mathbb{R}^m),\mu_1)$ and $X_2 = (\mathbb{R}^m,\mathcal{B}(\mathbb{R}^m),\mu_2)$ and the product spaces
$$X_1^{q} = (\times_{i=1}^q\...
- 2,712
1
vote
1
answer
389
views
Coarea formula for measure of epsilon neighbourhood
I am trying to use the coarea formula to get estimates on the measure of an epsilon-neighbourhood of a set. Specificly, given a compact 'nice' set $A\subseteq \mathbb{R^d}$, possibly with more than ...
- 633
2
votes
2
answers
109
views
Regular Lagrangian flow for explicit ODE with discontinuous right-hand side
Consider the problem
$$(\star) \quad \begin{cases} \frac{d}{dt} X(t,x) = \begin{cases} - 1 & \text{ if } X(t,x) >0, \\
1 & \text{ if } X(t,x) < 0 \end{cases}, &t \in [0,T],\\
X(0,x) ...
- 839
5
votes
1
answer
129
views
Are normal metric currents dense in the space of all metric currents?
It is classical that Euclidean normal currents are dense in the space of all currents.
This can be achieved through mollification.
What I want to know if this is still true for metric currents.
In ...
- 391
2
votes
1
answer
198
views
$|\hat\mu(\xi)| \lesssim |\xi|^{-1/2}$ where $\mu$ is $f\mapsto \int_{\mathbb R} \psi(r) \int_{S^{1}} f(rx,r)\, d\sigma(x)\, dr $
I have questions about the proof of Theorem $2.1$ here. The proof is on Pg. $10$. I am trying to work out the $d = 2$ case in particular.
$$\mathcal C^d = \{(x_1, \ldots, x_{d+1}): |(x_1, \ldots, x_d)|...
- 165
3
votes
1
answer
153
views
Decomposition of rectifiable curves in $\mathbb R^2$
Let $\gamma:[0,1]\to \mathbb{R}^2$ be a rectifiable curve and $\Gamma=\gamma[0,1]$ be its image.
Is it possible to cover $\Gamma$ by a countable collection of sets $N,R_1,R_2,\dots$ such that $N$ has ...
- 14.3k
2
votes
1
answer
297
views
Examples of "almost" Ahlfors regular measures
Let $\mu$ be a Borel probability measure on $\mathbb{R}^n$ such that there are $c,C,d,D>0$ satisfying: for every $x \in \mathbb{R}^n$ and every $r>0$
$$
c r^d \leq \mu(B(x,r)) \leq Cr^D.
$$
Let'...
- 5,405
1
vote
1
answer
172
views
A question about pushforward measures and Peano spaces
Specifically my question is the following: Let $P$ be a Peano space. If $(P,\sigma,\mu)$ and $(P,\sigma,\nu)$ are both nonatomic probability measures, does there exist a continuous function $f:P\to P$ ...
- 33
2
votes
0
answers
82
views
Estimate of Wasserstein distance and flow of vector fields under particular assumptions
Let $\mu$ be a compactly supported absolutely continuous probability measure. Let $v,u$ be Lipschitz vector fields. For a vector field $w$ recall that $\Phi_t^w$ denotes its flow.
A classical estimate ...
- 303
2
votes
1
answer
301
views
A question about pushforward measures and continuous Borel isomorphisms
It is fairly well known that if $\mu$ and $\nu$ are nonatomic measures on the standard Borel spaces $(X,B)$ and $(Y,C)$ such that $\mu(X)=\nu(Y)$. If $X$ and $Y$ are uncountable, then there exists a ...
- 33
3
votes
1
answer
190
views
Example where concentration of measure fails nontrivially
A metric probability space $(X, \mu, \rho)$, i.e., a complete separable metric space with a probability measure on its Borel sets, is said to satisfy (Gaussian) concentration of measure property if ...
- 141
1
vote
0
answers
199
views
Absolute continuity of joint distribution if all marginals in any basis are absolutely continuous
Consider a probability distribution $\nu$ on $(x,y)\in\mathbb{R}^2$. I know that the absolute continuity of the marginals on $x$ and $y$ is not sufficient to imply the absolute continuity of $\nu$, ...
- 449