窗口化路径积分:从传播子到“窗—核“谱读数的严格等价
Windowed Path Integrals: A Spectral “Window–Kernel” Formulation of Propagators
Version: 0.8.1 · 2025-10-28
摘要
在 de Branges–Kreĭn(DBK)规范系统与 Weyl–Heisenberg(含对数/Mellin)表象所组成的 WSIG-QM 框架下,本文以谱定理 + 解析傅里叶对偶为主线,给出路径积分 = 传播子核的严格数学刻画,并证明一个窗化路径积分定理:任何可实现的路径积分型观测都等价于能量域的“窗—核—密度“卷积;其时间域正是传播子时间迹(或带态权的核)在同一窗/核下的傅里叶对偶。数值实现方面,离散化误差非渐近地闭合为“别名(Poisson)+ 伯努利层(Euler–Maclaurin)+ 截断“三分解;在带限 + Nyquist条件下别名项严格为 0。相位刻度方面,绝对连续谱上几乎处处成立
其中 为 Wigner–Smith 延迟矩阵, 为谱移密度, 为 BK 号记版本参数(本文采用 );这由 Birman–Kreĭn 公式与相对散射延迟的一致化给出,从而把路径权重的作用量相位与可测的能量刻度闭合统一。信息几何侧,**Born 概率 = 最小-KL(I-投影)**给出 log-sum-exp 软势的凸对偶语义;窗/核的单窗与多窗协同可表述为强凸/稀疏最优化并与帧—对偶窗理论对接。以上均锚定标准判据:谱定理与 Stone 定理、Birman–Kreĭn 公式、Wigner–Smith 延迟、Poisson 求和与 Euler–Maclaurin 公式、Nyquist–Shannon 采样、Wexler–Raz 双正交与“painless“展开等。
0. 记号与规范
(0.1)Fourier 规范. 取
并用 Parseval(零频等式与 Plancherel 并用):。
速查卡: 本规范下,,;缩放 给出 (幅值因子 ,支撑缩至 倍)。角频率 对应时间带宽 (本文统一取此规范,与某些文献的 放置不同)。
单位/规范提示(统一). 在能量—时间对偶中,记 的傅里叶对偶变量为 ;在 下 (单位:time),恢复 时 。本文所谓“带宽 “统一指 -域半宽(即 的支撑/近支撑)。因此能量侧 的半宽分别为 ,其和 亦为 -域半宽。若以物理时间表述,在 约定下有 ;恢复 时应取 。文中一切 Nyquist 判据均以 为准。Nyquist 判据见 §3 与附录 A。
(0.2)量纲与常数. 统一取 ;恢复时以 替换。
(0.3)谱与传播子. 为自伴算子, 为其谱测度。对任意迹类算子 (其中态权指 ,可观测权指符号有限且 的迹类算子),定义
在此假设下, 良定义且为连续有界函数。
若 的绝对连续部分具有密度 ,则其贡献满足(分布意义)。一般地,;当且仅当 纯绝对连续时,才有 。这来自谱定理与 Stone 定理对 的刻画。
泛化记号. 对一般谱密度/测度 (可为 、 或其他),记 。当 来自某迹类 的谱测度 时,;一般地仍取 Stieltjes/分布意义。
(0.4)窗与核. 取偶窗 ,其中 (带宽 的 Paley–Wiener 偶函数类,此处取 Paley–Wiener:紧支撑傅里叶变换的 函数),则 亦为偶函数且支撑在 。注: “支撑缩放()“与“幅值因子()“需区分——例如 时支撑变为原来的 ,而峰值变为原来的 倍,使 保持不变。缩放不变速查: 由 得
测试核 (无偶性要求,必要时可带限),保证卷积与换序。
函数空间提示. 本文在定理 2.1 与假设 A 中要求 以保证卷积—乘积交换与估计。在本文的 Paley–Wiener 设定()下, 连续且有界,并有 ,因此 自动成立。
函数空间提示(更正). 在一维情形,按本文对 Sobolev 空间的约定(),有嵌入 因此对任意 ,若 ,则 成立,可用于卷积与换序的有界性估计。另一方面,定理 2.1 的恒等式本身最低仅需 ;更高阶的 假设仅服务于 §3 的 EM 误差估计。
(0.5)相位—密度—延迟刻度. 设对参照 的散射矩阵为 (单/多通道)。本文固定 Birman–Kreĭn 号记
并引入 Wigner–Smith 延迟矩阵。量纲与 统一: 定义
则对任意 a.e. 可微的散射能量 ,
在全文中取 ,默认 ,从而
定义总相位 ,其中选取与 BK 号记一致的连续支路,并将 规范为在参考能区(例如阈下或选定参考能量 )归零,使得 的绝对值可物理测量。则
其中 对应本文版本 I 号记()。由此
归一化与支路选择. 令谱移函数取标准归一化 当 ,并选择连续支路使 满足 。在此归一化下,BK 版本 I()给出函数级等式 若采用一般号记 ,则 ,导数关系不变。
统一不变量说明: 为两号记版本的共同不变量(与 无关),而 的符号依赖由 决定。详见定理 4.1 对双版本号的详细说明。
适用条件: 上述关系在 §4.1 的散射正则性条件下(例如相对迹类或 Hilbert–Schmidt 条件,使 a.e. 可微且 BK 公式适用)a.e. 成立,并统一了作用量相位与谱移密度的刻度。详见 §4.1 与附录 A。
1. 路径积分与谱—窗/核字典
位置本征基下的传播子核
其中 为对应的谱 Stieltjes 测度。形式的费曼路径积分正是对该核的另一种表述(在严格化框架下与核一致)。因此,当选择“窗“ 与“核“ (广义函数意义)时,时间传播子 就是能量侧窗化读数的特例; 则对应能量平滑,时间域为乘以 。
在 WSIG-QM 语境中,这等价于:可测的所有路径积分型观测 = 能量侧“窗—核—密度“读数;时间侧为传播子时间迹/核在同窗/核下的傅里叶对偶。
2. 窗化路径积分定理:能量—时间双表
设 自伴, 其谱测度; 表示欲读数的谱密度(可取 或相对密度 )。令 ,。
Assumption A(换序与可积性前提). 为使定理 2.1 的傅里叶对偶与换序严格成立,假设:
- (A1)谱密度规整性: 为有限符号 Borel 测度(即 );当 有绝对连续部分时其密度属 。
- (A2)窗函数规整性: 且为偶函数,属 Paley–Wiener 类 (带限于角频率 ),从而其傅里叶变换 紧支撑于 (角频率规范)。
- (A3)核函数规整性: (无偶性要求),保证 在分布意义下良定义且 。充分条件链: 由 Sobolev 嵌入, 蕴含 (对 时),从而 ,保证定理 2.1 证明中的有界性与可积性。时间侧 EM 附加要求: 若在时间侧使用 阶 EM 修正(见 A6),需额外保证 。充分条件为 满足矩条件 (),此时 对所有 一致收敛且 。
- (A4)Fubini/Tonelli 可交换(修订). 上述条件下,,且 (亦可视为对 Lebesgue 测度的绝对连续有限测度)。因此分布型 Parseval/Plancherel 恒等式与 Fubini–Tonelli 换序成立。
- (A5)Stieltjes/分布对偶: 当 为谱测度时, 由 Stone 定理保证为连续有界函数;点谱+绝对连续谱分拆时各部分分别以 Stieltjes 意义处理。
- (A6)时间侧 EM 光滑性(可选): 若在时间侧使用 阶 Euler–Maclaurin 修正,需额外假设 。充分条件(三因子闭合):
- (i) 窗函数: 若 且满足矩条件 (),则 且
注意: (即 )仅保证 在能量域解析与有界,不足以推出时间域 的 光滑性;后者需由能量侧矩条件给出。由 (i)(ii)(iii) 合用可闭合 的有界性。
- (ii) 核函数: 满足矩条件 (),从而 且 (见 A3 中时间侧 EM 附加要求)。
- (iii) 谱密度: 对整体现代谱测度 施加到 阶的统一矩条件:
其中 为测度 的全变差(覆盖绝对连续、点谱、奇异连续三部分)。于是 对所有 一致收敛且有界(),从而 。综合 (i)(ii)(iii),由 Leibniz 规则得 存在且有界,EM 余项上界 合法。纯绝对连续特例: 当 为绝对连续密度 时,矩条件退化为 ()。点谱/奇异连续: 需分别保证 与相应奇异连续部分的矩可积;否则建议在时间侧跳过 EM 或改用能量侧方案(§3(ii))。推荐优先使用能量侧采样。
- (A7)能量侧 EM 光滑性(修订,统一充分条件). 为在能量侧使用 阶 Euler–Maclaurin,需 。给出如下分情形充分条件: (i) ; (ii-A)(一般测度,函数连续有界)若 (),则对任意有限符号测度 有 备注(必要区分):若仅有 而缺少连续性,则一般只能推出 ,不能保证其连续(例如 )。此时应改用(ii-B)的绝对连续密度情形,或按(ii-C)对点谱部分分段处理/显式求和。 (ii-B)( 密度情形)若仅有 (),则需附加 具 密度 (某个 ;如仅在 内施行 EM,可取 并据截断窗作局部化)。于是 (ii-C) 若 含点质量,则按离散和式处理或要求 以确保有界性;此时可采用分段 EM 或直接显式求和以绕开连续可微要求。 在上述任一情形下, 成立, 阶 EM 余项可由 控制。
定理 2.1(窗—核对偶)
设 ,, 为有限符号 Borel 测度,则
其中 ;当 时与 一致。若 为偶函数(如带宽窗 ),则上式右端的 可写为 。
正则性分级说明: 定理 2.1 的恒等式本身仅需 、(换序按 A1–A4 保证),而 / 的高阶光滑性仅用于 §3 的 EM 误差估计;若仅使用定理本身而无需 精度的 EM 修正,可将正则性要求降为 、。
证明. 记 。由假设 A1–A3,,故 ,从而 (因 )。据此可直接应用 Fubini–Tonelli 与 Parseval 得到结论;无需用到 上界。由 Parseval,。再由卷积—乘积对偶
取 ,变元 得
又由记号 0.3,(Stieltjes/分布意义),即得所述。换序由 、 及 的 Lebesgue 三分解(点谱 绝对连续 奇异连续)下的可积性估计保证:对点谱部分采用显式和式、对绝对连续部分采用 积分、对奇异连续部分以有限测度的全变差作界,从而 Fubini–Tonelli 与零频 Parseval 恒等式得以适用。□
诠释. 左端是能量侧“窗—核—密度“读数;右端是时间侧传播子时间迹在相同窗/核下的乘积积分。这就是”路径积分核(传播子)↔ 能量窗化谱读数“的精确傅里叶对偶,依赖的仅是谱定理与 Plancherel(Stone 定理确保 的一参单位群)。
通式与偶窗. 定理陈述的通式 适用于任意窗函数;当 为偶函数时简化为 。对点时刻传播子等非偶窗情形(如 ),采用推论 2.2 的分布版本,号记细节见附录 B.2。
推论 2.2(分布版本/点窗与 核,修订)
令 且其傅里叶变换 为有界有限测度(容许 );令 为有限符号 Borel 测度;令 且可由 逼近。则定理 2.1 的恒等式
在 配对意义下成立(与定理 2.1 保持相同的通式记号 ;当 为偶函数时可简化为 )。此时 ,与 的乘积良定义;本文不将该乘法泛化至任意分布乘子。
点时刻传播子特例(双版本对照). 取 (从而 ),在本文傅里叶规范 下:
| 窗函数 | 右端结果 | 左端谱表示 | ||
|---|---|---|---|---|
两侧恒等式逐步相等,与 §0.1 速查卡完全对齐。物理上常用第二行()得正时刻传播子 。
3. 离散化与Nyquist–Poisson–EM三分解(非渐近闭合)
在数值实现中,对(2.1)任一侧取等距采样步长 ,窗口截断至 ,并以 阶 Euler–Maclaurin(EM)修正求和—积分差,则总体误差可一次性分解为
侧别统一与别名判据. 为避免变量混用,定义
- 时间侧函数:。(当 为偶函数时可简化为 。)
- 能量侧函数:。
(i)时间侧采样(近带限与上界). 若在时间侧采样 (步长 ),由定义 与本文傅里叶规范 ,逐步计算得 、、(其中 为反射)。对 Borel 测度 定义反射 ()。于是 合法,且与函数情形的反射记号一致。由 ,对 取傅里叶变换得 其中 。由乘积—卷积律与前因子 ,得
散射谱 通常非紧支撑,故 一般支撑在 上。严格带限情形(别名=0)需额外假设:存在 使 (即 带限),此时
一般近带限情形下,别名上界由出带能量控制:
EM 余项(需 ,见假设 A6):;截断尾项 。
(ii)能量侧采样(推荐). 若在能量侧采样 (步长 ),其傅里叶变换 。带宽判据(Minkowski 和): 当 与 均为紧支撑时,有
与 是否紧支撑无关(被乘子局域化)。具体地,若 且 ,则 ,其中 为 -域半宽。则 严格带限于 ,从而
EM 余项(需假设 A7 保证 ):;截断尾项 。解析 指数收敛(限定条件版): 当 在实轴邻近的水平条带 内解析且满足条带内一致衰减(如 对某 )或可周期化延拓时,梯形规则呈几何(指数)收敛 ( 依赖于解析条带宽度与衰减速率);详见 Trefethen–Weideman(SIAM Rev. 2014)关于周期/解析情形的梯形规则指数收敛定理。非周期或无条带解析时需退回代数阶估计。点谱情形注意: 若 含点质量(如谐振子点谱 ),则 仅为分段光滑;此时需改用分段 EM 或直接对离散谱求和 ,绕过连续微分要求(见假设 A7 中降级处理说明)。
实践建议. 优先在能量侧采样 ,因其窗/核带限时自动满足 Nyquist 条件。光滑性注意: 若使用 阶 EM 修正,需验证假设 A7 的充分条件( 具 密度且 );对含点谱情形,改用分段处理或直接对离散谱求和。时间侧采样需额外验证 的矩条件(见假设 A6)或施加低通预滤波。
近带限工作定义. 对给定容差 ,定义 -带限半宽
从而别名上界可用此量表达:;而截断尾项上界由窗外被积函数控制:。
误差账本实施清单(数值实现者速查):
| 输入参数 | 符号 | 典型值/单位 |
|---|---|---|
| 窗带宽(角频率) | rad/time | |
| 核带宽(角频率) | rad/time | |
| 采样步长(时间侧) | time | |
| 采样步长(能量侧) | energy | |
| 截断半宽 | time 或 energy | |
| EM 阶数 | 偶数,≥2 | |
| 容差 | 近带限定义用 |
| 输出/判据 | 表达式 | 注释 |
|---|---|---|
| 别名=0 条件(时间侧) | 仅在 严格带限时成立 | |
| 别名=0 条件(能量侧) | 为 半宽(推荐) | |
| 别名上界(近带限) | 出带能量;见上文 定义 | |
| EM 余项上界 | Bernoulli 层;能量侧需 A7,时间侧需 A6;点谱需降级处理 | |
| EM 指数收敛(解析 ⇒ 几何) | 梯形规则 | |
| 截断尾项上界 | 或 (解析) | 窗外能量 |
4. 相位—密度—延迟的统一刻度
定理 4.1(BK + Wigner–Smith)
设 满足常规散射正则性(例如 或相应相对迹类/Hilbert–Schmidt 条件,使谱移函数与 的可微性、BK 公式适用),使得 a.e. 上 存在并酉。
BK 号记双版本约定(与主流文献对照).
版本 I(本文采用): ,(取 ),从而 。
版本 II(Pushnitski, Sobolev 等主流): ,(定义相同),从而 。
互换规则(统一表述). 记 使 。定义
则
因而
其中 对应本文主文“版本 I“, 对应“版本 II“。( 为两版本共同不变量。)
证明(要点). 由 BK 公式 (a.e.)取对数并微分,得 。又因 酉,,于是 ,即 。定义 (可取连续分支锚定),则 ,且有 。□
物理含义. 为总群延迟,其与谱移导数一致即是 Friedel-型“密度—相位“规则的抽象版本。上述 在凝聚态、介观物理与电磁波散射中广泛用作能级密度的直接度量。
与窗化读数的联系. 对良态散射对 ,有 ,故 可理解为 的分布版本;这在定理 2.1 中将相对散射读数与 BK/Wigner–Smith 刻度统一对接。
5. Born = I-投影与信息几何
(解释性命题/信息几何语义) 下述“Born = 最小-KL(I-投影)“用于本框架的概率更新语义,并非量子力学 Born 规则公理的标准表述,而是将窗化读数后的概率条件化/更新过程置于信息几何框架下的重述;在闭凸矩约束 与下半连续条件下存在唯一极小解。
适用场景: 当窗化读数(定理 2.1)给出能量谱的条件化分布后,若需将其更新为满足额外线性矩约束 的最优分布,可表为对参考 的最小-KL 投影(I-投影):
则解属于指数族,势函数为 (log-sum-exp)。这与 Fenchel–Legendre 对偶一致,温度 的极限在 -收敛下给出“硬投影/最小能量“。此“Born = 最小-KL“的等价在信息几何中由 Csiszár 的 I-投影与 Bregman-KL 关系奠基。注意: 本节非路径积分的必要组成部分,仅为与 WSIG-QM 公理 A4/定理 T2 的概念接口。
6. 窗/核设计与多窗协同(最优化—帧—对偶窗)
(6.1)单窗强凸最优. 在带限偶子空间上以“带外能量 + 高阶导能量“作目标,得到唯一极小窗;频域满足带限投影的 KKT 条件。
(6.2)多窗/多核与帧稳定. 用加权多目标描述帕累托前沿;令 为多窗族,帧算子 ,存在对偶窗族 使 。Wexler–Raz 双正交给出 Gabor/WH 系的必要充分条件;“painless“非正交展开提供可实现的稳定构造。
7. 轨道展开与迹公式接口(半经典视角)
抽象迹公式把“谱和 + 轨道和“置于同一测试核 下;窗化后奇性集合与阶保持,数值误差依旧遵循本论文的“别名 + EM + 截断“账本。(具体 Selberg/Gutzwiller 版略。)
8. 例:自由粒子与谐振子(纲要)
- 自由粒子:LDOS 的密度 与 由傅里叶互为对偶;取 、 恢复 。
- 谐振子:点谱 时,,(2.1)以 Stieltjes 形式依然成立。
9. 与 WSIG-QM / UMS / EBOC 的接口
9.1 与 WSIG-QM 的接口。
- WSIG-QM 的公理 A2(有限窗口读数)直接对应本文定理 2.1 的能量侧“窗—核—密度“读数。
- WSIG-QM 的公理 A5(相位—密度—延迟刻度)与本文定理 4.1 采用完全一致的 BK 号记与 Wigner–Smith 定义。
- WSIG-QM 的定理 T1(窗口化读数恒等式与非渐近误差闭合)与本文第 3 节的 Nyquist–Poisson–EM 三分解共享同一误差账本。
- WSIG-QM 的定理 T2(Born = I-projection)与本文第 5 节的信息几何投影在概念与证明结构上完全对齐。
9.2 与 UMS 的接口。
- UMS 的核心统一式 与 与本文 0.5 及定理 4.1 采用相同刻度。
- UMS 的公理 A2(有限窗口读数)与本文定理 2.1 在传播子语境下完全等价。
- UMS 的定理 4.1–4.3(Nyquist–Poisson–EM 有限阶闭合)为本文第 3 节的路径积分离散化提供理论支撑。
9.3 与 EBOC-Graph 的接口。
- EBOC-Graph 的定理 G4(非渐近误差闭合)与本文第 3 节的三分解在离散谱/图信号情形下共享框架。
- 路径积分在图/格点系统上的离散化可沿用本文的 Nyquist–Poisson–EM 账本,将连续能量谱替换为图拉普拉斯谱。
9.4 与 S15–S26 的接口。
- S15–S17 的 Herglotz 表示与规范系统为传播子核的谱密度 提供解析结构。
- S24–S26 的纤维 Gram、Wexler–Raz 双正交与 Balian–Low 不可能性为本文第 6 节的多窗设计提供具体判据。
- S21–S23 的相位—尺度协变与有限阶 EM 纪律直接支撑本文的误差闭合框架。
9.5 与 CCS(协变多通道)的接口。
- CCS 的窗化 Birman–Kreĭn 恒等式与本文定理 4.1 在多通道散射情形下完全一致。
- CCS 的 Nyquist–Poisson–EM 三分解为本文第 3 节的路径积分离散化提供多通道推广。
9.6 保持“极点 = 主尺度“的有限阶 EM 纪律。
- 本文在所有离散—连续换序中均采用有限阶 EM,确保传播子的极点(共振/束缚态能量)始终为“主尺度“标记。
- 与 WSIG-QM、UMS、S15–S26 保持一致:EM 余项仅作有界扰动,不引入新奇点。
10. 结论
一语以蔽之:
并在 BK/延迟/相位密度统一刻度与 Nyquist–Poisson–EM 误差学下,得到严格对偶 + 可计算闭合的表述。
附录 A:规范切换与 恢复
- 若取对称 Fourier 规范 ,则定理 2.1 右端无 因子(自动吸收进规范)。
- 恢复 :以 改写 的自变量并配套雅可比;按 §0.5 中 的定义,含 的版本无关关系式为 ;在版本 I 号记()下有 (可在 处锚定分支),从而 。
- Nyquist 速查式(恢复 ): 设 为能量侧 的 -域半宽()。则 等价地,以物理时间半宽 表示,则 二者完全一致;当 时退化为 。时间侧同理:若 为 的频域半宽,则 。取 时回到正文 §3 公式。
单位再提示(与 §0.1 对齐): 上述 均为 域的半宽( 时单位:1/time);若需以普通频率 (Hz)表述,则以 替换。
- BK 号记版本切换: 正文采用版本 I:;主流文献采用版本 II:。两版本下 与 (或 )同时变号,统一不变量为相位导数:
而谱移密度则带版本依赖的符号:
其中““对应版本 I(,),”“对应版本 II(,)。可在参考能量 处锚定常数项以固定分支。定理 4.1 对两种号记的详细说明见正文。
附录 B:路径积分与传播子核的等价性补充
B.1 Feynman–Kac 公式与谱表示。 对势 满足适当增长条件的薛定谔算子 ,传播子核
可经 Trotter 乘积公式与 Feynman–Kac 公式(虚时情形)得到严格版本;实时路径积分的严格化需视势函数满足的条件而定。关键点:
- 谱定理给出 。
- 传播子核为 在位置表象下的矩阵元。
- Feynman–Kac 给出路径积分表述(形式);严格版本需 Wiener 测度或格点近似。
B.2 窗化为 与 的极限。 在本文采用的傅里叶规范 下,取 则 ,故定理 2.1 通式中的 。若 ,则 。代入定理 2.1 右端:
左端按谱表示 ,两侧逐步等式一致。若需右端直接给出 (对应正时刻传播子),则改用窗函数 (此时 ),与 0.1 的速查卡完全对齐。物理上两种写法等价,均为定理 2.1 在点窗下的特例。
B.3 能量平滑()的物理解释。
- 若 为带限函数,对应能量域平滑/滤波;时间域为 的乘子。
- 例:取 为高斯,则对应能量不确定度展宽;Wigner–Weyl 时频分析中等价于相空间局域化。
附录 C:Wexler–Raz 双正交与“painless“展开简要
C.1 Wexler–Raz 双正交(更正)。 设 与 为 格点上一对 Gabor 系。它们互为对偶帧的充要条件是:在伴随晶格 上满足二维采样正交 (等价写法 仅系内积对易与常数归一互换。) 原“沿轴求和“条件仅在附加周期化/收敛前提下可由 Poisson 求和化简得到,不应作为一般判据。
C.2 “Painless“非正交展开(修订)。 推荐在过采样情形 (冗余度 )构造“painless”紧框架();此时可给出显式对偶窗且数值稳定。在临界密度 下,除非采用非良好局域的退化窗,一般无法得到良好局域的紧框架(受 Balian–Low 不可能性限制),因此不作普遍性断言。
C.3 与本文窗/核设计的联系。
- 多窗/多核协同(§6.2)可视为多个 Gabor 系的并;帕累托前沿对应加权多目标最优化。
- Wexler–Raz 条件确保对偶窗存在,从而定理 2.1 的多窗版本可逐窗叠加并保持数值稳定性。
参考锚点(精选)
- 谱定理、Stone 定理与传播子核的谱表示: Teschl《Mathematical Methods in Quantum Mechanics》(AMS Graduate Studies in Mathematics);Reed–Simon《Methods of Modern Mathematical Physics》Vol. I。
- 路径积分与传播子: Feynman–Hibbs《Quantum Mechanics and Path Integrals》;Simon《Functional Integration and Quantum Physics》(Academic Press);Glimm–Jaffe《Quantum Physics: A Functional Integral Point of View》;Littlejohn《The Propagator and the Path Integral》讲义。
- Birman–Kreĭn 公式与谱移函数: Pushnitski(Acta Math. 2008),Yafaev《Mathematical Scattering Theory》;Sobolev 综述(arXiv:1006.0639)。
- Wigner–Smith 延迟矩阵: Wigner(Phys. Rev. 1955)、Smith(Phys. Rev. 1960)原始论文;多通道情形见 Shimamura(J. Phys. B 2006);综述见 Martin(Phys. Rev. A 1992)。
- Friedel 规则与谱移—电荷关系: Kohmoto–Koma–Nakamura(Phys. Rev. B 1999)。
- 采样、Poisson 与 Nyquist: Shannon(1949)经典;Nyquist–Shannon 采样定理见 Marks《Introduction to Shannon Sampling and Interpolation Theory》(Springer);Poisson 求和与近似采样见 Butzer–Gessinger(Arch. Math. 1997)、Candès 讲义(Stanford Math 262)。
- Euler–Maclaurin 公式与指数收敛梯形规则: Atkinson《An Introduction to Numerical Analysis》(Wiley);解析/周期情形指数(几何)收敛见 Trefethen–Weideman《The Exponentially Convergent Trapezoidal Rule》(SIAM Review 2014, Vol. 56, No. 3, pp. 385–458)——此为解析函数上梯形规则指数收敛的权威综述。
- 帧与对偶窗、Wexler–Raz 与“painless“展开: Daubechies, Landau, Landau(J. Fourier Anal. Appl. 1995);Daubechies–Grossmann–Meyer(J. Math. Phys. 1986);Christensen《An Introduction to Frames and Riesz Bases》(Birkhäuser);Gröchenig《Foundations of Time-Frequency Analysis》(Birkhäuser);Casazza 等综述。
- I-投影与信息几何: Csiszár《I-Divergence Geometry of Probability Distributions and Minimization Problems》(Ann. Probab. 1975);Amari–Nagaoka《Methods of Information Geometry》(AMS)。
(全文所用外部结论均为标准判据;涉及可能随规范变化的常数/符号已在相应处固定或注明依赖。)