On Bounded Solutions to Convolution Equations

Total Page:16

File Type:pdf, Size:1020Kb

On Bounded Solutions to Convolution Equations PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 134, Number 11, November 2006, Pages 3275–3286 S 0002-9939(06)08608-4 Article electronically published on May 8, 2006 ON BOUNDED SOLUTIONS TO CONVOLUTION EQUATIONS ENRICO PRIOLA AND JERZY ZABCZYK (Communicated by Jonathan M. Borwein) Abstract. Periodicity of bounded solutions for convolution equations on a separable abelian metric group G is established, and related Liouville type the- orems are obtained. A non-constant Borel and bounded harmonic function is constructed for an arbitrary convolution semigroup on any infinite-dimensional separable Hilbert space, generalizing a classical result by Goodman (1973). 1. Introduction Let µ be a probability measure defined on the σ-algebra B(G) of Borel subsets of a separable abelian metric group G, with the group operation “+”. This group might be non-locally compact. This paper is concerned with convolution equations of the type (1.1) f ∗ µ(x):= f(x − y)µ(dy)=f(x),x∈ G, G where f : G → R is a Borel and bounded function, written f ∗ µ = f for short. Our aim is to investigate bounded Borel solutions f to (1.1). These functions are also called bounded µ-harmonic functions; see [6]. Special attention will be paid to the case when G is a real separable Hilbert space. Convolution equations arise naturally in several areas of pure and applied math- ematics such as harmonic analysis (see [6], [4] and [15]), the theory of Markovian semigroups (see [9], [1] and [11]), and the renewal theory (see [10]). Define the shift µh of the measure µ by the element h ∈ G, through the formula µh(A)=µ(A − h),A∈B(G). Consider the set Mµ ⊂ G of all elements h ∈ G such that measures µh are abso- lutely continuous with respect to µ. The set Mµ has been introduced in [12] and investigated, for instance, in [24], [23] and [2]. Our main result (see Theorem 2.5) shows that each Borel and bounded solution f to (1.1) is periodic with periods in Mµ i.e., (1.2) f(x + h)=f(x),x∈ G, h ∈ Mµ. Received by the editors May 25, 2005. 2000 Mathematics Subject Classification. Primary 43A55, 68B15, 47D07, 31C05. Key words and phrases. Convolution equations on groups, bounded harmonic functions, L´evy processes. The first author was partially supported by Italian National Project MURST “Equazioni di Kolmogorov” and by Contract No ICA1-CT-2000-70024 between European Community and the Stefan Banach International Mathematical Center in Warsaw. c 2006 American Mathematical Society 3275 License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 3276 ENRICO PRIOLA AND JERZY ZABCZYK The theorem holds in the more general setting of measurable abelian groups; see Remark 2.11. Moreover the set Mµ can be replaced by a larger set Eµ;see(2.1). The result seems particularly useful in infinite dimensions, when G is a separable Hilbert space H and there is no reference to any Haar measure. In Section 3.1 we consider an application to α−stable measures µ on H, α ∈ (0, 2]. A related equation, (1.3) ν ∗ µ = ν, on a locally compact group G, with unknown non-negative measure ν,wasthe subject of a classical paper [3] by Choquet and Deny. Under suitable assumptions on ν (see Section 2.3), they proved that ν is periodic with periods in the subgroup generated by the support Sµ of µ (i.e., Sµ is the smallest closed set of G on which µ is concentrated). Within the class of locally compact groups, this result and related Liouville theorems have been extended in several directions; see [6], [15], [4], [21] and the references therein. Even when G is locally compact, our result does not follow from [3]; see Remark 2.8. Moreover (1.2) does not hold if Mµ is replaced by Sµ. On the other hand, as a consequence of our main result, in Proposition 2.12 we obtain a version of the Choquet-Deny theorem concerning (1.3), which holds on metric groups (replacing the subgroup generated by Sµ with a smaller subgroup which contains Mµ). We also show in Theorem 2.9 that uniformly continuous and bounded solutions to (1.1) are periodic with periods in Sµ (see also Corollary 3.3.2 in [20]). Equation (1.1) and related Liouville type theorems on a separable Hilbert space H are considered in Section 3. Let (µt)t≥0 be a convolution semigroup of probability measures on H. A function f ∈ Bb(H) such that, for any t ≥ 0, (1.4) f ∗ µt(x)=f(x),x∈ H, is called a bounded harmonic function with respect to (µt). In Theorem 3.3 we prove that if the space H is infinite dimensional, then one can always construct a discontinuous non-constant solution f to (1.4). This result generalises a well-known example of Goodman [14], concerning the case when (µt) are Gaussian measures. The Goodman result shows clearly that (1.2) cannot hold if Mµ is replaced by Sµ. This was one motivation for us to investigate (1.1). Theorem 3.3 also implies that Markovian convolution semigroups associated to (µt) are never strong Feller in infinite dimensions; cf. [7]. 2. Convolution equations on metric groups Let G be a separable abelian metric group with group operation indicated by +; see [16] and [23]. For A, B ⊂ G,weset A + B = {x + y, x ∈ A, y ∈ B}, −A = {−x, x ∈ A}. Moreover Gr(A) denotes the smallest subgroup containing A,andA denotes the closure of A. The indicator function of a set F ⊂ G will be indicated by 1F . When G is complete, we call it an abelian Polish group. When G is a real separable Hilbert space, we denote it by H. The inner product of H is then ·, · and its norm is |·|. The probability measures on G we consider will always be Borel probability measures on the σ-algebra B(G). Let σ be a probability measure on G.The License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use ON BOUNDED SOLUTIONS TO CONVOLUTION EQUATIONS 3277 support of σ is denoted by Sσ; it is the smallest closed set in G which has measure 1 with respect to σ. Withσ ˜ we indicate its reflection measure with respect to 0 (see [22, Chapter 1]), i.e.σ ˜(A)=σ(−A) for any A ∈B(G). The probability measure σ is called symmetric if σ =˜σ, i.e. σ(A)=σ(−A),A∈B(G). For µ and ν probability measures on G,theconvolution measure µ ∗ ν is defined ∗ − ∈B by µ ν(A):= G µ(A x)ν(dx), A (G); see for instance [16] or [23]. Note that the operation ∗ is commutative and associative. We write µn = µ ∗···∗µ (n−times), n ∈ N (N denotes the set of all positive 0 integers). We also set µ = δ0,whereδ0 is the Dirac measure concentrated in 0. By Bb(G) we denote the Banach space of all real, Borel and bounded functions f : G → R, endowed with the supremum norm ·∞.Ifg ∈ Bb(G), we set g ∗ µ(x)= g(x − y)µ(dy),x∈ G. G 2.1. Admissible shifts. Let Ta, a ∈ G, be the translation operator, i.e. Ta(x)= x + a, x ∈ G, and denote by Ta ◦ µ the image of a probability measure µ under Ta, i.e. (Ta ◦ µ)(A)=µ(A − a), A ∈B(G). We also set (Ta ◦ µ)=µa. According to [12, page 449], a ∈ G is called an admissible shift for µ if Ta ◦ µ is absolutely continuous with respect to µ. Let us denote by Mµ the set of all admissible shifts. Note that 0 ∈ Mµ. Moreover it is known that Mµ is always a semigroup of G; see [12, page 450]. Since Mµ˜ = −Mµ,where˜µ is the reflection measure of µ (see [24]), we have that Mµ is a subgroup of G if µ is symmetric. If G is locally compact and µ is equivalent to the Haar measure of G,thenitis easy to show that Mµ = G. We introduce the set n (2.1) Eµ = Mµn ,µ= µ ∗···∗µ (n-times) n ∈ N. n≥0 We will need the following elementary result. Proposition 2.1. Let µ and ν be probability measures on G.Then (2.2) Mµ + Mν ⊂ Mµ∗ν . Moreover Eµ is a semigroup of G. Proof. Take any A ∈B(G) such that µ∗ν(A)=0anda ∈ Mµ, b ∈ Mν . It is enough to show that (µ ∗ ν)a+b(A)=0.Wehave (µ ∗ ν)a+b(A)= 1A(x + y)p(x)q(y)µ(dx)ν(dy), G G where p and q are the densities of µa and νb, respectively. For any N ∈ N,set p = N ∧ p and q = N ∧ q.Then N N 2 1A(x + y)pN (x)qN (y)µ(dx)ν(dy) ≤ N 1A(x + y)µ(dx)ν(dy)=0. G G G G Taking N →∞, we get the first assertion. This implies that Eµ is an increasing union of semigroups. The second assertion follows easily. The next example shows that the inclusion in (2.2) can be strict. License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 3278 ENRICO PRIOLA AND JERZY ZABCZYK n Example 2.2. There exists a probability measure µ on R such that Mµ =0and Rn Mµ2 = = Eµ. Define µ = k≥1 pkνk,whereνk are uniform distributions on the spheres cen- ∈ N ∈ N tered in 0, of radiuses k ,and k≥1 pk =1,pk > 0, k .
Recommended publications
  • 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]
  • (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]
  • 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]
  • Real Analysis II, Winter 2018
    Real Analysis II, Winter 2018 From the Finnish original “Moderni reaalianalyysi”1 by Ilkka Holopainen adapted by Tuomas Hytönen February 22, 2018 1Version dated September 14, 2011 Contents 1 General theory of measure and integration 2 1.1 Measures . 2 1.11 Metric outer measures . 4 1.20 Regularity of measures, Radon measures . 7 1.31 Uniqueness of measures . 9 1.36 Extension of measures . 11 1.45 Product measure . 14 1.52 Fubini’s theorem . 16 2 Hausdorff measures 21 2.1 Basic properties of Hausdorff measures . 21 2.12 Hausdorff dimension . 24 2.17 Hausdorff measures on Rn ...................... 25 3 Compactness and convergence of Radon measures 30 3.1 Riesz representation theorem . 30 3.13 Weak convergence of measures . 35 3.17 Compactness of measures . 36 4 On the Hausdorff dimension of fractals 39 4.1 Mass distribution and Frostman’s lemma . 39 4.16 Self-similar fractals . 43 5 Differentiation of measures 52 5.1 Besicovitch and Vitali covering theorems . 52 1 Chapter 1 General theory of measure and integration 1.1 Measures Let X be a set and P(X) = fA : A ⊂ Xg its power set. Definition 1.2. A collection M ⊂ P (X) is a σ-algebra of X if 1. ? 2 M; 2. A 2 M ) Ac = X n A 2 M; S1 3. Ai 2 M, i 2 N ) i=1 Ai 2 M. Example 1.3. 1. P(X) is the largest σ-algebra of X; 2. f?;Xg is the smallest σ-algebra of X; 3. Leb(Rn) = the Lebesgue measurable subsets of Rn; 4.
    [Show full text]
  • EXISTENCE of HAAR MEASURE Most of the Measure Theory We've Done in This Class Has Been Within Subsets of Rn, Even Though Measu
    EXISTENCE OF HAAR MEASURE ARUN DEBRAY NOVEMBER 19, 2015 Abstract. In this presentation, I will prove that every compact topological group has a unique left-invariant measure with total measure 1. This presentation is for UT’s real analysis prelim class. Most of the measure theory we’ve done in this class has been within subsets of Rn, even though measures are very general tools. Today, we will talk about a measure defined on a larger class of spaces, which generalizes the usual Lesbegue measure. I will define and prove its existence; Spencer will prove its uniqueness and provide some interesting examples; and Gill will talk about an application to harmonic analysis. Definition. A topological group is a topological space G with a group structure: an identity, an associative multiplication map, and an inverse map, such that multiplication G G G and inversion G G are both continuous. × ! ! There are many examples, including Rn under addition; all Lie groups; and all finite groups (with the discrete topology). Since a topological group G has a topology, we can talk about the σ-algebra of Borel sets on it, as usual generated by the open sets. But the group structure means we can also talk about left- and right-invariance: for every g G, we have continuous maps ` : G G and r : G G, sending x gx and x xg, respectively. 2 g ! g ! 7! 7! These should be read “left (resp. right) translation by g” (or “multiplication,” or “action”). Often, we want something to be invariant under these maps. Specifically, we say that a measure is left-invariant if µ(S) = µ(g S) for all g G, and define right-invariance similarly.
    [Show full text]
  • 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 .
    [Show full text]
  • Math 595: Geometric Measure Theory
    MATH 595: GEOMETRIC MEASURE THEORY FALL 2015 0. Introduction Geometric measure theory considers the structure of Borel sets and Borel measures in metric spaces. It lies at the border between differential geometry and topology, and services a variety of areas: partial differential equations and the calculus of variations, geometric function theory, number theory, etc. The emphasis is on sets with a fine, irregular structure which cannot be well described by the classical tools of geometric analysis. Mandelbrot introduced the term \fractal" to describe sets of this nature. Dynamical systems provide a rich source of examples: Julia sets for rational maps of one complex variable, limit sets of Kleinian groups, attractors of iterated function systems and nonlinear differential systems, and so on. In addition to its intrinsic interest, geometric measure theory has been a valuable tool for problems arising from real and complex analysis, harmonic analysis, PDE, and other fields. For instance, rectifiability criteria and metric curvature conditions played a key role in Tolsa's resolution of the longstanding Painlev´eproblem on removable sets for bounded analytic functions. Major topics within geometric measure theory which we will discuss include Hausdorff measure and dimension, density theorems, energy and capacity methods, almost sure di- mension distortion theorems, Sobolev spaces, tangent measures, and rectifiability. Rectifiable sets and measures provide a rich measure-theoretic generalization of smooth differential submanifolds and their volume measures. The theory of rectifiable sets can be viewed as an extension of differential geometry in which the basic machinery and tools of the subject (tangent spaces, differential operators, vector bundles) are replaced by approxi- mate, measure-theoretic analogs.
    [Show full text]
  • Products of Two Borel Measures by Roy A
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 269, Number 2, February 1982 PRODUCTS OF TWO BOREL MEASURES BY ROY A. JOHNSON Abstract. Let ¡j, and v be finite Borel measures on Hausdorff spaces X and Y, respectively, and suppose product measures ¡i X x v and p. X2 v are defined on the Borel sets of X X Y by integrating vertical and horizontal cross-section measure, respectively. Sufficient conditions are given so that ¡i x¡ v = p x2v and so that the usual product measure u X v can be extended to a Borel measure on X X Y by means of completion. Examples are given to illustrate these ideas. Throughout this paper p and v will be finite Borel measures on Hausdorff spaces A and Y, respectively. That is, p and v will be countably additive, nonnegative real-valued measures on "35(A) and %(Y), where ÇÔ(A) and %(Y) are the Borel sets of A and Y, respectively. Sometimes p will be regular, which is to say that it is inner regular with respect to the compact sets. At times v will be two-valued, which means that its range consists of the two values 0 and 1. If »»can be expressed as the sum of a countable collection of multiples of two-valued Borel measures, then v is purely atomic. A (not necessarily regular) Borel measure p will be called r-additive if p(C\ Fa) = inf p(Fa) whenever {Fa} is a decreasing family of closed sets [4, p. 96]. Equiva- lently, p is r-additive if p( U Va) = sup p( Va) for each increasingly directed family { Va} of open sets.
    [Show full text]
  • Math 541 Lecture #23 II.15: More on Borel Measures, Part II §15.1
    Math 541 Lecture #23 II.15: More on Borel Measures, Part II x15.1: Some Extensions to general Borel Measures. The approximation with closed sets contained in a Borel set E continues to hold for Borel measures that are not necessarily finite, provided µ(E) < 1. Proposition 15.3. Let µ be a Borel measure in RN and let E be a Borel set of finite measure. For every > 0 there exists a closed set Ec, such that Ec, ⊂ E and µ(E − Ec,) ≤ . Proof. Let A be the σ-algebra on which µ is defined. For a fixed Borel set E of finite measure, define µE(A) = µ(E \ A);A 2 A: This set function on A is a measure because µE(A) = µ(E \ A) ≥ 0 for all A 2 A, for a countable collection of pairwise disjoint fAng in A there holds [ µE([An) = µ E \ An [ = µ (E \ An) X = µ(E \ An) X = µE(An); and µE(;) = µ(E \;) = 0 is finite. The measure µE is a finite Borel measure because µE(X) = µ(E) < 1 and the domain of µE is A which contains the Borel sets. Thus by Proposition 15.1 part (1) for each > 0 there is a closed set Ec, such that Ec, ⊂ E and µE(E − Ec,) ≤ . Since E \ (E − Ec,) = E − Ec,, we have by the definition of µE that µ(E − Ec,) = µ(E \ (E − Ec,)) = µE(E − Ec,) ≤ , giving the result. Unfortunately, extending the existence of an open set Eo, such that E ⊂ Eo, and µ(Eo, − E) ≤ to Borel sets E of finite measure fails, as the counting measure example illustrates.
    [Show full text]
  • NOTES on MEASURE THEORY and the LEBESGUE INTEGRAL MAA5229, SPRING 2015 1. Σ-Algebras Let X Be a Set, and Let 2 X Denote The
    NOTES ON MEASURE THEORY AND THE LEBESGUE INTEGRAL MAA5229, SPRING 2015 1. σ-algebras Let X be a set, and let 2X denote the set of all subsets of X. Let Ec denote the complement of E in X, and for E; F ⊂ X, write E n F = E \ F c. Let E∆F denote the symmetric difference of E and F : E∆F := (E n F ) [ (F n E) = (E [ F ) n (E \ F ): Definition 1.1. Let X be a set. A Boolean algebra is a nonempty collection A ⊂ 2X which is closed under finite unions and complements. A σ-algebra is a Boolean algebra which is also closed under countable unions. If M ⊂ N ⊂ 2X are σ-algebras, then M is coarser than N ; likewise N is finer than M . / Remark 1.2. If Eα is any collection of sets in X, then !c [ c \ Eα = Eα: (1) α α Hence a Boolean algebra (resp. σ-algebra) is automatically closed under finite (resp. countable) intersections. It follows that a Boolean algebra (and a σ-algebra) on X always contains ? and X. (Proof: X = E [ Ec and ? = E \ Ec.) Definition 1.3. A measurable space is a pair (X; M ) where M ⊂ 2X is a σ-algebra. A function f : X ! Y from one measurable spaces (X; M ) to another (Y; N ) is called measurable if f −1(E) 2 M whenever E 2 N . / Definition 1.4. A topological space X = (X; τ) consists of a set X and a subset τ of 2X such that (i) ;;X 2 τ; (ii) τ is closed under finite intersections; (iii) τ is closed under arbitrary unions.
    [Show full text]
  • Lecture 4: Normalized Functions of Bounded Variation; Regular Borel Measures; the Riesz–Markov–Kakutani Theorem;
    Functional analysis Lecture 4: Normalized functions of bounded variation; regular Borel measures; the Riesz{Markov{Kakutani theorem; Remark 3.10. Assume that the functional Λ above is positive (i.e. Λf ≥ 0 for f ≥ 0). We observe that the extension Λe is also positive and hence the constructed function f is then monotone increasing. Indeed, suppose that there is g 2 `1[0; 1] with g(t) ≥ 0 for each t 2 [0; 1] but Λeg < 0. By normalizing, we can assume that kgk1 = 1, thus 0 ≤ g(t) ≤ 1 for each t 2 [0; 1]. Let 1 be the constant 1 function. As Λ is positive and linear, it is monotone (i.e. Λg ≤ Λh if g ≤ h), and hence Λ1 = kΛk. We have k1 − gk1 ≤ 1 and Λ(e 1 − g) = Λ1 − Λeg = kΛk − Λeg > kΛk = kΛek; which gives a contradicition. Therefore, positive continuous functionals on C[a; b] correspond to increasing func- tions on [a; b], while general continuous functionals correspond to functions of bounded variation. Remark 3.11. Since every f 2 BV([a; b]) is the difference of two increasing functions, we see that every Λ 2 (C[a; b])∗ can be written as Λ = Λ+ − Λ−; where Λ+; Λ− are positive. (3.1) The conclusion of Remark 3.11 can be justified without appealing to Riesz' Theo- rem 3.9. To this end, let us use a more general language which will be also useful in the sequel. By an ordered vector space we mean any vector space E over R equipped with a partial order relation ≥ compatible with the algebraic operations in the sense that x ≥ y implies x + z ≥ y + z for all x; y; z 2 E and x ≥ y implies λx ≥ λy for all x; y 2 E, λ ≥ 0.
    [Show full text]
  • Another Riesz Representation Theorem
    Another Riesz Representation Theorem In these notes we prove (one version of) a theorem known as the Riesz Representation Theorem. Some people also call it the Riesz–Markov Theorem. It expresses positive linear functionals on C(X) as integrals over X. For simplicity, we will here only consider the case that X is a compact metric space. We denote the metric d(x,y). For more general versions of the theorem see ◦ Gerald B. Folland, Real Analysis – Modern Techniques and Their Applications, Wiley, theorems 7.2 and 7.17. ◦ Michael Reed and Barry Simon, Functional Analysis (Methods of modern mathemat- ical physics, volume 1), Academic Press, theorems IV.14 and IV.18. ◦ H. L. Royden, Real Analysis, Macmillan, chapter 13, sections 4 and 5. ◦ Walter Rudin, Real and Complex Analysis, McGraw–Hill, theorem 2.14. The background definitions that we need are Definition 1 C(X) is the Banach space of continuous functions on X with the norm kϕkC(X) = supx∈X |ϕ(x)|. Definition 2 A map ℓ : C(X) → C is a positive linear functional if (a) ℓ(αϕ + βψ) = αℓ(ϕ) + βℓ(ψ) for all α, β ∈ C and all ϕ, ψ ∈ C(X) and (b) ℓ(ϕ) ≥ 0 for all ϕ ∈ C(X) that obey ϕ(x) ≥ 0 for all x ∈ X. Problem 1 Let ℓ : C(X) → C be a positive linear functional. Prove that ℓ(ϕ) ≤ ℓ(1) kϕkC(X) for all ϕ ∈ C(X). Here 1 is of course the function on X that always takes the value 1. Definition 3 (a) The set, BX , of Borel subsets of X is the smallest σ–algebra that contains all open subsets of X.
    [Show full text]