[论文解读] The physical heritage of Sir W.R. Hamilton

André Gsponer, Jean-Pierre Hurni|arXiv (Cornell University)|Jan 28, 2002

Quantum Mechanics and Applications参考文献 57被引用 12

一句话总结

本文主张，具有复系数的双四元数——即复四元数——为经典物理与量子物理提供了一个根本统一且计算高效的公式体系，尤其适用于相对论、电动力学和量子场论。本文表明，兰茨洛斯（Lanczos）、爱因斯坦（Einstein）和佩蒂欧（Petiau）对狄拉克方程的推广，以及自旋、同位旋和质量量化理论的表述，均可自然地用双四元数表达，从而得到紧凑、明确且数值可处理的方程，统一了经典与量子框架中的复数运用。

ABSTRACT

150 years after the discovery of quaternions, Hamilton's conjecture that quaternions are a fundamental language for physics is reevaluated and shown to be essentially correct, provided one admits complex numbers in both classical and quantum physics, and accepts carrying along the intricacies of the relativistic formalism. Examples are shown in classical dynamics, electrodynamics, and quantum theory. Lanczos's, Einstein's, and Petiau's generalizations of Dirac's equation are shown to be very naturally formulated with biquaternions. The discussion of spin, isospin, and mass quantization is greatly facilitated. Compared with other formalisms, biquaternions have the advantage of giving compact but at the same time explicit formulas which are directly usable for algebraic or numerical calculations.

研究动机与目标

• 重新审视威廉·哈密顿爵士关于四元数是物理学基本语言的猜想，尤其在四元数发现150年后的今天。
• 通过表明当双四元数被适当地形式化时，可克服早期因非对易性和协变性问题导致的四元数在物理中失败的历史局限，来解决四元数在物理中历史上的失败。
• 证明双四元数为经典与量子物理（包括相对论场论）提供了一个统一、表达性强且计算高效的框架。
• 表明麦克斯韦方程、狄拉克方程和普罗卡方程等关键物理理论，可用双四元数形式更自然且紧凑地表述。
• 倡导双四元数作为张量、矩阵或克利福德代数公式的可行替代方案，尤其在粒子物理中的自旋、同位旋和质量量化方面。

提出的方法

• 本文采用双四元数（ℂ ⊗ ℍ 的元素）作为基本代数结构，将四维位置、四维动量和电磁势等物理量表示为双四元数实体。
• 引入系统性记号：使用方括号 [s;v] 表示四元数，使用尖括号 ⟨ ⟩ 表示标量部分，并引入共轭（¯）、虚共轭（*）、双共轭（+）和顺序反转（~）等算子。
• 该形式体系使用洛伦兹不变的双四元数四维梯度 ∇ = [∂/∂ict; ∇]，并定义物理场，如电磁感应双矢量 F̃ = [0; E + iB] 和激励双矢量 G̃ = [0; D + iH]。
• 关键方程通过双四元数代数推导：例如，麦克斯韦方程被表达为 ∇̄ ∧ A = F̃ 和 ½(∇F̃ + F̃~∇) = –4πJ，这些方程具有规范不变性和序不变性。
• 本文使用双四元数旋量和双旋量表述了兰茨洛斯、爱因斯坦和佩蒂欧对狄拉克方程的推广，表明其在双四元数框架中具有天然契合性。
• 本文确立了通过 ⟨A|B⟩ = ⟨AB⟩ 定义的双四元数标量积，可在无需厄米共轭的情况下一致地表述量子力学中的期望值。

实验结果

研究问题

• RQ1 鉴于复数在物理中的广泛应用，双四元数能否作为经典与量子物理的基本公式体系？
• RQ2 与标准张量或旋量形式相比，双四元数形式的麦克斯韦方程在紧凑性、协变性和物理清晰性方面表现如何？
• RQ3 兰茨洛斯、爱因斯坦和佩蒂欧对狄拉克方程的推广，在多大程度上能自然地用双四元数形式表达？
• RQ4 与标准矩阵或克利福德代数方法相比，双四元数在描述自旋、同位旋和质量量化方面有何优势？
• RQ5 为何双四元数在20世纪初未能成为主流？现代形式化能否克服这些历史局限？

主要发现

• 双四元数形式的麦克斯韦方程完全具有规范不变性和序不变性，无需像康威-西尔伯斯坦形式那样依赖洛伦兹规范条件，也无需假设 A 和 J 具有序不变性。
• 本文表明，兰茨洛斯、爱因斯坦和佩蒂欧对狄拉克方程的推广可自然且紧凑地用双四元数形式表达，从而便于描述自旋与同位旋。
• 本文证明，普罗卡方程可用双四元数形式清晰推导并表达，且其本身即隐含无磁单极子，无需额外约束。
• 双四元数形式允许在经典与量子物理中对复数进行一致且统一的处理，避免了使用不同公式的需要。
• 双四元数表达式比张量或矩阵形式更紧凑，常能将多个指标简化为单一实体，从而实现直接的代数或数值计算。
• 该形式体系表明，双四元数不仅数学上一致，且具有物理上的启发性，常能提示物理定律推广或统一看似独立结果的正确路径。