Daniel M. Oberlin Department of Mathematics, Florida State University. January 2005
|
|
- Ruby Webb
- 5 years ago
- Views:
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 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 informationSHARP 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 informationA. 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.
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 informationThe 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 informationLARGE 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
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 informationAPPLICATION 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 informationThe 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 informationLecture 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 informationThe Hilbert Transform and Fine Continuity
Irish Math. Soc. Bulletin 58 (2006), 8 9 8 The Hilbert Transform and Fine Continuity J. B. TWOMEY Abstract. It is shown that the Hilbert transform of a function having bounded variation in a finite interval
More informationLECTURE 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 informationBURGESS 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 informationTHE MATTILA INTEGRAL ASSOCIATED WITH SIGN INDEFINITE MEASURES. Alex Iosevich and Misha Rudnev. August 3, Introduction
THE MATTILA INTEGRAL ASSOCIATED WITH SIGN INDEFINITE MEASURES Alex Iosevich and Misha Rudnev August 3, 005 Abstract. In order to quantitatively illustrate the role of positivity in the Falconer distance
More informationMATH31011/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 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 informationSome 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 informationSHARP 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 informationUNIONS 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
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 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 information1 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 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 informationReal 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 informationConvex 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 informationMAXIMAL 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 informationExistence 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 informationOn 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 informationAppendix 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 informationSOME 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 informationLecture 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 informationON 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 informationRemarks 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 informationLebesgue 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 informationReview 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 informationON 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 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 informationDecouplings 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 informationSolutions to Tutorial 11 (Week 12)
THE UIVERSITY OF SYDEY SCHOOL OF MATHEMATICS AD STATISTICS Solutions to Tutorial 11 (Week 12) MATH3969: Measure Theory and Fourier Analysis (Advanced) Semester 2, 2017 Web Page: http://sydney.edu.au/science/maths/u/ug/sm/math3969/
More informationLebesgue-Radon-Nikodym Theorem
Lebesgue-Radon-Nikodym Theorem Matt Rosenzweig 1 Lebesgue-Radon-Nikodym Theorem In what follows, (, A) will denote a measurable space. We begin with a review of signed measures. 1.1 Signed Measures Definition
More informationEfficient 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 informationMath 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 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 informationGaussian 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 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 informationlim f f(kx)dp(x) = cmf
proceedings of the american mathematical society Volume 107, Number 3, November 1989 MAGNIFIED CURVES ON A FLAT TORUS, DETERMINATION OF ALMOST PERIODIC FUNCTIONS, AND THE RIEMANN-LEBESGUE LEMMA ROBERT
More informationThe 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 informationNOTES 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 informationReducing subspaces. Rowan Killip 1 and Christian Remling 2 January 16, (to appear in J. Funct. Anal.)
Reducing subspaces Rowan Killip 1 and Christian Remling 2 January 16, 2001 (to appear in J. Funct. Anal.) 1. University of Pennsylvania, 209 South 33rd Street, Philadelphia PA 19104-6395, USA. On leave
More informationTHEOREMS, 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 informationLECTURE 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 informationHarmonic 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 informationHausdorff 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 information1 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 informationbe the set of complex valued 2π-periodic functions f on R such that
. Fourier series. Definition.. Given a real number P, we say a complex valued function f on R is P -periodic if f(x + P ) f(x) for all x R. We let be the set of complex valued -periodic functions f on
More informationLocal 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 informationHarmonic 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 informationON 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 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 informationRemarks 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 informationFractal 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 informationThree hours THE UNIVERSITY OF MANCHESTER. 24th January
Three hours MATH41011 THE UNIVERSITY OF MANCHESTER FOURIER ANALYSIS AND LEBESGUE INTEGRATION 24th January 2013 9.45 12.45 Answer ALL SIX questions in Section A (25 marks in total). Answer THREE of the
More informationTADAHIRO 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 informationThe 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 informationSingular 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 informationarxiv: 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 informationA 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 informationFactorization 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 informationProbability and Measure
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability
More informationHarmonic 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 informationMath 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 informationTHE 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 informationON 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 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 informationPseudo-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 informationQuasiconformal 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 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 informationTHE 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 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 informationALEXANDER 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 informationResearch 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 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 informationReminder 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 informationRichard 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 informationA NOTE ON WEAK CONVERGENCE OF SINGULAR INTEGRALS IN METRIC SPACES
A NOTE ON WEAK CONVERGENCE OF SINGULAR INTEGRALS IN METRIC SPACES VASILIS CHOUSIONIS AND MARIUSZ URBAŃSKI Abstract. We prove that in any metric space (X, d) the singular integral operators Tµ,ε(f)(x) k
More informationExercises: 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 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 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 informationUNIFORMLY 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 informationRESTRICTION. 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 informationFOURIER 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 informationChapter 4. The dominated convergence theorem and applications
Chapter 4. The dominated convergence theorem and applications The Monotone Covergence theorem is one of a number of key theorems alllowing one to exchange limits and [Lebesgue] integrals (or derivatives
More informationProblem 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
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 informationDecoupling 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 information756 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 informationA 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 informationLimiting 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 FABIO NICOLA Abstract. A necessary condition is established for the optimal (L p, L 2 ) restriction theorem to hold on a hypersurface S,
More informationB 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