The best polynomial minimizes the weighted squared error among all polynomials of degree at most :
The given inner product is positive definite on continuous functions despite the weight vanishing at zero: a continuous nonzero function is nonzero on an interval containing nonzero points, so its weighted square integral is strictly positive.
If the error is orthogonal to , then for any ,
proving sufficiency. Conversely, if minimizes, perturb it to for any real . The squared error becomes
A minimum at forces the linear coefficient to vanish, proving necessity.
For existence, choose the basis . Its Gram matrix is positive definite because is the squared norm of the nonzero polynomial with coefficients . Thus is invertible, and the normal equations have a solution, giving an orthogonal residual and therefore a minimizer. The Pythagorean identity shows any other minimizer differs by a polynomial of zero norm, so it is equal to the first. Hence the best polynomial exists and is unique.
For odd , define . It is another polynomial in . Changing variables , and using evenness of the weight , gives . Thus is also a best polynomial. Uniqueness from part (b) gives , proving
Equivalently, the even component of a candidate is orthogonal to the odd residual and can only increase the squared error.
By part (c), the best degree-at-most-two polynomial is odd, so it must be . Orthogonality to gives
Therefore
Its error is automatically orthogonal to the even basis functions by parity, and the chosen coefficient makes it orthogonal to , so part (b) verifies optimality.
For nonzero , the Householder transformation is
The rank-one matrix is symmetric and satisfies . Consequently and . Thus the matrix is symmetric and orthogonal; geometrically it reflects the component along and fixes its perpendicular hyperplane.
Let and choose when , otherwise . Set , which is nonzero because . Compute
Thus the reflecting term in is exactly , giving
Its first coordinate is nonzero and all remaining coordinates vanish. The choice of sign also avoids subtracting nearly equal vectors when the first component is large.
Apply part (b) to the first column of , using an orthogonal reflection to zero all entries below the first. Next apply a Householder reflection to the trailing subvector of the second column, embedded as so it leaves the first row and the zeros already created intact. Continue similarly through the columns. If a trailing column subvector is zero, skip that step.
The product of these embedded orthogonal matrices sends to an upper triangular matrix . Write that product as ; its transpose is also orthogonal. Hence
The argument uses no inverse of and therefore includes singular matrices.
Multiplying the system by turns it into . For nonsingular , compute the transformed right side and solve the upper triangular system by back substitution. Orthogonal transformations preserve Euclidean lengths and do not amplify errors in that transformation.
If is singular,
Since , at least one diagonal entry of is zero. The resulting triangular system must then be checked for consistency and any free variables, rather than applying divisions by zero.

Articles by others on the same topic (0)

There are currently no matching articles.