周期的境界条件のソースを表示

{{出典の明記|date=2014年12月}}
'''周期的境界条件'''（しゅうきてききょうかいじょうけん、{{lang-en|periodic boundary condition, PBC}}）は、[[境界条件]]の一つ。'''周期境界条件'''とも言う。

== 1次元の場合 ==
1次元の場合、定義域の幅<math>L</math>の関数<math>f</math>が周期的境界条件を持っているならば、

:<math>f(x)=f(x+L)</math>

である。

=== 結晶の例 ===
周期的境界条件はしばしば並進対称性をもつ系を考察する場合に用いられる。

例えば単位胞の大きさが<math>a</math>、系の大きさが<math>L</math>である1次元の結晶を考える場合に、波動関数<math>\Psi</math>に対して次のような境界条件が課せられる。

:<math>\Psi(x)=\Psi(x+L)</math>

この時<math>L</math>は<math>a</math>の整数倍で無くてはならない。これを[[ボルン=フォン・カルマン境界条件]]という。
:<math>L=na\quad(n=1,2,\dots)</math>

周期的境界条件を課すことで、波動関数を<math>L</math>の間で[[自乗可積分]]にすることができるため[[規格化]]できるようになることがある。

このような人工的な境界条件の設定は表面での関数に対する拘束が、考察の対象である関数の大域的な性質に寄与しないであろうと考えられる場合によく用いられる。
そのような仮定は<math>L\rightarrow \infty</math>の極限の考察と組み合わせられることが多い。

== N次元の場合 ==
一般の次元Nに対しては、線形独立なN個のベクトル<math>\boldsymbol{L}_1, \boldsymbol{L}_2, \dots, \boldsymbol{L}_N</math>を用いて、
<math>\boldsymbol{L}_1, \boldsymbol{L}_2, \dots, \boldsymbol{L}_N</math>がなす胞を定義域とする関数<math>g(\boldsymbol{x})</math>に対する周期境界条件は

:<math>g(\boldsymbol{x})=g(\boldsymbol{x}+\boldsymbol{L}_1)=g(\boldsymbol{x}+\boldsymbol{L}_2)=\dotsb=g(\boldsymbol{x}+\boldsymbol{L}_N)</math>

のように表される。
この場合も基本並進ベクトルを<math>\boldsymbol{a}_1,\boldsymbol{a}_2,\dots,\boldsymbol{a}_N</math>もつ結晶を考えるのであれば、
<math>\boldsymbol{L}_1, \boldsymbol{L}_2, \dots, \boldsymbol{L}_N</math>がなす胞は
基本並進ベクトルがなす単位胞を敷き詰めることが出来なくてはならない。

==周期的境界条件が重要な計算手法==
*[[分子動力学法]]
*[[第一原理バンド計算]]

==関連用語==
*[[並進対称性]]

{{phys-stub}}

{{境界条件}}

{{デフォルトソート:しゆうきてききようかいしようけん}}
[[Category:計算物理学]]
[[Category:分子動力学]]
[[Category:境界条件]]