[論文レビュー] Inverse problems in spectral geometry

Kiril Datchev, Hamid Hezari|arXiv (Cornell University)|Aug 29, 2011

Spectral Theory in Mathematical Physics参考文献 86被引用数 20

ひとこと要約

この論文は、リーマン多様体や領域の幾何構造が、ラプラシアン＝ベルトラミ作用素の固有値スペクトルによって等長写像を除いて一意に決定されるか、という逆スペクトル幾何学の問題を概説する。熱的・波動トレース不変量の結果を統合し、解析的かつ対称性の仮定の下で、楕円、球面、可積分的またはカオス的測地線流を持つ多様体といった形状が、スペクトルデータによって一意に特定可能であることを示す一方で、未解決問題や反例も指摘している。

ABSTRACT

In this survey we review positive inverse spectral and inverse resonant results for the following kinds of problems: Laplacians on bounded domains, Laplace-Beltrami operators on compact manifolds, Schrödinger operators, Laplacians on exterior domains, and Laplacians on manifolds which are hyperbolic near infinity.

研究の動機と目的

• 領域や多様体上のラプラシアンのスペクトルによって、面積、周囲長、オイラー標跡数、トポロジーといった幾何的不変量がどれだけ特定できるかを理解すること。
• 楕円、球面、平坦多様体といった幾何的対象が、対称性および解析的仮定のもとで、スペクトル的に一意的（スペクトル的固有）であるかどうかを調査すること。
• 波動トレース不変量と熱不変量が、スペクトルデータから幾何を再構成する役割を検討すること。
• 等スペクトル的変形が自明（スペクトル的剛性）またはコンパクト（スペクトル的コンパクト性）である条件を特定すること。
• 同じ不変量を持つが非等スペクトルな多様体を構成することで、スペクトル不変量の限界を明確にすること。

提案手法

• t \to 0^+ のときの熱トレース漸近展開 $\operatorname{Tr}e^{-t\Delta} \sim \sum a_j t^{j/2}$ を用い、係数 $a_j$ が幾何的不変量（例：$a_0 = \text{Area}/(2\pi)$, $a_1 = \text{Perimeter}/(4\pi)$）であることを示す。
• 周期的測地線の長さ $T$ の近くでの波動トレース展開 $\operatorname{Tr}\cos(t\sqrt{\Delta})$ を用い、周期的軌道から局所的不変量を抽出する。
• 量子バーキホフ正準形を用いて、波動不変量 $b_j$ を周期的測地線に沿った曲率および計量の微分の積分として表現する。
• 非退化周期的軌道とその反復を用い、解析的または対称的設定下で、波動トレース不変量による一意性結果を導出する。
• 半古典的極限におけるシュレーディンガー作用素のグーツヴィルターのトレース公式を用い、量子系におけるスペクトル不変量を分析する。
• 調和振動子などの対称的ポテンシャルの摂動を用いて反例を構成し、$\mathcal{O}(h^\infty)$ の範囲で不変量が一致するがスペクトルは異なる例を示す。

実験結果

リサーチクエスチョン

• RQ1 領域の面積、周囲長、オイラー標跡数は、ラプラシアン固有値スペクトルから回復可能か？
• RQ2 楕円や球面は、等スペクトル的変形のなかで、スペクトル的に剛性（一意的）であるか？
• RQ3 周期的測地線から得られる波動トレース不変量が、多様体の幾何をどの程度まで特定できるか？
• RQ4 非等長な二つの多様体が、同じ熱的または波動トレース不変量を持つことは可能か？その条件は何か？
• RQ5 解析的性および対称性の役割は、スペクトル的一意性を保証するためにどのように働き、逆問題の強度にどのように影響するか？

主な発見

• Weylの漸近法則および熱トレースのPleijelによる改良により、領域の面積と周囲長はスペクトル的不変量であることが示された。
• McKeanとSingerによる証明により、オイラー標跡数はスペクトル的不変量であり、熱トレース展開における $a_2$ 項が $\chi(\Omega)$ を与える。
• 等スペクトル的だが非等長な領域（例：Gordon-Webb-Wolpert領域）が存在するが、このような例は非凸かつ非滑らかであるため、凸または滑らかな領域のスペクトル的剛性は未解決のままである。
• 実解析的かつ対称的な領域では、非退化性の弱い条件のもとで、波動トレース不変量による周期的軌道から、スペクトル的一意性が成立する。
• 楕円、球面、平坦多様体、定負曲率多様体は、測地線流の特徴により、スペクトル的剛性が確立されている。
• 同じ波動トレース不変量を持つが非等スペクトルな二つの多様体の構成は未解決の問題であるが、このような例が存在すると予想されている。