[논문 리뷰] Regularity of the singular set for Mumford-Shah minimizers in R^3 near a minimal cone

Antoine Lemenant|ArXiv.org|2008. 06. 18.

Nonlinear Partial Differential Equations참고 문헌 11인용 수 4

한 줄 요약

이 논문은 R³에서 무더운-샤 민저라이저의 특이집합 K가 최소 원뿔—특히 평면(P), Y자형 원뿔(Y), 또는 테트라헤드럴 원뿔(T))—근처에 있을 경우, K가 하우스도르프 거리에서 원뿔에 충분히 가까이 있을 때 C¹,α로 정규화된다는 것을 증명한다. 핵심 결과는 더 작은 구 안에서 K와 최소 원뿔 간에 국소적인 C¹,α 동치성을 확립하는 것으로, 이는 이전의 평탄한 집합에 대한 정규성 결과를 일반적인 최소 원뿔으로 확장한다.

ABSTRACT

We show that if (u;K) is a minimizer of the Mumford-Shah functional in an open set of R^3, and if x, K and r > 0 are such that K is close enough to a minimal cone of type P (a plane), Y (three half planes meeting with 120 degrees angles) or T (cone over a regular tetrahedron centered at the origin) in terms of Hausdorff distance in B(x; r), then K is C^1,alpha equivalent to the minimal cone in B(x; cr) where c < 1 is an universal constant.

연구 동기 및 목표

• R³에서 무더운-샤 민저라이저의 정규성 이론을 평탄한 특이집합을 초월하여 확장하기 위해.
• 특이집합 K가 하우스도르프 거리에서 최소 원뿔(P, Y, 또는 T)에 충분히 가까이 있을 경우, 그 점 근처에서 K가 C¹,α로 정규화됨을 입증하기 위해.
• Ambrosio-Fusco-Pallara( AFP97)의 평탄성 기반 정규성 결과를 초평면에서 R³의 세 가지 최소 원뿔 유형(P, Y, T)으로 일반화하기 위해.
• 특이집합과 최소 원뿔 간의 C¹,α 동치성을 실현하는 국소 미분동형사상(다양체)을 제공하기 위해.
• 소규모 에너지와 소규모 게이지 함수가 특이집합의 국소 정규성으로 이어지는 조건을 증명하기 위해, 컴팩턴스와 블로우업 추론을 사용하기 위해.

제안 방법

• 에너지 기반 접근을 일반화하기 위해 게이지 함수 h(r)를 사용하여 무더운-샤 함수의 변형을 제어하기 위해.
• 소규모 에너지와 소규모 게이지 함수가 전역 최소화자로 수렴함을 보이기 위해 블로우업 근접을 통한 컴팩턴스 추론을 적용하기 위해.
• R³에서 전역 최소화자는 David(DAVa)에 의해 증명된 바와 같이 P, Y, 또는 T 유형의 최소 원뿔임을 이용하기 위해.
• 공간 B 내에서 특이집합 K와 최소 원뿔 Z 사이의 유사도를 하우스도르프 거리 D_H로 정량화하기 위해.
• 특이집합이 하우스도르프 거리에서 최소 원뿔에 가까우며 에너지가 작을 조건 하에 기울기 유사도 추정(정리 45)을 적용하기 위해.
• 특이집합 K와 최소 원뿔 Z 간의 국소 C¹,α 동치성을 확보하기 위해, 더 작은 구 B(x,cr) 안에서 Z에서 K로 사상하는 C¹,α 미분동형사상 φ를 구성하기 위해.

실험 결과

연구 질문

• RQ1 특이집합 K가 평면이 아닌 비평탄한 최소 원뿔, 예를 들어 Y 또는 T 원뿔에 가까울 경우, R³에서 무더운-샤 민저라이저의 특이집합 K에 대한 C¹,α 정규성이 확립될 수 있는가?
• RQ2 AFP97의 평탄성 기반 정규성 결과가 R³의 세 가지 최소 원뿔 유형(P, Y, T)으로 확장되는가?
• RQ3 에너지와 게이지 함수에 어떤 조건이 있어야 특이집합이 최소 원뿔과 국소적으로 C¹,α 동치가 되는가?
• RQ4 전역 최소화자 분석에서 사용된 컴팩턴스와 블로우업 기법을 최소 원뿔 주변의 국소 정규성 증명에 적응할 수 있는가?
• RQ5 하우스도르프 거리에서 원뿔에 가까울 경우, K가 더 작은 구 B(x,cr) 안에서 최소 원뿔과 C¹,α 동치가 되도록 하는 통일된 상수 c < 1가 존재하는가?

주요 결과

• 특이집합 K가 공간 B(x,r) 내에서 하우스도르프 거리에서 최소 원뿔(P, Y, 또는 T)에 충분히 가까울 경우, 어떤 보편적인 상수 c < 1에 대해 더 작은 구 B(x,cr) 안에서 K는 C¹,α로 정규화된다.
• 에너지 ω₂(x,r)와 게이지 함수 h(r)가 충분히 작을 경우, 즉 ω₂(x,r) + h(r) ≤ ε 이며 ε > 0 이면 결과가 성립한다.
• 정규성은 최소 원뿔 Z를 K로 사상하는 C¹,α 미분동형사상 φ를 통해 달성되며, 이는 국소 C¹,α 동치성을 보장한다.
• 증명은 소규모 에너지 최소화자들이 전역 최소화자로 수렴함을 보이는 컴팩턴스와 블로우업 추론에 의존한다. 전역 최소화자는 알려진 lin 최소 원뿔임을 안다.
• 이 결과는 Ambrosio-Fusco-Pallara( AFP97)의 평탄성 기반 정규성 결과를 초평면에서 R³의 세 가지 최소 원뿔 유형으로 일반화한다.
• L∞ 데이터 g를 가진 표준 무더운-샤 함수에 대해, r < r̃(‖g‖∞) 이면 결과가 성립하며, 이 경우 ω₂(x,r) ≤ ε 일 때 국소 C¹,α 정규성이 보장된다.