Although, like
localized molecular orbitals, Wannier functions can be chosen in many different ways, the original, • For any lattice vector ''' R' ''', :\phi_{\mathbf{R}}(\mathbf{r}) = \phi_{\mathbf{R}+\mathbf{R}'}(\mathbf{r}+\mathbf{R}') In other words, a Wannier function only depends on the quantity (
r −
R). As a result, these functions are often written in the alternative notation :\phi(\mathbf{r}-\mathbf{R}) := \phi_{\mathbf{R}}(\mathbf{r}) • The Bloch functions can be written in terms of Wannier functions as follows: :\psi_{\mathbf{k}}(\mathbf{r}) = \frac{1}{\sqrt{N}} \sum_{\mathbf{R}} e^{i\mathbf{k}\cdot\mathbf{R}} \phi_{\mathbf{R}}(\mathbf{r}), where the sum is over each lattice vector
R in the crystal. • The set of wavefunctions \phi_{\mathbf{R}} is an
orthonormal basis for the band in question. :\begin{align} \int_\text{crystal} \phi_{\mathbf{R}}(\mathbf{r})^* \phi_{\mathbf{R'}}(\mathbf{r}) d^3\mathbf{r} & = \frac{1}{N} \sum_{\mathbf{k,k'}}\int_\text{crystal} e^{i\mathbf{k}\cdot\mathbf{R}} \psi_{\mathbf{k}}(\mathbf{r})^* e^{-i\mathbf{k'}\cdot\mathbf{R'}} \psi_{\mathbf{k'}}(\mathbf{r}) d^3\mathbf{r} \\ & = \frac{1}{N} \sum_{\mathbf{k,k'}} e^{i\mathbf{k}\cdot\mathbf{R}} e^{-i\mathbf{k'}\cdot\mathbf{R'}} \delta_{\mathbf{k,k'}} \\ & = \frac{1}{N} \sum_{\mathbf{k}} e^{i\mathbf{k}\cdot\mathbf{(R-R')}} \\ & =\delta_{\mathbf{R,R'}} \end{align} Wannier functions have been extended to nearly periodic potentials as well.
Localization The Bloch states
ψk(
r) are defined as the eigenfunctions of a particular Hamiltonian, and are therefore defined only up to an overall phase. By applying a phase transformation
eiθ(
k) to the functions
ψk(
r), for any (real) function
θ(
k), one arrives at an equally valid choice. While the change has no consequences for the properties of the Bloch states, the corresponding Wannier functions are significantly changed by this transformation. One therefore uses the freedom to choose the phases of the Bloch states in order to give the most convenient set of Wannier functions. In practice, this is usually the maximally-localized set, in which the Wannier function is localized around the point
R and rapidly goes to zero away from
R. For the one-dimensional case, it has been proved by Kohn that there is always a unique choice that gives these properties (subject to certain symmetries). This consequently applies to any
separable potential in higher dimensions; the general conditions are not established, and are the subject of ongoing research. Contrary to the maximally localized Wannier functions (which are an application of the
Foster-Boys scheme to crystalline systems), the Pipek-Mezey Wannier functions do not mix σ and π orbitals.
Rigorous results The existence of
exponentially localized Wannier functions in insulators was proved mathematically in 2006. ==Modern theory of polarization==