[论文解读] Spectral asymptotics for Dirichlet to Neumann operator

Victor Ivrii|arXiv (Cornell University)|Feb 21, 2018

Advanced Mathematical Modeling in Engineering参考文献 9被引用 3

一句话总结

本文研究了具有边界棱的紧致黎曼流形上Dirichlet-to-Neumann算子的谱渐近性，证明了两倍项特征值计数函数渐近展开：当 $\lambda \to \infty$ 时，$\mathsf{N}(\lambda) = \kappa_0\lambda^d + \kappa_1\lambda^{d-1} + o(\lambda^{d-1})$，其中 $d$ 为边界维数。通过微局部与半经典方法处理棱引起的奇点，将标准Weyl渐近性推广至非光滑边界。

ABSTRACT

We consider eigenvalues of the Dirichlet-to-Neumann operator for Laplacian in the domain (or manifold) with edges and establish the asymptotics of the eigenvalue counting function \begin{equation*} \mathsf{N}(λ)= κ_0λ^d +O(λ^{d-1})\qquad ext{as}\ \ λ o+\infty, \end{equation*} where $d$ is dimension of the boundary. Further, in certain cases we establish two-term asymptotics \begin{equation*} \mathsf{N}(λ)= κ_0λ^d+κ_1λ^{d-1}+o(λ^{d-1})\qquad ext{as}\ \ λ o+\infty. \end{equation*} We also establish improved asymptotics for Riesz means.

研究动机与目标

• 将Dirichlet-to-Neumann算子的谱渐近性推广至边界存在棱的区域，其中标准光滑性假设不成立。
• 在存在棱的情况下，建立两倍项特征值计数函数渐近展开 $\mathsf{N}(\lambda) = \kappa_0\lambda^d + \kappa_1\lambda^{d-1} + o(\lambda^{d-1})$。
• 分析棱奇点（内棱与外棱）对谱行为的影响，特别是二面角在模型情形中的作用。
• 利用微局部与半经典方法，证明特征值Riesz均值的改进渐近性。
• 解决一个开放问题：嵌入在连续谱中的特征值是否会影响两倍项渐近性，尤其针对锐角情形。

提出的方法

• 通过调和延拓与边界 $Y$ 上的法向导数定义Dirichlet-to-Neumann算子 $\Lambda$。
• 将谱问题约化为在 $L^2(Y)$-归一化与正交性约束下最小化 $\int_X |\nabla w|^2\,dx$ 的变分原理。
• 应用微局部分析与半经典技术处理棱奇点，特别是在平面角情形（角度为 $\alpha$）的模型情况。
• 利用Birman-Schwinger原理与尺度变换，将 $\Lambda$ 的特征值与扇形区域上Robin问题的特征值关联起来。
• 采用算子 $Q = x_1D_1 + x_2D_2 + i/2$ 推导换位子估计，并证明对对称与反对称函数，$\|\nabla w\|^2 - \|w\|^2$ 的一致下界。
• 使用单位分解 $P_\tau$ 与分解 $\operatorname{Ran}(I - P_\tau)$ 局域化至高频区域，并应用半经典估计。

实验结果

研究问题

• RQ1 棱奇点如何影响Dirichlet-to-Neumann算子的谱渐近性？
• RQ2 在存在棱的区域中，是否可以建立超越标准Weyl定律的两倍项特征值计数函数渐近展开？
• RQ3 对锐角 $\alpha \in (0, \pi)$，对称性（对称与反对称函数）在谱行为中起何作用？
• RQ4 对于 $\alpha \in (0, \pi)$，嵌入在连续谱 $[1, \infty)$ 中的特征值是否构成两倍项渐近性的障碍？
• RQ5 在何种条件下连续谱保持绝对连续，其对谱计数有何影响？

主要发现

• 特征值计数函数满足 $\mathsf{N}(\lambda) = \kappa_0\lambda^d + O(\lambda^{d-1})$ 当 $\lambda \to \infty$，其中 $\kappa_0 = (2\pi)^{-d}\omega_d \operatorname{mes}(Y)$，将经典Weyl定律推广至具有棱的区域。
• 对于具有棱的区域，在边界上周期测地线集合测度为零的条件下，建立了两倍项渐近展开 $\mathsf{N}(\lambda) = \kappa_0\lambda^d + \kappa_1\lambda^{d-1} + o(\lambda^{d-1})$。
• 对 $r \in (0,1]$ 阶Riesz均值获得了改进的渐近性，余项估计与光滑情形相同。
• 对于 $\alpha \in [\pi, 2\pi]$，$\Lambda$ 的谱为 $[1, \infty)$，且低于1处无特征值，谱为连续的。
• 对于 $\alpha \in (0, \pi)$，对称部分 $\Lambda_{\text{sym}}$ 在 $(0,1)$ 内具有离散谱，最低特征值为 $\sin(\alpha/2)$，对应特征函数为 $\exp(-x_1)$。
• 主要猜想为：对形如 $w = Jv$ 的对称函数 $w$ 且 $v \in \operatorname{Ran}(I - P_\tau)$，有估计 $\|\nabla w\|^2 \geq (1+\delta)\|w\|^2$ 成立，若此成立，则可将两倍项渐近性推广至所有 $\alpha \in (0, \pi)$。