[论文解读] Hardy inequality and asymptotic eigenvalue distribution for discrete Laplacians

Sylvain Golénia|arXiv (Cornell University)|Jun 3, 2011

Spectral Theory in Mathematical Physics参考文献 21被引用 6

一句话总结

本文建立了局部有限图上磁离散拉普拉斯算子的离散型哈代不等式，刻画了其形式域，并在扰动下推导了渐近特征值分布。证明了扰动拉普拉斯算子的拟谱与参考树拉普拉斯算子的拟谱一致，并表明特征值与加权度算子的特征值渐近交错，收敛速度为1，前提是扰动满足适当的衰减条件。

ABSTRACT

In this paper we study in detail some spectral properties of the magnetic discrete Laplacian. We identify its form-domain, characterize the absence of essential spectrum and provide the asymptotic eigenvalue distribution.

研究动机与目标

• 为加权、局部有限图上的磁离散拉普拉斯算子建立离散型哈代不等式。
• 刻画磁离散拉普拉斯算子的形式域，并确定本质谱为空的条件。
• 推导扰动离散拉普拉斯算子的特征值渐近分布，特别是其与加权度算子的关系。
• 证明在相对于度增长衰减的势扰动下，本质谱的稳定性。

提出的方法

• 作者定义了与磁离散拉普拉斯算子相关的二次型，并利用弗里德里奇斯扩张构造自伴算子。
• 引入改进的标准形式不等式的修正等周常数 α(G)，以关联拉普拉斯算子与加权度算子。
• 关键技术工具是某种离散型哈代不等式，它以一个与磁势无关的加权度算子减去一个势项来下界拉普拉斯算子。
• 渐近特征值等价性的证明依赖于极小极大原理，以及通过 KLMN 定理和 Hellfer-Sj¨ostrand 公式进行的预解子比较。
• 通过在扰动上施加衰减条件，证明预解子差的相对紧性，从而证明本质谱的稳定性。
• 分析被扩展至双分图和树，此时可实现更强的定义域与谱控制。

实验结果

研究问题

• RQ1 在何种条件下，图上的磁离散拉普拉斯算子具有良定义的形式域，且本质谱为空？
• RQ2 扰动离散拉普拉斯算子的特征值渐近分布如何与加权度算子相关？
• RQ3 能否以参考图的拉普拉斯算子来刻画扰动离散拉普拉斯算子的本质谱？
• RQ4 等周常数 α(G) 在控制拉普拉斯算子谱行为方面起什么作用？
• RQ5 相对于度增长次线性增长的扰动如何影响离散拉普拉斯算子的谱性质？

主要发现

• 当且仅当等周常数 α(G) > 0 时，磁离散拉普拉斯算子的形式域与加权度算子的形式域一致。
• 扰动拉普拉斯算子的弗里德里奇斯扩张 HF 的本质谱等于参考树拉普拉斯算子 ∆E◦,θ◦ 的本质谱。
• 若加权度 dG◦(x) → ∞ 当 |x| → ∞，则 HF 的本质谱为空。
• HF 的第 N 个特征值与 dG◦(Q) 的第 N 个特征值满足 limN→∞ λN(HF)/λN(dG◦(Q)) = 1，表明其渐近交错。
• 为保证谱稳定性，扰动 V 和边权差 Λ 必须满足 |V(x)| + Λ(x) = o(1 + dG◦(x)) 当 |x| → ∞。
• 离散哈代不等式提供了下界 ⟨f, Vm(Q)f⟩ ≤ ⟨f, ∆E,θf⟩，其中 Vm(x) = dG(x) − Wm(x)，且该下界与磁势无关。