Original solutions to the Numerical Linear Algebra paper of 14 June 2011. Source: the older Mathematics release, supplied in
Part C 2007 11.pdf, pages 469–472. All three questions and their fourteen lettered parts are covered.A real singular value decomposition has the form , where and are orthogonal matrices, and is a rectangular diagonal matrix with entries . These entries are the singular values. Their squares are the eigenvalues of , omitting the additional zero eigenvalues when . The positive singular values number exactly the matrix rank.
Use the singular value decomposition and the orthogonal invariance of the Euclidean norm. Put and . Since precisely are positive,The second sum is independent of and cannot be removed. The first sum vanishes exactly when for , while are arbitrary. Thus every least-squares solution isThe unavoidable linear-system residual is the component of orthogonal to the column space of :The minimum-norm least-squares solution sets all and equals , where is the Moore-Penrose inverse. The squared minimum, rather than the minimum itself, is the second sum in the first display.
Let and be the columns of the orthogonal matrices and in the singular value decomposition. Multiplying by the rectangular diagonal matrix retains its nonzero diagonal entries:The families and are orthonormal, hence in particular orthogonal. Each summand is a rank-one outer product, and the remaining terms vanish because their singular values are zero.
For the matrix's Euclidean operator norm, orthogonal invariance of the Euclidean norm givesTaking gives equality, so . For the Frobenius norm, the trace identity and the singular value decomposition giveConsequentlyHere the Euclidean matrix norm means the operator norm induced by the vector Euclidean norm, rather than the entrywise Euclidean length, which is the Frobenius norm.
The two columns are orthogonal, with lengths one and two; equivalently . Ordering the singular values decreasingly requires swapping the right coordinate directions. One full singular value decomposition isBoth and are orthogonal matrices, and direct matrix multiplication gives . Hence
The spectral theorem for real symmetric matrices gives with an orthogonal matrix . Positive definiteness makes every eigenvalue positive. Define the matrix square rootIt is symmetric, its square is , and for any nonzero vector ,Thus it is also positive-definite, and its matrix inverse is .
The induced matrix norm associated with the given energy norm is a supremum of length ratios. The invertible change of variables givesThe last expression is the Euclidean operator norm. This is the matrix norm induced by an energy norm: transforming to coordinates with Euclidean lengths transforms the operator by the corresponding matrix similarity.
Write , where is the diagonal matrix of diagonal entries of , and are its strictly lower- and upper-triangular parts. Since is symmetric, . Subtract the two factors in the SOR iteration:Therefore, for ,Positive definiteness makes each , so the triangular matrix is an invertible matrix for every . The original formula gives ; the expression for itself is undefined there. The affine term ensuring that the desired solution is a fixed point is .
Apply the matrix norm induced by an energy norm and set . Multiplication givesThe bracket factors as . Because and ,Thus for the stated matrix. In particular is a positive semidefinite matrix. The Euclidean operator norm squared is the largest eigenvalue of , and all those eigenvalues are nonnegative. ConsequentlyThis identity is the algebraic step in the energy-norm proof of convergence of SOR; spectral radius equals the largest eigenvalue here because .
For , the coefficient is positive. Moreoveris a positive-definite matrix: for a nonzero vector , put ; then . Hence every eigenvalue of is strictly below one. Part (d) also gives , so these eigenvalues are nonnegative. ThereforeThe energy-norm proof of convergence of SOR thus makes the iteration a strict contraction mapping in this norm. Its forward error satisfies , so it converges geometrically to zero.
For the quadratic function, write and restrict to the full line . Symmetry of givesThe coefficient is positive by positive definiteness and . The unique minimizer is thereforeQuadratic minimization along a line also gives the exact changeThus strict decrease holds exactly when . The search is over the whole line, so can be negative; a positive step size would require the additional descent direction condition .
The exact minimization gives , with . For steepest descent method, the next search direction is . HenceThus consecutive nonzero search directions are orthogonal. This calculation even covers an arbitrary initial direction , as in the generic algorithm: it only needs the exact preceding line minimization and the choice . If the new linear-system residual is zero, the linear system is already solved. No pairwise orthogonality of all nonconsecutive directions is asserted.
Nonzero vectors are conjugate directions with respect to when for . They are linearly independent: if , multiplication by gives , hence by positive definiteness. There are consequently at most such directions.
The finite termination of conjugate directions follows from the residual orthogonality maintained by the exact line minimizations. At step ,For , conjugacy gives . By mathematical induction, is orthogonal to every . After nonzero conjugate directions they form a basis of , forcing . Thus the method reaches in at most steps, and positive definiteness makes that solution unique. The claim is in exact arithmetic; rounding errors need not preserve exact conjugacy.
Since , an A-conjugate direction must satisfy . One nonzero choice isDirect matrix multiplication gives , and . All nonzero scalar multiples of this vector also qualify.
Articles by others on the same topic
There are currently no matching articles.