[논문 리뷰] Sobolev metrics on shape space of surfaces in n-space

Martin Bauer, Philipp Harms외 1명|arXiv (Cornell University)|2010. 09. 19.

Morphological variations and asymmetry참고 문헌 8인용 수 7

한 줄 요약

이 논문은 평면 곡선에 대해 기존에 개발된 Sobolev 리만계량을 R^n에 임bed된 컴팩트하고 정렬된 표면의 형태 공간으로 확장하여, 매장된 임베딩 공간에서 표면의 변형과 변형을 분석하기 위한 불변 계량을 통해 기하학적 프레임워크를 수립한다. 주요 기여는 임베딩 공간의 차원이 더 높은 경우에도 형태 공간에 대해 완전한 리만다이프만 구조를 구성하는 Sobolev 유형 계량을 통해 이루어지며, 이는 형태 변형과 변형의 엄밀한 분석을 가능하게 한다.

ABSTRACT

Abstract. This paper extends parts of the results from [14] for plane curves to the case of surfaces in Rn. Let M be a compact connected oriented manifold of dimension less than n without boundary. Then shape space is either the manifold of submanifolds of Rn of type M, or the orbifold of immersions from M to Rn modulo the group of diffeomorphisms of M. We investigate the Sobolev Riemannian metrics on shape space: These are induced by metrics of the following form on the space of immersions:

연구 동기 및 목표

• 이전에 평면 곡선에 대해 개발된 Sobolev 리만계량을 R^n에 임베딩된 표면의 경우로 일반화하기.
• M에서 R^n으로의 임베딩의 군에 대해 M의 미분동형사상의 작용을 고려하여 형태 공간을 정의하고 분석하기.
• 임베딩 공간에서의 Sobolev 유형 계량이 유도된 형태 공간에 잘 정의되고 완전한 리만계량이 되도록 보장하기.
• 고차원 환경 공간에서 표면의 형태 변화와 변형을 연구하기 위한 기하학적 프레임워크 제공하기.

제안 방법

• M(차원 M < n)에서 R^n으로의 임베딩의 군을 미분동형사상의 군에 대해 모듈로하여 형태 공간을 몫공간으로 정의하기.
• 차수 k ≥ 1인 미분 연산자를 사용하여 임베딩 공간에서의 Sobolev 리만계량을 구성하고, 제트 도함수의 L2 노름을 포함하는 내적을 정의하기.
• 미분동형사상 군 작용에 대한 불변성을 보여줌으로써 이러한 계량이 형태 공간에 잘 정의되고 완전한 리만계량으로 내림내림됨을 증명하기.
• 각 임베딩에서의 접공간의 구조를 이용하여, 환경공간 R^n과 M에 유도된 계량으로부터의 풀백을 통해 리만계량을 정의하기.
• 무한차원 다양체 위의 미분기하학과 분석 도구를 사용하여 형태 공간에 유도된 리만다이프다이프의 정규성과 완비성을 분석하기.
• 표면의 재매개변수화에 대해 계량이 불변임을 입증하여, 다양한 매개변수화 간의 기하학적 일관성 보장하기.

실험 결과

연구 질문

• RQ1 이전에 평면 곡선에 대해 정의된 Sobolev 리만계량은 R^n 내 표면에 대해 어떻게 일반화할 수 있는가?
• RQ2 임베딩 공간에서의 Sobolev 계량이 몫 형태 공간에 잘 정의된 계량으로 유도되기 위해 필요한 조건은 무엇인가?
• RQ3 유도된 Sobolev 계량 하에 결과 형태 공간은 완전한 리만다이프만 다양체 구조를 갖는가?
• RQ4 미분 연산자의 차수 선택이 형태 공간의 기하학적 성질에 어떻게 영향을 미치는가?
• RQ5 미분동형사상 군은 형태 공간에서 계량 구조를 유지하는 데 어떤 역할을 하는가?

주요 결과

• 컴팩트하고 정렬된 다양체 M(dim M < n)에서 R^n으로의 임베딩 공간에서의 Sobolev 리만계량은 형태 공간에 잘 정의되고 완전한 리만계량을 유도한다.
• 미분동형사상의 군에 대해 모듈로한 임베딩의 몫공간으로 정의된 형태 공간은 유도된 Sobolev 계량 하에 리만다이프만 다양체 구조를 갖는다.
• 유도된 계량은 표면의 재매개변수화에 대해 불변이므로, 다양한 매개변수화 간의 기하학적 일관성이 보장된다.
• 이러한 구성은 이전의 평면 곡선에 대한 결과를 R^n 내 고차원 표면으로 일반화하며, 더 복잡한 형태 공간으로의 기하학적 분석 프레임워크를 확장한다.
• 계량 정의에 고차 미분 연산자를 사용함으로써 리만다이프만 구조의 충분한 정규성과 완비성이 보장된다.
• 이 프레임워크는 형태 공간에서 지오데식과 곡률의 연구를 지원하여, 표면 변형의 정량적 분석을 가능하게 한다.