S17. 散射算子与完成功能方程的算子化等价
—— 由规范系统与镜像对合导出的酉/对称结构
作者:Auric 日期:2025-10-21
摘要(定性)
在带权 Mellin–Hilbert 空间的镜像结构、Weyl–Heisenberg 酉表示与 de Branges–Krein 规范系统的统一框架下,完成功能方程
被等价刻画为二端口散射矩阵在实频上的酉性/对称性与通道特征值恒等。以一阶辛型规范系统
刻画通量并构造传递矩阵 ;在实轴上按 Kreĭn 符号将边界分解为入/出子空间,得到二端口散射矩阵 。对由完成函数 生成的一维评估通道,完成功能方程与“该通道的散射特征值在实轴上恒等于根数 “互为等价。相位以 de Branges 的内函数
定义(HB/有界型情形),Herglotz–Nevanlinna 理论给出相位导数与 Weyl–Titchmarsh 函数虚部的等价。窗化与离散在有限阶 Euler–Maclaurin 与 Nyquist–Poisson–EM 三分解的纪律下不改变奇性集合且不升阶,从而保持“极点 = 主尺度“。
0. 设定与基本判据
0.1 完成函数、镜像与现实性
取
定义
若进一步满足现实性(Schwarz 反射)
则 ;在未假定现实性时仅使用 记号。必要时作根数规范化:若 且假定同时满足功能方程与现实性(从而 与 ),取 则有
若只假定现实性而不假定功能方程,则一般仅有 ,并不能保证 。如需保留原根数则不作此规范化。
0.2 规范系统、传递矩阵与通量
令 局部可积、对称非负,研究
其传递矩阵 满足对任意 的积分恒等式
因此仅当 时 (-等距/幺正)。又因 ,有
设通量型 。当 时,对任意两解 ,通量 与 无关。
1. 二端口散射构造(实频)
取
对实 ,任意解在端点 的边界振幅分解为
在基 下的传递矩阵 满足
即 。
在 可逆的点,定义二端口散射矩阵
若 则改用 块或 Redheffer 星积的互补分式线性公式(对实 ,不可逆点在典型情形下构成离散集合)。由能流守恒得
且在 不可逆的离散点改用互补块/星积公式时,酉性在极限意义下保持。
默认单边入射规约(如取 )以将“系统特性“与“驱动选择“分离。当 且在适当紧性条件下 收敛时,记极限 。
2. 评估通道与功能方程的散射等价
2.1 评估通道与振幅比
取固定边界点(下文均取 ),存在线性映射 使
记投影 。在满足 的 Lebesgue-a.e. 集上定义
若该分量为零,则改用互补块/星积表达(与 §1 的不可逆块处理保持一致)。由 的 -酉分式线性结构(Potapov–Kreĭn/Arov–Dym)可得存在与通道归一选择有关的常相位 (仅由 边界归一决定,与 无关)使
2.2 单通道散射等价
定理 2.1(功能方程 通道特征值恒等) 设 为 de Branges(HB)函数,使 为内函数。以下两者互相等价:
其中 为与 的边界归一有关的常相位。
证明: (1)(2):由 (2.1) 立得 。 (2)(1):由 (2.1) 与 (2) 得 (a.e.)。因 为内函数,边界值常等式蕴含 于 ;再由反射原理得 。∎
3. 内函数相位与 Herglotz–Nevanlinna
令 为规范系统的 Weyl–Titchmarsh 函数( 于 )。以内函数
的实轴非切向边界值定义相位 (a.e. 上 )。记 为对应谱测度, 为其绝对连续密度。
定理 3.1( 与 ) 取非切向边界值,在 Lebesgue-a.e. 的 上,
证明:de Branges 相位 由 定义,且 。核对公式给出
标准化 Herglotz 表示 之边界值满足 ,从而 。∎
注:Cayley 变换 为 Schur 函数;在绝对连续谱上 ,不宜直接用其定义相位。
4. 解析纪律与误差三分解
4.1 窗化与奇性
取偶窗 (紧支或指数衰减),设 。在满足方向亚纯化的竖条/半平面内、 为偶窗且为紧支或指数衰减、且窗 的拉普拉斯/傅里叶像在该域内无极点时,
理由:有限阶 Euler–Maclaurin 仅引入整函数校正;在方向亚纯化的竖条/半平面内,卷积/窗化不改变主尺度奇性集合。若窗 在奇点处为零,则可能降低阶,但不升阶。
4.2 Nyquist–Poisson–EM 三分解
对光滑带限或指数衰减的 ,步长 、EM 阶 、截断半径 ,记 ,有
若 且 ,则别名项为零。
5. 例示
-
Riemann :。评估通道的散射特征值在实轴恒为 ;相位导数由定理 3.1 以 读出;谱密度为 。
-
Dirichlet :。同理,通道特征值恒为 ;实特征给 。
6. 稳健性与边界情形
-
块奇异点与互补公式:当传递到散射的 块不可逆时,改用 块或 Redheffer 星积,二端口散射仍良定并在实频保持酉性。在 上该退化频率为离散集,与正文 §1 的分式线性构造自洽。
-
反辛对称与镜像:若存在 使
则有
其中 由边界分解 的互换诱导,与通道特征值恒等一致。
- 窗/采样稳定性:带限或指数窗结合 Nyquist 条件可抑制别名项;有限阶 EM 仅引入可控伯努利层常数,确保非渐近估计稳健。
7. 可检清单
- 规范系统:给出 与 ,核查
- 二端口散射(实频):构造 并验证 ();对不可逆块采用互补公式/星积。
- 评估通道:建立 与振幅比关系式 (2.1)。
- 功能方程等价:以内函数 与定理 2.1 检验““”“;有现实性时等价于”“。
- 相位—谱密度:用定理 3.1 以 与 连接窗化积分与谱密度。
- 解析—误差纪律:仅用有限阶 EM;方向亚纯化确保“极点 = 主尺度“;窗在奇点处非零时阶同(否则可能下降但不升)。
8. 与既有篇章的接口
- ↔ S14(RKHS/BN 界面):评估向量 与内积评估为散射通道的振幅提供 Hilbert 语义;BN 投影的窗选择在散射侧体现为入—出模态的能量分配。
- ↔ S15(Weyl–Heisenberg 酉表示): 的群作用在散射侧对应“频移—时移“的 affine 变换;镜像算子 与反辛对称 在边界分解下保持散射的对称性。
- ↔ S16(de Branges–Krein 规范系统):传递矩阵 与哈密顿量 直接生成二端口散射;功能方程 与镜像本征 在散射侧对应通道特征值恒等(定理 2.1)。
- ↔ S4/S5(EM/方向亚纯化):窗化与离散仅用有限阶 EM,保证散射矩阵的奇性集合与阶的稳健性(§4.1)。
- ↔ S8(Nyquist–Poisson–EM):三分解误差控制在散射侧确保数值实现的非渐近可检性(§4.2)。
- ↔ S13(谱半径阈值):散射的能量守恒与通道特征值可与共振器的谱半径对齐,用于大值存在性的阈值判据。
结语
通量守恒的一阶辛型规范系统与二端口散射结构,为完成功能方程的镜像对称提供了精确的算子化表达:在实频上散射矩阵酉且受反辛对称约束;对评估的一维通道,其特征值在实轴恒等于根数 。以内函数 定义的相位把散射与谱密度通过 Herglotz–Nevanlinna 理论紧密耦合;配合有限阶 Euler–Maclaurin 与 Nyquist–Poisson–EM 三分解的误差控制,保证奇性集合与阶的稳健性,从而将“镜像—核—Hilbert 子空间““群表示—Weyl 关系“与“散射—边界—通量“三条脉络统一于可检的算子框架之中,并为后续的轨道—谱窗化不等式(S18)提供直接可用的入—出算子骨架。