DOCSLIB.ORG

11. Improper Riemann Integrals 11.1. Preliminaries. the Riemann Integral Is Defined for a Bounded Function F and a Bounded Regio

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
11. Improper Riemann Integrals 11.1. Preliminaries. the Riemann Integral Is Defined for a Bounded Function F and a Bounded Regio 78 2. THE LEBESGUE INTEGRATION THEORY 11. Improper Riemann integrals 11.1. Preliminaries. The Riemann integral is defined for a bounded function f and a bounded region Ω. Can the Riemann integral be defined for f that is not bounded in a neighborhood of some point of Ω and (or) not bounded Ω? For example, a continuous function f(x)= e−x can be integrated over an unbounded interval [0, ) using the rule ∞ ∞ b e−x dx = lim e−x dx = lim (1 e−b) = 1 Z0 b→∞ Z0 b→∞ − Note f is integrable on every [0,b] because f is continuous. So, the rule makes sense. Similarly, the function f(x)= x−1/2 is not bounded on [0, 1], but it is continuous on every [a, 1] so it makes sense to define 1 dx 1 dx = lim = lim (2 2√a) = 2 + + Z0 √x a→0 Za √x a→0 − The above Riemann integrals are known as improper Riemann integral. So, a general idea is to reduce the integration domain to a bounded region so that the function in question is integrable on it, and after calculation of the integral over the reduced domain one has to take an appropriate limit with respect to parameters of the reduced domain in which the later becomes the region in question. The procedure is also often called a regularization of the improper Riemann integral. Does the value of the improper integral depend on the regulariza- tion? The answer is not straightforward, especially for higher dimen- sional integrals. Consider the function of two variables: x2 y2 f(x,y)= − (x2 + y2)2 Evidently it is defined everywhere except the origin. One can choose f(0, 0) to be any number. Regardless of the choice, f is not bounded in any neighborhood of the origin. Suppose one wants to integrate this function over Ω= (x,y) x2 + y2 1 , x 0 , y 0 { | ≤ ≥ ≥ } which is the part of the unit disk that lies in the positive quadrant. So, f is not bounded on Ω. In attempt to mimic a one-dimensional improper integral, let us take a subregion Ω Ω a ⊂ Ω = (x,y) a2 x2 + y2 1 , x 0 , y 0 a { | ≤ ≤ ≥ ≥ } 11. IMPROPER RIEMANN INTEGRALS 79 so that Ωa Ω as a 0. Using the polar coordinates it is not difficult to show that→ → f(x,y) dxdy = 0 ZZΩa Alternatively, the result follows from the symmetry argument. The region Ωa is symmetric under the reflection about the line y = x: (x,y) (y,x), whereas the integrand is skew-symmetric, f(x,y) = f(y,x→). Can one conclude that the improper Riemann integral of f over− Ω exists and is equal to zero? It is obvious that Ω can be obtained in many ways as the limit of subregions. For example, consider a collection of expanding subregions Ω Ω which are defined in polar coordinates k ⊂ x = r cos(θ) , y = r sin(θ) by the conditions Ω = (r, θ) a r 1 , β θ π/2 , k = 1, 2,... k { | k ≤ ≤ k ≤ ≤ } where a and β are positive sequences that converge to 0 mono- { k} { k} tonically. These regions coincide with Ωa with a = ak in which a small sector with the angle βk is removed. So, ∞ Ω Ω Ω , Ω = Ω k ⊂ k+1 ⊂ k k[=1 The latter union is a proper mathematical way of saying that Ωk “ap- proaches Ω and coincides with Ω in the limit k ”. Using polar coordinates → ∞ 1 π/2 r2 cos(2θ) 1 f(x,y) dxdy = 4 rdrdθ = sin(2βk)ln(ak) ZZΩk Zak Zβk r 2 The left side is an indeterminate form “0 ”. Its limit may not even exist and, even if it exists, it may have×∞ any value! Indeed, take −c/βk ak = e where c > 0 so that ak 0 monotonically if βk 0 monotonically. Then → → c sin(2β ) lim f(x,y) dxdy = lim k = c k→∞ ZZΩk − k→∞ 2βk − 2 −c/βk If ak = βk, then the limit is 0 and, if ak = e , c> 0, then the limit is . The reader is asked to verify that if the range of the polar angle −∞ in Ωk is restricted to the interval π/2 βk θ π/2, then the limit can be made arbitrary positive number− or≤ + ≤by a suitable choice ∞ of ak. So, the answer really depends on how the improper Riemann integral is regularized! In fact, a similar result can be established for the 80 2. THE LEBESGUE INTEGRATION THEORY integral of f over an unbounded region x2 + y2 1, x 0, y 0 (see Exercises). Naturally, one wants a definitive (or≥ unique)≥ value≥ of the integral, and, for this reason, the definition of the improper Riemann integral requires some amendments in order to be applicable for higher dimensional integrals. 11.2. Improper Riemann integrals. Let Ω RN bounded or unbounded. An exhaustion of Ω is a sequence of regions⊂ Ω ∞ such that { k}1 each Ωk is bounded, closed, and contained in Ω; • Ω contains Ω ; • k+1 k the union of all Ωk coincides with Ω except possibly a set of • measure zero. An example of an exhaustion was given in the previous section. Ifa bounded function f is Riemann integrable on a closed bounded region Ω, then it can be proved that lim f(x) dN x = f(x) dN x k→∞ ZΩk ZΩ which is nothing but the continuity property of the Riemann integral. If f is not bounded and/or Ω is not bounded, the improper integral is defined by this property. Definition 11.1. Let Ω ∞ be an exhaustion of Ω. Suppose that { k}1 a function f on Ω is Riemann integrable on each Ωk. Then the function f is said to be Riemann integrable on Ω if the limit lim f(x) dN x = f(x) dN x k→∞ ZΩk ZΩ exists and is independent of the choice of Ωk. In this case, the value of the limit is called an improper Riemann integral of f over Ω. 11.3. Improper integral of non-negative functions. It is not difficult to find a particular exhaustion and investigate the limit of the sequence of the integrals. Even if the limit is found to exist, one still has to show that it is independent of the choice of the exhaustion in order to prove that the found limit is the value of the improper integral. It is not possible to do so by constructing all possible exhaustions. How then can this be done? Suppose that f(x) is non-negative on Ω. For any exhaustion, the sequence of integrals is monotonically increasing 0 f(x) dN x f(x) dN x ≤ ZΩk ≤ ZΩk+1 11. IMPROPER RIEMANN INTEGRALS 81 by the positivity property of the Riemann integral and that Ωk Ωk+1. The sequence converges only if it is bounded. So, there are on⊂ly two possibilities: either the limit is a number N lim f(x) d x = If < k→∞ ZΩk ∞ or it is infinite, If = . Suppose that this limit exists, If < . Let 0 ∞ ∞ Ωk be another exhaustion of Ω. Then the sequence of the integrals is{ bounded:} N f(x) d x If 0 ZΩk ≤ 0 because f(x) 0 and Ωk Ω. Since the sequence is also monotonic, it converges ≥ ⊂ N 0 lim f(x) d x = If If k→∞ 0 ZΩk ≤ and its limit cannot exceed If . On the other hand, one can swap the roles of the exhaustions and use the same argument: N 0 0 f(x) d x If If If ZΩk | | ≤ ⇒ ≤ 0 because Ωk Ω and f(x) 0. Therefore If = If and the value of the limit does not⊂ depend on the≥ choice of the exhaustion. Theorem 11.1. (Improper integral for non-negative functions) Suppose that (i) f(x) 0 , x Ω; ≥ ∀0 ∈ (ii) Ωn and Ωn are exhaustions of Ω; { } { } 0 (iii) f is Riemann integrable on each Ωn and Ωn Then lim f(x) dN x = lim f(x) dN x n→∞ n→∞ 0 ZΩn ZΩn where the limit can also be + . ∞ Suppose that a bounded function f is Riemann integrable on a bounded, closed region Ω, then the non-negative functions 1 f±(x)= f(x) f(x) 0 2| |± ≥ are also integrable (because the absolute value of an integrable func- tion is integrable). The function f+(x) coincides with f(x) whenever f(x) 0 and vanishes otherwise, whereas f (x) coincides with f(x) ≥ − − 82 2. THE LEBESGUE INTEGRATION THEORY whenever f(x) 0 and vanishes otherwise. They can alternatively be written as ≤ f (x) = max f(x), 0 , f (x)= min f(x), 0 + { } − − { } Thus, any Riemann integrable function can be written as the difference of two non-negative integrable functions: f(x) = f (x) f (x) , + − − N N N f(x) d x = f+(x) d x f−(x) d x ZΩ ZΩ − ZΩ and vice versa (integrability of f implies integrability of f and f = ± | | f+ + f− by the linearity of the integral). Using the limit laws, the following theorem can easily be established from the above representation. Theorem 11.2. Suppose that the improper integrals of f± over Ω exist. Then the improper integral of f over Ω exists and can be com- puted in any exhaustion Ω of Ω. { n} Indeed, by the limit laws and the existence of the improper integral of f±, N N f(x) d x = lim f+(x) f−(x) d x n→∞ ZΩ ZΩn − N N = lim f+(x) d x lim f−(x) d x n→∞ n→∞ ZΩn − ZΩn N N = f+(x) d x f−(x) d x ZΩ − ZΩ and, by Theorem 11.1 the values of the limits in the right side of the equation do not depend on the choice of the exhaustion (or regulariza- tion) of the integrals.
Load more

Recommended publications
  • Riemann Sums Fundamental Theorem of Calculus Indefinite
    Riemann Sums Partition P = {x0, x1, . , xn} of an interval [a, b]. ck ∈ [xk−1, xk] Pn R(f, P, a, b) = k=1 f(ck)∆xk As the widths ∆xk of the subintervals approach 0, the Riemann Sums hopefully approach a limit, the integral of f from a to b, written R b a f(x) dx. Fundamental Theorem of Calculus Theorem 1 (FTC-Part I). If f is continuous on [a, b], then F (x) = R x 0 a f(t) dt is defined on [a, b] and F (x) = f(x). Theorem 2 (FTC-Part II). If f is continuous on [a, b] and F (x) = R R b b f(x) dx on [a, b], then a f(x) dx = F (x) a = F (b) − F (a). Indefinite Integrals Indefinite Integral: R f(x) dx = F (x) if and only if F 0(x) = f(x). In other words, the terms indefinite integral and antiderivative are synonymous. Every differentiation formula yields an integration formula. Substitution Rule For Indefinite Integrals: If u = g(x), then R f(g(x))g0(x) dx = R f(u) du. For Definite Integrals: R b 0 R g(b) If u = g(x), then a f(g(x))g (x) dx = g(a) f( u) du. Steps in Mechanically Applying the Substitution Rule Note: The variables do not have to be called x and u. (1) Choose a substitution u = g(x). du (2) Calculate = g0(x). dx du (3) Treat as if it were a fraction, a quotient of differentials, and dx du solve for dx, obtaining dx = .
    [Show full text]
  • The Radius of Convergence of the Lam\'{E} Function
    The radius of convergence of the Lame´ function Yoon-Seok Choun Department of Physics, Hanyang University, Seoul, 133-791, South Korea Abstract We consider the radius of convergence of a Lame´ function, and we show why Poincare-Perron´ theorem is not applicable to the Lame´ equation. Keywords: Lame´ equation; 3-term recursive relation; Poincare-Perron´ theorem 2000 MSC: 33E05, 33E10, 34A25, 34A30 1. Introduction A sphere is a geometric perfect shape, a collection of points that are all at the same distance from the center in the three-dimensional space. In contrast, the ellipsoid is an imperfect shape, and all of the plane sections are elliptical or circular surfaces. The set of points is no longer the same distance from the center of the ellipsoid. As we all know, the nature is nonlinear and geometrically imperfect. For simplicity, we usually linearize such systems to take a step toward the future with good numerical approximation. Indeed, many geometric spherical objects are not perfectly spherical in nature. The shape of those objects are better interpreted by the ellipsoid because they rotates themselves. For instance, ellipsoidal harmonics are shown in the calculation of gravitational potential [11]. But generally spherical harmonics are preferable to mathematically complex ellipsoid harmonics. Lame´ functions (ellipsoidal harmonic fuctions) [7] are applicable to diverse areas such as boundary value problems in ellipsoidal geometry, Schrodinger¨ equations for various periodic and anharmonic potentials, the theory of Bose-Einstein condensates, group theory to quantum mechanical bound states and band structures of the Lame´ Hamiltonian, etc. As we apply a power series into the Lame´ equation in the algebraic form or Weierstrass’s form, the 3-term recurrence relation starts to arise and currently, there are no general analytic solutions in closed forms for the 3-term recursive relation of a series solution because of their mathematical complexity [1, 5, 13].
    [Show full text]
  • MATH 305 Complex Analysis, Spring 2016 Using Residues to Evaluate Improper Integrals Worksheet for Sections 78 and 79
    MATH 305 Complex Analysis, Spring 2016 Using Residues to Evaluate Improper Integrals Worksheet for Sections 78 and 79 One of the interesting applications of Cauchy's Residue Theorem is to find exact values of real improper integrals. The idea is to integrate a complex rational function around a closed contour C that can be arbitrarily large. As the size of the contour becomes infinite, the piece in the complex plane (typically an arc of a circle) contributes 0 to the integral, while the part remaining covers the entire real axis (e.g., an improper integral from −∞ to 1). An Example Let us use residues to derive the formula p Z 1 x2 2 π 4 dx = : (1) 0 x + 1 4 Note the somewhat surprising appearance of π for the value of this integral. z2 First, let f(z) = and let C = L + C be the contour that consists of the line segment L z4 + 1 R R R on the real axis from −R to R, followed by the semi-circle CR of radius R traversed CCW (see figure below). Note that C is a positively oriented, simple, closed contour. We will assume that R > 1. Next, notice that f(z) has two singular points (simple poles) inside C. Call them z0 and z1, as shown in the figure. By Cauchy's Residue Theorem. we have I f(z) dz = 2πi Res f(z) + Res f(z) C z=z0 z=z1 On the other hand, we can parametrize the line segment LR by z = x; −R ≤ x ≤ R, so that I Z R x2 Z z2 f(z) dz = 4 dx + 4 dz; C −R x + 1 CR z + 1 since C = LR + CR.
    [Show full text]
  • Section 8.8: Improper Integrals
    Section 8.8: Improper Integrals One of the main applications of integrals is to compute the areas under curves, as you know. A geometric question. But there are some geometric questions which we do not yet know how to do by calculus, even though they appear to have the same form. Consider the curve y = 1=x2. We can ask, what is the area of the region under the curve and right of the line x = 1? We have no reason to believe this area is finite, but let's ask. Now no integral will compute this{we have to integrate over a bounded interval. Nonetheless, we don't want to throw up our hands. So note that b 2 b Z (1=x )dx = ( 1=x) 1 = 1 1=b: 1 − j − In other words, as b gets larger and larger, the area under the curve and above [1; b] gets larger and larger; but note that it gets closer and closer to 1. Thus, our intuition tells us that the area of the region we're interested in is exactly 1. More formally: lim 1 1=b = 1: b − !1 We can rewrite that as b 2 lim Z (1=x )dx: b !1 1 Indeed, in general, if we want to compute the area under y = f(x) and right of the line x = a, we are computing b lim Z f(x)dx: b !1 a ASK: Does this limit always exist? Give some situations where it does not exist. They'll give something that blows up.
    [Show full text]
  • The Fundamental Theorem of Calculus for Lebesgue Integral
    Divulgaciones Matem´aticasVol. 8 No. 1 (2000), pp. 75{85 The Fundamental Theorem of Calculus for Lebesgue Integral El Teorema Fundamental del C´alculo para la Integral de Lebesgue Di´omedesB´arcenas([email protected]) Departamento de Matem´aticas.Facultad de Ciencias. Universidad de los Andes. M´erida.Venezuela. Abstract In this paper we prove the Theorem announced in the title with- out using Vitali's Covering Lemma and have as a consequence of this approach the equivalence of this theorem with that which states that absolutely continuous functions with zero derivative almost everywhere are constant. We also prove that the decomposition of a bounded vari- ation function is unique up to a constant. Key words and phrases: Radon-Nikodym Theorem, Fundamental Theorem of Calculus, Vitali's covering Lemma. Resumen En este art´ıculose demuestra el Teorema Fundamental del C´alculo para la integral de Lebesgue sin usar el Lema del cubrimiento de Vi- tali, obteni´endosecomo consecuencia que dicho teorema es equivalente al que afirma que toda funci´onabsolutamente continua con derivada igual a cero en casi todo punto es constante. Tambi´ense prueba que la descomposici´onde una funci´onde variaci´onacotada es ´unicaa menos de una constante. Palabras y frases clave: Teorema de Radon-Nikodym, Teorema Fun- damental del C´alculo,Lema del cubrimiento de Vitali. Received: 1999/08/18. Revised: 2000/02/24. Accepted: 2000/03/01. MSC (1991): 26A24, 28A15. Supported by C.D.C.H.T-U.L.A under project C-840-97. 76 Di´omedesB´arcenas 1 Introduction The Fundamental Theorem of Calculus for Lebesgue Integral states that: A function f :[a; b] R is absolutely continuous if and only if it is ! 1 differentiable almost everywhere, its derivative f 0 L [a; b] and, for each t [a; b], 2 2 t f(t) = f(a) + f 0(s)ds: Za This theorem is extremely important in Lebesgue integration Theory and several ways of proving it are found in classical Real Analysis.
    [Show full text]
  • Ch. 15 Power Series, Taylor Series
    Ch. 15 Power Series, Taylor Series 서울대학교 조선해양공학과 서유택 2017.12 ※ 본 강의 자료는 이규열, 장범선, 노명일 교수님께서 만드신 자료를 바탕으로 일부 편집한 것입니다. Seoul National 1 Univ. 15.1 Sequences (수열), Series (급수), Convergence Tests (수렴판정) Sequences: Obtained by assigning to each positive integer n a number zn z . Term: zn z1, z 2, or z 1, z 2 , or briefly zn N . Real sequence (실수열): Sequence whose terms are real Convergence . Convergent sequence (수렴수열): Sequence that has a limit c limznn c or simply z c n . For every ε > 0, we can find N such that Convergent complex sequence |zn c | for all n N → all terms zn with n > N lie in the open disk of radius ε and center c. Divergent sequence (발산수열): Sequence that does not converge. Seoul National 2 Univ. 15.1 Sequences, Series, Convergence Tests Convergence . Convergent sequence: Sequence that has a limit c Ex. 1 Convergent and Divergent Sequences iin 11 Sequence i , , , , is convergent with limit 0. n 2 3 4 limznn c or simply z c n Sequence i n i , 1, i, 1, is divergent. n Sequence {zn} with zn = (1 + i ) is divergent. Seoul National 3 Univ. 15.1 Sequences, Series, Convergence Tests Theorem 1 Sequences of the Real and the Imaginary Parts . A sequence z1, z2, z3, … of complex numbers zn = xn + iyn converges to c = a + ib . if and only if the sequence of the real parts x1, x2, … converges to a . and the sequence of the imaginary parts y1, y2, … converges to b. Ex.
    [Show full text]
  • Topic 7 Notes 7 Taylor and Laurent Series
    Topic 7 Notes Jeremy Orloff 7 Taylor and Laurent series 7.1 Introduction We originally defined an analytic function as one where the derivative, defined as a limit of ratios, existed. We went on to prove Cauchy's theorem and Cauchy's integral formula. These revealed some deep properties of analytic functions, e.g. the existence of derivatives of all orders. Our goal in this topic is to express analytic functions as infinite power series. This will lead us to Taylor series. When a complex function has an isolated singularity at a point we will replace Taylor series by Laurent series. Not surprisingly we will derive these series from Cauchy's integral formula. Although we come to power series representations after exploring other properties of analytic functions, they will be one of our main tools in understanding and computing with analytic functions. 7.2 Geometric series Having a detailed understanding of geometric series will enable us to use Cauchy's integral formula to understand power series representations of analytic functions. We start with the definition: Definition. A finite geometric series has one of the following (all equivalent) forms. 2 3 n Sn = a(1 + r + r + r + ::: + r ) = a + ar + ar2 + ar3 + ::: + arn n X = arj j=0 n X = a rj j=0 The number r is called the ratio of the geometric series because it is the ratio of consecutive terms of the series. Theorem. The sum of a finite geometric series is given by a(1 − rn+1) S = a(1 + r + r2 + r3 + ::: + rn) = : (1) n 1 − r Proof.
    [Show full text]
  • Absolute and Conditional Convergence, and Talk a Little Bit About the Mathematical Constant E
    MATH 8, SECTION 1, WEEK 3 - RECITATION NOTES TA: PADRAIC BARTLETT Abstract. These are the notes from Friday, Oct. 15th's lecture. In this talk, we study absolute and conditional convergence, and talk a little bit about the mathematical constant e. 1. Random Question Question 1.1. Suppose that fnkg is the sequence consisting of all natural numbers that don't have a 9 anywhere in their digits. Does the corresponding series 1 X 1 nk k=1 converge? 2. Absolute and Conditional Convergence: Definitions and Theorems For review's sake, we repeat the definitions of absolute and conditional conver- gence here: P1 P1 Definition 2.1. A series n=1 an converges absolutely iff the series n=1 janj P1 converges; it converges conditionally iff the series n=1 an converges but the P1 series of absolute values n=1 janj diverges. P1 (−1)n+1 Example 2.2. The alternating harmonic series n=1 n converges condition- ally. This follows from our work in earlier classes, where we proved that the series itself converged (by looking at partial sums;) conversely, the absolute values of this series is just the harmonic series, which we know to diverge. As we saw in class last time, most of our theorems aren't set up to deal with series whose terms alternate in sign, or even that have terms that occasionally switch sign. As a result, we developed the following pair of theorems to help us manipulate series with positive and negative terms: 1 Theorem 2.3. (Alternating Series Test / Leibniz's Theorem) If fangn=0 is a se- quence of positive numbers that monotonically decreases to 0, the series 1 X n (−1) an n=1 converges.
    [Show full text]
  • 11.3-11.4 Integral and Comparison Tests
    11.3-11.4 Integral and Comparison Tests The Integral Test: Suppose a function f(x) is continuous, positive, and decreasing on [1; 1). Let an 1 P R 1 be defined by an = f(n). Then, the series an and the improper integral 1 f(x) dx either BOTH n=1 CONVERGE OR BOTH DIVERGE. Notes: • For the integral test, when we say that f must be decreasing, it is actually enough that f is EVENTUALLY ALWAYS DECREASING. In other words, as long as f is always decreasing after a certain point, the \decreasing" requirement is satisfied. • If the improper integral converges to a value A, this does NOT mean the sum of the series is A. Why? The integral of a function will give us all the area under a continuous curve, while the series is a sum of distinct, separate terms. • The index and interval do not always need to start with 1. Examples: Determine whether the following series converge or diverge. 1 n2 • X n2 + 9 n=1 1 2 • X n2 + 9 n=3 1 1 n • X n2 + 1 n=1 1 ln n • X n n=2 Z 1 1 p-series: We saw in Section 8.9 that the integral p dx converges if p > 1 and diverges if p ≤ 1. So, by 1 x 1 1 the Integral Test, the p-series X converges if p > 1 and diverges if p ≤ 1. np n=1 Notes: 1 1 • When p = 1, the series X is called the harmonic series. n n=1 • Any constant multiple of a convergent p-series is also convergent.
    [Show full text]
  • Shape Analysis, Lebesgue Integration and Absolute Continuity Connections
    NISTIR 8217 Shape Analysis, Lebesgue Integration and Absolute Continuity Connections Javier Bernal This publication is available free of charge from: https://doi.org/10.6028/NIST.IR.8217 NISTIR 8217 Shape Analysis, Lebesgue Integration and Absolute Continuity Connections Javier Bernal Applied and Computational Mathematics Division Information Technology Laboratory This publication is available free of charge from: https://doi.org/10.6028/NIST.IR.8217 July 2018 INCLUDES UPDATES AS OF 07-18-2018; SEE APPENDIX U.S. Department of Commerce Wilbur L. Ross, Jr., Secretary National Institute of Standards and Technology Walter Copan, NIST Director and Undersecretary of Commerce for Standards and Technology ______________________________________________________________________________________________________ This Shape Analysis, Lebesgue Integration and publication Absolute Continuity Connections Javier Bernal is National Institute of Standards and Technology, available Gaithersburg, MD 20899, USA free of Abstract charge As shape analysis of the form presented in Srivastava and Klassen’s textbook “Functional and Shape Data Analysis” is intricately related to Lebesgue integration and absolute continuity, it is advantageous from: to have a good grasp of the latter two notions. Accordingly, in these notes we review basic concepts and results about Lebesgue integration https://doi.org/10.6028/NIST.IR.8217 and absolute continuity. In particular, we review fundamental results connecting them to each other and to the kind of shape analysis, or more generally, functional data analysis presented in the aforeme- tioned textbook, in the process shedding light on important aspects of all three notions. Many well-known results, especially most results about Lebesgue integration and some results about absolute conti- nuity, are presented without proofs.
    [Show full text]
  • An Introduction to Measure Theory Terence
    An introduction to measure theory Terence Tao Department of Mathematics, UCLA, Los Angeles, CA 90095 E-mail address: [email protected] To Garth Gaudry, who set me on the road; To my family, for their constant support; And to the readers of my blog, for their feedback and contributions. Contents Preface ix Notation x Acknowledgments xvi Chapter 1. Measure theory 1 x1.1. Prologue: The problem of measure 2 x1.2. Lebesgue measure 17 x1.3. The Lebesgue integral 46 x1.4. Abstract measure spaces 79 x1.5. Modes of convergence 114 x1.6. Differentiation theorems 131 x1.7. Outer measures, pre-measures, and product measures 179 Chapter 2. Related articles 209 x2.1. Problem solving strategies 210 x2.2. The Radamacher differentiation theorem 226 x2.3. Probability spaces 232 x2.4. Infinite product spaces and the Kolmogorov extension theorem 235 Bibliography 243 vii viii Contents Index 245 Preface In the fall of 2010, I taught an introductory one-quarter course on graduate real analysis, focusing in particular on the basics of mea- sure and integration theory, both in Euclidean spaces and in abstract measure spaces. This text is based on my lecture notes of that course, which are also available online on my blog terrytao.wordpress.com, together with some supplementary material, such as a section on prob- lem solving strategies in real analysis (Section 2.1) which evolved from discussions with my students. This text is intended to form a prequel to my graduate text [Ta2010] (henceforth referred to as An epsilon of room, Vol. I ), which is an introduction to the analysis of Hilbert and Banach spaces (such as Lp and Sobolev spaces), point-set topology, and related top- ics such as Fourier analysis and the theory of distributions; together, they serve as a text for a complete first-year graduate course in real analysis.
    [Show full text]
  • Math 1B, Lecture 11: Improper Integrals I
    Math 1B, lecture 11: Improper integrals I Nathan Pflueger 30 September 2011 1 Introduction An improper integral is an integral that is unbounded in one of two ways: either the domain of integration is infinite, or the function approaches infinity in the domain (or both). Conceptually, they are no different from ordinary integrals (and indeed, for many students including myself, it is not at all clear at first why they have a special name and are treated as a separate topic). Like any other integral, an improper integral computes the area underneath a curve. The difference is foundational: if integrals are defined in terms of Riemann sums which divide the domain of integration into n equal pieces, what are we to make of an integral with an infinite domain of integration? The purpose of these next two lecture will be to settle on the appropriate foundation for speaking of improper integrals. Today we consider integrals with infinite domains of integration; next time we will consider functions which approach infinity in the domain of integration. An important observation is that not all improper integrals can be considered to have meaningful values. These will be said to diverge, while the improper integrals with coherent values will be said to converge. Much of our work will consist in understanding which improper integrals converge or diverge. Indeed, in many cases for this course, we will only ask the question: \does this improper integral converge or diverge?" The reading for today is the first part of Gottlieb x29:4 (up to the top of page 907).
    [Show full text]