量子力学における並進演算子(へいしんえんざんし、英: translation operator)とは、ある方向にある大きさだけ粒子や場を移動させる演算子のこと。より具体的には、いかなる変位ベクトル x においても対応する並進演算子
が存在し、x の大きさによって粒子や場を移動させる。例えばもし
が位置 r に位置する粒子に作用すると、その結果として粒子の位置は (r + x)になる。
並進演算子は線形かつユニタリーである。並進演算子は運動量演算子と密接に関係している。たとえば、y 方向に無限小だけ移動させる並進演算子は、運動量演算子の y 成分と単純な関係性を持つ。このことにより並進演算子がハミルトニアンと可換、つまり物理法則が並進不変であるとき、運動量保存則が保たれる。これはネーターの定理の一つの例である。
位置の固有ケットと波動関数への作用[編集]
並進演算子
は粒子や場を x だけ動かす。したがって、位置演算子の固有状態 |r⟩ (つまり粒子の位置が確実に r の状態)に
を作用させると、その位置は (r + x) に移る。
![{\displaystyle {\hat {T}}({\boldsymbol {x}})|{\boldsymbol {r}}\rangle =|{\boldsymbol {r}}+{\boldsymbol {x}}\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c95d9e4428445f00d178729c8bbdc683e36217aa)
並進演算子の性質を記述する別の(等価な)方法は、位置空間の波動関数に基づくものである。粒子が位置空間の波動関数
を持ち、
が粒子に作用したとき、新しい位置空間の波動関数
は
で定義される。この関係は
とするとより覚えやすく、「新しい位置での新しい波動関数の値は、元々の位置での元々の波動関数の値に等しい」[1]。
これら2つの記述が等価であることの例を示す。状態 |a⟩ は、波動関数
に対応する(ここで δ はディラックのデルタ関数)。一方で状態
は、波動関数
に対応する。これらは
を満足する。
並進の生成子としての運動量[編集]
運動量の一般的な定義[編集]
初等的な物理学では通常、運動量は質量×速度と定義される。しかし並進演算子の観点から運動量を定義する、より基本的な方法がある。
これはより正確には正準運動量と呼ばれ、電磁場中の荷電粒子の場合などでは運動量は質量×速度と等しくなるとは限らない[1]。この運動量の定義が特に重要である理由は、運動量保存則は正準運動量でのみ成り立ち、以下で示すように運動量が質量×速度(「運動学的運動量」と呼ばれる)として定義されたときは、普遍的に成り立つわけではないためである。
(正準)運動量演算子は、原点近くでの並進演算子の勾配として定義される。
![{\displaystyle {\boldsymbol {\hat {p}}}=i\hbar \left(\nabla {\hat {T}}({\boldsymbol {x}})\right)_{{\text{at }}{\boldsymbol {x}}={\boldsymbol {0}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8fe38efa97be380129f97dc31efb384f8625272a)
|
ここで ħ は換算プランク定数である。より具体的に書くと、ˆp はベクトル演算子(つまり3つの演算子
からなるベクトル)で、例えば
は次のように定義される。
![{\displaystyle {\hat {p}}_{x}=i\hbar \lim _{a\rightarrow 0}{\frac {{\hat {T}}(a{\boldsymbol {e}}_{x})-{\hat {\mathbb {I} }}}{a}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c467471e44ba85edab0f454bad6bdee29187331)
ここで
は恒等演算子、ex は x 方向の単位ベクトルである。
も同じように定義される。これは、ˆp の最も一般的な定義である。
具体的な表式[編集]
1次元の場合を考える。上記の一般的定義によると、演算子
が量子状態に作用したときの結果は、状態を x 方向に無限小並進させたときの状態変化の割合に iħ を掛けたものになる。たとえばもし状態が x 方向に並進させたとき全く変化しなければ、運動量の x 成分は0である。
波動関数
で表される1つの粒子の場合、ˆp はよりはっきりとした便利な形で書ける。
![{\displaystyle {\begin{aligned}{\hat {p}}\psi (x)&=i\hbar \lim _{a\rightarrow 0}{\frac {{\hat {T}}(a)\psi (x)-\psi (x)}{a}}\\&=i\hbar \lim _{a\rightarrow 0}{\frac {\psi (x-a)-\psi (x)}{a}}\\&=-i\hbar {\frac {\partial }{\partial x}}\psi (x)\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b632d47d719b512abad27e6a0d8f82ca23ed7c94)
また3次元では、
![{\displaystyle {\boldsymbol {\hat {p}}}=-i\hbar \nabla }](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc1d33c14b991183db313ce78ff501b3d29788c2)
のように、位置空間の波動関数に作用する演算子として書ける。これは ˆp のよく知られた量子力学的な表現だが、ここではより基本的な出発点から導出した。
運動量演算子で表した並進演算子[編集]
ここまで ˆp を並進演算子から定義した。逆に、並進演算子を ˆp の関数として描くこともできる。並進演算子を N 分割し、その極限をとった無限小並進は ˆp で表すことができる。
![{\displaystyle {\begin{aligned}{\hat {T}}({\boldsymbol {x}})&=\lim _{N\to \infty }\left[{\hat {T}}\left({\frac {\boldsymbol {x}}{N}}\right)\right]^{N}\\&=\lim _{N\rightarrow \infty }\left[1-{\frac {i{\boldsymbol {x}}\cdot {\boldsymbol {\hat {p}}}}{N\hbar }}\right]^{N}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ff2d102c4b556bcc773935214b44e316fec9ac8)
よって最終的に得られる表現は、
|
ここでexpは演算子の指数関数で、右辺はテイラー級数展開である。x が非常に小さなときは、次のように近似的に表せる。
![{\displaystyle {\hat {T}}({\boldsymbol {x}})\approx 1-i{\boldsymbol {x}}\cdot {\boldsymbol {\hat {p}}}/\hbar }](https://wikimedia.org/api/rest_v1/media/math/render/svg/5522dd47a273b5614cec7c3fbfe171b61ceba52d)
よって運動量演算子は並進の生成子と言える[4]。
これらの関係が正しいことを確認するには、位置空間の波動関数に作用する並進演算子をテイラー展開すれば良い。指数関数をすべての次数に展開すれば、
![{\displaystyle {\begin{aligned}\psi ({\boldsymbol {r}}-{\boldsymbol {x}})&={\hat {T}}({\boldsymbol {x}})\psi ({\boldsymbol {r}})\\&=\exp \left(-{\frac {i{\boldsymbol {x}}\cdot {\boldsymbol {\hat {p}}}}{\hbar }}\right)\psi ({\boldsymbol {r}})\\&=\left(\sum _{n=0}^{\infty }{\frac {1}{n!}}(-{\frac {i}{\hbar }}{\boldsymbol {x}}\cdot {\boldsymbol {\hat {p}}})^{n}\right)\psi ({\boldsymbol {r}})\\&=\left(\sum _{n=0}^{\infty }{\frac {1}{n!}}(-{\boldsymbol {x}}\cdot {\boldsymbol {\nabla }})^{n}\right)\psi ({\boldsymbol {r}})\\&=\psi ({\boldsymbol {r}})-{\boldsymbol {x}}\cdot {\boldsymbol {\nabla }}\psi ({\boldsymbol {r}})+{\frac {1}{2!}}({\boldsymbol {x}}\cdot {\boldsymbol {\nabla }})^{2}\psi ({\boldsymbol {r}})-\dots \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c9009dfc44ca08b9e216865fb033cd2c3c906f07)
よってもし関数が複素平面のある領域において解析的であれば、すべての並進演算子は予想された関数の並進を生成する。
並進演算子の性質[編集]
逐次的な並進[編集]
粒子や場を x1 だけ動かした後 x2 だけ動かしたとき、x1 + x2 だけ動かしたことになる。
![{\displaystyle {\hat {T}}({\boldsymbol {x}}_{1}){\hat {T}}({\boldsymbol {x}}_{2})={\hat {T}}({\boldsymbol {x}}_{1}+{\boldsymbol {x}}_{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/db3c9ebb6a91c647f28e569a57ffdc0ec5af5aff)
並進演算子は可逆で、その逆は
![{\displaystyle ({\hat {T}}({\boldsymbol {x}}))^{-1}={\hat {T}}(-{\boldsymbol {x}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6148a8a400a2e2f15846ff365a01494842611bee)
証明:
|
上述の逐次的な並進の性質と、 、すなわち距離 0 だけ並進させる演算子は全ての状態を変化させない恒等演算子と同じであることから導かれる。
|
他の並進演算子との交換[編集]
![{\displaystyle {\hat {T}}({\boldsymbol {x}}){\hat {T}}({\boldsymbol {y}})={\hat {T}}({\boldsymbol {y}}){\hat {T}}({\boldsymbol {x}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a1fc3ab87f459d3587f47494ede4699fc9399c9)
証明:
|
なぜなら両辺はどちらも であるからである[1]。
|
ユニタリー性[編集]
並進演算子はユニタリーで、特に、
![{\displaystyle ({\hat {T}}({\boldsymbol {x}}))^{\dagger }=({\hat {T}}({\boldsymbol {x}}))^{-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/02cc852dd062745b1456da1b16e29f1c2e69f43f)
並進演算子がユニタリーであることは、運動量演算子がエルミートであることを示している[1]。
ブラへの作用[編集]
並進演算子が位置基底でのブラに作用すると、
![{\displaystyle \langle {\boldsymbol {r}}|{\hat {T}}({\boldsymbol {x}})=\langle {\boldsymbol {r}}-{\boldsymbol {x}}|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fa9f86dcb238ecabb9509ef9b0864de6dbf7b83)
各成分への分割[編集]
上述の「逐次的な並進」の性質から、ベクトル
による並進は、成分方向への並進の積として書くことができる。
![{\displaystyle {\hat {T}}({\boldsymbol {x}})={\hat {T}}(x{\boldsymbol {e}}_{x}){\hat {T}}(y{\boldsymbol {e}}_{y}){\hat {T}}(z{\boldsymbol {e}}_{z})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eab8f1bad64eef598999dd8b1ad766a743f80592)
ここで ex, ey, ez は単位ベクトル。
位置演算子との交換子[編集]
並進演算子と位置演算子の交換子は、以下のように書ける。
![{\displaystyle [{\boldsymbol {\hat {r}}},{\hat {T}}({\boldsymbol {x}})]\equiv {\boldsymbol {\hat {r}}}{\hat {T}}({\boldsymbol {x}})-{\hat {T}}({\boldsymbol {x}}){\boldsymbol {\hat {r}}}={\boldsymbol {x}}{\hat {T}}({\boldsymbol {x}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b48d1b0cf8bc8ade90ce7eb0ffe764ec9b643a6c)
証明:
|
|r⟩ を位置演算子 ˆr の任意の固有値 r に対応する固有ベクトルとすると、次の二式が成り立つ。
![{\displaystyle {\hat {T}}({\boldsymbol {x}}){\boldsymbol {\hat {r}}}|{\boldsymbol {r}}\rangle ={\hat {T}}({\boldsymbol {x}}){\boldsymbol {r}}|{\boldsymbol {r}}\rangle ={\boldsymbol {r}}|{\boldsymbol {x}}+{\boldsymbol {r}}\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d322da17212cf37b64593db69bb4dbb631eb117b)
![{\displaystyle {\boldsymbol {\hat {r}}}{\hat {T}}({\boldsymbol {x}})|{\boldsymbol {r}}\rangle ={\hat {\boldsymbol {r}}}|{\boldsymbol {x}}+{\boldsymbol {r}}\rangle =({\boldsymbol {x}}+{\boldsymbol {r}})|{\boldsymbol {x}}+{\boldsymbol {r}}\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/97be204cdf7aa2cabdad1fd28fbfa6e0c76f8890)
この2式の差をとれば上式が示される。
|
これは上述の性質を利用して、次のようにも書ける。
![{\displaystyle {\hat {T}}^{-1}({\boldsymbol {x}}){\boldsymbol {\hat {r}}}{\hat {T}}({\boldsymbol {x}})={\boldsymbol {\hat {r}}}+{\boldsymbol {x}}{\hat {\mathbb {I} }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bee2241ade13348db4d24ff0c1eb61e93f86c73f)
ここで
は恒等演算子である。
運動量演算子との交換子[編集]
並進演算子は互いに交換し、また運動量演算子はスケール化された無限小並進演算子の和であるため、並進演算子は運動量演算子と交換する。すなわち、
![{\displaystyle {\hat {T}}({\boldsymbol {x}}){\hat {\boldsymbol {p}}}={\hat {\boldsymbol {p}}}{\hat {T}}({\boldsymbol {x}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/39d4a4bbe07707b7a6b90a5c25c66295e4975722)
並進群[編集]
全ての
についての並進演算子
の集合
は、逐次的な並進(すなわち関数の合成)の結果として定義される乗法の演算について、
群のすべての公理を満たす。
- 閉包: 2回続けて並進した結果は、別の1回の並進となる(上述の「逐次的な並進」を参照)。
- 単位元の存在: ベクトル0だけの並進は恒等演算子となる。すなわち演算子は何も影響も与えない。これは群の単位元として機能する。
- 全ての元は逆元をもつ: すでに証明した通り、どんな並進演算子
も、逆並進
を逆元として持つ。
- 結合性:
となることを要求する。これは関数の合成に基づくすべての群の場合のように、定義により正しい。
よって全ての x での並進演算子
の集合
は群をなす[5] 。この並進群は連続的に無限個の元をもつ連続群である。さらに並進演算子は互いに交換する、すなわち2回並進(2回続けた並進)はその順番に依らない。よって並進群はアーベル群である[6]。
位置の固有状態のヒルベルト空間上での作用する並進群は、ユークリッド空間でのベクトルの加法の群と同型である。
並進された状態の位置と運動量の期待値[編集]
1次元における1つの粒子を考える。古典力学とは違い、量子力学において粒子ははっきり定まった位置も運動量も持たない。量子力学の定式化では、期待値[7]が古典変数として働く。たとえば粒子が状態
にあったとき、位置の期待値は
である。ここで ˆr は位置演算子である。
並進演算子
が状態
に作用したとき、新しい状態
が作られる。このとき
の位置の期待値は、
の位置の期待値にベクトルxを加えたものである。この結果は粒子をその量だけシフトさせる操作から予想されるものと一致している。
一方で、並進演算子が状態に作用したとき、運動量の期待値は変わらない。このことは同じように証明できるが、並進演算子が運動量と交換することを用いる。この結果も予想と一致している。つまり並進によって粒子の速度や質量は変わらず、運動量も変わらない。
並進不変性[編集]
量子力学ではハミルトニアンは系のエネルギーとダイナミクスを表す。以下で示すいくつかの状況では、系が並進してもハミルトニアンは不変となる。
この場合、対応する並進演算子は系について対称である。
数学的には、この状況は次のようなときに起こる。
![{\displaystyle {\hat {T}}({\boldsymbol {x}})^{-1}{\hat {H}}{\hat {T}}({\boldsymbol {x}})={\hat {H}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a7d83287d549f16c7b033e633c5c866347cf7564)
(大雑把に言うと、系を並進させた後にエネルギーの測定をし、並進によって元に戻すと、結局エネルギーを直接測定したことと同じである)。このことは交換子を用いて
と書ける。すなわちハミルトニアンが並進演算子と交換する。
連続並進対称性[編集]
まず「全ての」並進演算子が系について対称である場合を考える。以下で見るように、この場合では運動量の保存が起こる。
たとえば宇宙全体の全ての粒子と場を記述するハミルトニアンを ˆH、宇宙全体のすべての粒子と場を同時に同じだけシフトする並進演算子を
とすると、これは常に対称である。ˆH は宇宙全体の完全な物理法則を記述し、場所に依存しない。その結果、運動量の保存が宇宙全体で成り立つ。
一方で、ˆH と
はただ一つの粒子について言及すると考えられる。このとき並進演算子
が厳密に対称であるのは、粒子が真空中で孤立しているときのみである。それに対応して、1粒子の運動量は通常は保存しない(粒子が他の物質に衝突したときに変化する)が、真空中で孤立しているときは保存する。
運動量保存則とのつながりは次のような考えによるものである。全ての並進演算子が系で対称である(つまり全て ˆH と交換する)と仮定する。
運動量演算子が無限小並進演算子の和で書けるため、このとき ˆH は運動量演算子とも交換しなければならない。
このことはエーレンフェストの定理から得られる(運動量演算子
が時間に依存しないため)。
![{\displaystyle {\begin{aligned}&\left[{\hat {H}},{\hat {T}}({\boldsymbol {x}})\right]=0\\&\Rightarrow [{\hat {H}},{\hat {\boldsymbol {p}}}]=0\\&\Rightarrow {\frac {\mathrm {d} }{\mathrm {d} t}}\langle {\hat {\boldsymbol {p}}}\rangle ={\frac {i}{\hbar }}[{\hat {H}},{\hat {\boldsymbol {p}}}]=0\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b20664e2027cd58935a8da43dadf342964791e1)
つまり系のハミルトニアンが連続並進に対して不変であれば、系は運動量保存則を持ち、運動量演算子の期待値は一定となる。これはネーターの定理の一つの例である。
離散並進対称性[編集]
ハミルトニアンが並進不変である特別な場合がある。この並進対称性は、ポテンシャルが周期的であるときに見られる[8]。
![{\displaystyle V(r_{j}\pm a)=V(r_{j})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f7b3e2fc98817fd131a0f24d5a507d63ff9d633)
一般的に任意の
での並進
によってハミルトニアンは不変ではない。ここで
は次の性質を持つ。
![{\displaystyle {\hat {T}}_{j}(x_{j})|r_{j}\rangle =|r_{j}+x_{j}\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0dbc4afabd7d259d6992301859995611706a4f44)
また、
![{\displaystyle {\hat {T}}_{j}^{\dagger }(x_{j}){\hat {r}}_{j}{\hat {T}}_{j}(x_{j})={\hat {r}}_{j}+x_{j}{\hat {\mathbb {I} }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e9707d7fa4453157337d683c23d882406e87f06)
(ここで
は恒等演算子である。上述の証明を参照)。
しかし
がポテンシャルの周期 a と一致したときは、
![{\displaystyle {\hat {T}}_{j}^{\dagger }(a)V({\hat {r}}_{j}){\hat {T}}_{j}(a)=V({\hat {r}}_{j}+a{\hat {\mathbb {I} }})=V({\hat {r}}_{j})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/115eb16b9ffe947e44c6d90083eacb9eabc49674)
ハミルトニアン
の運動エネルギー部分は
についての関数で、任意の並進に対して不変であるため、全体のハミルトニアンは次式を満たす。
![{\displaystyle {\hat {T}}_{j}^{\dagger }(a){\hat {H}}{\hat {T}}_{j}(a)={\hat {H}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5b69b612de066ee00148497b79d210a803239e7)
つまりハミルトニアンは並進演算子と交換する。すなわち同時対角化することができる。よってハミルトニアンはそのような(連続でない)並進について不変である
周期的ポテンシャルでの離散並進 : ブロッホの定理[編集]
完全結晶中のイオンは、規則正しく周期的に配列している。よってすべてのブラベー格子ベクトル R において
![{\displaystyle V({\boldsymbol {r+R}})=V({\boldsymbol {r}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff4dd0652a692c8fc04a66d2fe408626425b5c1b)
の周期性をもつポテンシャル
中の電子の問題に行き着く。
しかし完全な周期性は、理想化している。実際の固体は完全に純粋ではなく、不純物原子の周辺の状態はその他の結晶部分の状態と同じではない。さらに実際にはイオンは静止しておらず、平衡位置付近で絶えず熱振動している。これらのことが、結晶の完全な並進対称性を崩している。この問題を扱うため、問題を(a)ポテンシャルが完全に周期的である仮想的な完全結晶と、 (b)小さな摂動として扱われる完全な周期性からのずれの効果という2つの部分に分ける。固体中の電子の問題は、原理的には多電子問題である。しかし独立電子近似では、それぞれの電子は周期ポテンシャル中の1電子シュレーディンガー方程式で記述され、ブロッホ電子と呼ばれる[9] (ブロッホ電子は周期ポテンシャルがあらゆる点で0のときは自由電子となる)。
それぞれのブラベー格子ベクトル R について、関数 f(r) に作用したとき R だけ変数をシフトさせる並進演算子
を定義する。
![{\displaystyle {\hat {T}}_{\boldsymbol {R}}f({\boldsymbol {r}})=f({\boldsymbol {r}}+{\boldsymbol {R}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f69f0a572e0a26351142124b7c11c3d595a103cd)
並進演算子全体はアーベル群を成すため、逐次的な2回並進はそれらが作用する順番に依存しない。つまり、
![{\displaystyle {\hat {T}}_{{\boldsymbol {R}}_{1}}{\hat {T}}_{{\boldsymbol {R}}_{2}}={\hat {T}}_{{\boldsymbol {R}}_{2}}{\hat {T}}_{{\boldsymbol {R}}_{1}}={\hat {T}}_{\boldsymbol {R_{1}+R_{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/845df7d579087de42e08363f39732f9a6d315af4)
さらにハミルトニアンが周期的であるとして、
![{\displaystyle {\hat {T}}_{\boldsymbol {R}}{\hat {H}}={\hat {H}}{\hat {T}}_{\boldsymbol {R}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/22f0655a888d431f61dab944e29d3c10a3a3fb8a)
よって全てのブラベー格子ベクトル R における
とハミルトニアン ˆH は交換する演算子の集合を作る。よって ˆH の固有状態は全ての
の同時固有状態に選ぶことができる。
![{\displaystyle {\hat {H}}\psi ={\mathcal {E}}\psi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa309e890da925df41c2c9b2b66b94d1c0883a60)
![{\displaystyle {\hat {T}}_{\boldsymbol {R}}\psi =c({\boldsymbol {R}})\psi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0de5feff15a98c67df91c5e973517fff03a51d8)
並進演算子の固有値 c(R) は、次の条件とつながっている。
![{\displaystyle {\hat {T}}_{{\boldsymbol {R}}_{1}}{\hat {T}}_{{\boldsymbol {R}}_{2}}={\hat {T}}_{{\boldsymbol {R}}_{2}}{\hat {T}}_{{\boldsymbol {R}}_{1}}={\hat {T}}_{\boldsymbol {R_{1}+R_{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/845df7d579087de42e08363f39732f9a6d315af4)
つまり、
![{\displaystyle {\begin{aligned}{\hat {T}}_{{\boldsymbol {R}}_{1}}{\hat {T}}_{{\boldsymbol {R}}_{2}}\psi &=c({\boldsymbol {R}}_{1}){\hat {T}}_{{\boldsymbol {R}}_{2}}\psi \\&=c({\boldsymbol {R}}_{1})c({\boldsymbol {R}}_{2})\psi \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/790b825d5e294a652a3848c4c2679316b5ccb3ac)
また、
![{\displaystyle {\hat {T}}_{\boldsymbol {R_{1}+R_{2}}}\psi =c({\boldsymbol {R}}_{1}+{\boldsymbol {R}}_{2})\psi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1bc4080428b360a39be776c367c546eb7fe10534)
よって次の関係が得られる。
![{\displaystyle c({\boldsymbol {R}}_{1}+{\boldsymbol {R}}_{2})=c({\boldsymbol {R}}_{1})c({\boldsymbol {R}}_{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/45745f939f1c9972938837364ff816bd12af5fc1)
ここで
をブラベー格子における3つの基本ベクトルとする。
をうまく選ぶと、
を常に次のような形に書くことができる。
![{\displaystyle c({\boldsymbol {a_{i}}})=e^{2\pi ix_{i}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da9c8fd1db7e33a36e0507d2757276a583ad39da)
R が次のように一般的なブラベー格子ベクトルであるとする。
![{\displaystyle {\boldsymbol {R}}=n_{1}{\boldsymbol {a}}_{1}+n_{2}{\boldsymbol {a}}_{2}+n_{3}{\boldsymbol {a}}_{3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3bfd41322be77708dff96b13644275a0672fdcfc)
このとき、
![{\displaystyle {\begin{aligned}c({\boldsymbol {R}})&=c(n_{1}{\boldsymbol {a}}_{1}+n_{2}{\boldsymbol {a}}_{2}+n_{3}{\boldsymbol {a}}_{3})\\&=c(n_{1}{\boldsymbol {a}}_{1})c(n_{2}{\boldsymbol {a}}_{2})c(n_{3}{\boldsymbol {a}}_{3})\\&=c({\boldsymbol {a}}_{1})^{n_{1}}c({\boldsymbol {a}}_{2})^{n_{2}}c({\boldsymbol {a}}_{3})^{n_{3}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a563819b7193e9fabcca1ad3784c0643ac319118)
を代入すると、
![{\displaystyle {\begin{aligned}c({\boldsymbol {R}})&=e^{2\pi i(n_{1}x_{1}+n_{2}x_{2}+n_{3}x_{3})}\\&=e^{i{\boldsymbol {k}}\cdot {\boldsymbol {R}}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/23053eac13a54cd4e8fd42f5419bc26fa2b43619)
ここで
は逆格子ベクトル、
はその基底で
を満たす。
よって全てのブラベー格子ベクトル R で、
![{\displaystyle {\begin{aligned}\psi ({\boldsymbol {r+R}})&={\hat {T}}_{\boldsymbol {R}}\psi ({\boldsymbol {r}})\\&=c({\boldsymbol {R}})\psi ({\boldsymbol {r}})\\&=e^{i{\boldsymbol {k}}\cdot {\boldsymbol {R}}}\psi ({\boldsymbol {r}})\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/41936ed411e8804353a1d653c75be485a48dfeb2)
となるようにハミルトニアン
と
の同時固有状態
を選ぶことができる。よって以下が成り立つ。
|
この結果はブロッホの定理として知られる。
関連項目[編集]
参考文献[編集]
- ^ a b c d Lecture notes by Robert Littlejohn
- ^ Page no.-108, Chapter-2,Volume-1, Claude Cohen-Tannoudji, Bernard Diu, Franck Laloë
- ^ Page no. 68, Section 1.10, R. Shankar, Principles of Quantum Mechanics
- ^ http://master.particles.nl/LectureNotes/2011-QFT.pdf
- ^ Page-816, Chapter-17, Mathematical Methods for Physicists, Seventh Edition, by Arfken, Weber and Harris
- ^ Page-47, Chapter-1, Modern Quantum Mechanics, Second edition, J.J. Sakurai, Jim J. Napolitano
- ^ Page no. 127, Section 4.2, R. Shankar, Principles of Quantum Mechanics
- ^ Chapter-8, Solid State Physics by Neil W. Ashcroft and N. David Mermin
- ^ P-133, Chapter-8, Solid State Physics by Neil W. Ashcroft and N. David Mermin