[论文解读] Higher order Dirichlet-to-Neumann maps on graphs and their eigenvalues

Yongjie Shi, Chengjie Yu|arXiv (Cornell University)|Apr 8, 2019

advanced mathematical theories参考文献 19被引用 6

一句话总结

本文在具有边界的有限加权图上引入了高阶Dirichlet-to-Neumann（DtN）映射，将离散Steklov特征值问题推广至微分形式。利用Hodge理论与Green恒等式，作者推导出类似Raulot-Savo的谱估计，针对这些映射的特征值建立了广义经典结果的离散化界，适用于图谱理论。

ABSTRACT

In this paper, we first introduce higher order Dirichlet-to-Neumann maps on graphs which can be viewed as a discrete analogue of the corresponding Dirichlet-to-Neumann maps on compact Riemannian manifolds with boundary and a higher order generalization of the Dirichlet-to-Neumann map on graphs introduced by Hua-Huang-Wang\cite{HHW} and Hassannezhad-Miclo \cite{HM}. Then, some Raulot-Savo-type estimates on the eigenvalues of the DtN maps introduced are derived.

研究动机与目标

• 开发图上高阶Dirichlet-to-Neumann映射的离散类比，将经典Steklov特征值问题推广至微分形式。
• 将Hua-Huang-Wang与Hassannezhad-Miclo关于离散DtN映射的工作推广至高阶形式。
• 为所提出的DtN映射的特征值建立谱估计，类比于Raulot-Savo在流形上的结果。
• 提供一个利用离散Hodge理论与边界形式研究图上Steklov型特征值的框架。
• 推导微分形式在何处取得极值的点数的定量界，以支持谱估计。

提出的方法

• 将图上的k-形式定义为在(k+1)-团上取值的反对称函数，并赋予加权内积。
• 引入外微分d及其伴随δ，构成有限加权图上的Hodge拉普拉斯算子Δ = δd + dδ。
• 通过将形式限制在恰好有一个顶点位于边界B的团上，定义边界k-形式A^k(∂Ω)，并赋予边界加权内积。
• 推导两个Green恒等式（1.4）与（1.5），涉及形式的法向与切向分量，从而定义DtN映射。
• 基于Hodge分解与边界投影，构造三类DtN映射：T_{δd}^{(k)}、T_{dδ}^{(k)} 与 T_{dδ}^{(k)}^{(1)}。
• 利用整数格点Z^n的结构与团的旗分解，分析微分形式的支集与符号，实现特征值估计。

实验结果

研究问题

• RQ1 如何在具有边界的有限加权图上定义高阶Dirichlet-to-Neumann映射，以将经典Steklov问题推广至微分形式？
• RQ2 这些高阶DtN映射的谱性质是什么？它们与图的几何结构有何关联？
• RQ3 Raulot-Savo型特征值估计能否推广至具有边界的图的离散情形？
• RQ4 k-形式可取得其极值的顶点最大数量是多少？这如何影响谱界？
• RQ5 图上的离散Hodge理论与边界形式如何反映黎曼流形上边界微分形式的行为？

主要发现

• 对于k-形式dx_{i1}∧⋯∧dx_{ik+1}，其取值为±1/(k+1)! 的顶点u的数量被限制在2^{n−k−1}以内，其中n为环境格点的维数。
• 在整数格点Z^n中的任意(k+2)-团上，k-形式dx_{i1}∧⋯∧dx_{ik+1}在有序顶点上的取值为±1/(k+1)!，其符号取决于索引的排列符号。
• 当形式在k-团与一个变量顶点u上求值时，使结果非零的u的数量至多为2^{n−k−1}，且正负极值点的数量相等。
• k-形式dx_{i1}∧⋯∧dx_{ik+1}在k-团与顶点u上的支集包含于一个大小至多为2^{n−k−1}的集合中，其大小取决于索引集的旗结构。
• 对极值点数量的界是精确的，当索引集构成一维增量的旗时可达到。
• 所推导的关于形式支集的界在证明高阶DtN映射特征值的Raulot-Savo型谱估计中起关键作用。