5.2 Complex Borel Measures on R

Total Page:16

File Type:pdf, Size:1020Kb

5.2 Complex Borel Measures on R MATH 245A (17F) (L) M. Bonk / (TA) A. Wu Real Analysis Contents 1 Measure Theory 3 1.1 σ-algebras . .3 1.2 Measures . .4 1.3 Construction of non-trivial measures . .5 1.4 Lebesgue measure . 10 1.5 Measurable functions . 14 2 Integration 17 2.1 Integration of simple non-negative functions . 17 2.2 Integration of non-negative functions . 17 2.3 Integration of real and complex valued functions . 19 2.4 Lp-spaces . 20 2.5 Relation to Riemann integration . 22 2.6 Modes of convergence . 23 2.7 Product measures . 25 2.8 Polar coordinates . 28 2.9 The transformation formula . 31 3 Signed and Complex Measures 35 3.1 Signed measures . 35 3.2 The Radon-Nikodym theorem . 37 3.3 Complex measures . 40 4 More on Lp Spaces 43 4.1 Bounded linear maps and dual spaces . 43 4.2 The dual of Lp ....................................... 45 4.3 The Hardy-Littlewood maximal functions . 47 5 Differentiability 51 5.1 Lebesgue points . 51 5.2 Complex Borel measures on R ............................... 54 5.3 The fundamental theorem of calculus . 58 6 Functional Analysis 61 6.1 Locally compact Hausdorff spaces . 61 6.2 Weak topologies . 62 6.3 Some theorems in functional analysis . 65 6.4 Hilbert spaces . 67 1 CONTENTS MATH 245A (17F) 7 Fourier Analysis 73 7.1 Trigonometric series . 73 7.2 Fourier series . 74 7.3 The Dirichlet kernel . 75 7.4 Continuous functions and pointwise convergence properties . 77 7.5 Convolutions . 78 7.6 Convolutions and differentiation . 78 7.7 Translation operators . 79 7.8 The Fourier transform . 79 8 The Theory of Distributions 83 8.1 Sobolev functions and weak derivatives . 83 8.2 Distributions . 84 8.3 Localization and support of distributions . 85 8.4 Fourier transforms of distributions . 85 2 MATH 245A (17F) (L) M. Bonk / (TA) A. Wu Real Analysis 1 MEASURE THEORY 1.1 σ-ALGEBRAS Definition 1.1.1 (σ-algebra). Let X be a set and A be a family of subsets of X. We say that A is an algebra on X if (i) ; 2 A; (ii) if A 2 A, then XnA 2 A; (iii) if A; B 2 A, then A [ B 2 A. We say that A is a σ-algebra on X if closure under finite unions extends to countable unions. Proposition 1.1.2. Let A be an algebra on X. If A; B 2 A, then 1. A \ B 2 A; 2. AnB 2 A. Moreover, if A is a σ-algebra and An 2 A, then 1 \ An 2 A: n=1 Example 1.1.3. 1. For any set X, A = P(X) is a σ-algebra. 2. For any set X, A = fA ⊂ X j A is countable or XnA is countableg is a σ-algebra. T 3. If fAi j i 2 Ig is a family of σ-algebras on X, then so is A = i Ai. Proposition 1.1.4. Let F ⊂ P(X) be a family of subsets of X. Then there is a unique σ-algebra A such that F ⊂ A ⊂ A0, where A0 is any σ-algebra on X with F ⊂ A0. Proof. Let F be the family of σ-algebras A0 containing F. The appropriate A is \ A = A0: A02F Definition 1.1.5 (σ-algebra generated by a family of sets). The σ-algebra A is the σ-algebra generated by F, denoted by σ(F). Definition 1.1.6 (Borel σ-algebra). Let (X; O) be a topological space. The Borel σ-algebra on X is BX = σ(O), the σ-algebra generated by the open sets in X. Example 1.1.7. 1. Every open set is Borel, and by complementation, every closed set is Borel. 2. In R, the set Q is Borel, as it is a countable union of points, which are closed. n 3.A rectangle in R is a set of the form [a1; b1] × · · · × [an; bn] with ai ≤ bi for all i. If R is the n family of all rectangles, then σ(R) = BR . 3 1.2 Measures MATH 245A (17F) 1.2 MEASURES Definition 1.2.1 (Measure). A pair (X; A) of a set X and a σ-algebra A on X is a measurable space.A (positive) measure µ on a measurable space (X; A) is a function µ : A! [0; 1] such that (i) µ(;) = 0; (ii) if An 2 A (n 2 N) are pairwise disjoint, then 1 ! 1 [ X µ An = µ(An): n=1 n=1 The triple (X; A; µ) is a measure space. Example 1.2.2. Let X be a set and A = P(X). 1. For a given a 2 X, the Dirac measure at a is ( 0 a 62 M; δa(M) = 1 a 2 M: 2. The counting measure is ( jMj M is finite; µ(M) = 1 otherwise: 3. If X is a topological space, then a Borel measure is a measure defined on (X; BX ). S Notation. 1. Write An % A if A1 ⊂ A2 ⊂ · · · and A = n An. T 2. Write An & A if A1 ⊃ A2 ⊃ · · · and A = n An. Theorem 1.2.3. Let (X; A; µ) be a measure space. Then 1. (monotonicity) if A; B 2 A and A ⊂ B, then µ(A) ≤ µ(B); 2. (countable subadditivity) if An 2 A, then 1 ! 1 [ X µ An ≤ µ(An); n=1 n=1 3. (continuity from below) if An 2 A and An % A, µ(A) = lim µ(An); n!1 4. (continuity from above) if An 2 A, An & A, and µ(A1) < 1, then µ(A) = lim µ(An): n!1 4 MATH 245A (17F) (L) M. Bonk / (TA) A. Wu Real Analysis Proof. 1. Since A ⊂ B, we have a decomposition B = A [ (BnA) into disjoint subsets. Then µ(B) = µ(A) + µ(BnA) ≥ µ(A): 2. Define -n−1 [ Bn = An An ⊂ An: k=1 S S By construction, the Bn's are pairwise disjoint and n Bn = n An. Then 1 ! 1 ! 1 1 [ [ X X µ An = µ Bn = µ(Bn) ≤ µ(An): n=1 n=1 n=1 n=1 3. This time, define Bn = AnnAn−1 (suppose A0 = ;). We get 1 ! 1 ! 1 N [ [ X X µ An = µ Bn = µ(Bn) = lim µ(Bn) = lim µ(AN ): N!1 N!1 n=1 n=1 n=1 n=1 4. Let Bn = A1nAn. Then Bn % A1nA in A and µ(A1) = µ(An)+µ(Bn), so applying continuity from below gives µ(A1) = µ(A1nA) + µ(A) = lim µ(Bn) + µ(A): n!1 Since µ(A1) is finite, the result follows from writing µ(A1) = lim (µ(A1) − µ(An)) + µ(A) = µ(A1) + µ(A) − lim µ(An): n!1 n!1 Remark 1.2.4. Continuity from above may fail if we allow µ(A1) = 1. For example, on R with T the counting measure, let An = [n; 1). Then n An = ;, but µ(An) = 1 for each n. Definition 1.2.5 (Null set). Let (X; A; µ) be a measure space. A null set is a measurable set N ⊂ X with µ(N) = 0. Definition 1.2.6 (\Almost everywhere"). Let P (x) be a statement about points x in a measure space (X; A; µ). We say that P (x) is true µ-almost everywhere (or for µ-almost every x 2 X), abbreviated µ-a.e., if there exists a null set N for which P (x) is true for all x 2 XnN. 1.3 CONSTRUCTION OF NON-TRIVIAL MEASURES Let (X; A; µ) be a measure space. Definition 1.3.1 (Complete measure space). We say that (X; A; µ) is complete if every subset of a null set is a null set. (In particular, every subset of a null set is measurable.) Theorem 1.3.2. Let A = fA [ B j A 2 A and there exists a null set N such that B ⊂ Ng: Then A is a σ-algebra on X with A ⊂ A. Moreover, µ can be uniquely extended to a measure µ on A which is complete. 5 1.3 Construction of non-trivial measures MATH 245A (17F) Proof. It is clear that A ⊂ A. To see that A is a σ-algebra, we check the axioms. (i) Since A ⊂ A, we have ; 2 A and X 2 A. (ii) Let A [ B 2 A with B ⊂ N for some null set N. By replacing A with AnN and B with B [ (A \ N) if necessary, we can suppose that A \ N = ;. Then Xn(A [ B) = (XnA) \ (XnB) = [(XnA) \ (XnN)] [ [NnB] 2 A: (iii) Let An [ Bn 2 A with Bn ⊂ Nn for null sets Nn, and let 1 1 1 [ [ [ A = An;B = Bn;N = Nn: n=1 n=1 n=1 P Then A; N 2 A and µ(N) ≤ n µ(Nn) = 0, so N is a null set with B ⊂ N, and 1 [ (An [ Bn) = A [ B 2 A: n=1 For existence of an extension µ, we attempt to define µ(A [ B) = µ(A). To show existence, define µ by µ(A [ B) = µ(A). To see that it is well-defined, let A [ B = A0 [ B0 with A; A0 2 A and B; B0 subsets of null sets. The union of two null sets is a null set, so we can take B; B0 ⊂ N for some null set N. Then µ(A [ B) = µ(A) = µ(A [ N) = µ(A0 [ N) = µ(A0) = µ(A0 [ B0): The rest of the proof is omitted.
Recommended publications
  • Vector Measures with Variation in a Banach Function Space
    VECTOR MEASURES WITH VARIATION IN A BANACH FUNCTION SPACE O. BLASCO Departamento de An´alisis Matem´atico, Universidad de Valencia, Doctor Moliner, 50 E-46100 Burjassot (Valencia), Spain E-mail:[email protected] PABLO GREGORI Departament de Matem`atiques, Universitat Jaume I de Castell´o, Campus Riu Sec E-12071 Castell´o de la Plana (Castell´o), Spain E-mail:[email protected] Let E be a Banach function space and X be an arbitrary Banach space. Denote by E(X) the K¨othe-Bochner function space defined as the set of measurable functions f :Ω→ X such that the nonnegative functions fX :Ω→ [0, ∞) are in the lattice E. The notion of E-variation of a measure —which allows to recover the p- variation (for E = Lp), Φ-variation (for E = LΦ) and the general notion introduced by Gresky and Uhl— is introduced. The space of measures of bounded E-variation VE (X) is then studied. It is shown, amongother thingsand with some restriction ∗ ∗ of absolute continuity of the norms, that (E(X)) = VE (X ), that VE (X) can be identified with space of cone absolutely summingoperators from E into X and that E(X)=VE (X) if and only if X has the RNP property. 1. Introduction The concept of variation in the frame of vector measures has been fruitful in several areas of the functional analysis, such as the description of the duality of vector-valued function spaces such as certain K¨othe-Bochner function spaces (Gretsky and Uhl10, Dinculeanu7), the reformulation of operator ideals such as the cone absolutely summing operators (Blasco4), and the Hardy spaces of harmonic function (Blasco2,3).
    [Show full text]
  • Integral Representation of a Linear Functional on Function Spaces
    INTEGRAL REPRESENTATION OF LINEAR FUNCTIONALS ON FUNCTION SPACES MEHDI GHASEMI Abstract. Let A be a vector space of real valued functions on a non-empty set X and L : A −! R a linear functional. Given a σ-algebra A, of subsets of X, we present a necessary condition for L to be representable as an integral with respect to a measure µ on X such that elements of A are µ-measurable. This general result then is applied to the case where X carries a topological structure and A is a family of continuous functions and naturally A is the Borel structure of X. As an application, short solutions for the full and truncated K-moment problem are presented. An analogue of Riesz{Markov{Kakutani representation theorem is given where Cc(X) is replaced with whole C(X). Then we consider the case where A only consists of bounded functions and hence is equipped with sup-norm. 1. Introduction A positive linear functional on a function space A ⊆ RX is a linear map L : A −! R which assigns a non-negative real number to every function f 2 A that is globally non-negative over X. The celebrated Riesz{Markov{Kakutani repre- sentation theorem states that every positive functional on the space of continuous compactly supported functions over a locally compact Hausdorff space X, admits an integral representation with respect to a regular Borel measure on X. In symbols R L(f) = X f dµ, for all f 2 Cc(X). Riesz's original result [12] was proved in 1909, for the unit interval [0; 1].
    [Show full text]
  • Complex Measures 1 11
    Tutorial 11: Complex Measures 1 11. Complex Measures In the following, (Ω, F) denotes an arbitrary measurable space. Definition 90 Let (an)n≥1 be a sequence of complex numbers. We a say that ( n)n≥1 has the permutation property if and only if, for ∗ ∗ +∞ 1 all bijections σ : N → N ,theseries k=1 aσ(k) converges in C Exercise 1. Let (an)n≥1 be a sequence of complex numbers. 1. Show that if (an)n≥1 has the permutation property, then the same is true of (Re(an))n≥1 and (Im(an))n≥1. +∞ 2. Suppose an ∈ R for all n ≥ 1. Show that if k=1 ak converges: +∞ +∞ +∞ + − |ak| =+∞⇒ ak = ak =+∞ k=1 k=1 k=1 1which excludes ±∞ as limit. www.probability.net Tutorial 11: Complex Measures 2 Exercise 2. Let (an)n≥1 be a sequence in R, such that the series +∞ +∞ k=1 ak converges, and k=1 |ak| =+∞.LetA>0. We define: + − N = {k ≥ 1:ak ≥ 0} ,N = {k ≥ 1:ak < 0} 1. Show that N + and N − are infinite. 2. Let φ+ : N∗ → N + and φ− : N∗ → N − be two bijections. Show the existence of k1 ≥ 1 such that: k1 aφ+(k) ≥ A k=1 3. Show the existence of an increasing sequence (kp)p≥1 such that: kp aφ+(k) ≥ A k=kp−1+1 www.probability.net Tutorial 11: Complex Measures 3 for all p ≥ 1, where k0 =0. 4. Consider the permutation σ : N∗ → N∗ defined informally by: φ− ,φ+ ,...,φ+ k ,φ− ,φ+ k ,...,φ+ k ,..
    [Show full text]
  • The Total Variation Flow∗
    THE TOTAL VARIATION FLOW∗ Fuensanta Andreu and Jos´eM. Maz´on† Abstract We summarize in this lectures some of our results about the Min- imizing Total Variation Flow, which have been mainly motivated by problems arising in Image Processing. First, we recall the role played by the Total Variation in Image Processing, in particular the varia- tional formulation of the restoration problem. Next we outline some of the tools we need: functions of bounded variation (Section 2), par- ing between measures and bounded functions (Section 3) and gradient flows in Hilbert spaces (Section 4). Section 5 is devoted to the Neu- mann problem for the Total variation Flow. Finally, in Section 6 we study the Cauchy problem for the Total Variation Flow. 1 The Total Variation Flow in Image Pro- cessing We suppose that our image (or data) ud is a function defined on a bounded and piecewise smooth open set D of IRN - typically a rectangle in IR2. Gen- erally, the degradation of the image occurs during image acquisition and can be modeled by a linear and translation invariant blur and additive noise. The equation relating u, the real image, to ud can be written as ud = Ku + n, (1) where K is a convolution operator with impulse response k, i.e., Ku = k ∗ u, and n is an additive white noise of standard deviation σ. In practice, the noise can be considered as Gaussian. ∗Notes from the course given in the Summer School “Calculus of Variations”, Roma, July 4-8, 2005 †Departamento de An´alisis Matem´atico, Universitat de Valencia, 46100 Burjassot (Va- lencia), Spain, [email protected], [email protected] 1 The problem of recovering u from ud is ill-posed.
    [Show full text]
  • Appendix A. Measure and Integration
    Appendix A. Measure and integration We suppose the reader is familiar with the basic facts concerning set theory and integration as they are presented in the introductory course of analysis. In this appendix, we review them briefly, and add some more which we shall need in the text. Basic references for proofs and a detailed exposition are, e.g., [[ H a l 1 ]] , [[ J a r 1 , 2 ]] , [[ K F 1 , 2 ]] , [[ L i L ]] , [[ R u 1 ]] , or any other textbook on analysis you might prefer. A.1 Sets, mappings, relations A set is a collection of objects called elements. The symbol card X denotes the cardi- nality of the set X. The subset M consisting of the elements of X which satisfy the conditions P1(x),...,Pn(x) is usually written as M = { x ∈ X : P1(x),...,Pn(x) }.A set whose elements are certain sets is called a system or family of these sets; the family of all subsystems of a given X is denoted as 2X . The operations of union, intersection, and set difference are introduced in the standard way; the first two of these are commutative, associative, and mutually distributive. In a { } system Mα of any cardinality, the de Morgan relations , X \ Mα = (X \ Mα)and X \ Mα = (X \ Mα), α α α α are valid. Another elementary property is the following: for any family {Mn} ,whichis { } at most countable, there is a disjoint family Nn of the same cardinality such that ⊂ \ ∪ \ Nn Mn and n Nn = n Mn.Theset(M N) (N M) is called the symmetric difference of the sets M,N and denoted as M #N.
    [Show full text]
  • Gsm076-Endmatter.Pdf
    http://dx.doi.org/10.1090/gsm/076 Measur e Theor y an d Integratio n This page intentionally left blank Measur e Theor y an d Integratio n Michael E.Taylor Graduate Studies in Mathematics Volume 76 M^^t| American Mathematical Society ^MMOT Providence, Rhode Island Editorial Board David Cox Walter Craig Nikolai Ivanov Steven G. Krantz David Saltman (Chair) 2000 Mathematics Subject Classification. Primary 28-01. For additional information and updates on this book, visit www.ams.org/bookpages/gsm-76 Library of Congress Cataloging-in-Publication Data Taylor, Michael Eugene, 1946- Measure theory and integration / Michael E. Taylor. p. cm. — (Graduate studies in mathematics, ISSN 1065-7339 ; v. 76) Includes bibliographical references. ISBN-13: 978-0-8218-4180-8 1. Measure theory. 2. Riemann integrals. 3. Convergence. 4. Probabilities. I. Title. II. Series. QA312.T387 2006 515/.42—dc22 2006045635 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy a chapter for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Requests for such permission should be addressed to the Acquisitions Department, American Mathematical Society, 201 Charles Street, Providence, Rhode Island 02904-2294, USA. Requests can also be made by e-mail to [email protected]. © 2006 by the American Mathematical Society.
    [Show full text]
  • About and Beyond the Lebesgue Decomposition of a Signed Measure
    Lecturas Matemáticas Volumen 37 (2) (2016), páginas 79-103 ISSN 0120-1980 About and beyond the Lebesgue decomposition of a signed measure Sobre el teorema de descomposición de Lebesgue de una medida con signo y un poco más Josefina Alvarez1 and Martha Guzmán-Partida2 1New Mexico State University, EE.UU. 2Universidad de Sonora, México ABSTRACT. We present a refinement of the Lebesgue decomposition of a signed measure. We also revisit the notion of mutual singularity for finite signed measures, explaining its connection with a notion of orthogonality introduced by R.C. JAMES. Key words: Lebesgue Decomposition Theorem, Mutually Singular Signed Measures, Orthogonality. RESUMEN. Presentamos un refinamiento de la descomposición de Lebesgue de una medida con signo. También revisitamos la noción de singularidad mutua para medidas con signo finitas, explicando su relación con una noción de ortogonalidad introducida por R. C. JAMES. Palabras clave: Teorema de Descomposición de Lebesgue, Medidas con Signo Mutua- mente Singulares, Ortogonalidad. 2010 AMS Mathematics Subject Classification. Primary 28A10; Secondary 28A33, Third 46C50. 1. Introduction The main goal of this expository article is to present a refinement, not often found in the literature, of the Lebesgue decomposition of a signed measure. For the sake of completeness, we begin with a collection of preliminary definitions and results, including many comments, examples and counterexamples. We continue with a section dedicated 80 Josefina Alvarez et al. About and beyond the Lebesgue decomposition... specifically to the Lebesgue decomposition of a signed measure, where we also present a short account of its historical development. Next comes the centerpiece of our exposition, a refinement of the Lebesgue decomposition of a signed measure, which we prove in detail.
    [Show full text]
  • Total Variation Deconvolution Using Split Bregman
    Published in Image Processing On Line on 2012{07{30. Submitted on 2012{00{00, accepted on 2012{00{00. ISSN 2105{1232 c 2012 IPOL & the authors CC{BY{NC{SA This article is available online with supplementary materials, software, datasets and online demo at http://dx.doi.org/10.5201/ipol.2012.g-tvdc 2014/07/01 v0.5 IPOL article class Total Variation Deconvolution using Split Bregman Pascal Getreuer Yale University ([email protected]) Abstract Deblurring is the inverse problem of restoring an image that has been blurred and possibly corrupted with noise. Deconvolution refers to the case where the blur to be removed is linear and shift-invariant so it may be expressed as a convolution of the image with a point spread function. Convolution corresponds in the Fourier domain to multiplication, and deconvolution is essentially Fourier division. The challenge is that since the multipliers are often small for high frequencies, direct division is unstable and plagued by noise present in the input image. Effective deconvolution requires a balance between frequency recovery and noise suppression. Total variation (TV) regularization is a successful technique for achieving this balance in de- blurring problems. It was introduced to image denoising by Rudin, Osher, and Fatemi [4] and then applied to deconvolution by Rudin and Osher [5]. In this article, we discuss TV-regularized deconvolution with Gaussian noise and its efficient solution using the split Bregman algorithm of Goldstein and Osher [16]. We show a straightforward extension for Laplace or Poisson noise and develop empirical estimates for the optimal value of the regularization parameter λ.
    [Show full text]
  • Guaranteed Deterministic Bounds on the Total Variation Distance Between Univariate Mixtures
    Guaranteed Deterministic Bounds on the Total Variation Distance between Univariate Mixtures Frank Nielsen Ke Sun Sony Computer Science Laboratories, Inc. Data61 Japan Australia [email protected] [email protected] Abstract The total variation distance is a core statistical distance between probability measures that satisfies the metric axioms, with value always falling in [0; 1]. This distance plays a fundamental role in machine learning and signal processing: It is a member of the broader class of f-divergences, and it is related to the probability of error in Bayesian hypothesis testing. Since the total variation distance does not admit closed-form expressions for statistical mixtures (like Gaussian mixture models), one often has to rely in practice on costly numerical integrations or on fast Monte Carlo approximations that however do not guarantee deterministic lower and upper bounds. In this work, we consider two methods for bounding the total variation of univariate mixture models: The first method is based on the information monotonicity property of the total variation to design guaranteed nested deterministic lower bounds. The second method relies on computing the geometric lower and upper envelopes of weighted mixture components to derive deterministic bounds based on density ratio. We demonstrate the tightness of our bounds in a series of experiments on Gaussian, Gamma and Rayleigh mixture models. 1 Introduction 1.1 Total variation and f-divergences Let ( R; ) be a measurable space on the sample space equipped with the Borel σ-algebra [1], and P and QXbe ⊂ twoF probability measures with respective densitiesXp and q with respect to the Lebesgue measure µ.
    [Show full text]
  • (Measure Theory for Dummies) UWEE Technical Report Number UWEETR-2006-0008
    A Measure Theory Tutorial (Measure Theory for Dummies) Maya R. Gupta {gupta}@ee.washington.edu Dept of EE, University of Washington Seattle WA, 98195-2500 UWEE Technical Report Number UWEETR-2006-0008 May 2006 Department of Electrical Engineering University of Washington Box 352500 Seattle, Washington 98195-2500 PHN: (206) 543-2150 FAX: (206) 543-3842 URL: http://www.ee.washington.edu A Measure Theory Tutorial (Measure Theory for Dummies) Maya R. Gupta {gupta}@ee.washington.edu Dept of EE, University of Washington Seattle WA, 98195-2500 University of Washington, Dept. of EE, UWEETR-2006-0008 May 2006 Abstract This tutorial is an informal introduction to measure theory for people who are interested in reading papers that use measure theory. The tutorial assumes one has had at least a year of college-level calculus, some graduate level exposure to random processes, and familiarity with terms like “closed” and “open.” The focus is on the terms and ideas relevant to applied probability and information theory. There are no proofs and no exercises. Measure theory is a bit like grammar, many people communicate clearly without worrying about all the details, but the details do exist and for good reasons. There are a number of great texts that do measure theory justice. This is not one of them. Rather this is a hack way to get the basic ideas down so you can read through research papers and follow what’s going on. Hopefully, you’ll get curious and excited enough about the details to check out some of the references for a deeper understanding.
    [Show full text]
  • Calculus of Variations
    MIT OpenCourseWare http://ocw.mit.edu 16.323 Principles of Optimal Control Spring 2008 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 16.323 Lecture 5 Calculus of Variations • Calculus of Variations • Most books cover this material well, but Kirk Chapter 4 does a particularly nice job. • See here for online reference. x(t) x*+ αδx(1) x*- αδx(1) x* αδx(1) −αδx(1) t t0 tf Figure by MIT OpenCourseWare. Spr 2008 16.323 5–1 Calculus of Variations • Goal: Develop alternative approach to solve general optimization problems for continuous systems – variational calculus – Formal approach will provide new insights for constrained solutions, and a more direct path to the solution for other problems. • Main issue – General control problem, the cost is a function of functions x(t) and u(t). � tf min J = h(x(tf )) + g(x(t), u(t), t)) dt t0 subject to x˙ = f(x, u, t) x(t0), t0 given m(x(tf ), tf ) = 0 – Call J(x(t), u(t)) a functional. • Need to investigate how to find the optimal values of a functional. – For a function, we found the gradient, and set it to zero to find the stationary points, and then investigated the higher order derivatives to determine if it is a maximum or minimum. – Will investigate something similar for functionals. June 18, 2008 Spr 2008 16.323 5–2 • Maximum and Minimum of a Function – A function f(x) has a local minimum at x� if f(x) ≥ f(x �) for all admissible x in �x − x�� ≤ � – Minimum can occur at (i) stationary point, (ii) at a boundary, or (iii) a point of discontinuous derivative.
    [Show full text]
  • Probability Measures on Metric Spaces
    Probability measures on metric spaces Onno van Gaans These are some loose notes supporting the first sessions of the seminar Stochastic Evolution Equations organized by Dr. Jan van Neerven at the Delft University of Technology during Winter 2002/2003. They contain less information than the common textbooks on the topic of the title. Their purpose is to present a brief selection of the theory that provides a basis for later study of stochastic evolution equations in Banach spaces. The notes aim at an audience that feels more at ease in analysis than in probability theory. The main focus is on Prokhorov's theorem, which serves both as an important tool for future use and as an illustration of techniques that play a role in the theory. The field of measures on topological spaces has the luxury of several excellent textbooks. The main source that has been used to prepare these notes is the book by Parthasarathy [6]. A clear exposition is also available in one of Bour- baki's volumes [2] and in [9, Section 3.2]. The theory on the Prokhorov metric is taken from Billingsley [1]. The additional references for standard facts on general measure theory and general topology have been Halmos [4] and Kelley [5]. Contents 1 Borel sets 2 2 Borel probability measures 3 3 Weak convergence of measures 6 4 The Prokhorov metric 9 5 Prokhorov's theorem 13 6 Riesz representation theorem 18 7 Riesz representation for non-compact spaces 21 8 Integrable functions on metric spaces 24 9 More properties of the space of probability measures 26 1 The distribution of a random variable in a Banach space X will be a probability measure on X.
    [Show full text]