量子力学的数学表述

title: 历史.
title: 旧量子论与量子力学的创立.
content: 1900年,马克斯·普朗克提出描述黑体辐射的普朗克公式。普朗克对于黑体的描述规避了经典物理学结果中的紫外灾变。他做出了这一假设,在物质与电磁辐射的相互作用中,能量的传递只能以一个个分立的单元的形式进行。这些小单元被称为量子,此外他还提出,量子包含的能量与辐射频率成正比。比例常数后来为了纪念普朗克的功绩被命名为“普朗克常数”。1905年,阿尔伯特·爱因斯坦引用普朗克的假设,提出了“光子”这一概念,解释了光电效应的一系列实验现象。 这两个对于实验现象的理论解释与当时物理学的一些观念迥异。后来,玻尔等人基于这些假设,对于经典力学进行了改造,试图从第一性原理的角度上推导出原子的玻尔模型。他们假设,在一个力学系统相空间所能描述的所有可能的经典轨道中,物体只能在相空间中所围面积为普朗克常数整数倍的轨道上运动,即角动量量子化假设。后来这一假设进一步发展为玻尔-索末菲量子化条件。尽管玻尔的氢原子玻尔模型可以通过这一假设解释,但其却并不适用于氦原子等多电子原子。量子理论的数学表述在一段时期内仍前途未定。  1924年,路易·德布罗意提出了物质波假设,即波粒二象性不只对光子适用,对于电子以及其他物理系统也适用。量子力学的数学表述也于1925年至1930年获得突破性进展。埃尔温·薛定谔、维尔纳·海森堡、马克斯·玻恩以及帕斯库尔·约当为奠定量子力学的数学基础做出了突破性的工作。约翰·冯·诺伊曼、赫尔曼·外尔以及保罗·狄拉克也为其做出了基础性的贡献。基于不同方法的数学表述在后来得到了统一。对于量子理论的物理学解释也在海森堡发现不确定性原理以及尼尔斯·玻尔引入互补原理后得到统一。
title: 新的量子理论.
content: 海森堡等人于1926年创立的矩阵力学是首个能够成功解释原子光谱量子化的理论。薛定谔也在同一年创立了波动力学。由于是采用当时物理学家已深为熟谙的微分方程表述的,波动力学更易理解,也更易计算并实现可视化。一年后,两种表述被发现是等价的。  薛定谔本人起初并没有提出量子力学中的概率性质,因为他认为电子波函数的模方应该解释为在空间中弥散的电荷密度。后来玻恩引入了波函数的概率解释,即某一位置的波函数的模方为一个粒子在该位置出现的概率。玻恩的解释迅速被玻尔接受。薛定谔所提出的方程与经典力学中的哈密顿-雅可比方程密切相关。量子力学与经典力学的对应在海森堡的矩阵力学中体现得更为明显。在博士学位论文中,狄拉克提出海森堡绘景中的算符方程与哈密顿力学中的动力学方程形式类似,正则量子化条件与泊松括号也存在一定的相似性。  更为准确地说,海森堡是在薛定谔之前创立矩阵力学的。这一表述是量子力学第一个有效的表述,是一个本质性的突破。海森堡的矩阵力学是基于无穷维矩阵的代数演算。这一表述与经典力学的数学表述方式大相径庭。不过,他的出发点是实验研究中所用到的“指标”,并且他也并没有意识到他的“指标方法”实际上就是矩阵方法。这一点后来是由玻恩阐明的。实际上在那个时代,线性代数并不像现在这样为物理学家所熟识。  尽管薛定谔在创立波动力学一年后自行证明了自己的方法与海森堡的方法的等价性,但证明两种方法相互调和并将它们抽象为希尔伯特空间中的运动的工作是由狄拉克完成的。他是在1930年发行的经典著作《量子力学原理》中阐明这一点的。他是量子力学的第三位也可能是最为重要的支柱性的人物。他在不久后发现了该理论的相对论推广。他还发展出量子力学的狄拉克符号,引入了希尔伯特空间中泛函分析使用到的一些的抽象概念,并发现了系统动力学第三种表述,相互作用绘景。他的工作极大地推广了量子力学理论。  基于这一思路的第一个完备数学表述体系现在被称为狄拉克-冯诺伊曼公理体系。这一理论体系现在一般认为是冯·诺伊曼在其1932年发行的专著《量子力学的数学基础》中提出的。尽管此前外尔已经在其1927年发表的论文著作中引入了希尔伯特空间(他自己将之称为“幺正空间”)。这一体系采用的方法是数学中基于线性算符的谱理论,而非大卫·希尔伯特在一个世代前所采用的二次型方法。尽管量子力学理论如今依然在发展,但所采用的数学表述的基本框架仍是基于冯·诺伊曼的工作的。换言之,目前有关量子力学诠释的探讨及其延伸话题大多是围绕着数学基础理论中共享假设的基础展开的。
title: 后续进展.
content: 20世纪30年代,物理学家将新的量子理论应用于电磁现象,由此构建了量子场论。由于量子场论的需要,量子力学的数学表述又进一步得到了发展。在下文中所叙述的形式是一种简单的特例。在这之后发展起来的量子力学表述包括:  此外,冯诺伊曼还依据他对于波函数坍缩的描述提出了一种量子测量方案,引发了对于这一问题的哲学讨论。在相关问题争论了70多年后,测量问题仍是目前的研究热点之一,并由此衍生出一些新的量子力学阐释方式及分析结果,其中包括:  另一个相关的问题是量子力学与经典力学之间的联系。一些物理学理论可以通过近似的方式还原为旧有的理论,对于量子力学而言,对应的就是量子力学的经典极限。此外,玻尔曾提出,人类的感知能力以及语言与经典领域有不可分割的联系,所以对于一个问题的经典描述要比对其的量子描述更为直观一些。其中构造量子论的量子化过程的经典极限是量子物理的一个重要问题。  最后,一些量子理论的创始人(包括爱因斯坦以及薛定谔)实际上对于量子力学后来的发展并不满意。爱因斯坦对于量子力学的完备性一直存在质疑。隐变量理论正是产生于这一质疑。在量子光学的帮助下,隐变量问题可以通过实验手段进行验证。相关理论包括:
title: 量子力学的数学结构.
content: 对于一个物理学系统的描述基于以下三个基本要素:量子态、可观测量以及动力学表述(或者说时间演化规则),或者更普遍的来说是物理对称群。经典力学中,物理学系统直接在相空间中进行描述:相空间是一个辛流形,系统的状态是相空间中的一个点,可观测量是相空间上的实函数,时间演化规则由描述相空间辛变换的单参数群给出,物理对称性由辛变换实现。量子力学的描述则是:系统的状态构成一个希尔伯特空间,可观测量是状态空间的自共轭算符,时间演化规则由状态空间幺正变换的单参数群给出,物理对称性是由幺正变换实现的。
title: 基本表述.
content: 以下几条对于量子力学的数学框架的总结部分源于狄拉克-冯诺伊曼公理体系。除了下面几条性质外,还需要考虑到系统的一些基本性质与原理,如下文提到的自旋及泡利不相容原理。
title: 量子态.
content: 每个物理学系统的状态都与一个拓扑可分复希尔伯特空间有关,这个希尔伯特空间具有内积。中的束(一维亚空间)与系统的量子态有关。换言之,物理学系统的状态可以利用中长度为1的矢量等价类表述,两个矢量只有在相差一个相位因子时才能表示同一个态。可分性这一假设在诠释当状态经过有限次的测量可以确定时的情形中可以用到。一个量子态是射影希尔伯特空间中的一个“束”,而并非一个“矢量”。但在一些现实情景中,却并不强调这两个概念间的区别。这一点部分源于薛定谔方程的表述中涉及到的是希尔伯特空间“矢量”,并近而衍生出“态矢”这一并不严格的术语。  复合系统的状态空间是分系统状态空间的希尔伯特空间张量积。对于一个由可数的可分粒子组成的非相对论系统,其分系统就是单一的粒子。
title: 对称性.
content: 依据维格纳定理,作用于状态空间的物理学对称性是幺正的或是反幺正的。超对称性的情况与之不同。
title: 可观测量.
content: 可观测量是以埃尔米特矩阵表述的。在采用波函数的概率诠释时,对于状态为 ∈ 的可观测量,其期望值为formula_1。  通过谱理论,我们可以将概率测度与任意状态下的值联系起来,同时还可以得到任意可能值必须是的谱值。在特定条件下,只有分立谱。所有可能的测量值将是它的本征值。更为精确地来说,如果我们以的本征矢表示态矢时,给定本征矢的分量模方将是观察到相应本征值的概率。  推广上述表述,一个状态可以用迹类非负自共轭算符,密度算符表示。这个算符是一个进行了归一化的矩阵,其迹为1。在态为时,的期望值为: 如果是一个经由得到的到一维亚空间的正交投影,那么存在  密度算符可以看作一维正交投影的闭合凸包。反之,一个一维正交投影是密度矩阵的极限点。物理学家也将一维正交投影称作“纯态”,将其他密度算符称作“混合态”。
title: 不确定性原理.
content: 此外,两个可观测量间还存在不确定性关系,即对于任意两个可观测量formula_4、formula_5,存在:  其中formula_7为两个算符的对易算符。
title: 动力学绘景.
content: 依据所关注的问题不同,我们可以构造不同的动力学绘景。较为重要的绘景包括:薛定谔绘景、海森堡绘景以及相互作用绘景。
title: 薛定谔绘景.
content: 在薛定谔绘景中,状态的时间演化是通过一个自变量为实数的可微函数表征的。自变量代表过程中的某一时刻,函数为系统状态的希尔伯特空间中的某个态矢。如果代表系统在时刻时的状态,那么这个映射以下面这个方程进行表征:  其中为系统的哈密顿算符,为虚数单位,为约化普朗克常数。作为一个可观测量,对应系统的总能量。  此外,依据斯通定理,可以得到存在一个强连续单参数酉群,对所有的符合:  且存在一个自共轭哈密顿算符:  此时不含时,且微扰始于,否则需要使用戴森级数表示:  其中formula_11为时间排序算符。
title: 海森堡绘景.
content: 海森堡绘景主要关注可观测量随时间的演化。其将状态视为固定的,可观测量为可变的。如果要从薛定谔绘景得到海森堡绘景,则需要定义不含时的态矢以及含时的算符:  可以得到,两种绘景中可观测量的期望值是相同的:  对于一个含时的海森堡算符,存在:  需要注意的是,对易表示在其中一个算符为无界算符时仅为形式上的表示,需要定义一个表象令其具有实际意义。
title: 相互作用绘景.
content: 相互作用绘景中的状态与可观察量都含时,并会分别伴随不同的哈密顿算符演化。这一绘景适用于可观测量的演化情况精确可解,状态演化并不复杂的情况。因而,可观测量对应的哈密顿算符被称为“自由哈密顿算符”,状态对应的哈密顿算符为“相互作用哈密顿”。用符号表示这一绘景则为:  然而相互作用绘景却并非总是存在。依据哈格定理,相对论性相互作用量子场论终究不存在相互作用绘景。这是因为在一个超选择区内,哈密顿算符并不能分为自由与相互作用两个部分。此外,哈密顿算符即使在薛定谔绘景中不含时,如,但在相互作用绘景至少在与的情况下仍会含时,这是由于: 当两个粒子的波函数完全相同时,对于费米子系统而言,则存在formula_16。考虑到波函数的概率诠释,这一情况可以解释为:在一个由费米子组成的系统中,不可能存在两个状态完全相同的粒子。这就是著名的泡利不相容原理,是由沃尔夫冈·泡利于1925年提出的。  尽管自旋与泡利不相容原理只能在进行了相对论推广的量子力学中推导出来,但是这两条性质在非相对论极限情况下却是系统的基本性质。自然科学中,许多重要的现象,如化学中的元素周期律,都源于这两条性质的。
title: 测量问题.
content: 在上面所叙述的理论框架对于描述一个完全孤立的系统而言已经足够充足。然而,它却没有涉及到量子力学与经典物理学的一大分野——测量效应。冯·诺伊曼曾给出系统处于纯态时,对于测量可观测量过程的描述:  令具有一定的谱分辨率:  式中,为分辨率,或称投影值测度。那么观测结果落在实数区间内的概率为。换言之,这一概率可以通过的特征函数对可加加测度formula_18积分得到。  如果测量值在区间内,那么在测量完成瞬间,系统会处于态(这个态通常未进行归一化)。如果测量值没有落在内,则需要以的补集来取代来获取上述态。  例如,假设状态空间是一个n维的复希尔伯特空间。是一个埃尔米特矩阵,本征值为,对应的本征矢为。那么与相关的投影值测度为:  式中,是一个包含单一本征态的博雷尔集。如果系统处于态formula_20,那么测量值回归到的概率可以以谱测度formula_21在上积分得到。由此可得一个平凡结果:  冯·诺伊曼测量方案的特征是重复相同的测量可以得到相同结果。这一方案又被称作“投影原理”。  在更为普遍的表述中,投影值测度通常会被正算符值测度。为了说明这一问题,这里仍以有限维情况为例子。  先将秩为1的投影formula_23以正算符的有限集formula_24取代。  其中元素的和仍是一个特定算符。正算符值测度也会像投影值测度一样与可能的测量结果集}相关。假设测量结果为,则系统在测量完成后,不会坍缩至非归一态formula_25,而是会处于态formula_26。  由于之间并不一定正交,冯·诺伊曼的投射原理将不再成立。  相同的表述也适用于普通的混合态。  在冯·诺伊曼方案中,测度导致的态变换会由于时间演化的原因发生变化。时间演化方式是确定且幺正时,测量过程却可能是非确定且非幺正的。然而由于两种态变换本质都是一个量子态到另一个量子态,这一差异并不能让物理学家满意。正算符值测度表述是将测量视为一种量子操作。这种操作是用不会令迹变大的全正映射描述的。无论是哪种情况,上述问题可能只会在时间演化不仅包含量子系统,而且还包含经典测量仪器时才能解决。
title: 相对态诠释.
content: 休·艾弗雷特三世曾提出测量问题的另一种诠释——相对态诠释。后世的物理学家一般称其为多世界诠释。
title: 涉及到的数学理论.
content: 由理查·科朗特基于大卫·希尔伯特在哥廷根大学的数学物理学讲义改编而成的教科书《数学物理方法》与量子力学的数学表述有关。物理学家曾一度拒绝使用这部教材。在薛定谔方程被提出之后,物理学家才发现,量子力学中所用到的数学理论其实在那部专著中已有涉及。海森堡及玻恩等人曾向希尔伯特咨询过矩阵力学的表述问题。希尔伯特基于其对于无穷维矩阵的研究,向海森堡建议这种矩阵可以从微分方程中导出,但海森堡并没有接受这个建议,从而错失统一量子理论的机会。直到多年后,外尔与狄拉克才实现这一统一。无论相关理论溯源如何,尽管量子力学这一物理理论带有一定革命性,但所用到的数学理论在当时却已为数学家所熟知。  量子力学中所用到的主要数学概念包括:

Summary: 量子力学的数学表述(Mathematical formulation of quantum mechanics)是对量子力学进行严谨描述的数学表述体系。与20世纪初发展起来的旧量子论的数学形式不同,它使用了一些抽象的代数结构,如无穷维希尔伯特空间和这些空间上的算子。这些结构中有许多源于泛函分析。这一纯粹数学研究领域的发展过程既平行于又受影响于量子力学的需要。简而言之,物理可观察量的值,如能量和动量的值不再作为相空间上的函数值,而是作为本征值,或者更为精确地来说是希尔伯特空间中线性算子的谱值。

Mathematical formulation of quantum mechanics: The mathematical formulations of quantum mechanics are those mathematical formalisms that permit a rigorous description of quantum mechanics. This mathematical formalism uses mainly a part of functional analysis, especially Hilbert space which is a kind of linear space. Such are distinguished from mathematical formalisms for physics theories developed prior to the early 1900s by the use of abstract mathematical structures, such as infinite-dimensional Hilbert spaces(L2 space mainly), and operators on these spaces. In brief, values of physical observables such as energy and momentum were no longer considered as values of functions on phase space, but as eigenvalues; more precisely as spectral values of linear operators in Hilbert space.