Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|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 Jun 25 '12 at 17:53
Thank you, edited accordingly. –  S.A.A Jun 27 '12 at 18:57

1 Answer 1

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|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.