Trapping the exact value of the integral

[DivGradCurl]

If f is a positive function and f^{\prime \prime}(x) < 0 for a\leq x\leq b, show that

T_n < \int _a ^b f(x)\: dx < M_n

where:

T_n is the Trapezoidal Rule.
M_n is the Midpoint Rule.


In my textbook (Calculus: concepts and contexts / James Stewart. --- 2nd ed. --- page 419), there is a figure with the following caption:

"The area of a typical rectangle in the Midpoint Rule is the same as the trapezoid ABCD whose upper side is tangent to the graph at P. The area of this trapezoid is closer to the area under the graph than is the area of the trapezoid AQRD used in the Trapezoidal Rule."

In other words, provided that the concavity remains the same, we can trap the exact value of the integral between the trapezoidal and midpoint sums for any number of subdivisions.

Maybe, it can be used as the answer. However, I think I'd be better to express that in mathematical terms. So, here's what I've got:

\frac{h}{2}\left\{ f(a) + 2f(a+h) + 2f(a+2h) + \dots + 2f\left[ a + (n-2)h \right] + 2f\left[ a + (n-1)h \right] + f\left( a + nh \right) \right\}​

<​

\int _a ^b f(x)\: dx​

<​

h \left\{ f\left( a + \frac{h}{2} \right) + f\left( a + \frac{3h}{2} \right) + f\left( a + \frac{5h}{2} \right) + \dots + f\left[ a + \frac{(2n-3)h}{2} \right] + f\left[ a + \frac{(2n-2)h}{2} \right] + f\left[ a + \frac{(2n-1)h}{2} \right] \right\}​

which can be written as

\frac{1}{2} f(a) + f(a+h) + f(a+2h) + \dots + f\left[ a + (n-2)h \right] + f\left[ a + (n-1)h \right] + \frac{1}{2} f\left( a + nh \right)​

<​

\int _a ^b f(x)\: dx​

<​

f\left( a + \frac{h}{2} \right) + f\left( a + \frac{3h}{2} \right) + f\left( a + \frac{5h}{2} \right) + \dots + f\left[ a + \frac{(2n-3)h}{2} \right] + f\left[ a + \frac{(2n-2)h}{2} \right] + f\left[ a + \frac{(2n-1)h}{2} \right]​

Am I on the right track? What should I do next?

Any help is highly appreciated.

 

[Benny]

Hello, I cannot provide much help in terms of getting to the desired result using symbols but I have got the solution for that question. I can post it here or PM it to you if you want. In any case the solution does not necessarily have to be presented symbolically as you have done. The solution my solution manual has is relatively concise. As a hint I think you should draw a diagram, consider a general curve(that is, sketch it on the diagram) and use the fact that f''(x) < 0. This means that the curve is concave down. The diagram on page 419 should help you get started.

 

[DivGradCurl]

Hello, I cannot provide much help in terms of getting to the desired result using symbols but I have got the solution for that question. I can post it here or PM it to you if you want. In any case the solution does not necessarily have to be presented symbolically as you have done. The solution my solution manual has is relatively concise. As a hint I think you should draw a diagram, consider a general curve(that is, sketch it on the diagram) and use the fact that f''(x) < 0. This means that the curve is concave down. The diagram on page 419 should help you get started.

Hey Benny, I'm sorry I wasn't able to get back to you sooner. My instant notification by email probably didn't go through. Anyway, it seems that the graph in page 419 along with its caption (found in my 1st post) already give the answer. If you have anything else that I miss, please let me know.

Thanks