[论文解读] 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

一句话总结

本文為具有固定最小域與中间域的对称算子的自伴弗雷德霍姆扩张连续族建立了通用的谱流公式，表明谱流等于在赋予弱辛结构的商希尔伯特空间中一条拉格朗日子空间曲线的Maslov指标。关键贡献在于构建了一个严格的框架，用于在几何与伪微分设定下通过Maslov指标计算谱流，该框架在自然的连续性与唯一延拓条件下得到验证。

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.

研究动机与目标

• 为具有固定最小域与中间域的对称算子的自伴弗雷德霍姆扩张连续族建立通用的谱流公式。
• 在弱辛泛函分析背景下定义Maslov指标，其中辛结构不一定是非退化的。
• 验证弱内唯一延拓性质（UCP）作为谱流计算的自然且充分条件。
• 证明具有变化适定边界条件的对称广义狄拉克型算子族的谱流等于相关拉格朗日子空间曲线的Maslov指标。
• 提供在 $L^2$ 谱流、分割流形及线性哈密顿系统中的应用，确认公式的几何与分析相关性。

提出的方法

• 作者考虑一个固定闭对称算子的自伴弗雷德霍姆扩张连续族，其最小域 $D_m$ 和中间域 $D_W$ 固定，从而导出商希尔伯特空间 $D_W / D_m$。
• 他们在商空间 $D_W / D_m$ 上赋予由边界值问题相关格林型式诱导的连续变化的弱辛结构。
• 该算子族的谱流表示为弱辛商空间中弗雷德霍姆对拉格朗日子空间曲线的Maslov指标。
• 在弱辛设定下严格定义Maslov指标，将经典定义扩展至非退化但连续变化的辛形式。
• 证明依赖于约化柯西数据空间的连续性以及对族的弱内唯一延拓性质（UCP）的验证。
• 该框架应用于紧流形边界上广义狄拉克型算子，其中边界条件连续变化。

实验结果

研究问题

• RQ1 当域结构固定但边界条件变化时，如何计算自伴弗雷德霍姆扩张连续族的谱流？
• RQ2 在辛形式不一定是非退化的弱辛设定下，Maslov指标的恰当定义是什么？
• RQ3 在何种条件下，具有变化边界条件的对称广义狄拉克型算子族的谱流等于相关拉格朗日子空间曲线的Maslov指标？
• RQ4 弱内唯一延拓性质（UCP）是否是几何与伪微分设定下谱流公式成立的自然且充分条件？
• RQ5 该谱流公式能否应用于 $L^2$-谱流、流形分割中的谱流分解以及线性哈密顿系统？

主要发现

• 具有固定最小域与中间域的自伴弗雷德霍姆扩张连续族的谱流等于商空间 $D_W / D_m$ 中相关拉格朗日子空间曲线的Maslov指标。
• Maslov指标在弱辛设定下定义良好且可计算，将经典理论扩展至连续变化的、可能退化的辛结构。
• 弱内唯一延拓性质（UCP）是谱流公式成立的必要且充分条件，且在几何与伪微分设定下自然满足。
• 当正则性条件 $\nu_\ell(A_s) = \nu_\ell(A_s|_{X_s})$ 成立时，谱流在嵌入更大空间下保持不变，确保了不同函数空间间的一致性。
• 通用谱流公式适用于 $L^2$-谱流、分割流形上的谱流分解以及线性哈密顿系统，证实了其广泛适用性。
• 该框架统一并推广了先前关于狄拉克型算子谱流的研究结果，包括 $J_{s,t}$ 与 $B_{s,t}$ 变化的案例，并消除了限制性的非退化性假设。