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.
763 questions
3
votes
0
answers
90
views
References on smoothness of minimal surfaces in Riemannian manifolds
It's well known that $C^1$ minimal surfaces (surfaces that are locally area minimzing) in $\mathbb{R}^n$ are automatically smooth, and one can prove this result by solving the Dirichlet problem of the ...
- 438
6
votes
1
answer
172
views
Mass minimizing current in real homology class
It is a well-known results by Federer and Fleming that there exists at least one mass-minimizing normal current in every real homology class of a closed $n$-dimensional Riemannian manifold $M$. Their ...
- 61
0
votes
0
answers
38
views
A general rule for approximating the perimeter of a set with finite perimeter in terms of the volume
I want to know if it is possible to have a general rule for approximating the perimeter of a set $E\subset \mathbb{R}^n$ with finite perimeter in terms of the volume (Lebesgue measure) of a sequence ...
- 747
6
votes
0
answers
130
views
Do there exist strictly contracting eikonal functions on $\mathbb R^n$?
A function $f: \mathbb R^n \to \mathbb R$ is said to be a strict contraction if
$$|f(x) - f(y)| < |x - y|$$
for all $x \neq y$.
A function $f$ is said to be eikonal if it is differentiable ...
- 6,155
3
votes
2
answers
153
views
On nowhere differentiability of functions that just barely fail to be Lipschitz
By Rademacher’s theorem, Lipschitz functions are differentiable almost everywhere. I am wondering how badly this pointwise differentiability fails for functions that “just barely” fail to be Lipschitz....
- 6,155
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
6
votes
2
answers
390
views
Continuity of perimeter with respect to metric
Let $\Omega$ be an open set in a closed manifold, $(M^n, g)$. We can define the perimeter as
$$\text{Per}_g(\Omega) = \sup\bigg\{\int_{\Omega} \text{div}_g(T) dVol_g, \; : \; T \in C^1(M, T M), \quad \...
- 337
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
3
votes
1
answer
189
views
Randomly perturbed function has no accumulated critical point almost surely?
Given a smooth function $f$ and a smooth manifold $\mathcal{M}$ in $\mathbb{R}^d$, define the set
$$
S(v):=\{x:{\rm Proj}_{T_x{\mathcal{M}}}(v)=\nabla_{\mathcal{M}}f(x)\}.
$$
Is correct to say that $S(...
- 43
4
votes
1
answer
214
views
Characterisation of Sobolev spaces using their Lipschitz approximations
Let $f \in W^{1, p} (\mathbb R^n)$. A classical approximation theorem (see for instance, the book by Evans and Gariepy) says that we can approximate $f$ by Lipschitz functions, in the sense that for ...
- 6,155
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
6
votes
1
answer
193
views
The most even partition of $\mathbb R$ into measure dense sets
Notation: $\mu$ denotes the Lebesgue measure. Let $\mathcal D$ be the set of Lebesgue measurable subsets of $\mathbb R$ such that itself and its complement have nonzero Lebesgue measure in every ...
- 6,155
3
votes
2
answers
118
views
Does the derivative of the antiderivative of a BV function $f$ agree with $f$ at all but countably many points of differentiability?
Let $f: (a, b) \to \mathbb R$ be a function of bounded variation, and write
$$F(x) := \int_a^x f(t) \, dt$$
for the antiderivative. Is it true that at all but countably points of differentiability of $...
- 6,155
3
votes
1
answer
247
views
Is the derivative of a Lipschitz function continuous a.e.?
Let $f:(a,b) \to \mathbb R$ be Lipschitz.
The derivative $f'$ exists on some set $D \subset (a,b)$ of full measure and is bounded (by Rademacher).
Is $f'$ continuous (or some representative) on the ...
2
votes
0
answers
49
views
Elementary proof of corollary of Besicovitch projection theorem
I am interested in the following fact.
Fact. Suppose
$\mathcal H^1(E) < \infty$.
$|\pi_\theta(E)| = 0$ for a.e. $\theta \in [0,\pi]$.
$\Psi : \mathbb{R}^2 \to \mathbb{R}^2$ is a $C^1$ map with ...
- 613
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
11
votes
1
answer
440
views
Stokes theorem for Lipschitz forms
Assume that $M$ is a smooth oriented compact manifold with boundary and assume that $\omega$ is a Lipschitz $(n-1)$-form on $M$.
Question Is there a published simple proof of the Stokes theorem
$$
\...
- 28k
8
votes
1
answer
342
views
How large can the set of turbulent points be?
This question resisted attempts on MSE.
Let $E \subset \mathbb R^n$ be a Lebesgue measurable set. We say that $x \in \mathbb R^n$ is a turbulent point of E if both the following conditions hold:
$$\...
- 6,155
5
votes
1
answer
164
views
Does quadratic asymptotic growth imply log-Sobolev inequality?
Let $f : \mathbb{R}^n \rightarrow [0,\infty)$ be a smooth function and consider $h$ s.t $h(\vec{x}) = f(\vec{x}) + \lambda \Vert \vec{x} \Vert^2$.
Does this imply that irrespective of any other ...
- 617
1
vote
1
answer
113
views
Are smooth surfaces embedded in R3 , with finite area, always the boundary of a finite perimeter set?
Are smooth compact surfaces embedded in R3 (with no boundary) , with bounded area, always the boundary of a finite perimeter set?
Take a smooth surface S in R3 embedded , with finite area. Can we say ...
- 13
5
votes
1
answer
108
views
incidence coefficients in homological integration theory
I originally asked this on MSE but received no answers so I'm asking here.
I haven't found any reference on this after lots of looking since I first asked that question in February, so I think that ...
- 840
7
votes
2
answers
598
views
Invariance of the Lebesgue measure
It is well known that the Lebesgue measure is the unique (up to a multiplicative constant) sigma-finite Borel measure on $\mathbb{R}^d$ which is translation invariant.
I am wondering if a similar ...
- 401
10
votes
1
answer
1k
views
A strange Lipschitz function
Let $n \geq 3$. Does there exist a Lipschitz function $f: \mathbb R^n \to \mathbb R$ such that the following conditions hold?
The origin is a weak Lebesgue point of $\nabla f$, in the sense that the ...
- 6,155
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
2
votes
0
answers
75
views
Connectedness of Space of Caccioppoli Sets?
Let $(M^n, g)$ a closed, connected riemannian manifold. Is the space of all caccioppoli sets on $M$ connected with respect to the flat norm? How about with respect to the F norm (Flat metric on the ...
- 337
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
1
vote
1
answer
83
views
When is a $1$-varifold $V$ the associated varifold of the reduced boundary of some Caccioppoli set?
Let $v_1$, $v_2$, $\cdots$, $v_l\in\mathbb{R}^n$ be unit vectors, $\mathbb{R}_v^+:=\{\lambda v:\lambda>0\}\subset\mathbb{R}^n$ be the ray in $v$'s direction; $n_1$, $n_2$, $\cdots$, $n_l>0$ be ...
- 111
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
3
votes
1
answer
181
views
Probability measure on partition theorem
Probability measure in $\mathbb{R}^1$: Continuous function $f$ that is positive everywhere $\ \int_{-\infty}^{\infty} f dx =1$ (total area under the curve equals 1). For visualization see here.
...
- 53
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
5
votes
1
answer
229
views
Intersection between Lipschitz domains
Let $\Omega\subset\mathbb{R}^N$ be an open, bounded and connected Lipschitz domain. Is it true that we can find some $R>0$ such that any $N$-dimensional open ball $B(x,r)$ with $r\leq R$ that ...
- 1,759
8
votes
0
answers
414
views
For $f$ Lipschitz with $|\nabla f| = 1$ a.e., what is the supremal Hausdorff dimension of the set on which $\varepsilon< |\nabla f| < 1-\varepsilon$?
Let $f$ be a Lipschitz function with $|\nabla f| = 1$ almost everywhere.
Let $\varepsilon \geq 0$. What is the supremal Hausdorff dimension of the set on which $f$ is differentiable with $\varepsilon &...
- 6,155
3
votes
1
answer
248
views
Can any function in $C^\alpha$ be approximated in $C^{\alpha^-}$ by singular functions?
For every positive $\alpha < 1$, we consider the space $C^{\alpha}$ of Holder continuous functions of order $\alpha$ on $[0, 1]$, equipped with the norm
$$\|f\|_{C^\alpha} := \sup|f| + \sup_{x, y \...
- 6,155
4
votes
1
answer
259
views
Hausdorff dimension of the zero set of the gradient of an eikonal function
Let $f: \mathbb R^n \to \mathbb R$ be a Lipschitz function with $|\nabla f| = 1$ almost everywhere with respect to Lebesgue measure.
What is the supremal Hausdorff dimension of the set on which $f$ is ...
- 6,155
3
votes
0
answers
219
views
Strictly contracting solutions to the Eikonal equation on Riemannian manifolds
Given a Riemannian manifold $M$, we say $f: M \to \mathbb R$ is a strict contraction if $|f(x) - f(y)| < |x - y|$ for all distinct $x, y \in M$.
Question: Does there exist, on every complete ...
- 6,155
5
votes
2
answers
248
views
Hausdorff dimension of the zero set of $\nabla f$
Let $f: \mathbb R^n \to \mathbb R$ be a Lipschitz function with $\nabla f$ nonzero almost everywhere with respect to Lebesgue measure.
What is the supremal Hausdorff dimension of the set on which $f$ ...
- 6,155
9
votes
1
answer
492
views
Dispersion points of Lipschitz functions
For a function $f: \mathbb R^n \to \mathbb R^m$ with $m < n$, we say that $x \in \mathbb R^n$ is a dispersion point of $f$ if
$$\liminf_{y \to x} \frac{|f(y) - f(x)|}{|y - x|} > 0.$$
Question: ...
- 6,155
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
6
votes
1
answer
816
views
Is the $L^\infty$ norm of the derivative the same under the Hausdorff and Lebesgue measure?
Note: Here $\mathcal H^k$ denotes the $k$-dimensional Hausdorff measure, and $\|f\|_{L^\infty (\mathcal H^k)}$ denotes the $L^\infty$ norm of a function $f$ with respect to $\mathcal H^k$.
Let $\Omega$...
- 6,155
5
votes
1
answer
245
views
Are singular functions dense in the space of Hölder continuous functions?
We say a non-constant function $f$ on $[0, 1]$ is singular if it is continuous, and in addition differentiable almost everywhere with $f' = 0$ a.e.
For every positive $\alpha < 1$, is the set of ...
- 6,155
4
votes
1
answer
356
views
Reference request: Intuitive introduction to currents and varifolds
As I have recently been interested in geometric measure theory related problems, I am learning some of the basics of the field. I am looking for a textbook that introduces currents and varifolds in an ...
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
5
votes
1
answer
281
views
Is there a singular function that is Hölder continuous of every order less than $1$?
We say a non-constant function $f$ on $[0, 1]$ is singular if it is continuous, and in addition differentiable almost everywhere with $f' = 0$ a.e.
Does there exist a singular function that is Hölder ...
- 6,155
16
votes
4
answers
2k
views
Is the $W^{1, \infty}$ limit of differentiable functions also differentiable?
Let $f_n$ be a sequence of differentiable functions on $[0, 1]$ with
$f_n \to f$ uniformly for some (necessarily) continuous $f$.
$f'_n - g \to 0$ in $L^{\infty}$ for some measurable $g$.
Is it true ...
- 6,155
5
votes
2
answers
297
views
Is the $W^{1, \infty}$ limit of differentiable a.e. functions also differentiable a.e.?
Let $f_n$ be a sequence of continuous, differentiable a.e. functions on $[0, 1]$ with
$f_n \to f$ uniformly for some continuous $f$.
$f'_n - g \to 0$ in $L^\infty$ for some measurable $g$,
where we ...
- 6,155
6
votes
1
answer
309
views
Is the derivative of a $C^1$ function nonzero almost everywhere on almost every level set?
Note: Here $\mathcal H^k$ denotes the $k$-dimensional Hausdorff measure.
Let $f \in C^1 (\mathbb \Omega)$ for some open, connected, bounded subset $\Omega$ of $\mathbb R^n$. We consider for each $t \...
- 6,155
3
votes
0
answers
67
views
How powerful are sequences of Steiner symmetrizations?
I was studying geometric analysis and have encountered something called Steiner symmetrization method. Intuitively I understand how it's made to be applied and used, but Wikipedia pages do not give ...
- 171
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