The study of the geometric structure of measures, as well as the study of geometry from a measure-theoretic viewpoint, geometric measure theory has applications in partial differential equations, harmonic analysis, differential and Riemannian geometry, as well as calculus of variations. Statements ...

learn more… | top users | synonyms

7
votes
0answers
238 views

Open problems in Federer's Geometric Measure Theory

I wanted to know if the problems mentionned in this book are solved. More specifically, at some places, the author says that he doesn't know the answer, for example :"I do not know whether this ...
7
votes
0answers
129 views

Higher Order Coarea Formula

I was wondering, if there is a generalization of the coarea formula to higher order derivatives, which would allow one, for example, to relate the norm of the Hessian of a real-valued function $u$ to ...
6
votes
0answers
289 views

Ham sandwich theorem for integrable functions?

The classical ham sandwich theorem says that given $n$ measurable sets in $\mathbb{R}^n$, it is possible to divide all of them in half (with respect to their measure, i.e. volume) with a single $(n − ...
5
votes
0answers
146 views

Measurability of a certain set in Falcolner's Geometry of Fractal Sets

On page 24 of Falcolner's The Geometry of Fractal Sets, Falcolner defines the set $F = \{ x \in E : \mathcal{H}^s(E \cap U) < \alpha$ diam$(U)^s$, for all convex sets $U$ containing $x$ such that ...
5
votes
0answers
91 views

How difficult is it to impose a differential structure on a fractal?

Assuming we have a 4-dimensional smooth manifold $M$ embedded in $\mathbb{R}^{m}$ that is difficult to understand its differential structure. For convenience's sake we can assume it is compact, simply ...
4
votes
0answers
25 views

Wasserstein space of order 2.

I have a question about Wasserstein space. I am just wondering if the following statement is true Let $(\Omega,\mathcal{F},\mathbb{P})$ be a probability space with $\bar{\Omega}$ being a Polish space ...
4
votes
0answers
45 views

Manifolds with volume forms on every submanifold

If we equip a manifold with an inner product (i.e. we have a Riemannian Manifold) then we get a canonical volume form on that manifold (please mentally insert the prefix "pseudo" into my question ...
4
votes
0answers
48 views

Co-Area formula in Riemannian geometry

I wonder if the following holds true: Let $z:[0,1]\times B^{n-1}_r(0)\to(M^n,g), (t,p)\mapsto z(t,p)$ be a diffeomorphism a.e. onto its image with respect to the Lebesgue measure on $A:=[0,1]\times ...
4
votes
0answers
220 views

Lebesgue measure as a fixpoint: change of variables formulas

This question is inspired by several others on a similar topic: see e.g. this one and a sequence of linked questions. Let us so far focus on $\Bbb R^n$ endowed with standard Borel structure. For any ...
4
votes
0answers
128 views

Alternative rigorous definition of a surface integral

Consider some open subset $U$ of $\mathbb{R}^n$ where $U$ has a (piecewise) $C^1$-boundary. Let $f$ be some smooth (enough) real function. Is there some way to give a measure-theoretic definition of ...
4
votes
0answers
114 views

Limits to the growth of the volume of a union of spheres

Assume that $x_i$, $i=1,\ldots,m$ are points in $\mathbb{R}^n$, with the maximal distance between any two of them being at most $1$. Define $$ a(r)=\mu\Bigl(\bigcup_{i=1}^m B(x_i,r)\Bigr),$$ where ...
4
votes
0answers
196 views

Three properties of the Lebesgue measure on $\mathbb{R}^n$

I'm writing notes for my upcoming class in Game Theory and I realized some time ago that I only need three properties of the Lebesgue measure $\lambda$ on $\mathbb{R^n}$. It is a non-negative ...
3
votes
0answers
38 views

A covering argument for metric Jacobian

Given a Lipschitz map between Carnot Groups $ f : G_1 \to G_2$, with homogeneous dilations $ \delta^1_s, \delta^2_s$, we have the almost everywhere Pansu derivative $ D_H f(x)(y) = \lim_{s\to 0} ...
3
votes
0answers
51 views

Density and $\lambda$ - measurability of a Radon measure

Question: Let $\lambda$ be a Radon measure on $\mathbb{R}^n$ and $A \subset \mathbb{R}^n$. Show that $$ \lim_{r \rightarrow 0} \frac{\lambda(A \cap B(x,r))}{\lambda(B(x,r))}=0 \ \ \ \text{for ...
3
votes
0answers
98 views

Lebesgue density theorem for compact metric spaces.

Let $X$ be a compact metric space (with balls $B_{\varepsilon }(x)$), $\mu $ a Borel probability measure, and $A$ a Borel set with positive probability. Do we have that $\lim_{\varepsilon ...
3
votes
0answers
84 views

Measurability of points regular

I'm reviewing the proof of the theorem of oseledet the book Mañe: Let $M$ a compact metric space and $f:M \rightarrow M$ a homeomorphism, $\pi: F \rightarrow M$ a finite-dimensional continuos vector ...
3
votes
0answers
62 views

BV Function times characterstic function still BV?

I am wondering: given a function $u \in BV(\Theta)$ where $\Theta$ is an open subset in $\mathbb{R}^n$ and a Borel subset $B \in \mathcal{B(\Theta)},$ is the function $w \colon= u \chi_B$ still in ...
3
votes
0answers
177 views

Fourier dimension of a measure restricted to an open set

Suppose that the measure $\mu$ on $\mathbb{R}^n$ has Fourier dimension $\beta$, which is to say that $\beta= \sup\left\{\gamma \leq n : |\hat{\mu}(x)| \leq C(1+|x|)^{-\gamma/2}\right\}$. The Fourier ...
3
votes
0answers
146 views

Integral Geometry Reference Request

I am looking for a good introductory reference (book, lecture notes, survey article) on integral geometry. I am especially interested in the Crofton formula in $\mathbb{R}^n$ and its extensions to ...
3
votes
0answers
141 views

Radon-Nikodym derivative of the Hausdorff measure transform

Let $H^{m}$ be the $m$-dimensional Hausdorff measure, let $D = \operatorname{diag }(d_1,...,d_k)$ be a nonsingular scale matrix. Consider the change of measure formula: $$ \int\limits_{A} f(Dx) \; ...
3
votes
0answers
178 views

Co-area formula involving non-integer Hausdorff measure

Is there any co-area formula involving non-integer Hausdorff dimension? Moreover is it sensible to write the following: Let $S$ be a subset in $ \mathbb{R}^n$ with Hausdorff dimension s ...
2
votes
0answers
77 views

The Co-area formula for $BV$ function V.S. the co-area formula for $C^\infty$ functions

I am working on the proof of the co-area formula for $BV$ functions. Suppose $u\in BV(\Omega)$ then the co-area formula states that $$ \|Du\|(\Omega)=\int_{-\infty}^\infty \|\partial ...
2
votes
0answers
37 views

Difference of two subharmonic functions and signed measures

One of the reasons subharmonic functions are interesting is that if you take their laplacian, you get a measure (and conversely any finite Radon measure with compact support can be obtained in this ...
2
votes
0answers
61 views

Problem with definition of pushforward density

Let $X$, $Y$ be smooth manifolds and let $\pi \colon X \to Y$ be a submersion. Then for every $y \in Y$ the set $W_y = \pi^{-1}(y)$ is a submanifold in $X$. Let $\mu \in \Gamma(|\Lambda| X)$ be a ...
2
votes
0answers
56 views

$L^1$ approximate continuity points of epigraph of a continuous function

Consider a continuous function $f\colon \mathbb R\to \mathbb R$. Let $F(x,y):=\mathrm{sign\,}(y-f(x))$. Is it true that for a.e. $x\in \mathbb R$ the point $(x,f(x))$ is not a point of $L^1$ ...
2
votes
0answers
64 views

Measures whose projections are absolutely continuous

Let $\mu$ be a finite Borel measure on the plane. Does there exist a characterization of the property that almost all (wrt rotations) projections of $\mu$ to lines on the plane are absolutely ...
1
vote
0answers
18 views

Does the coarea formula hold for delta-function?

Let $\Omega \subset \mathbb R^n$ be an open bounded domain, $u \colon \Omega \to \mathbb R$ be a Lipshitz function and suppose that $\nabla u (x) \neq 0$ for $x \in \Omega$. The coarea formula tells ...
1
vote
0answers
33 views

Define Radon measure as an integral

Let $\mu: \mathcal P(\mathbb R^n) \to [0, \infty]$ be an outer Radon measure and $f \in L^1_{loc}(\mathbb R^n, \mu)$, $f \geq 0$ on $\mathbb R^n$. Now we define an outer measure $\nu: \mathbb R^n \to ...
1
vote
0answers
115 views

How we can explain this by drawing a suitable diagram?

When I go through the proof of Riesz-Markov Representation Theorem I could encounter a step of defining $A_k=K\cap f^{-1}((y_k,y_{k+1}))$ $U_k=V\cap f^{-1}((y_k,y_{k+1}))$ And the $A_k\in ...
1
vote
0answers
59 views

Every projection of the square of the middle thirds Cantor set contains an interval

Let $C_\lambda$ the cantor set which is defined by the IFS $\{\lambda x,\lambda x+(1-\lambda)\}$ and also let $E=C_\lambda\times C_\lambda$.Suppose $\lambda =\frac 1 3$, we get the standard ...
1
vote
0answers
33 views

Coarea formula for fractional dimension

The coarea formula states that any locally Lipschitz function (e.g. a $C^1$-function) $F:\mathbb{R}^N\to\mathbb{R}^n$ with $N\geq n$ satisfies $$\int_A JF(x) \mathrm{d}\mathcal{H}^N = ...
1
vote
0answers
45 views

Hausdorff dimension of a ball

Let $\{f_1,\dots,f_m\}$ be an IFs and $E_n$ be the associated self similar set. It's known that $E_n$ is a union of disjoint balls $B(x_i,R\cdot r^n)$ (balls with same radius but not the same ...
1
vote
0answers
34 views

Crofton formula in higher dimension

In the plane, the Crofton formula states that for a rectifiable plane curve $\gamma$, we have $\int |line \cap \gamma| d\Omega_1=2\times length(\gamma)$ where $d\Omega_1$ is the ...
1
vote
0answers
40 views

Hausdorff measures and densities

I've been stuck on this one for a while now. It's problem 2.4 from Falconer's "The geometry of fractals" Given an $\mathcal{H}^{s}$ measurable subset $E\subset \mathbb{R}^n$ with ...
1
vote
0answers
101 views

Von Neumann and Hausdorff continuous dimensions are related?

Von Neumann in his book Continuous Geometry introduced (in a suitable lattice) a dimension function that has a continuous range. The definition of a dimension function is axiomatic: see Continuous ...
1
vote
0answers
29 views

Finding countable compact set s.t $\underline{\dim}_M(K)\lneq\overline{\dim}_M(K)$

Im trying to find a countable compact set such that $$\underline{\dim}_M(K)\lneq\overline{\dim}_M(K)$$ I tried thinking about Koch curve, sierpinskii gasket and carpet, Bedford-McMullen carpet and ...
1
vote
0answers
16 views

$ H^{n-1} (spt \mu _E - \partial ^{*}E)=0 ?$

In Federer's Theorem, $ H^{n-1} (\partial ^{m}E - \partial ^{*}E)=0 $, where $E$ is a set of finite perimeter in $ \mathbb R^n $, $\partial ^{m}E$ is the measure theoretical boundary of E, and ...
1
vote
0answers
46 views

Probability of hitting a Borel set by transient Brownian motion ($d\geq 3$)

I am looking for references/progress made in estimating the hitting probability for Borel sets. For spheres we have $P_{x}(T_{B_{r}(0)}<\infty)=(\frac{|r|}{|x|})^{d-2}$, where $x=B_{0}$ for ...
1
vote
0answers
33 views

Reference: Computing Martin Capacity

For Borel set $A$ the Martin Capacity is defined as: $\mathrm{Cap}_{M}(A)=[\inf\{\int \int \frac{G(x,y)}{G(0,y)}d\mu(x)d\mu(y):\mu \mbox{ probability measure on }A \}]^{-1}$ and Green's function ...
1
vote
0answers
42 views

Aproximating a function on SO(3)

By $SO(3)$ I mean rotation matrices. Let $\cal{L}=\{f:[0,l]\to \rm{SO}(3)\} \cap L^1([0,l];\mathbb{R}^{3\times3})$. How to approximate funkctions from $\cal{L}$ with functions from ...
1
vote
0answers
58 views

Meaningful measures for comparing infinite dimensional geometric objects

I have two infinite-dimensional convex polytopes, call them $A$ and $B$. I know that $B$ is completely contained within $A$, and I want to say something meaningful about their relative sizes. From ...
1
vote
0answers
61 views

A question about Hausdorff measure

Let $ \mathscr{H}^m $ be the m-dimensional Hausdorff measure in $ R^n $. Let $ m<k $ and $ A \subset R^n $. If $ \mathscr{H}^m(A) < \infty $ then $ \mathscr{H}^k (A) =0 $. How can i prove this ...
1
vote
0answers
96 views

doubt in a book proof from 'The Geometry of Fractal Sets'

I am reading the proof of existence of positive finite $H^s$-measure (Theorem 5.4) on page 67-68 of The Geometry of Fractal Sets.I am not quite convinced that $E_k$ are closed set by the construction ...
1
vote
0answers
153 views

Change of variables formula for a general measure

In a paper, pp11, I read the equality ...
1
vote
0answers
28 views

density of $\mathcal{C}_1$ surface in a point

Let us have an $A \subset \mathbb{R^d}$, that is a $k$-dimensional $\mathcal{C}_1$ surface (obviously $k<d$) and let $a \in A$. Why then is $\Theta^k(A,a)=1?$ Of course $\Theta^k := \lim_{r ...
1
vote
0answers
307 views

Corollary of Lebesgue decomposition theorem and counter-example

Refferring to the Lebesgue decomposition theorem in Lebesgue decomposition theorem and fundamental theorem of calculus there is a corollary when the measure is the Lebesgue measure that states: if ...
1
vote
0answers
98 views

Isoperimetric inequalities with relative perimeter

It is a well known result that if $\Omega\subset \Bbb{R}^N$ is an open set, with regular boundary (smooth, or Lipschitz) then the problem $$ \min_{E \subset \Omega |E|=c} Per(E)$$ has a solution, ...
1
vote
0answers
1k views

How do we prove that a sphere maximizes the volume enclosed among all simple closed surfaces of given surface area?

How do we prove that among all closed surfaces with a given surface area, the sphere is the one that encloses the largest volume, and not do it by cases? so far I've tried is that I know the formula ...
0
votes
0answers
16 views

Weak Compactness Therem for $L^p$

I have a problem to understand a point in the Weak Compactness Theorem from the book of Evans/Gariepy. So we have $\mu: \mathcal P(\mathbb R^n) \to [0, \infty]$ a Radon measure with $\mu \ll ...
0
votes
0answers
17 views

Reconstructing a measure from its (absolutely continuous) marginals

Let's denote by $C$ the space of continuous functions $[0,T] \rightarrow \mathbb{R}^n$ for some fixed $T>0$ and assume we have a probability measure $Q$ on the space $C$. Consider the evaluation ...