[论文解读] Self-adjoint and skew-symmetric extensions of the Laplacian with singular Robin boundary condition

С. А. Назаров, Nicolas Popoff|arXiv (Cornell University)|Nov 27, 2017

Advanced Mathematical Modeling in Engineering参考文献 10被引用 11

一句话总结

本文研究了在边界上某一点处趋于零的奇异罗宾边界条件下，拉普拉斯算子的自伴与斜对称扩张。通过匹配渐近展开方法，表明正则化自伴问题的特征值在 $|\ln \varepsilon|$ 的对数尺度下表现出近乎周期性的振荡，导致当 $\varepsilon \to 0$ 时在实直线上出现密集的谱聚集，且参数 $\theta_\varepsilon$ 以 $O(\varepsilon^{-1})$ 的速度演化。此外，还通过索末菲辐射条件识别出一个具有物理意义的斜对称扩张。

ABSTRACT

We study the Laplacian in a smooth bounded domain, with a varying Robin boundary condition singular at one point. The associated quadratic form is not semi-bounded from below, and the corresponding Laplacian is not self-adjoint, it has the residual spectrum covering the whole complex plane. We describe its self-adjoint extensions and exhibit a physically relevant skew-symmetric one. We approximate the boundary condition, giving rise to a family of self-adjoint operators, and we describe their eigenvalues by the method of matched asymptotic expansions. These eigenvalues acquire a strange behaviour when the small perturbation parameter $\\varepsilon>0$ tends to zero, namely they become almost periodic in the logarithmic scale $|\\ln \\epsilon|$ and, in this way, "wander" along the real axis at a speed $O(\\eps^{-1})$.

研究动机与目标

• 分析在边界上单一点处罗宾边界条件趋于零的拉普拉斯算子的谱性质，导致二次型非半有界且实现非自伴。
• 利用亏指数 $(1,1)$ 和参数 $\theta \in \mathbb{S}^1$，对基础算子 $A_0$ 的所有自伴扩张进行分类。
• 通过奇异点处的索末菲辐射条件，构造一个具有物理意义的斜对称扩张。
• 理解在正则化自伴算子族中特征值的渐近行为，其中罗宾系数被扰动以避免为零。
• 描述当权函数从 $a(s) \sim a_0 s$ 变为 $a(s) \sim a_0 |s|$ 时，谱结构的转变，该转变影响奇异解的数量与亏指数。

提出的方法

• 使用孔德拉季耶夫的渐近理论分析在奇异点 $x_0$ 附近伴随域 $D(A_0^*)$ 中函数的行为，识别出形如 $r^{ib_0}$ 和 $r^{-ib_0}$ 的可能奇异性。
• 在上半平面 $\mathbb{R}^2_+$ 中构造一个模型问题，采用不连续的罗宾系数 $\mathfrak{a}(\xi_1) = a_0(\mathrm{sign}(\xi_1) + \xi_1)$，以研究解的局部行为。
• 应用匹配渐近展开：使用自伴扩张的特征函数进行远场展开，通过缩放 $x = \varepsilon \xi$ 得到内层解。
• 通过截断函数匹配内外展开，构造准模态并推导出关系式 $\theta_\varepsilon = \theta - 2b_0 \ln \varepsilon \pmod{2\pi}$，其中 $b_0 = a_0^{-1}$。
• 使用反演 $\xi \mapsto \eta = |\xi|^{-2}\xi$ 将缩放问题中无穷远处的行为转化为原点处的行为，从而能够应用孔德拉季耶夫理论。
• 分析当 $a(s) = a_0 |s| + O(s^2)$ 时的谱转变，表明亏指数变为 $(2,2)$，且振荡解的数量取决于 $a_0$ 相对于 $\pi/2$ 的大小。

实验结果

研究问题

• RQ1 在边界上某一点处具有奇异罗宾边界条件的拉普拉斯算子的自伴扩张如何表现？它们如何参数化？
• RQ2 在罗宾系数被扰动以避免为零的正则化自伴算子族中，特征值的渐近行为是什么？
• RQ3 为何当 $\varepsilon \to 0$ 时，正则化算子的谱在实直线上变得密集？导致 $|\ln \varepsilon|$ 中近乎周期性振荡的原因是什么？
• RQ4 伴随算子 $A_0^*$ 的结构及由此产生的亏指数如何依赖于罗宾系数趋于零的阶数？
• RQ5 索末菲辐射条件在构造算子的物理上合理的斜对称扩张中起什么作用？

主要发现

• 奇异罗宾拉普拉斯算子的自伴扩张由 $\theta \in \mathbb{S}^1$ 参数化，对应亏指数 $(1,1)$，其特征为在奇异点附近具有渐近行为 $u \sim r^{ib_0} + e^{i\theta} r^{-ib_0}$。
• 正则化自伴算子 $A^\varepsilon$ 的特征值 $\lambda_k(\theta_\varepsilon)$ 满足 $\theta_\varepsilon = \theta - 2b_0 \ln \varepsilon \pmod{2\pi}$，导致当 $\varepsilon \to 0$ 时在 $|\ln \varepsilon|$ 中出现近乎周期性的振荡。
• 当 $\varepsilon \to 0$ 时，$A^\varepsilon$ 的谱在 $\mathbb{R}$ 上变得密集，即 $\mathbb{R} = \bigcup_{\varepsilon \downarrow 0} \sigma(A^\varepsilon)$，这是由于 $\theta_\varepsilon$ 在对数尺度下以 $O(\varepsilon^{-1})$ 的速度演化所致。
• 存在一个具有物理意义的斜对称扩张，对应于奇异点处的索末菲辐射条件，确保在极限下为向外传播的波行为。
• 当罗宾系数满足 $a(s) \sim a_0 |s|$ 时，亏指数变为 $(2,2)$，且奇异解的数量取决于 $a_0$：若 $a_0 > \pi/2$ 则存在一个负特征值，若 $a_0 < \pi/2$ 则存在两个，当 $a_0 = \pi/2$ 时出现对数解。
• 匹配渐近展开方法成功构造了逼近 $A^\varepsilon$ 特征值的准模态，其误差在 $\varepsilon \to 0$ 时趋于零，从而验证了谱行为。