[論文レビュー] Inverse spectral problem for analytic $(Z/2Z)^n$-symmetric domains in $R^n$

Hamid Hezari, Steve Zelditch|arXiv (Cornell University)|Feb 9, 2009

Spectral Theory in Mathematical Physics参考文献 36被引用数 18

ひとこと要約

この論文は、ℝⁿ 内の有界で実解析的領域が (ℤ/2ℤ)ⁿ 対称性と固定長のバウンシングボール軌道を持つ場合、古典的力学における非退化条件（ポアンカレ写像の固有値）を満たす限り、そのディリクレまたはノイマン固有値によって一意に特定されることを確立している。主な貢献は、球対称でない領域に対する高次元の逆スペクトル問題に対する肯定的解決であり、平面領域に関する先行結果を高次元に拡張し、対称性および力学的非退化性のもとでスペクトル剛性を示したことにある。

ABSTRACT

In this paper we show that bounded analytic domains in $\R^n$ with mirror symmetries across all coordinate axes are spectrally determined among other such domains. Our approach builds on finding concrete formulas for the wave invariants at a bouncing ball orbit. The wave invariants are calculated from a stationary phase expansion applied to a well-constructed microlocal parametrix for the trace of the resolvent.

研究の動機と目的

• ℝⁿ 内の有界で実解析的領域が (ℤ/2ℤ)ⁿ 対称性を持つ場合の逆スペクトル問題を解くこと。
• このような領域がディリクレまたはノイマン固有値によって一意に特定されるかどうかを特定すること。
• 平面領域に関する先行結果を高次元に拡張し、球対称性に依存しないこと。
• バウンシングボール軌道における一般的な非退化条件のもとでスペクトル剛性を確立すること。
• 固定軸長をもつ対称的解析的領域のうち、スペクトルがその幾何学を一意に決定することを示すこと。

提案手法

• 半古典的リゾルベントと波群を用いてラプラシアンのスペクトルからスペクトル不変量を抽出する。
• ポアンカレ写像とその固有値を用いて、バウンシングボール軌道に関連する波不変量を分析する。
• バライアン＝ブロッホの公式を適用し、波不変量を周期軌道におけるヘッセ行列と曲率データの形で表現する。
• 非退化条件を課す：ポアンカレ写像に固有値 1 が存在せず、角度が ℚ 上で一次独立であること。
• バウンシングボール軌道の近傍における境界定義関数のテイラー展開を行い、三角関数の線形独立性を用いて係数を回復する。
• 数学的帰納法とスペクトル不変量を用いて、スペクトルから領域の形状を再構成する。

実験結果

リサーチクエスチョン

• RQ1 ℝⁿ 内の有界で実解析的領域が (ℤ/2ℤ)ⁿ 対称性を持つ場合、ディリクレまたはノイマン固有値によって一意に特定されるか？
• RQ2 球体でない場合でも、ラプラシアンのスペクトルがその領域の幾何学を決定するのか？
• RQ3 周期軌道におけるどのような力学的条件が高次元におけるスペクトル剛性を保証するか？
• RQ4 バウンシングボール軌道に関連する波不変量を用いて、領域の境界を等長写像を除いて再構成できるか？
• RQ5 球体でない対称的領域について、次元が2より大きい場合にスペクトル的決定が可能か？

主な発見

• ディリクレまたはノイマンラプラシアンのスペクトルは、(ℤ/2ℤ)ⁿ 対称性と固定長のバウンシングボール軌道を持つすべての有界で実解析的領域の中で、領域を一意に特定する。
• 非退化条件 — ポアンカレ写像に固有値 1 がなく、角度が ℚ 上で一次独立であること — がスペクトル剛性を保証する。
• バウンシングボール軌道における波不変量は、スペクトル不変量であり、境界定義関数のテイラー係数を符号化している。
• 関数 (cot(rα/2))^γ たちの ℕ 上の線形独立性から、境界関数のすべての偶数次項の係数がスペクトルから回復可能であることが示される。
• 証明は半古典的リゾルベントと波群を用いて不変量を抽出しており、熱トレース法に依存しない。
• 本結果は、球体でない高次元ユークリッド領域について、初めての肯定的逆スペクトル結果である。