[论文解读] Multiplicative operators in the spaces of Schwartz families

David Carfì|arXiv (Cornell University)|Apr 20, 2011

Mathematical and Theoretical Analysis参考文献 6被引用 4

一句话总结

本文引入并严格分析了光滑函数与施瓦茨族之间的逐点乘法运算，使得在分布空间中能够建立施瓦茨线性算子的新谱论。主要贡献在于证明：可逆的 $\epsilon_M$ 函数的乘法保持 S-线性无关性和张成，从而实现一种类似于量子力学形式体系的函数演算与特征族理论。

ABSTRACT

In this paper we introduce and study the multiplication among smooth functions and Schwartz families. This multiplication is fundamental in the formulation and development of a spectral theory for Schwartz linear operators in distribution spaces, to introduce efficiently the Schwartz eigenfamilies of such operators and to build up a good functional calculus for them. The definition of eigenfamily is absolutely natural and this new operation allows us to develop a rigorous and manageable spectral theory for Quantum Mechanics, since it appears in a form extremely similar to the current use in Physics.

研究动机与目标

• 定义并研究 $\mathcal{O}_M$ 中光滑函数与施瓦茨族之间的逐点乘法运算。
• 通过该乘法定义的特征族，建立施瓦茨线性算子的严格谱论。
• 通过刻画乘法在 S-线性张成下的行为，为这类算子建立函数演算。
• 证明 $\mathcal{O}_M$ 函数的可逆性是其在乘法下保持 S-基结构的必要且充分条件。
• 为分布空间中的特征族与谱分解提供数学基础，其形式与物理量子力学形式体系高度一致。

提出的方法

• 通过 $ (fw)_p = f(p)w_p $ 定义 $\mathcal{O}_M$ 函数 $f$ 与施瓦茨族 $w$ 的逐点乘法，确保结果仍属于施瓦茨族空间。
• 使用由半范数 $ \gamma_{\phi,p}(f) = \sup_{x \in \mathbb{R}^n} |\phi(x) \partial^p f(x)| $ 定义的 $\mathcal{O}_M^{(n)}$ 上的标准拓扑，其中 $\phi \in \mathcal{S}_n$，$p \in \mathbb{N}_0^n$。
• 证明 $f \in \mathcal{O}_M$ 的乘法诱导出连续算子 $M_f: \mathcal{S}_n \to \mathcal{S}_n$，其转置 $^tM_f: \mathcal{S}_n' \to \mathcal{S}_n'$ 在缓增分布上表现为乘以 $f$。
• 应用迪厄多内-施瓦茨定理，证明当 $fe$ 是 S-基时，若其关联算子是满射，则 $f^{-1} \in \mathcal{O}_M^{(m)}$。
• 证明 $fe$ 是 $\mathcal{S}_n'$（或其闭子空间）的 S-基当且仅当 $f$ 在环 $\mathcal{O}_M^{(m)}$ 中可逆。
• 利用超位置算子与对偶性，将 $fe$ 的线性无关性与 $f$ 的非零性以及对所有 $g \in \mathcal{S}_m$ 有 $f^{-1}g \in \mathcal{S}_m$ 相关联。

实验结果

研究问题

• RQ1 将 $\mathcal{O}_M$ 函数与施瓦茨族进行逐点乘法是否定义良好且在施瓦茨族空间中封闭？
• RQ2 在何种条件下，$\mathcal{O}_M$ 函数的乘法能保持分布空间中 S-线性无关性与张成？
• RQ3 在何种条件下，$\mathcal{O}_M$ 函数的乘法能保持 $\mathcal{S}_n'$ 中一族的 S-基结构？
• RQ4 如何关联 $\mathcal{O}_M$ 函数的可逆性与乘法下 S-基性质的保持？
• RQ5 能否通过此乘法构造施瓦茨线性算子的函数演算？其与量子力学中特征族的关系如何？

主要发现

• 将 $\mathcal{O}_M$ 函数 $f$ 与施瓦茨族 $w$ 进行逐点乘法，结果仍为施瓦茨族，且在标准拓扑下该运算分别连续。
• 算子 $M_f$ 在 $\mathcal{S}_n$ 上的转置在 $\mathcal{S}_n'$ 上表现为乘以 $f$，从而可将正规算子扩展至缓增分布。
• 若 $f \in \mathcal{O}_M^{(m)}$ 可逆，则 $fe$ 是 $\mathcal{S}_n'$ 的 S-基当且仅当 $e$ 是 $\mathcal{S}_n'$ 的 S-基，表明在可逆乘法下 S-基之间存在一一对应。
• 对任意 $f \in \mathcal{O}_M^{(m)}$，若 $f$ 处处非零，则 $w$ 的 S-线性张成等于 $fw$ 的 S-线性张成，即 $^\mathcal{S}\mathrm{span}(w) = \,^\mathcal{S}\mathrm{span}(fw)$。
• $f^{-1}$ 属于 $\mathcal{O}_M^{(m)}$ 当且仅当关联算子 $ (fe)^\wedge $ 是满射，这等价于 $fe$ 是 S-基。
• 条件 $f(p) \neq 0$ 对所有 $p$ 成立是 $fe$ 为 S-线性无关的必要条件，而 $f^{-1} \in \mathcal{O}_M^{(m)}$ 是 $fe$ 为 $\mathcal{S}_n'$ 的 S-基的必要且充分条件。