$Tx=\sum_{k=0}^{\infty}\lambda_k(x,e_k)e_k$ bounded and compact iff $\lambda_k\to 0$

compact-operatorsfunctional-analysis

Let $H$ be a real Hilbert space and $e:\mathbb{N}\to H$ an orthonormal system. Let $\lambda\in l^{\infty}(\mathbb{R})$ be a bounded sequence and define $T:H \to H$ by $$Tx=\sum_{k=0}^{\infty}\lambda_k(x,e_k)e_k.$$

Show that

a) T is bounded with $||T||=||\lambda||_{l^{\infty}(\mathbb{R})}$ and

b) $T$ is compact iff $\lambda_k\to0$ as $k\to 0$.

I think I first need to show the operator is well-defined, i.e that the sum converges. I therefore look at the partial sums: |$\sum_{k=0}^{N}\lambda_k(x,e_k)e_k|\leq ||\lambda||_{l^{\infty}(\mathbb{R})} \sum_{k=0}^{N}||x||$ by Cauchy-Schwarz. But this is not good enough because I still have the sum I am not sure how to control it. The sum also reminded me of Bessel's inequality $$0\leq||x||^2-\sum_{k=0}^n |(x,e_k)|^2=||x-\sum_{k=0}^n (x,e_k)e_k||^2$$ since we have the bound $||\lambda||_{l^{\infty}} \sum_{k=0}^N (x,e_k)e_k$. If I have would have $\lambda \in l^2$ I could bound the partial sums by $$(\sum_{k=0}^n \lambda_k^2)^{1/2}\left(\sum_{k=0}^n|(x,e_k)|^2\right)^{1/2}\leq ||\lambda||_{l^2}||x||$$ but I only know $\lambda \in l^{\infty}$

For part b) I know because $H$ is Hilbert T is compact iff $T$ is a limit of finite rank operators. So I define $T_N(x)=\sum_{k=0}^{N}\lambda_k(x,e_k)e_k$ and look at $||Tx-T_Nx||=||\sum_{k=N+1}^{\infty}\lambda_k(x,e_k)e_k||$. I was thinking this converges to $0$ because it is a tail sum of $Tx$ which converges. But this is obviously wrong as I didn't use $\lambda_k\to 0$.

Best Answer

Observe that $$\|Tx\|^2 = \sum_k (Tx,e_k)^2 = \sum_k \lambda_k^2 (x,e_k)^2 \le \|\lambda\|_\infty^2 \sum_k (x,e_k)^2 =\|\lambda\|_\infty^2 \|x\|^2.$$

As for compactness a similar calculation gives you that $$\|Tx - T_Nx\|^2 = \sum_{k \ge N+1} \lambda_k^2 (x,e_k)^2 \le \left( \sup_{k \ge N} \lambda_k^2 \right) \|x\|^2$$ so that $$\|T - T_N\| \le \sqrt{ \sup_{k \ge N} \lambda_k^2} \to 0$$ if and only if $\lambda_k \to 0$.

Related Question