[Paper Review] Bilinear fractional integral operators on Morrey spaces

Qianjun He, Dunyan Yan|arXiv (Cornell University)|May 4, 2018

Advanced Harmonic Analysis Research14 references3 citations

TL;DR

This paper establishes sharp weighted and unweighted boundedness estimates for bilinear fractional integral operators $ B_{\alpha}(f,g) $ on Morrey spaces, extending Adams-type inequalities to the bilinear setting. It introduces a new class of two-weighted norm inequalities characterized by a sharp condition involving dyadic cubes, proving optimality of the results and deriving bilinear versions of the Olsen, Fefferman-Stein dual, and Stein-Weiss inequalities.

ABSTRACT

We prove a plethora of boundedness property of the Adams type for bilinear fractional integral operators of the form $$B_α(f,g)(x)=\int_{\mathbb{R}^{n}}\frac{f(x-y)g(x+y)}{|y|^{n-α}}dy,\qquad 0

Motivation & Objective

• To establish boundedness of bilinear fractional integral operators $ B_{\alpha}(f,g) $ on Morrey spaces under sharp weighted and unweighted conditions.
• To extend the classical Adams-type inequality to the bilinear setting, characterizing the optimal weights for Morrey space boundedness.
• To derive bilinear analogues of the Olsen inequality, the Fefferman-Stein dual inequality, and the Stein-Weiss inequality in Morrey spaces.
• To prove the sharpness of the weighted norm inequalities by establishing necessary conditions for the two-weighted boundedness of $ B_{\alpha} $.

Proposed method

• The authors use dyadic decomposition and dyadic cubes $ \mathscr{D} $ to analyze the operator behavior over nested cubes $ Q \subset Q' $, leveraging maximal function estimates and dyadic maximal function techniques.
• They introduce a new two-weighted norm condition $[v,\vec{w}]_{t,\vec{q}/a}^{r,as} < \infty$ involving averages over dyadic cubes, which characterizes the boundedness of $ B_{\alpha} $ on Morrey spaces.
• The proof relies on Hölder’s inequality and pointwise control via $ \mathcal{M}_{\alpha}(f,g) \lesssim B_{\alpha}(f,g) $, reducing the problem to known estimates on maximal functions.
• For the unweighted case, the authors apply the known Adams-type result and verify that the conditions are both sufficient and necessary for sharpness.
• The necessity of the weight condition is shown via contradiction, assuming the supremum of the weight expression is infinite and deriving a contradiction with the assumed inequality.
• The method combines real-variable techniques, dyadic harmonic analysis, and extrapolation-like arguments to derive sharp estimates in Morrey spaces.

Experimental results

Research questions

• RQ1 What are the necessary and sufficient conditions on weights $ (v, \vec{w}) $ for the bilinear fractional integral operator $ B_{\alpha}(f,g) $ to be bounded from $ \mathcal{M}_{q_1}^{p_1} \times \mathcal{M}_{q_2}^{p_2} $ to $ \mathcal{M}_t^s $?
• RQ2 How can the classical Adams-type inequality for linear fractional integrals be extended to the bilinear setting on Morrey spaces?
• RQ3 What is the sharp two-weighted condition that characterizes the boundedness of $ B_{\alpha} $ on Morrey spaces, and how does it differ from the linear case?
• RQ4 Can bilinear versions of the Olsen, Fefferman-Stein dual, and Stein-Weiss inequalities be formulated and proven in the Morrey space setting?
• RQ5 Is the proposed two-weight condition $[v,\vec{w}]_{t,\vec{q}/a}^{r,as} < \infty$ optimal, and what is the necessary condition for the boundedness of $ B_{\alpha} $?

Key findings

• For $ 1 < t \leq s < \infty $, the unweighted inequality $ \|B_{\alpha}(f,g)\|_{\mathcal{M}_t^s} \leq C \|f\|_{\mathcal{M}_{q_1}^{p_1}} \|g\|_{\mathcal{M}_{q_2}^{p_2}} $ holds under the conditions $ \frac{1}{s} = \frac{1}{p_1} + \frac{1}{p_2} - \frac{\alpha}{n} $ and $ \frac{t}{s} = \frac{q_1}{p_1} = \frac{q_2}{p_2} $, extending the Adams-type result to the bilinear case.
• A new two-weighted condition $[v,\vec{w}]_{t,\vec{q}/a}^{r,as} < \infty$ is introduced, which characterizes the boundedness of $ B_{\alpha} $ on Morrey spaces for $ 0 < t \leq s < \infty $, with explicit expressions involving dyadic cubes and averages.
• The authors prove that the Adams-type result is optimal by showing that the weight condition is necessary for the boundedness of $ B_{\alpha} $, using a contradiction argument based on the failure of the weight condition to be finite.
• The paper formulates a bilinear version of the Olsen inequality, the Fefferman-Stein dual inequality, and the Stein-Weiss inequality in Morrey spaces, generalizing classical results to the bilinear framework.
• For the case $ 1 < t \leq s < \infty $, the necessary condition for the two-weight inequality is shown to be $ \sup_{Q \in \mathscr{D}} |Q|^{1/r} (\inf_Q v) \left( \fint_Q w_1^{-q_1'} \right)^{1/q_1'} \left( \fint_Q w_2^{-q_2'} \right)^{1/q_2'} < \infty $, which matches the sufficient condition, proving sharpness.
• The results are sharp in the sense that no weaker weight condition can ensure the boundedness of $ B_{\alpha} $, as demonstrated by contradiction and the use of maximal function estimates.