Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
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 ...
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) ...
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 \...
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$}\} $?
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(...
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(...
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 $$\...
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 ...
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 \...
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 ...
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 ...
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 $$\...
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$...
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, ...
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$ ...
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)$ ...