Questions tagged [geometric-measure-theory]
Questions about geometric properties of sets using measure theoretic techniques; rectifiability of sets and measures, currents, Plateau problem, isoperimetric inequality and related topics.
827 questions
1
vote
0
answers
522
views
+50
Compact connected Riemannian manifolds are Ahlfors regular metric space
Let $(M,g)$ be a compact connected $n$-dimensional Riemannian manifold; let $(X,d)$ denote its associated metric (length) space. A comment on the original formulation of this post mentioned that $(X,...
4
votes
1
answer
252
views
Does anyone use measures that take values in real numbers and cardinal numbers?
The counting measure on $\mathbb{R}^n$ is a map that takes a subset $A$ of $\mathbb{R}^n$ and returns its cardinality if it is finite or the symbol $\infty$ if it is infinite.
So, if $A\subseteq\...
4
votes
1
answer
221
views
Hausdorff dimension of graphs of singular functions
Let $f: \mathbb R^n \to \mathbb R^m$ be continuous, and differentiable almost everywhere with $Df = 0$ almost everywhere.
Question: What is the maximal Hausdorff dimension of the graph of $f$?
6
votes
2
answers
354
views
Can a Lipschitz function have derivative 0 on a dense set of small dimension?
Let $f: \mathbb R^n \to \mathbb R$ be Lipschitz continuous. Denote by $Z(f)$ the set on which $f$ is differentiable with derivative $0$.
Suppose $f$ is such that $Z(f)$ is topologically dense.
...
8
votes
2
answers
386
views
Convergence of mollifiers of a Lipschitz function on a codimension 1 subspace
Let $f:\mathbb{R}^2\to \mathbb{R}$ be $L$-Lipschitz. Let
$f_\varepsilon:=f*\eta_\varepsilon$ be its smooth $\varepsilon$-mollification, where
$\eta_\varepsilon(x)=\frac{1}{C\varepsilon^2}\eta(|x|/\...
8
votes
1
answer
345
views
Hausdorff dimension of the stretch set of a Lipschitz map
Let $f: \mathbb R^n \to \mathbb R^m$ be a non constant Lipschitz map, for $m < n$. We denote by
$$\text{Lip}(f):= \sup_{x, y \in \mathbb R^n} \frac{|f(x) - f(y)|}{|x - y|}$$
the best Lipschitz ...
0
votes
0
answers
76
views
Characteristic function of a domain to have higher order variation
For any $k\in\mathbb{N}$, the space $BV^k(\mathbb{R}^n)$ is defined as the set of all functions $f\in L^1(\mathbb{R}^n)$ such that there exists a Radon masure $D^\alpha f$ and for any $\phi\in C^\...
2
votes
1
answer
318
views
Approximating the perimeter of a domain
Let $M$ be a Riemannian manifold with the volume measure $\mu$, and $\Omega$ be a bounded open subset of $M$. Assume that $\chi_\Omega$ has bounded variation, that is, $\mathrm{Per}(\Omega)<\infty$....
5
votes
2
answers
417
views
Given a set of finite perimeter $\Omega$ s.t. $\partial ^* \Omega =\partial \Omega$, it's not true that $P(\Omega)= \mathcal{H}^{n-1} (\Omega)$
In the article "Funzioni BV e tracce" by Anzellotti and Giaquinta (MR555952, Zbl 0432.46031), at page 6 you can read (assume $\Omega \subset \mathbb{R}^n$ open): "The following example ...
3
votes
1
answer
333
views
Is the restriction of a Sobolev function to some full-measure set continuous?
Motivation: As a consequence of this question, every function $u$ in $W^{1,2}(\mathbb{R}^n,\mathbb{R})$ has a representative $u^*$ such that there is a null set $E\subset \mathbb{R}^n$ with the ...
5
votes
1
answer
345
views
Is the graph of a Sobolev function a varifold?
$\DeclareMathOperator{\graph}{\operatorname{graph}}$
I would like to know if, given $f\in W^{1,2}(\mathbb{R}^n,\mathbb{R})$, it is true that we can always cover $\graph(f)\subset\mathbb{R}^{n+1}$ with ...
4
votes
2
answers
295
views
Is the graph of a $W^{1,2}$-function path-connected?
Let $u:\mathbb{R}^n\to\mathbb{R}$ be a function in $W^{1,2}$ and let $u^*(x)=\lim_{r\to 0} \frac{1}{\omega_n r^n} \int_{B_r(x)} u(y) dy$ be the fine representative of $u$. From Evans-Gariepy Theorem 4....
0
votes
1
answer
806
views
Properties of doubling metric spaces
At present I work with tools that involves doubling metric space, my definition of DME is:
A metric space $X$ is called doubling with constant $N$, where $N \geq 1$ is an integer, if, for each ball $...
4
votes
1
answer
66
views
Properties of the radial projection of centered convex domains
Suppose that $\Omega_1, \Omega_2 \subseteq \mathbb R^n$ are convex domains.
We assume that they contain the origin. Then the radial projection $P : \partial\Omega_1 \rightarrow \partial\Omega_2$ ...
-2
votes
1
answer
104
views
Approximation of open set by regular sets
I have the following question: given $\omega\subset \mathbb{R}^d$ a bounded open set and $\eta\in (0,1)$, can I find an open set $\omega_\eta\subset\subset \omega$ with Lipschitz boundary such that $\...