Krein's Formula for Conic Laplacians on Compact Riemann Surfaces

技术摘要：紧致黎曼曲面上锥形拉普拉斯算子的 Krein 公式

问题陈述
本文研究了具有有限个锥奇异点 $S$ 的紧致黎曼曲面上的锥形拉普拉斯算子的谱理论。具体而言，它研究了定义在 $L^2(X \setminus S)$ 上的极小锥形拉普拉斯算子 $\Delta_{min}$ 的自伴随扩张。在存在锥奇异点的情况下，极大拉普拉斯算子 $\Delta_{max}$ 的定义域严格包含极小定义域 $\Delta_{min}$。商空间 $D_{max}(\Delta)/D_{min}(\Delta)$ 是有限维的，并且携带了一个自然的辛结构。核心问题在于刻画这些自伴随扩张，推导任意两个此类扩张之间的解算子差公式（Krein 公式），并利用该公式建立其 $\zeta$ 行列式的比较公式，同时考虑负特征值和零模的贡献。

方法论
作者采用了一种基于锥点处局部傅里叶展开的直接方法，避免了依赖于一般的锥型伪微分演算或抽象的边界三元组理论。

1. 边界辛空间： 本文构造了一个有限维辛空间 $V_S = \bigoplus_{p \in S} V_p$，其中 $V_p$ 是具有指数 $n_p$ 的锥点 $p$ 处的“临界渐近空间”。该空间由形式为 $1, \log|z|, z^k, \bar{z}^k$（其中 $1 \le |k| \le n_p - 1$）的临界渐近项组成。商空间 $D_{max}(\Delta)/D_{min}(\Delta)$ 被识别为 $V_S$。
2. 格林形式与拉格朗日条件： 文中定义了一个定义在 $D_{max}(\Delta)$ 上的斜埃尔米特（skew-Hermitian）双线性形式（格林形式）$q$。研究表明，$q$ 在 $V_S$ 上诱导出一个非退化的辛形式 $\omega$。$\Delta_{min}$ 的自伴联扩张由 $V_S$ 中的拉格朗日子空间（极大各向同性子空间）$V \subset V_S$ 进行参数化。
3. Weyl 函数： 对于给定的拉格朗日子空间 $V$ 及其补拉格朗日子空间 $V^\#$，作者定义了一个 Weyl 函数 $M_{V,V^\#}(\lambda): V^\# \to V$。该算子是狄利克雷-纽曼映射（Dirichlet-to-Neumann map）的有限维类比，编码了方程 $(\Delta - \lambda)u = 0$ 的形式解的边界数据。
4. 解算子差： 通过分析两个扩张的解算子 $R_V(\lambda)$ 与 $R_W(\lambda)$ 之间的差异，作者推导出了一个 Krein 型公式，用以表示该差值，该公式通过 Weyl 函数和与拉格朗日对相关的辛投影来表达。
5. 迹恒等式与 $\zeta$ 行列式： 通过计算解算子差的迹，得到了一个涉及边界行列式函数 $d_{V,W}(\lambda)$ 对数导数的迹恒等式。该恒等式随后被用于比较不同扩张的正谱 $\zeta$ 行列式。

主要贡献与结果

• 扩张的参数化： 本文严谨地建立了 $\Delta_{min}$ 的自伴随扩张与边界辛空间 $V_S$ 的拉格朗日 Grassmann 流形之间的一一对应关系。

• Krein 公式（定理 4.2）： 文中推导出了一个关于解算子差 $R_V(\lambda) - R_W(\lambda)$ 的精确公式。该公式表明，该差值是一个完全由边界数据和 Weyl 函数 $M_{W,W^\#}(\lambda)$ 决定的有限秩算子。

• 迹恒等式（定理 4.4）： 解算子差的迹被证明等于由 Weyl 函数构造的行列式函数的对数导数：
  $$\text{Tr}(R_V(\lambda) - R_W(\lambda)) = \frac{d}{d\lambda} \log \det \left( C_V^\dagger M_{W,W^\#}(\lambda) + A_V^\dagger \right)$$

• $\zeta$ 行列式比较（定理 5.2 及推论 5.3）： 本文推导了两个自伴随扩张 $\Delta_V$ 和 $\Delta_W$ 的 $\zeta$ 行列式的比较公式。与标准的粘合公式不同，这一结果明确考虑了“正谱”约定（即在定义 $\zeta$ 函数时忽略非正特征值），并包含了针对以下各项的修正项：

  • 负谱（通过项 $E_{V,W}(\mu)$ 实现）。
  • 零模（通过边界行列式在零点处的极阶实现）。

  在 $\mu=0$ 处的最终比较公式为：
  $$\frac{\text{Det}_\zeta(\Delta_V)}{\text{Det}_\zeta(\Delta_W)} = C_{V,W} (-1)^r \frac{d^{\text{red}}_{V,W}(0)}{\prod_{\lambda_\ell^V < 0} (\lambda_\ell^V)^{m(\lambda_\ell^V)} / \prod_{\lambda_\ell^W < 0} (\lambda_\ell^W)^{m(\lambda_\ell^W)}}$$
  其中 $r = \dim \ker \Delta_V - \dim \ker \Delta_W$，且 $d^{\text{red}}$ 为约化边界行列式。

意义与主张
本文的研究工作与 Hillairet 和 Kokotov 利用 S-矩阵处理具有锥奇异点的欧几里得曲面的工作互为补充。作者声称，所提出的方法通过在有限维边界-辛框架内阐述解算子和行列式比较问题，提供了一个独特的视角。

关于这项工作重要性的关键主张包括：

• 直接归一化： 通过直接使用局部傅里叶模，本文确定了后续迹恒等式所需的格林形式的归一化，而这一细节在更抽象的边界三元组形式中往往被掩盖。
• 有限维约化： 将无限维谱问题约化为有限维辛空间，使得无需使用完整的 S-矩阵机制即可显式计算解算子差和行列式比值。
• 处理零模与负谱： 所推导的比较公式因其明确包含了负特征值和零模的贡献而具有显著性，而这些项在标准的 $\zeta$ 行列式比较中通常被忽略或单独处理。这使得该公式适用于并非必然是非负的广义自伴随扩张。

论文最后指出，该框架为在变化的拉格朗日边界条件下比较锥形拉普拉斯算子的谱不变量提供了一个强大的工具。