Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

For complex numbers $a_{n}, b_{n}$, what would be the next step to simplify this expression:

$$\left \|\sum_{n=1}^\infty a_{n} b_{n}\right \|^{2}=\left \langle \sum_{n=1}^\infty a_{n}b_{n},\sum_{m=1}^\infty a_{m}b_{m}\right \rangle$$

Is it $=\sum_{n=1}^\infty \sum_{m=1}^\infty |a_{n}|^{2}|b_{m}|^{2}$ !?

where $|a_{n}|^{2}=a_{n}\overline{a_{n}}$

share|cite|improve this question
When you say "Is it = $\sum_{n=1}^\infty \sum_{n=1}^\infty |a_{n}|^{2}|b_{n}|^{2}$", the two sums should use different indices. – Zev Chonoles Mar 16 '11 at 0:31
Right, I fixed it. – user8315 Mar 16 '11 at 0:33

You could simplify it some this way: $$\left \langle \sum_{n=1}^\infty a_{n}b_{n},\sum_{m=1}^\infty a_{m}b_{m}\right \rangle=\lim_{N \to \infty} \lim_{M\to \infty} \left \langle \sum_{n=1}^N a_{n}b_{n},\sum_{m=1}^M a_{m}b_{m}\right \rangle = \lim_{N \to \infty} \lim_{M\to \infty} \sum_{n=1}^N \sum_{m=1}^M \left \langle a_{n}b_{n}, a_{m}b_{m}\right \rangle$$ $$ = \sum_{n=1}^\infty \sum_{m=1}^\infty \left \langle a_{n}b_{n}, a_{m}b_{m}\right \rangle=\sum_{n=1}^\infty \sum_{m=1}^\infty a_{n}b_{n} \overline{a_{m}b_{m}}$$

There are some details in between that I didn't want to type, and I'm a little iffy about the convergence, but I think it works. You can pass the limit outside the inner product because inner products are continuous. Your expression is missing the cross terms.

share|cite|improve this answer

I don't think you can simplify it any further. Your simplification does not work because $\sum_{n=1}^\infty \sum_{m=1}^\infty |a_{n}|^{2}|b_{m}|^{2}$ is actually an upper bound for your expression. To see this, test the example $1*1 + 1*(-1) + \cdots = 0$.

share|cite|improve this answer
Can you explain why you think it is an upper bound? – Please Delete Account Mar 16 '11 at 3:10
@Approximist, use Cauchy Schwarz. – Soarer Mar 16 '11 at 4:14

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.