4
$\begingroup$

I want to examine which of the following operators $T \colon C[0,1] \to C[0,1]$. are compact, by some I think I got the argument, but others I have no idea.

a) $Tx(t) = x(t^2)$

Guess it is compact, but I have no idea how to proof this?

b) $Tx(t) = x(0) + tx(1)$

Here the range of $T$ consist of lines, i.e. the set $\{ n + m \cdot x : n,m \in \mathbb{R} \}$, this set is finite-dimensional because $\{ \mathbb{1}, \operatorname{id} \}$ are a base ($1$ denotes the constant function $1(x) = 1$ for all $x$).

c) $Tx(t) = \int_0^1 e^{st} x(s) \mathrm{d}s$

This is compact according to example A.2 from Appendix A: Compact Operators

d) $Tx(t) = \sum_{k=1}^{\infty} x(\frac{1}{k}) \frac{t^k}{k!}$

Guess here I could use arguments similar to those

How to prove that an operator is compact?

Proof that operator is compact

because $x(\frac{1}{x})$ is bounded on $[0,1]$ and the series $\sum_{k=1}^{\infty} \frac{t^k}{k!}$ converges to $e^t - 1$.

e) $Tx(t) = \sum_{k=0}^{\infty} \frac{x(t^k)}{k!}$.

Here I have no idea how to proof or disproof compactness of $T$?

f) $Tx(t) = \int_0^t x(s) \mathrm{d} s$

Here I have no glue too....

  • 0
    Small MathJax/LaTeX tip: I find that integrals look better when you put a thin space (`\,` in math mode) in front of the 'd'. Compare these two: $\int f d\mu \quad \text{versus} \quad \int f\,d\mu.$2012-11-23

2 Answers 2

2

a) $T$ is bijective, and $C[0,1]$ is infinite dimensional, so $T$ is not a compact operator.

d) After having showed that $T$ is well-defined, define $S_n(x)(t):=\sum_{j=1}^nx(j^{-1})\frac{t^k}{k!}$. What about the dimension of the rank of $S_n$?

e) The set $\{x_p\colon t\mapsto t^p,p\in\Bbb N\}\subset C[0,1]$ is bounded, and $T(x_p)(t)=e^{t^p}$. The task is to show that no subsequence of $\{T(x_p)\}$ form an equi-continuous set.

f) Arzelà-Ascoli's theorem is useful.

  • 0
    @Stefan I've corrected, as it's actually not the same approach for d) and e).2012-11-23
2

a) is not compact: it is actually onto, since for any $f$ we have $f=Tf_0$, where $f_0(t)=f(\sqrt t)$.

b) you are right.

c) you are right

d) and e): as Davide says, look at the dimension of the rank of $S_n$.

f) you can write $\int_0^tx(s)ds=\int_0^1x(s)\,1_{[0,t]}(s)ds$ and see that $T$ is compact using A.3 in Appendix A: compact operators