Quantum Mechanics I - Wave Function

Wave Function

  物理学不是形而上学，它的任务不是去探究“为什么”：世界为什么这样运行、给定粒子的初始位置和速度它的运动情况为什么就能够唯一确定（而不再需要初始加速度）、量子力学为什么和我们的的直觉相悖等等。这些都不是物理学要解释的东西，这些都是哲学要解释的东西，它牵扯到本体论或者神学。

  物理学，是给世界建立模型，并让我们得到更加准确的预测——这和是否违反直觉毫无关联。

  所谓“物理解释”和“物理图像”，是人脑思维机制与真实世界之间的桥梁，是人类之所以能够触摸宇宙至高的可怜原因——正因如此，世界才是 可知 的。例如波粒二象性，作为初学者最难以理解的物理图像，在 Ira N. Levine 所著 Quantum Chemistry, the Seventh Edition 中有如下评述：

Evolution has shaped the human brain to allow it to understand and deal effectively with macroscopic phenomena. The human nervous system was not developed to deal with phenomena at the atomic and molecular level, so it is not surprising if we cannot fully understand such phenomena.

  ——Ira N. Levine, Quantum Chemistry, the Seventh Edition

此外，量子力学大师狄拉克在他的 The Principles of Quantum Mechanics 中也写道：

物理科学的主要目的并不是提供图像，而是表述那些支配现象的规律，并利用这些规律去发现新的现象。如果图像存在，那样更好；但是图像存在与否是次要的。在通常意义上，“图像”这个词就是本质上按照经典路线起作用的模型，而在原子现象中，不能期望存在这样的图像。

然而，人们可以把“图像”一词加以扩展，以包括任何看待基本规律的方式，这一方式使得基本规律的自洽性变得明显。

  ——Dirac, The Principles of Quantum Mechanics

  如此一来，建立在一系列对真实世界的假设上的经典力学本身，也只是人们为了理解真实世界建构的物理模型而已，并且它对人类直觉来说并不遥远。然而在19世纪末至20世纪初的这段时间内，经典力学的两个假设遭遇了来自真实世界的挑战：绝对时空观被相对论推翻，以 Cauchy 问题解唯一性定理保证的确定论思想则被量子力学所动摇。

It was not invented because anyone thought this is the way the world should behave, but because various experiments showed that this is the way the world does behave.

  ——Brian C. Hall, Quantum Theory for Mathematicians

  与经典力学一样，量子力学也建立在一套规则、一套假设上，但是这些假设并不是从实验中得出的，而是：

Physical intuition, wildly divorsed from experiment, pushing you in the right direction.

  ——8.04, Quantum Physics I, Allan Adams, MIT

并且

These rules are awsome, if the predictions are good, and if the predictions are bad, these rules will sunk.

  ——8.04, Quantum Physics I, Allan Adams, MIT

  所以，下面我们将放弃经典力学的所有结论，从最基本的东西开始，建构量子力学的框架——这个过程和数学家对欧几里得第五公设稍作更改之后建立 Riemann 几何相比更具革命性。

De Broglie Relation

  爱因斯坦在解释光电效应时提出光具有粒子性。一列以 $\omega$ 和 $k$ 描述的光波具有粒子性的能量 $E$ 与动量 $p$ ，即 波动性第一，粒子性第二：

$$\begin{aligned} E &= \hbar ω\\ p &= \hbar k \end{aligned}$$

  现在，德布罗意认为，每一个粒子都有一个波和它对应，这个粒子的能量和动量都可以从描述这个波的波函数里得知，即 粒子性第一，波动性第二。

$$\begin{aligned} \omega &= \frac{E}{\hbar} \\ k &= \frac{p}{\hbar} \end{aligned}$$

  在数学上（mathematically），等式的两边是同样的、等价的，在这里容易造成混淆，也许将这里的 “$=$” 理解为“赋值”才更接近它的含义：

因为德布罗意的工作是物理上的（physically）、概念上的（conceptually）一次革命。物理概念一转换，那么稍作推导（deduction）就能立刻知道 可以做什么。

  ——Yijing Yan, Quantum Physics (EN), 2022 Autumn, USTC

  举例而言，一个空间中的自由粒子对应于一个平面波 $e^{i(kx-\omega t)}$ ，这个波函数具有确定的波长，那么这个粒子，根据德布罗意关系，就具有“确定”的动量（we are pretty confident about its momentum）。

  所以德布罗意关系的真正含义，是每一个具有能量 $E$ 和动量 $p$ 的粒子都有一个以 $\omega = E/\hbar$ 和 $k = p/\hbar$ 的波与之对应，而波函数 $\psi$ 就是这个波的描述形式。

  由此可见，事实上有两套方法可以用于描述一个物理对象（object）的状态（configuration），一种是粒子式的动量与能量，一种是波动式的波矢与频率。这两种描述方式是等价的，就像将空间中的矢量向不同的基分解一样。自然，我们希望这两组基的“过渡矩阵”满足一些性质，让这两种描述方式之间的转换能够有简单的形式。

  容易想到，Fourier变换 就是我们想要的正交变换（幺正变换），它将一组正交基（$\delta(x-x_0)$ 位置函数系）变换为另一组正交基（$e^{-ikx_0}$ 波动函数系）：

$$e^{-ikx_0} = \int_{-\infty}^{\infty} \delta(x-x_0)e^{-ikx}dx$$

正交性：

$$\int_{-\infty}^{\infty} \delta^*(x-x_1)\delta(x-x_2)dx = \delta(x_1-x_2)$$

$$\int_{-\infty}^{\infty}(e^{ikx_1})^*e^{ikx_2} dk= 2\pi \delta(x_1-x_2)$$

关于 Fourier 变换更深刻的理解见 Fourier Transform 一节，以及泛函分析与广义函数论教材。

Postulate I: Configuration

The state (configuration) of a quantum system is completely specified by a wave fuction $\psi(x)$ , which is a complex function.

  在经典力学中，指定一个系统的状态（configuration）的含义是给出系统的位置 $x$ 和动量 $p$ 。但是由于真实世界中位置和动量总是有不确定度关系： $\Delta x \Delta p \geq \hbar$ ，所以位置和动量其实是不能同时指定的。虽然不确定性对于我们生活的世界的尺度而言是如此的小，以致经典力学忽略这个差别而犯下的错误不足以动摇它在宏观低速条件下的主宰地位，但真实世界并非如此。

  既然同时指定一个粒子的位置和动量是非法的，那么我们只能从位置、动量两者择其一，来构建世界的物理的基础。但是仅有粒子的位置在任何情况下都是无法预测它将来的变化的，我们还需要更多的信息，所以波函数——粒子位置对某个复数的函数，应运而生。

This is a complete specification of the state of the system. If I know the wave function, I neither need nor have access to any further information about the system. All the information specifying the configuration of the system is completely contained in the wave function.

  ——8.04, Quantum Physics I, Allan Adams, MIT

  这里我们不加定义地直接使用 configuration 这个词来指代量子系统的某些东西是非常危险的：虽然我们说经典系统的 configuration 是指位置和动量，但这只是类比——一个量子系统的 configuration 究竟包含哪些东西并没有说明白。所以 Postulate I 实际上是在将 configuration 悬设起来，让它在之后发挥作用。

  指定一个系统的 configuration，是指能够通过一定的手段预言系统的时间演化，比如指定经典粒子的初始位置和初始动量，之后的运动就能唯一确定。量子系统也是如此：给定初始波函数 $\psi_{t = 0}$ ，随后它将会遵守薛定谔方程进行时间演化，但演化的不是粒子本身的位置或者动量，而是这些量的概率分布。

  任意函数都可以是微观粒子的波函数吗？波函数的“物理图像”又是什么？随着这个假设产生的一系列问题，表明我们的理论并不是 well-defined ，还需要添加更多的假设。

Postulate II: Probability Interpretation

The meaning of the wave function is that the probability upon measurement the object is found in the positon $x$ is equal to the norm squared of $\psi(x)$.

$\mathbb{P}(x) = |\psi(x)|^2$ determines probability density that the object in state $\psi(x)$ will be found at $x$.

1. $\psi(x)$ 是一个复数，而范数的平方永远是实数

2. 波函数的量纲是长度的负二分之一次方： $L^{-1/2}$

  概率密度的定义：

$$\mathbb{P}\{x\in (x,x+dx)\} = \mathbb{P}(x)dx = |\psi(x)|^2dx$$

以及波函数的概率解释要求的归一化条件：

$$\int_{\Omega} \mathbb{P}(x)dx = 1$$

  一个函数之所以能够成为波函数，还需要它单值连续、模方可积

Postulate III: Superposition

given two possible configurations of a quantum system corresponding to two dinstinct wave functions $\psi_1(x)$ and $\psi_2(x)$ ,the system can also be in a superposition of $\psi_1(x)$ and $\psi_2(x)$.

It means that there is also an allowed configuration corresponding to an arbitrary superposition of them:

$$\psi(x) = \alpha \psi_1(x) + \beta \psi_2(x),\;\;\alpha,\beta \in \mathbb{C}$$

All the cool stuffs in quantum mechanics, all the strange and counter-intuitive stuffs are directly from the next postulate, so here it is.

  ——8.04, Quantum Physics I, Allan Adams, MIT

  同一系统两个可能波函数的线性组合也是系统可能的波函数。虽然这些线性组合在自然界看来是平等的，但我们主观意义上认为某些波函数“更平等”：更容易理解，比如 $e^{ikx}$ 可以理解为平面波，它也是函数空间中的一组正交基：

这些态之间存在特殊的联系，以至于系统确定地处于一个态时，我们可以把系统当成部分地处于两个或更多其他态中的每一个……这里包含了一种全新的思想，我们必须习惯使用这一思想，必须开始用它继续建立严格的数学理论，而不要任何详细的经典图像。

  ——Dirac, The Principles of Quantum Mechanics

  并且，状态叠加原理比薛定谔方程更基本：

以上这些假定，构成了量子力学的一个首要基本原理，称为状态叠加原理。从这个原理可以立刻知道，波函数所满足的一切方程必须保持线性。

  ——朗道、栗弗席兹，《量子力学（非相对论理论）》

  当一个态有其他两个态叠加而成时，按某种不精确的说法，这个态应当具有介于两个原先的态的性质之间的某些性质，并且它们与其中某一态的性质较多或较少地接近，这需要根据叠加时的“权重”的大小来确定。在叠加过程中，如果原先的两个态相位已知，加上确定的相位差，那么新的态就可以完全确定。而权重与相位的确切含义，由一定的数学理论提供。比如当光的两个平面偏振态相互叠加，相位、权重的不同将会导致线偏振、圆偏振或者椭圆偏振的区别。

  概率的干涉和光的干涉也是相同的：

$$\begin{aligned} \mathbb{P}(x) &= |\alpha \psi_1 + \beta\psi_2|^2\\ &= |\alpha \psi_1| ^2 + |\beta\psi_2| ^2 + \alpha^* \psi_1^* \beta\psi_2 + \alpha\psi_1 \beta^*\psi_2^* \end{aligned}$$

干涉项就是最后的两项，它不一定是正数，对概率的简单相加作了一定的干涉修正（a correction of the classical probability addition）——相加的不是概率，而是波函数。波函数的模方才是概率（这将导致贝尔不等式）。

  此时，如果将一些不同频率的平面波函数叠加并归一化，粒子位置的概率密度将会逐渐呈现 $\delta$ 函数的形式：

The interference of different momentum leads to the certainty of the position of the particle.

  ——8.04, Quantum Physics I, Allan Adams, MIT

  对于波函数取 $\delta$ 函数的粒子（也就是说它的位置是完全确定的），直觉上来看它并没有任何波长可言，所以也无法通过 de Broglie 关系得到它的动量。这时就需要使用 Fourier 变换来处理。

Fourier Transform

Any wave function f(x) can be built by superpositioning enough plane waves of the form $e^{ikx}$:

$$\psi(x) = \frac{1}{\sqrt{2\pi}}\int_{-\infty}^{\infty}\varphi(k)e^{ikx}dk$$

$$\varphi(k) = \frac{1}{\sqrt{2\pi}}\int_{-\infty}^{\infty}\psi(x)e^{-ikx}dx$$

  其中 $\varphi(k)$ 可以理解为波矢为 $k$ 的波的振幅和相位，所以波函数可以看做是具有一定动量 $P = \hbar k$ 的多个波函数的叠加（平面波具有确定的动量）。

  Fourier 变换是一种正交变换（幺正变换），如果变换前的波函数是归一化的，那么变换后的函数仍然是归一化的，并且变换后只是更换了表象，将粒子的运动状态换到了动量“基”下而已。

  这时，就可以清晰地看到不确定性关系的作用：对不确定位置的平面波作傅里叶变换，得到 $\delta$ 函数——具有确定的动量；对确定位置的 $\delta$ 函数作傅里叶变换 ，得到常数——具有不确定的动量。

  所以，Fourier 变换的数学形式同样也刻画了微观粒子的波粒二象性。

  常用积分与 Fourier 变换：

$$\int_{-\infty}^{\infty} e^{ikx}dx = 2\pi \delta(k)$$

$$\delta (x) \leftrightarrow \frac{1}{\sqrt{2\pi}}$$

$$e^{ik_1x} \leftrightarrow \sqrt{2\pi}\delta(k_1-k)$$

Notice:

1. normalize: $\int |\psi(x)|^2dx = 1$
2. All reasonable $\psi(x)$ are equally reasonable wave functions (for the third postulate).
3. Some wave functions are more equal than others, in the sense that they have more simple interpretations.

  在这个意义下，所有合理的波函数都能拆解为一系列 more equal (easily interpretable) 的波函数，就像 Fourier 变换那样：

$$\psi(x) = \frac{1}{\sqrt{2\pi}}\int_{-\infty}^{\infty}\varphi(k)e^{ikx}dk$$

这里叠加的波函数都具有确定的动量 $\hbar k$ ，所以它们有更简单的 interpretation——粒子的一切状态都能表达为具有确定动量的粒子所处状态的叠加。

同样地，如果使用 $\delta$ 函数做叠加：

$$\psi(x) = \int_{-\infty}^{\infty}\psi(x_0)\delta(x-x_0)dx_0$$

所以粒子的一切状态也能表达为具有确定位置的粒子所处状态的叠加。这再次表明，位置和动量是描述粒子状态的不同基，各自完备，但水火不容（在线性代数中有基向量的替换定理，可以将一组基中的某一个向量替换为另一组基的某一个向量从而组成新的基。但这在量子力学中是不行的）。

波函数是波矢在坐标空间中的表象，trace 在坐标空间中以积分的形式存在。

一个算符的对应矩阵是无穷维的，但 trace 仍然收敛。

  ——Yijing Yan, Quantum Physics, 2022.8.31

  然而，稍作分析可以发现上述动量基和坐标基并不满足波函数连续或者模方可积的条件（见 De Broglie Relation 一节的最后部分）——这是纯粹数学上的完备性在起作用：模方可积空间作为完备的赋范空间（Banach 空间），其中每一个 Cauchy 列都收敛。而这些不满足波函数条件的“基”，则作为 Banach 空间中的函数列极限存在其中（参见 Postulate III: Superposition 中的图片）。

  或者简单地说，实际上我们并不能将粒子的坐标确定到 $\delta$ 函数所描绘的那么精准，因为还有不确定度关系的存在。

Probability Theory and Uncertainty

海森堡提出，只有认为我们的实验能力有某种前所未知的基本极限，才能使得当时发现的新的自然界的定律协调一致。

  ——Richard Feymann, The Feymann Lectures on Physics, Volume III, 上海科学技术出版社

$$EY = \langle g(X) \rangle = \int g(x)\mathrm{d}F(x) = \int g(x)f(x)\mathrm{d}x$$

$$\text{Var}X = E(X- EX)^2 = EX^2 - E^2X = \langle X^2 \rangle - \langle X \rangle ^2$$

所以 $X$ 的不确定度 $\Delta X$ 就定义为给定概率密度 $f(x)$ 后 $X$ 的标准差：

$$(\Delta X)^2= \text{Var}X = \langle X^2 \rangle - \langle X \rangle ^2$$

Postulate IV: Operator

Each observable is associated with an operator

将概率论的结论移植到量子力学中：

$$\langle\psi | X| \psi \rangle = \langle X \rangle _{\psi} = \int_{-\infty}^{\infty}x|\psi(x)|^2dx$$

$$\langle f(X) \rangle _{\psi} = \int_{-\infty}^{\infty}f(x)|\psi(x)|^2dx$$

  所以一个物理量只要是位置的函数，那么我们就能通过积分得到它的期望值。但是动量的期望值是无法直接从位置波函数中得到的，我们需要进行 Fourier 变换，将粒子变换到动量表象下再来求解。但是每次都这样做非常麻烦。所以后面的讨论会将动量这个物理量对应于一个算符（operator）让我们在坐标表象下也能简单求解动量期望值：

$$\frac{\hbar}{i}\frac{\partial }{\partial x} \leftrightarrow p$$

$$\langle p \rangle = \int_{-\infty}^{\infty}\psi^*(x)\frac{\hbar}{i}\frac{\partial }{\partial x}\psi(x)dx$$

This set of $\leftrightarrow$ here, it’s sort of introduction, but after a while you just say $\hat{p}$ IS($\equiv$) $\frac{\hbar}{i}\frac{\partial }{\partial x}$, end of stories.

  ——8.04, Quantum Physics I, Allan Adams, MIT

然而，若有一个物理量，既是动量 p 的函数，又是坐标 x 的函数，比如能量 $E = \frac{p^2}{2m}+V(x)$ 就是这样的量，怎样求它们的平均？请看下面的计算技巧。

  ——赵凯华，量子物理（第二版）

曾谨言教材中也是将傅里叶变换代入积分中，再交换积分次序得到的这一关系，并不是从某处推导得到的。所以 $\frac{\hbar}{i}\frac{\partial }{\partial x} \leftrightarrow p$ 属于物理学家的灵光乍现，但它和实验符合的很好，甚至在经典力学的极限下将会回到 $p = mv$ 上来。

  不过，这一做法之所以能成功的理论基础是 Noether 定理：

Noether Theorm

To every symmerty is associated a conserved quantity.

space translation: $x\rightarrow x+L$, there is $\dot{p} = 0$

time translation: $t\rightarrow t+T$, there is $\dot{E} = 0$

rotation: $\vec{x}\rightarrow R\vec{x}$, there is $\dot{L} = 0$

  所以通过以下的逻辑，不难理解为什么对位移的导数可以和动量联系起来：

1. An infinitesimal translation in $x$ is generated by $\partial_x$
2. Noether: Translation in $x$ $\leftrightarrow$ momentum
3. $\partial_x \backsim p$

所以有

$$\partial_x \backsim p,\;\;\partial_t\backsim E,\;\;\partial_\theta \backsim L_z$$

  上面使用 Noether 定理也不是推导，只是从另一个角度暗示了这种关系，让我们对它的正确性更有把握：

I’m going to declare that in quantum mechanics-you cannot stop me- $p$ is repsented by an operator, and this is a declaration. This is not someting we derive, this is someting we declare. We call it a model, and we use it to calculate stuff and see if it fits the real world.

  ——8.04, Quantum Physics I, Allan Adams, MIT

$$\hat{p} \equiv \frac{\hbar}{i}\frac{\partial }{\partial x}$$

  如果我们将这个算符作用于具有确定动量 $\hbar k$ 的平面波 $\psi(x) = e^{ikx}$ ，将会得到

$$\hat{p} \psi(x) = \hbar k \psi(x)$$

所以，我们并不能认为将算符 $\hat{p}$ 作用于波函数 $\psi (x)$ 就能得到想要的动量——那样一来，$\hat{p}\psi(x)$ 是位置的函数，但是位置和动量是不能具有确定的函数关系的。正确的理解应当是这样：

A state with a definite momentum has the property that when you hit it with the operation associated with the momentum, you get back the same funciton times a constant, and the constant is exactly the momentum we ascribe to that plane wave.

  ——8.04, Quantum Physics I, Allan Adams, MIT

那么对于下面的叠加态

$$\psi = \frac{1}{\sqrt{2}}e^{ik_1x} + \frac{1}{\sqrt{2}}e^{ik_2x}$$

如果将动量算符作用其上似乎并不会得到 $\hat p \psi = C \psi$ 的形式，那么它动量的平均值是多少呢？我们先暂时放下这个问题，先讨论一些数学。

What Operators Are ？

  前面不加解释地频繁使用了“算符”这一概念，进行了许多的 physical intuition，现在有必要解释一下：

It’s a basis of much intuition, it’s a mathematical way of thinking operators, and we will sometimes use it as a crutch.

The idea is that basically operarors are things that add to objects and move them, scramble them, do something to them.

  ——8.04, Quantum Physics I, Allan Adams, MIT

  以算符形式表达的东西其实并不陌生，很多东西都可以写作算符形式，比如以列向量为对象，那么左乘矩阵就是一个 operation （算符的英文为 operator）。又如 Taylor 展开可以写作：

$$\begin{aligned} f(x+l) &= f(x) + l \frac{\partial f}{\partial x} + \frac{l^2}{2}\frac{\partial^2 f}{\partial x^2} + \frac{l^3}{6}\frac{\partial^3 f}{\partial x^3} + \cdots\\ &=\left(1 + l \frac{\partial }{\partial x} + \frac{l^2}{2}\frac{\partial^2 }{\partial x^2} + \frac{l^3}{6}\frac{\partial^3 }{\partial x^3} + \cdots\right) f(x)\\ &=e^{l\partial_x}f(x) \end{aligned}$$

  此时 $e^{l\partial_x}$ 便是一个算符——幂的位置是一个算符，其实也可以将幂的位置换成矩阵，$e$ 的矩阵次幂也是同样的含义：

$$e^{A} \bm{x}= \left(I + A + \frac{1}{2}A^2 + \frac{1}{6}A^3 + \cdots\right)\bm{x}$$

  这将是多项式理论和线性代数之间的桥梁。 $\delta$ 函数作为一个广义函数，本身也是一个算符——它必须作用在常见函数上才能体现出它的价值 [季孝达《数学物理方程》]：按照下面的定义，它给出函数 $f(x)$ 在 $a$ 点的值：

$$\hat{\delta}_af(x) = \int_{-\infty}^{\infty}\delta(x-a)f(x) dx = f(a)$$

  量子力学中的算符都是线性算符，这是 Postulate III 提出的隐性要求（参见朗道量子力学的评述），叠加原理天然地和线性性有着密不可分的关系。

  算符也有本征值和本征函数，它们的可以可数，也可以不可数；可以是实数，也可以是复数：

$$\hat{A}f(x) = af(x),\;\;a\in \mathbb{C}$$

所以很显然，$e^{ikx}$ 是算符 $\hat{p}$ 的本征函数，而 $\hbar k$ 就是相应本征值：

$$\hat{p} e^{ikx} = \hbar k \times e^{ikx}$$

当我们需要一个物理量的期望值时，只需将它对应的算符夹在 $\psi^*(x)$ 和 $\psi(x)$ 中间，再做积分：

$$\langle A \rangle = \int_{-\infty}^{\infty}\psi^*(x)\hat{A}\psi(x)dx$$

所以 $\Delta A$ 现在是 well-defined 的了：

$$(\Delta A)^2= \langle A^2 \rangle - \langle A \rangle^2 = \int_{-\infty}^{\infty}\psi^*(x)\hat{A}^2\psi(x)dx - \left( \int_{-\infty}^{\infty}\psi^*(x)\hat{A}\psi(x)dx \right) ^2$$

  厘清了算符这个概念，现在我们给出位置算符和能量算符：

$$\hat{x} = x\times$$

$$\begin{aligned} \hat E = \frac{\hat{p}^2}{2m} + \hat{V}(x) = -\frac{\hbar^2}{2m}\frac{\partial ^2}{\partial x} + \hat{V}(x)\\ \hat E \psi(x)= -\frac{\hbar^2}{2m}\frac{\partial ^2\psi}{\partial x} + \hat{V}(x)\psi(x) \end{aligned}$$

Commutation

  算符的作用顺序不能随意交换，比如：

$$[\hat{x},\hat{p}]f(x) \equiv (\hat{x}\hat{p}-\hat{p}\hat{x})f(x) = -\frac{\hbar}{i}f(x)$$

这时我们得到

$$[\hat{x},\hat{p}] = i\hbar$$

It’s the fact that x and p are imcompatible operators, as you will see later, they don’t commute,their order matters!
What’s going to mean is that when you measure one, you have difficulty measuring the other. They interfere, they cannot be measured simultaniously.

This is DEEP, this is SCARY, because unlike other commutators, no finite matrix can fit this equation, leaving only matrixes with infinite dimentions. It’s the beginning of quantum mechanics.

  ——8.04, Quantum Physics I, Allan Adams, MIT

Postulate V: Expansion

Given an observable $\hat{A}$ and its eigenfuction $\phi_a(x)$，two things happen:

1. It can be expanded as $\psi(x) = \sum C_a\psi_a(x)$

2. The probability maesuring $A$ and giving $a$ is $|C_a|^2$

  You can expand a wave fuction, and the coefficients gives the probability of measuring these numbers.

前面早已指出：

$$\psi(x) = \frac{1}{\sqrt{2\pi}}\int_{-\infty}^{\infty}\varphi(k)e^{ikx}dk$$

$$\psi(x) = \int_{-\infty}^{\infty}\psi(x_0)\delta(x-x_0)dx_0$$

所以这个假设和 Fourier 变换的数学形式是一致的。这个算符可以是坐标算符、动量算符、能量算符，或者任何一个物理量对应的算符——它们的本征函数形式不同，但都是函数空间中的完备正交基。

Mathematical Coherence

  叠加原理告诉我们，同一系统两个可能波函数的线性组合也是系统可能的波函数：

$$\psi(x) = \sum C_i \phi_i(x)$$

但这并没有说明 $\phi_i(x)$ 是否是某个算符的征函数。而现在 Postulate V 告诉我们，这些叠加的函数可以是某个算符的本征函数，所以既有

$$\hat{A}\phi(x) = a \varphi_a(x)$$

也有

$$\psi(x) = \sum_a C_a \varphi_a(x)$$

这看起来并不显然，但稍微复习数理方程的知识就会明白：

Sturm-Liouville Theorm：

1. 本征值非负可数

2. 本征函数正交完备

  所以，一个波函数既能表示为这一组物理量对应本征态的叠加，又能表示为另一组物理量对应本征态的叠加。那么对一个粒子进行测量，就代表着事先选定了一组基，让被测量的波函数向这组基展开（见 Postulate VI）。

  展开系数 $C_a$ 的模方 ，作为本征态 $\varphi_a(x)$ 的“含量”，就是测量值为 $a$ 的概率。举例而言，回忆波函数的概率解释，粒子位置的概率密度是 $|\psi(x)|^2$，根据 Fourier 变换可计算出动量的概率密度 $|\varphi(p)|^2$ 。但 Fourier 变换的也呈现线性叠加的形式：

$$\psi(x) = \frac{1}{\sqrt{2\pi}}\int_{-\infty}^{\infty}\varphi(k)e^{ikx}dk$$

所以 $\varphi(p)$ 恰是这里一般化了的 $C_a$ 。$C_a$ 的一般计算方法为

$$C_a = (\varphi_a|\psi) = \int_{-\infty}^{\infty} \varphi_a^*(x)\psi(x) dx$$

这和 Fourier 逆变换是一致的：

$$\varphi(k) = \int_{-\infty}^{\infty}\left(\frac{e^{ikx}}{\sqrt{2\pi}}\right)^* \psi(x)dx$$

联想到傅里叶分析中的 Bessel 不等式和 Parseval 等式，不难看出动量表象下的波函数也是归一化的，它对位置基的展开系数也是对系统测量位置时的概率密度。

  Sturm-Liouville 定理之所以成立，是由于 Hermite 算符的缘故：由于算符固有值问题就是函数空间中自共轭算子的特征值问题 [7]，那么线性代数的结论就可以搬运到这里来：

Hermite 方阵的特征值都是实数，属于不同特征值的特征向量相互正交。

  如果 $\psi_1$ 和 $\psi_2$ 是动量算符具有相同本征值 $p_0$ 但线性无关的本征函数，那么叠加态

$$\psi_*(x) = \alpha\psi_1(x) + \alpha\psi_2(x)$$

也是这个本征值的本征函数——特征子空间的维数是 $2$ ，对应一个二阶 Jordan 块（所以此时不可相似对角化为对角阵）。

  处于同一特征子空间中的波函数具有相同的能量（本征值），这就叫简并（degenerate），此时算符的这个本征值对应的特征子空间的维数是大于 $1$ 的，所以其中任意两个函数虽然线性无关，但是不能保证相互正交。但是完备赋范空间总是存在这样一组正交基（谱定理），找到这组正交基的方法是 Schmidt 正交化。

Postulate VI: Measurement

Upon measuring an observable A associated with $\hat{A}$, two things happen:

1. The measured value is one of the eigenvalues of $\hat{A}$.

2. After measurement, system collapses into $\psi_a$, the eigenfunction corresponding to the measured value $a$, though at the beginning the state is a superposition of many.

However, acting on a funciton with an operator, has nothing what so ever to do with measuring that associated variable.

This is a wave funciton. I want to know its momentum. I act the operator on it. COMPLETELY WRONG!

  ——8.04, Quantum Physics I, Allan Adams, MIT

  例如，对处于 $\psi (x) = \delta (x-x_0)$ 的粒子测量它的位置：

$$\hat{x}\delta(x-x_0) = x\delta(x-x_0) = x_0\delta(x-x_0)$$

可见，本征值就是 $x_0$ ，但这并不意味着测量粒子的状态和算符对它的作用有什么关联。

  这时我们发现，在计算本征函数的过程中，Sturm-Liouville 定理告诉我们：一个算符的本征值和本征函数是由算符的内禀性质以及边界条件决定的，和将要用它“凑”成的波函数 $\psi(x)$ 毫无关联——$\psi(x)$ 只在需要 $C_a$ 的时候参与计算，这意味着 $\psi(x)$ 本身只能决定测量值的概率分布，不能决定测量值的大小。

  这里需要注意的一点是，如果对处于两个本征态的叠加态施加一个观测，得到的结果永远是两个本征态对应本征值之一，而不能得到任何其他的中间值：

由叠加而形成的态所具有的中间特征，通过由观测得到某一特定结果的概率处于原先两个态的相应概率中间表现出来，而不是观测结果本身处于原先两个态的相应结果的中间。

  ——Dirac, The Principles of Quantum Mechanics

Collapse

  关于波函数的坍缩：

If we go about measuring some observable $A$, then we’ll always, always observe precisely one eigenvalue of that ooperator. And upon measuring that eigenvalue, you can be confident, that that’s the actual value of the system I observe. It remains if I measure subsequently. It’s no longer superposiiton, now it is a wave function corresponding to a definite value of the observable.

Measurement changes the superposition into a specific eigenfunction, one that we are measuring.

  ——8.04, Quantum Physics I, Allan Adams, MIT

  现在，考虑这样一个问题：既然波函数在观测之后会坍缩为观测量对应的那个本征函数，那么如果一直不停地观测，那么这个波函数就永远不会开始发展——它一直会在那个本征函数上面。这就叫 量子芝诺效应。

Collapse and Measurement Accuracy

  人类的测量精度总是有限的，根据能量-时间不确定关系

$$\Delta E \Delta t \geq \hbar$$

可知，我们当然可以测得精确到小数点后任意位数的能量值 E ，代价则是需要等待无限长的时间。这意味着实际上波函数永远不会真的坍缩到能量观测值对应的本征函数，因为这个能量值并不是完全准确的。

  这也表明我们无法通过测量来将某粒子的波函数“重整”到我们想要的本征函数上来，比如能量本征态或者定态（见 Solution 一节）。

  经过测量的波函数虽然不是那么的“本征”，但它仍然是一些本征函数的线性叠加。那么下一个问题就是：波函数被测量后是否还会继续变化？准确地说，如果将测量想象为瞬时过程，那么波函数在测量发生的时刻 $t^*$ 立即坍缩为某个本征函数：$\psi(x,t^*) = \phi_a(x)$ ，但是波函数并不会一直停在那里，而是按照 schrödinger equation 进行演化。

Postulate VII: Schrödinger Equation

Basic “Derivation”

  薛定谔方程同样是假设，而不能被什么东西推导出来，不过一些事实暗示了有这样的方程存在：

Unitary time evolution, someting that I havn’t explained what it is, implies the Schrödinger equation.

  ——8.04, Quantum Physics I, Allan Adams, MIT

  再看一眼德布罗意关系：

$$\begin{aligned} E &= \hbar \omega\\ \vec{p} &= \hbar k \end{aligned}$$

综合前述，当动量算符作用于平面波函数 $e^{i(kx-\omega t)}$ 时，就得到它的本征值 $\hbar k$ ，那么能量算符作用其上，要想得到 $\hbar \omega$ ，它必须是

$$\hat{E} = i\hbar \frac{\partial }{\partial t}$$

Noether 定理同样给出了这个暗示：时间平移不变性导致能量守恒，所以对时间 $t$ 的导数就和能量相关。

  将动量和能量放在一起看一看：

$$\begin{aligned} \frac{\hbar}{i}\frac{\partial }{\partial x}\psi(x,t) &= p \psi (x,t)\\ i\hbar \frac{\partial }{\partial t} \psi(x,t) &= E \psi(x,t) \end{aligned}$$

看起来就像是在告诉我们，能量 $E$ 怎样随时间变化：如果波函数和它的能量已知，那么 $i\hbar \frac{\partial }{\partial t} \psi(x,t)$ 就像是波函数过一会后的形态。

当我们不知道波函数的能量值，Just replace the $E$ with $\hat{E}$, DONE：

$$i\hbar \frac{\partial }{\partial t} \psi(x,t) = \hat{E} \psi(x,t)$$

$$i\hbar \frac{\partial }{\partial t} \psi(x,t) = \left(-\frac{\hbar^2}{2m}\frac{\partial ^2}{\partial x} + \hat{V}(x) \right)\psi(x,t)$$

1. Linear：线性方程的两个解的线性组合也是方程的解，这和线性叠加假设是一致的。
2. Unitary：非相对论情形下实物粒子不会产生或者湮灭，所以薛定谔方程可以导出定域概率守恒（曾谨言，量子力学，P47），不过霍金效应可能会让概率不守恒，但那是理论家们的事情。
3. Deterministic：存在唯一性定理在经典力学中保证粒子的位置和动量的演化确定的，但在量子力学中只能保证粒子波函数——位置或者动量概率分布的演化，是确定的。

  显然，它是线性方程，所以和线性叠加假设不矛盾。然而经典力学中的大量方程并不是线性方程，还有可能导致混沌的发生——这是量子力学和经典力学的显著区别之一。

  薛定谔方程描述的是系统概率分布随时间的变化情况，这个概率分布的变化是确定的，而不像 Langevin 方程——里面存在随机过程项。

  薛定谔方程关于时间的导数是一阶的，它的求解也只需要一个初始条件即可——因为同时指定位置和位置的导数（动量），是非法的。

Relation to Superposition Priciple

  然而薛定谔方程是不是线性的，其实和线性叠加假设没有关系：“薛定谔方程的两个解的线性组合还是解”这句话，和“描述系统状态的两个波函数的线性叠加仍然是系统一个可能的波函数”这句话其实是没有关系的，只是为了让量子力学的数学形式符合我们的线性叠加假设，才使得出现在方程中的各种算符采取线性的形式。因为这样才能声称：薛定谔方程的解 没有遗漏地 描述了量子系统的状态，而这是微分方程理论的基本结论之一。否则,考虑一个非线性的薛定谔方程：

$$i\hbar \frac{\partial }{\partial t} \psi(x,t) = \hat{E} \psi(x,t) + |\psi(x,t)|^2$$

它不是线性方程，所以它的解也不构成线性空间，但是我们同样可以让线性叠加原理成立，但这样的线性组合 $C_1\psi_1 + C_2\psi_2$ 可能不再是这个非线性薛定谔方程的解。

  注意，$\psi$ 是一个复数，所以它和普通的波动方程（对时间的二阶导数）不同：对时间只有一阶导数——波动的相位蕴含在了复数中；它也是确定的，已知初始波函数 $\psi(x,0)$ 就能计算以后波函数。

  现在我们来回答上一节最后的问题：波函数坍缩后应当怎么演化。坍缩后的波函数，是物理量对应算符以测量值为本征值的本征函数，这相当于给出了波函数的初始条件 $\psi(x,t^*) = \varphi(x)$ ，那么根据薛定谔方程，波函数对时间的导数就是将能量算符作用于波函数后的值，而能量算符是不含时间的：

$$\hat{E} = -\frac{\hbar^2}{2m}\frac{\partial^2}{\partial x^2} + \hat{V}(x)$$

如此循环，就能得到波函数此后的演化：Give the full knowledge now, I can have the full knowledge later.

Decoherence

  此处有一个“小”矛盾：系统状态的时间演化貌似有两种定义：波函数既能因观测而坍缩——看起来是不连续的瞬间变化，它按照概率分布 $|C_a|^2$ 给出观测值；又能依照薛定谔方程连续地演化，而且是确定性的。这也是量子力学难以被人理解的原因之一——似乎当你不看它的时候，系统服从确定性，但一旦你看它一眼，它转而服从随机性。

Measurement comes with probablistic outcomes, and lead to the collapse of the wave function. On the other hand, when you are not looking, system evolves deterministically.

Don’t worry about it, it makes the prediciton, it fits the data, so work with me.

That is trimph, but it’s deeply disconcerting.

But “SHUT UP , AND CALCULATE” is some kind of irresponsibility

  ——8.04, Quantum Physics I, Allan Adams, MIT

  退相干理论希望解决这个矛盾。这个理论认为，测量过程实际上是一个宏观经典系统：“仪器”，和被观测的这个量子系统的相互作用。显然，仪器由宏观大量的粒子组成，它不仅包含组成测量工具的粒子、组成观测者的粒子，还包含空气中的原子分子。那么这样一来，单个粒子在如此庞大数量的粒子相互作用的时候，薛定谔方程是否退化为由观测导致的坍缩？

  对电子运动作出定量描述的可能性，要求同时存在一些物理客体，这些客体在足够精确的范围内服从经典力学。如果一个电子和这样的“经典客体”相作用，后者的状态一般来讲会有所变化，这一变化性质及大小依赖于电子的状态，从而就可以用来定量描述电子的状态。

  因而，经典客体通常称为仪器，它和电子的作用就称为测量……量子力学中所谓的测量，我们总是把它理解为与任何观测者无关的发生于经典客体和量子客体之间的任一相互作用过程。

  由此可见，量子力学在物理理论中占有一个很不平常的地位：它把经典力学作为一种极限情形而包含在内，但在它的自身表述中，同时又需要这一极限情形。

  ——朗道、栗弗席兹，《量子力学（非相对论理论）》

所以量子力学不符合直觉，并不代表它不符合逻辑。

Solution of Schrödinger Equations

Characteristics of Energy Eigenfunctions

There are three ways to solve the schrödinger equation:

1. Bruteforce
2. Extreme Cleverness, you know someting about the mathematical structure of the diffential equation, and that teach you some physics.
3. Numerically, computers are stupid, you have to first extract all the physics and reorganize the problem in such way that a stupid computer can do the solution.

  现在我们来求解薛定谔方程

$$i\hbar \frac{\partial }{\partial t} \psi(x,t) = \hat{E}\psi(x,t)$$

先从能量算符的本征函数开始。设系统的初始状态为能量算符的本征函数 $\psi(x,0) = \phi_E(x)$ ，它满足

$$\hat{E} \phi_E(x) = E \phi_E(x)$$

如果在 $t = 0$ 的时刻立即测量系统的能量，那将会以 $1$ 的概率得到 $E$ 。这里加上相位因子 $e^{i\alpha}$ 也是同样的，就得到

$$i\hbar \frac{\partial }{\partial t} \psi(x,0) = E\psi(x,0)$$

易得

$$\psi(x,t) = e^{-i\frac{Et}{\hbar}}\phi(x),\;\;\text{set}\;\omega = \frac{E}{\hbar}\;(\text{De Borglie})$$

所以最初处于能量本征态的系统将会保持在这个能量本征态上，变化的只是相位，并且相位的变化是匀速的。

  波函数形如 $\psi(x,t) = e^{-i\omega t}\phi(x)$ 的状态称为定态（Stationary States），因为粒子在空间中出现的概率分布不随时间变化，自然坐标的均值也不随时间变化：

$$\begin{aligned} P(x,t) = |\psi(x,t)|^2 = |\phi(x)|^2\\ \langle x \rangle _t = \int x P(x,t) dx = \langle x \rangle_{t = 0} \end{aligned}$$

  但是世界上没有一个东西的能量是保持不变的，它们在和环境中的其他粒子进行着永无休止的相互作用，在这个过程中不断地传递能量：

But not only energy eigen states not typical states, they never exist in the real world.

  ——8.04, Quantum Physics I, Allan Adams, MIT

Separation of Variables

Expansion 一节已经说明，任意波函数都能向任意物理量对应算符的本征函数作展开，薛定谔方程中出现的是能量算符，自然使用能量算符的分离变量法：

$$\psi(x,t) = \sum_{n = 1}^{\infty} C_n e^{i\omega_n t}\varphi_n(x)$$

各项系数的模方即为测得对应能量本征值的概率，它是具有确定的物理含义的。

同理，动量算符 $\hat{p} = \frac{\hbar}{i}\frac{\partial}{\partial x}$ 对应本征动量值 $\hbar k$ 的本征函数为 $\frac{1}{\sqrt{2\pi}}e^{ikx}$ ，所以 Fourier 变换在物理上就是动量算符的本征态叠加原理，这件事在 Fourier Transform 一节中已是见过。

Any funciton can be expanded as a superposition of eigenfunctions of any operator at your choice.

  ——8.04, Quantum Physics I, Allan Adams, MIT

那么对于势能为 $0$ 的能量算符，它的本征函数为

$$\varphi_E(x) = C_1 e^{i\omega x} + C_2 e^{-i\omega x}$$

所以对于处于一维无限深方势阱中的粒子：

$$\varphi_E(x) = A_n \sin k_n x,\;\;k_n = \frac{n\pi}{L},\;\;n = 1,2,\dots$$

其中 $A_n$ 是归一化常数。可见，粒子的能量，作为能量算符的本征值，只能取离散的非零整数（这也是 Sturm-Liouville 定理保证的事情）。

  Fourier Transform 一节指出，任意波函数都能表示为一系列具有确定动量或者一系列具有确定位置的本征函数的叠加，本征值是连续谱：

$$\psi(x) = \frac{1}{\sqrt{2\pi}}\int_{-\infty}^{\infty}\varphi(k)e^{ikx}dk$$

$$\psi(x) = \int_{-\infty}^{\infty}\psi(x_0)\delta(x-x_0)dx_0$$

能量算符的情况则不同，它的本征值好像是离散谱：

$$\psi(x,t) = \sum_{n = 1}^{\infty} C_n e^{i\omega_n t}\varphi_n(x)$$

  这个问题取决于选定的物理系统——空间有限则离散，空间无限则连续。这是用 Fourier 方法求解偏微分方程的必然结果（分离变量法只适用于空间有限的情形，它必然导致本征值离散化）。当然，系统也可以同时具有离散谱区域和连续谱区域。比如一个氢原子周围的电子在原子核附近的能量是离散的，但一旦电离，它的能量就变为连续的。

  目前，只有将一个波函数 $\psi$ 向能量算符的本征函数基底分解，才能知道 $\psi$ 是如何随时间变化的：薛定谔方程的解就是已知初值条件的波函数的演化。

We are going to work with energy eigenfunctions not because they are more moral, more justice, more good, but because they are more convient for solving the time evolution problem in quantum mechanics.

  ——8.04, Quantum Physics I, Allan Adams, MIT

Propagator And Representation

Dirac symbles and Propagator

  现在我们换一个角度来审视薛定谔方程，引入 Dirac 记号：

$$i\hbar \frac{\partial }{\partial t} |\Psi(t)\rangle = \hat{H} |\Psi(t)\rangle$$

  由于数学上的 同构 关系，可以将它视为一个一阶微分方程，显然它的解为

$$|\Psi(t)\rangle = e^{-i\hat{H}t/\hbar} |\Psi(0)\rangle$$

此处将算符放上了 $e$ 的指数位置。但是，它和分离变量法得到的结果理应等价：

$$|\Psi(t)\rangle = \sum_{n = 1} C_n e^{-iE_nt/\hbar}|\psi_n(t)\rangle,\;\;\text{where}\;\hat{H}|\psi_n(t)\rangle = E_n |\psi_n(t)\rangle$$

下面给出这一事实的证明。引入求和约定，令哈密顿算符满足

$$\hat{H}|n\rangle=E_n|n\rangle$$

则令 $a = -i \left(t-t_0\right) / \hbar$ ，

$$\begin{aligned} |\psi(t)\rangle&=e^{a\hat{H}}\left|\psi\left(t_0\right)\right\rangle\\ &=\frac{a^j}{j!}\hat{H}^j\cdot|n\rangle \langle n| \psi\left(t_0\right)\rangle\\ &= \frac{a^j}{j!}E_n^j|n\rangle \langle n| \psi\left(t_0\right)\rangle\\ &=e^{aE_n}|n\rangle \langle n| \psi\left(t_0\right)\rangle\\ \end{aligned}$$

即

$$|\psi(t)\rangle=\sum_n e^{-i E_n\left(t-t_0\right) / \hbar}\left\langle n \mid \psi\left(t_0\right)\right\rangle|n\rangle$$

所以称酉算子（unitary operator） $\hat{U}(t)\equiv e^{-i\hat{H}t/\hbar}$ 为传播子（propagator），它控制着波矢的时间演化。

参考资料

[1].8.04, Quantum Physics I, Allan Adams, MIT

[2].Ira N. Levine, Quantum Chemistry, the Seventh Edition, PEARSON

[3].曾谨言, 量子力学, 第五版, 科学出版社

[4].朗道, 栗弗席兹, 理论物理学教程 (第三卷): 量子力学 (非相对论理论), 第六版, 高等教育出版社

[5].赵凯华, 罗蔚茵, 量子物理, 第二版, 高等教育出版社

[6].朱栋培, 量子力学基础, 中国科学技术大学出版社

[7].顾樵, 数学物理方法, 科学出版社

[8].Brian C. Hall, Quantum Theory for Mathematicians, 世界图书出版公司

[9].严以京, Quantum Physics, 量子物理（英）2022, Autumn

[10].Dirac, The Principles of Quantum Mechanics, 机械工业出版社

[11].Richard Feymann, The Feymann Lectures on Physics, Volume III, 上海科学技术出版社