Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

S15. Weyl–Heisenberg 酉系统与完成功能方程的算子等价

—— 带权 Mellin–Hilbert 空间中的群表示、生成元、Weyl 关系与镜像

作者:Auric 日期:2025-10-21


摘要(定性)

在带权 Mellin–Hilbert 空间 中构造两族一参数酉算子:相位模群 与尺度伸缩群 。证明它们强连续、给出自伴生成元与公共核心,并建立标准 Weyl 关系 ,从而得到 Weyl–Heisenberg( 的中心扩张)之射影酉表示;在对数坐标模型中,该系统等价于 上的“调制—平移“Weyl 对。Mellin 侧呈现为“垂线平移—权乘“的谱图像并可对角化。构造满足自反性的再生核 Hilbert 空间(RKHS)后,完成功能方程 与镜像算子 的本征关系 严格等价。全流程仅使用有限阶 Euler–Maclaurin(EM)与方向亚纯化:窗化/卷积/换序仅叠加整/全纯层,极点唯由主尺度产生;增长由支持函数上界与 正规化配平;数值离散化误差统一由 Nyquist–Poisson–EM 三分解给出非渐近可计算上界。


0. 记号与基础框架

0.1 完成函数与中心轴

设 Dirichlet 级数

其完成函数

为中心轴。

0.2 带权 Mellin–Hilbert 空间与 Mellin 变换

Mellin 变换

上满足 Plancherel–Mellin 等距:

令对数等距

为酉,该归一由 与 Fourier 变换的标准配对唯一确定。

0.3 镜像算子

定义 。则 上酉且 。在 -模型中,

0.4 解析纪律与增长—误差

所有离散—连续换序仅使用有限阶 EM(伯努利层与余项关于复参全纯/整);沿方向切片的拉普拉斯–Stieltjes 变换在工作竖条内亚纯,其极点位置与阶数由指数–多项式律唯一决定。方向增长由 Newton 支持函数上界控制;垂线增长由 正规化配平。数值误差按别名/Poisson + 有限阶 EM 伯努利层 + 截断尾项三部分统一核算。


1. 两族一参数酉群与 Weyl 关系

定义 1.1(相位与尺度的酉作用)

定理 1.2(强连续与酉性)

为强连续一参数酉群,且

证明 的酉性由权函数 对乘子 的不变性显然。对 ,变换因子与前置归一精确抵消:

强连续性通过等距 获得: 的教材级强连续群,因而 强连续。∎

命题 1.3(Weyl 关系)

证明 逐点计算:

注 1.4(对数模型) 通过 ,得到

上标准“调制—平移“Weyl 对。


2. Stone 生成元、公共核心与 CCR

定理 2.1(生成元与本质自伴性)

存在在 上定义的算子

它们在该共同核心上本质自伴,其闭包 为自伴生成元,并满足

闭包的自然域为

公共核心可取 ;其 -模型下的自然核心为 (亦可改用 作为核心,二者均足够)。在 -模型中对应 的本质自伴性,其中

证明 由 Stone 定理与酉等距 传递到 获得自伴闭包与核心性。∎

命题 2.2(对易关系)

在公共核心 上,

证明 直接计算如常,化简得 。所有对易计算均在该公共核心上进行,再以本质自伴性延拓到闭包 。∎

推论 2.3(指数式 Weyl 等价)

由命题 1.3 得

与核心上 的正规 Weyl 表示等价。对无界算子,先在共同核心上应用 Campbell–Baker–Hausdorff,再以稠密延拓完成;在正则表示假设下二者等价。


3. Mellin 侧的作用、对角化与共轭

命题 3.1(Mellin 侧的平移—乘子)

对适定

证明 第一式由 的乘子性显然。第二式代入定义并以 代换得 。对一般 的陈述按解析延拓理解。∎

命题 3.2(镜像对生成元的共轭)

上酉对合,且

证明-模型中 为标准奇偶算子 ,该等式等价于 ;故对乘子 与导数 皆取负;回推即得(对闭包 的共轭关系由稠密延拓建立)。∎


4. 自反核 RKHS 与完成功能方程的算子等价

4.1 自反核与评估向量

取核 使得 正定,其中 为 Mellin 卷积(乘法卷积)

且其 Mellin 变换满足

则由 Moore–Aronszajn 定理在 上诱导再生核 Hilbert 空间 。记 为评估向量,满足

在中心轴邻域连续。评估向量 的选择唯一到常数相位;本文选取与 对齐的规范,使 成立。

定理 4.2(完成功能方程 镜像本征)

证明

,则 ;反之, 对所有 成立,由再生性得 。∎


5. 解析纪律:有限阶 EM 与方向亚纯化

定理 5.1(窗化/卷积的奇性保持)

取偶窗/核 (紧支或指数衰减)并以有限阶 EM 进行离散—连续桥接,定义

在同一工作竖条内具有相同的极点集合与阶数;所有 EM 端点伯努利层与余项关于 为整/全纯,故极点仅来自主尺度

证明 带参 EM 的有限阶伯努利层在复参数上全纯,余项整/全纯;方向亚纯化断言沿切片的拉普拉斯–Stieltjes 变换的极点由指数率与多项式阶唯一决定。∎

命题 5.2(增长控制)

沿 的切片,增长由 Newton 支持函数 上界;完成功能方程与 正规化共同在中心轴提供对称的垂线衰减。∎


6. 非渐近离散化:Nyquist–Poisson–EM 三分解

定理 6.1(采样—积分的统一误差界)

。对步长 与截断 ,有

带限且 ,别名项为零。

证明 由 Poisson 求和公式、带参有限阶 EM 与尾项估计直接叠加。∎

注 6.2 来自 的窗化 integrand,定理 5.1 保障误差层不改变奇性集合;增长常数由命题 5.2 控制。


7. Weyl–Heisenberg 中心扩张的射影酉表示

定义 7.1(Weyl 系统)

由命题 1.3,

因此 的射影酉表示,其 2-余因子

确定 Weyl–Heisenberg 的中心扩张;由 Stone–von Neumann 定理在不可约与正则性条件下惟一化。本表示在 (通过 )为不可约且正则的 Schrödinger 型表示,故满足该定理的惟一性前提。亦可采用对称规范 ,二者酉等价并给出同一 Weyl–Heisenberg 中心扩张。


8. 例示

(1) Riemann :取 。构造自反核 使 ,则 当且仅当

(2) Dirichlet :若 非实, 为 Gauss 因子相位,则 等价。


9. 可检清单(最小充分条件)

  1. 群与生成元 强连续、酉; 在共同核心 上本质自伴,其闭包 为自伴生成元;在核心上
  2. Mellin 侧;中心轴应用 Plancherel–Mellin。
  3. 镜像等价:选自反核 ,构造 ,并令 ;验证
  4. 解析纪律:窗化/换序仅用有限阶 EM;伯努利层与余项关于 全纯/整,极点=主尺度
  5. 增长与误差:支持函数上界与 正规化控制增长;数值误差按 Nyquist–Poisson–EM 三分解给出显式常数。

10. 与既有篇章的接口

S0–S1(母映射与解析域):本篇的 与 Mellin 归一由 S0–S1 的“相位—尺度母映射/可积条带“设定统一固定;-模型把母映射的对数坐标化落实为标准 Fourier 架构,为 §0.2 的 Plancherel–Mellin 判据提供规范。

S2(加法镜像与零集几何):S2 的“加法镜像 “在本篇由 具体实现为 (对数坐标),从而把零集关于中心轴的几何对称转写为 的本征条件;S2 的横截模板决定 §5 中方向切片的合法性。

S3(自反核与 Mellin 镜像):S3 的自反核构造在 §4 处升格为 RKHS 语言;公式 是 S3 镜像对称在再生核层面的精确实现,并与 组合为功能方程的算子等价。

S4(有限阶 Euler–Maclaurin):S4 的“有限阶 EM—伯努利层—整/全纯“纪律在 §5 成为奇性保持的核心工具;本篇所有离散—连续换序仅调用有限阶 EM,从而保证“极点=主尺度“。

S5(方向亚纯化与极点定位):S5 的方向拉普拉斯–Stieltjes 模板支撑 §5 对窗化对象的极点不变性证明:极点位置与阶由主尺度的指数率与多项式阶唯一确定,窗/卷积只叠加整/全纯层。

S6(信息量刻度与凸对偶):S6 的信息势 (及其对偶 )与 Bregman/KL 对偶为窗权与谱投影的参数化提供统一语义;在 §5–§6 的误差预算中,采用 S6 的“有效模态质心/协方差“刻度衡量窗化的能量分配与带宽。

S7(-函数接口模板):S7 的 (conductor)与 正规化统一了本篇 §0.1 的完成函数记号;其中心轴 相位直接进入 §4 的本征关系,确保群表示语言与 -函数语法一致。

S8(离散一致逼近与差分湮灭):S8 的 Nyquist–Poisson–EM 三分解在 §6 作为非渐近误差学的标准形,Poisson 别名/伯努利层/截断尾项三者给出实际计算的可检上界;差分湮灭可与 §3 的垂线平移协同用于序列重构。

S9(Pretentious—几乎周期—指数和):S9 的 Pretentious 距离刻画竖向平移窗下的相干/非相干区;本篇 的“垂线平移“在 Mellin 侧与 Pretentious 词典直接对齐,可把 §7 的 Weyl 变换用于构造放大器/共振器的群表示版本。

S10(Amoeba 几何与增长):S10 的 Ronkin/支持函数上界提供 §5.2 的增长控制,使 Weyl–Heisenberg 作用下的方向增长在 Newton 多面体几何上可视化与可估。

S11(迹公式接口):S11 的核—变换—窗三件套在本篇被解释为 Weyl 系统下的“调制—平移—伸缩“的算子化语义;特别地,Kuznetsov/Selberg 的核选择可在 §1–§3 的框架中解读为对 的受控谱投影。

S12(近似功能方程、mollifier 与共振):S12 的软窗 AFE 与谱最优 mollifier 在本篇以 的射影系统获得算子实现; 正规与 EM 纪律保证 AFE 的非渐近误差闭合。

S13(大值与 -下界):S13 的放大器/共振器可在 §7 的 Weyl 系统中表述为对 的有限线性叠加与谱半径控制;Pretentious/非 Pretentious 区的阈值机制与本篇的平移—伸缩对齐。

S14(de Branges / Beurling–Nyman 界面):S14 的 RKHS 与 BN 子空间在本篇 §4 直接调用;功能方程 镜像本征 是 S14 的内积评估—镜像对称的算子化精炼;最小能量投影可在 Weyl 系统下视作不变子空间的正交分解。

前瞻(S16–S18):S16 之 de Branges–Krein 规范系统将以 作为基本三元组;S17 拟把散射—功能方程算子化置于 affine(平移+伸缩)表象,以与迹公式/散射矩阵并行;S18 将在 Weyl/affine 双表象下建立轨道—谱窗化不等式与稳定性准则。


11. 结语

中构造之 Weyl 对给出 Weyl–Heisenberg 的射影酉表示;Mellin 侧呈“垂线平移—权乘“,镜像算子在 RKHS 框架下把完成功能方程等价为本征关系 。以有限阶 EM 与方向亚纯化为纪律,可确保奇性与增长结构稳定、可检;以 Nyquist–Poisson–EM 的非渐近误差学支撑有限窗计算。该算子骨架与 S0–S14 各篇形成严密接口,并为后续 de Branges–Krein 规范系统(S16)、散射—功能方程的算子化(S17)与轨道—谱窗化不等式(S18)提供统一、稳固的基础。


附录 A:公开判据(摘录)

  • Stone 定理:强连续一参数酉群 的生成元 自伴且唯一;若在稠密域上定义的对称算子本质自伴,则其闭包即为该生成元。
  • Stone–von Neumann 定理:满足 CCR 的不可约正则 Weyl 表示在酉等价意义下唯一。
  • Plancherel–Mellin 判据 酉等距到 ,中心轴 Mellin 为 Fourier。
  • 有限阶 Euler–Maclaurin(带参):有限阶伯努利层关于外部复参全纯,余项整/全纯。
  • 方向亚纯化:沿方向的拉普拉斯–Stieltjes 变换在可积竖条内亚纯,其极点位置与阶数由指数率与多项式次数控制。