All Questions
Tagged with fa.functional-analysis geometric-measure-theory
100 questions
27
votes
1
answer
1k
views
The dual of $\mathrm{BV}$
$\DeclareMathOperator\BV{BV}\DeclareMathOperator\SBV{SBV}$I'm going to let $\BV := \BV(\mathbb{R}^d)$ denote the space of functions of bounded variation on $\mathbb{R}^d$. My question concerns the ...
- 683
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
21
votes
4
answers
2k
views
Why are currents named currents?
Why do currents, functionals on compactly supported differentiable n-forms, bear the name they do?
I've assumed that it has something to do with an electrical current being formalized as a vector ...
- 695
19
votes
4
answers
5k
views
Explicit extension of Lipschitz function (Kirszbraun theorem)
Kirszbraun theorem states that if $U$ is a subset of some Hilbert space $H_1$, and $H_2$ is another Hilbert space, and $f : U \to H_2$ is a Lipschitz-continuous map, then $f$ can be extended to a ...
- 1,839
14
votes
2
answers
2k
views
Is the composition of two nowhere differentiable functions still nowhere differentiable?
Let $f,g:\mathbb R\to\mathbb R$ be two continuous but nowhere differentiable functions. By the Denjoy–Young–Saks theorem for almost every point $x_0\in\mathbb R$ one has
$$
\limsup\limits_{x\to x_0}\...
- 938
13
votes
2
answers
569
views
A conjecture of De Giorgi on weighted Sobolev spaces
Let $\mu$ be a probability measure on $\mathbb{R}^d$ which is absolutely continuous with respect to the Lebesgue measure with density $\rho$. Assume that, for all $t>0$,
\begin{align*}
\exp \left(...
- 778
10
votes
2
answers
3k
views
Absolute continuity on $R^{n}$
I know the definition of absolute continuity if there is a function $f:(a,b)\rightarrow R$.
I wonder what is an analogy of this concept if we have a function $f:A\rightarrow R$, where $A\subset R^{n}$ ...
- 399
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
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
8
votes
2
answers
849
views
Is the Gaussian Correlation Inequality universal?
T. Royen proved the Gaussian correlation inequality in the context of Gamma distributions back in 2014, which was since popularized by Latala and Matlak. The properties of Gaussian integration seem ...
- 4,466
7
votes
2
answers
434
views
Vector measures as metric currents
Currents in metric spaces were introduced by Ambrosio and Kirchheim in 2000 as a generalization of currents in euclidean spaces. Very roughly, a principle idea is to replace smooth test functions (and ...
- 16.4k
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$ ...
6
votes
1
answer
2k
views
Sobolev functions on $\mathbb{R}^N$ cannot be discontinuous on a $(N-1)$-dimensional submanifold
How can one prove (or where can I find a proof) that if $u \in W^{1,p}(\Omega)$, where $\Omega \subset \mathbb{R}^N$, then $u$ cannot have a $(N-1)$-manifold of discontinuity points?
- 839
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
6
votes
1
answer
1k
views
Prove that the flow of a divergence-free vector field is measure preserving
On page 3 of this preprint, after recalling the definition of flow generated by a vector field, the authors remark that "a necessary condition for a flow $\varphi_t(\cdot)$ generated by $a(t, \cdot)$ ...
- 839
6
votes
1
answer
228
views
Set where the speed of convergence is uniform in Lebesgue's density theorem
Let $B \subset \mathbb R^n$ be the unit ball.
Consider a Borel measurable set $E \subset B$ with positive Lebesgue measure $|E|>0$ (say $|E| = |B|/2$).
Then, Lebesgue's density theorem, says that ...
- 393
6
votes
1
answer
268
views
Decomposition of non negative Radon measure into $L^1$ and $H^{-1}$ functions
What is a reference for the following result (which appears to be well-known in measure theory)?
Any non negative Radon measure can be decomposed uniquely into the sum of an absolutely continuous ...
- 61
6
votes
0
answers
271
views
Existence of a limit of alpha-difference quotient for Hölder functions
Let $f:\mathbb{R}\to \mathbb{R}^d,d\geq 1,$ be an Hölder function with exponent $\alpha\in (0,1)$, meaning that
\begin{equation}
\sup_{x, y \in \mathbb R, \,x\neq y}\frac{|f(x)-f(y)|}{|x-y|^\alpha}<...
- 61
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 ...
6
votes
1
answer
896
views
Flat norm metrizes the weak* topology
I've come across the following statement in literature (without proof or reference) about the flat norm of currents
$$
F(T) = \sup \{ T(\omega) : \omega \in D^k(U), |\omega(x)| \leq 1, |d\omega(x)| \...
5
votes
2
answers
321
views
If the Hausforff dimension of the graph of a function $u$ is $N$ and $\tilde u = u$ a.e. then $\dim_H \mathrm{graph} \, \tilde u = N$ too
Let $\Omega$ be an open (non empty) set and $u:\Omega \subset \mathbb{R}^N \to \mathbb{R}^M$ be a function such that the Hausdorff dimension of its graph is $N$.
Let $\tilde u = u$ a.e. Is it true ...
- 839
5
votes
2
answers
514
views
Concrete description of lift in Arens-Eells space
Let $X$ be a compact pointed metric subspace of the $d$-dimensional Euclidean space $(\mathbb{R}^d,d_E)$ and let $AE(X)$ denote its Arens-Eells space. Then a result of Nik Weaver shows that for every ...
- 5,405
5
votes
1
answer
170
views
Regular Lagrangian flow for "square root example": $\frac{d}{dt} X(t,x) = \sqrt{X(t,x)}$
Consider the problem
$$(\star) \quad \begin{cases} \frac{d}{dt} X(t,x) = \sqrt{X(t,x)}, &t \in [0,T],\\
X(0,x) = x, &x \in \mathbb R
\end{cases}
$$
This is the prototype of non-uniqueness ...
- 839
5
votes
1
answer
499
views
Hausdorff 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 Hausdorff dimension of the graph of $u$ equal to $N$? How can we prove it?
Update.
In an answer to this post, it ...
- 839
5
votes
1
answer
220
views
Alberti rank one theorem and a blow-up argument
In this paper, it is written that Alberti’s rank
says that the singular part $D^s u$ with respect to $\mathcal L^d$ of the distributional derivative $Du$ of a function $u \in BV_{loc}(\mathbb R^d; \...
user123457
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
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
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
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
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
378
views
Every convex set is of locally finite perimeter
I need to prove that every convex subset of $\mathbb{R}^n$ is of locally finite perimeter.
$E$ is of locally finite perimeter if there exists a vector-valued Radon measure $\mu_E$ s.t. the Gauss ...
- 73
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
4
votes
1
answer
104
views
Generalization of a bounded variation
Let $(X, d)$ be a metric space. We will say that $\gamma \colon [a,b] \to X$ is of bounded variation, if
\begin{equation}
V(\gamma) = \sup_{a=t_0 < \cdots < t_n < b} \sum_{i=1}^n d( \gamma(...
- 820
4
votes
1
answer
365
views
Lusin Lipschitz approximation in BV and Sobolev space
Theorem 5.34 in Functions of bounded variation by L. Ambrosio, N. Fusco and D. Pallara states that
Let $u \in [BV(\mathbb{R}^N)]^m$. Then there exists a constant $\kappa>0$ such that for every $...
- 839
4
votes
1
answer
597
views
Meaning of Alberti rank-one theorem
Heuristically what does Alberti's rank-one theorem imply about the structure of a $\mathrm{BV}$ vector field $\boldsymbol{b}$?
Is it rigorously fair to say that the level lines of $\boldsymbol{b}$ ...
user123457
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
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
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
2
answers
322
views
Hausdorff dimension of the graph of the sum of two continuous functions
How can one prove the following result on the Hausdorff dimension of the graph of the sum of two continuous functions:
Let $f,g:[0,1] \to \mathbb R$ be two continuous functions. Suppose that $$\...
user139844
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
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
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
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
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
2
votes
1
answer
128
views
On the existence of a complicated fractal-like set of finite perimeter
Let $f\in BV(\Bbb R^n)$ be an integer-valued function that maps into $\{0, 1\}$ and is identically $0$ outside some bounded set in $\Bbb R^n$. In particular, $f$ determines a bounded Caccioppoli set $...
- 1,245
2
votes
2
answers
261
views
Distribution of the support function of convex bodies: beyond mean width
Let $K$ be a symmetric convex body in $\mathbb{R}^n$ (that is the unit ball of a norm). Let $h_K$ be its support function, that is $h_K(u) = \sup_{x \in K}\langle x,u \rangle$. The quantity $w(K) = \...
- 245
2
votes
1
answer
258
views
Control the oscillation of a function by its total variation
Is it possible to control the oscillation of a BV vector field $u:\mathbb R^N \to \mathbb R^N$ at a point $x_0$ by the total variation of $u$?
user140746
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