Open Access

Norm inequalities for higher-order commutators of one-sided oscillatory singular integrals

Journal of Inequalities and Applications20162016:88

https://doi.org/10.1186/s13660-016-1025-0

Received: 20 September 2015

Accepted: 18 February 2016

Published: 3 March 2016

Abstract

In the present paper, we study the weighted norm inequalities for higher-order commutators formed by a class of one-sided oscillatory singular integrals and \(BMO\) functions. We obtain that the boundedness of these commutators can be deduced by that of one-sided Calderón-Zygmund singular integral operators.

Keywords

commutator one-sided oscillatory integral one-sided weight

MSC

42B20 42B25

1 Introduction

The aim of this paper is to further study the one-sided version of the following oscillatory singular integral, which was first introduced and studied by Ricci and Stein [1]:
$$Tf(x)=\mathrm{p.v.} \int_{\mathbb{R}^{n}}e^{iP(x,y)}K(x-y)f(y)\,dy, $$
where \(P(x,y)\) is a nontrivial real-valued polynomial defined on \(\mathbb{R}^{n}\times\mathbb{R}^{n}\), and K is a Calderón-Zygmund kernel. We say that a function in \(L_{\mathrm{loc}}^{1}(\mathbb {R}^{n}\setminus \{0\})\) is a Calderón-Zygmund kernel if the following properties are satisfied [2]:
  1. (1)
    there exists a finite constant \(C_{1}\) such that
    $$\bigl|K(x-y)-K(x)\bigr|\leq\frac{C_{1}|y|}{|x|^{2}} \quad\mbox{for all } |x|>2|y|; $$
     
  2. (2)
    there exists a finite constant \(C_{2}\) such that
    $$\biggl\vert \int_{\varepsilon< |x|< N}K(x)\,dx\biggr\vert \leq C_{2} \quad\mbox{for all } \varepsilon \mbox{ and } N \mbox{ such that } 0< \varepsilon< N; $$
     
  3. (3)
    there exists a finite constant \(C_{3}\) such that
    $$\bigl|K(x)\bigr|\leq\frac{C_{3}}{|x|} \quad\mbox{for all } x\neq0. $$
     
Ricci and Stein [1] studied the norm inequalities for T on \(L^{p}(\mathbb{R}^{n})\) spaces with \(1< p<\infty\). Weighted inequalities arise naturally in Fourier analysis, but their use is best justified by the variety of applications in which they appear. For example, the theory of weights plays an important role in the study of boundary value problems inherent in Laplace equations on Lipschitz domains. Many people are interested in the study of the events that occur when the weight function belongs to the Muckenhoupt classes \(A_{p}\):
$$\biggl(\frac{1}{|B|} \int_{B}w(x)\,dx \biggr) \biggl(\frac{1}{|B|} \int _{B}w(x)^{1-p'}\,dx \biggr)^{p-1}\leq C. $$
Here \(1< p<\infty\), and B denotes any ball in \(\mathbb{R}^{n}\). The classes \(A_{1}\) are defined as \(Mw\leq Cw\), where M is the classical Hardy-Littlewood maximal operator. Lu and Zhang [3, 4] gave the boundedness of T on \(L^{p}(w)\) (\(1< p<\infty\)) spaces with weight functions \(w\in A_{p}\). For other classical works on T, see, for example, [510] and the references therein. In what follows, we restrict our attention on \(n=1\) in order to introduce the one-sided operators defined on \(\mathbb{R}\).
Many operators in harmonic analysis have one-sided versions. It is well known that the one-sided Hardy-Littlewood maximal operators are required in ergodic theory. Sawyer [11] introduced the integral version of these operators as
$$M^{+}f(x)=\sup_{h>0}\frac{1}{h} \int_{x}^{x+h}\bigl|f(y)\bigr|\,dy \quad\mbox{and}\quad M^{-}f(x)=\sup_{h>0}\frac{1}{h} \int_{x-h}^{x}\bigl|f(y)\bigr|\,dy. $$
The good weights for \(M^{+}\) and \(M^{-}\) are the one-sided version of \(A_{p}\) classes. Sawyer [11] studied these one-sided weights in depth for the first time. We recall their definitions:
$$\begin{aligned}& A_{p}^{+}:\sup_{a< b< c}\frac{1}{(c-a)^{p}} \int_{a}^{b}w(x)\,dx \biggl( \int _{b}^{c}w(x)^{1-p'}\,dx \biggr)^{p-1}\leq C \quad\mbox{for } 1< p< \infty,\\& A_{p}^{-}:\sup_{a< b< c}\frac{1}{(c-a)^{p}} \int_{b}^{c}w(x)\,dx \biggl( \int _{a}^{b}w(x)^{1-p'}\,dx \biggr)^{p-1}\leq C\quad \mbox{for } 1< p< \infty, \end{aligned}$$
and
$$A_{1}^{+}:M^{-}w\leq Cw\quad \mbox{and}\quad A_{1}^{-}:M^{+}w\leq Cw. $$
In [12], the classes \(A_{\infty}^{+}\) and \(A_{\infty}^{-}\) were introduced as
$$A_{\infty}^{+}=\bigcup_{1\leq p< \infty}A_{p}^{+} \quad\mbox{and}\quad A_{\infty}^{-}=\bigcup_{1\leq p< \infty}A_{p}^{-}. $$
The important point to note here is that the one-sided Muckenhoupt classes are larger than the classical Muckenhoupt classes. For instance, the function \(e^{x}\in A_{1}^{+}\), but \(e^{x}\notin A_{1}\). In fact, it is easy to see that for \(1\leq p\leq\infty\), \(A_{p}\subsetneq A_{p}^{+}\), \(A_{p}\subsetneq A_{p}^{-}\), and \(A_{p}=A_{p}^{+}\cap A_{p}^{-}\). Furthermore, both the reverse Hölder inequality and the doubling condition are not true for the one-sided Muckenhoupt classes. Therefore, some different ideas are needed here to deal with the weighted norm inequalities for one-sided operators. The classes \(w\in A_{p}^{+}\) are of interest, not only because they control the boundedness of the one-sided Hardy-Littlewood maximal operators, but also they are the right classes for the weighted estimates of one-sided Calderón-Zygmund singular integral operators [13] defined by
$$\widetilde{T}^{+}f(x)=\lim_{\varepsilon\rightarrow0^{+}} \int _{x+\varepsilon}^{\infty}K(x-y)f(y)\,dy \quad\mbox{and}\quad \widetilde{T}^{-}f(x)=\lim_{\varepsilon\rightarrow0^{+}} \int _{-\infty }^{x-\varepsilon}K(x-y)f(y)\,dy, $$
where K is the Calderón-Zygmund kernel with support in \(\mathbb {R}^{-}=(-\infty, 0)\) and \(\mathbb{R}^{+}=(0, +\infty)\), respectively (also called the one-sided Calderón-Zygmund kernel). An example of such a kernel is
$$\begin{aligned} K(x)=\frac{\sin(\log|x|)}{(x\log|x|)}\chi_{(-\infty,0)}(x), \end{aligned}$$
where \(\chi_{E}\) denotes the characteristic function of a set E.
Highly inspired by these statements for the oscillatory singular integral operators and the one-sided operator theory, Fu, Lu, Shi, and their coauthors introduced the one-sided oscillatory singular integral operators and studied some weighted norm inequalities for these operators with one-sided weights, including the strong weighted \(L^{p}\) (\(1< p<\infty\)) boundedness [14], the weighted weak \((1,1)\) type norm inequalities [15] and the weighted norm estimates on one-sided Hardy spaces [16]. We recall the definition of one-sided oscillatory integral operators:
$$T^{+}f(x)=\lim_{\varepsilon\rightarrow0^{+}} \int _{x+\varepsilon}^{\infty}e^{iP(x,y)}K(x-y)f(y)\,dy $$
and
$$T^{-}f(x)=\lim_{\varepsilon\rightarrow0^{+}} \int_{-\infty }^{x-\varepsilon}e^{iP(x,y)}K(x-y)f(y)\,dy, $$
where \(P(x,y)\) are real-valued polynomials defined on \(\mathbb {R}\times \mathbb{R}\), and K are the one-sided Calderón-Zygmund kernels.
Let b be a locally integrable function on \(\mathbb{R}^{n}\), and let \(\mathcal{T}\) be an integral operator. Then we define the commutator operator for a proper function f by
$$\mathcal{T}_{b}(f):= b(\mathcal{T}f)-\mathcal{T}(bf). $$
The function b is also called the symbol function of \(\mathcal {T}_{b}\). The investigation of the operator \(\mathcal{T}_{b}\) begins with Coifman-Rochberg-Weiss pioneering study of the operator \(\mathcal {T}\) [17]. There are two major reasons for considering the problem of commutators. The first one is that the boundedness of commutators can produce some characterizations of function spaces [18, 19]. The other one is that the theory of commutators plays an important role in the study of the regularity of solutions to elliptic and parabolic partial differential equations (PDEs) of the second order [20, 21]. It is well known that many people are interested in the study of commutators for which the symbol functions belong to \(BMO\) spaces. In harmonic analysis, a function b of bounded mean oscillation, also known as a \(BMO\) function, is a real-valued function whose mean oscillation is bounded, that is,
$$\frac{1}{|B|} \int_{B}\bigl|b(x)-b_{B}\bigr|\,dx< \infty, $$
where B is a ball in \(\mathbb{R}^{n}\). The \(BMO\) space is the function space with the norm
$$\|b\|_{BMO(\mathbb{R}^{n})}=\sup_{B}\frac{1}{|B|} \int_{B}\bigl|b(x)-b_{B}\bigr|\,dx. $$
In some precise sense, the space \(BMO(\mathbb{R}^{n})\) plays the same role in the theory of Hardy spaces \(H^{p}\) (\(0< p<1\)) as that the space \(L^{\infty}\) of essentially bounded functions plays in the theory of \(L^{p}\) spaces with \(1< p<\infty\). The commutator formed by the oscillatory integral operator T and a \(BMO\) function b can be defined by
$$T_{b}f(x)=\mathrm{p.v.} \int_{\mathbb {R}^{n}}e^{iP(x,y)}K(x-y) \bigl(b(x)-b(y)\bigr)f(y)\,dy. $$
The commutators of degree k (\(k\in\mathbb{Z}^{+}\)) of T were defined by
$$T_{b}^{k}f(x)=\mathrm{p.v.} \int_{\mathbb {R}^{n}}e^{iP(x,y)}K(x-y) \bigl(b(x)-b(y) \bigr)^{k}f(y)\,dy. $$
It is immediate that \(T_{b}^{0}=T\). In the literature, there are a great deal of results on the norm inequalities for \(T_{b}^{k}\); see, for example, [2228] and the references therein.
For the one-sided case, Lorente and Riveros [29, 30] introduced the commutators of some one-sided operators. Here we collect the definitions of commutators for the one-sided Hardy-Littlewood maximal operators and the one-sided Calderón-Zygmund singular integral operators as follows. Let \(k=0,1,\ldots\) and \(b\in BMO(\mathbb{R})\). The commutators of degree k generated by \(M^{+}\) (\(M^{-}\)) and b are defined by
$$M_{b}^{k,+}f(x)=\sup_{h>0} \frac{1}{h} \int_{x}^{x+h}\bigl\vert b(x)-b(y)\bigr\vert ^{k}\bigl|f(y)\bigr|\,dy $$
and
$$M_{b}^{k,-}f(x)=\sup_{h>0} \frac{1}{h} \int_{x-h}^{x}\bigl\vert b(x)-b(y)\bigr\vert ^{k}\bigl|f(y)\bigr|\,dy. $$
The kth commutators generated by \(\widetilde{T}^{+}\) (\(\widetilde {T}^{-}\)) and b are defined by
$$\widetilde{T}_{b}^{+,k}f(x)=\mathrm{p.v.} \int_{x}^{\infty }K(x-y) \bigl(b(x)-b(y) \bigr)^{k}f(y)\,dy $$
and
$$\widetilde{T}_{b}^{-,k}f(x)=\mathrm{p.v.} \int_{-\infty }^{x}K(x-y) \bigl(b(x)-b(y) \bigr)^{k}f(y)\,dy. $$
Here K are one-sided Calderón-Zygmund kernels defined as before. The corresponding weighted norm inequalities for these commutators will be stated in Section 2. Highly inspired by the results for one-sided operators, Fu et al. [31] introduced the commutators formed by \(T^{+}\) (\(T^{-}\)) and \(b\in BMO(\mathbb{R})\) as follows:
$$T_{b}^{+}f(x)=\mathrm{p.v.} \int_{x}^{\infty}e^{iP(x,y)}K(x-y) \bigl(b(x)-b(y) \bigr)f(y)\,dy $$
and
$$T_{b}^{-}f(x)=\mathrm{p.v.} \int_{-\infty}^{x}e^{iP(x,y)}K(x-y) \bigl(b(x)-b(y) \bigr)f(y)\,dy. $$
For \(k\in\mathbb{Z}^{+}\), the high-order commutators of \(T^{+}\) (\(T^{-}\)) and \(b\in BMO(\mathbb{R})\) can be deduced as
$$T_{b}^{k,+}f(x)=\mathrm{p.v.} \int_{x}^{\infty}e^{iP(x,y)}K(x-y) \bigl(b(x)-b(y) \bigr)^{k}f(y)\,dy $$
and
$$T_{b}^{k,-}f(x)=\mathrm{p.v.} \int_{-\infty}^{x}e^{iP(x,y)}K(x-y) \bigl(b(x)-b(y) \bigr)^{k}f(y)\,dy. $$

This paper is devoted to the weighted norm inequalities for \(T_{b}^{k,+}\) and \(T_{b}^{k,-}\) with \(k>1\). Due to their similarities, we further consider only the operator \(T_{b}^{k,+}\).

Now, we can formulate our results.

Theorem 1.1

Let \(1< p<\infty\), \(k\in\mathbb{Z}^{+}\), \(w\in A_{p}^{+}\), and let \(b\in BMO(\mathbb{R})\). Then the operator \(T_{b}^{k,+}\) is bounded on \(L^{p}(w)\).

Theorem 1.2

Let p, w, and b be defined as in Theorem 1.1. Then the truncated operator
$$\widetilde{T}^{k,+}_{b,0}f(x)=\mathrm{p.v.} \int_{x}^{x+1}K(x-y) \bigl(b(x)-b(y) \bigr)^{k}f(y)\,dy $$
is bounded on \(L^{p}(w)\).

We end this section with the outline of this paper. In Section 2, some lemmas are collected for the proofs of our main results. Section 3 contains the proofs of Theorem 1.1 and Theorem 1.2. Throughout this paper, the letter C will denote a positive constant that may vary from line to line but will remain independent of the relevant quantities.

2 Basic lemmas

We provide in this section some lemmas that are crucial for the proofs in Section 3. Together with the characterizations of the weighted inequalities for one-sided operators, we can obtain some properties of the classes \(A_{p}^{+}\) and \(A_{p}^{-}\).

Lemma 2.1

[11, 14, 32]

  1. (1)

    If \(w\in A_{p}^{+}\), then \(w^{1+\varepsilon}\in A_{p}^{+}\) for some \(\varepsilon>0\) with \(1\leq p<\infty\).

     
  2. (2)

    Let \(1< p<\infty\). Then \(w\in A_{p}^{+}\) if and only if there exist \(w_{1}\in A_{1}^{+}\) and \(w_{2}\in A_{1}^{-}\) such that \(w=w_{1}(w_{2})^{1-p}\).

     
  3. (3)

    Let \(1< p<\infty\). Then \(w\in A_{p}^{+}\) if and only if \(w^{1-p'}\in A_{p'}^{-}\), where \(\frac{1}{p}+\frac{1}{p'}=1\).

     
  4. (4)

    Let \(1< p<\infty\) and \(w\in A_{p}^{+}\). Then \(A_{p}^{+}(\delta^{\lambda}(w))=A_{p}^{+}(w)\), where \(\delta^{\lambda}(w)(x)=w(\lambda x)\) for all \(\lambda>0\).

     

In [30], the authors obtained some weighted norm estimates for \(M_{b}^{k,+}\).

Lemma 2.2

The following conditions are equivalent:
  1. (1)

    \(M_{b}^{k,+}\) is bounded on \(L^{p}(w)\) for every \(1< p<\infty\) with \(w\in A_{p}^{+}\).

     
  2. (2)

    \(M_{b}^{k,+}\) is bounded on \(L^{p}(dx)\) for some \(1< p<\infty\).

     
  3. (3)

    \(b\in BMO(\mathbb{R})\).

     

Lemma 2.3

[33]

  1. (1)

    Let \(1< p<\infty\), and let \(b\in BMO(\mathbb {R})\). Then there exists \(\lambda>0\) such that \(e^{\lambda b}\in A_{p}^{+}\).

     
  2. (2)

    Let \(1< p<\infty\) and \(\lambda>0\). Then there exists \(\eta=\eta(\lambda,p)>0\) such that for \(b\in BMO(\mathbb{R})\) and \(\|b\|_{BMO(\mathbb{R})}<\eta\), we have \(e^{\lambda b}\in A_{p}^{+}\).

     

To prove Theorem 1.1, we still need a celebrated interpolation theorem of operators with change of measures.

Lemma 2.4

[34]

Suppose that \(u_{0}\), \(v_{0}\), \(u_{1}\), \(v_{1}\) are positive weight functions, and \(1< p_{0},p_{1}<\infty\). Assume that a sublinear operator S satisfies
$$\|Sf\|_{L^{p_{0}}(u_{0})}\leq C_{0}\|f\|_{L^{p_{0}}(v_{0})} \quad\textit{and}\quad \|Sf \|_{L^{p_{1}}(u_{1})}\leq C_{1}\|f\|_{L^{p_{1}}(v_{1})}. $$
Then
$$\|Sf\|_{L^{p}(u)}\leq C\|f\|_{L^{p}(v)} $$
for any \(0<\theta<1\) and \({1}/{p}={\theta}/{p_{0}}+{(1-\theta )}/{p_{1}}\), where \(u=u_{0}^{{p\theta}/{p_{0}}}u_{1}^{{p(1-\theta)}/{p_{1}}}\), \(v=v_{0}^{{p\theta}/{p_{0}}}v_{1}^{{p(1-\theta)}/{p_{1}}}\), and \(C\leq C_{0}^{\theta}C_{1}^{1-\theta}\).

3 Proofs of the main results

The proof of Theorem 1.1 is a by-product of the following two lemmas.

Lemma 3.1

Let p, K, k, w, and b be as in Theorem 1.1. Then the operator
$$T^{k,+}_{b,0}f(x)=\mathrm{p.v.} \int _{x}^{x+1}e^{iP(x,y)}K(x-y)f(y) \bigl(b(x)-b(y) \bigr)^{k}\,dy $$
is bounded on \(L^{p}(w)\).

Lemma 3.2

Let p, K, k, w, and b be as in Theorem 1.1. Then the operator
$$T^{k,+}_{b,\infty}f(x)= \int_{x+1}^{\infty}e^{iP(x,y)}K(x-y)f(y) \bigl(b(x)-b(y) \bigr)^{k}\,dy $$
is bounded on \(L^{p}(w)\).

3.1 Proof of Lemma 3.1

Lemma 3.1 can be proved by induction on k. For \(k=0\), by [16], Theorem 1.3, Lemma 3.3, we have the boundedness of the operator
$$T_{b,0}^{0,+}f(x)=:T_{0}^{+}f(x)= \mathrm{p.v.} \int _{x}^{x+1}e^{iP(x,y)}K(x-y)f(y)\,dy $$
on \(L^{p}(w)\). We now assume that Lemma 3.1 holds for \(k-1\), that is, for any \(f\in L^{p}(w)\) with \(w\in A_{p}^{+}\), we have
$$ \bigl\| T^{k-1,+}_{b,0}f\bigr\| _{L^{p}(w)}\leq C\|f\|_{L^{p}(w)}. $$
(3.1)
Next, we claim that
$$\bigl\| T^{k,+}_{b,0}f\bigr\| _{L^{p}(w)}\leq C\|f\|_{L^{p}(w)}. $$
In fact, by Lemma 2.1 there exists \(\varepsilon>0\) such that, for any \(f\in L^{p}(w^{1+\varepsilon})\),
$$ \bigl\| T^{k-1,+}_{b,0}f\bigr\| _{L^{p}(w^{1+\varepsilon})}\leq C\|f\| _{L^{p}(w^{1+\varepsilon})}. $$
(3.2)
By Lemma 2.3 with \(\lambda=\frac{p(1+\varepsilon )}{\varepsilon}\), there is \(\eta>0\) such that
$$e^{\frac{pb(1+\varepsilon)}{\varepsilon}}\in A_{p}^{+} \quad\mbox{whenever } \|b \|_{BMO(\mathbb{R})}< \eta. $$
On the other hand, the fact that for every \(\theta\in[0,2\pi]\), \(b\cos \theta\in BMO(\mathbb{R})\) and
$$\|b\cos\theta\|_{BMO(\mathbb{R})}\leq\|b\|_{BMO(\mathbb{R})}< \eta $$
shows that \(e^{g(p,b,\varepsilon,\theta)}\in A_{p}^{+}\) with \(g(p,b,\varepsilon,\theta):=\frac{pb(1+\varepsilon)\cos\theta }{\varepsilon}\). Therefore, we can conclude from (3.1) that for every \(\theta\in [0,2\pi]\),
$$ \bigl\| T^{k-1,+}_{b,0}f\bigr\| _{L^{p}(g(p,b,\varepsilon,\theta))}\leq C \|f\| _{L^{p}(g(p,b,\varepsilon,\theta))}, $$
(3.3)
where C depends on p, b, and w but not on k and θ. Applying Lemma 2.4 to (3.2) and (3.3), we have
$$\bigl\| T^{k-1,+}_{b,0}f\bigr\| _{L^{p}(we^{pb\cos\theta})}\leq C\|f\| _{L^{p}(we^{pb\cos\theta})} \quad\mbox{for every } \theta\in [0,2\pi], $$
where C and \(\delta>0\) are independent of k and θ. Moreover, if we set \(g_{\theta}(x)=f(x)e^{-b(x)e^{i\theta}}\), then \(g_{\theta}\in L^{p}(we^{pb\cos\theta})\) and
$$ \|g_{\theta}\|_{L^{p}(we^{pb\cos\theta})}=\|f\|_{L^{p}(w)}. $$
(3.4)
For simplicity, we denote
$$K_{k-1}(x,y)=e^{iP(x,y)}K(x-y) \bigl(b(x)-b(y) \bigr)^{k-1}\chi_{0< y-x< 1}(x-y). $$
Now, for \(z\in\mathbb{C}\) (here z is not of the form \(z=x+iy\), with x, y variables of \(P(x, y)\)), \(g(z)=e^{z(b(x)-b(y))}\) is analytic on \(\mathbb{C}\). Thus, by the Cauchy integral formula we get
$$b(x)-b(y)=g'(0)=\frac{1}{2\pi i} \int_{|z|=1}\frac {g(z)}{|z|^{2}}\,dz=\frac {1}{2\pi} \int_{0}^{2\pi}e^{e^{i\theta}[b(x)-b(y)]}e^{-i\theta }\,d\theta. $$
Then
$$T_{b,0}^{k,+}f(x)= \int_{x}^{x+1}K_{k-1}(x,y) \bigl(b(x)-b(y) \bigr)f(y)\,dy=\frac {1}{2\pi} \int_{0}^{2\pi}T^{k-1,+}_{b,0}(g_{\theta}) (x)e^{e^{i\theta }b(x)}e^{-i\theta}\,d\theta. $$
This, combined with (3.1), (3.4), and Minkowski’s inequality, gives
$$\begin{aligned} \bigl\Vert T_{b,0}^{k,+}f\bigr\Vert _{L^{p}(w)} &\leq \frac{1}{2\pi} \int_{0}^{2\pi}\bigl\| T^{k-1,+}_{b,0}(g_{\theta}) \bigr\| _{L^{p}(we^{pb\cos\theta})}\,d\theta \\ &\leq C \frac{1}{2\pi} \int_{0}^{2\pi}\|g_{\theta}\| _{L^{p}(we^{pb\cos \theta})}\,d\theta \\ &= C \|f\|_{L^{p}(w)}, \end{aligned}$$
which shows Lemma 3.1.

3.2 Proof of Lemma 3.2

We can proceed analogously to the proof of Lemma 3.2 by induction as in Lemma 3.1. Write
$$T^{k,+}_{b,\infty}f(x)=\sum_{j=1}^{\infty}T^{k,+}_{b,j}f(x)= \sum_{j=1}^{\infty} \int_{x+2^{j-1}}^{x+2^{j}}e^{iP(x,y)}K(x-y) \bigl(b(x)-b(y) \bigr)^{k}f(y). $$
We next claim that, for some \(\delta>0\),
$$ \bigl\| T^{k,+}_{b,j}f\bigr\| _{L^{p}(w)}\leq2^{-\delta j}\|f \|_{L^{p}(w)}. $$
(3.5)
Indeed, when \(k=0\), we have
$$ \bigl\| T^{0,+}_{b,j}f\bigr\| _{L^{p}}= \bigl\| T^{+}_{j}f\bigr\| _{L^{p}}\leq C2^{-\eta j}\|f\| _{L^{p}} $$
(3.6)
following arguments similar to those in [16], p.157, where C depends only on the total degree of P and \(\eta>0\). On the other hand, it is easy to check that
$$\bigl|T^{0,+}_{b,j}f(x)\bigr|=\bigl|T^{+}_{j}f(x)\bigr|\leq C \int _{x+2^{j-1}}^{x+2^{j}}\frac {|f(y)|}{|x-y|}\,dy\leq CM^{+}(f) (x), $$
where C is independent of j. Then it follows from Lemma 2.1 and Lemma 2.2 that there exists \(\varepsilon>0\) such that \(w^{1+\varepsilon}\in A_{p}^{+}\) and
$$ \bigl\| T^{0,+}_{b,j}f\bigr\| _{L^{p}(w^{1+\varepsilon})}\leq C\|f\| _{L^{p}(w^{1+\varepsilon})}, $$
(3.7)
where C is independent of j. Applying Lemma 2.4 to inequalities (3.6) and (3.7), it follows that
$$ \bigl\| T^{0,+}_{b,j}f\bigr\| _{L^{p}(w)}\leq C2^{-\eta_{1} j}\|f\| _{L^{p}(w)}, $$
(3.8)
where \(\eta_{1}>0\) is independent of j and f. Inequality (3.8) implies that (3.5) holds for \(k=0\).
We now assume that (3.5) holds for \(k-1\), that is, for any \(f\in L^{p}(w)\) with \(w\in A_{p}^{+}\),
$$ \bigl\| T^{k-1,+}_{b,j}f\bigr\| _{L^{p}(w)}\leq C2^{-\eta_{k-1} j}\|f\| _{L^{p}(w)}. $$
(3.9)
By Lemma 2.1, given \(w\in A_{p}^{+}\), there exists \(\varepsilon>0\) such that \(w^{1+\varepsilon}\in A_{p}^{+}\). Then for any \(f\in L^{p}(w^{1+\varepsilon})\), we have
$$ \bigl\| T^{k-1,+}_{b,j}f\bigr\| _{L^{p}(w^{1+\varepsilon})}\leq C2^{-\eta'_{k-1} j}\|f \|_{L^{p}(w^{1+\varepsilon})}. $$
(3.10)
Taking \(\lambda=\frac{p(1+\varepsilon)}{\varepsilon}\), by Lemma 2.3 there exists \(\eta>0\) such that
$$e^{\frac{pb(1+\varepsilon)}{\varepsilon}}\in A_{p}^{+} \quad\mbox{whenever } \|b \|_{BMO(\mathbb{R})}< \eta. $$
On the other hand, for every \(\theta\in[0,2\pi]\), \(b\cos\theta\in BMO(\mathbb{R})\) and
$$\|b\cos\theta\|_{BMO(\mathbb{R})}\leq\|b\|_{BMO(\mathbb{R})}< \eta. $$
Thus, \(e^{g(p,b,\varepsilon,\theta)}\in A_{p}^{+}\) for \(g(p,b,\varepsilon,\theta):=\frac{pb(1+\varepsilon)\cos\theta }{\varepsilon}\). Hence, by inequality (3.9) we have
$$ \bigl\| T^{k-1,+}_{b,j}f\bigr\| _{L^{p}(e^{g(p,b,\varepsilon,\theta)})}\leq C2^{-\eta''_{k-1} j}\|f\|_{L^{p}(e^{g(p,b,\varepsilon,\theta )})}, $$
(3.11)
where C and \(\eta''_{k-1}\) depend on p, b, and w but not on j, k, and θ.
Applying Lemma 2.4 to inequalities (3.10) and (3.11), we have
$$\bigl\| T^{k-1,+}_{b,j}f\bigr\| _{L^{p}(we^{pb\cos\theta})}\leq C2^{-\eta j}\|f\| _{L^{p}(we^{pb\cos\theta})}, $$
where C and \(\delta>0\) are independent of j, k, and θ. Setting \(g_{\theta}(x)=f(x)e^{-b(x)e^{i\theta}}\), it is easy to check that for \(\theta\in[0,2\pi]\), we have \(g_{\theta}\in L^{p}(we^{pb\cos\theta})\) and
$$ \|g_{\theta}\|_{L^{p}(we^{pb\cos\theta})}=\|f\|_{L^{p}(w)}. $$
(3.12)
Denote by
$$K_{k-1}(x,y)=e^{iP(x,y)}K(x-y) \bigl(b(x)-b(y) \bigr)^{k-1}\chi _{2^{j-1}< y-x< 2^{j}}(x-y). $$
Then, for \(z\in\mathbb{C}\), \(g(z)=e^{z(b(x)-b(y))}\) is analytic on \(\mathbb{C}\), which shows
$$b(x)-b(y)=g'(0)=\frac{1}{2\pi i} \int_{|z|=1}\frac {g(z)}{|z|^{2}}\,dz=\frac {1}{2\pi} \int_{0}^{2\pi}e^{e^{i\theta}[b(x)-b(y)]}e^{-i\theta }\,d\theta. $$
Thus,
$$\begin{aligned} T_{b,j}^{k,+}f(x)&= \int _{x+2^{j-1}}^{x+2^{j}}K_{k-1}(x,y) \bigl(b(x)-b(y) \bigr)f(y)\,dy \\ &=\frac{1}{2\pi} \int_{0}^{2\pi}T^{k-1,+}_{b,j}(g_{\theta }) (x)e^{e^{i\theta}b(x)}e^{-i\theta}\,d\theta. \end{aligned}$$
Finally, combining (3.9), (3.12), and the Minkowski inequality, we get the following estimate:
$$\begin{aligned} \bigl\Vert T_{b,j}^{k,+}f\bigr\Vert _{L^{p}(w)} & \leq\frac{1}{2\pi} \int_{0}^{2\pi}\bigl\| T^{k-1,+}_{b,j}(g_{\theta}) \bigr\| _{L^{p}(we^{pb\cos\theta})}\,d\theta \\ &\leq C \frac{1}{2\pi} \int_{0}^{2\pi}2^{-\delta j}\|g_{\theta}\| _{L^{p}(we^{pb\cos\theta})}\,d\theta \\ &= C 2^{-\delta j}\|f\|_{L^{p}(w)}. \end{aligned}$$
We thus complete the proof of Lemma 3.2 by the following observation:
$$\bigl\Vert T_{b,\infty}^{k,+}f\bigr\Vert _{L^{p}(w)}\leq \sum_{j=1}^{\infty }\bigl\Vert T_{b,j}^{k,+}f\bigr\Vert _{L^{p}(w)}\leq C \|f \|_{L^{p}(w)}. $$

3.3 Proof of Theorem 1.2

For any \(\lambda\in\mathbb{R}\), if a nontrivial polynomial \(P(x,y)\) satisfies
$$\begin{aligned} P(x,y)&=\sum_{\alpha,\beta}a_{\alpha,\beta}(x- \lambda)^{\alpha }(y-\lambda)^{\beta}+R_{1}(x, \lambda)+R_{2}(y,\lambda) \\ &:=P(x-\lambda,y-\lambda)+R_{1}(x,\lambda)+R_{2}(y,\lambda), \end{aligned}$$
where \(R_{1}\) and \(R_{2}\) are real polynomials, then by Theorem 1.1, \(T^{k,+}_{b}\) is bounded on \(L^{p}(w)\). Rewrite the kernel K as
$$K(x-y)=K_{0}(x-y)+K_{\infty}(x-y):=K(x-y)\chi_{\{|x-y|< 1\} }(y)+K(x-y) \chi_{\{|x-y|>1\}}(y) $$
and consider the corresponding splitting
$$\begin{aligned} T^{k,+}_{b}f(x) =&T^{k,+}_{b,0}f(x)+T^{k,+}_{b,\infty}f(x) \\ =:& \int_{x}^{\infty}e^{iP(x,y)}K_{0}(x-y) \bigl(b(x)-b(y) \bigr)^{k}f(y)\,dy \\ &{} + \int_{x}^{\infty}e^{iP(x,y)}K_{\infty}(x-y) \bigl(b(x)-b(y) \bigr)^{k}f(y)\,dy. \end{aligned}$$
Since both \(T^{k,+}_{b,\infty}\) and \(T^{k,+}_{b,0}\) are bounded on \(L^{p}(w)\), it follows that, for any \(h\in\mathbb{R}\),
$$ \biggl( \int_{|x-h|< 1} \bigl|T^{k,+}_{b,0}f(x) \bigr|^{p}w(x)\,dx \biggr)^{\frac {1}{p}}\leq C \biggl( \int_{|y-h|< 2} \bigl|f(y) \bigr|^{p}w(y)\,dy \biggr)^{\frac {1}{p}}, $$
(3.13)
where C is independent of h and f (see also [35]).
For \(h\in\mathbb{R}\), set
$$\widetilde{T}^{k,+}_{b,0}f(x)=e^{-iR_{1}(x,h)}\mathrm{p.v.} \int _{x}^{x+1}e^{iP(x,y)}K_{k}(x,y)f(y)e^{-iP(x-h,y-h)}e^{-iR_{2}(y,h)}\,dy, $$
where \(K_{k}(x,y)=K(x-y) (b(x)-b(y) )^{k}\). Then express \(e^{-iP(x-h,y-h)}\) by the Taylor series
$$\begin{aligned} e^{-iP(x-h,y-h)} &=\sum_{m=0}^{\infty} \frac{(-i)^{m}}{m!} \bigl(P(x-h,y-h) \bigr)^{m} \\ &=\sum_{m=0}^{\infty}\frac{(-i)^{m}}{m!} \biggl(\sum_{\alpha,\beta }a_{\alpha,\beta}(x-h)^{\alpha}(y-h)^{\beta} \biggr)^{m} \\ &=\sum_{m=0}^{\infty}\frac{(-i)^{m}}{m!}\sum _{l}c_{m,l}b_{\mu,\nu ,l}(x-t)^{\mu}(y-t)^{\nu}, \end{aligned}$$
where \(\mu:=\mu(\alpha,\beta,l)\) and \(\nu:=\nu(\alpha,\beta,l)\) are multiindices. By (3.13), if we set \(|x-h|\leq\xi<1\) and \(|y-h|\leq\eta<2\), then we the inequalities
$$\begin{aligned} & \biggl( \int_{|x-h|< 1}\bigl|\widetilde{T}^{k,+}_{b,0}f(x)\bigr|^{p}w(x)\,dx \biggr)^{\frac{1}{p}} \\ &\quad\leq\sum_{m=0}^{\infty}\frac{\sum_{l}|c_{m,l}b_{\mu,\nu ,l}|}{m!} \biggl( \int_{|x-h|< 1} \bigl|T_{b,0}^{k,+} \bigl[e^{-iR_{2}(\cdot,h)}f(\cdot )|\cdot -h|^{\nu}\bigr](x) \bigr|^{p}w(x)\,dx \biggr)^{\frac{1}{p}} \\ &\quad\leq\sum_{m=0}^{\infty}\frac{\sum_{l}|c_{m,l}b_{\mu,\nu ,l}|}{m!} \biggl( \int_{|y-h|< 2}\bigl|f(y) (y-h)^{\nu}\bigr|^{p}w(y)\,dy \biggr)^{\frac{1}{p}} \\ &\quad\leq C\sum_{m=0}^{\infty}\frac{\sum_{l}|c_{m,l}b_{\mu,\nu ,l}|}{m!} \biggl( \int_{|y-h|< 2}\bigl|f(y)\bigr|^{p}w(y)\,dy \biggr)^{\frac{1}{p}} \\ &\quad\leq C\sum_{m=0}^{\infty}\frac{ (\sum_{\alpha,\beta }|a_{\alpha,\beta }|\xi^{\alpha}\eta^{\beta} )^{m}}{m!} \biggl( \int _{|y-h|< 2}\bigl|f(y)\bigr|^{p}w(y)\,dy \biggr)^{\frac{1}{p}} \\ &\quad\leq Ce^{(\sum_{\alpha,\beta}|a_{\alpha,\beta}|)} \biggl( \int _{|y-h|< 2}\bigl|f(y)\bigr|^{p}w(y)\,dy \biggr)^{\frac{1}{p}} \\ &\quad\leq C \biggl( \int_{|y-h|< 2}\bigl|f(y)\bigr|^{p}w(y)\,dy \biggr)^{\frac{1}{p}} \end{aligned}$$
for all \(h\in\mathbb{R}\), which implies that \(\widetilde {T}^{k,+}_{b,0}\) is bounded on \(L^{p}(w)\).

Declarations

Acknowledgements

This work was partially supported by National Natural Science Foundation of China (Grant Nos. 11271175, 11301249) and the Applied Mathematics Enhancement Program of Linyi University (No. LYDX2013BS059). The authors thank the anonymous referees cordially for their valuable suggestions on this paper.

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.

Authors’ Affiliations

(1)
Department of Mathematics, Linyi University

References

  1. Ricci, F, Stein, E: Harmonic analysis on nilpotent groups and singular integrals I: oscillatory integrals. J. Funct. Anal. 73, 179-194 (1987) MathSciNetView ArticleMATHGoogle Scholar
  2. Stein, E: Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals. Princeton University Press, Princeton (1993) MATHGoogle Scholar
  3. Lu, S, Zhang, Y: Weighted norm inequality of a class of oscillatory singular operators. Chin. Sci. Bull. 37, 9-13 (1992) MATHGoogle Scholar
  4. Lu, S, Zhang, Y: Criterion on \(L^{p}\)-boundedness for a class of oscillatory singular integrals with rough kernels. Rev. Mat. Iberoam. 8, 201-219 (1992) MathSciNetMATHGoogle Scholar
  5. Chanillo, S, Christ, M: Weak \((1,1)\) bounds for oscillatory integrals. Duke Math. J. 55, 141-155 (1987) MathSciNetView ArticleMATHGoogle Scholar
  6. Grafakos, L: Classical and Modern Fourier Analysis. Pearson Education, Upper Saddle River (2004) MATHGoogle Scholar
  7. Hu, Y, Pan, Y: Boundedness of oscillatory singular integrals on Hardy spaces. Ark. Mat. 30, 311-320 (1992) MathSciNetView ArticleMATHGoogle Scholar
  8. Lu, S: Multilinear oscillatory integrals with Calderón-Zygmund kernel. Sci. China Ser. A 42, 1039-1046 (1999) MathSciNetView ArticleMATHGoogle Scholar
  9. Pan, Y: Hardy spaces and oscillatory integral operators. Rev. Mat. Iberoam. 7, 55-64 (1991) View ArticleMATHGoogle Scholar
  10. Sato, S: Weighted weak type \((1,1)\) estimates for oscillatory integrals. Stud. Math. 141, 1-24 (2000) MathSciNetMATHGoogle Scholar
  11. Sawyer, E: Weighted inequalities for the one-sided Hardy-Littlewood maximal function. Trans. Am. Math. Soc. 297, 53-61 (1986) MathSciNetView ArticleMATHGoogle Scholar
  12. Martín-Reyes, F, Pirk, L, de la Torre, A: \(A_{\infty}^{+}\) Condition. Can. J. Math. 45, 1231-1244 (1993) View ArticleGoogle Scholar
  13. Aimar, H, Forzani, L, Martín-Reyes, F: On weighted inequalities for one-sided singular integrals. Proc. Am. Math. Soc. 125, 2057-2064 (1997) View ArticleMATHGoogle Scholar
  14. Fu, Z, Lu, S, Pan, Y, Shi, S: Boundedness of one-sided oscillatory integral operators on weighted Lebesgue spaces. Abstr. Appl. Anal. 2014, Article ID 291397 (2014) MathSciNetGoogle Scholar
  15. Fu, Z, Lu, S, Sato, S, Shi, S: On weighted weak type norm inequalities for one-sided oscillatory singular integrals. Stud. Math. 207, 137-151 (2011) MathSciNetView ArticleMATHGoogle Scholar
  16. Fu, Z, Lu, S, Pan, Y, Shi, S: Some one-sided estimates for oscillatory singular integrals. Nonlinear Anal. 108, 144-160 (2014) MathSciNetView ArticleMATHGoogle Scholar
  17. Coifman, R, Rochbery, R, Weiss, G: Factorization theorems for Hardy spaces in several variables. Ann. Math. 103, 611-635 (1976) MathSciNetView ArticleMATHGoogle Scholar
  18. Janson, S: Mean oscillation and commutators of singular integral operators. Ark. Mat. 16, 263-270 (1978) MathSciNetView ArticleMATHGoogle Scholar
  19. Paluszynski, M: Characterization of the Besov spaces via the commutator operator of Coifman, Rochberg and Weiss. Indiana Univ. Math. J. 44, 1-17 (1995) MathSciNetView ArticleMATHGoogle Scholar
  20. Chiarenza, F, Frasca, M, Longo, P: \(W^{2,p}\)-Solvability of the Dirichlet problem for nondivergence elliptic equations with VMO coefficients. Trans. Am. Math. Soc. 336, 841-853 (1993) MathSciNetMATHGoogle Scholar
  21. Fazio, G, Ragusa, M: Interior estimates in Morrey spaces for strongly solutions to nondivergence form equations with discontinuous coefficients. J. Funct. Anal. 112, 241-256 (1993) MathSciNetView ArticleMATHGoogle Scholar
  22. Alvarez, J, Bagby, R, Kurtz, D, Perez, C: Weighted estimates for commutators of linear operators. Stud. Math. 104, 195-209 (1993) MathSciNetMATHGoogle Scholar
  23. Ding, Y, Lu, S: Weighted \(L^{p}\)-boundedness for higher order commutators of oscillatory singular integrals. Tohoku Math. J. 48, 437-449 (1996) MathSciNetView ArticleMATHGoogle Scholar
  24. Lu, S, Ding, Y, Yan, D: Singular Integrals and Related Topics. World Scientific Publishing, Singapore (2007) View ArticleMATHGoogle Scholar
  25. Lu, S, Wu, H: Oscillatory singular integrals and commutators with rough kernels. Ann. Sci. Math. Qué. 27, 47-66 (2003) MathSciNetMATHGoogle Scholar
  26. Lu, S, Yan, D: \(L^{p}\)-Boundedness of multilinear oscillatory singular integrals with Calderón-Zygmund kernel. Sci. China Ser. A 45, 196-213 (2002) MathSciNetMATHGoogle Scholar
  27. Wu, H: Boundedness of higher order commutators of oscillatory singular integrals with rough kernels. Stud. Math. 167, 29-43 (2005) MathSciNetView ArticleMATHGoogle Scholar
  28. Yan, D: Some problems on multilinear integral operators and oscillatory singular integral operators. Ph.D. Dissertation, Beijing Normal University (2001) Google Scholar
  29. Lorente, M, Riveros, M: Weighted inequalities for commutators of one-sided singular integrals. Comment. Math. Univ. Carol. 43, 83-101 (2002) MathSciNetMATHGoogle Scholar
  30. Lorente, M, Riveros, M: Weights for commutators of one-sided discrete square function, the Weyl fractional integral and other one-sided operators. Proc. R. Soc. Edinb. A 135, 845-862 (2005) MathSciNetView ArticleMATHGoogle Scholar
  31. Shi, S, Fu, Z, Lu, S: Weighted estimates for commutators of one-sided oscillatory operators. Front. Math. China 6, 507-516 (2011) MathSciNetView ArticleMATHGoogle Scholar
  32. Riveros, M, de la Torre, A: On the best ranges for \(A_{p}^{+}\) and \(RH_{r}^{+}\). Czechoslov. Math. J. 126, 285-301 (2001) View ArticleMATHGoogle Scholar
  33. Martín-Reyes, F, de la Torre, A: One-sided \(BMO\) spaces. J. Lond. Math. Soc. 49, 529-542 (1994) MathSciNetView ArticleMATHGoogle Scholar
  34. Stein, E, Weiss, G: Interpolation of operators with change of measures. Trans. Am. Math. Soc. 87, 159-172 (1958) MathSciNetView ArticleMATHGoogle Scholar
  35. Jing, Y, Lu, S: Oscillatory singular integrals with rough kernel. In: Harmonic Analysis in China. Math. Appl., vol. 327, pp. 135-145. Kluwer Academic, Dordrecht (1995) View ArticleGoogle Scholar

Copyright

© Shi and Zhang 2016