Bilinear estimates on Morrey spaces by using average
Naoya Hatano

TL;DR
This paper studies the boundedness of bilinear fractional integral operators on Morrey spaces, focusing on the case where the parameter t is between 0 and 1, extending previous results to this range.
Contribution
It extends the analysis of bilinear fractional integral operators on Morrey spaces to include the case where 0<t<1, filling a gap in existing research.
Findings
Established boundedness results for 0<t<1 on Morrey spaces.
Extended previous work that covered t=1 and t>1.
Provided new estimates for bilinear fractional integral operators.
Abstract
This paper is a follow up of [6]. We investigate the boundedness of the bilinear fractional integral operator introduced by Grafakos in [3]. When the local integrability index falls 1 with weights and exceeds 1, He and Yan obtained some results on this operator was worked on Morrey spaces earlier in [7]. Later in the paper [6], we considered the case . This paper handles the remaining case .
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 Mathematical Physics Problems
Bilinear estimates on Morrey spaces by using average
Naoya Hatano
Department of Mathematics, Chuo University, 1-13-27, Kasuga, Bunkyo-ku, Tokyo 112-8551, Japan
Abstract.
This paper is a follow up of [6]. We investigate the boundedness of the bilinear fractional integral operator introduced by Grafakos in [3]. When the local integrability index falls with weights and exceeds , He and Yan obtained some results on this operator was worked on Morrey spaces earlier in [7]. Later in the paper [6], we considered the case . This paper handles the remaining case .
Keywords Morrey spaces, bilinear fractional integral operators, dyadic cubes, average technique.
Mathematics Subject Classifications (2010) Primary 42B35; Secondary 42B25
1. Introduction
The bilinear fractional integral operator of Grafakos type , which is given by
[TABLE]
for non-negative measurable functions or more general complex-valued measurable functions subject to a certain integrability condition, it is known that operator is bounded bilinear fractional integral operator from product Lebesgue space to Lebesgue space in [1]. We would like to expand this result and show that operator is bounded bilinear fractional integral operator from product Morrey space to Morrey space . We discuss it under . In the paper [6], when , we obtained the result. When , in the paper [7], He and Yan show bilinear estimates with weights. In this paper, we give an alternative proof of non-weighted type of their results. Furthermore developing this proof, we obtain the case .
Let . Define the Morrey space by
[TABLE]
where denotes the family of all dyadic cubes in . We recall the definition of the dyadic cubes precisely in Section 2.
Grafakos introduced the bilinear fractional integral operator in [3].
Definition 1.1**.**
Let . Define the bilinear fractional integral operator by
[TABLE]
for measurable functions defined in .
First, He and Yan, under the condition and , investigated the operator acting on Morrey spaces in [7] earlier. Next, we prove the case in [6] as follows:
Theorem 1.2**.**
Let
[TABLE]
Define and by
[TABLE]
Assume that
[TABLE]
Then for all and ,
[TABLE]
We investigate the boundedness property of when in this paper. Two cases must be considered according to the value of . In the Theorems 4.2 and 4.6 in [7] which are boundednesses of the bilinear fractional integral operator on Morrey spaces with weights, taking weights to identical equal to 1 implies the following theorem. So their results cover the Theorem 1.3 below.
Theorem 1.3**.**
[7, Theorems 4.2 and 4.6]** Let , , and for . Assume that
[TABLE]
Then we have
[TABLE]
for any and for any .
Theorem 1.4**.**
Let , , and for with
[TABLE]
Then we have
[TABLE]
for any and for any .
First we collect some necessary facts in Section 2, Next we give an alternative proof of Theorem 1.3 in Section 3, Finally Theorem 1.4 is proved in Section 4.
2. Preliminaries
For , define a function by
[TABLE]
where the supremum is over all cubes in . This is called the Hardy-Littlewood maximal function. And the -powered Hardy-Littlewood maximal function is defined by , for . In [2] Chiarenza and Frasca showed that
[TABLE]
if . For a dyadic cube in , an average over is defined by
[TABLE]
for an integrable function . Moreover, we write for and a measurable function . A dyadic cube is a set of the form for some , , and define as follows:
[TABLE]
We show a key estimate which is interesting of its own right by using the following proposition:
Proposition 2.1**.**
[4, Lemma 3.1]* Let . Then*
[TABLE]
for all non-negative sequences of integrable functions such that each is supported on a cube .
This proposition implies the following theorem.
Theorem 2.2**.**
Let . Then
[TABLE]
for all non-negative sequences of integrable functions such that each is supported on a dyadic cube .
Proof.
Fix a dyadic cube . It suffices to show that
[TABLE]
We split this estimate into two parts:
[TABLE]
and
[TABLE]
The first estimate is a consequence of Proposition 2.1. Let us prove the second inequality.
We will show
[TABLE]
By the -triangle inequality
[TABLE]
We fix . Then we have
[TABLE]
or equivalently,
[TABLE]
Consequently,
[TABLE]
This completes the proof. ∎
Similarly, the estimate of -powered type holds, too.
Theorem 2.3**.**
[9]* Let . Then*
[TABLE]
for all non-negative sequences of integrable functions such that each is supported on a dyadic cube .
We obtain the following lemma similar to in [6, Lemma 2.1].
Lemma 2.4**.**
Let be measurable functions. Then we have
[TABLE]
In addition, we use [6, Lemma 2.3]. For the bilinear fractional integral operator , defined by
[TABLE]
for integrable functions , introduced by Kenig and Stein [1], we obtain the pointwise estimate
[TABLE]
for non-negative measurable functions in [8, Lemma 4.1]. Therefore using following lemma, we show that is bounded from to .
Lemma 2.5**.**
Let
[TABLE]
for . Assume
[TABLE]
[TABLE]
Then
[TABLE]
for all non-negative measurable functions .
By similar to prove Lemma 2.5, we obtain the result of -powered type.
Lemma 2.6**.**
Let
[TABLE]
for . Assume
[TABLE]
[TABLE]
Then we have
[TABLE]
for all non-negative measurable functions .
Proof.
Let be a positive number that is specified shortly. Similar to a method by Hedberg in [5], We decompose
[TABLE]
First, we estimate the quantity .
[TABLE]
Next, we estimate the quantity . By Hölder’s inequality,
[TABLE]
Hence we obtain
[TABLE]
In particular, choose the constant to optimize the right-hand side:
[TABLE]
Then we have
[TABLE]
Therefore, using Hlder’s inequality for Morrey spaces, the -boundedness of and the -boundedness of , we have
[TABLE]
∎
3. Proof of Theorem 1.3
For each , we abbreviate
[TABLE]
We calculate its average as follows:
[TABLE]
Hence by Theorem 2.2 and Lemma 2.4,
[TABLE]
Finally using Lemma 2.5, we obtain the result.
4. Proof of Theorem 1.4
Define as above, and fix a parameter such that . Thus we calculate its average as follows:
[TABLE]
Hence by Theorem 2.3 and Lemma 2.4,
[TABLE]
Finally using Lemma 2.6, we obtain the result.
Acknowledgement
The author would like to be thankful to his advisor Professor Kotaro Tsugawa for his guidance and advise, and be grateful to Professor Yoshihiro Sawano, in Tokyo Metropolitan University, for his many kinds of ideas and answering many questions. In particular, Sawano gave him a hint to Theorem 2.2.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] C.E. Kenig and E.M. Stein, Multilinear estimates and fractional integration, Math. Res. Lett. 6 (1999), 1–15.
- 2[2] F. Chiarenza and M. Frasca, Morrey spaces and Hardy–Littlewood maximal function, Rend. Mat., 7 (1987), 273–279.
- 3[3] L. Grafakos, On multilinear fractional integrals, Studia Math. 102 (1992), 49–56.
- 4[4] L. Grafakos and N. Kalton, Multilinear Calderón-Zygmund operators on Hardy spaces, Collect. Math., 52 , 169–179 (2001).
- 5[5] L. I. Hedberg, On certain convolution inequalities, Amer. Math. Soc., 36 (1972), no. 2, 505-510.
- 6[6] N. Hatano, and Y. Sawano, A note on the bilinear fractional integral operator acting on Morrey spaces, available at http://arxiv.org/abs/1904.00574.
- 7[7] Q. He, and D. Yan, Bilinear fractional integral operators on Morrey spaces, available at http://arxiv.org/abs/1805.01846 v 2.
- 8[8] T. Iida, E. Sato, Y. Sawano and H. Tanaka, Multilinear fractional integrals on Morrey spaces, Acta Math. Sin. (Engl. Ser.) 28 (2012), no. 7, 1375–1384.
