Good \(\lambda\) inequalities for multilinear integral operators (Q2912376)

The author studies a class of multilinear operators associated to some integral operators, and obtains the good \(\lambda\) inequalities for the operators and the boundedness of the operators on Lebesgue spaces.NEWLINENEWLINELet \(m_j\) be positive integers \((j=1, \dots, l)\), \(m_1 + \dots + m_l = m\) and let \(A_j\) be functions on \(\mathbb R^n(j=1, \dots, l)\). Set NEWLINE\[NEWLINER_{m_j+1}(A_j;x,y)=A_j(x)-\sum_{|\alpha| \leq m_j} \frac{1}{\alpha !}D^{\alpha}A_j(y)(x-y)^{\alpha}.NEWLINE\]NEWLINE Let \(F_t(x)\) be defined on \(|Bbb R^n \times [0, +\infty )\). Set NEWLINE\[NEWLINE F_t(f)(x) =\int_{\mathbb R^n}F_t(x-y)f(y)dy, NEWLINE\]NEWLINE NEWLINE\[NEWLINEF_t^{A_1,\dots, A_l}(f)(x)=\int_{\mathbb R^{n}} \frac{\prod_{j=1}^{l}R_{m_j+1}(A_j;x,y)}{|x-y|^m}F_t(x-y)f(y)dyNEWLINE\]NEWLINE and NEWLINE\[NEWLINEF_{t,\varepsilon}^{A_1,\dots, A_l}(f)(x)=\int_{|x-y|>\varepsilon} \frac{\prod_{j=1}^{l}R_{m_j+1}(A_j;x,y)}{|x-y|^m}F_t(x-y)f(y)dyNEWLINE\]NEWLINE for every bounded and compactly supported function \(f\). The multilinear operators associated to \(F_t\) are defined by NEWLINE\[NEWLINET^{A_1, \dots, A_l}(f)(x)=\|F_t^{A_1, \dots, A_l}(f)(x)\|, NEWLINE\]NEWLINE NEWLINE\[NEWLINET_{\varepsilon}^{A_1, \dots, A_l}(f)(x)=\|F_{t,\varepsilon}^{A_1, \dots, A_l}(f)(x)\| NEWLINE\]NEWLINE and \(T_\star^{A_1, \dots, A_l}(f)(x)=\sup_{\varepsilon>0}T_{\varepsilon}^{A_1, \dots, A_l}(f)(x)\), where \(F_t\) satisfies: for fixed \(\delta>0\), NEWLINE\[NEWLINE\|F_t(x-y)\| \leq C|x-y|^{-n} NEWLINE\]NEWLINE and NEWLINE\[NEWLINE\|F_t(y-x)-F_t(z-x)\| \leq C|y-z|^\delta |x-z|^{-n-\delta}NEWLINE\]NEWLINE if \(2|y-z|\leq |x-z|\).NEWLINENEWLINEThe main results in the paper are stated as follows.NEWLINENEWLINELet \(D^{\alpha}A_j \in \text{BMO}(\mathbb R^n)\) for all \(\alpha\) with \(|\alpha|=m_j\) and \(j=1,\dots,l\). Suppose \(1<r<p<\infty\), then there exist \(\gamma_0>0\) such that, for any \(0<\gamma <\gamma_0\) and \(\lambda>0\), NEWLINE\[NEWLINE\begin{multlined} \Big | \Big\{ x\in \mathbb R^n: T_\star^{A_1,\dots, A_l}(f)(x)>3\lambda, \prod_{j=1}^l\Big (\sum_{|\alpha_j|=m_j}\|D^{\alpha_j}A_j\|_{\text{BMO}} \Big )M_p(f)(x) \leq \gamma \lambda \Big \} \Big | \\ \leq C\gamma^r|\{x\in \mathbb R^n : T_\star^{A_1,\dots, A_l}(f)(x)>\lambda \}|; \end{multlined}NEWLINE\]NEWLINE \(T^{A_1,\dots, A_l}\) is bounded on \(L^p(\mathbb R^n)\) for \(1<p<\infty\). Let \(D^\alpha A_j\) belong to the Lipschitz space \(\dot\wedge_\beta(0<\beta<1)\). Under the same conditions as above for \(r,p,\gamma\) and \(\lambda\), the following results are obtained: NEWLINE\[NEWLINE\begin{multlined} \Big | \Big\{ x\in \mathbb R^n: T_\star^{A_1,\dots, A_l}(f)(x)>3\lambda, \prod_{j=1}^l\Big (\sum_{|\alpha_j|=m_j}\|D^{\alpha_j}A_j\|_{\dot\wedge_\beta} \Big )M_{l\beta,p}(f)(x) \leq \gamma \lambda \Big \} \Big | \\ \leq C\gamma^r|\{x\in \mathbb R^n : T_\star^{A_1,\dots, A_l}(f)(x)>\lambda \}|; \end{multlined}NEWLINE\]NEWLINE \(T^{A_1,\dots, A_l}\) is bounded from \(L^p(\mathbb R^n)\) to \(L^q(\mathbb R^n)\) for \(1<p<n/l\beta\) and \(1/p-1/q=l\beta/n\).