377 views

Uploaded by baire_raum

- M19BSprF15V1
- ch00
- Course of Mathemat 032617 Mbp
- calculoDiferencialEIntegral2016_FTrillaudP
- First
- Math Report
- Math1002 2015 Sem-1 Crawley
- BU Msc Maths Syllabus
- Multivariable 16 Vector Calculus
- Definite Integral
- Who Invented Calculus
- KSSC_3_2007_7_4_297(C)
- حلول سكشن 4.3.pdf
- Integration
- popov2
- Numerical Integration
- Functional Analysis Week07 V2
- 20160727151011-b.schsmathscbcs2016-17
- lab6
- 38993-pdf

You are on page 1of 9

r

X

i

v

:

0

8

0

2

.

0

8

9

5

v

1

[

m

a

t

h

.

C

A

]

6

F

e

b

2

0

0

8

Preprint February 4, 2008. To appear in American Mathematical Monthly

Review of

A garden of integrals,

by Frank E. Burk (MAA, 2007)

Dedicated to the memory of Ralph Henstock (1923-2007).

Erik Talvila

1

Department of Mathematics and Statistics

University College of the Fraser Valley

Abbotsford, BC Canada V2S 7M8

Erik.Talvila@ucfv.ca

Executive summary: Well-written set of extended exercises that take the

reader through Cauchy, Riemann, Lebesgue, HenstockKurzweil, Wiener and

Feynman integration. Requires a thorough grounding in undergraduate anal-

ysis. Anyone interested in the chapters on Cauchy and Riemann integration

probably wont have the prerequisites to read them.

Riemann, Lebesgue, Denjoy, HenstockKurzweil, McShane, Feynman, Boch-

ner. There are well over 100 named integrals. Why so many? Some are

of historical interest and have been superseded by better, newer ones. The

Harnack integral is subsumed by the Denjoy. Some are equivalent, as are

McShane and Lebesgue in R

n

, and Denjoy, Perron, HenstockKurzweil in R.

Some are designed to work in special spaces: Feynman for path integrals,

where the domain is the set of all continuous functions on [0, 1], Bochner for

Banach space-valued functions. Others are designed to invert special deriva-

tives such as the symmetric derivative or distributional derivative. And, we

continue to keep the Riemann integral around because it is so easy to dene.

Cant we have just one super-integral that does everything? The problem is

that if an integral is dened to work, for example, on all Banach spaces then

it will probably be unnecessarily complicated when restricted to a simple

setting such as the real line. There is also a pedagogical issue. We need to

build up mathematics from simple bits before we can dene the most ab-

stract structures (Bourbaki notwithstanding). So, it seems we will have to

live with this plethora of integrals.

1

Supported by the Natural Sciences and Engineering Research Council of Canada.

A garden of integrals 2

First there were Newton and Leibniz for whom integration was anti-

dierentiation. In the 1800s there were Cauchy and Riemann who dened

integrals in terms of approximating sums formed by partitioning the domain

of a function on the real line. There are two main themes to integration in

the 20th century. The rst is the Lebesgue theory. The Lebesgue integral of

1905 immediately revolutionised analysis. Although more complicated than

the Riemann integral, it brought with it Borels theory of measure. The two

concepts of measure and integral led to a very robust theory of integration

with powerful limit theorems (such as Lebesgue dominated convergence), the

ability to extend the integral to abstract settings, and a Banach space of in-

tegrable functions. This allowed the owering of such elds as probability

and potential theory.

In the rst decades of the 1900s, while the Lebesgue theory was being

rened by mathematicians such as Fatou and Radon, there was a parallel

development by Denjoy, Lusin and Perron. The Lebesgue integral is absolute:

function f is integrable if and only if |f| is integrable. But, functions such

as g(x) = x

2

sin(x

3

) with g(0) = 0 have a derivative that exists everywhere

and for which |g

the Lebesgue integral cannot integrate all derivatives. Integrals introduced

by Denjoy (1912) and Perron (1914) were able to integrate all derivatives.

But, these had rather cumbersome denitions, and it was not easy to dene

them in settings other than the real line. By World War II work on Denjoy

Perron integration had more or less ceased. In the late 1950s Henstock and

Kurzweil independently dened an integral using a modied type of Riemann

sum. This integral was equivalent to that of Denjoy and Perron and was

much easier to work with. In fact, its probably more transparent than the

improper Riemann integral. It has reasonable limit theorems and integrates

all derivatives. Working with measures is also easy. Whereas the Lebesgue

integral has diculty dealing with integrals such as

0

sin(x

2

) dx, which

exists as a conditionally convergent improper Riemann integral, these are

not problems in the HenstockKurzweil theory. It was for these kinds of

reasons that the HenstockKurzweil integral won many adherents and there

are quite a number of textbooks that discuss it at the undergraduate or

graduate level, such as [1] and [6]. But the HenstockKurzweil integral lacks

a Banach space structure and there is no canonical extension to R

n

. So its

development wont be the end of the search for the perfect integral.

With so many integrals it is not surprising that many surveys of inte-

gration have been published. First there are the historical. An excellent

A garden of integrals 3

short summary of integration theory is given by Henstock in the otherwise

unreadable [8]. Methods due to Archimedes and his predecessors, and the

integrals of Cauchy and Riemann are discussed in Edwards The historical

development of the calculus [4]. See Hawkins [7] for history of the Lebesgue

integral. For a history of non-absolute integration, see Bullens survey [2].

The handbook by Zwillinger [16] gives a brief description, an example, and

a few references for most types of integrals as well as many techniques of

integration, both analytical and numerical. Its an excellent starting point

for anyone interested in integration.

Here are ve books that try to prove the major theorems for several dif-

ferent integrals. First is Modern theories of integration [9] by Kestelman,

who was one of Henstocks Ph.D. examiners. Modern means 1937. Working

at perhaps a beginning graduate level, the author gives a rather complete

description of the Riemann integral, improper Riemann integral, Lebesgue

measure and Lebesgue integral in R

n

. The RiemannStieltjes and Denjoy

integrals are dened in R. Along the same lines but including abstract mea-

sure and integration as well as full descriptions of the Perron and Denjoy

integrals is the classic and authoritative Theory of the integral by Saks [14].

Pesin [12] includes various specialised integrals. Using Lebesgue measure in

R

n

, Theories of integration by Kurtz and Swartz [11] is an undergraduate

text that develops Riemann, Lebesgue and McShane integration. It assumes

some background in analysis. Thus, the reader is expected to know what

countable means but concepts such as limsup are dened. It has lots of ex-

ercises and is a well-crafted textbook. At a slightly more advanced level is

Gordons The integrals of Lebesgue, Denjoy, Perron, and Henstock. It covers

the integrals in the title as well as such topics as Darboux and Baire class one

functions. It has good exercises and is a very carefully written, well-crafted

text at the graduate level. One shortcoming is that it only discusses integrals

on [0, 1]. Nonetheless, it has become a standard reference, displacing Saks.

With this background behind us, lets get down to the business of Garden

of integrals. This book was written by Frank E. Burk, who is author of the

successful text Lebesgue measure and integration: an introduction [3]. The

author is now deceased. A pity as the book should have good legs. Not

everything Im going to say about the book is positive and I feel a bit bad

that the author wont have the chance to respond publicly.

I should tell you where Im coming from. I am familiar with Lebesgue and

HenstockKurzweil integration at the level of having written several research

papers on these integrals. Ill be making a shameless plug for these later.

A garden of integrals 4

Ive taught calculus plenty of times. I was almost completely ignorant of

the Wiener and Feynman integrals. So, some of the chapters I was guring

would be old hat and from others I was hoping to learn some new stu.

This book surveys several types of integrals. There are chapters on the

Cauchy, Riemann, RiemannStieltjes, Lebesgue, LebesgueStieltjes, Henstock

Kurzweil, Wiener and Feynman integrals. There is also an historical overview

and a chapter on Lebesgue measure. The emphasis is purely theoretical with

very little in the way of applications. Throughout the book the author as-

sumes a thorough grounding in undergraduate real analysis. Thus the book

is pitched at senior undergraduate or beginning graduate level.

The book is essentially a string of exercises, implicit or explicit, in which

the author has you work out the details of the various theories. So, this is

denitely not a coee table book. To read it youll have to turn the TV o,

sit down, shut up and get to work. Working through it will teach you a lot

of integration.

The writing style is attractive. Sentences ow well, and things are laid

out logically. In this sense its a very good book. Whats not good about it

is that Im not sure who it was written for. As any writing instructor will tell

you, when you sit down to write the rst item to have straight is: Who is your

audience? I doubt that was done in this case. There are beginning chapters

on Cauchy and Riemann integrals. The Cauchy integral is like the Riemann

except that in your Riemann sum you always use the left endpoint of each

subinterval when evaluating the integrand. These are pretty basic integrals

but to read these chapters you need to know the following: trapezoid rule,

integration by parts, improper Riemann integral, Cauchy sequences, uniform

convergence, Weierstrass M-test, Fourier series, separation of variables for

the Laplace equation, Cantor set, nowhere dense. Thats a tall order. Im

wondering just who it is who would know all this stu but still need to learn

something about the Cauchy and Riemann integrals. As I was reading these

chapters I was very puzzled as to who the book was for. Then on page

65 (Riemann integral) the author lets the cat out of the bag, I dare say

we can all remember our rst encounter with [the Cantor set]. So, to read

the book you need to have many results of real analysis at your ngertips.

That said, these chapters have some interesting material and some good

examples, such as the construction of a continuous nowhere dierentiable

function and a construction of a Riemann integrable function with a dense

set of discontinuities.

As Cauchy did, the author denes the Cauchy integral only for continu-

A garden of integrals 5

ous functions. Burk is correct in proclaiming that in this sense the Riemann

integral properly includes the Cauchy integral. However, as already pointed

out by my editor, the space of all Cauchy integrable functions (dropping

the continuity assumption) is the same as the space of Riemann integrable

functions. This was proved by Gillespie [5]. Burk also states that indenite

Cauchy and Riemann integrals are absolutely continuous, but absolute con-

tinuity isnt dened for another 65 pages. It would have been better to give

the easy proof that these integrals are Lipshitz continuous.

Preceding these chapters is an historical survey. It has some discussion on

geometric methods of the ancients and then brief descriptions of the integrals

covered in later chapters. These were too vague to be of much interest and

this chapter should probably have been omitted. A better list of historical

sources would have been appreciated.

The chapters on Lebesgue measure and Lebesgue integration are much

better. Volteras example of a function with a bounded derivative that is not

Riemann integrable makes good motivation for introducing the Lebesgue

integral. These chapters bring in many of the standard topics in measure

and integration on the real line. Most concepts here are followed by useful

exercises although the coverage of sigma algebras and Borel sets is very brief.

Bounded variation and absolute continuity are dened, but there is so little

discussion of them Im not sure if the uninitiated would get the whole picture.

Again, you need to know your real analysis to make your way through this

book. Thorough familiarity with topics such as inf, sup and the HeineBorel

theorem are assumed here.

The short chapters on RiemannStieltjes and LebesgueStieltjes integrals

dont add much and could well have been omitted.

One of the themes of the book is the Fundamental Theorem of Calculus.

At the end of each chapter is a summary that consists of the Fundamen-

tal Theorem as it applies to that integral. This is all motivation for the

HenstockKurzweil integral, since it has the best version of this theorem on

the real line. With the Lebesgue integral we know that the primitives are

the absolutely continuous functions. The corresponding class of functions for

the HenstockKurzweil integral is more complicated. Its called generalized

absolute continuity in the restricted sense (ACG, see [6]). A reasonable

approach that some authors use is to take the continuous functions that

are dierentiable except for countable sets as the primitives. This is done

here, but no mention of the real set of primitives is made. A problem with

the HenstockKurzweil integral is that there is no canonical way to extend

A garden of integrals 6

ACG to R

n

, let alone to more abstract spaces, and the set of integrable

functions forms an incomplete normed space. We can get around both of

these problems by using C

0

as the space of primitives and saying the inte-

gral inverts the distributional derivative, so that the integrable distributions

are those that are the distributional derivative of continuous functions. The

space of integrable distributions is then a Banach space that includes L

1

and

the HenstockKurzweil integrable functions. This is a really simple way to

dene a very general integral. Using the divergence theorem, this denition

can be used in R

n

. See [15] for an easy but complete description of this

integral.

The chapter on HenstockKurzweil integration is good. Initially it pro-

ceeds at a much more gentle pace than the Lebesgue chapters. The author

takes the time to motivate this integral and then works out its properties in

some detail.

The nal two chapters are the tour de force. In treating the Wiener

and Feynman integrals in a book of this level (and length) hes taking on

a big task and breaking new ground. The domain of integration is now

innite dimensional: the set of continuous real-valued functions on [0, 1].

These chapters require Lebesgue measure and integration as well as some

familiarity with probability, the heat equation, complex variables, and linear

operators on a Hilbert space. Theyre written at a higher level than the

preceding chapters. The Wiener integral is described reasonably well. The

examples and exercises should help you understand whats going on.

I was especially impressed with the Feynman integral chapter. It is long

and dicult and packed with lots of stu: Schrodinger equation, Fourier

transform in the Schwartz space, Trotter product formula, semigroups of

linear operators. Many of these topics are dealt with quite briey, so working

out the details and lling the gaps will take time and consultation of outside

references. I cant say I understood it all on a rst reading but that gives me

plenty to go back to.

I found it irksome that Planks constant is never mentioned by name and

is dened as = 1.05410

27

erg sec. I never knew it was a rational number.

A note regarding peripherals. The typesetting is generally good and the

book is easy to read, with lots of white space and well-displayed formulas.

Each chapter begins with an irrelevant quotation by some famous person. I

suppose these are meant to inspire. They didnt do anything for me. For

witty and inspiring beginning of chapter quotes, I much prefer [13]. There

are about 50 illustrations, mostly in the historical overview, Wiener and

A garden of integrals 7

Feynman chapters. These are quite good. The index is thin. There arent

many typos, although one recurring one was quotes written hey there and

not hey there. The editor should have caught this. The binding is good

quality, bound in signatures. At $51.95 (cheaper for MAA members) the

book is excellent value. The cover photo is a bonus.

A foreword of a book is usually written by someone other than the author.

It is generally some sort of endorsement. Publishers often have someone of

authority write it and then set their name in larger type than the author.

I once saw a book with a preface by Eric Idle of Monty Python fame. He

basically just wrote: Heres the foreword now send me my cheque. If youre

an unknown environmentalist and they get Al Gore to write the foreword to

your book then youre in good shape. Meanwhile, a preface is usually written

by the author and it will tell you something about the book. Some authors

have written prefaces that have become famous in their own right. In the

second edition of Lord of the Rings (1966), J.R.R. Tolkien makes it clear that

the book was not intended as an allegory of World War II. For The art of

computer programming, Donald Knuth includes a owchart that has become

legendary [10].

Mathematics books usually include a preface that tells the reader roughly

what topics will be covered, the chapter dependencies, the level of depth,

and the required prerequisites. Garden of integrals has no preface. It has

a short and completely uninformative foreword written by the author. This

is unfortunate as some unsuspecting souls may try to read this attractive

looking book and nd it pretty tough going. It is a major failing of the

author/editor to not have told the prospective reader what they are expected

to know in order to make sense of any given chapter of this book. Again, for

every chapter the prerequisites are a thorough knowledge of real analysis at

the undergraduate level.

Topics I would have liked to have seen are rst and foremost, some dis-

cussion of the integral on sets other than compact intervals on the real line.

Improper Riemann integrals are a glaring omission. The discussion of the

Riemann integral connes itself to [a, b] but in the chapter on the Wiener

integral, improper Riemann integrals are assumed. Integration in R

n

, Stokes

theorem and some applications to probability would have been nice.

Another thing that bothered me were the references. There is a list at

the end of each chapter. These may have been the works (mostly textbooks)

the author used to write the book but a more comprehensive list suitable for

further reading should have been compiled.

A garden of integrals 8

How does this book compare with the surveys mentioned above? Except

for the chapters on Wiener and Feynman integration the book is comparable

to Kurtz and Swartz [11] and Gordon [6], although these authors do a better

job of incorporating material from the real analysis course. All of the books

cited above are pretty formal. Burk strikes a nice balance between the formal

denition, theorem, proof style and chatty, informal discussion. Hes more

fun and free wheeling. Hes engaging because hes constantly forcing you

to ll in little details. This is a lousy book to use as a reference to look

up something like the Lebesgue dominated convergence theorem, but if you

work through the book youll have a good time learning the proof. And, his

chapters on Wiener and Feynman integration set him apart from the rest.

Who can benet from this book? I would be happy to give it to good

students with the necessary background for use in an undergraduate reading

course or seminar. Such a course could be on Lebesgue or HenstockKurzweil

integration. Since the book is pretty much just a long set of exercises, this

could work well. However, many topics are dealt with in a cursory manner

so outside reading would have to be prescribed. A graduate seminar could

be set up for the Wiener and Feynman chapters. And, of course, the book is

ideal for self study. Will I recommend my college library purchase this book?

Denitely.

References

[1] R.G. Bartle and D.R. Sherbert, Introduction to real analysis, New York,

Wiley, 2000.

[2] P.S. Bullen, Nonabsolute integrals in the twentieth century, AMS special

session on nonabsolute integration (eds. P. Muldowney and E. Talvila),

Toronto, 2000, http://www.emis.de/proceedings/index.html.

[3] F. Burk, Lebesgue measure and integration: an introduction, New York,

Wiley, 1998.

[4] C.H. Edwards, Jr., The historical development of the calculus, New York,

SpringerVerlag, 1979.

[5] D.C. Gillespie, The Cauchy denition of a denite integral, Ann.

Math.(2) 17(1915), 6163.

A garden of integrals 9

[6] R.A. Gordon, The integrals of Lebesgue, Denjoy, Perron, and Henstock,

Providence, American Mathematical Society, 1994.

[7] T. Hawkins, Lebesgues theory of integration, Providence, American

Mathematical Society, 2001.

[8] R. Henstock, The general theory of integration, Oxford, Oxford Univer-

sity Press, 1991.

[9] H. Kestelman, Modern theories of integration, New York, Dover, 1960.

[10] D.E. Knuth, The art of computer programming, vol. I, Fundamental

algorithms, Reading, Ma., Addison-Wesley, 1973.

[11] D.S. Kurtz and D.W. Swartz, Theories of integration, Singapore, World

Scientic, 2004.

[12] I.N. Pesin, Classical and modern theories of integration (trans. and ed.

S. Kotz), New York, Academic Press, 1970.

[13] M. Reed and B. Simon, Methods of mathematical physics, vol. I, Func-

tional analysis, New York, Academic Press, 1980.

[14] S. Saks, Theory of the integral (trans. L.C. Young), Warsaw, Monograe

Matematyczne, 1937.

[15] E. Talvila, The distributional Denjoy integral, Real. Anal. Exchange (to

appear).

[16] D. Zwillinger, Handbook of integration, Boston, Jones and Bartlett, 1992.

- M19BSprF15V1Uploaded byKyle Lee
- ch00Uploaded byQiaoXingLiu
- Course of Mathemat 032617 MbpUploaded byKrishna
- calculoDiferencialEIntegral2016_FTrillaudPUploaded byWardencasianAlanis
- FirstUploaded byHardik Kanthariya
- Math ReportUploaded byChi Toan Dang Tran
- Math1002 2015 Sem-1 CrawleyUploaded byDoonkie
- BU Msc Maths SyllabusUploaded byleo_3455
- Multivariable 16 Vector CalculusUploaded by정예진
- Definite IntegralUploaded byabhishekv0697
- Who Invented CalculusUploaded bynishagoyal
- KSSC_3_2007_7_4_297(C)Uploaded byismael.lorandi623
- حلول سكشن 4.3.pdfUploaded bysaleh
- IntegrationUploaded byAmreen Meeajun
- popov2Uploaded bySapta Wae
- Numerical IntegrationUploaded bySaqeeb Adnan
- Functional Analysis Week07 V2Uploaded byalphamale173
- 20160727151011-b.schsmathscbcs2016-17Uploaded byArvind Aggarwal
- lab6Uploaded byTai Zhou
- 38993-pdfUploaded byonkardeokar
- Syllabus ContentsUploaded byshaannivas
- 08 02 Euler MethodUploaded byJohn Bofarull Guix
- 1D. Calculus.pdfUploaded byAnkush Tupe
- punjabi university syllabusUploaded bypriya_garg
- Flex Pde 620Uploaded byFabri Molina
- Lecture 6Uploaded bymasyuki1979
- Test+V1 G MaD6NVC08+Trigonometry+and+DerivativesUploaded byEpic Win
- notes6Uploaded byBeverly Paman
- Lecture notes on harmonic analysisUploaded byHristo Linkov
- Mathematics Chapterwise Analysis 2017Uploaded bybmkale

- Nonlinear-Functional_Analysis.pdfUploaded bybaire_raum
- Rutherford_Streuung.pdfUploaded bybaire_raum
- Das_Riemann_Integral.pdfUploaded bybaire_raum
- Kosmische_Expansion.pdfUploaded bybaire_raum
- Kosmische_Expansion.pdfUploaded bybaire_raum
- Transfinite ArithmetikUploaded bybaire_raum
- Der_Satz_von_Stone_Weierstrass.pdfUploaded bybaire_raum
- Hopfalgebrenstrukturen Von Endlich-dimensionalen GruppenalgebrenUploaded bybaire_raum
- Reihen.pdfUploaded bybaire_raum
- Das_Riemann_Integral.pdfUploaded bybaire_raum
- Der_Lorentz_Attraktor.pdfUploaded bybaire_raum
- Quasistationäre FelderUploaded bybaire_raum
- Nonlinear-Functional_Analysis.pdfUploaded bybaire_raum
- The_so-called_vector_calculus.pdfUploaded bybaire_raum
- Lineare AlgebraUploaded bybaire_raum
- blatt1Uploaded bybaire_raum
- blatt2Uploaded bybaire_raum
- Richtungsfeld.pdfUploaded bybaire_raum
- Anordnungsaxiome.pdfUploaded bybaire_raum
- Combinatorial_Differential_Topology_and_Geometry.pdfUploaded bybaire_raum
- Kosmische_Expansion.pdfUploaded bybaire_raum
- Galoistheorie.pdfUploaded bybaire_raum
- Finan z Mathemat i kUploaded bybaire_raum

- de2deUploaded bymoskvax
- Limits NotesUploaded bymasyati
- Anthony T. Kronman - Education's End - Why Our Colleges and Universities Have Given Up on the Meaning of LifeUploaded byDaniel Pereira Volpato
- Calculus Holiday FunUploaded byLaislee Cirlande
- 804231 Sec 0609Uploaded bymasyuki1979
- Background ReadingUploaded byYogendra Uikey
- On the Riemann Hypothesis - Gerasimos PergarisUploaded bytseros123
- List of Mathematical Symbols by SubjectUploaded bymenilanjan89nL
- multivariable calculusUploaded byHernan Lcc Herrera
- De CompleteUploaded bysumeet1417
- DERIVING THE NORMAL DENSITY AS A SOLUTION OF A DIFFERENTIAL EQUATIONUploaded byVivekPayasi
- Fundamental Theorem of Calculus - SolutionsUploaded byAura Angélica Libertad
- Maths 3Uploaded byShivesh Sohawan
- Rational Numbers as ExponentsUploaded bytutorciecle123
- Boundary Element MethodsUploaded byGowrishetty Srinivas
- AP Calculus AB 2013 Summer PacketUploaded by2013seniorforms
- 2688 Cs Curriculum 09Uploaded byMuhammad Adnan Malik
- Calculus Free ResponseUploaded byJason Victor Yan
- Del in Cylindrical and Spherical CoordinatesUploaded byNoushad Bin Jamal
- Block 2 MEC 003 Unit 5Uploaded byAbhishek Patra
- Mathematical Methods of Physics-Collection of Problems and SolutionsUploaded bykateey27
- Term 2 SM MBS Trial 2014Uploaded byKhaik Yong Lee
- Ralph E. Kleinman. on the Mathematical Theory of the Motion of Floating Bodies - An UpdateUploaded byYuriy Krayniy
- 50403 Derivatives CN IITAdvanced Maths DoneCheckedUploaded byarya
- krivuljni integraliUploaded byMiro Vucic
- Cauchy, The Limit Concept and CalculusUploaded byGeorge Mpantes mathematics teacher
- 2P0Lecture01Uploaded byAfolabi Eniola Abiola
- Color Box ExerciseUploaded byjimusos
- Introduction to Differential EquationsUploaded bySuhas Phalak
- NIT Delhi syllabusUploaded byJugul Kishor