瓦尼尔函数

瓦尼尔函数（英语：Wannier function，或沃尼埃函数），是固体物理学中的一个正交函数的完备集，由格里高利·瓦尼尔（英语：Gregory Wannier）提出。瓦尼尔函数在晶系中对应着局域化分子轨道。

晶体中不同晶位的瓦尼尔函数所具有的正交性，使得对特定区域中的电子态进行展开时可以构造出便于计算的基组。瓦尼尔函数的应用极其广泛，例如对电子结合能的分析，在对激子以及里德伯物质（英语：Rydberg matter）的分析中也有其特定的应用。

诚然，正如局域化分子轨道（英语：localized molecular orbitals），瓦尼尔函数也有许多选取的方式，但最原始的，最简单的，且最常见的定义如下：

选定晶体中的某单一能带，将其布洛赫态标记为

其中 ${\displaystyle u_{\mathbf{k}}(\mathbf{r})}$ 的周期性和晶体的相同。于是瓦尼尔函数就被定义为

在此定义的基础上，瓦尼尔函数被证明具有以下的性质：

定义布洛赫态 ${\displaystyle {\mathrm{\psi <!--\; \psi \; -->}}_{\mathbf{k}}(\mathbf{r})}$ 为某特定哈密顿算符的本征函数，包含一个“总体的”相位。若对 ${\displaystyle {\mathrm{\psi <!--\; \psi \; -->}}_{\mathbf{k}}(\mathbf{r})}$ 乘上相位 ${\displaystyle e^{i\mathrm{\theta <!--\; \theta \; -->}(\mathbf{k})}}$，对于任意（实）函数 ${\displaystyle \mathrm{\theta <!--\; \theta \; -->}(\mathbf{k})}$，总可以得到另一组等价满足此特定哈密顿算符的波函数。相比原先的波函数，乘上此相位对布洛赫态的性质不产生影响，但其对应的瓦尼尔函数会因此发生改变。

借助上述性质，通过人为选定布洛赫态的相位，可构造出一组最能简化计算的瓦尼尔函数。在实践中，这样的瓦尼尔函数常常是极大局域化的（maximally-localized），意思是瓦尼尔函数 ${\displaystyle {\mathrm{\varphi <!--\; \varphi \; -->}}_{\mathbf{R}}}$ 被局限于点 R 周围；当远离位置 R 时，函数值迅速趋向于零。对于一维的情况，Kohn证明了总是存在唯一的选择可满足上述性质（基于特定的对称性）。对于多维（二维及以上），此方法可用于任何可对其使用分离变量法的势；但对于一般的高维情况，还需要进一步的研究。

最近的研究提出可用Pipek-Mezey（英语：Localized molecular orbitals#Pipek-Mezey）形式的局域化方案构造瓦尼尔函数。对比于极大局域化的瓦尼尔函数（即Foster-Boys（英语：Localized molecular orbitals#Foster-Boys）方案在晶系中的应用），Pipek-Mezey函数中没有σ轨道和π轨道的混合。

最近的研究将瓦尼尔函数应用到描述晶体中的极化现象中，例如铁电性。电极化的现代理论解释是由Raffaele Resta和David Vanderbilt提出的，参见Berghold，和Nakhmanson所发表的文章，以及Vanderbilt的介绍。固体中每一单位晶胞的极化强度可被定义为瓦尼尔电荷密度的电偶极矩：

其中的求和符号是对所有占据能带的求和，${\displaystyle W_n(\mathbf{r})}$ 指的是对于能带 n 局域于晶胞中的瓦尼尔函数。在连续的物理过程中，极化强度的变化即为极化的时间导数，可用布洛赫占有态的贝里相位确切地阐述。