Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
2 answers
154 views

Domains of type (A) are Lipschitz?

In this article and in the book of Ladyzhenskaya et al (1968) - Linear and Quasilinear Elliptic Equations we have the following definition of what is a domain of type (A): There is no example of a ...
7 votes
1 answer
152 views

Higher (BV) regularity of solutions to Poisson equation with Radon measure right-hand side?

I am trying to understand higher regularity for solutions to Poisson's equation when the right-hand side is a Radon measure. In particular: $$\begin{cases} \Delta u = \mu \text{ in } \Omega\\ u = 0\...
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 $...
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) ...
0 votes
0 answers
70 views

Measure and other properties of nodal domains of Laplacian

Let $(\phi_k,\lambda_k)$ be the couple of eigenfunctions and eigenvalues of the the Laplacian operator on $\Omega \subset \mathbb R^n$. The nodal set of $\phi_k$ is the set $$\mathcal N_k = \{x \in \...
4 votes
1 answer
266 views

Prove $\int_{\mathbb R^N \setminus \Omega} |x - z|^{-N-s} dz \approx dist(x,\partial \Omega)^{-s}$, $s \in (0,2)$

Let $\Omega \subset \mathbb R^N$ and $s \in (0,2)$. Under what assumptions on $\partial \Omega$ do we have $$\int_{\mathbb R^N \setminus \Omega} |x - z|^{-N-s} dz \approx \mathrm{dist}(x,\partial \...
0 votes
1 answer
72 views

Equivalence of statements about level sets: $u|_{S \times [\tau, \infty)}$ depends only on $t$ $\iff$ $u(t,x) = \mu^{\tau}(t,u(\tau,x))$

Let $u:\mathbb R_+ \times \Omega \subset \mathbb R^N \to \mathbb R$ (sufficiently smooth). Are the following statements are equivalent? For every $\tau >0$ and level surface $S$ of $u(\tau,\cdot)$,...
8 votes
2 answers
297 views

Averaging the mass of a Sobolev function $f\in W^{1,p}(\Omega)$ near $\partial\Omega$

Recently, I asked a somewhat related question here. In the comment section, I found the formula $$ \lim_{r\to 0}\frac{1}{r}\int_{\Omega_r} f(x)\,dx = \int_{\partial \Omega}f(\sigma)\,d\mathcal{H}^{n-1}...
4 votes
0 answers
151 views

Estimating the size of $\Omega_r=\{x\in\Omega: \text{dist}(x,\partial\Omega)<r \}$

Let $\Omega$ be a bounded domain in $\Bbb R^n$. Define $$ \Omega_r=\{x\in\Omega: \text{dist}(x,\partial\Omega)<r \}, $$ i.e. it the ring of thickness $r$ at the boundary of $\Omega$. Intuitively, ...
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 ...
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 $$\...
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 ...
2 votes
1 answer
396 views

Role of the divergence of the vector field in transport equations: mass concentration?

Consider the continuity equation $$\partial_t u(t,x) + \mathrm{div}(a(t,x)u(t,x)) = 0,$$ where $u: [0,T]\times \mathbb{R}^N \to \mathbb{R}$ is the solution and $a:[0,T]\times \mathbb{R}^N \to \...
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, ...
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}$ ...