Skip to main content

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

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.

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.

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}\).

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)\).

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.

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)}. $$

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)\).

References

  1. Ricci, F, Stein, E: Harmonic analysis on nilpotent groups and singular integrals I: oscillatory integrals. J. Funct. Anal. 73, 179-194 (1987)

    MathSciNet  Article  MATH  Google Scholar 

  2. Stein, E: Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals. Princeton University Press, Princeton (1993)

    MATH  Google Scholar 

  3. Lu, S, Zhang, Y: Weighted norm inequality of a class of oscillatory singular operators. Chin. Sci. Bull. 37, 9-13 (1992)

    MATH  Google 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)

    MathSciNet  MATH  Google Scholar 

  5. Chanillo, S, Christ, M: Weak \((1,1)\) bounds for oscillatory integrals. Duke Math. J. 55, 141-155 (1987)

    MathSciNet  Article  MATH  Google Scholar 

  6. Grafakos, L: Classical and Modern Fourier Analysis. Pearson Education, Upper Saddle River (2004)

    MATH  Google Scholar 

  7. Hu, Y, Pan, Y: Boundedness of oscillatory singular integrals on Hardy spaces. Ark. Mat. 30, 311-320 (1992)

    MathSciNet  Article  MATH  Google Scholar 

  8. Lu, S: Multilinear oscillatory integrals with Calderón-Zygmund kernel. Sci. China Ser. A 42, 1039-1046 (1999)

    MathSciNet  Article  MATH  Google Scholar 

  9. Pan, Y: Hardy spaces and oscillatory integral operators. Rev. Mat. Iberoam. 7, 55-64 (1991)

    Article  MATH  Google Scholar 

  10. Sato, S: Weighted weak type \((1,1)\) estimates for oscillatory integrals. Stud. Math. 141, 1-24 (2000)

    MathSciNet  MATH  Google Scholar 

  11. Sawyer, E: Weighted inequalities for the one-sided Hardy-Littlewood maximal function. Trans. Am. Math. Soc. 297, 53-61 (1986)

    MathSciNet  Article  MATH  Google Scholar 

  12. Martín-Reyes, F, Pirk, L, de la Torre, A: \(A_{\infty}^{+}\) Condition. Can. J. Math. 45, 1231-1244 (1993)

    Article  Google 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)

    Article  MATH  Google 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)

    MathSciNet  Google 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)

    MathSciNet  Article  MATH  Google Scholar 

  16. Fu, Z, Lu, S, Pan, Y, Shi, S: Some one-sided estimates for oscillatory singular integrals. Nonlinear Anal. 108, 144-160 (2014)

    MathSciNet  Article  MATH  Google Scholar 

  17. Coifman, R, Rochbery, R, Weiss, G: Factorization theorems for Hardy spaces in several variables. Ann. Math. 103, 611-635 (1976)

    MathSciNet  Article  MATH  Google Scholar 

  18. Janson, S: Mean oscillation and commutators of singular integral operators. Ark. Mat. 16, 263-270 (1978)

    MathSciNet  Article  MATH  Google 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)

    MathSciNet  Article  MATH  Google 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)

    MathSciNet  MATH  Google 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)

    MathSciNet  Article  MATH  Google Scholar 

  22. Alvarez, J, Bagby, R, Kurtz, D, Perez, C: Weighted estimates for commutators of linear operators. Stud. Math. 104, 195-209 (1993)

    MathSciNet  MATH  Google 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)

    MathSciNet  Article  MATH  Google Scholar 

  24. Lu, S, Ding, Y, Yan, D: Singular Integrals and Related Topics. World Scientific Publishing, Singapore (2007)

    Book  MATH  Google Scholar 

  25. Lu, S, Wu, H: Oscillatory singular integrals and commutators with rough kernels. Ann. Sci. Math. Qué. 27, 47-66 (2003)

    MathSciNet  MATH  Google 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)

    MathSciNet  MATH  Google Scholar 

  27. Wu, H: Boundedness of higher order commutators of oscillatory singular integrals with rough kernels. Stud. Math. 167, 29-43 (2005)

    MathSciNet  Article  MATH  Google Scholar 

  28. Yan, D: Some problems on multilinear integral operators and oscillatory singular integral operators. Ph.D. Dissertation, Beijing Normal University (2001)

  29. Lorente, M, Riveros, M: Weighted inequalities for commutators of one-sided singular integrals. Comment. Math. Univ. Carol. 43, 83-101 (2002)

    MathSciNet  MATH  Google 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)

    MathSciNet  Article  MATH  Google Scholar 

  31. Shi, S, Fu, Z, Lu, S: Weighted estimates for commutators of one-sided oscillatory operators. Front. Math. China 6, 507-516 (2011)

    MathSciNet  Article  MATH  Google 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)

    Article  MATH  Google Scholar 

  33. Martín-Reyes, F, de la Torre, A: One-sided \(BMO\) spaces. J. Lond. Math. Soc. 49, 529-542 (1994)

    MathSciNet  Article  MATH  Google Scholar 

  34. Stein, E, Weiss, G: Interpolation of operators with change of measures. Trans. Am. Math. Soc. 87, 159-172 (1958)

    MathSciNet  Article  MATH  Google 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)

    Chapter  Google Scholar 

Download references

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.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Shaoguang Shi.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

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.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Shi, S., Zhang, L. Norm inequalities for higher-order commutators of one-sided oscillatory singular integrals. J Inequal Appl 2016, 88 (2016). https://doi.org/10.1186/s13660-016-1025-0

Download citation

  • Received:

  • Accepted:

  • Published:

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

MSC

  • 42B20
  • 42B25

Keywords

  • commutator
  • one-sided oscillatory integral
  • one-sided weight