[논문 리뷰] On the smoothness of Hölder-doubling measures

David Preiss, Xavier Tolsa외 1명|arXiv (Cornell University)|2007. 04. 28.

Analytic and geometric function theory참고 문헌 3인용 수 7

한 줄 요약

이 논문은 ℝᵐ의 부분집합에서 Hölder-이중 측도의 이중 비율에 대해 균일한 Hölder 유형의 제어 조건이 성립할 경우, n ≥ 3일 때는 n차원 하우스도르 플레비어 측도가 0인 집합을 제외한 영역에서 지지집합이 C¹,β 부분다양체임을 증명한다. n = 1, 2일 경우는 전 영역에서 C¹,β 부분다양체임을 보인다. 주요 결과는 이전의 평탄도 기반 정규성 정리들을 국소적 평탄도 조건 없이 일반적인 코드르미너스로 확장하며, Hölder 오차 한계를 가진 渐近적 이중성 조건이 영역의 거의 전역에서 매끄러움을 암시함을 보여준다.

ABSTRACT

In this paper we consider the question of whether the doubling character of a measure supported on a subset of $\RR^m$ determines the regularity of its support (in a classical sense). This problem was studied by David, Kenig and Toro for codimension 1 sets under the assumption that the support be flat. Here we study the higher codimension case and remove the flatness hypothesis.

연구 동기 및 목표

• 측도가 ℝᵐ의 부분집합에서 이중성 성질을 가지면, 그 지지집합이 고전적 의미에서 정규성을 가진다는 것을 규명하는 것.
• ℝᵐ에서 코드르미너스 1에서의 이전 정규성 결과를 일반 코드르미너스로 확장하는 것.
• 높은 코드르미너스의 경우 평탄도 가정을 제거하여, 지지집합의 매끄러움이 n차원 하우스도르 플레비어 측도가 0인 집합을 제외한 영역에서 성립함을 보이는 것.
• Rₜ(x,r)를 통해 이중 비율에 대한 Hölder 유형의 제어 조건이 지지집합의 C¹,β 정규성으로 이어진다는 것을 확립하는 것.

제안 방법

• Σ ∩ B(x,r)와 x를 통과하는 n차원 평면 사이의 정규화된 하우스도르 거리의 최소값으로 정의된 측도론적 평탄도 측정량 θ(x,r)를 정의한다.
• 이중성 편차 Rₜ(x,r) = μ(B(x,tr))/μ(B(x,r)) − tⁿ을 도입하여 渐近적 이중성 행동을 정량화한다.
• 만약 컴acts K ⊂ Σ와 t ∈ [1/2,1]에 대해 |Rₜ(x,r)| ≤ Cₖ r^α 이면, n ≥ 3일 경우 지지집합 Σ는 영역의 영측 집합을 제외한 곳에서 C¹,β 정규성을 가진다.
• 확대 분석과 탄젠트 측도를 이용하여, 측도가 Hölder 오차를 가진 채로 渐近적 이중성을 만족하면 탄젠트 측도는 평탄하지만, 무한대에서의 양의 평탄도와 모순되므로 지지집합이 매끄럽지 않으면 안 된다는 점을 보인다.
• 일반화된 Reifenberg 정리와 β-수를 이용하여 모든 척도에서 측도의 평탄도를 제어한다.
• 약한 컴팩턴스와 측도의 수렴을 이용하여 국소적 추정치를 전역적 정규성으로 이어지게 하여, 지지집합이 n-용량이 0인 집합을 제외한 곳에서 C¹,β 부분다양체임을 증명한다.

실험 결과

연구 질문

• RQ1 Hölder 오차 한계를 가진 측도의 渐近적 이중성 성질이 높은 코드르미너스에서 지지집합의 C¹,β 정규성을 암시하는가?
• RQ2 n ≥ 3인 경우에, 이중 측도의 정규성 이론에서 Reifenberg 평탄도 가정을 제거할 수 있는가?
• RQ3 이중 비율이 tⁿ에서 O(r^α)만큼 벗어날 경우 지지집합의 정확한 정규성은 무엇인가?
• RQ4 Hölder-이중 조건 하에서 지지집합의 특이점 집합이 반드시 n차원 하우스도르 플레비어 측도가 0이어야 하는가?
• RQ5 β-수와 탄젠트 측도의 행동은 Hölder-이중 제어 조건 하에서 지지집합의 정규성과 어떻게 관련되는가?

주요 결과

• n = 1,2일 경우, t ∈ [1/2,1]에 대해 |Rₜ(x,r)| ≤ Cₖ r^α 이면 지지집합 Σ는 ℝᵐ의 C¹,β 부분다양체이다.
• n ≥ 3일 경우, 동일한 조건 하에 Σ는 ℋⁿ(𝒮) = 0인 닫힌 집합 𝒮를 제외한 ℝᵐ의 C¹,β 부분다양체이다.
• Rₜ(x,r)에 대한 Hölder 제어 조건은 더 강력한 조건을 암시한다: 모든 t ∈ (0,1]과 x ∈ K에 대해 |Rₜ(x,r)| ≤ Cₖ r^α 이다.
• 증명은 확대 분석에 기반한다: 지지집합이 매끄럽지 않다면, 탄젠트 측도는 무한대에서는 평탄하지만 원점에서는 평탄하지 않게 되어 모순이 발생한다.
• 전역적 Reifenberg 평탄도 조건을 가정하지 않아도 결과가 성립하며, Hölder-이중 제어 조건 하에서 매끄러움이 국소적 성질임을 보여준다.
• 정규성 임계값 β는 α에만 의존하며, β = β(α) > 0이며, 지지집합의 컴팩트 부분집합 전역에서 일관되게 유지된다.