周期ポテンシャルのフーリエ展開はなぜ、V(r)=Σ_{G} V(G)exp(iG.r)とあらわされるのですか。

固体物理の教科書で逆格子ベクトルのところを読んでいると、逆格子ベクトルをGとして、「周期ポテンシャルのフーリエ展開がV(r)=Σ_{G} V(G)exp(iG・r)となる」と書かれていました。なぜ、このように書けるのかが導出できません。
exp(iG・r)＝cos(G・r)+isin(G・r)として、Gはゼロから無限大までそれぞれ代入したものを足し合わせると言う考え方でいいでしょうか。

No.1 ベストアンサー 回答者： metzner 回答日時： 2006/07/12 00:37

こんばんは。

まず一変数の場合のフーリエ級数は大丈夫ですか。
(指数関数表示のままの方が便利です)
たとえば周期Lの関数のフーリエ級数展開です。
それができれば、3変数に拡張するだけです。
(y、zを定数とおもってxの関数として級数展開、
つぎはzを定数とおもってyの関数を級数展開、最後zの
関数を級数展開)この時、空間の基底として格子の基本並進ベクトルをとって議論する必要があります。
そして格子に対して逆格子の定義が分れば指数関数の
肩がなぜG・rになるかわかるはずです。
以上がヒントです。

この回答へのお礼

ありがとうございます。フーリエ級数のところを勉強したら理解できました。

お礼日時：2006/07/13 23:27

No.2 回答者： leo-ultra 回答日時： 2006/07/12 02:29

前半のヒントは出ているようなので、後半。

「Gはゼロから無限大まで」

Ｇは逆格子ベクトルならば、上限があります。

１次元ならば－π／a　＜Ｇ＜＋π／ａ

この回答へのお礼

ありがとうございます。なぜ、±π／aなのかはこれから勉強します。

お礼日時：2006/07/13 23:29

No.3 回答者： metzner 回答日時： 2006/07/12 23:26

Q:Gはゼロから無限大までそれぞれ代入したものを足し合わせると言う考え方でいいでしょう

A:Gは逆格子全体にわたる和です。a^*,b^*,c^*を逆格子の基本ベクトルとすると逆格子ベクトルGは
G=ma^*+nb^*+kc^* (m,n,kは整数)
となります。
従ってm,n,kの和は全整数にわたってとります。
(－無限から+無限です)

この回答へのお礼

ありがとうございます。下の方は上限があるとのことで、混乱してますがメインの疑問は解決できました。

お礼日時：2006/07/13 23:31