[논문 리뷰] On an estimate of Calder\'on-Zygmund operators by dyadic positive operators

Andrei K. Lerner|arXiv (Cornell University)|2012. 02. 09.

Advanced Harmonic Analysis Research참고 문헌 9인용 수 16

한 줄 요약

이 논문은 다이adic 양의 연산자 $A_{D,S}$를 통해 최대 칼라젠-지그문트 연산자 $T^\natural$의 날카운 추정을 수립하며, 임의의 바나흐 함수 공간 $X$에 대해 $\|T^\natural f\|_X \leq c(n,T) \sup_{D,S} \|A_{D,S}|f|\|_X$ 를 보여준다. 핵심 기여는 두 가지 가중치 추측의 전반적 일반성, A2 추측 증명의 단순화, 그리고 다이adic 흩어진 지배를 통해 일반 칼라젠-지그문트 연산자에 대해 혼합 $A_p$-$A_r$ 및 날카운 $A_1$ 추정을 확장하는 통합된 프레임워크를 제공한다는 것이다.

ABSTRACT

Given a general dyadic grid ${\mathscr{D}}$ and a sparse family of cubes ${\mathcal S}=\{Q_j^k\}\in {\mathscr{D}}$, define a dyadic positive operator ${\mathcal A}_{{\mathscr{D}},{\mathcal S}}$ by $${\mathcal A}_{{\mathscr{D}},{\mathcal S}}f(x)=\sum_{j,k}f_{Q_j^k}\chi_{Q_j^k}(x).$$ Given a Banach function space $X({\mathbb R}^n)$ and the maximal Calder\'on-Zygmund operator $T_{ atural}$, we show that $$\|T_{ atural}f\|_X\le c(n,T)\sup_{{\mathscr{D}},{\mathcal S}}\|{\mathcal A}_{{\mathscr{D}},{\mathcal S}}f\|_{X}.$$ This result is applied to weighted inequalities. In particular, it implies: (i) the "two-weight conjecture" by D. Cruz-Uribe and C. P\'erez in full generality; (ii) a simplification of the proof of the "$A_2$ conjecture"; (iii) an extension of certain mixed $A_p$-$A_r$ estimates to general Calder\'on-Zygmund operators; (iv) an extension of sharp $A_1$ estimates (known for $T$) to the maximal Calder\'on-Zygmund operator $T_{ atural}$.

연구 동기 및 목표

• 최대 칼라젠-지그문트 연산자 $T^\natural$가 다이adic 양의 연산자 $A_{D,S}$에 대해 일반적인 추정을 수립하는 것.
• 칼라젠-지그문트 연산자에 대한 가중치 노름 부등식을 통합하고 확장하는 것, 특히 두 가중치 추측과 A2 추측을 포함하여.
• 기존의 $A_p$ 가중치, 혼합 $A_p$-$A_r$ 추정 및 날카운 $A_1$ 경계를 일반 칼라젠-지그문트 연산자로 일반화하는 프레임워크를 제공하는 것.
• 다이adic 양의 연산자 $A_{D,S}$가 $T^\natural$의 전체 약한 유형 및 강한 유형 행동을 가중치 공간과 바나흐 함수 공간에서 포괄함을 보여주는 것.

제안 방법

• 다이adic 격자 $D$에서의 흩어진 가족 $S$에 대해 $A_{D,S}f(x) = \sum_{j,k} f_{Q^k_j} \chi_{Q^k_j}(x)$ 를 정의한다.
• 국소 평균 변동 분해와 흩어진 지배를 이용하여 $T^\natural f$ 를 $A_{D,S}|f|$ 를 통해 통제한다.
• 존-니레버그 부등식과 약한 유형 추정을 적용하여 $A_{D,S}$의 최대 함수를 통제한다.
• 등가성 $\sup_{D,S} \|A_{D,S}\|_{L^p(v)\to L^p(u)} \asymp \|M\|_{L^p(v)\times L^{p'}(u^{1-p'})\to L^1}$ 를 증명하며, 여기서 $M(f,g)$ 는 이(또는 부분)선형 최대 연산자이다.
• 동반 공간 $X'$ 과 최대 연산자 $M_X$ 를 이용하여 바나흐 함수 공간에서의 두 가중치 유계성 조건을 특성화한다.
• 쌍대성과 $L^p$ 및 $L^{p'}$에서 $M_X'$ 과 $M_Y'$ 의 유계성을 활용하여 $T^\natural$ 에 대한 충분 조건를 도출한다.

실험 결과

연구 질문

• RQ1 최대 칼라젠-지그문트 연산자 $T^\natural$ 는 다이adic 양의 연산자 $A_{D,S}$ 에 의해 날카롭고 정량적으로 지배될 수 있는가?
• RQ2 다이adic 양의 연산자 프레임워크는 크루즈-우리베와 페레스의 두 가중치 추측을 모든 칼라젠-지그문트 연산자로 확장할 수 있는가?
• RQ3 이 다이adic 지배 접근법을 통해 A2 추측의 증명을 단순화할 수 있는가?
• RQ4 기존의 고전적 연산자에서 일반 칼라젠-지그문트 연산자로 혼합 $A_p$-$A_r$ 및 날카운 $A_1$ 추정을 확장할 수 있는가?
• RQ5 두 가중치 유계성은 $X$-평균과 이(또는 부분)선형 최대 연산자 $M(f,g)$ 에 대해 특성화될 수 있는가?

주요 결과

• 모든 바나흐 함수 공간 $X$ 에 대해 최대 칼라젠-지그문트 연산자는 $\|T^\natural f\|_X \leq c(n,T) \sup_{D,S} \|A_{D,S}|f|\|_X$ 를 만족하며, 이는 날카운 다이adic 지배를 수립한다.
• 등가성 $\sup_{D,S} \|A_{D,S}\|_{L^p(v)\to L^p(u)} \asymp \|M\|_{L^p(v)\times L^{p'}(u^{1-p'})\to L^1}$ 는 차원 $n$ 에만 의존하는 상수로 성립한다.
• 크루즈-우리베와 페레스의 두 가중치 추측은 전반적으로 증명되었다: 만약 젊은 함수 $A,B$ 에 대해 $\bar{A} \in B_{p'}$, $\bar{B} \in B_p$ 이고 $\sup_Q \|u^{1/p}\|_{A,Q} \|v^{-1/p}\|_{B,Q} < \infty$ 이면, $\|Tf\|_{L^p(u)} \leq c \|f\|_{L^p(v)}$ 이다.
• A2 추측의 증명이 단순화되었으며, $A_{D,S}$ 를 통한 다이adic 접근법은 하르 시프트 연산자의 필요성을 피한다.
• 결과는 $T$ 에서 $T^\natural$ 으로의 날카운 $A_1$ 추정을 확장하며, 임의의 칼라젠-지그문트 연산자로 혼합 $A_p$-$A_r$ 추정을 일반화한다.
• $M_X'$ 과 $M_Y'$ 이 $L^p$ 과 $L^{p'}$ 에서의 유계성은 보완 젊은 함수의 Bp 조건을 통해 특성화되며, 일반적인 두 가중치 충분 조건을 가능하게 한다.