[论文解读] Spectral Theory of Elliptic Operators in Exterior Domains

Fritz Gesztesy, M. M. Malamud|ArXiv.org|Oct 10, 2008

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

一句话总结

本文通过边界三元组和算子值魏尔-特里施马赫函数，为外域中的二阶及以上椭圆型算子建立了一个谱理论框架。它确立了不同实现之间预解式差的迹类性质，并推导出自伴扩张在狄利克雷实现谱隙中的精确特征值计数公式，扩展了维绍克、波夫纳、伯尔曼和格鲁布的经典结果。

ABSTRACT

We consider various closed (and self-adjoint) extensions of elliptic differential expressions of the type $\cA=\sum_{0\le |α|,|β|\le m}(-1)^αD^αa_{α, β}(x)D^β$, $a_{α, β}(\cdot)\in C^{\infty}({\overlineΩ})$, on smooth (bounded or unbounded) domains in $\bbR^n$ with compact boundary. Using the concept of boundary triples and operator-valued Weyl-Titchmarsh functions, we prove various trace ideal properties of powers of resolvent differences of these closed realizations of $\cA$ and derive estimates on eigenvalues of certain self-adjoint realizations in spectral gaps of the Dirichlet realization. Our results extend classical theorems due to Visik, Povzner, Birman, and Grubb.

研究动机与目标

• 通过扩张理论中的现代工具，扩展椭圆型算子在无界域中的经典谱理论结果。
• 分析外域中具有光滑有界系数的椭圆微分算子的闭自伴扩张。
• 推导同一算子不同实现之间预解式差的迹类性质。
• 计算自伴扩张在狄利克雷实现谱隙中的特征值数量。
• 建立不同椭圆实现中绝对连续谱的酉等价性，确保谱的稳定性。

提出的方法

• 利用边界三元组及其关联的算子值魏尔-特里施马赫函数，参数化极小算子的闭扩张。
• 使用正则化格林公式和强制性估计，确保无界域上边值问题的适定性。
• 应用通过边界三元组表征的对称与自伴扩张理论，刻画预解式差在迹类中的性质。
• 引入算子 $ T(z) = ar{T}_0(z) $，其中 $ T_0(z) = ilde{ heta}(z) - ilde{ heta}(0) $，以分析谱隙中的谱性质。
• 通过涉及 $ ilde{ heta}(z) $ 和边界算子 $ K $ 的扰动恒等算子的指标，推导谱隙 $ (eta - u, eta) $ 中特征值数量的公式。
• 证明谱隙中的特征值不能在间隙左端点处累积，从而确保在间隙有界子区间中特征值计数的有限性。

实验结果

研究问题

• RQ1 如何利用边界三元组和魏尔-特里施马赫函数系统地分析外域中椭圆型算子的谱性质？
• RQ2 自伴扩张的椭圆型算子之间预解式差具有何种迹类性质？
• RQ3 如何为一般自伴扩张计算狄利克雷实现谱隙中特征值的数量？
• RQ4 在何种条件下，不同椭圆实现的绝对连续谱是酉等价的？
• RQ5 谱隙中的特征值是否可能在端点处累积，若可能，需满足何种约束？

主要发现

• 若关联的边界算子 $ K $ 是紧算子，则椭圆型算子两个自伴扩张之间预解式差属于迹类。
• 任意两个椭圆实现 $ A_K $ 和 $ ilde{A}_B $ 的绝对连续部分酉等价，意味着 $ ho_{\text{ac}}(A_K) = \rho_{\text{ac}}(\tilde{A}_B) $。
• 对于狄利克雷实现 $ \tilde{A}_{\tilde{\theta}} $ 的有限谱隙 $ (\beta - \nu, \beta) $，算子 $ A_K $ 在 $ (\beta - \nu, \beta) $ 中的特征值数量是有限的，且由涉及 $ \tilde{\theta}(z) $ 和 $ K $ 的谱计数之差给出。
• 存在 $ \nu_0 > 0 $，使得 $ E_{A_K}((\beta - \nu_0, \beta)) = 0 $，即在间隙左端点处无特征值累积。
• 算子 $ A_K $ 在 $ (\beta - \nu, \beta) $ 中的特征值数量显式计算为 $ \nu_{(-\nu, 0)}(I + \theta^{-1/2}(K + T(\beta - \nu))\theta^{-1/2}) - \nu_{(-\nu, 0)}(I + \theta^{-1/2}(K + T(\beta - \nu))\theta^{-1/2}) $，其中 $ T(z) $ 在预解式集中解析。
• 本结果推广并加强了波夫纳、伯尔曼和格鲁布的早期工作，尤其适用于 $ \text{L}^2(\text{R}^3) $ 中的二阶算子和罗宾型边界条件。