[논문 리뷰] Uniform domains with rectifiable boundaries and harmonic measure

Mihalis Mourgoglou|arXiv (Cornell University)|2015. 05. 22.

Advanced Harmonic Analysis Research참고 문헌 13인용 수 8

한 줄 요약

이 논문은 d ≥ 2 인 ℝ^{d+1} 내의 균일 도메인에서 경계가 하향 아르골드-데이비드 d-정규이자 d-직선적일 경우, 국소적으로 유한한 하우스도르프 측도를 가질 때, d차원 하우스도르프 측도가 조화 측도에 대해 절대연속임을 입증한다. 이 결과는 균일성과 직선성 조건만으로도 이 절대연속성의 성립 여부를 해결하며, 전체 아르골드-데이비드 정규성 조건이 없더라도 성립함을 보여준다.

ABSTRACT

We assume that $Ω\subset \mathbb{R}^{d+1}$, $d \geq 2$, is a uniform domain with lower $d$-Ahlfors-David regular and $d$-rectifiable boundary. We show that if $\mathcal{H}^d|_{\partial Ω}$ is locally finite, then the Hausdorff measure $\mathcal{H}^d$ is absolutely continuous with respect to the harmonic measure $ω$ on $\partial Ω$, apart from a set of $\mathcal{H}^d$-measure zero.

연구 동기 및 목표

• 균일 도메인에서 경계가 직선적이고 하향 아르골드-데이비드 d-정규일 경우, 하우스도르프 측도가 조화 측도에 대해 절대연속인지 여부를 규명하는 것.
• 하우스도르프 측도의 국소 유한성과 기하학적 정규성(균일성, 직선성) 조건이 H^d ≪ ω를 충분히 만족하는지 여부를 해결하는 열린 문제를 해결하는 것.
• 하향 아르골드-데이비드 정규성 조건이 날카롭다는 것을 보이며, 이를 완화하면 절대연속성 결론이 유지되지 않음을 보여주는 것.
• d-정규성 조건이 없을 경우 s ∈ (d−1, d)에 대해 결과가 성립하지 않음을 보여주는 반례를 구성함으로써 d-정규성 조건의 날카로움을 입증하는 것.

제안 방법

• 위니쉬 큐브 분할을 활용하여 기하학적 구조와 경계 구조가 통제된 내부 부분 도메인 Ω′_E′를 구성한다.
• 최대원리를 적용하여 부분 도메인에서의 조화 측도 ω와 ω⁻를 비교하고, 절대연속성 성질을 전달한다.
• Badger [8]의 결과를 응용하여, H^d가 국소적으로 유한할 경우 NTA 도메인에서 H^d|_∂Ω ≪ ω가 성립하며, 이를 균일 도메인으로 확장한다.
• 균일 도메인에서 d-직선적 경계를 가진 경우 NTA임을 이용하여 기존의 A_∞-등가 결과를 적용한다.
• 상반평면 내에서 아르골드-데이비드 s-정규 집합(s < d)을 이용한 반례를 구성하여, d-정규성 조건이 없을 경우 H^d ≪ ω가 성립하지 않음을 보여준다.
• Bourgain의 결과를 적용하여 하향 정규 집합에서 양의 조화 측도가 존재하고, 조화 측도의 이중성 성질을 이용하여 ω(R^d) = 0임을 보이고, 이는 H^d가 ω에 대해 절대연속이 아님을 의미한다.

실험 결과

연구 질문

• RQ1 균일 도메인에서 경계가 d-직선적일 경우, H^d가 경계에서 국소적으로 유한하면 H^d ≪ ω인지 여부?
• RQ2 이러한 도메인에서 H^d ≪ ω를 위해 하향 아르골드-데이비드 d-정규성 조건이 필수적인가?
• RQ3 전체 아르골드-데이비드 정규성 조건 없이도 H^d가 ω에 대해 절대연속임을 입증할 수 있는가?
• RQ4 경계가 d보다 작은 s에 대해 s-정규일 경우 절대연속성은 어떻게 되는가?
• RQ5 이러한 도메인에서 H^d-측도가 양수인 집합에서 조화 측도가 양수인가?

주요 결과

• 균일 도메인에서 경계가 d-직선적이고 하향 아르골드-데이비드 d-정규일 경우, H^d|_∂Ω가 국소적으로 유한하면, ∂Ω 상에서 H^d-a.e.로 H^d ≪ ω가 성립한다.
• 하향 아르골드-데이비드 d-정규성 조건은 날카롭다: 각 s ∈ (d−1, d)에 대해, ∂Ω가 s-정규이고, Ω가 균일하며 d-직선적임에도 불구하고 H^d ≪ ω가 성립하지 않는 반례가 존재한다.
• 반례 도메인의 경계는 ∂Ω = R^d ∪ E로 구성되며, E는 s-정규이다. 이 경우 ω(R^d) = 0이므로, H^d-측도가 양수인 모든 집합 F ⊂ R^d에 대해 ω(F) = 0이다.
• 반례 도메인에서 조화 측도 ω는 이중성 성질을 가지며, ω-a.e. x ∈ R^d에 대해 r → 0일 때 ω(B(x,r)) → 0임을 확인하여 ω(R^d) = 0임을 확인한다.
• 결과적으로 균일성과 직선성 조건만으로는 하향 정규성 조건이 없으면 H^d ≪ ω가 성립하지 않으며, d-정규성 조건이 필수적임을 확인한다.
• 증명은 최대원리를 통해 부분 도메인으로부터 절대연속성을 전달하고, 국소적으로 유한한 H^d를 가진 NTA 도메인에 대한 기존 결과에 기반한다.