[论文解读] Sobolev metrics on shape space of surfaces in n-space

Martin Bauer, Philipp Harms+1 more|arXiv (Cornell University)|Sep 19, 2010

Morphological variations and asymmetry参考文献 8被引用 7

一句话总结

本文将平面曲线上的Sobolev黎曼度量推广至R^n中紧致、定向曲面的形状空间，建立了一个通过浸入诱导的不变度量进行曲面分析的几何框架。主要贡献在于利用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（dim M < n）到R^n的浸入空间，模去M的微分同胚群作用后的商空间。
• 证明Sobolev型度量在浸入空间上的度量可诱导出形状空间上良定的、完备的黎曼度量。
• 为研究更高维环境空间中曲面形变与变化提供一个几何框架。

提出的方法

• 将形状空间定义为从紧致、定向流形M（dim M < n）到R^n的浸入空间，模去M的微分同胚群作用后的商空间。
• 利用阶数k ≥ 1的微分算子在浸入空间上构造Sobolev黎曼度量，其内积涉及喷射导数的L2范数。
• 通过证明度量在微分同胚群作用下保持不变，证明这些度量可下降为形状空间上良定的、完备的黎曼度量。
• 利用每一切浸入处的切空间结构，通过从环境空间R^n和M上诱导的度量来定义黎曼度量。
• 利用微分几何与无限维流形分析的工具，分析形状空间上所得黎曼流形结构的正则性与完备性。
• 证明该度量在曲面重参数化下保持不变，从而确保不同参数化下的几何一致性。

实验结果

研究问题

• RQ1 如何将先前定义于平面曲线的Sobolev黎曼度量推广至R^n中的曲面？
• RQ2 在浸入空间上的Sobolev度量满足何种条件时，可诱导出商形状空间上的良定度量？
• RQ3 在诱导的Sobolev度量下，所得形状空间是否配备有完备的黎曼流形结构？
• RQ4 微分算子阶数的选择如何影响形状空间的几何性质？
• RQ5 微分同胚群在保持形状空间上度量结构方面起何种作用？

主要发现

• 从紧致、定向流形M（dim M < n）到R^n的浸入空间上的Sobolev黎曼度量，可诱导出形状空间上良定的、完备的黎曼度量。
• 形状空间（定义为浸入空间模去M的微分同胚群作用）在诱导的Sobolev度量下继承了黎曼流形结构。
• 诱导的度量在曲面重参数化下保持不变，确保了不同参数化下的几何一致性。
• 该构造将先前关于平面曲线的结果推广至R^n中的高维曲面，将几何分析框架扩展至更复杂的形状空间。
• 在度量定义中使用高阶微分算子，确保了黎曼结构的充分正则性与完备性。
• 该框架支持对形状空间上测地线与曲率的研究，从而实现对曲面形变的定量分析。