关于Laurent算子L(sign)中指标j、k含义的技术咨询

嘿，我来帮你拆解这个Laurent算子里的j和k到底是什么意思～

首先先把原文里的相关内容贴出来方便对照：

出自Lyonell Boulton的文章《Spectral pollution and eigenvalue bounds》第7页的内容：
设$S$是$L^2(-\pi, \pi)$上的符号函数乘法算子：
$$S f(t)=\operatorname{sign}(t) f(t) \quad S: L^2(-\pi, \pi) \longrightarrow L^2(-\pi, \pi)$$
其谱和本质谱为$\operatorname{spec} S=\operatorname{spec}{\mathrm{ess}} S={ \pm 1}$。
离散傅里叶变换$\mathcal{U}: L^2(-\pi, \pi) \longrightarrow \ell^2(\mathbb{Z})$是可逆等距映射：
$$\mathcal{U} f=(\hat{f}(n)){n \in \mathbb{Z}} \quad \hat{f}(n)=\frac{1}{\sqrt{2 \pi}} \int_{-\pi}^\pi f(t) e^{-i n t} \mathrm{~d} t$$
对应的Laurent算子为：
$$L(\operatorname{sign})=\mathcal{U S U}^{{-1}=\left[\widehat{\operatorname{sign}}(j-k)\right]_{j,k=-\infty}}{\infty}: \ell^2(\mathbb{Z}) \longrightarrow \ell^2(\mathbb{Z})$$
它的谱和$S$的谱完全一致。

接下来解释j和k的核心含义：

• 这两个指标是无限维矩阵的行、列索引：
  • $k$是矩阵的列索引，对应输入序列$\ell^2(\mathbb{Z})$中元素的位置——比如输入序列是$x=(x_k)_{k\in\mathbb{Z}}$，每个$k$对应序列里的一个位置，也对应矩阵的一列。
  • $j$是矩阵的行索引，对应输出序列$\ell^2(\mathbb{Z})$中元素的位置——输出序列$y=(y_j){j\in\mathbb{Z}}$里的每个$y_j$，就是矩阵第$j$行和输入序列做内积的结果，公式写出来就是：
    $$y_j = \sum{k=-\infty}^{\infty} \widehat{\operatorname{sign}}(j - k) x_k$$

另外补充一个关键细节：$\widehat{\operatorname{sign}}(j-k)$的形式说明这是个卷积型算子——当$j-k=m$（固定整数）时，矩阵元素的值都等于$\widehat{\operatorname{sign}}(m)$，也就是说矩阵沿每条对角线（$j-k$为常数的线）上的元素都相等，这正是Laurent算子的标志性结构（可以看作是Toeplitz算子的无限维推广）。

备注：内容来源于stack exchange，提问作者amilton moreira