Argue, why given Operators are compact or not.

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
2 replies · 2K views
jonathan krill
Messages
2
Reaction score
0
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.
 
Physics news on Phys.org
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]