21.06.2015 Views

Nonlinear Equations - UFRJ

Nonlinear Equations - UFRJ

Nonlinear Equations - UFRJ

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

108 [CH. 8: CONDITION NUMBER THEORY<br />

Σ is a m × n matrix. It is possible to rewrite this in an ‘economical’<br />

formulation with Σ an r × r matrix, U and V orthogonal<br />

(resp. unitary) m × r and n × r matrices. The numbers σ 1 , . . . , σ r<br />

are called singular values of A. They may be computed by extracting<br />

the positive square root of the non-zero eigenvalues of A ∗ A or AA ∗ ,<br />

whatever matrix is smaller. The operator and Frobenius norm of A<br />

may be written in terms of the σ i ’s:<br />

√<br />

‖A‖ 2 = σ 1 ‖A‖ F = σ1 2 + · · · + σ2 r.<br />

The discussion and the results above hold when A is a linear operator<br />

between finite dimensional inner product spaces. It suffices to<br />

choose an orthonormal basis, and apply Theorem 8.1 to the corresponding<br />

matrix.<br />

When m = n = r, ‖A −1 ‖ 2 = σ n . In this case, the condition<br />

number of A for linear solving is defined as<br />

κ(A) = ‖A‖ ∗ ‖A −1 ‖ ∗∗ .<br />

The choice of norms is arbitrary, as long as operator and vector norms<br />

are consistent. Two canonical choices are<br />

κ 2 (A) = ‖A‖ 2 ‖A −1 ‖ 2 and κ D (A) = ‖A‖ F ‖A −1 ‖ 2 .<br />

The second choice was suggested by Demmel [35]. Using that<br />

definition he obtained bounds on the probability that a matrix is<br />

poorly conditioned. The exact probability distribution for the most<br />

usual probability measures in matrix space was computed in [38].<br />

Assume that A(t)x(t) ≡ b(t) is a family of problems and solutions<br />

depending smoothly on a parameter t. Differentiating implicitly,<br />

which amounts to<br />

˙ Ax + Aẋ = ḃ<br />

ẋ = A −1 ḃ − A −1 ˙ Ax.<br />

Passing to norms and to relative errors, we quickly obtain<br />

(<br />

‖ẋ‖<br />

‖ẋ‖ ≤ κ ‖ A‖<br />

D(A)<br />

˙ )<br />

F<br />

+ ‖ḃ‖ .<br />

‖A‖ F ‖b‖

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!