[论文解读] Sturm-Liouville operators with distributional potentials

А. М. Савчук, А. А. Шкаликов|ArXiv.org|Jan 9, 2003

Spectral Theory in Mathematical Physics被引用 10

一句话总结

本文为 $W_2^{-1}$ 中具有分布势的 Sturm-Liouville 算子构建了一个严格的框架，通过变换将奇异问题转化为具有 $L_1$ 系数的一阶系统。关键贡献在于，即使势不是函数而是分布，也通过广义 Weyl-Titchmarsh 理论建立了此类算子的存在性与自伴性，将谱理论扩展至奇异、非光滑势的情形。

ABSTRACT

In this paper we propose four different methods to determine Sturm-Liouville operator on an interval $(a,b)$ in case, when a potential $q(x)$ is a distribution from the Sobolev space with negative index of smoothness, i.e. (q\in W_2^{-θ}), where (θ\le 1). The main and second terms of asymptotic series for eigenvalues and eigenfunctions of these operators are obtained and the remaining terms are estimated depending on the class of smoothness of potential /(q/). Particular families of potentials, not belonging to the space (W_2^{-1}) are studied as well.

研究动机与目标

• 将 Sturm-Liouville 算子的谱理论扩展至负阶 Sobolev 空间 $W_2^{-1}$ 中的势，该空间包含 $|x|^{-1}$ 和 $\delta$-函数等分布。
• 解决当 $q(x)$ 不是局部可积函数而是 $W_2^{-1}$ 中的分布时，定义并分析微分算子 $-y'' + q(x)y$ 的挑战。
• 通过边界条件构造此类算子的自伴实现，并证明预解式与谱测度的存在性。
• 为构造奇异势下的解与谱数据提供系统方法，利用变换将问题转化为具有 $L_1$ 系数的一阶系统。

提出的方法

• 通过引入拟导数 $y^{[1]} = y' - u(x)y$（其中 $u(x)$ 是分布势 $q(x)$ 的积分），将二阶 Sturm-Liouville 方程转化为一阶系统。
• 将算子 $L_M$ 定义为变换后系统的最大实现，其定义域 $\mathfrak{D}(L_M)$ 由满足 $y, y^{[1]} \in W_1^1$ 且 $L_M y \in L_2$ 的函数 $y$ 构成。
• 利用具有 $L_1$ 系数的一阶系统理论，通过光滑系数的逼近与 $L_1$ 收敛性，证明解的存在性与唯一性。
• 通过系统的基本解构造 $L_M$ 的预解式，并从单值矩阵推导 Weyl-Titchmarsh $M$-函数。
• 通过边界条件 $U_j(y) = 0$，$j=1,2$ 构造 $L_M$ 的自伴扩张 $L$，其中 $U_j$ 是 $y(0), y(\pi), y^{[1]}(0), y^{[1]}(\pi)$ 的线性组合。
• 通过分析特征行列式 $\Delta(\lambda)$（其为整函数且在某些区域非零），证明此类扩张的谱测度与特征值是良定义的。

实验结果

研究问题

• RQ1 当势 $q(x)$ 属于 $W_2^{-1}$（包含 $\delta$-函数与 $|x|^{-1}$ 等奇异分布）时，如何严格定义 Sturm-Liouville 算子？
• RQ2 当 $q(x)$ 不是函数时，如何正确定义拟导数 $y^{[1]}$ 及其关联的一阶系统？
• RQ3 在何种边界条件条件下，算子 $L$ 成为自伴算子且具有离散谱？
• RQ4 能否通过 $L_1$ 系数系统方法将谱理论（特征值、特征函数、谱测度）扩展至具有分布势的算子？
• RQ5 用正则势逼近奇异势时，解与谱数据的收敛性如何受到影响？

主要发现

• 算子 $L_M$ 在 $L_2(0,\pi)$ 上良定义且稠密定义，其定义域由满足 $y, y^{[1]} \in W_1^1$ 且 $L_M y \in L_2$ 的函数 $y$ 构成。
• $L_M$ 的预解式在 $\lambda \in \mathbb{C} \setminus \mathbb{R}$ 上存在，且预解式是紧算子，意味着具有离散谱。
• 对于 $L_M$ 的任意自伴扩张 $L$，特征行列式 $\Delta(\lambda)$ 是阶为 1 的整函数，其零点对应于 $L$ 的特征值。
• 谱测度 $d\mu(\lambda)$ 良定义，且关于 Lebesgue 测度绝对连续，其密度由 Weyl-Titchmarsh $m$-函数给出。
• 当 $q(x) = |x|^\alpha$ 且 $\alpha > -3/2$ 时，势属于 $W_2^{-1}$，对应的算子具有自伴实现且具有离散谱。
• 当 $q(x) = |x|^\alpha$ 且 $\alpha > -3/2$ 时，关联 Riccati 方程 $-w' + w^2 + |x|^\alpha = 0$ 的解在 $|x|^{\alpha+1}$ 上存在形式幂级数展开，可通过截断定义正则化逼近。