MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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.

share|cite|improve this question
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. – Mercy King Jun 25 '12 at 17:53
Thank you, edited accordingly. – S.A.A Jun 27 '12 at 18:57
up vote 1 down vote accepted

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.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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