Vector measures of bounded γ-variation and stochastic integrals
|
|
- Calvin Noel Nelson
- 5 years ago
- Views:
Transcription
1 Vector measures of bounded γ-variation and stochastic integrals Jan van Neerven and Lutz Weis bstract. We introduce the class of vector measures of bounded γ-variation and study its relationship with vector-valued stochastic integrals with respect to Brownian motions. Mathematics ubject Classification 000). 46G10, 60H05. Keywords. Vector measures, bounded randomised variation, stochastic integration. 1. Introduction It is well known that stochastic integrals can be interpreted as vector measures, the identification being given by the identity F) = φdb. Here, the driving process B is a semi)martingale for instance, a Brownian motion), and φ is a stochastic process satisfying suitable measurability and integrability conditions. This observation has been used by various authors as the starting point of a theory of stochastic integration for vector-valued processes. Let X be a Banach space. In [5] we characterized the class of functions φ : 0, 1) X which are stochastically integrable with respect to a Brownian motion W t ) t [0,1] as being the class of functions for which the operator T φ : L 0, 1) X, T φ f := 1 0 ft)φt) dt, The first named author is supported by VICI subsidy of the Netherlands Organisation for cientific Research NWO).
2 Jan van Neerven and Lutz Weis belongs to the operator ideal γl 0, 1), X) of all γ-radonifying operators. Indeed, we established the Itô isomorphism 1 f dw = T f γl 0,1),X). 0 The linear subspace of all operators in γl 0, 1), X) of the form T = T f for some function f : 0, 1) X is dense, but unless X has cotype it is strictly smaller than γl 0, 1), X). This means that in general there are operators T γl 0, 1), X) which are not representable by an X-valued function. ince the space of test functions D0, 1) embeds in L 0, 1), by restriction one could still think of such operators as X-valued distributions. It may be more intuitive, however, to think of T as an X-valued vector measure. We shall prove see Theorem.3 and the subsequent remark) that if X does not contain a closed subspace isomorphic to c 0, then the space γl 0, 1), X) is isometrically isomorphic in a natural way to the space of X-valued vector measures on 0, 1) which are of bounded γ-variation. This gives a measure theoretic description of the class of admissible integrands for stochastic integrals with respect to Brownian motions. The condition c 0 X can be removed if we replace the space of γ-radonifying operators by the larger space of all γ-summing operators which contains the space of all γ-radonifying operators isometrically as a closed subspace). Vector measures of bounded γ-variation behave quite differently from vector measures of bounded variation. For instance, the question whether an X-valued vector measure of bounded γ-variation can be represented by an X-valued function is not linked to the Radon-Nikodým property, but rather to the type and cotype properties of X see Corollaries.5 and.6). In section 3 we consider yet another class of vector measures whose variation is given by certain random sums, and we show that a function φ : 0, 1) X is stochastically integrable with respect to a Brownian motion W t ) t [0,1] on a probability space Ω, P) if and only if the formula F) := φdw defines an L Ω; X)-valued vector measure F in this class.. Vector measures of bounded γ-variation Let, Σ) be a measurable space, X a Banach space, and γ n ) n 1 a sequence of independent standard Gaussian random variables defined on a probability space Ω, F, P). Definition.1. We say that a countably additive vector measure F has bounded γ-variation with respect to a probability measure µ on, Σ) if F Vγµ;X) <, where F n ) F Vγµ;X) := sup γ n )1, µn ) the supremum being taken over all finite collections of disjoint sets 1,..., N Σ such that µ n ) > 0 for all n = 1,...,N.
3 Vector measures of bounded γ-variation 3 It is routine to check e.g. by an argument similar to [4, Proposition 5.]) that the space V γ µ; X) of all countably additive vector measures F : Σ X which have bounded γ-variation with respect to µ is a Banach space with respect to the norm Vγµ;X). Furthermore, every vector measure which is of bounded γ-variation is of bounded -semivariation. In order to give a necessary and sufficient condition for a vector measure to have bounded γ-variation we need to introduce the following terminology. bounded operator T : H X, where H is a Hilbert space, is said to be γ- summing if there exists a constant C such that for all finite orthonormal systems {h 1,..., h N } in H one has γ n Th n C. The least constant C for which this holds is called the γ-summing norm of T, notation T γ H,X). With respect to this norm, the space γ H, X) of all γ- summing operators from H to X is a Banach space which contains all finite rank operators from H to X. In what follows we shall make free use of the elementary properties of γ-summing operators. For a systematic exposition of these we refer to [, Chapter 1] and the lecture notes [4]. Theorem.. Let be an algebra of subsets of which generates the σ-algebra Σ, and let F : X be a finitely additive mapping. If, for some 1 p <, T : L p µ) X is a bounded operator such that F) = T1,, then F has a unique extension to a countably additive vector measure on Σ which is absolutely continuous with respect to µ. If T : L µ) X is γ-summing, then the extension of F has bounded γ-variation with respect to µ and we have F Vγµ;X) T γ L µ),x). Proof. We define the extension F : Σ X by F) := T1, Σ. To see that F is countably additive, consider a disjoint union = n 1 n with n, Σ. Then lim N 1 = 1 N n in L p µ) and therefore lim F n ) = lim T N 1 n = T1 = F). N N The absolute continuity of F is clear. To prove uniqueness, suppose F : Σ X is another countably additive vector measure extending F. For each x X, F, x and F, x are finite measures on Σ which agree on, and therefore by Dynkin s lemma they agree on all of Σ. This being true for all x X, it follows that F = F by the Hahn-Banach theorem. uppose next that T : L µ) X is γ-summing, and consider a finite collection of disjoint sets 1,..., N in Σ such that µ n ) > 0 for all n = 1,...,N.
4 4 Jan van Neerven and Lutz Weis The functions f n = 1 n / µ n ) are orthonormal in L µ) and therefore F n ) γ n = γ n Tf n T γ L µn ) µ),x). It follows that F has bounded γ-variation with respect to µ and that F Vγµ;X) T γ L µ),x). Theorem.3. For a countably additive vector measure F : Σ X the following assertions are equivalent: 1) F has bounded γ-variation with respect to µ; ) There exists a γ-summing operator T : L µ) X such that In this situation we have F) = T1, Σ. F Vγµ;X) = T γ L µ),x). Proof. 1) ): uppose that F has bounded γ-variation with respect to µ. For a simple function f = N c n1 n, where the sets n Σ are disjoint and of positive µ-measure, define Tf := c n F n ). By the Cauchy-chwarz inequality, for all x X we have Tf, x F n ), x = E γ m c m µm ) γ n µn ) m=1 E γ n c n µn ) N c n µ n ) ) 1 F n ), x E γ n ) 1 µn ) )1 = f L µ) F Vγµ;X) x. F Vγµ;X) x It follows that T is bounded and T LL µ),x) F Vγµ;X). To prove that T is γ-summing we shall first make the simplifying assumption that the σ-algebra Σ is countably generated. Under this assumption there exists an increasing sequence of finite σ-algebras Σ n ) n 1 such that Σ = n 1 Σ n. Let P n be the orthogonal projection in L µ) onto L Σ n, µ) and put T n := T P n. These operators are of finite rank and we have lim n T n T in the strong operator topology of L L µ), X). Fix an index n 1 for the moment. ince Σ n is finitely generated there exists a partition = N j, where the disjoint sets 1,..., N generate Σ n. ssuming that µ j ) > 0 for all j = 1,...,M and µ j ) = 0 for j = M +1,...,N,
5 Vector measures of bounded γ-variation 5 the functions g j = 1 j / µ j ), j = 1,...,M, form an orthonormal basis for L Σ n, µ) and T n γ L µ),x) = T n γ L Σ n,µ),x) M M F j ) = γ j Tg j = E γ j F V µn ), γµ;x) the first identity being a consequence of [4, Corollary 5.5] and the second of [4, Lemma 5.7]. It follows that the sequence T n ) n 1 is bounded in γ L µ), X). By the Fatou lemma, if {f 1,..., f k } is any orthonormal family in L µ), then k k γ j Tf j liminf E γ j T n f j Tn n γ L µ),x) F V. γµ;x) This proves that T is γ-summing and T γ L µ),x) F Vγµ;X). It remains to remove the assumption that Σ is countably generated. The preceding argument shows that if we define T in the above way, then its restriction to L Σ, µ) is γ-summing for every countably generated σ-algebra Σ Σ, with a uniform bound T γ L Σ,µ),X) F Vγµ;X). ince every finite orthonormal family {f 1,...,f k } in L µ) is contained in L Σ, µ) for some countably generated σ-algebra Σ Σ, we see that k γ j Tf j T γ L Σ,µ),X) F V. γµ;x) It follows that T is γ-summing and T γ L µ),x) F Vγµ;X). ) 1): This implication is contained in Theorem.. By a theorem of Hoffmann-Jørgensen and Kwapień [3, Theorem 9.9], if X is a Banach space not containing an isomorphic copy of c 0, then for any Hilbert space H one has γ H, X) = γh, X), where by definition γh, X) denotes the closure in γ H, X) of the finite rank operators from H to X. ince any operator in this closure is compact we obtain: Corollary.4. If X does not contain an isomorphic copy of c 0 and F : Σ X has bounded γ-variation with respect to µ, then F has relatively compact range. Using the terminology of [5], a theorem of Rosiński and uchanecki [6] asserts that if X has type we have a continuous inclusion L µ; X) γl µ), X) and that if X has cotype we have a continuous inclusion γ L µ), X) L µ; X). In both cases the embedding is contractive, and the relation between the operator T and the representing function φ is given by Tf = fφdµ, f L µ).
6 6 Jan van Neerven and Lutz Weis If diml µ) =, then in the converse direction the existence of a continuous embedding L µ; X) γ L µ), X) respectively γl µ), X) L µ; X)) actually implies the type property respectively the cotype property) of X. Corollary.5. Let X have type. For all φ L µ; X) the formula F) := φdµ, Σ, defines a countably additive vector measure F : Σ X which has bounded γ- variation with respect to µ. Moreover, F Vγµ;X) φ L µ;x). If diml µ) =, this property characterises the type property of X. Proof. By the theorem of Rosiński and uchanecki, φ represents an operator T γl µ), X) such that T1 = φdµ = F) for all Σ. The result now follows from Theorem.. The converse direction follows from Theorem.3 and the preceding remarks. Corollary.6. Let X have cotype. If F : Σ X has bounded γ-variation with respect to µ, there exists a function φ L µ; X) such that F) = φdµ, Σ. Moreover, φ L µ;x) F Vγµ;X). If diml µ) =, this property characterises the cotype property of X. Proof. By Theorem.3 there exists an operator T γ L µ), X) such that F) = T1 for all Σ. ince X has cotype, X does not contain an isomorphic copy of c 0 and therefore the theorem of Hoffmann-Jørgensen and Kwapień implies that T γl µ), X). Now the theorem of Rosiński and uchanecki shows that T is represented by a function φ L µ; X). The converse direction follows from Theorem. and the remarks preceding Corollary Vector measures of bounded randomised variation Let, Σ) be a measurable space and r n ) n 1 a Rademacher sequence, i.e., a sequence of independent random variables with Pr n = ±1) = 1. Definition 3.1. countably additive vector measure F : Σ X is of bounded randomised variation if F V r µ;x) <, where F V r µ;x) = sup r n F n ) ) 1, the supremum being taken over all finite collections of disjoint sets 1,..., N Σ.
7 Vector measures of bounded γ-variation 7 Clearly, if F is of bounded variation, then F is of bounded randomised variation. The converse fails; see Example 1. If X has finite cotype, standard comparison results for Banach space-valued random sums [, 3] imply that an equivalent norm is obtained when the Rademacher variables are replaced by Gaussian variables. It is routine to check that the space V r µ; X) of all countably additive vector measures F : Σ X of bounded randomised variation is a Banach space with respect to the norm V r µ;x). In Theorem 3. below we establish a connection between measures of bounded randomised variation and the theory of stochastic integration. For this purpose we need the following terminology. Brownian motion on Ω, F, P) indexed by another probability space, Σ, µ) is a mapping W : Σ L Ω) such that: i) For all Σ the random variable W) is centred Gaussian with variance EW)) = µ); ii) For all disjoint, B Σ the random variables W) and WB) are independent. strongly µ-measurable function φ : X is stochastically integrable with respect to W if for all x X we have φ, x L µ) i.e, f belongs to L µ) scalarly) and for all Σ there exists a strongly measurable random variable Y : Ω X such that for all x X we have Y, x = φ, x dw almost surely. Note that each Y is centred Gaussian and therefore belongs to L Ω; X) by Fernique s theorem; the above equality then holds in the sense of L Ω). We define the stochastic integral of φ over by φdw := Y. For more details and various equivalent definitions we refer to [5]. Theorem 3.. Let W : Σ L Ω) be a Brownian motion. For a strongly µ- measurable function φ : X the following assertions are equivalent: 1) φ is stochastically integrable with respect to W; ) φ belongs to L µ) scalarly and there exists a countably additive vector measure F : Σ X, of bounded γ-variation with respect to µ, such that for all x X we have F), x = φ, x dµ, Σ; 3) φ belongs to L µ) scalarly and there exists a countably additive vector measure G : Σ L Ω; X) of bounded randomised variation such that for all x X we have G), x = φ, x dw, Σ.
8 8 Jan van Neerven and Lutz Weis In this situation we have F Vγµ;X) = G V r µ;l Ω;X)) = φdw )1 Proof. 1) ): This equivalence is immediate from Theorem.3 and the fact, proven in [5], that φ is stochastically integrable with respect to W if and only there exists an operator T γl µ), X) such that Tf = fφdµ, f L µ). In this case we also have T γl µ),x) = φdw )1 In view of Theorem.3, this proves the identity F Vγµ;X) = φdw ) 1. 1) 3): Define G : Σ L Ω; X) by G) := φdw, Σ. By the γ-dominated convergence theorem [5], G is countably additive. To prove that G is of bounded randomised variation we consider disjoint sets 1,..., N Σ. If r n ) n 1 is a Rademacher sequence on a probability space Ω, F, P), then by randomisation we have Ẽ r n G n ) = ẼE N r n φdw L Ω;X) n. = φdw n. φdw, with equality if N n =. In the second identity we used that the X-valued random variables n φdw are independent and symmetric. The final inequality follows by, e.g., covariance domination [5] or an application of the contraction principle. It follows that G is a countably additive vector measure of bounded randomised variation and G V r µ;x) = φdw. )1 3) 1): This is immediate from the definition of stochastic integrability. Example 1. If W is a standard Brownian motion on Ω, F, P) indexed by the Borel interval [0, 1], B, m), then W is a countably additive vector measure with values in L Ω) which is of bounded randomised variation, but of unbounded variation. The first claim follows from Theorem 3. since W) = 1 dw for all
9 Vector measures of bounded γ-variation 9 Borel sets. To see that W is of unbounded variation, note that for any partition 0 = t 0 < t 1 < < t N 1 < t N = 1 we have Wt n 1, t n )) L Ω) = tn t n 1. The supremum over all possible partitions of [0, 1] is unbounded. References [1] J. Diestel and J.J. Uhl, Vector measures. Mathematical urveys, Vol. 15, mer. Math. oc., Providence 1977). [] J. Diestel, H. Jarchow and. Tonge, bsolutely summing operators. Cambridge tudies in dv. Math., Vol. 34, Cambridge, [3] M. Ledoux and M. Talagrand, Probability in Banach spaces. Ergebnisse d. Math. u. ihre Grenzgebiete, Vol. 3, pringer-verlag, [4] J.M..M. van Neerven, tochastic evolution equations. Lecture notes of the 11th International Internet eminar, TU Delft, downloadable at [5] J.M..M. van Neerven and L. Weis, tochastic integration of functions with values in a Banach space. tudia Math ), [6] J. Rosiński and Z. uchanecki, On the space of vector-valued functions integrable with respect to the white noise. Colloq. Math ), Jan van Neerven Delft University of Technology Delft Institute of pplied Mathematics P.O. Box 5031, 600 G Delft The Netherlands J.M..M.vanNeerven@TUDelft.nl Lutz Weis University of Karlsruhe Mathematisches Institut I D-7618 Karlsruhe Germany Lutz.Weis@math.uni-karlsruhe.de
arxiv:math/ v2 [math.pr] 13 Aug 2007
The Annals of Probability 27, Vol. 35, No. 4, 1438 1478 DOI: 1.1214/91179616 c Institute of Mathematical Statistics, 27 arxiv:math/61619v2 [math.pr] 13 Aug 27 STOCHASTIC INTEGRATION IN UMD BANACH SPACES
More informationIf Y and Y 0 satisfy (1-2), then Y = Y 0 a.s.
20 6. CONDITIONAL EXPECTATION Having discussed at length the limit theory for sums of independent random variables we will now move on to deal with dependent random variables. An important tool in this
More information5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing.
5 Measure theory II 1. Charges (signed measures). Let (Ω, A) be a σ -algebra. A map φ: A R is called a charge, (or signed measure or σ -additive set function) if φ = φ(a j ) (5.1) A j for any disjoint
More informationMATHS 730 FC Lecture Notes March 5, Introduction
1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists
More informationConvergence of Banach valued stochastic processes of Pettis and McShane integrable functions
Convergence of Banach valued stochastic processes of Pettis and McShane integrable functions V. Marraffa Department of Mathematics, Via rchirafi 34, 90123 Palermo, Italy bstract It is shown that if (X
More information6. Duals of L p spaces
6 Duals of L p spaces This section deals with the problem if identifying the duals of L p spaces, p [1, ) There are essentially two cases of this problem: (i) p = 1; (ii) 1 < p < The major difference between
More informationExamples of Dual Spaces from Measure Theory
Chapter 9 Examples of Dual Spaces from Measure Theory We have seen that L (, A, µ) is a Banach space for any measure space (, A, µ). We will extend that concept in the following section to identify an
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More information4 Hilbert spaces. The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan
The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan Wir müssen wissen, wir werden wissen. David Hilbert We now continue to study a special class of Banach spaces,
More informationA note on the σ-algebra of cylinder sets and all that
A note on the σ-algebra of cylinder sets and all that José Luis Silva CCM, Univ. da Madeira, P-9000 Funchal Madeira BiBoS, Univ. of Bielefeld, Germany (luis@dragoeiro.uma.pt) September 1999 Abstract In
More informationThe Rademacher Cotype of Operators from l N
The Rademacher Cotype of Operators from l N SJ Montgomery-Smith Department of Mathematics, University of Missouri, Columbia, MO 65 M Talagrand Department of Mathematics, The Ohio State University, 3 W
More informationHILBERT SPACES AND THE RADON-NIKODYM THEOREM. where the bar in the first equation denotes complex conjugation. In either case, for any x V define
HILBERT SPACES AND THE RADON-NIKODYM THEOREM STEVEN P. LALLEY 1. DEFINITIONS Definition 1. A real inner product space is a real vector space V together with a symmetric, bilinear, positive-definite mapping,
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationMAT 578 FUNCTIONAL ANALYSIS EXERCISES
MAT 578 FUNCTIONAL ANALYSIS EXERCISES JOHN QUIGG Exercise 1. Prove that if A is bounded in a topological vector space, then for every neighborhood V of 0 there exists c > 0 such that tv A for all t > c.
More informationRecall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm
Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify
More information3 Integration and Expectation
3 Integration and Expectation 3.1 Construction of the Lebesgue Integral Let (, F, µ) be a measure space (not necessarily a probability space). Our objective will be to define the Lebesgue integral R fdµ
More informationMATH MEASURE THEORY AND FOURIER ANALYSIS. Contents
MATH 3969 - MEASURE THEORY AND FOURIER ANALYSIS ANDREW TULLOCH Contents 1. Measure Theory 2 1.1. Properties of Measures 3 1.2. Constructing σ-algebras and measures 3 1.3. Properties of the Lebesgue measure
More informationFunctional Analysis HW #1
Functional Analysis HW #1 Sangchul Lee October 9, 2015 1 Solutions Solution of #1.1. Suppose that X
More informationBoundedly complete weak-cauchy basic sequences in Banach spaces with the PCP
Journal of Functional Analysis 253 (2007) 772 781 www.elsevier.com/locate/jfa Note Boundedly complete weak-cauchy basic sequences in Banach spaces with the PCP Haskell Rosenthal Department of Mathematics,
More informationAnalysis Comprehensive Exam Questions Fall 2008
Analysis Comprehensive xam Questions Fall 28. (a) Let R be measurable with finite Lebesgue measure. Suppose that {f n } n N is a bounded sequence in L 2 () and there exists a function f such that f n (x)
More informationELEMENTS OF PROBABILITY THEORY
ELEMENTS OF PROBABILITY THEORY Elements of Probability Theory A collection of subsets of a set Ω is called a σ algebra if it contains Ω and is closed under the operations of taking complements and countable
More informationA Concise Course on Stochastic Partial Differential Equations
A Concise Course on Stochastic Partial Differential Equations Michael Röckner Reference: C. Prevot, M. Röckner: Springer LN in Math. 1905, Berlin (2007) And see the references therein for the original
More informationPROBLEMS. (b) (Polarization Identity) Show that in any inner product space
1 Professor Carl Cowen Math 54600 Fall 09 PROBLEMS 1. (Geometry in Inner Product Spaces) (a) (Parallelogram Law) Show that in any inner product space x + y 2 + x y 2 = 2( x 2 + y 2 ). (b) (Polarization
More informationRecall that any inner product space V has an associated norm defined by
Hilbert Spaces Recall that any inner product space V has an associated norm defined by v = v v. Thus an inner product space can be viewed as a special kind of normed vector space. In particular every inner
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationLebesgue Integration: A non-rigorous introduction. What is wrong with Riemann integration?
Lebesgue Integration: A non-rigorous introduction What is wrong with Riemann integration? xample. Let f(x) = { 0 for x Q 1 for x / Q. The upper integral is 1, while the lower integral is 0. Yet, the function
More informationChapter IV Integration Theory
Chapter IV Integration Theory This chapter is devoted to the developement of integration theory. The main motivation is to extend the Riemann integral calculus to larger types of functions, thus leading
More informationReal Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis
Real Analysis, 2nd Edition, G.B.Folland Chapter 5 Elements of Functional Analysis Yung-Hsiang Huang 5.1 Normed Vector Spaces 1. Note for any x, y X and a, b K, x+y x + y and by ax b y x + b a x. 2. It
More information9 Brownian Motion: Construction
9 Brownian Motion: Construction 9.1 Definition and Heuristics The central limit theorem states that the standard Gaussian distribution arises as the weak limit of the rescaled partial sums S n / p n of
More informationREAL AND COMPLEX ANALYSIS
REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any
More information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationStochastic integration II: the Itô integral
13 Stochastic integration II: the Itô integral We have seen in Lecture 6 how to integrate functions Φ : (, ) L (H, E) with resect to an H-cylindrical Brownian motion W H. In this lecture we address the
More informationBanach Spaces II: Elementary Banach Space Theory
BS II c Gabriel Nagy Banach Spaces II: Elementary Banach Space Theory Notes from the Functional Analysis Course (Fall 07 - Spring 08) In this section we introduce Banach spaces and examine some of their
More informationMeasurable functions are approximately nice, even if look terrible.
Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............
More informationJAN VAN NEERVEN, MARK VERAAR, AND LUTZ WEIS
MAXIMAL γ-regularity JAN VAN NEERVEN, MARK VERAAR, AND LUTZ WEIS Abstract. In this paper we prove maximal regularity estimates in square function spaces which are commonly used in harmonic analysis, spectral
More informationFunctional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32
Functional Analysis Martin Brokate Contents 1 Normed Spaces 2 2 Hilbert Spaces 2 3 The Principle of Uniform Boundedness 32 4 Extension, Reflexivity, Separation 37 5 Compact subsets of C and L p 46 6 Weak
More informationNormed Vector Spaces and Double Duals
Normed Vector Spaces and Double Duals Mathematics 481/525 In this note we look at a number of infinite-dimensional R-vector spaces that arise in analysis, and we consider their dual and double dual spaces
More informationDudley s representation theorem in infinite dimensions and weak characterizations of stochastic integrability
Dudley s representation theorem in infinite dimensions and weak characterizations of stochastic integrability Mark Veraar Delft University of Technology London, March 31th, 214 Joint work with Martin Ondreját
More informationAn introduction to some aspects of functional analysis
An introduction to some aspects of functional analysis Stephen Semmes Rice University Abstract These informal notes deal with some very basic objects in functional analysis, including norms and seminorms
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More informationChapter 4. The dominated convergence theorem and applications
Chapter 4. The dominated convergence theorem and applications The Monotone Covergence theorem is one of a number of key theorems alllowing one to exchange limits and [Lebesgue] integrals (or derivatives
More informationarxiv: v1 [math.pr] 1 May 2014
Submitted to the Brazilian Journal of Probability and Statistics A note on space-time Hölder regularity of mild solutions to stochastic Cauchy problems in L p -spaces arxiv:145.75v1 [math.pr] 1 May 214
More information08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms
(February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops
More informationTHE PETTIS INTEGRAL FOR MULTI-VALUED FUNCTIONS VIA SINGLE-VALUED ONES
THE PETTIS INTEGRAL FOR MULTI-VALUED FUNCTIONS VIA SINGLE-VALUED ONES B. CASCALES, V. KADETS, AND J. RODRÍGUEZ ABSTRACT. We study the Pettis integral for multi-functions F : Ω cwk(x) defined on a complete
More informationUNCONDITIONALLY CONVERGENT SERIES OF OPERATORS AND NARROW OPERATORS ON L 1
UNCONDITIONALLY CONVERGENT SERIES OF OPERATORS AND NARROW OPERATORS ON L 1 VLADIMIR KADETS, NIGEL KALTON AND DIRK WERNER Abstract. We introduce a class of operators on L 1 that is stable under taking sums
More informationChapter 3: Baire category and open mapping theorems
MA3421 2016 17 Chapter 3: Baire category and open mapping theorems A number of the major results rely on completeness via the Baire category theorem. 3.1 The Baire category theorem 3.1.1 Definition. A
More informationON WEAK INTEGRABILITY AND BOUNDEDNESS IN BANACH SPACES
ON WEAK INTEGRABILITY AND BOUNDEDNESS IN BANACH SPACES TROND A. ABRAHAMSEN, OLAV NYGAARD, AND MÄRT PÕLDVERE Abstract. Thin and thick sets in normed spaces were defined and studied by M. I. Kadets and V.
More informationProduct measures, Tonelli s and Fubini s theorems For use in MAT4410, autumn 2017 Nadia S. Larsen. 17 November 2017.
Product measures, Tonelli s and Fubini s theorems For use in MAT4410, autumn 017 Nadia S. Larsen 17 November 017. 1. Construction of the product measure The purpose of these notes is to prove the main
More informationBrownian Motion and Conditional Probability
Math 561: Theory of Probability (Spring 2018) Week 10 Brownian Motion and Conditional Probability 10.1 Standard Brownian Motion (SBM) Brownian motion is a stochastic process with both practical and theoretical
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets
FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES CHRISTOPHER HEIL 1. Compact Sets Definition 1.1 (Compact and Totally Bounded Sets). Let X be a metric space, and let E X be
More informationGENERALIZED COVARIATION FOR BANACH SPACE VALUED PROCESSES, ITÔ FORMULA AND APPLICATIONS
Di Girolami, C. and Russo, F. Osaka J. Math. 51 (214), 729 783 GENERALIZED COVARIATION FOR BANACH SPACE VALUED PROCESSES, ITÔ FORMULA AND APPLICATIONS CRISTINA DI GIROLAMI and FRANCESCO RUSSO (Received
More informationSOME BANACH SPACE GEOMETRY
SOME BANACH SPACE GEOMETRY SVANTE JANSON 1. Introduction I have collected some standard facts about Banach spaces from various sources, see the references below for further results. Proofs are only given
More information1 Inner Product Space
Ch - Hilbert Space 1 4 Hilbert Space 1 Inner Product Space Let E be a complex vector space, a mapping (, ) : E E C is called an inner product on E if i) (x, x) 0 x E and (x, x) = 0 if and only if x = 0;
More informationTHE RADON NIKODYM PROPERTY AND LIPSCHITZ EMBEDDINGS
THE RADON NIKODYM PROPERTY AND LIPSCHITZ EMBEDDINGS Motivation The idea here is simple. Suppose we have a Lipschitz homeomorphism f : X Y where X and Y are Banach spaces, namely c 1 x y f (x) f (y) c 2
More informationCombinatorics in Banach space theory Lecture 12
Combinatorics in Banach space theory Lecture The next lemma considerably strengthens the assertion of Lemma.6(b). Lemma.9. For every Banach space X and any n N, either all the numbers n b n (X), c n (X)
More informationCHAPTER V DUAL SPACES
CHAPTER V DUAL SPACES DEFINITION Let (X, T ) be a (real) locally convex topological vector space. By the dual space X, or (X, T ), of X we mean the set of all continuous linear functionals on X. By the
More informationMath212a1413 The Lebesgue integral.
Math212a1413 The Lebesgue integral. October 28, 2014 Simple functions. In what follows, (X, F, m) is a space with a σ-field of sets, and m a measure on F. The purpose of today s lecture is to develop the
More informationReview of measure theory
209: Honors nalysis in R n Review of measure theory 1 Outer measure, measure, measurable sets Definition 1 Let X be a set. nonempty family R of subsets of X is a ring if, B R B R and, B R B R hold. bove,
More informationSpectral theory for compact operators on Banach spaces
68 Chapter 9 Spectral theory for compact operators on Banach spaces Recall that a subset S of a metric space X is precompact if its closure is compact, or equivalently every sequence contains a Cauchy
More informationReducing subspaces. Rowan Killip 1 and Christian Remling 2 January 16, (to appear in J. Funct. Anal.)
Reducing subspaces Rowan Killip 1 and Christian Remling 2 January 16, 2001 (to appear in J. Funct. Anal.) 1. University of Pennsylvania, 209 South 33rd Street, Philadelphia PA 19104-6395, USA. On leave
More informationvan Rooij, Schikhof: A Second Course on Real Functions
vanrooijschikhof.tex April 25, 2018 van Rooij, Schikhof: A Second Course on Real Functions Notes from [vrs]. Introduction A monotone function is Riemann integrable. A continuous function is Riemann integrable.
More informationIntroduction and Preliminaries
Chapter 1 Introduction and Preliminaries This chapter serves two purposes. The first purpose is to prepare the readers for the more systematic development in later chapters of methods of real analysis
More informationThe Banach Tarski Paradox and Amenability Lecture 20: Invariant Mean implies Reiter s Property. 11 October 2012
The Banach Tarski Paradox and Amenability Lecture 20: Invariant Mean implies Reiter s Property 11 October 2012 Invariant means and amenability Definition Let be a locally compact group. An invariant mean
More informationLebesgue Measure on R n
8 CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
More informationResearch Article The (D) Property in Banach Spaces
Abstract and Applied Analysis Volume 2012, Article ID 754531, 7 pages doi:10.1155/2012/754531 Research Article The (D) Property in Banach Spaces Danyal Soybaş Mathematics Education Department, Erciyes
More informationRESTRICTED UNIFORM BOUNDEDNESS IN BANACH SPACES
RESTRICTED UNIFORM BOUNDEDNESS IN BANACH SPACES OLAV NYGAARD AND MÄRT PÕLDVERE Abstract. Precise conditions for a subset A of a Banach space X are known in order that pointwise bounded on A sequences of
More informationLebesgue Measure on R n
CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
More informationAPPROXIMATING BOCHNER INTEGRALS BY RIEMANN SUMS
APPROXIMATING BOCHNER INTEGRALS BY RIEMANN SUMS J.M.A.M. VAN NEERVEN Abstract. Let µ be a tight Borel measure on a metric space, let X be a Banach space, and let f : (, µ) X be Bochner integrable. We show
More informationEQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES
EQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES JEREMY J. BECNEL Abstract. We examine the main topologies wea, strong, and inductive placed on the dual of a countably-normed space
More informationProbability and Measure
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability
More informationII - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define
1 Measures 1.1 Jordan content in R N II - REAL ANALYSIS Let I be an interval in R. Then its 1-content is defined as c 1 (I) := b a if I is bounded with endpoints a, b. If I is unbounded, we define c 1
More informationI teach myself... Hilbert spaces
I teach myself... Hilbert spaces by F.J.Sayas, for MATH 806 November 4, 2015 This document will be growing with the semester. Every in red is for you to justify. Even if we start with the basic definition
More informationAnalysis Preliminary Exam Workshop: Hilbert Spaces
Analysis Preliminary Exam Workshop: Hilbert Spaces 1. Hilbert spaces A Hilbert space H is a complete real or complex inner product space. Consider complex Hilbert spaces for definiteness. If (, ) : H H
More informationA NOTE ON COMPARISON BETWEEN BIRKHOFF AND MCSHANE-TYPE INTEGRALS FOR MULTIFUNCTIONS
RESERCH Real nalysis Exchange Vol. 37(2), 2011/2012, pp. 315 324 ntonio Boccuto, Department of Mathematics and Computer Science - 1, Via Vanvitelli 06123 Perugia, Italy. email: boccuto@dmi.unipg.it nna
More informationTHE GEOMETRY OF CONVEX TRANSITIVE BANACH SPACES
THE GEOMETRY OF CONVEX TRANSITIVE BANACH SPACES JULIO BECERRA GUERRERO AND ANGEL RODRIGUEZ PALACIOS 1. Introduction Throughout this paper, X will denote a Banach space, S S(X) and B B(X) will be the unit
More informationApplications to stochastic PDE
15 Alications to stochastic PE In this final lecture we resent some alications of the theory develoed in this course to stochastic artial differential equations. We concentrate on two secific examles:
More informationON SUBSPACES OF NON-REFLEXIVE ORLICZ SPACES
ON SUBSPACES OF NON-REFLEXIVE ORLICZ SPACES J. ALEXOPOULOS May 28, 997 ABSTRACT. Kadec and Pelczýnski have shown that every non-reflexive subspace of L (µ) contains a copy of l complemented in L (µ). On
More informationINTEGRAL OPERATORS WITH OPERATOR-VALUED KERNELS
INEGRAL OPERAOR WIH OPERAOR-VALUED KERNEL MARIA GIRARDI AND LUZ WEI Abstract. Under fairly mild measurability and integrability conditions on operator-valued kernels, boundedness results for integral operators
More informationSpectral theorems for bounded self-adjoint operators on a Hilbert space
Chapter 10 Spectral theorems for bounded self-adjoint operators on a Hilbert space Let H be a Hilbert space. For a bounded operator A : H H its Hilbert space adjoint is an operator A : H H such that Ax,
More information1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
More informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
More informationWhere is matrix multiplication locally open?
Linear Algebra and its Applications 517 (2017) 167 176 Contents lists available at ScienceDirect Linear Algebra and its Applications www.elsevier.com/locate/laa Where is matrix multiplication locally open?
More informationOn Least Squares Linear Regression Without Second Moment
On Least Squares Linear Regression Without Second Moment BY RAJESHWARI MAJUMDAR University of Connecticut If \ and ] are real valued random variables such that the first moments of \, ], and \] exist and
More informationTHEOREMS, ETC., FOR MATH 516
THEOREMS, ETC., FOR MATH 516 Results labeled Theorem Ea.b.c (or Proposition Ea.b.c, etc.) refer to Theorem c from section a.b of Evans book (Partial Differential Equations). Proposition 1 (=Proposition
More informationIt follows from the above inequalities that for c C 1
3 Spaces L p 1. In this part we fix a measure space (, A, µ) (we may assume that µ is complete), and consider the A -measurable functions on it. 2. For f L 1 (, µ) set f 1 = f L 1 = f L 1 (,µ) = f dµ.
More informationAdditive Summable Processes and their Stochastic Integral
Additive Summable Processes and their Stochastic Integral August 19, 2005 Abstract We define and study a class of summable processes,called additive summable processes, that is larger than the class used
More information02. Measure and integral. 1. Borel-measurable functions and pointwise limits
(October 3, 2017) 02. Measure and integral Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2017-18/02 measure and integral.pdf]
More information1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),
Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer
More informationBanach Spaces V: A Closer Look at the w- and the w -Topologies
BS V c Gabriel Nagy Banach Spaces V: A Closer Look at the w- and the w -Topologies Notes from the Functional Analysis Course (Fall 07 - Spring 08) In this section we discuss two important, but highly non-trivial,
More informationThe small ball property in Banach spaces (quantitative results)
The small ball property in Banach spaces (quantitative results) Ehrhard Behrends Abstract A metric space (M, d) is said to have the small ball property (sbp) if for every ε 0 > 0 there exists a sequence
More informationAnalysis Finite and Infinite Sets The Real Numbers The Cantor Set
Analysis Finite and Infinite Sets Definition. An initial segment is {n N n n 0 }. Definition. A finite set can be put into one-to-one correspondence with an initial segment. The empty set is also considered
More informationSpectral Theory, with an Introduction to Operator Means. William L. Green
Spectral Theory, with an Introduction to Operator Means William L. Green January 30, 2008 Contents Introduction............................... 1 Hilbert Space.............................. 4 Linear Maps
More informationFunctional Analysis I
Functional Analysis I Course Notes by Stefan Richter Transcribed and Annotated by Gregory Zitelli Polar Decomposition Definition. An operator W B(H) is called a partial isometry if W x = X for all x (ker
More informationUSING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON S EQUATION
USING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON S EQUATION YI WANG Abstract. We study Banach and Hilbert spaces with an eye towards defining weak solutions to elliptic PDE. Using Lax-Milgram
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationZeros of Polynomials on Banach spaces: The Real Story
1 Zeros of Polynomials on Banach spaces: The Real Story R. M. Aron 1, C. Boyd 2, R. A. Ryan 3, I. Zalduendo 4 January 12, 2004 Abstract Let E be a real Banach space. We show that either E admits a positive
More informationHilbert spaces. 1. Cauchy-Schwarz-Bunyakowsky inequality
(October 29, 2016) Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/notes 2016-17/03 hsp.pdf] Hilbert spaces are
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE
FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE CHRISTOPHER HEIL 1. Weak and Weak* Convergence of Vectors Definition 1.1. Let X be a normed linear space, and let x n, x X. a. We say that
More informationMeasure Theory. John K. Hunter. Department of Mathematics, University of California at Davis
Measure Theory John K. Hunter Department of Mathematics, University of California at Davis Abstract. These are some brief notes on measure theory, concentrating on Lebesgue measure on R n. Some missing
More informationON UNCONDITIONALLY SATURATED BANACH SPACES. 1. Introduction
ON UNCONDITIONALLY SATURATED BANACH SPACES PANDELIS DODOS AND JORDI LOPEZ-ABAD Abstract. We prove a structural property of the class of unconditionally saturated separable Banach spaces. We show, in particular,
More information