たぶんどんな教科書にも書いてあることだが、先日、やっと腑に落ちたのでメモ。
パーセバルの定理 は、フーリエ変換後のノルムと、元のノルムが一致することを表す。すなわち、
ということ。
結晶学では、f(x) は実空間における電子密度、F(X) は構造因子 F(h) であって、
となる。さて、フーリエ変換の線形性により、
が言える。これは、実空間での精密化 (real space refinement) の結果と逆空間での精密化が一致することを保証する。
ただし や の計算において、観測した強度とその時点でのモデルに由来する位相を結合したものを用いると、(未知の)「真実の構造」との差が最小化されるのではなく、モデルバイアスを含んだ偽の構造に向けて精密化が行われることになってしまう。これを防ぐためには、上のようなノルムを目的関数として最小化するのではなく、ベイズ主義的な取り扱いが必要となってくる。これが精密化のブレークスルーとなった。