[論文レビュー] On the structure of band edges of 2d periodic elliptic operators

N. Filonov, Ilya Kachkovskiy|arXiv (Cornell University)|Oct 15, 2015

Spectral Theory in Mathematical Physics参考文献 16被引用数 8

ひとこと要約

本稿は、シュレーディンガー作用素や磁気シュレーディンガー作用素を含む広範な2次元周期的楕円型作用素のクラスに対して、バンド関数のすべてのグローバル極値が孤立していることを証明している—つまり、スペクトルバンド端が連続的な曲線を形成することは不可能である。この結果は、一般性や小規模性の仮定を一切必要とせず、問題を標準形に還元するユニタリ変換に依拠しており、有効質量理論やバンド端におけるリウヴィルの定理への応用を示唆している。

ABSTRACT

For a wide class of 2D periodic elliptic operators, we show that the global extrema of all spectral band functions are isolated.

研究の動機と目的

• 2次元周期的系におけるスペクトルバンド端が非退化または孤立しているかどうかという長年の未解決問題を解消すること。
• 2次元周期的楕円型作用素の広範なクラスについて、バンド関数のグローバル極値が曲線ではなく孤立点であることを確立すること。
• 小規模または一般性の仮定を必要としない有効質量理論の厳密な基礎を提供すること。
• スペクトルギャップ端への適用を拡張し、リウヴィル型定理およびグリーン関数の漸近挙動を支持すること。

提案手法

• 微分同相によるユニタリ変換を用いて、周期的作用素を定数計量と修正されたポテンシャルを持つ標準形に共役化すること。
• 作用素族 $ H(k; g, A, V) $ を、バンド関数が線形変換まで同一となる同値形 $ H((T_*^{-1})^t k, \omega^2 \psi_*^2 \mathbf{1}, A_*, \psi_*^2 V_* + \cdots) $ に還元すること。
• 変換後の作用素の構造を活用し、微分幾何学と楕円型正則性を用いてバンド関数の臨界点を解析すること。
• ブリユアンゾーンにおけるフロケ＝ブロッホ分解法と周期的境界条件の理論の適用。
• 変換後の作用素が対称的かつ正定値計量および滑らかな係数を持つことを利用し、固有値の2次微分の解析を可能にすること。
• $ \mathbb{Z}^2 $ 上の反例を用いた離散系との対比により、ダイアトミック格子で非孤立極値が生じることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 2次元周期的楕円型作用素のバンド関数のグローバル極値が非孤立である、すなわち1次元曲線を形成することは可能か？
• RQ2 ポテンシャルの小規模性や一般性の仮定なしに、バンド端極値の非退化性は成立するか？
• RQ3 2次元周期的系におけるスペクトルバンド端に対応する等高線集合の構造はいかなるものか？
• RQ4 バンド関数のヘッセ行列がゼロとなる場合、有効質量テンソルはバンド端でどのように振る舞うか？
• RQ5 なぜこの結果は、$ \mathbb{Z}^2 $ 上の離散周期的シュレーディンガー作用素では成り立たないのか、たとえ簡単なダイアトミックモデルであっても？

主な発見

• 広範な2次元周期的楕円型作用素のクラスに対して、バンド関数のすべてのグローバル極値は孤立点であり、曲線ではない。
• ポテンシャルに対する小規模性や一般性の仮定が一切不要であり、スペクトル端に限らずすべてのバンドが該当する。
• バンド端極値は、その点におけるバンド関数のヘッセ行列が正則であるという意味で非退化である。
• 孤立極値性の直接的帰結として、スペクトルギャップ端におけるリウヴィルの定理がこれらの作用素に対して成り立つ。
• 孤立的かつ非退化的極値のおかげで、有効質量テンソルはすべてのバンド端で適切に定義される。
• $ \mathbb{Z}^2 $ 上のダイアトミック格子における反例により、バンド端が連続的な線分（例：$ \cos k_1 + \cos k_2 = 0 $）を形成することが示され、この結果が離散系に拡張されないことを証明した。