The Fourier transform and finite differences: an exposition and proof. of a result of Gary H. Meisters and Wolfgang M. Schmidt
|
|
- Dwain Robinson
- 5 years ago
- Views:
Transcription
1 he Fourier transform and finite differences: an exposition and proof of a result of Gary H. Meisters and Wolfgang M. Schmidt Rodney Nillsen, University of Wollongong, New South Wales 1. Introduction. In 1972, Gary H. Meisters and Wolfgang M. Schmidt [4] proved an elegant and remarkable result concerning Fourier analysis on the circle group, which is the set of complex numbers of modulus 1. We denote the normalised Haar measure on by µ. hat is, for an integrable, complex-valued function f on, f dµ = 1 2π fe it ) dt. 2π 0 he space L 2 ) is the family of functions f on such that f 2 dµ <. Meisters and Schmidt proved that if a function f in L 2 ) has the property that f dµ = 0, then f is of the form 3 f j δ bj f j ), for suitable f 1, f 2, f 3 in L 2 ) and b 1, b 2, b 3 in, where δ b denotes the Dirac measure at b and denotes convolution. Note that δ b f is the function z fb 1 z) on and is called the translation of f by b. hey deduced that every linear form on L 2 ) such that δ a f) = f) for all a and all f in L 2 ) must be continuous. hese results of Meisters and Schmidt were generalized further on in [6], and to the non-compact case of R in [6, 7]. Meisters and Schmidt actually presented their results in the context of compact abelian groups and spaces of abstract distributions. he present purpose is to give a more accessible proof in the case of the circle group and L 2 ) only, with the intention as well of incorporating the more general results in [6]. he motivation for doing this was research work carried out recently with Susumu Okada [9], which makes central use of the main result presented here. he presentation is based on classical measure theory and the Fourier transform in the space L 2 ) of the circle group. he techniques are those of Meisters and Schmidt in all essentials, although they are used to obtain a more general result. As mentioned, consists of all numbers z C such that z = 1. We can identify with the interval [0, 2π) by means of the one-to-one and onto mapping x e ix from [0, 2π) to. Statements about may be expressed as equivalent statements about the interval [0, 2π). Suitable sources for background knowledge in integration theory and Fourier analysis may be found in [1, 2, 10], for example. he discussion also makes use of the integration of functions in multivariate analysis. he symbols N, Z, R and C, respectively denote the sets consisting of the positive integers, the integers, the real numbers and the complex numbers. 2. Notation and statement of the main theorem. Let M) denote the set of regular Borel measures on. hen, M) has an operation of convolution, which we denote by. If λ M), λ n denotes the measure λ λ λ, where λ appears n times. If b, 1
2 δ b M) denotes the Dirac measure at b. As above, the normalised Haar measure on is denoted by µ, and µ M). If λ M) and f L 2 ), then f λ L 2 ) and f λx) = fz 1 x)dλz), for almost all x. If s N and b put µ b,s = δ 1 δ b ) s. A function in L 2 ) is called a difference of order s if it is of the form µ b,s g, for some g L 2 ) and some b. he vector space of functions that are finite sums of differences of order s is denoted by D s L 2 )). Note that a difference of order 1 is a function of the form g δ b g for some b and g L 2 ). Also, a difference of order 2 is a function of the form g 2 1 δ b + δ b ) g for some b and g L 2 ). HE MAIN HEOREM. Let s N. hen, D s L 2 )) is independent of s and, in fact, { } D s L 2 )) = f : f L 2 ) and f du = 0. Also, if f D s L 2 )), f is equal to a sum of 2s + 1 differences of order s. he heorem was proved in the case of s = 1 by G. Meisters and W. Schmidt [1]. hus, they proved: a function in L 2 ) is a sum of three differences of order 1 if and only if f dµ = 0. An immediate consequence of this is: if is a linear form on L2 ) such that δ b f) = f) for all f L 2 ) and all b, then is a multiple of the Haar measure on and is therefore continuous. However, Meisters showed in [5] that the corresponding statement fails when the non-compact group R replaces the compact group. 3. he Fourier transform. he Fourier transform for the circle group is an essential concept in the proof of he Main heorem. If λ M), the Fourier transform of λ is the function λ on Z given by λn) = z n dλz), for n Z. Now L 2 ) M), and the Fourier transform is a Hilbert space isometry from L 2 ) onto l 2 Z). If λ, ν M), λ ν) c = λ ν. If b, δ b n) = b n. Note that the condition on f in he Main heorem above, namely that f dµ = 0, is equivalent to the condition f0) = Preliminary results. he main obstacle to proceeding is that we have no way of deciding whether a function is a finite sum of differences of order s. he way out is given by a result of Meisters and Schmidt [4], which changes the problem into a question of whether certain integrals are convergent or divergent. We then obtain estimates on these integrals to obtain our results. Our approach here is the same as in [4], the main difference being that we consider differences of order s, not only s = 1, and a corresponding larger class of integrals. In places like equation 1) below, and elsewhere, formal expressions of the form 0/0 and x/0 for some x > 0 may occur. We take 0/0 to be 0 and x/0 to be is such cases. 2
3 heorem 1. Let f L 2 ), let r N and let µ 1, µ 2,..., µ r M). hen the following statements hold. If fn) 2 r µ <, 1) 2 jn) n= then f = r µ j f j, for some f 1, f 2,..., f r L 2 ). he converse statement is also true. Proof. Let f L 2 ), let r N and let µ 1, µ 2,..., µ r M) be such that 1) holds. hen define { } hn) = max µ 1 n)), µ 2 n),..., µ r n), for each n Z. hen define subsets B 0, B 1,..., B r of Z, as follows: we put { } B 0 = n : n Z and hn) = 0, and then { } B j = n : n Z, n j 1 k=0 B k and hn) = µ j n) for j = 1, 2,..., r. he sets B 0, B 1,..., B r are disjoint and their union is Z. Note that if n B j for some j {1, 2,..., r}, then µ j n) = hn) > 0. hus, for j {1, 2,..., r}, a complex-valued function h j may be defined on Z by fn) h j n) = µ j n), if n B j; 0, if x B j. hen, for j {1, 2,..., r}, n Z h j n) 2 = n B j fn) 2 µ j n) 2, = r n Z r n Z <. 1 r fn) 2 [max{ µ 1 n) 2,..., µ r n) 2 }], fn) 2 r µ jn) 2, Hence h j l 2 Z). By the Riesz-Fischer heorem, there is f j L 2 R) such that f j = h j, for all j = 1, 2,..., r. he definition of h j gives fn) = µ j n)h j n) = µ j n) f j n), for all n B j. Now, note that B 0, B 1,..., B r are disjoint and have union equal to Z. Also, f j = 0 on B k if j k, and f = 0 on B 0. It follows that, on Z,, f = r µ j fj = r r ) c µ j f j ) c = µ j f j. 3
4 As functions that have equal Fourier transforms must be equal, we have the required identity f = r µ j f j. As mentioned above, the converse statement in heorem 1 is true, but it is not needed here and is not proved for further details see [4, pages ] and [6, pages 77-78]). Lemma 1. If x [0, π], x π sin x 2. Proof. Observe that x sin x/x is decreasing on 0, π/2]. So, we see that for all 0 x π, Lemma 2. Let s, m N with m > 2s. hen we have: m < and [0,1) m x2s j sin x 2 x/2 π/2 = x π. 0,2π) m m sin2s x j /2) <. Proof. Let m > 2s, let S m 1 denote the surface of the unit sphere in R m, and let σ m 1 denote the usual surface measure on S m 1. Observe that if x 1, x 2,..., x m ) [0, 1) m, then Also, there is c > 0 such that s xj) 2 c 1/2 xj) 2 m. m x 2s j, for all x 1, x 2,..., x m ) R m. hus, we have m [0,1) m x2s j c m m ) s [0,1) m c x2 j m Sm 1 r m 1 0 = c σ m 1 S m 1 ) r 2s m 0 dσ m 1 dr r m 2s 1 dr <, 2) because m > 2s. So we that the first-mentioned integral is finite. 4
5 When we come to the second integral, observe that for any function f on [0, 2π) m, fx 1, x 2,..., x m ) m = fx 1, x 2,..., x m )dx 1 dx 2..., dx m, 3) [0,2π) m J 1 J m J 1,J 2,...,J m where the sum is taken over all 2 m combinations of intervals J 1, J 2,..., J m where for each j, J j = [0, π) or J j = [π, 2π). Now if p + q = m we have [0,π) p [π,2π) q m sin2s x j /2) = = [0,π) p [0,π) q [0,π) p+q dx 1... dx p du 1... du q p sin2s x j /2) + q dx 1... dx m sin2s x j /2) sin2s 2π u j )/2) π 2s dx 1... dx m, using Lemma 1, [0,π) m x2s j = π m+2s dx 1... dx m, on putting x j /π in placed of x j, [0,1) m x2s j <, 4) upon using 2) and as m > 2s. We now see from 3) and 4) that for m > 2s, m sin2s x j /2) 2m π m+2s dx 1... dx m <. [0,1) m x2s [0,2π) m 5. Proof of he Main heorem. We have to show that a function f in L 2 ) is a finite sum of differences of order s if and only if f0) = 0. When this holds we have to show we need at most 2s + 1 differences of order s. First: the easy part. Let f D s L 2 )); we prove f0) = 0. For n Z, s N and b, s µ b,s n) = [δ 1 δ b ) s ] c n) = δ 1 δ b ) n)) c = 1 b n ) s. 5) However, if f is a sum of q differences of order s, there are b 1, b 2,..., b q and f 1, f 2,..., f q L 2 ) such that f = q µ b j,s f j. hen, by 5), fn) = q µ bj,sn) f j n) = q j 1 b n j ) s fj n). 6) Now, putting n = 0 means that 1 b n j = 1 1 = 0, so we deduce from 6) that f0) = 0. hus, if f is a finite sum of differences of order s, f0) = 0. Alternatively we can say that f D s L 2 R)) implies that f0) = 0, as required. Second: we prove the hard part. We show that if f L 2 ) and f0) = 0, then f is a sum of 2s + 1 differences of order s. Let n Z and n 0. Observe that if m N, and if µ m is the normalised Haar measure on m then for all n Z with n 0, and for f L 1 m ), fz1 n, z2 n,..., zm) n dµ m z 1, z 2,..., z m ) = fz 1, z 2,..., z m ) dµ m z 1, z 2,..., z m ). m m 5
6 he reason is that both sides define an invariant integral on m and so they must be equal by the uniqueness of the Haar integral. So, for all n Z with n 0, and for f L 1 m ), fz1 n, z2 n,..., zm) n dµ m z 1, z 2,..., z m ) = 1 2π) m fe ix 1, e ix 2,..., e ixm ) m. 7) m 0,2π) m We will use this result with fz 1, z 2,..., z m ) = 1 1 z 1 j. 2s NOW, let n Z with n 0 be given. We have dµ m y 1, y 2,..., y m ) dµ y 1, y 2,..., y m ) m m µ = y j,sn) 2 m m 1 y n j 2s = fz1 n, z2 n,..., zm) n dµ m z 1, z 2..., z m ) m = 1 2π) m fe ix 1, e ix 2,..., e ixm ) m, using 7), 0,2π) m = 1 m 2π) m 1 e ix j 2s = 1 4 <, 1 2π) m 0,2π) m 0,2π) m m sin2s x j /2) using Lemma 2 and the assumption that m > 2s. aking m = 2s + 1 we get that for all n Z with n 0, dµ 2s+1y 1, y 2,..., y 2s+1) 2s+1 2s+1 µ = M <. 8) y j,sn) 2 Note that M does not depend upon n. Now, fn) ) 2 2s+1 2s+1 n=, n 0 µ dµ 2s+1 y 1, y 2,..., y 2s+1 ) y j,sn) 2 ) = fn) 2 dµ 2s+1 y 1, y 2,..., y 2s+1 ) 2s+1 n=, n 0 2s+1 µ y j,sn) 2 M fn) 2, by 8),, <. n=, n 0 We deduce from this that n=, n 0 fn) 2 2s+1 µ y j,sn) 2 <, 6
7 for almost all y 1, y 2,..., y 2s+1 ) in 2s+1. So, by heorem 1, for almost all y 1, y 2,..., y 2s+1 ) in 2s, there are g 1, g 2,..., g 2s+1 L 2 ) such that 2s+1 f = g j µ yj,s g j ). 9) hat is, we have shown that f is a sum of 2s+1 differences of order s. Note that the statement in 9), in that it holds for almost all b 1, b 2,..., b 2s+1 ) 2s+1, has proved more than the original statement in he Main heorem. Summarizing, we have the following. Let s N and f L 2 ). hen, f0) = 0 if and only if f is a sum of 2s + 1 differences of order s. In this case, for almost all b 1, b 2,..., b 2s+1 ) 2s+1, there are f 1, f 2,..., f 2s+1 L 2 ) such that f = 2s+1 δ 1 δ bj ) s f j. 6. Comments and conclusion. he main result mentioned here has analogues on other compact abelian groups apart from see [3, 4, 6]). here are also analogous results for non-compact groups see [6, 7]). here is also the the question as to the sharpness of the result in he Main heorem: if f0) = 0 do we need 2s + 1 differences in general in order to express f as sum of differences of order s, or will fewer suffice? For the space D 1 ), Meisters and Schmidt showed that 3 differences are needed, in general. For the corresponding spaces on the real line, it is shown in [8] that 2s + 1 differences are needed, in general. Acknowledgements. I wish to thank Susumu Okada for his suggestion to write an exposition of this result, and for his assistance in its preparation. Also, I wish to thank my former multivariate analysis student, Michael Van Der Kolff, for kindly pointing out some errors in a draft of this proof. References [1] R. Edwards, Fourier Series, volumes I and II, Holt, Rinehart and Winston, [2] E. Hewitt and K. Ross, Abstract Harmonic Analysis volume 1, Springer Verlag, Berlin, [3] B. Johnson, A proof of the translation invariant form conjecture for L 2 G), Bull. Sci. Math. de France, ), [4] G. Meisters and W. Schmidt, ranslation-invariant linear forms on L 2 G) for compact abelian groups G, Journ. Func. Anal., ), [5] G. Meisters, Some discontinuous translation-invariant linear forms, Journal of Functional Analysis, ), [6] R. Nillsen, Banach spaces of functions and distributions characterized by singular integrals involving the Fourier transform, Journal of Functional Analysis, ), [7] R. Nillsen, Difference Spaces and Invariant Linear Forms, Lecture Notes in Mathematics 1586, Springer Verlag, Berlin, [8] R. Nillsen and S. Okada, Sharp results concerning the expression of functions as sums of finite differences, Proc. Lond. Math. Soc ), [9] R. Nillsen and S. Okada, Aspects of the Fourier transform and finite differences on the circle group, preprint. [10] W. Rudin, Fourier Analysis on Groups, second edition, Interscience McGraw-Hill, New York, c Rodney Nillsen, Wollongong, May,
8 Go to Rod s home page at nillsen/differences on circle Download a pdf version of this paper at differences on circle.pdf Read an intuitive, more informal description of the results on this page at nillsen/differences on circle intuitive Rod s address: nillsen@uow.edu.au his pdf is taken from a LaeX version of the same material on Rod s website. here are no differences in content. 8
A Tilt at TILFs. Rod Nillsen University of Wollongong. This talk is dedicated to Gary H. Meisters
A Tilt at TILFs Rod Nillsen University of Wollongong This talk is dedicated to Gary H. Meisters Abstract In this talk I will endeavour to give an overview of some aspects of the theory of Translation Invariant
More informationFunction spaces and multiplier operators
University of Wollongong Research Online Faculty of Informatics - Papers (Archive Faculty of Engineering and Information Sciences 2001 Function spaces and multiplier operators R. Nillsen University of
More informationNon-Asymptotic Theory of Random Matrices Lecture 4: Dimension Reduction Date: January 16, 2007
Non-Asymptotic Theory of Random Matrices Lecture 4: Dimension Reduction Date: January 16, 2007 Lecturer: Roman Vershynin Scribe: Matthew Herman 1 Introduction Consider the set X = {n points in R N } where
More informationSINGULAR MEASURES WITH ABSOLUTELY CONTINUOUS CONVOLUTION SQUARES ON LOCALLY COMPACT GROUPS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 127, Number 10, Pages 2865 2869 S 0002-9939(99)04827-3 Article electronically published on April 23, 1999 SINGULAR MEASURES WITH ABSOLUTELY CONTINUOUS
More informationAPPROXIMATE WEAK AMENABILITY OF ABSTRACT SEGAL ALGEBRAS
MATH. SCAND. 106 (2010), 243 249 APPROXIMATE WEAK AMENABILITY OF ABSTRACT SEGAL ALGEBRAS H. SAMEA Abstract In this paper the approximate weak amenability of abstract Segal algebras is investigated. Applications
More informationHardy martingales and Jensen s Inequality
Hardy martingales and Jensen s Inequality Nakhlé H. Asmar and Stephen J. Montgomery Smith Department of Mathematics University of Missouri Columbia Columbia, Missouri 65211 U. S. A. Abstract Hardy martingales
More informationErgodic Theory and Topological Groups
Ergodic Theory and Topological Groups Christopher White November 15, 2012 Throughout this talk (G, B, µ) will denote a measure space. We call the space a probability space if µ(g) = 1. We will also assume
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 informationSINGULAR FACTORS ARE RARE
SINGULAR FACORS AR RAR SPHN D. FISHR AND JONAHAN. SHAPIRO Abstract. We prove that for H p functions f(z) andg(z) which have mutually prime singular factors, f(z) wg(z) has a trivial singular inner factor
More informationA. R. SOLTANI AND Z. SHISHEBOR
GEORGIAN MAHEMAICAL JOURNAL: Vol. 6, No. 1, 1999, 91-98 WEAKLY PERIODIC SEQUENCES OF BOUNDED LINEAR RANSFORMAIONS: A SPECRAL CHARACERIZAION A. R. SOLANI AND Z. SHISHEBOR Abstract. Let X and Y be two Hilbert
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 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 informationTHIRD SEMESTER M. Sc. DEGREE (MATHEMATICS) EXAMINATION (CUSS PG 2010) MODEL QUESTION PAPER MT3C11: COMPLEX ANALYSIS
THIRD SEMESTER M. Sc. DEGREE (MATHEMATICS) EXAMINATION (CUSS PG 2010) MODEL QUESTION PAPER MT3C11: COMPLEX ANALYSIS TIME:3 HOURS Maximum weightage:36 PART A (Short Answer Type Question 1-14) Answer All
More informationAPPLICATION OF A RIESZ-TYPE FORMULA TO WEIGHTED BERGMAN SPACES
PROCEEINGS OF HE AMERICAN MAHEMAICAL SOCIEY Volume 131, Number 1, Pages 155 164 S 000-99390)06491- Article electronically published on May 13, 00 APPLICAION OF A RIESZ-YPE FORMULA O WEIGHE BERGMAN SPACES
More informationA brief introduction to p-adic numbers
arxiv:math/0301035v2 [math.ca] 7 Jan 2003 A brief introduction to p-adic numbers Stephen Semmes Abstract In this short survey we look at a few basic features of p-adic numbers, somewhat with the point
More informationON LIPSCHITZ-LORENTZ SPACES AND THEIR ZYGMUND CLASSES
Hacettepe Journal of Mathematics and Statistics Volume 39(2) (2010), 159 169 ON LIPSCHITZ-LORENTZ SPACES AND THEIR ZYGMUND CLASSES İlker Eryılmaz and Cenap Duyar Received 24:10 :2008 : Accepted 04 :01
More informationHAIYUN ZHOU, RAVI P. AGARWAL, YEOL JE CHO, AND YONG SOO KIM
Georgian Mathematical Journal Volume 9 (2002), Number 3, 591 600 NONEXPANSIVE MAPPINGS AND ITERATIVE METHODS IN UNIFORMLY CONVEX BANACH SPACES HAIYUN ZHOU, RAVI P. AGARWAL, YEOL JE CHO, AND YONG SOO KIM
More informationExistence and Uniqueness of Anti-Periodic Solutions for Nonlinear Higher-Order Differential Equations with Two Deviating Arguments
Advances in Dynamical Systems and Applications ISSN 973-531, Volume 7, Number 1, pp. 19 143 (1) http://campus.mst.edu/adsa Existence and Uniqueness of Anti-Periodic Solutions for Nonlinear Higher-Order
More information1 Orthonormal sets in Hilbert space
Math 857 Fall 15 1 Orthonormal sets in Hilbert space Let S H. We denote by [S] the span of S, i.e., the set of all linear combinations of elements from S. A set {u α : α A} is called orthonormal, if u
More informationTHE NEARLY ADDITIVE MAPS
Bull. Korean Math. Soc. 46 (009), No., pp. 199 07 DOI 10.4134/BKMS.009.46..199 THE NEARLY ADDITIVE MAPS Esmaeeil Ansari-Piri and Nasrin Eghbali Abstract. This note is a verification on the relations between
More informationOn the Mutually Commuting n-tuples. in Compact Groups
International Journal of Algebra, Vol. 1, 2007, no. 6, 251-262 On the Mutually Commuting n-tuples in Compact roups A. Erfanian and R. Kamyabi-ol Centre of Excellency in Analysis on Algebraic Structures
More informationON SOME RESULTS ON LINEAR ORTHOGONALITY SPACES
ASIAN JOURNAL OF MATHEMATICS AND APPLICATIONS Volume 2014, Article ID ama0155, 11 pages ISSN 2307-7743 http://scienceasia.asia ON SOME RESULTS ON LINEAR ORTHOGONALITY SPACES KANU, RICHMOND U. AND RAUF,
More informationShift Invariant Spaces and Shift Generated Dual Frames for Local Fields
Communications in Mathematics and Applications Volume 3 (2012), Number 3, pp. 205 214 RGN Publications http://www.rgnpublications.com Shift Invariant Spaces and Shift Generated Dual Frames for Local Fields
More informationCONVOLUTION ON L p. JENS GERLACH CHRISTENSEN
CONVOLUTION ON L p. JENS GERLACH CHRISTENSEN 1. Introduction. This paper will look in depth at the L p -conjecture and Young s inequality. It s based on an article from 1990 by Sadahiro Saeki. I chose
More informationICS141: Discrete Mathematics for Computer Science I
ICS141: Discrete Mathematics for Computer Science I Dept. Information & Computer Sci., Jan Stelovsky based on slides by Dr. Baek and Dr. Still Originals by Dr. M. P. Frank and Dr. J.L. Gross Provided by
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 informationPotpourri, 3. Stephen William Semmes Rice University Houston, Texas. 1 Gaussian random variables 2. 2 Rademacher functions 3. 3 Lacunary series 5
arxiv:math/0409330v1 [math.ca] 19 Sep 2004 Contents Potpourri, 3 Stephen William Semmes Rice University Houston, Texas 1 Gaussian random variables 2 2 Rademacher functions 3 3 Lacunary series 5 4 Some
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 informationDIAGONAL TOEPLITZ OPERATORS ON WEIGHTED BERGMAN SPACES
DIAGONAL TOEPLITZ OPERATORS ON WEIGHTED BERGMAN SPACES TRIEU LE Abstract. In this paper we discuss some algebraic properties of diagonal Toeplitz operators on weighted Bergman spaces of the unit ball in
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 informationSETS OF UNIQUENESS FOR DIRICHLET TYPE SPACES
SES OF UNIQUENESS FOR DIRICHLE YPE SPACES KARIM KELLAY Abstract. We study the uniqueness sets on the unit circle for weighted Dirichlet spaces.. Introduction Let D be the open unit disk in the complex
More informationA REMARK ON DISTRIBUTIONS AND THE DE RHAM THEOREM
A REMARK ON DISTRIBUTIONS AND THE DE RHAM THEOREM RICHARD MELROSE May 11, 2011 Abstract. We show that the de Rham theorem, interpreted as the isomorphism between distributional de Rham cohomology and simplicial
More informationMTH 404: Measure and Integration
MTH 404: Measure and Integration Semester 2, 2012-2013 Dr. Prahlad Vaidyanathan Contents I. Introduction....................................... 3 1. Motivation................................... 3 2. The
More informationA related space that will play a distinguished role in our space is the Hardy space H (D)
Lecture : he Hardy Space on the isc In this first lecture we will focus on the Hardy space H (). We will have a crash course on the necessary theory for the Hardy space. Part of the reason for first introducing
More informationIRRATIONAL ROTATIONS MOTIVATE MEASURABLE SETS. Rod Nillsen
IRRATIONAL ROTATIONS MOTIVATE MEASURABLE SETS Rod Nillsen IRRATIONAL ROTATIONS MOTIVATE MEASURABLE SETS Rod Nillsen Abstract. Many results in analysis are stated most naturally in terms of measurable sets.
More informationON THE SET OF ALL CONTINUOUS FUNCTIONS WITH UNIFORMLY CONVERGENT FOURIER SERIES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 24, Number, November 996 ON THE SET OF ALL CONTINUOUS FUNCTIONS WITH UNIFORMLY CONVERGENT FOURIER SERIES HASEO KI Communicated by Andreas R. Blass)
More informationSpectral Measures, the Spectral Theorem, and Ergodic Theory
Spectral Measures, the Spectral Theorem, and Ergodic Theory Sam Ziegler The spectral theorem for unitary operators The presentation given here largely follows [4]. will refer to the unit circle throughout.
More informationMATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION. Extra Reading Material for Level 4 and Level 6
MATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION Extra Reading Material for Level 4 and Level 6 Part A: Construction of Lebesgue Measure The first part the extra material consists of the construction
More informationarxiv:math/ v1 [math.fa] 1 Jul 1994
RESEARCH ANNOUNCEMENT APPEARED IN BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 31, Number 1, July 1994, Pages 39-43 arxiv:math/9407215v1 [math.fa] 1 Jul 1994 CLOSED IDEALS OF THE ALGEBRA OF ABSOLUTELY
More informationSTRUCTURE OF (w 1, w 2 )-TEMPERED ULTRADISTRIBUTION USING SHORT-TIME FOURIER TRANSFORM
ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS N. 39 2018 (154 164) 154 STRUCTURE OF (w 1, w 2 )-TEMPERED ULTRADISTRIBUTION USING SHORT-TIME FOURIER TRANSFORM Hamed M. Obiedat Ibraheem Abu-falahah Department
More informationOn Riesz-Fischer sequences and lower frame bounds
On Riesz-Fischer sequences and lower frame bounds P. Casazza, O. Christensen, S. Li, A. Lindner Abstract We investigate the consequences of the lower frame condition and the lower Riesz basis condition
More informationMultiplication Operators with Closed Range in Operator Algebras
J. Ana. Num. Theor. 1, No. 1, 1-5 (2013) 1 Journal of Analysis & Number Theory An International Journal Multiplication Operators with Closed Range in Operator Algebras P. Sam Johnson Department of Mathematical
More informationENTIRE FUNCTIONS AND COMPLETENESS PROBLEMS. Lecture 3
ENTIRE FUNCTIONS AND COMPLETENESS PROBLEMS A. POLTORATSKI Lecture 3 A version of the Heisenberg Uncertainty Principle formulated in terms of Harmonic Analysis claims that a non-zero measure (distribution)
More informationCOARSELY EMBEDDABLE METRIC SPACES WITHOUT PROPERTY A
COARSELY EMBEDDABLE METRIC SPACES WITHOUT PROPERTY A PIOTR W. NOWAK ABSTRACT. We study Guoliang Yu s Property A and construct metric spaces which do not satisfy Property A but embed coarsely into the Hilbert
More informationActa Mathematica Academiae Paedagogicae Nyíregyháziensis 24 (2008), ISSN
Acta Mathematica Academiae Paedagogicae Nyíregyháziensis 24 (2008), 313 321 www.emis.de/journals ISSN 1786-0091 DUAL BANACH ALGEBRAS AND CONNES-AMENABILITY FARUK UYGUL Abstract. In this survey, we first
More informationIteration of the rational function z 1/z and a Hausdorff moment sequence
Iteration of the rational function z /z and a Hausdorff moment sequence Christian Berg University of Copenhagen, Institute of Mathematical Sciences Universitetsparken 5, DK-200 København Ø, Denmark Antonio
More informationNUMERICAL RADIUS OF A HOLOMORPHIC MAPPING
Geometric Complex Analysis edited by Junjiro Noguchi et al. World Scientific, Singapore, 1995 pp.1 7 NUMERICAL RADIUS OF A HOLOMORPHIC MAPPING YUN SUNG CHOI Department of Mathematics Pohang University
More informationHarmonic Analysis Homework 5
Harmonic Analysis Homework 5 Bruno Poggi Department of Mathematics, University of Minnesota November 4, 6 Notation Throughout, B, r is the ball of radius r with center in the understood metric space usually
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 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 informationOn Dense Embeddings of Discrete Groups into Locally Compact Groups
QUALITATIVE THEORY OF DYNAMICAL SYSTEMS 4, 31 37 (2003) ARTICLE NO. 50 On Dense Embeddings of Discrete Groups into Locally Compact Groups Maxim S. Boyko Institute for Low Temperature Physics and Engineering,
More informationA NOTE ON WEAK CONVERGENCE OF SINGULAR INTEGRALS IN METRIC SPACES
A NOTE ON WEAK CONVERGENCE OF SINGULAR INTEGRALS IN METRIC SPACES VASILIS CHOUSIONIS AND MARIUSZ URBAŃSKI Abstract. We prove that in any metric space (X, d) the singular integral operators Tµ,ε(f)(x) k
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 informationWeakly Compact Composition Operators on Hardy Spaces of the Upper Half-Plane 1
Int. Journal of Math. Analysis, Vol. 4, 2010, no. 37, 1851-1856 Weakly Compact Composition Operators on Hardy Spaces of the Upper Half-Plane 1 Hong Bin Bai School of Science Sichuan University of Science
More informationCESARO OPERATORS ON THE HARDY SPACES OF THE HALF-PLANE
CESARO OPERATORS ON THE HARDY SPACES OF THE HALF-PLANE ATHANASIOS G. ARVANITIDIS AND ARISTOMENIS G. SISKAKIS Abstract. In this article we study the Cesàro operator C(f)() = d, and its companion operator
More informationFixed Points & Fatou Components
Definitions 1-3 are from [3]. Definition 1 - A sequence of functions {f n } n, f n : A B is said to diverge locally uniformly from B if for every compact K A A and K B B, there is an n 0 such that f n
More informationClosed subgroups of compactly generated LCA groups are compactly generated
Closed subgroups of compactly generated LCA groups are compactly generated Ken Ross March 4, 2010 The result stated in the title is apparently due to Sidney A. Morris in 1972 [7]. The theorem is Exercise
More informationSHADOWING PROPERTY FOR INDUCED SET-VALUED DYNAMICAL SYSTEMS OF SOME EXPANSIVE MAPS
Dynamic Systems and Applications 19 (2010) 405-414 SHADOWING PROPERTY FOR INDUCED SET-VALUED DYNAMICAL SYSTEMS OF SOME EXPANSIVE MAPS YUHU WU 1,2 AND XIAOPING XUE 1 1 Department of Mathematics, Harbin
More informationarxiv: v1 [math.co] 10 Jan 2019
THE LARGEST ()-SUM-FREE SETS IN COMPACT ABELIAN GROUPS arxiv:90.03233v [math.co] 0 Jan 209 NOAH KRAVITZ Abstract. A subset A of a finite abelian group is called ()-sum-free if ka la =. In thie paper, we
More informationPOSITIVE DEFINITE MEASURES WITH DISCRETE FOURIER TRANSFORM AND PURE POINT DIFFRACTION
POSITIVE DEFINITE MEASURES WITH DISCRETE FOURIER TRANSFORM AND PURE POINT DIFFRACTION NICOLAE STRUNGARU Abstract. In this paper we characterize the positive definite measures with discrete Fourier transform.
More informationCHRISTENSEN ZERO SETS AND MEASURABLE CONVEX FUNCTIONS1 PAL FISCHER AND ZBIGNIEW SLODKOWSKI
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 79, Number 3, July 1980 CHRISTENSEN ZERO SETS AND MEASURABLE CONVEX FUNCTIONS1 PAL FISCHER AND ZBIGNIEW SLODKOWSKI Abstract. A notion of measurability
More informationarxiv:math/ v2 [math.nt] 3 Dec 2003
arxiv:math/0302091v2 [math.nt] 3 Dec 2003 Every function is the representation function of an additive basis for the integers Melvyn B. Nathanson Department of Mathematics Lehman College (CUNY) Bronx,
More informationFisher information and Stam inequality on a finite group
Fisher information and Stam inequality on a finite group Paolo Gibilisco and Tommaso Isola February, 2008 Abstract We prove a discrete version of Stam inequality for random variables taking values on a
More informationn [ F (b j ) F (a j ) ], n j=1(a j, b j ] E (4.1)
1.4. CONSTRUCTION OF LEBESGUE-STIELTJES MEASURES In this section we shall put to use the Carathéodory-Hahn theory, in order to construct measures with certain desirable properties first on the real line
More informationGeneral Instructions
Math 240: Real Analysis Qualifying Exam May 28, 2015 Name: Student ID#: Problems/Page Numbers Total Points Your Score Problem 1 / Page 2-3 40 Points Problem 2 / Page 4 Problem 3 / Page 5 Problem 4 / Page
More informationA REMARK ON THE GEOMETRY OF SPACES OF FUNCTIONS WITH PRIME FREQUENCIES.
1 A REMARK ON THE GEOMETRY OF SPACES OF FUNCTIONS WITH PRIME FREQUENCIES. P. LEFÈVRE, E. MATHERON, AND O. RAMARÉ Abstract. For any positive integer r, denote by P r the set of all integers γ Z having at
More informationAPPLICATIONS OF THE STONE-CECH COMPACTIFICATION TO FREE TOPOLOGICAL GROUPS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 55, Number 1, February 1976 APPLICATIONS OF THE STONE-CECH COMPACTIFICATION TO FREE TOPOLOGICAL GROUPS J. P. L. HARDY, SIDNEY A. MORRIS1 AND H. B.
More informationlim f f(kx)dp(x) = cmf
proceedings of the american mathematical society Volume 107, Number 3, November 1989 MAGNIFIED CURVES ON A FLAT TORUS, DETERMINATION OF ALMOST PERIODIC FUNCTIONS, AND THE RIEMANN-LEBESGUE LEMMA ROBERT
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 informationSOME COUNTEREXAMPLES IN DYNAMICS OF RATIONAL SEMIGROUPS. 1. Introduction
SOME COUNTEREXAMPLES IN DYNAMICS OF RATIONAL SEMIGROUPS RICH STANKEWITZ, TOSHIYUKI SUGAWA, AND HIROKI SUMI Abstract. We give an example of two rational functions with non-equal Julia sets that generate
More informationThe Hopf argument. Yves Coudene. IRMAR, Université Rennes 1, campus beaulieu, bat Rennes cedex, France
The Hopf argument Yves Coudene IRMAR, Université Rennes, campus beaulieu, bat.23 35042 Rennes cedex, France yves.coudene@univ-rennes.fr slightly updated from the published version in Journal of Modern
More informationDaniel M. Oberlin Department of Mathematics, Florida State University. January 2005
PACKING SPHERES AND FRACTAL STRICHARTZ ESTIMATES IN R d FOR d 3 Daniel M. Oberlin Department of Mathematics, Florida State University January 005 Fix a dimension d and for x R d and r > 0, let Sx, r) stand
More informationReal Analysis, 2nd Edition, G.B.Folland Signed Measures and Differentiation
Real Analysis, 2nd dition, G.B.Folland Chapter 3 Signed Measures and Differentiation Yung-Hsiang Huang 3. Signed Measures. Proof. The first part is proved by using addivitiy and consider F j = j j, 0 =.
More informationA note on a construction of J. F. Feinstein
STUDIA MATHEMATICA 169 (1) (2005) A note on a construction of J. F. Feinstein by M. J. Heath (Nottingham) Abstract. In [6] J. F. Feinstein constructed a compact plane set X such that R(X), the uniform
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 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 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 informationRudiments of Ergodic Theory
Rudiments of Ergodic Theory Zefeng Chen September 24, 203 Abstract In this note we intend to present basic ergodic theory. We begin with the notion of a measure preserving transformation. We then define
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 informationarxiv: v3 [math.ca] 20 Aug 2015
A note on mean-value properties of harmonic functions on the hypercube arxiv:506.0703v3 [math.ca] 20 Aug 205 P. P. Petrov,a a Faculty of Mathematics and Informatics, Sofia University, 5 James Bourchier
More informationNOTE ON HILBERT-SCHMIDT COMPOSITION OPERATORS ON WEIGHTED HARDY SPACES
NOTE ON HILBERT-SCHMIDT COMPOSITION OPERATORS ON WEIGHTED HARDY SPACES THEMIS MITSIS DEPARTMENT OF MATHEMATICS UNIVERSITY OF CRETE KNOSSOS AVE. 7149 IRAKLIO GREECE Abstract. We show that if C ϕ is a Hilbert-Schmidt
More informationA VERY BRIEF REVIEW OF MEASURE THEORY
A VERY BRIEF REVIEW OF MEASURE THEORY A brief philosophical discussion. Measure theory, as much as any branch of mathematics, is an area where it is important to be acquainted with the basic notions and
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 informationMultifractal analysis of Bernoulli convolutions associated with Salem numbers
Multifractal analysis of Bernoulli convolutions associated with Salem numbers De-Jun Feng The Chinese University of Hong Kong Fractals and Related Fields II, Porquerolles - France, June 13th-17th 2011
More informationMath 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 informationVII.8. The Riemann Zeta Function.
VII.8. The Riemann Zeta Function VII.8. The Riemann Zeta Function. Note. In this section, we define the Riemann zeta function and discuss its history. We relate this meromorphic function with a simple
More informationMEASURE AND INTEGRATION. Dietmar A. Salamon ETH Zürich
MEASURE AND INTEGRATION Dietmar A. Salamon ETH Zürich 9 September 2016 ii Preface This book is based on notes for the lecture course Measure and Integration held at ETH Zürich in the spring semester 2014.
More informationClassical Fourier Analysis
Loukas Grafakos Classical Fourier Analysis Second Edition 4y Springer 1 IP Spaces and Interpolation 1 1.1 V and Weak IP 1 1.1.1 The Distribution Function 2 1.1.2 Convergence in Measure 5 1.1.3 A First
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 informationSZEGÖ ASYMPTOTICS OF EXTREMAL POLYNOMIALS ON THE SEGMENT [ 1, +1]: THE CASE OF A MEASURE WITH FINITE DISCRETE PART
Georgian Mathematical Journal Volume 4 (27), Number 4, 673 68 SZEGÖ ASYMPOICS OF EXREMAL POLYNOMIALS ON HE SEGMEN [, +]: HE CASE OF A MEASURE WIH FINIE DISCREE PAR RABAH KHALDI Abstract. he strong asymptotics
More informationThe Wiener algebra and Wiener s lemma
he Wiener algebra and Wiener s lemma Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of oronto January 17, 2015 1 Introduction Let = R/Z. For f L 1 () we define f L 1 () = 1 For
More information1 The Heisenberg group does not admit a bi- Lipschitz embedding into L 1
The Heisenberg group does not admit a bi- Lipschitz embedding into L after J. Cheeger and B. Kleiner [CK06, CK09] A summary written by John Mackay Abstract We show that the Heisenberg group, with its Carnot-Caratheodory
More informationA Note on the Generalized Shift Map
Gen. Math. Notes, Vol. 1, No. 2, December 2010, pp. 159-165 ISSN 2219-7184; Copyright c ICSRS Publication, 2010 www.i-csrs.org Available free online at http://www.geman.in A Note on the Generalized Shift
More informationDecomposition of Riesz frames and wavelets into a finite union of linearly independent sets
Decomposition of Riesz frames and wavelets into a finite union of linearly independent sets Ole Christensen, Alexander M. Lindner Abstract We characterize Riesz frames and prove that every Riesz frame
More informationFunction Spaces - selected open problems
Contemporary Mathematics Function Spaces - selected open problems Krzysztof Jarosz Abstract. We discuss briefly selected open problems concerning various function spaces. 1. Introduction We discuss several
More informationarxiv: v1 [math.ca] 23 Oct 2018
A REMARK ON THE ARCSINE DISTRIBUTION AND THE HILBERT TRANSFORM arxiv:80.08v [math.ca] 3 Oct 08 RONALD R. COIFMAN AND STEFAN STEINERBERGER Abstract. We prove that if fx) ) /4 L,) and its Hilbert transform
More information1 Math 241A-B Homework Problem List for F2015 and W2016
1 Math 241A-B Homework Problem List for F2015 W2016 1.1 Homework 1. Due Wednesday, October 7, 2015 Notation 1.1 Let U be any set, g be a positive function on U, Y be a normed space. For any f : U Y let
More informationSOME UNCERTAINTY PRINCIPLES IN ABSTRACT HARMONIC ANALYSIS. Alladi Sitaram. The first part of this article is an introduction to uncertainty
208 SOME UNCERTAINTY PRINCIPLES IN ABSTRACT HARMONIC ANALYSIS John F. Price and Alladi Sitaram The first part of this article is an introduction to uncertainty principles in Fourier analysis, while the
More informationTHE MATTILA INTEGRAL ASSOCIATED WITH SIGN INDEFINITE MEASURES. Alex Iosevich and Misha Rudnev. August 3, Introduction
THE MATTILA INTEGRAL ASSOCIATED WITH SIGN INDEFINITE MEASURES Alex Iosevich and Misha Rudnev August 3, 005 Abstract. In order to quantitatively illustrate the role of positivity in the Falconer distance
More informationIntroduction to Fourier Analysis
Lecture Introduction to Fourier Analysis Jan 7, 2005 Lecturer: Nati Linial Notes: Atri Rudra & Ashish Sabharwal. ext he main text for the first part of this course would be. W. Körner, Fourier Analysis
More information