2
$\begingroup$

Consider a smooth metric measure space in which the integral of a gradient is meaningful. For example in the sense of upper gradients of Heinonen, or on a riemannian manifold with the associated measure. Therefore, one can define Sobolev spaces $W^{1,p}$. In the case of a compact riemannian metric, and in particular a domain in the euclidean space, one has the Rellich's theorem which guarantees compactness of the inclusion $W^{1,p} \hookrightarrow L^q$ for $q< p^*$, where $p^{*}$ is the exponent in the Sobolev embedding theorem.

My question is whether sufficient conditions are known which may guarantee the same compactness property for Sobolev spaces defined in more abstract measure spaces. As a particular example, I'd like to know if anything is known about the conditions on the weight function $w(x)$ when the measure $d \nu$ is defined as $d \nu= w (x) d \mu$, wherein $d \mu$ is the Lebesgue measure on $\mathbb{R}^n$. Another example is the case of riemannian manifolds with possibly degenerate metrics.

$\endgroup$
1
  • $\begingroup$ The imbeddings $W^{1,p}(\mathbb{R}^n)\hookrightarrow L^q(\mathbb{R}^n),1<q<p^∗$ are just continuous. If you replace the euclidean space $\mathbb{R}^n$ by a bounded domain $\Omega \subset \mathbb{R}^n$ then you have compact imbeddings. $\endgroup$ Jun 25, 2012 at 17:53

1 Answer 1

3
$\begingroup$

Please take a look at Theorem 8.1 (Chapter 8) in the following paper Hajłasz, Piotr; Koskela, Pekka Sobolev met Poincaré. Mem. Amer. Math. Soc. 145 (2000), no. 688, x+101 pp.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.