The Bernstein and Nikolsky inequalities for trigonometric polynomials
|
|
- Milton Norman
- 6 years ago
- Views:
Transcription
1 he ernstein and Nikolsky ineualities for trigonometric polynomials Jordan ell Department of Mathematics, University of oronto January 28, Introduction Let = R/2πZ For a function f : C and τ, we define f τ : C by f τ (t) = f(t τ) For measurable f : C and 0 < r <, write For f, g L 1 (), write and for f L 1 (), write f r = (f g)(x) = 1 2π ˆf(k) = 1 2π ( 1/r 1 f(t) dt) r 2π f(t)g(x t)dt, x, f(t)e ikt dt, k Z his note works out proofs of some ineualities involving the support of ˆf for f L 1 () Let n be the set of trigonometric polynomials of degree n We define the Dirichlet kernel D n : C by D n (t) = e ijt, t j n It is straightforward to check that if n then D n = 1
2 2 ernstein s ineuality for trigonometric polynomials DeVore and Lorentz attribute the following ineuality to Szegö 1 heorem 1 If n and is real valued, then for all x, (x) 2 + n 2 (x) 2 n 2 2 Proof If = 0 the result is immediate Otherwise, take x, and for real c > 1 define P c (t) = (t + x)sgn (x) c, t P c n, and satisfies P c(0) = (x)sgn (x) c 0 and P c 1 c < 1 Since P c < 1, in particular P c (0) < 1 and so there is some α, α < π 2n, such that sin nα = P c(0) We define S n by S(t) = sin n(t + α) P c (t), t, which satisfies S(0) = sin nα P c (0) = 0 For k = n,, n, let t k = α +, for which we have (2k 1)π 2n ecause P c < 1, sin n(t k + α) = sin (2k 1)π 2 sgn S(t k ) = ( 1) k+1, = ( 1) k+1 so by the intermediate value theorem, for each k = n,, n 1 there is some c k (t k, t k+1 ) such that S(c k ) = 0 ecause t n t n = (2n 1)π 2n ( 2n 1)π 2n = 2π, it follows that if j k then c j and c k are distinct in It is a fact that a trigonometric polynomial of degree n has 2n distinct roots in, so if t (t k, t k+1 ) and S(t) = 0, then t = c k It is the case that t 1 = α + π 2n > 0 and t 0 = α π 2 < 0, so 0 (t 0, t 1 ) ut S(0) = 0, so c 0 = 0 Using S(t 1 ) = 1 > 0 and the fact that S has no zeros in (0, t 1 ) we get a contradiction from S (0) < 0, so S (0) 0 his gives 0 P c(0) = n cos nα S (0) n cos nα = n 1 sin 2 nα = n 1 P c (0) Ronald A DeVore and George G Lorentz, Constructive Approximation, p 97, heorem 2
3 hus P c(0) n 1 P c (0) 2, or n 2 P c (0) + P c(0) 2 n 2 ecause P c (0) 2 = (x)2 c 2 2, P c(0) 2 = (x) 2 c 2 2 we get n 2 (x) 2 + (x) 2 c 2 n 2 2 ecause this is true for all c > 1, n 2 (x) 2 + (x) 2 n 2 2, completing the proof Using the above we now prove ernstein s ineuality 2 heorem 2 (ernstein s ineuality) If n, then n Proof here is some x 0 such that (x 0 ) = Let α R be such that e iα (x 0 ) = Define S(x) = Re (e iα (x)) for x, which satisfies S (x) = Re (e iα (x)) and in particular S (x 0 ) = Re (e iα (x 0 )) = e iα (x 0 ) = ecause S n and S is real valued, heorem 1 yields A fortiori, S (x 0 ) 2 + n 2 S(x 0 ) 2 n 2 S 2 S (x 0 ) 2 n 2 S 2, giving, because S (x 0 ) = and S, proving the claim 24 2 n2 2, he following is a version of ernstein s ineuality 3 2 Ronald A DeVore and George G Lorentz, Constructive Approximation, p 98 3 Ronald A DeVore and George G Lorentz, Constructive Approximation, p 101, heorem 3
4 heorem 3 If n and A is a orel set, there is some x 0 such that (t) dt n A (t) dt A x 0 Proof Let A be a orel set with indicator function χ A Define Q : C by Q(x) = χ A (t) (t + x)sgn (t)dt, x, which we can write as Q(x) = χ A (t) (j)e ij(t+x) sgn (t)dt j = ( ) (j) χ A (t)e ijt sgn (t)dt e ijx, j showing that Q n Also, Q (x) = χ A (t) (t + x)sgn (t)dt, x Let x 0 with Q(x 0 ) = Q Applying heorem 2 we get Q n Q Using this gives Q (0) = χ A (t) (t)sgn (t)dt = χ A (t) (t) dt, χ A (t) (t) dt n Q = n Q(t 0 ) = n χ A (t) (t + x 0 )sgn (t)dt n χ A (t) (t + x 0 ) dt = n χ A x0 (t) (t) dt Applying the above with A = gives the following version of ernstein s ineuality, for the L 1 norm heorem 4 (L 1 ernstein s ineuality) If n, then 1 n 1 4
5 3 Nikolsky s ineuality for trigonometric polynomials DeVore and Lorentz attribute the following ineuality to Sergey Nikolsky 4 heorem 5 (Nikolsky s ineuality) If n and 0 < p, then for r 2 an integer, p (2nr + 1) 1 1 p Proof Let m = nr hen r m, so r D m = r, and using this and the Cauchy-Schwarz ineuality we have, for x, (x) r = 1 (t) r D m (x t) 2π 1 (t) r D m (x t) dt 2π r 2 1 (t) 2 Dm (x t) dt 2π r 2 /2 2 D m 2 = r 2 2 Dm l2 (Z) = 2m + 1 r 2 2 Hence thus r 2m + 1 r 2 2, (2m + 1) 1 hen, using p 1 p p, we have p (2m + 1) 1 1 p 1 p p = (2m + 1) 1 1 p 4 he complementary ernstein ineuality We define a homogeneous anach space to be a linear subspace of L 1 () with a norm f L 1 () f with which is a anach space, such that if f and τ then f τ and f τ = f, and such that if f then f τ f in as τ Ronald A DeVore and George G Lorentz, Constructive Approximation, p 102, heorem 5
6 Fejér s kernel is, for n 0, K n (t) = ( 1 j n + 1 j n One calculates that, for t 4πZ, ) e ijt = j Z χ n (j) K n (t) = 1 n + 1 ( sin n+1 2 t sin 1 2 t ( 1 j ) e ijt t n + 1 )2 ernstein s ineuality is a statement about functions whose Fourier transform is supported only on low freuencies he following is a statement about functions whose Fourier transform is supported only on high freuencies 5 In particular, for 1 p <, L p () is a homogeneous anach space, and so is C() with the supremum norm heorem 6 Let be a homogeneous anach space and let m be a positive integer Define C m as C m = m + 1 if m is even and C m = 12m if m is odd If f(t) = a j e ijt, t, j n is m times differentiable and f (m), then f and f C m n m f (m) Proof Suppose that m is even It is a fact that if a j, j Z, is an even seuence of nonnegative real numbers such that a j 0 as j and such that for each j > 0, a j 1 + a j+1 2a j 0, then there is a nonnegative function f L 1 () such that ˆf(j) = a j for all j Z 6 Define { j m j n a j = n m + (n j )(n m (n + 1) m ) j n 1 It is apparent that a j is even and tends to 0 as j For 1 j n 2, For j = n 1, a j 1 + a j+1 2a j = 0 a j 1 + a j+1 2a j = n m + (n (n 2))(n m (n + 1) m ) + n m 2 ( n m + (n (n 1))(n m (n + 1) m ) ) = 0 5 Yitzhak Katznelson, An Introduction to Harmonic Analysis, third ed, p 55, heorem 84 6 Yitzhak Katznelson, An Introduction to Harmonic Analysis, third ed, p 24, heorem 41 6
7 he function j j m is convex on {n, n + 1, }, as m 1, so for j n we have a j 1 + a j+1 2a j 0 herefore, there is some nonnegative φ m,n L 1 () such that φ m,n (j) = a j, j Z ecause φ m,n is nonnegative, and using n m (n + 1) m < m n n m, φ m,n 1 = φ m,n (0) = n m + n(n m (n + 1) m ) < (m + 1)n m Define dµ m,n (t) = 1 2π φ m,n(t)dt For j n, For j < n, since ˆf(j) = 0 we have so for all j Z, f (m) µ m,n (j) = f (m) (j) µ m,n (j) = (ij) m ˆf(j) φ m,n (j) = (ij) m ˆf(j) j m = i m ˆf(j) f (m) µ m,n (j) = (ij) m ˆf(j) φ m,n (j) = 0 = i m ˆf(j), f (m) µ m,n (j) = i m ˆf(j) his implies that f (m) µ m,n = i m f, which in particular tells us that f hen, f = i m f = f (m) µ m,n f (m) µ m,n M() f (m) = φ m,n 1 (m + 1)n m f (m) his shows what we want in the case that m is even, with C m = m + 1 Suppose that m is odd For l a positive integer, define ψ l : C by ψ l (t) = (e 2lit + 12 ) e3lit K l 1 (t), t here is a uniue l n such that n {2l n, 2l n + 1} For k 0 an integer, define Ψ n,k : C by Ψ n,k (t) = ψ ln2k(t), t Ψ n,k satisfies Ψ n,k K k 1 1 = K k 1 (t) dt = 3 2π 2 1 K k 1 (t)dt = 3 2π 2 7
8 On the one hand, for j 0, from the definition of ψ l we have Ψ n,k (j) = 0, hence Ψ n,k (j) = 0 On the other hand, for j n we assert that Ψ n,k (j) = 1 We define Φ n : C by Φ n (t) = (Ψ n,k φ 1,n2 k)(t), t We calculate the Fourier coefficients of Φ n For j n, Φ n (j) = Φ n,k (j) φ 1,n2 k(j) = 1 j Φ n,k (j) = 1 j As well, Φ n 1 Ψn,k φ 1,n2 k 1 Ψ n,k φ1,n2 1 k We now define dµ 1,n (t) = 1 2π (Φ n(t) Φ n ( t))dt, which satisfies for j n, 2(n2 k ) 1 = 6 n and hence ecause ˆf(j) = 0 for j < n, j Z, and therefore, hen µ 1,n (j) = Φ n (j) Φ n ( j) = 1 j f µ 1,n (j) = f (j) µ 1,n (j) = ij ˆf(j) 1 j = i ˆf(j) f µ 1,n (j) = 0 for j < n, it follows that for any f µ 1,n (j) = i ˆf(j), f µ 1,n = if f = if = f µ 1,n µ 1,n M() f 2 Φ n 1 f 12 n f hat is, with C 1 = 12 we have f 12n 1 f 8
9 For m = 2ν + 1, we define for which we have, for j n, µ m,n = µ 1,n µ 2ν,n, f (m) µ m,n (j) = (ij) m ˆf(j) µ1,n (j) µ 2ν,n (j) = (ij) m 1 ˆf(j) j j 2ν = i m ˆf(j) It follows that whence f (m) µ m,n = i m f, f = i m f = f (m) µ m,n f (m) µ m,n M() f (m) µ 1,n M() µ 2ν,n M() 12 f n (2ν + 1)n 2ν (m) = 12mn m f (m) hat is, with C m = 12m, we have f C m n m f (m), completing the proof 9
The 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 informationKatznelson Problems. Prakash Balachandran Duke University. June 19, 2009
Katznelson Problems Prakash Balachandran Duke University June 9, 9 Chapter. Compute the Fourier coefficients of the following functions (defined by their values on [ π, π)): f(t) { t < t π (t) g(t) { t
More informationHarmonic Analysis on the Cube and Parseval s Identity
Lecture 3 Harmonic Analysis on the Cube and Parseval s Identity Jan 28, 2005 Lecturer: Nati Linial Notes: Pete Couperus and Neva Cherniavsky 3. Where we can use this During the past weeks, we developed
More informationNORMS OF PRODUCTS OF SINES. A trigonometric polynomial of degree n is an expression of the form. c k e ikt, c k C.
L NORMS OF PRODUCTS OF SINES JORDAN BELL Abstract Product of sines Summary of paper and motivate it Partly a survey of L p norms of trigonometric polynomials and exponential sums There are no introductory
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 informationTopics in Fourier analysis - Lecture 2.
Topics in Fourier analysis - Lecture 2. Akos Magyar 1 Infinite Fourier series. In this section we develop the basic theory of Fourier series of periodic functions of one variable, but only to the extent
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 informationbe the set of complex valued 2π-periodic functions f on R such that
. Fourier series. Definition.. Given a real number P, we say a complex valued function f on R is P -periodic if f(x + P ) f(x) for all x R. We let be the set of complex valued -periodic functions f on
More informationZygmund s Fourier restriction theorem and Bernstein s inequality
Zygmund s Fourier restriction theorem and Bernstein s inequality Jordan Bell jordanbell@gmailcom Department of Mathematics, University of Toronto February 13, 2015 1 Zygmund s restriction theorem Write
More informationCONVERGENCE OF RANDOM FOURIER SERIES
CONVERGENCE OF RANDOM FOURIER SERIES MICH HILL Abstract. his paper will study Fourier Series with random coefficients. We begin with an introduction to Fourier series on the torus and give some of the
More informationSection 7.5 Inner Product Spaces
Section 7.5 Inner Product Spaces With the dot product defined in Chapter 6, we were able to study the following properties of vectors in R n. ) Length or norm of a vector u. ( u = p u u ) 2) Distance of
More informationExpository Notes on Introduction to Harmonic Analysis
Expository Notes on Introduction to Harmonic Analysis Matthew Begué December 8, 202 he following contains results with explanations from Yitzhak Katznelson s An Introduction to Harmonic Analysis [Katz].
More informationChapter I. Fourier Series on T
Chapter I Fourier Series on T We denote by R the additive group of real numbers and by Z the subgroup consisting of the integers. The group T is defined as the quotient R/Z where, as indicated by the notation,
More informationFourier Sin and Cos Series and Least Squares Convergence
Fourier and east Squares Convergence James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University May 7, 28 Outline et s look at the original Fourier sin
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 informationFourier Series. (Com S 477/577 Notes) Yan-Bin Jia. Nov 29, 2016
Fourier Series (Com S 477/577 otes) Yan-Bin Jia ov 9, 016 1 Introduction Many functions in nature are periodic, that is, f(x+τ) = f(x), for some fixed τ, which is called the period of f. Though function
More informationLINGXIAN (ROSE) ZHANG
HE L p CONVERGENCE OF FOURIER SERIES LINGXIAN ROSE ZHANG Abstract. In this expository paper, we show the L p convergence of Fourier series of functions on the one-dimensional torus. We will first turn
More informationAN INTRODUCTION TO HARMONIC ANALYSIS. Yitzhak Katznelson. Third Corrected Edition
AN INTRODUCTION TO HARMONIC ANALYSIS Yitzhak Katznelson Third Corrected Edition Preface Harmonic analysis is the study of objects (functions, measures, etc.), defined on topological groups. The group
More informationW. Lenski and B. Szal ON POINTWISE APPROXIMATION OF FUNCTIONS BY SOME MATRIX MEANS OF CONJUGATE FOURIER SERIES
F A S C I C U L I M A T H E M A T I C I Nr 55 5 DOI:.55/fascmath-5-7 W. Lenski and B. Szal ON POINTWISE APPROXIMATION OF FUNCTIONS BY SOME MATRIX MEANS OF CONJUGATE FOURIER SERIES Abstract. The results
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 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 informationFOURIER SERIES WITH THE CONTINUOUS PRIMITIVE INTEGRAL
Real Analysis Exchange Summer Symposium XXXVI, 2012, pp. 30 35 Erik Talvila, Department of Mathematics and Statistics, University of the Fraser Valley, Chilliwack, BC V2R 0N3, Canada. email: Erik.Talvila@ufv.ca
More informationConvergence of Fourier series
Convergence of Fourier series Final Degree Dissertation Degree in Mathematics Javier Canto Llorente Supervisor: Javier Duoandikoetxea Zuazo Leioa, June 26 Contents Introduction v rigonometric Fourier
More informationAN INTRODUCTION TO HARMONIC ANALYSIS. Yitzhak Katznelson. Third Corrected Edition
AN INTRODUCTION TO HARMONIC ANALYSIS Yitzhak Katznelson Third Corrected Edition Preface Harmonic analysis is the study of objects (functions, measures, etc.), defined on topological groups. The group
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 informationOutline of Fourier Series: Math 201B
Outline of Fourier Series: Math 201B February 24, 2011 1 Functions and convolutions 1.1 Periodic functions Periodic functions. Let = R/(2πZ) denote the circle, or onedimensional torus. A function f : C
More informationFourier Analysis. Dr. Felix Schwenninger University of Hamburg
Fourier Analysis Dr. Felix Schwenninger University of Hamburg his is a preliminary (and still incomplete) version of the things we have encountered in the lectures so far. For example, the motivation presented
More information1.1 Appearance of Fourier series
Chapter Fourier series. Appearance of Fourier series The birth of Fourier series can be traced back to the solutions of wave equation in the work of Bernoulli and the heat equation in the work of Fourier.
More informationMath 259: Introduction to Analytic Number Theory Exponential sums II: the Kuzmin and Montgomery-Vaughan estimates
Math 59: Introduction to Analytic Number Theory Exponential sums II: the Kuzmin and Montgomery-Vaughan estimates [Blurb on algebraic vs. analytical bounds on exponential sums goes here] While proving that
More informationDifferentiation and function spaces
209: Honors Analysis in R n Differentiation and function spaces 1 Banach Space, Hilbert Space A vector (linear) space E over a field K is a set endowed with two operations + : E E E and : K E E that satisfy
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 informationFunctional Analysis I
Functional Analysis I Course Notes by Stefan Richter Transcribed and Annotated by Gregory Zitelli Polar Decomposition Definition. An operator W B(H) is called a partial isometry if W x = X for all x (ker
More informationMATH 5640: Fourier Series
MATH 564: Fourier Series Hung Phan, UMass Lowell September, 8 Power Series A power series in the variable x is a series of the form a + a x + a x + = where the coefficients a, a,... are real or complex
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 informationLecture 6 January 21, 2016
MATH 6/CME 37: Applied Fourier Analysis and Winter 06 Elements of Modern Signal Processing Lecture 6 January, 06 Prof. Emmanuel Candes Scribe: Carlos A. Sing-Long, Edited by E. Bates Outline Agenda: Fourier
More informationFourier Series. ,..., e ixn ). Conversely, each 2π-periodic function φ : R n C induces a unique φ : T n C for which φ(e ix 1
Fourier Series Let {e j : 1 j n} be the standard basis in R n. We say f : R n C is π-periodic in each variable if f(x + πe j ) = f(x) x R n, 1 j n. We can identify π-periodic functions with functions on
More informationJUHA KINNUNEN. Partial Differential Equations
JUHA KINNUNEN Partial Differential Equations Department of Mathematics and Systems Analysis, Aalto University 207 Contents INTRODUCTION 2 FOURIER SERIES AND PDES 5 2. Periodic functions*.............................
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 informationInner products. Theorem (basic properties): Given vectors u, v, w in an inner product space V, and a scalar k, the following properties hold:
Inner products Definition: An inner product on a real vector space V is an operation (function) that assigns to each pair of vectors ( u, v) in V a scalar u, v satisfying the following axioms: 1. u, v
More informationShift-Invariant Spaces and Linear Operator Equations. Rong-Qing Jia Department of Mathematics University of Alberta Edmonton, Canada T6G 2G1.
Shift-Invariant Spaces and Linear Operator Equations Rong-Qing Jia Department of Mathematics University of Alberta Edmonton, Canada T6G 2G1 Abstract In this paper we investigate the structure of finitely
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 informationMathematics 22: Lecture 19
Mathematics 22: Lecture 19 Legendre s Equation Dan Sloughter Furman University February 5, 2008 Dan Sloughter (Furman University) Mathematics 22: Lecture 19 February 5, 2008 1 / 11 Example: Legendre s
More informationRademacher functions
Rademacher functions Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto July 6, 4 Binary expansions Define S : {, } N [, ] by Sσ σ k k, σ {, }N. For example, for σ and σ,
More informationVectors in Function Spaces
Jim Lambers MAT 66 Spring Semester 15-16 Lecture 18 Notes These notes correspond to Section 6.3 in the text. Vectors in Function Spaces We begin with some necessary terminology. A vector space V, also
More informationSome approximation theorems in Math 522. I. Approximations of continuous functions by smooth functions
Some approximation theorems in Math 522 I. Approximations of continuous functions by smooth functions The goal is to approximate continuous functions vanishing at ± by smooth functions. In a previous homewor
More informationON THE CHEBYSHEV POLYNOMIALS. Contents. 2. A Result on Linear Functionals on P n 4 Acknowledgments 7 References 7
ON THE CHEBYSHEV POLYNOMIALS JOSEPH DICAPUA Abstract. This paper is a short exposition of several magnificent properties of the Chebyshev polynomials. The author illustrates how the Chebyshev polynomials
More informationIntroduction to Signal Spaces
Introduction to Signal Spaces Selin Aviyente Department of Electrical and Computer Engineering Michigan State University January 12, 2010 Motivation Outline 1 Motivation 2 Vector Space 3 Inner Product
More informationElectrostatic Imaging via Conformal Mapping. R. Kress. joint work with I. Akduman, Istanbul and H. Haddar, Paris
Electrostatic Imaging via Conformal Mapping R. Kress Göttingen joint work with I. Akduman, Istanbul and H. Haddar, Paris Or: A new solution method for inverse boundary value problems for the Laplace equation
More informationLebesgue-Radon-Nikodym Theorem
Lebesgue-Radon-Nikodym Theorem Matt Rosenzweig 1 Lebesgue-Radon-Nikodym Theorem In what follows, (, A) will denote a measurable space. We begin with a review of signed measures. 1.1 Signed Measures Definition
More informationAMS 147 Computational Methods and Applications Lecture 13 Copyright by Hongyun Wang, UCSC
Lecture 13 Copyright y Hongyun Wang, UCSC Recap: Fitting to exact data *) Data: ( x j, y j ), j = 1,,, N y j = f x j *) Polynomial fitting Gis phenomenon *) Cuic spline Convergence of cuic spline *) Application
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 informationAn idea how to solve some of the problems. diverges the same must hold for the original series. T 1 p T 1 p + 1 p 1 = 1. dt = lim
An idea how to solve some of the problems 5.2-2. (a) Does not converge: By multiplying across we get Hence 2k 2k 2 /2 k 2k2 k 2 /2 k 2 /2 2k 2k 2 /2 k. As the series diverges the same must hold for the
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 informationwhich arises when we compute the orthogonal projection of a vector y in a subspace with an orthogonal basis. Hence assume that P y = A ij = x j, x i
MODULE 6 Topics: Gram-Schmidt orthogonalization process We begin by observing that if the vectors {x j } N are mutually orthogonal in an inner product space V then they are necessarily linearly independent.
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 informationLEGENDRE POLYNOMIALS AND APPLICATIONS. We construct Legendre polynomials and apply them to solve Dirichlet problems in spherical coordinates.
LEGENDRE POLYNOMIALS AND APPLICATIONS We construct Legendre polynomials and apply them to solve Dirichlet problems in spherical coordinates.. Legendre equation: series solutions The Legendre equation is
More informationFolland: Real Analysis, Chapter 8 Sébastien Picard
Folland: Real Analysis, Chapter 8 Sébastien Picard Problem 8.3 Let η(t) = e /t for t >, η(t) = for t. a. For k N and t >, η (k) (t) = P k (/t)e /t where P k is a polynomial of degree 2k. b. η (k) () exists
More information2 Sequences, Continuity, and Limits
2 Sequences, Continuity, and Limits In this chapter, we introduce the fundamental notions of continuity and limit of a real-valued function of two variables. As in ACICARA, the definitions as well as proofs
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 informationStone-Čech compactification of Tychonoff spaces
The Stone-Čech compactification of Tychonoff spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto June 27, 2014 1 Completely regular spaces and Tychonoff spaces A topological
More informationCHAPTER 4 FOURIER SERIES S A B A R I N A I S M A I L
CHAPTER 4 FOURIER SERIES 1 S A B A R I N A I S M A I L Outline Introduction of the Fourier series. The properties of the Fourier series. Symmetry consideration Application of the Fourier series to circuit
More informationCHAPTER X THE SPECTRAL THEOREM OF GELFAND
CHAPTER X THE SPECTRAL THEOREM OF GELFAND DEFINITION A Banach algebra is a complex Banach space A on which there is defined an associative multiplication for which: (1) x (y + z) = x y + x z and (y + z)
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 informationShort Review of Basic Mathematics
Short Review of Basic Mathematics Tomas Co January 1, 1 c 8 Tomas Co, all rights reserve Contents 1 Review of Functions 5 11 Mathematical Ientities 5 1 Drills 7 1 Answers to Drills 8 Review of ODE Solutions
More informationChapter Four Gelfond s Solution of Hilbert s Seventh Problem (Revised January 2, 2011)
Chapter Four Gelfond s Solution of Hilbert s Seventh Problem (Revised January 2, 2011) Before we consider Gelfond s, and then Schneider s, complete solutions to Hilbert s seventh problem let s look back
More informationFinal Exam Practice Problems Math 428, Spring 2017
Final xam Practice Problems Math 428, Spring 2017 Name: Directions: Throughout, (X,M,µ) is a measure space, unless stated otherwise. Since this is not to be turned in, I highly recommend that you work
More informationFOURIER SERIES OF CONTINUOUS FUNCTIONS AT GIVEN POINTS
FOURIER SERIES OF CONTINUOUS FUNCTIONS AT GIVEN POINTS ALEXANDER STRATMANN Abstract. The purpose of this paper is to show that, for fixed x in the closed interval [,], the set of periodic continuous functions
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 informationarxiv: v1 [math.mg] 15 Jul 2013
INVERSE BERNSTEIN INEQUALITIES AND MIN-MAX-MIN PROBLEMS ON THE UNIT CIRCLE arxiv:1307.4056v1 [math.mg] 15 Jul 013 TAMÁS ERDÉLYI, DOUGLAS P. HARDIN, AND EDWARD B. SAFF Abstract. We give a short and elementary
More informationarxiv: v1 [math.ca] 6 Mar 2019
GENERALIZED FOURIER SERIES BY DOUBLE RIGONOMERIC SYSEM K. S. KAZARIAN arxiv:903.02620v [math.ca] 6 Mar 209 Abstract. Necessary and sufficient conditions are obtained on the function M such that {M(x,y)e
More informationA review: The Laplacian and the d Alembertian. j=1
Chapter One A review: The Laplacian and the d Alembertian 1.1 THE LAPLACIAN One of the main goals of this course is to understand well the solution of wave equation both in Euclidean space and on manifolds
More informationGeneralized trigonometric functions
7/211, Santiago de Compostela (Etwas allgemein machen heisst, es denken. G.W.F. Hegel) Based on: * David E. Edmunds, Petr Gurka, J.L., Properties of generalized Trigonometric functions, Preprint * David
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 informationMATH 522 ANALYSIS II LECTURE NOTES UW MADISON - FALL 2018
MATH 522 ANALYSIS II LECTURE NOTES UW MADISON - FALL 2018 JORIS ROOS Contents 0. Review: metric spaces, uniform convergence, power series 3 0.0. Metric spaces 3 0.1. Uniform convergence 3 0.2. Power series
More informationCHAPTER VIII HILBERT SPACES
CHAPTER VIII HILBERT SPACES DEFINITION Let X and Y be two complex vector spaces. A map T : X Y is called a conjugate-linear transformation if it is a reallinear transformation from X into Y, and if T (λx)
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 informationNOTES ON LINEAR ODES
NOTES ON LINEAR ODES JONATHAN LUK We can now use all the discussions we had on linear algebra to study linear ODEs Most of this material appears in the textbook in 21, 22, 23, 26 As always, this is a preliminary
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 informationHyperinvariant subspaces for Bishop-type operators
Hyperinvariant subspaces for Bishop-type operators Antoine Flattot November 9, 2007 Abstract We present a self-contained method initiated by A M Davie to prove the existence of nontrivial hyperinvariant
More information1 Inner Product Space
Ch - Hilbert Space 1 4 Hilbert Space 1 Inner Product Space Let E be a complex vector space, a mapping (, ) : E E C is called an inner product on E if i) (x, x) 0 x E and (x, x) = 0 if and only if x = 0;
More informationReal and Complex Analysis, 3rd Edition, W.Rudin Elementary Hilbert Space Theory
Real and Complex Analysis, 3rd Edition, W.Rudin Chapter 4 Elementary Hilbert Space Theory Yung-Hsiang Huang. It s easy to see M (M ) and the latter is a closed subspace of H. Given F be a closed subspace
More informationCopyright 2010 Pearson Education, Inc. Publishing as Prentice Hall.
.1 Limits of Sequences. CHAPTER.1.0. a) True. If converges, then there is an M > 0 such that M. Choose by Archimedes an N N such that N > M/ε. Then n N implies /n M/n M/N < ε. b) False. = n does not converge,
More informationMTH 503: Functional Analysis
MTH 53: Functional Analysis Semester 1, 215-216 Dr. Prahlad Vaidyanathan Contents I. Normed Linear Spaces 4 1. Review of Linear Algebra........................... 4 2. Definition and Examples...........................
More informationCHANGE OF BASIS FOR LINEAR SPACES
CHANGE OF ASIS FOR LINEAR SPACES. Motivating Example Consider P 2 the space of polynomials of degree at most 2. Let : P 2 P 2 be defined by (p)(x) = p (x) p(x). his is a linear transformation. We would
More informationNEWMAN S INEQUALITY FOR INCREASING EXPONENTIAL SUMS
NEWMAN S INEQUALITY FOR INCREASING EXPONENTIAL SUMS Tamás Erdélyi Dedicated to the memory of George G Lorentz Abstract Let Λ n := {λ 0 < λ < < λ n } be a set of real numbers The collection of all linear
More informationHermite functions. Jordan Bell Department of Mathematics, University of Toronto. September 9, 2015
Hermite functions Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto September 9, 25 Locally convex spaces If V is a vector space and {p α : α A} is a separating family
More informationON BASICITY OF A SYSTEM OF EXPONENTS WITH DEGENERATING COEFFICIENTS
TWMS J. Pure Appl. Math. V.1, N.2, 2010, pp. 257-264 ON BASICITY OF A SYSTEM OF EXPONENTS WITH DEGENERATING COEFFICIENTS S.G. VELIYEV 1, A.R.SAFAROVA 2 Abstract. A system of exponents of power character
More informationTHE SUPREMUM OF AUTOCONVOLUTIONS, WITH APPLICATIONS TO ADDITIVE NUMBER THEORY
Illinois Journal of Mathematics Volume 53, Number 1, Spring 2009, Pages 219 235 S 0019-2082 THE SUPEMUM OF AUTOCONVOLUTIONS, WITH APPLICATIONS TO ADDITIVE NUMBE THEOY GEG MATIN AND KEVIN O BYANT Abstract.
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 informationSolution to Homework 8, Math 2568
Solution to Homework 8, Math 568 S 5.4: No. 0. Use property of heorem 5 to test for linear independence in P 3 for the following set of cubic polynomials S = { x 3 x, x x, x, x 3 }. Solution: If we use
More informationQUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday August 31, 2010 (Day 1)
QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday August 31, 21 (Day 1) 1. (CA) Evaluate sin 2 x x 2 dx Solution. Let C be the curve on the complex plane from to +, which is along
More informationFOURIER METHODS AND DISTRIBUTIONS: SOLUTIONS
Centre for Mathematical Sciences Mathematics, Faculty of Science FOURIER METHODS AND DISTRIBUTIONS: SOLUTIONS. We make the Ansatz u(x, y) = ϕ(x)ψ(y) and look for a solution which satisfies the boundary
More informationA trigonometric orthogonality with respect to a nonnegative Borel measure
Filomat 6:4 01), 689 696 DOI 10.98/FIL104689M Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat A trigonometric orthogonality with
More information1. General Vector Spaces
1.1. Vector space axioms. 1. General Vector Spaces Definition 1.1. Let V be a nonempty set of objects on which the operations of addition and scalar multiplication are defined. By addition we mean a rule
More informationSyllabus Fourier analysis
Syllabus Fourier analysis by T. H. Koornwinder, 1996 University of Amsterdam, Faculty of Science, Korteweg-de Vries Institute Last modified: 7 December 2005 Note This syllabus is based on parts of the
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 informationMacWilliams Extension Theorem for the Lee Weight
MacWilliams Extension Theorem for the Lee Weight Noncommutative rings and their applications V Lens 12-15 June 2017 Philippe Langevin IMATH, Toulon last revision June 11, 2017. A serie of joint works with
More informationFolland: Real Analysis, Chapter 7 Sébastien Picard
Folland: Real Analysis, Chapter 7 Sébastien Picard Problem 7.2 Let µ be a Radon measure on X. a. Let N be the union of all open U X such that µ(u) =. Then N is open and µ(n) =. The complement of N is called
More informationChapter 3: Baire category and open mapping theorems
MA3421 2016 17 Chapter 3: Baire category and open mapping theorems A number of the major results rely on completeness via the Baire category theorem. 3.1 The Baire category theorem 3.1.1 Definition. A
More informationThe 70th William Lowell Putnam Mathematical Competition Saturday, December 5, 2009
The 7th William Lowell Putnam Mathematical Competition Saturday, December 5, 9 A1 Let f be a real-valued function on the plane such that for every square ABCD in the plane, f(a) + f(b) + f(c) + f(d) =.
More information