# $\sum x_n^2$ and $\sum y_n^2$ converge, what does $\sum (x_n + y_n)^2$ do?

So I know that $\sum x_n^2$ converges, and $\sum y_n^2$ converges. ${x_n}$ and ${y_n}$ are both sequences of real numbers. How can I prove that $$\sum(x_n+y_n)^2$$ converges? So far I have $$\sum(x_n+y_n)^2=\sum(x_n)^2 +\sum (y_n)^2 +\sum(2x_ny_n)$$ so I need to prove that $\sum 2x_ny_n$ converges. Is this the right way to approach it? If it is, I am completely lost as to the next step.

I also need to prove that $$\sqrt{\sum(x_n+y_n)^2}\leq \sqrt{\sum(x_n)^2}+\sqrt{\sum(y_n)^2}$$

I assume this will follow pretty easily from a result in the first proof, but I'm stuck on that now, and perhaps it is easier to start with the second one. I have a lot of work I've done on the first problem, but none of it seemed to go anywhere. Any hints?

Thanks!

-
The second result is called Minkowski inequality. Look at the proof here for $L^p$ spaces and try adapt it to $\ell^2$: en.wikipedia.org/wiki/Minkowski_inequality In this case, Holder is just Cauchy-Schwarz. – 1015 Feb 21 '13 at 2:51
Thanks, that's just the lead I needed! – JohnDvorak Feb 21 '13 at 3:05

$$x^2 + 2xy + y^2 \geq 0$$

Similarly,

$$x^2 - 2xy + y^2 \geq 0$$

Therefore

$$-x^2 - y^2 \leq 2xy \leq x^2 + y^2$$

So

$$|2xy| \leq x^2 + y^2$$

This shows that $s_n = \displaystyle\sum_{i=1}^n |2x_i y_i|$ is bounded and increasing sequence and so is convergent. So the series $\displaystyle\sum_i 2x_iy_i$ is absolutely convergent and therefore must be convergent.

-
This is very helpful, thank you! How did you get from line 1 to line 2? That's the step I'm not getting. – JohnDvorak Feb 21 '13 at 2:08
The two first lines follow from $u^2\geq 0$ by letting $u=x+y$ and $u=x-y$ respectively @SylarMorgan – Pedro Tamaroff Feb 21 '13 at 2:10
@PeterTamaroff I see now, thanks! – JohnDvorak Feb 21 '13 at 2:11

Use Cauchy-Schwarz, it will yield the result immediately.

-
For the second proof, you mean? – JohnDvorak Feb 21 '13 at 2:13

$2x_n^2 + 2y_n^2 - (x_n + y_n)^2$ $= 2x_n^2 +$ $2y_n^2 - x_n^2 -$ $2x_n y_n - y_n^2 = (x_n - y_n)^2 \geq 0$.

This means $(x_n + y_n)^2 \leq 2x_n^2 + 2y_n^2$.

Now add in $n$ and you see $\sum_n (x_n + y_n)^2$ converges.

-
Your algebraic approach made it very easy to understand, thanks! – JohnDvorak Feb 21 '13 at 2:33