[论文解读] The inner kernel theorem for a certain Segal algebra

Hans G. Feichtinger, Mads S. Jakobsen|arXiv (Cornell University)|Jun 16, 2018

Advanced Topics in Algebra被引用 1

一句话总结

本文建立了塞加尔代数 $ S_0(G) $ 的「内核定理」，证明了从 $ S'_0(G_1) $ 到 $ S_0(G_2) $ 且核属于 $ S_0(G_1 \times G_2) $ 的算子，自然同构于有界双线性型与迹类算子。该结果在不依赖威尔逊基的前提下，提供了正则化算子的功能分析表征，并通过数学上严谨的框架，验证了物理直觉：纯频率通过积分可得到狄拉克函数。

ABSTRACT

The Segal algebra $\mathbf{S}_{0}(G)$ is well defined for arbitrary locally compact Abelian Hausdorff (LCA) groups $G$. It is a Banach space that exhibits a kernel theorem similar to the well-known Schwartz kernel theorem. Specifically, we call this characterization of the continuous linear operators from $\mathbf{S}_{0}(G_{1})$ to $\mathbf{S}'_{0}(G_{2})$ by generalized functions in $\mathbf{S}'_{0}(G_{1} imes G_{2})$ the 'outer kernel theorem'. The main subject of this paper is to formulate what we call the 'inner kernel theorem'. This is the characterization of those linear operators that have kernels in $\mathbf{S}_{0}(G_{1} imes G_{2})$. Such operators are regularizing -- in the sense that they map $\mathbf{S}'_{0}(G_{1})$ into $\mathbf{S}_{0}(G_{2})$ in a $w^{*}$ to norm continuous manner. A detailed functional analytic treatment of these operators is given and applied to the case of general LCA groups. This is done without the use of Wilson bases, which have previously been employed for the case of elementary LCA groups. We apply our approach to describe natural laws of composition for operators that imitate those of linear mappings via matrix multiplications. Furthermore, we detail how these operators approximate general operators (in a weak form). As a concrete example, we derive the widespread statement of engineers and physicists that pure frequencies 'integrate' to a Dirac delta distribution in a mathematically justifiable way.

研究动机与目标

• 制定并证明塞加尔代数 $ S_0(G) $ 的「内核定理」，表征以 $ S_0 $-核而非 $ S'_0 $-核为特征的算子。
• 以弱*-到范数连续的方式，提供从 $ S'_0(G_1) $ 映射到 $ S_0(G_2) $ 的算子的功能分析表征。
• 将经典核定理框架扩展至包含正则化与迹类算子的情形，且不依赖威尔逊基。
• 通过严格数学构造，验证物理与工程直觉：纯频率积分可得狄拉克测度分布。

提出的方法

• 定义 $ S'_0(G_1) \times S'_0(G_2) $ 上弱*-连续双线性型的巴拿赫空间 $ A(G_1, G_2) $，以及从 $ S'_0(G_1) $ 到 $ S_0(G_2) $ 且保持弱*-到范数收敛的算子空间 $ B(G_1, G_2) $。
• 建立 $ S_0(G_1 \times G_2) $、$ A(G_1, G_2) $、$ B(G_1, G_2) $ 与 $ B(G_2, G_1) $ 之间的自然同构，证明每个算子均由其核唯一确定。
• 利用 $ S_0 $ 及其对偶的结构，证明 $ B(G_1, G_2) $ 中所有算子均为核型（迹类），因此紧致。
• 构造从 $ S'_0(G_1) \otimes S'_0(G_2) $ 到 $ \mathbb{C} $ 的典范延拓映射 $ e(T) $，通过反证法与范数估计证明其弱*-连续性。
• 利用 $ S_0(G_1 \times G_2) $ 与 $ S'_0(G_1 \times G_2) $ 中初等张量的稠密性，将对偶框架推广至有限和之外。
• 应用该理论，通过证明此类极限在 $ S_0 $-核框架下定义良好，从而验证物理陈述：纯频率积分可得狄拉克函数。

实验结果

研究问题

• RQ1 如何以类似于外核定理的方式，表征从 $ S'_0(G_1) $ 到 $ S_0(G_2) $ 且具有 $ S_0 $-核的算子？
• RQ2 具有 $ S_0 $-核的算子的精确功能分析结构是什么？其与双线性型及迹类算子有何关系？
• RQ3 能否在不依赖威尔逊基的前提下建立内核定理，特别是针对一般的局部紧阿贝尔群？
• RQ4 这些算子如何以弱意义逼近一般算子？核在该逼近中起何作用？
• RQ5 如何利用 $ S_0 $-核框架，严格证明物理直觉：纯频率积分可得狄拉克测度分布？

主要发现

• 作为巴拿赫空间，$ S_0(G_1 \times G_2) $、$ A(G_1, G_2) $、$ B(G_1, G_2) $ 与 $ B(G_2, G_1) $ 存在自然同构，完整表征了具有 $ S_0 $-核的算子。
• 所有 $ B(G_1, G_2) $ 中的算子均为核型（迹类），因此紧致，且将 $ S'_0(G_1) $ 中范数有界且弱*收敛的网映射为 $ S_0(G_2) $ 中的范数收敛网。
• 定义在 $ S'_0(G_1) \otimes S'_0(G_2) $ 的初等张量有限和上的扩展映射 $ e(T) $ 是弱*-连续的，并可唯一延拓为连续线性泛函。
• 内核定理在不假设初等局部紧阿贝尔群的前提下成立，避免了对威尔逊基的依赖，且对所有局部紧阿贝尔群统一适用。
• 该定理通过证明此类极限在 $ S_0 $-核框架下存在，从而验证了工程与物理中关于纯频率积分可得狄拉克测度分布的主张。
• 对偶配对 $ (K, \sigma^{(1)} \otimes \sigma^{(2)})_{S_0,S'_0} $，其中 $ K \in S_0(G_1 \times G_2) $，为弱算子逼近与基于核的复合律提供了严格框架。