Poincaré inequalities that fail
|
|
- Noreen Riley
- 5 years ago
- Views:
Transcription
1 ي ۆ Poincaré inequalities that fail to constitute an open-ended condition Lukáš Malý Workshop on Geometric Measure Theory July 14, 2017
2 Poincaré inequalities Setting Let (X, d, µ) be a complete metric space endowed with a doubling measure. Definition (Heinonen Koskela, 1996) A Borel function g X [0, ] is an upper gradient of u X R if for every rectifiable curve γ [0, l γ ] X. u(γ(0)) u(γ(l γ )) γ g ds Definition (Heinonen Koskela, 1996) The space X admits a (1, p)-poincaré inequality with p [1, ) if B u u B dµ c PI diam(b)( λb g p dµ) 1/p for every u L 1 loc(x), its upper gradient g, and every ball B X, where c PI, λ 1. Lukáš Malý Poincaré inequalities that fail to be open-ended 1/17
3 Self-improvement of Poincaré inequalities Theorem (Keith Zhong, 2008) If X admits a p-poincaré inequality with p (1, ), then it admits a (p ε)-poincaré inequality for some ε > 0. Remark: Both completeness of X and doubling of µ are used! Example (Koskela, 1999) For every 1 < p n, there is a closed set E R n of zero L n -measure such that X = R n \ E supports a p-pi, but not q-pi for any q < p. Remark: X in this example is locally compact and µ L n X is doubling. Question Does an A-PI with an averaging operator A on the RHS of PI (A is close to the L p -average) improve to a (p ε)-pi? Lukáš Malý Poincaré inequalities that fail to be open-ended 2/17
4 Motivation Theorem (Durand-Cartagena, Jaramillo, Shanmugalingam, 2013) Assume that µ is Ahlfors s-regular (i.e., µ(b(x, r)) r s ). Let p > s. Then, TFAE: X supports a p-pi; Every u N 1,p (X) is (1 s )-Hölder continuous and p There is C 1 such that for all x, y X u(x) u(y) d(x, y) 1 s/p g u L p (B(x,λd(x,y))) Mod p ({γ Γ x,y len(γ) Cd(x, y)}) d(x, y) s p Lukáš Malý Poincaré inequalities that fail to be open-ended 3/17
5 Motivation Idea for the critical exponent Assume that µ is Ahlfors s-regular, s 1 (i.e., µ(b(x, r)) r s ). Then, TFAE: 1. X supports a Lorentz-type L s,1 -PI 2. Every u N 1 L s,1 (X) is continuous and 3. There is C 1 such that for all x, y X u(x) u(y) g u L s,1 (B(x,λd(x,y))) Mod L s,1({γ Γ x,y len(γ) Cd(x, y)}) 1 Works for s = 1 For s > 1, the following can be proven: p-pi with p < s 2. Lukáš Malý Poincaré inequalities that fail to be open-ended 4/17
6 Lorentz spaces L p,q Norm in the Lebesgue L p -spaces u L p (X) = ( X u(x) p dµ(x)) 1/p = ( k Z {x 2 k < u(x) 2 k+1 } u(x) p dµ(x)) 1/p = ( uχ {2 k < u 2 k+1 } p L p (X) )1/p = { uχ {2 k < u 2 k+1 } L p (X) } k= l p (Z) k Z Definition (functional comparable with the Lorentz norm) Let p [1, ) and q [1, ]. Then, we define u L p,q (X) = { uχ {2 k < u 2 k+1 } L p (X) } k= l q (Z) Remark: L p,1 (X) L p (X) = L p,p (X) L p, (X) for 1 p <. Remark: L p log α L(X) L p,q (X), whenever α > (p/q) 1 0. Lukáš Malý Poincaré inequalities that fail to be open-ended 5/17
7 Known results on Orlicz Poincaré inequalities Definition (Orlicz Poincaré inequality) Let Ψ [0, ) [0, ) be strictly increasing, continuous, and convex with Ψ(0 + ) = 0 and Ψ( ) =. The space X admits a Ψ-Poincaré inequality if B u u B dµ c PI diam(b)ψ 1 ( λb Ψ(g) dµ) for every u L 1 loc(x), its upper gradient g, and every ball B X, where c PI, λ 1. Remark: If Ψ(t) = t p, then Ψ-PI is just a p-pi. Some self-improvement of Ψ-PI to (p ε)-pi can be expected if Ψ(t) t p η(t), where η(t) grows (or decays) slower than any power t δ (or t δ ) Lukáš Malý Poincaré inequalities that fail to be open-ended 6/17
8 Known results on Orlicz Poincaré inequalities Theorem (J. Björn, 2010) The Euclidean space (R, µ) admits a Ψ-PI if and only if the Hardy Littlewood maximal operator M L Ψ (R, µ) L Ψ (R, µ) is bounded. Theorem (Bloom Kerman, 1994) Let Ψ(t) = t p log α (e + t) with p > 1 and α R. If M L Ψ (R, µ) L Ψ (R, µ) is bounded, then M L p ε (R, µ) L p ε (R, µ) is bounded for some ε > 0. Corollary Suppose that (R n, µ), where µ = µ 1 µ 2 µ n, admits a Ψ-PI, where Ψ(t) = t p log α (e + t) for some p > 1 and α R. Then, (R n, µ) admits a (p ε)-pi for some ε > 0. Lukáš Malý Poincaré inequalities that fail to be open-ended 7/17
9 Lorentz-type Poincaré inequalities Definition (Lorentz-type Poincaré inequality) Let p [1, ) and q [1, ]. The space X admits an L p,q -Poincaré inequality if B u u B dµ c PI diam(b) gχ λb L p,q (X) χ λb L p,q (X) = c PI diam(b) gχ λb L p,q (X) µ(λb) 1/p for every u L 1 loc(x), its upper gradient g, and every ball B X, where c PI, λ 1. Remark: If p = q, then L p,q -PI is just a p-pi. Observation Due to the embedding between Lorentz spaces, we have L p,q -PI p-pi L p,q -PI whenever 1 q < p < Q. Lukáš Malý Poincaré inequalities that fail to be open-ended 8/17
10 Lorentz-type Poincaré inequalities Comparison to Muckenhoupt weights on R (R, µ) admits an L p,q -PI, p (1, ), q [1, ], if and only if the HL maximal operator M L p,q (R, µ) L p,q (R, µ) is bounded. M L p,q (R, µ) L p,q (R, µ) is bounded if and only if M L p (R, µ) L p (R, µ) is bounded, p (1, ), q (1, ]. (Chung Hunt Kurtz, 1982) If (R n, µ), where µ = µ 1 µ n, admits an L p,q -PI with p (1, ) and q (1, ], then it admits a (p ε)-pi for some ε > 0. Question Does an L p,1 -PI undergo self-improvement? Lukáš Malý Poincaré inequalities that fail to be open-ended 9/17
11 General Poincaré inequalities Let A L 0 +(X) B(X) [0, ] be an averaging operator, i.e., A(c, B) c for every constant c 0 and every ball B X; if 0 g 1 g 2 a.e. in B, then A(g 1, B) A(g 2, B). Let M A be the associated (non-centered) maximal operator M A f(x) = sup A( f, B), x X. B x Definition (Generalized Poincaré inequality) The space X admits an A-Poincaré inequality if B u u B dµ c PI diam(b) A(g, λb) for every u L 1 loc(x), its upper gradient g, and every ball B X, where c PI, λ 1. Lukáš Malý Poincaré inequalities that fail to be open-ended 10/17
12 General Poincaré inequalities Lemma (M.) Assume that X supports an A-PI. Suppose that A(g, B) ( B g p A dµ) 1/p A for all g, B. Then, X admits a (p A ε)-pi for some ε > 0. Corollary Let p > 1. Suppose that X supports an L p,q -PI with q [p, ], OR a Ψ-PI with Ψ(t) t p log α (e + t), where α R. Then, X admits a (p ε)-pi for some ε > 0. Lukáš Malý Poincaré inequalities that fail to be open-ended 11/17
13 General Poincaré inequalities Theorem (M.) Assume that X supports an A-PI and that M A RI 1 (X) w-ri 2 (X) is bounded, where RI 1 and RI 2 are rearrangement invariant spaces, such that: RI 1 and RI 2 are close to each other, viz., their fundamental functions satisfy t φ 1 (φ 1 2 (t)) t (1 + log t) β, β 0; RI 1 satisfies an upper q-estimate, i.e., f χ k E k q RI 1 C f χ Ek q RI 1, q 1; RI 1 lies close to L p A, specifically, φ 1 (t p A ) t(log t) 1 (β+1/q) 0 as t 0. k Then, X admits a (p A ε)-pi for some ε > 0. Lukáš Malý Poincaré inequalities that fail to be open-ended 12/17
14 General Poincaré inequalities Corollary (M.) Assume that X supports an L p,q -PI with p (1, ) and q (1, ]. Then, X admits a (p ε)-pi. Proof: Choose A(g, B) = gχ B L p,q µ(b) 1/p. (a) q p. Then, M A L p,q (X) L p, (X) is bounded [Chung Hunt Kurtz, 1982]. Hence, φ 1 (t) = φ 2 (t) = t 1/p. L p,q satisfies an upper q-estimate [CHK 82]. (b) q > p. Then, M A L p (X) L p, (X) is bounded. Hence, φ 1 (t) = φ 2 (t) = t 1/p. L p,q satisfies an upper p-estimate [Maz ya]. Beware L p,1 -PI is NOT included in the self-improvement result. Lukáš Malý Poincaré inequalities that fail to be open-ended 13/17
15 Lack of self-improvement Theorem (M.) For every p (1, ), there is a complete metric space X endowed with a doubling measure such that it supports an L p,1 -PI but no better. If in addition p N, then µ can be chosen Ahlfors n-regular. How to interpret no better X does NOT admit an A-PI, whenever A(g, B) = g χ B RI(X), where RI(X) is a rearrangement-invariant Banach function χ B RI(X) space s.t. RI loc (X) L p,1 loc (X); OR A(g, B) = g RI(B, µb ), where µ B (E) = µ(e B)/µ(B) and RI loc (X) L p,1 loc (X); OR A(g, B) = Φ 1 ( B Ψ(g) dµ) provided that inf κ>0 κa( g κ, B) g RI(B, µ B ). Lukáš Malý Poincaré inequalities that fail to be open-ended 14/17
16 Lack of self-improvement Let X = X + X R n be endowed with the Euclidean distance and the n-dimensional Lebesgue measure, where X + = {(x 1,..., x n ) R n x j 0 for all j} X = {(x 1,..., x n ) R n x j 0 for all j}. and Both X + and X admit a 1-PI. If u N 1 L n,1 (X), then u X + N 1 L n,1 (X + ) and u X N 1 L n,1 (X ) Then, u(x) u(y) g u L n,1 (B x y X + ) whenever x, y X + ; analogously in X. Thus, u(x) u(y) g u L n,1 ( B x y ) whenever x, y X. Direct calculation yields for a ball B that B u(x) u B dx B B u(x) u(y) dx dy g u L n,1 (λb) diam(b) µ(b) 1/n g u L n,1 (λb). Lukáš Malý Poincaré inequalities that fail to be open-ended 15/17
17 Lack of self-improvement Let h RI \ L n,1 (X). Let g be the radially decreasing rearrangement of h with peak in 0, i.e., 0 g(x) g(y) whenever x y > 0; {x X g(x) > τ} = {x X h(x) > τ} for every τ > 0. Then, g k g/k, k > 0, is an upper gradient of u χ X. For the ball B = B(0, 1), we have 1 2 = u(x) u B dx? c PI A(g k, λb) = c PI A( g, λb) 0 as k. B k Lukáš Malý Poincaré inequalities that fail to be open-ended 16/17
18 Final remarks The motivating problem (characterization of L s,1 -PI by the estimates for modulus of continuity of N 1 L s,1 (X) functions) is still unsolved. The theorem does not say anything about the Orlicz-type Ψ-Poincaré inequalities if Ψ is non-doubling. The Muckenhoupt analogue gives that if (R n, µ) with product measure supports a Ψ-PI (where the conjugate of Ψ is doubling), then there is p < such that (R n, µ) admits a p-pi. This applies in particular to Ψ(t) = exp(t α ), α > 0. It is possible to find a doubling measure µ on R such that (R, µ) supports an -PI, but no Ψ-PI. (Not even for non-doubling Ψ). -PI for (R, µ) is equivalent to L 1 µ (Durand-Cartagena Jaramillo Shanmugalingam, 2013) Ψ-PI for (R, µ) requires µ L 1 (J. Björn, 2010) Lukáš Malý Poincaré inequalities that fail to be open-ended 17/17
19 ي ۆ Thank you for your attention!
ON A MAXIMAL OPERATOR IN REARRANGEMENT INVARIANT BANACH FUNCTION SPACES ON METRIC SPACES
Vasile Alecsandri University of Bacău Faculty of Sciences Scientific Studies and Research Series Mathematics and Informatics Vol. 27207), No., 49-60 ON A MAXIMAL OPRATOR IN RARRANGMNT INVARIANT BANACH
More informationCHARACTERIZATION OF ORLICZ-SOBOLEV SPACE
CHRCTERIZTION OF ORLICZ-SOBOLEV SPCE HELI TUOMINEN bstract. We give a new characterization of the Orlicz-Sobolev space W 1,Ψ (R n ) in terms of a pointwise inequality connected to the Young function Ψ.
More informationREMOVABLE SINGULARITIES FOR BOUNDED p-harmonic AND QUASI(SUPER)HARMONIC FUNCTIONS ON METRIC SPACES
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 31, 2006, 71 95 REMOVABLE SINGULARITIES FOR BOUNDED p-harmonic AND QUASI(SUPER)HARMONIC FUNCTIONS ON METRIC SPACES Anders Björn Linköpings universitet,
More informationSELF-IMPROVEMENT OF UNIFORM FATNESS REVISITED
SELF-IMPROVEMENT OF UNIFORM FATNESS REVISITED JUHA LEHRBÄCK, HELI TUOMINEN, AND ANTTI V. VÄHÄKANGAS Abstract. We give a new proof for the self-improvement of uniform p-fatness in the setting of general
More informationMODULUS AND CONTINUOUS CAPACITY
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 26, 2001, 455 464 MODULUS AND CONTINUOUS CAPACITY Sari Kallunki and Nageswari Shanmugalingam University of Jyväskylä, Department of Mathematics
More informationDomains in metric measure spaces with boundary of positive mean curvature, and the Dirichlet problem for functions of least gradient
Domains in metric measure spaces with boundary of positive mean curvature, and the Dirichlet problem for functions of least gradient Panu Lahti Lukáš Malý Nageswari Shanmugalingam Gareth Speight June 22,
More informationJ. Kinnunen and R. Korte, Characterizations of Sobolev inequalities on metric spaces, arxiv: v2 [math.ap] by authors
J. Kinnunen and R. Korte, Characterizations of Sobolev inequalities on metric spaces, arxiv:79.197v2 [math.ap]. 28 by authors CHARACTERIZATIONS OF SOBOLEV INEQUALITIES ON METRIC SPACES JUHA KINNUNEN AND
More informationAPPROXIMATION BY LIPSCHITZ FUNCTIONS IN ABSTRACT SOBOLEV SPACES ON METRIC SPACES
APPROXIMATION BY LIPSCHITZ FUNCTIONS IN ABSTRACT SOBOLEV SPACES ON METRIC SPACES MARCELINA MOCANU We prove that the density of locally Lipschitz functions in a global Sobolev space based on a Banach function
More informationMeasure density and extendability of Sobolev functions
Measure density and extendability of Sobolev functions Piotr Haj lasz, Pekka Koskela and Heli Tuominen Abstract We study necessary and sufficient conditions for a domain to be a Sobolev extension domain
More informationWeighted restricted weak type inequalities
Weighted restricted weak type inequalities Eduard Roure Perdices Universitat de Barcelona Joint work with M. J. Carro May 18, 2018 1 / 32 Introduction Abstract We review classical results concerning the
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 informationGeometric implications of the Poincaré inequality
Geometric implications of the Poincaré inequality Riikka Korte Abstract. The purpose of this work is to prove the following result: If a doubling metric measure space supports a weak (1, p) Poincaré inequality
More informationORLICZ-SOBOLEV SPACES WITH ZERO BOUNDARY VALUES ON METRIC SPACES
Electronic Journal: Southwest Journal of Pure and Applied Mathematics Internet: http://rattler.cameron.edu/swjpam.html ISBN 1083-0464 Issue 1 July 2004, pp. 10 32 Submitted: September 10, 2003. Published:
More informationLebesgue s Differentiation Theorem via Maximal Functions
Lebesgue s Differentiation Theorem via Maximal Functions Parth Soneji LMU München Hütteseminar, December 2013 Parth Soneji Lebesgue s Differentiation Theorem via Maximal Functions 1/12 Philosophy behind
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 informationl(y j ) = 0 for all y j (1)
Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that
More informationA Note on Mixed Norm Spaces
1/21 A Note on Mixed Norm Spaces Nadia Clavero University of Barcelona Seminari SIMBa April 28, 2014 2/21 1 Introduction 2 Sobolev embeddings in rearrangement-invariant Banach spaces 3 Sobolev embeddings
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 informationDUALITY OF MODULI IN REGULAR METRIC SPACES
DUALITY OF MODULI IN REGULAR METRIC SPACES ATTE LOHVANSUU AND KAI RAJALA Abstract. Gehring [3] and Ziemer [19] found a connection between the moduli of certain path families and corresponding families
More informationGeometric analysis on Cantor sets and trees
Geometric analysis on Cantor sets and trees Anders Björn 1 Jana Björn 1 James T. Gill 2 Nageswari Shanmugalingam 3 1 Linköpings Universitet 2 Saint Louis University 3 University of Cincinnati October 18,
More informationThe -Poincaré inequality in metric measure spaces
The -Poincaré inequality in metric measure spaces Estibalitz Durand-Cartagena, Jesús A. Jaramillo and Nageswari Shanmugalingam 1 Introduction A useful feature of the Euclidean n-space, n 2, is the fact
More informationDUALITY OF MODULI IN REGULAR METRIC SPACES
DUALITY OF MODULI IN REULAR METRIC SPACES ATTE LOHVANSUU AND KAI RAJALA Abstract. ehring [3] and Ziemer [17] proved that the p-modulus of the family of paths connecting two continua is dual to the p -
More informationANALYSIS AND PDE ON METRIC MEASURE SPACES: SOBOLEV FUNCTIONS AND VISCOSITY SOLUTIONS
ANALYSIS AND PDE ON METRIC MEASURE SPACES: SOBOLEV FUNCTIONS AND VISCOSITY SOLUTIONS by Xiaodan Zhou B.S. in Mathematics, Beijing Normal University, 2011 Submitted to the Graduate Faculty of the Dietrich
More informationLocal maximal operators on fractional Sobolev spaces
Local maximal operators on fractional Sobolev spaces Antti Vähäkangas joint with H. Luiro University of Helsinki April 3, 2014 1 / 19 Let G R n be an open set. For f L 1 loc (G), the local Hardy Littlewood
More informationModulus of families of sets of finite perimeter and quasiconformal maps between metric spaces of globally Q-bounded geometry
Modulus of families of sets of finite perimeter and quasiconformal maps between metric spaces of globally Q-bounded geometry Rebekah Jones, Panu Lahti, Nageswari Shanmugalingam June 15, 2018 Abstract We
More informationHardy inequalities and thickness conditions
Hardy inequalities and thickness conditions Juha Lehrbäck University of Jyväskylä November 23th 2010 Symposium on function theory Nagoya, Japan Juha Lehrbäck (University of Jyväskylä) Hardy inequalities
More informationA capacity approach to the Poincaré inequality and Sobolev imbeddings in variable exponent Sobolev spaces
A capacity approach to the Poincaré inequality and Sobolev imbeddings in variable exponent Sobolev spaces Petteri HARJULEHTO and Peter HÄSTÖ epartment of Mathematics P.O. Box 4 (Yliopistonkatu 5) FIN-00014
More informationLecture 4 Lebesgue spaces and inequalities
Lecture 4: Lebesgue spaces and inequalities 1 of 10 Course: Theory of Probability I Term: Fall 2013 Instructor: Gordan Zitkovic Lecture 4 Lebesgue spaces and inequalities Lebesgue spaces We have seen how
More informationOverview of normed linear spaces
20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural
More informationGeometric intuition: from Hölder spaces to the Calderón-Zygmund estimate
Geometric intuition: from Hölder spaces to the Calderón-Zygmund estimate A survey of Lihe Wang s paper Michael Snarski December 5, 22 Contents Hölder spaces. Control on functions......................................2
More informationChapter 6. Integration. 1. Integrals of Nonnegative Functions. a j µ(e j ) (ca j )µ(e j ) = c X. and ψ =
Chapter 6. Integration 1. Integrals of Nonnegative Functions Let (, S, µ) be a measure space. We denote by L + the set of all measurable functions from to [0, ]. Let φ be a simple function in L +. Suppose
More informationSOBOLEV S INEQUALITY FOR RIESZ POTENTIALS OF FUNCTIONS IN NON-DOUBLING MORREY SPACES
Mizuta, Y., Shimomura, T. and Sobukawa, T. Osaka J. Math. 46 (2009), 255 27 SOOLEV S INEQUALITY FOR RIESZ POTENTIALS OF FUNCTIONS IN NON-DOULING MORREY SPACES YOSHIHIRO MIZUTA, TETSU SHIMOMURA and TAKUYA
More informationResearch Statement. Jeffrey Lindquist
Research Statement Jeffrey Lindquist 1 Introduction My areas of interest and research are geometric function theory, geometric group theory, and analysis on metric spaces. From the pioneering complex analysis
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 informationHARMONIC ANALYSIS. Date:
HARMONIC ANALYSIS Contents. Introduction 2. Hardy-Littlewood maximal function 3. Approximation by convolution 4. Muckenhaupt weights 4.. Calderón-Zygmund decomposition 5. Fourier transform 6. BMO (bounded
More informationL p Spaces and Convexity
L p Spaces and Convexity These notes largely follow the treatments in Royden, Real Analysis, and Rudin, Real & Complex Analysis. 1. Convex functions Let I R be an interval. For I open, we say a function
More informationHOMEOMORPHISMS OF BOUNDED VARIATION
HOMEOMORPHISMS OF BOUNDED VARIATION STANISLAV HENCL, PEKKA KOSKELA AND JANI ONNINEN Abstract. We show that the inverse of a planar homeomorphism of bounded variation is also of bounded variation. In higher
More informationMATH6081A Homework 8. In addition, when 1 < p 2 the above inequality can be refined using Lorentz spaces: f
MATH68A Homework 8. Prove the Hausdorff-Young inequality, namely f f L L p p for all f L p (R n and all p 2. In addition, when < p 2 the above inequality can be refined using Lorentz spaces: f L p,p f
More informationREGULARITY OF THE LOCAL FRACTIONAL MAXIMAL FUNCTION
REGULARITY OF THE LOCAL FRACTIONAL MAXIMAL FUNCTION TONI HEIKKINEN, JUHA KINNUNEN, JANNE KORVENPÄÄ AND HELI TUOMINEN Abstract. This paper studies smoothing properties of the local fractional maximal operator,
More informationIt follows from the above inequalities that for c C 1
3 Spaces L p 1. In this part we fix a measure space (, A, µ) (we may assume that µ is complete), and consider the A -measurable functions on it. 2. For f L 1 (, µ) set f 1 = f L 1 = f L 1 (,µ) = f dµ.
More 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 informationHardy spaces with variable exponents and generalized Campanato spaces
Hardy spaces with variable exponents and generalized Campanato spaces Yoshihiro Sawano 1 1 Tokyo Metropolitan University Faculdade de Ciencias da Universidade do Porto Special Session 49 Recent Advances
More informationDuality of multiparameter Hardy spaces H p on spaces of homogeneous type
Duality of multiparameter Hardy spaces H p on spaces of homogeneous type Yongsheng Han, Ji Li, and Guozhen Lu Department of Mathematics Vanderbilt University Nashville, TN Internet Analysis Seminar 2012
More 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 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 informationDAVID CRUZ-URIBE, SFO, JOSÉ MARÍA MARTELL, AND CARLOS PÉREZ
Collectanea Mathematica 57 (2006) 95-23 Proceedings to El Escorial Conference in Harmonic Analysis and Partial Differential Equations, 2004. EXTENSIONS OF RUBIO DE FRANCIA S EXTRAPOLATION THEOREM DAVID
More informationJUHA KINNUNEN. Harmonic Analysis
JUHA KINNUNEN Harmonic Analysis Department of Mathematics and Systems Analysis, Aalto University 27 Contents Calderón-Zygmund decomposition. Dyadic subcubes of a cube.........................2 Dyadic cubes
More informationBoundary measures, generalized Gauss Green formulas, and mean value property in metric measure spaces
Boundary measures, generalized Gauss Green formulas, and mean value property in metric measure spaces Niko Marola, Michele Miranda Jr, and Nageswari Shanmugalingam Contents 1 Introduction 2 2 Preliminaries
More informationFunction spaces with variable exponents
Function spaces with variable exponents Henning Kempka September 22nd 2014 September 22nd 2014 Henning Kempka 1 / 50 http://www.tu-chemnitz.de/ Outline 1. Introduction & Motivation First motivation Second
More informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
More informationMathematical Research Letters 4, (1997) HARDY S INEQUALITIES FOR SOBOLEV FUNCTIONS. Juha Kinnunen and Olli Martio
Mathematical Research Letters 4, 489 500 1997) HARDY S INEQUALITIES FOR SOBOLEV FUNCTIONS Juha Kinnunen and Olli Martio Abstract. The fractional maximal function of the gradient gives a pointwise interpretation
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 informationMeasurability of equivalence classes and
Rev. Mat. Iberoamericana 23 (2007), no. 3, 8 830 Measurability of equivalence classes and MEC p -property in metric spaces Esa Järvenpää, Maarit Järvenpää, Kevin Rogovin, Sari Rogovin and Nageswari Shanmugalingam
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 informationThe Weak Cartan Property for the p-fine Topology on Metric Spaces
The Weak Cartan Property for the p-fine Topology on Metric Spaces Anders Björn, Jana Björn and Visa Latvala Linköping University Post Print N.B.: When citing this work, cite the original article. Original
More informationWavelets and modular inequalities in variable L p spaces
Wavelets and modular inequalities in variable L p spaces Mitsuo Izuki July 14, 2007 Abstract The aim of this paper is to characterize variable L p spaces L p( ) (R n ) using wavelets with proper smoothness
More informationTHE STEINER REARRANGEMENT IN ANY CODIMENSION
THE STEINER REARRANGEMENT IN ANY CODIMENSION GIUSEPPE MARIA CAPRIANI Abstract. We analyze the Steiner rearrangement in any codimension of Sobolev and BV functions. In particular, we prove a Pólya-Szegő
More informationIntegral Jensen inequality
Integral Jensen inequality Let us consider a convex set R d, and a convex function f : (, + ]. For any x,..., x n and λ,..., λ n with n λ i =, we have () f( n λ ix i ) n λ if(x i ). For a R d, let δ a
More information1. Introduction In this note we prove the following result which seems to have been informally conjectured by Semmes [Sem01, p. 17].
A REMARK ON POINCARÉ INEQUALITIES ON METRIC MEASURE SPACES STEPHEN KEITH AND KAI RAJALA Abstract. We show that, in a comlete metric measure sace equied with a doubling Borel regular measure, the Poincaré
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More informationMathematische Zeitschrift
Math. Z. DOI 10.1007/s00209-007-0139-y Mathematische Zeitschrift Pointwise behaviour of M 1,1 Sobolev functions Juha Kinnunen Heli Tuominen Received: 2 January 2006 / Accepted: 12 December 2006 Springer-Verlag
More informationLecture No 1 Introduction to Diffusion equations The heat equat
Lecture No 1 Introduction to Diffusion equations The heat equation Columbia University IAS summer program June, 2009 Outline of the lectures We will discuss some basic models of diffusion equations and
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 informationHardy-Littlewood maximal operator in weighted Lorentz spaces
Hardy-Littlewood maximal operator in weighted Lorentz spaces Elona Agora IAM-CONICET Based on joint works with: J. Antezana, M. J. Carro and J. Soria Function Spaces, Differential Operators and Nonlinear
More informationarxiv: v1 [math.ca] 3 Feb 2015
LUSIN-TYPE THEOREMS FOR CHEEGER DERIVATIVES ON METRIC MEASURE SPACES arxiv:1502.00694v1 [math.ca] 3 Feb 2015 GUY C. DAVID Abstract. A theorem of Lusin states that every Borel function on R is equal almost
More informationIntroduction to Singular Integral Operators
Introduction to Singular Integral Operators C. David Levermore University of Maryland, College Park, MD Applied PDE RIT University of Maryland 10 September 2018 Introduction to Singular Integral Operators
More informationA note on the convex infimum convolution inequality
A note on the convex infimum convolution inequality Naomi Feldheim, Arnaud Marsiglietti, Piotr Nayar, Jing Wang Abstract We characterize the symmetric measures which satisfy the one dimensional convex
More informationAN INTRODUCTION TO GEOMETRIC MEASURE THEORY AND AN APPLICATION TO MINIMAL SURFACES ( DRAFT DOCUMENT) Academic Year 2016/17 Francesco Serra Cassano
AN INTRODUCTION TO GEOMETRIC MEASURE THEORY AND AN APPLICATION TO MINIMAL SURFACES ( DRAFT DOCUMENT) Academic Year 2016/17 Francesco Serra Cassano Contents I. Recalls and complements of measure theory.
More informationThe optimal partial transport problem
The optimal partial transport problem Alessio Figalli Abstract Given two densities f and g, we consider the problem of transporting a fraction m [0, min{ f L 1, g L 1}] of the mass of f onto g minimizing
More informationMATHS 730 FC Lecture Notes March 5, Introduction
1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists
More informationMAT 571 REAL ANALYSIS II LECTURE NOTES. Contents. 2. Product measures Iterated integrals Complete products Differentiation 17
MAT 57 REAL ANALSIS II LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: SPRING 205 Contents. Convergence in measure 2. Product measures 3 3. Iterated integrals 4 4. Complete products 9 5. Signed measures
More informationTHE HARDY LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION. Juha Kinnunen. 1 f(y) dy, B(x, r) B(x,r)
Appeared in Israel J. Math. 00 (997), 7 24 THE HARDY LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION Juha Kinnunen Abstract. We prove that the Hardy Littlewood maximal operator is bounded in the Sobolev
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 informationOn the p-laplacian and p-fluids
LMU Munich, Germany Lars Diening On the p-laplacian and p-fluids Lars Diening On the p-laplacian and p-fluids 1/50 p-laplacian Part I p-laplace and basic properties Lars Diening On the p-laplacian and
More informationANALYSIS IN METRIC SPACES
ANALYSIS IN METRIC SPACES HELI TUOMINEN Contents 1. About these notes 2 2. Classical extension results 3 2.1. Tietze(-Urysohn) extension theorem 3 2.2. Extension of Lipschitz functions 5 2.3. Whitney covering,
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 informationarxiv: v1 [math.mg] 25 May 2008
SHARP CAPACITARY ESTIMATES FOR RINGS IN METRIC SPACES NICOLA GAROFALO AND NIKO MAROLA arxiv:0805.3830v1 [math.mg] 25 May 2008 Abstract. We establish sharp estimates for the p-capacity of metric rings with
More informationMODULUS OF CONTINUITY OF THE DIRICHLET SOLUTIONS
MODULUS OF CONTINUITY OF THE DIRICHLET SOLUTIONS HIROAKI AIKAWA Abstract. Let D be a bounded domain in R n with n 2. For a function f on D we denote by H D f the Dirichlet solution, for the Laplacian,
More informationThe Poincaré inequality is an open ended condition
Annals of Mathematics, 167 (2008), 575 599 The Poincaré inequality is an open ended condition By Stephen Keith and Xiao Zhong* Abstract Let p>1 and let (X, d, μ) be a complete metric measure space with
More informationSobolev embeddings and interpolations
embed2.tex, January, 2007 Sobolev embeddings and interpolations Pavel Krejčí This is a second iteration of a text, which is intended to be an introduction into Sobolev embeddings and interpolations. The
More informationHerz (cf. [H], and also [BS]) proved that the reverse inequality is also true, that is,
REARRANGEMENT OF HARDY-LITTLEWOOD MAXIMAL FUNCTIONS IN LORENTZ SPACES. Jesús Bastero*, Mario Milman and Francisco J. Ruiz** Abstract. For the classical Hardy-Littlewood maximal function M f, a well known
More informationOn the Brezis and Mironescu conjecture concerning a Gagliardo-Nirenberg inequality for fractional Sobolev norms
On the Brezis and Mironescu conjecture concerning a Gagliardo-Nirenberg inequality for fractional Sobolev norms Vladimir Maz ya Tatyana Shaposhnikova Abstract We prove the Gagliardo-Nirenberg type inequality
More informationIt follows from the above inequalities that for c C 1
3 Spaces L p 1. Appearance of normed spaces. In this part we fix a measure space (, A, µ) (we may assume that µ is complete), and consider the A - measurable functions on it. 2. For f L 1 (, µ) set f 1
More informationCAPACITIES ON METRIC SPACES
[June 8, 2001] CAPACITIES ON METRIC SPACES V. GOL DSHTEIN AND M. TROYANOV Abstract. We discuss the potential theory related to the variational capacity and the Sobolev capacity on metric measure spaces.
More informationDual Space of L 1. C = {E P(I) : one of E or I \ E is countable}.
Dual Space of L 1 Note. The main theorem of this note is on page 5. The secondary theorem, describing the dual of L (µ) is on page 8. Let (X, M, µ) be a measure space. We consider the subsets of X which
More informationLOUKAS GRAFAKOS, LIGUANG LIU, DIEGO MALDONADO and DACHUN YANG. Multilinear analysis on metric spaces
LOUKAS GRAFAKOS, LIGUANG LIU, DIEGO MALDONADO and DACHUN YANG Multilinear analysis on metric spaces Loukas Grafakos Department of Mathematics University of Missouri Columbia, MO 652, USA E-mail: grafakosl@missouri.edu
More informationSOBOLEV EMBEDDINGS FOR VARIABLE EXPONENT RIESZ POTENTIALS ON METRIC SPACES
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 3, 2006, 495 522 SOBOLEV EMBEDDINS FOR VARIABLE EXPONENT RIESZ POTENTIALS ON METRIC SPACES Toshihide Futamura, Yoshihiro Mizuta and Tetsu Shimomura
More informationON SUBSPACES OF NON-REFLEXIVE ORLICZ SPACES
ON SUBSPACES OF NON-REFLEXIVE ORLICZ SPACES J. ALEXOPOULOS May 28, 997 ABSTRACT. Kadec and Pelczýnski have shown that every non-reflexive subspace of L (µ) contains a copy of l complemented in L (µ). On
More informationSolution Sheet 3. Solution Consider. with the metric. We also define a subset. and thus for any x, y X 0
Solution Sheet Throughout this sheet denotes a domain of R n with sufficiently smooth boundary. 1. Let 1 p
More information2. Function spaces and approximation
2.1 2. Function spaces and approximation 2.1. The space of test functions. Notation and prerequisites are collected in Appendix A. Let Ω be an open subset of R n. The space C0 (Ω), consisting of the C
More informationOn a compactness criteria for multidimensional Hardy type operator in p-convex Banach function spaces
Caspian Journal of Applied Mathematics, Economics and Ecology V. 1, No 1, 2013, July ISSN 1560-4055 On a compactness criteria for multidimensional Hardy type operator in p-convex Banach function spaces
More informationKLS-TYPE ISOPERIMETRIC BOUNDS FOR LOG-CONCAVE PROBABILITY MEASURES. December, 2014
KLS-TYPE ISOPERIMETRIC BOUNDS FOR LOG-CONCAVE PROBABILITY MEASURES Sergey G. Bobkov and Dario Cordero-Erausquin December, 04 Abstract The paper considers geometric lower bounds on the isoperimetric constant
More informationMath The Laplacian. 1 Green s Identities, Fundamental Solution
Math. 209 The Laplacian Green s Identities, Fundamental Solution Let be a bounded open set in R n, n 2, with smooth boundary. The fact that the boundary is smooth means that at each point x the external
More informationSHARP L p WEIGHTED SOBOLEV INEQUALITIES
Annales de l Institut de Fourier (3) 45 (995), 6. SHARP L p WEIGHTED SOBOLEV INEUALITIES Carlos Pérez Departmento de Matemáticas Universidad Autónoma de Madrid 28049 Madrid, Spain e mail: cperezmo@ccuam3.sdi.uam.es
More informationA NOTE ON WAVELET EXPANSIONS FOR DYADIC BMO FUNCTIONS IN SPACES OF HOMOGENEOUS TYPE
EVISTA DE LA UNIÓN MATEMÁTICA AGENTINA Vol. 59, No., 208, Pages 57 72 Published online: July 3, 207 A NOTE ON WAVELET EXPANSIONS FO DYADIC BMO FUNCTIONS IN SPACES OF HOMOGENEOUS TYPE AQUEL CESCIMBENI AND
More informationPROPERTIES OF CAPACITIES IN VARIABLE EXPONENT SOBOLEV SPACES
PROPERTIES OF CAPACITIES IN VARIABLE EXPONENT SOBOLEV SPACES PETTERI HARJULEHTO, PETER HÄSTÖ, AND MIKA KOSKENOJA Abstract. In this paper we introduce two new capacities in the variable exponent setting:
More informationBorderline variants of the Muckenhoupt-Wheeden inequality
Borderline variants of the Muckenhoupt-Wheeden inequality Carlos Domingo-Salazar Universitat de Barcelona joint work with M Lacey and G Rey 3CJI Murcia, Spain September 10, 2015 The Hardy-Littlewood maximal
More informationMATH MEASURE THEORY AND FOURIER ANALYSIS. Contents
MATH 3969 - MEASURE THEORY AND FOURIER ANALYSIS ANDREW TULLOCH Contents 1. Measure Theory 2 1.1. Properties of Measures 3 1.2. Constructing σ-algebras and measures 3 1.3. Properties of the Lebesgue measure
More informationThe Hardy Operator and Boyd Indices
The Hardy Operator and Boyd Indices Department of Mathematics, University of Mis- STEPHEN J MONTGOMERY-SMITH souri, Columbia, Missouri 65211 ABSTRACT We give necessary and sufficient conditions for the
More information