[論文レビュー] Weak Symplectic Functional Analysis and General Spectral Flow Formula

Bernhelm Booß–Bavnbek, Chunying Zhu|ArXiv.org|Jun 8, 2004

Spectral Theory in Mathematical Physics参考文献 27被引用数 11

ひとこと要約

本稿は、最小作用素と中間作用素の定義域が固定された対称作用素の連続的家族に対する一般化されたスペクトルフロー公式を確立し、スペクトルフローが商ヒルベルト空間に弱シンプレクティック構造を備えたラグランジュ部分空間の曲線のマスロフ指数に等しいことを示している。主な貢献は、幾何的および擬微分的設定において、スペクトルフローをマスロフ指数によって厳密に計算するためのフレームワークを提供することであり、自然な連続性および一意的拡張条件のもとで検証されている。

ABSTRACT

We consider a continuous curve of self-adjoint Fredholm extensions of a curve of closed symmetric operators with fixed minimal domain $D_m$ and fixed {\it intermediate} domain $D_W$. Our main example is a family of symmetric generalized operators of Dirac type on a compact manifold with boundary with varying well-posed boundary conditions. Here $D_W$ is the first Sobolev space and $D_m$ the subspace of sections with support in the interior. We express the spectral flow of the operator curve by the Maslov index of a corresponding curve of Fredholm pairs of Lagrangian subspaces of the quotient Hilbert space $D_W/D_m$ which is equipped with continuously varying {\it weak symplectic structures} induced by the Green form. In this paper, we specify the continuity conditions; define the Maslov index in weak symplectic analysis; discuss the required weak inner Unique Continuation Property; derive a General Spectral Flow Formula; and check that the assumptions are natural and all are satisfied in geometric and pseudo-differential context. Applications are given to $L^2$ spectral flow formulae; to the splitting of the spectral flow on partitioned manifolds; and to linear Hamiltonian systems.

研究の動機と目的

• 固定された最小作用素と中間作用素の定義域を有する対称作用素の自己共役フレドホルム拡張の連続的家族に対する一般スペクトルフロー公式を確立すること。
• 非退化でない可能性のある弱シンプレクティック関数解析の文脈においてマスロフ指数を定義すること。
• スペクトルフローの計算に適した弱内一意的拡張性（UCP）を自然かつ十分な条件として検証すること。
• 境界条件が適切に定義された変化する対称一般化ディラック型作用素の家族のスペクトルフローが、関連するラグランジュ部分空間の曲線のマスロフ指数に等しいことを示すこと。
• $L^2$スペクトルフロー、分割された多様体、線形ハミルトニアン系への応用を提供し、公式の幾何的および解析的意義を確認すること。

提案手法

• 著者らは、固定された閉じた対称作用素の自己共役フレドホルム拡張の連続的曲線を検討し、最小作用素の定義域 $D_m$ と中間作用素の定義域 $D_W$ を固定したうえで、商ヒルベルト空間 $D_W / D_m$ を得る。
• 境界値問題に関連するグリーン形式によって誘導される、連続的に変化する弱シンプレクティック構造を、商空間 $D_W / D_m$ に導入する。
• 作用素族のスペクトルフローは、弱シンプレクティックな商空間内におけるフレドホルム対のラグランジュ部分空間の曲線のマスロフ指数として表現される。
• マスロフ指数は弱シンプレクティック設定において厳密に定義され、非退化であるが連続的に変化するシンプレクティック形式への古典的定義の拡張がなされる。
• 証明は、縮約されたコーシー・データ空間の連続性と、家族に対する弱内一意的拡張性（UCP）の検証に依拠する。
• このフレームワークは、境界条件が連続的に変化するコンパクト多様体上の一般化ディラック型作用素に適用される。

実験結果

リサーチクエスチョン

• RQ1 定義域構造が固定されてはいるが境界条件が変化する自己共役フレドホルム拡張の連続的家族のスペクトルフローは、どのように計算できるか？
• RQ2 シンプレクティック形式が非退化でない可能性のある弱シンプレクティック設定において、マスロフ指数の適切な定義は何か？
• RQ3 対称一般化ディラック型作用素の家族のスペクトルフローが、関連するラグランジュ部分空間の曲線のマスロフ指数に等しくなる条件は何か？
• RQ4 弱内一意的拡張性（UCP）は、幾何的および擬微分的文脈におけるスペクトルフロー公式が成り立つために自然かつ十分な条件であるか？
• RQ5 スペクトルフロー公式は、$L^2$スペクトルフロー、分割された多様体におけるスペクトルフローの分割、線形ハミルトニアン系に適用可能か？

主な発見

• 最小作用素と中間作用素の定義域が固定された自己共役フレドホルム拡張の連続的家族のスペクトルフローは、商空間 $D_W / D_m$ 内の関連するラグランジュ部分空間の曲線のマスロフ指数に等しい。
• 弱シンプレクティック設定においてマスロフ指数は適切に定義され、計算可能であり、非退化でないが連続的に変化するシンプレクティック構造への古典理論の拡張がなされる。
• 弱内一意的拡張性（UCP）は、スペクトルフロー公式が成り立つために必要かつ十分であり、幾何的および擬微分的設定において自然に満たされる。
• 正則性条件 $\nu_\ell(A_s) = \nu_\ell(A_s|_{X_s})$ が成り立つとき、スペクトルフローはより大きな空間への埋め込みに関して不変であり、異なる関数空間間での一貫性が保証される。
• 一般スペクトルフロー公式は、$L^2$スペクトルフロー、分割された多様体におけるスペクトルフローの分割、線形ハミルトニアン系に適用可能であり、広範な適用可能性を確認している。
• このフレームワークは、境界条件が変化する場合のディラック型作用素に対するスペクトルフローに関する先行研究を統合・一般化し、非退化性の制限を外す。