Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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) ...
Riku's user avatar
  • 839
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 \...
Hammerhead's user avatar
  • 1,211
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$}\} $?
Riku's user avatar
  • 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(...
Zac's user avatar
  • 161
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(...
Zac's user avatar
  • 161
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 $$\...
user avatar
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 ...
user avatar
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 \...
Riku's user avatar
  • 839
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 ...
user avatar
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 $$\...
Riku's user avatar
  • 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$...
Riku's user avatar
  • 839
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 ...
Riku's user avatar
  • 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, ...
Riku's user avatar
  • 839
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 ...
Piotr Hajlasz's user avatar
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$ ...
Salvo Tringali's user avatar
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)$ ...
Mike's user avatar
  • 161
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 ...
Gordon Craig's user avatar
  • 1,665