Multilinear BMO estimates for the commutators of multilinear fractional maximal and integral operators on the product generalized Morrey spaces
Ferit Gurbuz

TL;DR
This paper develops multilinear BMO estimates for commutators of fractional maximal and integral operators on product generalized Morrey spaces, extending the theory to vanishing spaces and related operators.
Contribution
It introduces new multilinear BMO estimates for commutators on generalized Morrey spaces, including vanishing spaces, and applies to maximal and singular integral operators.
Findings
Established multilinear BMO estimates on product generalized Morrey spaces.
Extended results to product generalized vanishing Morrey spaces.
Applicable to commutators of maximal and singular integral operators.
Abstract
In this paper, we establish multilinear BMO estimates for commutators of multilinear fractional maximal and integral operators both on product generalized Morrey spaces and product generalized vanishing Morrey spaces, respectively. Similar results are still valid for commutators of multilinear maximal and singular integral operators.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Harmonic Analysis Research · Nonlinear Partial Differential Equations · Advanced Banach Space Theory
multilinear estimates for the commutators of multilinear fractional
maximal and integral operators on the product generalized Morrey spaces
F. GURBUZ
ANKARA UNIVERSITY, FACULTY OF SCIENCE, DEPARTMENT OF MATHEMATICS, TANDOĞAN 06100, ANKARA, TURKEY
Abstract.
In this paper, we establish multilinear estimates for commutators of multilinear fractional maximal and integral operators both on product generalized Morrey spaces and product generalized vanishing Morrey spaces, respectively. Similar results are still valid for commutators of multilinear maximal and singular integral operators.
Key words and phrases:
multi-sublinear fractional maximal operator; multilinear fractional integral operator; multilinear commutator; generalized Morrey space; generalized vanishing Morrey space; multilinear space
2000 Mathematics Subject Classification:
42B20, 42B25, 42B35
1. Introduction and main results
Because of the need for study of the local behavior of solutions of second order elliptic partial differential equations (PDEs) and together with the now well-studied Sobolev Spaces, constitude a formidable three parameter family of spaces useful for proving regularity results for solutions to various PDEs, especially for non-linear elliptic systems, in 1938, Morrey [24] introduced the classical Morrey spaces which naturally are generalizations of the classical Lebesgue spaces.
We will say that a function if
[TABLE]
Here, and and the quantity of (1.1) is the -Morrey norm, denoted by . In recent years, more and more researches focus on function spaces based on Morrey spaces to fill in some gaps in the theory of Morrey type spaces (see, for example, [10, 12, 13, 14, 15, 16, 18, 20, 26, 28, 32]). Moreover, these spaces are useful in harmonic analysis and PDEs. But, this topic exceeds the scope of this paper. Thus, we omit the details here. On the other hand, the study of the operators of harmonic analysis in vanishing Morrey space, in fact has been almost not touched. A version of the classical Morrey space where it is possible to approximate by ”nice” functions is the so called vanishing Morrey space has been introduced by Vitanza in [29] and has been applied there to obtain a regularity result for elliptic PDEs. This is a subspace of functions in , which satisfies the condition
[TABLE]
where and for brevity, so that
[TABLE]
Later in [30] Vitanza has proved an existence theorem for a Dirichlet problem, under weaker assumptions than in [21] and a regularity result assuming that the partial derivatives of the coefficients of the highest and lower order terms belong to vanishing Morrey spaces depending on the dimension. For the properties and applications of vanishing Morrey spaces, see also [1].
After studying Morrey spaces in detail, researchers have passed to the concept of generalized Morrey spaces. Firstly, motivated by the work of [24], Mizuhara [22] introduced generalized Morrey spaces . Then, Guliyev [10] defined the generalized Morrey spaces with normalized norm as follows:
Definition 1**.**
[10*]** **(generalized Morrey space) *Let be a positive measurable function on . If , then the generalized Morrey space is defined by
[TABLE]
Obviously, the above definition recover the definition of if we choose , that is
[TABLE]
Everywhere in the sequel we assume that which makes the above spaces non-trivial, since the spaces of bounded functions are contained in these spaces. We point out that is a measurable nonnegative function and no monotonicity type condition is imposed on these spaces.
In [10], [14], [18], [20], [22] and [28], the boundedness of the maximal operator and Calderón-Zygmund operator on the generalized Morrey spaces has been obtained, respectively.
For brevity, in the sequel we use the notations
[TABLE]
and
[TABLE]
In this paper, extending the definition of vanishing Morrey spaces [29], we introduce generalized vanishing Morrey spaces with normalized norm in the following form.
Definition 2**.**
(generalized vanishing Morrey space) The generalized vanishing Morrey space is defined by
[TABLE]
Everywhere in the sequel we assume that
[TABLE]
and
[TABLE]
which make the spaces non-trivial, because bounded functions with compact support belong to this space. The spaces are Banach spaces with respect to the norm
[TABLE]
The spaces are also closed subspaces of the Banach spaces , which may be shown by standard means.
Furthermore, we have the following embeddings:
[TABLE]
On the other hand, it is well known that, for the purpose of researching non-smoothness partial differential equation, mathematicians pay more attention to the singular integrals. Moreover, the fractional type operators and their weighted boundedness theory play important roles in harmonic analysis and other fields, and the multilinear operators arise in numerous situations involving product-like operations, see [2, 3, 5, 6, 7, 8, 19, 23, 27] for instance.
First of all, we recall some basic properties and notations used in this paper.
Let be the -dimensional Euclidean space of points with norm and corresponding -fold product spaces be . Let denotes open ball centered at of radius for and and its complement. Also is the Lebesgue measure of the ball and , where . We also denote by , , and by the -tuple , , the nonnegative integers with , .
Let . Then multi-sublinear fractional maximal operator is defined by
[TABLE]
From definition, if then is the multi-sublinear maximal operator and also; in the case of , is the classical fractional maximal operator .
The theory of multilinear Calderón-Zygmund singular integral operators, originated from the works of Coifman and Meyer’s [4], plays an important role in harmonic analysis. Its study has been attracting a lot of attention in the last few decades. A systematic analysis of many basic properties of such multilinear singular integral operators can be found in the articles by Coifman-Meyer [4], Grafakos-Torres [7, 8, 9], Chen et al. [2], Fu et al. [5].
Let be a multilinear operator initially defined on the -fold product of Schwartz spaces and taking values into the space of tempered distributions,
[TABLE]
Following [7], recall that the (multi)-linear Calderón-Zygmund operator for test vector is defined by
[TABLE]
where is an -Calderón-Zygmund kernel which is a locally integrable function defined off the diagonal on satisfying the following size estimate:
[TABLE]
for some and some smoothness estimates, see [7, 8, 9] for details.
The result of Grafakos and Torres [7, 9] shows that the multilinear Calderón-Zygmund operator is bounded on the product of Lebesgue spaces.
Theorem 1**.**
[7, 9]** Let be an -linear Calderón-Zygmund operator. Then, for any numbers with , can be extended to a bounded operator from into , and bounded from into .
On the other hand, the multilinear fractional type operators are natural generalization of linear ones. Their earliest version was originated on the work of Grafakos [6] in 1992, in which he studied the multilinear maximal function and multilinear fractional integral defined by
[TABLE]
and
[TABLE]
where are fixed distinct are nonzero real numbers and . We note that, if we simply take and , then and are just the operators studied by Muckenhoupt and Wheeden in [25]. In this paper we deal with another kind of multilinear operator which was defined by Kenig and Stein [19] for , which is called multilinear fractional integral operator as follows
[TABLE]
whose kernel is
[TABLE]
where are measurable and .
They [19] proved that is of strong type and weak type . If we take , is the classical fractional integral operator . Moreover, their’s main result (Theorem 1 in [19]) is the multi-version of well-known Hardy-Littlewood-Sobolev inequality. Later, weighted inequalities for the multilinear fractional integral operators have been established by Moen [23] and Chen-Xue [3], respectively. Yu and Tao [32] have also obtained the boundedness of the operators , and on the product generalized Morrey spaces, respectively. Indeed their results (Theorem 2.1., Theorem 3.1. and Theorem 4.1. in [32]) are the extensions of Theorem 4.5., Corollary 4.6., Theorem 5.4. and Corollary 5.5. in [11].
Now, we will give some properties related to the space of functions of Bounded Mean Oscillation, , which play a great role in the proofs of our main results, introduced by John and Nirenberg [17] in 1961. This space has become extremely important in various areas of analysis including harmonic analysis, PDEs and function theory. -spaces are also of interest since, in the scale of Lebesgue spaces, they may be considered and appropriate substitute for . Appropriate in the sense that are spaces preserved by a wide class of important operators such as the Hardy-Littlewood maximal function, the Hilbert transform and which can be used as an end point in interpolating spaces.
Let us recall the definition of the space of .
Definition 3**.**
[17, 18]** The space of functions of bounded mean oscillation consists of locally summable functions with finite semi-norm
[TABLE]
where is the mean value of the function on the ball . The fact that precisely the mean value figures in (1.4) is inessential and one gets an equivalent seminorm if is replaced by an arbitrary constant
[TABLE]
Each bounded function . Moreover, contains unbounded functions, in fact log belongs to but is not bounded, so .
In 1961 John and Nirenberg [17] established the following deep property of functions from .
Theorem 2**.**
[17]** If and is a ball, then
[TABLE]
where depends only on the dimension .
By Theorem 2, we can get the following results.
Corollary 1**.**
[17, 18]** Let . Then, for any ,
[TABLE]
is valid.
Corollary 2**.**
[17, 18]** Let . Then there is a constant such that
[TABLE]
and for any , it is easy to see that
[TABLE]
where is independent of , , and .
Now inspired by Definition 3, we can give the definition of multilinear (). Indeed in this paper we will consider a multilinear version ( multilinear or ) of the .
Definition 4**.**
We say that if
[TABLE]
where
[TABLE]
Remark 1**.**
Notice that is contained in and we have
[TABLE]
so
[TABLE]
is valid.
We now make some conventions. Throughout this paper, we use the symbol to denote that there exists a positive consant such that . If and , we then write and say that and are equivalent. For a fixed , denotes the dual or conjugate exponent of , namely, and we use the convention and .
Remark 2**.**
Let and with , , and for . Then, from Corollary 2, it is easy to see that
[TABLE]
and
[TABLE]
On the other hand, Xu [31] has established the boundedness of the commutators generated by -linear Calderón-Zygmund singular integrals and functions with nonhomogeneity on the product of Lebesgue space. Inspired by [2, 3, 7, 9, 27, 31], commutators generated by -linear Calderón-Zygmund operators and bounded mean oscillation functions is given by
[TABLE]
where is a -linear Calderón-Zygmund kernel, for . Note that is the special case of with taking . Similarly, let be a locally integrable functions on , then the commutators generated by -linear fractional integral operators and is given by
[TABLE]
where , and are suitable functions.
The commutators of a class of multi-sublinear maximal operators corresponding to and above are, respectively, defined by
[TABLE]
and
[TABLE]
The following result is known.
Lemma 1**.**
[27]** (Strong bounds of ) Let , , , and . Then there is independent of and such that
[TABLE]
Using the idea in the proof of Lemma 3.2 in [15], we can obtain the following Corollary 3:
Corollary 3**.**
(Strong bounds of ) Under the assumptions of Lemma 1, the operator is bounded from to . Moreover, we have
[TABLE]
Proof.
Set
[TABLE]
It is easy to see that Lemma 1 is also hold for . On the other hand, for any , we have
[TABLE]
Taking supremum over in the above inequality, we get
[TABLE]
∎
As a simple corollary of Lemma 1 and Corollary 3, we can obtain the following result.
Corollary 4**.**
(Strong bounds of and ) Let and with . Then there is independent of and such that
[TABLE]
[TABLE]
The purpose of this paper is to consider the mapping properties on and for the commutators of multilinear fractional maximal and integral operators, respectively. Similar results still hold for commutators of multilinear maximal and singular integral operators. Commutators of multilinear fractional maximal and integral operators on product generalized Morrey spaces have not also been studied so far and this paper seems to be the first in this direction. Now, let us state the main results of this paper. Indeed our final result is the following theorem, which is an extension of Theorem 7.4. and Corollary 7.5. in [11].
Theorem 3**.**
Let and with , and for . Let functions and satisfies the condition
[TABLE]
where does not depend on and .
Then, and are bounded operators from product space to . Moreover, we have
[TABLE]
[TABLE]
Corollary 5**.**
Let and with and for . Let functions and satisfies the condition
[TABLE]
where does not depend on and .
Then, and are bounded operators from product space to . Moreover, we have
[TABLE]
[TABLE]
Our another main result is the following.
Theorem 4**.**
Let and with , and for . Let functions and satisfies conditions (1.2)-(1.3) and
[TABLE]
where does not depend on and ,
[TABLE]
and
[TABLE]
for every .
Then, and are bounded operators from product space to . Moreover, we have
[TABLE]
[TABLE]
Corollary 6**.**
Let and with and for . Let functions and satisfies conditions (1.2)-(1.3) and
[TABLE]
where does not depend on and ,
[TABLE]
and
[TABLE]
for every .
Then, and are bounded operators from product space to . Moreover, we have
[TABLE]
[TABLE]
The article is organized as follows. A key lemma is given and proved in Section 2. Section 3 will be devoted to the proofs of the theorems (Theorems 3 and 4) stated above.
2. A Key Lemma
In order to prove the main results (Theorems 3 and 4), we need the following lemma.
Lemma 2**.**
Let , and with , and for . Then the inequality
[TABLE]
holds for any ball and for all .
Proof.
In order to simplify the proof, we consider only the situation when . Actually, a similar procedure works for all . Thus, without loss of generality, it is sufficient to show that the conclusion holds for .
We just consider the case for . For any , set for the ball centered at and of radius and . Indeed, we also decompose as for . And, we write and , where , , for . Thus, we have
[TABLE]
Firstly, we use the boundedness of from into (see Lemma 1) to estimate , and we obtain
[TABLE]
Secondly, for , we decompose it into four parts as follows:
[TABLE]
Let , such that , , and . Then, using Hölder’s inequality and by (1.8) we have
[TABLE]
where in the second inequality we have used the following fact:
It is clear that . By Hölder’s inequality, we have
[TABLE]
where . Thus, the inequality
[TABLE]
is valid.
On the other hand, for the estimates used in , , we have to prove the below inequality:
[TABLE]
To estimate , the following inequality
[TABLE]
is satisfied. It’s obvious that
[TABLE]
and using Hölder’s inequality and by (1.6) and (1.7) we have
[TABLE]
Hence, by (2.3) and (2.4), it follows that:
[TABLE]
This completes the proof of inequality (2.2). Thus, let , such that . Then, using Hölder’s inequality and from (2.2) and (1.7), we get
[TABLE]
Similarly, has the same estimate above, here we omit the details, thus the inequality
[TABLE]
is valid.
Now we turn to estimate . Similar to (2.2), we have to prove the following estimate for :
[TABLE]
Firstly, the following inequality
[TABLE]
is valid.
It’s obvious that from Hölder’s inequality and (1.7)
[TABLE]
Then, by (2.4) and (2.6) we have
[TABLE]
This completes the proof of inequality (2.5). Therefore, by (2.5) we deduce that
[TABLE]
Considering estimates , , together, we get the desired conclusion
[TABLE]
Similar to , we can also get the estimates for ,
[TABLE]
At last, we consider the last term . We split in the following way:
[TABLE]
where
[TABLE]
Now, let us estimate , , , respectively.
For the term , let , such that , . Then, by Hölder’s inequality and (1.8), we get
[TABLE]
where in the second inequality we have used the following fact:
Noting that and by Hölder’s inequality, we get
[TABLE]
Moreover, for , the inequality
[TABLE]
is valid.
For the terms , , similar to the estimates used for (2.2), we have to prove the following inequality:
[TABLE]
Noting that , we get
[TABLE]
On the other hand, it’s obvious that
[TABLE]
and using Hölder’s inequality and by (1.6) and (1.7)
[TABLE]
Hence, by (2.9) and (2.10), it follows that:
[TABLE]
This completes the proof of (2.8).
Now we turn to estimate . Let , such that . Then, by Hölder’s inequality, (1.7) and (2.8), we obtain
[TABLE]
Similarly, has the same estimate above, here we omit the details, thus the inequality
[TABLE]
is valid.
Finally, to estimate , similar to the estimate of (2.8), we have
[TABLE]
Thus, we have
[TABLE]
By the estimates of above, where ,,,, we know that
[TABLE]
Consequently, combining all the estimates for , , , we complete the proof of Lemma 2. ∎
3. Proofs of the main results
Now we are ready to return to the proofs of Theorems 3 and 4.
3.1. Proof of Theorem 3.
Proof.
To prove Theorem 3, we will use the following relationship between essential supremum and essential infimum
[TABLE]
where is any real-valued nonnegative function and measurable on (see [33], page 143). Indeed, we consider (1.12) firstly.
Since , by (3.1) and the non-decreasing, with respect to , of the norm , we get
[TABLE]
For , since satisfies (1.11) and by (3.2), we have
[TABLE]
Then by (2.1) and (3.3), we get
[TABLE]
Thus we obtain (1.12).
The conclusion of (1.13) is a direct consequence of (1.10) and (1.12). Indeed, from the process proving (1.12), it is easy to see that the conclusions of (1.12) also hold for . Combining this with (1.10), we can immediately obtain (1.13), which completes the proof. ∎
3.2. Proof of Theorem 4.
Proof.
Since the inequalities (1.17) and (1.18) hold by Theorem 3, we only have to prove the implication
[TABLE]
To show that
[TABLE]
we use the estimate (2.1):
[TABLE]
We take , where is small enough and split the integration:
[TABLE]
where (we may take ), and
[TABLE]
and
[TABLE]
and . Now we can choose any fixed such that
[TABLE]
where and are constants from (1.14) and (3.5), which is possible since . This allows to estimate the first term uniformly in :
[TABLE]
by (1.14).
For the second term, writing , by the choice of sufficiently small because of the conditions (1.15) we obtain
[TABLE]
where is the constant from (1.16) with and is a similar constant with omitted logarithmic factor in the integrand. Then, by (1.15) we can choose small enough such that
[TABLE]
which completes the proof of (3.4).
For , we can also use the same method to obtain the desired result, but we omit the details. Therefore, the proof of Theorem 4 is completed. ∎
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] X. N. Cao, D. X. Chen, The boundedness of Toeplitz-type operators on vanishing Morrey spaces , Anal. Theory Appl., 27 (2011), 309-319.
- 2[2] D. X. Chen, J. Chen, S. Mao, Weighted L p superscript 𝐿 𝑝 L^{p} estimates for maximal commutators of multilinear singular integrals , Chin. Ann. Math., 34B (6) (2013), 885-902.
- 3[3] X. Chen, Q. Y. Xue, Weighted estimates for a class of multilinear fractional type operators , J. Math. Anal. Appl., 362 (2010), 355-373.
- 4[4] R. R. Coifman, Y. Meyer, On commutators of singular integrals and bilinear singular integrals , Trans. Amer. Math. Soc., 212 (1975), 315-331.
- 5[5] Z. W. Fu, Y. Lin, S. Z. Lu, λ 𝜆 \lambda -Central B M O 𝐵 𝑀 𝑂 BMO estimates for commutators of singular integral operators with rough kernel , Acta Math. Sin. (Engl. Ser.), 24 (2008), 373-386.
- 6[6] L. Grafakos, On multilinear fractional integrals , Studia. Math., 102 (1992), 49-56.
- 7[7] L. Grafakos, R. H. Torres, Multilinear Calderón-Zygmund theory , Adv. Math., 165 (2002), 124-164.
- 8[8] L. Grafakos, R. H. Torres, Maximal operator and weighted norm inequalities for multilinear singular integrals , Indiana Univ. Math. J., 51 (2002), 1261-1276.
