Journal of Function Spaces
Volume 2018 (2018), Article ID 6759632, 8 pages
https://doi.org/10.1155/2018/6759632

Research Article

A Note on the Regularity of the Two-Dimensional One-Sided Hardy-Littlewood Maximal Function

Feng Liu and Lei Xu

College of Mathematics and Systems Science, Shandong University of Science and Technology, Qingdao, Shandong 266590, China

Correspondence should be addressed to Feng Liu; liufeng860314@163.com

Received 12 June 2018; Accepted 19 July 2018; Published 5 August 2018

Academic Editor: Dashan Fan

Copyright © 2018 Feng Liu and Lei Xu. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

We investigate the regularity properties of the two-dimensional one-sided Hardy-Littlewood maximal operator. We point out that the above operator is bounded and continuous on the Sobolev spaces for and . More importantly, we establish the sharp boundedness and continuity for the discrete two-dimensional one-sided Hardy-Littlewood maximal operator from to . Here denotes the set of all functions of bounded variation on .

1. Introduction

The purpose of this paper is to present new results related to the regularity properties of the two-dimensional one-sided Hardy-Littlewood maximal operator, in both the continuous and discrete setting. We start with a recall of some recent developments on the general regularity theory of maximal operators. In 1997, Kinnunen [1] first studied the Sobolev regularity of the usual centered Hardy-Littlewood maximal function and showed that is bounded on the first-order Sobolev spaces for all (the same conclusion also holds for the uncentered version by a simple modification of Kinnunen’s arguments or [2, Theorem 1]). Later on, Kinnunen’s result was extended to a local version in [3], to a fractional version in [4] and to a multisublinear version in [5, 6] and to a one-sided version in [7]. Due to the lack of the sublinearity for the derivative of the maximal function, the continuity of for is certainly a nontrivial issue. This problem was addressed by Luiro [8] in the affirmative and was later extended to the local version in [9] and the multisublinear version in [5, 10].

Since the maximal operator is not of type , the -regularity for maximal operator is more delicate. A crucial question was posed by Hajłasz and Onninen in [2]: Is the operator bounded from to ? A complete solution was achieved only in dimension in [11–14] and partial progress on the general dimension was given by Hajłasz and Malý [15] and Luiro [16]. Tanaka [14] first observed that if , then is weakly differentiable and

Inequality (1) with the sharp constant was later proved by Liu et al. in [13]. An important improvement of Tanaka’s result was given by Aldaz and Pérez Lázaro [11] who proved that if is of bounded variation on , then is absolutely continuous and

Here denotes the total variation of . Notice that the constant in inequality (2) is sharp. Recently, inequality (2) was extended to a fractional setting in [17, Theorem 1] and to a multisublinear fractional setting in [18, Theorems 1.3-1.4]. In the centered setting, Kurka [12] showed that if is of bounded variation on , then inequality (2) holds for (with constant ). It was also shown in [12] that if , then is weakly differentiable and (1) holds for with constant . Very recently, Carneiro et al. [19] proved that the operator is continuous from to . It is currently unknown whether inequality (1) with also holds for and the map is also continuous from to . For other interesting works related to this theory, we refer the reader to consult [20, 21], among others.

In order to address the -regularity of the one-dimensional Hardy-Littlewood maximal function, Tanaka [14] first studied the -regularity of the one-sided Hardy-Littlewood maximal function

and proved that if , then the distributional derivative of is integrable, and

It is observed that is also absolutely continuous on by a combination of arguments in [13, 14]. We remark that maps into boundedly by similar arguments to those in [1, Remark (iii)]. Recently, Liu and Mao [7] proved the following result.

Theorem A (see [7]). Let . Then is bounded and continuous on .

In this paper we focus on the regularity of two-dimensional one-sided Hardy-Littlewood maximal operator. In 2011, Forzani et al. [22] first introduced and studied the weighted weak estimates for the two-dimensional one-sided Hardy-Littlewood maximal operator , which is defined by

where . It is not difficult to see that

This together with the bounds for implies that is of type for and of weak type . One can easily check that is a sublinear operator and commutes with translations. These facts together with Theorem 1 in [2] imply that maps boundedly with . On the other hand, by the arguments similar to those used in deriving [8, Theorem 4.1] we can obtain that maps continuously with . It was shown in [23, Lemma 2.2] that

for all . Here . Combining (7) with (6) yields

for all . On the other hand, one can easily check that

and

for arbitrary functions defined on . Here . By using (8)-(10) and the arguments similar to those used to derive [21, Theorems 1 and 3] we can obtain that is bounded and continuous on the inhomogeneous Triebel-Lizorkin spaces and the inhomogeneous Besov spaces for and . For other interesting works on this topic we refer the readers to consult [24–28]. We denote by the fractional Sobolev spaces defined by the Bessel potentials. Since for all and and , the above analyses lead to the following result.

Theorem 1. is bounded and continuous from to for all and .

Our main motivation of this paper is to investigate the regularity of the discrete version of , which is defined by

where and . Let us recall some pertinent definitions, notations, and background. For a discrete function and , we define its -norm by and -norm by . We also define the total variation of on by

where and . We denote by the set of functions of bounded variation defined on . We also denote by the set of functions of bounded variation defined on satisfying .

Recently, the investigation of the regularity properties of the discrete maximal operators has also attracted the attention of many authors. A good start was due to Bober et al. [29] in 2012 when they proved that

if , and

if . Here the operators and are the one-dimensional discrete centered and uncentered Hardy-Littlewood maximal operators, respectively, which are defined by

We notice that inequality (13) is sharp. Subsequently, Temur [30] proved (13) for (with constant ) following Kurka’s breakthrough [12]. Inequality (14) is not optimal, and it was asked in [29] whether the sharp constant for inequality (14) is in fact ; this question was resolved in the affirmative by Madrid in [31]. Later on, the above results were extended to a fractional case in [17, 32, 33], to a one-sided case in [7], and to a high dimensional case in [34]. For other interesting works we can consult [19, 20, 35–37]. In particular, Liu and Mao [7] investigated the regularity of the one-dimensional discrete one-sided Hardy-Littlewood maximal operator

and proved the following result.

Theorem B (see [7]). The operator is bounded and continuous from to . Moreover, if , then

and the constant is the best possible.

Based on the above, it is natural to ask whether is bounded and continuous, which can be addressed by the following.

Theorem 2. The operator is bounded and continuous from to . In particular, if , then

and the constant is the best possible one.

Remarks. (i) It should be pointed out that

To see this, let us consider the characteristic function . It is clear that and . One can easily check that . This together with Theorem 2 yields the claim.

(ii) The main results of this paper can be extended to the general dimension by using similar arguments.

The rest of this paper is organized as follows. In Section 2 we shall prove Theorem 2. We remark that the proof of the boundedness part in Theorem 2 is motivated by the method in [31], but our proof is simpler and more direct than that of [31]. The proof of the continuity part in Theorem 2 relies on the previous boundedness result and an useful application of the Brezis-Lieb lemma in [38]. Throughout this paper, the letter , sometimes with additional parameters, will stand for positive constants, not necessarily the same one at each occurrence but independent of the essential variables.

2. Proof of Theorem 2

In this section we shall prove Theorem 2. For convenience, for any and a discrete function , we define the average function by

We shall divide the proof of Theorem 2 into two steps.

Step 1 (the boundedness part). Let . Without loss of generality we may assume that since and . To prove (18), it suffices to show that

and

We only prove (21) since (22) is analogous. Fix , and let

Then (21) reduces to the following inequalities:

We now prove (24). Since , then for any and , there exists such that . It follows that

Note that, for any and , the following holds:

This together with (26) yields

which gives (24).
It remains to prove (25). We want to show that

This can be seen by the following:

since, for fixed , the following holds:

Combining (29) with (24) yields (25).

Step 2 (the continuity part). Let in as . Without loss of generality we may assume that , for all , and that since . It suffices to show that

since can be proved analogously.
We now prove (32). By the sublinearity of , we have

which implies that pointwise as and

for all . Applying (34) and the classical Brezis-Lieb lemma in [38], to get (32), it suffices to show that

By (34) and Fatou’s lemma we get

Thus, (35) reduces to the following:

By Step 1 we have . Therefore, given , there exists an integer such that

For the above , since in as , then there exists an integer such that

for all . By (34) again, there exists a positive integer such that

And (40) and (38) yield the following:

for all . Therefore, (37) reduces to the following:

Below we shall prove (42). Fix . We can write

We only estimate since is analogous. Fix with . We denote

Then we can write

Since , then for any with and , there exists such that . Then we can write

Observe that

which together with (46) and (38)-(39) yields the following:

We now estimate . Since , then, for any with and , there exists such that . Then we have

By similar arguments to those in deriving (48) we can obtain

On the other hand, we get from (38) and (39) that

It follows from (49)-(51) that

Combining (52) with (45) and (48) implies that

Similarly, we can get

Also (43) together with (53)-(54) yields (42) and completes the proof of Theorem 2.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Authors’ Contributions

The authors read and approved the final manuscript.

Acknowledgments

This work was partially supported by the NNSF of China (Grant no. 11701333) and Support Program for Outstanding Young Scientific and Technological Top-Notch Talents of College of Mathematics and Systems Science (Grant no. Sxy2016k01).

References

J. Kinnunen, “The Hardy-Littlewood maximal function of a Sobolev function,” Israel Journal of Mathematics, vol. 100, pp. 117–124, 1997.

P. Hajłasz and J. Onninen, “On boundedness of maximal functions in Sobolev spaces,” Annales Academiæ Scientiarum Fennicæ. Mathematica, vol. 29, no. 1, pp. 167–176, 2004.

J. Kinnunen and P. Lindqvist, “The derivative of the maximal function,” Journal für die Reine und Angewandte Mathematik. [Crelle's Journal], vol. 503, pp. 161–167, 1998.

J. Kinnunen and E. Saksman, “Regularity of the fractional maximal function,” Bulletin of the London Mathematical Society, vol. 35, no. 4, pp. 529–535, 2003.

E. Carneiro and D. Moreira, “On the regularity of maximal operators,” Proceedings of the American Mathematical Society, vol. 136, no. 12, pp. 4395–4404, 2008.

F. Liu and H. Wu, “On the regularity of the multisublinear maximal functions,” Canadian Mathematical Bulletin. Bulletin Canadien de Mathématiques, vol. 58, no. 4, pp. 808–817, 2015.

F. Liu and S. Mao, “On the regularity of the one-sided Hardy-Littlewood maximal functions,” Czechoslovak Mathematical Journal, vol. 67(142), no. 1, pp. 219–234, 2017.

H. Luiro, “Continuity of the maximal operator in Sobolev spaces,” Proceedings of the American Mathematical Society, vol. 135, no. 1, pp. 243–251, 2007.

H. Luiro, “On the regularity of the Hardy-Littlewood maximal operator on subdomains of Rn,” Proceedings of the Edinburgh Mathematical Society, vol. 53, no. 1, pp. 211–237, 2010.

F. Liu, “Continuity and approximate differentiability of multisublinear fractional maximal functions,” Mathematical Inequalities & Applications, vol. 21, no. 1, pp. 25–40, 2018.

J. M. Aldaz and J. P. Lázaro, “Functions of bounded variation, the derivative of the one dimensional maximal function, and applications to inequalities,” Transactions of the American Mathematical Society, vol. 359, no. 5, pp. 2443–2461, 2007.

O. Kurka, “On the variation of the Hardy-Littlewood maximal function,” Annales Academiæ Scientiarum Fennicæ. Mathematica, vol. 40, no. 1, pp. 109–133, 2015.

F. Liu, T. Chen, and H. Wu, “A note on the endpoint regularity of the Hardy-Littlewood maximal functions,” Bulletin of the Australian Mathematical Society, vol. 94, no. 1, pp. 121–130, 2016.

H. Tanaka, “A remark on the derivative of the one-dimensional Hardy-Littlewood maximal function,” Bulletin of the Australian Mathematical Society, vol. 65, no. 2, pp. 253–258, 2002.

P. Hajłasz and J. Malý, “On approximate differentiability of the maximal function,” Proceedings of the American Mathematical Society, vol. 138, no. 1, pp. 165–174, 2010.

H. Luiro, “The variation of the maximal function of a radial function,” Arkiv för Matematik, vol. 56, no. 1, pp. 147–161, 2018.

E. Carneiro and J. Madrid, “Derivative bounds for fractional maximal functions,” Transactions of the American Mathematical Society, vol. 369, no. 6, pp. 4063–4092, 2017.

F. Liu and H. Wu, “Endpoint regularity of multisublinear fractional maximal functions,” Canadian Mathematical Bulletin. Bulletin Canadien de Mathématiques, vol. 60, no. 3, pp. 586–603, 2017.

E. Carneiro, J. Madrid, and L. B. Pierce, “Endpoint Sobolev and BV continuity for maximal operators,” Journal of Functional Analysis, vol. 273, no. 10, pp. 3262–3294, 2017.

E. Carneiro and B. F. Svaiter, “On the variation of maximal operators of convolution type,” Journal of Functional Analysis, vol. 265, no. 5, pp. 837–865, 2013.

F. Liu and H. Wu, “On the regularity of maximal operators supported by submanifolds,” Journal of Mathematical Analysis and Applications, vol. 453, no. 1, pp. 144–158, 2017.

L. Forzani, F. J. Martn-Reyes, and S. Ombrosi, “Weighted inequalities for the two-dimensional one-sided Hardy-Littlewood maximal function,” Transactions of the American Mathematical Society, vol. 363, no. 4, pp. 1699–1719, 2011.

K. Yabuta, “Triebel-Lizorkin space boundedness of Marcinkiewicz integrals associated to surfaces,” Applied Mathematics-A Journal of Chinese Universities, vol. 30, no. 4, pp. 418–446, 2015.

F. Liu, Q. Xue, and K. Yabuta, “Rough maximal singular integral and maximal operators supported by subvarieties on Triebel-Lizorkin spaces,” Nonlinear Analysis. Theory, Methods & Applications. An International Multidisciplinary Journal, vol. 171, pp. 41–72, 2018.

J. Wang, H. Cheng, Y. Li, and X. Zhang, “The geometrical analysis of a predator-prey model with multi-state dependent impulsive,” Journal of Applied Analysis and Computation, vol. 8, no. 2, pp. 427–442, 2018.

F. Wang, B. Chen, C. Lin, J. Zhang, and X. Meng, “Adaptive neural network finite-time output feedback control of quantized nonlinear systems,” IEEE Transactions on Cybernetics, vol. 48, no. 6, pp. 1839–1848, 2018.

X. Li and Q. Zhao, “A new integrable symplectic map by the binary nonlinearization to the super AKNS system,” Journal of Geometry and Physics, vol. 121, pp. 123–137, 2017.

Q. Zhao and X. Li, “A Bargmann system and the involutive solutions associated with a new 4-order lattice hierarchy,” Analysis and Mathematical Physics, vol. 6, no. 3, pp. 237–254, 2016.

J. Bober, E. Carneiro, K. Hughes, and L. B. Pierce, “On a discrete version of Tanaka's theorem for maximal functions,” Proceedings of the American Mathematical Society, vol. 140, no. 5, pp. 1669–1680, 2012.

F. Temur, “On regularity of the discrete Hardy-Littlewood maximal function,” http://arxiv.org/abs/1303.3993.

J. Madrid, “Sharp inequalities for the variation of the discrete maximal function,” Bulletin of the Australian Mathematical Society, vol. 95, no. 1, pp. 94–107, 2017.

F. Liu, “A remark on the regularity of the discrete maximal operator,” Bulletin of the Australian Mathematical Society, vol. 95, no. 1, pp. 108–120, 2017.

F. Liu and H. Wu, “A note on the endpoint regularity of the discrete maximal operator,” Proceedings of the American Mathematical Society, p. 1.

E. Carneiro and K. Hughes, “On the endpoint regularity of discrete maximal operators,” Mathematical Research Letters, vol. 19, no. 6, pp. 1245–1262, 2012.

F. Liu and H. Wu, “Regularity of discrete multisublinear fractional maximal functions,” Science China Mathematics, vol. 60, no. 8, pp. 1461–1476, 2017.

Q. Song, X. Dong, Z. Bai, and B. Chen, “Existence for fractional Dirichlet boundary value problem under barrier strip conditions,” Journal of Nonlinear Sciences and Applications. JNSA, vol. 10, no. 7, pp. 3592–3598, 2017.

Z. Bai, Y. Chen, H. Lian, and S. Sun, “On the existence of blow up solutions for a class of fractional differential equations,” Fractional Calculus and Applied Analysis, vol. 17, no. 4, pp. 1175–1187, 2014.

H. Brézis and E. Lieb, “A relation between pointwise convergence of functions and convergence of functionals,” Proceedings of the American Mathematical Society, vol. 88, no. 3, pp. 486–490, 1983.