0

$A^TAx = A^Tb$
$A^TA\hat{x} = A^Tb + f$

where $\lVert f\rVert \leq cu\lVert A\rVert\lVert b\rVert$

Show that $\frac{\lVert x-\hat{x}\rVert}{\lVert x\rVert} \leq cuK(A)^2\frac{\lVert A\rVert\lVert b\rVert}{\lVert A^Tb\rVert}$

My approach was to use the fact that
$\lVert(A^TA)^{-1}A\rVert = \frac 1{{\sigma}_n(A)}$ and $K_2(A) = \frac {{\sigma}_1(A)}{{\sigma}_n(A)}$

But I always ended up cancelling $K$ from both numerator and denominator.

1 Answers1

1

From $A^TA(\hat{x}-x)=f$ and the assumption on $\|f\|$, we have $$\|\hat{x}-x\|\leq\|(A^TA)^{-1}\|\|f\|\leq cu\|(A^TA)^{-1}\|\|A\|\|b\|.$$ From $A^TAx=A^Tb$, we have $$\|A^TA\|\|x\|\geq\|A^Tb\|.$$ Combining the two, $$ \frac{\|\hat{x}-x\|}{\|x\|}\leq cu\|(A^TA)^{-1}\|\|A^TA\|\frac{\|A\|\|b\|}{\|A^Tb\|}=cuK^2(A)\frac{\|A^T\|\|b\|}{\|A^Tb\|}. $$

  • I have a question with regards to these inequalities. In order to preserve the <= or >= direction on multiplication we need to ensure that both equations are either >= |1| or <= |1|. How're we reasoning about that here? – Srinivas Eswar Mar 23 '15 at 15:03
  • @SrinivasEswar I'm not sure what do you mean. The first inequality follows from the submultiplicativity of the matrix norm and the assumption on $|f|$, the second again from the submultiplicativity. Then the two are simply combined and the final touch follows from $K(A)^2=|A^TA||(A^TA)^{-1}|$. – Algebraic Pavel Mar 23 '15 at 17:21