On an uniqueness theorem for characteristic functions
|
|
- Ethelbert Gregory
- 5 years ago
- Views:
Transcription
1 ISSN Nonlinear Analysis: Modelling and Control, 207, Vol. 22, No. 3, On an uniqueness theorem for characteristic functions Saulius Norvidas Institute of Mathematics and Informatics, Vilnius University, Akademijos str. 4, LT Vilnius, Lithuania Vilnius Gediminas Technical University, Saulėtekio ave., LT-0223 Vilnius, Lithuania eceived: March 29, 206 / evised: October 2, 206 / Published online: March 7, 207 Abstract. Suppose that f is the characteristic function of a probability measure on the real line. We deal with the following open problem posed by N.G. Ushakov: Is it true that f is never determined by its imaginary part If? In other words, is it true that for any characteristic function f, there exists a characteristic function g such that If = Ig, but f g? The answer to this question is no. We give a characterization of those characteristic functions, which are uniquely determined by their imaginary parts. Also, several examples of characteristic functions, which are uniquely determined by their imaginary parts, are given. Keywords: Bochner s theorem, characteristic function, Fourier algebra, positive definite function, imaginary part of the characteristic function. Introduction Let M) be the Banach algebra of bounded regular complex-valued Borel measures µ on the real line equipped with the total variation norm µ. Throughout this paper, B) will denote the usual σ-algebra of all Borel subsets of. The Fourier Stieltjes transform of µ M) is defined by ˆµξ) = e iξx dµx), ξ. We identify L ) with the closed ideal in M) of all measures, which are absolutely continuous with respect to the Lebesgue measure dx on, i.e., if ϕ L ), then ϕ is associated with the following measure: µ ϕ ) = ϕx) dx, B). c Vilnius University, 207
2 On a uniqueness theorem for characteristic functions 43 Therefore, the Fourier transform of ϕ L ) is defined by ˆϕt) = e itx ϕx) dx, t. We normalize the inverse Fourier transform ˇϕξ) = 2π e iξt ϕt) dt so that the inversion formula ˆˇϕ = ϕ holds for suitable ϕ L ). The family of Fourier Stieltjes transforms ˆµ of µ M) forms the so-called Fourier Stieltjes algebra B). The norm in B) is defined by ˆµ B) := µ M). The closed ideal L ) of M) generates the Fourier algebra A) = { ˆϕ: ϕ L )}. Of course, A) is a closed ideal of B), and the norm in A) is defined by ˆϕ A) := ϕ L ). A function f : C is said to be positive definite if an inequality n j, fx j x k )c j c k 0 holds for all finite sets of complex numbers c,..., c n and points x,..., x n. The Bochner theorem see, e.g., [2, p. 2] or [7, p. 7]) states that a continuous function f : C is positive definite if and only if there exists a nonnegative µ M) such that f = ˆµ. If, in addition, µ =, then in the language of probability theory, these µ and f are called the probability measure and its characteristic function, respectively. Any characteristic function f is continuous on and satisfies f x) = fx) and fx) f0) = ) for all x. In particular, such an f is real-valued if and only if it is the Fourier Stieltjes transform of a symmetric distribution µ [7, p. 30], i.e., if µ satisfies µ A) = µa) for any A B). Some properties of characteristic functions are not only of theoretical interest in probability theory, but also helpful in solving applied problems as well. Here we deal with certain examples and assertions demonstrating the relationship between a characteristic function, its real part, and its imaginary part. It is known that f is not determined by f. More precisely see [4, p. 506] and [8, p. 256]), there exist two different real-valued characteristic functions f and g such that f = g everywhere. The same holds true for characteristic functions f and their real parts f. Indeed, in [8, p. 259] it is shown that for any characteristic functions f, there exists a characteristic function g such that f = g, but f g. In this context, it is natural to ask whether the same is true for f and its imaginary part If? The following question as an open problem was given by Ushakov see [8, p. 260] and the open problem No. 6 in [8, p. 334]): Nonlinear Anal. Model. Control, 223):42 420
3 44 S. Norvidas ) Is it true that the characteristic function is never determined by its imaginary part? For a characteristic function f, we say that If determines uniquely f if for each characteristic function g such that If = Ig, we have that f = g. It is not difficult to check that the answer to the question ) is no: For example, if Ifx) = Igx) = sin x for x, then necessarily fx) = gx) = e ix, x. This can be verified directly by simple arguments. ven more, we give a characterization of those characteristic functions, which are uniquely determined by their imaginary parts. To simplify the proofs, we will study here the characteristic functions of absolutely continuous probability measures. If f = ˆϕ, where ϕ L ) is non-negative on and ϕ L ) =, then fx) = e ixt ϕt) dt = cosxt)ϕt) dt + i sin xt)ϕt) dt x. Hence, and = fx) + iifx), fx) = ˆϕx) = 2 Ifx) = I ˆϕx) = 2i [ [ e ixt + e ixt) ] ϕt) dt e ixt e ixt) ] ϕt) dt. Therefore, these f and If also are elements of A). Moreover, f A) = and f is an even characteristic function. On the other hand, the function If is odd and If A). 2) By ), this function is positive definite only in the trivial case if If 0. Now we state the main result of this paper. Theorem. Suppose that ψ A) is real-valued and odd. Then the following three statements are equivalent: A) There is an unique characteristic function f such that If ψ. B) ψ A) =. C) i) For any c,..., c m C and γ,..., γ m, the inequality sup c k ψγ k ) sup c k e iγ kx x holds and ii) this inequality is sharp in the sense that there exist c,..., c m C and γ,..., γ m such that inequality in 3) becomes an equality. x 3)
4 On a uniqueness theorem for characteristic functions 45 xample. Several frequently used characteristic functions are uniquely determined by their imaginary parts. For example, that is true for the following characteristic functions: a) The characteristic functions of Beta and Gamma distributions. b) The characteristic function ) x fx) = e ix/2 J 0 = e ix/2 ) k ) 2k x 2 k!) 2 2 of the arcsine distribution with density { c) The characteristic function pt) = of the Bessel distribution with density pt) = { ϱe t k=0 π t t), 0 < t <, 0 otherwise. fx) = ix + ix) 2 ) ϱ k=0 t I ϱ t) = ϱe t t 2 t k!γk+ϱ+) 2) k +ϱ, t > 0, 0 otherwise, where ϱ is positive number. d) The characteristic function fx) = 2ix) n/2 of the χ 2 -distribution with density with n degrees of freedom) { 2 pt) = n/2 Γn/2) tn/2) e t/2, t > 0, 0 otherwise, where n is positive integer. e) The characteristic function fx) = α k λ k λ k xt of the hyperexponential distributions with density { m pt) = α kλ k e λkt, t > 0, 0 otherwise, where α k, λ k 0, and m α k =. Nonlinear Anal. Model. Control, 223):42 420
5 46 S. Norvidas We end this section with a discussion of the Fourier algebra A). If ϕ L ), then ˆϕ is uniformly continuous and vanishing at infinity, that is, it belongs to the space C 0 ). Hence, A) is a subset of C 0 ). On the other hand, it is known that A) C 0 ). In the context of Theorem, it is important to know whether a given C 0 ) function is an element of A). Here we present two statements devoted to the sufficient conditions. The following basic result is due to Beurling [, pp ]: If f : C is locally absolutely continuous and f, f L 2 ), then f A). Proposition. See [6, p. 20].) If f C 0 ) satisfies the following Hölder type condition of order λ /2, i.e., then f A). fx) fy) x y λ C + x ) λ, x, y, + y ) λ These facts allow us to construct several classes of functions from A). For example, if S) denotes the Schwartz class of test functions, then S) A). The class S) is invariant with respect to the Fourier transform. Therefore, by using Theorem, it is very convenient to construct such characteristic functions f S), which are uniquely determined by their imaginary parts. 2 Proofs To begin, we recall some terminology and notation that will be used throughout this section. For A B), by definition, put A = {x : x A}. Given f L p ), we associate with f two other functions, defined by f x) = 2 fx) + f x) ) and f O x) = 2 fx) f x) ) for x. Because we regard the space L p ) as a normed space, i.e., the space of equivalence classes of functions, it is required to explain how to understand the value fx) of f L p ) at the point x. We choose any function f : C in the class f and define fx) := fx). Now it is easy to see that f and f O defined in this manner give us well-defined elements of L p ). For simplicity of language, we will call elements of L p ) also functions. The functions f and f O are called the even and the odd parts of f, respectively. Of course, we get f = f + f O. If f L p ) is real-valued, then we set f + x) = max { fx); 0 } and f x) = max { fx); 0 }. The functions f + and f are called the positive and the negative parts of f, respectively. It is evident that both f + and f are non-negative on and f = f + f.
6 On a uniqueness theorem for characteristic functions 47 Proof of Theorem. By the definition of A), there exists v L ) such that ψ = ˆv. Since ψ is odd, we have ˆvx) = ψx) = ψ O x) = ) vt)e ixt dt vt)e ixt dt 2 = 2 vt) v t) ) e ixt dt = ˆv O x) for x. Therefore, v is also odd. In addition, ψ is real-valued. Therefore, vt)e ixt dt = ψx) = ψx) = vt)e ixt dt = v s)e ixs ds. Here, using the fact that v is odd, we get that v = v. Thus, there exists a real-valued and odd function v L ) such that v = iv. 4) Let v = v + v. We claim that there exists B) such that ) = and v + L ) = v + x) dx = v x) dx = v L ) = 2 v L ). 5) Indeed, we choose any odd function ṽ : in the class v L ) and take If x, then since ṽ is odd. Therefore, = { x : ṽ x) > 0 }. 6) ṽ x) = ṽ x) < 0 = { x : ṽ x) < 0 } and ) =. Let x. Then ṽ x) = ṽ + x) and ṽ x) = ṽ x). Hence, again using the fact that ṽ is odd, we get ṽ + x) = ṽ x). 7) It is clear that is also true for each x and x \ ). Thus, v L ) = ṽ L ) = ṽ x) dx ṽ x) dx = ṽ + x) dx + ṽ x) dx = ṽ + x) dx + = ṽ+ L ) + ṽ L ) = v + L ) + v L ). By combining this with 7), we obtain 5). This proves our claim. ṽ x) dx Nonlinear Anal. Model. Control, 223):42 420
7 48 S. Norvidas Let us show that A) B). To this end, we prove the contraposition: If ψ A) is a real-valued odd function and ψ A) <, then there are infinitely many characteristic functions f such that If ψ. Let ϕ denote the Fourier transform of v = v + + v. By Bochner s theorem, ϕ is continuous positive definite function and ϕ A). Moreover, ϕ is real-valued and even since v is even. Now 4) implies ϕ + iψ = v ˆv = 2 v. 8) Therefore, ϕ + iψ is continuous positive definite function with the imaginary part ψ. Combining 4), 5), and 8), we get ϕ + iψ)0) = 2 v 0) = 2 v t) dt = 2 v = v = v = ψ A) <. Finally, let us denote by Ω the set of all continuous real-valued positive definite functions ζ such that ζ A) = ζ0) = ϕ + iψ)0) > 0. Then for each ζ Ω, the function ζ + ϕ + iψ is characteristic and has the prescribed imaginary part ψ. B) A) By arguing as in the proof of A) B), we see that there exists at least one characteristic function f such that f A) and If = ψ. Let ϕ denote the real part of this function f. Then there exists a non-negative even function u L ), u L ) =, such that ϕ = û since ϕ = f is also characteristic function. Set w = u v = u v + + v, 9) where v is defined in 4) with ˆv = ψ. If is the same as in 6), then, by the definition of the function v, we get v t) dt = 0. ecall that now ψ A) = v L ) =. Therefore, by 5), we have wt) dt = ut) dt v + t) dt + t) dt = ut) dt v + t) dt = ut) dt 2. 0) Since f = ŵ, we see that w is non-negative on. Therefore, from 0), and the fact that u is even, it is immediate that ut) dt = ut) dt 2. v
8 On a uniqueness theorem for characteristic functions 49 On the other hand, we have u L ) = and ) =. Therefore, we see in fact that ut) dt = ut) dt = 2. ) This implies that ux) = 0 for x \ )). On the other hand, w is non-negative on and w = u v + on. Now using 5), we get v + t) dt = 2. Combining this with ), we have that u v + on. Next, since w and v are even and odd, respectively, it follows that u = v on. Thus, u = v+ + v, i.e., the real part of f is uniquely determined by If. B) C) ecall a characterization of elements ϕ B) see [5, p. 304]). A continuous function ϕ : C is the Fourier transform of some µ M) if and only if there exists a constant K > 0 such that sup c k ϕγ k ) K sup c k e iγ kx 2) x for all finite sets of complex numbers c,..., c m and points γ,..., γ m in. Moreover, if ϕ B), then the smallest value of K satisfying 2) is equal to ϕ B), see e.g., [3, p. 465]). Now it is easy to check that B) and C) are equivalent. This finishes the proof of Theorem. Proof of xample. Let p : be a probability density. Assume that p is continuous and px) = 0 for x, 0]. Then the function px) := p x) is also probability density supported on [0, ). Therefore, x p O L ) = 2 p p L ) = 2 p L ) + p L )) =. Combining this with the fact that Iˆp = 2i p p) = i ˆp O and statement B) of Theorem, we see that Iˆp uniquely determines the characteristic function f = ˆp. Since all probability densities p given in our xamples a) e) are continuous and px) = 0 for x, 0], this complete the proof of xample. eferences. A. Beurling, The Collected Works of Arne Beurling, Vol. 2: Harmonic analysis, Birkhäuser, Boston, V.I. Bogachev, Measure Theory, Vol. II, Springer, Berlin, New York, Nonlinear Anal. Model. Control, 223):42 420
9 420 S. Norvidas 3. W.F. berlein, Characterization of Fourier Stieltjes transforms, Duke Math. J., 22: , W. Feller, An Introduction to Probability and Its Applications, Vol. II, 2nd ed., John Wiley & Sons, New York, Hewitt, K.A. oss, Abstract Harmonic Analysis II, Springer, Berlin, Heidelberg, Liflyand, S. Samko,. Trigub, The Wiener algebra of absolutely convergent Fourier integrals: An overview, Anal. Math. Phys., 2): 68, Lukacs, Characteristic Functions, 2nd ed., Hafner, New York, N.G. Ushakov, Selected Topics in Characteristic Functions, VSP, Utrecht,
2 (Bonus). 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 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is
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 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 informationWe denote the space of distributions on Ω by D ( Ω) 2.
Sep. 1 0, 008 Distributions Distributions are generalized functions. Some familiarity with the theory of distributions helps understanding of various function spaces which play important roles in the study
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 informationBochner s Theorem on the Fourier Transform on R
Bochner s heorem on the Fourier ransform on Yitao Lei October 203 Introduction ypically, the Fourier transformation sends suitable functions on to functions on. his can be defined on the space L ) + L
More information1 Fourier Integrals of finite measures.
18.103 Fall 2013 1 Fourier Integrals of finite measures. Denote the space of finite, positive, measures on by M + () = {µ : µ is a positive measure on ; µ() < } Proposition 1 For µ M + (), we define the
More informationX n D X lim n F n (x) = F (x) for all x C F. lim n F n(u) = F (u) for all u C F. (2)
14:17 11/16/2 TOPIC. Convergence in distribution and related notions. This section studies the notion of the so-called convergence in distribution of real random variables. This is the kind of convergence
More informationJASSON VINDAS AND RICARDO ESTRADA
A QUICK DISTRIBUTIONAL WAY TO THE PRIME NUMBER THEOREM JASSON VINDAS AND RICARDO ESTRADA Abstract. We use distribution theory (generalized functions) to show the prime number theorem. No tauberian results
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 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 informationIntegral Jensen inequality
Integral Jensen inequality Let us consider a convex set R d, and a convex function f : (, + ]. For any x,..., x n and λ,..., λ n with n λ i =, we have () f( n λ ix i ) n λ if(x i ). For a R d, let δ a
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 informationEuler Equations: local existence
Euler Equations: local existence Mat 529, Lesson 2. 1 Active scalars formulation We start with a lemma. Lemma 1. Assume that w is a magnetization variable, i.e. t w + u w + ( u) w = 0. If u = Pw then u
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 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 informationPartial Differential Equations
Part II Partial Differential Equations Year 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2015 Paper 4, Section II 29E Partial Differential Equations 72 (a) Show that the Cauchy problem for u(x,
More informationLEBESGUE INTEGRATION. Introduction
LEBESGUE INTEGATION EYE SJAMAA Supplementary notes Math 414, Spring 25 Introduction The following heuristic argument is at the basis of the denition of the Lebesgue integral. This argument will be imprecise,
More informationthe convolution of f and g) given by
09:53 /5/2000 TOPIC Characteristic functions, cont d This lecture develops an inversion formula for recovering the density of a smooth random variable X from its characteristic function, and uses that
More informationBLOWUP THEORY FOR THE CRITICAL NONLINEAR SCHRÖDINGER EQUATIONS REVISITED
BLOWUP THEORY FOR THE CRITICAL NONLINEAR SCHRÖDINGER EQUATIONS REVISITED TAOUFIK HMIDI AND SAHBI KERAANI Abstract. In this note we prove a refined version of compactness lemma adapted to the blowup analysis
More informationNONTRIVIAL SOLUTIONS TO INTEGRAL AND DIFFERENTIAL EQUATIONS
Fixed Point Theory, Volume 9, No. 1, 28, 3-16 http://www.math.ubbcluj.ro/ nodeacj/sfptcj.html NONTRIVIAL SOLUTIONS TO INTEGRAL AND DIFFERENTIAL EQUATIONS GIOVANNI ANELLO Department of Mathematics University
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 informationON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM
ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM OLEG ZUBELEVICH DEPARTMENT OF MATHEMATICS THE BUDGET AND TREASURY ACADEMY OF THE MINISTRY OF FINANCE OF THE RUSSIAN FEDERATION 7, ZLATOUSTINSKY MALIY PER.,
More informationThe Implicit and Inverse Function Theorems Notes to supplement Chapter 13.
The Implicit and Inverse Function Theorems Notes to supplement Chapter 13. Remark: These notes are still in draft form. Examples will be added to Section 5. If you see any errors, please let me know. 1.
More information2 Lebesgue integration
2 Lebesgue integration 1. Let (, A, µ) be a measure space. We will always assume that µ is complete, otherwise we first take its completion. The example to have in mind is the Lebesgue measure on R n,
More informationRandom convolution of O-exponential distributions
Nonlinear Analysis: Modelling and Control, Vol. 20, No. 3, 447 454 ISSN 1392-5113 http://dx.doi.org/10.15388/na.2015.3.9 Random convolution of O-exponential distributions Svetlana Danilenko a, Jonas Šiaulys
More informationEXISTENCE OF SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS WITH UNBOUNDED POTENTIAL. 1. Introduction In this article, we consider the Kirchhoff type problem
Electronic Journal of Differential Equations, Vol. 207 (207), No. 84, pp. 2. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS
More informationDiscrete uniform limit law for additive functions on shifted primes
Nonlinear Analysis: Modelling and Control, Vol. 2, No. 4, 437 447 ISSN 392-53 http://dx.doi.org/0.5388/na.206.4. Discrete uniform it law for additive functions on shifted primes Gediminas Stepanauskas,
More informationFourier analysis, measures, and distributions. Alan Haynes
Fourier analysis, measures, and distributions Alan Haynes 1 Mathematics of diffraction Physical diffraction As a physical phenomenon, diffraction refers to interference of waves passing through some medium
More informationIntroduction to Real Analysis Alternative Chapter 1
Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces
More informationSobolev spaces. May 18
Sobolev spaces May 18 2015 1 Weak derivatives The purpose of these notes is to give a very basic introduction to Sobolev spaces. More extensive treatments can e.g. be found in the classical references
More informationSome basic elements of Probability Theory
Chapter I Some basic elements of Probability Theory 1 Terminology (and elementary observations Probability theory and the material covered in a basic Real Variables course have much in common. However
More informationAnalysis Qualifying Exam
Analysis Qualifying Exam Spring 2017 Problem 1: Let f be differentiable on R. Suppose that there exists M > 0 such that f(k) M for each integer k, and f (x) M for all x R. Show that f is bounded, i.e.,
More informationThe Caratheodory Construction of Measures
Chapter 5 The Caratheodory Construction of Measures Recall how our construction of Lebesgue measure in Chapter 2 proceeded from an initial notion of the size of a very restricted class of subsets of R,
More informationBrownian Motion. 1 Definition Brownian Motion Wiener measure... 3
Brownian Motion Contents 1 Definition 2 1.1 Brownian Motion................................. 2 1.2 Wiener measure.................................. 3 2 Construction 4 2.1 Gaussian process.................................
More informationWiener Measure and Brownian Motion
Chapter 16 Wiener Measure and Brownian Motion Diffusion of particles is a product of their apparently random motion. The density u(t, x) of diffusing particles satisfies the diffusion equation (16.1) u
More informationNotes on Integrable Functions and the Riesz Representation Theorem Math 8445, Winter 06, Professor J. Segert. f(x) = f + (x) + f (x).
References: Notes on Integrable Functions and the Riesz Representation Theorem Math 8445, Winter 06, Professor J. Segert Evans, Partial Differential Equations, Appendix 3 Reed and Simon, Functional Analysis,
More informationApplied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.
Applied Analysis APPM 44: Final exam 1:3pm 4:pm, Dec. 14, 29. Closed books. Problem 1: 2p Set I = [, 1]. Prove that there is a continuous function u on I such that 1 ux 1 x sin ut 2 dt = cosx, x I. Define
More informationGENERALIZED POPOVICIU FUNCTIONAL EQUATIONS IN BANACH MODULES OVER A C ALGEBRA AND APPROXIMATE ALGEBRA HOMOMORPHISMS. Chun Gil Park
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 3 (003), 183 193 GENERALIZED POPOVICIU FUNCTIONAL EQUATIONS IN BANACH MODULES OVER A C ALGEBRA AND APPROXIMATE ALGEBRA HOMOMORPHISMS Chun Gil Park (Received March
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 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 informationNOTES ON VECTOR-VALUED INTEGRATION MATH 581, SPRING 2017
NOTES ON VECTOR-VALUED INTEGRATION MATH 58, SPRING 207 Throughout, X will denote a Banach space. Definition 0.. Let ϕ(s) : X be a continuous function from a compact Jordan region R n to a Banach space
More informationSome Applications to Lebesgue Points in Variable Exponent Lebesgue Spaces
Çankaya University Journal of Science and Engineering Volume 7 (200), No. 2, 05 3 Some Applications to Lebesgue Points in Variable Exponent Lebesgue Spaces Rabil A. Mashiyev Dicle University, Department
More informationNonlinear Filtering Revisited: a Spectral Approach, II
Nonlinear Filtering Revisited: a Spectral Approach, II Sergey V. Lototsky Center for Applied Mathematical Sciences University of Southern California Los Angeles, CA 90089-3 sergey@cams-00.usc.edu Remijigus
More informationor E ( U(X) ) e zx = e ux e ivx = e ux( cos(vx) + i sin(vx) ), B X := { u R : M X (u) < } (4)
:23 /4/2000 TOPIC Characteristic functions This lecture begins our study of the characteristic function φ X (t) := Ee itx = E cos(tx)+ie sin(tx) (t R) of a real random variable X Characteristic functions
More information1.3.1 Definition and Basic Properties of Convolution
1.3 Convolution 15 1.3 Convolution Since L 1 (R) is a Banach space, we know that it has many useful properties. In particular the operations of addition and scalar multiplication are continuous. However,
More informationi. v = 0 if and only if v 0. iii. v + w v + w. (This is the Triangle Inequality.)
Definition 5.5.1. A (real) normed vector space is a real vector space V, equipped with a function called a norm, denoted by, provided that for all v and w in V and for all α R the real number v 0, and
More informationBernstein s inequality and Nikolsky s inequality for R d
Bernstein s inequality and Nikolsky s inequality for d Jordan Bell jordan.bell@gmail.com Department of athematics University of Toronto February 6 25 Complex Borel measures and the Fourier transform Let
More informationCHAPTER I THE RIESZ REPRESENTATION THEOREM
CHAPTER I THE RIESZ REPRESENTATION THEOREM We begin our study by identifying certain special kinds of linear functionals on certain special vector spaces of functions. We describe these linear functionals
More informationProblem Set 5: Solutions Math 201A: Fall 2016
Problem Set 5: s Math 21A: Fall 216 Problem 1. Define f : [1, ) [1, ) by f(x) = x + 1/x. Show that f(x) f(y) < x y for all x, y [1, ) with x y, but f has no fixed point. Why doesn t this example contradict
More informationNew York Journal of Mathematics. A Refinement of Ball s Theorem on Young Measures
New York Journal of Mathematics New York J. Math. 3 (1997) 48 53. A Refinement of Ball s Theorem on Young Measures Norbert Hungerbühler Abstract. For a sequence u j : R n R m generating the Young measure
More informationON THE UNIQUENESS PROPERTY FOR PRODUCTS OF SYMMETRIC INVARIANT PROBABILITY MEASURES
Georgian Mathematical Journal Volume 9 (2002), Number 1, 75 82 ON THE UNIQUENESS PROPERTY FOR PRODUCTS OF SYMMETRIC INVARIANT PROBABILITY MEASURES A. KHARAZISHVILI Abstract. Two symmetric invariant probability
More informationMATH 220: THE FOURIER TRANSFORM TEMPERED DISTRIBUTIONS. Beforehand we constructed distributions by taking the set Cc
MATH 220: THE FOURIER TRANSFORM TEMPERED DISTRIBUTIONS Beforehand we constructed distributions by taking the set Cc ( ) as the set of very nice functions, and defined distributions as continuous linear
More informationJae Gil Choi and Young Seo Park
Kangweon-Kyungki Math. Jour. 11 (23), No. 1, pp. 17 3 TRANSLATION THEOREM ON FUNCTION SPACE Jae Gil Choi and Young Seo Park Abstract. In this paper, we use a generalized Brownian motion process to define
More informationAnother 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
More informationDifferential Games II. Marc Quincampoix Université de Bretagne Occidentale ( Brest-France) SADCO, London, September 2011
Differential Games II Marc Quincampoix Université de Bretagne Occidentale ( Brest-France) SADCO, London, September 2011 Contents 1. I Introduction: A Pursuit Game and Isaacs Theory 2. II Strategies 3.
More informationThe Lebesgue Integral
The Lebesgue Integral Brent Nelson In these notes we give an introduction to the Lebesgue integral, assuming only a knowledge of metric spaces and the iemann integral. For more details see [1, Chapters
More informationL p Spaces and Convexity
L p Spaces and Convexity These notes largely follow the treatments in Royden, Real Analysis, and Rudin, Real & Complex Analysis. 1. Convex functions Let I R be an interval. For I open, we say a function
More informationHomework 11. Solutions
Homework 11. Solutions Problem 2.3.2. Let f n : R R be 1/n times the characteristic function of the interval (0, n). Show that f n 0 uniformly and f n µ L = 1. Why isn t it a counterexample to the Lebesgue
More informationContinuous Functions on Metric Spaces
Continuous Functions on Metric Spaces Math 201A, Fall 2016 1 Continuous functions Definition 1. Let (X, d X ) and (Y, d Y ) be metric spaces. A function f : X Y is continuous at a X if for every ɛ > 0
More informationFourier Series. 1. Review of Linear Algebra
Fourier Series In this section we give a short introduction to Fourier Analysis. If you are interested in Fourier analysis and would like to know more detail, I highly recommend the following book: Fourier
More informationYour first day at work MATH 806 (Fall 2015)
Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies
More informationPERIODIC PROBLEMS WITH φ-laplacian INVOLVING NON-ORDERED LOWER AND UPPER FUNCTIONS
Fixed Point Theory, Volume 6, No. 1, 25, 99-112 http://www.math.ubbcluj.ro/ nodeacj/sfptcj.htm PERIODIC PROBLEMS WITH φ-laplacian INVOLVING NON-ORDERED LOWER AND UPPER FUNCTIONS IRENA RACHŮNKOVÁ1 AND MILAN
More informationTD 1: Hilbert Spaces and Applications
Université Paris-Dauphine Functional Analysis and PDEs Master MMD-MA 2017/2018 Generalities TD 1: Hilbert Spaces and Applications Exercise 1 (Generalized Parallelogram law). Let (H,, ) be a Hilbert space.
More informationA NEW PROOF OF THE ATOMIC DECOMPOSITION OF HARDY SPACES
A NEW PROOF OF THE ATOMIC DECOMPOSITION OF HARDY SPACES S. DEKEL, G. KERKYACHARIAN, G. KYRIAZIS, AND P. PETRUSHEV Abstract. A new proof is given of the atomic decomposition of Hardy spaces H p, 0 < p 1,
More informationANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2.
ANALYSIS QUALIFYING EXAM FALL 27: SOLUTIONS Problem. Determine, with justification, the it cos(nx) n 2 x 2 dx. Solution. For an integer n >, define g n : (, ) R by Also define g : (, ) R by g(x) = g n
More informationHARDY INEQUALITIES WITH BOUNDARY TERMS. x 2 dx u 2 dx. (1.2) u 2 = u 2 dx.
Electronic Journal of Differential Equations, Vol. 003(003), No. 3, pp. 1 8. ISSN: 107-6691. UL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) HADY INEQUALITIES
More informationReal Analysis Problems
Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1 1 CONTINUITY 1 Continuity Problem 1.1 Let r n be the sequence of rational numbers and Prove that f(x) = 1. f is continuous on the irrationals.
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 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 informationJournal of Mathematical Analysis and Applications. Properties of oblique dual frames in shift-invariant systems
J. Math. Anal. Appl. 356 (2009) 346 354 Contents lists available at ScienceDirect Journal of Mathematical Analysis and Applications www.elsevier.com/locate/jmaa Properties of oblique dual frames in shift-invariant
More information2) Let X be a compact space. Prove that the space C(X) of continuous real-valued functions is a complete metric space.
University of Bergen General Functional Analysis Problems with solutions 6 ) Prove that is unique in any normed space. Solution of ) Let us suppose that there are 2 zeros and 2. Then = + 2 = 2 + = 2. 2)
More informationMATH & MATH FUNCTIONS OF A REAL VARIABLE EXERCISES FALL 2015 & SPRING Scientia Imperii Decus et Tutamen 1
MATH 5310.001 & MATH 5320.001 FUNCTIONS OF A REAL VARIABLE EXERCISES FALL 2015 & SPRING 2016 Scientia Imperii Decus et Tutamen 1 Robert R. Kallman University of North Texas Department of Mathematics 1155
More informationTHE POINCARÉ RECURRENCE PROBLEM OF INVISCID INCOMPRESSIBLE FLUIDS
ASIAN J. MATH. c 2009 International Press Vol. 13, No. 1, pp. 007 014, March 2009 002 THE POINCARÉ RECURRENCE PROBLEM OF INVISCID INCOMPRESSIBLE FLUIDS Y. CHARLES LI Abstract. Nadirashvili presented a
More informationMath 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative
Math 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative This chapter is another review of standard material in complex analysis. See for instance
More information6.2 Fubini s Theorem. (µ ν)(c) = f C (x) dµ(x). (6.2) Proof. Note that (X Y, A B, µ ν) must be σ-finite as well, so that.
6.2 Fubini s Theorem Theorem 6.2.1. (Fubini s theorem - first form) Let (, A, µ) and (, B, ν) be complete σ-finite measure spaces. Let C = A B. Then for each µ ν- measurable set C C the section x C is
More informationON THE FRACTIONAL CAUCHY PROBLEM ASSOCIATED WITH A FELLER SEMIGROUP
Dedicated to Professor Gheorghe Bucur on the occasion of his 7th birthday ON THE FRACTIONAL CAUCHY PROBLEM ASSOCIATED WITH A FELLER SEMIGROUP EMIL POPESCU Starting from the usual Cauchy problem, we give
More informationThe KPP minimal speed within large drift in two dimensions
The KPP minimal speed within large drift in two dimensions Mohammad El Smaily Joint work with Stéphane Kirsch University of British Columbia & Pacific Institute for the Mathematical Sciences Banff, March-2010
More informationSome notes on a second-order random boundary value problem
ISSN 1392-5113 Nonlinear Analysis: Modelling and Control, 217, Vol. 22, No. 6, 88 82 https://doi.org/1.15388/na.217.6.6 Some notes on a second-order random boundary value problem Fairouz Tchier a, Calogero
More information1.5 Approximate Identities
38 1 The Fourier Transform on L 1 (R) which are dense subspaces of L p (R). On these domains, P : D P L p (R) and M : D M L p (R). Show, however, that P and M are unbounded even when restricted to these
More informationSome asymptotic properties of solutions for Burgers equation in L p (R)
ARMA manuscript No. (will be inserted by the editor) Some asymptotic properties of solutions for Burgers equation in L p (R) PAULO R. ZINGANO Abstract We discuss time asymptotic properties of solutions
More information13. Examples of measure-preserving tranformations: rotations of a torus, the doubling map
3. Examples of measure-preserving tranformations: rotations of a torus, the doubling map 3. Rotations of a torus, the doubling map In this lecture we give two methods by which one can show that a given
More informationAPPLICATION OF A FOURIER RESTRICTION THEOREM TO CERTAIN FAMILIES OF PROJECTIONS IN R 3
APPLICATION OF A FOURIER RESTRICTION THEOREM TO CERTAIN FAMILIES OF PROJECTIONS IN R 3 DANIEL OBERLIN AND RICHARD OBERLIN Abstract. We use a restriction theorem for Fourier transforms of fractal measures
More informationSEPARABILITY AND COMPLETENESS FOR THE WASSERSTEIN DISTANCE
SEPARABILITY AND COMPLETENESS FOR THE WASSERSTEIN DISTANCE FRANÇOIS BOLLEY Abstract. In this note we prove in an elementary way that the Wasserstein distances, which play a basic role in optimal transportation
More informationLaplace s Equation. Chapter Mean Value Formulas
Chapter 1 Laplace s Equation Let be an open set in R n. A function u C 2 () is called harmonic in if it satisfies Laplace s equation n (1.1) u := D ii u = 0 in. i=1 A function u C 2 () is called subharmonic
More information(U) =, if 0 U, 1 U, (U) = X, if 0 U, and 1 U. (U) = E, if 0 U, but 1 U. (U) = X \ E if 0 U, but 1 U. n=1 A n, then A M.
1. Abstract Integration The main reference for this section is Rudin s Real and Complex Analysis. The purpose of developing an abstract theory of integration is to emphasize the difference between the
More informationYour first day at work MATH 806 (Fall 2015)
Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies
More informationIntegration on Measure Spaces
Chapter 3 Integration on Measure Spaces In this chapter we introduce the general notion of a measure on a space X, define the class of measurable functions, and define the integral, first on a class of
More informationPERIODIC SOLUTIONS FOR A KIND OF LIÉNARD-TYPE p(t)-laplacian EQUATION. R. Ayazoglu (Mashiyev), I. Ekincioglu, G. Alisoy
Acta Universitatis Apulensis ISSN: 1582-5329 http://www.uab.ro/auajournal/ No. 47/216 pp. 61-72 doi: 1.17114/j.aua.216.47.5 PERIODIC SOLUTIONS FOR A KIND OF LIÉNARD-TYPE pt)-laplacian EQUATION R. Ayazoglu
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 informationLECTURE 10: REVIEW OF POWER SERIES. 1. Motivation
LECTURE 10: REVIEW OF POWER SERIES By definition, a power series centered at x 0 is a series of the form where a 0, a 1,... and x 0 are constants. For convenience, we shall mostly be concerned with the
More informationTHE L 2 -HODGE THEORY AND REPRESENTATION ON R n
THE L 2 -HODGE THEORY AND REPRESENTATION ON R n BAISHENG YAN Abstract. We present an elementary L 2 -Hodge theory on whole R n based on the minimization principle of the calculus of variations and some
More informationMATH 220 solution to homework 5
MATH 220 solution to homework 5 Problem. (i Define E(t = k(t + p(t = then E (t = 2 = 2 = 2 u t u tt + u x u xt dx u 2 t + u 2 x dx, u t u xx + u x u xt dx x [u tu x ] dx. Because f and g are compactly
More informationUNIMODULAR ROOTS OF RECIPROCAL LITTLEWOOD POLYNOMIALS
J. Korean Math. Soc. 45 (008), No. 3, pp. 835 840 UNIMODULAR ROOTS OF RECIPROCAL LITTLEWOOD POLYNOMIALS Paulius Drungilas Reprinted from the Journal of the Korean Mathematical Society Vol. 45, No. 3, May
More informationSHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction
SHARP BOUNDARY TRACE INEQUALITIES GILES AUCHMUTY Abstract. This paper describes sharp inequalities for the trace of Sobolev functions on the boundary of a bounded region R N. The inequalities bound (semi-)norms
More information3. (a) What is a simple function? What is an integrable function? How is f dµ defined? Define it first
Math 632/6321: Theory of Functions of a Real Variable Sample Preinary Exam Questions 1. Let (, M, µ) be a measure space. (a) Prove that if µ() < and if 1 p < q
More informationRandom sets. Distributions, capacities and their applications. Ilya Molchanov. University of Bern, Switzerland
Random sets Distributions, capacities and their applications Ilya Molchanov University of Bern, Switzerland Molchanov Random sets - Lecture 1. Winter School Sandbjerg, Jan 2007 1 E = R d ) Definitions
More informationEXISTENCE AND REGULARITY RESULTS FOR SOME NONLINEAR PARABOLIC EQUATIONS
EXISTECE AD REGULARITY RESULTS FOR SOME OLIEAR PARABOLIC EUATIOS Lucio BOCCARDO 1 Andrea DALL AGLIO 2 Thierry GALLOUËT3 Luigi ORSIA 1 Abstract We prove summability results for the solutions of nonlinear
More informationUNCERTAINTY FUNCTIONAL DIFFERENTIAL EQUATIONS FOR FINANCE
Surveys in Mathematics and its Applications ISSN 1842-6298 (electronic), 1843-7265 (print) Volume 5 (2010), 275 284 UNCERTAINTY FUNCTIONAL DIFFERENTIAL EQUATIONS FOR FINANCE Iuliana Carmen Bărbăcioru Abstract.
More information(2m)-TH MEAN BEHAVIOR OF SOLUTIONS OF STOCHASTIC DIFFERENTIAL EQUATIONS UNDER PARAMETRIC PERTURBATIONS
(2m)-TH MEAN BEHAVIOR OF SOLUTIONS OF STOCHASTIC DIFFERENTIAL EQUATIONS UNDER PARAMETRIC PERTURBATIONS Svetlana Janković and Miljana Jovanović Faculty of Science, Department of Mathematics, University
More information