Mathematical Research Letters 4, (1997) HARDY S INEQUALITIES FOR SOBOLEV FUNCTIONS. Juha Kinnunen and Olli Martio

Size: px
Start display at page:

Download "Mathematical Research Letters 4, (1997) HARDY S INEQUALITIES FOR SOBOLEV FUNCTIONS. Juha Kinnunen and Olli Martio"

Transcription

1 Mathematical Research Letters 4, ) HARDY S INEQUALITIES FOR SOBOLEV FUNCTIONS Juha Kinnunen and Olli Martio Abstract. The fractional maximal function of the gradient gives a pointwise interpretation of Hardy s inequality for functions u W 1,p 0 ). With mild assumptions on Hardy s inequality holds for a function u W 1,p ) if and only if u W 1,p 0 ). 1. Introduction The fractional maximal function of a locally integrable function f : R n [, ] is defined by 1.1) M α fx) = sup r α n fy) dy, 0 α n. r>0 Bx,r) The fractional maximal function is a classical tool in harmonic analysis, but it is also useful in studying Sobolev functions and partial differential equations. The fundamental fact is that the oscillation of a Sobolev function is controlled by the fractional maximal function of the gradient. To be more precise, suppose that u W 1,p R n ) and let 0 α<p. Then there is a constant c, depending only on n, such that 1.2) ux) uy) c x y 1 α/p M α/p Du x)+m α/p Du y) ) for every x, y R n \ N with N = 0. The proof of this elegant inequality essentially is due to Hedberg [He]. Recently Bojarski and Haj lasz have employed 1.2) in studying Sobolev functions, see [BH], [Ha1] and [Ha3]. Lewis [Le1] has also used 1.2) to construct a Lipschitz continuous test function for elliptic systems of partial differential equations. Several properties of Sobolev functions, including pointwise behaviour, approximation by Hölder continuous functions, Sobolev s, Poincaré s and Morrey s lemmas, follow from 1.2). We discuss some of these applications in Section 2. Received February 27, Mathematics Subject Classification. 42B25, 46E35, 31B15. Key words and phrases. Maximal function, Sobolev spaces, Hölder continuity, capacity, Hardy inequality. 489

2 490 JUHA KINNUNEN AND OLLI MARTIO In Section 3 we apply 1.2) to Sobolev functions with zero boundary values. To this end, let be an open set such that R n \ is uniformly p fat. This means that there is a constant γ>0such that C p R n \ ) Bx, r),bx, 2r) ) ) γ C p Bx, r),bx, 2r) for every x R n \ and for all radii r>0. Here C p refers to the ordinary variational p capacity, see [HKM, Ch. 2]. This requirement is not very restrictive, since all Lipschitz domains or domains satisfying the exterior cone condition are uniformly p fat for every p, 1 <p<. Ifp>n, then the complement of every open set R n is uniformly p fat. Suppose that u W 1,p 0 ). If R n \ is uniformly p fat and 0 α<p, then we show that there is a constant c, depending only on p and n and the geometry of, such that 1.3) ux) c distx, ) 1 α/p M α Du p x) ) 1/p for almost every x. In particular, if p > n, then 1.3) holds provided R n. By integrating 1.3) over and using the Hardy Littlewood Wiener maximal theorem we obtain a new proof for Hardy s inequality 1.4) ux) ) p dx c distx, ) Dux) p dx. The constant c depends only on p and n and the geometry of. It has come to our attention that Piotr Haj lasz [Ha2] has obtained another proof for Hardy s inequality 1.4) using similar ideas. We also show that Hardy s inequality is a necessary and sufficient condition for a function in W 1,p ) to belong to W 1,p 0 ) provided R n \ is uniformly p fat. In fact, we prove a stronger result which generalizes results in [K, p. 74] and [EE, p. 223]. Hardy s inequalities have been studied extensively under various conditions on. The classical one dimensional Hardy s inequality can be found in [HLP, p. 240]. Higher dimensional versions have been investigated in [A], [EH], [Le2], [K], [Maz, 2.3.3], [Mi], [OK], [W1] and [W2]. Our notation is standard. The function u belongs to the Sobolev space W 1,p ), R n open, 1 p, provided u L p ) and the first weak partial derivatives also belong to L p ). We endow the Sobolev space W 1,p ) with the norm u 1,p, = u p, + Du p,. If = R n, we denote u 1,p,R n = u 1,p. We recall that W 1,p 0 ) is the completion of C 0 ) in the norm u 1,p,. For properties of the Sobolev functions we refer to the monograph [Z]. Various positive constants throughout the paper are denoted by c and they may differ even on the same line. The dependence on parameters is expressed, for example, by c = cn, p).

3 HARDY S INEQUALITIES FOR SOBOLEV FUNCTIONS Maximal function inequalities For 0 α n the fractional maximal function of a locally integrable function f : R n [, ] is defined by M α fx) = sup r α n fy) dy. r>0 Bx,r) For α = 0we obtain the Hardy Littlewood maximal function and we write M 0 = M. The set E λ = { x R n : M α fx) >λ }, λ 0, is open and hence the fractional maximal function is lower semicontinuous. Next we give some estimates for the measure of E λ. To this end, the Hausdorff d measure, 0 <d<, ofe R n is H d E) = lim δ 0 H d δe), where { HδE) d = inf ri d : E i=1 i=1 } Bx i,r i ),r i δ, 0 <δ. H d E) is the Hausdorff d content of E. Clearly H d E) H d δ E) Hd E) for every 0 <δ. The standard Vitali covering argument, see [BZ, Lemma 3.2], yields the following weak type inequality for the fractional maximal function Lemma. Suppose that f L 1 R n ) and 0 α<n. Then there is a constant c = cn, α) such that 2.2) H n α E λ ) c fx) dx, λ > 0. λ R n If α = 0, then the Hausdorff content may be replaced by the Lebesgue measure. Next we recall a pointwise inequality for a smooth function in terms of the fractional maximal function. This estimate is well known, the proof relies on an argument due to Hedberg, see [He] and [Ha1] Theorem. Suppose that u C R n ) and let 1 p<, 0 α<p.let χ be the characteristic function of the ball Bx 0,R). Then there is a constant c = cn) such that 2.4) ux) uy) c x y 1 α/p M α/p Du χ)x)+m α/p Du χ)y) )

4 492 JUHA KINNUNEN AND OLLI MARTIO for every x, y Bx 0,R). Sketch of the proof. The proof follows easily from inequalities 2.5) 1 Duy) ux) uy) dy cn) dy Bx 0,R) Bx 0,R) Bx 0,R) x y n 1 cn) R 1 α/p M α/p Du χ)x), for every x Bx 0,R). Inequality 2.4) has turned out to be very useful in studying the Sobolev spaces. We take an opportunity to briefly describe some of the main developments here; some of our observations are folklore, but there are also new aspects. Since smooth functions are dense in W 1,p ), we see that for an arbitrary Sobolev function u W 1,p R n ) inequality 2.4) holds whenever x, y Bx 0,R)\ N with N = 0. In this case we say that 2.4) holds for almost every x and y. The Sobolev embedding theorems and the Poincaré inequalities are easy consequences of 2.4), see [He] and [Z]. Suppose that u W 1,p R n ). Hölder s inequality implies 2.6) M α/p Du x) cn, p) M α Du p x) ) 1/p, x R n. If n<p<, then we may take α = n and 2.7) Mn Du p x) ) 1/p Du p <, x R n. By combining this observation to 2.4) we see that 2.8) ux) uy) cn, p) Du p x y 1 n/p for almost every x, y R n. This shows that u C 1 n/p R n ) after redefinition on a set of measure zero. This is the Sobolev embedding theorem in the case n<p<. Suppose that 1 p n and 0 α<minp, n). If M α Du p is bounded, then after redefinition on a set of measure zero, u C 1 α/p R n ) by 2.4). This is Morrey s lemma [Mo, Theorem 3.5.2]. Even if M α Du p is unbounded, then 2.9) ux) uy) cn, p)λ x y 1 α/p, for almost every x, y R n \ E λ, where E λ = { x R n : M α Du p x) >λ p}, λ 0. This means that the function u W 1,p R n )ishölder continuous in the set R n \ E λ after redefinition on a set of measure zero. Then we may extend it

5 HARDY S INEQUALITIES FOR SOBOLEV FUNCTIONS 493 toahölder continuous function in R n with the same exponent and the same constant by defining u λ x) = inf uy)+cn, p)λ x y 1 α/p ), x R n. y R n \E λ Here cn, p) is the constant in 2.9). This is the classical McShane extension [Mc] of u R n \E λ. Using estimate 2.2) we see that for every λ>0there is an open set E λ and a function u λ such that 1) u λ C 1 α/p R n ), 2) u λ x) =ux) for a.e. x R n \ E λ, 3) H n α E λ ) cn, α)λ p Du p p. In particular, if α = 0, then the function u λ is Lipschitz continuous. This has been previously studied by Malý [Mal]. His proof is based on the representation of Sobolev functions as Bessel potentials. Usually a Sobolev function u W 1,p R n ) is defined only up to a set of measure zero, but following [BH] we define u pointwise by ) ũx) = lim sup uy) dy. r 0 Bx, r) Bx,r) By Lebesgue s theorem not only limit superior but limit exists and equals to u almost everywhere. In fact, the limit exists except on a set of capacity zero, but we do not need this refinement here. Hence the pointwise definition coincides with u almost everywhere and represents the same element in W 1,p R n ). Then we may proceed as in [BH] and show that inequality 2.4) holds everywhere for every function u W 1,p R n ) defined pointwise by 2.10). If p>n, then by 2.7) every ũ W 1,p R n ) belongs to C 1 n/p R n ) and hence all points are Lebesgue points for ũ. Suppose then that 1 p n and 0 α<p. Using 2.4) it is easy to see that x is a Lebesgue point of ũ provided M α/p Du x) <. This observation is a sharpening of [BH, Lemma 4]. The set of non-lebesgue points of ũ is contained in E = { x R n : M α Du p x) = }. The weak type estimate 2.2) implies that H n α E ) cn, α)λ p Du p p, λ > 0. Letting λ we see that H n α E ) = 0. Hence the set of non-lebesgue points has n α) Hausdorff content zero for every α < p. Since the Hausdorff content and the Hausdorff measure have the same null sets, also the n α) dimensional Hausdorff measure of E is zero. In general, a function u W 1,p R n ) has Lebesgue points outside a set of capacity zero, which is of course a stronger result, but our approach gives a concrete method to check whether a given point is a Lebesgue point. For further applications of 2.4) we refer to [BH], [Ha1], [Ha3] and [Le1].

6 494 JUHA KINNUNEN AND OLLI MARTIO 3. Hardy s inequality Suppose first that p>n, n<q<p,0 α<q, and let R n be an open set. Let u C 0 ). Fix x and take x 0 such that x x 0 = distx, ) = R. Then we use 2.4) together with 2.6) and obtain 3.1) ux) cn, q) x x 0 1 n/q ) 1/q Duy) q dy Bx,2R) cn, q) R 1 α/q ) 1/q R α n Duy) q dy Bx,2R) cn, q) distx, ) 1 α/q M α Du q x) ) 1/q. For u W 1,p 0 ) inequality 3.1) holds almost everywhere. Integrating 3.1) with α = 0over and using the Hardy Littlewood Wiener maximal function theorem [S, Theorem I.1] we arrive at ux) ) p dx c M Du q x) ) p/q dx distx, ) 3.2) c Dux) p dx, c = cn, p, q). Since the constant in 3.2) is independent of u C0 ), a simple approximation argument shows that 3.2) holds for every u W 1,p 0 ). This gives a proof for the well known Hardy s inequality for all open sets with non-empty complements if n<p<. The case 1 <p nis more involved, since then extra conditions must be imposed on, see [Le2, Theorem 3]. However, there is a sufficient condition in terms of the capacity density of the complement Definition. A closed set E R n is uniformly p fat, 1 <p<, if there is a constant γ>0such that ) ) 3.4) C p E Bx, r),bx, 2r) γ Cp Bx, r),bx, 2r) for every x E and for all radii r>0. Here C p K, ) denotes the variational p capacity { } C p K, ) = inf Dux) p dx: u C0 ), ux) 1 for x K of the condenser K, ). Here is open and K is a compact subset of. For information on the capacity we refer to [HKM, Ch. 2]. We recall that 3.5) C p Bx, r),bx, 2r) ) = cn, p) r n p.

7 HARDY S INEQUALITIES FOR SOBOLEV FUNCTIONS Examples. 1) If p>n, then all non empty closed sets are uniformly p fat. 2) All closed sets satisfying the interior cone condition are uniformly p fat for every p, 1 <p<. 3) The complements of the Lipschitz domains are uniformly p fat for every p, 1<p<. 4) If there is a constant γ>0such that Bx, r) E γ Bx, r) for every x E and r > 0, then E is uniformly p fat for every p, 1 <p<. The fundamental property of uniformly fat sets is the following deep result due to Lewis [Le2, Theorem 1]. For another proof see [Mi, Theorem 8.2] Theorem. Let E R n be a closed uniformly p fat set. Then there is q, 1 <q<psuch that E is uniformly q fat. If R n is an open set such that R n \ is uniformly p fat, then Lewis proved [Le2, Theorem 2] that Hardy s inequality holds. We have already seen that Hardy s inequality follows from pointwise inequalities involving the Hardy Littlewood maximal function if p>n. We show that this is the case also when 1 <p n. In the proof we need the following version of Poincaré s inequality. For the proof see [Mi, Lemma 8.11], [KK, 3.1] or [Maz, Ch. 10] Lemma. Suppose that 1 <p<, let u C R n ) and denote Z = { x R n : ux) =0 }. Then there is c = cn, p) such that 1 ) 1/p uy) p dy Bx 0, 2R) Bx 0,R) c C p Z Bx0,R),Bx 0, 2R) ) 1 Bx 0,2R) Now we are ready to prove a pointwise Hardy s inequality. Duy) p dy) 1/p Theorem. Let 1 <p n, 0 α<p, let R n be an open set such that R n \ is uniformly p fat and suppose that u C 0 ). Then there is a constant c, depending only on p, n and γ in 3.4), such that 3.10) ux) c distx, ) 1 α/p M α Du p x) ) 1/p, x.

8 496 JUHA KINNUNEN AND OLLI MARTIO Proof. Let x and choose x 0 such that x x 0 = distx, ) =R. We define u and Du to be zero in the complement of. Then by 2.5) and 2.6) we have ux) u Bx0,2R) cn, p) R 1 α/p M α Du p x) ) 1/p, x Bx0, 2R), and hence ux) ux) u Bx0,2R) + u Bx0,2R) cr 1 α/p M α Du p x) ) 1/p + u Bx0,2R), x Bx 0, 2R). Here we use the familiar notation u Bx,r) = 1 uy) dy. Bx, r) Bx,r) Using Lemma 3.8, 3.4) and 3.5) we arrive at 1 uy) dy Bx 0, 2R) Bx 0,2R) c C p Z Bx0, 2R),Bx 0, 4R) ) 1 Bx 0,4R) c C p R n \ ) Bx 0, 2R),Bx 0, 4R) ) 1 ) 1/p c R p n Duy) p dy Bx,8R) cr 1 α/p M α Du p x) ) 1/p, This completes the proof. c = cn, p, γ). ) 1/p Duy) p dy Bx 0,4R) ) 1/p Duy) p dy If R n \ is p fat, then by Theorem 3.7 it is q fat for some 1 <q<p n. Using 3.10) with α = 0we get ux) cn, q) distx, ) M Du q x) ) 1/q, x. Integrating and using the Hardy Littlewood Wiener theorem exactly the same way as in 3.2), we get the proof for Hardy s inequality also in the case 1 <p n. Again, an approximation argument shows that Hardy s inequality holds for every u W 1,p 0 ). Observe that the existence of q<pgiven by Theorem 3.7 is essential here, since the Hardy Littlewood Wiener theorem does not hold in L 1 R n ). Thus we have given a new proof for the following result.

9 HARDY S INEQUALITIES FOR SOBOLEV FUNCTIONS Corollary. Let 1 <p< and suppose that R n is an open set such that R n \ is uniformly p fat. If u W 1,p 0 ), then there is a constant c, depending on p, n and γ in 3.4), such that 3.12) ux) ) p dx c distx, ) Dux) p dx. In particular, if p>n, then 3.12) holds provided R n. For different proofs of Corollary 3.11 we refer to [A] in the case p = n =2) [Le2] and [Mi]. If p = n, then Hardy s inequality is equivalent to the fact that R n \ is uniformly p fat, see [Le2, Theorem 3]. Another necessary and sufficient condition is given in [Maz 2.3.3]. It is known that u W 1,p ) belongs to W 1,p 0 ) ifux)/ distx, ) L p ) without any restrictions on, see [EE, p. 223]. In particular, if Hardy s inequality holds, this is true. We improve this result here. For this end, we record that a function f : [, ] belongs to the weak L p ) if there is a constant c so that {x : fx) >λ} cλ p, λ > Theorem. Let be an open set and suppose that u W 1,p ) with 1 <p<. Then u W 1,p 0 ) provided ux)/ distx, ) belongs to the weak L p ). Proof. First we suppose that is bounded. Then it is easy to see that ux)/ distx, ) belongs to L q ) for every q < p. Using Theorem 3.4 in [EE, p. 223] we conclude that u W 1,q 0 ) for every q < p. In particular, this implies that u has the generalized gradient Du in R n. Moreover, ux) =0 and Dux) = 0for almost every x R n \. We define u and Du to be zero in R n \ and the above discussion implies that u W 1,p R n ). One can also check directly, without using the result in [EE], that the zero extension to the complement belongs to W 1,p R n ). This can be done, for example, by using the ACL characterization of the Sobolev functions. Let N R n, N = 0, be the exceptional set for inequality 2.4) and denote 3.14) F λ = { x \ N : ux) λ, M Du p x) λ p and ux) / distx, ) λ } R n \ ), λ > 0. We show that u Fλ is cn, p)λ Lipschitz continuous. Suppose that x, y F λ. Then by 2.4) and 3.14) we get ux) uy) cn, p) x y M Du p x)) 1/p +M Du p y)) 1/p) cn, p)λ x y.

10 498 JUHA KINNUNEN AND OLLI MARTIO If x F λ and y R n \, wehave ux) uy) = ux) λ distx, ) λ x y. If x, y R n \, then the claim is clear. Since all the other cases follow by symmetry, it follows that u Fλ is Lipschitz continuous with the constant cn, p)λ. Then we extend u Fλ to a Lipschitz continuous function u λ to R n with the same constant by defining ) u λ x) = inf uy)+cn, p)λ x y y F λ and finally we set u λ x) = sgn ux) min u λ x),λ). This is a slight modification of the classical McShane extension [Mc]. Then u λ enjoys the following properties: 1) u λ x) =ux) for every x F λ. 2) u λ x) λ for every x R n. 3) Du λ x) cn, p)λ for every x R n. 4) u λ x) = 0when x R n \. 5) Du λ x) =Dux) for almost every x F λ. We write Fλ 1 = { x : ux) >λ }, Fλ 2 = { x : M Du p x) >λ p}, Fλ 3 = { x : ux) / distx, ) >λ }. Then 3.15) Du λ x) p dx + F λ F 2 λ Dux) p dx + Du λ x) p dx + F 3 λ F 1 λ Du λ x) p dx Du λ x) p dx. We estimate the integrals on the right side separately. Using the fact that Du λ x) cn, p)λ we see that Du λ x) p dx cn, p)λ p {x : ux) >λ} F 1 λ cn, p) ux) p dx and by the weak type inequality 2.2) we find Du λ x) p dx cn, p)λ p {x R n : M Du p x) >λ p } F 2 λ cn, p) Dux) p dx.

11 HARDY S INEQUALITIES FOR SOBOLEV FUNCTIONS 499 Finally, using the definition of Fλ 3 and the hypothesis that ux)/ distx, ) belongs to the weak L p ) we obtain Du λ x) p dx cn, p)λ p {x : ux) / distx, )>λ} cn, p, u) <. F 3 λ The obtained estimates and 3.15) imply Du λ x) p dx 3.16) c ux) p dx + c Dux) p dx + c, c = cn, p, u), for every λ>0and hence the family Du λ is bounded in L p ) uniformly in λ. Using the weak type inequality 2.2) in the same manner as in estimating the gradient we see that also u λ is bounded in L p ) uniformly in λ and 3.17) u λ x) p dx c ux) p dx+c Dux) p dx+c, c = cn, p, u), for every λ>0. Since u λ is Lipschitz and u λ x) = 0when x R n \ we conclude that u λ W 1,p 0 ) for every λ>0. Estimates 3.16) and 3.17) show that u λ is uniformly bounded family in W 1,p 0 ) and u λ 1,p, cn, p) u 1,p, + cn, p, u) for every λ>0. Finally, since \F λ 0as λ and u λ coincides with u in F λ, we see that u λ u almost everywhere in. Since u λ is uniformly bounded family in W 1,p 0 ) and u λ u almost everywhere in, a weak compactness argument shows that u W 1,p 0 ). Suppose then that is unbounded. Let x 0. Choose a cut off function φ i C0 ), i =1, 2,..., be such that 0 φ i x) 1 for every x R n, φ i x) =1 if x Bx 0,i), φ i x) =0ifx R n \ Bx 0, 2i) and Dφ i x) c with c independent of i. Let v i = φ i u and denote i = Bx 0, 4i) for i =1, 2,... Then v i W 1,p ) and v i u in W 1,p ) asi. Clearly v i x) / distx, i ) belongs to the weak L p i ), i =1, 2,... Since i is bounded, we obtain v i W 1,p 0 i ) and hence v i W 1,p 0 ). Since v i u in W 1,p ), we conclude that u W 1,p 0 ). This completes the proof Remark. It is known, [K, p. 74], that if is a Lipschitz-domain, then u W 1,p ) belongs to W 1,p 0 ) if and only if ux)/ distx, ) belongs to L p ). We show that the condition on can be considerably weakened. Let p>n, R n and u W 1,p ). Then by 3.2) and Theorem 3.13 u W 1,p 0 ) if and only if u satisfies Hardy s inequality with the exponent p. If 1 <p n and R n \ is uniformly p fat, then u W 1,p ) belongs to W 1,p 0 ) if and only if ux)/ distx, ) isinweakl p ).

12 500 JUHA KINNUNEN AND OLLI MARTIO References [A] A. Ancona, On strong barriers and an inequality of Hardy for domains in R n,j. London Math. Soc. 2) ), [BZ] T. Bagby and W. P. Ziemer, Pointwise differentiablity and absolute continuity, Trans. Amer. Math. Soc ), [BH] B. Bojarski and P. Haj lasz, Pointwise inequalities for Sobolev functions and some applications, Studia Math ), [EE] D. E. Edmunds and W. D. Evans, Spectral theory and differential operators, Oxford University Press, [EH] D. E. Edmunds and R. Hurri Syrjänen, Remarks on the Hardy inequality, J. Inequalities and Applications ), [Ha1] P. Haj lasz, Boundary behaviour of Sobolev mappings, Proc. Amer. Math. Soc ), [Ha2], Pointwise Hardy inequalities, To appear, Proc. Amer. Math. Soc.. [Ha3], Sobolev spaces on an arbitrary metric space, Potential Anal ), [HLP] G. H. Hardy, J. E. Littlewood, and G. Polya, Inequalities, 2nd Edition) Cambridge University Press, [He] L. I. Hedberg, On certain convolution inequalities, Proc. Amer. Math. Soc ), [HKM] J. Heinonen, T. Kilpeläinen, and O. Martio, Nonlinear potential theory of degenerate elliptic equations, Oxford University Press, [K] A. Kufner, Weighted Sobolev spaces, John Wiley & Sons, [KK] T. Kilpeläinen and P. Koskela, Global integrability of the gradient of solutions to partial differential equations, Nonlinear Analysis, TMA ), [Le1] J. L. Lewis, On very weak solutions of certain elliptic partial differential equations, Comm. Partial Differential Equations ), [Le2], Uniformly fat sets, Trans. Amer. Math. Soc ), [Mal] J. Malý, Hölder type quasicontinuity, Potential Anal ), [Maz] V. G. Maz ya, Sobolev spaces, Springer Verlag, [Mc] E. J. McShane, Extension of range of functions, Bull. Amer. Math. Soc ), [Mi] P. Mikkonen, On the Wolff potential and quasilinear elliptic equations involving measures, Ann. Acad. Sci. Fenn. Ser. A I Math. Dissertationes ), [Mo] C. B. Morrey, Multiple integrals in the calculus of variations, Springer Verlag, [OK] B. Opic, and A. Kufner, Hardy type inequalities, Pitman Research Notices in Mathematics, 219, Pitman, [S] E. M. Stein, Singular integrals and differentiability properties of functions, Princeton Unversity Press, [W1] A. Wannebo, Hardy inequalities, Proc. Amer. Math. Soc ), [W2], Hardy inequalities and imbeddings in domains generalizing C 0,α domains, Proc. Amer. Math. Soc ), [Z] W. P. Ziemer, Weakly differentiable functions, Springer Verlag, Dept. of Mathematics, P. O. Box 4, FIN University of Helsinki, Finland address: Juha.Kinnunen@Helsinki.Fi, Olli.Martio@Helsinki.Fi

THE HARDY LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION. Juha Kinnunen. 1 f(y) dy, B(x, r) B(x,r)

THE 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

NECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES

NECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES NECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES JUHA LEHRBÄCK Abstract. We establish necessary conditions for domains Ω R n which admit the pointwise (p, β)-hardy inequality u(x) Cd Ω(x)

More information

Hardy inequalities and thickness conditions

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

ON APPROXIMATE DIFFERENTIABILITY OF THE MAXIMAL FUNCTION

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

ON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES

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

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

ON APPROXIMATE DIFFERENTIABILITY OF THE MAXIMAL FUNCTION. 1. Introduction Juha Kinnunen [10] proved that the Hardy-Littlewood maximal function.

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

für Mathematik in den Naturwissenschaften Leipzig

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

CHARACTERIZATIONS FOR HARDY S INEQUALITY. 1. Introduction

CHARACTERIZATIONS FOR HARDY S INEQUALITY. 1. Introduction CHARACTERIZATIONS FOR HARDY S INEQUALITY JUHA KINNUNEN AND RIIKKA KORTE 1. Introduction We discuss necessary and sufficient conditions for validity of the following multidimensional version of Hardy s

More information

Nonlinear aspects of Calderón-Zygmund theory

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

HOMEOMORPHISMS OF BOUNDED VARIATION

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

STABILITY FOR DEGENERATE PARABOLIC EQUATIONS. 1. Introduction We consider stability of weak solutions to. div( u p 2 u) = u

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

PROPERTIES OF CAPACITIES IN VARIABLE EXPONENT SOBOLEV SPACES

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

J. 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: 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 information

JUHA KINNUNEN. Harmonic Analysis

JUHA KINNUNEN. Harmonic Analysis JUHA KINNUNEN Harmonic Analysis Department of Mathematics and Systems Analysis, Aalto University 27 Contents Calderón-Zygmund decomposition. Dyadic subcubes of a cube.........................2 Dyadic cubes

More information

MODULUS AND CONTINUOUS CAPACITY

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

ON A MAXIMAL OPERATOR IN REARRANGEMENT INVARIANT BANACH FUNCTION SPACES ON METRIC SPACES

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 information

LUSIN PROPERTIES AND INTERPOLATION OF SOBOLEV SPACES. Fon-Che Liu Wei-Shyan Tai. 1. Introduction and preliminaries

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

HIGHER INTEGRABILITY WITH WEIGHTS

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

CHARACTERIZATION OF ORLICZ-SOBOLEV SPACE

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

Continuity of weakly monotone Sobolev functions of variable exponent

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

SHARP INEQUALITIES FOR MAXIMAL FUNCTIONS ASSOCIATED WITH GENERAL MEASURES

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

More information

APPROXIMATION BY LIPSCHITZ FUNCTIONS IN ABSTRACT SOBOLEV SPACES ON METRIC SPACES

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

Growth estimates through scaling for quasilinear partial differential equations

Growth estimates through scaling for quasilinear partial differential equations Growth estimates through scaling for quasilinear partial differential equations Tero Kilpeläinen, Henrik Shahgholian, and Xiao Zhong March 5, 2007 Abstract In this note we use a scaling or blow up argument

More information

SHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction

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

More information

A NOTE ON ZERO SETS OF FRACTIONAL SOBOLEV FUNCTIONS WITH NEGATIVE POWER OF INTEGRABILITY. 1. Introduction

A NOTE ON ZERO SETS OF FRACTIONAL SOBOLEV FUNCTIONS WITH NEGATIVE POWER OF INTEGRABILITY. 1. Introduction A NOTE ON ZERO SETS OF FRACTIONAL SOBOLEV FUNCTIONS WITH NEGATIVE POWER OF INTEGRABILITY ARMIN SCHIKORRA Abstract. We extend a Poincaré-type inequality for functions with large zero-sets by Jiang and Lin

More information

SHARP L p WEIGHTED SOBOLEV INEQUALITIES

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

Mathematische Zeitschrift

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

POTENTIAL THEORY OF QUASIMINIMIZERS

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

1. Introduction. SOBOLEV INEQUALITIES WITH VARIABLE EXPONENT ATTAINING THE VALUES 1 AND n. Petteri Harjulehto and Peter Hästö.

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

CAPACITIES ON METRIC SPACES

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

Some Remarks About the Density of Smooth Functions in Weighted Sobolev Spaces

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

REGULARITY OF THE LOCAL FRACTIONAL MAXIMAL FUNCTION

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

Sobolev Spaces. Chapter Hölder spaces

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

ESTIMATES FOR MAXIMAL SINGULAR INTEGRALS

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

arxiv: v1 [math.ap] 27 May 2010

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

APPROXIMATE IDENTITIES AND YOUNG TYPE INEQUALITIES IN VARIABLE LEBESGUE ORLICZ SPACES L p( ) (log L) q( )

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

Sobolev Spaces. Chapter 10

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

SOBOLEV S INEQUALITY FOR RIESZ POTENTIALS OF FUNCTIONS IN NON-DOUBLING MORREY SPACES

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

Stability for parabolic quasiminimizers. Y. Fujishima, J. Habermann, J. Kinnunen and M. Masson

Stability for parabolic quasiminimizers. Y. Fujishima, J. Habermann, J. Kinnunen and M. Masson Stability for parabolic quasiminimizers Y. Fujishima, J. Habermann, J. Kinnunen and M. Masson REPORT No. 1, 213/214, fall ISSN 113-467X ISRN IML-R- -1-13/14- -SE+fall STABILITY FOR PARABOLIC QUASIMINIMIZERS

More information

Geometric implications of the Poincaré inequality

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

2 A Model, Harmonic Map, Problem

2 A Model, Harmonic Map, Problem ELLIPTIC SYSTEMS JOHN E. HUTCHINSON Department of Mathematics School of Mathematical Sciences, A.N.U. 1 Introduction Elliptic equations model the behaviour of scalar quantities u, such as temperature or

More information

GRAND SOBOLEV SPACES AND THEIR APPLICATIONS TO VARIATIONAL PROBLEMS

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

Local maximal operators on fractional Sobolev spaces

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

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

SOBOLEV-POINCARÉ INEQUALITIES FOR p < 1. Stephen M. Buckley and Pekka Koskela

SOBOLEV-POINCARÉ INEQUALITIES FOR p < 1. Stephen M. Buckley and Pekka Koskela SOBOLEV-POINCARÉ INEQUALITIES FOR p < 1 Stephen M Buckley and Pekka Koskela Abstract If is a John domain (or certain more general domains), and u satisfies a certain mild condition, we show that u W 1,1

More information

INTEGRABILITY OF SUPERHARMONIC FUNCTIONS IN A JOHN DOMAIN. Hiroaki Aikawa

INTEGRABILITY OF SUPERHARMONIC FUNCTIONS IN A JOHN DOMAIN. Hiroaki Aikawa INTEGRABILITY OF SUPERHARMONIC FUNCTIONS IN A OHN OMAIN Hiroaki Aikawa Abstract. The integrability of positive erharmonic functions on a bounded fat ohn domain is established. No exterior conditions are

More information

arxiv: v1 [math.mg] 25 May 2008

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

PERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS

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

Everywhere differentiability of infinity harmonic functions

Everywhere differentiability of infinity harmonic functions Everywhere differentiability of infinity harmonic functions Lawrence C. Evans and Charles K. Smart Department of Mathematics University of California, Berkeley Abstract We show that an infinity harmonic

More information

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

Variational eigenvalues of degenerate eigenvalue problems for the weighted p-laplacian

Variational eigenvalues of degenerate eigenvalue problems for the weighted p-laplacian Variational eigenvalues of degenerate eigenvalue problems for the weighted p-laplacian An Lê Mathematics Sciences Research Institute, 17 Gauss Way, Berkeley, California 94720 e-mail: anle@msri.org Klaus

More information

REMOVABLE SINGULARITIES FOR BOUNDED p-harmonic AND QUASI(SUPER)HARMONIC FUNCTIONS ON METRIC SPACES

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

Wavelets and modular inequalities in variable L p spaces

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

The role of Wolff potentials in the analysis of degenerate parabolic equations

The role of Wolff potentials in the analysis of degenerate parabolic equations The role of Wolff potentials in the analysis of degenerate parabolic equations September 19, 2011 Universidad Autonoma de Madrid Some elliptic background Part 1: Ellipticity The classical potential estimates

More information

Poincaré inequalities that fail

Poincaré inequalities that fail ي ۆ Poincaré inequalities that fail to constitute an open-ended condition Lukáš Malý Workshop on Geometric Measure Theory July 14, 2017 Poincaré inequalities Setting Let (X, d, µ) be a complete metric

More information

HARNACK S INEQUALITY FOR GENERAL SOLUTIONS WITH NONSTANDARD GROWTH

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

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

Lebesgue s Differentiation Theorem via Maximal Functions

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

ESTIMATES FOR THE MONGE-AMPERE EQUATION

ESTIMATES FOR THE MONGE-AMPERE EQUATION GLOBAL W 2,p ESTIMATES FOR THE MONGE-AMPERE EQUATION O. SAVIN Abstract. We use a localization property of boundary sections for solutions to the Monge-Ampere equation obtain global W 2,p estimates under

More information

SELF-IMPROVEMENT OF UNIFORM FATNESS REVISITED

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

THE L 2 -HODGE THEORY AND REPRESENTATION ON R n

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

A Note on the Class of Superreflexive Almost Transitive Banach Spaces

A Note on the Class of Superreflexive Almost Transitive Banach Spaces E extracta mathematicae Vol. 23, Núm. 1, 1 6 (2008) A Note on the Class of Superreflexive Almost Transitive Banach Spaces Jarno Talponen University of Helsinki, Department of Mathematics and Statistics,

More information

Partial Differential Equations, 2nd Edition, L.C.Evans Chapter 5 Sobolev Spaces

Partial Differential Equations, 2nd Edition, L.C.Evans Chapter 5 Sobolev Spaces Partial Differential Equations, nd Edition, L.C.Evans Chapter 5 Sobolev Spaces Shih-Hsin Chen, Yung-Hsiang Huang 7.8.3 Abstract In these exercises always denote an open set of with smooth boundary. As

More information

JUHA KINNUNEN. Real Analysis

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

Pseudo-monotonicity and degenerate elliptic operators of second order

Pseudo-monotonicity and degenerate elliptic operators of second order 2002-Fez conference on Partial Differential Equations, Electronic Journal of Differential Equations, Conference 09, 2002, pp 9 24. http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu

More information

arxiv: v1 [math.ap] 28 Mar 2014

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

GIOVANNI COMI AND MONICA TORRES

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

np n p n, where P (E) denotes the

np n p n, where P (E) denotes the Mathematical Research Letters 1, 263 268 (1994) AN ISOPERIMETRIC INEQUALITY AND THE GEOMETRIC SOBOLEV EMBEDDING FOR VECTOR FIELDS Luca Capogna, Donatella Danielli, and Nicola Garofalo 1. Introduction The

More information

A Remark on the Regularity of Solutions of Maxwell s Equations on Lipschitz Domains

A Remark on the Regularity of Solutions of Maxwell s Equations on Lipschitz Domains A Remark on the Regularity of Solutions of Maxwell s Equations on Lipschitz Domains Martin Costabel Abstract Let u be a vector field on a bounded Lipschitz domain in R 3, and let u together with its divergence

More information

ON ORLICZ-SOBOLEV CAPACITIES

ON ORLICZ-SOBOLEV CAPACITIES ON ORLICZ-SOBOLEV CAPACITIES JANI JOENSUU Academic dissertation To be presented for public examination with the permission of the Faculty of Science of the University of Helsinki in S12 of the University

More information

On non negative solutions of some quasilinear elliptic inequalities

On non negative solutions of some quasilinear elliptic inequalities On non negative solutions of some quasilinear elliptic inequalities Lorenzo D Ambrosio and Enzo Mitidieri September 28 2006 Abstract Let f : R R be a continuous function. We prove that under some additional

More information

The Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:

The Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation: Oct. 1 The Dirichlet s P rinciple In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation: 1. Dirichlet s Principle. u = in, u = g on. ( 1 ) If we multiply

More information

CRITICAL POINT METHODS IN DEGENERATE ANISOTROPIC PROBLEMS WITH VARIABLE EXPONENT. We are interested in discussing the problem:

CRITICAL POINT METHODS IN DEGENERATE ANISOTROPIC PROBLEMS WITH VARIABLE EXPONENT. We are interested in discussing the problem: STUDIA UNIV. BABEŞ BOLYAI, MATHEMATICA, Volume LV, Number 4, December 2010 CRITICAL POINT METHODS IN DEGENERATE ANISOTROPIC PROBLEMS WITH VARIABLE EXPONENT MARIA-MAGDALENA BOUREANU Abstract. We work on

More information

Geometric intuition: from Hölder spaces to the Calderón-Zygmund estimate

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

Measure density and extendability of Sobolev functions

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

is a weak solution with the a ij,b i,c2 C 1 ( )

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

Sobolev spaces. May 18

Sobolev spaces. May 18 Sobolev spaces May 18 2015 1 Weak derivatives The purpose of these notes is to give a very basic introduction to Sobolev spaces. More extensive treatments can e.g. be found in the classical references

More information

Hong Rae Cho and Ern Gun Kwon. dv q

Hong Rae Cho and Ern Gun Kwon. dv q J Korean Math Soc 4 (23), No 3, pp 435 445 SOBOLEV-TYPE EMBEING THEOREMS FOR HARMONIC AN HOLOMORPHIC SOBOLEV SPACES Hong Rae Cho and Ern Gun Kwon Abstract In this paper we consider Sobolev-type embedding

More information

HARMONIC ANALYSIS. Date:

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

Yuqing Chen, Yeol Je Cho, and Li Yang

Yuqing Chen, Yeol Je Cho, and Li Yang Bull. Korean Math. Soc. 39 (2002), No. 4, pp. 535 541 NOTE ON THE RESULTS WITH LOWER SEMI-CONTINUITY Yuqing Chen, Yeol Je Cho, and Li Yang Abstract. In this paper, we introduce the concept of lower semicontinuous

More information

Universität des Saarlandes. Fachrichtung 6.1 Mathematik

Universität des Saarlandes. Fachrichtung 6.1 Mathematik Universität des Saarlandes U N I V E R S I T A S S A R A V I E N I S S Fachrichtung 6.1 Mathematik Preprint Nr. 225 Estimates of the second-order derivatives for solutions to the two-phase parabolic problem

More information

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

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

More information

A FIXED POINT THEOREM FOR GENERALIZED NONEXPANSIVE MULTIVALUED MAPPINGS

A FIXED POINT THEOREM FOR GENERALIZED NONEXPANSIVE MULTIVALUED MAPPINGS Fixed Point Theory, (0), No., 4-46 http://www.math.ubbcluj.ro/ nodeacj/sfptcj.html A FIXED POINT THEOREM FOR GENERALIZED NONEXPANSIVE MULTIVALUED MAPPINGS A. ABKAR AND M. ESLAMIAN Department of Mathematics,

More information

Herz (cf. [H], and also [BS]) proved that the reverse inequality is also true, that is,

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

ESTIMATES FOR ELLIPTIC HOMOGENIZATION PROBLEMS IN NONSMOOTH DOMAINS. Zhongwei Shen

ESTIMATES FOR ELLIPTIC HOMOGENIZATION PROBLEMS IN NONSMOOTH DOMAINS. Zhongwei Shen W,p ESTIMATES FOR ELLIPTIC HOMOGENIZATION PROBLEMS IN NONSMOOTH DOMAINS Zhongwei Shen Abstract. Let L = div`a` x, > be a family of second order elliptic operators with real, symmetric coefficients on a

More information

Chain Rule for planar bi Sobolev maps

Chain Rule for planar bi Sobolev maps Chain Rule for planar bi Sobolev maps Nota di L. D Onofrio, L. Migliaccio, C. Sbordone and R. Schiattarella Presentata dal socio Carlo Sbordone (Adunanza del 7 febbraio 2014) Abstract - For a planar bi

More information

To appear in the Journal of the European Mathematical Society VECTORIAL NONLINEAR POTENTIAL THEORY

To appear in the Journal of the European Mathematical Society VECTORIAL NONLINEAR POTENTIAL THEORY To appear in the Journal of the European Mathematical Society VECTORIAL NONLINEAR POTENTIAL THEORY TUOMO KUUSI AND GIUSEPPE MINGIONE Abstract. We settle the longstanding problem of establishing pointwise

More information

Propagation of Smallness and the Uniqueness of Solutions to Some Elliptic Equations in the Plane

Propagation of Smallness and the Uniqueness of Solutions to Some Elliptic Equations in the Plane Journal of Mathematical Analysis and Applications 267, 460 470 (2002) doi:10.1006/jmaa.2001.7769, available online at http://www.idealibrary.com on Propagation of Smallness and the Uniqueness of Solutions

More information

Erratum to Multipliers and Morrey spaces.

Erratum to Multipliers and Morrey spaces. Erratum to Multipliers Morrey spaces. Pierre Gilles Lemarié Rieusset Abstract We correct the complex interpolation results for Morrey spaces which is false for the first interpolation functor of Calderón,

More information

SOLUTION OF THE DIRICHLET PROBLEM WITH L p BOUNDARY CONDITION. Dagmar Medková

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

Measure and Integration: Solutions of CW2

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

602 P. Haj lasz and J. Kinnunen mates the given function in the Sobolev norm. This phenomenon was rst observed by Maly [Ma1] in the Euclidean case. Ma

602 P. Haj lasz and J. Kinnunen mates the given function in the Sobolev norm. This phenomenon was rst observed by Maly [Ma1] in the Euclidean case. Ma Revista Matematica Iberoamericana Vol. 14, N. o 3, 1998 Holder quasicontinuity of Sobolev functions on metric spaces Piotr Haj lasz and Juha Kinnunen Abstract. We prove that every Sobolev function dened

More information

M ath. Res. Lett. 16 (2009), no. 1, c International Press 2009

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

1 Cheeger differentiation

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

More information

Laplace s Equation. Chapter Mean Value Formulas

Laplace s Equation. Chapter Mean Value Formulas Chapter 1 Laplace s Equation Let be an open set in R n. A function u C 2 () is called harmonic in if it satisfies Laplace s equation n (1.1) u := D ii u = 0 in. i=1 A function u C 2 () is called subharmonic

More information

A CONNECTION BETWEEN A GENERAL CLASS OF SUPERPARABOLIC FUNCTIONS AND SUPERSOLUTIONS

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

The oblique derivative problem for general elliptic systems in Lipschitz domains

The oblique derivative problem for general elliptic systems in Lipschitz domains M. MITREA The oblique derivative problem for general elliptic systems in Lipschitz domains Let M be a smooth, oriented, connected, compact, boundaryless manifold of real dimension m, and let T M and T

More information

Multiple positive solutions for a class of quasilinear elliptic boundary-value problems

Multiple positive solutions for a class of quasilinear elliptic boundary-value problems Electronic Journal of Differential Equations, Vol. 20032003), No. 07, pp. 1 5. ISSN: 1072-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu login: ftp) Multiple positive

More information

Some aspects of vanishing properties of solutions to nonlinear elliptic equations

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