I'm almost done with a proof where I have to show something is a minimizer to the functional
$$||Ax-b||^2 + \lambda ||x||^2$$
I'm practically done, but I have one obstacle remaining. I need to argue that the functional is convex before I can be sure what I've found indeed is the minimizer. I know that norms are convex, but I'm not sure whether you can make an easy argument that a sum of squared norms are convex? I have tried to show convexity by the regular definition, but I find that it ends up being somewhat difficult to show...
Any help or hints would be higly appreciated!
You can just prove it directly.
First notice that $\|\cdot\|^2$ is convex:
\begin{align} \|(1-t)x+ty\|^2 &= (1-t)^2\|x\|^2 + 2t(1-t)\langle x,y\rangle + t^2\|y\|^2\\ &\le (1-t)\|x\|^2 + t\|y\|^2 + ((1-t)^2-(1-t))\|x\|^2 + 2t(1-t)\|x\|\|y\| + (t^2-t)\|y\|^2\\ &= (1-t)\|x\|^2 + t\|y\|^2 - t(1-t)\left(\|x\|^2 -2\|x\|\|y\| + \|y\|^2\right)\\ &= (1-t)\|x\|^2 + t\|y\|^2 - t(1-t)\left(\|x\|^2-\|y\|^2\right)^2\\ &\le (1-t)\|x\|^2 + t\|y\|^2 \end{align}
Now we have
\begin{align} f((1-t)x+ty) &= \|(1-t)Ax + tAy - b\|^2 + \lambda\|(1-t)x+ty\|^2\\ &= \|(1-t)(Ax - b) + t(Ay - b)\|^2 + \lambda\|(1-t)x+ty\|^2\\ &\le (1-t)\|Ax-b\|^2 + t\|Ay-b\|^2 + (1-t)\lambda\|x\|^2 + t\lambda\|y\|^2\\ &= (1-t)(\|Ax-b\|^2+ \lambda\|x\|^2)+ t(\|Ay-b\|^2+\lambda\|y\|^2)\\ &= (1-t)f(x) + tf(y) \end{align}