Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
0 answers
90 views

Invariance under diffeomorphisms of the Hajlasz-Sobolev spaces

In this post it was shown that if $\Omega$ and $\Omega'$ are diffeomorphic non-empty open domains in some Euclidean space then the corresponding local Sobolev spaces are diffeomorphic with ...
ABIM's user avatar
  • 5,405
4 votes
0 answers
99 views

Fractional Hajłasz-Besov-like similar to the Korevaar-Schoen-Sobolev spaces?

Suppose that $(X,\mu,d)$ and $(Y,\nu,\rho)$ are doubling metric measure spaces. Fix $\alpha>0$ and define the space, analogously to this paper, as the collection of all measurable functions $f:X\...
ABIM's user avatar
  • 5,405
2 votes
0 answers
279 views

Relationship between $p$-capacity and Riesz $s$-capacity of a set

What is the relationship between the definitions of $s$-capacity (page 13 here) and $p$-capacity (here) of a set? Are they equivalent? If not, what inequalities hold? What is the difference (in terms ...
Riku's user avatar
  • 839
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
22 votes
1 answer
4k views

Image of the trace operator

It is well-known that we have the trace theorem for Sobolev spaces. Let $\Omega$ be an open domain with smooth boundary, we know that the map $$ T: C^1(\bar\Omega) \to C^1(\partial\Omega) \subset L^...
Willie Wong's user avatar
  • 39.1k