 Research
 Open Access
 Published:
Boundedness of strong maximal functions with respect to nondoubling measures
Journal of Inequalities and Applications volume 2016, Article number: 298 (2016)
Abstract
The main purpose of this paper is to establish a boundedness result for strong maximal functions with respect to certain nondoubling measures in \(\mathbb{R}^{n}\). More precisely, let \(d\mu(x_{1}, \ldots, x_{n})=d\mu_{1}(x_{1})\cdots d\mu_{n}(x_{n})\) be a product measure which is not necessarily doubling in \(\mathbb{R}^{n}\) (only assuming \(d\mu_{i}\) is doubling on \(\mathbb{R}\) for \(i=2, \ldots, n\)), and let ω be a nonnegative and locally integral function such that \(\omega _{i}(\cdot)=\omega(x_{1}, \ldots, x_{i1}, \cdot, x_{i+1}, \ldots, x_{n})\) is in \(A_{\infty}^{1}(d\mu_{i})\) uniformly in \(x_{1}, \ldots, x_{i1}, x_{i+1}, \ldots, x_{n}\) for each \(i=1, \ldots, n1\), let \(d\nu=\omega \,d\mu\), \(\nu(E)=\int_{E} \omega(y)\,d\mu(y)\), and \(M_{\omega \,d\mu}^{n}\) be the strong maximal function defined by
where \(\mathcal{R}\) is the collection of rectangles with sides parallel to the coordinate axes in \(\mathbb{R}^{n}\). Then we show that \(M_{\omega \,d\mu}^{n} \) is bounded on \(L^{p}_{\omega \,d\mu}(\mathbb{R}^{n})\) for \(1< p<\infty\). This extends an earlier result of Fefferman (Am. J. Math. 103:3340, 1981) who established the \(L^{p}\) boundedness when \(d\mu=dx\) is the Lebesgue measure on \(\mathbb{R}^{n}\) and \(d\nu=\omega \,d\mu\) is doubling with respect to rectangles in \(\mathbb{R}^{n}\), ω satisfies a uniform \(A^{1}_{\infty}\) condition in each of the variables except one.
Moreover, we also establish some boundedness result for the Cordoba maximal functions (Córdoba A. in Harmonic Analysis in Euclidean Spaces, pp. 2950, 1978) associated with the CórdobaZygmund dilation in \(\mathbb{R}^{3}\) with respect to some nondoubling measures. This generalizes the result of FeffermanPipher (Am. J. Math. 119:337369, 1997).
Introduction
The classical theory of oneparameter harmonic analysis for maximal functions and singular integrals on \((\mathbb{R}^{n}; \mu)\) has been developed under the assumption that the underlying measure μ satisfies the doubling property, i.e., there exists a constant \(C > 0\) such that \(\mu(B(x; 2r)) \leq C\mu(B(x; r))\) for every \(x \in \mathbb{R}^{n}\) and \(r > 0\). However, some recent results [4–7] show that it should be possible to dispense with the doubling condition for most of the classical theory. It is well known that the use of doubling measure has two main advantages. One is that we can work with nested property. Another one is that the faces of the cubes have measure zero. As in [4, 6], we will only maintain the last property. If μ is a nonnegative Radon measure without masspoints, one can choose an orthonormal system in \(\mathbb{R}^{n}\) so that any cube Q with sides parallel to the coordinate axes satisfies the property \(\mu(\partial Q)=0\) (Theorem 2 of [4]). The advantage of assuming this property is the continuity of the measure μ on cubes which can ensure that there is a CalderónZygmund decomposition [4, 6], which is one of the basic and most frequently used tools in the classical theory.
We first recall some wellknown results on oneparameter \(A_{p}(\mu)\) weights with respect to the possibly nondoubling measure μ. We also refer to [8] for the general theory of classical weights. A μmeasurable function ω is said to be a weight if it is nonnegative and μlocally integrable. A weight ω is said to be an \(A_{p}(\mu)\) weight if ω satisfies the following definition.
Definition 1.1
Let \(1< p<\infty\) and \(p'= p/(p1)\). We say that a weight ω satisfies the \(A_{p}(\mu)\) condition if
where sup is taken over all cubes whose sides are parallel to the coordinate axes.
We use the notation \(A_{\infty}(\mu)=\bigcup_{p>1} A_{p}(\mu)\) to denote the class of weight functions \(\omega\in A_{p}(\mu)\) for some \(p>1\).
When μ is a nonnegative Radon measure without masspoints, Lemma 2.3 in [6] tells us that some classical results for \(\omega\in A_{p}(\mu)\) also hold. We state these results as follows.
Proposition A
If μ is a nonnegative Radon measures in \(\mathbb{R}^{n}\) without masspoints, for a weight ω, the following conditions are equivalent:

(a)
\(\omega\in A_{\infty}(\mu)\);

(b)
ω satisfies a reverse Hölder inequality; namely, there are positive constants c and δ such that for every cube Q
$$\biggl(\frac{1}{\mu(Q)} \int_{Q}\omega^{1+\delta}\, d \mu \biggr)^{1/(1+\delta)} \leq \frac{c}{\mu(Q)} \int_{Q}\omega\, d \mu, $$and c may be taken as close to 1 as \(\delta\rightarrow0\);

(c)
there are positive constants c and ρ such that, for any cube Q and any μmeasurable set F contained in Q,
$$\frac{\omega(F)}{\omega(Q)}\leq c \biggl(\frac{\mu(F)}{\mu(Q)} \biggr)^{\rho}, $$where \(\omega(E)=\int_{E}\omega\, d \mu\);

(d)
there are positive constants \(\alpha,\beta<1\) such that whenever F is a measurable set of a cube Q,
$$\frac{\mu(F)}{\mu(Q)}\leq\alpha\quad\textit{implies}\quad \frac {\omega(F)}{\omega(Q)}\leq \beta. $$
Remark 1.1
The behavior of the constant c in (b) is not explicitly obtained in [6]. But by a careful examination of its proof, we can find that c may be chosen as \((1\frac{\delta C_{0}}{C_{1}^{1+\delta}})^{1/(1+\delta)}\) for two fixed constants \(C_{0}\), \(C_{1}\).
Let \(\mathcal{B}_{x}\) be a collection of bounded sets containing \(x\in\mathbb{R}^{n}\). Let ν be a positive measure. Given a locally integrable function f, denote
If \(\mathcal{B}_{x}\) is the collection of all the cubes containing \(x\in\mathbb{R}^{n}\) (centered at x) whose sides are parallel to the coordinate axes, then we obtain the usual HardyLittlewood maximal function \(M_{d\nu}f(x)\) with respect to the measure dν (centered maximal function \(\bar{M}_{d\nu}f(x)\)). By means of the Besicovitch covering lemma, it is easy to prove that \(\bar{M}_{d\nu}\) maps \(L^{1}(d\nu)\) into weak \(L^{1}(d\nu)\), and \(L^{p}(d\nu)\) into \(L^{p}(d\nu)\) for \(p>1\). In dimension one, the noncentered maximal operator \(M_{d\nu}\) is also shown to be bounded on \(L^{p}(d\nu)\) for \(p>1\) (see [9] and [10]). However, it is in general not true that \(M_{d\nu}f(x)\) has these boundedness properties. We refer to [10] for counterexamples.
When \(\mathcal{B}_{x}\) denotes the collection of all rectangles R containing \(x\in\mathbb{R}^{n}\) whose sides parallel to the coordinate axes, \(\mathcal{M}\triangleq M_{d\nu}^{n}\) is the strong maximal operator with respect to measure ν in dimension n. When \(d\nu=dx\) is the Lebesgue measure on \(\mathbb{R}^{n}\), Jessen, Marcinkiewcz and Zygmund [11] and Fava [12] showed that \(M_{dx}^{n}\) is bounded on \(L^{p}\) for all \(p>1\). However, Fefferman [1] showed that it is generally not true for the boundedness properties for an arbitrary measure dν. It is thus natural to ask when is \(M_{d\nu}^{n}\) bounded on \(L^{p}(d\nu)\). Obviously, if ν on \(\mathbb{R}^{n}\) is a product measure of n onedimensional nonnegative Radon measures, then the method of iteration works perfectly to show that \(M_{d\nu}^{n}\) is bounded on \(L^{p}(d\nu)\), \(1< p<\infty\). For a general measure, the iteration method no longer works. In [1], Fefferman constructed a measure ν for which \(M_{d\nu}^{n}\) is unbounded on \(L^{p}(d\nu)\) for all \(p<+\infty\), and gave a sufficient condition on ω for the \(L^{p}(\omega \,dx)\) boundedness of \(M_{\omega \,dx}^{n}\). Fefferman’s result [1] can be stated as follows.
Theorem 1.1
Suppose that \(d\nu(x)=\omega(x)\,dx\) on \(\mathbb{R}^{n}\) where ω is a function which has the property of being uniformly in the class \(A_{\infty}^{1}\) in each variable separately. Then \(M^{n}_{d\nu}\) is a bounded operator on \(L^{p}(d\nu)\) for all \(1< p\leq\infty\).
In fact, the proof given in [1] also established a stronger result. This is given in Fefferman and Pipher [3].
Theorem 1.2
Suppose that \(d\nu(x)=\omega(x)\,dx\) is a positive absolutely continuous measure on \(\mathbb{R}^{n}\). Assume that dν is doubling with respect to the family of all rectangles with sides parallel to the axes, and that ω is a function which has the property of being uniformly in the class \(A_{\infty}^{1}\) in each variable separately except one. Then \(M^{n}_{d\nu}\) is a bounded operator on \(L^{p}(d\nu)\) for all \(1< p\leq\infty\).
If we replace the Lebesgue measure dx by a more general measure dμ, which is not necessarily doubling, and use the notation \(d\nu(x)=\omega(x)\,d\mu\), then it is not known whether the strong maximal function \(M^{n}_{d\nu}\) is bounded on \(L^{p}(d\nu)\) for all \(1< p<\infty\). This is exactly one of the motivations of this paper. To this end, we first define the notion of \(A_{p}\) weights with respect to the possibly nondoubling measure dμ.
Definition 1.2
Let \(1< p<\infty\) and \(p'= p/(p1)\). We say that a weight ω satisfies the \(\mathcal{A}_{p}(\mu)\) condition if
where \(\mathcal{B}\) is a collection of bounded sets.
Remark 1.2
If \(\mathcal{B}\) is the collection of all rectangles whose sides are parallel to the coordinate axes, then we obtain product weights \(\mathcal{A}_{p}(\mu)\triangleq A_{p}^{n}(\mu)\). If \(d\mu(x_{1}, \ldots, x_{n})=d\mu_{1}(x_{1})\cdots d\mu_{n}(x_{n})\) is a product measure, then by the Lebesgue differentiation theorem, it is easy to see that, if \(\omega\in A_{p}^{n}(\mu)\), then \(\omega_{i}(x_{i})=\omega(x_{1},\ldots,x_{i1},\cdot, x_{i+1},\ldots,x_{n}) \in A_{p}^{1}(\mu_{i})\) uniformly, that is, there exists a constant \(c>0\) such that, for a.e. \((x_{1},\ldots,x_{i1}, x_{i+1},\ldots,x_{n})\in \mathbb{R}^{n1}\),
where the supremum is taken over all intervals I in \(\mathbb{R}\). Consequently \(\omega_{i}\) satisfies the properties in Proposition A above uniformly in \(x_{1}, \ldots, x_{i1}, x_{i+1}, \ldots, x_{n}\) if \(\mu_{i}\) is a Radon measure without masspoint.
If we replace the Lebesgue measure dx by a product measure \(d\mu(x)=d\mu_{1}(x_{1})\times d\mu_{2}(x_{2})\times\cdots\times d\mu_{n}(x_{n})\), inspired by the work of Fefferman [1], it is natural to ask the following.
Question 1
What conditions on \(\omega(x)\) and \(d\mu(x)\) can ensure the boundedness of the strong maximal function \(M_{\omega \,d\mu}^{n}\) with respect to the measure \(\omega \,d\mu\) on \(L^{p}(\omega \,d\mu)\) for \(1< p<\infty\)?
Question 2
What conditions on \(\omega(x)\) and \(d\mu(x)\) can ensure the boundedness of the strong maximal function \(M_{d\mu}^{n}\) with respect to the measure dμ on \(L^{p}(\omega\, d\mu)\) for \(1< p<\infty\)?
If we work in \(\mathbb{R}^{3}\) with the dilation group \(\{\rho_{s,t}\}_{s,t>0}\) given by \(\rho_{s,t}(x,y,z)=(sx,tz,stz)\), that is \(\mathcal{B}_{x}\)= the family of all rectangles containing \(x\in\mathbb{R}^{3}\) whose sides are parallel to the coordinate axes in \(\mathbb{R}^{3}\), and whose side lengths in the x, y, and z directions are given by s, t, and \(s\cdot t\) respectively (these rectangles are called CórdobaZygmund rectangles), then we get the Córdoba maximal function \(\mathcal{M}(f)(x)\triangleq\mathbb{M}_{d\nu}(f)(x)\) with respect to the measure dν whose sharp estimates have been obtained by Córdoba [2].
With the CórdobaZygmund rectangles, we can define Córdoba’s weights \(\mathcal{A}_{p}(\mu)\triangleq\mathbb{A}_{p}(\mu)\). By the Lebesgue differential theorem, if \(\omega\in\mathbb{A}_{p}(\mu)\), then \(\omega(\cdot, y, z) \in A_{p}^{1}(\mu_{1})\) uniformly in y, z, and \(\omega(x, \cdot, z) \in A_{p}^{1}(\mu_{2})\) uniformly in x, z.
When \(d\nu=dx\), Fefferman [13] proved the following theorem.
Theorem 1.3
The weighted norm inequality
holds if and only if \(\omega\in\mathbb{A}_{p}(dx)\).
Moreover, the following is proved by Fefferman and Pipher in [3].
Theorem 1.4
Suppose \(d\nu=\omega(x, y, z)\,dx\,dy\,dz\) is a positive measure on \(\mathbb{R}^{3}\) which is doubling with respect to all the Zygmund rectangles in \(\mathbb{R}^{3}\) and uniformly in \(A^{1}_{\infty}\) in the x and y variables. Then the Córdoba maximal function \(\mathbb{M}_{d\nu}\) with respect to the measure dν is bounded on \(L^{p}(d\nu)\) for all \(1< p <\infty\).
When we replace the Lebesgue measure \(dx\,dy\,dz\) by \(d\mu(x, y, z)\) which is not necessarily doubling with respect to all the CórdobaZygmund rectangles in \(\mathbb{R}^{3}\), it is then interesting to ask the following.
Question 3
Let \(d\mu(x, y, z)\) be a nonnegative Radon measure on \(\mathbb{R}^{3}\). What conditions on ω and dμ can guarantee the boundedness of the Córdoba strong maximal function \(\mathbb{M}_{d\mu}(f)(x, y, z)\) with respect to the measure dμ on \(L^{p}(\omega \,d\mu)\) for \(1< p<\infty\)?
Question 4
Let \(d\nu(x, y, z)=\omega(x, y, z)\,d\mu(x, y, z)\) be a measure on \(\mathbb{R}^{3}\). What conditions on ω and dμ can guarantee the boundedness of the Córdoba strong maximal function \(\mathbb{M}_{d\nu}(f)(x, y, z)\) with respect to the measure dν on \(L^{p}(d\nu)\) for \(1< p<\infty\)?
In this paper, we always assume that \(\mu=\mu_{1}\times\mu_{2}\times\cdots\times\mu_{n}\) is a product measure, where \(\mu_{i}\), \(i=1,\ldots,n\) are all nonnegative Radon measures without masspoints and complete. The assumption that \(\mu_{i}\) are complete is just a technical requirement to allow us change the order of integration. For a rectangle \(R\subseteq \mathbb{R}^{n}\), we mean a rectangle whose sides parallel to the coordinate axes.
The main theorems of this paper are as follows.
Theorem 1.5
Let \(\mu(x)=\mu_{1}(x_{1})\cdot\mu_{2}(x_{2})\cdots\mu_{n}(x_{n})\) be a product measure where \(\mu_{i}\), \(i=1,\ldots, n\) are all nonnegative Radon measures in \(\mathbb{R}\) without masspoints and complete. Moreover, we assume that each \(\mu_{i}\) for \(2\leq i\leq n\) is doubling on \(\mathbb{R}\). If \(\omega_{i}(x_{i})=\omega(x_{1},\ldots,x_{i1},\cdot, x_{i+1},\ldots,x_{n}) \in A_{\infty}^{1}(\mu_{i})\) uniformly with respect to a.e. \((x_{1},\ldots,x_{i1}, x_{i+1},\ldots,x_{n})\in \mathbb{R}^{n1}\) for \(i=1,\ldots,n1\), then the operator \(M_{\omega \,d\mu}^{n}\) is bounded on \(L^{p}(\omega \,d\mu)\) for all \(1 < p <\infty\).
Theorem 1.6
Let \(\mu(x)=\mu_{1}(x_{1})\cdot\mu_{2}(x_{2})\cdots\mu_{n}(x_{n})\) be a product measure where \(\mu_{i}\), \(i=1,\ldots, n\) are all nonnegative Radon measures in \(\mathbb{R}\) without masspoints and complete. Moreover, we assume that each \(\mu_{i}\) for \(2\leq i\leq n\) is doubling on \(\mathbb{R}\). Then the strong maximal operator \(M_{d\mu }^{n}\) with respect to the measure dμ is bounded on \(L^{p}(\omega \,d\mu)\) if and only if \(\omega\in A_{p}^{n}(d\mu)\) for all \(1 < p <\infty\).
Concerning the Córdoba maximal function associated with the CórdobaZygmund dilations \(\rho_{s, t}\) in \(\mathbb{R}^{3}\), when \(\omega(x, y, z) \,d\mu(x, y, z)\) is not necessarily doubling with respect to all the CórdobaZygmund rectangles in \(\mathbb{R}^{3}\), we have the following.
Theorem 1.7
Assume \(\mu=\mu_{1}\times\mu_{2}\times\mu_{3}\), where \(\mu_{2}\), \(\mu_{3}\) are nonnegative Radon measures and satisfy the doubling property for all intervals \(I\subseteq\mathbb{R}\), and \(\mu_{1}\) is a nonnegative Radon measure in \(\mathbb{R}\) without masspoints (which is not necessarily doubling). If \(\omega\in \mathbb{A}_{p}(\mu)\), then the following weighted inequality holds:
for all \(1< q<\infty\).
Moreover, using Theorem 1.7 we have the following.
Theorem 1.8
Assume \(\mu=\mu_{1}\times\mu_{2}\times\mu_{3}\), where \(\mu_{2}\), \(\mu_{3}\) are nonnegative Radon measures and satisfy the doubling property for all intervals \(I\subseteq\mathbb{R}\), and \(\mu_{1}\) is a nonnegative Radon measure in \(\mathbb{R}\) without masspoints (which is not necessarily doubling). Then the Córdoba maximal operator \(\mathbb{M}_{\mu}\) is bounded on \(L^{p}(\omega \,d\mu)\) if and only if \(\omega\in\mathbb{A}_{p}(\mu)\) for all \(1< p<\infty\).
The organization of the paper is as follows. In Section 2, we will establish the reverse Hölder inequality for weights ω in the class \(A_{p}^{n}(\mu)\) adapted to our general product measure μ, which is not necessarily doubling with respect to the rectangles with sides parallel to the coordinate axes in \(\mathbb{R}^{n}\). Section 3 gives the proofs of Theorems 1.5 and 1.6 of boundedness of strong maximal functions with respect to the nondoubling measures dμ and \(d\nu=\omega \,d\mu\). In Section 4, we establish Theorems 1.7 and 1.8 for the Córdoba strong maximal functions with respect to the CórdobaZygmund dilations.
Reverse Hölder inequality of weights \(A_{p}^{n}(\mu)\)
The purpose of this section is to establish reverse Hölder inequality of weights in the class \(A_{p}^{n}(\mu)\) adapted to our general product measure μ.
We use the notation \(w(E)=\int_{E} w(x)\,d\mu(x)\) for every measurable set \(E\subset\mathbb{R}^{n}\) in this section.
Lemma 2.1
Assume μ is a nonnegative Radon measure. If \(\omega\in A_{p}^{n}(\mu)\) for some \(1< p<\infty\), then there exists \(\eta>0\) such that whenever F is a measurable subset of a rectangle R and satisfies \(\frac{\mu(F)}{\mu(R)}\leq\eta\), then
Proof
Since \(\omega\in A_{p}^{n}(\mu)\) for some \(1< p<\infty\), then when f is nonnegative and \(L^{p}(\omega\, d \mu)\) integrable in a rectangle R, we have
where \(\frac{1}{p}+\frac{1}{p'}=1\), which shows
For a measurable set \(F\subseteq R\), let \(E=R\backslash F\), \(f=\chi_{E}\), from the above inequality,
which implies
It is easy to see that, for a small enough \(\eta>0\), when \(\frac{\mu(F)}{\mu(R)}<\eta\), we have \(1\frac{1}{[\omega]_{A_{p}^{n}(\mu)}} (1\frac{\mu(F)}{\mu(R)})^{p}< 1\eta\). Hence
which completes the proof. □
Remark 2.1
By the same proof, Lemma 2.1 holds for \(\omega\in \mathbb{A}_{p}(\mu)\) with respect to the CórdobaZygmund rectangles in \(\mathbb{R}^{3}\).
Since \([\omega]_{A_{p}^{n}(\mu)}\geq1\), from the inequality (2.1), one can also easily obtain the following lemma.
Lemma 2.2
Under the same assumption on μ in Lemma 2.1, if \(\omega\in A_{p}^{n}(\mu)\) for some \(1< p<\infty\), then, for all \(0<\alpha<1\), there is a positive constant \(\beta<1\) such that whenever F is a measurable set of a rectangle R, we have
This is equivalent to saying that, for all \(0<\alpha' <1\), there is a positive constant \(\beta'<1\) such that whenever F is a measurable subset of a rectangle R,
Remark 2.2
Equation (2.2) is called the \(A_{\infty}^{n}(\mu)\) condition. It is easy to see that if \(\omega\in A_{p}^{n}(\mu)\), \(\omega_{i}(x_{i})=\omega(x_{1},\ldots,x_{i1},\cdot, x_{i+1},\ldots,x_{n}) \in A_{\infty}^{1}(\mu_{i})\) uniformly with respect to \(x_{1},\ldots,x_{i1}, x_{i+1},\ldots,x_{n}\).
Under our assumption on μ being a product measure, we also have the reverse Hölder inequality for \(\omega\in A_{p}^{n}(\mu)\).
Lemma 2.3
Assume that \(\mu=\mu_{1}\times\mu _{2}\times\cdots\times\mu_{n}\) is a product measure, where the measures \(\mu_{i}\), \(i=1,\ldots,n\) are all nonnegative Radon measures without masspoints and complete. If \(\omega\in A_{p}^{n}(\mu)\), for some \(1< p<\infty\), then ω satisfies a reverse Hölder inequality, that is, there exist two positive constants c and δ such that for every rectangle R
and c may be taken as close to 1 as \(\delta\rightarrow0^{+}\).
Proof
By induction. When \(n=1\), \(\omega\in A_{p}^{1}(\mu)\), the result is obtained from Proposition A. Suppose that \(n>1\), and this result holds for \(n1\). Denote \(R=I_{1}\times I_{2}\times\cdots\times I_{n}=\tilde{I}\times I_{n}\), \((x_{1},\ldots,x_{n})=(p,x_{n})\) and \(\tilde{\mu}=\mu_{1}\mu_{2}\cdots\mu_{n1}\). By the Lebesgue differentiation theorem, \(\omega(\cdot,x_{n})\) is uniformly in the class \(A_{p}^{n1}(\tilde{\mu})\), thus there exists \(\delta_{1}>0\) such that
and c may be taken as close to 1 as \(\delta_{1}\rightarrow 0^{+}\).
Consider the function
We now prove that W satisfies the reverse Hölder inequality. By Proposition A, we only need to prove that there are positive constants \(\alpha,\beta<1\) such that, whenever E is a measurable subset of interval \(I_{n}\), one has
For a measurable subset \(E\subset I_{n}\), by (2.3)
where \(F=\tilde{I}\times E\). If \(\frac{\mu_{n}(E)}{\mu_{n} (I_{n})}\leq\alpha\), we have \(\frac{\mu(F)}{\mu (R)}=\frac{\tilde{\mu}(\tilde{I})\mu_{n}(E)}{\tilde{\mu}(\tilde {I})\mu_{n} (I_{n})}\leq\alpha\). Take \(\alpha>0\) small enough, then \(\omega(F)<(1\alpha)\omega(R)\) by Lemma 2.1. So
For a small enough \(\alpha>0\), let c close to 1 by taking \(\delta_{1}\) close to 0^{+}, we have \(c(1\alpha)<1\). Again, by Proposition A, W satisfies the reverse Hölder inequality:
and \(c'\) may be taken as close to 1 as \(\delta_{2}\rightarrow0\). Finally choosing \(\delta_{1}=\delta_{2}=\delta\) sufficiently small, we have
and from the above analysis, \(cc'\) may be taken as close to 1 by letting \(\delta\rightarrow0^{+}\). We then complete the proof. □
If \(\omega\in A_{p}^{n}(\mu)\), \(p >1\), then \(\omega^{1p'} \in A_{p'}^{n}(\mu)\), where \(1/p+1/p'=1\). Consequently, by Lemma 2.3, it is easy to deduce the following corollary.
Corollary 2.1
Let \(p>1\), and \(\omega\in A_{p}^{n}(\mu)\), then there is an \(\varepsilon>0\) such that \(\omega\in A_{p\varepsilon}^{n}(\mu)\).
Proof
Since \(\omega^{1p'} \in A_{p'}^{n}(\mu)\) satisfies a reverse Hölder inequality for some exponent \(\delta>0\):
Fix q such that \(q'1=(p'1)(1+\delta)\). It is easy to see that \(1< q< p\). By the above inequality, one has
from which it follows that \(\omega\in A_{q}^{n}(\mu)\) since \((q1)(1+\delta)=p1\) and \(\omega\in A_{p}^{n}(\mu)\). Setting \(\varepsilon=pq\), we complete the proof. □
The strong maximal functions with respect to nondoubling measures
The main purpose of this section is to prove Theorem 1.5. We first need to prove the following geometric covering lemma whose proof is inspired by those in [1, 2, 14], and [3] when \(du=dx\). Weak type estimates for strong maximal functions were first studied by Jessen, Marcinkiewcz and Zygmund [11] who first proved the strong differentiation theorem. Córdoba and Fefferman [14] gave a more geometric proof (see also Jawerth and Torchinsky [15]). Their method in [14] relies on a deep understanding of the geometry of rectangles. Namely, they established a deep and difficult geometric covering lemma. This lemma will lead to the weak type \((p,p)\) of \(M_{\omega \,d\mu}^{n}\) as argued in [14]. Then we can complete the proof of Theorem 1.5 by interpolation (see, e.g., [16] and [17]). The proof of Theorem 1.6 is the same as that of Theorem 1.8 in Section 4, we shall omit it here.
Lemma 3.1
Assume that \(\mu(x)=\mu_{1}(x_{1})\cdot\mu_{2}(x_{2})\cdots\mu_{n}(x_{n})\) is a product measure where \(\mu_{i}\), \(i=1,\ldots, n\) are all nonnegative Radon measures in \(\mathbb{R}\) without masspoints and complete. Assume also that each \(\mu_{i}\) for \(2\leq i\leq n\) is doubling on \(\mathbb{R}\) and that \(\omega_{i}\in A_{\infty}^{1}(\mu_{i})\) uniformly, \(i=1,\ldots,n1\).
Then, for all \(1 < p <\infty\), given a sequence \(\{R_{i}\}\) of rectangles whose sides are parallel to the axes, there exists a subcollection \(\{R_{i}^{\ast}\}\) such that
and
Proof
If we can prove it at \(n=2\), then it is easy to complete the proof by induction. Hence we only give the proof when n=2.
With no loss of generality, we may assume \(\{R_{i}\}\) is a finite sequence, and \(R_{i}\) are arranged so that the side length in \(x_{2}\) direction is decreasing. If \(R=I\times J\subseteq \mathbb{R}^{2}\) is a rectangle, denote \(\hat{R}=I\times3J\), where 3J is an interval with the same center and three times the length of J. We choose \(R_{1}^{\ast}=R_{1}\) and assume \(R_{1}^{\ast},\ldots, R_{k}^{\ast}\) have been selected. We obtain \(R_{k+1}^{\ast}\) as the first rectangle R on the list of \(R_{i}\) after \(R_{k}^{\ast}\) such that
We will prove that \(\{R_{i}^{\ast}\}\) satisfies (3.1), (3.2). Now assume that some \(R\in\{R_{i}\}\) was not selected, then we can find some positive integer k such that
Let I, \(I_{i}^{\ast}\) denote the slices of R and \(R_{i}^{\ast}\), respectively, with respect to hyperplanes perpendicular to the \(x_{2}\). Since the sides of the rectangles \(\{R_{i}\}\) parallel to the \(x_{2}\) direction are in decreasing order, it is easy to obtain
where \(\hat{R}_{i}^{\ast}=\hat{I}_{i}^{\ast}\times\hat{J}_{i}^{\ast}\). Then from (3.4) we have
Recalling that \(\omega_{x_{2}}=\omega(\cdot,x_{2}) \in A_{\infty}^{1 }(\mu_{1})\) uniformly in \(x_{2}\), by Remark 2.2, there exists \(0<\beta< 1\), such that
where \(\omega_{x_{2}}(E)=\int_{E}\omega_{x_{2}}(x_{1})\,d\mu_{1} (x_{1})\) for a measure set \(E\subseteq\mathbb{R}\), which implies that
For a onedimensional HardyLittlewood maximal operator with respect to the measure \(\omega_{x_{2}}\,d\mu_{1}\), it is well known that \(M_{\omega_{x_{2}}\,d\mu_{1}}\) is bounded on \(L^{2}(\omega_{x_{2}}\,d\mu_{1})\) [10], which implies that
Integrating in \(x_{2}\), we have
By classical standard arguments, when \(\mu_{2}\) is doubling, \(\omega(x_{1},\cdot)\,d\mu_{2}(\cdot)\) is doubling uniformly in \(x_{1}\). Hence, we have
Proceeding similarly to obtaining (3.5), by (3.3), for \(\{R_{i}^{\ast}\}\) we have
that is,
By the assumption that \(\omega_{x_{2}}\) is uniformly in \(A_{\infty}^{1 }(\mu_{1})\) and by Proposition A, one obtains
for some \(\beta'<1\). Let \(E_{k}=I_{k}^{\ast}\backslash [\bigcup_{i< k}I_{i}^{\ast}]\), then \(\omega_{x_{2}}(E_{k})\geq (1\beta')\omega_{x_{2}}(I_{k}^{\ast})\). So
which leads to (3.1).
Finally, as done in [1, 3] by duality, we assume that φ is a function on \(\mathbb{R}\) satisfying \(\Vert \varphi \Vert _{L^{p'}(\omega_{x_{2}}\,d\mu_{1})}=1\), \(\frac{1}{p}+\frac{1}{p'}=1\), then by the \(L^{p'}(\omega_{x_{2}}\,d\mu_{1})\) boundedness of \(M_{\omega_{x_{2}}\,d\mu_{1}}\) again, one has, for a.e. \(x_{2}\),
which implies
Integrating over \(x_{2}\) finishes the proof of (3.2). □
Córdoba’s maximal function
In this section, as an application of Theorem 1.5, we study the necessary and sufficient conditions on ω for the weighted inequality for the Córdoba maximal function \(\mathbb{M}_{\mu}(f)\) in \(\mathbb{R}^{3}\) with respect to the not necessarily doubling measure μ:
Proof of Theorem 1.7
Using the fact that \(\omega\in \mathbb{A}_{p}(\mu)\) (\(A_{p}\) weights with respect to the CórdobaZygmund rectangles and the not necessarily doubling measure μ), we see that \(w(\cdot, y, z)\) is in \(A_{p}^{1}(d\mu_{1})\) uniformly in y, z and \(w(x, \cdot, z)\) is in \(A_{p}^{1}(d\mu_{2})\) uniformly in x, z. By the assumptions that the measures \(\mu_{2}\), \(\mu_{3}\) are doubling on \(\mathbb{R}\), Theorem 1.7 is an immediate corollary of Theorem 1.5. □
We will prove Theorem 1.4 by an argument similar to the one given in [13]. We first prove the reverse Hölder’s inequality for \(\omega\in\mathbb{A}_{p}(\mu)\). For a fixed number \(a>0\), let \(\mathcal{U}\) be the family of all rectangles whose sides are parallel to the coordinate axes in \(\mathbb{R}^{2}\), and whose side lengths in the x, y directions are given by s and sa, where s is arbitrary. First of all, by Corollary 9.2.4 of [18], using a linear change of scale we obtain the following proposition.
Proposition 4.1
Let \(\nu=\nu_{1}\times\nu_{2}\) be a product measure, where \(\nu_{1}\), \(\nu_{2}\) are nonnegative Radon measures and satisfy the doubling property for all interval \(I\subseteq\mathbb{R}\), and ω be a weight. Suppose that there exist \(0<\alpha\), \(\beta<1\) such that, for \(\forall R\in\mathcal{U}\),
where F is a νmeasurable subset of R. Then there are positive constants c and γ such that for every rectangle \(R \in\mathcal{U}\)
Proceeding as in [13] or the proof of Lemma 2.3, together with the above proposition, we can establish the following reverse Hölder inequality for Córdoba’s weights with respect to a certain nondoubling measure μ. We omit the proof.
Proposition 4.2
There are positive constants c and ε such that, for all CórdobaZygmund rectangles R
Then with a proof similar to that of Corollary 2.1, one has the following result.
Corollary 4.1
Let \(p>1\), and \(\omega\in\mathbb{A}_{p}(\mu)\). Then there is an \(\varepsilon>0\) such that \(\omega\in A_{p\varepsilon}(\mu)\).
We are now ready to complete the proof of Theorem 1.8.
Proof of Theorem 1.8
The necessity follows just as in the classical case. Now if \(\omega\in\mathbb{A}_{p}(\mu)\), by Hölder’s inequality, one has
Then \(\mathbb{M}_{\mu}\) is \(L^{q}(\omega \,d\mu)\) bounded for every \(q>p\) by Theorem 1.7. Using the fact \(\omega\in A_{p\varepsilon}(\mu)\) for some \(\varepsilon>0\) by Corollary 4.1, one sees that \(\mathbb{M}_{\mu}\) is bounded on \(L^{p}(\omega \,d\mu)\). □
References
Fefferman, R: Strong differentiation with respect to measures. Am. J. Math. 103, 3340 (1981)
Córdoba, A: Maximal functions, covering lemmas and Fourier multipliers. In: Harmonic Analysis in Euclidean Spaces. (Proc. Sympos. Pure Math., Williams Coll, Williamstown, Mass, 1978) Part 1, Proc. Sympos. Pure Math., vol. XXXV, pp. 2950. Am. Math. Soc., Providence, RI (1978)
Fefferman, R, Pipher, J: Multiparameter operators and sharp weighted inequalities. Am. J. Math. 119, 337369 (1997)
Mateu, J, Mattila, P, Nicolau, A, Orobitg, J: \(BMO\) for nondoubling measures. Duke Math. J. 102, 533565 (2000)
Nazarov, F, Treil, S, Volberg, A: Cauchy integral and CalderónZygmund operators on nonhomogeneous spaces. Int. Math. Res. Not. 15, 703726 (1997)
Orobitg, J, Pérez, C: \(A_{p}\) weights for nondoubling measures in \(R^{n}\) and applications. Trans. Am. Math. Soc. 354, 20132033 (2002)
Tolsa, X: \(BMO\), \(H^{1}\) and CalderónZygmund operators for non doubling measures. Math. Ann. 319, 89149 (2001)
GarciaCuerva, J, Rubio de Francia, J: Weighted Norm Inequalities and Related Topics. NorthHolland Mathematics Studies, vol. 116. NorthHolland, Amsterdam (1985)
Muckenhoupt, B, Stein, EM: Classical expansions and their relation to conjugate harmonic functions. Trans. Am. Math. Soc. 118, 1792 (1965)
Sjögren, P: A remark on maximal function for measures in \(R^{n}\). Am. J. Math. 105(5), 12311233 (1983)
Jessen, B, Marcinkiewcz, J, Zygmund, A: Note on the differentiability of multiple integrals. Fundam. Math. 25, 217 (1935)
Fava, N: Weak type inequalities for product operators. Stud. Math. 42, 271288 (1972)
Fefferman, R: Some weighted norm inequalities for Córdoba’s maximal function. Am. J. Math. 106(5), 12611264 (1984)
Córdoba, A, Fefferman, R: A geometric proof of the strong maximal theorem. Ann. Math. 102(1), 95100 (1975)
Jawerth, B, Torchinsky, A: The strong maximal function with respect to measures. Stud. Math. 80(3), 261285 (1984)
Grafakos, L: Classical Fourier Analysis. Springer, Berlin (2008)
Stein, EM: Harmonic Analysis: RealVariable Methods, Orthogonality, and Oscillatory Integrals. Princeton Mathematical Series, vol. 43. Monographs in Harmonic Analysis, III. Princeton University Press, Princeton (1993)
Grafakos, L: Modern Fourier Analysis. Springer, Berlin (2008)
Acknowledgements
The authors would like to thank the referees very much for the kind advice and useful suggestions.
Article is supported by NNSF of China grants (11501308, 11271209).
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All the authors contributed equally and significantly in writing this paper. All the authors read and approved the final manuscript.
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.
About this article
Cite this article
Ding, W., Jiang, L. & Zhu, Y. Boundedness of strong maximal functions with respect to nondoubling measures. J Inequal Appl 2016, 298 (2016). https://doi.org/10.1186/s1366001612293
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366001612293
Keywords
 strong maximal functions
 nondoubling measures
 \(A^{\infty}\) weights
 reverse Hölder inequality
 geometric covering lemmas
 Córdoba’s maximal functions
 CórdobaZygmund dilations