MATH6081A Homework 8. In addition, when 1 < p 2 the above inequality can be refined using Lorentz spaces: f
|
|
- Wesley Rice
- 5 years ago
- Views:
Transcription
1 MATH68A Homework 8. Prove the Hausdorff-Young inequality, namely f f L L p p for all f L p (R n and all p 2. In addition, when < p 2 the above inequality can be refined using Lorentz spaces: f L p,p f L p for all f L p (R n and all < p (a In Homework we gave a direct proof of Young s convolution inequality, namely f g L r f L p g L q if p, q, r [, ] with + r = p + q. Can you now give an alternative proof using interpolation? (b We now give a refinement of Young s convolution inequality in the scale of Lorentz spaces. (i Suppose < p <. Show that if f L p, and g L p,, then f g L f L p, g L p,. (Hint: Use Question 6 of Homework 3. (ii Hence show that f g L r,q f L p, g L q and f g L r f L p, g L q,r if p, q, r (, with + = +. In particular, for the same range of r p q p, q, r, we have f g L r f L p, g L q. This proves the last theorem in Lecture In Question 6 of Homework 6 we proved a Schur s lemma. We mentioned that there is an interpolation proof. Can you carry that out now? More generally, suppose T is an integral operator defined by T f(x = K(x, yf(ydy, where sup x K(x, y L (dy A and sup K(x, y L (dx B. y Show that if p [, ], then T is bounded on L p with norm A /p B /p. 4. Let p (,, r (, ], and f be a measurable function. Show that f L p,r 2 k W /p k l r (Z where W k := {2 k < f 2 k }. (Hint: Since { f > 2 k } l N W k+l, when r <, the essence is in showing that k Z 2 kr ( l N W k+l r/p
2 27-8 First Term MATH68A 2 when k Z 2kr W r/p k this by =. If r/p, use the triangle inequality for l r/p, to bound l N ( k Z 2 kr W r/p k+l on the other hand, if r/p, just observe that The case r = is easier. p/r ( r/p W k+l l N l N r/p ; W r/p k+l. 5. (a Show that L p,r L p,r 2 if p (, and < r < r 2. (b Show that L p, L p, L p,r if < p < p < p and r (,. 6. Let (X, µ be a measure space. In Question 6 of Homework 3, we effectively showed that if p (,, then { } f L p, sup fgdµ: g L p,, X and the right hand side is a norm on L p, that is comparable to L p,. In this question, we will adapt the approach taken there, and show that if p (,, r [,, then { } f L p,r sup fg dµ: g L p,r. X In particular, the right hand side defines a norm on L p,r that is comparable to the quasi-norm L p,r on L p,r. (With a bit more work one can also show that the dual space of L p,r is L p,r, when p (,, r [,. See also Stein and Weiss Introduction to Fourier Analysis, Chapter V.3, for another approach of defining a norm on L p,r, which proceeds via Hardy s inequality. (a Show that if p (, and r (,, then ( f L p,r = [ t /p f (t ] /r r dt t where f is the decreasing rearrangement of f, namely the unique decreasing non-negative right-continuous function on [, so that µ{ f > α} = { f > α} for all α >. (Hint: Approximate by simple functions. (b Show that X fgdµ f (tg (tdt.
3 27-8 First Term MATH68A 3 Hence show that if p [, ] and r [, ], then fgdµ f L g p,r L p.,r X (Hint: For the first part, it suffices to consider non-negative f and g s. Use f(x = χ f(x u du and similarly for g, to evaluate the integral on the left hand side; then manipulate using Fubini s theorem, and note that dµ{x: f(x u and g(x v} min {dµ{x: f(x u}, dµ{x: g(x v}} = min { {t: f (t u}, {t: g (t v} } = {t: f (t u and g (t v} the last line following because either the set {t: f (t u} is contained in {t: g (t v}, or vice versa. Reverse the manipulation done earlier, but to f and g instead of to f and g, to finish the proof of the first inequality. The second part now follows from the first part by Hölder s inequality. (c Suppose now p (, and r [,. Let f be a non-negative function in L p,r with f L p,r =. For j Z, let E j = {x: 2 j < f(x 2 j+ }. Let also g(x = j Z ( 2 j µ(e j /p r µ(ej /p χ Ej (x. Show that g L p,r, and that fgdµ. Together with the previous X part, we prove the desired comparison of f L p,r with a genuine norm. (Hint: Note that g(x 2 k χ Fk where F k = E j. k Z 2 k <(2 j µ(e j /p r µ(e j /p 2 k We want to show that g L p,r. Suppose now r =. It suffices to show µ(f k 2 kp for all k Z. But since f L p,r =, we have µ(e j 2 jp for all j Z. Hence for any k Z, we have F k = E j E j, µ(e j 2 kp 2 jp 2 kp which shows that µ(f k µ(e j 2 jp 2 kp, 2 jp 2 kp 2 jp 2 kp as desired. Next suppose r (,. If r = p then g(x = j Z 2jp χ Ej f(x p /p, so
4 27-8 First Term MATH68A 4 g L p,r = g L f p L p = f L =. Hence we may assume r p. We p,r want to show that k Z 2kr µ(f k r /p. But when r p, F k = E j, so µ(f k µ(e j (2 k 2 j(r p r p µ(e j (2 k 2 j(r p r p µ(e j. The right hand side is a sum of a subset of an essentially geometric series, so µ(f k r p µ(e j r p. µ(e j (2 k 2 j(r p r p (We used p, r (, here to ensure that the exponent r /p is finite; indeed the implicit constant here blows up like /(p as p +. Since µ(e j r p r p = µ(e j p r p r = 2 kr 2 jr when µ(e j (2 k 2 j(r p r p, the right hand side above is bounded by 2 kr 2 jr µ(e j r p. It follows that as desired. k Z µ(e j (2 k 2 j(r p r p 2 kr µ(f k r p j Z 2 jr µ(e j r p, 7. Show that there is no norm on L, that is comparable to L,. (Hint: We have N N N log N, while x n x n N. L, n= L, Obtain a contradiction as N. 8. (a Prove the following Phragmén-Lindelöf principle: Suppose f is a holomorphic function on the right half-space H := {Re z > } that extends continuously to the closure H of H. Assume f(z on the boundary of H, and that there exist α <, and constants C, c, such that n= f(z Ce c z α for all z H. Then f(z on the half-space H. (Hint: It is crucial that α < here, for this allows one to rule out the enemy e z. We turn this enemy to our advantage: for ε >, consider g ε (z := f(ze εzβ where β (α, and z β is defined using the principal branch of logarithm. Then g ε (z tends to zero as z tends to infinity within the closed half-plane. Thus the maximum modulus principle shows that g ε (z for all z in the closed half-plane. It remains to let ε + to obtain the desired conclusion.
5 27-8 First Term MATH68A 5 (b Prove the following extension of the result in the previous part: Suppose f is a holomorphic function on the half-space H := {Re z > } that extends continuously to H \ {}. Assume f(z on the boundary of H except possibly at, and that there exist α <, and constants C, c, such that f(z Ce c( z α + z α for all z H. Then f(z on the half-space H. (Hint: Consider g ε (z := f(ze ε(zβ +z β instead; note that g ε (z as z within H. (c Prove the following three-lines lemma: Suppose F is a holomorphic function on the strip S := { < Re z < } that extends continuously to the closure of the strip. Assume F (z A when Re z =, and F (z A when Re z =. If that there exist α <, and constants C, c, such that F (z Ce ceπα z for all z S, then F (z A Re z A Re z on the strip S. (Hint: By considering A ( z A z F (z in place of F (z, we may assume A = A =. The conformal map z w defined by w = ie πiz maps S conformally onto the right half-space H, with inverse z = Log(iw. It remains to apply the πi result of the previous part to the holomorphic function f(w = F ( Log(iw πi defined for w H. Another way of presenting the same proof is to directly consider F (z exp ( ε cosh(πi(z β for z S Let (X, µ, (Y, ν be measure spaces. Let < p, p, q, q, and T : (L p + L p (X (L q + L q (Y be a linear operator. Suppose there exist constants A, A such that T f L q A f L p and T f L q A f L p for all f L p L p. Show that if θ (, and p = θ + θ, p p q = θ + θ, q q then T f L q A θ A θ f L p for all f L p. This extends the Riesz-Thorin complex interpolation theorem to Lebesgue exponents below. (Hint: Pick q (, such that q < min{q, q }. Let r (, be such that r = q q. For all f Lp, we write T f L q = T f q /q L q/q = sup g L r simple g L r = T f q g q /q
6 27-8 First Term MATH68A 6 so that A ( θ T f L q = sup g L r simple g L r = A ( θ T f(xg(x q dx /q. Now given simple functions f and g, let {f z }, {g z } be holomorphic families of functions on { Re z } such that f θ = f, g θ = g, where In other words, f z (x = f(x f(x f z L p f L p and g z L r g L r when Re z =, f z L p f L p and g z L r g L r when Re z =, f(x p ( z p =, r q q p =. r q q ( f p z f Lp, g z (x = p p L p g(x g(x Then for each ε >, the following function of z A ( z A z e εz2 T f z (xg z (x q dx ( g(x r z r g r ( z r L r r r g Lr. is subharmonic in the strip { < Re z < }, continuous up to the boundary of the strip and decays to as z tends to infinity along the strip. Now invoke the maximum modulus principle for subharmonic functions; letting ε + and then taking supremum over all simple functions f and g, we see that A ( θ T f L q f L p for all f L p, if p ; if p = then an easy adaptation of the above argument works since then p = p = p.. Let < p, p, q, q, and S be the strip { < Re z < }. Suppose {T z } z S is a family of linear operators mapping compactly supported simple functions on R n to locally integrable functions on R n. Assume that for every compactly supported simple function f, the following conditions are satisfied: (a for almost every x R n, the map z T z f(x is holomorphic on S and continuous up to S; (b there exists some locally integrable function ϕ(x on R n such that for every z S, we have T z f(x ϕ(x for almost every x R n. Suppose further that there exist constants A, A such that for all compactly supported simple functions f on R n, we have T z f L q j A j f L p j whenever Re z = j, for j =,. Show that for any θ (,, and any compactly supported simple functions f on R n, we have T θ f L q A θ A θ f L p,
7 27-8 First Term MATH68A 7 where p = θ + θ, p p q = θ + θ. q q In particular, T θ extends to a continuous linear map from L p (R n to L q (R n. (Hint: As before, pick q (, such that q < min{q, q }. Let r (, be such that = r q. For a compactly supported simple function f, we have q A ( θ T θ f L q = sup g simple, compactly supported g L r = A ( θ T θ f(xg(x q dx Now given compactly supported simple functions f and g, let {f z }, {g z } be holomorphic families of functions on { Re z } such that f θ = f, g θ = g, where f z L p f L p and g z L r g L r when Re z =, f z L p f L p and g z L r g L r when Re z =, =, r q q =. r q q Then for each ε >, the following function of z A ( z A z e εz2 T z f z (xg z (x q dx is subharmonic in the strip { < Re z < }, continuous up to the boundary of the strip, and decays to as z tends to infinity along the strip. Now apply the maximum modulus principle for subharmonic functions; letting ε + and then taking supremum over all compactly supported simple functions g, we see that A ( θ T θ f L q f L p, as desired.. Let (X, dx, (Y, dy be measure spaces, and S be the strip { < Re z < }. Let /q. f(x, y = j,k c j,k χ Aj (xχ Bk (y be a simple function on X Y. Suppose < p, p, q, q, θ (, and p = θ p + θ p, q = θ + θ. q q Show that there exists a family of simple functions {f z (x, y} z S, holomorphic for z S, continuous and bounded as z varies on S, such that f θ (x, y = f(x, y, and f z L p x L q y f L p x L q y when Re z =, Here f z L p x L q y f L p x L q y when Re z =. f L p x L q := f(x, y y L q (dy L p (dx.
8 27-8 First Term MATH68A 8 This allows one to formulate a vector-valued complex interpolation theorem involving the anisotropic Lebesgue spaces L p xl q y. (Hint: Just take f z (x, y = ( f(x, y q z q f(x, y f(x, y f(x, y q ( z L q y q q q ( f(x, y p z p p f(x, y p L q y ( z p p L p xl q y f(x, y L p x L q y ; c.f. Question The goal of this question is to prove a bilinear complex interpolation theorem. Let (X, µ, (X 2, µ 2, (Y, ν be measure spaces. Let < p, p, q, q, r, r, and T : (L p + L p (X (L q + L q (X 2 (L r + L r (Y be a bilinear operator. Suppose there exist constants A, A such that T (f, f 2 L r A f L p f 2 L q and T (f, f 2 L r A f L p f 2 L q for all f L p L p (X and f 2 L q L q (X 2. Show that if θ (, and p = θ p + θ p, q = θ + θ, q q r = θ + θ, r r then T (f, f 2 L r A θ A θ f L p f 2 L q for all f L p, f 2 L q. Also generalize this to a multilinear complex interpolation theorem. (Hint: Mimic Question In the last question, we saw an easy extension of the complex interpolation theorem to the multilinear setting. In this question, we will see that the real method of interpolation does not extend to the multilinear setting the way one might naively expect. In particular, we show that there exists a bilinear operator T, such that T is continuous from (say L 2 L 2 into L 2,, continuous from L L into L, but does not map L p L p continuously into L p, even if p p. So two endpoints are not enough, if we only begin with weak-type hypothesis and want a strong-type conclusion! (The following example is due to Strichartz. We will consider the measure space X = (, with Lebesgue measure dx. The bilinear operator involved is given by (a Show that T (f, g(x = f(xyg(ydy. T (f, g L p, f L p g L p for all p. Indeed, T (f, g(x x /p f L p g L p. In particular, T is continuous from (say L 2 L 2 into L 2,, continuous from L L into L.
9 27-8 First Term MATH68A 9 (b Let p [,. (,, we have Show that for any non-negative measurable function g on sup T (f, g L p = f L p y /p g(ydy. This shows that sup T (f, g L p =. f L p, g L p Hence T is not continuous from L p L p to L p. (Hint: By scaling, we may assume that y /p g(ydy =. The triangle inequality shows that sup T (f, g L p. f L p On the other hand, let α (, be sufficiently close to, and let ε (, be sufficiently close to. Let f ε (x = x /p χ [ε,ε ](x. Then and For x [ε α, ε α ], we have Thus which gives f ε L p = [2 log(ε ] /p, ε x T (f ε, g(x = x /p y /p g(ydy. εx εα T (f ε, g(x x /p y /p g(ydy. ε α T (f ε, g L p x /p L p [ε α,ε α ] T (f ε, g L p α /p f ε L p εα ε α εα ε α y /p g(ydy, y /p g(ydy. By taking α (, sufficiently close to, and ε (, sufficiently close to, we can make the right hand side > ( δ f ε L p for any δ >. Thus as well, as desired. sup T (f, g L p f L p 4. Suppose < p <, and h L p (R n for some < p p. Show that if M h L p (R n, then Mh L p (R n, and Mh L p (R n n,p M h L p (R n. Here M h is the Hardy-Littlewood maximal function of h. In particular, we have h L p (R n, and h L p (R n n,p M h L p (R n.
10 27-8 First Term MATH68A (Hint: The key is a relative distribution inequality. For any n, we claim that there exists b n (,, such that for any b, c > with b b n, we have {x R n : Mh(x > α, M h(x cα} n c {x R n : Mh(x > bα} If this is true, then by taking c sufficiently small, we can use Question 8 of Homework 3 to conclude the proof. To prove the above relative distributional inequality, let b (, first. Let h L p (R n. Decompose the open set {x R n : Mh(x > bα} into an essentially disjoint union of Whitney cubes {Q}, so that the distance of each Q from the complement of this set is bounded by 4 times the diameter of Q. Now since {x R n : Mh(x > α, M h(x cα} is a subset of {x R n : Mh(x > bα}, we just need to show that for each Whitney cube Q as above, we have {x Q: Mh(x > α, M h(x cα} n c Q. This inequality would be trivial if the set on the left hand side were empty. So let s assume there exists a point x Q such that M h(x cα. Now let Q be any cube that intersects Q and that has diameter at least that of Q. Then 2 Q will contain a point y where Mh(y bα. Hence ffl Q h 2 n bα for all such cubes Q. If x Q and Mh(x > α, then by taking b < 2 n, we see that M(hχ 3Q (x > α. We also have ffl 3Q h 2n bα. Thus {x Q: Mh(x > α, M h(x cα} whose measure is bounded by C n hχ ( 2 n 3Q (y h 3Q dy bα Q { ( x Q: M hχ 3Q } h (x > ( 2 n bα, 3Q C n ( 2 n bα 3Q M h(x 3n C n ( 2 n b c Q where C n is the constant arising in the weak-type (, bound of M : L (R n L, (R n. This proves the desired relative distributional inequality. 5. The goal of this question is to prove a complex interpolation theorem involving the Hardy space H on R n (see Homework 7 for its definition. Let p [, ]. Suppose {T z } z S is a family of continuous linear operators from L p (R n to L loc (Rn, analytic in the sense that for every f and g that are bounded measurable with compact support, the map z R n T z f gdx is holomorphic on S, continuous up to S and bounded on S. Let q, q [, ]. Assume T z f L q A f H whenever Re z = and f H L p, T z f L q A f L p whenever Re z = and f L p. Then for any θ (,, we have where T θ f L q A θ A θ f L p for all f L p L p, p = ( θ + θ p, q = θ q + θ q.
11 27-8 First Term MATH68A In particular, T θ extends to a bounded linear map from L p (R n to L q (R n, with norm A θ A θ. (Hint: For each z S and every bounded measurable g with compact support, let Tz g be the L p function on R n, such that f Tz gdx = T z f gdx R n R n for all f L p. Now let θ (,, and let g be a compactly supported simple function on R n. Let {g z } be a holomorphic family with g θ = g and g z L q g L q when Re z =, g z L q g L q when Re z =. Then Tz g z is an analytic family of L loc function, and satisfies the hypothesis of the proposition we used in the lecture notes to prove the complex interpolation theorem for BMO; note in particular that Tz g z L p for all z S, Thus T θ g Lp, with Tz g z BMO A g L q when Re z =, Tz g z L p A g L q when Re z =. T θ g L p As a result, if f L p L p, then T θ f gdx R n A θ A θ g. L q A θ A θ f L p g L q. By density of compactly supported simple functions in L q, this shows that for all f L p L p, as desired. T θ f L p A θ A θ f L p
JUHA KINNUNEN. Harmonic Analysis
JUHA KINNUNEN Harmonic Analysis Department of Mathematics and Systems Analysis, Aalto University 27 Contents Calderón-Zygmund decomposition. Dyadic subcubes of a cube.........................2 Dyadic cubes
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More informationHARMONIC ANALYSIS. Date:
HARMONIC ANALYSIS Contents. Introduction 2. Hardy-Littlewood maximal function 3. Approximation by convolution 4. Muckenhaupt weights 4.. Calderón-Zygmund decomposition 5. Fourier transform 6. BMO (bounded
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 informationChapter 6. Integration. 1. Integrals of Nonnegative Functions. a j µ(e j ) (ca j )µ(e j ) = c X. and ψ =
Chapter 6. Integration 1. Integrals of Nonnegative Functions Let (, S, µ) be a measure space. We denote by L + the set of all measurable functions from to [0, ]. Let φ be a simple function in L +. Suppose
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 informationBoth these computations follow immediately (and trivially) from the definitions. Finally, observe that if f L (R n ) then we have that.
Lecture : One Parameter Maximal Functions and Covering Lemmas In this first lecture we start studying one of the basic and fundamental operators in harmonic analysis, the Hardy-Littlewood maximal function.
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 informationCHAPTER 6. Differentiation
CHPTER 6 Differentiation The generalization from elementary calculus of differentiation in measure theory is less obvious than that of integration, and the methods of treating it are somewhat involved.
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 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 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 informationSOLUTIONS TO HOMEWORK ASSIGNMENT 4
SOLUTIONS TO HOMEWOK ASSIGNMENT 4 Exercise. A criterion for the image under the Hilbert transform to belong to L Let φ S be given. Show that Hφ L if and only if φx dx = 0. Solution: Suppose first that
More informationAnalytic families of multilinear operators
Analytic families of multilinear operators Mieczysław Mastyło Adam Mickiewicz University in Poznań Nonlinar Functional Analysis Valencia 17-20 October 2017 Based on a joint work with Loukas Grafakos M.
More informationExercise 1. Let f be a nonnegative measurable function. Show that. where ϕ is taken over all simple functions with ϕ f. k 1.
Real Variables, Fall 2014 Problem set 3 Solution suggestions xercise 1. Let f be a nonnegative measurable function. Show that f = sup ϕ, where ϕ is taken over all simple functions with ϕ f. For each n
More informationThe Caratheodory Construction of Measures
Chapter 5 The Caratheodory Construction of Measures Recall how our construction of Lebesgue measure in Chapter 2 proceeded from an initial notion of the size of a very restricted class of subsets of R,
More 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 informationMeasurable functions are approximately nice, even if look terrible.
Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............
More informationMaths 212: Homework Solutions
Maths 212: Homework Solutions 1. The definition of A ensures that x π for all x A, so π is an upper bound of A. To show it is the least upper bound, suppose x < π and consider two cases. If x < 1, then
More informationMATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:
MATH 51H Section 4 October 16, 2015 1 Continuity Recall what it means for a function between metric spaces to be continuous: Definition. Let (X, d X ), (Y, d Y ) be metric spaces. A function f : X Y is
More informationGeometric intuition: from Hölder spaces to the Calderón-Zygmund estimate
Geometric intuition: from Hölder spaces to the Calderón-Zygmund estimate A survey of Lihe Wang s paper Michael Snarski December 5, 22 Contents Hölder spaces. Control on functions......................................2
More informationNAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key
NAME: Mathematics 205A, Fall 2008, Final Examination Answer Key 1 1. [25 points] Let X be a set with 2 or more elements. Show that there are topologies U and V on X such that the identity map J : (X, U)
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 informationl(y j ) = 0 for all y j (1)
Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that
More informationSobolev Spaces. Chapter 10
Chapter 1 Sobolev Spaces We now define spaces H 1,p (R n ), known as Sobolev spaces. For u to belong to H 1,p (R n ), we require that u L p (R n ) and that u have weak derivatives of first order in L p
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 information02. Measure and integral. 1. Borel-measurable functions and pointwise limits
(October 3, 2017) 02. Measure and integral Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2017-18/02 measure and integral.pdf]
More informationSolutions to Tutorial 8 (Week 9)
The University of Sydney School of Mathematics and Statistics Solutions to Tutorial 8 (Week 9) MATH3961: Metric Spaces (Advanced) Semester 1, 2018 Web Page: http://www.maths.usyd.edu.au/u/ug/sm/math3961/
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 informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationANALYSIS QUALIFYING EXAM FALL 2016: SOLUTIONS. = lim. F n
ANALYSIS QUALIFYING EXAM FALL 206: SOLUTIONS Problem. Let m be Lebesgue measure on R. For a subset E R and r (0, ), define E r = { x R: dist(x, E) < r}. Let E R be compact. Prove that m(e) = lim m(e /n).
More informationDuality of multiparameter Hardy spaces H p on spaces of homogeneous type
Duality of multiparameter Hardy spaces H p on spaces of homogeneous type Yongsheng Han, Ji Li, and Guozhen Lu Department of Mathematics Vanderbilt University Nashville, TN Internet Analysis Seminar 2012
More informationMAT 257, Handout 13: December 5-7, 2011.
MAT 257, Handout 13: December 5-7, 2011. The Change of Variables Theorem. In these notes, I try to make more explicit some parts of Spivak s proof of the Change of Variable Theorem, and to supply most
More informationMid Term-1 : Practice problems
Mid Term-1 : Practice problems These problems are meant only to provide practice; they do not necessarily reflect the difficulty level of the problems in the exam. The actual exam problems are likely to
More informationWavelets and modular inequalities in variable L p spaces
Wavelets and modular inequalities in variable L p spaces Mitsuo Izuki July 14, 2007 Abstract The aim of this paper is to characterize variable L p spaces L p( ) (R n ) using wavelets with proper smoothness
More informationDecreasing Rearrangement and Lorentz L(p, q) Spaces
Decreasing Rearrangement and Lorentz L(p, q) Spaces Erik Kristiansson December 22 Master Thesis Supervisor: Lech Maligranda Department of Mathematics Abstract We consider the decreasing rearrangement of
More informationFunctional Analysis HW #3
Functional Analysis HW #3 Sangchul Lee October 26, 2015 1 Solutions Exercise 2.1. Let D = { f C([0, 1]) : f C([0, 1])} and define f d = f + f. Show that D is a Banach algebra and that the Gelfand transform
More informationconsists of two disjoint copies of X n, each scaled down by 1,
Homework 4 Solutions, Real Analysis I, Fall, 200. (4) Let be a topological space and M be a σ-algebra on which contains all Borel sets. Let m, µ be two positive measures on M. Assume there is a constant
More informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
More informationMATH 411 NOTES (UNDER CONSTRUCTION)
MATH 411 NOTES (NDE CONSTCTION 1. Notes on compact sets. This is similar to ideas you learned in Math 410, except open sets had not yet been defined. Definition 1.1. K n is compact if for every covering
More informationNECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES
NECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES JUHA LEHRBÄCK Abstract. We establish necessary conditions for domains Ω R n which admit the pointwise (p, β)-hardy inequality u(x) Cd Ω(x)
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 informationExamples of Dual Spaces from Measure Theory
Chapter 9 Examples of Dual Spaces from Measure Theory We have seen that L (, A, µ) is a Banach space for any measure space (, A, µ). We will extend that concept in the following section to identify an
More informationHIGHER INTEGRABILITY WITH WEIGHTS
Annales Academiæ Scientiarum Fennicæ Series A. I. Mathematica Volumen 19, 1994, 355 366 HIGHER INTEGRABILITY WITH WEIGHTS Juha Kinnunen University of Jyväskylä, Department of Mathematics P.O. Box 35, SF-4351
More informationREAL ANALYSIS I HOMEWORK 4
REAL ANALYSIS I HOMEWORK 4 CİHAN BAHRAN The questions are from Stein and Shakarchi s text, Chapter 2.. Given a collection of sets E, E 2,..., E n, construct another collection E, E 2,..., E N, with N =
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 informationREAL ANALYSIS ANALYSIS NOTES. 0: Some basics. Notes by Eamon Quinlan. Liminfs and Limsups
ANALYSIS NOTES Notes by Eamon Quinlan REAL ANALYSIS 0: Some basics Liminfs and Limsups Def.- Let (x n ) R be a sequence. The limit inferior of (x n ) is defined by and, similarly, the limit superior of
More informationJordan Journal of Mathematics and Statistics (JJMS) 5(4), 2012, pp
Jordan Journal of Mathematics and Statistics (JJMS) 5(4), 2012, pp223-239 BOUNDEDNESS OF MARCINKIEWICZ INTEGRALS ON HERZ SPACES WITH VARIABLE EXPONENT ZONGGUANG LIU (1) AND HONGBIN WANG (2) Abstract In
More informationL p Spaces and Convexity
L p Spaces and Convexity These notes largely follow the treatments in Royden, Real Analysis, and Rudin, Real & Complex Analysis. 1. Convex functions Let I R be an interval. For I open, we say a function
More 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 informationLecture 4 Lebesgue spaces and inequalities
Lecture 4: Lebesgue spaces and inequalities 1 of 10 Course: Theory of Probability I Term: Fall 2013 Instructor: Gordan Zitkovic Lecture 4 Lebesgue spaces and inequalities Lebesgue spaces We have seen how
More informationNAME: MATH 172: Lebesgue Integration and Fourier Analysis (winter 2012) Final exam. Wednesday, March 21, time: 2.5h
NAME: SOLUTION problem # 1 2 3 4 5 6 7 8 9 points max 15 20 10 15 10 10 10 10 10 110 MATH 172: Lebesgue Integration and Fourier Analysis (winter 2012 Final exam Wednesday, March 21, 2012 time: 2.5h Please
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 informationOverview of normed linear spaces
20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural
More informationLecture Notes Introduction to Ergodic Theory
Lecture Notes Introduction to Ergodic Theory Tiago Pereira Department of Mathematics Imperial College London Our course consists of five introductory lectures on probabilistic aspects of dynamical systems,
More informationRESTRICTED WEAK TYPE VERSUS WEAK TYPE
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 133, Number 4, Pages 1075 1081 S 0002-9939(04)07791-3 Article electronically published on November 1, 2004 RESTRICTED WEAK TYPE VERSUS WEAK TYPE
More informationMarcinkiewicz Interpolation Theorem by Daniel Baczkowski
1 Introduction Marcinkiewicz Interpolation Theorem b Daniel Baczkowski Let (, µ be a measure space. Let M denote the collection of all extended real valued µ-measurable functions on. Also, let M denote
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 informationFunctional Analysis, Stein-Shakarchi Chapter 1
Functional Analysis, Stein-Shakarchi Chapter 1 L p spaces and Banach Spaces Yung-Hsiang Huang 018.05.1 Abstract Many problems are cited to my solution files for Folland [4] and Rudin [6] post here. 1 Exercises
More informationHardy-Littlewood maximal operator in weighted Lorentz spaces
Hardy-Littlewood maximal operator in weighted Lorentz spaces Elona Agora IAM-CONICET Based on joint works with: J. Antezana, M. J. Carro and J. Soria Function Spaces, Differential Operators and Nonlinear
More informationx 0 + f(x), exist as extended real numbers. Show that f is upper semicontinuous This shows ( ɛ, ɛ) B α. Thus
Homework 3 Solutions, Real Analysis I, Fall, 2010. (9) Let f : (, ) [, ] be a function whose restriction to (, 0) (0, ) is continuous. Assume the one-sided limits p = lim x 0 f(x), q = lim x 0 + f(x) exist
More informationChapter One. The Calderón-Zygmund Theory I: Ellipticity
Chapter One The Calderón-Zygmund Theory I: Ellipticity Our story begins with a classical situation: convolution with homogeneous, Calderón- Zygmund ( kernels on R n. Let S n 1 R n denote the unit sphere
More information7: FOURIER SERIES STEVEN HEILMAN
7: FOURIER SERIES STEVE HEILMA Contents 1. Review 1 2. Introduction 1 3. Periodic Functions 2 4. Inner Products on Periodic Functions 3 5. Trigonometric Polynomials 5 6. Periodic Convolutions 7 7. Fourier
More informationJordan Journal of Mathematics and Statistics (JJMS) 9(1), 2016, pp BOUNDEDNESS OF COMMUTATORS ON HERZ-TYPE HARDY SPACES WITH VARIABLE EXPONENT
Jordan Journal of Mathematics and Statistics (JJMS 9(1, 2016, pp 17-30 BOUNDEDNESS OF COMMUTATORS ON HERZ-TYPE HARDY SPACES WITH VARIABLE EXPONENT WANG HONGBIN Abstract. In this paper, we obtain the boundedness
More informationM ath. Res. Lett. 16 (2009), no. 1, c International Press 2009
M ath. Res. Lett. 16 (2009), no. 1, 149 156 c International Press 2009 A 1 BOUNDS FOR CALDERÓN-ZYGMUND OPERATORS RELATED TO A PROBLEM OF MUCKENHOUPT AND WHEEDEN Andrei K. Lerner, Sheldy Ombrosi, and Carlos
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationChapter 10. Multivariable integral Riemann integral over rectangles Rectangles and partitions
Chapter 10 Multivariable integral 10.1 iemann integral over rectangles ote:??? lectures As in chapter chapter 5, we define the iemann integral using the Darboux upper and lower integrals. The ideas in
More informationMath212a1413 The Lebesgue integral.
Math212a1413 The Lebesgue integral. October 28, 2014 Simple functions. In what follows, (X, F, m) is a space with a σ-field of sets, and m a measure on F. The purpose of today s lecture is to develop the
More informationHartogs Theorem: separate analyticity implies joint Paul Garrett garrett/
(February 9, 25) Hartogs Theorem: separate analyticity implies joint Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ (The present proof of this old result roughly follows the proof
More informationCHAPTER I THE RIESZ REPRESENTATION THEOREM
CHAPTER I THE RIESZ REPRESENTATION THEOREM We begin our study by identifying certain special kinds of linear functionals on certain special vector spaces of functions. We describe these linear functionals
More informationIt follows from the above inequalities that for c C 1
3 Spaces L p 1. In this part we fix a measure space (, A, µ) (we may assume that µ is complete), and consider the A -measurable functions on it. 2. For f L 1 (, µ) set f 1 = f L 1 = f L 1 (,µ) = f dµ.
More informationMASTERS EXAMINATION IN MATHEMATICS SOLUTIONS
MASTERS EXAMINATION IN MATHEMATICS PURE MATHEMATICS OPTION SPRING 010 SOLUTIONS Algebra A1. Let F be a finite field. Prove that F [x] contains infinitely many prime ideals. Solution: The ring F [x] of
More information2 Lebesgue integration
2 Lebesgue integration 1. Let (, A, µ) be a measure space. We will always assume that µ is complete, otherwise we first take its completion. The example to have in mind is the Lebesgue measure on R n,
More informationRecall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm
Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify
More informationABSTRACT INTEGRATION CHAPTER ONE
CHAPTER ONE ABSTRACT INTEGRATION Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Suggestions and errors are invited and can be mailed
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
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 informationAnalysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t
Analysis Comprehensive Exam Questions Fall 2. Let f L 2 (, ) be given. (a) Prove that ( x 2 f(t) dt) 2 x x t f(t) 2 dt. (b) Given part (a), prove that F L 2 (, ) 2 f L 2 (, ), where F(x) = x (a) Using
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 informationATOMIC DECOMPOSITIONS AND OPERATORS ON HARDY SPACES
REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Volumen 50, Número 2, 2009, Páginas 15 22 ATOMIC DECOMPOSITIONS AND OPERATORS ON HARDY SPACES STEFANO MEDA, PETER SJÖGREN AND MARIA VALLARINO Abstract. This paper
More informationGRAND SOBOLEV SPACES AND THEIR APPLICATIONS TO VARIATIONAL PROBLEMS
LE MATEMATICHE Vol. LI (1996) Fasc. II, pp. 335347 GRAND SOBOLEV SPACES AND THEIR APPLICATIONS TO VARIATIONAL PROBLEMS CARLO SBORDONE Dedicated to Professor Francesco Guglielmino on his 7th birthday W
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 informationMeasure Theory on Topological Spaces. Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond
Measure Theory on Topological Spaces Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond May 22, 2011 Contents 1 Introduction 2 1.1 The Riemann Integral........................................ 2 1.2 Measurable..............................................
More informationMath General Topology Fall 2012 Homework 13 Solutions
Math 535 - General Topology Fall 2012 Homework 13 Solutions Note: In this problem set, function spaces are endowed with the compact-open topology unless otherwise noted. Problem 1. Let X be a compact topological
More informationPoincaré inequalities that fail
ي ۆ Poincaré inequalities that fail to constitute an open-ended condition Lukáš Malý Workshop on Geometric Measure Theory July 14, 2017 Poincaré inequalities Setting Let (X, d, µ) be a complete metric
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 informationIntroduction to Real Analysis Alternative Chapter 1
Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces
More informationCONTENTS. 4 Hausdorff Measure Introduction The Cantor Set Rectifiable Curves Cantor Set-Like Objects...
Contents 1 Functional Analysis 1 1.1 Hilbert Spaces................................... 1 1.1.1 Spectral Theorem............................. 4 1.2 Normed Vector Spaces.............................. 7 1.2.1
More informationFunction spaces with variable exponents
Function spaces with variable exponents Henning Kempka September 22nd 2014 September 22nd 2014 Henning Kempka 1 / 50 http://www.tu-chemnitz.de/ Outline 1. Introduction & Motivation First motivation Second
More informationESTIMATES FOR MAXIMAL SINGULAR INTEGRALS
ESTIMATES FOR MAXIMAL SINGULAR INTEGRALS LOUKAS GRAFAKOS Abstract. It is shown that maximal truncations of nonconvolution L -bounded singular integral operators with kernels satisfying Hörmander s condition
More information4 Riesz Kernels. Since the functions k i (ξ) = ξ i. are bounded functions it is clear that R
4 Riesz Kernels. A natural generalization of the Hilbert transform to higher dimension is mutiplication of the Fourier Transform by homogeneous functions of degree 0, the simplest ones being R i f(ξ) =
More informationINTRODUCTION TO REAL ANALYTIC GEOMETRY
INTRODUCTION TO REAL ANALYTIC GEOMETRY KRZYSZTOF KURDYKA 1. Analytic functions in several variables 1.1. Summable families. Let (E, ) be a normed space over the field R or C, dim E
More informationFRACTAL GEOMETRY, DYNAMICAL SYSTEMS AND CHAOS
FRACTAL GEOMETRY, DYNAMICAL SYSTEMS AND CHAOS MIDTERM SOLUTIONS. Let f : R R be the map on the line generated by the function f(x) = x 3. Find all the fixed points of f and determine the type of their
More informationAnalysis Part 1. 1 Chapter Q1(q) 1.2 Q1(r) Book: Measure and Integral by Wheeden and Zygmund
Analysis Part 1 www.mathtuition88.com Book: Measure and Integral by Wheeden and Zygmund 1 Chapter 1 1.1 Q1(q) Let {T x k } be a sequence of points of T E. Since E is compact, {x k } has a subsequence {x
More informationWeighted norm inequalities for singular integral operators
Weighted norm inequalities for singular integral operators C. Pérez Journal of the London mathematical society 49 (994), 296 308. Departmento de Matemáticas Universidad Autónoma de Madrid 28049 Madrid,
More informationASYMPTOTIC MAXIMUM PRINCIPLE
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 27, 2002, 249 255 ASYMPTOTIC MAXIMUM PRINCIPLE Boris Korenblum University at Albany, Department of Mathematics and Statistics Albany, NY 12222,
More informationRemarks on the Gauss-Green Theorem. Michael Taylor
Remarks on the Gauss-Green Theorem Michael Taylor Abstract. These notes cover material related to the Gauss-Green theorem that was developed for work with S. Hofmann and M. Mitrea, which appeared in [HMT].
More informationReal Analysis Chapter 4 Solutions Jonathan Conder
2. Let x, y X and suppose that x y. Then {x} c is open in the cofinite topology and contains y but not x. The cofinite topology on X is therefore T 1. Since X is infinite it contains two distinct points
More informationIntegral Jensen inequality
Integral Jensen inequality Let us consider a convex set R d, and a convex function f : (, + ]. For any x,..., x n and λ,..., λ n with n λ i =, we have () f( n λ ix i ) n λ if(x i ). For a R d, let δ a
More informationNotes. 1 Fourier transform and L p spaces. March 9, For a function in f L 1 (R n ) define the Fourier transform. ˆf(ξ) = f(x)e 2πi x,ξ dx.
Notes March 9, 27 1 Fourier transform and L p spaces For a function in f L 1 (R n ) define the Fourier transform ˆf(ξ) = f(x)e 2πi x,ξ dx. Properties R n 1. f g = ˆfĝ 2. δλ (f)(ξ) = ˆf(λξ), where δ λ f(x)
More information