Variation Inequalities for the Commutators of One-Sided Calderón-Zygmund Singular Integrals with Lipschitz Functions

Tingting Juan, Xianming Hou^*

School of Mathematics and Statistics, Linyi University, Linyi, China.

DOI: 10.4236/apm.2021.1112063                

Abstract

In this paper, we establish the weighted L^p (1 < p < ∞) boundedness of variation operator for the commutators generated by one-sided Calderón-Zygmund singular integrals with Lipschitz functions.

Keywords

Variation, One-Sided Singular Integrals, Commutator, Lipschitz Functions

1. Introduction

Let $\mathcal{T}={\left\{T_{\epsilon }\right\}}_{\epsilon }$ be a family of operators such that the limit ${\lim }_{\epsilon \to 0}{T}_{\epsilon }f$ exists. It is nature to study the speed of convergence of the family $\left\{T_{\epsilon }\right\}$. A classic method

is to consider square function of the type ${\left({\displaystyle {\sum }_{i=1}^{\infty }}{\left|T_{{\epsilon }_i}f-T_{{\epsilon }_i+1}f\right|}^2\right)}^{1/2}$, more generally, define the following oscillation operator:

$\mathcal{O}\left(\mathcal{T}f\right)\left(x\right)={\left({\displaystyle \underset{i=1}{\overset{\infty }{\sum }}}\underset{t_{i+1}\le {\epsilon }_{i+1}<{\epsilon }_i\le t_i}{\sup }{\left|T_{{\epsilon }_i+1}f\left(x\right)-T_{{\epsilon }_i}f\left(x\right)\right|}^2\right)}^{1/2},$

where $\left\{t_i\right\}$ is a fixed sequence decreasing to zero. Let $\rho >2$. The $\rho$ -variation operator is defined by

${\mathcal{V}}_{\rho }\left(\mathcal{T}f\right)\left(x\right)=\underset{{\epsilon }_i\searrow 0}{\sup }{\left({\displaystyle \underset{i=1}{\overset{\infty }{\sum }}}{\left|T_{{\epsilon }_i+1}f\left(x\right)-T_{{\epsilon }_i}f\left(x\right)\right|}^{\rho }\right)}^{1/\rho }\mathrm{,}$

where the sup is taken over all sequence $\left\{{\epsilon }_i\right\}$ of positive numbers decreasing to zero. The variation inequalities play important roles in probability, ergodic theory, and harmonic analysis. We refer the readers to [1] - [6] and the references therein for more background information. Gillespie and Torrea [7] show that oscillation and variation of Hilbert transforms are bounded on $L^p\left(\omega \right)$ for $1<p<\infty$. The weighted oscillation and variation boundedness of differential operators and Calderón-Zygmund singular integral are established in [8] [9]. This paper is devoted to studying weighted boundedness of $\rho$ -variational operator for the families of commutator generated by one-sided Calderón-Zygmund singular integral with Lipschitz functions. Recently, Liu and Wu [10] presented a criterion on the weighted estimate of the oscillation and variation operators for the commutators of Calderón-Zygmund singular integrals with BMO functions in one dimension. Variation inequalities for the commutators one-sided singular integrals with BMO functions were established in [11]. Zhang and Wu [12] gave the oscillation and variation inequalities for the commutators of singular integrals with Lipschitz functions.

Before stating our main results, we firstly recall some notations and definitions. In [13], Aimar, Forzani and Martín-Reyes introduced the one-sided Calderón-Zygmund singular integrals defined by:

$T^{+}f\left(x\right)=\underset{\epsilon \to 0^{+}}{lim}{T}_{\epsilon }^{+}f\left(x\right)=\underset{\epsilon \to 0^{+}}{lim}{\displaystyle {\int }_{x+\epsilon }^{\infty }}K\left(x-y\right)f\left(y\right)\text{d}y$ (1.1)

and

$T^{-}f\left(x\right)=\underset{\epsilon \to 0^{+}}{lim}{T}_{\epsilon }^{-}f\left(x\right)=\underset{\epsilon \to 0^{+}}{lim}{\displaystyle {\int }_{-\infty }^{x-\epsilon }}K\left(x-y\right)f\left(y\right)\text{d}y,$

where the kernel K is called the one-sided Calderón-Zygmund kernel (OCZK) which satisfies

$\left|{\displaystyle {\int }_{a\mathrm{<mo>\; <\; </mo>}\left|x\right|\mathrm{<mo>\; <\; </mo>}b}}K\left(x\right)\text{d}x\right|\le C\mathrm{,}0<a<b,$ (1.2)

$\left|K\left(x\right)\right|\le C/\left|x\right|\mathrm{,}x\ne \mathrm{0,}$ (1.3)

$\left|K\left(x-y\right)-K\left(x\right)\right|\le C\left|y\right|/{\left|x\right|}^2,\left|x\right|>2\left|y\right|>0,$ (1.4)

with support in ${ℝ}^{-}=\left(-\infty \mathrm{,0}\right)$ or ${ℝ}^{+}=\left(\mathrm{0,}+\infty \right)$, where (1.4) is named Hörmander’s condition. Equation (1.3) is also called the size condition for K. An interesting example is

$K\left(x\right)=\frac{\sin \left(\log \left|x\right|\right)}{x\log \left|x\right|}{\chi }_{\left(-\infty \mathrm{,0}\right)}\left(x\right)\mathrm{,}$

where ${\chi }_E$ denotes the characteristic function of a set E, for more details one can refer to [13].

For $0<\alpha <1$, a function $f\in Li{p}_{\alpha }$, if it satisfies

${\Vert f\Vert }_{Li{p}_{\alpha }}=\underset{x\mathrm{,}h\in ℝ\mathrm{,}h\ne 0}{\sup }\frac{f\left(x+h\right)-f\left(x\right)}{{\left|h\right|}^{\alpha }}<\infty \mathrm{.}$

Let K be one-sided Calderón-Zygmund kernel (OCZK) with support in ${ℝ}^{-}=\left(-\infty \mathrm{,0}\right)$. $b\in Li{p}_{\alpha }$, we define the following one-sided operator

$T_b^{+}f\left(x\right)=\underset{\epsilon \to 0^{+}}{lim}{T}_{b\mathrm{,}\epsilon }^{+}f\left(x\right)\mathrm{,}$

where

$T_{b\mathrm{,}\epsilon }^{+}f\left(x\right)={\displaystyle {\int }_{x+\epsilon }^{\infty }}\left(b\left(x\right)-b\left(y\right)\right)K\left(x-y\right)f\left(y\right)\text{d}y\mathrm{.}$ (1.5)

In this paper, we study variational inequalities for the commutators of one-sided singular integrals with Lipschitz functions. Our result can be formulated as follows:

Theorem 1.1. Let K be one-sided Calderón-Zygmund kernel (OCZK) with support in ${ℝ}^{-}=\left(-\infty \mathrm{,0}\right)$. Let ${\mathcal{T}}_b={\left\{T_{b,\epsilon }^{+}\right\}}_{\epsilon >0}$ and $\mathcal{T}={\left\{T_{\epsilon }^{+}\right\}}_{\epsilon >0}$ be given as in (1.5) and (1.1), respectively. The operator ${\mathcal{V}}_{\rho }\left({\mathcal{T}}^{+}\right)$ is bounded in $L^{p_0}\left(ℝ\mathrm{,}dx\right)$ for some $p_0\in \left(\mathrm{1,}\infty \right)$. Let $0<\alpha <1$, $b\in Li{p}_{\alpha }$. Then, for all $\omega \in A^{+}\left(p\mathrm{,}q\right)$, $1<p<q<\infty$, $1/p-1/q=\alpha$, we have

${\Vert {\mathcal{V}}_{\rho }\left({\mathcal{T}}_b^{+}\right)f\Vert }_{L^q\left(w^q\right)}\lesssim {\Vert b\Vert }_{Li{p}_a}{\Vert f\Vert }_{L^p\left(w^p\right)}\mathrm{.}$

The rest of this paper is organized as follows. In Section 2, we introduce and recall some basic facts and auxiliary lemmas. The proof of main theorem will be given in Sections 3.

Throughout this paper, the letter C, sometimes with additional parameters, will stand for positive constants, not necessarily the same one at each occurrence, but independent of the essential variables. We also denote $f\lesssim g$ if $f\le Cg$.

2. Preliminaries

In 1986, Sawyer [14] first introduced the one-sided Muckenhoupt weights $A_p^{+}$ and $A_p^{-}$ to treat the one-sided Hardy-Littlewood maximal operators

$M^{+}f\left(x\right):=\underset{h>0}{\sup }\frac{1}{h}{\displaystyle {\int }_x^{x+h}}\left|f\left(y\right)\right|\text{d}y,M^{-}f\left(x\right):=\underset{h>0}{\sup }\frac{1}{h}{\displaystyle {\int }_{x-h}^x}\left|f\left(y\right)\right|\text{d}y.$

A positive function $\omega$ is said to belong to $A_p^{+}$ or $A_p^{-}$ if it satisfies

$A_p^{+}\left(\omega \right):=\underset{a<b<c}{\sup }\frac{1}{{\left(c-a\right)}^p}{\displaystyle {\int }_a^b}\omega \left(x\right)\text{d}x{\left({\displaystyle {\int }_b^c}\omega {\left(x\right)}^{1-p^{\prime }}\text{d}x\right)}^{p-1}<\infty$

or

$A_p^{-}\left(\omega \right):=\underset{a<b<c}{\sup }\frac{1}{{\left(c-a\right)}^p}{\displaystyle {\int }_b^c}\omega \left(x\right)\text{d}x{\left({\displaystyle {\int }_a^b}\omega {\left(x\right)}^{1-p^{\prime }}\text{d}x\right)}^{p-1}<\infty ,$

when $1<p<\infty$ ; also, for $p=1$,

$A_1^{+}\mathrm{<mo>\; :\; </mo>}{M}^{-}\omega \le C\omega \mathrm{,}{A}_1^{-}\mathrm{<mo>\; :\; </mo>}{M}^{+}\omega \le C\omega \mathrm{,}$

for some constant C. If $1\le p<\infty$, then $A_p⊊A_p^{+}$ and $A_p⊊A_p^{-}$. Notice that the function $\omega \left(x\right)={\text{e}}^x$ mentioned above is in $A_p^{+}$ but not in $A_p$.

Similarly, the double weight classes $A^{+}\left(p\mathrm{,}q\right)$ and $A^{-}\left(p\mathrm{,}q\right)$ are denoted by

$A^{+}\left(p,q\right):\frac{1}{{\left(c-a\right)}^{1-\alpha }}{\left({\displaystyle {\int }_a^b}{\omega }^q\right)}^{1/q}{\left({\displaystyle {\int }_b^c}{\omega }^{-p^{\prime }}\right)}^{1/p^{\prime }}<C,$

$A^{-}\left(p\mathrm{,}q\right)\mathrm{<mo>\; :\; </mo>}\frac{1}{{\left(c-a\right)}^{1-\alpha }}{\left({\displaystyle {\int }_b^c}{\omega }^q\right)}^{1/q}{\left({\displaystyle {\int }_a^b}{\omega }^{-p^{\prime }}\right)}^{1/p^{\prime }}<C$

for all $a<b<c\in ℝ$, $0<\alpha <1$, $1<p<q$ and $1/p-1/q=\alpha$ ; also for $p=1$, $1-1/q=\alpha$,

$A{\left(\mathrm{1,}q\right)}^{+}\mathrm{<mo>\; :\; </mo>}{M}^{-}{\omega }^q\lesssim {\omega }^q\mathrm{,}A{\left(\mathrm{1,}q\right)}^{-}\mathrm{<mo>\; :\; </mo>}{M}^{+}{\omega }^q\lesssim {\omega }^q\mathrm{.}$

The one-sided $A_p^{+}$ classes not only control the boundedness of one-sided Hardy-Littlewood maximal operators, but also serve as the right weight classes for one-sided singular integral operators. Set $1<p<\infty$ and let K be an OCZK with support in ${ℝ}^{-}$. Then $T^{+}$ is bounded on $L^p\left(\omega \right)$ if $\omega \in A_p^{+}$, see [13].

Lemma 2.1. [15] Suppose that $\omega \in A_1^{-}$, then there exists ${\epsilon }_1>0$ such that, for all $1<r\le 1+{\epsilon }_1$, ${\omega }^r\in A_1^{-}$.

Lemma 2.2. [16] Suppose $\omega \in A^{+}\left(p\mathrm{,}q\right)$, then ${\omega }^q\in A_q^{+}$ and ${\omega }^p\in A_p^{+}$ for all $1<p<q\le \infty$.

Lemma 2.3. [17] Let $1<p_0<\infty$ and let T be sublinear operator defined in $C_c^{\infty }\left(ℝ\right)$ satisfying

${\Vert \omega Tf\Vert }_{\infty }\le C{\Vert f\omega \Vert }_{p_0}$

for every $x\in ℝ$ and $\omega \in A^{+}\left(p_0\mathrm{,}\infty \right)$ ; then, for every $1<p<p_0$, $1/p-1/q=1/p_0$, and $\omega \in A^{+}\left(p\mathrm{,}q\right)$, the inequality

${\Vert \omega Tf\Vert }_q\le C{\Vert f\omega \Vert }_p$

Lemma 2.4. [18] For every p with $p_0\le p<\infty$, assume that $\omega \in A_{\infty }^{+}$, and that $M^{+}f\in L^{p_0}\left(\omega \right)$ for some $p_0$ with $0<p_0<\infty$. Then

${\Vert M^{+}f\Vert }_{L^p\left(\omega \right)}\le C{\Vert M^{+\mathrm{,}\#}f\Vert }_{L^p\left(\omega \right)}\mathrm{,}$

where

$M^{+,\#}f\left(x\right)=\underset{h>0}{\sup }\frac{1}{h}{\displaystyle {\int }_x^{x+h}}{\left(f\left(y\right)-\frac{1}{h}{\displaystyle {\int }_{x+h}^{x+2h}}f\left(z\right)\text{d}z\right)}^{+}\text{d}y$

and $z^{+}=\max \left\{z,0\right\}$.

3. The Proof of Theorem 1.1

According to [7], we denote by $F_{\rho }$ the mixed norm Banach space of two variable functions h defined on $\mathbb{N}\times \Theta$ such that

${\Vert h\Vert }_{F_{\rho }}=\underset{\beta }{\sup }{\left({\displaystyle \underset{i}{\sum }}{\left|h\left(i,\beta \right)\right|}^{\rho }\right)}^{1/\rho }<\infty ,$

where $\Theta =\left\{\beta \mathrm{<mo>\; :\; </mo>}\beta =\left\{{\epsilon }_i\right\}\mathrm{,}{\epsilon }_i\in ℝ\mathrm{,}{\epsilon }_i\searrow 0\right\}$. Given a family of operators $\mathcal{T}={\left\{T_t^{+}\right\}}_{t>0}$ defined on $L^p\left(ℝ\right)$, we consider the $F_{\rho }$ -valued operator $V\left(\mathcal{T}\right)\mathrm{<mo>\; :\; </mo>}f\to V\left(\mathcal{T}\right)f$ on $L^p\left(ℝ\right)$ defined by

$V\left(\mathcal{T}\right)f\left(x\right)={\left\{T_{{\epsilon }_i+1}f\left(x\right)-T_{{\epsilon }_i}f\left(x\right)\right\}}_{\beta =\left\{{\epsilon }_i\right\}\in \Theta }=:{\left\{T_{\left[{\epsilon }_i+1,{\epsilon }_i\right]}f\left(x\right)\right\}}_{\beta =\left\{{\epsilon }_i\right\}\in \Theta },$

where ${\left\{T_{\left[{\epsilon }_i+1,{\epsilon }_i\right]}f\left(x\right)\right\}}_{\beta =\left\{{\epsilon }_i\right\}\in \Theta }$ is an abbreviation for the element of $F_{\rho }$ given by

$\left(i\mathrm{,}\beta \right)=\left(i\mathrm{,}\left\{{\epsilon }_i\right\}\right)\to T_{\left[{\epsilon }_i+1,{\epsilon }_i\right]}f\left(x\right)\mathrm{.}$

This implies

${\mathcal{V}}_{\rho }\left(\mathcal{T}f\right)\left(x\right)={\Vert V\left(\mathcal{T}\right)f\left(x\right)\Vert }_{F_{\rho }}\mathrm{.}$

This section is devoted to proving Theorem 1.1. To do this, we need establish the following lemma.

Lemma 3.1. Let K be one-sided Calderón-Zygmund kernel (OCZK) with support in ${ℝ}^{-}=\left(-\infty \mathrm{,0}\right)$. Let ${\mathcal{T}}_b={\left\{T_{b,\epsilon }^{+}\right\}}_{\epsilon >0}$ and $\mathcal{T}={\left\{T_{\epsilon }^{+}\right\}}_{\epsilon >0}$ be given as in (1.5) and (1.1), respectively. The operator ${\mathcal{V}}_{\rho }\left({\mathcal{T}}^{+}\right)$ is bounded in $L^{p_0}\left(ℝ\mathrm{,}dx\right)$ for some $p_0\in \left(\mathrm{1,}\infty \right)$. Let $0<\alpha <1$, $b\in Li{p}_{\alpha }$. Then, for all $\omega \in A^{+}\left(p\mathrm{,}q\right)$, $1<p<q<\infty$, $1/p-1/q=\alpha$, we have

${\Vert M^{+\mathrm{,}\#}\left({\mathcal{V}}_{\rho }\left({\mathcal{T}}_b^{+}\right)f\right)\left(x\right)\Vert }_{L^q\left(w^q\right)}\lesssim {\Vert b\Vert }_{Li{p}_a}{\Vert f\Vert }_{L^p\left(w^p\right)}\mathrm{.}$ (3.1)

Proof. Let $x\in ℝ,h>0$ and $I=\left[x\mathrm{,}x+4h\right]$. Suppose $f=f_1+f_2:=f{\chi }_I+f{\chi }_{I^c}$. Notice that

$M^{+\mathrm{,}\#}\left({\mathcal{V}}_{\rho }\left({\mathcal{T}}_b^{+}\right)f\right)\left(x\right)\lesssim \frac{1}{h}{\displaystyle {\int }_x^{x+2h}}\left|{\mathcal{V}}_{\rho }\left({\mathcal{T}}_b^{+}\right)f\left(y\right)-{\mathcal{V}}_{\rho }\left(\mathcal{T}\right)\left(\left(b-b_I\right)f_2\right)\left(x\right)\right|\text{d}y\mathrm{.}$

It is easy to check

$\begin{array}{l}\frac{1}{h}{\displaystyle {\int }_x^{x+2h}}\left|{\mathcal{V}}_{\rho }\left({\mathcal{T}}_b^{+}\right)f\left(y\right)-{\mathcal{V}}_{\rho }\left(\mathcal{T}\right)\left(\left(b-b_I\right)f_2\right)\left(x\right)\right|\text{d}y\\ \le \frac{1}{h}{\displaystyle {\int }_x^{x+2h}}\left|{\Vert V\left({\mathcal{T}}_b^{+}\right)f\left(y\right){\parallel }_{F_{\rho }}-\parallel V\left({\mathcal{T}}_b^{+}\right)\left(\left(b-b_I\right)f_2\right)\left(x\right)\Vert }_{F_{\rho }}\right|\text{d}y\\ \le \frac{1}{h}{\displaystyle {\int }_x^{x+2h}}{\Vert V\left({\mathcal{T}}_b^{+}\right)f\left(y\right)-V\left({\mathcal{T}}_b^{+}\right)\left(\left(b-b_I\right)f_2\right)\left(x\right)\Vert }_{F_{\rho }}\text{d}y\\ \le \frac{1}{h}{\displaystyle {\int }_x^{x+2h}}\left|b\left(y\right)-b_I\right|{\mathcal{V}}_{\rho }\left({\mathcal{T}}^{+}\right)f\left(y\right)\text{d}y+\frac{1}{h}{\displaystyle {\int }_x^{x+2h}}{\mathcal{V}}_{\rho }\left({\mathcal{T}}^{+}\right)\left(\left(b-b_I\right)f_1\right)\left(y\right)\text{d}y\\ +\frac{1}{h}{\displaystyle {\int }_x^{x+2h}}{\Vert V\left({\mathcal{T}}^{+}\right)\left(\left(b-b_I\right)f_2\right)\left(y\right)-V\left({\mathcal{T}}^{+}\right)\left(\left(b-b_I\right)f_2\right)\left(x\right)\Vert }_{F_{\rho }}\text{d}y.\end{array}$

Consider the following three sublinear operators defined on $C_c^{\infty }\left(ℝ\right)$ :

$M_1^{+}f\left(x\right)\mathrm{<mo>\; :\; </mo>}=\underset{h>0}{\sup }\frac{1}{h}{\displaystyle {\int }_x^{x+2h}}\left|b\left(y\right)-b_I\right|{\mathcal{V}}_{\rho }\left({\mathcal{T}}^{+}\right)f\left(y\right)\text{d}y\mathrm{,}$

$M_2^{+}f\left(x\right)\mathrm{<mo>\; :\; </mo>}=\underset{h>0}{\sup }\frac{1}{h}{\displaystyle {\int }_x^{x+2h}}{\mathcal{V}}_{\rho }\left({\mathcal{T}}^{+}\right)\left(\left(b-b_I\right)f_1\right)\left(y\right)\text{d}y\mathrm{,}$

$M_3^{+}f\left(x\right):=\underset{h>0}{\sup }\frac{1}{h}{\displaystyle {\int }_x^{x+2h}}{\Vert V\left({\mathcal{T}}^{+}\right)\left(\left(b-b_I\right)f_2\right)\left(y\right)-V\left({\mathcal{T}}^{+}\right)\left(\left(b-b_I\right)f_2\right)\left(x\right)\Vert }_{F_{\rho }}\text{d}y.$

For $M_1^{+}f$, let $\omega \in A^{+}\left(1/\alpha \mathrm{,}\infty \right)$, then ${\omega }^{-1/\left(1-\alpha \right)}\in A_1^{-}$. By Lemma 2.1, there exists $t>1$ such that ${\omega }^{-t/\left(1-\alpha \right)}\in A_1^{-}$. Take $r=t/\left(1-\alpha \right)$ and $1/s-1/r=\alpha$. Using Hölder’s inequality and the $L^r$ boundedness for ${\mathcal{V}}_{\rho }\left({\mathcal{T}}^{+}\right)$, we obtain

$\begin{array}{l}\frac{1}{h}{\displaystyle {\int }_x^{x+2h}}\left|b\left(y\right)-b_I\right|{\mathcal{V}}_{\rho }\left({\mathcal{T}}^{+}\right)f\left(y\right)\text{d}y\lesssim \underset{y\in \left(x,x+2h\right)}{\sup }\left|b\left(y\right)-b_I\right|{\left(\frac{1}{h}{\displaystyle {\int }_x^{x+2h}}{\left|f\left(y\right)\right|}^r\text{d}y\right)}^{1/r}\\ \lesssim {\Vert b\Vert }_{Li{p}_{\alpha }}{h}^{\alpha }{\left(\frac{1}{h}{\displaystyle {\int }_x^{x+2h}}{\left|f\left(y\right)\right|}^r\omega {\left(y\right)}^r\omega {\left(y\right)}^{-r}\text{d}y\right)}^{1/r}\\ \lesssim {\Vert b\Vert }_{Li{p}_{\alpha }}{\left({\displaystyle {\int }_x^{x+2h}}{\left|f\left(y\right)\omega \left(y\right)\right|}^{1/\alpha }\text{d}y\right)}^{\alpha }{\left(\frac{1}{h}{\displaystyle {\int }_x^{x+2h}}\omega {\left(y\right)}^{-s}\text{d}y\right)}^{1/s}\\ \lesssim {\Vert b\Vert }_{Li{p}_{\alpha }}{\Vert f\omega \Vert }_{L^{1/\alpha }}\omega {\left(x\right)}^{-1}.\end{array}$

By Lemma 2.3, we have that for $1/r-1/s=\alpha$ and $A^{+}\left(p\mathrm{,}q\right)$

${\Vert M_1^{+}f\Vert }_{L^q\left({\omega }^q\right)}\lesssim {\Vert b\Vert }_{Li{p}_{\alpha }}{\Vert f\Vert }_{L^p\left({\omega }^p\right)}\mathrm{.}$

For $M_2^{+}f$, by Hölder’s inequality and the $L^r$ boundedness for ${\mathcal{V}}_{\rho }\left({\mathcal{T}}^{+}\right)$, we get

$\begin{array}{l}\frac{1}{h}{\displaystyle {\int }_x^{x+2h}}{\mathcal{V}}_{\rho }\left({\mathcal{T}}^{+}\right)\left(\left(b-b_I\right)f_1\right)\left(y\right)\text{d}y\\ \le {\left(\frac{1}{h}{\displaystyle {\int }_x^{x+2h}}{\left|{\mathcal{V}}_{\rho }\left({\mathcal{T}}^{+}\right)\left(\left(b-b_I\right)f_1\right)\left(y\right)\right|}^r\text{d}y\right)}^{1/r}\\ \lesssim {\left(\frac{1}{h}{\displaystyle {\int }_x^{x+2h}}{\left|\left(b\left(y\right)-b_I\right)f_1\left(y\right)\right|}^r\text{d}y\right)}^{1/r}\\ \le \underset{y\in \left(x,x+2h\right)}{\sup }\left|b\left(y\right)-b_I\right|{\left(\frac{1}{h}{\displaystyle {\int }_x^{x+2h}}{\left|f\left(y\right)\right|}^r\text{d}y\right)}^{1/r}\\ \lesssim {\Vert b\Vert }_{Li{p}_{\alpha }}{\Vert f\omega \Vert }_{L^{1/\alpha }}\omega {\left(x\right)}^{-1}\mathrm{,}\end{array}$

where ${\omega }^{-r}={\omega }^{-t/\left(1-\alpha \right)}\in A_1^{-}$ for all $\omega \in A^{+}\left(1/\alpha \mathrm{,}\infty \right)$. Then

${\Vert \omega M_2^{+}f\Vert }_{\infty }\lesssim {\Vert b\Vert }_{Li{p}_{\alpha }}{\Vert f\omega \Vert }_{L^{1/\alpha }}\mathrm{.}$

For $1/r-1/s=\alpha$ and $A^{+}\left(p\mathrm{,}q\right)$, it follows from Lemma 2.3 that

${\Vert M_2^{+}f\Vert }_{L^q\left({\omega }^q\right)}\lesssim {\Vert b\Vert }_{Li{p}_{\alpha }}{\Vert f\Vert }_{L^p\left({\omega }^p\right)}\mathrm{.}$

It remains to deal with $M_3^{+}f$. For $y\in \left[x\mathrm{,}x+2h\right]$, we get

$\begin{array}{l}{T}_{\left[{\epsilon }_{i+1},{\epsilon }_i\right]}^{+}\left(\left(b-b_I\right)f_2\right)\left(y\right)-T_{\left[{\epsilon }_{i+1},{\epsilon }_i\right]}^{+}\left(\left(b-b_I\right)f_2\right)\left(x\right)\\ ={\displaystyle {\int }_{ℝ}}k\left(y-z\right){\chi }_{\left(y+{\epsilon }_{i+1},y+{\epsilon }_i\right)}\left(z\right)\left(b\left(z\right)-b_I\right)f_2\left(z\right)\text{d}z\\ -{\displaystyle {\int }_{ℝ}}k\left(x-z\right){\chi }_{\left(x+{\epsilon }_{i+1},x+{\epsilon }_i\right)}\left(z\right)\left(b\left(z\right)-b_I\right)f_2\left(z\right)\text{d}z\\ ={\displaystyle {\int }_{ℝ}}\left(k\left(y-z\right)-k\left(x-z\right)\right){\chi }_{\left(y+{\epsilon }_{i+1},y+{\epsilon }_i\right)}\left(z\right)\left(b\left(z\right)-b_I\right)f_2\left(z\right)\text{d}z\\ +{\displaystyle {\int }_{ℝ}}k\left(x-z\right)\left({\chi }_{\left(y+{\epsilon }_{i+1},y+{\epsilon }_i\right)}\left(z\right)-{\chi }_{\left(x+{\epsilon }_{i+1},x+{\epsilon }_i\right)}\left(z\right)\right)\left(b\left(z\right)-b_I\right)f_2\left(z\right)\text{d}z\end{array}$ (3.2)

In view of (3.2), we have

$\begin{array}{l}{\Vert V\left({\mathcal{T}}^{+}\right)\left(\left(b-b_I\right)f_2\right)\left(y\right)-V\left({\mathcal{T}}^{+}\right)\left(\left(b-b_I\right)f_2\right)\left(x\right)\Vert }_{F_{\rho }}\\ \le {\Vert {\left\{{\displaystyle {\int }_{ℝ}}\left(k\left(y-z\right)-k\left(x-z\right)\right){\chi }_{\left(y+{\epsilon }_{i+1},y+{\epsilon }_i\right)}\left(z\right)\left(b\left(z\right)-b_I\right)f_2\left(z\right)\text{d}z\right\}}_{i\in \mathbb{N},\beta =\left\{{\epsilon }_i\right\}\in \Theta }\Vert }_{F_{\rho }}\\ +\Vert {\{{\displaystyle {\int }_{ℝ}}k\left(x-z\right)\left({\chi }_{\left(y+{\epsilon }_{i+1},y+{\epsilon }_i\right)}\left(z\right)-{\chi }_{\left(x+{\epsilon }_{i+1},x+{\epsilon }_i\right)}\left(z\right)\right)}_{{}_{}}\\ {{{}_{{}_{}}{}^{{}^{}}\times \left(b\left(z\right)-b_I\right)f_2\left(z\right)\text{d}z\}}_{i\in \mathbb{N},\beta =\left\{{\epsilon }_i\right\}\in \Theta }\Vert }_{F_{\rho }}\\ =:J_1+J_2.\end{array}$

Since $z\in \left(x+8h\mathrm{,}\infty \right)$ and $y\in \left(x\mathrm{,}x+2h\right)$, we get $\left|x-z\right|\ge 2\left|x-y\right|$. Using (1.4), we have $\left|k\left(y-z\right)-k\left(x-z\right)\right|\lesssim h{\left|x-z\right|}^{-2}$. Note that

${\Vert {\left\{{\chi }_{\left(y+{\epsilon }_{i+1}\mathrm{,}y+{\epsilon }_i\right]}\left(z\right)\right\}}_{i\in \mathbb{N}\mathrm{,}\gamma \mathrm{<mo>\; =\; </mo>}\left\{{\epsilon }_i\right\}\in \Theta }\Vert }_{F_{\rho }}\le \mathrm{1,}\text{for}\forall y\in ℝ\mathrm{.}$

Then

$\begin{array}{c}{J}_1\lesssim {\displaystyle {\int }_{ℝ}}\frac{h}{{\left|x-z\right|}^2}{\Vert {\left\{{\chi }_{\left(y+{\epsilon }_{i+1}\mathrm{,}y+{\epsilon }_i\right]}\left(z\right)\right\}}_{i\in \mathbb{N}\mathrm{,}\gamma \mathrm{<mo>\; =\; </mo>}\left\{{\epsilon }_i\right\}\in \Theta }\Vert }_{F_{\rho }}\left|\left(b\left(z\right)-b_I\right)f_2\left(z\right)\right|\text{d}z\\ \lesssim h{\displaystyle {\int }_{ℝ}}\frac{\left|\left(b\left(z\right)-b_I\right)f_2\left(z\right)\right|}{{\left|x-z\right|}^2}\text{d}z\\ \lesssim h{\displaystyle \underset{k=3}{\overset{\infty }{\sum }}}{\displaystyle {\int }_{x+2^{k}h}^{x+2^{k+1}h}}\frac{\left|\left(b\left(z\right)-b_I\right)f\left(z\right)\right|}{{\left|x-z\right|}^2}\text{d}z\\ \lesssim {\Vert b\Vert }_{Li{p}_{\alpha }}{\displaystyle \underset{k=3}{\overset{\infty }{\sum }}}\frac{h^{\alpha }}{2^{k\left(1-\alpha \right)}}\frac{1}{2^{k+1}h}{\displaystyle {\int }_x^{x+2^{k+1}h}}\left|f\left(z\right)\right|\text{d}z\end{array}$

$\begin{array}{l}\lesssim {\Vert b\Vert }_{Li{p}_{\alpha }}{\displaystyle \underset{k=3}{\overset{\infty }{\sum }}}\frac{h^{\alpha }}{2^{k\left(1-\alpha \right)}}{\left(\frac{1}{2^{k+1}h}{\displaystyle {\int }_x^{x+2^{k+1}h}}{\left|f\left(y\right)\right|}^r\omega {\left(y\right)}^r\omega {\left(y\right)}^{-r}\text{d}y\right)}^{1/r}\\ \lesssim {\Vert b\Vert }_{Li{p}_{\alpha }}{\displaystyle \underset{k=3}{\overset{\infty }{\sum }}}\frac{1}{2^k}{\left({\displaystyle {\int }_x^{x+2^{k+1}h}}{\left|f\left(y\right)\omega \left(y\right)\right|}^{1/\alpha }\text{d}y\right)}^{\alpha }{\left(\frac{1}{2^{k+1}h}{\displaystyle {\int }_x^{x+2^{k+1}h}}\omega {\left(y\right)}^{-s}\text{d}y\right)}^{1/s}\\ \lesssim {\Vert b\Vert }_{Li{p}_{\alpha }}{\Vert f\omega \Vert }_{L^{1/\alpha }}\omega {\left(x\right)}^{-1},\end{array}$

where ${\omega }^{-r}={\omega }^{-t/\left(1-\alpha \right)}\in A_1^{-}$ for all $\omega \in A^{+}\left(1/\alpha \mathrm{,}\infty \right)$.

For $\left\{{\epsilon }_i\right\}\in \Theta$, let $N_1=\left\{i\in Z\mathrm{<mo>\; :\; </mo>}{\epsilon }_i-{\epsilon }_{i+1}\ge y-x\right\}$ and $N_2=\left\{i\in Z:{\epsilon }_i-{\epsilon }_{i+1}<y-x\right\}$. Then

$\begin{array}{l}{J}_2\le \Vert {\{{\displaystyle {\int }_{ℝ}}\left({\chi }_{\left(y+{\epsilon }_{i+1},y+{\epsilon }_i\right)}\left(z\right)-{\chi }_{\left(x+{\epsilon }_{i+1},x+{\epsilon }_i\right)}\left(z\right)\right)}_{{}_{}}\\ {{{}_{{}_{}}{}^{{}^{}}\times k\left(x-z\right)\left(b\left(z\right)-b_I\right)f_2\left(z\right)\text{d}z\}}_{i\in {\mathbb{N}}_1,\beta =\left\{{\epsilon }_i\right\}\in \Theta }\Vert }_{F_{\rho }}\\ \le \Vert {\{{\displaystyle {\int }_{ℝ}}\left({\chi }_{\left(y+{\epsilon }_{i+1},y+{\epsilon }_i\right)}\left(z\right)-{\chi }_{\left(x+{\epsilon }_{i+1},x+{\epsilon }_i\right)}\left(z\right)\right)}_{{}_{}}\\ {{{}_{{}_{}}{}^{{}^{}}\times k\left(x-z\right)\left(b\left(z\right)-b_I\right)f_2\left(z\right)\text{d}z\}}_{i\in {\mathbb{N}}_2,\beta =\left\{{\epsilon }_i\right\}\in \Theta }\Vert }_{F_{\rho }}\\ =:J_{21}+J_{22}.\end{array}$

Now we estimate $J_{21}$. It is easy to see

$\begin{array}{l}{J}_{21}\le {\Vert {\left\{{\displaystyle {\int }_{ℝ}}k\left(x-z\right){\chi }_{\left(x+{\epsilon }_{i+1},y+{\epsilon }_{i+1}\right)}\left(z\right)\left(b\left(z\right)-b_I\right)f_2\left(z\right)\text{d}z\right\}}_{i\in {\mathbb{N}}_1,\beta =\left\{{\epsilon }_i\right\}\in \Theta }\Vert }_{F_{\rho }}\\ +{\Vert {\left\{{\displaystyle {\int }_{ℝ}}k\left(x-z\right){\chi }_{\left(x+{\epsilon }_i,y+{\epsilon }_i\right)}\left(z\right)\left(b\left(z\right)-b_I\right)f_2\left(z\right)\text{d}z\right\}}_{i\in {\mathbb{N}}_1,\beta =\left\{{\epsilon }_i\right\}\in \Theta }\Vert }_{F_{\rho }}\\ =:L_1+L_2.\end{array}$

For $i\in N_1$, using Hölder’s inequality and (1.3), we have

$\begin{array}{c}{L}_1\lesssim h^{1/r^{\prime }}{\Vert {\left\{{\left({\displaystyle {\int }_{ℝ}}\frac{{\left|b\left(z\right)-b_I\right|}^r{\left|f_2\left(z\right)\right|}^r}{{\left|x-z\right|}^r}{\chi }_{\left(y+{\epsilon }_{i+1},y+{\epsilon }_i\right)}\left(z\right)\text{d}z\right)}^{1/r}\right\}}_{i\in {\mathbb{N}}_1,\beta =\left\{{\epsilon }_i\right\}\in \Theta }\Vert }_{F_{\rho }}\\ =h^{1/r^{\prime }}{\left(\underset{\beta }{\sup }{\displaystyle \underset{i\in {\mathbb{N}}_1}{\sum }}{\left({\displaystyle {\int }_{ℝ}}{\chi }_{\left(x+{\epsilon }_{i+1},x+{\epsilon }_i\right)}\left(z\right)\frac{{\left|b\left(z\right)-b_I\right|}^r{\left|f_2\left(z\right)\right|}^r}{{\left|x-z\right|}^r}\text{d}z\right)}^{p/r}\right)}^{1/\rho }\end{array}$

$\begin{array}{c}\lesssim h^{1/r^{\prime }}{\left({\displaystyle {\int }_{ℝ}}\frac{{\left|b\left(z\right)-b_I\right|}^r{\left|f_2\left(z\right)\right|}^r}{{\left|x-z\right|}^r}\text{d}z\right)}^{1/r}\\ \lesssim {\Vert b\Vert }_{Li{p}_{\alpha }}{\displaystyle \underset{k=3}{\overset{\infty }{\sum }}}\frac{h^{\alpha }}{2^{k\left(1/r^{\prime }-\alpha \right)}}{\left(\frac{1}{2^{k+1}h}{\displaystyle {\int }_x^{x+2^{k+1}h}}{\left|f\left(z\right)\right|}^r\text{d}z\right)}^{1/r}\\ \lesssim {\displaystyle \underset{k=3}{\overset{\infty }{\sum }}}\frac{{\Vert b\Vert }_{Li{p}_{\alpha }}}{2^{k/r^{\prime }}}{\left({\displaystyle {\int }_x^{x+2^{k+1}h}}{\left|f\left(z\right)\omega \left(z\right)\right|}^{1/\alpha }\text{d}z\right)}^{\alpha }{\left(\frac{1}{2^{k+1}h}{\displaystyle {\int }_x^{x+2^{k+1}h}}\omega {\left(z\right)}^{-s}\text{d}z\right)}^{1/s}\\ \lesssim {\Vert b\Vert }_{Li{p}_{\alpha }}{\Vert f\omega \Vert }_{L^{1/\alpha }}\omega {\left(x\right)}^{-1},\end{array}$

where ${\omega }^{-r}={\omega }^{-t/\left(1-\alpha \right)}\in A_1^{-}$ for all $\omega \in A^{+}\left(1/\alpha \mathrm{,}\infty \right)$. By a similar estimate of $L_1$, we have

$L_2\lesssim {\Vert b\Vert }_{Li{p}_{\alpha }}{\Vert f\omega \Vert }_{L^{1/\alpha }}\omega {\left(x\right)}^{-1}\mathrm{.}$

Now we estimate $J_{22}$. It is easy to see

$\begin{array}{l}{J}_{22}\le {\Vert {\left\{{\displaystyle {\int }_{ℝ}}k\left(x-z\right){\chi }_{\left(y+{\epsilon }_{i+1}\mathrm{,}y+{\epsilon }_i\right)}\left(z\right)\left(b\left(z\right)-b_I\right)f_2\left(z\right)\text{d}z\right\}}_{i\in {\mathbb{N}}_2\mathrm{,}\beta =\left\{{\epsilon }_i\right\}\in \Theta }\Vert }_{F_{\rho }}\\ +{\Vert {\left\{{\displaystyle {\int }_{ℝ}}k\left(x-z\right){\chi }_{\left(x+{\epsilon }_{i+1}\mathrm{,}x+{\epsilon }_i\right)}\left(z\right)\left(b\left(z\right)-b_I\right)f_2\left(z\right)\text{d}z\right\}}_{i\in {\mathbb{N}}_2\mathrm{,}\beta =\left\{{\epsilon }_i\right\}\in \Theta }\Vert }_{F_{\rho }}\\ =\mathrm{<mo>\; :\; </mo>}{L}_3+L_4\mathrm{.}\end{array}$

By noting that $N_2=\left\{i\in Z:{\epsilon }_i-{\epsilon }_{i+1}<y-x\right\}$, we have ${\epsilon }_i-{\epsilon }_{i+1}<y-x\le 2h$ with $y\in \left[x\mathrm{,}x+2h\right]$. Using Hölder’s inequality and (1.3), we have

$\begin{array}{c}{L}_3\lesssim h^{1/r^{\prime }}{\Vert {\left\{{\left({\displaystyle {\int }_{ℝ}}{\chi }_{\left(y+{\epsilon }_{i+1},y+{\epsilon }_i\right)}\left(z\right)\frac{{\left|b\left(z\right)-b_I\right|}^r{\left|f_2\left(z\right)\right|}^r}{{\left|x-z\right|}^r}\text{d}z\right)}^{1/r}\right\}}_{i\in {\mathbb{N}}_2,\beta =\left\{{\epsilon }_i\right\}\in \Theta }\Vert }_{F_{\rho }}\\ =h^{1/r^{\prime }}{\left(\underset{\beta }{\sup }{\displaystyle \underset{i\in {\mathbb{N}}_1}{\sum }}{\left({\displaystyle {\int }_{ℝ}}{\chi }_{\left(y+{\epsilon }_{i+1},y+{\epsilon }_i\right)}\left(z\right)\frac{{\left|b\left(z\right)-b_I\right|}^r{\left|f_2\left(z\right)\right|}^r}{{\left|x-z\right|}^r}\text{d}z\right)}^{p/r}\right)}^{1/\rho }\\ \lesssim h^{1/r^{\prime }}{\left({\displaystyle {\int }_{ℝ}}\frac{{\left|b\left(z\right)-b_I\right|}^r{\left|f_2\left(z\right)\right|}^r}{{\left|x-z\right|}^r}\text{d}z\right)}^{1/r}\\ \lesssim {\Vert b\Vert }_{Li{p}_{\alpha }}{\displaystyle \underset{k=3}{\overset{\infty }{\sum }}}\frac{h^{\alpha }}{2^{k\left(1/r^{\prime }-\alpha \right)}}{\left(\frac{1}{2^{k+1}h}{\displaystyle {\int }_x^{x+2^{k+1}h}}{\left|f\left(z\right)\right|}^r\text{d}z\right)}^{1/r}\\ \lesssim {\displaystyle \underset{k=3}{\overset{\infty }{\sum }}}\frac{{\Vert b\Vert }_{Li{p}_{\alpha }}}{2^{k/r^{\prime }}}{\left({\displaystyle {\int }_x^{x+2^{k+1}h}}{\left|f\left(z\right)\omega \left(z\right)\right|}^{1/\alpha }\text{d}z\right)}^{\alpha }{\left(\frac{{\Vert b\Vert }_{Li{p}_{\alpha }}}{2^{k+1}h}{\displaystyle {\int }_x^{x+2^{k+1}h}}\omega {\left(z\right)}^{-s}\text{d}z\right)}^{1/s}\\ \lesssim {\Vert b\Vert }_{Li{p}_{\alpha }}{\Vert f\omega \Vert }_{L^{1/\alpha }}\omega {\left(x\right)}^{-1},\end{array}$

where ${\omega }^{-r}={\omega }^{-t/\left(1-\alpha \right)}\in A_1^{-}$ for all $\omega \in A^{+}\left(1/\alpha \mathrm{,}\infty \right)$. By similar arguments, we have

$L_4\lesssim {\Vert b\Vert }_{Li{p}_{\alpha }}{\Vert f\omega \Vert }_{L^{1/\alpha }}\omega {\left(x\right)}^{-1}\mathrm{,}$

Following from the estimates of $L_1$, $L_3$, $L_3$ and $L_4$, we get

$J_2\le J_{21}+J_{22}\le L_1+L_2+L_3+L_4\lesssim {\Vert b\Vert }_{Li{p}_{\alpha }}{\Vert f\omega \Vert }_{L^{1/\alpha }}\omega {\left(x\right)}^{-1}\mathrm{.}$

This together with the estimate of $J_4$ implies

$\begin{array}{l}{\Vert V\left({\mathcal{T}}^{+}\right)\left(\left(b-b_I\right)f_2\right)\left(y\right)-V\left({\mathcal{T}}^{+}\right)\left(\left(b-b_I\right)f_2\right)\left(x\right)\Vert }_{F_{\rho }}\\ \le J_1+J_2\lesssim {\Vert b\Vert }_{Li{p}_{\alpha }}{\Vert f\omega \Vert }_{L^{1/\alpha }}\omega {\left(x\right)}^{-1},\end{array}$

where ${\omega }^{-r}={\omega }^{-t/\left(1-\alpha \right)}\in A_1^{-}$ for all $\omega \in A^{+}\left(1/\alpha \mathrm{,}\infty \right)$. Then

${\Vert \omega M_3^{+}f\Vert }_{\infty }\lesssim {\Vert b\Vert }_{Li{p}_{\alpha }}{\Vert f\omega \Vert }_{L^{1/\alpha }}\mathrm{.}$

For $1/r-1/s=\alpha$ and $A^{+}\left(p\mathrm{,}q\right)$, it follows from Lemma 2.3 that

${\Vert M_3^{+}f\Vert }_{L^q\left({\omega }^q\right)}\lesssim {\Vert b\Vert }_{Li{p}_{\alpha }}{\Vert f\Vert }_{L^p\left({\omega }^p\right)}\mathrm{.}$

This completes the proof.

Now, we turn to the proof of theorem 1.1.

Proof. For $\omega \in A^{+}\left(p\mathrm{,}q\right)$, by Lemma 2.2, we have ${\omega }^q\in A_q^{+}$. Using Lemma 2.4 and Lemma 3.1, we obtain

$\begin{array}{c}{\Vert {\mathcal{V}}_{\rho }\left({\mathcal{T}}_b^{+}\right)f\Vert }_{L^q\left({\omega }^q\right)}\lesssim {\Vert M^{+}\left({\mathcal{V}}_{\rho }\left({\mathcal{T}}_b^{+}\right)f\right)\Vert }_{L^q\left({\omega }^q\right)}\\ \lesssim {\Vert M^{+,\#}\left({\mathcal{V}}_{\rho }\left({\mathcal{T}}_b^{+}\right)f\right)\Vert }_{L^q\left({\omega }^q\right)}\\ \lesssim {\Vert b\Vert }_{Li{p}_a}{\Vert f\Vert }_{L^p\left({\omega }^p\right)}.\end{array}$

It remains to prove ${\Vert {\mathcal{V}}_{\rho }\left({\mathcal{T}}_b^{+}\right)f\Vert }_{L^q\left({\omega }^q\right)}<\infty$. By the similar arguments in the proof of Theorem 1.3 in [10], we can get ${\Vert {\mathcal{V}}_{\rho }\left({\mathcal{T}}_b^{+}\right)f\Vert }_{L^q\left({\omega }^q\right)}<\infty$. Then Theorem 1.1 is proved.

Supported

Supported by the Natural Science Foundation of Shandong Province (No. ZR2020QA006).

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1]	Bourgain, J. (1989) Pointwise Ergodic Theorems for Arithmetric Sets. Publications Mathématiques de l’Institut des Hautes études Scientifiques, 69, 5-45. https://doi.org/10.1007/BF02698838
[2]	Campbell, J., Jones, R., Reinhdd, K. and Wierdl, M. (2000) Oscillation and Variation for the Hilbert Transform. Duke Mathematical Journal, 105, 59-83. https://doi.org/10.1215/S0012-7094-00-10513-3
[3]	Campbell, J., Jones, R., Reinhdd, K. and Wierdl, M. (2003) Oscillation and Variation for Singular Integrals in Higher Dimensions. Transactions of the American Mathematical Society, 355, 2115-2137. https://doi.org/10.1090/S0002-9947-02-03189-6
[4]	Ding, Y., Hong, G. and Liu, H. (2017) Jump and Variational Inequalities for Rough Operators. Journal of Fourier Analysis and Applications, 23, 679-711. https://doi.org/10.1007/s00041-016-9484-8
[5]	Lépingle, D. (1976) La variation d’ordre p des semi-martingales. Zeitschrift fur Wahrscheinlichkeitstheorie und verwandte Gebiete, 36, 295-316. https://doi.org/10.1007/BF00532696
[6]	Le Merdy, C. and Xu, Q. (2012) Strong q-Variation Inequalities for Analytic Semigroups. Annales de l’Institut Fourier, 62, 2069-2097. https://doi.org/10.5802/aif.2743
[7]	Gillespie, T. and Torrea, J. (2004) Dimension Free Estimates for the Oscillation of Riesz Transforms. Israel Journal of Mathematics, 141, 125-144. https://doi.org/10.1007/BF02772215
[8]	Ma, T., Torrea, J. and Xu, Q. (2015) Weighted Variation Inequalities for Differential Operators and Singular Integrals. Journal of Functional Analysis, 268, 376-416. https://doi.org/10.1016/j.jfa.2014.10.008
[9]	Ma, T. and Xu, Q. (2017) Weighted Variation Inequalities for Differential Operators and Singular Integrals in Higher Dimensions. Science China Mathematics, 60, 1419-1442. https://doi.org/10.1007/s11425-016-9012-7
[10]	Liu, F. and Wu, H. (2015) A Criterion on Oscillation and Variation for the Commutators of Singular Integral Operators. Forum Mathematicum, 27, 77-97. https://doi.org/10.1515/forum-2012-0019
[11]	Liu, F., Jhang, S., Oh, S. and Fu, Z. (2019) Variation Inequalities for One-Sided Singular Integrals and Related Commutators. Mathematics, 7, 876. https://doi.org/10.3390/math7100876
[12]	Zhang, J. and Wu, H. (2015) Oscillation and Variation Inequalities for the Commutators of Singular Integrals with Lipschitz Functions. Journal of Inequalities and Applications, 2015, Article No. 214. https://doi.org/10.1186/s13660-015-0737-x
[13]	Aimar, H., Forzani, L. and Martín-Reyes, F. (1997) On Weighted Inequalities for One-Sided Singular Integrals. Proceedings of the American Mathematical Society, 125, 2057-2064. https://doi.org/10.1090/S0002-9939-97-03787-8
[14]	Sawyer, E. (1986) Weighted Inequalities for the One-Sided Hardy-Littlewood Maximal Functions. Transactions of the American Mathematical Society, 297, 53-61. https://doi.org/10.1090/S0002-9947-1986-0849466-0
[15]	Macías, R. and Riveros, M. (2000) One-Sided Extrapolation at Infinity and Singular integrals. Proceedings of the Royal Society of Edinburgh Section A, 130, 1081-1102. https://doi.org/10.1017/S0308210500000585
[16]	Martín-Reyes, F., Pick, L. and de la Torre, A. (1993) A+∞ Condition. Canadian Journal of Mathematics, 45, 1231-1244. https://doi.org/10.4153/CJM-1993-069-9
[17]	Lorente, M. and Riveros, M. (2007) Two Extrapolation Theorems for Related Weighted and Applications. Mathematical Inequalities & Applications, 10, 643-660. https://doi.org/10.7153/mia-10-60
[18]	Martín-Reyes, F. and de la Torre, A. (1994) One-Sided BMO Spaces. Journal of the London Mathematical Society, 49, 529-542. https://doi.org/10.1112/jlms/49.3.529