As the title states, I need to compute the operator norm of a linear operator $T:l^{2}\rightarrow l^{1}$, where

$$Tx=\left(x_{1},\frac{x_{2}}{2},\frac{x_{3}}{3},\frac{x_{4}}{4},... \right)$$

Using Holder's inequality for any sequence $(x_{i})_{i\geq 1}\in l^{2}$, we can show

\begin{align} |Tx|_{1}&=\sum_{i=1}^{\infty}=|x_{1}|+\left|\frac{x_{2}}{2}\right|+\left|\frac{x_{3}}{3}\right|+\cdots\\ &=|x_{1}||1|+|x_{2}|\left|\frac{1}{2}\right|+|x_{3}|\left|\frac{1}{3}\right|+\cdots \\ &\leq \left|x_{i}\right|_{2}\left|\frac{1}{i}\right|_{2} \\ &=\frac{\pi}{\sqrt{6}}|(x_{i})|_{2} \end{align}


$$\displaystyle |Tx|_{1}\leq\frac{\pi}{\sqrt{6}}|(x_{i})|_{2}\implies||T||\leq\frac{\pi}{\sqrt{6}}$$

However, I am unable to find a sequence in $l_{2}$ which has norm $|(x_{i})|\leq 1$ so that I may use the property $||T||=\text{sup}_{|(x_{i})|_{2}=1}|Tx|_{1}$.

Any help is appreciated. Thank you.

  • $\begingroup$ You can use \|T\| to get $\|T\|$. It's claimed that this is better than ||T||, which gives $||T||$. $\endgroup$ – DanielWainfleet Jan 11 at 6:16

Let $x_i=\frac c i, i=1,2\cdots$ where $c$ is such that $c\sum\limits_{i=1}^{\infty} x_i^{2}=1$. In other words, $c=\frac {\sqrt 6} {\pi}$. Then $\|T(x_i)\|=\sum\limits_{i=1}^{\infty} \frac c {i^{2}}$ which is exactly $\frac {\pi} {\sqrt 6}$.

  • $\begingroup$ Wow, sometimes when you look at a problem for so long continuously, you don't even realise the solution is right in front of you. Thank you so much! $\endgroup$ – Jack Jan 10 at 7:51

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Not the answer you're looking for? Browse other questions tagged or ask your own question.