Weighted Morrey Estimates for Multilinear Fourier Multiplier Operators

Abstract

The multilinear Fourier multipliers and their commutators with Sobolev regularity are studied. The purpose of this paper is to establish that these operators are bounded on certain product Morrey spaces . Based on the boundedness of these operators from to , we obtained that they are also bounded from to , with , , , and .

1. Introduction

Recently some authors have taken so much interest in the text of multilinear Fourier multipliers with Sobolev regularity. To state some interesting results, we recall some necessary notations and definitions. Let ; the multilinear Fourier multiplier operator is defined by for all , where and is the Fourier transform of . It is well known that [1] the boundedness of from to holds if satisfying the condition for all multi-indice with and all with . Grafakos and Torres [2] improved the multiplier theorem of Coifman and Meyer to the indices by the multilinear Calderón-Zygmund operator theory in the case of . An important progress in this topic was given by Tomita. Let satisfy Set Tomita [3] proved that if for some , then is bounded from to provided that and . Grafakos and Si in [4] obtained that maps from to , if satisfies (5) and . Miyachi and Tomita [5] considered the problem to find minimal smoothness condition for multilinear Fourier multiplier. Let where . Miyachi and Tomita [5] proved that if for each , then is bounded from to provided that ,  , and with . Moreover, they also gave minimal smoothness condition for which is bounded from to .

Let , , and . Fujita and Tomita [6] proved the following inequality: if and , where and in what follows . Li et al. [7] obtained the endpoint cases. Hu and Lin [8] also obtained this result from another approach. Replacing by , Bui and Duong [9] and Li and Sun [10] proved that if , then (8) also holds. Jiao [11] gave a generalization of the above inequality with the class , which generalizes the class introduced by Lerner et al. [12]. Fujita and Tomita showed a counterexample to answer the question whether the inequality (8) holds under the conditions and .

We still recall the weighted Morrey spaces which were introduced by Komori and Shirai [13]. A weight is a nonnegative, locally integrable function on . Let ; a weight function is said to belong to the class , if there is a constant such that for any cube , and belongs to the class , if there is a constant such that, for any cube , We denote .

Definition 1 (See [13]). Let , let , and let be a weight function on . The weighted Morrey space is defined by where

Our main results can be stated as follows.

Theorem 2. Let be a multiplier satisfying for and let be the operator defined by (1) and . Set . If and the weight for and such that , then where .

Given a multilinear Fourier multiplier operator and , we define the commutators to be with

Theorem 3. Let be a multiplier satisfying for and let be the operator defined by (1) and . Set . If and the weight for and such that , then for any , where and .

Because the regularity condition is stronger than that of , we have the following corollaries.

Corollary 4. Let be a multiplier satisfying for and let be the operator defined by (1) and . Set . If and the weight for and such that , then where .

Corollary 5. Let be a multiplier satisfying for and let be the operator defined by (1) and . Set . If and the weight for and such that , then, for any , where and .

Remark 6. For and , we also extend Hörmander’s theorem [14] to the weighted Morrey spaces.

2. Some Notations and Lemmas

We begin with the definitions of Hardy-Littlewood maximal function, and of the sharp maximal function, For , we also define the following maximal functions and . The following classical result belongs to Fefferman and Stein [15].

Lemma 7. Let , and . Then there exists some constant such that

Similarly, we have the responding lemma on weighted Morrey spaces as a consequent result.

Lemma 8. Let , , and . Then there exists some constant such that

For , ,  , and set , we define This maximal function is the generalization of which is introduced by Lerner et al. [12], we refer to [11] for some properties of it. The following lemma is the special example of [11, Theorem 2.1].

Lemma 9. Let , , and for and . Then we have and if at least one , then where .

Lemma 10. Let , ,  , , and for and . Then we have

Proof. From [11], there exists some such that where is the weighted centered maximal operator. Then by the Hölder inequality and [13, Theorem 3.1], we get

Lemma 11 (See [6]). Let and . Suppose that satisfies Then is bounded from to .

For and , the weighted Lebesgue space of mixed type is defined by the norm

Lemma 12 (See [6]). Let , , and for . Then there exists a constant such that for all with .

By the reverse Hölder inequality, we have the following lemma.

Lemma 13. Assume that , with . Let ; then there exist constants such that .

The following lemma is the key to our main results.

Lemma 14. Let “” be a multplier satisfying for and let be the operator defined by (1). If ,   and , where ,    and . Then for all with for , where .

Proof. By Lemma 13, ; then . Fix a point and a cube such that . It suffices to prove that for some constant . We decompose with for all and . Then where . Then we can write Applying Kolmogorov’s inequality to , we have since is bounded from to by Lemma 11.
Taking we claim that, for any , Let At first we consider the case , Denote and ; it follows from Lemma 12 that Given that , then we have that On the other hand, a similar process follows in [10]; we get that where . Since we have From Lemma 13, , it deduces that So It remains to consider the case that there exists a proper subset of , , such that . Without loss of generality, we write, for the case , The same argument as the case computes that This completes the proof.

Lemma 15. “Let ” be a multplier satisfying for and let be the operator defined by (1). If , and , where , and , and let . Then for any , that is, , there exists some constant such that for all -tuples of bounded measurable functions with compact support.

Proof. By linearity it is sufficient to consider the particular case when . Fix and consider the operator Fix , for any cube with center at ; set , where . We have Since , By the John-Nirenberg inequality and Hölder inequality, one has, for such that , To estimate term , we split each function as , where for . We also have the same decomposition, where .
Taking , we have By using Kolmogorov’s inequality and Hölder’s inequality, one has By the same argument in the proof of Lemma 14, we have the following estimate: This completes the proof.

3. Proof of Theorems

Proof of Theorem 2. By Lemmas 8 and 14, we have

Proof of Theorem 3. By Lemma 13, there are such that . Let ; by Lemmas 8 and 15, one has and then

Conflict of Interests

The authors declare that they have no conflict of interests.

Acknowledgments

The authors would like to thank the referee for some very valuable suggestions. This research was supported by the NSF of China (no. 11161044 and no. 11261055) and by XJUBSCX-2012004.