Skip to main content

Advertisement

Endpoint regularity of discrete multilinear fractional nontangential maximal functions

Article metrics

  • 90 Accesses

Abstract

Given \(m\geq 1\), \(0\leq \lambda \leq 1\), and a discrete vector-valued function \(\vec{f}=(f_{1},\ldots,f_{m})\) with each \(f_{j}:\mathbb{Z} ^{d}\rightarrow \mathbb{R}\), we consider the discrete multilinear fractional nontangential maximal operator

$$ \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }(\vec{f}) (\vec{n})=\mathop{\sup_{r>0, \vec{x}\in \mathbb{R}^{d}}}_{ \vert \vec{n}-\vec{x} \vert \leq \lambda r}\frac{1}{N(B _{r}(\vec{x}))^{m-\frac{\alpha }{d}}} \prod _{j=1}^{m}\sum_{\vec{k}\in B_{r}(\vec{x})\cap \mathbb{Z}^{d}} \bigl\vert f_{j}(\vec{k}) \bigr\vert , $$

where \(\mathcal{B}\) is the collection of all open balls \(B\subset \mathbb{R}^{d}\), \(B_{r}(\vec{x})\) is the open ball in \(\mathbb{R}^{d}\) centered at \(\vec{x}\in \mathbb{R}^{d}\) with radius r, and \(N(B_{r}(\vec{x}))\) is the number of lattice points in the set \(B_{r}(\vec{x})\). We show that the operator \(\vec{f}\mapsto |\nabla \mathrm{M}_{\alpha, \mathcal{B}}^{\lambda }(\vec{f})|\) is bounded and continuous from \(\ell ^{1}(\mathbb{Z}^{d})\times \ell ^{1}(\mathbb{Z} ^{d})\times \cdots \times \ell ^{1}(\mathbb{Z}^{d})\) to \(\ell ^{q}(\mathbb{Z} ^{d})\) if \(0\leq \alpha < md\) and \(q\geq 1\) such that \(q>\frac{d}{md- \alpha +1}\). We also prove that the same result also holds for the discrete multilinear fractional nontangential maximal operators associated with cubes. These results we obtained represent significant and natural extensions of what was known previously.

Introduction

The regularity theory of maximal operators has been the subject of many recent articles in harmonic analysis. The first work was due to Kinnunen [12] who observed that the centered Hardy–Littlewood maximal operator \(\mathcal{M}\) is bounded on the first order Sobolev space \(W^{1,p}(\mathbb{R}^{d})\) for \(1< p\leq \infty \). Since then, the regularity properties of the various kinds of maximal operators have been studied by many authors. See [8, 11, 13,14,15,16, 19, 20, 24, 25, 28, 30, 31] for example. Since \(\mathcal{M}:L^{1}(\mathbb{R}^{d}) \rightarrow L^{1}(\mathbb{R} ^{d})\) is not bounded, the endpoint regularity of maximal operators seems to be a deeper issue. A crucial question was posed by Hajłasz and Onninen in [11].

Problem 1.1

([11])

Is the operator \(f\mapsto |\nabla \mathcal{M}f|\) bounded from \(W^{1,1}(\mathbb{R}^{d})\) to \(L^{1}(\mathbb{R}^{d})\)?

In 2002, Tanaka [35] first proved that the uncentered Hardy–Littlewood maximal function \(\widetilde{\mathcal{M}}f\) is weakly differentiable and satisfies

$$ \bigl\Vert (\widetilde{\mathcal{M}}f)' \bigr\Vert _{L^{1}(\mathbb{R})}\leq 2 \bigl\Vert f' \bigr\Vert _{L ^{1}(\mathbb{R})} $$
(1)

if \(f\in W^{1,1}(\mathbb{R})\). Later on, Tanaka’s result was refined by Aldaz and Pérez Lázaro [1] who showed that if f is of bounded variation on \(\mathbb{R}\), then \(\widetilde{\mathcal{M}}f\) is absolutely continuous and

$$ \operatorname{Var} (\widetilde{\mathcal{M}}f )\leq \operatorname{Var}(f), $$
(2)

where \(\operatorname{Var}(f)\) denotes the total variation of f. The above result directly implies that

$$ \bigl\Vert (\widetilde{\mathcal{M}}f)' \bigr\Vert _{L^{1}(\mathbb{R})}\leq \bigl\Vert f' \bigr\Vert _{L^{1}( \mathbb{R})} $$
(3)

if \(f\in W^{1,1}(\mathbb{R})\) (see also [23] for a new proof). Notice that inequalities (2) and (3) are sharp. In the centered case, Kurka [17] showed that if f is of bounded variation on \(\mathbb{R}\), then

$$ \operatorname{Var}(\mathcal{M}f)\leq 240{,}004\operatorname{Var}(f). $$

It was also shown in [17] that if \(f\in W^{1,1} (\mathbb{R})\), then \(\mathcal{M}f\) is weakly differentiable and inequality (3) also holds for \(\mathcal{M}\) with constant \(C=240{,}004\). It is currently unknown whether inequalities (2) and (3) also hold for \(\mathcal{M}\). Recently, Carneiro and Madrid [7] extended inequalities (2) and (3) to a fractional setting. Very recently, we [26] extended the result of [7] to a multisublinear setting. Other interesting works related to this theory are [4, 9, 10, 22, 33].

On the other hand, the investigation of the regularity of discrete maximal operators has also attracted the attention of many authors (cf. [2, 5, 7, 18, 21, 24, 27, 29, 32, 36, 37]). Let us recall some definitions and background. For \(d\geq 1\) and \(\vec{n}=(n_{1},n_{2}, \ldots, n_{d})\in \mathbb{Z}^{d}\), we set \(|\vec{n}|=(\sum_{i=1}^{d} |n_{i}|^{2})^{1/2}\) and \(\|\vec{n}\|_{\infty }= \sup_{1\leq i\leq d}|n _{i}|\). For a discrete function \(f:\mathbb{Z}^{d}\rightarrow \mathbb{R}\) and \(1\leq p\leq \infty \), we define its \(\ell ^{p}( \mathbb{Z}^{d})\)-norm by \(\|f\|_{\ell ^{p}(\mathbb{Z}^{d})}=( \sum_{\vec{n}\in \mathbb{Z}^{d}}|f(\vec{n})|^{p})^{1/p}\) if \(1\leq p<\infty \) and \(\|f\|_{\ell ^{\infty }(\mathbb{Z}^{d})}= \sup_{\vec{n} \in \mathbb{Z}^{d}}|f(\vec{n})|\). Formally, define the discrete analogue of the Sobolev spaces by

$$ W^{1,p}\bigl(\mathbb{Z}^{d}\bigr):=\bigl\{ f: \mathbb{Z}^{d}\rightarrow \mathbb{R} \mid \Vert f \Vert _{1,p}= \Vert f \Vert _{\ell ^{p}(\mathbb{Z}^{d})}+ \Vert \nabla f \Vert _{\ell ^{p}(\mathbb{Z}^{d})}< \infty \bigr\} , $$

where f is the gradient of a discrete function f and is defined by

$$ \nabla f(\vec{n})=\bigl(D_{1} f(\vec{n}),D_{2}f( \vec{n}),\ldots,D_{d}f( \vec{n})\bigr), $$

and \(D_{l} f(\vec{n})\) is the partial derivative of f denoted by

$$ D_{l} f(\vec{n})=f(\vec{n}+\vec{e}_{l})-f(\vec{n}), $$

and \(\vec{e}_{l}=(0,\ldots,0,1,0,\ldots,0)\) is the canonical lth base vector, \(l=1,2,\ldots,d\). Observe that

$$ \Vert f \Vert _{\ell ^{p}(\mathbb{Z}^{d})}\leq \Vert f \Vert _{1,p}\leq (2d+1) \Vert f \Vert _{\ell ^{p}(\mathbb{Z}^{d})}\quad \forall 1\leq p \leq \infty. $$
(4)

It follows that

$$ W^{1,p}\bigl(\mathbb{Z}^{d}\bigr)=\ell ^{p}\bigl(\mathbb{R}^{d}\bigr) \quad\forall 1\leq p\leq \infty. $$
(5)

We denote by \(\mathrm{BV}(\mathbb{Z}^{d})\) the set of all functions of bounded variation defined on \(\mathbb{Z}^{d}\), where the total variation of \(f:\mathbb{Z}^{d}\rightarrow \mathbb{R}\) is defined by

$$ \operatorname{Var}(f)=\sum_{l=1}^{d} \Vert D_{l}f \Vert _{\ell ^{1}(\mathbb{Z} ^{d})}. $$

It is clear that

$$\begin{aligned} &\Vert \nabla f \Vert _{\ell ^{1}(\mathbb{Z}^{d})}\leq \operatorname{Var}(f)\leq d \Vert \nabla f \Vert _{\ell ^{1}(\mathbb{Z}^{d})}, \end{aligned}$$
(6)
$$\begin{aligned} &W^{1,1}\bigl(\mathbb{R}^{d}\bigr)=\ell ^{1}\bigl(\mathbb{Z}^{d}\bigr)\subsetneq {\mathrm{BV}} \bigl( \mathbb{Z}^{d}\bigr). \end{aligned}$$
(7)

Let \(m\geq 1\) and \(0\leq \alpha < md\). For a vector-valued function \(\vec{f}=(f_{1},\ldots,f_{m})\) with each \(f_{j}: \mathbb{Z}^{d} \rightarrow \mathbb{R}\) being a discrete function, we define the discrete centered m-sublinear fractional maximal operator \(\mathrm{M}_{\alpha }\) by

$$ \mathrm{M}_{\alpha }(\vec{f}) (\vec{n})=\sup_{r>0} \frac{1}{N(B _{r}(\vec{n}))^{m-\frac{\alpha }{d}}} \prod_{j=1}^{m}\sum _{\vec{k}\in B_{r}(\vec{n})\cap \mathbb{Z}^{d}} \bigl\vert f_{j}(\vec{k}) \bigr\vert , $$

where \(B_{r}(\vec{n})\) is the open ball in \(\mathbb{R}^{d}\) centered at n⃗ with radius r and \(N(B_{r}(\vec{n}))\) is the number of lattice points in the set \(B_{r}(\vec{n})\). The uncentered version of \(\mathrm{M}_{\alpha }\) is given by

$$ \widetilde{\mathrm{M}}_{\alpha }(\vec{f}) (\vec{n})=\sup _{r>0, \vec{n}\in B_{r}}\frac{1}{N(B_{r})^{m- \frac{\alpha }{d}}} \prod _{j=1}^{m}\sum_{\vec{k}\in B_{r}\cap \mathbb{Z}^{d}} \bigl\vert f_{j}(\vec{k}) \bigr\vert , $$

where the supremum is taken over all open balls \(B_{r}\) in \(\mathbb{R}^{d}\) containing the point n⃗ with radius r. When \(m=1\), the operator \(\mathrm{M}_{\alpha }\) (resp., \(\widetilde{\mathrm{M}}_{\alpha }\)) reduces to the discrete centered (resp., uncentered) fractional maximal operator \(M_{\alpha }\) (resp., \(\widetilde{M}_{\alpha }\)). Particularly, when \(\alpha =0\), the operator \(M_{\alpha }\) (resp., \(\widetilde{M}_{\alpha }\)) is just the discrete centered (resp., uncentered) Hardy–Littlewood maximal operator M (resp., ).

The study of the regularity properties of discrete maximal operators was initiated by Bober et al. [2] in 2012 when they observed that

$$ \operatorname{Var}(\widetilde{M}f)\leq \operatorname{Var}(f) $$
(8)

and

$$ \operatorname{Var}(Mf)\leq \biggl(2+\frac{146}{315} \biggr) \Vert f \Vert _{\ell ^{1}( \mathbb{Z})}. $$
(9)

It was noticed that inequality (8) is sharp and (9) is not sharp. Inequality (9) with the sharp constant \(C=2\) was proved by Madrid in [32] (see [32, Theorem 1]). It was known that inequality (8) for M was established by Temur in [36] (with constant \(C=294\text{,}912\text{,}004\)). It is unknown whether inequality (8) also holds for M. Recently, Carneiro and Madrid [7] and Liu [18] extended (8) and [32, Theorem 1] to the fractional setting, respectively. More recently, in the remarkable paper [6], Carneiro et al. established the \(\mathrm{BV}(\mathbb{Z})\)-continuity of the discrete centered and uncentered Hardy–Littlewood maximal operator. For general dimension \(d\geq 1\), Carneiro and Hughes [5] showed that both M and map \(\ell ^{1}(\mathbb{Z}^{d})\) into \(\mathrm{BV}(\mathbb{Z}^{d})\) boundedly and continuously. Recently, Carneiro and Madrid [7] extended the result of [5] to a fractional setting. Very recently, we [27] extended the result of [5] to a multisublinear fractional setting.

Let us recall the main result of [27], which can be stated as follows.

Theorem 1.2

([27])

Let \(0\leq \alpha <(m-1)d+1\). Then both \(\mathrm{M}_{\alpha }\) and \(\widetilde{\mathrm{M}}_{\alpha }\) map \(\ell ^{1}(\mathbb{Z}^{d})\times \ell ^{1}(\mathbb{Z}^{d}) \times \cdots \times \ell ^{1}(\mathbb{Z}^{d})\) into \(\mathrm{BV} (\mathbb{Z} ^{d})\) boundedly and continuously.

The aim of this paper is to investigate the endpoint regularity of the discrete multilinear fractional nontangential maximal operator associated with balls or cubes.

Definition 1.3

Let \(0\leq \alpha < md\) and \(0\leq \lambda \leq 1\). For a vector-valued function \(\vec{f}=(f_{1},\ldots,f_{m})\) with each \(f_{j}:\mathbb{Z} ^{d}\rightarrow \mathbb{R}\) being a discrete function, we define the discrete multilinear fractional nontangential maximal operator associated with balls \(\mathrm{M}_{\alpha, \mathcal{B}}^{\gamma }\) by

$$ \mathrm{M}_{\alpha,\mathcal{B}}^{\gamma }(\vec{f}) (\vec{n})=\mathop{\sup_{r>0, \vec{x}\in \mathbb{R}^{d}}}_{ \vert \vec{n}-\vec{x} \vert \leq \lambda r}\frac{1}{N(B _{r}(\vec{x}))^{m-\frac{\alpha }{d}}} \prod _{j=1}^{m}\sum_{\vec{k}\in B_{r}(\vec{x})\cap \mathbb{Z}^{d}} \bigl\vert f_{j}(\vec{k}) \bigr\vert , $$

where \(\mathcal{B}\) is the collection of all open balls \(B\subset \mathbb{R}^{d}\). The discrete multilinear fractional nontangential maximal operator associated with cubes \(\mathrm{M}_{\alpha, \mathcal{R}}^{\lambda }\) is defined by

$$ \mathrm{M}_{\alpha,\mathcal{R}}^{\lambda }(\vec{f}) (\vec{n})=\mathop{\sup_{r>0, \vec{x}\in \mathbb{R}^{d}}}_{ \Vert \vec{n}-\vec{x} \Vert _{\infty }\leq \lambda r, R_{r}(\vec{x})\in \mathcal{R}}\frac{1}{N(R _{r}(\vec{x}))^{m-\frac{\alpha }{d}}} \prod _{j=1}^{m}\sum_{\vec{k}\in R_{r}(\vec{x})\cap \mathbb{Z}^{d}} \bigl\vert f_{j}(\vec{k}) \bigr\vert , $$

where \(\mathcal{R}\) is the collection of all open cubes \(R\subset \mathbb{R}^{d}\) with sides parallel to the coordinate axes and \(R_{r}(\vec{x})\) is the open cube in \(\mathbb{R}^{d}\) centered at x⃗ with length of side 2r.

One can easily check that

$$\begin{aligned} &\mathrm{M}_{\alpha }(\vec{f}) (\vec{n})= \mathrm{M}_{\alpha, \mathcal{B}}^{0}(\vec{f}) (\vec{n})\leq \mathrm{M}_{\alpha, \mathcal{B}}^{\lambda }(\vec{f}) (\vec{n}) \leq \mathrm{M}_{\alpha, \mathcal{B}}^{1}(\vec{f}) (\vec{n})=\widetilde{ \mathrm{M}}_{\alpha }( \vec{f}) (\vec{n})\quad \forall \vec{n}\in \mathbb{Z}^{d}; \end{aligned}$$
(10)
$$\begin{aligned} &\mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }(\vec{f}) (\vec{n}) \sim _{\alpha,m,d,\lambda }\mathrm{M}_{\alpha,\mathcal{R}}^{\lambda }(\vec{f}) ( \vec{n}) \quad\forall \vec{n}\in \mathbb{Z}^{d}. \end{aligned}$$
(11)

By relationships (10)–(11) and the bounds for \(\widetilde{\mathrm{M}}_{\alpha }\), we obtain

$$ \bigl\Vert \mathrm{M}_{\alpha,\mathcal{R}}^{\lambda }( \vec{f}) \bigr\Vert _{\ell ^{q}( \mathbb{Z}^{d})}\lesssim _{\alpha,m,d,\lambda } \bigl\Vert \mathrm{M}_{\alpha, \mathcal{B}}^{\lambda }(\vec{f}) \bigr\Vert _{\ell ^{q}(\mathbb{Z}^{d})} \lesssim _{\alpha,m,d,p_{1},\ldots,p_{d},q}\prod_{j=1}^{m} \Vert f _{j} \Vert _{\ell ^{p_{j}}(\mathbb{Z}^{d})}, $$
(12)

if \(1< p_{i}\leq \infty \) \((i=1,\ldots,d)\), \(1\leq q\leq \infty \) for \(\alpha =0\), and \(1< p_{i}<\infty \) \((i=1, \ldots,d)\), \(1\leq q< \infty \) for \(0<\alpha <md\) and \(\frac{1}{q}\leq \frac{1}{p_{1}}+ \cdots +\frac{1}{p_{m}}- \frac{\alpha }{d}\). One can easily check that

$$ \bigl\vert \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{f}) (\vec{n})- \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }(\vec{g}) (\vec{n}) \bigr\vert \leq \sum_{j=1}^{m} \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{F}_{j}) (\vec{n})\quad \forall \vec{n}\in \mathbb{Z}^{d}, $$
(13)

where \(\vec{f}=(f_{1},\ldots,f_{m})\), \(\vec{g}=(g_{1}, \ldots,g_{m})\) and \(\vec{F}_{j}=(f_{1},\ldots,f_{j-1}, f_{j}-g_{j},g_{j+1},\ldots,g _{m})\). It follows from (4) and (12)–(13) that both \(\mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }\) and \(\mathrm{M} _{\alpha,\mathcal{R}}^{\lambda }\) are bounded and continuous from \(W^{1,p_{1}}(\mathbb{Z}^{d}) \times W^{1,p_{2}}(\mathbb{Z}^{d})\times \cdots \times W^{1,p_{m}}(\mathbb{Z}^{d})\rightarrow W^{1,q}( \mathbb{Z}^{d})\) provided that \(1< p_{i}\leq \infty \) \((i=1,\ldots,m)\), \(1\leq q\leq \infty \) for \(\alpha =0\), and \(1< p_{i}\leq \infty\ (i=1, \ldots,m)\), \(1\leq q<\infty \) for \(0<\alpha <md\), and \(\frac{1}{q} \leq \frac{1}{p_{1}} +\cdots +\frac{1}{p_{m}}-\frac{\alpha }{d}\). In addition, it is clear that both \(\mathrm{M}_{\alpha, \mathcal{B}} ^{\lambda }\) and \(\mathrm{M}_{\alpha, \mathcal{R}}^{\lambda }\) are not bounded from \(\ell ^{1} (\mathbb{Z}^{d})\times \ell ^{1}(\mathbb{Z}^{d}) \times \cdots \times \ell ^{1}(\mathbb{Z}^{d})\) to \(\ell ^{1}( \mathbb{Z}^{d})\).

Based on the above bounds for \(\mathrm{M}_{\alpha, \mathcal{B}}^{ \lambda }\) and \(\mathrm{M}_{\alpha, \mathcal{R}}^{\lambda }\), Theorem 1.2, (7), and (10)–(11), a question that arises naturally is the following.

Problem 1.4

Are both the operators \(\mathrm{M}_{\alpha, \mathcal{B}}^{\lambda }\) and \(\mathrm{M}_{\alpha, \mathcal{R}}^{\lambda }\) bounded and continuous from \(\ell ^{1}(\mathbb{Z}^{d})\times \ell ^{1}(\mathbb{Z} ^{d}) \times \cdots \times \ell ^{1}(\mathbb{Z}^{d})\) to \(\mathrm{BV}( \mathbb{Z}^{d})\)?

We would like to point out that Problem 1.4 seems to be affirmative and expected. However, we will present a positive answer to Problem 1.4 by the following more general conclusion.

Theorem 1.5

Let \(0\leq \alpha < md\), \(0\leq \lambda \leq 1\), and \(0\leq \beta \leq 1\). Let \(q\geq 1\) such that \(q>\frac{d}{md-\alpha +\beta }\). Then the operator \(\vec{f}\mapsto |\nabla \mathrm{M}_{\alpha, \mathcal{B}} ^{\lambda }(\vec{f})|\) is bounded and continuous from \(\ell ^{1}( \mathbb{Z}^{d})\times \ell ^{1} (\mathbb{Z}^{d})\times \cdots \times \ell ^{1}(\mathbb{Z}^{d})\) to \(\ell ^{q}(\mathbb{Z}^{d})\). Moreover,

$$ \bigl\Vert \nabla \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{f}) \bigr\Vert _{\ell ^{q}(\mathbb{Z}^{d})}\lesssim _{\alpha,m,d,q,\beta,\lambda }\sum _{\mu =1}^{m}\bigl( \Vert f_{\mu } \Vert _{\ell ^{1}(\mathbb{Z}^{d})}^{\beta } \Vert \nabla f_{\mu } \Vert _{\ell ^{1}(\mathbb{Z}^{d})}^{1-\beta }\bigr)\prod _{1\leq j\neq \mu \leq m} \Vert f_{j} \Vert _{\ell ^{1}(\mathbb{Z}^{d})} $$
(14)

for all \(\vec{f}=(f_{1},\ldots,f_{m})\) with each \(f_{j}\in \ell ^{1}( \mathbb{Z}^{d})\). The same results hold for the operator \(\mathrm{M} _{\alpha,\mathcal{R}}^{\lambda }\).

Remark 1.6

It should be pointed out that inequality (14) holds only if \(q\geq \frac{d}{md-\alpha +\beta }\). To see this, let l be an integer such that \(l\geq 8\sqrt{d}\). Taking \(f_{j}(\vec{n})= \chi _{\{|\vec{n}|\leq l\}}(\vec{n})\) for all \(1\leq j\leq m\), one can verify that \(\|f_{j}\|_{\ell ^{1}(\mathbb{Z}^{d})}\sim _{d} l^{d}\), \(\|\nabla f_{j}\|_{\ell ^{1}(\mathbb{Z}^{d})}\sim _{d} l^{d-1}\) and \(\|\nabla \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }(\vec{f}) \|_{ \ell ^{q}(\mathbb{Z}^{d})}\gtrsim _{d}l^{\frac{d}{q}+\alpha -1}\). It follows that

$$ \frac{ \Vert \nabla \mathrm{M}_{\alpha, \mathcal{B}}^{\lambda }(\vec{f}) \Vert _{\ell ^{q}(\mathbb{Z}^{d})}}{\sum_{\mu =1}^{m}( \Vert f_{\mu } \Vert _{\ell ^{1}(\mathbb{Z}^{d})}^{\beta } \Vert \nabla f_{\mu } \Vert _{\ell ^{1}( \mathbb{Z}^{d})}^{1-\beta })\prod_{1\leq j\neq \mu \leq m} \Vert f _{j} \Vert _{\ell ^{1}(\mathbb{Z}^{d})}}\gtrsim _{\alpha,m,d,\beta,q}l^{ \frac{d}{q}+\alpha -md-\beta }. $$

This yields our claim by letting \(l\rightarrow \infty \).

As several direct corollaries of Theorem 1.5, we obtain the following.

Corollary 1.7

Let \(m\geq 1\), \(0\leq \lambda \leq 1\), and \(0\leq \alpha < (m-1)d+1\). Then both \(\mathrm{M}_{\alpha, \mathcal{B}}^{\lambda }\) and \(\mathrm{M}_{\alpha,\mathcal{R}}^{\lambda }\) are bounded and continuous from \(\ell ^{1}(\mathbb{Z}^{d}) \times \ell ^{1}(\mathbb{Z}^{d})\times \cdots \times \ell ^{1} (\mathbb{Z}^{d})\) to \(\mathrm{BV}(\mathbb{Z} ^{d})\).

Corollary 1.8

Let \(m>1\), \(0\leq \lambda \leq 1\), and \(0\leq \alpha <(m-1)d\). Then both \(\mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }\) and \(\mathrm{M}_{\alpha ,\mathcal{R}}^{\lambda }\) are bounded from \(\mathrm{BV}(\mathbb{Z} ^{d})\times \ell ^{1}(\mathbb{Z}^{d})\times \cdots \times \ell ^{1} ( \mathbb{Z}^{d})\) to \(\mathrm{BV}(\mathbb{Z}^{d})\).

Remark 1.9

When \(\beta =1\) (resp., \(\beta =0\)) and \(0\leq \alpha < (m-1)d+1\) (resp., \(0\leq \alpha <(m-1)d\)), then \(\frac{d}{md-\alpha +\beta }<1\). Thus Theorem 1.5 yields Corollaries 1.7 and 1.8. On the other hand, Corollary 1.7 extends Theorem B, which corresponds to the case \(\lambda =0\) and \(\lambda =1\).

Remark 1.10

Our main results are new even in the special case \(m=1\) and \(\alpha =0\).

The paper is organized as follows. Section 2 contains some preliminary notation and a useful subtle summability lemma. The proof of Theorem 1.5 will be given in Sect. 3. We would like to remark that our arguments are motivated by [7], but our methods and techniques are more simple and direct than those of [7]. It is worth mentioning that there are three virtues: (i) In the previous papers [5, 7, 27], the authors established the endpoint regularities of the discrete maximal operator and its fractional version and multilinear fractional version by dealing with their centered case and uncentered case individually. Here, we give a uniform handling method of proving the regularity properties of discrete centered and uncentered maximal operators. (ii) In the precise papers [5, 7, 27], the proofs of the corresponding continuity results are highly dependent on the Brezis–Lieb lemma [3]. Moreover, the discrete versions of Luiro’s lemma (see [5, Lemmas 3–4] and [7, Lemmas 4–5] played key roles in the proofs of the corresponding continuity results in [5, 7]. However, these useful lemmas are unnecessary in our proofs. (iii) Although our main result greatly improves the main result of [27], our methods and techniques are more simple than those of [27].

Throughout this paper, if there exists a constant \(c>0\) depending only on ϑ such that \(A\leq cB\), we then write \(A \lesssim _{\vartheta }B\) or \(B\gtrsim _{\vartheta }A\); and if \(A\lesssim _{\vartheta }B \lesssim _{\vartheta }A\), we then write \(A\sim _{\vartheta }B\). In what follows, for a set \(E\subset \mathbb{R}^{d}\), we set \(E^{c}=\{x\in \mathbb{R}^{d};x\notin E\}\). We shall use the conventions \(\prod_{i\in \emptyset }a_{i}=1\) and \(\sum_{i\in \emptyset } a_{i}=0\).

Preliminaries

We start by presenting some preliminary notation. It was shown in [34] that

$$ c_{d}(r-\sqrt{d}/2)^{d}\leq N \bigl(B_{r}(\vec{n})\bigr)\leq c_{d}(r+ \sqrt{d}/2)^{d}\quad \forall \vec{n}\in \mathbb{Z}^{d} \text{ and } r>\sqrt{d}/2, $$
(15)

where \(c_{d}=\frac{2\pi ^{d/2}}{\varGamma (d/2)d}\). It is clear that

$$ \chi _{\{0< r\leq 1\}}(r)+\bigl(2[r-1]+1\bigr)^{d} \chi _{\{r>1\}}(r)\leq N\bigl(R_{r}( \vec{n})\bigr)\leq \bigl(2[r]+1\bigr)^{d} \quad\forall r>0 \text{ and } \vec{n}\in \mathbb{Z}^{d}. $$
(16)

Here \([x]=\{k\in \mathbb{Z};k\leq x\}\). Fix \(\vec{x} \in \mathbb{R} ^{d}\backslash \mathbb{Z}^{d}\), there exist two lattice points \(\vec{n_{1}}\in \mathbb{Z}^{d}\) and \(\vec{n_{2}}\in \mathbb{Z}^{d}\) such that \(|\vec{n_{1}}-\vec{x}| \leq \sqrt{d}/2\) and \(\|\vec{n_{2}}- \vec{x}\|_{\infty }\leq 1/2\) and

$$\begin{aligned} &B_{r-\sqrt{d}/2}(\vec{n_{1}})\subset B_{r}(\vec{x}) \subset B_{r+ \sqrt{d}/2}(\vec{n_{1}}) \quad\forall r>\sqrt{d}/2; \\ &R_{r-1/2}(\vec{n_{2}})\subset R_{r}(\vec{x}) \subset R_{r+1/2}( \vec{n_{2}}) \quad\forall r>1/2. \end{aligned}$$

Consequently,

$$\begin{aligned} &c_{d}(r-\sqrt{d})^{d}\leq N \bigl(B_{r}(\vec{x})\bigr)\leq c_{d}(r+ \sqrt{d})^{d} \quad\forall x\in \mathbb{R}^{d} \text{ and } r> \sqrt{d}; \end{aligned}$$
(17)
$$\begin{aligned} &\bigl(2[r-3/2]+1\bigr)^{d}\leq N \bigl(R_{r}(\vec{x})\bigr)\leq \bigl(2[r+1/2]+1\bigr)^{d}\quad \forall x\in \mathbb{R}^{d} \text{ and } r>3/2. \end{aligned}$$
(18)

It follows from (18) that

$$ 2^{d}(r-2)^{d}\leq N \bigl(R_{r}(\vec{x})\bigr)\leq 2^{d}(r+1)^{d}\quad \forall x\in \mathbb{R}^{d} \text{ and } r\geq 5/2. $$
(19)

Define the functions \(F(r)\) and \(G(r)\) on \((0,\infty )\) by

$$\begin{aligned} &F(r)=c_{d}(r-\sqrt{d})^{d}\chi _{\{r\geq 4\sqrt{d}\}}(r)+ \chi _{\{0< r< 4\sqrt{d}\}}(r); \\ &G(r)=2^{d}(r-2)^{d}\chi _{\{r\geq 4\}}(r)+\chi _{\{0< r< 4\}}(r). \end{aligned}$$

Observe from (17) and (19) that

$$ N\bigl(B_{r}(\vec{x})\bigr)\geq F(r)\quad \text{and}\quad N \bigl(R_{r}(\vec{x})\bigr)\geq G(r) \quad\forall \vec{x}\in \mathbb{R}^{d} \text{ and } r>0. $$
(20)

We can claim that

$$ N\bigl(B_{r+1}(\vec{x})\bigr)^{\gamma }-N \bigl(B_{r}(\vec{x})\bigr)^{\gamma } \lesssim _{\gamma,d}F(r)^{\gamma -1/d} \quad\forall r>0, \gamma \geq 1 \text{ and } \vec{x}\in \mathbb{R}^{d}. $$
(21)

To see this, fix \(\vec{x}\in \mathbb{R}^{d}\), when \(r\geq 4\sqrt{d}\), by (17) and the differential mean value theorem,

$$ N\bigl(B_{r+1}(\vec{x})\bigr)^{\gamma }-N \bigl(B_{r}(\vec{x})\bigr)^{\gamma }\leq c_{d} ^{\gamma }\bigl((r+1+\sqrt{d})^{\gamma d}-(r-\sqrt{d})^{\gamma d} \bigr) \lesssim _{\gamma,d}(r-\sqrt{d})^{\gamma d-1}. $$
(22)

When \(0< r<4\sqrt{d}\), we get from (15) that

$$ N\bigl(B_{r+1}(\vec{x})\bigr)^{\gamma }-N \bigl(B_{r}(\vec{x})\bigr)^{\gamma }\leq N \bigl(B_{4 \sqrt{d}+1}(\vec{x})\bigr)^{\gamma }\leq c_{d}^{\gamma }(5 \sqrt{d})^{d}. $$

This together with (22) yields (21).

Fix \(r>0\) and \(\vec{x}\in \mathbb{R}^{d}\), if there exists \(\vec{n} \in \mathbb{Z}^{d}\) such that \(\vec{n}\in R_{r}(\vec{x})\). It follows easily from (16) and (19) that

$$ N\bigl(R_{r+1}(\vec{x})\bigr)^{\gamma }-N \bigl(R_{r}(\vec{x})\bigr)^{\gamma } \lesssim _{\gamma,d}G(r)^{\gamma -1/d}. $$
(23)

The following lemma is two refined summability estimates, which play key roles in our proofs.

Lemma 2.1

Let \(R>\sqrt{d}\) and \(\gamma >d\). Then

$$ \max \biggl\{ \mathop{\sum_{ \vert \vec{n} \vert \geq R}}_{ \vec{n}\in \mathbb{Z}^{d}} \vert \vec{n} \vert ^{-\gamma }, \mathop{\sum_{ \Vert \vec{n} \Vert _{\infty }\geq R}}_{ \vec{n}\in \mathbb{Z}^{d}} \Vert \vec{n} \Vert _{\infty }^{-\gamma } \biggr\} \lesssim _{d,\gamma }R^{d-\gamma }. $$

Proof

For any \(\vec{n}\in \mathbb{Z}^{d}\), let \(Q(\vec{n})=\{x\in \mathbb{R}^{d}:-1/2< x_{i}-n_{i}\leq 1/2, 1\leq i\leq d\}\). Clearly, \(Q(\vec{n})\cap Q(\vec{l})= \emptyset \) for \(\vec{n}\neq \vec{l}\) and \(\bigcup_{|\vec{n}| \geq R, \vec{n}\in \mathbb{Z}^{d}}Q(\vec{n}) \subset \{x\in \mathbb{R}^{d}:|x|\geq R/2\}\). When \(\vec{x}\in Q( \vec{n})\) and \(|\vec{n}|\geq R\), we have

$$ \vert \vec{x} \vert \leq \vert \vec{x}-\vec{n} \vert + \vert \vec{n} \vert \leq \sqrt{d}/2+ \vert \vec{n} \vert \leq 2 \vert \vec{n} \vert . $$

It follows that

$$ \mathop{\sum_{\vert \vec{n} \vert \geq R}}_{ \vec{n}\in \mathbb{Z}^{d}} \vert \vec{n} \vert ^{-\gamma } \leq \mathop{\sum_{ \vert \vec{n} \vert \geq R}}_{ \vec{n}\in \mathbb{Z}^{d}} \int _{Q(\vec{n})} \biggl\vert \frac{x}{2} \biggr\vert ^{-\gamma }\,dx\leq \int _{ \vert x \vert \geq R/2} \biggl\vert \frac{x}{2} \biggr\vert ^{-\gamma }\,dx\lesssim _{d,\gamma }R^{d- \gamma }. $$
(24)

Note that \(\frac{|\vec{n}|}{\sqrt{d}}\leq \|\vec{n}\|_{\infty } \leq |\vec{n}|\). Then (24) leads to

$$ \mathop{\sum_{ \Vert \vec{n} \Vert _{\infty }\geq R}}_{ \vec{n}\in \mathbb{Z}^{d}} \Vert \vec{n} \Vert _{\infty }^{-\gamma }\leq \sqrt{d}^{\gamma }\mathop{\sum_{ \vert \vec{n} \vert \geq R}}_{ \vec{n}\in \mathbb{Z}^{d}} \vert \vec{n} \vert ^{- \gamma }\lesssim _{d,\gamma }R^{d-\gamma }. $$

 □

Proof of Theorem 1.5

Proof of Theorem 1.5 for \(\mathrm{M}_{\alpha, \mathcal{B}}^{\lambda }\)

The proof will be divided into two parts.

Step 1. Proof of the boundedness part. Let \(0\leq \beta \leq 1\) and \(q\geq 1\) such that \(q>\frac{d}{md-\alpha +\beta }\). Let \(\vec{f}=(f_{1}, \ldots,f_{m})\) with each \(f_{j}\in \ell ^{1}( \mathbb{Z}^{d})\). Without loss of generality we may assume that all \(f_{j}\geq 0\). We want to show that

$$\begin{aligned} & \bigl\Vert D_{l}\mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{f}) \bigr\Vert _{\ell ^{q}(\mathbb{Z}^{d})}^{q} \\ & \quad\lesssim _{\alpha,m,d,q,\beta }\sum_{\mu =1}^{m} \biggl(\prod_{1\leq j\neq \mu \leq m} \Vert f_{j} \Vert _{\ell ^{1}(\mathbb{Z}^{d})} ^{q} \biggr) \bigl( \Vert D_{l}f_{\mu } \Vert _{\ell ^{1}(\mathbb{Z}^{d})}^{q(1-\beta )} \Vert f_{\mu } \Vert _{\ell ^{1}(\mathbb{Z}^{d})}^{q\beta }\bigr) \end{aligned}$$
(25)

for all \(1\leq l\leq d\). We shall prove (25) for \(l=d\), and other cases are analogous. In what follows, we set \(\vec{n}=(n',n_{d})\in \mathbb{Z}^{d}\) with \(n'=(n_{1},\ldots,n_{d-1})\in \mathbb{Z}^{d-1}\). Then

$$ \bigl\Vert D_{d}\mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{f}) \bigr\Vert _{\ell ^{q}(\mathbb{Z}^{d})}^{q} =\sum _{n'\in \mathbb{Z}^{d-1}} \sum_{n_{d}\in \mathbb{Z}} \bigl\vert \mathrm{M}_{\alpha,\mathcal{B}} ^{\lambda }(\vec{f}) \bigl(n',n_{d}+1\bigr)-\mathrm{M}_{\alpha,\mathcal{B}}^{ \lambda }( \vec{f}) \bigl(n',n_{d}\bigr) \bigr\vert ^{q}. $$

For each \(n'\in \mathbb{Z}^{d-1}\), let

$$\begin{aligned} &X_{n'}^{+}=\bigl\{ n_{d}\in \mathbb{Z}: \mathrm{M}_{\alpha,\mathcal{B}} ^{\lambda }(\vec{f}) \bigl(n',n_{d}+1 \bigr)< \mathrm{M}_{\alpha,\mathcal{B}}^{ \lambda }(\vec{f}) \bigl(n',n_{d} \bigr)\bigr\} , \\ &X_{n'}^{-}=\bigl\{ n_{d}\in \mathbb{Z}: \mathrm{M}_{\alpha,\mathcal{B}} ^{\lambda }(\vec{f}) \bigl(n',n_{d}+1 \bigr)>\mathrm{M}_{\alpha,\mathcal{B}}^{ \lambda }(\vec{f}) \bigl(n',n_{d} \bigr)\bigr\} , \\ &X_{n'}=\bigl\{ n_{d}\in \mathbb{Z}: \mathrm{M}_{\alpha,\mathcal{B}}^{ \lambda }(\vec{f}) \bigl(n',n_{d}+1 \bigr)=\mathrm{M}_{\alpha,\mathcal{B}}^{ \lambda }(\vec{f}) \bigl(n',n_{d} \bigr)\bigr\} . \end{aligned}$$

Hence,

$$\begin{aligned} & \bigl\Vert D_{d}\mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{f}) \bigr\Vert _{\ell ^{q}(\mathbb{Z}^{d})}^{q} \\ &\quad= \sum_{n'\in \mathbb{Z}^{d-1}}\sum_{n_{d}\in X_{n'}^{+}} \bigl( \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }(\vec{f}) \bigl(n',n_{d} \bigr)- \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }(\vec{f}) \bigl(n',n_{d}+1 \bigr)\bigr)^{q} \\ &\qquad{} + \sum_{n'\in \mathbb{Z}^{d-1}}\sum_{n_{d}\in X_{n'}^{-}} \bigl( \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }(\vec{f}) \bigl(n',n_{d}+1 \bigr)- \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }(\vec{f}) \bigl(n',n_{d} \bigr)\bigr)^{q}. \end{aligned}$$

Thus, to prove (25), it suffices to prove that

$$\begin{aligned} & \sum_{n'\in \mathbb{Z}^{d-1}}\sum _{n_{d}\in X_{n'}^{+}}\bigl( \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{f}) \bigl(n',n_{d}\bigr)- \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{f}) \bigl(n',n_{d}+1\bigr)\bigr)^{q} \\ &\quad\lesssim _{\alpha,m,d,q,\beta,\lambda } \sum_{\mu =1}^{m} \biggl(\prod_{1\leq j\neq \mu \leq m} \Vert f _{j} \Vert _{\ell ^{1}(\mathbb{Z}^{d})}^{q} \biggr) \bigl( \Vert D_{d}f_{\mu } \Vert _{\ell ^{1}(\mathbb{Z}^{d})}^{q(1-\beta )} \Vert f_{\mu } \Vert _{\ell ^{1}(\mathbb{Z} ^{d})}^{q\beta }\bigr); \end{aligned}$$
(26)
$$\begin{aligned} & \sum_{n'\in \mathbb{Z}^{d-1}}\sum _{n_{d}\in X_{n'}^{-}}\bigl( \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{f}) \bigl(n',n_{d}+1\bigr)- \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{f}) \bigl(n',n_{d}\bigr)\bigr)^{q} \\ &\quad\lesssim _{\alpha,m,d,q,\beta,\lambda } \sum_{\mu =1}^{m} \biggl(\prod_{1\leq j\neq \mu \leq m} \Vert f _{j} \Vert _{\ell ^{1}(\mathbb{Z}^{d})}^{q} \biggr) \bigl( \Vert D_{d}f_{\mu } \Vert _{\ell ^{1}(\mathbb{Z}^{d})}^{q(1-\beta )} \Vert f_{\mu } \Vert _{\ell ^{1}(\mathbb{Z} ^{d})}^{q\beta }\bigr). \end{aligned}$$
(27)

We only prove (26) since (27) is analogous. For \(r>0\), we define the function \(\mathrm{A}_{r}(\vec{f}): \mathbb{R}^{d}\rightarrow \mathbb{R}\) by

$$ \mathrm{A}_{r}(\vec{f}) (\vec{x})=\frac{1}{N(B_{r}(\vec{x}))^{m-\frac{ \alpha }{d}}}\prod _{j=1}^{m}\sum _{\vec{k}\in B_{r}(\vec{x})\cap \mathbb{Z}^{d}}f_{j}(\vec{k})\quad \forall \vec{x}\in \mathbb{R}^{d}. $$

Since all \(f_{j}\in \ell ^{1}(\mathbb{Z}^{d})\), then, for any \(\vec{x}\in \mathbb{R}^{d}\), \(\lim_{r\rightarrow \infty }\mathrm{A} _{r}(\vec{f})(\vec{x})=0\). It follows that, for any \((n',n_{d})\in \mathbb{Z}^{d}\) with \(X_{n'}^{+}\), there exist \(\vec{x}\in \mathbb{R} ^{d}\) and \(r(n',n_{d})>0\) such that \(|(n',n_{d})-\vec{x}|\leq \lambda r(n',n_{d})\) and \(\mathrm{M}_{\alpha, \mathcal{B}}^{\lambda }( \vec{f})(n',n_{d})= \mathrm{A}_{r(n',n_{d})}(\vec{f})(\vec{x})\). Note that \(|(n',n_{d}+1)-(\vec{x}+\vec{e}_{d})|\leq \lambda r(n',n_{d})\). Consequently,

$$\begin{aligned} & \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }(\vec{f}) \bigl(n',n_{d}+1\bigr) \\ &\quad\geq \frac{1}{N(B_{r(n',n_{d})+1}(\vec{x}+\vec{e}_{d}))^{m- \frac{\alpha }{d}}}\prod_{j=1}^{m} \sum_{\vec{k}\in B_{r(n',n_{d})+1}(\vec{x}+\vec{e}_{d})\cap \mathbb{Z}^{d}}f_{j}(\vec{k}) \\ &\quad\geq \frac{1}{N(B_{r(n',n_{d})+1}(\vec{x}+\vec{e}_{d}))^{m- \frac{\alpha }{d}}}\prod_{j=1}^{m} \sum_{\vec{k}\in B_{r(n',n_{d})}(\vec{x})\cap \mathbb{Z}^{d}}f_{j}( \vec{k}) \\ &\quad\geq \frac{N(B_{r(n',n_{d})}(\vec{x}))^{m-\frac{\alpha }{d}}}{N(B_{r(n',n _{d})+1}(\vec{x}))^{m-\frac{\alpha }{d}}}\mathrm{A}_{r(n',n_{d})}( \vec{f}) (\vec{x}) \\ &\quad\geq \frac{N(B_{r(n',n_{d})}(\vec{x}))^{m}}{N(B_{r(n',n_{d})+1}(\vec{x}))^{m}} \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }(\vec{f}) \bigl(n',n_{d}\bigr). \end{aligned}$$

This together with (20) and (21) implies that

$$\begin{aligned} & \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }(\vec{f}) \bigl(n',n_{d}\bigr)- \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{f}) \bigl(n',n_{d}+1\bigr) \\ &\quad\leq \biggl(1-\frac{N(B_{r(n',n_{d})}(\vec{x}))^{m}}{N(B_{r(n',n_{d})+1}( \vec{x}))^{m}} \biggr)\frac{1}{N(B_{r(n',n_{d})}(\vec{x}))^{m-\frac{ \alpha }{d}}}\prod _{j=1}^{m}\sum_{\vec{k}\in B_{r(n',n_{d})}(\vec{x})\cap \mathbb{Z}^{d}}f_{j}( \vec{k}) \\ &\quad\lesssim _{m,d} F\bigl(r\bigl(n',n_{d} \bigr)\bigr)^{\frac{\alpha -1}{d}-m}\prod_{j=1}^{m} \sum_{\vec{k}\in B_{r(n',n_{d})}(\vec{x})\cap \mathbb{Z}^{d}}f_{j}( \vec{k}). \end{aligned}$$
(28)

On the other hand, (20) yields that

$$\begin{aligned} & \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }(\vec{f}) \bigl(n',n_{d}\bigr)- \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{f}) \bigl(n',n_{d}+1\bigr) \\ &\quad\leq \mathrm{A}_{r(n',n_{d})}(\vec{f}) (\vec{x})-\mathrm{A}_{r(n',n _{d})}( \vec{f}) (\vec{x}+\vec{e}_{d}) \\ &\quad= \frac{1}{N(B_{r(n',n_{d})}(\vec{x}))^{m-\frac{\alpha }{d}}}\prod_{j=1}^{m} \sum_{\vec{k}\in B_{r(n',n_{d})}(\vec{x})\cap \mathbb{Z}^{d}}f_{j}( \vec{k}) \\ & \qquad{}- \frac{1}{N(B_{r(n',n_{d})}(\vec{x}+\vec{e}_{d}))^{m-\frac{\alpha }{d}}} \prod_{j=1}^{m} \sum_{\vec{k}\in B_{r(n',n_{d})}(\vec{x}+\vec{e}_{d})\cap \mathbb{Z}^{d}}f_{j}(\vec{k}) \\ &\quad\leq F\bigl(r\bigl(n',n_{d}\bigr) \bigr)^{\frac{\alpha }{d}-m}\sum_{\mu =1}^{m} \sum_{\vec{k}\in B_{r(n',n_{d})}(\vec{x})\cap \mathbb{Z}^{d}} \bigl\vert D _{d}f_{\mu }( \vec{k}) \bigr\vert \prod_{1\leq j\neq \mu \leq m} \Vert f_{j} \Vert _{\ell ^{1}(\mathbb{Z}^{d})}. \end{aligned}$$
(29)

Note that \(B_{\vec{r}(n',n_{d})}(\vec{x})\subset B_{(\lambda +1) \vec{r}(n',n_{d})}(n',n_{d})\). It follows from (28) and (29) that

$$\begin{aligned} & \bigl(\mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }(\vec{f}) \bigl(n',n_{d}\bigr)- \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{f}) \bigl(n',n_{d}+1\bigr)\bigr)^{q} \\ &\quad\lesssim _{m,d} \Biggl(F\bigl(r\bigl(n',n_{d} \bigr)\bigr)^{\frac{\alpha }{d}-m}\sum_{\mu =1}^{m} \sum_{\vec{k}\in B_{(\lambda +1)r(n',n_{d})}(n',n_{d})\cap \mathbb{Z}^{d}} \bigl\vert D_{d}f_{\mu }( \vec{k}) \bigr\vert \\ & \qquad{}\times \prod_{1\leq j\neq \mu \leq m} \Vert f_{j} \Vert _{\ell ^{1}(\mathbb{Z} ^{d})} \Biggr)^{q(1-\beta )} \\ & \qquad{}\times \Biggl(F\bigl(r\bigl(n',n_{d}\bigr) \bigr)^{\frac{\alpha -1}{d}-m}\prod_{j=1}^{m} \sum_{\vec{k}\in B_{(\lambda +1)r(n',n_{d})}(n',n_{d})\cap \mathbb{Z}^{d}}f_{j}(\vec{k}) \Biggr)^{q\beta }. \end{aligned}$$
(30)

For convenience, fix \(1\leq \mu \leq m\), we set

$$ A_{\mu }:= \biggl(\prod_{1\leq j\neq \mu \leq m} \Vert f_{j} \Vert _{\ell ^{1}(\mathbb{Z}^{d})}^{q} \biggr) \bigl( \Vert D_{d}f_{\mu } \Vert _{\ell ^{1}(\mathbb{Z} ^{d})}^{(q-1)(1-\beta )} \Vert f_{\mu } \Vert _{\ell ^{1}(\mathbb{Z}^{d})}^{(q-1) \beta } \bigr). $$

Then (30) leads to

$$\begin{aligned} & \bigl(\mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }(\vec{f}) \bigl(n',n_{d}\bigr)- \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{f}) \bigl(n',n_{d}+1\bigr)\bigr)^{q} \\ &\quad\lesssim _{m,d} \sum_{\mu =1}^{m}A_{\mu } \bigl(F\bigl(r\bigl(n',n_{d}\bigr)\bigr) \bigr)^{-\frac{q(md-\alpha +\beta )}{d}} \\ & \qquad{}\times \biggl(\sum_{\vec{k}\in B_{(\lambda +1)r(n',n_{d})}(n',n_{d})\cap \mathbb{Z}^{d}} \bigl\vert D_{d}f_{\mu }(\vec{k}) \bigr\vert \biggr)^{(1-\beta )} \\ & \qquad{}\times \biggl(\sum_{\vec{k}\in B_{(\lambda +1)r(n',n_{d})}(n',n_{d})\cap \mathbb{Z}^{d}}f_{\mu }( \vec{k}) \biggr)^{\beta }. \end{aligned}$$
(31)

By (31) and Hölder’s inequality with exponents \(p=\frac{1}{1- \beta }\) and \(p'=\frac{1}{\beta }\),

$$\begin{aligned} & \sum_{n'\in \mathbb{Z}^{d-1}}\sum _{n_{d}\in X_{n'}^{+}}\bigl( \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{f}) \bigl(n',n_{d}\bigr)- \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{f}) \bigl(n',n_{d}+1\bigr)\bigr)^{q} \\ &\quad\lesssim _{m,d} \sum_{\mu =1}^{m}A_{\mu } \biggl(\sum_{n'\in \mathbb{Z} ^{d-1}}\sum _{n_{d}\in X_{n'}^{+}}\bigl(F\bigl(r\bigl(n',n_{d} \bigr)\bigr)\bigr)^{-\frac{q(md- \alpha +\beta )}{d}} \\ & \qquad{}\times \sum_{\vec{k}\in B_{(\lambda +1)r(n',n_{d})}(n',n_{d})\cap \mathbb{Z}^{d}} \bigl\vert D_{d}f_{\mu }(\vec{k}) \bigr\vert \biggr)^{1-\beta } \\ &\qquad{} \times \biggl(\sum_{n'\in \mathbb{Z}^{d-1}}\sum _{n_{d}\in X_{n'} ^{+}}\bigl(F\bigl(r\bigl(n',n_{d} \bigr)\bigr)\bigr)^{-\frac{q(md-\alpha +\beta )}{d}} \sum_{\vec{k}\in B_{(\lambda +1)r(n',n_{d})}(n',n_{d})\cap \mathbb{Z}^{d}}f_{\mu }( \vec{k}) \biggr)^{\beta }. \end{aligned}$$
(32)

Note that

$$\begin{aligned} & \sum_{n'\in \mathbb{Z}^{d-1}}\sum _{n_{d}\in X_{n'}^{+}}\bigl(F\bigl(r\bigl(n',n _{d}\bigr)\bigr)\bigr)^{-\frac{q(md-\alpha +\beta )}{d}}\sum _{\vec{k}\in B_{(\lambda +1)r(n',n_{d})}(n',n_{d})\cap \mathbb{Z}^{d}} \bigl\vert D_{d}f_{\mu }( \vec{k}) \bigr\vert \\ &\quad\leq \sum_{\vec{k}\in \mathbb{Z}^{d}} \bigl\vert D_{d}f_{\mu }(\vec{k}) \bigr\vert \sum _{\vec{n}\in \mathbb{Z}^{d}}\bigl(F\bigl(r(\vec{n})\bigr)\bigr)^{-\frac{q(md- \alpha +\beta )}{d}} \chi _{\{ \vert \vec{k}-\vec{n} \vert \leq (\lambda +1)r(\vec{n})\}}. \end{aligned}$$
(33)

Fix \(\vec{k}\in \mathbb{Z}^{d}\). By (15) we have

$$ \sum_{\vec{n}\in \mathbb{Z}^{d}} \chi _{\{|\vec{k}-\vec{n}|< 4\sqrt{d}(\lambda +1)\}}\leq c_{d}\bigl(4 \sqrt{d}(\lambda +1)+\sqrt{d}/2\bigr)^{d}. $$
(34)

Since \(q(md-\alpha +\beta )>d\). Invoking Lemma 2.1, we have

$$\begin{aligned} & \sum_{\vec{n}\in \mathbb{Z}^{d}} \biggl( \frac{ \vert \vec{k}-\vec{n} \vert }{ \lambda +1}-\sqrt{d} \biggr)^{-q(md-\alpha +\beta )} \chi _{\{ \vert \vec{k}-\vec{n} \vert \geq 4\sqrt{d}(\lambda +1)\}} \\ &\quad\lesssim _{\alpha,m,d,\beta,q,\lambda } \mathop{\sum_{ \vert \vec{n} \vert \geq 4\sqrt{d}(\lambda +1)}}_{ \vec{n}\in \mathbb{Z}^{d}} \vert \vec{n} \vert ^{-q(md-\alpha +\beta )} \lesssim _{\alpha,m,d,\beta,q, \lambda }\bigl(4\sqrt{d}( \lambda +1)\bigr)^{d-q(md-\alpha +\beta )}. \end{aligned}$$
(35)

Combining (35) with (34) yields that

$$\begin{aligned} & \sum_{\vec{n}\in \mathbb{Z}^{d}}\bigl(F\bigl(r(\vec{n}) \bigr)\bigr)^{-\frac{q(md- \alpha +\beta )}{d}} \chi _{\{ \vert \vec{k}-\vec{n} \vert \leq (\lambda +1)r(\vec{n})\}} \\ &\quad\leq \sum_{\vec{n}\in \mathbb{Z}^{d}}\bigl(F\bigl(r(\vec{n})\bigr) \bigr)^{-\frac{q(md- \alpha +\beta )}{d}}\chi _{\{ \vert \vec{k}-\vec{n} \vert < 4\sqrt{d}(\lambda +1) \}} \\ &\qquad{} + \sum_{\vec{n}\in \mathbb{Z}^{d}}\bigl(F\bigl(r(\vec{n})\bigr) \bigr)^{-\frac{q(md- \alpha +\beta )}{d}} \chi _{\{4\sqrt{d}(\lambda +1)\leq \vert \vec{k}-\vec{n} \vert \leq (\lambda +1)r( \vec{n})\}} \\ &\quad\leq \sum_{\vec{n}\in \mathbb{Z}^{d}} \chi _{\{ \vert \vec{k}-\vec{n} \vert < 4\sqrt{d}(\lambda +1)\}} \\ & \qquad{}+ \sum_{\vec{n}\in \mathbb{Z}^{d}}c_{d} \biggl( \frac{ \vert \vec{k}- \vec{n} \vert }{\lambda +1}-\sqrt{d} \biggr)^{-q(md-\alpha +\beta )} \chi _{\{ \vert \vec{k}-\vec{n} \vert \geq 4\sqrt{d}(\lambda +1)\}} \\ &\quad\lesssim _{\alpha,m,d,\beta,q,\lambda }1. \end{aligned}$$
(36)

(36) together with (33) yields that

$$\begin{aligned} & \sum_{n'\in \mathbb{Z}^{d-1}}\sum _{n_{d}\in X_{n'}^{+}}(F\bigl(r\bigl(n',n _{d} \bigr)\bigr)^{-\frac{q(md-\alpha +\beta )}{d}}\sum_{\vec{k}\in B_{(\lambda +1)r(n',n_{d})}(n',n_{d})\cap \mathbb{Z}^{d}} \bigl\vert D_{d}f_{\mu }(\vec{k}) \bigr\vert \\ &\quad \lesssim _{\alpha,m,d,\beta,q,\lambda } \Vert D_{d}f_{\mu } \Vert _{\ell ^{1}( \mathbb{R}^{d})}. \end{aligned}$$
(37)

Similarly,

$$\begin{aligned} & \sum_{n'\in \mathbb{Z}^{d-1}}\sum _{n_{d}\in X_{n'}^{+}}(F\bigl(r\bigl(n',n _{d} \bigr)\bigr)^{-\frac{q(md-\alpha +\beta )}{d}}\sum_{\vec{k}\in B_{(\lambda +1)r(n',n_{d})}(n',n_{d})\cap \mathbb{Z}^{d}} \bigl\vert f_{\mu }(\vec{k}) \bigr\vert \\ &\quad\lesssim _{\alpha,m,d,\beta,q,\lambda } \Vert f_{\mu } \Vert _{\ell ^{1}( \mathbb{R}^{d})}. \end{aligned}$$
(38)

Then (26) follows from (32) and (37)–(38).

Step 2. Proof of the continuity part. Let \(\vec{f} =(f_{1}, \ldots,f_{m})\) with each \(f_{j}\in \ell ^{1} (\mathbb{Z}^{d})\) and \(g_{i,j}\rightarrow f_{j}\) in \(\ell ^{1}(\mathbb{Z}^{d})\) for any \(1\leq j\leq m\) as \(i\rightarrow \infty \). Let \(\vec{g_{i}}=(g_{i,1}, \ldots,g_{i,m})\) for \(i\in \mathbb{Z}\). Since \(||g_{i,j}|-|f_{j}|| \leq |g_{i,j}-f_{j}|\) for all \(1\leq j\leq d\), we may assume without loss of generality that all \(g_{i,j}\geq 0\) and \(f_{j}\geq 0\). It suffices to show that

$$ \lim_{i\rightarrow \infty } \bigl\Vert D_{l} \mathrm{M}_{\alpha, \mathcal{B}}^{\lambda }(\vec{g_{i}}) -D_{l}\mathrm{M}_{\alpha, \mathcal{B}}^{\lambda }(\vec{f}) \bigr\Vert _{\ell ^{q}(\mathbb{Z}^{d})}=0 $$
(39)

for each \(l=1,2,\ldots,d\).

We only prove (39) for \(l=d\) (since other cases are analogous). By the boundedness part, we see that \(D_{d}\mathrm{M}_{\alpha,\mathcal{B}} ^{\lambda }(\vec{f}) \in \ell ^{q}(\mathbb{Z}^{d})\). Then, fix \(\epsilon \in (0,1)\), there exist \(N_{1}=N_{1}(\epsilon,\vec{f})>0\) and \(\varLambda >8\sqrt{d}(\lambda +1)\) such that

$$\begin{aligned} &\Vert g_{i,j}-f_{j} \Vert _{\ell ^{1}(\mathbb{Z}^{d})}< \epsilon \quad\text{and} \quad \Vert g_{i,j} \Vert _{\ell ^{1}(\mathbb{Z}^{d})} \leq \Vert f_{j} \Vert _{\ell ^{1}(\mathbb{Z}^{d})}+1 \quad\forall i\geq N_{1} \text{ and } 1\leq j\leq m; \end{aligned}$$
(40)
$$\begin{aligned} &\max \Bigl\{ \bigl\Vert D_{d}\mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{f}) \chi _{(B_{3\varLambda }(\vec{0}))^{c}} \bigr\Vert _{\ell ^{q}(\mathbb{Z}^{d})}, \sup _{1\leq j\leq m} \Vert f_{j}\chi _{(B_{\varLambda }(\vec{0}))^{c}} \Vert _{\ell ^{1}(\mathbb{Z}^{d})},\varLambda ^{d-q(md-\alpha +\beta )}\Bigr\} < \epsilon. \end{aligned}$$
(41)

Combining (41) with (40) yields that

$$\begin{aligned} & \sup_{1\leq j\leq m} \Vert D_{d}g_{i,j} \chi _{(B_{\varLambda }(\vec{0}))^{c}} \Vert _{\ell ^{1}(\mathbb{Z}^{d})} \\ &\quad\leq 2\sup_{1\leq j\leq m} \Vert g_{i,j} \chi _{(B_{\varLambda }(\vec{0}))^{c}} \Vert _{\ell ^{1}(\mathbb{Z}^{d})} \\ &\quad\leq 2\sup_{1\leq j\leq m}\bigl( \Vert g_{i,j}-f_{j} \Vert _{\ell ^{1}( \mathbb{Z}^{d})}+ \Vert f_{j}\chi _{(B_{\varLambda }(\vec{0}))^{c}} \Vert _{\ell ^{1}(\mathbb{Z}^{d})}\bigr)\leq 4\epsilon \quad\forall i\geq N_{1}. \end{aligned}$$
(42)

For any \(\vec{n}\in \mathbb{Z}^{d}\) and \(i\geq N_{1}\), we can write

$$\begin{aligned} & \bigl\vert \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{g_{i}}) ( \vec{n})-\mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{f}) (\vec{n}) \bigr\vert \\ &\quad\leq \mathop{\sup_{r>0, \vec{x}\in \mathbb{R}^{d}}}_{ \vert \vec{n}-\vec{x} \vert \leq \lambda r} \frac{1}{N(B_{r}(\vec{x}))^{m-\frac{\alpha }{d}}} \Biggl\vert \prod _{j=1}^{m}\sum _{\vec{k}\in B_{r}(\vec{x})\cap \mathbb{Z}^{d}}g _{i,j}(\vec{k})-\prod _{j=1}^{m}\sum_{\vec{k}\in B_{r}(\vec{x})\cap \mathbb{Z}^{d}}f_{j}( \vec{k}) \Biggr\vert \\ &\quad\leq \sum_{l=1}^{m} \Biggl(\prod _{j=1}^{l-1} \Vert f_{j} \Vert _{\ell ^{1}( \mathbb{Z}^{d})} \Biggr) \Biggl(\prod_{\mu =l+1}^{m} \Vert g_{i,\mu } \Vert _{\ell ^{1}(\mathbb{Z}^{d})} \Biggr) \Vert g_{i,l}-f_{l} \Vert _{\ell ^{1}( \mathbb{Z}^{d})}, \end{aligned}$$

which together with (40) implies that \(\mathrm{M}_{\alpha, \mathcal{B}} ^{\lambda }(\vec{g_{i}})(\vec{n})\rightarrow \mathrm{M} _{\alpha, \mathcal{B}}^{\lambda }(\vec{f})(\vec{n})\) as \(i\rightarrow \infty \) for any \(\vec{n}\in \mathbb{Z}^{d}\). Consequently,

$$ D_{d}\mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{g_{i}}) (\vec{n}) \rightarrow D_{d} \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }(\vec{f}) ( \vec{n}) \quad\mathrm{as}\ i \rightarrow \infty\ \forall \vec{n}\in \mathbb{Z}^{d}. $$
(43)

By (43), there exists \(N_{2}=N_{2}(\epsilon,\varLambda )>0\) such that

$$ \bigl\vert D_{d}\mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{g}_{i}) ( \vec{n})-D_{d}\mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{f}) ( \vec{n}) \bigr\vert \leq \frac{\epsilon }{(N(B_{3\varLambda }(\vec{0})))^{1/q}} \quad\forall i\geq N_{2} \text{ and } \vert \vec{n} \vert < 3\varLambda. $$
(44)

It follows from (44) that

$$\begin{aligned} & \bigl\Vert D_{l}\mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{g_{i}})-D _{l}\mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{f}) \bigr\Vert _{\ell ^{q}( \mathbb{Z}^{d})} \\ &\quad\leq \bigl\Vert \bigl(D_{l}\mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{g_{i}})-D _{l}\mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{f})\bigr) \chi _{B_{3\varLambda }(\vec{0})} \bigr\Vert _{\ell ^{q}(\mathbb{Z}^{d})} \\ &\qquad{} + \bigl\Vert \bigl(D_{l}\mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{g_{i}})-D_{l}\mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{f})\bigr) \chi _{(B_{3\varLambda }(\vec{0}))^{c}} \bigr\Vert _{\ell ^{q}(\mathbb{Z}^{d})} \\ &\quad \leq \epsilon + \bigl\Vert \bigl(D_{l}\mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{g_{i}})-D_{l}\mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{f})\bigr) \chi _{(B_{3\varLambda }(\vec{0}))^{c}} \bigr\Vert _{\ell ^{q}(\mathbb{Z}^{d})} \quad \forall i \geq N_{2}. \end{aligned}$$
(45)

Fix \(i\geq \max \{N_{1},N_{2}\}\). We can write

$$\begin{aligned} & \bigl\Vert \bigl(D_{l}\mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{g_{i}})-D_{l}\mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{f})\bigr) \chi _{(B_{3\varLambda }(\vec{0}))^{c}} \bigr\Vert _{\ell ^{q}(\mathbb{Z}^{d})} \\ &\quad\leq\mathop{ \sum_{\vert n' \vert \geq 2\varLambda }}_{ n'\in \mathbb{Z}^{d-1}}\sum _{n_{d}\in \mathbb{Z}} \bigl\vert D_{d}\mathrm{M}_{\alpha,\mathcal{B}} ^{\lambda }(\vec{g}_{i}) (\vec{n}) \bigr\vert ^{q}+ \sum_{n'\in \mathbb{Z} ^{d}}\mathop{\sum_{\vert n_{d} \vert \geq 2\varLambda}}_{ n_{d}\in \mathbb{Z}} \bigl\vert D _{d}\mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{g}_{i}) (\vec{n}) \bigr\vert ^{q} \\ &\quad=:A_{1}+A_{2}. \end{aligned}$$
(46)

We first estimate \(A_{1}\). For each \(n'\in \mathbb{Z}^{d-1}\) with \(|n'|\geq 2\varLambda \), let

$$\begin{aligned} &Y_{n'}^{+}=\bigl\{ n_{d}\in \mathbb{Z}: \mathrm{M}_{\alpha,\mathcal{B}} ^{\lambda }(\vec{g}_{i}) \bigl(n',n_{d}+1\bigr)< \mathrm{M}_{\alpha,\mathcal{B}} ^{\lambda }(\vec{g}_{i}) \bigl(n',n_{d} \bigr)\bigr\} , \\ &Y_{n'}^{-}=\bigl\{ n_{d}\in \mathbb{Z}: \mathrm{M}_{\alpha,\mathcal{B}} ^{\lambda }(\vec{g}_{i}) \bigl(n',n_{d}+1\bigr)>\mathrm{M}_{\alpha,\mathcal{B}} ^{\lambda }(\vec{g}_{i}) \bigl(n',n_{d} \bigr)\bigr\} , \\ &Y_{n'}=\bigl\{ n_{d}\in \mathbb{Z}: \mathrm{M}_{\alpha,\mathcal{B}}^{ \lambda }(\vec{g}_{i}) \bigl(n',n_{d}+1\bigr)=\mathrm{M}_{\alpha,\mathcal{B}} ^{\lambda }(\vec{g}_{i}) \bigl(n',n_{d} \bigr)\bigr\} . \end{aligned}$$

Then

$$\begin{aligned} A_{1}\leq{}& \mathop{\sum_{|n'|\geq 2\varLambda }}_{ n'\in \mathbb{Z}^{d-1}}\sum _{n_{d}\in Y_{n'}^{+}}\bigl(\mathrm{M}_{\alpha,\mathcal{B}}^{ \lambda }( \vec{g}_{i}) \bigl(n',n_{d}\bigr)- \mathrm{M}_{\alpha,\mathcal{B}}^{ \lambda }(\vec{g}_{i}) \bigl(n',n_{d}+1\bigr)\bigr)^{q} \\ & {}+ \mathop{\sum_{|n'|\geq 2\varLambda }}_{ n'\in \mathbb{Z}^{d-1}}\sum_{n_{d}\in Y_{n'}^{-}} \bigl(\mathrm{M}_{\alpha,\mathcal{B}}^{ \lambda }(\vec{g}_{i}) \bigl(n',n_{d}+1\bigr)-\mathrm{M}_{\alpha,\mathcal{B}} ^{\lambda }(\vec{g}_{i}) \bigl(n',n_{d} \bigr)\bigr)^{q}. \end{aligned}$$
(47)

We now prove that

$$\begin{aligned} &\mathop{\sum_{|n'|\geq 2\varLambda}}_{n \mathbb{Z}^{d-1}}\sum_{n_{d}\in Y_{n'}^{+}} \bigl(\mathrm{M}_{\alpha,\mathcal{B}}^{ \lambda }(\vec{g}_{i}) \bigl(n',n_{d}\bigr)-\mathrm{M}_{\alpha,\mathcal{B}}^{ \lambda }( \vec{g}_{i}) \bigl(n',n_{d}+1\bigr) \bigr)^{q} \lesssim _{\alpha,m,d,\beta,q,\lambda,\vec{f}}\epsilon; \end{aligned}$$
(48)
$$\begin{aligned} &\mathop{\sum_{|n'|\geq 2\varLambda }}_{ n'\in \mathbb{Z}^{d-1}}\sum_{n_{d}\in Y_{n'}^{-}} \bigl(\mathrm{M}_{\alpha,\mathcal{B}}^{ \lambda }(\vec{g}_{i}) \bigl(n',n_{d}+1\bigr)-\mathrm{M}_{\alpha,\mathcal{B}} ^{\lambda }(\vec{g}_{i}) \bigl(n',n_{d} \bigr)\bigr)^{q} \lesssim _{\alpha,m,d,\beta,q,\lambda,\vec{f}}\epsilon. \end{aligned}$$
(49)

We only prove (48), and (49) is analogous. Since all \(g_{i,j}\in \ell ^{1}(\mathbb{Z}^{d})\), then for any \((n',n_{d})\in \mathbb{Z}^{d}\) with \(n_{d}\in Y_{n'}^{+}\), there exist \(\vec{x}\in \mathbb{R}^{d}\) and \(r(n', n_{d})>0\) such that \(|(n',n_{d})-\vec{x}|\leq \lambda r(n',n _{d})\) and \(\mathrm{M}_{\alpha, \mathcal{B}}^{\lambda }(\vec{g}_{i})(n',n _{d})= \mathrm{A}_{r(n',n_{d})}(\vec{g}_{i})(\vec{x})\). By the argument similar to those used in deriving (32),

$$\begin{aligned} & \mathop{\sum_{ \vert n' \vert \geq 2\varLambda }}_{ n'\in \mathbb{Z}^{d-1}}\sum _{n_{d}\in Y_{n'}^{+}}\bigl(\mathrm{M}_{\alpha,\mathcal{B}}^{ \lambda }( \vec{g}_{i}) \bigl(n',n_{d}\bigr)- \mathrm{M}_{\alpha,\mathcal{B}}^{ \lambda }(\vec{g}_{i}) \bigl(n',n_{d}+1\bigr)\bigr)^{q} \\ &\quad\lesssim _{m,d} \sum_{\mu =1}^{m} \biggl(\prod_{1\leq j\neq \mu \leq m} \Vert g _{i,j} \Vert _{\ell ^{1}(\mathbb{Z}^{d})}^{q} \biggr) \bigl( \Vert D_{d}g_{i,\mu } \Vert _{\ell ^{1}(\mathbb{Z}^{d})}^{(q-1)(1-\beta )} \Vert g_{i,\mu } \Vert _{\ell ^{1}( \mathbb{Z}^{d})}^{(q-1)\beta } \bigr) \\ & \qquad{}\times \biggl(\mathop{\sum_{ \vert n' \vert \geq 2\varLambda }}_{ n'\in \mathbb{Z}^{d-1}} \sum _{n_{d}\in Y_{n'}^{+}}(F\bigl(r\bigl(n',n_{d} \bigr)\bigr)^{-\frac{q(md-\alpha +\beta )}{d}} \\ &\qquad{} \times \sum_{\vec{k}\in B_{(\lambda +1)r(n',n_{d})}(n',n_{d})\cap \mathbb{Z}^{d}} \bigl\vert D_{d}g_{i,\mu }(\vec{k}) \bigr\vert \biggr)^{1-\beta } \\ & \qquad{}\times \biggl(\mathop{\sum_{ \vert n' \vert \geq 2\varLambda }}_{ n'\in \mathbb{Z}^{d-1}} \sum _{n_{d}\in Y_{n'}^{+}}(F\bigl(r\bigl(n',n_{d} \bigr)\bigr)^{-\frac{q(md-\alpha +\beta )}{d}} \sum_{\vec{k}\in B_{(\lambda +1)r(n',n_{d})}(n',n_{d})\cap \mathbb{Z}^{d}}g_{i,\mu }( \vec{k}) \biggr)^{\beta }. \end{aligned}$$
(50)

Note that

$$\begin{aligned} & \mathop{\sum_{\vert n' \vert \geq 2\varLambda }}_{ n'\in \mathbb{Z}^{d-1}}\sum _{n_{d}\in Y_{n'}^{+}}(F\bigl(r\bigl(n',n_{d} \bigr)\bigr)^{-\frac{q(md-\alpha + \beta )}{d}}\sum_{\vec{k}\in B_{(\lambda +1)r(n',n_{d})}(n',n_{d})\cap \mathbb{Z}^{d}} \bigl\vert D_{d}g_{i,\mu }(\vec{k}) \bigr\vert \\ &\quad= \sum_{\vec{k}\in \mathbb{Z}^{d}} \bigl\vert D_{d}g_{i,\mu }( \vec{k}) \bigr\vert \mathop{\sum_{\vert n' \vert \geq 2\varLambda}}_{ n'\in \mathbb{Z}^{d-1}}\sum _{n_{d}\in Y_{n'}^{+}}(F\bigl(r\bigl(n',n_{d} \bigr)\bigr)^{-\frac{q(md-\alpha + \beta )}{d}} \\ & \qquad{}\times \chi _{\{ \vert \vec{k}-(n',n_{d}) \vert \leq (\lambda +1)r(n',n_{d}) \}}. \end{aligned}$$
(51)

Fix \(\vec{k}=(k',k_{d})\). When \(|k'|\geq \varLambda \), we get from (36) that

$$ \mathop{\sum_{|n'|\geq 2\varLambda }}_{ n'\in \mathbb{Z}^{d-1}}\sum_{n_{d}\in Y_{n'}^{+}}(F \bigl(r\bigl(n',n_{d}\bigr)\bigr)^{-\frac{q(md-\alpha + \beta )}{d}}\chi _{\{|(k'-n',k_{d}-n_{d})|\leq (\lambda +1)r(n',n_{d}) \}} \lesssim _{\alpha,m,d,\beta,q,\lambda }1. $$
(52)

When \(|k'|<\varLambda \), note that \(|n'-k'|>\varLambda > 8\sqrt{d}(\lambda +1)\) and \(q(md-\alpha +\beta )>d\). Then by Lemma 2.1 and (41) we have

$$\begin{aligned} & \mathop{\sum_{\vert n' \vert \geq 2\varLambda }}_{ n'\in \mathbb{Z}^{d-1}}\sum _{n_{d}\in Y_{n'}^{+}}(F\bigl(r\bigl(n',n_{d} \bigr)\bigr)^{-\frac{q(md-\alpha + \beta )}{d}}\chi _{\{ \vert (k'-n',k_{d}-n_{d}) \vert \leq (\lambda +1)r(n',n_{d}) \}} \\ &\quad\leq c_{d}^{-q(md-\alpha +\beta )}\mathop{\sum_{\vert n' \vert \geq 2\varLambda }}_{ n'\in \mathbb{Z}^{d-1}} \sum_{n_{d}\in Y_{n'}^{+}} \biggl(\frac{ \vert (k'-n',k_{d}-n_{d}) \vert }{\lambda +1}-\sqrt{d} \biggr)^{-q(md-\alpha +\beta )} \\ &\quad\lesssim _{\alpha,m,d,\beta,q,\lambda } \mathop{\sum_{\vert \vec{n} \vert \geq \varLambda }}_{ \vec{n}\in \mathbb{Z}^{d}} \vert \vec{n} \vert ^{-q(md-\alpha +\beta )}\lesssim _{\alpha,m,d,\beta,q,\lambda }\varLambda ^{d-q(md-\alpha +\beta )} \lesssim _{\alpha,m,d,\beta,q, \lambda }\epsilon. \end{aligned}$$
(53)

It follows from (40), (42), and (51)–(53) that

$$\begin{aligned} & \mathop{\sum_{\vert n' \vert \geq 2\varLambda}}_{ n'\in \mathbb{Z}^{d-1}}\sum _{n_{d}\in Y_{n'}^{+}}(F\bigl(r\bigl(n',n_{d} \bigr)\bigr)^{-\frac{q(md-\alpha + \beta )}{d}}\sum_{\vec{k}\in B_{(\lambda +1)r(n',n_{d})}(n',n_{d})\cap \mathbb{Z}^{d}} \bigl\vert D_{d}g_{i,\mu }(\vec{k}) \bigr\vert \\ &\quad \lesssim _{\alpha,\beta,q,m,d,\lambda }\mathop{\sum_{\vert k' \vert \geq \varLambda }}_{ k'\in \mathbb{Z}^{d-1}} \bigl\vert D_{d}g_{i, \mu }(\vec{k}) \bigr\vert +\mathop{\sum_{ \vert k' \vert < \varLambda }}_{ k'\in \mathbb{Z}^{d-1}} \bigl\vert D_{d}g_{i,\mu }( \vec{k}) \bigr\vert \epsilon \\ &\quad\lesssim _{\alpha,m,d,\beta,q,\lambda } \Vert D_{d}g_{i,\mu } \chi _{(B_{\varLambda }(\vec{0}))^{c}} \Vert _{\ell ^{1}(\mathbb{Z}^{d})}+2 \Vert g _{i,\mu } \Vert _{\ell ^{1}(\mathbb{Z}^{d})}\epsilon \\ &\quad\lesssim _{\alpha,m,d,\beta,q,\lambda,\vec{f}}\epsilon. \end{aligned}$$
(54)

Similarly,

$$\begin{aligned} & \mathop{\sum_{|n'|\geq 2\varLambda }}_{ n'\in \mathbb{Z}^{d-1}}\sum _{n_{d}\in Y_{n'}^{+}}(F\bigl(r\bigl(n',n_{d} \bigr)\bigr)^{-\frac{q(md-\alpha + \beta )}{d}} \sum_{\vec{k}\in B_{(\lambda +1)r(n',n_{d})}(n',n_{d})\cap \mathbb{Z}^{d}}g_{i,\mu }( \vec{k}) \\ &\quad\lesssim _{\alpha,m,d,\beta,q,\lambda,\vec{f}}\epsilon. \end{aligned}$$
(55)

Then (48) follows from (40), (50), and (54)–(55). It follows from (47)–(49) that

$$ A_{1}\lesssim _{\alpha,m,d,\beta,q,\lambda,\vec{f}}\epsilon. $$
(56)

It remains to estimate \(A_{2}\). For each \(n'\in \mathbb{Z}^{d-1}\), let

$$\begin{aligned} &Z_{n'}^{+}=\bigl\{ \vert n_{d} \vert \geq 2\varLambda: \mathrm{M}_{\alpha,\mathcal{B}} ^{\lambda }(\vec{g}_{i}) \bigl(n',n_{d}+1\bigr)< \mathrm{M}_{\alpha,\mathcal{B}} ^{\lambda }(\vec{g}_{i}) \bigl(n',n_{d} \bigr)\bigr\} , \\ &Z_{n'}^{-}=\bigl\{ \vert n_{d} \vert \geq 2\varLambda: \mathrm{M}_{\alpha,\mathcal{B}} ^{\lambda }(\vec{g}_{i}) \bigl(n',n_{d}+1\bigr)>\mathrm{M}_{\alpha,\mathcal{B}} ^{\lambda }(\vec{g}_{i}) \bigl(n',n_{d} \bigr)\bigr\} , \\ &Z_{n'}^{-}=\bigl\{ \vert n_{d} \vert \geq 2\varLambda: \mathrm{M}_{\alpha,\mathcal{B}} ^{\lambda }(\vec{g}_{i}) \bigl(n',n_{d}+1\bigr)=\mathrm{M}_{\alpha,\mathcal{B}} ^{\lambda }(\vec{g}_{i}) \bigl(n',n_{d} \bigr)\bigr\} . \end{aligned}$$

Then we have

$$\begin{aligned} A_{2}\leq{}& \sum_{n'\in \mathbb{Z}^{d-1}}\sum _{n_{d}\in Z_{n'}^{+}}\bigl( \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{g}_{i}) \bigl(n',n_{d}\bigr)- \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }(\vec{g}_{i}) \bigl(n',n_{d}+1\bigr)\bigr)^{q} \\ &{} + \sum_{n'\in \mathbb{Z}^{d-1}}\sum_{n_{d}\in Z_{n'}^{-}} \bigl( \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }(\vec{g}_{i}) \bigl(n',n_{d}+1\bigr)- \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{g}_{i}) \bigl(n',n_{d}\bigr) \bigr)^{q}. \end{aligned}$$
(57)

We want to show that

$$\begin{aligned} &\sum_{n'\in \mathbb{Z}^{d-1}}\sum_{n_{d}\in Z_{n'}^{+}} \bigl( \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }(\vec{g}_{i}) \bigl(n',n_{d}\bigr)- \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{g}_{i}) \bigl(n',n_{d}+1\bigr) \bigr)^{q} \lesssim _{\alpha,m,d,\beta,q,\lambda,\vec{f}}\epsilon; \end{aligned}$$
(58)
$$\begin{aligned} &\sum_{n'\in \mathbb{Z}^{d-1}}\sum_{n_{d}\in Z_{n'}^{-}} \bigl( \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }(\vec{g}_{i}) \bigl(n',n_{d}+1\bigr)- \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{g}_{i}) \bigl(n',n_{d}\bigr) \bigr)^{q} \lesssim _{\alpha,m,d,\beta,q,\lambda,\vec{f}}\epsilon. \end{aligned}$$
(59)

We only prove (58), and (59) is analogous. Since all \(g_{i,j}\in \ell ^{1}(\mathbb{Z}^{d})\), then for any \((n',n_{d}) \in \mathbb{Z}^{d}\) with \(n_{d}\in Z_{n'}^{+}\), there exist \(\vec{x}\in \mathbb{R}^{d}\) and \(r(n',n_{d})>0\) such that \(|(n',n_{d})-\vec{x}|\leq \lambda r(n',n _{d})\) and \(\mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }(\vec{g}_{i}) (n',n _{d})=\mathrm{A}_{r(n',n_{d})}(\vec{g}_{i})(\vec{x})\). By the arguments similar to those used to derived (32),

$$\begin{aligned} & \sum_{n'\in \mathbb{Z}^{d-1}}\sum_{n_{d}\in Z_{n'}^{+}}( \mathrm{M}_{\alpha,\mathcal{B}}^{\alpha }\bigl(\vec{g}_{i} \bigl(n',n_{d}\bigr)- \mathrm{M}_{\alpha,\mathcal{B}}^{\alpha }( \vec{g}_{i}) \bigl(n',n_{d}+1\bigr) \bigr)^{q} \\ &\quad\lesssim _{m,d} \sum_{\mu =1}^{m} \biggl(\prod_{1\leq j\neq \mu \leq m} \Vert g _{i,j} \Vert _{\ell ^{1}(\mathbb{Z}^{d})}^{q} \biggr) \bigl( \Vert D_{d}g_{i,\mu } \Vert _{\ell ^{1}(\mathbb{Z}^{d})}^{(q-1)(1-\beta )} \Vert g_{i,\mu } \Vert _{\ell ^{1}( \mathbb{Z}^{d})}^{(q-1)\beta } \bigr) \\ & \qquad{}\times (\sum_{n'\in \mathbb{Z}^{d-1}}\sum _{n_{d}\in Z_{n'} ^{+}}\biggl(F\bigl(r\bigl(n',n_{d} \bigr)\bigr)^{-\frac{q(md-\alpha +\beta )}{d}} \\ &\qquad{} \times \sum_{\vec{k}\in B_{(\lambda +1)r(n',n_{d})}(n',n_{d})\cap \mathbb{Z}^{d}} \bigl\vert D_{d}g_{i,\mu }(\vec{k}) \bigr\vert \biggr)^{1-\beta } \\ & \qquad{}\times \biggl(\sum_{n'\in \mathbb{Z}^{d-1}}\sum _{n_{d}\in Z_{n'} ^{+}}(F\bigl(r\bigl(n',n_{d} \bigr)\bigr)^{-\frac{q(md-\alpha +\beta )}{d}} \sum_{\vec{k}\in B_{(\lambda +1)r(n',n_{d})}(n',n_{d})\cap \mathbb{Z}^{d}}g_{i,\mu }( \vec{k}) \biggr)^{\beta }. \end{aligned}$$
(60)

Note that

$$\begin{aligned} & \sum_{n'\in \mathbb{Z}^{d-1}}\sum _{n_{d}\in Z_{n'}^{+}}(F\bigl(r\bigl(n',n _{d} \bigr)\bigr)^{-\frac{q(md-\alpha +\beta )}{d}}\sum_{\vec{k}\in B_{(\lambda +1)(n',n_{d})}(n',n_{d})\cap \mathbb{Z}^{d}} \bigl\vert D_{d}g_{i,\mu }(\vec{k}) \bigr\vert \\ &\quad= \sum_{\vec{k}\in \mathbb{Z}^{d}} \bigl\vert D_{d}g_{i,\mu }( \vec{k}) \bigr\vert \sum_{n'\in \mathbb{Z}^{d-1}}\mathop{\sum_{ \vert n_{d} \vert \geq 2\varLambda }}_{ n_{d}\in \mathbb{Z}}(F\bigl(r\bigl(n',n _{d} \bigr)\bigr)^{-\frac{q(md-\alpha +\beta )}{d}} \\ &\qquad{} \times \chi _{\{ \vert \vec{k}-(n',n_{d}) \vert \leq (\lambda +1)r(n',n_{d}) \}}. \end{aligned}$$
(61)

Fix \(\vec{k}=(k',k_{d})\). When \(|k_{d}|<\varLambda \), note that \(|n_{d}-k_{d}|>\varLambda > 8\sqrt{d}(\lambda +1)\) and \(q(md-\alpha + \beta )>d\). Invoking Lemma 2.1, we have

$$\begin{aligned} & \sum_{n'\in \mathbb{Z}^{d-1}}\mathop{\sum _{ \vert n_{d} \vert \geq 2\varLambda }}_{ n_{d}\in \mathbb{Z}}(F\bigl(r\bigl(n',n _{d} \bigr)\bigr)^{-\frac{q(md-\alpha +\beta )}{d}} \chi _{\{ \vert \vec{k}-(n',n_{d}) \vert \leq (\lambda +1)r(n',n_{d})\}} \\ &\quad= \sum_{n'\in \mathbb{Z}^{d-1}}\mathop{\sum_{\vert n_{d} \vert \geq 2\varLambda }}_{ n_{d}\in \mathbb{Z}}(F \bigl(r\bigl(n',n _{d}\bigr)\bigr)^{-\frac{q(md-\alpha +\beta )}{d}} \chi _{\{4\sqrt{d}(\lambda +1)\leq \vert \vec{k}-(n',n_{d}) \vert \leq (\lambda +1)r(n',n_{d})\}} \\ &\quad\leq c_{d}^{-\frac{q(md-\alpha +\beta )}{d}}\sum_{n'\in \mathbb{Z}^{d-1}} \mathop{\sum_{\vert n_{d} \vert \geq 2\varLambda}}_{ n_{d}\in \mathbb{Z}} \biggl(\frac{ \vert (k'-n',k _{d}-n_{d}) \vert }{\lambda +1}-\sqrt{d} \biggr)^{-q(md-\alpha +\beta )} \\ &\quad\lesssim _{\alpha,m,d,\beta,q,\lambda }\mathop{ \sum_{ \vert \vec{n} \vert \geq \varLambda }}_{ \vec{n}\in \mathbb{Z}^{d}} \vert \vec{n} \vert ^{-q(md-\alpha +\beta )} \lesssim _{\alpha,m,d,\beta,q, \lambda }\varLambda ^{d-q(md-\alpha +\beta )} \lesssim _{\alpha,m,d,\beta,q,\lambda }\epsilon. \end{aligned}$$
(62)

When \(|k_{d}|\geq \varLambda \), we get easily from (36) that

$$ \sum_{n'\in \mathbb{Z}^{d-1}}\mathop{\sum_{|n_{d}|\geq 2\varLambda }}_{n_{d}\in \mathbb{Z}}(F \bigl(r\bigl(n',n _{d}\bigr)\bigr)^{-\frac{q(md-\alpha +\beta )}{d}} \chi _{\{|\vec{k}-(n',n_{d})|\leq (\lambda +1)r(n',n_{d})\}} \lesssim _{\alpha,m,d,\beta,q,\lambda }1. $$
(63)

It follows from (40) and (61)–(63) that

$$\begin{aligned} & \sum_{n'\in \mathbb{Z}^{d-1}}\sum _{n_{d}\in Z_{n'}^{+}}(F\bigl(r\bigl(n',n _{d} \bigr)\bigr)^{-\frac{q(md-\alpha +\beta )}{d}}\sum_{\vec{k}\in B_{(\lambda +1)r(n',n_{d})}(n',n_{d})\cap \mathbb{Z}^{d}} \bigl\vert D_{d}g_{i,\mu }(\vec{k}) \bigr\vert \\ &\quad\lesssim _{\alpha,m,d,\beta,q,\lambda,\vec{f}}\epsilon. \end{aligned}$$
(64)

Similarly,

$$\begin{aligned} & \sum_{n'\in \mathbb{Z}^{d-1}}\sum _{n_{d}\in Z_{n'}^{+}}(F\bigl(r\bigl(n',n _{d} \bigr)\bigr)^{-\frac{q(md-\alpha +\beta )}{d}} \sum_{\vec{k}\in B_{(\lambda +1)r(n',n_{d})}(n',n_{d})\cap \mathbb{Z}^{d}}g_{i,d}( \vec{k}) \\ &\quad\lesssim _{\alpha,m,d,\beta,q,\lambda,\vec{f}}\epsilon. \end{aligned}$$
(65)

Combining (60) with (40) and (64)–(65) yields (58). We get from (57)–(59) that

$$ A_{2}\lesssim _{\alpha,m,d,\beta,q,\lambda,\vec{f}}\epsilon. $$
(66)

It follows from (45)–(46), (56), and (66) that

$$ \bigl\Vert D_{l}\mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{g_{i}})-D_{l} \mathrm{M}_{\alpha,\mathcal{B}}^{\lambda }( \vec{f}) \bigr\Vert _{\ell ^{q}( \mathbb{Z}^{d})}\lesssim _{\alpha,m,d,\beta,q,\lambda,\vec{f}} \epsilon\quad \forall i\geq \max \{N_{1},N_{2}\}. $$

This yields (39) for \(l=d\).

Proof of Theorem 1.5 for \(\mathrm{M}_{\alpha, \mathcal{R}}^{\lambda }\)

The proof of Theorem 1.5 for \(\mathrm{M}_{\alpha, \mathcal{R}} ^{\lambda }\) is similar as for \(\mathrm{M}_{\alpha,\mathcal{B}}^{ \lambda }\). We only replace the norm \(|\cdot |\) with \(\|\cdot \|_{ \infty }\). The details are left to the interested reader.

References

  1. 1.

    Aldaz, J.M., Pérez Lázaro, J.: Functions of bounded variation, the derivative of the one dimensional maximal function, and applications to inequalities. Trans. Am. Math. Soc. 359(5), 2443–2461 (2007)

  2. 2.

    Bober, J., Carneiro, E., Hughes, K., Pierce, L.B.: On a discrete version of Tanaka’s theorem for maximal functions. Proc. Am. Math. Soc. 140(5), 1669–1680 (2012)

  3. 3.

    Brezis, H., Lieb, E.: A relation between pointwise convergence of functions and convergence of functionals. Proc. Am. Math. Soc. 88, 486–490 (1983)

  4. 4.

    Carneiro, E., Finder, R., Sousa, M.: On the variation of maximal operators of convolution type II. Rev. Mat. Iberoam. (2019, to appear)

  5. 5.

    Carneiro, E., Hughes, K.: On the endpoint regularity of discrete maximal operators. Math. Res. Lett. 19(6), 1245–1262 (2012)

  6. 6.

    Carneiro, E., Madrid, J., Pierce, L.B.: Endpoint Sobolev and BV continuity for maximal operators. arXiv:1708.06051v1

  7. 7.

    Carneiro, E., Mardid, J.: Derivative bounds for fractional maximal functions. Trans. Am. Math. Soc. 369, 4063–4092 (2017)

  8. 8.

    Carneiro, E., Moreira, D.: On the regularity of maximal operators. Proc. Am. Math. Soc. 136(12), 4395–4404 (2008)

  9. 9.

    Carneiro, E., Svaiter, B.F.: On the variation of maximal operators of convolution type. J. Funct. Anal. 265, 837–865 (2013)

  10. 10.

    Hajłasz, P., Maly, J.: On approximate differentiability of the maximal function. Proc. Am. Math. Soc. 138, 165–174 (2010)

  11. 11.

    Hajłasz, P., Onninen, J.: On boundedness of maximal functions in Sobolev spaces. Ann. Acad. Sci. Fenn., Math. 29(1), 167–176 (2004)

  12. 12.

    Kinnunen, J.: The Hardy–Littlewood maximal function of a Sobolev function. Isr. J. Math. 100, 117–124 (1997)

  13. 13.

    Kinnunen, J., Lindqvist, P.: The derivative of the maximal function. J. Reine Angew. Math. 503, 161–167 (1998)

  14. 14.

    Kinnunen, J., Saksman, E.: Regularity of the fractional maximal function. Bull. Lond. Math. Soc. 35(4), 529–535 (2003)

  15. 15.

    Korry, S.: Boundedness of Hardy–Littlewood maximal operator in the framework of Lizorkin–Triebel spaces. Rev. Mat. Complut. 15(2), 401–416 (2002)

  16. 16.

    Korry, S.: A class of bounded operators on Sobolev spaces. Arch. Math. 82(1), 40–50 (2004)

  17. 17.

    Kurka, O.: On the variation of the Hardy–Littlewood maximal function. Ann. Acad. Sci. Fenn., Math. 40, 109–133 (2015)

  18. 18.

    Liu, F.: A remark on the regularity of the discrete maximal operator. Bull. Aust. Math. Soc. 95, 108–120 (2017)

  19. 19.

    Liu, F.: On the regularity of one-sided fractional maximal functions. Math. Slovaca 68(5), 1097–1112 (2018)

  20. 20.

    Liu, F.: Continuity and approximate differentiability of multisublinear fractional maximal functions. Math. Inequal. Appl. 21(1), 25–40 (2018)

  21. 21.

    Liu, F.: A note on Marcinkiewicz integrals associated to surfaces of revolution. J. Aust. Math. Soc. 104, 380–402 (2018)

  22. 22.

    Liu, F.: Boundedness and continuity of maximal operators associated to polynomial compound curves on Triebel–Lizorkin spaces. Math. Inequal. Appl. 22(1), 25–44 (2019)

  23. 23.

    Liu, F., Chen, T., Wu, H.: A note on the endpoint regularity of the Hardy–Littlewood maximal functions. Bull. Aust. Math. Soc. 94, 121–130 (2016)

  24. 24.

    Liu, F., Mao, S.: On the regularity of the one-sided Hardy–Littlewood maximal functions. Czechoslov. Math. J. 67(142), 219–234 (2017)

  25. 25.

    Liu, F., Wu, H.: On the regularity of the multisublinear maximal functions. Can. Math. Bull. 58(4), 808–817 (2015)

  26. 26.

    Liu, F., Wu, H.: Endpoint regularity of multisublinear fractional maximal functions. Can. Math. Bull. 60(3), 586–603 (2017)

  27. 27.

    Liu, F., Wu, H.: Regularity of discrete multisublinear fractional maximal functions. Sci. China Math. 60(8), 1461–1476 (2017)

  28. 28.

    Liu, F., Wu, H.: On the regularity of maximal operators supported by submanifolds. J. Math. Anal. Appl. 453, 144–158 (2017)

  29. 29.

    Liu, F., Wu, H.: A note on the endpoint regularity of the discrete maximal operator. Proc. Am. Math. Soc. 147(2), 583–596 (2019)

  30. 30.

    Luiro, H.: Continuity of the maximal operator in Sobolev spaces. Proc. Am. Math. Soc. 135(1), 243–251 (2007)

  31. 31.

    Luiro, H.: On the regularity of the Hardy–Littlewood maximal operator on subdomains of \(\mathbb{R}^{d}\). Proc. Edinb. Math. Soc. 53(1), 211–237 (2010)

  32. 32.

    Madrid, J.: Sharp inequalities for the variation of the discrete maximal function. Bull. Aust. Math. Soc. 95, 94–107 (2017)

  33. 33.

    Miao, A., Zhang, T., Zhang, J., Wang, C.: Dynamics of a stochastic SIR model with both horizontal and vertical transmission. J. Appl. Anal. Comput. 8(4), 1108–1121 (2018)

  34. 34.

    Pierce, L.B.: Discrete Analogues in Harmonic Analysis. Ph.D. Thesis, Princeton University (2009)

  35. 35.

    Tanaka, H.: A remark on the derivative of the one-dimensional Hardy–Littlewood maximal function. Bull. Aust. Math. Soc. 65(2), 253–258 (2002)

  36. 36.

    Temur, F.: On regularity of the discrete Hardy–Littlewood maximal function. arXiv:1303.3993

  37. 37.

    Zhu, J., Hao, B.: A new smoothing method for solving nonlinear complementarity problems. Open Math. 17, 104–119 (2019)

Download references

Acknowledgements

The author thanks anonymous referees for their valuable suggestions.

Availability of data and materials

Not applicable.

Funding

This work was supported by the Natural Science Foundation of University Union of Science and Technology Department of Fujian Province (No. 2019J01784), the Youth Foundation of Fujian Province (Grant No. JAT170398), and the Natural Science Foundation of Fujian University of Technology (Nos. GY-Z15124, GY-Z160129).

Author information

The author read and approved the final manuscript.

Correspondence to Daiqing Zhang.

Ethics declarations

Competing interests

The author declares that there is no conflict of interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Keywords

  • Discrete multilinear fractional nontangential maximal operator
  • Discrete multilinear fractional maximal operator
  • Bounded variation
  • Continuity