这个问题的一个最自然的过程是:
1,在单粒子Hilbert 空间上做张量代数得到Fock 空间,Fock 空间上的张量积和内积自然对应粒子态的产生和湮灭。张量代数的对称子代数和外代数自然对应玻色子和费米子的多粒子态空间。
2,一般情况下,单粒子态会用4动量的连续谱标记,此时用产生湮灭算符亦是以粒子的3动量标记的。分别对产生算符和湮灭算符做傅立叶变换,可以得到两个时空上的算符函数。对他们进行线性组合你正好可以得到一个满足单粒子态运动方程的算符,即场算符。
3,在“2”中的过程,产生湮灭算符以及场算符可以用Schwartz空间上的test function分别定义为3维动量空间和4维时空上的算符值分布,并在算符值分布的意义下满足单粒子运动方程。
以上的构造在单粒子运动方程是二次型的情况下(自由场)是严格成立的。并且除了一开始的单粒子Hilbert空间之外我们并不涉及任何额外的“量子化”步骤。
物理上通常的“二次量子化”是指把2和1的过程反过来做一遍,具体来说就是
①,你把单粒子运动方程的解,也就是某个表象的态矢(波函数)对应成算符,然后赋予正则对易关系,去定义场算符。
②,对场算符按自由波展开,自然对应正频解和负频解两个部分,并做傅立叶逆变换可以得到产生湮灭算符。你可以用它们来描述粒子的产生和湮灭。
③,物理上为了避免这种“量子化一次再把波函数再量子化一次”的尴尬解释,会把原有的波函数方程看成经典场方程,并且声称我们只是对无穷自由度的经典场量子化了一次而已。
上面①~③点就是物理上讲的“二次量子化”了,你可以通过上面这个手续得到描述可变粒子数系统所要用的产生湮灭算符和态矢空间。
想要理解这个把 “单粒子波函数方程看成某个经典场方程并且量子化” 这个奇怪操作的具体内涵,可以把最前面不打圈圈的1~3再读一遍。