[论文解读] Boundedness of Bilinear Bessel Potentials

Ana Čolović, Xinyu Gao|arXiv (Cornell University)|Mar 16, 2026

Advanced Harmonic Analysis Research被引用 0

一句话总结

论文引入双线性贝塞尔势，并完全刻画其从 L^p x L^q 到 Lebesgue 与 Lorentz 空间的有界性，指出尖锐的指数范围和端点行为。

ABSTRACT

In analogy with bilinear Riesz potentials, we introduce bilinear Bessel potentials and characterize their boundedness from $L^p imes L^q$ into Lebesgue and Lorentz spaces $L^{r,α}.$ In several cases we identify the optimal Lorentz indices by constructing explicit counterexamples.

研究动机与目标

• 激发贝塞尔势的双线性类似物并探索其映射性质。
• 利用标缩性和反例确定有界性的必要条件。
• 建立双线性贝塞尔势算子在 Lebesgue 与 Lorentz 空间的边界。
• 在指数区域内部识别尖锐的 Lorentz 指数与端点现象。

提出的方法

• 定义双线性贝塞尔势 J_s(f,g)(x)=∫ G_s(y) f(x−y) g(x+y) dy，G_s 的傅里叶变换为 (1+4π^2|ξ|^2)^{-s/2}。
• 用维度分析推导必要条件 1/p+1/q−s/n ≤ 1/r ≤ 1/p+1/q。
• 应用 Grafakos–Soria 型有界性结果，在 1/p+1/q=1/r 时获得 L^p × L^q → L^r 的 Lebesgue 有界性。
• 证明 L^1×L^1 → L^{1/2} 的有界性，并通过插值扩展到更广的范围。
• 利用 Lorentz 空间插值和三点受限弱型论证推导分数指数面上的 Lorentz 有界性。
• 构造反例以显示分数指数和端点指数的尖锐性。

实验结果

研究问题

• RQ1 在 1/p、1/q、1/r 与 s/n 的条件下，J_s 将 L^p(R^n) × L^q(R^n) 映射到 L^r(R^n) 或 L^{r,α}(R^n) 的精确指数区域是什么？
• RQ2 所推导的界是否尖锐，包括端点与 Lorentz refinements，是否能构造反例证明尖锐性？
• RQ3 与 Lebesgue 边界相比，Lorentz 空间细化在双线性贝塞尔势上，特别是在分数指数面上有何表现？
• RQ4 端点行为（如一个输入取无穷大）如何影响有界性与 Lorentz 指数？

主要发现

• 当 1/p+1/q=1/r ≤1 且 s<n 时，Lebesgue 有界性成立（推论 4.2）。
• 建立强有界性 L^1×L^1 → L^{1/2}（引理 4.3）。
• L^{r,∞} 有界性的必要条件为 1/p+1/q−s/n ≤ 1/r ≤ 1/p+1/q（命题 3.1）。
• 在分数指数平面上，Lorentz 有界性成立：当 1/r=1/p+1/q−s/n 且 α 由 1/α=1/α1+1/α2 确定时，J_s: L^{p,α1} × L^{q,α2} → L^{r,α}（引理 5.4）。
• 对临界线 1/p+1/q=s/n 时对 L^∞ 目标的反例显示失败（命题 7.1）。
• 尖锐性结果表明在若干区间内 Lorentz 指数界是尖锐的（引理 7.2）。