Biharmonic Steklov problems with Neumann boundary conditions and spectral inequalities on differential forms

技术摘要：具有诺伊曼边界条件的双调和 Steklov 问题与微分形式上的谱不等式

问题陈述
本文研究了紧致黎曼流形上有界处双调和算子的谱理论，特别关注任意度数 $p$ 的微分形式。虽然此前已有关于标量双调和 Dirichlet Steklov 问题（BSD）在微分形式上的推广工作，但针对诺伊曼型边界条件（BSN）的相应问题在形式定义上仍缺乏明确的表述。作者为微分 $p$-形式引入了一个特定的具有诺伊曼边界条件的双调和 Steklov 问题（记作 BSN），并研究了其适定性、谱性质以及与其他经典谱问题（Dirichlet、Neumann、Steklov 和 BSD）的关系。

主要的数学挑战在于定义能够使该问题具有适定性且拥有离散谱的边界条件，同时还要能够推导出广义的经典 Kuttler-Sigillito 不等式（该不等式在平面区域的标量函数上是已知的）。

方法论
作者结合了几何分析、椭圆算子理论和变分方法：

1. 公式化与适定性： BSN 问题由内部 $M$ 中的系统 $\Delta^2 \omega = 0$ 以及涉及内单位法向量 $\nu$、外微分 $d$、余微分 $\delta$ 和切分分量 $\iota^*$ 的边界条件组成。具体而言，边界条件为 $\nu \lrcorner \omega = 0$，$\nu \lrcorner d\omega = 0$，$\nu \lrcorner \Delta \omega = 0$，以及 $\nu \lrcorner \Delta d\omega + \ell \iota^* \omega = 0$（在 $\partial M$ 上）。
2. 椭圆性分析： 作者验证了该问题满足 Shapiro-Lopatinskij 椭圆性条件。这涉及分析边界算子的主符号，并证明由主符号生成的常微分方程的有界解空间上的相关映射是一个同构。这确保了光滑解的存在性以及特征函数的正则性。
3. 变分特征： 利用极值原理（min-max principle），作者建立了特征值的变分特征。他们定义了适当的 Sobolev 空间（例如 $\check{H}^2_N(M)$）和双线性形式，通过涉及 $\Delta \omega$ 的 $L^2$ 范数与 $\iota^* \omega$ 的切向迹的 Rayleigh 商的极值来刻画特征值 $\ell_{k,p}$。
4. 谱比较： 核心分析工作涉及将 BSN 问题的特征值 ($\ell_{k,p}$) 与 Dirichlet Laplacian ($\lambda_{k,p}$)、Neumann Laplacian ($\mu_{k,p}$)、Steklov 算子 ($\sigma_{k,p}$) 以及 BSD 问题 ($q_{k,p}$) 的特征值进行比较。这通过构建特定的子空间并利用特征值的变分定义，来实现对这些特征值乘积和总和的估计。

主要贡献与结果

• 定义了微分形式的 BSN 问题： 本文定义了一个特定的微分形式 BSN 问题，它推广了标量诺伊曼双调和 Steklov 问题。研究表明，该问题具有由一个非递减、无界的正实数序列组成的离散谱，且具有有限重数。该算子的核被确定为绝对 de Rham 上同调空间 $H^p_A(M)$。
• 变分特征： 作者为 BSN 问题的特征值提供了严谨的变分特征描述。具体而言，第一个严格正特征值 $\ell_{1,p}$ 被刻画为在适当空间内 $\|\Delta \omega\|^2_{L^2(M)} / \|\iota^* \omega\|^2_{L^2(\partial M)}$ 的下确界。
• Kuttler-Sigillito 不等式的推广： 本文建立了一系列将 BSN 特征值与其它问题联系起来的谱不等式。对于 $k \ge 1$，证明了以下不等式：
  • $\mu_{k,p} \sigma_{1,p} \le \ell_{k,p}$ 且 $\mu_{1,p} \sigma_{k,p} \le \ell_{k,p}$。
  • 对于第一个特征值，不等式是严格的：$\mu_{1,p} \sigma_{1,p} < \ell_{1,p}$。
  • 一个涉及 BSD 特征值 $q_{1,p}$ 的关系式：$q_{1,p} \sigma^2_{1,p} < \ell_{1,p}$。
  • 关于逆特征值的关系式：$\mu^{-1}_{1,p} < \lambda^{-1}_{1,p} + (q_{1,p} \ell_{1,p})^{-1/2}$ 以及 $\mu^{-1}_{1,p} < \lambda^{-1}_{1,p} + (q_{1,p} \sigma_{1,p})^{-1}$。
• 不同公式化的比较： 作者简要讨论了两种同样产生离散谱的替代边界条件集（BSN2 和 BSN3）。他们证明了所提 BSN 问题的特征值满足 $\ell^{BSN3}_{k,p} \le \ell_{k,p} \le \ell^{BSN2}_{k,p}$，这表明所选的公式化方案（BSN）提供了推导不等式所需的最紧确界限。

意义与主张
本文声称将双调和 Steklov 问题从标量函数推广到了紧致黎曼流形上的任意度数微分形式。通过建立诺伊曼型问题的适定性并证明广义 Kuttler-Sigillito 不等式，这项工作在微分形式的背景下，为不同的物理模型（由 Dirichlet、Neumann、Steklov 和双调和谱表示）提供了一个定量的桥梁。

作者指出，虽然其中一些不等式在平面区域或紧致黎曼流形上的标量函数上已知，但本研究将其推广到了更复杂的微分形式的情境中。研究结果依赖于 Hodge-de Rham Laplacian 的特定几何与解析性质，以及微分形式内部行为与边界行为之间的相互作用。本文并非提出新的物理应用或实验装置，而是为带边界流形上的谱几何奠定了数学基础。