4
$\begingroup$

Let $\{a_n\}$ be a sequence of complex numbers such that $\sum \limits _{n=1}^{\infty} a_nb_n$ converges for every complex sequence $b_n \in \ell^p$.

Show that $\{a_n\} \in \ell^q$ where $1/p+1/q=1$ and $p>1$.

How can we use the closed graph theorem to solve this problem?

  • 0
    If I remove the hypothesis that says p>1, the result still works? In this case, how can I prove it?2014-10-03

1 Answers 1

3
  • Check that actually, the series $\sum_n|a_nb_n|$ is convergent for all $b_n\in \ell^p$.
  • So we can define an operator $T\colon \ell^p\to \ell^1$ by $T((b_n)_n)\mapsto (a_nb_n)$. Show by the closed graph theorem that $T$ is bounded.
  • Let $N$ an integer. Let $b_n:=e^{i\theta_n}|a_n|^{1/(p-1)}$ for $n\leqslant N$, where $b_ne^{-i\theta_n}=|b_n|$ and $b_n=0$ if $n>N$. Then $\sum_{k=1}^N|a_k|^{p/(p-1)}\leqslant\lVert T\rVert\left(\sum_{j=1}^N|a_j|^{p/(p-1)}\right)^{1/p},$ which gives the result.
  • 0
    How to show that $\sum |a_nb_n|$ is convergent for all $b_n \in l^p$?2018-06-18