All Questions
Tagged with geometric-measure-theory dg.differential-geometry
120 questions
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 ...
1
vote
1
answer
160
views
Differentiability of an integral of geodesic distance
Let $(M,g)$ be an $m$-dimensional Riemannian symmetric space and $d(\cdot,\cdot)$ be the geodesic distance function. Fix any $\alpha\in M$ and $v\in T_\alpha M$ with $\|v\|=1$.
Q1: Define
$$
g(t)=\...
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 ...
1
vote
0
answers
63
views
Boundary behavior for submanifolds with bounded second fundamental form
I am interested in a boundary version of this question About hypersurfaces in R^n+1 with bounded 2nd fundamental form.
The question is as follows. Let $\Sigma^k\subset \Bbb R^n$ be a submanifold with ...
1
vote
0
answers
67
views
Limits of branched minimal immersions into the sphere
Can a sequence of branched minimal immersions $M_j^n$ in the round sphere $S^{n+1}$ converge to a smoothly embedded $\Sigma$, in the sense that $ M_j \to 2 \Sigma$ as currents or varifolds?
The case ...
1
vote
0
answers
134
views
Hausdorff dimension of a compact Lie group [closed]
Let $G$ be a compact Lie group (for simplicity assume $G=SO(3)$). Equip $G$ with a left-invariant Riemannian metric and let $m$ be left-invariant Haar measure on $G$.
Now that $G$ is a metric space ...
1
vote
0
answers
91
views
Why $h_t$ maps into $\mathbb{R}^{\nu}$?
I am studying geometric measure theory (Herbert Federer - Geometric measure theory) and I have a question about class $r$ homotopies. Here's the definition, from p. 363, Section 4.1.9:
Suppose $U$ is ...
1
vote
0
answers
122
views
Differentiation under the integral sign for a $L^1$-valued function (shape derivative)
Let
$d\in\mathbb N$;
$U\subseteq\mathbb R^d$ be open and $$\mathcal A:=\{\Omega\subseteq U:\Omega\text{ is bounded and open and }\partial\Omega\text{ is of class }C^{0,\:1}\};$$
$E:=\bigcup_{\Omega\...
1
vote
0
answers
81
views
zero extension of positive currents are always positive
In Demailly's Complex Analytic and Differential Geometry page 139:
He said the trivial (zero) extension of the positive current $T$ (on $X\setminus E$), which denoted by $\tilde T$ is always positive ...
1
vote
0
answers
183
views
Total Mean Curvature as a integral on the whole space
It is well known from De Giorgi that we may express the surface area of a domain $\Omega\subset\mathbb{R}^N$ as:
$$
\int_{\partial\Omega} 1\ d\sigma=\int_{\Omega} ||\nabla H(\phi(x))||\ dx=\int_{\...
1
vote
0
answers
263
views
Does a growing manifold fixed at a point converge to its tangent plane?
Let $M$ be a smooth compact $(n-1)$ dimensional submanifold in $\mathbb{R}^n$. Let $H$ be the $(n-1)$ dimensional Hausdorff measure. Let $f(x,y,t)$ is a function for $x\in\mathbb{R}^n$, $y\in\mathbb{R}...
1
vote
1
answer
334
views
Relationship between volume density and area density
Let $\mu(x)dx$ be a measure in $\mathbb{R}^{2n-2}$, where $\mu$ (a $C^\infty$ and positive function) is the density of the volume in the sense that $\DeclareMathOperator{\Vol}{\mathrm{Vol}} \Vol_\mu(...
0
votes
0
answers
94
views
Bounding the area of the image of a set by product of maximum of lengths
Let $F:[0,1]\times[0,1]\to \mathbb {R}^2$ be a smooth function. Given $x\in [0,1]$, let $\ell_x:=\{x\}\times [0,1]$, and given $y\in [0,1]$, let $\ell_y:=[0,1]\times \{y\}$.
My question feels ...
0
votes
0
answers
83
views
Distortion estimates to control Hausdorff measure of a curve
I am studying the paper Blumenthal - Statistical properties for compositions of standard maps with increasing coefficent.
I have a problem to understand how the distortion estimates are used. The ...
0
votes
0
answers
57
views
Can iterative application of ham sandwich cuts form streamlines of an ODE?
It has been known that given two probability distributions $\mu_1$ and $\mu_2$ (let us say, they are smooth for simplicity), there is a hyperplane that divides the domain into two regions (denoted as $...
0
votes
0
answers
425
views
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,...
0
votes
0
answers
76
views
The volume of boundary layer
Let $\Omega\subset\mathbb{R}^3$ be an open bounded set with $C^2$ boundary $\partial\Omega$. Let $\operatorname{d}(x):=\inf_{y\in\partial\Omega}|x-y|$ for $x\in\overline{\Omega}$, and the open set $\...
0
votes
0
answers
131
views
Barycenters on Hadamard Manifolds
Let $(M,g,m_0)$ be a pointed-Hadamard manifold with Riemmanian distance function $d_g$, $(X,\Sigma,\mu)$ be a finite measure space. We use $L^2(\mu;M,m_0)$ to denote the metric space consisting of ...
0
votes
0
answers
96
views
If $M$ is a manifold, $x∈M$ and $d(x,ω)=\inf\{t>0:x+tω∈M\}$, does the pushforward of the solid angle measure under $S^2∋ω↦x+d(x,ω)ω$ admit a density?
Let $S^2$ denote the unit 2-sphere, $M$ be a 2-dimensional oriented embedded $C^1$-submanifold of $\mathbb R^3$ with $$d_M(x,\omega):=\inf\left\{t>0:x+t\omega\in M\right\}<\infty\;\;\;\text{for ...
0
votes
0
answers
148
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 ...