[论文解读] On the fine spectrum of the second order difference operator over the sequence spaces \ell_p and bv_p, (1 < p < \infty)

Vatan Karakaya, Manaf Dzh. Manafov+1 more|arXiv (Cornell University)|May 24, 2011

Approximation Theory and Sequence Spaces参考文献 8被引用 4

一句话总结

本文确定了在序列空间 $\ell_p$ 和 $bvp$ 上对 $1 < p < \infty$ 的对称三对角矩阵算子 $U(s, r, s)$ 的精细谱。利用谱理论和递推关系，证明了点谱和残余谱为空，连续谱为闭区间 $[r - 2s, r + 2s]$，从而完全刻画了这两种空间的精细谱。

ABSTRACT

In general, it is well known the behaviors of the symmetric tri-band matrices on the Hilbert spaces. But the symmetric tri-band matrices have different the behavior on the Banach spaces. The main purpose of this work is to determine the fine spectra of the operator U(s, r, s) defined by symmetric tri-band matrix over the sequence spaces {\ell}_p and bvp.

研究动机与目标

• 确定在 $1 < p < \infty$ 时，二阶差分算子 $U(s, r, s)$ 在序列空间 $\ell_p$ 和 $bvp$ 上的精细谱。
• 分析对称三对角矩阵在巴拿赫空间上的行为，特别是其谱性质与希尔伯特空间中的谱性质的差异。
• 在 $\ell_p$ 和 $bvp$ 上，为该算子建立谱的完整分解，包括点谱、连续谱和残余谱。
• 将现有关于差分算子和切萨罗算子谱的结果推广至对称三对角矩阵的情形。

提出的方法

• 利用谱理论概念：预解集、谱及其分解为点谱、连续谱和残余谱。
• 应用递推关系和特征方程，分析特征值，求解 $x_{k+2} + qx_{k+1} + x_k = 0$，其中 $q = (r - \lambda)/s$。
• 使用闵可夫斯基不等式证明 $U(s, r, s)$ 在 $bvp$ 上的有界性，得到 $\|U(s, r, s)x\|_{bvp} \leq (2|s| + |r|)\|x\|_{bvp}$。
• 利用对偶性和伴随算子性质，注意到 $U^*(s, r, s) = U(s, r, s)$，通过 $p^{-1} + q^{-1} = 1$ 将 $\ell_p$ 和 $\ell_q$ 上的谱联系起来。
• 分析预解算子 $(U(s, r, s) - \lambda I)^{-1}$，当 $\lambda \notin [r - 2s, r + 2s]$ 时，证明其在 $\ell_p$ 上有界。
• 证明 $\lambda = r$ 导致算子不可逆，且当 $\lambda \in [r - 2s, r + 2s]$ 时，逆算子无界或定义不稠密。

实验结果

研究问题

• RQ1 在 $1 < p < \infty$ 时，对称三对角矩阵算子 $U(s, r, s)$ 在 $\ell_p$ 上的完整精细谱是什么？
• RQ2 $U(s, r, s)$ 在 $bvp$ 上的谱与在 $\ell_p$ 上的谱相比有何异同？
• RQ3 为何 $U(s, r, s)$ 在 $\ell_p$ 和 $bvp$ 上的点谱和残余谱均为空？
• RQ4 特征方程 $x^2 + qx + 1 = 0$ 在确定 $U(s, r, s)$ 的谱性质中起什么作用？
• RQ5 对称三对角矩阵在巴拿赫空间中的谱行为与希尔伯特空间中相比有何不同？

主要发现

• 点谱 $\sigma_p(U(s, r, s), \ell_p)$ 为空，意味着该算子在 $\ell_p$ 上无特征值。
• 残余谱 $\sigma_r(U(s, r, s), \ell_p)$ 也为空，表明不存在使值域不稠密的 $\lambda$。
• 连续谱 $\sigma_c(U(s, r, s), \ell_p)$ 为闭区间 $[r - 2s, r + 2s]$，完全刻画了谱。
• 在 $bvp$ 上，谱分解具有相同形式：$\sigma_p(U(s, r, s), bvp) = \emptyset$，$\sigma_r(U(s, r, s), bvp) = \emptyset$，且 $\sigma_c(U(s, r, s), bvp) = [r - 2s, r + 2s]$。
• $U(s, r, s)$ 在 $\ell_p$ 和 $bvp$ 上的谱恰好为 $[r - 2s, r + 2s]$，无其他谱分量。
• 伴随算子 $U^*(s, r, s)$ 在满足 $p^{-1} + q^{-1} = 1$ 的 $\ell_q$ 上点谱为空，证实了对偶性的一致性。