[论文解读] Recent Developments in the Theory of Lorentz Spaces and Weighted Inequalities

Marı́a J. Carro, José A. Raposo+1 more|ArXiv.org|Oct 2, 2000

Advanced Harmonic Analysis Research被引用 10

一句话总结

本文通过刻画加权洛伦兹空间 $\Lambda^p_u(w)$ 上 Hardy-Littlewood 极大算子的有界性，统一了 $A_p$ 与 $B_p$ 权理论，引入了一种新的 $p-\epsilon$ 条件，该条件推广了两种经典情形。主要贡献在于对 $M: \Lambda^{p,q}_u(w) \to \Lambda^{r,s}_u(w)$ 的有界性进行了完整刻画，表明强型有界性仅在 $p$、$q$、$r$、$s$ 和权函数 $u$ 满足特定条件时成立，其中 $u \in A_p$ 或满足根据参数而定的修正 $p-\epsilon$ 条件。

ABSTRACT

The main objective of this work is to bring together two well known and, a priori, unrelated theories dealing with weighted inequalities for the Hardy-Littlewood maximal operator $M$, and thus, we consider the boundedness of $M$ in the weighted Lorentz space $Λ^p_u(w)$. Two examples are historically relevant as a motivation: If $w=1$, this corresponds to the study of the boundedness $M:L^p(u)\longrightarrow L^p(u),$ which was characterized by B. Muckenhoupt, giving rise to the so called $A_p$ weights. The second case is when we take $u=1$. This is a more recent theory, and was completely solved by M.A. Ariño and B. Muckenhoupt in 1991. It turns out that the boundedness $M:\llo\longrightarrow\llo,$ can be seen to be equivalent to the boundedness of the Hardy operator $A$ restricted to decreasing functions of $L^p(w)$. The class of weights satisfying this boundedness is known as $B_p$. Even though the $A_p$ and $B_p$ classes enjoy some similar features, they come from very different theories, and so are the techniques used on each case: Calderón--Zygmund decompositions and covering lemmas for $A_p$, rearrangement invariant properties and positive integral operators for $B_p$. It is our aim to give a unified version of these two theories. Contrary to what one could expect, the solution is not given in terms of the limiting cases above considered (i.e., $u=1$ and $w=1$), but in a rather more complicated condition, which reflects the difficulty of estimating the distribution function of the Hardy-Littlewood maximal operator with respect to general measures.

研究动机与目标

• 统一加权不等式中的经典 $A_p$ 与 $B_p$ 权理论。
• 刻画 Hardy-Littlewood 极大算子在一般加权洛伦兹空间 $\Lambda^p_u(w)$ 上的有界性。
• 推广关于 $M$ 在任意权函数下的洛伦兹空间中强型与弱型不等式的已知结果。
• 解决在一般测度空间上洛伦兹空间的可赋范性、对偶性及简单函数稠密性方面的开放问题。
• 提供一本自包含的专著，整合洛伦兹空间中的泛函分析、插值理论与加权不等式。

提出的方法

• 利用积分算子在单调函数上的有界性，特别是 Hardy 算子，通过其在特征函数上的作用刻画 $B_p$ 权。
• 应用一般测度空间（包括离散（序列）情形）上的洛伦兹空间 $\Lambda^p_u(w)$ 理论。
• 采用重排技巧，表明 $Mf$ 的非增重排在点态意义下等价于 $Af^*$，从而将极大函数的行为与 Hardy 算子联系起来。
• 引入并分析 $p-\epsilon$ 条件作为有界性的统一准则，推广了 $A_p$ 与 $B_p$ 类。
• 应用插值理论与对偶性结果（如定理 2.4.16）研究洛伦兹空间中的可赋范性与稠密性。
• 使用变量替换与加权范数不等式，推导弱型与受限弱型有界性的必要与充分条件。

实验结果

研究问题

• RQ1 Hardy-Littlewood 极大算子 $M$ 在加权洛伦兹空间 $\Lambda^{p,q}_u(w)$ 上有界的充要条件是什么？
• RQ2 在洛伦兹空间的背景下，经典 $A_p$ 与 $B_p$ 权类如何在单一框架下统一？
• RQ3 在强型与弱型情形下，$M: \Lambda^{p,q}_u(w) \to \Lambda^{r,s}_u(w)$ 在何种条件下成立？
• RQ4 能否通过 Hardy 算子在递减函数上的作用来刻画 $M$ 在 $\Lambda^{p,q}_u(w)$ 上的有界性？
• RQ5 在对角情形 $p = r$ 且 $q \leq s$ 下，确保 $M$ 有界的权函数 $u$ 与 $w$ 的精确条件是什么？

主要发现

• 仅当 $p = r$、$q \leq s$ 且 $p \geq 1$ 时，$M: \Lambda^{p,q}_u(w) \to \Lambda^{r,s}_u(w)$ 的有界性成立，且当 $p < 1$ 时，除非 $s = \infty$ 且 $q \leq 1$，否则不可能有界。
• 对于 $M: L^{1,q}(u) \to L^{1,s}(u)$，有界性成立当且仅当 $q \leq 1$、$s = \infty$ 且 $u \in A_1$，其中 $A_1$ 条件既是必要也是充分的。
• 当 $p > 1$ 且 $q \leq s \leq \infty$ 时，$M: \Lambda^{p,q}_u(w) \to \Lambda^{p,s}_u(w)$ 的有界性等价于：若 $q > 1$ 或 $s < \infty$，则 $u \in A_p$；若 $q \leq 1$ 且 $s = \infty$，则等价于条件 $\frac{u(Q)}{|Q|^p} \leq C \frac{u(E)}{|E|^p}$ 对所有 $E \subset Q$ 成立。
• 本文证明了非加倍权 $u$ 仍可在适当选择的 $w$ 下支持 $M$ 在 $\Lambda^{p,q}_u(w)$ 上的有界性，如定理 3.3.10 所示。
• 对于径向权 $u(x) = |x|^\alpha$，$M: \Lambda^{p_0}_{u}(w_0) \to \Lambda^{p_1,\infty}_{u}(w_1)$ 的有界性由条件 $(w_0, w_1) \in B_{p_0,p_1,\infty}$ 确定（若 $\alpha \leq 0$），或由变换权条件 $\bar{w}_i(t) = w_i(t^{(n+\alpha)/n}) t^{\alpha/n}$ 确定（若 $\alpha > 0$）。
• 当 $s < \infty$ 时，弱型不等式 $M: \Lambda^{p,q}_u(w) \to \Lambda^{r,s}_u(w)$ 等价于 (3.17) 中导出的条件，与先前结果一致。