[論文レビュー] Spectral theory and inverse problem on asymptotically hyperbolic orbifolds

Hiroshi Isozaki, Yaroslav Kurylev+1 more|arXiv (Cornell University)|Dec 2, 2013

Geometric Analysis and Curvature Flows参考文献 18被引用数 4

ひとこと要約

本稿は、尖頭部と正則端を持つ漸近的に双曲的オルビフォールドのスペクトル逆問題を、尖頭部におけるヘルムホルツ方程式の解から得られる一般化されたS行列を導入することによって確立する。S行列がリーマン計量およびオルビフォールド構造を一意に特定することを証明し、特異的で非コンパクトなリーマン空間に群作用を伴う逆散乱理論を拡張する。

ABSTRACT

We consider an inverse problem associated with $n$-dimensional asymptotically hyperbolic orbifolds $(n \geq 2)$ having a finite number of cusps and regular ends. By observing solutions of the Helmholtz equation at the cusp, we introduce a generalized $S$-matrix, and then show that it determines the manifolds with its Riemannian metric and the orbifold structure.

研究の動機と目的

• 漸近的に双曲的で有限個の尖頭部と正則端を持つオルビフォールドへの逆散乱理論の拡張。
• 尖頭部におけるヘルムホルツ方程式の解を用いて、特異点での滑らかさの欠如を克服する一般化されたS行列の定義。
• S行列がリーマン計量およびオルビフォールド構造（特異点を含む）を一意に特定することの証明。
• 特に高次元において、特異点に群作用を伴う、滑らかな多様体からの既知の結果をオルビフォールドへ一般化すること。
• 境界スペクトルデータからS行列およびノイマンからディリクレへの写像を介して、オルビフォールド幾何学を構成的に回復する手順の確立。

提案手法

• 尖頭部（無限遠で円筒的）と正則端（計量係数が減衰する）の2種類の端を持つ漸近的に双曲的オルビフォールドを定義する。
• 関数空間 $$\mathcal{B}^*\u0024$$ におけるヘルムホルツ方程式の解の漸近的挙動を用いて、$$O(y^{(n-1)/2})$$ の減衰を伴う一般化されたS行列を導入する。
• 内部問題に関連するノイマンからディリクレへの写像 $$\Lambda(k)$$ を用いて、コンパクトコア $$\mathcal{M}_{\text{int}}$$ 上のグリーン関数 $$G_{\text{int}}(X,Y;z)$$ を回復する。
• 境界 $$\Gamma$$ からの等長写像の繰り返し的拡張を用いて、オルビフォールド内部の正則部分の等長性を確立する。これには、自己半径および球体積の推定を用いる。
• グリーン関数の分離性：すべての $$Y$$ に対して $$G_{\text{int}}(X,Y;z) = G_{\text{int}}(X',Y;z)$$ ならば $$X = X'$$ が成り立つことから、等長写像の拡張の一意性を保証する。
• 局所的オルビフォールド同型定理を適用し、特異点における群作用が整合的である等長計量空間はオルビフォールド同型であると結論づける。

実験結果

リサーチクエスチョン

• RQ1 尖頭部で定義されたS行列は、漸近的に双曲的オルビフォールドのリーマン計量を一意に特定できるか？
• RQ2 一般化されたS行列は、特異点および局所的群作用を含むオルビフォールド構造の情報を符号化しているか？
• RQ3 スペクトルデータを用いて、尖頭部と正則端を有する非コンパクトで特異的なリーマン空間の逆問題を解くことができるか？
• RQ4 境界 $$\Gamma$$ からの等長写像を、群作用を保存しながら特異点を含む全正則部分へ拡張できるか？
• RQ5 境界におけるノイマンからディリクレへの写像 $$\Lambda(k)$$ は、オルビフォールドの全幾何構造をどの程度決定するか？

主な発見

• 尖頭部におけるヘルムホルツ方程式の解から導かれる一般化されたS行列は、漸近的に双曲的オルビフォールドのリーマン計量を一意に特定する。
• S行列は、内部コアの等長性を介して、特異点の存在および局所的群作用を含むオルビフォールド構造を決定する。
• 2つのオルビフォールドのノイマンからディリクレへの写像 $$\Lambda(k)$$ が同一であることは、S行列が一致することと同値であり、これは全幾何の回復を意味する。
• 特異点における自己半径は等長写像で保存され、特異点集合は測地的球体の境界が空でないことによって検出可能である。
• 自己半径および体積の制御のおかげで、境界 $$\Gamma$$ からの等長写像を全正則部分 $$\mathcal{M}_{\text{int}}^{(i),\text{reg}}$$ へ繰り返し拡張可能である。
• 計量の等長性および局所的群作用の整合性から、コンパクトなオルビフォールドからの結果を非コンパクトで可縮なオルビフォールドへ一般化し、オルビフォールド同型が得られる。