- Research
- Open access
- Published:
Lipschitz estimates for commutators of singular integral operators associated with the sections
Journal of Inequalities and Applications volume 2017, Article number: 27 (2017)
Abstract
Let H be Monge-Ampère singular integral operator, \(b\in Lip_{\mathcal{F}}^{\beta}\), and \(1/q=1/p-\beta\). It is proved that the commutator \([b,H]\) is bounded from \(L^{p}(\mathbb{R}^{n},d\mu)\) to \(L^{q}(\mathbb{R}^{n},d\mu)\) for \(1< p<1/\beta\) and from \(H^{p}_{\mathcal{F}}(\mathbb{R}^{n})\) to \(L^{q}(\mathbb{R}^{n},d\mu)\) for \(1/(1+\beta)< p\leq1\). For the extreme case \(p=1/(1+\beta)\), a weak estimate is given.
1 Introduction
In 1996, Caffarelli and Gutiérrez [1] introduced the new concept of a family of sections in studying real variable theory related to the Monge-Ampère equation. They defined the Hardy-Littlewood maximal operator \(M_{\mathcal{F}}\) and \(BMO_{\mathcal {F}}(\mathbb{R}^{n})\) spaces associated to sections, and the weak \((1,1)\) of \(M_{\mathcal{F}}\) and the John-Nirenberg inequality for \(BMO_{\mathcal{F}}(\mathbb{R}^{n})\) were obtained. Caffarelli and Gutiérrez [2] defined the singular integral operator H related to the Monge-Ampère equation and proved \(L^{2}\)-boundedness of it. Applying the theory of homogeneous spaces, Incognito [3] obtained a weak type \((1,1)\) estimate of H. In [4], Tang considered the commutator of Coifman-Rochberf-Weiss \([b,H]\) and obtained weighted estimates for the operator H and the commutator \([b,H]\), where \(b\in BMO_{\mathcal{F}}\). And from [4], it follows that \([b,H]\) with \(b\in BMO_{\mathcal{F}}\) is bounded on \(L^{p}(\mathbb{R}^{n},d\mu)\) for \(1< p<\infty\). Inspired by the above work, we will study the behaviors of commutator \([b,H]\) with \(b\in Lip_{\mathcal{F}}^{\beta}\) acting on Lebesgue spaces \(L^{p}(\mathbb{R}^{n},d\mu)\) and Hardy spaces \(H^{p}_{\mathcal {F}}(\mathbb{R}^{n})\), where the Lipschitz spaces \(Lip_{\mathcal {F}}^{\beta}\) and Hardy spaces \(H^{p}_{\mathcal{F}}(\mathbb{R}^{n})\) associated with sections are defined by Lin [5].
As is well known, linear commutators are naturally appearing operators in harmonic analysis that have been extensively studied already. In general, the boundedness results of commutators in harmonic analysis can be used to characterize some important function spaces such as \(BMO\) spaces, Lipschitz spaces, Besove spaces and so on (see [6–9]). Coifman et al. [10] applied the boundedness to some non-linear PDEs, which perfectly illustrate the intrinsic links between the theory of compensated compactness and the classical tools of harmonic and real analysis. As for some other essential applications to PDEs such as characterizing pseudodifferential operators, studying linear PDEs with measurable coefficients and the integrability theory of the Jacobians, interested researchers can refer to [11–14]. It is perhaps for this important reason that the boundedness of commutators attracted vast attention among researchers in harmonic analysis and PDEs. Thus, it is meaningful to identify the behaviors of commutator \([b,H]\) associated with the Monge-Ampère equation. In the sense of Euclidean space \(\mathbb{R}^{n}\), the boundedness of commutator \([b,T]\) with \(b\in Lip_{\beta}\) acting on Lebesgue spaces, is easily obtained by the inequality \(|[b,T]f(x) |\leq CI_{\beta}(|f|)(x)\), where T is a Calderón-Zygmund singular integral operator and \(I_{\beta}\) is the Riesz potential of order β. However, we cannot find a suitable operator to control the commutator \([b,H]\) with \(b\in Lip_{\mathcal {F}}^{\beta}\) - just as controlling of \([b,T]\) with \(b\in Lip_{\beta}\) - due to the particularity of the operator H. Therefore, in this paper we investigate \([b,H]\) directly, and obtain some relatively important properties.
This paper is organized as follows. In Section 2, we recall some elementary properties of sections. In the first part of Section 3, we demonstrate the \((L^{p},L^{q})\) boundedness of \([b,H]\) when \(1< p< 1/\beta\) and \(1/q=1/p-\beta\). It is worth mentioning that boundedness of \([b,H]\) from \(L^{1}(\mathbb {R}^{n},d\mu)\) to weak \(L^{1/(1-\beta)}(\mathbb{R}^{n},d\mu)\) is also obtained, which indicates the differences between the commutator \([b,H]\) with \(b\in Lip_{\mathcal{F}}^{\beta}\) and that commutator with \(b\in BMO_{\mathcal{F}}\). Based on these differences, in the second part of Section 3, we further discuss the behavior of the commutator \([b,H]\) acting on Hardy spaces \(H^{p}_{\mathcal{F}}(\mathbb{R}^{n})\), and we see that the commutator \([b,H]\) is bounded from \(H^{p}_{\mathcal{F}}(\mathbb{R}^{n})\) to \(L^{q}(\mathbb{R}^{n},d\mu)\) if \(1/(1+\beta)< p\leq1\) and \(1/q=1/p-\beta \). For the extreme case \(p=1/(1+\beta)\), we cannot get the \((H^{p},L^{q})\) boundedness of \([b,H]\), but we give a characterization. Instead of the boundedness in the extreme case, a weak estimate for \([b,H]\) is showed.
Now we recall the definition of sections which play an important role in the study of the Monge-Ampère equation and the linearized Monge-Ampère equation (see [1, 15–17]). For \(x\in\mathbb{R}^{n}\) and \(t>0\), let \(S(x,t)\) denote an open and bounded convex subset of \(\mathbb{R}^{n}\) containing x. The set \(S(x,t)\) is called a section if the family \(\mathcal{F}=\{ S(x,t)\subset\mathbb{R}^{n}: x\in\mathbb{R}^{n}\mbox{ and }t>0\}\) is monotone increasing in t, i.e., \(S(x,t)\subset S(x,t^{\prime})\) for \(t\leq t^{\prime}\) which satisfies the following criteria:
(A) There exist constants \(K_{1},K_{2},K_{3}\) and \(\epsilon_{1},\epsilon _{2}\) such that given two sections \(S(x_{0},t_{0})\), \(S(x,t)\) with \(t\leq t_{0}\) satisfying
and given T, an affine transformation that “normalizes” \(S(x_{0},t_{0})\), that is,
there exists \(z\in B(0,K_{3})\) depending on \(S(x_{0},t_{0})\) and \(S(x,t)\) such that
and
Here \(B(x,t)\) denotes the Euclidean ball centered at x with radius t.
(B) There exists a constant \(\delta>0\) such that given a section \(S(x,t)\) and \(y\notin S(x,t)\), if T is an affine transformation that “normalizes” \(S(x,t)\), then for any \(0<\epsilon<1\)
(C) \(\bigcap_{t>0}S(x,t)=\{x\}\) and \(\bigcup_{t>0}S(x,t)=\mathbb{R}^{n}\).
In addition, we also assume that a Borel measure μ which is finite on compact sets is given, \(\mu(\mathbb{R}^{n})=\infty\), and that it satisfies the doubling property with respect to \(\mathcal {F}\), that is, there exists a constant A such that
for any section \(S(x,t)\in\mathcal{F}\). Throughout the paper, the letter C will denote a positive constant that may vary from line to line but remains independent of the main variables. We write \(A\lesssim B\) to indicate that A is majorized by B times a constant independent of A and B, while the notation \(A\thickapprox B\) denotes both \(A\lesssim B\) and \(B\lesssim A\). Finally, we denote \(L^{p}_{\mu}:=L^{p}(\mathbb{R}^{n},d\mu)\) (\(1\leq p\leq\infty\)) simply.
2 Elementary properties of section and notions
According to [18], the properties of (A) and (B) imply the following properties:
(D) There exists a constant \(\theta\geq1\), depending only on \(\delta , K_{1}\) and \(\epsilon_{1}\), such that for any \(y\in S(x,t)\),
(E) There exists a quasi-metric \(d(x,y)\) on \(\mathbb{R}^{n}\) with respect to \(\mathcal{F}\) defined by
and its triangular constant is just the θ appearing in (D); that is,
Also,
where \(B_{d}(x,t)\) is a d-ball defined by \(B_{d}(x,t):=\{y\in\mathbb {R}^{n}: d(x,y)< t\}\). Combining (1.2) and (2.3), one can see that there exists a constant \(n_{0}>1\) and \(2^{n_{0}}> A\) such that
Thus, \((\mathbb{R}^{n},d,\mu)\) becomes a space of homogeneous type. Based on this, one can use the standard real analysis tools as the maximal function Mf and the sharp function \(M^{\sharp}f\). In this paper, both of them are defined on \((\mathbb{R}^{n},d,\mu)\), namely
Here and below, B is a d-ball and \(f_{B}\) means the average of f on B. If we write \(BMO(\mathbb{R}^{n}):=\{f: \|f\|_{BMO(\mathbb {R}^{n})}<\infty\}\) with \(\|f\|_{BMO}=\|M^{\sharp}f\|_{L^{\infty}_{\mu }}\), then the \(BMO_{\mathcal{F}}(\mathbb{R}^{n})\) space coincides with \(BMO\) and \(\|f\|_{BMO_{\mathcal{F}}(\mathbb{R}^{n})}\thickapprox\|f\| _{BMO(\mathbb{R}^{n})}\) (see [6]). Denote \(M_{\delta}f(x)=M(|f|^{\delta })^{1/\delta}f(x)\) and \(M_{\delta}^{\sharp}f(x)=M^{\sharp}(|f|^{\delta })^{1/\delta}(x)\).
Macías and Segovia [19] have found that the quasi-metric d can be replaced by another quasi-metric ρ such that \((\mathbb {R}^{n},\rho,\mu)\) is a normal space. Moreover, for the quasi-metric ρ there exist constants \(C>0\) and \(\epsilon\in(0,1)\) such that
Let ρ satisfy (2.5) above and f be a continuous function on \(\mathbb{R}^{n}\). Lin [5] defined Lipschitz spaces \(Lip_{\mathcal {F}}^{\beta}\) associated with sections as follows.
Definition 2.1
Let \(0<\beta\leq1\). There exists a positive constant C such that
for \(\forall h>0\). The “norm” of f in \(Lip_{\mathcal{F}}^{\beta}\) is defined by the lower bound of the constants C.
Let ϵ be given in (2.5) above. Lin [5] found that the function spaces \(\Lambda^{\beta}_{q,\mathcal{F}}\) and \(Lip_{\mathcal {F}}^{\beta}\) coincide with equivalent norms for \(0<\beta<\epsilon\) and \(1\leq q\leq\infty\), where \(\Lambda^{\beta}_{q,\mathcal{F}}\) denotes the Campanato spaces associated to the family \(\mathcal{F}\) of the section. Also, he proved that \(\Lambda^{\beta}_{q,\mathcal{F}}\) are the dual spaces of Hardy spaces \(H^{p}_{\mathcal{F}}(\mathbb {R}^{n})\) (\(1/2< p\leq1\)).
For a locally integral function b, the commutator of Cofiman-Rochberg-Weiss \([b,H]\) is defined as follows:
where H is defined by the formula
with \(k(x,y)=\sum_{i}k_{i}(x,y)\), and each kernel \(k_{i}\) satisfies the following properties:
where \(S_{i}(x)=S(x,2^{i})\) for any \(x\in\mathbb{R}^{n},i\in\mathbb {Z}\). If T is an affine transformation that normalizes the section \(S_{i}(y)\) then each \(k_{i}\) satisfies the Lipschitz condition,
and, finally, if T is an affine transformation that normalizes the section \(S_{i}(x)\) then \(k_{i}\) satisfies the Lipschitz condition,
Caffarelli and Gutiérrez [2] obtained that H is bounded on \(L^{2}_{\mu}\). Subsequently, Incognito [3] has given \(L^{p}_{\mu}\) (\(1< p<\infty\)) and the weak-type \((1,1)\) estimate of H.
Using the property (D) and defining a function σ on \(\mathbb {R}^{n}\times\mathbb{R}^{n}\) by \(\sigma(x,y)=\inf\{t>0: y\in S(x,t)\}\), Incognito [3] obtained the following conclusions:
(E) \(\sigma(x,y)\leq\theta\sigma(y,x)\) for all \(x, y\in\mathbb{R}^{n}\).
(F) \(\sigma(x,y)\leq\theta^{2}(\sigma(x,z)+\sigma(z,y))\) for all \(x,y,z\in\mathbb{R}^{n}\).
It is easy to see that
and for a given section \(S(x,t)\), \(y\in S(x,t)\) if and only if \(\sigma< t\).
3 Main results
3.1 Boundedness from \(L^{p}_{\mu}\) to \(L^{q}_{\mu}\)
In this subsection, we discuss the property of the commutator acting on Lebesgue spaces.
Theorem 3.1
Suppose that \(b\in Lip^{\beta}_{\mathcal{F}}\), \(0<\beta< 1\). If \(1/q=1/p-\beta\) with \(1< p<1/\beta\), then \([b,H]\) is bounded from \(L^{p}_{\mu}\) to \(L^{q}_{\mu}\).
Theorem 3.2
Suppose that \(b\in Lip^{\beta}_{\mathcal{F}}\), \(0<\beta<\min\{1,\epsilon _{1}/n_{0}\}\), where \(\epsilon_{1}\) and \(n_{0}\) are given in (1.1) and (2.4) respectively. Then the commutator \([b,H]\) is bounded from \(L^{1}_{\mu}\) to weak \(L^{1/(1-\beta)}_{\mu}\).
In order to prove the theorems above, it is necessary to give the following lemmas.
Lemma 3.1
[20]
Let \(0< p,\delta<\infty\) and \(\omega\in A_{\infty}\). There exists a positive C such that
for any smooth function f for which the left-hand side is finite.
Lemma 3.2
[4]
Let \(K(x,y)=\sum_{i}K_{i}(x,y)\). Then there exists a constant \(C>0\) such that
if \(\sigma(y_{0},x)\geq2^{k}4\theta^{2}\sigma(y_{0},y)\) and \(k\geq0\).
Lemma 3.3
Suppose that \(b\in Lip^{\beta}_{\mathcal {F}}\), for \(0<\beta<1\). Let \(0<\delta<1<r<1/\beta\). Then there exists a constant \(C>0\) such that
for any smooth function f and every \(x\in\mathbb{R}^{n}\), and where
Proof
Observe that for any constant λ
For any fixed ball \(B=B(x,r)\). Decompose \(f=f_{1}+f_{2}\), where \(f_{1}=f\chi_{\bar{B}}\) with \(\bar{B}=B(x,16\theta^{4}r)\). Let λ and \(c_{B}\) be constants to be fixed in the proof. We write
For \(L_{1}\), we fix \(\lambda=b_{B}\). The Hölder inequality and (2.5) give us
From Kolmogorov’s inequality and (2.5), it follows that
Finally, we take \(c_{B}= (H ((b-b_{B})f_{2} ) )_{B}\). Then for any \(x_{0}\in B\), Lemma 3.2, (2.5), (2.3), and (2.4) yield
The estimates for \(L_{1},L_{2}\), and \(L_{3}\) indicate that the proof is completed. □
Lemma 3.4
[21]
Let local integral function \(f\in L^{1}_{\mu}\) and \(\alpha>0\). Then there exists a family of balls \(\{B_{i}\}\) such that:
-
(1)
\(|f(x)|\leq\alpha\), for μ-\(a.e.x\in\mathbb{R}^{n}\backslash \bigcup_{i}B_{i}\);
-
(2)
\(\frac{1}{\mu(B_{i})}\int_{B_{i}}|f(t)|\,d\mu(t)\leq C\alpha\);
-
(3)
\(\sum^{\infty}_{i=1}\mu(B_{i})\leq\frac{C}{\alpha}\|f\| _{L^{1}_{\mu}}\);
-
(4)
there exists an integer \(N\geq1\), independent of f and λ, such that \(\sum_{i}\chi_{B_{i}}(x)\leq N\) for μ-a.e. \(x\in \mathbb{R}^{n}\).
Now, with the lemmas above, we state the proof of our results.
Proof of Theorem 3.1
From Lemma 3.1 and Lemma 3.3 with \(0<\delta<1<r<p\), it follows that
Thus, the proof of the theorem is completed. □
Proof of Theorem 3.2
For \(f\in L^{1}_{\mu}\) and any \(\alpha>0\), applying Lemma 3.4 with α replaced by \(\alpha^{q_{0}}\) with \(q_{0}=\frac{1}{1-\beta }\), we obtain, with the same notation as in Lemma 3.4, \(f=g+h=g+\sum_{j}h_{j}\), where
with \(\eta_{j}(x)=\frac{\chi_{B_{j}}(x)}{\sum_{j}\chi _{B_{j}}(x)}\chi_{\bigcup_{i}B_{i}}(x)\). By Lemma 3.4, it is easy to obtain the following properties:
-
(i)
\(|f(x)|\leq\alpha^{q_{0}}\), for μ-\(a.e.x\in\mathbb {R}^{n}\backslash\bigcup_{j}B_{j}\);
-
(ii)
\(\frac{1}{\mu(B_{j})}\int_{B_{j}}|f(t)|\,d\mu(t)\leq C\alpha^{q_{0}}\);
-
(iii)
\(\sum^{\infty}_{j=1}\mu(B_{j})\leq\frac{C}{\alpha ^{q_{0}}}\|f\|_{L^{1}_{\mu}}\);
-
(iv)
\(\|g\|_{L^{1}_{\mu}}\leq C\|f\|_{L^{1}_{\mu}}\) and \(|g(x)|\leq C\alpha^{q_{0}}\), for μ-a.e. \(x\in\mathbb{R}^{n}\);
-
(v)
each \(h_{j}\) is supported in \(B_{j}\), \(\int_{\mathbb{R}^{n}}|h_{j}(x)|\,d\mu(x)\leq C\alpha^{q_{0}}\mu(B_{j})\) and \(\int_{\mathbb{R}^{n}}h_{j}(x)\,d\mu(x)=0\).
Let \(\bar{B}_{j}=B(z_{j},4\theta^{3}r_{j})\), we write
Choose \(1< p_{1}<1/\beta\) and \(\frac{1}{q_{2}}=\frac{1}{p_{2}}-\beta\). The boundedness of \([b,H]\) from \(L^{p_{2}}_{\mu}\) to \(L^{q_{2}}_{\mu}\) and (iv) give us that
By (iii), it is concluded that
For \(K_{3}\), we have
From (v), Lemma 3.2, (2.5), and (iii), it follows that
The boundedness of \([b,H]\) from \(L^{1}_{\mu}\) to weak \(L^{1}_{\mu}\), (2.5), (v), and (iii) give us that
Combining the estimates for \(K_{1},K_{2}\) and \(K_{3}\), one can finish the proof. □
3.2 Boundedness from \(H^{p}_{\mathcal{F}}(\mathbb{R}^{n})\) to \(L^{q}_{\mu}\)
In this subsection, we discuss the boundedness of the commutator \([b,H]\) on Hardy spaces \(H^{p}_{\mathcal{F}}(\mathbb{R}^{n})\), and obtain the following results in which the symbols \(\epsilon_{1}\) and \(n_{0}\) are given in (1.1) and (2.4) respectively. Firstly, we recall the definition of the \((p,\infty)\)-atoms and the atomic Hardy spaces \(H^{p}_{\mathcal{F}}(\mathbb{R}^{n})\) with respect to a family \(\mathcal{F}\) of sections and a doubling measure μ.
Definition 3.1
[5]
Let \(1/2< p\leq1\). A function \(a\in L^{\infty}_{\mu}\) is called a \((p,\infty)\)-atom if there exists a section \(S(x_{0},t_{0})\in\mathcal {F}\) such that
-
(1)
\(\operatorname{supp}(a)\subset S(x_{0},t_{0})\);
-
(2)
\(\int_{\mathbb{R}^{n}}a(x)\,d\mu(x)=0\);
-
(3)
\(\|a\|_{L^{\infty}_{\mu}}\leq\mu(S(x_{0},t_{0}))^{-1/p}\).
The atomic Hardy space \(H^{p}_{\mathcal{F}}(\mathbb{R}^{n})\) is defined by \(H^{p}_{\mathcal{F}}(\mathbb{R}^{n})= \{f\in\mathcal{S}^{\prime}(\mathbb {R}^{n}): f(x)\stackrel{\mathcal{S}^{\prime}}{=}\sum_{j}\lambda_{j}a_{j}(x), \mbox{ }\mbox{each } a_{j}\mbox{ is a }(p,\infty)\mbox{-atom and }\sum_{j}|\lambda _{j}|^{p}<\infty \}\), where \(\mathcal{S}(\mathbb{R}^{n})\) denotes the space of Schwartz functions and \(\mathcal{S}^{\prime}(\mathbb{R}^{n})\) is the dual space of \(\mathcal{S}(\mathbb{R}^{n})\). We define the \(H^{p}_{\mathcal {F}}(\mathbb{R}^{n})\) norm of f by
where the infimum is taken over all decompositions of \(f=\sum_{j}\lambda_{j}a_{j}\) above.
Theorem 3.3
Suppose that \(b\in Lip^{\beta}_{\mathcal{F}}\), \(0<\beta< \min\{ 1,\epsilon_{1}/n_{0}\}\). If \(\frac{1}{1+\beta}< p\leq1\) and \(1/q=1/p-\beta\), then \([b,H]\) maps \(H^{p}_{\mathcal{F}}(\mathbb {R}^{n})\) continuously into \(L^{q}_{\mu}\).
For the extreme case \(p=1/(1+\beta)\), one gets the following characterization theorem.
Theorem 3.4
Let \(b\in Lip^{\beta}_{\mathcal{F}}\), \(0<\beta< \min\{1,\epsilon _{1}/n_{0}\}\). Then the following statements are equivalent.
-
(a)
\([b,H]\) raps \(H^{1/(1+\beta)}_{\mathcal{F}}\) continuously into \(L^{1}_{\mu}\);
-
(b)
for any \((1,\infty)\)-atom a supported in a section \(S=S(x_{0},r/2\theta)\) and \(u\in S\),
$$\biggl\vert \int_{\mathbb{R}^{n}}b(y)a(y)\,d\mu(y)\biggr\vert \int_{\bar{B}^{c}}\bigl|K(x,u)\bigr|\,d\mu (x)\lesssim1, $$where \(\bar{B}=B(x_{0},16\theta^{4}r)\).
In general, the \((H^{p},L^{q})\) boundedness of \([b,H]\) fails for \(p=1/(1+\beta)\), then we give a weak estimate instead.
Theorem 3.5
Let \(b\in Lip^{\beta}_{\mathcal{F}}\), \(0<\beta< \min\{1,\epsilon _{1}/n_{0}\}\). Then \([b,H]\) maps \(H^{1/(1+\beta)}_{\mathcal{F}}(\mathbb {R}^{n})\) continuously into weak \(L^{1}_{\mu}\).
Next, we show the proofs of the theorems above.
Proof of Theorem 3.3
Without loss of generality, we assume that \(\|b\|_{Lip_{\mathcal{F}}^{\beta}}=1\). By Definition 3.1, we only need to prove that for any \((p,\infty)\)-atom a, \(\| [b,H]a\|_{L^{q}_{\mu}}\lesssim1\). Given a \((p,\infty)\)-atom a with \(\operatorname{supp}a\subset S=S(x_{0},r/2\theta)\in\mathcal{F}\). Let \(B=B(x_{0},r), \bar{B}=B(x_{0},16\theta^{4}r)\). Then \(S(x_{0},r/2\theta )\subset B(x_{0},r)\). Write
Choosing \(1< p_{1}<1/\beta\) and \(1/q_{1}=1/p_{1}-\beta\), and noting the \((p_{1},q_{1})\) boundedness of \([b,H]\) and the size condition of a, one can get
On the other hand, the cancellation condition of the atom a yields
Lemma 3.2, (2.5), (2.3), and (2.4) imply that
Finally, noting that
by the \((q,q)\) boundedness of H, one obtains
Combining the estimates for I and II, one can finish the proof. □
Proof of Theorem 3.4
Now that \([b,H]\) is bounded from \(H^{1/(1+\beta)}_{\mathcal{F}}(\mathbb{R}^{n})\) to \(L^{1}_{\mu}\) is equivalent to the fact that \(\|[b,H]a\|_{L^{1}_{\mu}}\lesssim1\) holds for any \((1/(1+\beta),\infty)\) atom. Thus, we will study the behavior of \([b,H]\) acting on any \((1/(1+\beta),\infty)\) atom. Let a be an atom with \(\operatorname{supp}\subset S=S(x_{0},r/2\theta)\in\mathcal{F}\), let \(B=B(x_{0},r), \bar{B}=B(x_{0},16\theta^{4}r)\), then \(S(x_{0},r/2\theta )\subset B(x_{0},r)\). For any \(u\in S(x_{0},r/2\theta)\), one writes
Similar to the estimate for I and \(II_{1}\) in the proof of Theorem 3.3, we can show that \(\|M_{1}\|_{L^{1}_{\mu}}\lesssim1\) and \(\| M_{2}\|_{L^{1}_{\mu}}\lesssim1\). Using the vanishing condition, one can obtain
The estimation above yields that \(\|[b,H]a\|_{L^{1}_{\mu}}\lesssim1\) if and only if \(\|M_{4}\|_{L^{1}_{\mu}}\lesssim1\). Hence the proof is finished. □
Proof of Theorem 3.5
Let \(f\in H^{1/(1+\beta)}_{\mathcal {F}}(\mathbb{R}^{n})\) and \(f(x)=\sum_{i}\lambda_{i}a_{i}(x)\) with each \(a_{i}\) an \((1/(1+\beta),\infty)\)-atom and \(\sum_{i}|\lambda_{i}|^{1/(1+\beta)}<\infty\). Suppose that \(\operatorname{supp}a\subset S_{i}=S(x_{i},r_{i})\). Write
By the Hölder inequality and the \((2,2)\) boundedness of H, we have
Using the same method as \(M_{3}\) together with \(0<\beta<\epsilon _{1}/n_{0}\), it is easy to check
So, we have
Finally, noting that
and we have the weak \((1,1)\) boundedness of H, one obtains
Equations (3.1) and (3.2) imply that the proof is completed. □
4 Conclusions
The authors prove the commutator \([b,H]\) is bounded from \(L^{p}(\mathbb {R}^{n},d\mu)\) to \(L^{q}(\mathbb{R}^{n},d\mu)\) for \(1< p<1/\beta\) and from \(H^{p}_{\mathcal{F}}(\mathbb{R}^{n})\) to \(L^{q}(\mathbb{R}^{n},d\mu )\) for \(1/(1+\beta)< p\leq1\) and give the weak estimate at the extreme case \(p=1/(1+\beta)\) as well, which may give us an essential tool to study the linear or non-linear Monge-Ampère equation. It is a pity that we do not characterize the Lipschitz spaces \(Lip^{\beta}_{\mathcal {F}}\) with the boundedness of it due to the particularity of the operator H. But in order to provide more useful ways to study the equation we will continue to perform this work in the future. Moreover, the smoothing effect and the compactness of the commutator \([b,H]\) can be investigated as well.
References
Caffarelli, LA, Gutiérrez, CE: Real analysis related to the Monge-Ampère equation. Trans. Am. Math. Soc. 348, 1075-1092 (1996)
Caffarelli, LA, Gutiérrez, CE: Singular integrals related to the Monge-Ampère equation. In: Wavelet Theory and Harmonic Analysis in Applied Sciences (Buenos Aires, 1995). Appl. Numer. Harmon. Anal., pp. 3-13. Birkhauser Boston, Boston (1997)
Incognito, A: Weak-type \((1,1)\) inequality for the Monge-Ampère SIO’s. J. Fourier Anal. Appl. 7, 41-48 (2001)
Tang, L: Weighted estimates for singular integral operators and commutators associated with sections. J. Math. Anal. Appl. 333, 577-590 (2007)
Lin, CC: Boundedness of Monge-Ampère singular integral operators acting on Hardy spaces and their duals. Trans. Am. Math. Soc. 368, 3075-3104 (2015)
Coifman, R, Rochberg, R, Weiss, G: Factorization theorems for Hardy spaces in several variables. Ann. Math. 103, 611-635 (1976)
Paluszyński, M: Characterization of the Besov spaces via the commutator operator of Coifman, Rochberg and Weiss. Indiana Univ. Math. J. 44, 1-17 (1995)
Janson, S: Mean oscillation and commutators of singular integral operators. Ark. Mat. 16, 263-270 (1978)
Ferguson, SH, Lacey, MT: A characterization of product BMO by commutators. Acta Math. 189, 143-160 (2002)
Coifman, R, Lions, P, Meyer, Y, Semmes, S: Compensated compactness and Hardy spaces. J. Math. Pures Appl. 72, 247-286 (1993)
Iwaniec, T: Nonlinear commutators and Jacobians. J. Fourier Anal. Appl. 3, 775-796 (1997)
Turunen, V: Commutator characterization of periodic pseudodifferential operators. Z. Anal. Anwend. 19, 95-108 (2000)
Shi, S, Fu, Z, Zhao, F: Estimates for operators on weighted Morrey spaces and their applications to nondivergent elliptic equations. J. Inequal. Appl. 2013, 390 (2013)
Iwaniec, T, Sbordone, C: Riesz transforms and elliptic PDEs with VMO coefficients. J. Anal. Math. 74, 183-212 (1998)
Caffarelli, LA: Some regularity properties of solutions of Monge Ampère equation. Commun. Pure Appl. Math. 44, 965-969 (1991)
Caffarelli, LA: Boundary regularity of maps with convex potentials. Commun. Pure Appl. Math. 45, 1141-1151 (1992)
Caffarelli, LA, Gutiérrez, CE: Properties of the solutions of the linearized Monge-Ampère equation. Am. J. Math. 119, 423-465 (1997)
Aimar, H, Forzani, L, Toledano, R: Balls and quasi-metrics: a space of homogeneous type modeling the real analysis related to the Monge-Ampère equation. J. Fourier Anal. Appl. 4, 377-381 (1998)
Macías, RA, Segovia, C: Lipschitz functions on spaces of homogeneous type. Adv. Math. 33, 257-270 (1979)
Garcá-Cuerva, J, Rubio de Francia, J-L: Weighted Norm Inequalities and Related Topics. North-Holland, Amsterdam (1985)
Coifman, R, Weiss, RG: Analyse Harmonique Non-commutative sur Certains Espaces Homogènes. Lecture Notes in Math., vol. 242. Springer, Berlin (1971)
Acknowledgements
The research was supported by National Natural Science Foundation of China (Grant No. 11661075).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they do not have any commercial or associative interests that represent a conflict of interest in connection with the work submitted.
Authors’ contributions
All authors contributed equally to the writing of this paper. All 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
Wang, G., Zhou, J. Lipschitz estimates for commutators of singular integral operators associated with the sections. J Inequal Appl 2017, 27 (2017). https://doi.org/10.1186/s13660-017-1299-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-017-1299-x