Let's look at three different approaches to computing the integral

displaymath203

You might notice first of all that the integrand is a difference; and we know that the integral of a difference is the difference of the integrals, so that

displaymath204

Now the integral tex2html_wrap_inline227 is easy, but tex2html_wrap_inline229 might cause some consternation. If you know an antiderivative of |x-1|, then you might proceed directly to compute the integral. But you might also proceed by using the definition of the absolute value function to work this problem:

displaymath205

Now we can divide the interval of integration, [0,2], up into two intervals, so that

displaymath206

and we replace the expression |x-1| with the appropriate form from the definition:

displaymath207

The first part of the integral I is easy:

displaymath208

Hence, tex2html_wrap_inline237 .

Now for the first ``improvement'': let's use symmetry. |x-1| is even on the interval [0,2] (as we see at left below):

  figure99

we could compute tex2html_wrap_inline229 as follows:

displaymath209

Alternatively, as mentioned, we could compute the integral tex2html_wrap_inline229 directly if only we know an antiderivative. Now, to compute the antiderivative, we can return to the piecewise formula, and integrate each term:

displaymath210

Integration is a smoothing operation, so the antiderivative of a continuous but non-differentiable function (e.g. |x-1|) is differentiable - smoother than its derivative. We need to arrange for the constants in the formula of this antiderivative in such a way that it is continuous. Thus we evaluate both formulas of the piecewise function at x=1 so that

displaymath211

So we conclude that tex2html_wrap_inline249 , or tex2html_wrap_inline251 , and we can write the general antiderivative as

displaymath212

and choose tex2html_wrap_inline253 to make life easy (see the figure at right above):

displaymath213

Then

displaymath214





LONG ANDREW E
Mon Apr 2 11:23:47 EDT 2001