Weighted and endpoint estimates for commutators of bilinear pseudo-differential operators

: In this paper, by applying the accurate estimates of the Hörmander class, the authors consider the commutators of bilinear pseudo-differential operators and the operation of multiplication by a Lipschitz function. By establishing the pointwise estimates of the corresponding sharp maximal function, the boundedness of the commutators is obtained respectively on the products of weighted Lebesgue spaces and variable exponent Lebesgue spaces with σ ∈ B BS 11 , 1 . Moreover, the endpoint estimate of the commutators is also established on L ∞ × L ∞ .


Introduction and Main Results
Let T be a linear operator. Given a function a, the commutator [T, a] is defined by There is an increasing interest to the study of T being a pseudo-differential operator because of its theory plays an important role in many aspects of harmonic analysis and it has had quite a success in linear setting. As one of the most meaningful branches, the study of bilinear pseudo-differential operators was motivated not only as generalizations of the theory of linear ones but also its natural appearance and important applications.
This topic is continuously attracting many researchers.
Let a be a Lipschitz function and 1 < p < ∞. The estimates of the form have been studied extensively. In particular, Calderón proved that (1.1) holds when T is a pseudo-differential operator whose kernel is homogeneous of degree of −n − 1 in [1]. Coifman and Meyer showed (1.1) when T = T σ and σ is a symbol in the Hörmander class S 1 1,0 go back to [2][3], this result was later extended by Auscher and Taylor in [4] to σ ∈ BS 1 1,1 , where the class BS 1 1,1 , which contains S 1 1,0 modulo symbols associated to smoothing operators, consists of symbols whose Fourier transforms in the first n-dimensional variable are appropriately compactly supported. The method in the proofs of [2][3] was mainly showed that, for each Lipschitz continuous functions a on R n , [T, a] is a Calderón-Zygmund singular integral whose kernel constants are controlled by ∥a∥ Lip 1 . For another thing, Auscher and Taylor proved (1.1) in two different ways: one method is based on the paraproducts while the other is based on the Calderón-Zygmund singular integral operator approach that relies on the T (1) theorem. Fore a more systematic study of these (and even more general) spaces, we refer the readers to see [5][6].
Given a bilinear operator T and a function a, the following two kinds commutators are respectively defined by In 2014, Bényi and Oh proved that (1.1) is also valid to this bilinear setting in [7]. More precisely, given a bilinear pseudo-differential operator T σ with σ in the bilinear Hörmander class BS 1 1,0 and a Lipschitz function a on R n , it was proved in [7, Theorem 1] that [T, a] 1 and [T, a] 2 are bilinear Calderón-Zygmund operators. The main aim of this paper is to study (1.1) of [T σ , a] j (j = 1, 2) on the products of weighted Lebesgue spaces and variable exponent Lebesgue spaces with σ ∈ BBS 1 1,1 . Before stating our main results, we need to recall some definitions and notations.
We say that a function a defined on R n is Lipschitz continuous if Let δ ≥ 0, ρ > 0 and m ∈ R. An infinitely differentiable function σ : R n ×R n ×R n → C belongs to the bilinear Hörmander class BS m ρ,δ if for all multi-indices α, β, γ ∈ N n 0 there exists a positive constant C α,β,γ such that Given a σ(x, ξ, η) ∈ BS m ρ,δ , the bilinear pseudo-differential operator associated to σ is defined by In 1980, Meyer [8] firstly introduced the linear BS m 1,1 , and corresponding boundedness of [T σ , a] j (j = 1, 2) is obtained by Bényi-Oh in [7], that is, given m ∈ R and r > 0, an whereσ 1 denotes the Fourier transform of σ with respect to its first variable in R n , that Recently, many authors are interested in bilinear operators, which is a natural generalization of linear case. With the further research, Árpád Bényi and Virginia Naibo proved that boundedness for the commutators of bilinear pseudo-differential operators and Lipschitz functions with σ ∈ BBS 1 1,1 on the Lebesgue spaces in [9]. In 2018, Tao and Li proved that the boundedness of the commutators of bilinear pseudo-differential operators was also true on the classical and generalized Morrey spaces in [10]. Motivated by the results mentioned above, a natural and interesting problem is to consider whether or not (1.1) is true on the weighted Lebesgue spaces and variable exponent Lebesgue spaces with σ ∈ BBS 1 1,1 . The purpose of this paper is to give an surely answer. And also, the endpoint estimate is obtained on L ∞ × L ∞ . Our proofs are based on the pointwise estimates of the sharp maximal function proved in the next section.
Many results involving bilinear pseudo-differential operators theory have been obtained in parallel with the linear ones but some new interesting phenomena have also been observed. One aspect developed rapidly is the one related to the compactness of the bilinear pseudo-differential operators, especially, the properties of compactness for the commutators of bilinear pseudo-differential operators and Lipschitz functions. As the commutators Suppose that σ ∈ BBS 1 1,1 . Let K and K j denote the kernel of T σ and [T σ , a] j (j = 1, 2), respectively. We have Then the following consequences are true.
The statement of our main theorems will be presented in follows. Theroem 1.1 Let q ′ > 1, σ ∈ BBS 1 1,1 and a be a Lipschitz function on R n . Suppose for fixed 1 ≤ r 1 , r 2 ≤ q ′ with 1/r = 1/r 1 +1/r 2 , [T σ , a] j (j = 1, 2) is bounded from L r 1 ×L r 2 into L r,∞ with norm controlled by ∥a∥ Lip 1 . If 0 < δ < 1/2, then for all f, g of bounded measurable functions with compact support. Theorem 1.2 Let q ′ > 1, σ ∈ BBS 1 1,1 and a be a Lipschitz function on R n . Suppose for where i, j = 1, 2 and above inequality is valid for all f, g of bounded measurable functions with compact support.

Theorem 1.7 Let σ ∈ BBS
We use the following notation: for 1 ≤ p ≤ ∞, p ′ is the conjugate index of p, that is, 1/p + 1/p ′ = 1. B(x, R) denotes the ball centered at x with radius R > 0 and The paper is organized as follows. The pointwise estimates of the sharp maximal functions are presented in Section 2. The weighted boundedness is given in Section 3. The proofs of the boundedness on the product of variable exponent Lebesgue spaces are showed in Section 4. The endpoint estimate is proved in Section 5.

Pointwise Estimates for the Sharp Maximal Functions
In this section, we shall prove Theorems 1.1-1.2. In order to do this, let's recall some definitions.
Given a function f ∈ L loc (R n ), the sharp maximal function is defined by where the supremum is taken over all balls B containing x.
The operator M ♯ δ was appeared implicitly in a paper by John [12] and was introduced by Strömberg [13]. The sharp maximal function M ♯ and M ♯ δ not only have close relation to BMO, but also are important tools to obtain pointwise inequalities regarding many operators in harmonic analysis (see [14][15][16][17][18][19]).
To prove the theorems 1.1-1.2, we need the following Kolmogorov's inequality and the inequality regarding the BMO functions. [20,21]

Lemma 2.2
where C is a positive constant independent of f , x, r 1 and r 2 .
Lemma 2.3 [9] If σ ∈ BBS 1 1,1 and a is a Lipschitz function on R n , then the commutators [T σ , a] j , j = 1, 2 are bilinear Calderón-Zygmund operators. In particular, For any 0 < δ < r < ∞, it follows from Lemma 2.1 that If z ∈ B, y 1 ∈ (16B) c , y 2 ∈ 16B, noticing that |z − y 1 | + |z − y 2 | + |y 1 − y 2 | ∼ |z − y 1 | + |z − y 2 | ≥ |z − y 1 |, then we have by Theorem A, By the similar way, we can get that As z ∈ B and y 1 , It follows from Hölder's inequality that where we use the fact of a weaker size condition of standard m-linear Calderón-Zygmund kernel than its classical size condition given in [23], that is: for any k 1 , · · · , k m ∈ N + , there Together with the commutators [T σ , a] j , j = 1, 2 are bilinear Calderón-Zygmund operators and Theorem A, then we obtain the fact that Thus, we have Thus we finish the proof of Theorem 1.1.

Boundedness on Product of Weighted Lebesgue Spaces
The theory of weighted estimates has played very important roles in modern harmonic analysis with lots of extensive applications in the others fields of mathematics, which has been extensively studied (see [24][25][26][27], for instance). In this section, for the commutators of bilinear pseudo-differential operators and Lipschitz functions, we will establish its boundedness of product of weighted Lebesgue spaces owning to the pointwise estimate of its sharp maximal function, that is, Theorem 1.1. The boundedness of the corresponding bilinear commutators with BMO function on the product of weighted Lebesgue spaces is also obtained by using Theorem 1.1 and Theorem 1.2.
Let us recall the definition of the class of Muckenhoupt weights A p before proving Theorems 1.3-1.4. Let 1 < p < ∞ and ω be a non-negative measurable function. We say ω ∈ A p if for every cube Q in R n , there exists a positive C independent of Q such that Denote by A ∞ = p≥1 A p . It is well known that if ω ∈ A p with 1 < p < ∞, then ω ∈ A r for all r > p, and ω ∈ A p for some q, 1 < q < p.
To prove Theorems 1.3-1.4, we need the following inequality regarding maximal functions which is a version of the classical ones due to Fefferman and Stein in (see [28]), and a property of A p .
Lemma 3.1 [28] Let 0 < p, δ < ∞, and ω ∈ A ∞ . Then there exists a positive constant for every function f such that the left-hand side is finite.

Proof of Theorem 1.3. It follows from Lemma 3.2 that ω ∈
Take a δ such that 0 < δ < 1/2. Then by Lemma 3.1 and Theorem 1.1, we get We complete the proof of the Theorem 1.3.
Since ω t ∈ A pt/q ′ , t = 1, 2, there exists an l t such that 1 < l t < p t /q ′ and ω t ∈ A lt .
It follows from q ′ < p t /l t that there is an s t such that q ′ < s t < p t /l t < p t . Let s = min{s 1 , s 2 }. Then s > q ′ and s < p t .
Since l t < p t /s t ≤ p t /s, then ω i ∈ A lt ⊂ A pt/s , t = 1, 2. It follows from Lemma 3.1 and We complete the proof of the Theorem 1.4.

Boundedness on Product of Variable Exponent Lebesgue Spaces
The spaces with variable exponent have been widely studied in recent ten years. The results show that they are not only the generalized forms of the classical function spaces with invariable exponent, but also there are some new breakthroughs in the research techniques. These new real variable methods help people further understand the function spaces. Due to the fundamental paper [30] by Kovócȋk and Rákosník, Lebesgue spaces with variable exponent L p(·) (R n ) becomes one of the important class function spaces. The theory of the variable exponent function spaces have been applied in fluid dynamics, elastlcity dynamics, calculus of variations and differential equations with non-standard growth conditions(for example, see [31][32][33]). In [34], authors proved the extrapolation theorem which leads the boundedness of some classical operators including the commutators on L p(·) (R n ). Karlovich and Lerner also obtained the bundedness of the singular integral commutators in [35]. The boundedness of some typical operators is being studied with keen interest on spaces with variable exponent (see [36][37][38][39][40]).
In this section, we will establish the boundedness of [T σ , a] j and on the product of variable exponent Lebesgue spaces, that is, we shall prove Theorems 1.5-1.6.
Denote P(R n ) to be the set of all measurable functions p(·) : R n → [1, ∞) with p − =: ess inf x∈R n p(x) > 1 and p + =: ess sup and B(R n ) to be the set of all functions p(·) ∈ P(R n ) satisfying the condition that the Hardy-littlewood maximal operator M is bounded on L p(·) (R n ).
Then by Lemma 4.2 and 4.3, we have This completes the proof of the Theorem 1.5.