[論文レビュー] Inverse Spectral Problems for Collapsing Manifolds I: Uniqueness and Stability

Yaroslav Kurylev, Matti Lassas+2 more|arXiv (Cornell University)|Sep 26, 2012

Numerical methods in inverse problems参考文献 57被引用数 7

ひとこと要約

この論文は、滑らかでない低次元空間に崩壊する滑らかな多様体の極限挙動を分析することにより、崩壊するリーマン多様体上の逆スペクトル問題の一意性と安定性を確立する。内部の熱核測定値が、崩壊の下でも元の多様体の全測度付き計量構造を一意に決定することを示しており、Gromov-Hausdorff極限と軌道体構造を用いたスペクトル収束および等長的再構成の研究によって裏付けられる。

ABSTRACT

We consider the geometric inverse problem of determining a closed Riemannian manifold from measurements of the heat kernel in an open subset of the manifold. In this paper we analyze the stability of this problem in the class of $n$-dimensional Riemannian manifolds with bounded diameter and sectional curvature. It is well-known that a sequence in this class of manifolds can collapse to a lower dimensional stratified space when the injectivity radius of the sequence of manifolds goes to zero. We prove the uniqueness of the inverse problem on the limiting spaces of the collapsing manifolds. As a result, we obtain stability results for the inverse problem in the class of manifolds with bounded diameter and sectional curvature.

研究の動機と目的

• 閉じたリーマン多様体とその計量を、内部の熱核測定値から再構成する逆問題に取り組む。
• 元の多様体が低次元の非滑らか極限空間に崩壊する可能性のあるn次元多様体の族において、この再構成の安定性を分析する。
• 測度付き計量空間として現れる極限の非滑らか空間をGromov-Hausdorff極限の滑らかな崩壊列として研究することにより、一意性と安定性を確立する。
• 逆問題の枠組みを軌道体構造へ拡張し、極限空間の同型結果を証明する。
• 変換光学および数学的物理に関連する幾何解析における逆問題の理論的基盤を、崩壊下で提供する。

提案手法

• 測度付きGromov-Hausdorff距離を用いて、リーマン多様体の崩壊列が極限計量測度空間に収束する様子を分析する。
• スペクトル収束理論を適用し、極限空間におけるラプラシアン作用素と熱核の収束を示す。
• $ au_*: L^2_O(Y) \to L^2(X)$ を通じて、極限空間 $X$ 上のラプラシアンと、崩壊するファイバー空間 $Y$ 上のラプラシアンの $O(n)$-不変部品とのユニタリ同倣を構成する。
• Blagovestchenskii恒等式と近似的な可制御性を用いて、局所スペクトルデータから計量を再構成する。
• ファイバー束の定理と測度付きGromov-Hausdorff収束を用いて、極限空間の構造を特徴付ける。
• Dirichlet型形式 $a_X[u] = \int_{X^{\text{reg}}} |du|^2 \, d\mu_X$ 及びその関連する自己共役作用素 $\Delta_X$ を分析し、$L^2_O(Y)$ 上の $\Delta_O$ とユニタリ同倣であることが示される。

実験結果

リサーチクエスチョン

• RQ1 内部の熱核測定値は、閉じたリーマン多様体上の全リーマン計量および多様体構造を一意に決定できるか？
• RQ2 元の多様体が低次元の非滑らか極限空間に崩壊する場合、逆スペクトル問題の安定性はどのように振る舞うか？
• RQ3 有界曲率および有界直径をもつ滑らかな多様体の崩壊列の極限空間におけるラプラシアンのスペクトル的挙動は何か？
• RQ4 崩壊の下でも、部分集合上のスペクトルデータから、元の多様体の計測付き計量構造をどの程度再構成できるか？
• RQ5 崩壊する多様体のファイバーにおける軌道体構造や群作用（例：$O(n)$）は、スペクトル的および幾何的再構成にどのように影響するか？

主な発見

• 崩壊する多様体上の熱核の収束は、ラプラシアンのスペクトル収束を意味し、極限空間の固有値は元の多様体の固有値に含まれることが保証される。
• 極限空間 $X$ 上のラプラシアンは、ファイバー空間 $Y$ 上のラプラシアンの $O(n)$-不変部品とユニタリ同倣である。すなわち、$\Delta_X = \pi_* \circ \Delta_Y \circ \pi^*$ であり、$\pi_*$ は等長写像である。
• 極限空間 $X$ 上の固有関数は、$Y$ 上の $O(n)$-不変固有関数の押し出しである。すなわち、$\phi_j = \pi_*(\phi_j^O)$ であり、$\text{spec}(\Delta_X) = \text{spec}(\Delta_O) \subset \text{spec}(\Delta_Y)$ が成り立つ。
• 点に崩壊する多様体の列に対して、極限ラプラシアン $\Delta_X$ は定数関数上でゼロ倍算作用を及ぼし、$\text{spec}(\Delta_O) = \{0\}$ と整合的である。
• 極限空間がスペクトル的および計測付き計量構造の再構成によって分析される限り、有界な断面曲率および直径をもつ $n$ 次元多様体の族において、逆問題は安定である。
• 極限が非滑らかまたは特異的であっても、スペクトルデータを通じて極限空間と元の多様体の構造との同型が確立される。