[논문 리뷰] Boundedness of Calder\'on-Zygmund Operators on Non-homogeneous Metric Measure Spaces

Tuomas Hytönen, Suile Liu외 2명|arXiv (Cornell University)|2010. 11. 12.

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

한 줄 요약

이 논문은 상한 중복 조건과 기하학적 중복 조건을 만족하는 비동질 거리측도공간에서 캘러존-지그문드 연산자의 $L^p(\mu)$ 유계성을 확립한다. $L^2(\mu)$ 유계성이 모든 $p \in (1, \infty)$ 에 대해 $L^p(\mu)$ 유계성과 약한 $L^1(\mu)$ 유계성으로 이어짐을 증명하며, 고전적 결과를 더 넓은 범주로 일반화한다. 최대연산자 또한 $L^p(\mu)$ 에서 및 복소 Borel 측도 공간에서 약한 $L^1(\mu)$ 로의 유계성이 입증된다.

ABSTRACT

Let $({\mathcal X}, d, \mu)$ be a separable metric measure space satisfying the known upper doubling condition, the geometrical doubling condition and the non-atomic condition that $\mu(\{x\})=0$ for all $x\in{\mathcal X}$. In this paper, we show that the boundedness of a Calder\'on-Zygmund operator $T$ on $L^2(\mu)$ is equivalent to that of $T$ on $L^p(\mu)$ for some $p\in (1, \infty)$, and that of $T$ from $L^1(\mu)$ to $L^{1,\,\infty}(\mu).$ As an application, we prove that if $T$ is a Calder\'on-Zygmund operator bounded on $L^2(\mu)$, then its maximal operator is bounded on $L^p(\mu)$ for all $p\in (1, \infty)$ and from the space of all complex-valued Borel measures on ${\mathcal X}$ to $L^{1,\,\infty}(\mu)$. All these results generalize the corresponding results of Nazarov et al. on metric spaces with measures satisfying the so-called polynomial growth condition.

연구 동기 및 목표

• 비동질 거리측도공간이 반드시 중복 조건을 만족하지 않더라도 고전적 캘러존-지그문드 이론을 확장하는 것.
• $L^2(\mu)$ 유계성과 $L^p(\mu)$ 유계성($p \in (1, \infty)$) 및 약한 유형 $(1,1)$ 유계성 간의 동치성을 확립하는 것.
• 캘러존-지그문드 연산자의 최대연산자가 $L^2(\mu)$ 에서 유계일 경우, 모든 $p \in (1, \infty)$ 에 대해 $L^p(\mu)$ 에서 및 $M(X)$ 에서 $L^{1,\infty}(\mu)$ 로의 유계성을 증명하는 것.

제안 방법

• 상한 중복 조건과 기하학적 중복 조건을 만족하는 새로운 거리측도공간의 클래스를 도입하였으며, $\lambda(x,r) \leq C_\lambda \lambda(x,r/2)$ 를 만족하는 지배 함수 $\lambda$ 를 사용하였다.
• 독립 동일분포 랜덤 점들을 이용한 랜덤화된 접근법을 통해 최대함수를 제어하기 위해 기본측도 $\nu_N = \|\nu\|_N \sum_{i=1}^N \delta_{x_i}$ 를 도입하였다.
• 체비셰프 부등식과 분산 추정을 적용하여, 중복 조건의 로그 성장 특성을 활용해 절단된 최대연산자 $T_R^\sharp \nu$ 의 尾행동을 제어하였다.
• 확률론적 기법과 최대함수 기법을 결합하여, $\mu(\{x : T^\sharp \nu(x) > t\}) \lesssim \|\nu\|/t$ 를 증명함으로써 최대연산자의 약한 유형 $(1,1)$ 추정을 확립하였다.
• 존-니레버그 부등식과 비동질 설정에 적합한 이진 분해 기법을 활용하여 BMO 노름을 제어하였다.
• 문제를 이진 큐브 위에서의 테스트 조건으로 줄이기 위해 $T(b)$ 정리 프레임워크와 이진 파라프로덕트 분해를 통합하였다.

실험 결과

연구 질문

• RQ1 비동질 공간에서 캘러존-지그문드 연산자의 $L^2(\mu)$ 유계성이 어떤 $p \in (1, \infty)$ 에 대해 $L^p(\mu)$ 유계성과 동치인가?
• RQ2 $L^2(\mu)$ 유계성이 이 설정에서 $L^1(\mu)$ 에서 $L^{1,\infty}(\mu)$ 로의 약한 유형 $(1,1)$ 유계성으로 이어지는가?
• RQ3 캘러존-지그문드 연산자의 최대연산자가 모든 $p \in (1, \infty)$ 에 대해 $L^p(\mu)$ 에서 및 $M(X)$ 에서 $L^{1,\infty}(\mu)$ 로 유계적인가?
• RQ4 나자로프 등이 다항식 성장 측도에 대해 확립한 고전적 결과를 상한 중복 조건을 만족하는 기하학적 중복 공간으로 일반화할 수 있는가?

주요 결과

• 상한 중복 및 기하학적 중복 조건을 만족하는 거리측도공간에서, 캘러존-지그문드 연산자 $T$ 의 $L^2(\mu)$ 유계성은 모든 $p \in (1, \infty)$ 에 대해 $L^p(\mu)$ 유계성과 $L^1(\mu)$ 에서 $L^{1,\infty}(\mu)$ 로의 약한 유형 $(1,1)$ 유계성과 동치이다.
• 최대연산자 $T^\sharp$ 는 $L^2(\mu)$ 에서 유계일 경우, 모든 $p \in (1, \infty)$ 에 대해 $L^p(\mu)$ 에서 및 복소 Borel 측도 공간 $M(X)$ 에서 $L^{1,\infty}(\mu)$ 로 유계적이다.
• 모든 유한 복소 Borel 측도 $\nu$ 에 대해 약한 유형 $(1,1)$ 추정 $\mu(\{x : T^\sharp \nu(x) > t\}) \lesssim \|\nu\|/t$ 이 성립하며, 이 상수는 $\nu$ 와 $t > 0$ 에 독립적이다.
• 증명은 랜덤 기본측도 $\nu_N$ 을 활용한 확률적 방법에 기반하며, $T_R \nu_N(x)$ 의 분산이 $\|\nu\|^2 / N \cdot C_\lambda^{2(1+\log_2(M/R))} / \lambda(x_0,M)^2$ 로 제어됨을 보여, 체비셰프 유형 尾추정이 가능하다.
• 이 결과는 나자로프 등이 다항식 성장 측도에 대해 확립한 결과를 더 넓은 범주인 상한 중복 공간과 기하학적 중복 조건을 만족하는 공간으로 일반화한다.
• 특히 $L^2(\mu)$ 유계성 조건이 $L^q(\mu)$ 유계성($q \in (1,\infty)$) 으로 대체되더라도, $p \in (1,\infty)$ 에서의 $L^p$ 유계성과 약한 유형 $(1,1)$ 유계성 간의 동치성은 유지된다.