[论文解读] Constructive Representation Theory for the Feynman Operator Calculus

Tepper L. Gill, W. W. Zachary|arXiv (Cornell University)|Jan 12, 2007

advanced mathematical theories参考文献 28被引用 5

一句话总结

本文通过引入一个新的希尔伯特空间，为费曼的时间有序算子微积分建立了严格的构造性框架，使得路径积分可直接构造，而无需依赖测度或连续路径空间。该研究将半群理论推广至时间有序算子，证明了广义的希尔伯特-约西达定理，并提出了无测度的路径积分形式，统一了抛物型与双曲型演化方程，且推广了费曼-卡茨公式。

ABSTRACT

In this paper, we survey recent progress on the constructive theory of the Feynman operator calculus. (The theory is constructive in that, operators acting at different times, actually commute.) We first develop an operator version of the Henstock-Kurzweil integral, and a new Hilbert space that allows us to construct the elementary path integral in the manner originally envisioned by Feynman. After developing our time-ordered operator theory we extend a few of the important theorems of semigroup theory, including the Hille-Yosida theorem. As an application, we unify and extend the theory of time-dependent parabolic and hyperbolic evolution equations. We then develop a general perturbation theory and use it to prove that all theories generated by semigroups are asympotic in the operator-valued sense of Poincare. This allows us to provide a general theory for the interaction representation of relativistic quantum theory. We then show that our theory can be reformulated as a physically motivated sum over paths, and use this version to extend the Feynman path integral to include more general interactions. Our approach is independent of the space of continuous functions and thus makes the question of the existence of a measure more of a natural expectation than a death blow to the foundations for the Feynman integral.

研究动机与目标

• 为费曼的时间有序算子微积分提供一个构造性、数学上严格的框架，其中不同时刻的算子彼此对易。
• 通过构建一个将核函数与狄拉克δ函数作为有界元素嵌入其中的希尔伯特空间，解决费曼路径积分的基础性问题。
• 将经典半群理论（特别是希尔伯特-约西达定理与托特-卡托定理）推广至时间有序设定，从而建立时间依赖演化的一般理论。
• 在单一算子理论框架下，统一并推广时间依赖的抛物型与双曲型演化方程的理论。
• 发展一种微扰理论，证明所有时间有序演化算子在庞加莱算子值意义下具有渐近性，从而在相对论量子理论中实现一般相互作用表示。

提出的方法

• 引入算子版本的亨托克-库尔茨韦尔积分，以在最小正则性条件下处理时间有序算子积分。
• 构建一个连续张量积希尔伯特空间 $\mathcal{H}_{\otimes}^{2}(\varphi)$，使其能够将费曼核与狄拉克δ函数表示为有界元素。
• 通过时间有序积分与生成元定理定义时间有序演化，将希尔伯特-约西达定理推广至非交换时间有序算子。
• 通过将托特-卡托定理推广至算子定义域交集为空的情况，将该理论应用于时间依赖哈密顿量。
• 利用时间有序演化算子将路径积分表述为路径之和，且独立于连续路径上的测度。
• 运用解耦技术将时间有序微积分与经典分析联系起来，避免依赖形式化的解耦过程。

实验结果

研究问题

• RQ1 能否为费曼的时间有序算子微积分构建一个严格、构造性的希尔伯特空间框架，使得时间有序算子彼此对易？
• RQ2 如何在不依赖连续路径空间上的测度或连续函数空间测度的前提下，构造费曼路径积分？
• RQ3 经典半群理论（如希尔伯特-约西达定理、托特-卡托定理）在多大程度上可推广至时间有序算子设定？
• RQ4 能否为时间有序演化发展一种一般微扰理论，证明其在庞加莱算子值意义下的渐近行为？
• RQ5 如何系统地利用时间有序算子微积分推导出相对论量子理论中的相互作用表示？

主要发现

• 构建了一个新的希尔伯特空间 $\mathcal{H}_{\otimes}^{2}(\varphi)$，其中费曼核与狄拉克δ函数均为有界算子，从而实现了无需测度的路径积分的直接构造。
• 将希尔伯特-约西达定理推广至时间有序算子，证明了在弱条件下时间有序半群的存在性。
• 该理论在单一时间有序算子框架下统一并扩展了时间依赖抛物型与双曲型演化方程的解。
• 发展了一般微扰理论，证明所有时间有序演化算子在庞加莱算子值意义下具有渐近性。
• 将路径积分重新表述为不依赖连续路径上测度的路径之和，表明测度的存在更像是一种惯例而非基础性必要条件。
• 将解耦方法推广，使得即使两个算子的定义域交集为空，也能将托特-卡托定理推广至更一般情形。