Define . Positive definiteness gives nonnegativity and separation of zero, and bilinearity gives absolute homogeneity. Cauchy–Schwarz follows by minimizing the nonnegative quadratic in real . It then gives , establishing the triangle inequality. Thus this is a norm.
Interpret the weighted function space as measurable functions modulo equality almost everywhere, so the integral form is a genuine inner product. Assume . If the residual is orthogonal to , then for ,Thus is a best approximation. Conversely, if it is best, take any and vary through . The polynomialhas a minimum at , so its derivative there vanishes. Hence for every . The same Pythagorean identity proves uniqueness of the best approximation.
Write . Orthogonality of to givesThe entries are obtained by integrating over the given interval. Subtracting the second equation divided by two from the first gives . ThusThe Gram matrix is positive definite, with determinant , so this orthogonal projection is the unique best approximation.
As explained by admissible polynomials for a singular inverse-linear weight, there is a domain issue: the constant polynomial does not belong to the weighted space, because . Hence the full space is not a subspace of , and the preceding inner-product projection theorem cannot be applied to it as stated.
Nevertheless a meaningful finite-error best approximation does exist after restricting to admissible polynomials. The target lies in for every , since its squared integrand near zero is . A polynomial has finite error exactly when : otherwise the residual tends to a nonzero constant and its weighted squared integral diverges; if , it has at least a simple zero and is integrable in the required norm. Thus the admissible approximation space isFor it is , giving best approximation zero. For it is a finite-dimensional inner-product subspace with positive definite Gram matrix, so it has a unique orthogonal projection of . Therefore the full polynomial-space formulation is not defined inside , but the finite-error interpretation has a unique best approximation. Declaring that no best approximation can exist under any interpretation would miss this admissible subspace.
The best-approximation characterization gives , since . ConsequentlyTaking nonnegative square roots proves . Thus an orthogonal projection cannot increase the norm.
A real square QR factorization is with and upper triangular. For an invertible matrix it can be made unique by requiring positive diagonal entries of .
If is orthogonal, then is orthogonal as well. An orthogonal upper triangular matrix is diagonal with entries : its first column has just its first entry, which must have modulus one, and orthogonality then zeros the rest of the first row; repeat inductively on the lower block. Thusand under the positive-diagonal convention , .
The first column is five times . Its orthogonal companion in the first-and-third-coordinate plane is , and the second column has positive residual seven times that vector. The remaining coordinate directions can therefore be read off immediately rather than performing a general four-dimensional orthogonalization. One obtainsThe columns of are visibly orthonormal. Taking their inner products with each column of the given matrix gives the displayed , which also verifies and positive diagonal entries.
At step , choose a real shift , factor , and setThe last equality proves orthogonal similarity at every step. Thus all iterates have the same eigenvalues; if is symmetric, the last expression is symmetric, proving symmetry by induction.
For the specified matrix, let . Then and , so and . It is a Householder reflection, hence orthogonal. With the standard positive-diagonal QR convention, part (a) gives , at the first unshifted step, and therefore . The same repeats forever: the unshifted algorithm is stationary.
If arbitrary diagonal signs in QR are allowed, , for a sign matrix , and the next iterate is . Its off-diagonal magnitudes are unchanged, so even then only sign changes occur, not progress toward a diagonal form. This explains the role of the usual convention in the literal stationary-iterate statement.
Articles by others on the same topic
There are currently no matching articles.