[논문 리뷰] Recent Developments in the Theory of Lorentz Spaces and Weighted Inequalities

Marı́a J. Carro, José A. Raposo외 1명|ArXiv.org|2000. 10. 02.

Advanced Harmonic Analysis Research인용 수 10

한 줄 요약

이 논문은 가중 조건 $A_p$와 $B_p$ 이론을 통합하여, 가중 리프시츠 공간 $\Lambda^p_u(w)$ 위에서 하디-리틀우드 최대함수의 유계성을 특성화함으로써, 두 고전적 경우를 일반화하는 새로운 $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$의 유계성이 감소하는 함수 위에서 하디 연산자의 행동을 통해 특성화될 수 있는가?
• 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$이면 모든 $E \subset Q$에 대해 $\frac{u(Q)}{|Q|^p} \leq C \frac{u(E)}{|E|^p}$ 조건과 동치이다.
• 논문은 비이중 가중치 $u$가 적절한 $w$에 대해 $\Lambda^{p,q}_u(w)$ 위에서 $M$의 유계성을 여전히 지지할 수 있음을 증명한다. 이는 정리 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)에 유도된 조건과 동치이며, 이는 이전 결과와의 일관성을 확인한다.