16
$\begingroup$

I'll jump into the question and then back off into qualifications and context

Using the definition of a definite integral as the limit of Riemann sums, what is the best way (or the very good ways) to establish the results $\int_a^bx^pdx=\frac{b^{p+1}-a^{p+1}}{p+1}$ without building a general theory of integrals?

Context: For better or worse, a common sequence in teaching integral calculus for the first or second time is to define the definite integral as a limit of Riemann sums. One then notes that this (like the limit definition of derivatives) is effective for proving theorems but not very practical for specific calculations. So soon one demonstrates or implies that the definition is valid and then gets to the Fundamental Theorem of Calculus. However it is traditional to use the definition to evaluate $\int_a^bx^pdx$ for $p=0,1,2$ and perhaps $p=3$ using the lovely sum of cubes formula.

It might be tempting to prove the formula in greater generality without using the fundamental theorem (most students are less excited at this prospect than one might expect!). In my early days as a TA I came up with an approach which I thought was great. The students were not impressed and I have not used it since. Anyway, I have not seen it elsewhere although I am confident it is nothing novel. I am not going to reveal it right away just to see if it shows up. I realize that is questionable manners here on MO but I will put it up in a day or two, I just want to see what shows up first.

Here is a very brief sketch of two approaches I have seen:

‍1) Let $S_p(n)=\sum_{k=0}^nn^p$. The explicit formulas for $p=0,1,2$ and also $p=3$ are attractive and not bad to prove by induction. Given an explicit formula for $S_p$ one easily evaluates the usual equal subinterval sums for $\int_0^1x^pdx$ and then extends to $\int_a^b$. But $S_p$ gets more tedious for larger $p$. A clever method of Pascal allows one to use strong induction, the binomial theorem and telescoping sums to derive an explicit formulas for $S_{p}$ for larger values of $p$, limited only by one's patience and stamina:

Take $(k+1)^{p+1}-k^{p+1}=\sum_1^{p+1}\binom{p+1}{j}k^{p+1-j}$ and sum for $k$ from $0$ to $n$ to get $(n+1)^{p+1}-0^{p+1}=\sum_1^{p+1}\binom{p+1}{j}S_{p+1-j}(n)$. Since we know everything except $S_p$, the rest is algebra! This is quickly unpleasant and the final results are not as aesthetic as the first cases. HOWEVER, for the desired application we only need to establish that $S_p(n)=\frac{n^{p+1}}{p+1}+\frac{n^p}{2}+O(n^{p-1})$. That is not hard and shows that $n$ subdivisions yield $\frac{1}{p+1}-\frac{1}{2n} \lt \int_0^1x^pdx \lt \frac{1}{p+1}+\frac{1}{2n}$.

Notes: This is valid for $p$ a non-negative integer. Knowing enough about Bernouli numbers allows explicit formulas but I am interested in fairly elementary methods. I think that one involves the series expansion for $e^x$.

‍2) Due to Fermat: Partition into subintervals using points forming a geometric rather than arithmetic progression. I've seen this in two forms:

2.1) Choose $0 \lt a \lt b$ and divide using $a \lt ar \lt ar^2 \lt \cdots\lt ar^N=b$ so $r=\sqrt[N]{b/a}$. The widths of the intervals form a geometric progression of common ratio $r$. The values of $x^p$ at the points of division form a geometric progression of common ratio $r^p$. Thus the sum of rectangle areas using left endpoints gives as a lower bound for $\int_a^bx^p$ the geometric series with $N$ terms, first term $a^{p+1}(r-1)$ and ratio $r^{p+1}$. Using righthand enpoints gives a similar upper bound with first term $a^{p+1}(r-1)r^p$. With very little effort one arrives at

$$ \frac{(b^{p+1}-a^{p+1})(r-1)}{r^{p+1}-1} \lt \int_a^bx^pdx \lt \frac{(b^{p+1}-a^{p+1})(r-1)r^p}{r^{p+1}-1}.$$

If $p+1$ is a positive integer we have

$$ \frac{b^{p+1}-a^{p+1}}{1+r+r^2+\cdots+r^p} \lt \int_a^bx^pdx \lt \frac{(b^{p+1}-a^{p+1})r^p}{1+r+r^2+\cdots+r^p}.$$

Now let $N$ go to infinity sending $r$ to $1$ and squeezing to $\int_a^bx^pdx=\frac{b^{p+1}-a^{p+1}}{p+1}$.

This particular approach requires $0 \lt a$. It is an easy extra step to extend the result to rational values of $p$ (except for the challenging $p=-1$) using $\frac{r^{p/q}-1}{r-1}=\frac{u^p-1}{u-1}/\frac{u^q-1}{u-1}$ for $u=r^{1/q}$.

2.2) Similar except now divide the interval $[0,b]$ using a value $0 \lt r \lt 1$ and infinitely many points $ \dotsb br^3 \lt br^2 \lt br \lt b$. Now one has infinite geometric series and the rest proceeds similarly to before letting $r$ increase to $1$.

So that is the flavor of what I am asking about. I do not think this is a big list question unless there are a large number of approaches I have not seen.

CONTINUED To recap, we already know the answer, $\frac{b^{p+1}-a^{p+1}}{b-a}$, which we want for the area $A$ of the region under $x^p$ for $a \le x \le b$, we just want to prove it. (Assume for ease that $0 \lt a$.) A partition $P$ of $[a,b]$ is a sequence $a=x_0 \lt x_1 \lt \cdots \lt x_n=b$. The mesh $m(P)$ of $P$ is $\max(x_{i}-x_{i-1}).$ (There is rarely a reason to have unequal intervals, but Fermat gave one.) We use the sub-intervals, in two ways, as the bases of an assemblage of rectangles with heights determined by the endpoints. Since $x^p$ is monotonic, one is covered by the region and the other covers it. So the two areas provide a lower and an upper bound.

Lower (left) and upper (right) Riemann sums

$$ \sum_1^nx_{i-1}^p(x_i-x_{i-1}) \lt A \lt \sum_1^nx_{i}^p(x_i-x_{i-1}).$$ If we manage to compute or bound these bounds and show that, when the mesh goes to zero, they have a common limit (the one we expect), we are done. The actual bounds we compute are of value only for the interesting, but secondary, topic of speed of convergence. And anyway, if $m(P) \lt \epsilon$ then the difference between the two bounds is less than $(b-a)(b^p-(b-\epsilon)^p),$ which converges to zero. (For $p \lt 0$ use $a-(a+\epsilon)^p$.)

So I propose to instead assign to each sub-interval $[u,v]$ the height $h(u,v)=\frac{v^{p+1}-u^{p+1}}{(p+1)(v-u)}$ and "compute" $\sum_1^nh(x_{i-1},x_i)(x_i-x_{i-1})$ which immediately collapses to, of course, $\frac{b^{p+1}-a^{p+1}}{p+1}$.

Midpoint Riemann sums

Establishing that this has any relevance requires showing that the height $h(u,v)$ is between $u^p$ and $v^p$. This is easy in practice if one simplifies. If you simplify first, then the whole thing looks like magic until you see what was done.

So for $p=5$, obviously $$u^5 \lt \frac{v^5+v^4u+v^3u^2+v^2u^3+vu^4+u^5}{6} \lt v^5.$$ OK, so what? Why not use the average, the geometric mean or $\left(\frac{u+v}{2}\right)^5$? Well, $(v-u)h(u,v)=\frac{v^6-u^6}{6}$ so $\sum_1^nh(x_{i-1},x_i)(x_i-x_{i-1})$ collapses to $\frac{b^6-a^6}{b-a}$.

About as easily

\begin{gather*} \frac{1}{\sqrt{v}} \lt \frac{2}{\sqrt{u}+\sqrt{v}} \lt \frac{1}{\sqrt{u}} \\ \frac{1}{v^2} \lt \frac{1}{uv} \lt \frac{1}{u^2} \\ \frac{1}{v^4} \lt \left( \frac{1}{v^3u}+\frac{1}{v^2u^2}+\frac{1}{vu^3}\right)/3 \lt \frac{1}{u^4}. \end{gather*}

It is slightly more fun to show that

$$\sqrt{u} \lt \frac{2(v+\sqrt{vu}+u)}{3(\sqrt{v}+\sqrt{u})} \lt \sqrt{v}.$$

SO:

Is this line of argument valid? Is it interesting? Have you seen it before?

To its credit I'll say that it does not show preference to any particular partition and uses nothing more complex than the two historic treatments above (although maybe it benefits from a modern frame of reference). Also, rather than carefully converging to the correct answer as the partition evolves, it just starts there and stays unaffected. I don't immediately see that it can be applied to any other definite integrals. But the case of $x^p$ has a certain primary importance.

$\endgroup$
11
  • 2
    $\begingroup$ If by "Riemann sum" you mean with equal spacing, don't you need to prove that dividing the interval geometrically gives the same answer? $\endgroup$ Nov 28, 2012 at 7:57
  • 1
    $\begingroup$ The problem of counter-factual conditionals is quite complex. By "Riemann sum" I simply meant "bounding areas under curves with thin rectangles" or more formally: take any partition of $[a,b]$ into sub-intervals, somehow choose a point from each and compute $\sum(x_{i+1}-x_i)f(x_i^*).$ Now take the limit over all partitions and point selections as the mesh size goes to zero. That said, I have no problem with equal subdivisions, I just thought the Fermat method is cool. $\endgroup$ Nov 28, 2012 at 8:24
  • 7
    $\begingroup$ To be honest, I do not see the point of withholding your answer. You're much more experienced than I am on MathOverflow, so I'm really puzzled by this; perhaps I am missing something. In my opinion, you ought to post your method, and ask whether people know of a reference to it, and/or ask for other methods that people might know. Why ask a question where people may spend time writing an answer that you already know, but for some reason chose to withhold? $\endgroup$ Nov 28, 2012 at 11:25
  • 6
    $\begingroup$ If your students are able to extract any conceptual payload from mathematical arguments this intricate, then they are very, very different from my students. Your original question was how to establish the result for $\int_a^b x^p$ (for all p? for small p?) without the fundamental theorem. The p=0 and p=1 cases follow trivially from geometry. It seems to me to be extremely unwise to try to do p=2 or higher exactly, by complicated arguments, without the fundamental theorem. You might want to show that $n^3-(n-1)^3=3n^2+\ldots$, so $\sum_0^m n^2\approx m^3/3$. Then move on. $\endgroup$
    – user21349
    Nov 29, 2012 at 3:30
  • 8
    $\begingroup$ Stewart's book has sold well. So has Justin Bieber. $\endgroup$
    – Yemon Choi
    Nov 29, 2012 at 16:18

5 Answers 5

7
$\begingroup$

Here is a very simple proof for nonnegative integer $p$.

By elementary combinatorial reasoning, we have $$ \sum_{j=0}^{n-1} \binom{j}{p} = \binom{n}{p+1}, $$ which is the same as $$ \sum_{j=0}^{n-1} j(j-1)\cdots(j-p+1) = \frac{n(n-1)\cdots(n-p)}{p+1}.$$ After scaling that becomes a lower bound for $\int_0^1 x^p dx$.

Similarly, $$ \sum_{j=0}^{n-1} j(j+1)\cdots(j+p-1) = \frac{(n-1)(n)\cdots(n+p-1)}{p+1},$$ which scales to an upper bound.

Now let $n\to\infty$.

$\endgroup$
1
  • $\begingroup$ I can see this as a "union of rectangles" proof. A usual combinatorial proof of the first identity can be used directly for the second and gives an interesting discrete parallel to the slick "probabilistic" one by Qiaochu Yuan: consider drawing p+1 balls, one at a time, from a sack of ball labelled 1,2,..n (or 1/n,2/n,...) the chance of a repeat goes to 0 (if replacement is allowed). Of the n(n-1)...(n-p) other possibilities, 1/p+1 have the largest number drawn first. Now count according to the label , j+1, of that first ball. That is a little rough but the parallel is clear. $\endgroup$ Dec 4, 2012 at 8:07
28
$\begingroup$

You can derive all of the integrals $\displaystyle \int_0^1 x^p dx$ by chopping them in half, and rescaling each half to fit in $[0,1]$ again.
The proof is by induction on $p$, and by "recovering the integral back". To give you an idea of how this will go, I will just derive $\displaystyle \int_0^1 x^2 dx$ assuming we already have the results for $p=0,1$ (which are apparent geometrically anyway).

\begin{align*} & \int_0^1 x^2 \textrm{ d}x = \int_0^\frac{1}{2} x^2 \textrm{ d}x + \int_\frac{1}{2}^1 x^2 \textrm{ d}x \\ ={} & \frac{1}{2}\int_0^1 \left(\frac{x}{2}\right)^2 \textrm{ d}x + \frac{1}{2}\int_0^1 \left(\frac{x+1}{2}\right)^2 \textrm{ d}x \\ ={} & \frac{1}{8}\int_0^1 x^2 \textrm{ d}x + \frac{1}{8}\int_0^1 (x^2 +2x+1) \textrm{ d}x \end{align*}

so \begin{align*} 6 \int_0^1 x^2 \textrm{ d}x ={} & \int_0^1 2x+1 \textrm{ d}x \\ 6\int_0^1 x^2 \textrm{ d}x ={} & 2 \\ \int_0^1 x^2 \textrm{ d}x ={} & \frac{1}{3}. \end{align*}

A similar argument applies to other values of $p$, by induction. It is a little messy though.

Note that all I am using is linearity of the integral, and that scaling a shape by a factor in one direction should scale the area by that same factor.

I did these computations while reading Tom Leinster's note A universal Banach space to see if I could actually compute any integrals using his characterization.

$\endgroup$
5
  • 2
    $\begingroup$ Nice! (As are Tom's notes!) $\endgroup$
    – David Roberts
    Nov 29, 2012 at 5:01
  • 1
    $\begingroup$ I am very thankful for the link to the notes, but your description of it ruined the surprise. Is there a way to give proper credit while avoiding this? $\endgroup$
    – Will Sawin
    Nov 29, 2012 at 6:06
  • $\begingroup$ That is indeed nice and worth further thought. I kind of bypasses the basics, but maybe the rescaling feature captures what is special about powers. $\endgroup$ Nov 29, 2012 at 9:10
  • $\begingroup$ Are the Leinster notes you reference the same as maths.ed.ac.uk/~tl/cambridge_ct14/cambridge_ct14_talk.pdf ? Your link is now broken. $\endgroup$
    – LSpice
    Apr 6, 2019 at 14:20
  • 3
    $\begingroup$ @LSpice Same ideas, but this note: maths.ed.ac.uk/~tl/glasgowpssl/banach.pdf $\endgroup$ Apr 7, 2019 at 14:55
22
$\begingroup$

This may not be in the spirit of what you want, but... by scaling arguments it suffices to establish that $\int_0^1 x^p dx = \frac{1}{p + 1}$. Consider the following probabilistic argument (not entirely rigorous but very suggestive): the integral describes the probability that if you choose $p + 1$ points uniformly at random in the interval $[0, 1]$, then the first point you chose is the rightmost. (If the first point you chose is $x$, then the probability that each of the remaining $p$ points is to the left of $x$ is $x^p$.)

On the other hand, you can choose the points simultaneously and then decide which one was the first point you chose. You'll end up choosing the rightmost point with probability $\frac{1}{p + 1}$.

A rigorous version of this argument proceeds by partitioning $[0, 1]^{p+1}$ into $p + 1$ parts of the same measure depending on which of the coordinates is the largest and then observing that the measure of one of these parts can be expressed using the above integral. I admit I cannot readily visualize these parts even for $p = 2$...

$\endgroup$
3
  • $\begingroup$ I like that! Have you seen it elsewhere or is it your own? Curiously, the previous versions did not show up for me. $\endgroup$ Nov 29, 2012 at 9:06
  • $\begingroup$ I had previously deleted this answer because I didn't think it was what you were looking for (in particular it is about measures and not about Riemann sums). I was led to this argument by an exercise, I think. $\endgroup$ Nov 29, 2012 at 9:10
  • 1
    $\begingroup$ Oh, I can visualize $p = 2$ now. You're dividing the unit cube $[0, 1]^3$ into three square pyramids with apex $(0, 0, 0)$ and bases the three faces adjacent to $(1, 1, 1)$. You can tell which pyramid a point belongs to by projecting from the apex. $\endgroup$ Nov 29, 2012 at 9:23
4
$\begingroup$

I think it is also worth looking at the case $p=-1$, in the spirit of your context. It also provides a nice way to introduce the logarithm and the exponential function (quite closely to the historical development).

Premise: Suppose we have just proved the first elementary facts about the Riemann integral, including integrability of monotonic functions and the bound $\int_a^bf(t)dt\le(b-a)\sup_{a\le t\le b} f(t)$. Comparing Riemann sums, it also follows easily the formula of linear change of variable: $\int_{\lambda x}^{\lambda y}f(t)dt=\lambda\int_x^yf(\lambda t)dt$, also valid for negative $\lambda$ due to the convention $\int_b^a=-\int_a^b$.

Then we may look at the function $L(x):=\int_1^x{dt\over t}$, for $x>0$. By a linear change of variable we find a logarithmic law: $$L(xy)=\int_1^x{dt\over t}+\int_x^{xy}{dt\over t}=L(x)+L(y).$$ It is clear that $L$ is strictly increasing, in fact unbounded, and it is continuous (bounding the integral), therefore a homeomorphism $\mathbb{R}_+\to\mathbb{R}$.

Also $$L\big(1+{x }\big)=\int_1^{1+x }{dt\over t}={x }(1+o(1)),\quad (x\to0).$$ Hence for any $x\in\mathbb{R}$ $$ L\Big(\big(1+{x\over n }\big)^n\Big)=nL\big(1+{x\over n }\big)=x+o(1),\quad (n\to\infty).$$

One concludes that $\big(1+{x\over n }\big)^n$ converges to the inverse function of $L$, for any $x\in\mathbb{R}$ (thus a strictly increasing homeo $E:\mathbb{R}\to\mathbb{R}_+$ with the exponential law $E(x+y)=E(x)E(y)$).

$\endgroup$
3
$\begingroup$

Here's another approach. I'm assuming $p > 0$. For $b > 0$, let $F(b)$ be the area under $y = x^p$ for $x$ from $0$ to $b$. The transformation $(x,y) \to (tx, t^p y)$ maps the region under the curve for $x$ from $0$ to $b$ to the region under the curve from $0$ to $tb$. This scales by $t$ in the $x$ direction and $t^p$ in the $y$ direction; we conclude that $F(tb) = t^{p+1} F(b)$, and thus that $F(b) = b^{p+1} F(1)$. Now we have to determine the constant $F(1)$. Note that $F$ is differentiable with $F'(b) = (p+1) b^p F(1)$.

For $\varepsilon > 0$, $F(1+\varepsilon) - F(1)$ is the area under the curve between $x=1$ and $x=1+\varepsilon$. Since this region contains a rectangle of width $\varepsilon$ and height $1$, and is contained in a rectangle of width $\varepsilon$ and height $(1+\varepsilon)^p$, we have $$ 1 \le \frac{F(1+\varepsilon)-F(1)}{\varepsilon} \le (1+\varepsilon)^p$$ Taking the limit as $\varepsilon \to 0+$, we get $F'(1) = 1$. Thus $F(1) = 1/(p+1)$.

Of course, this assumes that the area in question exists and satisfies basic scaling and additivity laws.

$\endgroup$
2
  • 3
    $\begingroup$ This is very clever, and I like it a lot, but I still feel that investigating this small sliver of area is essentially reproving the fundamental theorem of calculus in this special case. $\endgroup$ Nov 29, 2012 at 4:29
  • $\begingroup$ All the better for when you do prove the fundamental theorem, I think. $\endgroup$ Nov 30, 2012 at 1:31

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.