Tables for
Volume B
Reciprocal space
Edited by U. Shmueli

International Tables for Crystallography (2006). Vol. B, ch. 1.3, p. 70   | 1 | 2 |

Section Convolution theorems with crystallographic symmetry

G. Bricognea

aMRC Laboratory of Molecular Biology, Hills Road, Cambridge CB2 2QH, England, and LURE, Bâtiment 209D, Université Paris-Sud, 91405 Orsay, France Convolution theorems with crystallographic symmetry

| top | pdf |

The standard convolution theorems derived in the absence of symmetry are readily seen to follow from simple properties of functions [e^{\pm} ({\bf h},{\bf x}) = \exp (\pm 2\pi i {\bf h} \cdot {\bf x})] (denoted simply e in formulae which are valid for both signs), namely: [\eqalign{ (\hbox{i})\ \qquad e ({\bf h},{\bf x}) \times e ({\bf k},{\bf x}) &= e ({\bf h} + {\bf k},{\bf x}),\cr (\hbox{ii}) \qquad e ({\bf h},{\bf x}) \times e ({\bf h},{\bf y}) &= e ({\bf h},{\bf x} + {\bf y}).}] These relations imply that the families of functions [\eqalign{&\qquad\{{\bf x} \;\longmapsto\; e ({\bf h},{\bf x})\}_{{\bf h} \in {\bb Z}^{3}}\qquad\hbox{in real space}\cr {\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!}\hbox{and}\cr &\qquad\{{\bf h} \;\longmapsto\; e ({\bf h},{\bf x})\}_{{\bf x} \in {\bb R}^{3}/{\bb Z}^{3}} \quad \hbox{in reciprocal space}}] both generate an algebra of functions, i.e. a vector space endowed with an internal multiplication, since (i) and (ii) show how to `linearize products'.

Friedel's law (when applicable) on the one hand, and the Fourier relation between intensities and the Patterson function on the other hand, both follow from the property [(\hbox{iii}) \qquad \overline{e ({\bf h},{\bf x})} = e (-{\bf h},{\bf x}) = e ({\bf h}, -{\bf x}).]

When crystallographic symmetry is present, the convolution theorems remain valid in their original form if written out in terms of `expanded' data, but acquire a different form when rewritten in terms of symmetry-unique data only. This rewriting is made possible by the extra relation (Section[link]) [(\hbox{iv}) \qquad S_{g^{-1}}^{\#} e ({\bf h},{\bf x}) \equiv e [{\bf h}, S_{g} ({\bf x})] = e ({\bf h},{\bf t}_{g}) e ({\bf R}_{g}^{T} {\bf h},{\bf x})] or equivalently [\eqalign{ (\hbox{iv}') \qquad S_{g}^{\#} e ({\bf h},{\bf x}) &\equiv e [{\bf h}, S_{g}^{-1} ({\bf x})]\cr &= e [(-{\bf R}_{g}^{-1})^{T} {\bf h},{\bf t}_{g}] e [({\bf R}_{g}^{-1})^{T} {\bf h},{\bf x}].}]

The kernels of symmetrized Fourier transforms are not the functions e but rather the symmetrized sums [\Xi^{\pm} ({\bf h},{\bf x}) = {\textstyle\sum\limits_{g \in G}} e^{\pm} [{\bf h}, S_{g} ({\bf x})] = {\textstyle\sum\limits_{g \in G}} e^{\pm} [{\bf h}, S_{g}^{-1} ({\bf x})]] for which the linearization formulae are readily obtained using (i), (ii) and (iv) as [\eqalign{ (\hbox{i})_{G}\ \quad \Xi^{\pm} ({\bf h},{\bf x}) \Xi^{\pm} ({\bf k}, {\bf x}) &= {\textstyle\sum\limits_{g \in G}} e^{\pm} ({\bf k},{\bf t}_{g}) \Xi^{\pm} ({\bf h} + {\bf R}_{g}^{T} {\bf k},{\bf x}),\cr (\hbox{ii})_{G} \quad \Xi^{\pm} ({\bf h},{\bf x}) \Xi^{\pm} ({\bf h},{\bf y}) &= {\textstyle\sum\limits_{g \in G}} \Xi^{\pm} [{\bf h},{\bf x} + S_{g} ({\bf y})],}] where the choice of sign in ± must be the same throughout each formula.

Formulae [\hbox{(i)}_{G}] defining the `structure-factor algebra' associated to G were derived by Bertaut (1955c[link], 1956b[link],c[link], 1959a[link],b[link]) and Bertaut & Waser (1957)[link] in another context.

The forward convolution theorem (in discrete form) then follows. Let [\eqalign{ F_{1} ({\bf h}) &= \sum\limits_{{\bf y} \in D} {1 \over |G_{\bf y}|} \rho\llap{$-\!$}_{1} ({\bf y}) \Xi^{+} ({\bf h},{\bf y}),\cr F_{2} ({\bf h}) &= \sum\limits_{{\bf z} \in D} {1 \over |G_{\bf z}|} \rho\llap{$-\!$}_{2} ({\bf z}) \Xi^{+} ({\bf h},{\bf z}),}] then [F_{1} ({\bf h}) F_{2} ({\bf h}) = \sum\limits_{{\bf x} \in D} {1 \over |G_{\bf x}|} \sigma\llap{$-$} ({\bf x}) \Xi^{+} ({\bf h},{\bf x})] with [\sigma\llap{$-$} ({\bf x}) = {1 \over |{\bf N}|} \sum\limits_{{\bf z} \in D} \sum\limits_{g \in G} {|G_{\bf x}| \over |G_{{\bf x} - S_{g} ({\bf z})}| \times |G_{{\bf z}}|} \rho\llap{$-\!$}_{1} [{\bf x} - S_{g} ({\bf z})] \rho\llap{$-\!$}_{2} ({\bf z}).]

The backward convolution theorem is derived similarly. Let [\eqalign{ \rho\llap{$-\!$}_{1} ({\bf x}) &= \sum\limits_{{\bf k} \in D^{*}} {1 \over |G_{{\bf k}}|} F_{1} ({\bf k}) \Xi^{-} ({\bf k},{\bf x}),\cr \rho\llap{$-\!$}_{2} ({\bf x}) &= \sum\limits_{{\bf l} \in D^{*}} {1 \over |G_{{\bf l}}|} F_{2} ({\bf l}) \Xi^{-} ({\bf l},{\bf x}),}] then [\rho\llap{$-\!$}_{1} ({\bf x}) \rho\llap{$-\!$}_{2} ({\bf x}) = \sum\limits_{{\bf h} \in D^{*}} {1 \over |G_{{\bf h}}|} F({\bf h}) \Xi^{-} ({\bf h},{\bf x})] with [F({\bf h}) = \sum\limits_{{\bf l} \in D^{*}} \sum\limits_{g \in G} {|G_{\bf h}| \over |G_{{\bf h} - {\bf R}_{g}^{T} ({\bf l})}| \times |G_{{\bf l}}|} e^{-} ({\bf l},{\bf t}_{g}) F_{1} ({\bf h} - {\bf R}_{g}^{T} {\bf l}) F_{2} ({\bf l}).] Both formulae are simply orbit decompositions of their symmetry-free counterparts.


Bertaut, E. F. (1955c). Fonction de répartition: application à l'approache directe des structures. Acta Cryst. 8, 823–832.Google Scholar
Bertaut, E. F. (1956b). Tables de linéarisation des produits et puissances des facteurs de structure. Acta Cryst. 9, 322–323.Google Scholar
Bertaut, E. F. (1956c). Algèbre des facteurs de structure. Acta Cryst. 9, 769–770.Google Scholar
Bertaut, E. F. (1959a). IV. Algèbre des facteurs de structure. Acta Cryst. 12, 541–549.Google Scholar
Bertaut, E. F. (1959b). V. Algèbre des facteurs de structure. Acta Cryst. 12, 570–574.Google Scholar
Bertaut, E. F. & Waser, J. (1957). Structure factor algebra. II. Acta Cryst. 10, 606–607.Google Scholar

to end of page
to top of page