[논문 리뷰] Uniform ball property and existence of optimal shapes for a wide class of geometric functionals

Jérémy Dalphin|arXiv (Cornell University)|2015. 04. 16.

Geometric Analysis and Curvature Flows참고 문헌 33인용 수 13

한 줄 요약

이 논문은 $\mathbb{R}^3$에서 곡률에 의존하는 함수에 대한 광범위한 기하형상 최적화 문제에 대해 $C^{1,1}$-정규 최소화자를 존재시킴을 증명한다. 균일한 공 조건을 통해 정규성과 컴팩턴스를 보장한다. 주요 기여는 위치, 법선 벡터, 평균 곡률, 가우스 곡률에 의존하는 일반적인 존재 정리로, 표면적, 부피, 기타 적분 양에 대한 제약 조건이 포함되어 있다.

ABSTRACT

In this paper, we are interested in shape optimization problems involving the ge ometry (normal, curvatures) of the surfaces. We consider a class of hypersurface s in $\\mathbb{R}^{n}$ satisfying a uniform ball condition and we prove the exist ence of a $C^{1,1}$-regular minimizer for general geometric functionals and cons traints involving the first- and second-order properties of surfaces, such as in $\\mathbb{R}^{3}$ problems of the form: $$ \\inf \\int_{\\partial \\Omega} j_0 [ \\mathbf{x},\\mathbf{n}(\\mathbf{x}) ] dA (\\mathbf{x}) + \\int_{\\partial \\Omega} j_1 [ \\mathbf{x},\\mathbf{n}(\\mathbf{x}),H(\\mathbf{x}) ] dA (\\mathbf{x}) + \\int_{\\partial \\Omega} j_2 [\\mathbf{x},\\mathbf{n}(\\mathbf{x}),K(\\mathbf{x})] dA (\\mathbf{x}), $$ where $\\mathbf{n}$, $H$, and $K$ respectively denotes the normal, the scalar mea n curvature and the Gaussian curvature. We gives some various applications in th e modelling of red blood cells such as the Canham-Helfrich energy and the Willmo re functional.

연구 동기 및 목표

• 위치, 법선 벡터, 평균 곡률, 가우스 곡률과 같은 표면의 일阶 및 이阶 성질을 포함하는 기하 함수에 대해 정규 최소화자의 존재를 확립한다.
• 모서리나 자가교차와 같은 특이성을 방지할 수 있는 적절한 적합한 형상의 클래스를 규명하여 컴팩턴스와 정규성을 보장한다.
• 곡률에 의존하는 에너지가 포함된 제약 조건이 있는 최적화 문제에 대한 일반적인 존재 결과를 제공하며, 적혈구 형태와 같은 물리적 모델에 적용 가능하다.
• 고급 기하 측도 이론에 의존하지 않고 기초 분석 도구를 사용하여 접근성과 광범위한 적용 가능성을 확보한다.
• 균일한 공 조건, $C^{1,1}$-정규성, 양의 도달 범위 사이의 관계를 통합하고 형식화하여, 한 개의 참고문헌에서 처음으로 이러한 동치 관계를 확립한다.

제안 방법

• 열린 집합 $\Omega \subset \mathbb{R}^n$에 대한 균일한 $\varepsilon$-공 조건을 도입하여, 경계의 모든 점에서 내부 및 외부 공이 반지름 $\varepsilon$로 경계에 접하는 것을 보장한다.
• 균일한 공 조건을 사용하여 초표면의 $C^{1,1}$-정규성과 양의 도달 범위를 특성화하며, 기하적 정규성과 해석적 컴팩턴스 사이의 다리를 놓는다.
• 함수 $\int_{\partial\Omega} j_0[\mathbf{x},\mathbf{n}] \, dA + \int_{\partial\Omega} j_1[\mathbf{x},\mathbf{n},H] \, dA + \int_{\partial\Omega} j_2[\mathbf{x},\mathbf{n},K] \, dA$ 의 형태를 가진 함수를 $\mathcal{O}_\varepsilon(B)$ 내의 적합한 집합에서 최소화하기 위해 변분 방법을 적용한다.
• 국소 그래프 표현과 분할 항등식을 사용하여 정규 벡터와 곡률의 수렴성을 다루며, 균일한 유계성 하에서 수렴을 보장한다.
• 곡률 변수에서의 볼록성과 벡터장 및 법선 맵의 균일 수렴을 통한 제약 조건의 연속성으로 인해 함수의 하부 하우스도르프 연속성을 확립한다.
• 순차적 수렴을 통해 $\mathcal{O}_\varepsilon(B)$ 내에서 컴팩턴스를 적용하여, 최소화 수열이 동일한 클래스 내의 최소화자로 수렴함을 보장한다.

실험 결과

연구 질문

• RQ1 위치, 법선 벡터, 평균 곡률, 가우스 곡률에 의존하는 일반적인 기하 함수에 대해 $C^{1,1}$-정규 최소화자가 존재하는가?
• RQ2 균일한 공 조건이 형상 최적화 문제에서 컴팩턴스와 정규성을 보장하는 충분조건이 될 수 있는가?
• RQ3 윌모어 함수와 캔햄-헬프리치 에너지와 같은 곡률에 의존하는 에너지를 기하 제약 조건 하에서 엄밀하게 최소화할 수 있는가?
• RQ4 균일한 공 조건, $C^{1,1}$-정규성, 페더러의 도달 개념 사이의 정확한 관계는 무엇인가?
• RQ5 기하 측도 이론에 의존하지 않고 기초 분석 도구만으로 존재 결과를 확보할 수 있는가?

주요 결과

• 균일한 $\varepsilon$-공 조건은 집합 $\Omega$의 경계가 $C^{1,1}$-정규이며 양의 도달 범위를 가짐을 보장하여 기하적 정규성 기준을 제공한다.
• $\mathcal{O}_\varepsilon(B)$ 내의 최소화 수열은 한계 $\Omega \in \mathcal{O}_\varepsilon(B)$로 수렴하며, 적합한 형상의 클래스 내에서 컴팩턴스를 보장한다.
• 주어진 가정 하에 함수 $\int_{\partial\Omega} j_0[\mathbf{x},\mathbf{n}] \, dA + \int_{\partial\Omega} j_1[\mathbf{x},\mathbf{n},H] \, dA + \int_{\partial\Omega} j_2[\mathbf{x},\mathbf{n},K] \, dA$ 는 하부 하우스도르프 연속성을 보이며, 최소화자의 존재를 가능하게 한다.
• 표면적과 부피를 포함한 제약 조건은 균일한 공 조건이 유도하는 위상에서 연속적이며, 극한 하에서 타당성을 유지한다.
• 벡터장 $\mathbf{V}$ 와 관련된 법선 곡률 $\kappa_{\mathbf{v}}$ 는 표면 그래프의 균일 수렴 하에서 대각 수렴성을 보이며, 곡률 관련 항의 연속성을 보장한다.
• 적절한 제약 조건 하에서 캔햄-헬프리치 에너지와 윌모어 함수에 대해 최소화자가 존재함을 증명하여, 이 틀이 물리적 모델에 적용 가능함을 확인한다.