[논문 리뷰] Nondoubling Calder\'on-Zygmund theory -a dyadic approach-

José M. Conde Alonso, Javier Parcet|arXiv (Cornell University)|2016. 04. 13.

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

한 줄 요약

이 논문은 다항성장 조건을 만족하는 측도의 지지부분 위에 매우 불규칙한 원자 마팅게일 필터링을 구성함으로써, 비중복 Calderón-Zygmund 이론에 대해 이항 프레임워크를 제안한다. 원자들은 중복 구와 유사하며 약한 정규성 조건을 만족하여, 새로운 $A_2$-유형의 경계, 보존된 보간 성질을 유지하는 이항 RBMO 공간, 그리고 비가환 비동일성 Calderón-Zygmund 이론의 확장이라는 결과를 이끌어낸다.

ABSTRACT

Given a measure $\\mu$ of polynomial growth, we refine a deep result by David and Mattila to construct an atomic martingale filtration of $\\mathrm{supp}(\\mu)$ which provides the right framework for a dyadic form of nondoubling harmonic analysis. Despite this filtration being highly irregular, its atoms are comparable to balls in the given metric |which in turn are all doubling| and satisfy a weaker but crucial form of regularity. Our dyadic formulation is effective to address three basic questions: i) A dyadic form of Tolsa's RBMO space which contains it. ii) Lerner's domination and $A_2$-type bounds for nondoubling measures. iii) A noncommutative form of nonhomogeneous Calder\\'on-Zygmund theory. Our martingale RBMO space preserves the crucial properties of Tolsa's original definition and reveals its interpolation behavior with the $L_p$ scale in the category of Banach spaces, unknown so far. On the other hand, due to some known obstructions for Haar shifts and related concepts over nondoubling measures, our pointwise domination theorem via sparsity naturally deviates from its doubling analogue. In a different direction, matrix-valued harmonic analysis over noncommutative $L_p$ spaces has recently produced profound applications. Our analogue for nondoubling measures was expected for quite some time. Finally, we also find a dyadic form of the Calder\\'on-Zygmund decomposition which unifies those by Tolsa and L\\'opez-S\\'anchez/Martell/Parcet.

연구 동기 및 목표

• 중복 조건이 없어 고전적 도구가 실패하는 비중복 조화해석학에 대해 이항 프레임워크를 개발하기 위해.
• 지지부분 $\mathrm{supp}(\mu)$ 위에 원자들이 $(\alpha,\beta)$-중복 구와 유사한 성질을 가지는 마팅게일 필터링을 구성하기 위해, 비록 필터링이 매우 불규칙하더라도.
• Tolsa의 RBMO 공간의 이항 형태를 구축하여 $L_p$ 공간과의 보간 성질을 유지하고, Calderón-Zygmund 연산자의 $L_p$ 유계성을 보장하기 위해.
• 비가환 $L_p$ 공간을 행렬가우치 조화해석학을 통해 다루어 비동일성 설정에서 오랫동안 존재해온 격차를 메우기 위해.
• 스포arsity를 통한 점별 지배 정리 증명을 통해 Lerner의 방법을 비중복 측도에 적응시키며, Haar 시프트 이론의 장애로 인해 중복 사례와 다름을 보이기 위해.

제안 방법

• David와 Mattila의 구성 방식을 정교화하여, 원자 $Q$가 어떤 $(\alpha,\beta)$-중복 구 $B_Q$에 대해 $B_Q \subset Q \subset 28B_Q$를 만족하는 양방향 원자 마팅게일 필터링 $\{\Sigma_k\}$를 $\mathrm{supp}(\mu)$ 위에 구축하기 위해.
• 약한 정규성 조건을 도입: 부모 $R$에 대해 $x \in Q$이면 $\int_{\alpha B_R \setminus 56B_Q} \frac{d\mu(y)}{|x-y|^n} \lesssim 1$을 만족시키기 위해.
• 필터링을 이용해 비가환 $L_p$-공간 $L_p(\mathcal{A})$ 위에 이항 RBMO 공간 $\mathrm{RBMO}_\Sigma(\mathcal{A})$를 정의하여, John-Nirenberg 성질과 보간 성질을 유지하기 위해.
• 비중복 측도에 적응된 스폴라스 지배 원리 사용: 스포라이스 연산자가 점별적으로 Calderón-Zygmund 연산자를 지배하며, $A_2$-유형 경계를 제공하기 위해.
• 비가환 설정에서 연산자 노름을 제어하기 위해 연산자 값 허먼더 조건과 크기 추정을 적용하며, von Neumann 대수 $\mathcal{M}$의 $C^*$-성질을 활용하기 위해.
• Tolsa와 López-Sánchez/Martell/Parcet의 Calderón-Zygmund 분해를 이항 프레임워크를 통해 통합하기 위해, 필터링의 원자적 구조를 활용하기 위해.

실험 결과

연구 질문

• RQ1 비중복 조건이 성립하지 않음에도 불구하고 비중복 Calderón-Zygmund 이론에 대해 이항 공식화가 가능할 수 있는가?
• RQ2 매우 불규칙한 필터링이더라도 원자들이 중복 구와 유사하고 약한 정규성 조건을 만족하는 마팅게일 필터링이 존재하는가?
• RQ3 비가환 $L_p$ 설정에서 Tolsa의 원래 RBMO 공간의 보간 성질을 유지하는 이항 RBMO 공간을 구성할 수 있는가?
• RQ4 Lerner의 스포라이스 지배 원리가 비중복 측도에 적응되어 $A_2$-유형 경계를 도출할 수 있는가, 비록 Haar 시프트 이론의 장애로 인해 중복 사례와 다를 수 있더라도?
• RQ5 비중복 설정에서 Tolsa의 버전과 López-Sánchez/Martell/Parcet의 버전을 일반화하는 통합된 이항 Calderón-Zygmund 분해가 존재하는가?

주요 결과

• 지지부분 $\mathrm{supp}(\mu)$ 위에 두 방향 원자 마팅게일 필터링 $\{\Sigma_k\}$가 존재하여, 각 원자 $Q$는 어떤 $(\alpha,\beta)$-중복 구 $B_Q$에 대해 $B_Q \subset Q \subset 28B_Q$를 만족하며, $\alpha,\beta > 100$이다.
• 모든 $x \in Q$에 대해 약한 정규성 조건 $\int_{\alpha B_R \setminus 56B_Q} \frac{d\mu(y)}{|x-y|^n} \lesssim 1$이 성립하여 특이 적분의 제어가 가능하다.
• 이항 RBMO 공간 $\mathrm{RBMO}_\Sigma(\mathcal{A})$는 John-Nirenberg 성질을 유지하고 $1 < p < \infty$에 대해 $L_p(\mathcal{A})$와 보간 성질을 유지하며, 이는 이전까지 알려지지 않은 성질이다.
• 비중복 측도 위에서 Calderón-Zygmund 연산자에 대해 스포라이스를 통한 점별 지배 정리가 성립하며, $A_2$-유형 경계를 도출하지만 Haar 시프트 이론의 장애로 인해 중복 사례와 다름을 보인다.
• 비가환 Calderón-Zygmund 이론이 비중복 측도로 확장되었으며, 이항 RBMO 끝점 추정을 통해 Calderón-Zygmund 연산자의 $L_p(\mathcal{A})$ 유계성이 확립되었다.
• 연산자 값 허먼더 조건과 크기 조건(차수 $n$)만으로도 $\mathcal{A} \to \mathrm{RBMO}_\Sigma(\mathcal{A})$ 끝점 추정이 가능하며, 커널에 리프시츠 스무스니스 조건이 필요로 하지 않는다.