Abstract
We improve the boundedness of maximal function on the spaces defined by Choquet integrals associated to both Bessel and Riesz capacities. The capacities will be generalized to functionals as a means of proof.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
This paper addresses the following boundedness issues.
Theorem 1.1
Let \(\alpha >0\) and \(s,t>1\) be such that \(\alpha s<n\), \(1/s+1/t=1\). For any \(q>t(n-\alpha s)/n\) and measurable q.e. defined function \(\varphi \), it follows that
where \(C(\alpha ,s,n,q)\) is a constant depending only on \(\alpha ,s,n\) and q.
Theorem 1.2
Let \(\alpha >0\) and \(s,t>1\) be such that \(\alpha s<n\), \(1/s+1/t=1\). For any \(q>t(n-\alpha s)/n\) and measurable q.e. defined function \(\varphi \), it follows that
where \(C(\alpha ,s,n,q)\) is a constant depending only on \(\alpha ,s,n\) and q.
Related notations are introduced as follows. Denote \({\mathcal {M}}^{\text {loc}}(\cdot )\) and \({\mathcal {M}}\) the local and global Hardy-Littlewood maximal functions respectively by
for a locally integrable function \(\varphi \) on \({\mathbb {R}}^{n}\), the Choquet integrals \(\int _{{\mathbb {R}}^{n}}|\cdot |dC\) of f that
the Bessel and Riesz capacities \(\text {Cap}_{\alpha ,s}(\cdot )\) and \(\text {cap}_{\alpha ,s}(\cdot )\) respectively of a set \(E\subseteq {\mathbb {R}}^{n}\) that
where \({\mathcal {F}}^{-1}\) is the inverse Fourier transform in \({\mathbb {R}}^{n}\). A property holds quasi-everywhere (q.e.) with respect to Bessel capacity if it holds except on a set E with \(\text {Cap}_{\alpha ,s}(E)=0\), a similar property with respect to Riesz capacity is defined canonically.
Note that the boundedness is valid for \(q<1\). A similar result is already obtained in [6] regarding the case for \(q>(n-\alpha )/n\). Nevertheless, for certain values of \(\alpha ,s,t,n\), one has \(t(n-\alpha s)/n<(n-\alpha )/n\), so Theorem 1.1 can be viewed as an improvement to the boundedness obtained in [6] for certain cases. A similar issue regarding the boundedness of maximal function associated to Hausdorff content is addressed in [7].
2 A functional generalization of capacities
In what follows, we always assume that \(\alpha >0\), \(s,t>1\), \(1/s+1/t=1\), \(n\in {\mathbb {N}}\), and that \(\alpha s<n\). Furthermore, we denote \(C_{0}\) the class of compactly supported continuous functions on \({\mathbb {R}}^{n}\) and \(C_{0}^{\infty }\) is the subclass of infinitely differentiable functions of \(C_{0}\). By \(\mathcal {LSC}\) we mean the class of lower semi-continuous functions on \({\mathbb {R}}^{n}\). Let us write \(\chi _{E}\) the characteristic function of a set \(E\subseteq {\mathbb {R}}^{n}\). The notation \(A\lesssim B\) will abbreviate the inequality that \(A\le CB\) for some constant \(C>0\) and \(A\approx B\) simply means both \(A\lesssim B\) and \(B\lesssim A\).
Let \({\mathbb {M}}\) be a space equipped with a positive measure \(\nu \). By a kernel we mean a nonnegative g on \({\mathbb {R}}^{n}\times {\mathbb {M}}\) such that \(g(\cdot ,y)\) is lower semicontinuous on \({\mathbb {R}}^{n}\) for each \(y\in {\mathbb {M}}\), and \(g(x,\cdot )\) is measurable on \({\mathbb {M}}\) for each \(x\in {\mathbb {R}}^{n}\). Suppose that \(\mu \) is a positive measure on \({\mathbb {R}}^{n}\) and f is a nonnegative \(\nu \)-measurable function, we define potentials \({\mathcal {G}}f\) and \(\check{{\mathcal {G}}}\mu \) to be
For any function \(\varphi \) on \({\mathbb {R}}^{n}\), we let
then we define \({\mathcal {C}}(\cdot )={\mathcal {C}}_{g}(\cdot )\) to be
Therefore, \({\mathcal {C}}(\cdot )\) is a generalization of the capacity \(C_{g,s}(\cdot )\) defined by
for any set \(E\subseteq {\mathbb {R}}^{n}\). We call \({\mathcal {C}}(\cdot )\) the functional generalization of \(C_{g,s}(\cdot )\).
Suppose that \({\mathbb {M}}={\mathbb {R}}^{n}\), g is said to be a radially decreasing convolution kernel if \(g(x,y)=g_{0}(|x-y|)\), where \(0\le g_{0}\in \mathcal {LSC}\), \(g_{0}\) is decreasing on \([0,\infty )\), and \(\int _{0}^{1}g_{0}(t)t^{n-1}dt<\infty \). For \(f\in L_{+}^{s}({\mathbb {R}}^{n})\), we have \({\mathcal {G}}f=g*f\). The Bessel \(G_{\alpha }(\cdot )\) and Riesz \(I_{\alpha }(\cdot )\) are radially decreasing convolution kernels. Note that
see [1, Section 1.2.4].
In the sequel, if a statement is stated with \({\mathcal {C}}(\cdot )\) without the subscript g as in \({\mathcal {C}}_{g}(\cdot )\), then the statement holds for any kernel g. We begin by introducing the following subadditivity property of \({\mathcal {C}}(\cdot )\).
Proposition 2.1
\({\mathcal {C}}(\cdot )\) is subadditive.
Proof
Let \({\mathcal {H}}\) be the set of all nonnegative functions \(\varphi \) on \({\mathbb {R}}^{n}\) such that \({\mathcal {G}}f(x)\ge \varphi (x)^{1/s}\) for some function \(f\in L_{+}^{s}(\nu )\) with \(\Vert f\Vert _{L^{s}(\nu )}\le 1\). We claim that \({\mathcal {H}}\) is convex. Suppose that \(\varphi _{1},\varphi _{2}\in {\mathcal {H}}\) and \(0<c<1\), then there are \(f_{1},f_{2}\in L_{+}^{s}(\nu )\) such that \({\mathcal {G}}f_{j}(x)\ge \varphi _{j}(x)^{1/s}\) and \(\Vert f_{j}\Vert _{L^{s}(\nu )}\le 1\) for \(j=1,2\). It follows by the reverse Minkowski’s inequality that
On the other hand, we have
As a result, the convexity of \({\mathcal {H}}\) is justified. Subsequently, we claim that
Indeed, assume that \(c>0\) and \(\varphi /c\in {\mathcal {H}}\), then some \(f\in L_{+}^{s}(\nu )\) is such that \(\Vert f\Vert _{L^{s}(\nu )}\le 1\) and that \({\mathcal {G}}f\ge (\varphi /c)^{1/s}\). It follows that \({\mathcal {G}}(c^{1/s}f)\ge \varphi ^{1/s}\) and \(c\ge c\Vert f\Vert _{L^{s}}^{s}=\Vert c^{1/s}f\Vert _{L^{s}}^{s}\ge {\mathcal {C}}(\varphi )\). Consequently, \(\inf \{c>0:\varphi \in c{\mathcal {H}}\}\ge {\mathcal {C}}(\varphi )\). On the other hand, assume that \(f\in L_{+}^{s}(\nu )\) and \({\mathcal {G}}f\ge \varphi ^{1/s}\). For any \(\epsilon >0\), we have \({\mathcal {G}}\left( f/(\Vert f\Vert _{L^{s}(\nu )}+\epsilon )\right) \ge \left( \varphi /(\Vert f\Vert _{L^{s}(\nu )}+\epsilon )^{s}\right) ^{1/s}\) and hence \(\varphi \in (\Vert f\Vert _{L^{s}(\nu )}+\epsilon )^{s}\cdot {\mathcal {H}}\). It follows that \((\Vert f\Vert _{L^{s}(\nu )}+\epsilon )^{s}\ge \inf \{c>0:\varphi \in c{\mathcal {H}}\}\) and the arbitrariness of \(\epsilon >0\) yields that \({\mathcal {C}}(\varphi )\ge \inf \{c>0:\varphi \in c{\mathcal {H}}\}\). Therefore, (2.1) is justified and the subadditivity of \({\mathcal {C}}(\cdot )\) then follows. \(\square \)
Next, \({\mathcal {C}}(\cdot )\) possesses the outer regularity in the sense that
Proposition 2.2
For any \(\varphi \ge 0\), it holds \({\mathcal {C}}(\varphi )=\inf \{{\mathcal {C}}(\psi ):\psi \ge \varphi , \psi \in \mathcal {LSC}\}\).
Proof
We assume that \({\mathcal {C}}(\varphi )<\infty \). Let \(\epsilon >0\) be given. There is an \(f\in L_{+}^{s}(\nu )\) such that \({\mathcal {G}}f\ge \varphi \) and that \(\Vert f\Vert _{L^{s}(\nu )}^{s}<{\mathcal {C}}(\varphi )+\epsilon \). We write \(\left( ({\mathcal {G}}f)^{s}\right) ^{1/s}={\mathcal {G}}f\), then it follows by definition of \({\mathcal {C}}(\cdot )\) that \({\mathcal {C}}\left( ({\mathcal {G}}f)^{s}\right) \le \Vert f\Vert _{L^{s}(\nu )}^{s}\) and hence \({\mathcal {C}}\left( ({\mathcal {G}}f)^{s}\right) <{\mathcal {C}}(\varphi )+\epsilon \). Now we note that \({\mathcal {G}}f\in \mathcal {LSC}\) (see [1, Proposition 2.3.2]). \(\square \)
The aforementioned regularity resembles the property of capacity that
for any set \(E\subseteq {\mathbb {R}}^{n}\).
The next three propositions are the generalization of [1, Proposition 2.3.9], [1, Theorem 2.3.10], and [1, Proposition 2.3.12] respectively, which the proofs are almost identical and hence will be omitted. However, there are much to say about Proposition 2.4. In [1, Theorem 2.3.10], for any subset E of \({\mathbb {R}}^{n}\) with \(C_{g,s}(E)<\infty \), there is a unique capacitary function \(f^{E}\) of E such that \(f^{E}\in L_{+}^{s}(\nu )\) and \({\mathcal {G}}f^{E}\ge 1\) \((C_{g,s})\)-q.e. on E, and
We also call \({\mathcal {G}}f^{E}\) as the capacitary potential of E. As a generalization, in the following Proposition 2.4, given any nonnegative \(\varphi \), the term \(f_{\varphi }\) will serve as the capacitary function of \(\varphi \), and \({\mathcal {G}}f_{\varphi }\) is then the capacitary potential of \(\varphi \) for which \({\mathcal {G}}f_{\varphi }(x)\ge \varphi (x)^{1/s}\) q.e. and
Proposition 2.3
For any \(\varphi \ge 0\), by denoting \(\overline{\Omega }_{\varphi }\) the closure of \(\Omega _{\varphi }\) in \(L^{s}(\nu )\), it follows that
Proposition 2.4
Let \(\varphi \ge 0\) and \({\mathcal {C}}(\varphi )<\infty \), then there is a unique \(f_{\varphi }\in L_{+}^{s}(\nu )\) such that \({\mathcal {G}}f_{\varphi }(x)\ge \varphi (x)^{1/s}\) q.e. with respect to \(C_{g,s}\), and
Proposition 2.5
If \(\{\varphi _{i}\}_{i=1}^{\infty }\) is an increasing sequence of nonnegative functions with \(\varphi =\sup \varphi _{i}\), then
As a result of Proposition 2.5, we obtain the Fatou property of \({\mathcal {C}}(\cdot )\) that
Proposition 2.5 also resembles the property of capacity that
for any increasing sequence \(\{E_{i}\}\) of arbitrary subsets of \({\mathbb {R}}^{n}\) with union E.
The following Corollary 2.6 addresses the countably subadditivity of \({\mathcal {C}}(\cdot )\), which is a direct consequence of the Fatou property of \({\mathcal {C}}(\cdot )\).
Corollary 2.6
Let \(\varphi _{i}\ge 0\), \(i=1,2,...\), it follows that
The Fatou property of \({\mathcal {C}}(\cdot )\) also entails the following corollary once we recall the fact that for any nonnegative \(\varphi \in \mathcal {LSC}\), there is an increasing sequence \(\{\psi _{i}\}\) of \(C_{0}\) such that \(\psi _{i}(x)\uparrow \varphi (x)\) pointwise everywhere.
Corollary 2.7
For any \(0\le \varphi \in \mathcal {LSC}\), it holds
The above corollary resembles the property of capacity that
for any open set G.
Theorem 2.8
Assume that g is a radially decreasing kernel, then
In particular, we have
for any set \(E\subseteq {\mathbb {R}}^{n}\).
Proof
First of all, we have the capacitary strong type inequality that
(see [1, Theorem 7.1.1]) which shows that
Furthermore, let us write that
By re-examining the proof of [1, Proposition 7.4.1] and combining Corollary 2.6, we deduce the estimate that
for any fixed constant \(c>1\). In fact, (2.4) holds regardless of whether g is a radially decreasing convolution kernel. Therefore, (2.3) is then established. \(\square \)
The following proposition characterizes the zeros of \({\mathcal {C}}(\cdot )\).
Proposition 2.9
Let \(\varphi \ge 0\), then \({\mathcal {C}}(\varphi )=0\) if and only if there is a \(f\in L_{+}^{s}(\nu )\) such that
Proof
First we prove for sufficiency. We have
for any \(\lambda >0\), it follows that \({\mathcal {C}}\left( \chi _{({\mathcal {G}}f)^{-1}(\{+\infty \})}\right) =0\) and hence
We deduce from (2.4) that \({\mathcal {C}}(\varphi )=0\). Note that \({\mathcal {C}}(\chi _{E})=C_{g,s}(E)\) for any set \(E\subseteq {\mathbb {R}}^{n}\) and (2.4) holds regardless of whether g is a radially decreasing convolution kernel.
Now we prove for necessity. Assuming that \({\mathcal {C}}(\varphi )=0\), then we can choose \(f_{i}\in L_{+}^{s}(\nu )\) such that \({\mathcal {G}}f_{i}\ge \varphi ^{1/s}\) and that \(\Vert f_{i}\Vert _{L^{s}(\nu )}^{s}<2^{-is}\) for \(i=1,2,...\) The function \(f=\sum _{i}f_{i}\) satisfies that \({\mathcal {G}}f(x)\ge \sum _{i}{\mathcal {G}}f_{i}(x)=\infty \) for \(\varphi (x)>0\) and that \(\Vert f\Vert _{L^{s}(\nu )}<1\). \(\square \)
Recall that we have the dual definition of the capacity that
for any compact set \(K\subseteq {\mathbb {R}}^{n}\), \(1/s+1/t=1\), and \({\mathscr {M}}^{+}(K)\) is the space of positive measures on K (see [1, Theorem 2.5.1]). The following Theorem 2.10 corresponds to the dual definition of \({\mathcal {C}}(\cdot )\) under certain conditions imposed to the kernel g. Throughout Theorems 2.10 and 2.11 we will assume that \({\mathbb {M}}\) is locally compact and that
for some functions \(\phi :{\mathbb {R}}^{n}\times {\mathbb {M}}\rightarrow [0,+\infty )\) and \(h:[0,+\infty )\rightarrow (0,+\infty ]\), where \(\phi (F\times K)\) is bounded for any compact sets \(F\subseteq {\mathbb {R}}^{n},K\subseteq {\mathbb {M}}\), and h is decreasing. If \(g(x)=g_{0}(|x|)>0\) is a radially decreasing convolution kernel, then \({\mathbb {M}}={\mathbb {R}}^{n}\) and we can simply take \(h=g_{0}\) and \(\phi (x,y)=|x-y|\).
Theorem 2.10
Suppose that the kernel g satisfies the condition (2.5). For any function \(\varphi \) with compact support \(supp (\varphi )\), if
is continuous with \(\min _{supp (\varphi )}\varphi >0\), then
Proof
The following proof is modified from [2, Theorem 6.1]. For any \(\psi \ge 0\), let
then by letting \(\psi =\varphi ^{1/s}\), we are to prove that
Let
and
We also let
and
We claim that
The sets \({\mathcal {M}}_{\psi }\) and \({\mathcal {F}}\) are convex. The set \({\mathcal {M}}_{\psi }\) is vaguely compact by the observation that \(\mu (\text {supp}(\psi ))\le (\min _{\text {supp}(\psi )}\psi )^{-1}\) for \(\mu \in {\mathcal {M}}_{\psi }\) and the Banach-Alaoglu Theorem. The linearity of the maps
and the continuity of the second map allow us to invoke Fan’s Minimax Theorem (see [1, Theorem 2.4.1]), and hence (2.6) follows by the minimax theorem. We are now to show that
and
We begin by showing that
We could assume that \({\mathcal {D}}(\psi )<\infty \). For any \(\epsilon >0\), there is an \(f_{\epsilon }\in L_{+}^{s}(\nu )\) such that \({\mathcal {G}}f_{\epsilon }\ge \psi \) and
As a result,
For any \(\mu \in {\mathcal {M}}_{\psi }\), we have
Thus,
which implies that \({\mathcal {D}}(\psi )+\epsilon \ge {\mathcal {D}}_{1}(\psi )\), so (2.9) follows. Now we show that
We assume that \({\mathcal {D}}_{1}(\psi )<\infty \). For any \(\epsilon >0\), there is a \(f_{\epsilon }\in {\mathcal {F}}\) such that
Thus,
Fix an \(x\in \text {supp}(\psi )\), and let \(d\mu =(\psi (x))^{-1}d\delta _{x}\), where \(d\delta _{x}\) is the point mass measure at x, then \(\int _{{\mathbb {R}}^{n}}\psi (x)d\mu =1\) and hence
Since \(\Vert f_{\epsilon }\Vert _{L^{s}(\nu )}\le 1\), we get
so (2.10) follows and hence (2.7). We are now to show (2.8). As before, we will separate the cases to
and
We note that \({\mathcal {M}}_{1}(\psi )\ge 0\) since \(0\in {\mathcal {F}}\). Assume at the moment that
we invoke the dual pair \((L^{t}(\nu ),L^{s}(\nu ))\), then for every \(\epsilon >0\), there is a measure \(\mu \in {\mathcal {M}}_{\psi }\) satisfying
Set \(\sigma =\Vert \check{{\mathcal {G}}}\mu \Vert _{L^{t}(\nu )}^{-1}\mu \), we get
so (2.11) follows. Now we justify (2.12). For any \(\mu \in {\mathscr {M}}^{+}(\text {supp}(\psi ))\) with \(\Vert \check{{\mathcal {G}}}\mu \Vert _{L^{s}(\nu )}\le 1\), and \(f\in {\mathcal {F}}\), set \(\sigma =\left( \int _{{\mathbb {R}}^{n}}\psi (x)d\mu \right) ^{-1}\mu \), we have
by the dual pair \((L^{t}(\nu ),L^{s}(\nu ))\). Therefore,
which implies (2.12), so (2.8) is established as well.
We now justify (2.13). Assume the contrary that a sequence \(\{\mu _{j}\}\subseteq {\mathcal {M}}_{\psi }\) is such that
By the dual pair \((L^{t}(\nu ),L^{s}(\nu ))\), we get immediately that
Denote \(F=\text {supp}(\psi )\) and choose a compact set \(K\subseteq {\mathbb {M}}\) such that \(\nu (K)>0\). Let \(\eta _{0}>0\) be such that \(\phi (x,y)<\eta _{0}\) for all \(x\in F\) and \(y\in K\), see the notations in (2.5). We have
then \(\mu _{j}(F)\le \Vert \check{{\mathcal {G}}}\mu _{j}\Vert _{L^{t}(\nu )}(h(\eta _{0})\nu (K))^{-1}\), and hence the sequence \(\{\mu _{j}(F)\}\) is bounded. By Banach-Alaoglu Theorem, there exists a subnet \(\{\mu _{j_{k}}\}\) converging vaguely to a measure \(\mu \) and hence \(\int _{{\mathbb {R}}^{n}}\psi (x)d\mu =1\). On the other hand, we have \(\mu _{j_{k}}(F)\rightarrow 0\), so \(\int _{{\mathbb {R}}^{n}}\psi (x)d\mu =0\), we get a contradiction, and (2.13) follows. \(\square \)
By the dual definition of capacity, one obtains the capacitary measure \(\mu ^{K}\in {\mathcal {M}}^{+}(K)\) for K such that \(f^{K}=(\check{{\mathcal {G}}}\mu ^{K})^{t-1}\), and
(see [1, Theorem 2.5.3]). The following theorem is a counterpart for the case of \({\mathcal {C}}(\cdot )\), and we call \(\mu _{\varphi }\) the capacitary measure for \(\varphi \).
Theorem 2.11
Suppose that the kernel g satisfies the condition (2.5). For any function \(\varphi \) with compact support \(supp (\varphi )\), if
is continuous with \(\min _{supp (\varphi )}\varphi >0\), then there is a \(\mu _{\varphi }\in {\mathscr {M}}^{+}(supp (\varphi ))\) such that \(f_{\varphi }=(\check{G}\mu _{\varphi })^{1/(s-1)}\), and
Proof
Let \(\{\mu _{i}\}\) be a sequence in \({\mathscr {M}}^{+}(\text {supp}(\varphi ))\) such that \(\Vert \check{{\mathcal {G}}}\mu _{i}\Vert _{L^{t}(\nu )}=1\) and
Since \(\mu _{i}(\text {supp}(\varphi ))\le (\min _{\text {supp}(\varphi )}\varphi )^{-1}\) for all \(i=1,2,...\), we can assume that \(\{\mu _{i}\}\) converges vaguely to a measure \(\mu \in {\mathscr {M}}^{+}(\text {supp}(\varphi ))\), and hence
By [1, Proposition 2.3.2], \(\check{{\mathcal {G}}}\mu (y)\in \mathcal {LSC}\) on \({\mathscr {M}}^{+}(\text {supp}(\varphi ))\) for each \(y\in {\mathbb {M}}\), it follows that \(\Vert \check{{\mathcal {G}}}\mu \Vert _{L^{t}(\nu )}\le 1\), and thus, \(\Vert \check{{\mathcal {G}}}\mu \Vert _{L^{t}(\nu )}=1\) by Theorem 2.10.
Now we let
then
On the other hand,
Let \(f_{\varphi }\) be the capacitary function for \(\varphi \) in Theorem 2.4, so that \({\mathcal {G}}f_{\varphi }(x)\ge \varphi (x)^{1/s}\) q.e. with respect to \(C_{g,s}\). Let
and \(K\subseteq S\) be a compact set, then \(C_{g,s}(K)=0\). Applying Theorem 2.10 to the function \(\chi _{K}\), we have
and hence \(\mu _{\varphi }(K)=0\). As S is a Borel set, it follows that \(\mu _{\varphi }(S)=0\) and hence \({\mathcal {G}}f_{\varphi }(x)\ge \varphi (x)^{1/s}\) a.e. with respect to \(\mu _{\varphi }\). By Fubini’s theorem and Hölder’s inequality, we have
The equality in Hölder’s inequality implies that \((f_{\varphi })^{s}=(\check{G}\mu _{\varphi })^{t}\). \(\square \)
On the other hand, one may suspect whether we can weaken the q.e. condition in Proposition 2.3. In fact, for any set \(E\subseteq {\mathbb {R}}^{n}\), one has
where the infimum is taken for all \(f\in L_{+}^{s}({\mathbb {R}}^{n})\) such that \(G_{\alpha }*f(x)\ge 1\) a.e. on some neighborhood of E (see [1, Corollary 2.6.8]). Before looking at the general case for \({\mathcal {C}}(\cdot )\), we need the following lemma, which is a simple generalization of [1, Proposition 2.6.7].
Lemma 2.12
Suppose that \(g(x)=g_{0}(|x|)\) is a radially decreasing convolution kernel, continuous on \({\mathbb {R}}^{n}\setminus \{0\}\), and such that \(\int _{|x|>1}g(x)^{t}dx<\infty \). Assume that there is an L and a \(\delta >0\) such that \(g_{0}\) satisfies
Let \(f\in L_{+}^{s}({\mathbb {R}}^{n})\), \(0\le \varphi \in \mathcal {LSC}\), and suppose that \(g*f(x)\ge \varphi (x)\) a.e. on an open set U, then \(g*f(x)\ge \varphi (x)\) everywhere on U.
Proof
Without loss of generality, we can assume that \(g*f(x)\ge \varphi (x)\) a.e. on a neighborhood of 0, and prove that \(g*f(0)\ge \varphi (0)\). We can also assume that
Let \(0<a<b\) and define a weight function \(\eta _{a,b}\) by
and \(\eta _{a,b}(x)=0\) otherwise. We set \(G(r)=\int _{|y|<r}g(y)dy\), it follows that \(\int _{{\mathbb {R}}^{n}}\eta _{a,b}(x)dx=\log G(b)-\log G(a)\). Since \(\int _{0}^{1}g_{0}(t)t^{n-1}dt<\infty \), we have \(\lim _{a\rightarrow 0}G(a)=0\). For any \(b>0\), we can choose an \(a>0\) such that \(\int _{{\mathbb {R}}^{n}}\eta _{a,b}(x)dx=1\).
For small enough \(b>0\),
Fix a \(\rho \) such that \(0<\rho \le \delta \). Then,
uniformly for \(|y|\ge \rho \), and also
Thus, for any \(0<R<\infty \) and \(\epsilon >0\),
and
if \(R>0\) is large enough.
To estimate \(\eta _{a,b}*g(y)\) for \(|y|\le \rho \), we observe that if \(|x-y|\le 2^{-1}|y|\), then \(|x|\ge 2^{-1}|y|\), and \(|x|\ge |x-y|\). Thus,
On the other hand,
The assumption (2.16) gives that \(\eta _{a,b}*g(y)\le 2Lg(y)\) for \(|y|\le 2\delta \), and thus
if \(\rho >0\) is small enough.
We obtain from (2.17) and the lower semi-continuity of \(\varphi \) that
The proposition follows if \(\rho \rightarrow 0\) and \(R\rightarrow \infty \). \(\square \)
As a corollary, we have the following result.
Corollary 2.13
Let g be a kernel satisfying the conditions in Lemma 2.12. For any \(0\le \varphi \in \mathcal {LSC}\), it follows that
where the infimum is taken for all \(f\in L_{+}^{s}({\mathbb {R}}^{n})\) such that \(g*f(x)\ge \varphi (x)^{1/s}\) a.e.
The proof of Theorem 1.1 will be given independently in Sect. 3 as an application of the functional generalization of local Riesz capacities. However, if we seek for the proof of Theorem 1.1 under the range that \(s>2-\alpha /n\), one may apply the functional generalization of Bessel capacities without the technicalities as in Sect. 3 (see Sect. 4 for the remarks). The proof of Theorem 1.2 will be put in the last section.
3 Local Riesz capacities and proof of Theorem 1.1
In this section we will review some background materials about the local Riesz capacities. The following approach is adopted from [8, Section 3.6.1], which is equivalent to [1, Section 4.4]. As usual, we denote \(\alpha >0\), \(s,t>1\), \(1/s+1/t=1\), \(n\in {\mathbb {N}}\), and that \(\alpha s<n\).
Let \(\chi =\chi _{B_{1}(0)}\), \({\mathbb {M}}={\mathbb {R}}^{n}\times {\mathbb {R}}\), and \(0<\rho <\infty \). Define the kernel \(g_{\rho }\) on \({\mathbb {R}}^{n}\times {\mathbb {M}}\) by \(g_{\rho }(x,(y,z))=z^{-(n-\alpha )}\chi _{(0,\rho )}(z)\chi ((x-y)/z)\). We also define the measure \(\nu _{\rho }\) on \({\mathbb {M}}\) by
If f is a function on \({\mathbb {M}}\), we see that
Besides that, for \(\mu \in {\mathscr {M}}^{+}({\mathbb {R}}^{n})\), it follows that
We define the local Riesz capacity \({\mathcal {R}}_{\alpha ,s,\rho }(\cdot )\) by
for any set \(E\subseteq {\mathbb {R}}^{n}\), and the corresponding functional \({\mathcal {C}}_{{\mathcal {R}},\rho }(\cdot )\) is defined by
for any \(\varphi \ge 0\). Subsequently, the nonlinear potential \({\mathcal {V}}_{\rho }^{\mu }\) is defined by \({\mathcal {V}}_{\rho }^{\mu }={\mathcal {G}}_{\rho }((\check{{\mathcal {G}}}_{\rho }\mu )^{1/(s-1)})\) and hence
For any compact set \(K\subseteq {\mathbb {R}}^{n}\), the capacitary measure \(\mu ^{K}\) has the properties that
and such that
On the other hand, we also define the Wolff potential \(W_{\rho }^{\mu }\) by
We observe that \(B_{z}(y)\subseteq B_{2z}(x)\) for \(|x-y|<z\), and hence
Besides that, \(B_{z}(x)\subseteq B_{2z}(y)\) for \(|x-y|<z\) by symmetry, then
Therefore, we obtain the estimate that
On the other hand, let us recall the inhomogeneous Riesz kernel \({\mathcal {I}}_{\alpha ,\rho }(\cdot )\) and nonlinear inhomogeneous Riesz potential \(V_{\rho }^{\mu }\) defined by
and \(V_{\rho }^{\mu }={\mathcal {I}}_{\alpha ,\rho }(({\mathcal {I}}_{\alpha ,\rho }\mu )^{1/(s-1)})\) respectively. A Wolff type inequality says that
see [8, Theorem 3.6.6]. By an application of Fubini’s theorem, one has
then we deduce from (3.3) that
see the proof of [8, Lemma 3.3.8]. As a consequence, we combine (3.1), (3.2), and (3.4) to obtain the estimate that
and hence
Following the similar reasoning given in the proof of [8, Theorem 3.3.7], we conclude by the equivalence in (3.5) that
for any \(E\subseteq {\mathbb {R}}^{n}\).
The equivalence in (3.6) suggests the following fact.
Proposition 3.1
For any \(\varphi \ge 0\), it holds \({\mathcal {C}}_{{\mathcal {R}},\rho }(\varphi )\approx {\mathcal {C}}_{G_{\alpha }}(\varphi )\).
The proof needs several technical lemmas. First of all, let us address the quasi-subadditivty of \({\mathcal {C}}_{{\mathcal {R}},\rho }(\cdot )\) as the following shown.
Lemma 3.2
Let \(\{{\mathcal {B}}_{j}\}_{j\ge 0}\) be a covering of \({\mathbb {R}}^{n}\) by balls with unit diameter. Let this covering have a finite multiplicity, depending only on n. It follows that
for any \(\varphi \ge 0\).
Proof
By subadditivity of \({\mathcal {C}}_{{\mathcal {R}},\rho }(\cdot )\), we just need to address on
We start with an observation that
We note that by Proposition 2.9 (or simply [1, Proposition 2.3.7]), the term \({\mathcal {G}}_{\rho }f(x)={\mathcal {G}}_{\rho }f^{+}(x)-{\mathcal {G}}_{\rho }f^{-}(x)\) is defined and finite q.e. with respect to \({\mathcal {R}}_{\alpha ,s,\rho }(\cdot )\). Suppose that \({\mathcal {G}}_{\rho }f(x)\ge \varphi (x)^{1/s}\) for such an x, then \({\mathcal {G}}_{\rho }f^{+}(x)\ge \varphi (x)^{1/s}\). We also have \(\Vert f^{+}\Vert _{L^{s}(\nu _{\rho })}\le \Vert f\Vert _{L^{s}(\nu _{\rho })}\), then (3.7) follows by Propositions 2.3 and 2.4.
Now we pick an \(f\in L^{s}(\nu )\) such that \(G_{\rho }f\ge \varphi ^{1/s}\) q.e. as in (3.7). Let \(O_{j}\) be the center of \({\mathcal {B}}_{j}\), \(O_{0}=0\), and \(\eta _{j}=\eta (x-O_{j})\), where \(\eta \in C_{0}^{\infty }(2{\mathcal {B}}_{0})\) and \(\eta =1\) on \({\mathcal {B}}_{0}\), then \(({\mathcal {G}}_{\rho }f)\eta _{j}\ge \varphi ^{1/s}\chi _{{\mathcal {B}}_{j}}\) q.e. and hence
Now we appeal to Strichartz formula that
(see [4, Theorem 3.1.2]), we obtain
then the result follows by (3.7). \(\square \)
Lemma 3.3
For any function \(\varphi \) with compact support \(supp (\varphi )\) and
if \(\varphi |_{supp (\varphi )}\) is continuous with \(\min _{supp (\varphi )}\varphi >0\), then
Proof
This lemma does not follow immediately by Theorem 2.10 since it is not clear if the defining kernel satisfies (2.5). We let \(F=\text {supp}(\phi )\), by re-examining the proof of Theorem 2.10, one only needs to deduce from (2.14) that the sequence \(\{\mu _{j}(F)\}\) is bounded.
Let \(\{B_{\rho /4}(O_{k})\}_{k\ge 0}\) be a covering for \({\mathbb {R}}^{n}\) with finite multiplicity and denote \({\mathcal {B}}_{k}=B_{\rho /4}(O_{k})\). Then there is a dimensional constant \(c_{n}\) such that the set \({\mathcal {N}}=\{k:{\mathcal {B}}_{k}\cap F\ne \emptyset \}\) has elements no more than \(c_{n}\). As a consequence,
where the dimensional constant \(C_{n}\) in (3.8) depends on the multiplicity of \(\{{\mathcal {B}}_{j}\}_{j\ge 0}\). Finally, we note that
so the sequence \(\{\mu _{j}(F)\}\) is bounded. \(\square \)
Proof of Proposition 3.1
Suppose that \(\varphi \) is given as in the assumption of Lemma 3.3 and \(\mu \in {\mathscr {M}}^{+}(\text {supp}(\varphi ))\). We have
see [1, Theorem 3.6.2], then we deduce from (3.3) and (3.5) that
Keep in mind that \({\mathcal {V}}_{\rho }^{\mu }={\mathcal {G}}_{\rho }((\check{{\mathcal {G}}}_{\rho }\mu )^{1/(s-1)})\) and
then \({\mathcal {C}}_{{\mathcal {R}},\rho }(\varphi )\approx {\mathcal {C}}_{G_{\alpha }}(\varphi )\) follows by Theorem 2.10 and Lemma 3.3.
Now we drop the assumption that \(\text {diam}(\text {supp}(\varphi ))<1\). Lemma 3.2 implies
Indeed, the last \(\approx \) follows by the quasi-additivity of \({\mathcal {C}}_{G_{\alpha }}(\cdot )\) which the proof is exactly the same as in Lemma 3.2.
Now we assume that \(\varphi \in C_{0}\). Let \(\varphi _{n}=(\varphi +n^{-1})\chi _{\text {supp}(\varphi )}\), we get
Taking \(n\rightarrow \infty \), we have \({\mathcal {C}}_{{\mathcal {R}},\rho }(\varphi )\lesssim {\mathcal {C}}_{G_{\alpha }}(\varphi )\). By symmetry and (3.6), one obtains \({\mathcal {C}}_{{\mathcal {R}},\rho }(\varphi )\approx {\mathcal {C}}_{G_{\alpha }}(\varphi )\).
Now we assume that \(\varphi \in \mathcal {LSC}\) and pick a \(0\le \psi \in C_{0}\), so
By Corollary 2.7, one has \({\mathcal {C}}_{{\mathcal {R}},\rho }(\varphi )\lesssim {\mathcal {C}}_{G_{\alpha }}(\varphi )\), the other direction follows by symmetry.
One can argue by Proposition 2.2 for the general case that \(\varphi \ge 0\), the result now follows. \(\square \)
In the sequel, for any \(\mu \in {\mathscr {M}}^{+}({\mathbb {R}}^{n})\) and \(\rho >0\), we denote
Lemma 3.4
Let \(\rho >0\) and \(x\in {\mathbb {R}}^{n}\). For any compactly supported positive measure \(\mu \), it follows that
In other words,
Proof
Let \(0<\delta \le \rho \) be determined later. We write
We have
On the other hand,
In view of (3.9), we can actually assume that \(\mu \) is supported in \(B_{\rho }(x)\), then
If we choose
it satisfies that \(0<\delta \le \rho \) and
then (3.9) follows by routine simplification of (3.10) and (3.11). \(\square \)
The following proposition addresses the fact that \(W_{\rho }^{\mu }\) satisfies the almost Muckenhoupt local \(A_{1}\) condition.
Proposition 3.5
For \(0<\delta <n(s-1)/(n-\alpha s)\), and \(x_{0}\in {\mathbb {R}}^{n}\), it follows that
In other words,
Proof
Let \(0<r<1\) be fixed. We are to estimate
where
For the integral \(I_{1}\), we can assume that \(\mu \) is supported in \(B_{2r}(x_{0})\). By Lemma 3.4, it suffices to estimate
Let \(p=\delta (n-\alpha s)/(n(s-1))<1\), we appeal to the inequality that
for any measurable set \(E\subseteq {\mathbb {R}}^{n}\) with \(|E|<\infty \) and \(F\in L^{1,\infty }(E)\), here \(L^{1,\infty }(E)\) is the weak Lebesgue space on E (see [3, Exercise 1.1.11]). As a consequence,
where we have used the weak type (1, 1) boundedness of \({\mathcal {M}}(\cdot )\) in (3.13), where
and note that \({\mathcal {M}}_{r}(\cdot )\le {\mathcal {M}}(\cdot )\) for all \(r>0\).
For the integral \(I_{2}\), we observe that \(B_{z}(x)\subseteq B_{2z}(x_{0})\) for \(x\in B_{r}(x_{0})\) and \(z>r\), this gives
then (3.12) follows by combining (3.14) and (3.15). \(\square \)
Proof of Theorem 1.1
The result in [6] has tackled the case for \(q\ge 1\). Therefore, we assume that \(t(n-\alpha s)/n<q<1\). Suppose that \(\varphi \) is given as in the assumption of Lemma 3.3. It suffices to prove that
which in turn is equivalent to
by Proposition 3.1. Let \(\mu =\mu _{\varphi }\) be the capacitary measure for \(\varphi \) such that \({\mathcal {V}}_{1}^{\mu }={\mathcal {G}}_{1}((\check{{\mathcal {G}}}_{1}\mu )^{1/(s-1)})\ge \varphi ^{q/s}\) and that
By (3.1), we see that \(\varphi ^{q/s}\lesssim W_{2}^{\mu }\) and hence \({\mathcal {M}}^{\text {loc}}\varphi \lesssim {\mathcal {M}}^{\text {loc}}((W_{2}^{\mu })^{s/q})\). Using Proposition 3.5, one obtains \(({\mathcal {M}}^{\text {loc}}\varphi )^{q/s}\lesssim W_{4}^{\mu }\) provided that
which holds by the assumption that \(q>t(n-\alpha s)/n\). As a consequence, \(({\mathcal {M}}^{\text {loc}}\varphi )^{q/s}\lesssim {\mathcal {V}}_{8}^{\mu }\) by (3.1) again. By the definition of \({\mathcal {C}}_{{\mathcal {R}},8}(\cdot )\) and Wolff’s inequality, we have
so (3.16) follows.
We are now to extend the validity of (3.16) for general \(\varphi \ge 0\). If we drop that \(\text {diam}(\text {supp}(\varphi ))<1\), we can argue by Lemma 3.2 that
where we have used the elementary inequality that \((\sum _{j}a_{j})^{q}\le \sum _{j}a_{j}^{q}\) for \(a_{j}\ge 0\) and \(0<q<1\). Taking \({\mathcal {C}}_{{\mathcal {R}},8}(\cdot )\) both sides,
so (3.16) follows by the finite multiplicity of \(\{{\mathcal {B}}_{j}\}\).
For the case that \(\varphi \in C_{0}\), one can argue as in Proposition 3.1. Now assuming that \(\varphi \in \mathcal {LSC}\), find a sequence \(\{\varphi _{n}\}\) of \(C_{0}\) such that \(\varphi _{n}(x)\uparrow \varphi (x)\), then (3.16) follows by the Fatou property of \({\mathcal {C}}_{{\mathcal {R}},\rho }(\cdot )\). The general case that \(\varphi \ge 0\) can be argued by the outer regularity of \({\mathcal {C}}_{{\mathcal {R}},\rho }(\cdot )\), the proof is now complete. \(\square \)
4 Concluding remarks and proof of Theorem 1.2
As a maneuver for the proof of Theorem 1.1, we replace the Choquet integrals \(\int _{{\mathbb {R}}^{n}}\left| \cdot \right| dC\) with the functionals \({\mathcal {C}}(\cdot )\). In proving Theorem 1.1, the countably subadditivity in (3.17) is crucial. However, the Choquet integral is generally not subadditive but
for \(f,g\ge 0\), so it fails to be countably subadditive generally. We also use approximation by outer regularity of \({\mathcal {C}}(\cdot )\) which the Choquet integral seems to be lacking. As in Proposition 2.11, we are able to switch the functional \({\mathcal {C}}(\cdot )\) to the regular integral associated to the nonlinear potential and Proposition 3.5 comes into play subsequently, it is unknown if the Choquet integral can be switched to the form of (2.15).
On the other hand, one has the exact Muckenhoupt local \(A_{1}\) condition for \(G_{\alpha }((G_{\alpha }*\mu )^{1/(s-1)})\) that
for \(0<\delta <n(s-1)/(n-\alpha s)\) and \(s>2-\alpha /n\). Therefore, for the case that \(s>2-\alpha /n\), one may prove Theorem 1.1 without going through the materials regarding local Riesz capacities, it suffices to replace (3.12) with (4.1) in Proposition 3.5. However, for the case that \(s\le 2-\alpha /n\), (4.1) holds only for \(0<\delta <n/(n-\alpha )\) and the bound \(n/(n-\alpha )\) is simply too crude for our purpose. Meanwhile, Proposition 3.5 holds for any \(s>1\) with the expected bound. There is no need to obtain the exact Muckenhoupt local \(A_{1}\) condition in proving Theorem 1.1 since all the functionals \({\mathcal {C}}_{{\mathcal {R}},\rho }(\cdot )\) are equivalent for any \(\rho >0\).
A way of proving Theorem 1.2 can be described in few lines. As contrast to the machinery in Sect. 3, we start with
One has
The most crucial proposition as contrast to that of (3.12) is the following.
for \(0<\delta <n(s-1)/(n-\alpha s)\), and \(x_{0}\in {\mathbb {R}}^{n}\). The proof now follows in the same fashion as Theorem 1.1.
We end this section by giving another remarks about \({\mathcal {C}}(\cdot )\). In [6] we have showed that
where \({\mathcal {Z}}=M_{t}^{\alpha ,s}\), \(1/s+1/t=1\), is the Sobolev Multiplier space, and \({\mathcal {Z}}'\) is the Köthe dual of \({\mathcal {Z}}\), see [5] for details. There are some reasons that we do not take \({\mathcal {I}}(\cdot )\) as a functional generalization of the capacity. The subadditivity of \({\mathcal {I}}(\cdot )\) holds apparently, but it is unclear that \({\mathcal {I}}(\cdot )\) has the Fatou property as in (2.2). It is also unclear that \({\mathcal {I}}(\cdot )\) satisfies the inner or outer regularity. Since \({\mathcal {Z}}'\) is not reflexive nor uniformly convex in general, Proposition 2.4 fails to hold for \({\mathcal {I}}(\cdot )\), neither will do for Theorem 2.11. In some sense, it is the reflexivity and uniformly convexity of the space \(L^{s}({\mathbb {R}}^{n})\) that makes \({\mathcal {C}}(\cdot )\) having those specific properties, which \({\mathcal {I}}(\cdot )\) is lacking. As a consequence, we will take \({\mathcal {C}}(\cdot )\) rather than \({\mathcal {I}}(\cdot )\) as the functional generalization of the capacity.
References
Adams, D.R., Hedberg, L.I.: Function spaces and potential theory. In: Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 314, p. xii+366. Springer, Berlin (1996)
Adams, D.R., Xiao, J.: Nonlinear potential analysis on Morrey spaces and their capacities. Indiana Univ. Math. J. 53(6), 1629–1663 (2004)
Grafakos, L.: Classical Fourier Analysis. Graduate Texts in Mathematics, vol. 249, 3rd edn, p. xviii+638. Springer, New York (2014)
Maz’ya, V.G., Shaposhnikova, T.O.: Theory of Sobolev multipliers. With applications to differential and integral operators. In: Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 337, p. xiv+609. Springer, Berlin (2009)
Ooi, K.H., Phuc, N.C.: Characterizations of predual spaces to a class of Sobolev multiplier type spaces. Submitted for publication. Available at: arXiv:2005.04349
Ooi, K.H., Phuc, N.C.: On a capacitary strong type inequality and related capacitary estimates. To appear in Rev. Mat. Iberoamericana. Available at arXiv:2009.09291
Orobitg, J., Verdera, J.: Choquet integrals, Hausdorff content and the Hardy–Littlewood maximal operator. Bull. Lond. Math. Soc. 30, 145–150 (1998)
Turesson, B.O.: Nonlinear Potential Theory and Weighted Sobolev Spaces. Lecture Notes in Mathematics, vol. 1736, p. xiv+173. Springer, Berlin (2000)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Ooi, K.H. A functional approach to the boundedness of maximal function. Ricerche mat 73, 407–432 (2024). https://doi.org/10.1007/s11587-021-00611-2
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11587-021-00611-2