Example 4.  Find the continuous least squares polynomial of degree n=4 that approximates the function  [Graphics:Images/CholeskyMod_gr_242.gif]  over the interval  [Graphics:Images/CholeskyMod_gr_243.gif].  

Solution 4.

The set of functions is [Graphics:../Images/CholeskyMod_gr_244.gif].  

[Graphics:../Images/CholeskyMod_gr_245.gif]


[Graphics:../Images/CholeskyMod_gr_246.gif]

The inner product [Graphics:../Images/CholeskyMod_gr_247.gif]

[Graphics:../Images/CholeskyMod_gr_248.gif]


[Graphics:../Images/CholeskyMod_gr_249.gif]

Since  i  and  j  are positive integers, this can be simplified with the command

[Graphics:../Images/CholeskyMod_gr_250.gif]


[Graphics:../Images/CholeskyMod_gr_251.gif]

Therefore, the Gram matrix G is the 5×5 Hilbert matrix, which is a real, symmetric and positive definite matrix.  

(a).  Form the matrix A and vector B.

[Graphics:../Images/CholeskyMod_gr_252.gif]



[Graphics:../Images/CholeskyMod_gr_253.gif]

Enter the function  [Graphics:../Images/CholeskyMod_gr_254.gif],  and the set of functions  [Graphics:../Images/CholeskyMod_gr_255.gif], and compute [Graphics:../Images/CholeskyMod_gr_256.gif]  for   [Graphics:../Images/CholeskyMod_gr_257.gif], and write down the linear system AC = B to be solved.

[Graphics:../Images/CholeskyMod_gr_258.gif]



[Graphics:../Images/CholeskyMod_gr_259.gif]


[Graphics:../Images/CholeskyMod_gr_260.gif]



[Graphics:../Images/CholeskyMod_gr_261.gif]

[Graphics:../Images/CholeskyMod_gr_262.gif]

(b).  Construct the Cholesky factorization of matrix A.

Invoke the subroutine Cholesky.  

[Graphics:../Images/CholeskyMod_gr_263.gif]



[Graphics:../Images/CholeskyMod_gr_264.gif]

[Graphics:../Images/CholeskyMod_gr_265.gif]

[Graphics:../Images/CholeskyMod_gr_266.gif]

[Graphics:../Images/CholeskyMod_gr_267.gif]

Verify the factorization.

[Graphics:../Images/CholeskyMod_gr_268.gif]



[Graphics:../Images/CholeskyMod_gr_269.gif]

[Graphics:../Images/CholeskyMod_gr_270.gif]

[Graphics:../Images/CholeskyMod_gr_271.gif]

[Graphics:../Images/CholeskyMod_gr_272.gif]

[Graphics:../Images/CholeskyMod_gr_273.gif]

(c). Solve the linear system for the coefficients [Graphics:../Images/CholeskyMod_gr_274.gif] using our  ForeSub[n]  and  [BackSub[n]  subroutines.

First, solve the lower-triangular system    LY = B  for  Y.

[Graphics:../Images/CholeskyMod_gr_275.gif]



[Graphics:../Images/CholeskyMod_gr_276.gif]

Verify that  LY = B.

[Graphics:../Images/CholeskyMod_gr_277.gif]



[Graphics:../Images/CholeskyMod_gr_278.gif]

[Graphics:../Images/CholeskyMod_gr_279.gif]

[Graphics:../Images/CholeskyMod_gr_280.gif]

Second, solve the upper-triangular system    UX = Y  for  X.

[Graphics:../Images/CholeskyMod_gr_281.gif]



[Graphics:../Images/CholeskyMod_gr_282.gif]

Verify that  UX = Y.  

[Graphics:../Images/CholeskyMod_gr_283.gif]



[Graphics:../Images/CholeskyMod_gr_284.gif]

[Graphics:../Images/CholeskyMod_gr_285.gif]

[Graphics:../Images/CholeskyMod_gr_286.gif]

Therefore X is the solution to  LUX = B. and hence AX = B
And we can verify that it is the solution.

 

[Graphics:../Images/CholeskyMod_gr_287.gif]

[Graphics:../Images/CholeskyMod_gr_288.gif]

[Graphics:../Images/CholeskyMod_gr_289.gif]

[Graphics:../Images/CholeskyMod_gr_290.gif]

Now use the solution to X make the coefficients  [Graphics:../Images/CholeskyMod_gr_291.gif].

[Graphics:../Images/CholeskyMod_gr_292.gif]



[Graphics:../Images/CholeskyMod_gr_293.gif]

Solve the linear system for the coefficients [Graphics:../Images/CholeskyMod_gr_294.gif] using  [Graphics:../Images/CholeskyMod_gr_295.gif] and the computation  [Graphics:../Images/CholeskyMod_gr_296.gif].

Construct the polynomial  p[x].  The coefficients are stored in the array  c  and the elements are [Graphics:../Images/CholeskyMod_gr_297.gif].

[Graphics:../Images/CholeskyMod_gr_298.gif]



[Graphics:../Images/CholeskyMod_gr_299.gif]

We are done.

We can graph the polynomial, this is just for fun !

[Graphics:../Images/CholeskyMod_gr_300.gif]


[Graphics:../Images/CholeskyMod_gr_301.gif]

[Graphics:../Images/CholeskyMod_gr_302.gif]
[Graphics:../Images/CholeskyMod_gr_303.gif]
[Graphics:../Images/CholeskyMod_gr_304.gif]


[Graphics:../Images/CholeskyMod_gr_305.gif]

[Graphics:../Images/CholeskyMod_gr_306.gif]

[Graphics:../Images/CholeskyMod_gr_307.gif]
[Graphics:../Images/CholeskyMod_gr_308.gif]
[Graphics:../Images/CholeskyMod_gr_309.gif]


[Graphics:../Images/CholeskyMod_gr_310.gif]

[Graphics:../Images/CholeskyMod_gr_311.gif]

[Graphics:../Images/CholeskyMod_gr_312.gif]
[Graphics:../Images/CholeskyMod_gr_313.gif]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(c) John H. Mathews 2004