Daniel M. Oberlin Department of Mathematics, Florida State University. January 2005

Size: px
Start display at page:

Download "Daniel M. Oberlin Department of Mathematics, Florida State University. January 2005"

Transcription

1 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 for the sphere in R d with center x and radius r. Identifying the collection of all such spheres with S =R d 0, ) R d+, it makes sense to talk about the dimension of a Borel) set of spheres. Since the dimension of any Sx, r) is d, it is natural to conjecture that if E is the union of the spheres in a collection whose dimension exceeds one, then E, the d-dimensional Lebesgue measure of E, is positive. When d = this is a difficult question, answered in the affirmative in Wolff s paper [7]. When d > we will establish the same result much more easily by giving an elementary proof of the following estimate for the spherical average operator T fx, r) = Σ d ) fx rσ)dσ. Theorem. Suppose d >. Fix α, d+) and suppose that µ is a nonnegative Borel measure on a compact subset K of S. Let E α µ) = K K dµs )dµs ) S S α denote the α-dimensional energy of µ, where S S = y y + r r when S j = Sy j, r j ). Then, for Borel sets E R d, we have the restricted weak type estimate ) T χ E L α, µ) C E α µ) α E, where the constant depends only on d, α, and the inf and sup of r on K. Since any set whose Hausdorff dimension exceeds one carries a measure µ as in Theorem for some α >, the following corollary is immediate. Corollary. Suppose E R d and T S are Borel sets. Suppose that T has dimension exceeding one and that for every x, r) T, Sx, r) E has positive d )-dimensional measure. Then E > 0. We mention that the paper [] contains an analogue of Corollary in the case where the projection of T onto R d has dimension greater than one. It should also be true that for 0 < α < the union of an α-dimensional set of spheres has dimension at least d + α. We will prove this if the points x, r) corresponding to the spheres either lie on a curve or comprise an appropriate Cantor Typeset by AMS-TEX

2 DANIEL M. OBERLIN set. It seems likely that these extra hypotheses are redundant, but we have not yet been able to eliminate them. Estimates like ) are closely connected with the wave equation. Thus it is not surprising that ) implies the following estimate of Strichartz type, again a higher-dimensional analogue of certain results in [7]. Theorem. Suppose α and µ are as in Theorem. Suppose ux, t) is a solution of the wave equation u tt u = 0 on R d [0, ) with ux, 0) = gx), u t x, 0) = hx). For q < α and ɛ > 0 there is the estimate u L q µ) g W,d )/+ɛ + h W,d 3)/+ɛ). This note is organized as follows: we begin with the proof of Theorem. The argument here was first used in [3] and [4], and then, in a form essentially identical to that employed here, in [5]. After the proof of Theorem we sketch proofs for the statements following Corollary. We conclude with the proof of Theorem. Proof of Theorem : For small 0 < δ < r, let T δ be the operator which maps f to its average T δ fx, r) over the annulus Ax, r, δ) of radii r δ and r + δ centered at x. The estimate ) is obviously a consequence of similar estimates, uniform in δ, for the operators T δ. A simple-minded strategy, introduced in [3], for obtaining such estimates for operators like T δ starts from the inequality ) E N E n E m E n, n= where the E n s are subsets of E. In the present case, the E n s will be intersections of E with annuli Ax n, r n, δ). The measures of the E m E n will be controlled by the integral E α µ) and the following crude observation whose proof we include for the sake of completeness). Lemma. Suppose 0 < r 0 < R 0. There is a constant C = CR 0 ) such that if 0 < δ < r 0 < r, r < R 0 and y, y R d, then 3) Ay, r, δ) Ay, r, δ) Cδ δ + y y + r r. Proof of Lemma : Fix y and y and, with no loss of generality, suppose that y = 0, 0,..., 0) and y = t, 0, 0,..., 0). For s, s > 0, the spheres Sy, s ) = {x,..., x d ) : x + + x d = s } and Sy, s ) = {x,..., x d ) : x t) + x + + x d = s }

3 PACKING SPHERES AND FRACTAL STRICHARTZ ESTIMATES IN R d FOR d 3 3 intersect in or in a d )-sphere {x 0, x,..., x d )} where Then and s s = tx 0 t, x + + x d = ρ, and ρ = s x 0 ). x 0 = x 0 s, s ) = t + s s t ρ = ρs, s ) = 4s t t + s s ) 4t. Consider the map s, s, σ) x 0, ρσ) of 0, ) Σ d ) into R d and the corresponding formula 4) fx 0, ρσ)js, s ) ds ds dσ = f. 0 0 Σ d ) R d Suppose Sy, s ) Sy, s ). If f approximates the function χ {s=s 0,s=s0 } and c d is the volume of the unit d )-sphere, it is easy to see that c d Js 0, s 0 ) = c d ρs 0, s 0 ) d. Some algebra then shows that s + s + t s + s t s s + t s s t 5) Js, s ) = t We will use 4) to estimate 6) Ay, r, δ) Ay, r, δ) c d { s r <δ} { s r <δ} ) d. Js, s ) ds ds. If Ay, r, δ) Ay, r, δ) then it follows that r r y y + δ. Now recall that y y = t to observe that if t δ, then 3) follows from r j < R 0. On the other hand, if t > δ then s r, s r < δ and r r t + δ give s s ± t δ + r r + t t + 4δ 6 t. With 5) this shows that Js, s ) CR 0 ) and so 6) gives 3). Let r 0 be the inf of r on the compact) support of µ. The analogue of ) for T δ is the inequality 7) λ µ{t δ χ E S) > λ} α CEα µ) α E for λ > 0 and 0 < δ < r 0. Here T δ fs) is the average of f over the annulus Ay, r, δ) if S = Sy, r). If T δ χ E S) > λ for S = Sy, r), then E Ay, r, δ) cλδ where c depends only on r 0. Thus if then ) and Lemma give 8) E cnλδ S,..., S N {T δ χ E S) > λ} =T, n<mn Cδ S n S m.

4 4 DANIEL M. OBERLIN Control of the sum in 8) is provided by Lemma. Let µ be as in Theorem. Then given n N and a Borel T S with µt ) > 0, one can choose S n T, n N, such that S m S n Eα µ) ) /α N. µt ) /α Proof of Lemma : Suppose S,..., S N are chosen independently and at random from the probability space T, ). Then, for m < n N, µt ) T T ) E S m S n by the hypothesis on µ. Thus and the lemma follows. µ µt ) = µt ) T T dµs m )dµs n ) S m S n ) /α dµs m ) dµs n ) ) /α Eα µ) ) /α dµs m )dµs n ) K K S m S n α µt ), /α E With Lemma, 8) becomes ) Eα µ) ) /α N S m S n µt ) /α 9) E cnλδ Cδ E α µ) ) /α N /µt ) /α. Let N 0 = cλµt ) /α /CE α µ) /α δ). Noting that N = N 0 makes the RHS of 9) equal to 0, we consider two cases: Case I: Assume N 0 > 0. In this case choose N N such that λcµt ) /α Then it follows from 9) that C E α µ) ) /α δ N λcµt )/α 3C E α µ) ). /α δ λcµt ) /α E c 3C E α µ) ) λδ Cδ E /α α µ) ) /α λc µt )4/α δ 4CE α µ) /α ) δ µt ) /α = κλ µt ) /α / E α µ) ) /α for κ = c /C). This gives 7). Case II: Assume N 0 0. In this case unless T is empty) we estimate E cλδ λ c µt ) /α 0CE α µ) /α

5 PACKING SPHERES AND FRACTAL STRICHARTZ ESTIMATES IN R d FOR d 3 5 which again yields 7), concluding the proof of Theorem. The following result will allow us to deal with the case 0 < α <. Proposition. Suppose 0 < γ β α < and suppose that µ is a finite nonnegative Borel measure on a compact subset K of S satisfying the following condition: given N N and Borel T S, one can choose S,..., S N T such that 0) +β γ)/β CN S m S n µt ). +γ)/β Suppose Then there is the estimate p = + β γ + β γ, q = + γ + β γ, η = γ + β γ. for Borel E R d and δ 0, ). T δ χ E L q, µ) E /p δ η It follows from the proof of Lemma.5 in [] that the estimate T δ χ E L q, µ E /p δ η implies a lower bound of n pη for the Hausdorff dimension of a Borel set containing positive-measure sections of each sphere S in the support of µ. Plugging in the values for p and η which are given in Proposition yields the lower bound n γ)/ + β γ). We will see below that if T S has dimension α 0, ) and either lies on a curve or is a Cantor set, then T supports measures µ allowing choices of β and γ arbitrarily close to α and so leading to the desired lower bound of n + α for the dimension of S T S. First, though, we indicate the proof of the proposition. Proof of Proposition : The proof follows the proof of Theorem in [5] and is only a slight modification of the proof of Theorem. Using 0) instead of Lemma, the analogue of 9) is ) E cnλδ Cδ N +β γ)/β µt ) +γ)/β. The two cases are now defined by comparing N 0. cλ ) β/+β γ)µt +γ = ) +β γ Cδ and 0. In case N 0 > 0, choosing N in ) such that N 0 / N N 0 /3 gives E λ +β γ +β γ δ γ +β γ µt ) +γ +β γ κ

6 6 DANIEL M. OBERLIN where β +β γ C +β γ κ = c +β γ 3 +β γ)/β ) > 0. This gives the desired estimate λµt ) /q E /p δ η if N 0 > 0. On the other hand, the inequality N 0 0 gives λµt ) +γ)/β δ and so ) λ A µt ) A+γ)/β δ A if A > 0. Since E cλδ unless T is empty), there is also the inequality 3) λ A E A δ A as long as 0 < A <. Multiplying ) and 3) gives λµt ) A+γ)/β E A δ A. Then the choice A = β/ + β γ) yields λµt ) /q E /p δ η again, completing the proof of Proposition. When µ is supported on a curve, the following lemma verifies the hypotheses of Proposition. Thus it follows from standard facts about Hausdorff dimension that if the Borel set K S lies on a curve as in Lemma 3, if E R d is Borel, and if S K S E, then 4) α. = dimk) 0, ) implies dime) n + α. Lemma 3. Suppose α 0, ). Suppose µ is a nonnegative measure on a compact interval J R which satisfies the condition µi) I α for subintervals I J. Let µ be the image of µ under a one-to-one and bi-lipschitz mapping of J into S. Suppose 0 < γ < β < α <. Then given N N and Borel T S, one can choose S,..., S N T such that +β γ)/β Cα, β, γ)n. S m S n µt ) +γ)/β We omit the proof of Lemma 3 since it is technical, of little intrinsic interest, and completely parallel to the proof of Lemma in [5]. The next lemma is an analogue of Lemma 3 in case K is a Cantor set. Lemma 4. Suppose k, l are positive integers and set α = log k/ log l. Suppose that K S supports a Borel measure µ such that E α ɛ µ) < for 0 < ɛ < α and having the property that for each M N, K is the union of k M l M -separated compact sets K M m of diameter l M such that µk M m ) = k M. Then, given β 0, α), N N, and Borel T S, one can choose S,..., S N T such that +β)/β Cβ)N S m S n µt ). +β)/β

7 PACKING SPHERES AND FRACTAL STRICHARTZ ESTIMATES IN R d FOR d 3 7 Again, it follows from Proposition that 4) holds for such Cantor sets K. Proof of Lemma 4: Fix β, ɛ 0, α) such that 5) + α + ɛ α = + β β. For a given N N and Borel T S, choose M N such that 6) N k M µt ). Since µk M m ) = k m, T must intersect N of the K M m s. Therefore we can choose N points S m T such that distinct S m s lie in distinct K M m s. Then, using the hypotheses on the K M m s, k M K M m S m S n K M n Since l = k /α, it follows from 6) and 5) that as desired. K M m K M n dµt )dµt ) T T dµt )dµt ) T T α ɛ l M ) α+ɛ E α ɛµ)l M ) α+ɛ. N ) +α+ɛ)/α N ) +β)/β S m S n km ) +α+ɛ)/α = µt ) µt ) We will give the proof of Theorem in case d is even. The proof for odd d is similar but slightly less complicated. Before beginning, we recall the well-known formula for the solution of the wave equation for even d: ux, t) = γ d [ t for some constant γ d. t ) t ) d )/ t d gx + ty) )+ t dy B0,) y ) d )/ t d hx + ty) ) ] t dy B0,) y Proof of Theorem 4: Recalling that T fx, t) = Σ d ) fx + tσ)dσ, we define Sfx, t) = B0,) dy fx + ty). y Let t 0 and T 0 be the inf and sup of t on the support of µ. For β > 0, let I β be a potential operator on R d with smooth and nonzero multiplier p β ξ) equal to ξ β for ξ /T 0 ). The next lemma is essentially the difference between the proofs of Theorem for even and odd d.

8 8 DANIEL M. OBERLIN Lemma 5. If µ is as in Theorem then for q < α and 0 < β < / we have 7) Sf Lq µ) I β f L, R d ). Proof of Lemma 5: Suppose γξ) is a smooth function on R d which vanishes on B0, ) and which equals ξ d/ for large ξ. Let mξ) be the multiplier e πi ξ γξ) and suppose that K is the kernel on R d whose Fourier transform is m. Define the operator S 0 by S 0 fx, t) = fx + ty) Ky) dy. R d By the asymptotic expansion of the Fourier transform of y ) / +, the operator S is the sum of two operators like S 0 and nicer terms. We will explain why 8) S 0 f Lq µ) I β f L, R d ). Define m by p β ξ) mξ) = mξ) so that mξ) = e πi ξ γξ) where γξ) is smooth and equal to ξ β d/ for large ξ. Let the kernel K have Fourier transform m and put Sfx, t) = fx + ty) Ky) dy. R d Since S 0 f, t)ξ) = mtξ) fξ) = p β tξ) mtξ) fξ) = t β mtξ)p β ξ) fξ) = t β SI β f, t)ξ), 8) will follow from t 0 t T 0 on the support of µ and 9) Sf L q µ) f L, R d ). Let ɛ = / β. According to the considerations on p. 46 of [6], the kernel K satisfies Ky) y +ɛ for y and Ky) y d+)/ for large y. Thus K = K j where K 0 L R d ) and for j =,,... j=0 K j jɛ j χ A0,, j ). We recall that A0,, j ) is the annulus centered at 0 with radii j and + j.) If the operators S j correspond to the kernels K j, then S 0 maps L R d ) into L µ) since t is bounded away from 0 on the support of µ). Also, for j =,,... we have S j f L q µ) jɛ T j f L q µ) jɛ f L, R d )

9 PACKING SPHERES AND FRACTAL STRICHARTZ ESTIMATES IN R d FOR d 3 9 by the analogue of Theorem for the operators T δ. Since S = Sj, 9) follows. Returning to the proof of Theorem 4, we can write ux, t) = α =d/ c α t)sd α g)x, t) + α =d/ d α t)sd α h)x, t) where the coefficients c α and d α are bounded on the support of µ. Fix ɛ > 0 and let β = / ɛ/. If α = d/ then Lemma 5 gives SD α g) Lq µ) I β D α g L, R d ) I β D α g W,ɛ/ g W,d/+ɛ/ β = g W,d )/+ɛ. Analogous considerations for h complete the proof of Theorem. References. J. Bourgain, Besicovitch type maximal operators and applications to Fourier analysis, Geometric and Functional Analysis 99), T. Mitsis, On a problem related to sphere and circle packing, J. London Math. Soc ), D. Oberlin, L p L q mapping properties of the Radon transform, Springer Lecture Notes in Mathematics ), , An estimate for a restricted X-ray transform, Canadian Mathematical Bulletin ), , Restricted Radon transforms and unions of hyperplanes, preprint. 6. E.M. Stein, Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals, Princeton University Press, T. Wolff, Local smoothing estimates on L p for large p, Geom. Funct. Anal ),

ON A PROBLEM RELATED TO SPHERE AND CIRCLE PACKING

ON A PROBLEM RELATED TO SPHERE AND CIRCLE PACKING ON A PROBLEM RELATED TO SPHERE AND CIRCLE PACKING THEMIS MITSIS ABSTRACT We prove that a set which contains spheres centered at all points of a set of Hausdorff dimension greater than must have positive

More information

SHARP INEQUALITIES FOR MAXIMAL FUNCTIONS ASSOCIATED WITH GENERAL MEASURES

SHARP INEQUALITIES FOR MAXIMAL FUNCTIONS ASSOCIATED WITH GENERAL MEASURES SHARP INEQUALITIES FOR MAXIMAL FUNCTIONS ASSOCIATED WITH GENERAL MEASURES L. Grafakos Department of Mathematics, University of Missouri, Columbia, MO 65203, U.S.A. (e-mail: loukas@math.missouri.edu) and

More information

A. Iosevich and I. Laba January 9, Introduction

A. Iosevich and I. Laba January 9, Introduction K-DISTANCE SETS, FALCONER CONJECTURE, AND DISCRETE ANALOGS A. Iosevich and I. Laba January 9, 004 Abstract. In this paper we prove a series of results on the size of distance sets corresponding to sets

More information

(b) If f L p (R), with 1 < p, then Mf L p (R) and. Mf L p (R) C(p) f L p (R) with C(p) depending only on p.

(b) If f L p (R), with 1 < p, then Mf L p (R) and. Mf L p (R) C(p) f L p (R) with C(p) depending only on p. Lecture 3: Carleson Measures via Harmonic Analysis Much of the argument from this section is taken from the book by Garnett, []. The interested reader can also see variants of this argument in the book

More information

The Fourier transform and Hausdorff dimension. Pertti Mattila. Pertti Mattila. University of Helsinki. Sant Feliu de Guíxols June 15 18, 2015

The Fourier transform and Hausdorff dimension. Pertti Mattila. Pertti Mattila. University of Helsinki. Sant Feliu de Guíxols June 15 18, 2015 University of Helsinki Sant Feliu de Guíxols June 15 18, 2015 The s-al measure H s, s 0, is defined by H s (A) = lim δ 0 H s δ (A), where, for 0 < δ, H s δ (A) = inf{ j d(e j ) s : A j E j, d(e j ) < δ}.

More information

LARGE DEVIATIONS OF TYPICAL LINEAR FUNCTIONALS ON A CONVEX BODY WITH UNCONDITIONAL BASIS. S. G. Bobkov and F. L. Nazarov. September 25, 2011

LARGE DEVIATIONS OF TYPICAL LINEAR FUNCTIONALS ON A CONVEX BODY WITH UNCONDITIONAL BASIS. S. G. Bobkov and F. L. Nazarov. September 25, 2011 LARGE DEVIATIONS OF TYPICAL LINEAR FUNCTIONALS ON A CONVEX BODY WITH UNCONDITIONAL BASIS S. G. Bobkov and F. L. Nazarov September 25, 20 Abstract We study large deviations of linear functionals on an isotropic

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

(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 information

APPLICATION OF A FOURIER RESTRICTION THEOREM TO CERTAIN FAMILIES OF PROJECTIONS IN R 3

APPLICATION OF A FOURIER RESTRICTION THEOREM TO CERTAIN FAMILIES OF PROJECTIONS IN R 3 APPLICATION OF A FOURIER RESTRICTION THEOREM TO CERTAIN FAMILIES OF PROJECTIONS IN R 3 DANIEL OBERLIN AND RICHARD OBERLIN Abstract. We use a restriction theorem for Fourier transforms of fractal measures

More information

The Kakeya Problem Connections with Harmonic Analysis Kakeya sets over Finite Fields. Kakeya Sets. Jonathan Hickman. The University of Edinburgh

The Kakeya Problem Connections with Harmonic Analysis Kakeya sets over Finite Fields. Kakeya Sets. Jonathan Hickman. The University of Edinburgh The University of Edinburgh The Kakeya Problem Definition A Kakeya set K R n is a compact subset which contains a unit line segment in every direction. The Kakeya Problem Examples of Kakeya subsets of

More information

Lecture 9 Metric spaces. The contraction fixed point theorem. The implicit function theorem. The existence of solutions to differenti. equations.

Lecture 9 Metric spaces. The contraction fixed point theorem. The implicit function theorem. The existence of solutions to differenti. equations. Lecture 9 Metric spaces. The contraction fixed point theorem. The implicit function theorem. The existence of solutions to differential equations. 1 Metric spaces 2 Completeness and completion. 3 The contraction

More information

The Hilbert Transform and Fine Continuity

The Hilbert Transform and Fine Continuity Irish Math. Soc. Bulletin 58 (2006), 8 9 8 The Hilbert Transform and Fine Continuity J. B. TWOMEY Abstract. It is shown that the Hilbert transform of a function having bounded variation in a finite interval

More information

LECTURE 15: COMPLETENESS AND CONVEXITY

LECTURE 15: COMPLETENESS AND CONVEXITY LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other

More information

BURGESS INEQUALITY IN F p 2. Mei-Chu Chang

BURGESS INEQUALITY IN F p 2. Mei-Chu Chang BURGESS INEQUALITY IN F p 2 Mei-Chu Chang Abstract. Let be a nontrivial multiplicative character of F p 2. We obtain the following results.. Given ε > 0, there is δ > 0 such that if ω F p 2\F p and I,

More information

THE 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, 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 information

MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 2: Countability and Cantor Sets

MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 2: Countability and Cantor Sets MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION Chapter 2: Countability and Cantor Sets Countable and Uncountable Sets The concept of countability will be important in this course

More information

3 (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?

3 (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 information

Some results in support of the Kakeya Conjecture

Some results in support of the Kakeya Conjecture Some results in support of the Kakeya Conjecture Jonathan M. Fraser School of Mathematics, The University of Manchester, Manchester, M13 9PL, UK. Eric J. Olson Department of Mathematics/084, University

More information

SHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction

SHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction SHARP BOUNDARY TRACE INEQUALITIES GILES AUCHMUTY Abstract. This paper describes sharp inequalities for the trace of Sobolev functions on the boundary of a bounded region R N. The inequalities bound (semi-)norms

More information

UNIONS OF LINES IN F n

UNIONS OF LINES IN F n UNIONS OF LINES IN F n RICHARD OBERLIN Abstract. We show that if a collection of lines in a vector space over a finite field has dimension at least 2(d 1)+β, then its union has dimension at least d + β.

More information

(2) E M = E C = X\E M

(2) E M = E C = X\E M 10 RICHARD B. MELROSE 2. Measures and σ-algebras An outer measure such as µ is a rather crude object since, even if the A i are disjoint, there is generally strict inequality in (1.14). It turns out to

More information

CHAPTER 6. Differentiation

CHAPTER 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 information

1 Cheeger differentiation

1 Cheeger differentiation 1 Cheeger differentiation after J. Cheeger [1] and S. Keith [3] A summary written by John Mackay Abstract We construct a measurable differentiable structure on any metric measure space that is doubling

More information

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

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 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 information

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.

More information

Convex Geometry. Carsten Schütt

Convex Geometry. Carsten Schütt Convex Geometry Carsten Schütt November 25, 2006 2 Contents 0.1 Convex sets... 4 0.2 Separation.... 9 0.3 Extreme points..... 15 0.4 Blaschke selection principle... 18 0.5 Polytopes and polyhedra.... 23

More information

MAXIMAL AVERAGE ALONG VARIABLE LINES. 1. Introduction

MAXIMAL AVERAGE ALONG VARIABLE LINES. 1. Introduction MAXIMAL AVERAGE ALONG VARIABLE LINES JOONIL KIM Abstract. We prove the L p boundedness of the maximal operator associated with a family of lines l x = {(x, x 2) t(, a(x )) : t [0, )} when a is a positive

More information

Existence and Uniqueness

Existence and Uniqueness Chapter 3 Existence and Uniqueness An intellect which at a certain moment would know all forces that set nature in motion, and all positions of all items of which nature is composed, if this intellect

More information

On a Generalization of the Busemann Petty Problem

On a Generalization of the Busemann Petty Problem Convex Geometric Analysis MSRI Publications Volume 34, 1998 On a Generalization of the Busemann Petty Problem JEAN BOURGAIN AND GAOYONG ZHANG Abstract. The generalized Busemann Petty problem asks: If K

More information

Appendix B Convex analysis

Appendix B Convex analysis This version: 28/02/2014 Appendix B Convex analysis In this appendix we review a few basic notions of convexity and related notions that will be important for us at various times. B.1 The Hausdorff distance

More information

SOME PROPERTIES OF INTEGRAL APOLLONIAN PACKINGS

SOME PROPERTIES OF INTEGRAL APOLLONIAN PACKINGS SOME PROPERTIES OF INTEGRAL APOLLONIAN PACKINGS HENRY LI Abstract. Within the study of fractals, some very interesting number theoretical properties can arise from unexpected places. The integral Apollonian

More information

Lecture Notes on Metric Spaces

Lecture Notes on Metric Spaces Lecture Notes on Metric Spaces Math 117: Summer 2007 John Douglas Moore Our goal of these notes is to explain a few facts regarding metric spaces not included in the first few chapters of the text [1],

More information

ON THE SIZE OF KAKEYA SETS IN FINITE FIELDS

ON THE SIZE OF KAKEYA SETS IN FINITE FIELDS ON THE SIZE OF KAKEYA SETS IN FINITE FIELDS ZEEV DVIR Abstract. A Kakeya set is a subset of F n, where F is a finite field of q elements, that contains a line in every direction. In this paper we show

More information

Remarks on localized sharp functions on certain sets in R n

Remarks on localized sharp functions on certain sets in R n Monatsh Math (28) 85:397 43 https://doi.org/.7/s65-7-9-5 Remarks on localized sharp functions on certain sets in R n Jacek Dziubański Agnieszka Hejna Received: 7 October 26 / Accepted: August 27 / Published

More information

Lebesgue Measure on R n

Lebesgue Measure on R n CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets

More information

Review of measure theory

Review of measure theory 209: Honors nalysis in R n Review of measure theory 1 Outer measure, measure, measurable sets Definition 1 Let X be a set. nonempty family R of subsets of X is a ring if, B R B R and, B R B R hold. bove,

More information

ON A MEASURE THEORETIC AREA FORMULA

ON A MEASURE THEORETIC AREA FORMULA ON A MEASURE THEORETIC AREA FORMULA VALENTINO MAGNANI Abstract. We review some classical differentiation theorems for measures, showing how they can be turned into an integral representation of a Borel

More information

THEOREMS, ETC., FOR MATH 515

THEOREMS, 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 information

Decouplings and applications

Decouplings and applications April 27, 2018 Let Ξ be a collection of frequency points ξ on some curved, compact manifold S of diameter 1 in R n (e.g. the unit sphere S n 1 ) Let B R = B(c, R) be a ball with radius R 1. Let also a

More information

Solutions to Tutorial 11 (Week 12)

Solutions to Tutorial 11 (Week 12) THE UIVERSITY OF SYDEY SCHOOL OF MATHEMATICS AD STATISTICS Solutions to Tutorial 11 (Week 12) MATH3969: Measure Theory and Fourier Analysis (Advanced) Semester 2, 2017 Web Page: http://sydney.edu.au/science/maths/u/ug/sm/math3969/

More information

Lebesgue-Radon-Nikodym Theorem

Lebesgue-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 information

Efficient packing of unit squares in a square

Efficient packing of unit squares in a square Loughborough University Institutional Repository Efficient packing of unit squares in a square This item was submitted to Loughborough University's Institutional Repository by the/an author. Additional

More information

Math 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative

Math 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative Math 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative This chapter is another review of standard material in complex analysis. See for instance

More information

consists of two disjoint copies of X n, each scaled down by 1,

consists 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 information

Gaussian Measure of Sections of convex bodies

Gaussian Measure of Sections of convex bodies Gaussian Measure of Sections of convex bodies A. Zvavitch Department of Mathematics, University of Missouri, Columbia, MO 652, USA Abstract In this paper we study properties of sections of convex bodies

More information

Remarks on the Gauss-Green Theorem. Michael Taylor

Remarks 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 information

lim f f(kx)dp(x) = cmf

lim 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 information

The Caratheodory Construction of Measures

The 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 information

NOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS

NOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS NOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS CLARK BUTLER. Introduction The purpose of these notes is to give a self-contained proof of the following theorem, Theorem.. Let f : S n S n be a

More information

Reducing 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, (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 information

THEOREMS, ETC., FOR MATH 516

THEOREMS, ETC., FOR MATH 516 THEOREMS, ETC., FOR MATH 516 Results labeled Theorem Ea.b.c (or Proposition Ea.b.c, etc.) refer to Theorem c from section a.b of Evans book (Partial Differential Equations). Proposition 1 (=Proposition

More information

LECTURE NOTES ON THE FOURIER TRANSFORM AND HAUSDORFF DIMENSION

LECTURE NOTES ON THE FOURIER TRANSFORM AND HAUSDORFF DIMENSION LECTURE NOTES ON THE FOURIER TRANSFORM AND HAUSDORFF DIMENSION PERTTI MATTILA Buenos Aires August 1 3, 2015 Most of these lectures are based on the book P. Mattila: The Fourier transform and Hausdorff

More information

Harmonic analysis related to homogeneous varieties in three dimensional vector space over finite fields

Harmonic analysis related to homogeneous varieties in three dimensional vector space over finite fields Harmonic analysis related to homogeneous varieties in three dimensional vector space over finite fields Doowon Koh and Chun-Yen Shen Abstract. In this paper we study extension problems, averaging problems,

More information

Hausdorff operators in H p spaces, 0 < p < 1

Hausdorff operators in H p spaces, 0 < p < 1 Hausdorff operators in H p spaces, 0 < p < 1 Elijah Liflyand joint work with Akihiko Miyachi Bar-Ilan University June, 2018 Elijah Liflyand joint work with Akihiko Miyachi (Bar-Ilan University) Hausdorff

More information

1 Preliminaries on locally compact spaces and Radon measure

1 Preliminaries on locally compact spaces and Radon measure 1 Preliminaries on locally compact spaces and Radon measure Definition 1.1 A topological space is locally compact if every point has a compact neighborhood. The spaces we are concerned with in this presentation

More information

be the set of complex valued 2π-periodic functions f on R such that

be 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 information

Local strong convexity and local Lipschitz continuity of the gradient of convex functions

Local strong convexity and local Lipschitz continuity of the gradient of convex functions Local strong convexity and local Lipschitz continuity of the gradient of convex functions R. Goebel and R.T. Rockafellar May 23, 2007 Abstract. Given a pair of convex conjugate functions f and f, we investigate

More information

Harmonic Functions and Brownian motion

Harmonic Functions and Brownian motion Harmonic Functions and Brownian motion Steven P. Lalley April 25, 211 1 Dynkin s Formula Denote by W t = (W 1 t, W 2 t,..., W d t ) a standard d dimensional Wiener process on (Ω, F, P ), and let F = (F

More information

ON THE KAKEYA SET CONJECTURE

ON THE KAKEYA SET CONJECTURE ON THE KAKEYA SET CONJECTURE J.ASPEGREN Abstract. In this article we will prove the Kakeya set conjecture. In addition we will prove that in the usual approach to the Kakeya maximal function conjecture

More information

REAL AND COMPLEX ANALYSIS

REAL 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 information

Remarks on Extremization Problems Related To Young s Inequality

Remarks on Extremization Problems Related To Young s Inequality Remarks on Extremization Problems Related To Young s Inequality Michael Christ University of California, Berkeley University of Wisconsin May 18, 2016 Part 1: Introduction Young s convolution inequality

More information

Fractal Geometry Mathematical Foundations and Applications

Fractal Geometry Mathematical Foundations and Applications Fractal Geometry Mathematical Foundations and Applications Third Edition by Kenneth Falconer Solutions to Exercises Acknowledgement: Grateful thanks are due to Gwyneth Stallard for providing solutions

More information

Three hours THE UNIVERSITY OF MANCHESTER. 24th January

Three hours THE UNIVERSITY OF MANCHESTER. 24th January Three hours MATH41011 THE UNIVERSITY OF MANCHESTER FOURIER ANALYSIS AND LEBESGUE INTEGRATION 24th January 2013 9.45 12.45 Answer ALL SIX questions in Section A (25 marks in total). Answer THREE of the

More information

TADAHIRO OH 0, 3 8 (T R), (1.5) The result in [2] is in fact stated for time-periodic functions: 0, 1 3 (T 2 ). (1.4)

TADAHIRO OH 0, 3 8 (T R), (1.5) The result in [2] is in fact stated for time-periodic functions: 0, 1 3 (T 2 ). (1.4) PERIODIC L 4 -STRICHARTZ ESTIMATE FOR KDV TADAHIRO OH 1. Introduction In [], Bourgain proved global well-posedness of the periodic KdV in L T): u t + u xxx + uu x 0, x, t) T R. 1.1) The key ingredient

More information

The ideal of Sierpiński-Zygmund sets on the plane

The ideal of Sierpiński-Zygmund sets on the plane The ideal of Sierpiński-Zygmund sets on the plane Krzysztof P lotka Department of Mathematics, West Virginia University Morgantown, WV 26506-6310, USA kplotka@math.wvu.edu and Institute of Mathematics,

More information

Singular Integrals. 1 Calderon-Zygmund decomposition

Singular Integrals. 1 Calderon-Zygmund decomposition Singular Integrals Analysis III Calderon-Zygmund decomposition Let f be an integrable function f dx 0, f = g + b with g Cα almost everywhere, with b

More information

arxiv: v2 [math.ds] 9 Jun 2013

arxiv: v2 [math.ds] 9 Jun 2013 SHAPES OF POLYNOMIAL JULIA SETS KATHRYN A. LINDSEY arxiv:209.043v2 [math.ds] 9 Jun 203 Abstract. Any Jordan curve in the complex plane can be approximated arbitrarily well in the Hausdorff topology by

More information

A COUNTEREXAMPLE TO AN ENDPOINT BILINEAR STRICHARTZ INEQUALITY TERENCE TAO. t L x (R R2 ) f L 2 x (R2 )

A COUNTEREXAMPLE TO AN ENDPOINT BILINEAR STRICHARTZ INEQUALITY TERENCE TAO. t L x (R R2 ) f L 2 x (R2 ) Electronic Journal of Differential Equations, Vol. 2006(2006), No. 5, pp. 6. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) A COUNTEREXAMPLE

More information

Factorization in Integral Domains II

Factorization in Integral Domains II Factorization in Integral Domains II 1 Statement of the main theorem Throughout these notes, unless otherwise specified, R is a UFD with field of quotients F. The main examples will be R = Z, F = Q, and

More information

Probability and Measure

Probability and Measure Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability

More information

Harmonic Functions and Brownian Motion in Several Dimensions

Harmonic Functions and Brownian Motion in Several Dimensions Harmonic Functions and Brownian Motion in Several Dimensions Steven P. Lalley October 11, 2016 1 d -Dimensional Brownian Motion Definition 1. A standard d dimensional Brownian motion is an R d valued continuous-time

More information

Math 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative

Math 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative Math 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative This chapter is another review of standard material in complex analysis. See for instance

More information

THE KAKEYA SET CONJECTURE IS TRUE

THE KAKEYA SET CONJECTURE IS TRUE THE KAKEYA SET CONJECTURE IS TRUE J.ASPEGREN Abstract. In this article we will prove the Kakeya set conjecture. In addition we will prove that in the usual approach to the Kakeya maximal function conjecture

More information

ON THE BEHAVIOR OF THE SOLUTION OF THE WAVE EQUATION. 1. Introduction. = u. x 2 j

ON THE BEHAVIOR OF THE SOLUTION OF THE WAVE EQUATION. 1. Introduction. = u. x 2 j ON THE BEHAVIO OF THE SOLUTION OF THE WAVE EQUATION HENDA GUNAWAN AND WONO SETYA BUDHI Abstract. We shall here study some properties of the Laplace operator through its imaginary powers, and apply the

More information

FRACTAL GEOMETRY, DYNAMICAL SYSTEMS AND CHAOS

FRACTAL 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 information

Pseudo-Poincaré Inequalities and Applications to Sobolev Inequalities

Pseudo-Poincaré Inequalities and Applications to Sobolev Inequalities Pseudo-Poincaré Inequalities and Applications to Sobolev Inequalities Laurent Saloff-Coste Abstract Most smoothing procedures are via averaging. Pseudo-Poincaré inequalities give a basic L p -norm control

More information

Quasiconformal Maps and Circle Packings

Quasiconformal Maps and Circle Packings Quasiconformal Maps and Circle Packings Brett Leroux June 11, 2018 1 Introduction Recall the statement of the Riemann mapping theorem: Theorem 1 (Riemann Mapping). If R is a simply connected region in

More information

NAME: MATH 172: Lebesgue Integration and Fourier Analysis (winter 2012) Final exam. Wednesday, March 21, time: 2.5h

NAME: 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 information

THE VOLUME OF A HYPERBOLIC 3-MANIFOLD WITH BETTI NUMBER 2. Marc Culler and Peter B. Shalen. University of Illinois at Chicago

THE VOLUME OF A HYPERBOLIC 3-MANIFOLD WITH BETTI NUMBER 2. Marc Culler and Peter B. Shalen. University of Illinois at Chicago THE VOLUME OF A HYPERBOLIC -MANIFOLD WITH BETTI NUMBER 2 Marc Culler and Peter B. Shalen University of Illinois at Chicago Abstract. If M is a closed orientable hyperbolic -manifold with first Betti number

More information

Measure 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 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 information

ALEXANDER KOLDOBSKY AND ALAIN PAJOR. Abstract. We prove that there exists an absolute constant C so that µ(k) C p max. ξ S n 1 µ(k ξ ) K 1/n

ALEXANDER KOLDOBSKY AND ALAIN PAJOR. Abstract. We prove that there exists an absolute constant C so that µ(k) C p max. ξ S n 1 µ(k ξ ) K 1/n A REMARK ON MEASURES OF SECTIONS OF L p -BALLS arxiv:1601.02441v1 [math.mg] 11 Jan 2016 ALEXANDER KOLDOBSKY AND ALAIN PAJOR Abstract. We prove that there exists an absolute constant C so that µ(k) C p

More information

Research Statement. Yakun Xi

Research Statement. Yakun Xi Research Statement Yakun Xi 1 Introduction My research interests lie in harmonic and geometric analysis, and in particular, the Kakeya- Nikodym family of problems and eigenfunction estimates on compact

More information

2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure? MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is

More information

Reminder Notes for the Course on Measures on Topological Spaces

Reminder Notes for the Course on Measures on Topological Spaces Reminder Notes for the Course on Measures on Topological Spaces T. C. Dorlas Dublin Institute for Advanced Studies School of Theoretical Physics 10 Burlington Road, Dublin 4, Ireland. Email: dorlas@stp.dias.ie

More information

Richard F. Bass Krzysztof Burdzy University of Washington

Richard F. Bass Krzysztof Burdzy University of Washington ON DOMAIN MONOTONICITY OF THE NEUMANN HEAT KERNEL Richard F. Bass Krzysztof Burdzy University of Washington Abstract. Some examples are given of convex domains for which domain monotonicity of the Neumann

More information

A NOTE ON WEAK CONVERGENCE OF SINGULAR INTEGRALS IN METRIC SPACES

A 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 information

Exercises: Brunn, Minkowski and convex pie

Exercises: Brunn, Minkowski and convex pie Lecture 1 Exercises: Brunn, Minkowski and convex pie Consider the following problem: 1.1 Playing a convex pie Consider the following game with two players - you and me. I am cooking a pie, which should

More information

NECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES

NECESSARY 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 information

Both these computations follow immediately (and trivially) from the definitions. Finally, observe that if f L (R n ) then we have that.

Both 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 information

UNIFORMLY PERFECT ANALYTIC AND CONFORMAL ATTRACTOR SETS. 1. Introduction and results

UNIFORMLY PERFECT ANALYTIC AND CONFORMAL ATTRACTOR SETS. 1. Introduction and results UNIFORMLY PERFECT ANALYTIC AND CONFORMAL ATTRACTOR SETS RICH STANKEWITZ Abstract. Conditions are given which imply that analytic iterated function systems (IFS s) in the complex plane C have uniformly

More information

RESTRICTION. Alex Iosevich. Section 0: Introduction.. A natural question to ask is, does the boundedness of R : L 2(r+1)

RESTRICTION. Alex Iosevich. Section 0: Introduction.. A natural question to ask is, does the boundedness of R : L 2(r+1) FOURIER TRANSFORM, L 2 THEOREM, AND SCALING RESTRICTION Alex Iosevich Abstract. We show, using a Knapp-type homogeneity argument, that the (L p, L 2 ) restriction theorem implies a growth condition on

More information

FOURIER ANALYSIS AND GEOMETRIC COMBINATORICS

FOURIER ANALYSIS AND GEOMETRIC COMBINATORICS FOURIER ANALYSIS AND GEOMETRIC COMBINATORICS Alex Iosevich Department of Mathematics University of Missouri-Columbia Columbia, MO 65211 USA iosevich@math.missouri.edu Abstract This article is based on

More information

Chapter 4. The dominated convergence theorem and applications

Chapter 4. The dominated convergence theorem and applications Chapter 4. The dominated convergence theorem and applications The Monotone Covergence theorem is one of a number of key theorems alllowing one to exchange limits and [Lebesgue] integrals (or derivatives

More information

Problem set 1, Real Analysis I, Spring, 2015.

Problem set 1, Real Analysis I, Spring, 2015. Problem set 1, Real Analysis I, Spring, 015. (1) Let f n : D R be a sequence of functions with domain D R n. Recall that f n f uniformly if and only if for all ɛ > 0, there is an N = N(ɛ) so that if n

More information

+ 2x sin x. f(b i ) f(a i ) < ɛ. i=1. i=1

+ 2x sin x. f(b i ) f(a i ) < ɛ. i=1. i=1 Appendix To understand weak derivatives and distributional derivatives in the simplest context of functions of a single variable, we describe without proof some results from real analysis (see [7] and

More information

Decoupling course outline Decoupling theory is a recent development in Fourier analysis with applications in partial differential equations and

Decoupling course outline Decoupling theory is a recent development in Fourier analysis with applications in partial differential equations and Decoupling course outline Decoupling theory is a recent development in Fourier analysis with applications in partial differential equations and analytic number theory. It studies the interference patterns

More information

756 Thomas Wolff 3. Is the following estimate true? 8 >09C : kf k L n (P n;1 ) C ; kfk Ln (P n;1 ) (1) We discuss below the partial results that have

756 Thomas Wolff 3. Is the following estimate true? 8 >09C : kf k L n (P n;1 ) C ; kfk Ln (P n;1 ) (1) We discuss below the partial results that have Doc. Math. J. DMV 755 Maximal Averages and Packing of One Dimensional Sets Thomas Wolff Abstract. We discuss recent work of several authors on the Kakeya needle problem and other related problems involving

More information

A new proof of Gromov s theorem on groups of polynomial growth

A new proof of Gromov s theorem on groups of polynomial growth A new proof of Gromov s theorem on groups of polynomial growth Bruce Kleiner Courant Institute NYU Groups as geometric objects Let G a group with a finite generating set S G. Assume that S is symmetric:

More information

Limiting behaviour of large Frobenius numbers. V.I. Arnold

Limiting behaviour of large Frobenius numbers. V.I. Arnold Limiting behaviour of large Frobenius numbers by J. Bourgain and Ya. G. Sinai 2 Dedicated to V.I. Arnold on the occasion of his 70 th birthday School of Mathematics, Institute for Advanced Study, Princeton,

More information

. A NOTE ON THE RESTRICTION THEOREM AND GEOMETRY OF HYPERSURFACES

. A NOTE ON THE RESTRICTION THEOREM AND GEOMETRY OF HYPERSURFACES . A NOTE ON THE RESTRICTION THEOREM AND GEOMETRY OF HYPERSURFACES FABIO NICOLA Abstract. A necessary condition is established for the optimal (L p, L 2 ) restriction theorem to hold on a hypersurface S,

More information

B 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.

B 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X. Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2

More information