[논문 리뷰] Iterated commutators under a joint condition on the tuple of multiplying functions

Tuomas Hytönen, Kangwei Li외 1명|arXiv (Cornell University)|2019. 01. 01.

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

한 줄 요약

이 논문은 칼데론-지그문드 연산자 $T$와 함께 반복된 교환자 $[b_2, [b_1, T]]$의 $L^2$ 유계성을 특징짓는, 두 함수 $b_1, b_2$ 에 대한 새로운 공동 조건을 제안한다. 이 조건은 두 개의 이중선형 평균 진동 노름 $S_p$ 와 $T_p$ 를 사용하며, 교환자가 $L^2$ 에서 유계일 필요충분조건으로 $S_2(b_1,b_2) + T_2(b_1,b_2) < ∞$ 임을 증명한다. 이 조건은 고전적인 $BMO$ 조건보다 더 엄격하지 않게, 최적임을 보이며, 이는 기존의 $BMO$ 조건을 향상시킨다.

ABSTRACT

We present a pair of joint conditions on the two functions $b_1,b_2$ strictly weaker than $b_1,b_2\\in \\operatorname{BMO}$ that almost characterize the $L^2$ boundedness of the iterated commutator $[b_2,[b_1,T]]$ of these functions and a Calder\\'on-Zygmund operator $T.$ Namely, we sandwich this boundedness between two bisublinear mean oscillation conditions of which one is a slightly bumped up version of the other.

연구 동기 및 목표

• 개별 $BMO$ 소속보다 더 약한 $b_1, b_2$ 에 대한 공동 조건을 특정하여, 반복 교환자 $[b_2, [b_1, T]]$ 의 $L^2$ 유계성을 특징짓는 것.
• 고전적인 $BMO$ 기반 유계성에 비해, 공동 조건 하에서 반복 교환자에 대한 스퍼스 도메인 원리의 확장을 이루는 것.
• 정확한 예와 가중 노름 추정을 통해 $S_2 + T_2$ 조건이 $L^2$ 유계성에 대해 필수적이고 충분함을 보이는 것.
• $S_{2+\varepsilon} + T_{2+\varepsilon}$ 와 같은 더 강한 조건이 필수적이지 않음을 보이고, 청사진으로 청산형 함수를 포함한 전체 특징을 제안하는 것.

제안 방법

• 두 가지 공동 평균 진동 노름을 도입한다: $S_p(b_1,b_2) = \sup_Q \left( \frac{1}{|Q|}\int_Q |b_1 - \langle b_1\rangle_Q|^p \right)^{1/p} \left( \frac{1}{|Q|}\int_Q |b_2 - \langle b_2\rangle_Q|^p \right)^{1/p}$ 와 $T_p(b_1,b_2) = \sup_Q \left( \frac{1}{|Q|}\int_Q |b_1 - \langle b_1\rangle_Q|^p |b_2 - \langle b_2\rangle_Q|^p \right)^{1/p}$.
• 이중 추정을 확립한다: 칼데론-지그문드 연산자에 대해 $C_d(S_2(b_1,b_2) + T_2(b_1,b_2)) \lesssim \|[b_2,[b_1,T]]\|_{L^2 \to L^2} \lesssim C_{T,\varepsilon}(S_{2+\varepsilon}(b_1,b_2) + T_{2+\varepsilon}(b_1,b_2))$.
• 리너의 스퍼스 도메인 원리 [9] 를 활용하여, 이중 스퍼스 연산자를 통해 교환자를 제어함으로써 정밀한 가중 노름 추정을 가능하게 한다.
• 로그형 성장과 함께 홀함수인 $b_1, b_2$ 를 사용한 명시적 반례를 구성하여, 모든 $\varepsilon > 0$ 에 대해 $S_{2+\varepsilon} + T_{2+\varepsilon}$ 가 유계성을 특징짓지 못함을 보이며, $S_2 + T_2$ 의 최적성 증명.
• 청산형 함수 $A, B, C$ 를 포함한 청사진을 제안하며, $\bar{A}, \bar{B}, \bar{C} \in B_2$ 이고 $S_{A,B}(b_1,b_2) + T_C(b_1,b_2) < \infty$ 이면 $L^2$ 유계성이 특징됨을 제안한다.

실험 결과

연구 질문

• RQ1 고전적인 $b_1, b_2 \in \operatorname{BMO}$ 보다 더 약한 $b_1, b_2$ 에 대한 공동 조건이 존재하는가? 이는 반복 교환자 $[b_2, [b_1, T]]$ 의 $L^2$ 유계성을 특징짓는다.
• RQ2 고전적인 $BMO$ 조건은 $L^2$ 유계성의 진정한 임계값을 반영하는 더 정밀한 공동 조건으로 대체될 수 있는가?
• RQ3 $S_{2+\varepsilon} + T_{2+\varepsilon}$ 조건은 충분한데도 불구하고, 왜 유계성을 특징짓지 못하는가?
• RQ4 스퍼스 도메인 원리는 개별 $BMO$ 유계성 대신 공동 조건 하에서 반복 교환자를 다룰 수 있도록 확장될 수 있는가?
• RQ5 로그형 불릿을 포함하는 청산형 함수를 통해 $S_2 + T_2$ 와 $S_{2+\varepsilon} + T_{2+\varepsilon}$ 사이를 보간하는 전체 특징을 제공할 수 있는가?

주요 결과

• 반복 교환자 $[b_2, [b_1, T]]$ 의 $L^2$ 연산자 노름은 $S_2(b_1,b_2) + T_2(b_1,b_2)$ 의 상수배로 아래에서 유계이므로, 이 공동 조건이 필수적임을 증명한다.
• 모든 $\varepsilon > 0$ 에 대해 $L^2$ 노름은 $C_{T,\varepsilon}(S_{2+\varepsilon}(b_1,b_2) + T_{2+\varepsilon}(b_1,b_2))$ 로 위에서 유계이므로, 약간 더 강한 조건 하에서 충분함을 보여준다.
• 모든 $\varepsilon > 0$ 에 대해 $S_2(b_1,b_2) + T_2(b_1,b_2) < \infty$ 이지만 $S_{2+\varepsilon}(b_1,b_2) + T_{2+\varepsilon}(b_1,b_2) = \infty$ 인 함수 쌍 $b_1, b_2$ 를 구성함으로써, $S_2 + T_2$ 가 어떤 $S_{2+\varepsilon} + T_{2+\varepsilon}$ 보다 엄격히 더 약한 조건임을 증명한다.
• 반복 교환자 $[b_2, [b_1, H]]$ 는 $L^2$ 에서는 유계이지만, $p \neq 2$ 에 대해서는 유계가 아니므로, $L^2$ 유계성이 정확하고 다른 $L^p$ 공간으로 확장될 수 없음을 보여준다.
• 논문은 $S_{2+\varepsilon} + T_{2+\varepsilon}$ 조건이 $L^2$ 유계성을 특징짓지 못함을 반례로 보이며, 이는 교환자가 유계이지만 노름이 발산하는 경우를 포함한다.
• 저자들은 $L^2$ 유계성이 청산형 함수 $A,B,C$ 에 대해 $\bar{A}, \bar{B}, \bar{C} \in B_2$ 이고 $S_{A,B}(b_1,b_2) + T_C(b_1,b_2) < \infty$ 일 때 성립함을 추측하며, 이는 로그 불릿을 통한 전체 특징을 제안한다.