[논문 리뷰] The Riesz Capacity in Metric Spaces

Juho Nuutinen, Pilar Silvestre|arXiv (Cornell University)|2015. 01. 23.

Advanced Harmonic Analysis Research참고 문헌 21인용 수 3

한 줄 요약

이 논문은 더블링 측도를 지닌 메트릭 공간에서 리프스 용적의 이론을 수립하며, 고전적 유클리드 용적 이론을 일반화하는 메트릭 리프스 잠재력과 용적을 정의한다. 단조성, 가산부가성, 파투 보조정리 유사 하반연속성과 같은 핵심 성질을 증명하고, 아흐르포르스 정규성 가정 없이도 수정된 하우스도르프 콘텐츠를 통해 용적의 날카운 상한과 하한을 제공한다.

ABSTRACT

We study a capacity theory based on a definition of a Riesz potential in metric spaces with a doubling measure. In this general setting, we study the basic properties of the Riesz capacity, including monotonicity, countable subadditivity and several convergence results. We define a modified version of the Hausdorff measure and provide lower bound and upper bound estimates for the capacity in terms of the modified Hausdorff content.

연구 동기 및 목표

• 일반적인 메트릭 측도 공간에 더블링 측도를 지닌 메트릭 리프스 잠재력 기반의 용적 이론을 개발하는 것.
• 리프스 용적의 기본 성질, 즉 단조성, 가산부가성, 파투 유형 하반연속성 등을 확립하는 것.
• 수정된 하우스도르프 콘텐츠를 정의하고, 이 콘텐츠를 통해 리프스 용적의 상한과 하한을 유도하는 것.
• 리프스 용적이 코흐레트 용적임을 보이고, 특정 조건 하에서 양의 하우스도르프 콘텐츠와의 동치성을 증명하는 것.
• 아흐르포르스 정규성 조건 없이도 고전적 리프스 용적 이론을 유클리드 공간에서 일반적인 메트릭 측도 공간으로 확장하는 것.

제안 방법

• 순서 $\gamma \in (0,1)$ 에 대해 메트릭 리프스 잠재력을 $I_\gamma f(x) = \int_X \frac{f(y)}{\mu(B(x,d(x,y)))^{1-\gamma}} \, d\mu(y)$ 로 정의하며, 커널에 포함된 볼의 측도만을 사용한다.
• 측도의 더블링 성질을 이용해 볼의 측도 성장 추정을 유도하며, $r \leq R$ 일 때 $\mu(B(y,r))/\mu(B(x,R)) \geq C(r/R)^Q$ 를 만족시킨다.
• 리프스 용적의 상한과 하한을 추정하기 위해 수정된 하우스도르프 콘텐츠 $\widetilde{\mathcal{H}}_{\infty}^{\gamma,p}$ 를 도입한다.
• 횔더 부등식과 볼의 이진 분해를 적용하여 시험 함수의 $L^p$ 노름과 용적 추정 간의 관계를 유도한다.
• 5r-커버링 정리를 적용하여 집합 $E$ 를 덮는 서로소 볼을 선택함으로써 더블링 성질을 통한 측도 비교를 가능하게 한다.
• 조건 $\tilde{\gamma}\tilde{p} < \gamma p < 1$ 하에서 양의 용적과 양의 수정된 하우스도르프 콘텐츠 간의 동치성을 확립한다.

실험 결과

연구 질문

• RQ1 고전적 리프스 용적 이론은 어떻게 일반적인 더블링 측도를 지닌 메트릭 측도 공간으로 확장될 수 있는가?
• RQ2 메트릭 리프스 용적의 기본 성질(단조성, 부가성, 하반연속성)은 무엇인가?
• RQ3 아흐르포르스 정규성 조건 없이 수정된 하우스도르프 콘텐츠를 통해 리프스 용적의 상한과 하한을 구할 수 있는가?
• RQ4 양의 리프스 용적이 양의 수정된 하우스도르프 콘텐츠를 유도하고, 그 반대도 성립하는 조건은 무엇인가?
• RQ5 용적이 컴팩트 및 오픈 집합에 의한 근사화에 대해 어떻게 행동하는가? 그리고 코흐레트 용적이 되는가?

주요 결과

• 리프스 용적 $\mathcal{C}_{\gamma,p}$ 는 코흐레트 용적이다. 즉, 내부에서 컴팩트 집합에 의한 근사와 외부에서 오픈 집합에 의한 근사를 가능하게 한다.
• 리프스 용적은 파투 유형 하반연속성을 만족하며, 감소하는 집합의 수열 $\{E_n\}$ 에 대해 $\liminf_{n\to\infty} \mathcal{C}_{\gamma,p}(E_n) \geq \mathcal{C}_{\gamma,p}(E)$ 이다.
• 모든 보렐 집합 $E$ 에 대해 조건 $\gamma p < 1$ 하에서 $\mathcal{C}_{\gamma,p}(E) > 0$ 이면 $\widetilde{\mathcal{H}}^{\gamma,p}(E) > 0$ 이다.
• 공간이 연결되어 있고 조건 $\tilde{\gamma}\tilde{p} < \gamma p < 1 $ 이 성립할 경우, $\widetilde{\mathcal{H}}^{\tilde{\gamma},\tilde{p}}(E) > 0$ 이면 $\mathcal{C}_{\gamma,p}(E) > 0$ 이다.
• 임의의 비음수 함수 $f$ 에 대해 $f \geq \chi_E$ 이고 $\|f\|_{L^p}^p < \epsilon $ 이면, $\mathcal{C}_{\gamma,p}(E)$ 는 $\|f\|_{L^p}^p$ 의 상수배로 상한이 존재하며, $\epsilon \to 0$ 일 때 $\mathcal{C}_{\gamma,p}(E) = 0$ 이 된다.
• 수정된 하우스도르프 콘텐츠 $\widetilde{\mathcal{H}}_{\infty}^{\gamma,p}$ 는 리프스 용적의 상한과 하한을 모두 제공하며, 상수는 모두 더블링 및 차원 매개변수에만 의존한다.