[论文解读] Upper bound for the counting function of interior transmission eigenvalues

Mouez Dimassi, Vesselin Petkov|arXiv (Cornell University)|Aug 12, 2013

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

一句话总结

该论文为复内部传输特征值（ITEs）在正实轴附近的扇形区域建立了计数函数的上界。通过半经典分析与参数解构造，证明了对于任意固定的角度 $\theta > 0$，满足 $|\lambda| \leq r$ 且 $|\arg \lambda| \leq \theta$ 的ITEs个数随 $r \to \infty$ 的增长速度至多为 $Cr^{n/2}$，与各向同性情况下的Weyl渐近阶一致。

ABSTRACT

For the complex interior transmission eigenvalues (ITE) we study for small $θ> 0$ the counting function $$N(θ, r) = #\{λ\in \C:\: λ\: { m is} \: { m (ITE)},\: |λ| \leq r, \: 0 \leq \arg λ\leq θ\}.$$ We obtain for fixed $θ> 0$ an upper bound $N(θ, r) \leq C r^{n/2}, \: r \geq r(θ).$

研究动机与目标

• 为小角度 $\theta > 0$ 的扇形区域 $|\arg \lambda| \leq \theta$ 内复内部传输特征值（ITEs）的计数函数建立上界。
• 解决各向同性情况下标准参数椭圆性与自伴性失效的问题，从而无法直接应用现有Weyl渐近理论。
• 尽管底层算子非自伴且非参数椭圆，仍将Weyl型渐近理论推广至复ITE谱。
• 提供一个与预期Weyl定律阶 $r^{n/2}$ 匹配的精确上界，与各向异性情况下的已知结果一致。
• 通过复平面上的几何与解析技术，控制实轴附近的特征值分布，从而改进计数估计。

提出的方法

• 构建内部传输算子 $\mathcal{P}$ 的半经典版本，并通过缩放 $h = r^{-1/2}$ 分析其谱。
• 利用半经典参数解构造，估计复平面上虚部为正的点 $\omega_0$ 附近矩形区域 $S_0$ 内的特征值个数。
• 应用复几何论证，结合共形圆盘与嵌套矩形 $S_{0,K}$，覆盖大 $r$ 时的扇形区域 $|\arg \lambda| \leq \theta$。
• 通过从Nevanlinna型计数引理导出的计数函数 $\mathcal{N}(2\delta; h)$，估计每个缩放矩形内的特征值个数。
• 通过关于 $\delta$ 的对数估计与渐近展开控制误差项，建立 $\delta \to 0$ 与 $\theta \to 0$ 的关联。
• 将无限链 $S_{0,K}$ 上的估计合并，导出全局上界，并将尾部吸收进紧集 $Q_K$。

实验结果

研究问题

• RQ1 对于小角度 $\theta > 0$，扇形区域 $|\arg \lambda| \leq \theta$ 内复内部传输特征值的个数的最大增长速率是什么？
• RQ2 在各向同性情况下，尽管缺乏参数椭圆性与自伴性，是否仍可建立Weyl型上界 $N(\theta,r) \leq Cr^{n/2}$？
• RQ3 复ITEs在正实轴附近的分布行为如何？是否可通过半经典与几何方法加以控制？
• RQ4 在复平面上的特征值计数在多大程度上可通过缩放与共形映射，归约为单个基本矩形内的估计？
• RQ5 上界中的常数 $C$ 对区域几何与函数 $m(x)$ 的依赖关系如何？

主要发现

• 对于任意固定的 $\theta > 0$，计数函数 $N(\theta,r) = \#\{\lambda \in \mathbb{C} : \lambda \text{ 是 ITE}, |\lambda| \leq r, |\arg \lambda| \leq \theta\}$ 满足对所有 $r \geq r(\theta)$ 有 $N(\theta,r) \leq Cr^{n/2}$，其中常数 $C$ 依赖于 $\theta$、$\Omega$ 与 $m(x)$。
• 该上界与Weyl渐近阶 $r^{n/2}$ 一致，尽管各向同性算子非参数椭圆，但与已知的各向异性情况渐近结果相符。
• 常数 $C$ 显式关联于积分 $\int_\Omega \left(1 + (1+m(x))^{n/2}\right) dx$，其主系数为 $3\sqrt{3}(1 + \mathcal{O}_{\omega_0}(\delta)) \frac{\omega_n}{(2\pi)^n}$。
• 误差项由常数 $C_0(\delta)$ 控制，该常数依赖于 $\delta$，且当 $\theta \to 0$（即 $\delta \to 0$）时趋于有限极限，确保了 $\theta$ 上的一致性。
• 该方法通过用几何缩放的矩形族覆盖扇形区域，并利用半经典计数方法估计每个区域内的特征值，成功控制了复平面上的特征值分布。
• 结果表明，复ITEs在正实轴附近任意扇形区域内的累积速度不会快于 $r^{n/2}$，支持了各向同性情形下存在Weyl型行为的猜想。