[论文解读] Generalized fractional maximal functions in Lorentz spaces

Rza Mustafayev, Nevin Bilgiçli|arXiv (Cornell University)|Dec 15, 2015

Advanced Harmonic Analysis Research参考文献 30被引用 4

一句话总结

本文对广义分数次 maximal 算子 $ M_{\phi,\Lambda^{\alpha}(b)} $ 在经典型与弱型 Lorentz 空间 $ \Lambda^p(v) $ 与 $ \Lambda^q(w) $ 之间的有界性给出了完整的刻画。该算子通过权函数 $ b $ 和函数 $ \phi $ 推广了分数次 maximal 函数，主要结果建立了关于权函数 $ v, w, b $ 以及 $ \phi $ 的精确、显式的有界性条件，涉及拟连续性与加倍条件，将经典结果推广至更广泛的函数空间类。

ABSTRACT

In this paper we give the complete characterization of the boundedness of the generalized fractional maximal operator $$ M_{ϕ,Λ^α(b)}f(x) : = \sup_{Q i x} \frac{\|f χ_Q\|_{Λ^α(b)}}{ϕ(|Q|)} \qquad (x \in {\mathbb R}^n), $$ between the classical Lorentz spaces $Λ^p (v)$ and $Λ^q(w)$ for appropriate functions $ϕ$, where $0 < p,\,q < \infty$, $0 < α\le r < \infty$, $v,w,\,b$ are weight functions on $(0,\infty)$ such that $0 < B(x): = \int_0^x b < \infty$, $x > 0$, $B \in Δ_2$ and $B(t) / t^{α/ r}$ is quasi-increasing.

研究动机与目标

• 刻画广义分数次 maximal 算子 $ M_{\phi,\Lambda^\alpha(b)} $ 从经典型 Lorentz 空间 $ \Lambda^p(v) $ 到弱型 Lorentz 空间 $ \Lambda^q(w) $ 的有界性。
• 将经典 maximal 算子结果推广至包含一般权函数 $ b $ 和函数 $ \phi $ 的更广泛算子类。
• 建立确保有界性的权函数 $ v, w, b $ 与函数 $ \phi $ 的精确、显式条件，包括拟递增性与加倍性行为。
• 统一并推广先前关于 Hardy 型不等式与 Lorentz 空间中 maximal 算子的研究结果。

提出的方法

• 通过 Lorentz quasi-范数 $ \|f\chi_Q\|_{\Lambda^\alpha(b)} $ 定义算子 $ M_{\phi,\Lambda^\alpha(b)}f(x) := \sup_{Q\ni x} \frac{\|f\chi_Q\|_{\Lambda^\alpha(b)}}{\phi(|Q|)} $，该定义推广了经典 maximal 函数。
• 分析依赖于非增重排与 Hardy-Littlewood maximal 函数 $ f^{**}(t) $ 的使用，将算子与经典 Lorentz 空间理论联系起来。
• 关键技术包括涉及上确界的迭代 Hardy 型不等式，以及使用权范数不等式与函数 $ B(t) = \int_0^t b $。
• 作者采用拟局部与拟凹函数理论，特别要求 $ B \in \Delta_2 $ 且 $ B(t)/t^{\alpha/r} $ 为拟递增。
• 主要结果通过将问题约化为算子 $ T_{B/\phi^\alpha, b} $ 的权范数不等式推导得出，该算子将非增函数映射为其最大平均值。
• 有界性通过包含上确界与 $ (0,\infty) $ 上积分的显式、精确常数刻画，根据 $ \alpha $ 与 $ p $ 的相对大小关系分情况讨论。

实验结果

研究问题

• RQ1 在何种条件下，广义分数次 maximal 算子 $ M_{\phi,\Lambda^\alpha(b)} $ 从 $ \Lambda^p(v) $ 有界映射到 $ \Lambda^q(w) $？
• RQ2 权函数 $ b $ 的性质，特别是 $ B(t) = \int_0^t b $，如何影响算子的有界性？
• RQ3 在弱型 Lorentz 空间 $ \Lambda^{q,\infty}(w) $ 中，确保有界性的 $ v, w $ 与函数 $ \phi $ 的精确、显式条件是什么？
• RQ4 $ \alpha $ 与 $ p $ 之间的关系如何影响有界性必要与充分条件的结构？
• RQ5 能否将 $ M_{\phi,\Lambda^\alpha(b)} $ 的有界性约化为相关 maximal 算子 $ T_{B/\phi^\alpha, b} $ 的权范数不等式？

主要发现

• 当且仅当涉及 $ \phi $、$ B(t) $、$ v $ 与 $ w $ 的特定权不等式成立时，算子 $ M_{\phi,\Lambda^\alpha(b)} $ 有界映射从 $ \Lambda^p(v) $ 到 $ \Lambda^q(w) $，且最佳常数等价于上确界与积分的组合。
• 对于目标空间为弱型 $ \Lambda^{q,\infty}(w) $ 的情形，有界性成立当且仅当算子 $ T_{B/\phi^\alpha, b} $ 的相关不等式成立，且最佳常数依赖于 $ \phi $、$ B $、$ v $ 与 $ w $。
• 当 $ \alpha \leq p $ 时，最佳常数等价于两项之和：一项涉及 $ \int_0^x (B(y)/V(y))^{p/(p-\alpha)} v(y) dy $，另一项涉及 $ B^{1/\alpha}(y)/V^{2/\alpha}(y) $。
• 当 $ p < \alpha $ 时，最佳常数等价于两项之和：一项涉及 $ \sup_{0<y\leq x} B^{1/\alpha}(y) \sup_{y\leq t<\infty} W^{1/q}(t)/\phi(t) $，另一项涉及 $ W^{1/q}(x)/\phi(x) \cdot B^{1/\alpha}(x)/V^{1/p}(x) $。
• 在弱型到弱型映射 $ \Lambda^{p,\infty}(v) \to \Lambda^{q,\infty}(w) $ 的情形下，最佳常数等价于 $ \sup_{x>0} \left( \int_0^x \frac{b(y)}{V^{\alpha/p}(y)} dy \right)^{1/\alpha} \frac{W^{1/q}(x)}{\phi(x)} $。
• 结果是精确的，并推广了经典 Lorentz 空间中 maximal 函数与分数次积分的结果，给出了在 $ \phi $、$ b $ 与权函数的最小假设下的完整且显式的刻画。