## Are you sure?

This action might not be possible to undo. Are you sure you want to continue?

100 (1997), 117–124

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 1,p (Rn ) for 1 < 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.

**1. Introduction. The Hardy–Littlewood maximal function Mf : Rn → [0, ∞] of a locally integrable function f : Rn → [−∞, ∞] is deﬁned by (1.1) Mf (x) = sup 1 |B(x, r)| |f (y)| dy,
**

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 diﬀerential equations, see [1] and [4]. The celebrated theorem of Hardy, Littlewood and Wiener asserts that the maximal operator is bounded in Lp (Rn ) for 1 < p ≤ ∞, (1.2) Mf

p

≤ Ap f

p,

where the constant Ap depends only on p and n, see [5, Theorem I.1]. This theorem is one of the cornerstones of harmonic analysis but the applications to Sobolev functions and to partial diﬀerential equations indicate that it would also be useful to know how the maximal operator preserves the diﬀerentiability 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 diﬀerentiable almost everywhere. Unfortunately, the maximal function of a diﬀerentiable function is not diﬀerentiable in general. The reason for this is twofold. First, the modulus of a diﬀerentiable function is not diﬀerentiable and, even though the function would not change signs, the supremum of diﬀerentiable functions may fail to be diﬀerentiable. The purpose of this note is to show that, however, certain weak diﬀerentiability properties are preserved under the maximal operator. Our main theorem is that the Hardy–Littlewood maximal operator is bounded in the Sobolev space W 1,p (Rn ) for 1 < p ≤ ∞ and hence, in that case, it has classical partial derivatives almost everywhere. The corresponding result for p = 1 fails because then we don’t have the Hardy–Littlewood–Wiener theorem available.

1991 Mathematics Subject Classiﬁcation. 42B25, 46E35, 31B15. Key words and phrases. Maximal function, Sobolev spaces, capacity. Typeset by AMS-TEX 1

. . If χB(0. Now |u| ∗ χr ∈ W 1. Chapter 7]. r)| then 1 |B(x.p (Rn ) [3. .r) is the characteristic function of B(0. almost everywhere. almost everywhere in Rn . then Mu ∈ W 1. 2. n. . . be an enumeration of positive rationals. . 2. r)| |u(y)| dy = |u| ∗ χr (x). . i = 1. Since u is locally integrable.3) u 1. We endow W 1. D2 u. . that the Sobolev space W 1. . . .p (Rn ). Let 1 < p < ∞.4. .p = u p + Du p . Thus n n Dvk p ≤ i=1 Di vk p ≤ i=1 MDi u p . .4. . . n.p (Rn ).p (Rn ) and Di (|u| ∗ χr ) = χr ∗ Di |u|. k = 1. Theorem. . almost everywhere in Rn . 1 ≤ p ≤ ∞ consists of functions u ∈ Lp (Rn ). 2. . 2. 2. Let rj . . Here we also used the fact that Di |u| = |Di u|. . . n. .6] which converges to Mu pointwise and |Di vk | ≤ max Di (|u| ∗ χrj ) (2. n. For the basic properties of Sobolev functions we refer to [3. by vk (x) = max (|u| ∗ χrj )(x). .p (Rn ) with the norm (1. n. Lemma 7. i = 1. . j We deﬁne functions vk : Rn → R. where Du = (D1 u. If u ∈ W 1. 2. . Dn u) is the weak gradient of u.1) to the positive rational radii. |B(0. r) and χB(0.2 JUHA KINNUNEN Recall. i = 1.1) 1≤j≤k 1≤j≤k = max χrj ∗ Di |u| ≤ MDi |u| = MDi u. . .p (Rn ) and (1. .5) Di Mu ≤ MDi u. 2. belong to Lp (Rn ). . i = 1. .r) χr = . 1. 1≤j≤k Now (vk ) is an increasing sequence of functions in W 1. i = 1. The proof of Theorem 1. Hence Mu(x) = sup(|u| ∗ χrj )(x). 2. B(x. Now we are ready to formulate our main result.r) where ∗ denotes the convolution. . whose ﬁrst weak partial derivatives Di u. . . we may restrict ourselves in deﬁnition (1. almost everywhere in Rn . j = 1.

3) fh : Rn → [−∞. vk converges to Mu weakly in Lp (Rn ) and Di vk converges to Di Mu weakly in Lp (Rn ). Lemma 7. we denote (2.4) |DMu(x)| ≤ M|Du|(x) almost every x ∈ Rn . . n. let x ∈ Rn . 2. whenever u belongs to W 1. 2. If f : Rn → [−∞. Now Dh u = Du · h for every h ∈ Rn with |h| = 1.p (Rn ). 7. 2.p ≤ Mu p+ i=1 MDi u n p ≤ Ap u p + Ap i=1 Di u p ≤c<∞ for every k = 1. 1 < p < ∞. Unfortunately.1).p . this argument does not seem to give the pointwise inequality (1. from which the claim follows using [3. .p (Rn ) by integrated diﬀerence quotients. (i) If we only want to prove that that Mu ∈ W 1. (ii) Inequality (1. see [3. . . Remarks.p (Rn ). ∞] and h ∈ Rn . . fh (x) = f (x + h). Now we may use the Hardy–Littlewood–Wiener theorem together with (2.p (Rn ) which converges to Mu pointwise.2. The weak compactness of Sobolev spaces implies Mu ∈ W 1. . we get |DMu(x)| = |Dh Mu(x)| ≤ MDh u(x) ≤ M|Du|(x). there is a simple proof based on the characterization of W 1. .4) and obtain Mu 1. h = 0. Hence we may assume that |DMu(x)| = 0.5) implies (2.11]. where Dh denotes the derivative to the direction h. Hence (vk ) is a bounded sequence in W 1. We choose h = DMu(x)/|DMu(x)| and rotate the coordinates so that h coincides with some of the coordinate directions. then the claim is obvious. To see this. almost everywhere in Rn .THE HARDY–LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION 3 and the Hardy–Littlewood–Wiener inequality (1. . The sublinearity of the maximal operator implies |M(uh ) − Mu| ≤ M(uh − u) and hence (Mu)h − Mu p = M(uh ) − Mu ≤ Ap uh − u p p ≤ M(uh − u) p ≤ Ap Du p |h|. i = 1. Since |Di vk | ≤ MDi u almost everywhere by (2.2) implies n vk 1. ∞]. the weak convergence implies |Di Mu| ≤ MDi u.5) for the partial derivatives.p = Mu p + DMu p ≤ Ap u p + M|Du| p ≤ Ap u 1.p (Rn ). If |DMu(x)| = 0.24].

The standard proof depends on some extension properties of Sobolev functions. If A(E) = ∅. there is a simple proof of the fact that the maximal function maps bounded Lipschitz continuous functions into themselves. but we shall use it to prove that the Hardy– Littlewood maximal function of a Sobolev function is quasicontinuous. Then Eλ is open and Mu/λ is admissible for Eλ . r)| B(x. o (iv) Finally we remark that our method applies to other maximal and maximal singular integral operators as well. If we are not interested in pointwise estimates. we set Cp (E) = ∞.r) which means that the maximal function is Lipschitz continuous with constant L.2). that this proof applies to H¨lder continuous functions as well. The Sobolev p-capacity of the set E ⊂ Rn is deﬁned by Cp (E) = where A(E) = u ∈ W 1.p λ This inequality can be used in studying the pointwise behaviour of Sobolev functions by the standard methods.∞ . Let 1 < p < ∞.∞ (Rn ) is bounded and Lipschitz continuous. Moreover. The Sobolev p-capacity is a monotone and a countably subadditive set function [2]. The same argument as in (i) shows that |(Mu)h (x) − Mu(x)| = |M(uh )(x) − Mu(x)| ≤ M(uh − u)(x) 1 = sup |uh (y) − u(y)| dy ≤ L|h|.∞ (Rn ). suppose that λ > 0 and denote Eλ = {x ∈ Rn : Mu(x) > λ}.3). Indeed. 3. r>0 |B(x. Observe.1) |u|p + |Du|p dx ≤ p λ Rn Ap p ≤ p u p . Cp Eλ ≤ inf u∈A(E) Rn |u|p + |Du|p dx. see [2]. Using (2. then a slight modiﬁcation of our proof shows that Mu belongs to W 1.p (Rn ). Recall. We show that a weak type inequality for the Sobolev capacity follows immediately from our Theorem 1. that is |uh (x) − u(x)| ≤ L|h| for every x.4 JUHA KINNUNEN where Ap is the constant in (1. h ∈ Rn where uh is deﬁned by (2.∞ = Mu ∞ + DMu ∞ ≤ u ∞ + M|Du| ∞ ≤ u 1. see [2].p (Rn ) : u ≥ 1 on a neighbourhood of E .4. 1. Let u ∈ W 1.4) we get 1 |Mu|p + |DMu|p dx λp Rn Ap p (3. A capacity inequality. that after a redeﬁnition on a set of measure zero u ∈ W 1. . Mu 1. (iii) If u ∈ W 1.∞ (Rn ). suppose that u is Lipschitz continuous with constant L.

then Mu ∈ C(Rn ) ∩ Lp (Rn ). Moreover. Indeed. Thus M(uh − u)(x) ≤ ε for |h| < δ and |(Mu)h (x) − Mu(x)| ≤ M(uh − u)(x) ≤ ε whenever |h| < δ. To be more precise. Suppose then that u ∈ W 1. i = 1. then there is rε < ∞ such that 1 |B(x. if 0 < r ≤ rε . r)| |uh (y) − u(y)| dy ≤ sup |uh − u| < ε B(x. 1 < p < ∞. We begin with showing that if u ∈ C(Rn ) ∩ Lp (Rn ). Proof. such that ϕi − u p 1.THE HARDY–LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION 5 4. .r) 1 |B(x.p (Rn ). It is well known that each Sobolev function has a quasicontinuous representative.1. If u ∈ W 1. h ∈ Rn and ε > 0.p (Rn ) and let (ϕi ) be a sequence of functions ϕi ∈ ∞ C0 (Rn ).e. r)| |uh (y) − u(y)| dy ≤ B(x. r)|p |B(x. This shows that Mu is continuous at x.e. this representative is unique in the following sense: If v and w are p-quasicontinuous and v = w a. r)|p whenever r > rε . see [2]. First we recall some terminology. which is denoted by (ϕi ). By the weak type inequality (3. 2. p 1.p (Rn ). for each u ∈ W 1.. i = 1.p If Fj = ∞ i=j Ei . We choose a subsequence. Moreover.r) B(x.1) we get Cp (Ei ) ≤ 2ip Ap ϕi − u p ≤ 2−ip . then there is δ > 0 such that 1 |B(x.p < (4i Ap )−p . Quasicontinuity. 4. r)| |uh (y) − u(y)|p dy B(x. Set Ei = {x ∈ Rn \ F : M(ϕi − u)(x) > 2−i }. . then by subadditivity ∞ Cp (Fj ) ≤ i=j 2−ip < ∞ and hence limj→∞ Cp (Fj ) = 0. . in Rn . A function u is p -quasicontinuous in Rn if for every ε > 0 there is a set F such that Cp (F ) < ε and the restriction of u to Rn \F is continuous and ﬁnite.p (Rn ) such that v = u a. . On the other hand. then w = u p-quasieverywhere in Rn . . Theorem. for x ∈ Rn \ Fj we have |Mϕi (x) − Mu(x)| ≤ M(ϕi − u)(x) ≤ 2−i .p (Rn ) there is a p-quasicontinuous function v ∈ W 1. if x. A property holds pquasieverywhere if it holds outside a set of the Sobolev p-capacity zero. 2. then Mu is p-quasicontinuous. Then using inequality (3.1) there is a set F with Cp (F ) = 0 so that Mu is ﬁnite in Rn \ F .rε ) whenever |h| < δ. . so that ϕi → u in W 1.r) 1/p ≤ uh − u p 2 u p ≤ <ε |B(x. .

. Acknowledgements. Gilbarg.17] it is H¨lder continuous.Kinnunen@ Helsinki.. References 1. FIN-00014 University of Helsinki. D. 106 (1) (1993). 3. Singular Integrals and Diﬀerentiability Properties of Functions. W. and Hajlasz. Bojarski. Federer. On very weak solutions of certain elliptic systems. 22 (1972). Theorem 7. J. 77–92. This implies that Mu is p-quasicontinuous. then every non-empty set has a positive p−capacity and hence the maximal function of a function u ∈ W 1. Berlin. Math. 4.. If p > n.M. Finland E-mail address: Juha. which shows that the convergence is uniform in Rn \ Fj .S. E.Box 4. The Lebesgue set of a function whose distribution derivatives are p-th power summable. P. J. the maximal function is Lipschitz continuous. Springer–Verlag. and Ziemer. and Trudinger. P. Stein. As a uniform limit of continuous functions Mu is continuous in Rn \ Fj .Fi . 4. 1970.2. Comm. Indiana Univ.L. B. by the Sobolev imbedding theorem [3. Remark. 1983. In fact. 139–158. The author would like to thank Professor Peter Lindqvist and Professor Olli Martio for inspiring discussions. Elliptic Partial Diﬀerential Equations of Second Order (2nd edn). 5.. H. o |(Mu)h (x) − Mu(x)| ≤ c|h|1−n/p for every x.O.6 JUHA KINNUNEN whenever i ≥ j. h ∈ Rn . Partial Diﬀerential Equations 18(9&10) (1993). Princeton University Press.p (Rn ) is continuous. Department of Mathematics. N. 1515–1537. Studia Math.. Pointwise inequalities for Sobolev functions and some applications. If p = ∞. Lewis. 2.

- December Final Exam Schedule
- 1-s2.0-S0898122111011102-main
- Fuzzy Weakly Semi Continuous Functions
- Calculus
- continuity.pdf
- bulletin_imvi_4_1_2014_157_164
- The Alexandrov-Urysohn Compactness On Single Valued Neutrosophic S∗Centered Systems
- Introduction to Convex Optimization
- topology
- 2011_AlvAmaGriStr_MMOR
- Corso0 Peru
- Mid-Term Test
- The Mathematics of Juggling_Ed Carstens
- Untitled
- Theoretical Calculus by Clark 1972 Lite
- Calculus 3
- Atm Notes
- Kisela Thesis
- Completeness in Real Potential Theory
- AP Calculus Ab Course Overview
- Numeric Hw1 Report
- Objective Ch 6 FSC Part1
- Integration Using Algebraic Solution
- Solid of Revolution
- Calculator Technique for Solving Volume Flow Rate Problems in Calculus
- Httpen.wikipedia.orgwikiIntegration
- Additional Instructions - Assignment #10 - Chapter 22 and 23
- Lecture Notes 0913
- National Science Foundation

Sign up to vote on this title

UsefulNot usefulClose Dialog## Are you sure?

This action might not be possible to undo. Are you sure you want to continue?

Loading