Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
1 answer
117 views

Special density on $L^2$

Let $\Omega\subset\mathbb{R}^N$ be a bounded domain, and $u\in L^2(\Omega)$ with $0\leq u(x)\leq 1$ a.e. on $\Omega$. It is well known that $C^{\infty}_c(\Omega)$ is dense in $L^2(\Omega)$. Because $C^...
Bogdan's user avatar
  • 1,759
4 votes
2 answers
391 views

Lebesgue differentiation theorem at boundary points for Sobolev traces

$\newcommand{\R}{\mathbb R}$ Let $\Omega\subset \R^d$ be a smooth, bounded open set and fix $p\geq 1$. Fact 1: the usual Lebesgue differentiation theorem says that, if $u\in L^p(\Omega)$, then $$ u(x)...
leo monsaingeon's user avatar
1 vote
0 answers
72 views

Compute surface Sobolev norm using local coordinate

For a bounded $\Omega\subset \mathbb{R}^n$ with Lipschitz boundary, there are various definitions of fractional Sobolev spaces (a.k.a. Sobolev-Slobodeckij spaces) on $\partial \Omega$, either by using ...
John's user avatar
  • 503
2 votes
1 answer
178 views

Non-convergence to a Gaussian

Let $f_n: \mathbb R^2 \rightarrow \mathbb R$ be a family of probability distributions with the property that they vanish on the diagonal $f_n(x,x)=0.$ I would like to know: Can we show that a ...
Xin Wang's user avatar
  • 183
1 vote
0 answers
152 views

Is the normalized derivative of a holomorphic function Sobolev?

This question is a cross-post from MSE. it is also a special case of this question. Let $B=\{z\in \mathbb C \,|\,|z|\le 1\}$, and let $f:B \to \mathbb{C}$ be holomorphic on the interior $B^o$, and ...
Asaf Shachar's user avatar
  • 6,741
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?
Riku's user avatar
  • 839
2 votes
1 answer
487 views

Difference quotient for functions of bounded variation

Let $u:\mathbb{R}^N \to \mathbb{R}^N$, $u \in BV(\mathbb{R}^N)$, be a function of bounded variation. We have that the following holds $$(\ast) \qquad \frac{1}{|B_r(0)|}\int_{B_r(0)} \frac{|u(x+z)-...
user avatar
5 votes
1 answer
248 views

Approximation of monotone Sobolev functions

Let $f\in W_{loc}^{1,2}(\mathbb R^2)$ be a continuous monotone (real valued) function (monotone in the sense that the maximum and minimum of $f$ in a precompact open set are attained at the boundary)....
Dimitrios Ntalampekos's user avatar
2 votes
1 answer
140 views

interpret of Picone inequality for non-regular functions

Assume $\Omega \subset \mathbb{R}^N$, $ N>4 $ is open set. There is a well-known picone identity that says Let $u,v \in C^2(\Omega)$ satisfy $v>0$ and $-\Delta v \geq 0$ in $\Omega$. The ...
Hheepp's user avatar
  • 371
5 votes
1 answer
239 views

Function and its Gradient with Prescribed Norms

I'm not sure if the following question is too elementary for Mathoverflow. I'm sorry if it is the case. Question: Let $n\in\mathbb{N}$ and let $1\leqslant p<\infty$. Let $\alpha,\beta>0$. ...
user53221's user avatar
2 votes
0 answers
448 views

Lebesgue point and regularity of functions

A known theorem says that for $f \in L_{loc}^1(\mathbb{R}^d)$, almost every point is a Lebesgue point. I know too a theorem saying that for $f \in W_{loc}^{1,p}(\mathbb{R}^d)$ , every point is a ...
user62319's user avatar