[論文レビュー] Inverse spectral theory and the Minkowski problem for the surface of revolution

Hiroshi Isozaki, Evgeny Korotyaev|arXiv (Cornell University)|May 17, 2016

Geometric Analysis and Curvature Flows被引用数 3

ひとこと要約

本稿は、回転対称多様体におけるスペクトルデータと半径関数の間の解析的同型を確立し、回転表面の逆スペクトル問題を解消する。半径プロファイルが固有値とノルム定数から一意に再構成可能であることを証明し、ワーパード積多様体上の逆スペクトル法を用いて、古典的ミンコフスキー問題をこの幾何的設定に拡張する。

ABSTRACT

We solve the inverse spectral problem for rotationally symmetric manifolds, which include the class of surfaces of revolution, by giving an analytic isomorphism from the space of spectral data onto the space of functions describing the radius of rotation. An analogue of the Minkowski problem is also solved.

研究の動機と目的

• 回転対称多様体（特に回転表面を含む）の逆スペクトル問題を解き、スペクトルデータから回転半径を再構成すること。
• スペクトルデータの空間と回転半径を記述する関数の空間との間の解析的同型を確立すること。
• ワーパード積多様体上のラプラシアン・ベルトラミー作用素から生じるSturm-Liouville作用素のスペクトルデータの範囲を特徴付けること。
• 回転表面の文脈におけるミンコフスキー問題の類似問題を逆スペクトル理論を用いて解くこと。

提案手法

• 座標変換と計量分解を用いて、回転表面における逆スペクトル問題を1次元Sturm-Liouville問題に還元する。
• ワーパード積多様体上のラプラシアン・ベルトラミー作用素を $ \Delta_M = \frac{1}{r^m} \partial_x(r^m \partial_x) + \frac{\Delta_Y}{r^2} $ の形に表現し、$ \Delta_Y $ の固有値によってインdex付けられた直交部分空間に分解する。
• 変数変換 $ \varrho = r^{m/2} $ を導入し、$ \varrho' / \varrho = q_0 + q(x) $ を用いて $ q(x) $ を定義し、ポテンシャル $ u = E_\nu / r^2 $ を持つシュレーディンガー型作用素に問題を還元する。
• 実解析的同型定理（定理4.3–4.5）を適用し、固有値とノルム定数からなるスペクトルデータが $ q(x) $ を一意に決定でき、したがって $ r(x) $ も一意に再構成可能であることを示す。
• スペクトル漸近挙動を用いて全長 $ t_0 $ を決定し、領域を $ [0,1] $ に正規化し、ディリクレ、混合、ロビン境界条件を有するSturm-Liouville作用素の逆理論を適用する。
• 変換された作用素に既知の逆スペクトル結果を適用可能とするために、ポテンシャル $ u = E_\nu e^{-4Q/m} $ が条件Uを満たすことを確立する。

実験結果

リサーチクエスチョン

• RQ1 回転表面の半径関数は、固有値とノルム定数を含むスペクトルデータから一意に再構成可能か？
• RQ2 回転対称多様体におけるスペクトルデータの空間と半径関数の空間との間には、標準的な同型が存在するか？
• RQ3 凸曲面をその表面積測度から再構成する古典的ミンコフスキー問題は、回転表面の逆スペクトル設定へどの程度一般化可能か？
• RQ4 ディリクレ、混合、ロビン境界条件の違いが、半径関数の逆スペクトル再構成にどのように影響するか？
• RQ5 基本多様体 $ Y $ の固有値が、ワーパード積多様体上の全ラプラシアンのスペクトルデータを決定する上で果たす役割は何か？

主な発見

• 関数 $ q \in \mathscr{W}_1^0 $ からスペクトルデータ $ \{ \widetilde{\mu}_n(q), \kappa_n(q) \} $ への写像は、実解析的同型であるため、スペクトルデータから半径関数が一意かつ滑らかに再構成可能である。
• ディリクレ境界条件の場合、スペクトル写像 $ \widetilde{\mu} $ は $ \mathscr{W}_0^{1,\text{odd}} $ から $ \mathcal{M}_1 $ への実解析的同型であり、$ \mu_n^0 = (\pi n)^2 $ である。
• 混合境界条件の場合、写像 $ \Psi: q \mapsto \{ \widetilde{\mu}_n(q,b), \chi_{n-1}(q,b) - \chi_{n-1}^0 \} $ は $ \mathcal{M}_1 \times \ell^2_1 $ への実解析的同型であり、$ \mu_n^0 = (\pi n + \frac{1}{2})^2 + 2b $ である。
• ロビン境界条件の場合、写像 $ \Psi_{a,b} $ は $ \mathscr{W}_1^0 $ から $ \mathcal{M}_1 \times \ell^2_1 $ への実解析的同型であり、$ \mu_n^0 = (\pi n)^2 + 2(a+b) $ である。
• 明示的な恒等式が導出される：$ b = \sum_{n=0}^\infty \left( 2 - \frac{e^{\chi_n(q,b)}}{ |\partial w / \partial \lambda (\mu_n, q, b)| } \right) $、これは境界パrameter $ b $ をスペクトルデータに結びつける。
• 正規化に対して解は安定である：全長 $ t_0 $ はスペクトル漸近挙動から回復可能であり、一般性を失わず、区間 $ [0,1] $ に縮小可能である。