[논문 리뷰] Two Weight Inequalities for Iterated Commutators with Calder\'on-Zygmund Operators

Irina Holmes, Brett D. Wick|arXiv (Cornell University)|2015. 09. 12.

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

한 줄 요약

이 논문은 보조 기호가 BMO인 캘러존-지그문트 연산자의 고차수 반복 공통자에 대한 이중 가중치 노름 부등식을 수립한다. 이는 블룸의 일阶 공통자에 대한 이중 가중치 결과를 고차수 공통자로 확장한 것이다. 이중 표현과 추출 기법을 사용하여, $ L^p(\mu) $ 에서 $ L^p(\lambda) $ 로의 $ k $ 번째 반복 $ C^k_b(T) $ 의 연산자 노름이 $ \|b\|^{k-1}_{BMO} \|b\|_{BMO(\nu)} $ 에 의해 유계임을 증명한다. 여기서 $ \nu = \mu^{1/p}\lambda^{-1/p} $ 이며, 가중치와 차원에 대한 명시적인 의존성을 포함한다. 이 결과는 창-페레이라-페레즈의 한 가중치 추정을 복원하고, 반복 공통자의 이중 증명에 관한 질문에 답한다.

ABSTRACT

Given a Calder\'on-Zygmund operator $T$, a classic result of Coifman-Rochberg-Weiss relates the norm of the commutator $[b, T]$ with the BMO norm of $b$. We focus on a weighted version of this result, obtained by Bloom and later generalized by Lacey and the authors, which relates $\| [b, T] : L^p(\mathbb{R}^n; \mu) o L^p(\mathbb{R}^n; \lambda) \|$ to the norm of $b$ in a certain weighted BMO space determined by $A_p$ weights $\mu$ and $\lambda$. We extend this result to higher iterates of the commutator and recover a one-weight result of Chung-Pereyra-Perez in the process.

연구 동기 및 목표

• 캘러존-지그문트 연산자의 고차수 반복 공통자에 대한 블룸의 일阶 공통자에 대한 이중 가중치 부등식을 확장한다.
• 창, 페레이라, 페레즈가 제기한 반복 공통자 노름에 대한 이중 증명에 관한 열린 질문을 해결한다.
• 기호의 BMO 노름과 관련된 가중치에 대한 연산자 노름의 날카로운 의존성을 확립한다.
• $ \mu = \lambda = w \in A_2 $ 일 때 창-페레이라-페레즈의 한 가중치 추정을 특수한 경우로 복원한다.

제안 방법

• 히요넨 표현 정리를 활용하여 문제를 캘러존-지그문트 유형의 모델 연산자인 이중 이동 평균 $ S_{ij} $ 의 유계성으로 환원한다.
• 재귀적 이중 분해를 적용하고, 이중 큐브 위의 평균을 포함하는 공통자 체인을 통해 반복 공통자 연산자 $ \Theta^k_b(S_{ij}) $ 를 정의한다.
• 반복 공통자에 대한 이항형 항등식을 확립한다: $ \Theta^k_b(ST) = \sum_{m=0}^k \binom{k}{m} \Theta^{k-m}_b(S) \Theta^m_b(T) $, 이를 통해 귀납적 제어를 가능하게 한다.
• 추출 이론을 사용하여 $ L^2 $-유계성을 $ 1 < p < \infty $ 에 대한 $ L^p $-유계성으로 확장하며, 가중치의 $ A_p $-특성에 기반한다.
• $ \nu = \mu^{1/p}\lambda^{-1/p} $ 에 대해 가중치 BMO 노름 $ \|b\|_{BMO(\nu)} $ 를 정의하여 이중 가중치 행동을 지배한다.
• 강한 귀납법에 기반하여 핵심 추정을 증명한다. 이는 모델 연산자 $ \Pi_a, \Lambda_{a,b} $ 에 대해 $ \Theta^k_b(P_a) $ 와 $ \Theta^k_b(\Lambda) $ 의 제어에 의존하며, 가중치 BMO 노름과 $ A_2 $-특성에 기반한다.

실험 결과

연구 질문

• RQ1 캘러존-지그문트 연산자 $ T $ 에 대해 $ k $ 번째 반복 공통자 $ [b, T] $ 의 날카로운 이중 가중치 연산자 노름 유계는 무엇인가?
• RQ2 기호 $ b $ 와 가중치 $ \mu, \lambda \in A_p $ 에 대해 $ k $ 번 반복 공통자 $ C^k_b(T) $ 의 노름이 유계일 수 있는가?
• RQ3 창, 페레이라, 페레즈가 추측한 바와 같이, 반복 공통자 노름에 대한 이중 증명이 존재하는가?
• RQ4 기호 $ b $ 의 BMO 노름과 가중치 $ \mu, \lambda $ 에 대한 의존성은 반복 횟수 $ k $ 에 따라 어떻게 변화하는가?
• RQ5 창-페레이라-페레즈의 한 가중치 결과가 이 논문에서 개발된 이중 가중치 이론의 특수한 경우로 복원될 수 있는가?

주요 결과

• $ L^p(\mu) $ 에서 $ L^p(\lambda) $ 로의 $ k $ 번째 반복 공통자 $ C^k_b(T) $ 의 노름은 $ c \|b\|^{k-1}_{BMO} \|b\|_{BMO(\nu)} $ 에 의해 유계이며, 여기서 $ \nu = \mu^{1/p}\lambda^{-1/p} $ 이고, $ c $ 는 $ n, k, T, \mu, \lambda, p $ 에 의존한다.
• $ \mu = \lambda = w \in A_2 $ 일 때, 유계는 $ \|C^k_b(T)\|_{L^2(w) \to L^2(w)} \lesssim c \|b\|_{BMO}^k [w]^{k+1}_{A_2} $ 로 줄어들며, 창-페레이라-페레즈의 한 가중치 결과를 복원한다.
• 증명은 $ \Theta^k_b(S_{ij}) $ 에 대해 재귀적 구조를 확립하여, $ k $ 번째 반복 공통자가 저차수 공통자를 포함하는 이항형 전개를 만족함을 보여준다.
• 귀납 단계는 모델 이중 연산자에 대해 $ \Theta^k_b(\Pi_a) $ 와 $ \Theta^k_b(\Lambda_{a,b}) $ 의 제어에 의존하며, 가중치 BMO 노름과 추출 기법을 사용한다.
• 결과는 이중 가중치 이론이 고차수 공통자로 자연스럽게 확장됨을 확인하며, 기호 $ b $ 의 가중치 공간 $ BMO(\nu) $ 에서의 BMO 노름이 중심적인 역할을 한다는 것을 보여준다.
• 이 논문은 반복 공통자 노름에 대한 완전한 이중 증명을 제공하며, 창, 페레이라, 페레즈가 제기한 이중 증명에 관한 열린 질문에 답한다.