All Questions
17 questions
27
votes
2
answers
1k
views
Rademacher theorem
If $f:\mathbb{R}^n\to\mathbb{R}^m$ is of class $C^1$ and $\operatorname{rank} Df(x_o)=k$, then clearly $\operatorname{rank} Df\geq k$ in a neighborhood of $x_o$. It is not particularly difficult to ...
- 28k
18
votes
11
answers
5k
views
Applications of measure, integration and Banach spaces to combinatorics
I'm going to be teaching a Master's level analysis course (measure theory, Lebesgue integration, Banach and Hilbert spaces, and if there's time, some spectral or PDE stuff) in the fall. My problem is ...
- 1,665
10
votes
2
answers
2k
views
A result of Sierpiński on non-atomic measures
There is a classical result commonly attributed to W. Sierpiński that reads as follows:
Theorem 1. If $f: \Sigma \to \bf R$ is a non-atomic (*) measure on a set $S$, then for every $X \in \Sigma$ ...
- 10.5k
6
votes
2
answers
1k
views
Existence of a measure-preserving bijection
Let $f, g \, \colon \mathbb{R}^n \rightarrow \mathbb{R}$ be two Borel-measurable functions such that $f$ is non negative and
g is radially symmetric,
the function $ (0, \infty )\ni t \mapsto g (tx)$ ...
- 161
3
votes
2
answers
809
views
Growth of $L^p$ norms as $p \to \infty$
Let $f$ be a non-negative function defined on the unit interval. It is well known that $N(p) := \left(\int_0^1 f^p(t) dt\right)^{\frac{1}{p}} $ converges to $\operatorname{esssup}_{[0,1]} f$ when $p \...
- 1,211
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
1
answer
224
views
Flow of ODE with monotone source
Let $\Phi$ be the 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}.
\end{cases}$$
Is ...
user124345
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
2
votes
2
answers
109
views
Regular Lagrangian flow for explicit ODE with discontinuous right-hand side
Consider the problem
$$(\star) \quad \begin{cases} \frac{d}{dt} X(t,x) = \begin{cases} - 1 & \text{ if } X(t,x) >0, \\
1 & \text{ if } X(t,x) < 0 \end{cases}, &t \in [0,T],\\
X(0,x) ...
- 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
2
votes
0
answers
187
views
Role of absolute continuity of divergence of BV function in proof of renormalization property
In the paper http://cvgmt.sns.it/paper/436/, the author proves the renormalization property for the flow generated by a vector field $a(t,\cdot) \in BV(\mathbb{R}^N; \mathbb{R}^N)$.
Heuristically, ...
- 839
1
vote
1
answer
426
views
$L^p$ compactness for a sequence of functions from compactness of cut-off
Fix $p \in [1,\infty)$. Let $f_n:[a,b] \to \mathbb R$, $n \in \mathbb N$, be a sequence of $C^1$ functions. For every fixed $m\in \mathbb N^*$, suppose that the sequence of functions $$\{f_{n}\psi_m(...
- 161
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
1
vote
1
answer
169
views
Difference quotient for solutions of ODE and Liouville equation
Suppose that $\Phi$ is the solution of
$$\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{cases}$$
How does one prove that
$$\...
- 839
1
vote
1
answer
387
views
$L^p$ compactness for a sequence of functions from compactness of product with cut-off
Fix $p \in [1,\infty)$. Let $f_n:[a,b] \to \mathbb R$, $n \in \mathbb N$, be a sequence of $C^1$ functions. For every fixed $m\in \mathbb N^*$, suppose that the sequence of functions $$\{f_{n}\psi_m(...
- 161
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
0
votes
1
answer
86
views
Kolmogorov entropy of a subset of $L^1$
How can we estimate the Kolmogorov $\epsilon$-entropy
$$H_\epsilon (A,L^1(\mathbb R))$$
where
$
A = \{f:\mathbb R \to [0,K] \text{ s.t. $f \in L^1$ and has total variation $TV(f) \le M$}\}
$?
- 839