Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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

Suppose I have a bounded, linear map $T: H^1(X) \to H^1(X)$ such that $T(H^1(X)) \subset C^\infty(X)$. Is $T$ a compact operator?

I'm guessing this depends on whether or not $X$ is (pre)compact, and in the case I am the most interested in, it is ($X$ is an open, bounded set in $\mathbb{R}^n$), but I am also curious about the general question.

My preliminary thoughts are Arzela-Ascoli: if we take a sequence of functions $f_n \in H^1(X), ||f_n||=1$, then $||Tf_n|| \leq ||T||$ so the sequence is uniformly bounded. Unfortunately, I'm not sure how I should translate the smoothness of $Tf_n$ (and compactness of $X$) into equicontinuity.

Or maybe this follows directly from something like Rellich's theorem or another Sobolev embedding result?

EDIT: Let us further refine the problem statement, so that $T$ is a bounded, linear map $H^1_0(X) \to H^1_0(X)$ that extends to a continuous map $\mathcal{E}'(X) \to C^\infty(X)$ (assumptions on $X$ to follow, $\mathcal{E}'$ are compactly supported distributions). Is $T$ compact?

Thoughts: if $X$ is an open, bounded set, then the Schwartz kernel theorem says that there exists $k \in C^\infty(X \times X)$ so that $$ Tf(x) = \int k(x,y)f(y) \ dy. $$

If $k$ is uniformly continuous, then equicontinuity essentially follows immediately. But uniform continuity doesn't necessarily hold, as $X$ is only pre-compact.

If we replace $X$ by $\overline X$, then obviously a smooth $k$ on $\overline X \times \overline X$ is uniformly continuous, but does the Schwartz kernel theorem still hold in this case (every map $T:\mathcal{E}'(\overline X) \to C^\infty(\overline X)$ corresponds to a unique, smooth integral kernel)?

share|cite|improve this question
Do we really need an Arzelà Ascoli tag? – Pedro Tamaroff May 14 '13 at 1:01
@PeterTamaroff - I don't know, I guess not? Do you have any insight into the original question? – BaronVT May 14 '13 at 2:57
I don't know about this, sorry. – Pedro Tamaroff May 14 '13 at 3:24
Do you assume that $T$ is linear and bounded? – gerw May 15 '13 at 6:47
@gerw Yes, thanks. I added that to the original. – BaronVT May 15 '13 at 16:39

Your Answer


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

Browse other questions tagged or ask your own question.