逆スペクトル幾何
音から形はどこまで聞こえるか
この本が追う問い
長さだけが違う二本の同じ弦を鳴らせば、長い弦の音は低い。理想的な一様弦なら、基本振動数から長さを逆算できる。では、平面に張った膜の固有振動数を低い方から重複度込みですべて知れば、輪郭まで逆算できるだろうか。
答えを先に言えば、面積などは聞こえるが、一般には形そのものは聞こえない。しかし、この否定だけでは逆スペクトル幾何の面白さを取り逃がす。スペクトルは幾何の情報を大量に保持し、円板のように一意に認識できる形もある。それでも異なる形が同じ全固有値列を持つ。この本は、その境界を計算から追う。
本書の主線は次の通りである。
- 弦の自由体図から波動方程式を導き、最初の逆問題を解く。
- 膜の四辺の力から Laplacian を導き、固有値が音になる式を得る。
- 離散スペクトルの意味を確認し、区間・長方形・円板を途中式込みで解く。
- 格子点計数から Weyl 則を発見し、熱核・変分原理で聞こえる幾何を増やす。
- GWW の歴史的反例を理解し、BCDS の7タイル propeller を正確な接着データで構成して7×7行列で等スペクトル性を検算する。
- その行列を Sunada 法へ抽象化し、追加データ、一意性、安定性、wave trace へ進む。
読み方
第1章から第12章までは一本道である。第13章は発展編で、主線を理解した後に選んで読める。付録は解析的基礎と再現可能な数値実験をまとめる。本文では主張を「計算」「定理」「証明の考え方」「直観」と区別し、対象クラスと仮定を明記する。
前提は一変数微積分、線形代数の固有値、常微分方程式の初歩である。偏微分方程式、Sobolev空間、群表現は未習でも読めるよう、使う直前に最小限を導入する。証明詳細を解析付録へ送る箇所でも、本編には「どの仮定から何が出るか」の論理鎖を残す。
| 記号 | 意味 |
|---|---|
| \(\Omega\) | 平面領域または多様体 |
| \(\partial\Omega\) | 境界 |
| \(-\Delta\), \(P\) | 非負規約のLaplacian |
| \(\lambda_k,\phi_k\) | 固有値と正規直交固有関数 |
| \(\operatorname{Spec}_D,\operatorname{Spec}_N\) | Dirichlet、Neumannスペクトル |
| \(N(\lambda)\) | \(\lambda\) 以下の固有値の個数 |
| \(Z(t)\) | 熱トレース \(\sum_ke^{-t\lambda_k}\) |
モデルの約束
領域 \(\Omega\subset\mathbb R^2\) は、特に断らない限り有界で連結とする。ラプラシアンは
\[ \Delta=\partial_x^2+\partial_y^2 \]
とし、非負な作用素 \(-\Delta\) の固有値を \(\lambda_k\ge0\) と書く。固定境界では Dirichlet 条件 \(u|_{\partial\Omega}=0\)、自由端を理想化するときは Neumann 条件 \(\partial_nu|_{\partial\Omega}=0\) を用いる。実在の太鼓は厚み、空気との結合、損失、非一様な張力を持つ。本書が扱うのは、それらを捨てて「幾何だけがスペクトルにどう現れるか」を切り出した理想膜である。
第2章を読み終えるころには、「なぜ固定端では正弦波になるか」「なぜ二次元ではラプラシアンか」「なぜ \(\omega=c\sqrt\lambda\) か」を力学と式から説明できる。本書の残りは、その \(\{\lambda_k\}\) が形をどこまで記録するかを調べる旅である。