[논문 리뷰] Logarithmic bump conditions and the two weight boundedness of Calder\'on-Zygmund operators

David Cruz-Uribe, Alexander Reznikov외 1명|arXiv (Cornell University)|2011. 12. 03.

Advanced Harmonic Analysis Research참고 문헌 29인용 수 15

한 줄 요약

이 논문은 로그 볼록 조건—특히 반복 로그 가중치를 포함하는 날카운 Ap-볼록 조건—이 모든 Calderón-Zygmund 연산자, 힐버트 변환 포함, 이중 가중치 유계성을 암시한다는 것을 입증한다. A² 추측 기법과 벨만 함수 방법을 결합하여 저자들은 하르 슬라이스가 $L^p(v)$ 를 $L^p(u)$ 로 매핑할 때 복잡도 상수가 이차적임을 증명하며, 이는 일반적인 Calderón-Zygmund 연산자로 확장된다. 부산물로, 무한히 오랫동안 남아있던 무게 힐버트 변환에 대한 Muckenhoupt와 Wheeden의 약한 유형 부등식에 대한 추측을 반증한다.

ABSTRACT

We prove that if a pair of weights $(u,v)$ satisfies a sharp $A_p$-bump condition in the scale of log bumps and certain loglog bumps, then Haar shifts map $L^p(v)$ into $L^p(u)$ with a constant quadratic in the complexity of the shift. This in turn implies the two weight boundedness for all Calder\'on-Zygmund operators. This gives a partial answer to a long-standing conjecture. We also give a partial result for a related conjecture for weak-type inequalities. To prove our main results we combine several different approaches to these problems; in particular we use many of the ideas developed to prove the $A_2$ conjecture. As a byproduct of our work we also disprove a conjecture by Muckenhoupt and Wheeden on weak-type inequalities for the Hilbert transform. This is closely related to the recent counterexamples of Reguera, Scurry and Thiele.

연구 동기 및 목표

• Ap-볼록 조건 하에서 Calderón-Zygmund 연산자에 대한 이중 가중치 노름 부등식에 대한 오랫동안 남아있던 추측을 해결하기 위해.
• A² 추측 기법을 로그 볼록 조건이 있는 이중 가중치 설정으로 확장하기 위해.
• 힐버트 변환에 대한 Muckenhoupt-Wheeden의 약한 유형 부등식 추측을 반증하기 위해.
• 하르 슬라이스와 그로 인해 확장된 Calderón-Zygmund 연산자가 가중 리만 공간 간에 유계가 되는 날카운 조건을 설정하기 위해.

제안 방법

• Orlicz 노름과 형태 $A(t) = t^p \log(e + t)^{p-1+\delta}$ 의 로그 볼록 함수를 사용하여 날카운 Ap-볼록 조건을 정의한다.
• Bellman 함수 기법을 적용하여 이원적 파라프로덕트와 하르 슬라이스를 제어하며, A² 추측에서 유래된 방법을 확장한다.
• 정지 시간 추론과 이원적 흩어진 지배를 사용하여 약한 유형 및 강한 유형 노름을 제어한다.
• 시험 조건과 쌍대성을 결합하여 힐버트 변환의 유계성과 최대 연산자 간의 관계를 규명한다.
• Reguera, Scurry, Thiele의 반례를 활용하여 Muckenhoupt-Wheeden 추측을 반증한다.
• 약한 유형 부등식 $H_\sigma : L^2(\sigma) \to L^{2,\infty}(u)$ 는 $M_u : L^2(u) \to L^2(\sigma)$ 가 성립함에도 불구하고 실패함을 증명한다.

실험 결과

연구 질문

• RQ1 로그 가중치를 포함하는 Ap-볼록 조건이 모든 Calderón-Zygmund 연산자에 대해 강한 유형 이중 가중치 유계성을 암시하는가?
• RQ2 A² 추측 기법은 로그 볼록 조건이 있는 이중 가중치 설정으로 확장될 수 있는가?
• RQ3 최대 연산자 시험 조건 하에서 힐버트 변환에 대한 Muckenhoupt-Wheeden 추측의 약한 유형 부등식은 타당한가?
• RQ4 이중 가중치 설정에서 반례를 통해 약한 유형 추측을 반증할 수 있는가?
• RQ5 벨만 함수는 이중 가중치 약한 유형 부등식에 대한 반례를 구성하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 만약 가중치 쌍 $(u, v)$ 가 로그 가중치를 포함하는 날카운 Ap-볼록 조건을 만족하면, 모든 Calderón-Zygmund 연산자가 $L^p(v)$ 에서 $L^p(u)$ 로 유계가 되며, 이때 연산자 노름은 하르 슬라이스의 복잡도에 대해 이차적임을 증명한다.
• 특히 $p=2$ 일 때, 조건 $\sup_Q \|u^{1/2}\|_{A,Q} \|v^{-1/2}\|_{B,Q} < \infty$ 가 성립하면 강한 유형 부등식이 성립하며, 여기서 $A$ 와 $B$ 는 로그 얀 함수이다.
• 저자들은 $M_u : L^2(u) \to L^2(\sigma)$ 가 성립하지만 $H_\sigma : L^2(\sigma) \to L^{2,\infty}(u)$ 가 실패하는 반례를 구성함으로써, Muckenhoupt-Wheeden 추측을 반증한다.
• 더 강력한 반례도 구성된다: $M_u : L^2(u) \to L^2(\sigma)$ 와 $M_\sigma : L^2(\sigma) \to L^2(u)$ 가 모두 성립하지만, $H_\sigma$ 는 여전히 약한 유형 부등식을 만족하지 못하는 가중치 쌍 $(u, \sigma)$ 가 존재한다.
• 이 증명은 정리 6.1 에 의존하며, 이는 힐버트 변환의 약한 유형 노름이 시험 조건과 최대 연산자 간의 관계를 규명하며, 시험 조건의 실패가 약한 유형 유계성의 실패를 암시함을 보여준다.
• 결과적으로 이는 [35]의 반례가 이중 가중치 경우로 확장됨에 따라, 한 가중치 약한 (1,1) 추측의 부정성을 간접적으로 증명한다.