F_附录，Grassmann数.doc

[附录F] Grassmann数的数学分析 I，Grassmann数 为了使路径积分Fermion也适用，并能进行相应的计算，引入一种特殊的数——Grassmann数实质上，Grassmann数表示只是一种逻辑自洽的记账方法使用它可以进行形式推导并简洁表示Fermion各种有用关系式，目的是将Fermion的物理量也包括在路径积分框架的描述中。因此，Grassmann数本身意义虽不明确，并不重要。 一组Grassmann数是一组反对易的复元素。即它们满足彼此反对易，自乘积为零 （F.1a） 它们之间相乘满足乘法分配律，它们和普通复数相乘满足乘法分配律和交换律，（F.1b） 其中是普通复数。 于是, Grassmann数乘任意c数仍是Grassmann数。对Grassmann数乘积取复数共轭为 （F.1c） 下面也记为。另外，Grassmann数的多变数函数展开为 （F.2） 对这个展开式，我们可以选择等是关于相邻脚标置换为反称的c数。注意，有限个Grassmann数的任何函数，其展开式都只有有限项Grassmann数都不能超过一次幂。因此含个不同Grassmann数的函数展开时，其项数不会超过项。因为这个展开式中所用的展开基矢总共为 （F.3） 只有个。 II，Grassmann数的变分和积分 对Grassmann数函数中的普通变数微商和普通微商相同；对其中Grassmann数的微商，在逻辑自洽前提下，规则也可以和普通微商相同。比如对Grassmann数的导数操作，规定也是一个Grassmann数并记为。相应规则是 （F.4） 总之有 （F.5） Grassmann数函数积分。[定义]Grassmann数积分为一种线性映射，它等于对相关Grassmann数进行微分，即 （F.6） 这种古怪表示来源于Grassmann数平方为零 （F.7） III，Grassmann数应用举例 例1，Fermion相干态单模Fermion相干态为 是Fermion的产生、湮灭算符。为归一化系数。（F.8）又等于 这时有。 与此同时，其共轭态矢定义为。由于Grassmann数彼此相互独立，并无共轭关系，所以与原本无关，不存在厄密共轭关系。但现在通过归一化系数M的设置，将两者相互匹配起来。 下面证明，有相应的完备性条件 （F.9） 证： 这里，根据Grassmann数积分定义（F.7），交叉项及高阶项已消失。 例2，单模Fermion谐振子的新表示 （F.10） 这时有 （F.11） 现在引入对Fermion模的Grassmann数表示 （F.12） 由此得 （F.13） 下面论证可得，在表象中(基矢为本征值是的本征态)，Fermion的ket-及其bra-可被表示为 （F.14） 解释：按（F.12）式有，于是 由此即得，（F.14）式第一行的两个表示式的逻辑自洽的合理答案为。对该式第二行的两个表示式,论证类似，如下: 显然，逻辑自洽的合理答案为。 其余内容及推广到多模情况的叙述详见脚注[2]文献。这里从略。 IV，Grassmann数的Gauss型重积分Gauss型Grassmann数多重积分计算。为符号确定起见，定义连乘顺序 （F.15） 记可得下面Grassmann数Gauss型重积分 （F.16） 附带指出，由（F.16）式可知，奇数阶反对称矩阵的行列式等于零，所以奇数重积分为零 第二步是由于指数展开式只剩下幂次为的项。两边开方即得。证毕。 Gauss型Grassmann数重积分有一些变型形式， 是反对称矩阵。 证：作Grassmann数的平移变换 于是积分左边等于 注意，这里Grassmann数平移变换的Jacobi等于1。 2，，有 （F.18） 证：注意此时M不一定是反对称矩阵。引入重Grassmann数记号。于是等式左边等于 证毕。 比如，在齐次情况下，（F.18）结果可以直接理解为，由于积分是对重不同的Grassmann数进行的，要想被积指数函数展开项经过积分之后不等于零，该展开项必须也含有个不同的Grassmann数，从而这些项中必定都包含矩阵的个不同矩阵元。积分完成之后，每一项都不再含Grassmann数，而只含矩阵的个不同矩阵元。此类项的项数目共有。至于每一项的符号则取决于，积分之前将项中Grassmann数排成各重积分Grassmann数的逆顺序所需的反称置换次数。其中，对应矩阵个对角矩阵元乘积的一项是正号。 　　与B