THE HARDY LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION. Juha Kinnunen. 1 f(y) dy, B(x, r) B(x,r)
|
|
- Poppy Gray
- 5 years ago
- Views:
Transcription
1 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 space W,p (R n ) for <p. As an application we study a weak type inequality for the Sobolev capacity. We also prove that the Hardy Littlewood maximal function of a Sobolev function is quasicontinuous.. Introduction. The Hardy Littlewood maximal function Mf : R n [0, ] of a locally integrable function f : R n [, ] is defined by (.) Mf(x) = sup f(y) dy, B(x, r) B(x,r) where the supremum is over all radii r>0. Here B(x, r) denotes the volume of the ball B(x, r). The maximal function is a classical tool in harmonic analysis but recently it has been successfully used in studying Sobolev functions and partial differential equations, see [] and [4]. The celebrated theorem of Hardy, Littlewood and Wiener asserts that the maximal operator is bounded in L p (R n ) for <p, (.2) Mf p A p f p, where the constant A p depends only on p and n, see [5, Theorem I.]. This theorem is one of the cornerstones of harmonic analysis but the applications to Sobolev functions and to partial differential equations indicate that it would also be useful to know how the maximal operator preserves the differentiability properties of functions. It is easy to show that maximal function of a Lipschitz function is again Lipschitz and hence, in that case, by Rademacher s theorem it is differentiable almost everywhere. Unfortunately, the maximal function of a differentiable function is not differentiable in general. The reason for this is twofold. First, the modulus of a differentiable function is not differentiable and, even though the function would not change signs, the supremum of differentiable functions may fail to be differentiable. The purpose of this note is to show that, however, certain weak differentiability properties are preserved under the maximal operator. Our main theorem is that the Hardy Littlewood maximal operator is bounded in the Sobolev space W,p (R n )for<p and hence, in that case, it has classical partial derivatives almost everywhere. The corresponding result for p = fails because then we don t have the Hardy Littlewood Wiener theorem available. 99 Mathematics Subject Classification. 42B25, 46E35, 3B5. Key words and phrases. Maximal function, Sobolev spaces, capacity. Typeset by AMS-TEX
2 2 JUHA KINNUNEN Recall, that the Sobolev space W,p (R n ), p consists of functions u L p (R n ), whose first weak partial derivatives D i u, i =, 2,...,n, belong to L p (R n ). We endow W,p (R n ) with the norm (.3) u,p = u p + Du p, where Du =(D u, D 2 u,...,d n u) is the weak gradient of u. For the basic properties of Sobolev functions we refer to [3, Chapter 7]. Now we are ready to formulate our main result..4. Theorem. Let <p<. Ifu W,p (R n ), then Mu W,p (R n ) and (.5) Di Mu MDi u, i =, 2,...,n, almost everywhere in R n. 2. The proof of Theorem.4. If χ B(0,r) is the characteristic function of B(0,r) and χ r = χ B(0,r) B(0,r), then u(y) dy = u χ r (x), B(x, r) B(x,r) where denotes the convolution. Now u χ r W,p (R n ) and D i ( u χ r )=χ r D i u, i =, 2,...,n, almost everywhere in R n. Let r j, j =, 2,..., be an enumeration of positive rationals. Since u is locally integrable, we may restrict ourselves in definition (.) to the positive rational radii. Hence Mu(x) = sup( u χ rj )(x). j We define functions v k : R n R, k =, 2,...,by v k (x) = max j k ( u χ r j )(x). Now (v k ) is an increasing sequence of functions in W,p (R n ) [3, Lemma 7.6] which converges to Mu pointwise and D i v k max Di ( u χ rj ) j k (2.) = max χrj D i u MDi u = MD i u, j k i =, 2,...,n, almost everywhere in R n. Here we also used the fact that Di u = D i u, i =, 2,...,n, almost everywhere. Thus Dv k p n D i v k p i= n MD i u p i=
3 THE HARDY LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION 3 and the Hardy Littlewood Wiener inequality (.2) implies v k,p Mu p + n MD i u p i= A p u p + A p n i= D i u p c< for every k =, 2,... Hence (v k ) is a bounded sequence in W,p (R n ) which converges to Mu pointwise. The weak compactness of Sobolev spaces implies Mu W,p (R n ), v k converges to Mu weakly in L p (R n ) and D i v k converges to D i Mu weakly in L p (R n ). Since D i v k MD i u almost everywhere by (2.), the weak convergence implies almost everywhere in R n. D i Mu MD i u, i =, 2,...,n, 2.2. Remarks. (i) If we only want to prove that that Mu W,p (R n ), <p<, whenever u belongs to W,p (R n ), there is a simple proof based on the characterization of W,p (R n ) by integrated difference quotients, see [3, 7.]. If f : R n [, ] and h R n, h 0, we denote (2.3) f h : R n [, ], f h (x) =f(x + h). The sublinearity of the maximal operator implies M(u h ) Mu M(u h u) and hence (Mu) h Mu p = M(u h ) Mu p M(u h u) p A p u h u p A p Du p h, from which the claim follows using [3, Lemma 7.24]. Unfortunately, this argument does not seem to give the pointwise inequality (.5) for the partial derivatives. (ii) Inequality (.5) implies (2.4) DMu(x) M Du (x) almost every x R n. To see this, let x R n. If DMu(x) = 0, then the claim is obvious. Hence we may assume that DMu(x) 0. Now D h u = Du h for every h R n with h =, where D h denotes the derivative to the direction h. We choose h = DMu(x)/ DMu(x) and rotate the coordinates so that h coincides with some of the coordinate directions, we get DMu(x) = D h Mu(x) MD h u(x) M Du (x). Now we may use the Hardy Littlewood Wiener theorem together with (2.4) and obtain Mu,p = Mu p + DMu p A p u p + M Du p A p u,p,
4 4 JUHA KINNUNEN where A p is the constant in (.2). (iii) If u W, (R n ), then a slight modification of our proof shows that Mu belongs to W, (R n ). Moreover, Mu, = Mu + DMu u + M Du u,. Recall, that after a redefinition on a set of measure zero u W, (R n ) is bounded and Lipschitz continuous. If we are not interested in pointwise estimates, there is a simple proof of the fact that the maximal function maps bounded Lipschitz continuous functions into themselves. Indeed, suppose that u is Lipschitz continuous with constant L, that is u h (x) u(x) L h for every x, h R n where u h is defined by (2.3). The same argument as in (i) shows that (Mu) h (x) Mu(x) = M(u h )(x) Mu(x) M(u h u)(x) = sup u h (y) u(y) dy L h, r>0 B(x, r) B(x,r) which means that the maximal function is Lipschitz continuous with constant L. Observe, that this proof applies to Hölder continuous functions as well. (iv) Finally we remark that our method applies to other maximal and maximal singular integral operators as well. 3. A capacity inequality. We show that a weak type inequality for the Sobolev capacity follows immediately from our Theorem.4. The standard proof depends on some extension properties of Sobolev functions, see [2]. Let <p<. The Sobolev p-capacity of the set E R n is defined by ( C p (E) = inf u p + Du p) dx, u A(E) R n where A(E) = { u W,p (R n ):u on a neighbourhood of E }. If A(E) =, wesetc p (E) =. The Sobolev p-capacity is a monotone and a countably subadditive set function [2]. Let u W,p (R n ), suppose that λ>0 and denote E λ = {x R n : Mu(x) >λ}. Then E λ is open and Mu/λ is admissible for E λ. Using (2.4) we get ( ) ( C p Eλ Mu p λ p + DMu p) dx R n (3.) Ap p ( u p + Du p) dx λ p R n Ap p λ p u p,p. This inequality can be used in studying the pointwise behaviour of Sobolev functions by the standard methods, see [2], but we shall use it to prove that the Hardy Littlewood maximal function of a Sobolev function is quasicontinuous.
5 THE HARDY LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION 5 4. Quasicontinuity. First we recall some terminology. A property holds p- quasieverywhere if it holds outside a set of the Sobolev p-capacity zero. A function u is p -quasicontinuous in R n if for every ε>0 there is a set F such that C p (F ) <ε and the restriction of u to R n \F is continuous and finite. It is well known that each Sobolev function has a quasicontinuous representative, see [2]. To be more precise, for each u W,p (R n ) there is a p-quasicontinuous function v W,p (R n ) such that v = u a.e. in R n. Moreover, this representative is unique in the following sense: If v and w are p-quasicontinuous and v = w a.e., then w = up-quasieverywhere in R n. 4.. Theorem. If u W,p (R n ), <p<, then Mu is p-quasicontinuous. Proof. We begin with showing that if u C(R n ) L p (R n ), then Mu C(R n ) L p (R n ). Indeed, if x, h R n and ε>0, then there is r ε < such that ( u h (y) u(y) dy B(x, r) B(x,r) B(x, r) B(x,r) u h u p B(x, r) p 2 u p B(x, r) p <ε ) /p u h (y) u(y) p dy whenever r>r ε. On the other hand, if 0 <r r ε, then there is δ>0 such that u h (y) u(y) dy sup u h u <ε B(x, r) B(x,r ε ) B(x,r) whenever h <δ. Thus M(u h u)(x) ε for h <δand (Mu) h (x) Mu(x) M(u h u)(x) ε whenever h <δ. This shows that Mu is continuous at x. Suppose then that u W,p (R n ) and let (ϕ i ) be a sequence of functions ϕ i C 0 (Rn ), i =, 2,..., so that ϕ i u in W,p (R n ). By the weak type inequality (3.) there is a set F with C p (F ) = 0 so that Mu is finite in R n \ F. We choose a subsequence, which is denoted by (ϕ i ), such that ϕ i u p,p < (4i A p ) p. Set E i = {x R n \ F : M(ϕ i u)(x) > 2 i }, i =, 2,... Then using inequality (3.) we get C p (E i ) 2 ip A p p ϕ i u p,p 2 ip. If F j = i=j E i, then by subadditivity C p (F j ) 2 ip < i=j and hence lim j C p (F j ) = 0. Moreover, for x R n \ F j we have Mϕ i (x) Mu(x) M(ϕ i u)(x) 2 i
6 6 JUHA KINNUNEN whenever i j, which shows that the convergence is uniform in R n \ F j. As a uniform limit of continuous functions Mu is continuous in R n \ F j. This implies that Mu is p-quasicontinuous Remark. If p>n, then every non-empty set has a positive p capacity and hence the maximal function of a function u W,p (R n ) is continuous. In fact, by the Sobolev imbedding theorem [3, Theorem 7.7] it is Hölder continuous, (Mu) h (x) Mu(x) c h n/p for every x, h R n.ifp =, the maximal function is Lipschitz continuous. Acknowledgements. The author would like to thank Professor Peter Lindqvist and Professor Olli Martio for inspiring discussions. References. Bojarski, B. and Haj lasz, P., Pointwise inequalities for Sobolev functions and some applications, Studia Math. 06 () (993), Federer, H. and Ziemer, W., The Lebesgue set of a function whose distribution derivatives are p-th power summable, Indiana Univ. Math. J. 22 (972), Gilbarg, D. and Trudinger, N.S., Elliptic Partial Differential Equations of Second Order (2nd edn), Springer Verlag, Berlin, Lewis, J.L., On very weak solutions of certain elliptic systems, Comm. Partial Differential Equations 8(9&0) (993), Stein, E.M., Singular Integrals and Differentiability Properties of Functions, Princeton University Press, 970. Department of Mathematics, P.O.Box 4, FIN-0004 University of Helsinki, Finland address: Juha.Kinnunen@ Helsinki.Fi
Mathematical 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 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 informationON APPROXIMATE DIFFERENTIABILITY OF THE MAXIMAL FUNCTION
ON APPROXIMATE DIFFERENTIABILITY OF THE MAXIMAL FUNCTION PIOTR HAJ LASZ, JAN MALÝ Dedicated to Professor Bogdan Bojarski Abstract. We prove that if f L 1 R n ) is approximately differentiable a.e., then
More informationON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 29, 2004, 167 176 ON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES Piotr Haj lasz and Jani Onninen Warsaw University, Institute of Mathematics
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 informationON APPROXIMATE DIFFERENTIABILITY OF THE MAXIMAL FUNCTION. 1. Introduction Juha Kinnunen [10] proved that the Hardy-Littlewood maximal function.
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 138, Number 1, January 2010, Pages 165 174 S 0002-993909)09971-7 Article electronically published on September 3, 2009 ON APPROXIMATE DIFFERENTIABILITY
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 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 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 informationLUSIN PROPERTIES AND INTERPOLATION OF SOBOLEV SPACES. Fon-Che Liu Wei-Shyan Tai. 1. Introduction and preliminaries
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 9, 997, 63 77 LUSIN PROPERTIES AND INTERPOLATION OF SOBOLEV SPACES Fon-Che Liu Wei-Shyan Tai. Introduction and preliminaries
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 informationON 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 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 informationHIGHER INTEGRABILITY WITH WEIGHTS
Annales Academiæ Scientiarum Fennicæ Series A. I. Mathematica Volumen 19, 1994, 355 366 HIGHER INTEGRABILITY WITH WEIGHTS Juha Kinnunen University of Jyväskylä, Department of Mathematics P.O. Box 35, SF-4351
More 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 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 informationPOTENTIAL THEORY OF QUASIMINIMIZERS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 28, 2003, 459 490 POTENTIAL THEORY OF QUASIMINIMIZERS Juha Kinnunen and Olli Martio Institute of Mathematics, P.O. Box 1100 FI-02015 Helsinki University
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 informationAPPROXIMATE IDENTITIES AND YOUNG TYPE INEQUALITIES IN VARIABLE LEBESGUE ORLICZ SPACES L p( ) (log L) q( )
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 35, 200, 405 420 APPROXIMATE IDENTITIES AND YOUNG TYPE INEQUALITIES IN VARIABLE LEBESGUE ORLICZ SPACES L p( ) (log L) q( ) Fumi-Yuki Maeda, Yoshihiro
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 pointwise estimates for maximal and singular integral operators by A.K. LERNER (Odessa)
On pointwise estimates for maximal and singular integral operators by A.K. LERNER (Odessa) Abstract. We prove two pointwise estimates relating some classical maximal and singular integral operators. In
More informationTHE VARIABLE EXPONENT SOBOLEV CAPACITY AND QUASI-FINE PROPERTIES OF SOBOLEV FUNCTIONS IN THE CASE p = 1
THE VARIABLE EXPONENT SOBOLEV CAPACITY AND QUASI-FINE PROPERTIES OF SOBOLEV FUNCTIONS IN THE CASE p = 1 HEIKKI HAKKARAINEN AND MATTI NUORTIO Abstract. In this article we extend the known results concerning
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 informationSobolev Spaces. Chapter Hölder spaces
Chapter 2 Sobolev Spaces Sobolev spaces turn out often to be the proper setting in which to apply ideas of functional analysis to get information concerning partial differential equations. Here, we collect
More informationJUHA KINNUNEN. Real Analysis
JUH KINNUNEN Real nalysis Department of Mathematics and Systems nalysis, alto University Updated 3 pril 206 Contents L p spaces. L p functions..................................2 L p norm....................................
More informationON THE ENDPOINT REGULARITY OF DISCRETE MAXIMAL OPERATORS
ON THE ENDPOINT REGULARITY OF DISCRETE MAXIMAL OPERATORS EMANUEL CARNEIRO AND KEVIN HUGHES Abstract. Given a discrete function f : Z d R we consider the maximal operator X Mf n = sup f n m, r 0 Nr m Ω
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 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 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 informationGRAND SOBOLEV SPACES AND THEIR APPLICATIONS TO VARIATIONAL PROBLEMS
LE MATEMATICHE Vol. LI (1996) Fasc. II, pp. 335347 GRAND SOBOLEV SPACES AND THEIR APPLICATIONS TO VARIATIONAL PROBLEMS CARLO SBORDONE Dedicated to Professor Francesco Guglielmino on his 7th birthday W
More 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 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 informationWeighted norm inequalities for singular integral operators
Weighted norm inequalities for singular integral operators C. Pérez Journal of the London mathematical society 49 (994), 296 308. Departmento de Matemáticas Universidad Autónoma de Madrid 28049 Madrid,
More informationRegularity and compactness for the DiPerna Lions flow
Regularity and compactness for the DiPerna Lions flow Gianluca Crippa 1 and Camillo De Lellis 2 1 Scuola Normale Superiore, Piazza dei Cavalieri 7, 56126 Pisa, Italy. g.crippa@sns.it 2 Institut für Mathematik,
More informationSobolev Spaces. Chapter 10
Chapter 1 Sobolev Spaces We now define spaces H 1,p (R n ), known as Sobolev spaces. For u to belong to H 1,p (R n ), we require that u L p (R n ) and that u have weak derivatives of first order in L p
More informationfür Mathematik in den Naturwissenschaften Leipzig
Max-Planck-Institut für Mathematik in den Naturwissenschaften Leipzig A short proof of the self-improving regularity of quasiregular mappings. by Xiao Zhong and Daniel Faraco Preprint no.: 106 2002 A
More informationContinuity of weakly monotone Sobolev functions of variable exponent
Continuity of weakly monotone Sobolev functions of variable exponent Toshihide Futamura and Yoshihiro Mizuta Abstract Our aim in this paper is to deal with continuity properties for weakly monotone Sobolev
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 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 informationHARNACK S INEQUALITY FOR GENERAL SOLUTIONS WITH NONSTANDARD GROWTH
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 37, 2012, 571 577 HARNACK S INEQUALITY FOR GENERAL SOLUTIONS WITH NONSTANDARD GROWTH Olli Toivanen University of Eastern Finland, Department of
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 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 informationand finally, any second order divergence form elliptic operator
Supporting Information: Mathematical proofs Preliminaries Let be an arbitrary bounded open set in R n and let L be any elliptic differential operator associated to a symmetric positive bilinear form B
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 informationGIOVANNI COMI AND MONICA TORRES
ONE-SIDED APPROXIMATION OF SETS OF FINITE PERIMETER GIOVANNI COMI AND MONICA TORRES Abstract. In this note we present a new proof of a one-sided approximation of sets of finite perimeter introduced in
More informationSTABILITY FOR DEGENERATE PARABOLIC EQUATIONS. 1. Introduction We consider stability of weak solutions to. div( u p 2 u) = u
STABILITY FOR DEGENERATE PARABOLIC EQUATIONS JUHA KINNUNEN AND MIKKO PARVIAINEN Abstract. We show that an initial and boundary value problem related to the parabolic p-laplace equation is stable with respect
More information1. Introduction. SOBOLEV INEQUALITIES WITH VARIABLE EXPONENT ATTAINING THE VALUES 1 AND n. Petteri Harjulehto and Peter Hästö.
Publ. Mat. 52 (2008), 347 363 SOBOLEV INEQUALITIES WITH VARIABLE EXPONENT ATTAINING THE VALUES AND n Petteri Harjulehto and Peter Hästö Dedicated to Professor Yoshihiro Mizuta on the occasion of his sixtieth
More informationTHE L 2 -HODGE THEORY AND REPRESENTATION ON R n
THE L 2 -HODGE THEORY AND REPRESENTATION ON R n BAISHENG YAN Abstract. We present an elementary L 2 -Hodge theory on whole R n based on the minimization principle of the calculus of variations and some
More informationRENORMALIZED SOLUTIONS ON QUASI OPEN SETS WITH NONHOMOGENEOUS BOUNDARY VALUES TONI HUKKANEN
RENORMALIZED SOLTIONS ON QASI OPEN SETS WITH NONHOMOGENEOS BONDARY VALES TONI HKKANEN Acknowledgements I wish to express my sincere gratitude to my advisor, Professor Tero Kilpeläinen, for the excellent
More informationON THE ENDPOINT REGULARITY OF DISCRETE MAXIMAL OPERATORS. Emanuel Carneiro and Kevin Hughes
Math Res Lett 9 202, no 06, 245 262 c International Press 202 ON THE ENDPOINT REGULARITY OF DISCRETE MAXIMAL OPERATORS Emanuel Carneiro and Kevin Hughes Dedicated to Professor William Beckner on the occasion
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 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 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 informationis a weak solution with the a ij,b i,c2 C 1 ( )
Thus @u @x i PDE 69 is a weak solution with the RHS @f @x i L. Thus u W 3, loc (). Iterating further, and using a generalized Sobolev imbedding gives that u is smooth. Theorem 3.33 (Local smoothness).
More informationM ath. Res. Lett. 16 (2009), no. 1, c International Press 2009
M ath. Res. Lett. 16 (2009), no. 1, 149 156 c International Press 2009 A 1 BOUNDS FOR CALDERÓN-ZYGMUND OPERATORS RELATED TO A PROBLEM OF MUCKENHOUPT AND WHEEDEN Andrei K. Lerner, Sheldy Ombrosi, and Carlos
More 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 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 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 informationSome Remarks About the Density of Smooth Functions in Weighted Sobolev Spaces
Journal of Convex nalysis Volume 1 (1994), No. 2, 135 142 Some Remarks bout the Density of Smooth Functions in Weighted Sobolev Spaces Valeria Chiadò Piat Dipartimento di Matematica, Politecnico di Torino,
More informationATOMIC DECOMPOSITIONS AND OPERATORS ON HARDY SPACES
REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Volumen 50, Número 2, 2009, Páginas 15 22 ATOMIC DECOMPOSITIONS AND OPERATORS ON HARDY SPACES STEFANO MEDA, PETER SJÖGREN AND MARIA VALLARINO Abstract. This paper
More informationA metric space X is a non-empty set endowed with a metric ρ (x, y):
Chapter 1 Preliminaries References: Troianiello, G.M., 1987, Elliptic differential equations and obstacle problems, Plenum Press, New York. Friedman, A., 1982, Variational principles and free-boundary
More informationREARRANGEMENT OF HARDY-LITTLEWOOD MAXIMAL FUNCTIONS IN LORENTZ SPACES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 128, Number 1, Pages 65 74 S 0002-9939(99)05128-X Article electronically published on June 30, 1999 REARRANGEMENT OF HARDY-LITTLEWOOD MAXIMAL FUNCTIONS
More informationWEIGHTED REVERSE WEAK TYPE INEQUALITY FOR GENERAL MAXIMAL FUNCTIONS
GEORGIAN MATHEMATICAL JOURNAL: Vol. 2, No. 3, 995, 277-290 WEIGHTED REVERSE WEAK TYPE INEQUALITY FOR GENERAL MAXIMAL FUNCTIONS J. GENEBASHVILI Abstract. Necessary and sufficient conditions are found to
More informationREAL ANALYSIS I HOMEWORK 4
REAL ANALYSIS I HOMEWORK 4 CİHAN BAHRAN The questions are from Stein and Shakarchi s text, Chapter 2.. Given a collection of sets E, E 2,..., E n, construct another collection E, E 2,..., E N, with N =
More informationMaximal Functions in Analysis
Maximal Functions in Analysis Robert Fefferman June, 5 The University of Chicago REU Scribe: Philip Ascher Abstract This will be a self-contained introduction to the theory of maximal functions, which
More informationRegularity of the p-poisson equation in the plane
Regularity of the p-poisson equation in the plane Erik Lindgren Peter Lindqvist Department of Mathematical Sciences Norwegian University of Science and Technology NO-7491 Trondheim, Norway Abstract We
More informationWEAK TYPE ESTIMATES FOR SINGULAR INTEGRALS RELATED TO A DUAL PROBLEM OF MUCKENHOUPT-WHEEDEN
WEAK TYPE ESTIMATES FOR SINGULAR INTEGRALS RELATED TO A DUAL PROBLEM OF MUCKENHOUPT-WHEEDEN ANDREI K. LERNER, SHELDY OMBROSI, AND CARLOS PÉREZ Abstract. A ell knon open problem of Muckenhoupt-Wheeden says
More informationThe small ball property in Banach spaces (quantitative results)
The small ball property in Banach spaces (quantitative results) Ehrhard Behrends Abstract A metric space (M, d) is said to have the small ball property (sbp) if for every ε 0 > 0 there exists a sequence
More informationarxiv: v1 [math.ap] 27 May 2010
A NOTE ON THE PROOF OF HÖLDER CONTINUITY TO WEAK SOLUTIONS OF ELLIPTIC EQUATIONS JUHANA SILJANDER arxiv:1005.5080v1 [math.ap] 27 May 2010 Abstract. By borrowing ideas from the parabolic theory, we use
More information1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),
Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer
More 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 informationSOLUTIONS TO HOMEWORK ASSIGNMENT 4
SOLUTIONS TO HOMEWOK ASSIGNMENT 4 Exercise. A criterion for the image under the Hilbert transform to belong to L Let φ S be given. Show that Hφ L if and only if φx dx = 0. Solution: Suppose first that
More informationWeighted a priori estimates for elliptic equations
arxiv:7.00879v [math.ap] Nov 07 Weighted a priori estimates for elliptic equations María E. Cejas Departamento de Matemática Facultad de Ciencias Exactas Universidad Nacional de La Plata CONICET Calle
More informationU e = E (U\E) e E e + U\E e. (1.6)
12 1 Lebesgue Measure 1.2 Lebesgue Measure In Section 1.1 we defined the exterior Lebesgue measure of every subset of R d. Unfortunately, a major disadvantage of exterior measure is that it does not satisfy
More informationPERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 28, 2003, 207 222 PERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS Fumi-Yuki Maeda and Takayori Ono Hiroshima Institute of Technology, Miyake,
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 informationSome aspects of vanishing properties of solutions to nonlinear elliptic equations
RIMS Kôkyûroku, 2014, pp. 1 9 Some aspects of vanishing properties of solutions to nonlinear elliptic equations By Seppo Granlund and Niko Marola Abstract We discuss some aspects of vanishing properties
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 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 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 informationRegularity and nonexistence results for anisotropic quasilinear elliptic equations in convex domains
Regularity and nonexistence results for anisotropic quasilinear elliptic equations in convex domains Ilaria FRAGALÀ Filippo GAZZOLA Dipartimento di Matematica del Politecnico - Piazza L. da Vinci - 20133
More informationh(x) lim H(x) = lim Since h is nondecreasing then h(x) 0 for all x, and if h is discontinuous at a point x then H(x) > 0. Denote
Real Variables, Fall 4 Problem set 4 Solution suggestions Exercise. Let f be of bounded variation on [a, b]. Show that for each c (a, b), lim x c f(x) and lim x c f(x) exist. Prove that a monotone function
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 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 informationA RELATIONSHIP BETWEEN THE DIRICHLET AND REGULARITY PROBLEMS FOR ELLIPTIC EQUATIONS. Zhongwei Shen
A RELATIONSHIP BETWEEN THE DIRICHLET AND REGULARITY PROBLEMS FOR ELLIPTIC EQUATIONS Zhongwei Shen Abstract. Let L = diva be a real, symmetric second order elliptic operator with bounded measurable coefficients.
More informationarxiv: v1 [math.fa] 4 Jul 2018
A MEDIAN APPROACH TO DIFFERENTIATION BASES TONI HEIKKINEN AND JUHA KINNUNEN arxiv:1807.01530v1 [math.fa] 4 Jul 2018 Abstract. We study a version of the Lebesgue differentiation theorem in which the integral
More informationMeasure and Integration: Solutions of CW2
Measure and Integration: s of CW2 Fall 206 [G. Holzegel] December 9, 206 Problem of Sheet 5 a) Left (f n ) and (g n ) be sequences of integrable functions with f n (x) f (x) and g n (x) g (x) for almost
More information1 Riesz Potential and Enbeddings Theorems
Riesz Potential and Enbeddings Theorems Given 0 < < and a function u L loc R, the Riesz otential of u is defined by u y I u x := R x y dy, x R We begin by finding an exonent such that I u L R c u L R for
More informationA CONNECTION BETWEEN A GENERAL CLASS OF SUPERPARABOLIC FUNCTIONS AND SUPERSOLUTIONS
A CONNECTION BETWEEN A GENERAL CLASS OF SUPERPARABOLIC FUNCTIONS AND SUPERSOLUTIONS RIIKKA KORTE, TUOMO KUUSI, AND MIKKO PARVIAINEN Abstract. We show to a general class of parabolic equations that every
More informationESTIMATES FOR MAXIMAL SINGULAR INTEGRALS
ESTIMATES FOR MAXIMAL SINGULAR INTEGRALS LOUKAS GRAFAKOS Abstract. It is shown that maximal truncations of nonconvolution L -bounded singular integral operators with kernels satisfying Hörmander s condition
More informationSOLUTION OF THE DIRICHLET PROBLEM WITH L p BOUNDARY CONDITION. Dagmar Medková
29 Kragujevac J. Math. 31 (2008) 29 42. SOLUTION OF THE DIRICHLET PROBLEM WITH L p BOUNDARY CONDITION Dagmar Medková Czech Technical University, Faculty of Mechanical Engineering, Department of Technical
More informationarxiv: v1 [math.ap] 28 Mar 2014
GROUNDSTATES OF NONLINEAR CHOQUARD EQUATIONS: HARDY-LITTLEWOOD-SOBOLEV CRITICAL EXPONENT VITALY MOROZ AND JEAN VAN SCHAFTINGEN arxiv:1403.7414v1 [math.ap] 28 Mar 2014 Abstract. We consider nonlinear Choquard
More informationNonlinear aspects of Calderón-Zygmund theory
Ancona, June 7 2011 Overture: The standard CZ theory Consider the model case u = f in R n Overture: The standard CZ theory Consider the model case u = f in R n Then f L q implies D 2 u L q 1 < q < with
More informationON QUALITATIVE PROPERTIES OF SOLUTIONS OF QUASILINEAR ELLIPTIC EQUATIONS WITH STRONG DEPENDENCE ON THE GRADIENT
GLASNIK MATEMATIČKI Vol. 49(69)(2014), 369 375 ON QUALITATIVE PROPERTIES OF SOLUTIONS OF QUASILINEAR ELLIPTIC EQUATIONS WITH STRONG DEPENDENCE ON THE GRADIENT Jadranka Kraljević University of Zagreb, Croatia
More informationAN EXAMPLE OF FUNCTIONAL WHICH IS WEAKLY LOWER SEMICONTINUOUS ON W 1,p FOR EVERY p > 2 BUT NOT ON H0
AN EXAMPLE OF FUNCTIONAL WHICH IS WEAKLY LOWER SEMICONTINUOUS ON W,p FOR EVERY p > BUT NOT ON H FERNANDO FARRONI, RAFFAELLA GIOVA AND FRANÇOIS MURAT Abstract. In this note we give an example of functional
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 informationNONTRIVIAL SOLUTIONS TO INTEGRAL AND DIFFERENTIAL EQUATIONS
Fixed Point Theory, Volume 9, No. 1, 28, 3-16 http://www.math.ubbcluj.ro/ nodeacj/sfptcj.html NONTRIVIAL SOLUTIONS TO INTEGRAL AND DIFFERENTIAL EQUATIONS GIOVANNI ANELLO Department of Mathematics University
More informationBoth these computations follow immediately (and trivially) from the definitions. Finally, observe that if f L (R n ) then we have that.
Lecture : One Parameter Maximal Functions and Covering Lemmas In this first lecture we start studying one of the basic and fundamental operators in harmonic analysis, the Hardy-Littlewood maximal function.
More information2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is
More informationBoundedness, Harnack inequality and Hölder continuity for weak solutions
Boundedness, Harnack inequality and Hölder continuity for weak solutions Intoduction to PDE We describe results for weak solutions of elliptic equations with bounded coefficients in divergence-form. The
More information