[论文解读] Extrapolation on function and modular spaces, and applications

Mingming Cao, Juan Marín+1 more|arXiv (Cornell University)|Jan 15, 2021

Advanced Harmonic Analysis Research被引用 4

一句话总结

本文通过利用 Hardy-Littlewood 极大函数的加权估计，将 Rubio de Francia 的外推理论推广至 Banach 空间与模函数空间，其核心贡献是在具有 Muckenhoupt 基的测度空间上建立了一个适用于一般测度空间的外推框架，从而为平方函数、层势算子以及 Schrödinger 算子导出新的加权不等式。

ABSTRACT

We generalize the extrapolation theory of Rubio de Francia to the context of Banach function spaces and modular spaces. Our results are formulated in terms of some natural weighted estimates for the Hardy-Littlewood maximal function and are stated in measure spaces and for general Muckenhoupt bases. Finally, we give several applications in analysis and partial differential equations.

研究动机与目标

• 将 Rubio de Francia 的外推理论从加权 Lebesgue 空间推广至更广泛的 Banach 空间与模函数空间背景。
• 基于 Hardy-Littlewood 极大函数及其对偶算子的加权有界性，建立统一的外推框架。
• 通过模空间结构，为分析与偏微分方程中算子的加权范数不等式提供系统化推导方法。
• 将关于平方函数、层势算子及 Schrödinger 算子的已知结果推广至重排不变与模函数空间，并给出精确的权条件。

提出的方法

• 在一般测度空间上，以 Hardy-Littlewood 极大函数及其对偶算子 $ M_v' $ 的加权估计形式化外推理论。
• 使用 Muckenhoupt 基代替标准的 dyadic 方体，将理论推广至非齐次与非加倍的设定。
• 通过要求 $ \|Mh\|_{\mathbb{X}_v} \leq C\|h\|_{\mathbb{X}_v} $ 与 $ \|M_v'h\|_{\mathbb{X}'_v} \leq C\|h\|_{\mathbb{X}'_v} $，将理论应用于 Banach 函数空间 $ \mathbb{X} $ 与模空间。
• 引入 $ \mathbb{X}^{1/r} $ 为 Banach 函数空间的概念，以确保与外推技术的兼容性。
• 通过已知的 $ A_p $-加权估计，利用外推方法推导与热半群及 Poisson 半群相关的锥形平方函数的加权不等式。
• 利用该理论在模空间中建立层势算子与在一致可 rectifiable 域上 Dirichlet 问题解的有界性。

实验结果

研究问题

• RQ1 如何将 Rubio de Francia 的外推理论从加权 Lebesgue 空间推广至一般的 Banach 与模函数空间？
• RQ2 在模空间与重排不变函数空间中，确保外推成立的权与极大函数行为的条件是什么？
• RQ3 该外推框架能否应用于锥形平方函数、层势算子及 Schrödinger 算子等算子在非标准函数空间中的情形？
• RQ4 在与椭圆算子相关的模空间中，平方函数有界性的最优权条件是什么？
• RQ5 该理论如何推广至非齐次设定与超越标准欧氏测度的 Muckenhoupt 基？

主要发现

• 本文建立了 Banach 函数空间 $ \mathbb{X}_v $ 的一般外推原理，表明若极大函数在 $ \mathbb{X}_v $ 上有界且其对偶在 $ \mathbb{X}'_v $ 上有界，则任何在 $ L^{p_0}(w_0) $ 上有界的算子（其中 $ p_0 \in [1,\infty) $ 且 $ w_0 \in A_{p_0} $）也在 $ \mathbb{X}_v $ 上有界。
• 对于锥形平方函数 $ S_{m,\mathrm{H}}, G_{m,\mathrm{H}}, \mathcal{G}_{m,\mathrm{H}} $，本文证明了当 $ w^{p_{\mathbb{X}}} \in A_{p_{\mathbb{X}}/p_{-}(L)} $ 且 $ w^{q_{\mathbb{X}}} \in A_{q_{\mathbb{X}}/p_{-}(L)} $ 时，有 $ \|(Tf)w\|_{\mathbb{X}} \lesssim \|fw\|_{\mathbb{X}} $，其中 $ p_{-}(L) < p_{\mathbb{X}} \leq q_{\mathbb{X}} < \infty $。
• 对于 Poisson 型平方函数 $ S_{k,\mathrm{P}}, G_{k,\mathrm{P}}, \mathcal{G}_{k,\mathrm{P}} $，若 $ q_{\mathbb{X}} < p_{+}(L)^{k,*} $，则当 $ w^{p_{\mathbb{X}}} \in A_{p_{\mathbb{X}}/p_{-}(L)} \cap RH_{(p_{+}(L)^{k,*}/p_{\mathbb{X}})^\prime} $ 且 $ w^{q_{\mathbb{X}}} \in A_{q_{\mathbb{X}}/p_{-}(L)} \cap RH_{(p_{+}(L)^{k,*}/q_{\mathbb{X}})^\prime} $ 时，其在 $ \mathbb{X} $ 上有界。
• 该理论导出了上半空间中 Dirichlet 问题的新加权估计，表明在最优权条件下，其适定性在模空间中成立。
• 该框架适用于具有势的 Schrödinger 算子，将有界性结果推广至 $ L^p $、$ L^{p,q} $ 与 $ L^p(\log L)^\alpha $ 空间，并给出精确的权条件。
• 该结果将已知的关于在一致可 rectifiable 域上层势算子的 $ A_p $-加权界推广至模空间与重排不变函数空间，并给出精确的权类。