[論文レビュー] Inverse spectral problem for analytic plane domains II: $\Z_2$-symmetric domains

Steve Zelditch|arXiv (Cornell University)|Nov 7, 2001

Holomorphic and Operator Theory参考文献 19被引用数 4

ひとこと要約

本稿は、境界の振動的積分とファインマン図式を用いて、解析的平面領域における波動トレース不変量を計算する新規なアルゴリズムを開発する。特に、ℤ₂対称性または二面体対称性をもつ領域に対して、そのディリクレまたはノイマン固有スペクトルによって領域の形状が一意に特定されることを証明する。これは、これまでの結果を拡張し、『ドンの形が聞こえる』という主張が解析的領域に対して、現在までで最も強い証拠を提供する。

ABSTRACT

This is part of a series of papers on the inverse spectral problem for bounded analytic plane domains. Here, we use the trace formula established in the first paper (`Balian-Bloch trace formula') to explicitly calculate wave trace invariants associated to bouncing ball orbits and dihedral rays. We use these invariants to prove that simply connected bounded analytic plane domains with one symmetry (which reverses a bouncing ball orbit of fixed length L) are spectrally determined in this class.

研究の動機と目的

• 解析的平面領域の逆スペクトル問題を解き、固有スペクトルが領域の形状を一意に特定するかどうかを明らかにすること。
• 二つの対称性を持つ領域に対して既に示されたスペクトル的決定性を、ℤ₂対称性や二面体対称性といった、1つの対称性のみをもつクラスへと拡張すること。
• 特に、曲率の最大階数の導関数を含む波動トレース不変量が、対称な場合に領域を一意に再構成可能であることを確立すること。
• 量子ビルコフ正規形を完全に用いずに、Balian-Blochに基づく直接的な代替手法を提供し、1対称性領域の計算を簡略化すること。

提案手法

• 本稿は、境界定義関数に明示的な依存性をもつ、局所化された波動トレースを境界上での有限個の振動的積分の和として新たに定式化する。
• これらの振動的積分の停留位相展開における項を体系的に列挙・分析するために、ファインマン図式的手法を用いる。
• 各波動不変量の展開の各階層で、支配的となるのは境界曲率の導関数の数が最大の項であることが示され、それらに注目する。
• ℤ₂対称領域の場合、その主項の振幅と位相が、最高階数導関数不変量の全セットを符号化していることが特定される。
• 二面体領域の場合、有限フーリエ変換を用いて長さ関数のヘッシアンを対角化し、ヘッシアンの累乗和の解析が可能になる。
• この手法により、最高階数導関数項に寄与するのは主項のみであることが証明され、逆問題は支配的不変量からの境界データの回復に帰着される。

実験結果

リサーチクエスチョン

• RQ1 ℤ₂対称性のみをもつ解析的平面領域は、ディリクレまたはノイマン固有スペクトルによって一意に特定可能か？
• RQ2 曲率の最大階数の導関数を含む波動トレース不変量は、対称領域において境界形状を一意に特定可能か？
• RQ3 Balian-Blochアプローチは、1対称性領域において、完全な量子ビルコフ正規形を用いずに、スペクトル不変量を回復可能か？
• RQ4 有限フーリエ変換を用いて、二面体領域における長さ関数のヘッシアンを対角化し、スペクトル不変量を抽出可能か？
• RQ5 波動不変量の展開における最高階数導関数項の係数は、波動トレース展開において不変であり、したがってスペクトル不変量であるか？

主な発見

• 波動トレース展開における主な振動的積分は、曲率の2j−2階微分に依存するj次波動不変量のすべてを生成する。
• 最高階数導関数項に寄与するのは主項のみであり、他の項はスペクトル的決定において冗長であることが示された。
• ℤ₂対称領域の場合、原点における境界関数の2j階微分f^{(2j)}(0)は、波動トレース展開のk^{−j+1}項に線形に現れる。
• m重対称性をもつ二面体領域の場合、波動不変量におけるf^{(2j)}(0)の係数がBalian-Bloch不変量であることが示され、したがってスペクトル不変量である。
• 跳ね返り運動のr回繰り返しに対応するポアンカレ写像の固有値は波動トレース不変量であり、そのトレースは反射点におけるヘッシアン成分h^{pp}の和を決定する。
• 本稿は、単連結な解析的ユークリッド平面領域がℤ₂対称性または二面体対称性をもつ場合、ディリクレまたはノイマン固有スペクトルによって一意に特定されることを証明する。