平面波

平面波とは、等位相面が波数ベクトルを法線ベクトルとする等値平面から成る周期関数のことである。

1. 平面波の定義
---------

平面波と呼ばれる関数には、「時間変数を持たない平面波」と、「時間変数を持つ平面波」がある。「時間変数を持たない平面波」は、周期関数のフーリエ級数展開や、フーリエ変換、時間発展のないシュレーディンガー方程式の計算に用いられる。「時間変数を持つ平面波」は、波動方程式の解として現れる。

通常、「時間変数を持たない平面波」と、「時間変数を持つ平面波」は、区別されずに混同されて用いられるが、異なるものなので、曖昧さを回避する観点から区別が必要な場合には、用語を使い分けることにする。それぞれの用語の定義は以下に行う。

また、本稿では、「時間変数を持たない平面波」と、「時間変数を持つ平面波」の総称として「平面波」という用語を用いることにする。

1.1. 時間変数を持たない平面波
-----------------

実数または複素数に値を取る実 d}} 変数関数 Ψ}} が時間変数を持たない平面波であるとは、周期 2//π//}} の実1変数の周期関数 f}} と、波数ベクトルと言われる //d}}// 次元実定数ベクトル k}}を用いて、

と表されることを意味する。

1.2. 時間変数を持つ平面波
---------------

時間変数を持つ平面波は、波動方程式の固有解に現れる。

実数または複素数に値を取る関数 Φ}} が時間変数を持つ平面波であるとは、空間変数 x}} と時間変数//t// と、周期 2//π//}} の実1変数の周期関数 f}} と、波数ベクトル //k}}//と、角振動数 //ω//≠ 0}} を用いて、

であることを意味する。

尚、本稿では、時間変数と空間変数を1=// = }} のように分ける。つまり、変数の最後の成分を時間変数と考える。

1.3. 時間変数を持つ平面波と、時間変数を持たない平面波
-----------------------------

物理的には、空間変数 x}} と時間変数 t}} は異なるものであるが、数学ではどちらも単なる変数である。この意味において、d}} 次元の時間変数を持つ平面波は、//d// + 1}} 変数の時間変数を持たない平面波と見做すことができる。

時間変数を持つ平面波

に対して、新たに K}} を、空間成分 //k}}// と、時間成分 −//ω//}} を並べた //d// + 1}} 次元の実数ベクトルとする。即ち、

とする。但し、ki}} は、波数ベクトル k}} の第 k}} 成分を意味する。

又、1=// = }}とする。このとき、

のように書くことが出来る。この意味において、d}} 次元の時間変数を持つ平面波は、//n// + 1}} 変数の時間変数を持たない平面波と見做すことができた。

2. 正弦平面波
--------

正弦平面波は、正弦波の多次元への拡張の1つで、代表的な平面波である。正弦平面波には、実正弦平面波と複素正弦平面波がある。正弦平面波のことを単に平面波ということもあるが、正弦平面波ではない平面波もある。

2.1. 実正弦平面波の一般式
---------------

実正弦平面波は、数学的には振幅 A}}、波数ベクトル K}}、位相項 δ}} の3つの定数/定数ベクトルで特徴付けられる。一般に d}} 次元の実正弦平面波は、時間変数を持たない形で書くと

時間変数を持つ形で書くと

で表される。

ここで、波数ベクトルや時間・空間変数は、それぞれ

である。

2.2. 複素正弦平面波の一般式
----------------

実正弦平面波は重ね合わせの計算などが面倒であることから、計算上のテクニックとして、実正弦平面波の値域をオイラーの公式を用いて複素数域に拡張した複素正弦波が発案された。古典物理では、複素平面正弦波は実正弦平面波の重ね合わせを計算するための便宜にすぎないが、量子力学では複素平面正弦波を用いなければ説明がつかない現象があるため、計算上の便宜のためだけのものではない。

複素正弦平面波は数学的には、振幅 A}}、波数ベクトル K}}、位相項 δ}}の3つの定数/定数ベクトルで特徴付けられる。一般に、d}} 次元の複素正弦平面波は、

の形で表される。

2.3. 複素正弦平面波を用いた実正弦平面波の重ね合わせ
----------------------------

1=//a////j// , //θ////j// }}を実定数としたときに、重ね合わせ

を計算する問題を考える。

オイラーの公式より、複素数をベクトルのように表記して

　と見なすことができる。

式の右辺に、ベクトルの平行四辺形則を適用すると

　としたときに、

が成り立つ。従って、重ね合わせを計算する問題は、式の2つの式を求める問題に帰着される。ここで、 1=//θ////j// }} は実定数なので、

が成り立つ。*}} は複素共役を意味する。このことに注意して、//a//2}} の展開を行うと

　が成立する。式と、条件//aj// ≥ 0 を考え併せると、式は、

と変形できる。従って、重ね合わせを計算する問題は、式を求める問題に帰着される。計算上の便宜としての複素正弦波を持ち出す最大の理由は、式からが導き出せることにある。

一般には、これ以上簡単な形に変形することは難しいが、いくつかの特殊な場合には振幅の項あるいは位相項の片方あるいは両方がより簡単な形になる。例えば

のときには、

となる。この問題は、2つの位相差のある平面正弦波の重ねあわせの問題である。

3. 周期関数の平面波展開
-------------

平面波展開は、1変数のフーリエ級数展開を多変数関数に拡張した概念で、多変数の周期関数を正弦平面波からなる級数に展開する手法である。以下では、まず一番簡単な場合、即ち、正方格子を周期として持つ2変数関数の場合について平面波展開を考え、その後、一般の場合の平面波展開について説明する。

3.1. 一番簡単な場合の平面波展開
------------------

簡単のため、//F// }} が、標準正方格子を周期格子とする場合の平面波展開を、1変数のフーリエ級数に帰着することを考える。

以下の定理が成り立つ：

尚、周期性の定義等、用語の定義を知らずとも、計算の流れのみから本ケースの証明は理解が可能であると思われるため、定義などは後回しにする。又、1変数のフーリエ級数についての諸議論は既知とする。以下、3つのステップに分け証明を行う。

3.1.1. y}} を固定して、一変数関数としてフーリエ級数展開する
-----------------------------------

y}} を固定して考えると、//F// }} は、x}} についての一変数関数である。この関数を //f////y//}} と書くことにする。即ち、

とする。//f////y//}} は周期1の周期関数である。従って//f////y//}} が [0,1]}} 閉区間で //L//2}} 関数であれば、//f////y//}} を 1変数関数の意味でフーリエ級数展開することが可能である。

具体的には //c////n//}} を、

とすると、

　のように級数展開可能である。

3.1.2. //c////n//}} それぞれを、y}} についての関数とみなして、それぞれフーリエ級数展開する
---------------------------------------------------------

前述の //c////n//}} は y}} を固定するごとに定まるので、//c////n//}} は y}} についての関数と考えることが出来る。//c////n//}} の定義により、//c////n//}} もまた、y}} について周期1の周期関数である。

実際、//F//}} は、周期 //E//2}} を持つため、1=//F// = //F//}} である。従って、

である。

実は、//c////n//}} もまた //L//2}} 関数であるため、//c////n//}} も1変数関数の意味でフーリエ級数展開可能である。すなわち

とすると、

　となる。

3.1.3. 証明のまとめ
-------------

式に式を代入すると、

を得る。

3.2. 周期性についての補足
---------------

F}} を実数値あるいは複素数値の実 d}} 変数関数とし、τ}} を d}} 次元の実定数ベクトルとする。このとき、τ}} が F}} の周期であるとは、任意の //d}}// 次元実数ベクトル x}} に対し 1=//F// = //F//}}であることを意味する。

ここで、τ}} が F}} の周期であったとしても、sqrt や ///2}} が F}} の周期であるとは限らない。

定理1から帰納的に以下の定理2が示される。

3.3. 格子についての補足
--------------

前節の定理1と定理2は、周期が格子状の空間をなすことを主張している。以下、格子について補足を行う。

d}} 次元標準正方格子 を、以下のように定義する。即ち、d}} 次元標準正方格子は、成分全てが整数となるような d}} 次元実数ベクトルを全て集めることによって出来た集合である。

は、の標準基底 //1 , ... , ////d//}} の Z}} 結合で生成される。即ち、の点 z}} は、n}} 個の整数 //z//1 , ... , //z////d//}} によって、

のように展開することが出来る。この展開は、一意的である。

又、d}} 次正則行列 A}} に対し、を、

と定め、d}} 次元正則行列 A}} によって生成された格子空間と呼ぶ。は、A}} の列ベクトル //A//1 , ... , //A////d//}} のZ結合で生成される。即ち、の点は、n}} 個の整数 //z//1 , ... , //z////d//}} によって、

のように表すことが出来る。即ち、標準格子空間 上の点 z}} は、行列 A}} によって、必ず に移すことが出来る。但し、Aj}} は、A}} の第 j}} 列ベクトルである。即ち 1=//Aj// = //Aej//}} である。

3.4. 多重周期関数と周期格子
----------------

さらに、ユニットセルの概念を定義する。//1 , ... , ////d//}} を d}} 次元実数ベクトル空間 の基底とする。このとき、

を、//1 , ... , ////d//}} が張る//d// 次元平行六面体、あるいはユニットセルという。

特に、d}} 重周期関数 F}} に対し、T}} の列ベクトル全て、即ち //1 , ... , ////d//}} が F}} の周期となるような d}} 次正則行列

が定まる。本稿では、このような //T}}// を、F}} の周期行列と言うことにする。また、 を、F}} の周期格子という。

簡単な計算から以下の定理が判る。

この定理により、周期行列が存在するような//d// 重周期関数の問題は、すべて、標準正方格子を周期格子として持つような周期関数の問題に帰着されることが判る。

3.5. 平面波の周期性
------------

平面波の周期性について、以下の命題が成り立つ。

即ち、命題1は、K}} の直交補空間の点は皆、波数 //K}}// の平面波 Φ}} の周期であることを主張している。

以下の定理より、d}} 重周期関数 F}} と同じ d}} 重周期を持つ平面波を沢山作る方法が与えられる。

4. 量子論における平面波
-------------

非相対論的な量子論では、自由粒子のエネルギー固有状態は平面波となる。また自由粒子のハミルトニアンと運動量が可換であるため、運動量の固有状態も平面波である。つまりエネルギーと運動量についての同時固有関数となっている。量子論においても平面波は、基底関数として様々な場面で用いられるが、本来1に規格化されるべき2乗積分が有限の値を持たないこと、時間的・空間的に無限の彼方まで広がっており非現実的であること等の問題も抱えている。

5. 第一原理バンド計算における平面波
-------------------

波動関数は、基底関数で展開した形で記述することができる。この時に用いられる基底の1つに平面波基底がある。バンド計算における表式化が比較的簡単で力やストレスの計算も他の基底を使った場合より容易に実現が可能である。また、平面波基底では、Pulay補正項の問題が回避できることも利点のひとつである。

欠点として、例えば波動関数や電荷密度への寄与の s, p, d 軌道毎への分割や、ユニットセル内の特定の原子の電荷を求めることが困難になることが挙げられる。

6. 脚注
-----

6.1. 注釈
-------

6.2. 出典
-------

7. 関連項目
-------

球面波
直交化された平面波
第一原理バンド計算
局在基底
混合基底

ru:Монохроматическая волна