Can Simpson's Rule Error Proof Assume Continuity on Varied Interval Bounds?

[georg gill]

I have tried to figure out a proof for simspons error that I found online

http://rowdy.mscd.edu/~talmanl/PDFs/Misc/Quintics.pdf

it is on page 149

I have sorted out the proof I think to (9) including (9). But I wonder how they could assume that F is continuous on [0,h] when F is a different function in 0? It looks like derivative but one has -t to 0 and the other have t to zero would it not give different direction for the derivative?

EDIT: Got it -t in denumerator right?

 

[georg gill]

I also wonder about a thing in the beginning of the proof. It seems they subdivide an interval of simpson approximation in two from


\frac{b-a}{n} to (a): \frac{b-a}{2n}

How can they just change that? If I were to explain it the best I would think I guess would be to start with derivation of simpson rule and start with parabola centered somewhere else then in origo:

y=Ax^2+Bx+C

Integrate to find real value underneath it

y=[\frac{A}{3}x^3+\frac{B}{2}x^2+Cx]^h_{-h}

(I):

y=\frac{h}{3}(2ah^2+6C)

Use the values on the graph for -h, 0 and h:

y_0=Ah^2-Bh+C y_0=C y_0=Ah^2+Bh+C

and (I) becomes

(II):

y=\frac{h}{3}(2ah^2+6C)=\frac{h}{3}(y_0+4y_1+y_2)

How can we just divide (II) in two like in (a)? When it is derived from something else? It seems that is what they do in the proof.

I am also a bit unsure about if u=h in proof where h is defined in the beginning of the proof. Is that right that u=h?

 

[georg gill]

\frac{b-a}{n} to (a): \frac{b-a}{2n}

I think they only use 2n instead of n and it is just a matter of definition. I only wonder about one thing about this proof now. In the beginning they define

h=\frac{b-a}{2n}

in (8) they use limits [0,h] which they talk about in the beginning to approximate error function on [0,h]

So far I get that. But in (11) they go back to using the simpson equation is this kth interval described there [0,h] 0r [-u,u]? I thought it would fit to give it the same interval as in the beginning of the proof, the first formula after proof is written as a semiheader which is [-u,u]. But I don't see how they then would get from [0,h] before (11) to [-u,u]