All Questions
Tagged with fa.functional-analysis geometric-measure-theory
100 questions
2
votes
1
answer
328
views
Hausdorff dimension of the graph of a BV function (in 1 dimensional setting)
Let $u: \Omega\subset \mathbb{R} \to \mathbb{R}$ be a function of bounded variation.
Question 1.
How can we prove that the Hausdorff dimension of the essential graph of $u$ equal to $1$?
Question ...
- 839
4
votes
2
answers
175
views
Geometric mean of positive measures
Let me given with an obvious example. Let $\Omega\subset{\mathbb R}^n$ be an open domain. If $f,g\in L^1(\Omega)$ and $f,g\ge0$, then $\sqrt{fg}\,\in L^1(\Omega)$.
Now let me replace the absolutely ...
- 52.3k
4
votes
1
answer
471
views
Is there a measure on the sphere with positive Fourier transform?
Is it possible to have an even probability measure $\mu$ (that is $\mu(A)=\mu(-A)$ for any set $A\subset \mathbb{R}^d$) supported on the unit sphere $S^{d-1}$ such that its Fourier Transform
$$
\...
- 321
1
vote
1
answer
178
views
Growth assumption and example of finite (arbitrarily small) time blow up for ODE
Consider the following ODE initial value problem
\begin{align*}
&\frac{d}{dt}\Phi(t,x) = \boldsymbol{F}(t,\Phi(t,x)), & t \in [0,T], \ \ x \in \mathbb{R}^N,\\
&\Phi(0,x) = x, & x \in \...
- 839
2
votes
0
answers
92
views
First Dirichlet eigenvalue below second Neumann eigenvalue?
Let $\Omega$ be a bounded domain in $\mathbb R^n $ with smooth boundary.
I was wondering if there exist any known conditions on $\Omega$ such that the 1st Dirichlet eigenvalue of the (positive) ...
- 173
1
vote
1
answer
154
views
BV function with absolutely continuous divergence
Let $f:\Omega \subset \mathbb{R}^N \to \mathbb{R}^N$ be a vector field such that $f \in BV(\Omega)$.
Suppose that $\mathrm{div} f$ is absolutely continuous with respect to the Lebesgue measure and ...
- 839
2
votes
1
answer
310
views
Measure on union of measure spaces and on quotient space
There are two questions about measures bothered me a lot.
Given a set X and a countable covering ${U_i}$ of $X$. Suppose that for each i, there is a measure $m_i$ on $U_i$. Is there a very general ...
- 325
9
votes
1
answer
636
views
Is there a characterization of the Hausdorff measures?
It is known that there is a unique measure on the Borel $\sigma$-algebra of $\mathbb{R}^n$ such that the measure of the rectangle $\prod_i [a_i,b_i[$ is $\prod_i (b_i-a_i)$. This is the Lebesgue ...
- 1,035
4
votes
1
answer
401
views
Weak convergence of measures on dense sets
We are given a complete (separable) metric space $X$ and a dense subset $D\subset X$. Consider a sequence of continuous functions $f_n\colon X\to \mathbb R$ such that $$\int\limits_D f_n \, {\rm d}\mu\...
- 233
2
votes
1
answer
118
views
Control the derivative of a BV function by its symmetric part
Can the derivative of a BV function $f:\mathbb{R}^n\to\mathbb{R}^n$ be controlled by the symmetric part of the derivative $\frac{1}{2}(Df+(Df)^T)$?
- 839
5
votes
0
answers
198
views
Heuristic and graphic representation of BV functions and their singularities
This question is about some heuristics and graphs of BV functions.
In 1-dimensional setting, two key examples of $BV$ functions $u: \mathbb R \to \mathbb R$ are
the Heaviside function, whose ...
- 839
6
votes
0
answers
239
views
Sheaves on Rectifiable Sets
Basic question: are there (co)homological or sheaf-based tools which might be useful in geometric measure theory?
Background: The jumping off point here is a simple analogy - geometric measure ...
1
vote
0
answers
45
views
Decomposition of the space of Radon measures with respect fractional harmonic capacity?
It is well know that there is a generalization of Lebesgue decomposition theorem in the following way:
Any non negative Radon measure can be decomposed uniquely into the sum of an absolutely ...
- 371
2
votes
0
answers
165
views
Jacobian and Jacobian matrix of solutions of ODE with Sobolev vector field
Let $\Phi$ be the Lagrangian flow (defined as in page 6 of this paper) of the ODE
$$\begin{cases}
\frac{d}{dt}\Phi(x,t) = f(\Phi(x,t),t) \quad t >0 \\
\Phi(x,0) = x \quad x \in \mathbb{R}^N
\end{...
user124345
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
2
votes
0
answers
199
views
Convergence of the difference quotient of a BV function
Consider a BV function $u \in BV(\mathbb{R}^N; \mathbb{R}^N)$.
What can be said about the difference quotient
$$
\frac{u(x+\epsilon y)-u(x)}{\epsilon}
$$
regarding its convergence as $\epsilon \to 0$...
- 839
3
votes
2
answers
137
views
What are some applications of Dilation Structures(idempotent right quasi-groups) from Emergent Algebra?
According to the following Journal Articles, there are these structures called Dilation Structures that are formalised in Emergent Algebras, examined in the case of metric spaces with dilations, and ...
- 151
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
0
votes
1
answer
75
views
Fractal set $E$ such that the indicator function $\mathbf{1}_E$ is BV
Is there a "fractal" set $E \subset \mathbb R^2$ such that the indicator function $\mathbf{1}_E$ is in $BV(\mathbb R^2)$?
- 839
2
votes
0
answers
90
views
Invariance under diffeomorphisms of the Hajlasz-Sobolev spaces
In this post it was shown that if $\Omega$ and $\Omega'$ are diffeomorphic non-empty open domains in some Euclidean space then the corresponding local Sobolev spaces are diffeomorphic with ...
- 5,405
2
votes
0
answers
159
views
What is the boundary of the set $\{ x : dist (x ,\partial \Omega) > \alpha \}$ for a domain $\Omega$?
Let $\Omega$ is a bounded open domain in $\mathbb R ^n$, and $\alpha \geq 0$ a real number, and consider the set $ E_\alpha = \{ x \in \Omega : \text{dist}(x , \partial \Omega) > \alpha\} $, which ...
- 747
1
vote
0
answers
259
views
Is there a precise relationship between ``Geometric Functional Analysis" and high-dimensional probability/information theory?
The 2009 course on GFA by Roman Vershynin (https://www.math.uci.edu/~rvershyn/papers/GFA-book.pdf) introduced the subject with this line on the course page, "...
- 2,246
1
vote
0
answers
107
views
Level sets of a BV function and its derivative
Given $u \in BV(\Omega; \mathbb{R}^M)$, where $\Omega \subset \mathbb{R}^N$, what is the relationship between its level sets and its distributional derivative $Db$?
More specifically, does Alberti ...
- 839
1
vote
0
answers
92
views
Alberti rank-one theorem and reduction of the study of BV function to the two-dimensional case
By Alberti rank-one theorem, could it be possible to reduce the study of a function $u \in BV(\mathbb{R}^N, \mathbb{R}^N)$ to the study of a function $\tilde{u} \in BV(\mathbb{R}^2, \mathbb{R}^2)$? At ...
user123457
1
vote
0
answers
88
views
If $u$ is $BV$ then $\operatorname{curl} Du = 0$ in the sense of distributions
Let $u\in BV(\mathbb{R}^N; \mathbb{R}^M)$. How does one prove that $$\operatorname{curl} Du = 0$$ holds in the sense of distributions?
- 839
1
vote
0
answers
100
views
Weak estimate for difference quotient of BV function
In an answer to the question Weak Lebesgue spaces and an estimate for BV functions it was remarked that if $u\in BV(\mathbb R^N)$ then there exists a Lebesgue negligible set $F \subset \mathbb R^N$ ...
- 839
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
0
votes
0
answers
156
views
Function classes with high Rademacher complexity
My question is two fold,
Is there any general understanding of what makes a function class have high Rademacher complexity? (Sudakov minoration would say that one sufficient condition for a class of ...
- 2,246
2
votes
0
answers
73
views
Projection of BV function
Let $u \in [BV(\mathbb R^N)]^N$. We have
$$D^{jump} u(x) = a(x) \otimes b(x)|D^{jump}u|,$$
where $a,b \in \mathbb S^{N-1}$.
What is the projection of $D^{jump}u$ in the direction $a$? And how can ...
- 839
2
votes
0
answers
73
views
Alberti rank-one theorem and irregular jump discontinuities
Is it fair to say that Alberti rank one theorem means that a BV functions $u \in BV(\mathbb{R}^2)$ has $Du = D^{cantor}u$ if and only if it has a jump discontinuity across a curve that is not smooth (...
- 839
0
votes
0
answers
63
views
Coarea-like formula for BV functions (not their derivative)
Let $\Omega \subset \mathbb R^N$ and $f \in BV(\Omega)$. The coarea formula states that
$$Df = \int_{\mathbb R} D \chi_{\{f >h\}} \, dh.$$
Unfortunately, the formula
$$f = \int_{\mathbb R} \...
- 839
2
votes
0
answers
71
views
Is there a function $u \in BV_{loc}(\mathbb{R}^2)$ such that $Du$ is an $s$-dimensional Hausdorff measure restricted to the Koch curve?
Motivated by my previous question Alberti rank-one theorem and irregular jump discontinuities, I'd like to ask the following:
Is there a function $u \in BV_{loc}(\mathbb{R}^2)$ such that $Du$ is an ...
- 839
1
vote
2
answers
530
views
Is there a name for this metric on a Borel sets
Consider a finite measure space $(X,\Sigma,\mu)$.
Consider the function $d:\Sigma \times \Sigma \to [0,1]$ given by
$$d(\sigma_1,\sigma_2) = \mu \left\{ (\sigma_1^c \cap \sigma_2) \cup (\sigma_1 \cap \...
- 614
1
vote
0
answers
47
views
Consistency of the definition of total variation for functions of one or several variables
Where can I find a proof that the definition of total variation for functions of several variables is consistent with the definition of total variation for functions of one variable?
- 839
22
votes
1
answer
4k
views
Image of the trace operator
It is well-known that we have the trace theorem for Sobolev spaces. Let $\Omega$ be an open domain with smooth boundary, we know that the map
$$ T: C^1(\bar\Omega) \to C^1(\partial\Omega) \subset L^...
- 39k
2
votes
0
answers
82
views
Volume of critical points decreases under symmetric decreasing rearrangement
In the lecture note http://www.math.utoronto.ca/almut/rearrange.pdf, it was stated that the volume of the set of critical points decreases under symmetric decreasing rearrangement. It seems so obvious ...
- 21
5
votes
1
answer
305
views
boundary density of the Von Koch flake
Given a measurable set $K\subset \mathbb{R}^d$ we consider the occupation ratio $$f_r(x)=vol(K\cap B(x,r))/r^d$$ and especially the asymptotics when $r\to 0$. When $K$ has a fractal boundary and $x$ ...
- 1,352
6
votes
1
answer
243
views
Existence of a measurable map between metric spaces
Let $X$ and $Y$ be separable complete metric spaces (if necessary, they may be assumed to be compact). Let $R\subset X\times Y$ be a closed subset such that the projection of $R$ to $X$ is onto.
Is ...
- 21.8k
0
votes
1
answer
549
views
One-dimensional Hausdorff measure of preimages
Let $\Omega$ be an open subset of $\mathbf{R}^n$. For a mapping $f: \Omega\to \bf{R}^n$, what kind of condition ensures that the one-dimensional Hausdorff measure of $f^{-1}(E)$ is zero whenever $E$ ...
- 1,881
9
votes
2
answers
706
views
Measures whose projections are absolutely continuous
Since my question was not answered on MSE, I would like to ask it here.
Let $\mu$ be a finite Borel measure on the plane. Does there exist a characterization of the property that almost all (wrt ...
- 452
7
votes
1
answer
344
views
Level sets of weakly differentiable funtions
Let $C$ be a $C^1$ hypersurface in $R^n$ and let $u \in C^1(R^n)$. Suppose
$$\nabla u(x) \cdot \eta(x)=|\nabla u| \ \ \forall x\in C$$
where $\eta(x)$ is the normal vector to $C$ at $x$ ($\nabla u$ ...
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
3
votes
0
answers
229
views
Area defined with $\pm$ closedness
Denote $B_n\subset\Bbb R^n$ to be unit ball at origin.
Denote $S\subset B_n$ to region of type $\mathsf I$ if it satisfies
$$s\in S\iff\forall t\in S, s+t\in S\mbox{ or }s-t\in S$$
I am convinced $\...
- 13.9k
0
votes
0
answers
76
views
Measure on infinite dimesional $L^p$ space relating size in norm to size in measure
Let $A$ be a bounded set in an infinite dimensional $L^p$ space. Fix an $\epsilon>0$. Is there a Borel measure $M$ such that
$$ M(B(x,\epsilon)) \geq C, \quad \forall x \in A$$
for some $C>0$ ...
- 111
3
votes
0
answers
860
views
decreasing rearrangements: why the asymmetry of measure-preserving maps?
Ryff proved in 1970 that the decreasing rearrangement $f^*$ of a, say, continuous function $f:[0,1]\to\mathbb{R}$ admits a measure preserving map $\phi$ such that $f=f^*\circ\phi$. In general it is ...
- 16.6k
0
votes
0
answers
46
views
The Minkowski $(N-1)$- dimensional upper constant of a closed curve?
Let $\Omega\subset \mathbb R^N$ be open bounded smooth boundary. Let $S\subset \Omega$ be a $N-1$ rectifiable set with $\mathcal H^{N-1}(S)<+\infty$. It is well know that if $S$ is not closed, then ...
- 679
1
vote
1
answer
154
views
Is the speed of a curve in $ \ell^\infty $ zero a.e. if the derivative of each component is zero a.e.?
Let $ A $ be an $ \mathcal{H}^1$-measurable subset of $ \mathbb{R} $ and $ \gamma \colon A \subseteq \mathbb{R} \to \ell^\infty $ be a Lipschitz mapping with the Lipschitz constant $ L $. Also, assume ...
- 520
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 ...
0
votes
0
answers
104
views
Must the Lebesgue measure of a $\rho$ - neighbourhood of an $(n-2)$ - dimensional set be at least $c\rho^2$?
The Lebesgue measure of a $\rho$-neighbourhood of a point in $\mathbb{R}^2$ is of course equal to $c\rho^2$. Similar such considerations in higher dimensions lead me to the following question:
Given ...
- 1,771
3
votes
0
answers
1k
views
weak regularity conditions for regions to assure boundary of measure zero
Let $\Omega \subset \mathbb{R}^d$ be a region ( bounded, simply connected, open set ). What are some regularity conditions to assure the boundary $\partial\Omega$ is a set of (lebesgue-)measure zero? ...
- 131