[论文解读] Non-Friedrichs Self-adjoint extensions of the Laplacian in R^d

Paul Lin|arXiv (Cornell University)|Mar 31, 2011

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

一句话总结

本文对移除原点的 $\mathbb{R}^d$ 上的非弗里德里希斯自伴扩张的拉普拉斯算子进行了分类，表明当 $d=3$ 时，这些扩张由 $\theta \in [-\pi, \pi)$ 或 $\mu \in \mathbb{R} \cup \{\infty\}$ 参数化，并且这些扩张要么具有单个本征值，要么具有单个共振态——这与典型的薛定谔算子不同。本文通过围道积分和留数理论显式计算了扩展拉普拉斯算子的波核。

ABSTRACT

This is an expository paper about self-adjoint extensions of the Laplacian on R^d, initially defined on functions supported away from a point. Let L be the Laplacian with domain smooth functions with compact support away from the origin. We determine all the self-adjoint extensions of L by calculating the deficiency subspaces of the closure of L. In the case d=3, the self-adjoint extensions are parametrized by a circle, or equivalently by the real line plus a point at infinity. We show that the non-Friedrichs extensions have either a single eigenvalue or a single resonance. This is of some interest since self-adjoint Schrödinger operators $Δ+V$ on R^d either have no resonance (if $V\equiv 0$) or infinitely many (if $V ot\equiv 0$). For these non-Friedrichs self-adjoint extensions, the kernel of the resolvent is calculated explicitly. Finally we use this knowledge to study a wave equation involving these non-Friedrichs extensions, and explicitly determine the wave kernel.

研究动机与目标

• 对定义在 $C_c^\infty(\mathbb{R}^d \setminus \{0\})$ 上的 $\mathbb{R}^d \setminus \{0\}$ 上的拉普拉斯算子的所有自伴扩张进行分类。
• 确定闭包 $\overline{L}$ 的亏子空间，并利用冯·诺依曼理论对所有自伴扩张进行参数化。
• 分析这些扩张的谱性质，特别是本征值或共振态的存在性，并与标准薛定谔算子进行对比。
• 通过围道积分和留数理论显式计算非弗里德里希斯扩张的波核。

提出的方法

• 利用冯·诺依曼理论，通过亏子空间 $\mathscr{K}_+$ 与 $\mathscr{K}_-$ 之间的酉映射对自伴扩张进行分类。
• 通过在 $L^2(\mathbb{R}^d)$ 中求解 $ (i - L^*)\psi = 0 $ 和 $ (i + L^*)\psi = 0 $ 来计算亏子空间。
• 应用 $W^{2,2}$-范数完备化以确定 $\overline{L}$ 的定义域，表明当 $d > 4$ 且 $d = 4$ 时，$D(\overline{L}) = W^{2,2}(\mathbb{R}^d)$，但当 $d < 4$ 时定义域更小。
• 当 $d=3$ 时，通过 $\theta \in [-\pi, \pi)$ 或 $\mu \in \mathbb{R} \cup \{\infty\}$ 参数化扩张，其中 $\mu$ 与散射相移相关。
• 通过积分表示和围道变形，显式计算了预解核 $ (L^\mu - \lambda^2)^{-1} $。
• 通过逆傅里叶变换和留数计算，评估波核 $ \frac{\sin(t\sqrt{L^\mu})}{\sqrt{L^\mu}} $，并根据 $\mu$ 的符号区分不同情形。

实验结果

研究问题

• RQ1 在定义域为 $C_c^\infty(\mathbb{R}^d \setminus \{0\})$ 的条件下，$\mathbb{R}^d \setminus \{0\}$ 上的拉普拉斯算子的所有自伴扩张是什么？
• RQ2 这些扩张的谱性质——本征值与共振态——与标准薛定谔算子 $\Delta + V$ 的谱性质有何不同？
• RQ3 在 $d=3$ 时，非弗里德里希斯扩张的波核 $ \frac{\sin(t\sqrt{L^\mu})}{\sqrt{L^\mu}} $ 的显式形式是什么？
• RQ4 波核如何依赖于扩张参数 $\mu$，特别是在 $\mu > 0$（共振）和 $\mu < 0$（本征值）的情形下？
• RQ5 尽管存在潜在奇点，波核为何在集合 $t = |x| + |y|$ 上消失，这一问题如何通过围道变形解决？

主要发现

• 当 $d > 4$ 且 $d = 4$ 时，闭包 $\overline{L}$ 的定义域为 $W^{2,2}(\mathbb{R}^d)$，而当 $d < 4$ 时，定义域严格更小。
• 在 $d=3$ 时，非弗里德里希斯自伴扩张 $L^\mu$ 由 $\mu \in \mathbb{R} \cup \{\infty\}$ 参数化，其中 $\mu = \infty$ 对应该弗里德里希斯扩张。
• 这些扩张要么具有单个本征值（当 $\mu < 0$ 时），要么具有单个共振态（当 $\mu > 0$ 时），这与典型薛定谔算子的行为形成对比。
• 波核 $ \frac{\sin(t\sqrt{L^\mu})}{\sqrt{L^\mu}} $ 的显式核为 $ \frac{H(t - |x| - |y|) e^{\mu(|x| + |y| - t)}}{4\pi |x| |y|} $（当 $\mu > 0$ 且 $t \geq 0$ 时），在 $t = |x| + |y|$ 之外有效。
• 当 $\mu < 0$ 时，核由本征函数贡献与围道积分项的组合构成，结果与 $\mu > 0$ 时的表达式一致，表明符号间具有统一性。
• 波核在集合 $t = |x| + |y|$ 上是有限的，该处的值被忽略为零测集，从而确保其在该集合上无分布支撑。