Tricki

## Bound the integrand by something simpler

### Quick description

This is a generalisation of the base times height bound: instead of bounding the magnitude of the integrand by some fixed constant , instead bound it by some quantity which still depends on , but in a "simpler" fashion than the original integrand , where "simpler" means "easier to integrate". Then one clearly has . Note that in many cases, one is prepared to lose a multiplicative constant C in the final bound on the integral, in which case one is also free to lose a constant on the integrand, i.e. one will settle for rather than .

### Example 1

Obtain an upper bound for , where is a parameter.

The integrand looks somewhat unpleasant to deal with by exact integration methods (substitution, integration by parts, contour integration, etc.). However, we only seek an upper bound. Note that up to a factor of two, a sum of two positive quantities is comparable to the maximum of these quantities. Taking reciprocals, we see that is comparable to (in fact, the former is less than or equal to the latter).

Now, the quantity is simpler to integrate than . Why? Well, freshman calculus already tells us how to integrate and separately. And dealing with a minimum (or maximum) in an integrand is not too scary; one simply needs to divide the region of integration into two sets, one where the first term attains the minimum, and one where the second term does, and divide and conquer.

In this case, attains the minimum when , and does otherwise. Thus we obtain an upper bound of

which can now be easily computed via freshman calculus as

In the converse direction, to get a lower bound, observe on the first region , never exceeds , and on the second region it never exceeds , so we obtain a lower bound of

Thus our upper and lower bounds only differ by a factor of two (this is the same factor of two that appeared earlier in the discussion).

Note that one can also guess the bound by the base times height heuristic. If one sketches a graph of the function , one sees that it has "height" about and is concentrated on a "base" of width about , so it is reasonable to expect the final integral to be of size about , which is indeed what happens.

### General discussion

Of course, for this strategy to be effective, the upper bound should be easier to integrate than the original function . See "Which integrals are simpler to integrate?" for more discussion of this issue.

The bound is only efficient if one believes that is generally not much smaller than , and also if one believes that does not oscillate enough to provide additional cancellation.

Remark The strategy can be thought of as the analogue for integrals of the comparison test, which is the basic strategy for bounding infinite sums.