• Support PF! Buy your school textbooks, materials and every day products Here!

Argue, why given Operators are compact or not.

Which of the operators [itex]T:C[0,1]\rightarrow C[0,1][/itex] are compact?

$$(i)\qquad Tx(t)=\sum^\infty_{k=1}x\left(\frac{1}{k}\right)\frac{t^k}{k!}$$ and
$$(ii)\qquad Tx(t)=\sum^\infty_{k=0}\frac{x(t^k)}{k!}$$

ideas for compactness of the operator:

- the image of the closed unit ball is relatively compact under T.
- for any sequence [itex](x_n)\subset B_1(0)[/itex], the sequence [itex](T_nx)[/itex] contains a cauchy sequence.
- show that the operator is not bounded, which is equivalent of it not being continuous which is necessary to be a compact operator
- show [itex]T(C[0,1])[/itex] is equicontinuous, and then argue via arzela-ascoli to get compactness of the operator
- obviously they are somehow related to [itex]e^t[/itex]

sorry read the sticky to late, pls some moderator move this to HW forum.
 

Answers and Replies

27,118
7,314
Moved to homework. @jonathan krill have you made any attempts at a solution? You give some ideas for showing compactness, but have you tried any of them? If so, please post what you obtained. (Note that in homework threads you are supposed to fill out the homework template; part of that is showing your attempts at a solution.)
 
made progress showing (i) is compact the [itex] T_nx[/itex] are polynomials of finite rank, so for sequences in [itex]C[0,1][/itex] [itex] T_nx[/itex] is bounded hence [itex] T_nx[/itex] contains a convergent subsequence. hence [itex] T[/itex] is compact.

for (ii) One probably can show that [itex] T_nx[/itex] is not cauchy using [itex] x(t)=t^n[/itex]
 

Related Threads for: Argue, why given Operators are compact or not.

  • Last Post
Replies
5
Views
570
Replies
5
Views
1K
  • Last Post
Replies
0
Views
1K
  • Last Post
Replies
4
Views
6K
Replies
1
Views
2K
Replies
3
Views
1K
  • Last Post
Replies
5
Views
5K
Replies
9
Views
4K
Top