前言
局域规范不变性乃现代物理学里极为关键的一种思想, 然而它实则不是凭空地冒出来的那种抽象原则, 而是能够从人们所熟知的电磁场一步一步给导出的。电磁现象起初展现为电荷之间的相互作用, 电流会产生磁场, 变化的磁场能够产生电场了, 变化的电场进而产生磁场。麦克斯韦方程组将这些现象统一了起来, 表明电场以及磁场压根不是孤立存在的物理量, 而是同一个电磁场的不一样的表现。继续深入进行研究, 就会发觉, 电磁场能够借助标势以及矢势对其予以描述, 然而, 标势与矢势自身存有一类“不唯一性”, 那便是: 各异的势函数有可能给出全然一样的电场和磁场。这种“不唯一性”并非属于理论方面的缺陷, 而是规范自由的最早一种呈现。
所说的规范不变性, 简而言之, 就是当某些数学量有变换发生时, 真正能够被观测到的物理结果维持不变。就电磁场来讲, 能够观测到的是电场 E^ 以及磁场 B^, 并非某一种特定书写方式的标势 φ 或者矢势 A^。要是改变 φ 和 A^, 然而 E^ 和 B^ 保持不变, 那么物理现象也不应该有改变。这个想法要是进一步去发展, 便会导向那个局域规范不变性, 整体相位发生变化并不会影响相关物理结果, 即便这一相位就在空间以及时间的每一个点上都能够不一样, 可只要同时引进去合适的电磁势 , 物理规律依旧是能够保持不变的。换句话来说 , 电磁相互作用它是能够被理解成维持局域规范不变性必不可少所需有的结构的标点符号。
从电磁场着手去理解局域规范不变性, 这对防止将它视作单纯的数学技巧会有帮助, 它一开始源于电磁势的表达途径, 接着深入到量子力学里波函数相位的探讨之中, 而后借助协变导数顺势引出电磁场与带电粒子的相互耦合, 如此看来, 电磁场不但只是某种作用力的承载者, 还能够被看成是一种确保在局域相位变换状况下物理规律形式维持不变的规范场。
1、电磁场的基本描述与势函数的引入
经典电磁理论里头, 电场E^是物理对象, 磁场B^也是物理对象, 且是较直接的那种。电荷呆在电场里会受力, 运动着的电荷处于磁场时也会受力唔。还有, 电磁波能够凭借电场与磁场的相互变化来传播。麦克斯韦方程组把这一些规律弄成统一的形式啦:
∇ · E^ = ρ/ε_0
∇ · B^ = 0
∇ × E^ = -∂B^/∂t
∇ × B^ = μ_0J^ + μ_0ε_0∂E^/∂t
这四个关系分别进行说明, 电荷是电场的源, 自然界没有被观测到孤立磁荷, 变化的磁场会产生旋涡电场, 电流和变化的电场会产生磁场。它们描述的是可观测的电磁场, 并非某种任意引入的辅助量。
可是, 当面对求解电磁场问题这个状况的时候, 若是直接去处理 E^ 和 B^ 这种情况, 并非在任何时候都是最为便利的。鉴于 ∇ · B^ = 0 这样一个条件, 能够将矢势 A^ 给引入进来, 接着便能把磁场按照如下方式进行书写哒:
B^ = ∇ × A^
鉴于任意旋度场的散度总是等于零, 因而这般的写法自然而然地符合磁场无源的条件。接着将此式子代入电磁感应方程, 进而能够引入标势φ, 使得电场表达成。
E^ = -∇φ - ∂A^/∂t
这般一来, 电磁场乃是由 φ 以及 A^ 这两个势函数予以决定的。势函数的被引入, 致使理论更为整齐, 同时也令电磁波、辐射、量子相位等相关问题更易于进行处理。特别是于后来出现的相对论以及量子理论当中, 势函数的地位变得愈发突出。
但, 这里, 马上, 就出现, 一个, 重要, 问题: 给定, E^, 和, B^, 之后, φ, 和, A^, 是不是, 唯一? 答案呢, 是否定。不同的, 标势, 和, 矢势, 能够, 产生, 相同的，电场, 和, 磁场。这表明, 势函数, 当中, 包含, 某种冗余, 描述。冗余, 并非是多余, 无用, 而是, 表明, 我们在于, 描述, 物理系统, 的时候, 运用了, 比, 可观测量, 更多一点的, 数学结构。规范不变性, 的思想, 恰恰, 是从, 这种冗余, 当中, 生长出来的。
2、电磁势的不唯一性与规范变换
存在一个随意的光滑函数χ, 该函数能够倚靠空间以及时间。要是将矢势和标势一块儿实施如下的改变:
A^' = A^ + ∇χ
φ' = φ - ∂χ/∂t
将新的A^'以及φ'代入磁场与电场的定义之中, 能够发现B^以及E^都不会产生改变。其原因在于梯度的旋度始终为零, 所以∇ × ∇χ不会对磁场有所贡献；并且电场里的两个新增的项会相互抵消。所以, 势函数出现变化, 然而可观测的电磁场却维持相同的状态。这样的变换被称作电磁规范变换。
这一事实显示, φ与A^并非全然等同于能够直接进行观测的量。实际上, 能够被观测到的实为依据它们组合而成的E^与B^。同一组物理性质的电磁场, 能够对应诸多不同的势函数呈现形式。恰似同一地形能够运用不同的坐标系去予以描述, 坐标选取不同并不意味着地形发生了改变；与之相同, 规范选取不同也并不意味着电磁物理出现了改变。
规范变换具备两个层级的意义, 其一, 它属于一种数学自由, 于具体计算期间, 能够挑选便利的规范, 用以简化方程, 比如, 在某些电磁波问题里挑选库仑规范更为便利, 在相对论形式内挑选洛伦兹规范更为自然；其二, 它体现了物理理论的结构特性, 理论中的某些量虽于方程中出现, 然而带有可变换的冗余成分, 无法将每一个数学成分径直视作独立物理实体。
这一区分具有相当重的要性。要是对规范自由予以忽视, 那就极有可能误以为不同势函数代表着不一样的物理情况, 进而把描述方面所存在的差异, 错误地判定为物理上的差异了。规范不变性提出的要求恰好规避了这种错误情况: 所有那些通过规范变换被联系起来的势函数表示, 每一种全都应当去描述同一个物理状态。物理理论做出的预言必定只能依赖于规范不变的量, 或以规范不变的方式来进行表达的。
3、从全局相位不变性到局域相位不变性
要更深入地领会“局域规范不变性”, 需从量子力学里的波函数相位着手。量子体系借助波函数ψ予以描绘, 然而波函数自身并非直接可观测的量, 概率密度才是能够被观测的量。要是波函数整体乘上一个相位因子的话, 概率密度不会发生变化:
ψ' = e^(iα)ψ
其中α为常数, 因|ψ'|² = |ψ|², 整体相位无法改变任何测量概率, 此称作全局相位不变性, 虽言“全局”, 那意味在整个空间以及时间里运用同一个相位变化, α不因位置还有时间而改变。
它看起来很简单, 然而它包含一个深刻问题, 即若整体相位没有绝对物理意义, 那么不同位置的相位零点是否也能够独立选择呢? 换个说法, 也就是可不可以把常数α推广成为空间和时间的函数α（x, t）, 从而让波函数在每一点都准许不同的相位变换:
ψ' = e^(iα(x,t))ψ
这便是局域相位变换所谓的“局域”, 其意思是变换参数能够随着每一个时空点而发生变化它相较于全局变换要严格许多全局变换仅仅是统一去改变整个波函数的相位, 并不会对普通导数的形式造成影响；局域变换却不一样, 由于在对ψ'求导的时候, 导数会作用到α(x,t)上, 进而额外产生一项这一额外项将会破坏原来方程的形式不变性。
有这样一个问题出现了, 那就是倘若对于局域相位选择我们始终坚持认为它是不应该对物理规律造成影响的, 那么普通导数便是不够用的了。这是因为普通导数在对相邻两点的波函数进行比较的时候, 它默认了两点的相位标准是已经被一致选定好的。然而局域变换是允许每一点都拥有自身的相位标准的, 普通导数没办法自动去补偿这种差异。要是想让理论在局域相位变换的情况下能够依旧维持形式不变, 那就必须引入新的补偿结构。而这一补偿结构恰恰就是电磁势。
4、协变导数与电磁势的必要性
句中所涉及的局域相位变换的问题, 其集中体现之处在于导数方面。量子方程在运用时, 需要借助波函数所产生的空间以及时间上的变化, 偏偏局域相位一旦发生改变, 就会致使普通导数额外多出一些项。为了能够确保方程形式始终保持不变的状态, 就一定要将普通导数改造成为协变导数才行。协变导数所具备的作用是, 当进行较为相邻点的波函数这一操作时, 要一并把局域相位标准变化所造成的种种影响扣除掉。
于相对论记号情况之下, 能够将电磁势进行相应合并而成四维势 A_μ , 并且去定义协变导数。
D_μ = ∂_μ + i(q/ħ)A_μ
这里, q为粒子电荷, ħ是约化普朗克常数, A_μ是电磁四维势。协变导数并非单纯地对ψ求变化率, 而是在求导之际, 将电磁势当作相位连接添入其中。其意义能够如此领会: 普通导数仅对两个相邻点的波函数数值予以比较, 而协变导数还会考量两点之间相位基准的变更。电磁势于此处所扮演的角色, 便是记录局域相位标准怎样在时空中产生变化。
假如要让 D_μψ 在经历局域相位变换之际, 依旧依照相同的方式产生变化, 那么 A_μ 就一定要同步进行相对应的变换:
A_μ' = A_μ - (ħ/q)∂_μα
这样一来, 波函数相位发生变化所带来的额外的项, 会被A_μ的改变给抵消掉。其结果是, 尽管ψ和A_μ各自都出现了改变, 然而由它们组建而成的物理方程却维持着同样的形式。这便是局域规范不变性的基本的机制。
从这种视角去看, 电磁势并非外力施加的随意之物, 而是为了让局域相位不变性得以成立进而必然要引入的场。也就是说, 要是规定带电粒子的量子理论准许每个时空点各自挑选相位基准, 那么该理论自然而然就会需要一个补偿场；此补偿场跟实验里观测到的电磁场有着相同的数学结构。电磁相互作用所以能够被视作局域规范不变性的物理呈现。
这可不代表电磁场仅仅是数学上的虚幻影像。相反, 电场以及磁场依旧存有真实且能够被观测到的效应, 像是让带电粒子加快速度、使粒子的相位产生变化、促使电磁波进行传播等等。重点在于, 电磁势里面的某些组成部分带有规范自由, 然而由电磁势构建而成的场强才是规范不变的那种物理量。
5、场强张量与规范不变的物理内容
于相对论形式里, 电场以及磁场能够被统一至电磁场强张量F_μν之中:
F_μν = ∂_μA_ν - ∂_νA_μ
这个式子表明, 电磁场强源自电磁势的反对称导数组合分开来看, 因为规范变换里 A_μ 改变的是某个函数的导数, 并且二阶偏导数交换之后会相互抵消, 所以 F_μν 在规范变换下维持不变。这恰好展现了电磁理论的物理内容, 即: A_μ 能够因规范选择而发生改变, 然而 F_μν 不会随着规范而产生变化。
场强张量将E^以及B^放置于同一结构内, 致使麦克斯韦理论跟相对论自然融合, 对于不同惯性观察者来讲, 电场与磁场能够相互混合, 举例来说, 一位观察者所看到的纯粹电场, 在另一位处于相对运动状态的观察者那里也许会同时展现为电场以及磁场, 然而F_μν作为整体对象具备统一意义, 这表明电场和磁场并非绝对分离的两类实体, 而是电磁场在不同参考系里的呈现。
规范不变性所要求的是, 物理规律依傍F_μν, 而非依从某个固定的A_μ写法。电磁场的自由部分能够借助如下拉格朗日密度予以描绘:
L = -(1/4)F_μνF^μν
该表达式单单含有F_μν, 从而明显不会受到规范变换的影响, 这套给出了方程的运动对应着麦克斯韦方程组的真空部分, 要是再添加带电物质与电磁势的耦合项, 便能够就电磁场与电荷电流之间的相互作用进行描述。
在此处, 存在着一个得予以谨慎认知把握的要点之处: 尽管F_μν具备规范不变的特性, 然而A_μ并非是不存在物理方面意义的。于量子理论范畴之内, 处于带电状态的粒子的相位是会遭受电磁势的作用影响的。在某些特定情形状况之下, 哪怕是粒子所处区域的电磁场的强度呈现为零, 可是空间里无法被约去抹除的电磁势结构依旧能够对干涉条纹产生影响作用。这便表明展示出势函数的物理意义要比经典电磁学在最开始所想象认为的更为精妙细微。确切地讲, 不能够将A_μ的每一个局部的具体数值都当作是能够直接进行观测的量, 不过也不能简单片面地认定势函数仅仅只是用于计算的工具。它属于规范理论里的基本连接, 并且物理范围之中的可观测效应, 必然要通过规范不变此种方式展现出来。
6、局域规范不变性如何产生电磁相互作用
局域规范不变性极具能量之处在于, 它不但阐释电磁势的变换具有任意性, 还可以表明电磁相互作用为何必定借由特定形式纳入物质方程。拿带电粒子的量子理论来讲, 假如不存在电磁场, 自由粒子的方程含有普通导数∂_μ。但凡想要让方程形式在局域相位变换之下保持不变, 那必然得把∂_μ替换成D_μ。此替换称作最小耦合, 其后果为带电粒子自行会与A_μ相互作用。
凭借动量替换能够对这一点予以理解。没有电磁场之时, 量子内部的动量算符与沿空间的导数存在关联之处；当有电磁场出现的时候, 动量得转变为涵盖矢势的样式喽:
p^ -> p^ - qA^
这表明带电粒子的运动并非仅仅由机械动量来决定, 而是还会受到电磁势的作用。当关联到经典极限的情况时, 可以得出带电粒子在电磁场里的受力规律。洛伦兹力能够被写成这样:
F^ = q(E^ + v^ × B^)
关于电磁相互作用的经典呈现, 存在着这样一个公式。此公式表明, 电场能够促使电荷直接朝一定方向移动, 而磁场会针对处于运动状态的电荷, 施加一种与速度方向关系紧凑依附而关联相对精准紧密的力。局域规范不变性并非是要去取代洛伦兹力这种特定的表述形式, 而是从更为深层次的理论架构层面, 去阐释带电粒子为何一定要以这样一种特定的方式, 同电磁势进行一种关联耦合相互作用, 并最终呈现出如此这般的受力规律。
照这个角度去看, 电荷q能够被理解成粒子针对电磁规范场的耦合强度。存在电中性粒子, 其并不参与这种U(1) 相位规范相互作用, 而带电粒子会参与。这里所提及的U(1) 指的是一种相位旋转群, 它对复数相位的连续变化予以描述。电磁规范理论恰恰是以U(1) 局域规范不变性作为基础的理论。
这种理解具备极强的统一性 , 经典电磁学是从电荷开始、接着是电流、再是电场、最后是磁场出发 , 一步步去建立相互作用规律 ；规范理论却是从局域相位自由开始 , 阐明若物理规律不依赖各点相位标准的随意选择 , 那就必须引入电磁势 , 并且要让物质通过协变导数与它相耦合。两条道路最终指向同一套电磁理论。
7、规范自由与规范选择：自由不是任意
“规范不变性”容易被误解成“怎样选择都一样, 所以没有限制” , 实际上, “规范自由”指的便是不同数学表示能够描述同一物理状态, 而非可以随意去改变物理场 , 规范变换必须依照特定规则同时改变势函数以及物质场, 才能够保证可观测量不变 , 要是只随意改变A_μ却不考虑ψ的相位, 又或者仅仅改变ψ而不相应调整A_μ, 就会破坏方程的协变形式。
实际计算里, 选规范是为了去掉冗余, 将问题简化。像静电问题中, 标势常常比较直观；辐射问题里, 矢势更为方便；相对论量子场论中, 某些规范选择有助于维持协变形式；量子化进程中, 规范自由还得对多余自由度予以处理。不管采用何种规范, 最终得出的电场、磁场、散射截面、能级差、干涉相位等可观测结果应该一致。
规范选择还向人们提示, 物理理论里的变量并非全都对应着独立自由度, 电磁势A_μ存有着四个分量, 然而电磁波实际的传播自由度仅仅为两个横向偏振, 之所以如此, 是由于一部分分量能够借由规范变换被改变, 另外一部分受到约束方程的管束, 要是不把规范冗余考虑进去, 就极有可能对自由度進行错误计算, 甚而得出与实验不相契合的结果。
因此, 规范不变性属一种对称性, 同时也是一种约束, 它约束理论得以某种组织变量的方式, 约束相互作用项的形式, 还约束可观测量必须与规范选择没有关联。它并非致使理论更松散, 而是令理论更严格。正是鉴于这种严格性, 局域规范不变性才能够成为构造现代相互作用理论的重要原则。
8、电磁场中的局域性含义
“局域”这两个字, 在局域规范不变性里, 是相当关键的。它所意味的是, 相位变换参数并非是一个统一的常数, 反而是每个时空点都能够有自身的取值。从物理层面来讲, 这等同于承认不同位置的相位基准能够进行独立选择。假定这种选择不应该对实际测量结果产生影响, 那么理论就必然要给出一种方法, 从而致使相邻点之间的比较不依赖于任意的相位约定。
电磁势恰恰就是这种“比较规则”, 在几何语言里, 能够讲 A_μ 描绘了相位于时空中怎样连接, 带电粒子顺着不同路径运动之际, 其波函数相位会依据路径上电磁势的分布而积累, 要是两条路径最终会合, 相位差便有可能呈现为干涉条纹的移动, 这个事实表明, 局域规范理论所关注的不单单是场在某一点的数值, 还关注相位沿路径的累积方式。
相位沿路径的积累可以写成：
Δθ = (q/ħ)∫A^ · dl^
这个式子体现出矢势对于量子相位所起到的影响, 要是空间之中存有磁通, 即便粒子运动路径处于的区域局部磁场是零, 路径包围区域里的磁场也能够借由矢势架构对相位差产生影响, 这种现象显示出, 规范理论里的可观测量常常并非是裸露的势函数数值, 而是某些具备整体意义并且规范不变的组合。
这进一步表明, 局域规范不变性可不是仅为一句“方程形式不变”这样简单, 它有着特定要求, 那就是理论在每一个点都应当允准独立的相位约定, 与此同时还得确保不同点之间的物理比较是具明确意义的, 电磁场所以就承担起了双重角色, 一方面, 其作为传播能量和动量的具体物理场, 另一方面, 它是连接不同时空点相位基准的规范结构。
9、从电磁规范理论看现代相互作用理论
存在于电磁场里所呈现出的 U(1) 局域规范不变性, 给后续的相互作理论贡献了范式。在现代粒子物理范畴内, 弱相互作用以及强相互作用同样能够借助局域规范不变性加以描绘, 只是与之对应的规范群更为繁杂, 规范场也并非仅有一个单纯的电磁势。电磁理论因而有着示范方面的意义: 它最为清晰地展现了从局域对称性朝着相互作用场的逻辑。
然而, 电磁规范理论算是颇为简单的那种, 原因在于其中的U(1) 群是能够交换的。相位旋转的前后顺序的不同并不会致使结果发生改变, 故而电磁场自身是不存在电磁荷的, 光子之间并不存在如同强相互作用胶子那般的直接自耦合情况。在非阿贝尔规范理论里, 规范变换的序列高低会对结果有所影響, 场强之中除开导数项之外, 还会出现场自身的乘积项, 规范场之间是能够直接进行相互作用的。即便如此, 其基本思想依旧是和电磁理论相贯通的: 局域对称性是需要引入规范场的, 协变导数对物质与规范场的耦合做出规定, 场强用于描述规范场的物理内容。
在电磁场学习当中聚焦局域规范不变性, 这还对理解为何现代物理这般看重对称性有所帮助。对称性可不单单是那种好看的数学性质, 它是一种能对理论形式予以限制、能决定守恒量、能规定相互作用方式的物理原则。全局相位对称性跟电荷守恒存在关联, 局域相位对称性更是进一步提出要求, 使得电磁场得以存在还按照特定这种方式进行耦合。从这个角度去看, 电荷的守恒、电磁场、相位变换以及相互作用形式, 它们可不是全无关联各自独立的事实, 而是属于同一结构之下的不同侧面。
确实, 规范理论并非表明所有物理范畴都单单由对称性来决定, 粒子的质量, 耦合常数的数值, 真空的结构, 边界条件以及具体的初始条件, 依旧需要通过实验来予以确定, 或者借助更深层次的理论去进行解释, 局域规范不变性所给予的是理论结构方面的强约束, 而非取代全部的经验输入高中物理电磁场知识点高中物理电磁场知识点物业经理人，电磁场之所以成为有助于理解规范理论的理想入口, 正是鉴于它既有清晰的实验根基, 又能够展现出抽象对称性怎样具体落实为物理相互作用。
10、局域规范不变性的物理意义与认识价值
以电磁场为出发点去审视局域规范不变性, 能够获取几个不同层面的认知；首先, 这表明物理理论并非总是仅仅由那些能够直接进行观测的量组建而成；电磁势于经典层面具备规范冗余, 与此同时在量子层面还与相位存在着紧密关联；一个量是不是“真实”的, 并非能够单纯凭借是否可以直接测量其每一个分量来判定, 而是得看它是不是在规范不变的物理结构里头发挥着作用。
其次, 它表明相互作用能够从对称性要求里引发。要是仅仅考量自由带电粒子, 局域相位变换会致使普通导数项的形式被破坏；为了让局域不变性得以恢复, 必定要引入电磁势以及协变导数。如此一来, 电磁相互作用并非是额外生硬添加到理论上的装饰, 而是维持局域相位自由所需要的结构。这种看法改变了人们对于“力”的认知: 力不单单是物体之间的直接牵拉, 还能够是规范连接在时空中的呈现。
再次, 它表明, “不可观测的任意性”并非等同于“没有意义”, 规范自由意味着描述方面存在冗余, 然而, 这种冗余恰好能让理论以更为统一、更为灵活的方式进行表达。真正的物理要求并非是消除所有冗余, 而是要辨别出哪些变化不会改变物理状态, 并且要保证可观测结果不依赖于这些任意选择。如此一来, 规范不变性便成为判定理论是否自洽的关键标准。
最后, 局域规范不变性将经典电磁学、相对论以及量子理论联结到一块儿, 在经典的那个层面上, 它呈现出电磁势的规范变更不会让 E^ 以及 B^ 发生改变, 在相对论层面, 它呈现出 A_μ 与 F_μν 的统一架构, 在量子层面, 它呈现出波函数局域相位变换跟电磁耦合之间的关联, 这种跨越层次的一致性, 是电磁理论长久保留生命力的至关重要的缘由。
总结
我们能从电磁场看待局域规范不变性, 进而瞧见一条明晰的物理线索, 麦克斯韦方程组描绘了能够被观测到的电场以及磁场, 为了达成统一且简化描述之目的, 人们引进标势以及矢势, 只是势函数并非唯一, 不同规范能够给出相同的电磁场, 于量子理论里, 波函数的整体相位对概率并无影响, 而将这种相位自由拓展至每个时空点之后, 普通导数无法再维持方程形式照旧不变, 为了弥补局域相位变化, 必须引入电磁势, 并且用协变导数替换普通导数, 由电磁势构建而成的场强张量保持规范不变, 代表着电磁场可被观测到的内容, 带电粒子与电磁场的相互作用可被视作是局域规范不变性所要求得出之结果。因此能够看出, 局域规范不变性并非是那种远离实验的抽象概念, 而是扎扎实实地深植于电磁场理论当中。它不但解释了电磁势的规范自由, 还暴露了电磁相互作用的结构根源。并且为理解现代规范场论给出了最为自然的入口。