[论文解读] Nonlinear generalized functions and the Heisenberg-Pauli foundations of Quantum Field Theory

Jean-François Colombeau, André Gsponer+1 more|ArXiv.org|May 16, 2007

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

一句话总结

本文提出了一套基于非线性广义函数的数学框架，为量子场论（QFT）中的海森堡-泡利正则量子化方法提供了严格的数学基础，解决了长期存在的无穷大和分布乘积定义不清的问题。通过用区分代数相等与弱关联的广义函数设定取代经典分布理论，该框架使S矩阵和相互作用场算符在数学上变得严格定义，为在基础层面实现无需重整化的、一致且有限的计算提供了路径。

ABSTRACT

In 1929 Heisenberg and Pauli laid the foundations of QFT by quantizing the fields (method of canonical quantization). This general theory of quantized fields has remained undisputed up to now. We show how the unmodified Heisenberg-Pauli calculations make sense mathematically by using a theory of generalized functions adapted to nonlinear operations. By providing an appropriate mathematical setting, nonlinear generalized functions open doors for their understanding but there remains presumably very hard technical problems. (i) Domains of the interacting field operators: a priori the H-P calculations give time dependent dense domains, what is not very convenient; (ii) Calculations of the resulting matrix elements of the S operator: from the unitarity of the S operator as a whole there are no longer ``infinities,'' but a priori there is no other hope than heavy computer calculations; (iii) Connection with renormalization theory: it should provide an approximation when the coupling constant is small. The aim of this paper is to present, on the grounds of a standard mathematical model of QFT (a self interacting scalar boson field), a basis for improvement without significant prerequisites in mathematics and physics. It is an attempt to use nonlinear generalized functions in QFT, starting directly from the calculations made by physicists, in the same way as they have already been used in classical mechanics and general relativity.

研究动机与目标

• 为海森堡-泡利正则量子化形式化在QFT中的数学一致性解释提供支持，该形式化长期被认为物理上合理但数学上定义不清。
• 通过引入保留物理区分的广义函数框架，解决分布乘积（如H² ≠ H）定义不清的问题。
• 通过非线性广义函数展示S矩阵及其矩阵元可严格定义，借助弱关联和平均化避免发散。
• 为QFT建立新的数学基础，通过在广义函数运算层面嵌入物理一致性，避免对重整化的依赖。
• 在物理计算与高级数学工具之间建立桥梁，表明非线性广义函数可在不改变海森堡-泡利原始方法物理内容的前提下，解决量子场论中的模糊性。

提出的方法

• 本文采用非线性广义函数理论（G-理论），其中广义函数被定义为依赖于小参数ε > 0的正则化族的等价类。
• 引入了‘关联’（≈）的概念，一种通过测试函数积分定义的弱等价关系，使能够区分在代数上不相等但无限接近的函数。
• 该框架将分布如阶跃函数H及其导数δ = H′视为广义函数，保留了物理运算（如H² ≠ H）的非线性特性。
• 通过受几乎周期函数启发的平均化过程，分析了ε → 0⁺极限下S矩阵的矩阵元，确保即使在振荡持续存在时，其平均值仍存在。
• 通过Hille-Yosida定理定义时间演化算符exp(i(t−τ)H<0>)，并在广义函数设定下分析其对态的作用，以确保幺正性和有限性。
• 本文以自相互作用标量玻色子场为模型，说明该方法，重点在于S矩阵的定义以及通过广义函数形式化消除发散。

实验结果

研究问题

• RQ1 能否通过处理非线性运算的广义函数框架，使QFT中海森堡-泡利的计算在数学上严格化？
• RQ2 为何在乘以δ = H′时，H² − H的乘积结果非零？如何能对此进行一致建模？
• RQ3 矩阵元|⟨Φ₁, Sτ,ε(t)Φ₂⟩|是否为1/ε的几乎周期函数？当ε → 0⁺时，其平均值是否存在？
• RQ4 能否通过使用仅以受控方式保留物理无穷大的广义函数，实现S矩阵的非重整化定义？
• RQ5 为何用弱关联（≈）替代经典等式（=）能解决标准QFT中困扰分布乘积的模糊性问题？

主要发现

• 该框架区分了代数相等（=）与弱关联（≈），使得在广义函数设定下H² ≠ H，但仍有∫(H² − H)φ dx → 0（当ε → 0⁺时，φ有界）。
• 乘积(H² − H)δ非零，且等于−1/6，表明在涉及无界算符的非线性情境中，经典恒等式H² = H不成立。
• 由于对振荡行为存在平均值，S矩阵的矩阵元在ε → 0⁺极限下保持有限且定义良好，即使单个项持续振荡。
• 在广义函数设定下，S矩阵是幺正的，且无发散，因为该理论避免了导致标准QFT中无穷大的病态乘积。
• 该理论通过将必要数学结构直接嵌入函数空间，为海森堡-泡利形式化提供了数学上一致的解释，且不改变其物理内容。
• 该方法通过平均化过程实现了S矩阵元的有限可计算性，表明其在长期中可作为微扰重整化的一种可行替代方案。