[論文レビュー] 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)$ 上でのハーディー＝リトルウッド最大作用素の有界性を特徴づけることで、$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$ 重み理論を統一すること。
• 一般の重み付きローレンツ空間 $\Lambda^p_u(w)$ 上でのハリー＝リトルウッド最大作用素の有界性を特徴づけること。
• 任意の重みを用いたローレンツ空間における $M$ の強有界型および弱有界型不等式に関する既知の結果を拡張すること。
• 一般測度空間上でのローレンツ空間におけるノルム可能性、双対性、および単純関数の稠密性に関する未解決問題を解消すること。
• 関数解析学、補間理論、およびローレンツ空間における重み付き不等式を統合した自己完結的論文を提供すること。

提案手法

• 単調関数上の積分作用素の有界性、特にハリー作用素を用いて、特性関数への作用を通じて $B_p$ 重みを特徴づける。
• 一般測度空間（離散的（数列）設定も含む）におけるローレンツ空間 $\Lambda^p_u(w)$ の理論を適用する。
• 再配分技術を用い、$Mf$ の非増加再配分が $Af^*$ と点単位で同値であることを示し、最大関数の振る舞いとハリー作用素を結びつける。
• 有界性の統一的基準として $p-\epsilon$ 条件を導入・分析し、$A_p$ および $B_p$ クラスを一般化する。
• 補間理論および双対性結果（例：定理 2.4.16）を用いて、ローレンツ空間におけるノルム可能性および稠密性を研究する。
• 変数変換および重み付きノルム不等式を用い、弱有界型および制限付き弱有界型有界性の必要十分条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 ハリー＝リトルウッド最大作用素 $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 $M$ の $\Lambda^{p,q}_u(w)$ 上での有界性は、減少関数へのハリー作用素の作用を通じて特徴づけられるか？
• RQ5 $p = r$ および $q \leq s$ の対角型の場合に、$M$ の有界性を保証する重み $u$ および $w$ の正確な条件は何か？

主な発見

• 作用素 $M: \Lambda^{p,q}_u(w) \to \Lambda^{r,s}_u(w)$ の有界性は、$p = r$, $q \leq s$, および $p \geq 1$ の場合にのみ成立する。$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)$ の有界性は、$\alpha \leq 0$ のとき $(w_0, w_1) \in B_{p_0,p_1,\infty}$ と同値であり、$\alpha > 0$ のときは $\bar{w}_i(t) = w_i(t^{(n+\alpha)/n}) t^{\alpha/n}$ を用いた変換された重み条件と同値である。
• 弱有界型不等式 $M: \Lambda^{p,q}_u(w) \to \Lambda^{r,s}_u(w)$ （$s < \infty$）は、(3.17) で導出された条件と同値であり、先行研究と整合的であることが確認された。