[论文解读] Carrier cones of analytic functionals

M. A. Soloviev|ArXiv.org|Jul 6, 2005

Noncommutative and Quantum Gravity Theories参考文献 16被引用 6

一句话总结

本文证明了在空间 $ S^0(\bbR^d) $ 上的每个连续线性泛函都存在唯一的最小载体锥，该载体锥作为解析泛函的广义支集。证明依赖于将 $ S^0(K_1 \cap K_2) $ 中的函数分解为 $ S^0(K_1) $ 和 $ S^0(K_2) $ 中函数之和的分解定理，结合复分析与指示函数的拟凸函数逼近，将微局部分析工具扩展至非 DFS 空间。

ABSTRACT

We prove that every continuous linear functional on the space $S^0(R^d)$ consisting of the entire analytic functions whose Fourier transforms belong to the Schwartz space $\mathcal D$ has a unique minimal carrier cone in $R^d$, which substitutes for the support. The proof is based on a relevant decomposition theorem for elements of the spaces $S^0(K)$ associated naturally with closed cones $K\subset R^d$. These results, essential for applications to nonlocal quantum field theory, are similar to those obtained previously for functionals on the Gelfand-Shilov spaces $S^0_α$, but their derivation is more sophisticated because $S^0(K)$ are not DFS spaces and have more complicated topological structure.

研究动机与目标

• 将载体锥的概念——取代支集——推广至 $ S^0(\bbR^d) $ 上的连续线性泛函，该空间由傅里叶变换属于 Schwartz 空间 $ \mathcal{D} $ 的整函数构成。
• 克服 $ S^0(K) $ 空间缺乏标准拓扑性质（例如非 DFS 空间）所带来的分析困难，与行为更良好的 $ S^0_\alpha(K) $ 空间形成对比。
• 建立 $ S^0(K_1 \cap K_2) $ 中函数的分解定理，使其可表示为 $ S^0(K_1) $ 和 $ S^0(K_2) $ 中函数之和，该定理是证明最小载体锥存在性的核心。
• 将载体锥理论扩展至 $ S^0 \times \cdots \times S^0 $ 上的多重线性型，这些多重线性型在非局部量子场论的真空期望值中至关重要。

提出的方法

• 通过 $ \bbC^d $ 上涉及到 $ U $ 的距离与虚部的加权 $ L^2 $-范数，定义开锥 $ U \subset \bbR^d $ 上的 $ S^0(U) $ 空间，确保整函数的收敛性。
• 利用 $ L^2 $-范数与具有指数衰减的逐点上确界范数之间的等价性，刻画 $ S^0(U) $ 的拓扑结构，从而能够运用复分析技术进行分析。
• 证明分解定理：在满足 $ \bar{U}_1 \cap \bar{U}_2 \Subset U $ 的开邻域 $ U_i \supset K_i $ 条件下，$ S^0(K_1 \cap K_2) $ 中的每个函数均可表示为 $ S^0(K_1) $ 和 $ S^0(K_2) $ 中函数之和。
• 通过拟凸函数逼近闭锥 $ K $ 的指示函数，应用 Hörmander 的 $ L^2 $-估计于 $ \bar{\partial} $-方程，恢复分解中的解析性。
• 利用 Grothendieck 的开映射定理与 $ (\beta) $-空间性质，证明 $ S^0(K_1 \cap K_2) $ 上的归纳极限拓扑与原始拓扑一致，从而保证延拓泛函的连续性。
• 对对偶空间应用紧致性论证：所有载体锥的交集本身即为一个载体锥，从而通过紧致性论证证明最小性的存在。

实验结果

研究问题

• RQ1 每个 $ S^0(\bbR^d) $ 上的连续线性泛函是否都存在唯一的最小载体锥，类似于 $ S^0_\alpha(\bbR^d) $ 的情形？
• RQ2 尽管 $ S^0(K) $ 不具备 DFS 结构，是否仍可建立 $ S^0(K_1 \cap K_2) $ 中函数分解为 $ S^0(K_1) $ 与 $ S^0(K_2) $ 成分的定理？
• RQ3 当定义权重非拟凸函数时，如何调整 Hörmander 的 $ L^2 $-估计于 $ \bar{\partial} $-方程？
• RQ4 归纳极限拓扑 $ \mathcal{T} $ 在 $ S^0(K_1 \cap K_2) $ 上的作用是什么？它与原始拓扑及泛函连续性有何关系？
• RQ5 载体锥概念如何推广至 $ S^0 \times \cdots \times S^0 $ 上的多重线性型？其在非局部量子场论中的意义为何？

主要发现

• 每个 $ S^0(\bbR^d) $ 上的连续线性泛函在 $ \bbR^d $ 中均存在唯一的最小载体锥，该概念推广了分布支集的概念。
• 分解定理成立：在满足 $ \bar{U}_1 \cap \bar{U}_2 \Subset U $ 的开邻域 $ U_i \supset K_i $ 条件下，$ S^0(K_1 \cap K_2) $ 中的每个函数均可表示为 $ S^0(K_1) $ 与 $ S^0(K_2) $ 中函数之和。
• 由 $ \hat{v}(f) = v_1(f_1) + v_2(f_2) $ 定义的泛函 $ \hat{v} $ 在 $ S^0(K_1 \cap K_2) $ 上是良定义且连续的，且不依赖于分解 $ f = f_1 + f_2 $ 的选择，这是由于 $ S^0(\bbR^d) $ 在 $ S^0(K_1 \cup K_2) $ 中的稠密性所致。
• 由 $ S^0(K_1) \oplus S^0(K_2) $ 诱导的 $ S^0(K_1 \cap K_2) $ 上的归纳极限拓扑 $ \mathcal{T} $ 与原始拓扑 $ \tau $ 一致，此结论由 Grothendieck 的开映射定理对 $ (\beta) $-空间的保证。
• 泛函 $ v $ 的所有载体锥的交集 $ K $ 本身即为一个载体锥，通过在单位球面上的紧致性论证，证明了最小载体锥的存在性。
• 结果可推广至 $ S^0 \times \cdots \times S^0 $ 上的多重线性型，对非局部与非交换量子场论中的真空期望值及因果性具有重要意义。