[논문 리뷰] Another proof of Scurry's characterization of a two weight norm inequality for a sequence-valued positive dyadic operator

Timo S. Hänninen|arXiv (Cornell University)|2013. 04. 29.

Advanced Harmonic Analysis Research참고 문헌 7인용 수 5

한 줄 요약

이 논문은 가중 Lebesgue 공간 위에서 시퀀스 값의 양의 딱딱한 연산자에 대한 Scurry의 두 가중치 노름 부등식 특성화에 대한 새로운 증명을 제시한다. $1 < r < \infty$ 범위에서 평행 정지 큐브를 사용하여 시험 조건을 수립한다. 이 접근법은 $r=1$ 인 경우에 대해 Hyt€onen의 방법을 $1 \leq r \leq \infty$ 전체 범위로 확장하여, 정지 시간 추론과 딱딱한 마틴갈 기법을 활용해 유일하고 단순화된 유계성 기준 증명을 도출한다.

ABSTRACT

In this note we prove Scurry's testing conditions for the boundedness of a sequence-valued averaging positive dyadic operator from a weighted Lp space to a sequence-valued weighted Lp space by using parallel stopping cubes.

연구 동기 및 목표

• 시퀀스 값의 양의 딱딱한 연산자에 대한 Scurry의 두 가중치 노름 부등식 특성화에 대한 대체적이고 단순화된 증명을 제공하는 것.
• 이전에 $r=1$ 에서만 사용된 Hyt€onen의 정지 큐브 방법을 $1 < r < \infty$ 전체 범위로 확장하는 것.
• $T(f\sigma): L^p(\sigma) \to L^p_{\ell^r}(\omega)$ 의 유계성에 대한 필요 및 충분한 시험 조건을 $f$ 와 $g$ 양쪽에 대해 평행 정지 큐브를 사용하여 수립하는 것.
• 딱딱한 마틴갈 분해와 가중 노름 부등식을 활용하여 다양한 $r$-값에 대한 시험 조건을 통합적으로 다루는 것.

제안 방법

• Hyt€onen의 평행 정지 큐브 기법을 $1 < r < \infty$ 의 경우로 확장하여, 함수 $f$ 와 그 쌍대 $g$ 양쪽에 대해 정지 큐브를 사용한다.
• 딱딱한 최대 함수와 가중 평균을 기반으로 $f$ 와 $g$ 에 대해 각각 정지 큐브 $\mathcal{F}$ 와 $\mathcal{G}$ 를 구성한다.
• 쌍대 쌍대성 $\langle Sf, g \rangle = \sum_{F \in \mathcal{F}} \sum_{F' \in \text{ch}_\mathcal{F}(F)} \langle g_F, T_{F'}(f) \rangle$ 를 사용하여 쌍대 곱을 조직화한다.
• 정지 큐브 $F$ 에서의 추정 $\|g_F\|_{L^{p'}_{\ell^{r'}}(\omega)} \lesssim \|g\|_{L^{p'}_{\ell^{r'}}(\omega)}$ 를 통해 쌍대 시험 조건을 적용한다.
• Carleson 임bedding 보조정리를 사용하여, $Q \supsetneq F'$ 에서의 수열 $a_Q$ 의 $\ell^{r'}$-노름을 유계화하며, 평균 $\langle |g|_{r'} \rangle^\omega_{\pi_\mathcal{G}(F')} \leq 2 \langle |g|_{r'} \rangle^\omega_G$ 를 활용한다.
• 딱딱한 정지 시간 분해와 $\ell^{r'}$-노름 제어를 통해 키 포인트 추정 $\sum_F \|g_F\|^{p'}_{L^{p'}_{\ell^{r'}}(\omega)} \lesssim \|g\|^{p'}_{L^{p'}_{\ell^{r'}}(\omega)}$ 를 수립한다.

실험 결과

연구 질문

• RQ1 Hyt€onen의 $r=1$ 인 정지 큐브 방법을 $1 < r < \infty$ 의 경우로 확장할 수 있는가?
• RQ2 $L^p(\sigma) \to L^p_{\ell^r}(\omega)$ 에서의 시퀀스 값의 딱딱한 연산자의 두 가중치 유계성에 대한 필요 및 충분한 시험 조건은 무엇인가?
• RQ3 평행 정지 큐브를 $f$ 와 $g$ 양쪽에 사용하여 $1 < r < \infty$ 의 경우에 쌍대 곱 $\langle Sf, g \rangle$ 를 어떻게 제어할 수 있는가?
• RQ4 $T(f\sigma): L^p(\sigma) \to L^p_{\ell^r}(\omega)$ 의 시험 조건이 $r \in (1, \infty)$ 에서 직접 및 쌍대 시험 조건과 동치인가?

주요 결과

• 논문은 두 가중치 노름 부등식 $\|T(f\sigma)\|_{L^p_{\ell^r}(\omega)} \leq \tilde{C} \|f\|_{L^p(\sigma)}$ 가 성립하는 것과 직접 및 쌍대 시험 조건이 동시에 만족될 때이고 그 때에만 성립함을 입증한다.
• 증명 과정에서 정지 큐브 전역에서 일관된 제어를 확보하기 위해 상수 인자 최대 $5p$ 를 사용하여 $\|g_F\|_{L^{p'}_{\ell^{r'}}(\omega)} \lesssim \|g\|_{L^{p'}_{\ell^{r'}}(\omega)}$ 를 확보한다.
• 평행 정지 큐브와 Carleson 임bedding 보조정리를 활용하여 키 포인트 추정 $\sum_F \|g_F\|^{p'}_{L^{p'}_{\ell^{r'}}(\omega)} \lesssim \|g\|^{p'}_{L^{p'}_{\ell^{r'}}(\omega)}$ 가 증명된다.
• 이 방법은 Hyt€onen의 $r=1$ 증명을 $1 < r < \infty$ 로 성공적으로 확장하여, 모든 $r \in [1, \infty]$ 에서 시험 조건을 통합적으로 다룰 수 있는 프레임워크를 제공한다.
• 결과적으로, 이는 $1 \leq r \leq \infty$ 의 전체 범위에서 시퀀스 값의 딱딱한 연산자의 유계성에 대해 시험 조건이 필수적이고 충분함을 확인한다.