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.
287 questions with no upvoted or accepted answers
5
votes
0
answers
273
views
Is there any geometrical/homological intuition behind symmetrized gradient?
The gradient/differential/exterior differential/divergence/curl are all strictly related first order differential operators. As far as I understood, they are the base of (co)homological theories in ...
- 980
5
votes
0
answers
143
views
Smoothing properties of convolutions of $P^1(\mathbb{R})$ by $SL(2,\mathbb{R})$
Consider the action of $SL_2(\mathbb R)$ on real projective space $P^1(\mathbb R)$; given $A \in SL_2(\mathbb R)$ and $\alpha \in P^1(\mathbb R)$ we write $A . \alpha \in P^1(\mathbb R)$ for this ...
- 485
5
votes
0
answers
240
views
The boundary integral of a harmonic function
Let $\Omega\subset\mathbb{R}^{n}$ be a bounded
domain with smooth boundary and $f$ be a harmonic function on $\Omega.$
It is known that
$$
\limsup_{\varepsilon\rightarrow0^{+}}\intop_{\partial\Omega_{...
- 53
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
4
votes
0
answers
192
views
What are the next-simplest area-minimizing cones?
The simplest area-minimizing, codimension one cones $\mathbf{C} \subset \mathbf{R}^{n+1}$ are the Simons cones. I am trying to understand the behavior of area-minimizing cones a bit better, but these ...
- 5,038
4
votes
0
answers
162
views
Density of smooth functions in the calculus of variations
In the non-convex calculus of variations, in the context of non-linear elasticity, the following classes of mappings $u:\Omega\to\mathbb{R}^n$, $\Omega\subset\mathbb{R}^n$, were introduced by John ...
- 28k
4
votes
0
answers
191
views
Approximating a uniformly elliptic function of bounded variation by Lipschitz functions
Let $\sigma: \mathbb R^d \to \mathbb R^{d \times d}$ be of bounded variation.
Suppose $\sigma$ is uniformly elliptic, in the sense that there exists some constant $C > 0$ such that $\xi^{T} \sigma(...
- 6,155
4
votes
0
answers
88
views
Correspondence between Hoelder cocycles and Hoelder potential functions for noncompact negatively curved manifolds
Let $\tilde{M}$ be the universal cover of a pinched\ negatively curved manifold $M$ and $\Gamma=\pi_{1}(M)$ its fundamental group and $\partial \Gamma =\partial \tilde{M}$ its Gromov boundary.
When $M$...
- 481
4
votes
0
answers
151
views
Estimating the size of $\Omega_r=\{x\in\Omega: \text{dist}(x,\partial\Omega)<r \}$
Let $\Omega$ be a bounded domain in $\Bbb R^n$. Define
$$
\Omega_r=\{x\in\Omega: \text{dist}(x,\partial\Omega)<r \},
$$
i.e. it the ring of thickness $r$ at the boundary of $\Omega$. Intuitively, ...
- 1,245
4
votes
0
answers
836
views
Equality of Hausdorff measure and Lebesgue measure on manifolds (reference)
Let $\mathcal{M} \subset \mathbb{R}^N$ be an $n$-dimensional $C^1$ submanifold (connected). We have two metric functions on $\mathcal{M}$:
The Euclidean distance inherited from $\mathbb{R}^N$.
The ...
- 622
4
votes
0
answers
125
views
An inequality about metric spaces
I started studying this article(《$L^2$ CURVATURE BOUNDS ON MANIFOLDS WITH BOUNDED RICCI CURVATURE》) about 3 months ago: arxiv.org/abs/1605.05583
In this article, there is a seemingly simple assertion ...
- 41
4
votes
0
answers
306
views
Continuity of the Lebesgue measure w.r.t the Hausdorff metric
I have a question linked to Interplay of Hausdorff metric and Lebesgue measure. Let us denote as $\mathcal K(\mathbb R^n)$ the space of compact subsets of $\mathbb R^n$ endowed with the Hausdorff ...
- 171
4
votes
0
answers
213
views
Classification of Euclidean-invariant measures?
Is there a classification of measures on $\mathbb R^n$ which are invariant under (Euclidean) isometries? Hausdorff measures of all kinds are examples -- could that be all of them? More precisely,
By ...
- 63.9k
4
votes
0
answers
198
views
Is the rectifiability of currents independent of the choice of Riemannian metric?
I apologize if this is a trivial question – GMT is not my area of expertise but I'm working my way through a proof that makes extensive use of GMT and I haven't been able to find an answer to my ...
- 61
4
votes
0
answers
99
views
Fractional Hajłasz-Besov-like similar to the Korevaar-Schoen-Sobolev spaces?
Suppose that $(X,\mu,d)$ and $(Y,\nu,\rho)$ are doubling metric measure spaces. Fix $\alpha>0$ and define the space, analogously to this paper, as the collection of all measurable functions $f:X\...
- 5,405
4
votes
0
answers
115
views
Box counting dimension of the graph of a BV function
Let $u: \Omega\subset \mathbb{R}^N \to \mathbb{R}^M$ be a $BV$ function.
Is the box counting dimension of the graph of $u$ equal to $N$? How can we prove it?
The analogous question for the ...
- 839
4
votes
0
answers
136
views
Integration on a family of differential forms
Let $X$ be a smooth manifold, and denote by $\Omega^*(X)$ the set of all smooth differential forms on $X$. Assume we have a family of differential forms $\omega_t \in \Omega^*(X)$, $t\in E$, ...
- 2,789
4
votes
0
answers
66
views
Tangent distribution for particular non-doubling measure (GMC)
The radon measure $\mu$ on [0,1] called GMC (Gaussian multiplicative chaos) satisfies the following:
$$(1/c)|I|^{a}\leq\mu(I)\leq c|I|^{b},$$
$$\sup_{x\in [0,1]}\frac{\mu(B_{2r}(x))}{\mu(B_{r}(x))^{1-...
- 5,474
4
votes
0
answers
113
views
Are there any nontrivial examples of $C^1$ hypersurfaces with bounded (integrable) generalized mean curvature?
The definition of generalized mean curvature on $C^1$ hypersurfaces is given as follows:
Let $M$ be a closed orientable $C^1$ hypersurface in $\mathbb{R}^{n+1}$ and $\mu$ be the $n$-dimensional ...
- 1,350
4
votes
0
answers
123
views
Converse on the rectifiability of products of rectifiable sets
Let $1\leq k\leq m$ and $1\leq l\leq n$ fixed integers, $\mathscr{H}^k$ the $k$ dimensional Hausdorff measure and $E\subset \mathbb{R}^m$. We say that :
(1) $E$ is $k$ rectifiable if there exists $C\...
- 1,616
4
votes
0
answers
414
views
Topology on the space of Borel measures
Let $ B $ be the set of all measures $ \phi $ of $ \mathbf{R}^{n} $ such that every open set is $ \phi $-measurable (sometimes these measures are called Borel measures). Note the measures in $ B $ are ...
- 541
4
votes
0
answers
326
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 can'...
- 41
4
votes
0
answers
350
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 ...
- 1,371
4
votes
0
answers
140
views
Do the interiors of curves of constant width admit "linear" measures?
Concise question: In two dimensions, do all shapes of constant width admit a measure over their interior such that for any two parallel lines intersecting the shape, the area between them under the ...
- 41
4
votes
0
answers
380
views
Smoothness of the convolution of a singular measure with itself
Let $\gamma:I\subset\mathbb{R}\rightarrow\mathbb{R}^2, s\mapsto \gamma(s)$, denote the arclength parametrization of a smooth, convex curve $\Gamma:=\gamma(I)\subset\mathbb{R}^2$. Equip $\Gamma$ with ...
- 852
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
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
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
3
votes
0
answers
153
views
Convergence of the perimeter of level sets
I have already posted this question on Math StackExchange. Suppose you have a sequence of $C^1$ functions $\{\phi_n\}_{n\in \mathbb{N}}$ defined on $\mathbb{R}^n$ that converges in $C^{1}_{\mathrm{loc}...
3
votes
0
answers
89
views
Excess function and mean curvature
I'm reading Savin's lecture notes on nonlocal minimal surfaces (available here) and he defines what he calls the excess function of a smooth set $E$ with $0\in\partial E$ by$$e(r)=\frac{\int_{\partial ...
- 121
3
votes
0
answers
59
views
Intersection of $n$-dimensional minimal surfaces with two-dimensional planes
Let $M^n \subset \mathbf{R}^{n+k}$ be a smoothly embedded minimal surface. When the dimension is $n = 2$ and the codimension is $k = 1$ the intersection of $M$ with planes is well understood. If $M$ ...
- 5,038
3
votes
0
answers
202
views
Sweeping out the disk: what comes out?
In 2008, Larry Guth gave a new proof of a theorem of Gromov about the min-max widths of the unit $n$-ball. This states that the $p$-parameter width $\omega_p(k,n)$ (of sweepouts with $k$-dimensional ...
- 5,038
3
votes
0
answers
123
views
A strong maximum principle for varifolds of arbitrary codimension
Let $M$ be an $n$-dimensional Riemannian manifold and $N$ a hypersurface in $M$. Let $p \in N$ and $\kappa_1 \leq \cdots \leq \kappa_{n-1}$ be the principal curvatures of $N$ at $p$ with respect to a ...
- 415
3
votes
0
answers
100
views
Are there Lojasiewicz-Simon estimates with boundary?
Let $M$ be an analytic manifold with boundary $\partial M$, equipped with a Riemannian metric $g$, which is also analytic up to and including the boundary.
Are there Lojasiewicz–Simon estimates ...
- 5,038
3
votes
0
answers
47
views
What is the supremum of 1-dim Hausdorff measure of the nodal set of Neumann eigenfunction $u$ for planar convex domain
All descriptions of this question are limited to 2-dimension for simplicity. Recently, I read some papers on the nodal set of Laplacian eigenfunctions. Denote $\Sigma=\{u(x)=0\}$ be the nodal set of a ...
- 131
3
votes
0
answers
201
views
Hausdorff measure of the unit ball of a norm on $\mathbb{R}^n$ is a universal constant
In [1], Kirchheim proved the area formula for Lipschitz maps $f\colon \mathbb{R}^n\to X$ where $X$ is an arbitrary metric space, using the notion of metric differentiability. The metric derivative of $...
- 622
3
votes
0
answers
106
views
The behavior of an integral related to the inward normal vector near a point of the boundary of a domain
Inspired by this Q&A, I am asking for what kind of non-smooth domains $D$ the following limit
$$
\lim_{r \to 0}\frac{1}{m(D \cap B(x,r))}\int\limits_{D \cap B(x,r)}\frac{z-x}{r}\,m(dz)
$$
where
$...
- 6,367
3
votes
0
answers
102
views
When is the least-area surface unique?
Let $M^{n-1}$ be a smooth closed manifold, embedded into the round sphere $\mathbf{S}^n$ via a regular map $\Phi$. Using tools from geometric measure theory, one can prove the existence of a $n$-...
- 5,038
3
votes
0
answers
194
views
Volume of a set vs volume of its projections
Let $V\subset\mathbb R^n$ be "nice" (measurable or Borel or open or convex...) and let $V_{\{i,j,...\}}$ be the projection of $V$ on the subspace spanned by $e_i,e_j,...$.
It is easy to see ...
- 165
3
votes
0
answers
224
views
Which stationary varifolds have non-integer density?
A central object in geometric measure theory are the generalised, and weakly defined minimal surfaces called stationary varifolds. Let me recall some definitions. Given an open subset $U \subset \...
- 5,038
3
votes
0
answers
110
views
Pushforward of measures with Fourier decay
Suppose $\gamma: [0,1]^d \to \mathbf{R}^{d+1}$ is a smooth map with nonvanishing Gaussian curvature, and $\mu$ is a probability measure compactly supported on $(0,1)^d$ such that $|\widehat{\mu}(\xi)| ...
- 455
3
votes
0
answers
81
views
Isotopy Classes and Embeddability of Products in $\mathbb{R}^2$
On MSE I asked if the plane contains an uncountable collection of mutually disjoint copies of the Warsaw Circle; it seems to be false, and is probably already known but I'm not sure that anybody has ...
- 439
3
votes
0
answers
96
views
Normal and locally normal currents
I am reading the Geometric Measure Theory book by H. Federer and I have some questions about currents:
Assuming $T \in \mathscr{D}_{m}(U),$ we call $T$ locally normal if and only if $T$ is ...
- 161
3
votes
0
answers
222
views
Sets of finite perimeter: intersection with an half space
I have a question regarding sets of finite perimeter. In particular I'm interested to find
$$\mu_{E \cap H_t}, \label{1}\tag{1}$$
where $E$ is a set of finite perimeter in a generic open set $\Omega \...
- 51
3
votes
0
answers
73
views
"Almost" absolute continuity of derivative of BV function if ${\rm Tr}\,D_Sf = 0$
Let $f: \mathbb R^N \to \mathbb R^N$ be a $BV$ function.
Suppose that $\mathrm{div} f$ is absolutely continuous with respect to the Lebesgue measure: $\operatorname{div} f \ll \mathcal L^N$. This ...
- 839
3
votes
0
answers
141
views
Partially BV vector fields and renormalization
Why does the approach used to prove Theorem 4.1 in the paper by Le Bris and Lions on Renormalized solutions of some transport equations with partially $W^{1,1}$ velocities and applications not work ...
user123672
3
votes
0
answers
185
views
Measure change bound for function of subgaussian r.v
Let $X$ be a (sub)gaussian r.v. on $\mathbb{R}^d$; say $X\sim\mathcal{N}(\mathbf{0},\mathbb{1}_d)$; and let $a\colon\mathbb{R}^d\to [0,1]$ be a function with $\mathbb{E}[a(X)] > 0$.
It is not hard ...
- 1,372
3
votes
0
answers
349
views
From Sudakov minoration principle to lowerbounds on Rademacher complexity
For a compact subset $S \subset \mathbb{R}^n$ (and an implicit metric $d$ on it) and $\epsilon >0$ lets define the following $2$ standard quantities,
Let ${\cal P}(\epsilon,S,d)$ be the $\epsilon-...
- 2,246
3
votes
0
answers
361
views
Second-Order Taylor Expansion of Wasserstein Metric and Related Metrics
Suppose that we have a parametric distribution $P_{\theta}$, which is indexed by the parameter $\theta \in \mathbb{R}^d$. Let $W\{\cdot,\cdot\}$ be the Wasserstein Metric between two distributions.
...
- 1,127
3
votes
0
answers
357
views
When is Hausdorff measure locally finite?
Let $(X,d)$ be a metric space and let $H^\alpha$ denote the $\alpha$-dimensional Hausdorff Borel measure on $X$, where $\alpha$ is the Hausdorff dimension of $X$. Are there any simple conditions on $X$...
- 282