[논문 리뷰] Geometric conditions for the $L^2$-boundedness of singular integral operators with odd kernels with respect to measures with polynomial growth in $\mathbb{R}^d$

Daniel Girela-Sarrión|arXiv (Cornell University)|2015. 05. 27.

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

한 줄 요약

이 논문은 $\mathbb{R}^d$에서 다항성장 조건을 만족하는 Radon 측도에 대해 Jones, David 및 Semmes의 $\beta$-수를 기반으로 한 기하적 조건을 설정함으로써, 홀수이자 $\mathcal{C}^2$ Calderón-Zygmund 커널을 가진 특이 적분 연산자의 $L^2(\mu)$-유계성을 보장한다. 주요 결과는 이러한 기하적 조건이 만족될 경우, 모든 이러한 연산자가 $L^2(\mu)$에서 둥근다는 것을 보여주며, 이는 메트릭 및 기하적 성질을 이용한 리프시츠 조화 용량에 대한 새로운 하한을 이끌어낸다.

ABSTRACT

Let $μ$ be a finite Radon measure in $\mathbb{R}^d$ with polynomial growth of degree $n$, although not necessarily $n$-AD-regular. We prove that under some geometric conditions on $μ$ that are closely related to rectifiability and involve the so-called $β$-numbers of Jones, David and Semmes, all singular integral operators with an odd and sufficiently smooth Calderón-Zygmund kernel are bounded in $L^2(μ)$. As a corollary, we obtain a lower bound for the Lipschitz harmonic capacity of a compact set in $\mathbb{R}^d$ only in terms of its metric and geometric properties.

연구 동기 및 목표

• 다항성장 조건을 만족하는 측도 $\ mu$에 대해, 홀수이자 스무스한 Calderón-Zygmund 커널을 가진 특이 적분 연산자의 $L^2(\mu)$-유계성을 보장하는 충분한 기하적 조건을 설정하는 것.
• 커브처가 아닌 $b$-수를 기반으로 한 새로운 코로나 분해를 사용하여, Tolsa의 코시 변환에 대한 $L^2$-유계성 결과를 고차원으로 확장하는 것.
• 측도의 메트릭 및 기하적 성질만을 사용하여 $\mathbb{R}^d$ 내 컴팩트 집합의 리프시츠 조화 용량에 대한 새로운 하한을 도출하는 것.
• Ahlfors-David 정규성 가정 없이도 다항성장 조건을 만족하는 측도 위에서 특이 적분 이론을 일반화하는 것.

제안 방법

• 증명은 Jones, David 및 Semmes의 $b$-수를 기반으로 한 새로운 코로나 분해에 의존하며, 이는 이차 큐브 내에서 측도의 평탄함을 측정한다.
• 특이 적분 연산자는 코로나 분해의 각 트리와 연관된 연산자 $K_R$들의 합으로 분해되며, 국소적 분석이 가능해진다.
• 각 $K_R$는 트리 내부의 Ahlfors-David 정규성 곡선 위의 호의 길이로 측도 $\mu$를 근사하여 $L^2(\mu)$에서 둥근 것으로 보여진다.
• 코로나 분해의 구조와 $b$-수의 감쇠성을 이용하여 연산자 $K_R$들의 준직교성을 확립한다.
• 다이adic 다이adic 파라프로덕트 유형의 추정식을 통해 전체 연산자의 $L^2(\mu)$-노름을 제어하며, 이는 $\theta_\mu^n(x,r)$ 및 $\beta_\mu^{n,2}(x,r)$ 계수를 포함한다.
• 주요 추정식은 $b$-수 적분과 측도 성장 조건을 이용하여 $\|K_R\mu\|_{L^2(\mu)}^2$의 합과 교차항 $\langle K_R\mu, K_{R'}\mu \rangle_\mu$를 유계화함으로써 유도된다.

실험 결과

연구 질문

• RQ1 다항성장 조건을 만족하는 측도 $\mu$에 대해, 홀수이자 $\mathcal{C}^2$ 커널을 가진 특이 적분 연산자가 $L^2(\mu)$에서 둥근 기하적 조건은 무엇인가?
• RQ2 Ahlfors-David 정규성 가정 없이도, $\beta$-수와 측도 성장과 같은 기하적 양으로 Riesz 변환의 $L^2(\mu)$-유계성을 특성화할 수 있는가?
• RQ3 고차원에서 커브처가 아닌 $b$-수를 기반으로 한 코로나 분해를 사용하여, Calderón-Zygmund 연산자의 $L^2(\mu)$-유계성을 어떻게 확립할 수 있는가?
• RQ4 리프시츠 조화 용량과 특이 적분의 $L^2(\mu)$-유계성 간의 관계는 무엇인가?
• RQ5 해석적 가정 없이도, 메트릭 및 기하적 성질만을 사용하여 리프시츠 조화 용량에 대한 하한을 유도할 수 있는가?

주요 결과

• 홀수이자 $\mathcal{C}^2$ 커널을 가진 특이 적분 연산자의 $L^2(\mu)$-유계성은 $b_\mu^{n,2}$ 계수와 측도 성장 조건을 포함하는 기하적 조건 하에서 확립된다.
• 주요 추정식은 $\|T\mu\|_{L^2(\mu)}^2 \lesssim \|\mu\| + \iint_0^1 \beta_\mu^{n,2}(x,r)^2 \theta_\mu^n(x,r) \frac{dr}{r} d\mu(x)$로 표현되며, 이는 기하적 자료를 통해 연산자 노름을 제어함을 보여준다.
• 증명은 트리 기반 연산자 $K_R$의 $L^2$-노름 합과 그 교차항이 $\sum_{R\in\mathsf{Top}} \theta_\mu^n(B_R)^2 \mu(B_R)$에 의해 제어됨을 보여주며, 이는 기하적 적분과 비교 가능하다.
• 기하적 $b$-수 기반의 코로나 분해를 통해 Tolsa의 결과를 $\mathbb{C}$에서 $\mathbb{R}^d$로 일반화하였으며, 커브처 기반 추론이 필요 없어졌다.
• 리프시츠 조화 용량 $\kappa(E)$에 대한 새로운 하한이 도출되었다: $\kappa(E) \gtrsim \mu(E)$, 여기서 $\mu$는 $\mu(B(x,r)) \leq r^n$ 및 $\|\mathcal{R}_\mu\|_{L^2(\mu)\to L^2(\mu)} \leq C$를 만족하는 $E$에 지지된 임의의 측도이며, $C$는 절대 상수이다.
• 결과는 컴팩트 집합 $E \subset \mathbb{R}^d$의 리프시츠 조화 용량이 해석적 스무스성과 무관하게 $b$-수와 측도 성장 조건을 포함하는 기하적 양에 의해 하한이 있음을 시사한다.