[논문 리뷰] Partial regularity and smooth topology-preserving approximations of rough domains

J. M. Ball, Arghir Zarnescu|arXiv (Cornell University)|2013. 12. 17.

Advanced Mathematical Modeling in Engineering참고 문헌 33인용 수 5

한 줄 요약

이 논문은 $ \mathbb{R}^m $ 내의 유계 $ C^0 $ 도메인($ m = 2,3 $이거나 오일러 특성이 0이 아닌 경우)이 정규화된 방향장과 관련된 흐름을 통해 $ C^\infty $ 도메인으로의 매끄럽고 위상 구조를 유지하는 근사가 가능하다는 것을 증명한다. 핵심 기여는 국소 리프시츠 성질에 대한 부분적 정규성 결과이다: 전반적으로 리프시츠가 아닐 수 있지만, 어떤 경계점에서 국소적으로 리프시츠 성질을 가진다.

ABSTRACT

For a bounded domain $Ω\subset\mathbb{R}^m, m\geq 2,$ of class $C^0$, the properties are studied of fields of `good directions', that is the directions with respect to which $\partialΩ$ can be locally represented as the graph of a continuous function. For any such domain there is a canonical smooth field of good directions defined in a suitable neighbourhood of $\partialΩ$, in terms of which a corresponding flow can be defined. Using this flow it is shown that $Ω$ can be approximated from the inside and the outside by diffeomorphic domains of class $C^\infty$. Whether or not the image of a general continuous field of good directions (pseudonormals) defined on $\partialΩ$ is the whole of $\mathbb{S}^{m-1}$ is shown to depend on the topology of $Ω$. These considerations are used to prove that if $m=2,3$, or if $Ω$ has nonzero Euler characteristic, there is a point $P\in\partialΩ$ in the neighbourhood of which $\partialΩ$ is Lipschitz. The results provide new information even for more regular domains, with Lipschitz or smooth boundaries.

연구 동기 및 목표

• 거칠은 $ C^0 $ 도메인을 매끄러운 $ C^\infty $ 도메인으로 위상적 성질을 유지하면서 일반적이고 체계적인 방법으로 근사하는 기법을 개발하는 것.
• 경계가 국소적으로 그래프 형태임을 나타내는 '좋은 방향'의 장에 대한 위상적 제약 조건을 분석하고, 그 사상의 전사성(onto)을 조사하는 것.
• 특정 위상 조건(예: $ m=2,3 $ 또는 오일러 특성이 0이 아님)이 성립할 경우, 경계가 어떤 점에서 국소적으로 리프시츠 성질을 가짐을 증명함으로써 $ C^0 $ 도메인의 부분 정규성을 확립하는 것.
• 특수한 경우에 의존하지 않는 일반적인 $ C^0 $ 도메인을 다루는 통합 프레임워크를 제공하여, PDE 및 기하학 분석에서의 응용을 위한 기초를 마련하는 것.
• 자유 경계 문제, 최적 설계, 균열 역학 등 특이점을 가진 도메인에 대한 도구를 확장하기 위해, 미분동형형태와 위상 동형형태를 유지하는 매끄러운 근사 도메인을 구성하는 것.

제안 방법

• 경계점에서의 '좋은 방향'을 정의한다. 이는 경계가 연속 함수의 그래프 형태로 나타나는 단위 벡터로, $ \mathbb{S}^{m-1} $ 내의 지오데식적 볼록 부분집합을 이룬다.
• 국소 좌표계와 파artition of unity를 사용하여 $ \partial\Omega $ 근방에서 정규화된 좋은 방향장의 균일한 스무스 필드를 구성한다.
• 정규화된 부호 거리 함수 $ \rho $를 이용해, $ \Omega_\varepsilon = \{ x : \rho(x) > \varepsilon \} $ 형태의 미분동형인 $ C^\infty $ 도메인의 가속도를 유도하는 좋은 방향장에 沿한 흐름을 정의한다.
• 위상 차수 이론을 사용하여, $ m=2 $ 또는 $ \chi(\Omega) \neq 0 $ 이면, $ \partial\Omega $ 상의 연속적인 허위법선(좋은 방향) 필드의 상(image)이 $ \mathbb{S}^{m-1} $ 전부에 전사적임을 증명한다.
• 흐름과 좋은 방향의 구조를 이용하여, $ \partial\Omega $ 가 어떤 점에서도 국소적으로 리프시츠가 아니면, 좋은 방향 필드의 상이 $ \mathbb{S}^{m-1} $ 의 작은 부분집합에 포함되어야 하는데, 이는 전사성과 모순됨을 보인다.
• 컴actness와 유한 커버링 추론을 적용하여, 세 개의 선형 독립적인 좋은 방향이 존재하는 $ \partial\Omega $ 상의 극한점이 존재함을 추론하고, 이로부터 국소 리프시츠 정규성을 유도한다.

실험 결과

연구 질문

• RQ1 일반적인 $ C^0 $ 도메인 $ \Omega \subset \mathbb{R}^m $ 은 내부 및 외부에서 $ \Omega $ 와 미분동형인 $ C^\infty $ 도메인으로 근사될 수 있는가?
• RQ2 경계 $ \partial\Omega $ 상의 연속적인 허위법선 필드가 $ \mathbb{S}^{m-1} $ 전부에 전사적이 되기 위한 위상적 조건은 무엇인가?
• RQ3 $ C^0 $ 도메인의 경계에 대해 전역 리프시츠나 $ C^1 $ 정규성 조건 없이도 국소 리프시츠 정규성(예: 국소 리프시츠 성질)을 증명할 수 있는가?
• RQ4 오일러 특성이 좋은 방향의 존재성과 허위법선 필드의 전사성에 미치는 역할은 무엇인가?
• RQ5 매끄러운 근사 도메인의 구성 방법을 $ C^0 $ 도메인과 $ C^1 $-미분동형인 도메인으로 확장할 수 있는가? 이 경우 위상적 및 미분적 성질을 유지할 수 있는가?

주요 결과

• 모든 유계 $ C^0 $ 도메인 $ \Omega \subset \mathbb{R}^m $ 에 대해, $ \partial\Omega $ 근방에서 정의된 정규화된 좋은 방향장이 존재하며, 이는 매끄러운 근사 도메인의 구성에 기여한다.
• 작은 $ \varepsilon > 0 $ 에 대해 $ \Omega_\varepsilon = \{ x : \rho(x) > \varepsilon \} $ 형태의 근사 도메인은 $ C^\infty $ 이며, $ \Omega $ 와 미분동형이며, $ \bar{\Omega}_\varepsilon $ 는 $ \bar{\Omega} $ 와 위상동형이므로 위상 유형이 유지된다.
• 만약 $ m=2 $ 또는 $ m=3 $ 이거나 $ \chi(\Omega) \neq 0 $ 이면, $ \partial\Omega $ 는 전반적으로 리프시츠가 아니더라도 어떤 점 $ P \in \partial\Omega $ 에서 국소적으로 리프시츠 성질을 가진다.
• 연속적인 허위법선 필드가 $ \partial\Omega $ 에서 $ \mathbb{S}^{m-1} $ 전부에 전사적일 조건은 $ m=2 $ 또는 $ \chi(\Omega) \neq 0 $ 일 때이다. 그러나 일반적으로는 그렇지 않다. 예를 들어 $ \mathbb{R}^3 $ 내의 고체 토러스의 경우, 상은 큰 원 근처의 작은 이웃집합에 포함될 수 있다.
• 근사 경계의 극한점에서 세 개의 선형 독립적인 좋은 방향이 존재하면, 그 점에서 $ \partial\Omega $ 는 국소적으로 리프시츠 정규성을 가진다.
• 결과는 $ C^0 $ 도메인과 $ C^1 $-미분동형인 도메인으로까지 확장되며, 더 일반적인 경계를 가진 위상 다양체(예: 극좌표에서 미분 불가능 함수로 정의된 도메인)에서는 부분 정규성 결과가 성립하지 않는다.