DIFFERENTIAL CRITERIA FOR POSITIVE DEFINITENESS
|
|
- Silvia Stokes
- 5 years ago
- Views:
Transcription
1 PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume, Number, Pages S -9939(XX)- DIFFERENTIAL CRITERIA FOR POSITIVE DEFINITENESS J. A. PALMER Abstract. We show how the Mellin transform can be used to derive differential criteria for integral representations of functions as scale mixtures, and apply this idea to derive differential criteria for positive definiteness of functions in a manner similar to that of Gneiting (999,). We also give a simple derivation of Williamson s result on multiply monotone functions (Williamson, 956), with a limiting process giving the Bernstein-Widder theorem.. Introduction Recently, Gneiting (999,) has derived differential criteria for positive definiteness based on finding necessary and sufficient conditions that a function be representable as a scale mixture of a certain function known to be positive definite. The use of differential criteria for integral representations is also seen in the Bernstein-Widder theorem on completely monotone functions, and in Schoenberg (94) and Williamson s (956) theorem on multiply monotone functions. In this paper we show how the Mellin transform can be used to facilitate the analysis of scale mixture representations and the derivation differential criteria for such representations... Scale mixtures. Let f and g be real-valued functions, continuous on [,. We say that f is a scale mixture of g if there is a non-decreasing function µ, bounded on [, such that, () f(x) = g ( ) x dµ() x [, where the integral will generally be the Riemann-Stieltjes integral. If µ is also continuous, then dµ() = h() d, with h non-negative and integrable on (, ), and f(x) = g(x/)h() d. We refer to the latter as the scale convolution of g and h. It is related to ordinary convolution through the change of variables, x = e z and = e t, which yields, () f exp = ( g exp ) ( h exp ) where denotes convolution and denotes composition. We generally use the Riemann-Stieltjes integral rather than the Lebesgue integral since the latter requires absolute integrability. We will however use Lebesgue integrals when they exist, and write f L(, ) when f is Lebesgue integrable on (, ). The two types of convolution arise together in the consideration of the distribution function of sums and products of measurable functions. It is well known that the distribution function of a finite sum is the (ordinary) convolution of the respective distribution functions. Similarly, if X(ω) and Y (ω) are non-negative µ-measurable functions with continuously differentiable distribution c 997 American Mathematical Society
2 J. A. PALMER... Examples. (i) The class of functions that are completely monotonic on (, ) is equivalent to the class of scale mixtures of e x by the Bernstein-Widder theorem. (ii) The class of functions f(r) such that f( x ) is positive definite on R n, is equivalent to the class of scale mixtures of r ν J ν (r) where ν = (n )/ [, Thm.. In this paper we shall be interested primarily in the fact that scale mixtures preserve positive definiteness. Thus, a test determining whether a function f is a scale mixture of a given positive definite function, is also a test determining whether f is positive definite... The Mellin transform. It is well known that the Fourier and Laplace transforms can be used to solve integral equations of the convolution type. Given (), these transforms can also be used to solve equations of the scale convolution type. The latter however can be solved without changing variables using the Mellin transform [5, 4,, which is defined by, (3) M [f(x) ; s f(s) x s f(x) dx for s C such that the integral is convergent. If x k g(x) and x k h(x) L(, ) for some k R then [5, Thm. 44, ( ) x (4) f(x) = g h() d f(s) = g(s) h(s) and x k f(x) L(, ). Then we can solve for h(x) by inverting the transform. If x k f(x) L(, ), then (3) can be inverted almost everywhere using the formula [5, Thm. 8, (5) M [ f(s) ; x πi k+i k i x s f(s) ds = f(x+) + f(x ) where f(x+) and f(x ) denote the right and left hand limits of f at x. Thus, for example, when h in (4) is continuous on (, ), we have, h(x) = M [ f(s) ; x, x (, ) g(s) We can similarly solve integral equations of the form f(x) = g(x)h() d. First note the following two properties, which follow readily from the definition (3): (6) M [x a f(x) ; s = ( ) a f s, M [f(x a ) ; s = a f(s + a) functions G(x) and H(x), then for the distribution function F of X(ω)Y(ω) we have, ( ) x ( ) x F (x) = G dh() = H dg() and for the derivative f(x) F (x), we have, ( ) x ( ) f(x) = g x h() d = h g() d
3 DIFFERENTIAL CRITERIA FOR POSITIVE DEFINITENESS 3 We thus have M [ t h(t ) ; s = h( s), and it follows that, (7) f(x) = g(x)h() d f(s) = g(s) h( s) The integral in (7) is also referred to as a scale mixture. Another basic property we shall use is the scaling property : (8) M [f(ax) ; s = a s f(s) Thus far, we have only considered functions for which x k f(x) L(, ) for some k R. In order to justify the use of transforms of functions like cos(x), for which x k f(x) is not absolutely integrable for any k R, we require the following theorem [5, Thm. 3, which applies to functions for which there exists a k R such that x k +it f(x) is uniformly integrable with respect to t. Theorem. Let the integral xs f(x) dx f(s) be uniformly convergent (as the limits are approached independently) for s = k + it, t in any finite interval. Then, (9) πi lim λ k+iλ k iλ ( t λ for all x > such that f(x+) and f(x ) exist. ) x s f(s) ds = f(x+) + f(x ) We can take (9) as the most general definition of the Mellin inverse since the C() summation in (9) is equivalent to the ordinary summation in (5) when the latter exists. Like the Laplace transform, the Mellin transform can be used to convert integrodifferential equations into algebraic equations. We use in particular the following relation. Let D denote the differential operator. The transform of the operator D n is given by, () M [D n f(x) ; s = ( ) n Γ(s) Γ(s n) f(s n) and from (6), we have, () M [( x) n D n f(x) ; s = Γ(s + n) Γ(s) These formulae are valid for negative n, where D n I n denotes the nth iterated integral, where I x. For example, if f is integrable on (, x), we have, [ x () M f(t) dt ; s = s f(s + ) For f integrable on (x, ), t >, we have, [ (3) M f(t) dt ; s = s f(s + ) x We will also use the following result on differentiation in the transform domain, (4) M [(log x) n f(x) ; s = dn ds n f(s) f(s)
4 4 J. A. PALMER Regarding the Mellin transform of Stieltjes integrals, we note that if µ is nondecreasing and bounded on (, ), and µ(x) is O(x ɛ ), ɛ >, as x, then µ(s) exists for < Re(s) < ɛ, and, (5) x s dµ(x) = (s ) µ(s ) in this region. We define the class of functions M k, k R, to consist of all real-valued functions on (, ) such that either (i) x k f(x) is absolutely integrable on (, ), or (ii) f is bounded on [, ), and x k +it f(x) dx is uniformly convergent for t in any finite interval. If f M k, then M [M [f(x) ; s ; x = f(x) at all points of continuity of f, where the contour integral is taken on the line Re(s) = k. Based on the preceding, we formulate the following theorem for the type of scale mixture considered in the sequel. Lemma. If f, g M k for some k R, then there exists a function µ nondecreasing and bounded on (, ) such that, (6) f(x) = if and only if, (7) M [ s is non-decreasing and bounded on (, ). g(x) dµ() f( s) g( s) ; x Suppose that (6) holds with µ non-decreasing and bounded on (, ), and let µ(+) =. Note that x s dµ(x) = (s ) µ(s ). We have, [ [ x s g(x) dµ() dx = x s g(x) dx dµ() = s g(s) µ( s) where s = k + it, and the interchange in the order of integration is justified since g M k and thus either g is bounded, in which case the bracketed integral on the left is absolutely convergent, or x k g(x) is absolutely integrable, in which case the bracketed integral on the right is absolutely convergent. Thus, s f( s) g( s) = µ(s) and the Mellin inverse of the left side is equal to µ(x) at all points of continuity of µ, and to (µ(x+) + µ(x ))/ at points of discontinuity, and is thus non-decreasing and bounded. Conversely, suppose that (7) is non-decreasing and bounded on [, ). Then We assume in the sequel that any non-decreasing bounded function µ used in an integral satisfies µ() = and is thus uniquely determined at points of continuity.. Differential criteria for scale-mixture representations The derivation of differential criteria for the representation of functions as scalemixtures is based on the
5 DIFFERENTIAL CRITERIA FOR POSITIVE DEFINITENESS 5.. Multiply monotone functions. A function is defined to be n-times monotone, n, if ( ) n f (n ) (x) is non-negative, non-increasing, and convex for x >. It is shown in [3 that an n-times monotone function f can be represented in the form, (8) f(t) = ( ut) n + dγ(u) where γ(t) is non-decreasing, and (a) + max(a, ). The argument in [3 is based on the integration by parts development of the Taylor series expansion of f. Alternatively, using Lemma to invert (8), we have (9) γ(t) = M [ ( s f( s) M [ ( t) n + ; s ) ; t at all points of continuity. For the Mellin transform of ( t) n +, we have, M [ ( t) n + ; s = t s ( t) n dt = Γ(s)Γ(n) Γ(s + n) where we identify the integral as the Beta function. Noting that M [ γ( s) ; t = γ(t ), we have for (9), ( ) () γ = t Γ(n) M [ Γ(s + n) f(s) ; t s Γ(s) Using (3), (5), and () we have, [ M ( u) n df (n ) (u) ; s = s ( )n u s+n df (n ) (u) t = s Using this in (), we have, () γ(t) = Γ(n) /t ( )(s + n )Γ(s + n ) Γ(s) ( u) n df (n ) (u) = Γ(n) f(s) = s t Γ(s + n) Γ(s) + ( u) n df (n ) f(s) ( ) u which is equivalent to equation. of [3. Thus f is n-times monotone if and only if γ(t) defined by () is non-decreasing, i.e. f (n ) (t) is non decreasing on (, )... Complete monotonicity. A function is defined to be completely monotonic if it satisfies the inequalities f (n) (x) for x >, n =,...,. The Bernstein- Widder theorem states that a function f is completely monotonic if and only if it can be represented in the form, () f(x) = with µ non-decreasing on (, ).gh e tx dµ(t) Lemma. f is completely monotonic on (, ) if and only if (3) M [Γ(s) f(s) ; t is non-decreasing and bounded on (, ).
6 6 J. A. PALMER 3. Positive definiteness on R n Let P n denote the class of functions positive definite on R n. Schoenberg [ used the polar representation of radial symmetric functions (functions of x ) and Bochner s theorem to show that a real valued radially symmetric function f on R n is positive definite if and only if f(x) = g( x ) with g(r) = r ν J ν (ru) dα(u) where α(u) is non-decreasing and bounded for u, and ν = (n )/. Using the fact that [4, p. 63, ( ) s (4) M [ r ν J ν (r) ; s Γ = s n/ ( ) n s Γ with Lemma and the scaling property (8), we have, α( n/ u) = M [s Γ( ) n+s Γ ( ) s g( s) ; u at all points of continuity. Lemma 3. f P n if and only if, ( ) πs (5) M [Γ(s) cos f(s) ; t > t Theorem. f P n if and only if XXX P. Theorem. f is positive definite on R if and only if, ) exp ( t f(t) dt x x is completely monotonic. 4. Functions with compact support Substituting x = e z in (3), we see that the Mellin transform is equivalent to the bilateral Laplace transform of f(e x ). Now let f(x) be concentrated on [,, with f() = and f() =. Then the support of f(e x ) is [, ), and the Mellin transform of f is equivalent to the one-sided Laplace transform of f(e x ). Theorem 3. Theorem 4.
7 DIFFERENTIAL CRITERIA FOR POSITIVE DEFINITENESS 7 References [ L. Debnath. Integral transforms and their applications. CRC Press, 995. [ I. J. Schoenberg. Metric spaces and completely monotone functions. Annals of Mathematics, 39(4):8 84, 938. [3 I. J. Schoenberg. Multiply monotone functions and their laplace transforms. Duke Math. J., 3:89 7, 956. [4 I. N. Sneddon. The use of integral transforms. McGraw-Hill, 97. [5 E. C. Titchmarsh. Introduction to the theory of Fourier integrals. Oxford: Clarendon Press, nd edition, 948. Electrical and Computer Engineering Dept., Univ. of California San Diego Current address: La Jolla, CA 993 address: japalmer@ucsd.edu
Math 259: Introduction to Analytic Number Theory More about the Gamma function
Math 59: Introduction to Analytic Number Theory More about the Gamma function We collect some more facts about Γs as a function of a complex variable that will figure in our treatment of ζs and Ls, χ.
More informationd(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N
Problem 1. Let f : A R R have the property that for every x A, there exists ɛ > 0 such that f(t) > ɛ if t (x ɛ, x + ɛ) A. If the set A is compact, prove there exists c > 0 such that f(x) > c for all x
More informationA Note on the Differential Equations with Distributional Coefficients
MATEMATIKA, 24, Jilid 2, Bil. 2, hlm. 115 124 c Jabatan Matematik, UTM. A Note on the Differential Equations with Distributional Coefficients Adem Kilicman Department of Mathematics, Institute for Mathematical
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 informationMath 5051 Measure Theory and Functional Analysis I Homework Assignment 3
Math 551 Measure Theory and Functional Analysis I Homework Assignment 3 Prof. Wickerhauser Due Monday, October 12th, 215 Please do Exercises 3*, 4, 5, 6, 8*, 11*, 17, 2, 21, 22, 27*. Exercises marked with
More informationMath 321 Final Examination April 1995 Notation used in this exam: N. (1) S N (f,x) = f(t)e int dt e inx.
Math 321 Final Examination April 1995 Notation used in this exam: N 1 π (1) S N (f,x) = f(t)e int dt e inx. 2π n= N π (2) C(X, R) is the space of bounded real-valued functions on the metric space X, equipped
More informationDepartment of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016
Department of Mathematics, University of California, Berkeley YOUR 1 OR 2 DIGIT EXAM NUMBER GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016 1. Please write your 1- or 2-digit exam number on
More informationAdvanced Calculus Math 127B, Winter 2005 Solutions: Final. nx2 1 + n 2 x, g n(x) = n2 x
. Define f n, g n : [, ] R by f n (x) = Advanced Calculus Math 27B, Winter 25 Solutions: Final nx2 + n 2 x, g n(x) = n2 x 2 + n 2 x. 2 Show that the sequences (f n ), (g n ) converge pointwise on [, ],
More informationMcGill University Math 354: Honors Analysis 3
Practice problems McGill University Math 354: Honors Analysis 3 not for credit Problem 1. Determine whether the family of F = {f n } functions f n (x) = x n is uniformly equicontinuous. 1st Solution: The
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 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 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 informationElementary properties of functions with one-sided limits
Elementary properties of functions with one-sided limits Jason Swanson July, 11 1 Definition and basic properties Let (X, d) be a metric space. A function f : R X is said to have one-sided limits if, for
More informationThe Hilbert Transform and Fine Continuity
Irish Math. Soc. Bulletin 58 (2006), 8 9 8 The Hilbert Transform and Fine Continuity J. B. TWOMEY Abstract. It is shown that the Hilbert transform of a function having bounded variation in a finite interval
More informationENGIN 211, Engineering Math. Laplace Transforms
ENGIN 211, Engineering Math Laplace Transforms 1 Why Laplace Transform? Laplace transform converts a function in the time domain to its frequency domain. It is a powerful, systematic method in solving
More informationSolutions to Tutorial 11 (Week 12)
THE UIVERSITY OF SYDEY SCHOOL OF MATHEMATICS AD STATISTICS Solutions to Tutorial 11 (Week 12) MATH3969: Measure Theory and Fourier Analysis (Advanced) Semester 2, 2017 Web Page: http://sydney.edu.au/science/maths/u/ug/sm/math3969/
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 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 informationNotions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy
Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.
More informationEXISTENCE OF NEUTRAL STOCHASTIC FUNCTIONAL DIFFERENTIAL EQUATIONS WITH ABSTRACT VOLTERRA OPERATORS
International Journal of Differential Equations and Applications Volume 7 No. 1 23, 11-17 EXISTENCE OF NEUTRAL STOCHASTIC FUNCTIONAL DIFFERENTIAL EQUATIONS WITH ABSTRACT VOLTERRA OPERATORS Zephyrinus C.
More information17 The functional equation
18.785 Number theory I Fall 16 Lecture #17 11/8/16 17 The functional equation In the previous lecture we proved that the iemann zeta function ζ(s) has an Euler product and an analytic continuation to the
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 informationMATH 202B - Problem Set 5
MATH 202B - Problem Set 5 Walid Krichene (23265217) March 6, 2013 (5.1) Show that there exists a continuous function F : [0, 1] R which is monotonic on no interval of positive length. proof We know there
More informationRiemann integral and volume are generalized to unbounded functions and sets. is an admissible set, and its volume is a Riemann integral, 1l E,
Tel Aviv University, 26 Analysis-III 9 9 Improper integral 9a Introduction....................... 9 9b Positive integrands................... 9c Special functions gamma and beta......... 4 9d Change of
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 informationEconomics 204 Fall 2011 Problem Set 2 Suggested Solutions
Economics 24 Fall 211 Problem Set 2 Suggested Solutions 1. Determine whether the following sets are open, closed, both or neither under the topology induced by the usual metric. (Hint: think about limit
More informationNotes on uniform convergence
Notes on uniform convergence Erik Wahlén erik.wahlen@math.lu.se January 17, 2012 1 Numerical sequences We begin by recalling some properties of numerical sequences. By a numerical sequence we simply mean
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 informationLEBESGUE MEASURE AND L2 SPACE. Contents 1. Measure Spaces 1 2. Lebesgue Integration 2 3. L 2 Space 4 Acknowledgments 9 References 9
LBSGU MASUR AND L2 SPAC. ANNI WANG Abstract. This paper begins with an introduction to measure spaces and the Lebesgue theory of measure and integration. Several important theorems regarding the Lebesgue
More informationFACULTY OF SCIENCE FINAL EXAMINATION MATHEMATICS MATH 355. Analysis 4. Examiner: Professor S. W. Drury Date: Tuesday, April 18, 2006 INSTRUCTIONS
FACULTY OF SCIENCE FINAL EXAMINATION MATHEMATICS MATH 355 Analysis 4 Examiner: Professor S. W. Drury Date: Tuesday, April 18, 26 Associate Examiner: Professor K. N. GowriSankaran Time: 2: pm. 5: pm. INSTRUCTIONS
More informationOrdinary Differential Equations. Session 7
Ordinary Differential Equations. Session 7 Dr. Marco A Roque Sol 11/16/2018 Laplace Transform Among the tools that are very useful for solving linear differential equations are integral transforms. An
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 information1 Assignment 1: Nonlinear dynamics (due September
Assignment : Nonlinear dynamics (due September 4, 28). Consider the ordinary differential equation du/dt = cos(u). Sketch the equilibria and indicate by arrows the increase or decrease of the solutions.
More informationHalf of Final Exam Name: Practice Problems October 28, 2014
Math 54. Treibergs Half of Final Exam Name: Practice Problems October 28, 24 Half of the final will be over material since the last midterm exam, such as the practice problems given here. The other half
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 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 informationOn a weighted total variation minimization problem
On a weighted total variation minimization problem Guillaume Carlier CEREMADE Université Paris Dauphine carlier@ceremade.dauphine.fr Myriam Comte Laboratoire Jacques-Louis Lions, Université Pierre et Marie
More informationReal Analysis, October 1977
Real Analysis, October 1977 1. Prove that the sequence 2, 2 2, 2 2 2,... converges and find its limit. 2. For which real-x does x n lim n 1 + x 2n converge? On which real sets is the convergence uniform?
More informationPartial Differential Equations, 2nd Edition, L.C.Evans Chapter 5 Sobolev Spaces
Partial Differential Equations, nd Edition, L.C.Evans Chapter 5 Sobolev Spaces Shih-Hsin Chen, Yung-Hsiang Huang 7.8.3 Abstract In these exercises always denote an open set of with smooth boundary. As
More informationReflected Brownian Motion
Chapter 6 Reflected Brownian Motion Often we encounter Diffusions in regions with boundary. If the process can reach the boundary from the interior in finite time with positive probability we need to decide
More informationMATH 104 : Final Exam
MATH 104 : Final Exam 10 May, 2017 Name: You have 3 hours to answer the questions. You are allowed one page (front and back) worth of notes. The page should not be larger than a standard US letter size.
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 information2 (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 informationANALYTIC SEMIGROUPS AND APPLICATIONS. 1. Introduction
ANALYTIC SEMIGROUPS AND APPLICATIONS KELLER VANDEBOGERT. Introduction Consider a Banach space X and let f : D X and u : G X, where D and G are real intervals. A is a bounded or unbounded linear operator
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 informationPositive definite functions, completely monotone functions, the Bernstein-Widder theorem, and Schoenberg s theorem
Positive definite functions, completely monotone functions, the Bernstein-Widder theorem, and Schoenberg s theorem Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto June
More informationOn an iteration leading to a q-analogue of the Digamma function
On an iteration leading to a q-analogue of the Digamma function Christian Berg and Helle Bjerg Petersen May, 22 Abstract We show that the q-digamma function ψ q for < q < appears in an iteration studied
More informationn E(X t T n = lim X s Tn = X s
Stochastic Calculus Example sheet - Lent 15 Michael Tehranchi Problem 1. Let X be a local martingale. Prove that X is a uniformly integrable martingale if and only X is of class D. Solution 1. If If direction:
More information3 hours UNIVERSITY OF MANCHESTER. 22nd May and. Electronic calculators may be used, provided that they cannot store text.
3 hours MATH40512 UNIVERSITY OF MANCHESTER DYNAMICAL SYSTEMS AND ERGODIC THEORY 22nd May 2007 9.45 12.45 Answer ALL four questions in SECTION A (40 marks in total) and THREE of the four questions in SECTION
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 informationPart II Probability and Measure
Part II Probability and Measure Theorems Based on lectures by J. Miller Notes taken by Dexter Chua Michaelmas 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly)
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 informationh(x) lim H(x) = lim Since h is nondecreasing then h(x) 0 for all x, and if h is discontinuous at a point x then H(x) > 0. Denote
Real Variables, Fall 4 Problem set 4 Solution suggestions Exercise. Let f be of bounded variation on [a, b]. Show that for each c (a, b), lim x c f(x) and lim x c f(x) exist. Prove that a monotone function
More informationThree hours THE UNIVERSITY OF MANCHESTER. 24th January
Three hours MATH41011 THE UNIVERSITY OF MANCHESTER FOURIER ANALYSIS AND LEBESGUE INTEGRATION 24th January 2013 9.45 12.45 Answer ALL SIX questions in Section A (25 marks in total). Answer THREE of the
More information(B(t i+1 ) B(t i )) 2
ltcc5.tex Week 5 29 October 213 Ch. V. ITÔ (STOCHASTIC) CALCULUS. WEAK CONVERGENCE. 1. Quadratic Variation. A partition π n of [, t] is a finite set of points t ni such that = t n < t n1
More informationf(x) f(z) c x z > 0 1
INVERSE AND IMPLICIT FUNCTION THEOREMS I use df x for the linear transformation that is the differential of f at x.. INVERSE FUNCTION THEOREM Definition. Suppose S R n is open, a S, and f : S R n is a
More informationAnalysis Comprehensive Exam, January 2011 Instructions: Do as many problems as you can. You should attempt to answer completely some questions in both
Analysis Comprehensive Exam, January 2011 Instructions: Do as many problems as you can. You should attempt to answer completely some questions in both real and complex analysis. You have 3 hours. Real
More informationCOMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM
COMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM A metric space (M, d) is a set M with a metric d(x, y), x, y M that has the properties d(x, y) = d(y, x), x, y M d(x, y) d(x, z) + d(z, y), x,
More informationAP Calculus Testbank (Chapter 9) (Mr. Surowski)
AP Calculus Testbank (Chapter 9) (Mr. Surowski) Part I. Multiple-Choice Questions n 1 1. The series will converge, provided that n 1+p + n + 1 (A) p > 1 (B) p > 2 (C) p >.5 (D) p 0 2. The series
More informationEconomics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011
Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011 Section 2.6 (cont.) Properties of Real Functions Here we first study properties of functions from R to R, making use of the additional structure
More informationLet R be the line parameterized by x. Let f be a complex function on R that is integrable. The Fourier transform ˆf = F f is. e ikx f(x) dx. (1.
Chapter 1 Fourier transforms 1.1 Introduction Let R be the line parameterized by x. Let f be a complex function on R that is integrable. The Fourier transform ˆf = F f is ˆf(k) = e ikx f(x) dx. (1.1) It
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 informationMath 421, Homework #9 Solutions
Math 41, Homework #9 Solutions (1) (a) A set E R n is said to be path connected if for any pair of points x E and y E there exists a continuous function γ : [0, 1] R n satisfying γ(0) = x, γ(1) = y, and
More informationThus f is continuous at x 0. Matthew Straughn Math 402 Homework 6
Matthew Straughn Math 402 Homework 6 Homework 6 (p. 452) 14.3.3, 14.3.4, 14.3.5, 14.3.8 (p. 455) 14.4.3* (p. 458) 14.5.3 (p. 460) 14.6.1 (p. 472) 14.7.2* Lemma 1. If (f (n) ) converges uniformly to some
More informationINTEGRAL TRANSFORMS and THEIR APPLICATIONS
INTEGRAL TRANSFORMS and THEIR APPLICATIONS Lokenath Debnath Professor and Chair of Mathematics and Professor of Mechanical and Aerospace Engineering University of Central Florida Orlando, Florida CRC Press
More informationEXTENDED RECIPROCAL ZETA FUNCTION AND AN ALTERNATE FORMULATION OF THE RIEMANN HYPOTHESIS. M. Aslam Chaudhry. Received May 18, 2007
Scientiae Mathematicae Japonicae Online, e-2009, 05 05 EXTENDED RECIPROCAL ZETA FUNCTION AND AN ALTERNATE FORMULATION OF THE RIEMANN HYPOTHESIS M. Aslam Chaudhry Received May 8, 2007 Abstract. We define
More informationQUADRUPLE INTEGRAL EQUATIONS INVOLVING FOX S H-FUNCTIONS. 1.Dept. of Mathematics, Saifia Science College, Bhopal, (M.P.), INDIA
QUADRUPLE INTEGRAL EQUATIONS INVOLVING FOX S H-FUNCTIONS Mathur 1, P.K & Singh 2, Anjana 1.Dept. of Mathematics, Saifia Science College, Bhopal, (M.P.), INDIA 2.Dept. of Mathematics,Rajeev Gandhi Engineering
More information1.1. The category of Banach spaces. A Banach space E over F is a complete normed vector space where F = R or C. This means that
BANACH CALCULUS CHIN-LUNG WANG Abstract. This is part of my lecture notes for Honored Advanced Calculus at National Taiwan University in 211-212. We prove the inverse function theorem for Banach spaces
More informationMATH 590: Meshfree Methods
MATH 590: Meshfree Methods Chapter 5: Completely Monotone and Multiply Monotone Functions Greg Fasshauer Department of Applied Mathematics Illinois Institute of Technology Fall 2010 fasshauer@iit.edu MATH
More informationON THE REPRESENTATION THEOREM BY THE LAPLACE TRANSFORMATION OF VECTOR-VALUED FUNCTIONS. ISAO MlYADERA. (Received February 18, 1956)
ON THE REPRESENTATION THEOREM BY THE LAPLACE TRANSFORMATION OF VECTOR-VALUED FUNCTIONS ISAO MlYADERA (Received February 18, 1956) 1. Introduction. The theory of the Laplace integral of vector-valued functions
More informationMATH 307: Problem Set #7
MATH 307: Problem Set #7 Due on: Feb 11, 2016 Problem 1 First-order Variation of Parameters The method of variation of parameters uses the homogeneous solutions of a linear ordinary differential equation
More informatione st f (t) dt = e st tf(t) dt = L {t f(t)} s
Additional operational properties How to find the Laplace transform of a function f (t) that is multiplied by a monomial t n, the transform of a special type of integral, and the transform of a periodic
More informationOutline. Asymptotic Expansion of the Weyl-Titchmarsh m Function. A Brief Overview of Weyl Theory I. The Half-Line Sturm-Liouville Problem
Outline of the Weyl-Titchmarsh m Function A Qualifying Exam April 27, 21 The goal for this talk is to present the asymptotic expansion for the Weyl-Titchmarsh m-function as described in Levitan and Danielyan,
More informationOn some positive definite functions
isid/ms/205/0 September 2, 205 http://www.isid.ac.in/ statmath/index.php?module=preprint On some positive definite functions Rajendra Bhatia and Tanvi Jain Indian Statistical Institute, Delhi Centre 7,
More informationMath 229: Introduction to Analytic Number Theory The product formula for ξ(s) and ζ(s); vertical distribution of zeros
Math 9: Introduction to Analytic Number Theory The product formula for ξs) and ζs); vertical distribution of zeros Behavior on vertical lines. We next show that s s)ξs) is an entire function of order ;
More informationL p Functions. Given a measure space (X, µ) and a real number p [1, ), recall that the L p -norm of a measurable function f : X R is defined by
L p Functions Given a measure space (, µ) and a real number p [, ), recall that the L p -norm of a measurable function f : R is defined by f p = ( ) /p f p dµ Note that the L p -norm of a function f may
More informationYunhi Cho and Young-One Kim
Bull. Korean Math. Soc. 41 (2004), No. 1, pp. 27 43 ANALYTIC PROPERTIES OF THE LIMITS OF THE EVEN AND ODD HYPERPOWER SEQUENCES Yunhi Cho Young-One Kim Dedicated to the memory of the late professor Eulyong
More informationMath 480 The Vector Space of Differentiable Functions
Math 480 The Vector Space of Differentiable Functions The vector space of differentiable functions. Let C (R) denote the set of all infinitely differentiable functions f : R R. Then C (R) is a vector space,
More information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More informationDefining the Integral
Defining the Integral In these notes we provide a careful definition of the Lebesgue integral and we prove each of the three main convergence theorems. For the duration of these notes, let (, M, µ) be
More informationINTRODUCTION TO REAL ANALYSIS II MATH 4332 BLECHER NOTES
INTRODUCTION TO REAL ANALYSIS II MATH 433 BLECHER NOTES. As in earlier classnotes. As in earlier classnotes (Fourier series) 3. Fourier series (continued) (NOTE: UNDERGRADS IN THE CLASS ARE NOT RESPONSIBLE
More informationLebesgue s Differentiation Theorem via Maximal Functions
Lebesgue s Differentiation Theorem via Maximal Functions Parth Soneji LMU München Hütteseminar, December 2013 Parth Soneji Lebesgue s Differentiation Theorem via Maximal Functions 1/12 Philosophy behind
More informationMath 4121 Spring 2012 Weaver. Measure Theory. 1. σ-algebras
Math 4121 Spring 2012 Weaver Measure Theory 1. σ-algebras A measure is a function which gauges the size of subsets of a given set. In general we do not ask that a measure evaluate the size of every subset,
More informationTHE INVERSE FUNCTION THEOREM
THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)
More informationNotation. General. Notation Description See. Sets, Functions, and Spaces. a b & a b The minimum and the maximum of a and b
Notation General Notation Description See a b & a b The minimum and the maximum of a and b a + & a f S u The non-negative part, a 0, and non-positive part, (a 0) of a R The restriction of the function
More informationNATIONAL BOARD FOR HIGHER MATHEMATICS. Research Awards Screening Test. February 25, Time Allowed: 90 Minutes Maximum Marks: 40
NATIONAL BOARD FOR HIGHER MATHEMATICS Research Awards Screening Test February 25, 2006 Time Allowed: 90 Minutes Maximum Marks: 40 Please read, carefully, the instructions on the following page before you
More informationTHE STONE-WEIERSTRASS THEOREM AND ITS APPLICATIONS TO L 2 SPACES
THE STONE-WEIERSTRASS THEOREM AND ITS APPLICATIONS TO L 2 SPACES PHILIP GADDY Abstract. Throughout the course of this paper, we will first prove the Stone- Weierstrass Theroem, after providing some initial
More informationRudin Real and Complex Analysis - Harmonic Functions
Rudin Real and Complex Analysis - Harmonic Functions Aaron Lou December 2018 1 Notes 1.1 The Cauchy-Riemann Equations 11.1: The Operators and Suppose f is a complex function defined in a plane open set
More informationNotes on the Lebesgue Integral by Francis J. Narcowich November, 2013
Notes on the Lebesgue Integral by Francis J. Narcowich November, 203 Introduction In the definition of the Riemann integral of a function f(x), the x-axis is partitioned and the integral is defined in
More informationReal Analysis Qualifying Exam May 14th 2016
Real Analysis Qualifying Exam May 4th 26 Solve 8 out of 2 problems. () Prove the Banach contraction principle: Let T be a mapping from a complete metric space X into itself such that d(tx,ty) apple qd(x,
More informationLecture 4: Fourier Transforms.
1 Definition. Lecture 4: Fourier Transforms. We now come to Fourier transforms, which we give in the form of a definition. First we define the spaces L 1 () and L 2 (). Definition 1.1 The space L 1 ()
More informationThird In-Class Exam Solutions Math 246, Professor David Levermore Thursday, 3 December 2009 (1) [6] Given that 2 is an eigenvalue of the matrix
Third In-Class Exam Solutions Math 26, Professor David Levermore Thursday, December 2009 ) [6] Given that 2 is an eigenvalue of the matrix A 2, 0 find all the eigenvectors of A associated with 2. Solution.
More informationlim when the limit on the right exists, the improper integral is said to converge to that limit.
hapter 7 Applications of esidues - evaluation of definite and improper integrals occurring in real analysis and applied math - finding inverse Laplace transform by the methods of summing residues. 6. Evaluation
More informationf(s) e -i n π s/l d s
Pointwise convergence of complex Fourier series Let f(x) be a periodic function with period l defined on the interval [,l]. The complex Fourier coefficients of f( x) are This leads to a Fourier series
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 informationBasics of Stochastic Analysis
Basics of Stochastic Analysis c Timo Seppäläinen This version November 16, 214 Department of Mathematics, University of Wisconsin Madison, Madison, Wisconsin 5376 E-mail address: seppalai@math.wisc.edu
More informationMath 5051 Measure Theory and Functional Analysis I Homework Assignment 2
Math 551 Measure Theory and Functional nalysis I Homework ssignment 2 Prof. Wickerhauser Due Friday, September 25th, 215 Please do Exercises 1, 4*, 7, 9*, 11, 12, 13, 16, 21*, 26, 28, 31, 32, 33, 36, 37.
More informationA TWO PARAMETERS AMBROSETTI PRODI PROBLEM*
PORTUGALIAE MATHEMATICA Vol. 53 Fasc. 3 1996 A TWO PARAMETERS AMBROSETTI PRODI PROBLEM* C. De Coster** and P. Habets 1 Introduction The study of the Ambrosetti Prodi problem has started with the paper
More informationLinear Ordinary Differential Equations
MTH.B402; Sect. 1 20180703) 2 Linear Ordinary Differential Equations Preliminaries: Matrix Norms. Denote by M n R) the set of n n matrix with real components, which can be identified the vector space R
More informationRecall that the Fourier transform (also known as characteristic function) of a random variable always exists, given by. e itx f(x)dx.
I am going to talk about algebraic calculations of random variables: i.e. how to add, subtract, multiply, divide random variables. A main disadvantage is that complex analysis is used often, but I will
More information