[论文解读] Riesz's and Bessel's Operators in Bilateral Grand Lebesgue Spaces

E. Ostrovsky, E. Rogover+1 more|ArXiv.org|Jul 19, 2009

Advanced Harmonic Analysis Research参考文献 14被引用 22

一句话总结

本文在双边大勒贝格空间（BGLS）中建立了里茨和贝塞尔积分算子的非渐近界，推广了经典的 $L_p \to L_q$ 估计。通过使用慢变函数推导出精确的范数不等式，并利用卷积与插值技术证明有界性，所得算子范数显式依赖于底层函数 $\psi$ 及参数 $\alpha, \beta, d$。结果进一步推广至截断算子与对数加权算子，给出精确的范数估计。

ABSTRACT

In this paper we obtain the non - asymptotic estimations for Riesz's and Bessel's potential integral operators in the so - called Bilateral Grand Lebesgue Spaces. We also give examples to show the sharpness of these inequalities.

研究动机与目标

• 将经典里茨势有界性从 $L_p$ 扩展至双边大勒贝格空间（BGLS），该空间推广了 $L_p$ 与奥尔里奇空间。
• 利用定义空间的函数 $\psi(p)$，推导里茨与贝塞尔势算子在 BGLS 中的非渐近、精确范数估计。
• 研究截断与对数加权里茨型算子在 BGLS 中的有界性，包括含慢变函数的情形。
• 通过显式反例与范数比较，验证所得不等式的精确性。
• 将结果推广至加权与次线性极大算子，证明在特定条件下范数估计的等价性。

提出的方法

• 作者通过范数 $||f||_{G(\psi)} = \sup_{p \in (a,b)} \frac{|f|_p}{\psi(p)}$ 定义双边大勒贝格空间 $G(\psi)$，其中 $\psi \in \Psi(a,b)$ 为在端点处具有有限或无限极限的正连续函数。
• 应用杨不等式与赫尔德不等式，估计里茨势 $I_\alpha f(x) = \int_{\mathbb{R}^d} \frac{f(y)}{|x-y|^{d-\alpha}} dy$ 的 $L_q$-范数，通过关系 $\frac{1}{q} = \frac{1}{p} - \frac{\alpha}{d}$ 关联 $q$ 与 $p$。
• 对于贝塞尔型算子，考虑具有对数奇点 $|\log|y||^\beta$ 的核，并利用球坐标计算核的 $L_p$-范数，导出涉及 $\left(\frac{d}{d-\alpha} - p\right)^{-1-\beta + \alpha/d}$ 的估计。
• 定义新的权函数 $\zeta_{\alpha,\beta}^{(S)}(q)$、$\nu_{\psi}^{(\beta)}(r)$ 与 $\nu_{\alpha,\beta}^{(S)}(r)$，以刻画算子像在目标 BGLS 范数下的特征。
• 通过构造在 $p \to 1^+$ 或 $p \to (d/\alpha)^-$ 时达到范数估计渐近行为的测试函数，验证边界的精确性。
• 结果扩展至分数次次线性极大算子 $M_\alpha f$，由于其与 $I_\alpha f$ 的 $L_p$-范数等价，故满足与 $I_\alpha f$ 相同的 $G(\psi)$-范数界。

实验结果

研究问题

• RQ1 在双边大勒贝格空间 $G(\psi)$ 中，里茨势算子 $I_\alpha$ 的精确、非渐近界是什么？
• RQ2 算子 $I_\alpha$ 与 $I_{\alpha,\beta}^{(S)}$ 的范数如何依赖于函数 $\psi(p)$ 以及参数 $\alpha$、$\beta$、$d$？
• RQ3 截断里茨算子在对数加权下能否在相同的 $G(\psi)$-范数框架下刻画其有界性？
• RQ4 所导出的范数估计在多大程度上是精确的？能否通过显式反例加以证明？
• RQ5 结果如何推广至极大算子 $M_\alpha$？其范数与 $I_\alpha$ 在 BGLS 中的关系为何？

主要发现

• 里茨势 $I_\alpha$ 有界映射从 $G(\psi)$ 到 $G(\zeta_{\alpha,\beta}^{(S)})$，满足 $||I_\alpha f||_{G(\zeta_{\alpha,\beta}^{(S)})} \leq C(\alpha,\beta,d,S(\cdot)) \ ||f||_{G(\psi)}$，其中 $\zeta_{\alpha,\beta}^{(S)}(q)$ 由 $\psi(p)$、$S(p)$ 及核的 $L_p$-范数的 $p$-依赖性定义。
• 对于具有核 $|x|^{\alpha-d} |\log|x||^\beta \chi_B(x)$ 的广义截断里茨算子 $I_{\alpha,\beta}^{(B)}f$，有界性 $||I_{\alpha,\beta}^{(B)}f||_{G(\nu_{\psi}^{(\beta)})} \leq C_9(\alpha,d) \ ||f||_{G(\psi)}$ 成立，其中 $\nu_{\psi}^{(\beta)}(r)$ 定义为在 $p \in [1, d/(d-\alpha))$ 上的下确界。
• 含慢变函数 $S(|\log|x||)$ 的核的算子，其范数估计为 $||I_{\alpha,\beta}^{(B,S)}f||_{G(\nu_{\alpha,\beta}^{(S)})} \leq C_9(\alpha,d) \ ||f||_{G(\psi)}$，其中 $\nu_{\alpha,\beta}^{(S)}(r)$ 在核范数估计中引入了 $S$。
• 通过构造使范数比趋近于所得常数的函数，确认了边界的精确性，表明估计无法进一步改进。
• 分数次极大算子 $M\_\alpha$ 满足与 $I_\alpha$ 相同的 $G(\psi)$-范数界，原因在于对 $p \in (1, d/\alpha)$ 有 $|I_\alpha f|_p \asymp |M_\alpha f|_p$。
• 结果可推广至加权 $L_p$ 空间，$L_p \to L_q$ 算子范数可通过相同框架推广，如参考文献 [17] 与 [2] 所示。