並進演算子 (量子力学)

量子力学における並進演算子（へいしんえんざんし、テンプレート:Lang-en-short）とは、ある方向にある大きさだけ粒子や場を移動させる演算子のこと。より具体的には、いかなる変位ベクトル テンプレート:Mvar においても対応する並進演算子 $\hat{T}(𝒙)$ が存在し、テンプレート:Mvar の大きさによって粒子や場を移動させる。例えばもし $\hat{T}(𝒙)$ が位置 テンプレート:Mvar に位置する粒子に作用すると、その結果として粒子の位置は テンプレート:Mathになる。

並進演算子は線形かつユニタリーである。並進演算子は運動量演算子と密接に関係している。たとえば、テンプレート:Mvar 方向に無限小だけ移動させる並進演算子は、運動量演算子の テンプレート:Mvar 成分と単純な関係性を持つ。このことにより並進演算子がハミルトニアンと可換、つまり物理法則が並進不変であるとき、運動量保存則が保たれる。これはネーターの定理の一つの例である。

位置の固有ケットと波動関数への作用

並進演算子 $\hat{T}(𝒙)$ は粒子や場を テンプレート:Mvar だけ動かす。したがって、位置演算子の固有状態 テンプレート:Math （つまり粒子の位置が確実に テンプレート:Mvar の状態）に $\hat{T}(𝒙)$ を作用させると、その位置は テンプレート:Math に移る。

$\hat{T}(𝒙)|𝒓⟩=|𝒓+𝒙⟩$

並進演算子の性質を記述する別の（等価な）方法は、位置空間の波動関数に基づくものである。粒子が位置空間の波動関数 $\psi (𝒓)$ を持ち、$\hat{T}(𝒙)$ が粒子に作用したとき、新しい位置空間の波動関数 ${\psi }^{\prime }(𝒓)$は ${\psi }^{\prime }(𝒓)=\psi (𝒓-𝒙)$で定義される。この関係は${\psi }^{\prime }(𝒓+𝒙)=\psi (𝒓)$とするとより覚えやすく、「新しい位置での新しい波動関数の値は、元々の位置での元々の波動関数の値に等しい」。

これら２つの記述が等価であることの例を示す。状態 テンプレート:Math は、波動関数 $\psi (𝒓)=\delta (𝒓-𝒂)$ に対応する(ここで テンプレート:Mvar はディラックのデルタ関数)。一方で状態 $\hat{T}(𝒙)|𝒂⟩=|𝒂+𝒙⟩$は、波動関数 ${\psi }^{\prime }(𝒓)=\delta (𝒓-(𝒂+𝒙))$ に対応する。これらは ${\psi }^{\prime }(𝒓)=\psi (𝒓-𝒙)$を満足する。

波動関数への並進演算子の作用のより一般的な導出:

位置演算子 テンプレート:Math はオブザーバブルであるため、その固有ベクトルの全体 $\{|𝒓⟩\}$ はテンプレート:仮リンクの基底をなす。 よってそれぞれのケットを、$\{|𝒓⟩\}$ 表示の波動関数で特徴づけることができる。 $\psi (𝒓)=⟨𝒓|\psi ⟩$ $\{|𝒓⟩\}$表示で ケット $\widehat{𝒓}|\psi ⟩$の$\{|𝒓⟩\}$表示の波動関数を考える。 位置演算子 テンプレート:Math はエルミートで、テンプレート:Math は位置演算子 テンプレート:Math の固有値 テンプレート:Mvar についての固有ベクトルであることを用いると、 $⟨𝒓|\widehat{𝒓}|\psi ⟩=𝒓⟨𝒓|\psi ⟩=𝒓\psi (𝒓)$ よって$\{|𝒓⟩\}$表示での テンプレート:Math の作用は、単純な テンプレート:Mvar 倍である。 後のセクションで説明するように、並進演算子が位置の固有基底でのブラに作用したときは次のようになる。 $⟨𝒓|\hat{T}(𝒙)=⟨𝒓-𝒙|$ よってケット $\hat{T}(𝒙)|\psi ⟩$ の $\{|𝒓⟩\}$ 表示の波動関数は次のように書ける。 $⟨𝒓|\hat{T}(𝒙)|\psi ⟩=⟨𝒓-𝒙|\psi ⟩=\psi (𝒓-𝒙)$

並進の生成子としての運動量

運動量の一般的な定義

初等的な物理学では通常、運動量は質量×速度と定義される。しかし並進演算子の観点から運動量を定義する、より基本的な方法がある。 これはより正確には正準運動量と呼ばれ、電磁場中の荷電粒子の場合などでは運動量は質量×速度と等しくなるとは限らない。この運動量の定義が特に重要である理由は、運動量保存則は正準運動量でのみ成り立ち、以下で示すように運動量が質量×速度（「運動学的運動量」と呼ばれる）として定義されたときは、普遍的に成り立つわけではないためである。

(正準)運動量演算子は、原点近くでの並進演算子の勾配として定義される。

$\widehat{𝒑}=i\hslash {(\mathrm{\nabla }\hat{T}(𝒙))}_{\text{at }𝒙=0}$

ここで テンプレート:Mvar は換算プランク定数である。より具体的に書くと、テンプレート:Math はベクトル演算子(つまり3つの演算子$({\hat{p}}_x,{\hat{p}}_y,{\hat{p}}_z)$からなるベクトル)で、例えば${\hat{p}}_x$は次のように定義される。

${\hat{p}}_x=i\hslash \underset{a\to 0}{\lim }\frac{\hat{T}(a{𝒆}_x)-\widehat{𝕀}}{a}$

ここで$\widehat{𝕀}$は恒等演算子、テンプレート:Math は テンプレート:Mvar 方向の単位ベクトルである。${\hat{p}}_y,{\hat{p}}_z$も同じように定義される。これは、テンプレート:Math の最も一般的な定義である。

具体的な表式

１次元の場合を考える。上記の一般的定義によると、演算子 ${\hat{p}}_x$ が量子状態に作用したときの結果は、状態を テンプレート:Mvar 方向に無限小並進させたときの状態変化の割合に テンプレート:Mvar を掛けたものになる。たとえばもし状態が テンプレート:Mvar 方向に並進させたとき全く変化しなければ、運動量の テンプレート:Mvar 成分は0である。

波動関数$\psi (𝒙)$で表される１つの粒子の場合、テンプレート:Math はよりはっきりとした便利な形で書ける。

$\begin{array}{cc}\hat{p}\psi (x)& =i\hslash \underset{a\to 0}{\lim }\frac{\hat{T}(a)\psi (x)-\psi (x)}{a}\\ & =i\hslash \underset{a\to 0}{\lim }\frac{\psi (x-a)-\psi (x)}{a}\\ & =-i\hslash \frac{\partial }{\partial x}\psi (x)\end{array}$

また３次元では、

$\widehat{𝒑}=-i\hslash \mathrm{\nabla }$

のように、位置空間の波動関数に作用する演算子として書ける。これは テンプレート:Math のよく知られた量子力学的な表現だが、ここではより基本的な出発点から導出した。

運動量演算子で表した並進演算子

ここまで テンプレート:Math を並進演算子から定義した。逆に、並進演算子を テンプレート:Math の関数として描くこともできる。並進演算子を テンプレート:Mvar 分割し、その極限をとった無限小並進は テンプレート:Math で表すことができる。

$\begin{array}{cc}\hat{T}(𝒙)& =\underset{N\to \mathrm{\infty }}{\lim }{\left[\hat{T}\left(\frac{𝒙}{N}\right)\right]}^N\\ & =\underset{N\to \mathrm{\infty }}{\lim }{[1-\frac{i𝒙\cdot \widehat{𝒑}}{N\hslash }]}^N\end{array}$

よって最終的に得られる表現は、

$\hat{T}(𝒙)=\exp (-\frac{i𝒙\cdot \widehat{𝒑}}{\hslash })=1-\frac{i𝒙\cdot \widehat{𝒑}}{\hslash }-\frac{(𝒙\cdot \widehat{𝒑}{)}^2}{2{\hslash }^2}+\frac{i(𝒙\cdot \widehat{𝒑}{)}^3}{6{\hslash }^3}+\cdots$

ここでexpは演算子の指数関数で、右辺はテイラー級数展開である。テンプレート:Mvar が非常に小さなときは、次のように近似的に表せる。

$\hat{T}(𝒙)\approx 1-i𝒙\cdot \widehat{𝒑}/\hslash$

よって運動量演算子は並進の生成子と言える。

これらの関係が正しいことを確認するには、位置空間の波動関数に作用する並進演算子をテイラー展開すれば良い。指数関数をすべての次数に展開すれば、

$\begin{array}{cc}\psi (𝒓-𝒙)& =\hat{T}(𝒙)\psi (𝒓)\\ & =\exp (-\frac{i𝒙\cdot \widehat{𝒑}}{\hslash })\psi (𝒓)\\ & =(\sum _{n=0}^{\mathrm{\infty }}\frac{1}{n!}(-\frac{i}{\hslash }𝒙\cdot \widehat{𝒑}{)}^n)\psi (𝒓)\\ & =(\sum _{n=0}^{\mathrm{\infty }}\frac{1}{n!}(-𝒙\cdot \mathrm{\nabla }{)}^n)\psi (𝒓)\\ & =\psi (𝒓)-𝒙\cdot \mathrm{\nabla }\psi (𝒓)+\frac{1}{2!}(𝒙\cdot \mathrm{\nabla }{)}^2\psi (𝒓)-\dots \end{array}$

よってもし関数が複素平面のある領域において解析的であれば、すべての並進演算子は予想された関数の並進を生成する。

並進演算子の性質

逐次的な並進

粒子や場を テンプレート:Math だけ動かした後 テンプレート:Math だけ動かしたとき、テンプレート:Math だけ動かしたことになる。

$\hat{T}({𝒙}_1)\hat{T}({𝒙}_2)=\hat{T}({𝒙}_1+{𝒙}_2)$

証明:
$\hat{T}({𝒙}_1)\hat{T}({𝒙}_2)|𝒓⟩=\hat{T}({𝒙}_1)|{𝒙}_2+𝒓⟩=|{𝒙}_1+{𝒙}_2+𝒓⟩=\hat{T}({𝒙}_1+{𝒙}_2)|𝒓⟩$ 演算子 $\hat{T}({𝒙}_1)\hat{T}({𝒙}_2)$ と $\hat{T}({𝒙}_1+{𝒙}_2)$ は固有基底にある全ての状態に同じ効果を与えるため、これらの演算子は等しい。

逆

並進演算子は可逆で、その逆は

$(\hat{T}(𝒙){)}^{-1}=\hat{T}(-𝒙)$

証明:
上述の逐次的な並進の性質と、$\hat{T}(0)=\widehat{𝕀}$、すなわち距離 テンプレート:Math だけ並進させる演算子は全ての状態を変化させない恒等演算子と同じであることから導かれる。

他の並進演算子との交換

$\hat{T}(𝒙)\hat{T}(𝒚)=\hat{T}(𝒚)\hat{T}(𝒙)$

証明:
なぜなら両辺はどちらも $\hat{T}(𝒙+𝒚)$ であるからである。

ユニタリー性

並進演算子はユニタリーで、特に、

$(\hat{T}(𝒙){)}^{†}=(\hat{T}(𝒙){)}^{-1}$

証明:
$\psi (𝒓)$ と$\varphi (𝒓)$が２つの位置空間の波動関数であるとき、$\psi$ と $\varphi$ の内積は、 $\int {\mathrm{d}}^3𝒓{\psi }^{*}(𝒓)\varphi (𝒓)$ 一方で$\hat{T}(𝒂)\psi$ と $\hat{T}(𝒂)\varphi$ の内積は、 $\int {\mathrm{d}}^3𝒓{\psi }^{*}(𝒓-𝒂)\varphi (𝒓-𝒂)$ 変数を変換すると、これら２つの内積は同じである。よって並進演算子はユニタリーである。

並進演算子がユニタリーであることは、運動量演算子がエルミートであることを示している。

ブラへの作用

並進演算子が位置基底でのブラに作用すると、

$⟨𝒓|\hat{T}(𝒙)=⟨𝒓-𝒙|$

証明:
$\hat{T}(𝒙)|𝒓⟩=|𝒓+𝒙⟩$ この随伴表現は、 $⟨𝒓|{\hat{T}}^{†}(𝒙)=⟨𝒓+𝒙|$ 上述の結果$T^{†}(𝒙)=T^{-1}(𝒙)=T(-𝒙)$を用いると、 $⟨𝒓|\hat{T}(-𝒙)=⟨𝒓+𝒙|$ $𝒙$を$-𝒙$で置き換えて、 $⟨𝒓|\hat{T}(𝒙)=⟨𝒓-𝒙|$

各成分への分割

上述の「逐次的な並進」の性質から、ベクトル $𝒙=(x,y,z)$ による並進は、成分方向への並進の積として書くことができる。

$\hat{T}(𝒙)=\hat{T}(x{𝒆}_x)\hat{T}(y{𝒆}_y)\hat{T}(z{𝒆}_z)$

ここで テンプレート:Math は単位ベクトル。

位置演算子との交換子

並進演算子と位置演算子の交換子は、以下のように書ける。

$[\widehat{𝒓},\hat{T}(𝒙)]\equiv \widehat{𝒓}\hat{T}(𝒙)-\hat{T}(𝒙)\widehat{𝒓}=𝒙\hat{T}(𝒙)$

証明:
テンプレート:Math を位置演算子 テンプレート:Math の任意の固有値 テンプレート:Mvar に対応する固有ベクトルとすると、次の二式が成り立つ。 $\hat{T}(𝒙)\widehat{𝒓}|𝒓⟩=\hat{T}(𝒙)𝒓|𝒓⟩=𝒓|𝒙+𝒓⟩$ $\widehat{𝒓}\hat{T}(𝒙)|𝒓⟩=\widehat{𝒓}|𝒙+𝒓⟩=(𝒙+𝒓)|𝒙+𝒓⟩$ この2式の差をとれば上式が示される。

これは上述の性質を利用して、次のようにも書ける。

${\hat{T}}^{-1}(𝒙)\widehat{𝒓}\hat{T}(𝒙)=\widehat{𝒓}+𝒙\widehat{𝕀}$

ここで$\widehat{𝕀}$は恒等演算子である。

運動量演算子との交換子

並進演算子は互いに交換し、また運動量演算子はスケール化された無限小並進演算子の和であるため、並進演算子は運動量演算子と交換する。すなわち、

$\hat{T}(𝒙)\widehat{𝒑}=\widehat{𝒑}\hat{T}(𝒙)$

並進群

全ての$𝒙$についての並進演算子 $\hat{T}(𝒙)$ の集合 $𝔗$ は、逐次的な並進（すなわち関数の合成）の結果として定義される乗法の演算について、 群のすべての公理を満たす。

• 閉包: ２回続けて並進した結果は、別の１回の並進となる（上述の「逐次的な並進」を参照）。
• 単位元の存在: ベクトル0だけの並進は恒等演算子となる。すなわち演算子は何も影響も与えない。これは群の単位元として機能する。
• 全ての元は逆元をもつ: すでに証明した通り、どんな並進演算子 $\hat{T}(𝒙)$ も、逆並進 $\hat{T}(-𝒙)$ を逆元として持つ。
• 結合性: $\hat{T}({𝒙}_1)(\hat{T}({𝒙}_2)\hat{T}({𝒙}_3))=(\hat{T}({𝒙}_1)\hat{T}({𝒙}_2))\hat{T}({𝒙}_3)$となることを要求する。これは関数の合成に基づくすべての群の場合のように、定義により正しい。

よって全ての テンプレート:Mvar での並進演算子 $\hat{T}(𝒙)$ の集合 $𝔗$ は群をなす 。この並進群は連続的に無限個の元をもつ連続群である。さらに並進演算子は互いに交換する、すなわち２回並進（２回続けた並進）はその順番に依らない。よって並進群はアーベル群である。

位置の固有状態のヒルベルト空間上での作用する並進群は、ユークリッド空間でのベクトルの加法の群と同型である。

並進された状態の位置と運動量の期待値

１次元における１つの粒子を考える。古典力学とは違い、量子力学において粒子ははっきり定まった位置も運動量も持たない。量子力学の定式化では、期待値が古典変数として働く。たとえば粒子が状態 $|\psi ⟩$ にあったとき、位置の期待値は $⟨\psi |\widehat{𝒓}|\psi ⟩$ である。ここで テンプレート:Math は位置演算子である。

並進演算子$\hat{T}(𝒙)$が状態$|\psi ⟩$に作用したとき、新しい状態$|{\psi }_2⟩$が作られる。このとき$|{\psi }_2⟩$の位置の期待値は、$|\psi ⟩$ の位置の期待値にベクトルxを加えたものである。この結果は粒子をその量だけシフトさせる操作から予想されるものと一致している。

並進演算子が予想通りに位置の期待値を変えることの証明:
上述したとおり$|{\psi }_2⟩=\hat{T}(𝒙)|\psi ⟩$と仮定する。 $\begin{array}{cc}⟨{\psi }_2|\widehat{𝒓}|{\psi }_2⟩& =(⟨\psi |T^{†}(𝒙))\widehat{𝒓}(T(𝒙)|\psi ⟩)\\ & =⟨\psi |\widehat{𝒓}|\psi ⟩+𝒙\end{array}$ ここで正規化条件 $⟨\psi |\psi ⟩=1$と、前節で証明した交換子の結果を用いた。

一方で、並進演算子が状態に作用したとき、運動量の期待値は変わらない。このことは同じように証明できるが、並進演算子が運動量と交換することを用いる。この結果も予想と一致している。つまり並進によって粒子の速度や質量は変わらず、運動量も変わらない。

並進不変性

量子力学ではハミルトニアンは系のエネルギーとダイナミクスを表す。以下で示すいくつかの状況では、系が並進してもハミルトニアンは不変となる。 この場合、対応する並進演算子は系について対称である。

数学的には、この状況は次のようなときに起こる。

$\hat{T}(𝒙{)}^{-1}\hat{H}\hat{T}(𝒙)=\hat{H}$

(大雑把に言うと、系を並進させた後にエネルギーの測定をし、並進によって元に戻すと、結局エネルギーを直接測定したことと同じである)。このことは交換子を用いて $[\hat{H},\hat{T}(𝒙)]=0$と書ける。すなわちハミルトニアンが並進演算子と交換する。

連続並進対称性

テンプレート:See also まず「全ての」並進演算子が系について対称である場合を考える。以下で見るように、この場合では運動量の保存が起こる。

たとえば宇宙全体の全ての粒子と場を記述するハミルトニアンを テンプレート:Mvar、宇宙全体のすべての粒子と場を同時に同じだけシフトする並進演算子を $\hat{T}(𝒙)$ とすると、これは常に対称である。テンプレート:Mvar は宇宙全体の完全な物理法則を記述し、場所に依存しない。その結果、運動量の保存が宇宙全体で成り立つ。

一方で、テンプレート:Mvar と $\hat{T}(𝒙)$ はただ一つの粒子について言及すると考えられる。このとき並進演算子 $\hat{T}(𝒙)$ が厳密に対称であるのは、粒子が真空中で孤立しているときのみである。それに対応して、１粒子の運動量は通常は保存しない(粒子が他の物質に衝突したときに変化する）が、真空中で孤立しているときは保存する。

運動量保存則とのつながりは次のような考えによるものである。全ての並進演算子が系で対称である(つまり全て テンプレート:Mvar と交換する)と仮定する。 運動量演算子が無限小並進演算子の和で書けるため、このとき テンプレート:Mvar は運動量演算子とも交換しなければならない。

このことはエーレンフェストの定理から得られる(運動量演算子 $\widehat{𝒑}$ が時間に依存しないため）。

$\begin{array}{cc}& [\hat{H},\hat{T}(𝒙)]=0\\ & \Rightarrow [\hat{H},\widehat{𝒑}]=0\\ & \Rightarrow \frac{\mathrm{d}}{\mathrm{d}t}⟨\widehat{𝒑}⟩=\frac{i}{\hslash }[\hat{H},\widehat{𝒑}]=0\end{array}$

つまり系のハミルトニアンが連続並進に対して不変であれば、系は運動量保存則を持ち、運動量演算子の期待値は一定となる。これはネーターの定理の一つの例である。

離散並進対称性

テンプレート:See also ハミルトニアンが並進不変である特別な場合がある。この並進対称性は、ポテンシャルが周期的であるときに見られる。

$V(r_j\pm a)=V(r_j)$

一般的に任意の $x_j$ での並進 ${\hat{T}}_j(x_j)$ によってハミルトニアンは不変ではない。ここで ${\hat{T}}_j(x_j)$は次の性質を持つ。

${\hat{T}}_j(x_j)|r_j⟩=|r_j+x_j⟩$

また、

${\hat{T}}_j^{†}(x_j){\hat{r}}_j{\hat{T}}_j(x_j)={\hat{r}}_j+x_j\widehat{𝕀}$

(ここで $\widehat{𝕀}$ は恒等演算子である。上述の証明を参照)。

しかし $x_j$ がポテンシャルの周期 テンプレート:Mvar と一致したときは、

${\hat{T}}_j^{†}(a)V({\hat{r}}_j){\hat{T}}_j(a)=V({\hat{r}}_j+a\widehat{𝕀})=V({\hat{r}}_j)$

ハミルトニアン$\hat{H}$の運動エネルギー部分は$\widehat{𝒑}$についての関数で、任意の並進に対して不変であるため、全体のハミルトニアンは次式を満たす。

${\hat{T}}_j^{†}(a)\hat{H}{\hat{T}}_j(a)=\hat{H}$

つまりハミルトニアンは並進演算子と交換する。すなわち同時対角化することができる。よってハミルトニアンはそのような（連続でない）並進について不変である

周期的ポテンシャルでの離散並進 : ブロッホの定理

テンプレート:See also 完全結晶中のイオンは、規則正しく周期的に配列している。よってすべてのブラベー格子ベクトル テンプレート:Mvar において

$V(𝒓\mathit{+}𝑹)=V(𝒓)$

の周期性をもつポテンシャル$V(𝒓)$中の電子の問題に行き着く。

しかし完全な周期性は、理想化している。実際の固体は完全に純粋ではなく、不純物原子の周辺の状態はその他の結晶部分の状態と同じではない。さらに実際にはイオンは静止しておらず、平衡位置付近で絶えず熱振動している。これらのことが、結晶の完全な並進対称性を崩している。この問題を扱うため、問題を(a)ポテンシャルが完全に周期的である仮想的な完全結晶と、 (b)小さな摂動として扱われる完全な周期性からのずれの効果という２つの部分に分ける。固体中の電子の問題は、原理的には多電子問題である。しかし独立電子近似では、それぞれの電子は周期ポテンシャル中の１電子シュレーディンガー方程式で記述され、ブロッホ電子と呼ばれる (ブロッホ電子は周期ポテンシャルがあらゆる点で０のときは自由電子となる)。

それぞれのブラベー格子ベクトル テンプレート:Mvar について、関数 テンプレート:Math に作用したとき テンプレート:Mvar だけ変数をシフトさせる並進演算子 ${\hat{T}}_{𝑹}$ を定義する。

${\hat{T}}_{𝑹}f(𝒓)=f(𝒓+𝑹)$

並進演算子全体はアーベル群を成すため、逐次的な２回並進はそれらが作用する順番に依存しない。つまり、

${\hat{T}}_{{𝑹}_1}{\hat{T}}_{{𝑹}_2}={\hat{T}}_{{𝑹}_2}{\hat{T}}_{{𝑹}_1}={\hat{T}}_{{𝑹}_1\mathit{+}{𝑹}_2}$

さらにハミルトニアンが周期的であるとして、

${\hat{T}}_{𝑹}\hat{H}=\hat{H}{\hat{T}}_{𝑹}$

よって全てのブラベー格子ベクトル テンプレート:Mvar における${\hat{T}}_{𝑹}$とハミルトニアン テンプレート:Math は交換する演算子の集合を作る。よって テンプレート:Math の固有状態は全ての ${\hat{T}}_{𝑹}$ の同時固有状態に選ぶことができる。

$\hat{H}\psi =ℰ\psi$

${\hat{T}}_{𝑹}\psi =c(𝑹)\psi$

並進演算子の固有値 テンプレート:Math は、次の条件とつながっている。

${\hat{T}}_{{𝑹}_1}{\hat{T}}_{{𝑹}_2}={\hat{T}}_{{𝑹}_2}{\hat{T}}_{{𝑹}_1}={\hat{T}}_{{𝑹}_1\mathit{+}{𝑹}_2}$

つまり、

$\begin{array}{cc}{\hat{T}}_{{𝑹}_1}{\hat{T}}_{{𝑹}_2}\psi & =c({𝑹}_1){\hat{T}}_{{𝑹}_2}\psi \\ & =c({𝑹}_1)c({𝑹}_2)\psi \end{array}$

また、

${\hat{T}}_{{𝑹}_1\mathit{+}{𝑹}_2}\psi =c({𝑹}_1+{𝑹}_2)\psi$

よって次の関係が得られる。

$c({𝑹}_1+{𝑹}_2)=c({𝑹}_1)c({𝑹}_2)$

ここで ${𝒂}_{𝒊}$ をブラベー格子における３つの基本ベクトルとする。$x_i$ をうまく選ぶと、$c({𝒂}_{𝒊})$を常に次のような形に書くことができる。

$c({𝒂}_{𝒊})=e^{2\pi i{x}_i}$

テンプレート:Mvar が次のように一般的なブラベー格子ベクトルであるとする。

$𝑹=n_1{𝒂}_1+n_2{𝒂}_2+n_3{𝒂}_3$

このとき、

$\begin{array}{cc}c(𝑹)& =c(n_1{𝒂}_1+n_2{𝒂}_2+n_3{𝒂}_3)\\ & =c(n_1{𝒂}_1)c(n_2{𝒂}_2)c(n_3{𝒂}_3)\\ & =c({𝒂}_1{)}^{n_1}c({𝒂}_2{)}^{n_2}c({𝒂}_3{)}^{n_3}\end{array}$

$c({𝒂}_{𝒊})=e^{2\pi i{x}_i}$を代入すると、

$\begin{array}{cc}c(𝑹)& =e^{2\pi i(n_1{x}_1+n_2{x}_2+n_3{x}_3)}\\ & =e^{i𝒌\cdot 𝑹}\end{array}$

ここで$𝒌={𝒃}_1{x}_1+{𝒃}_2{x}_2+{𝒃}_3{x}_3$ は逆格子ベクトル、${𝒃}_i$ はその基底で ${𝒃}_i\cdot {𝒂}_j=2\pi {\delta }_{ij}$ を満たす。

よって全てのブラベー格子ベクトル テンプレート:Mvar で、

$\begin{array}{cc}\psi (𝒓\mathit{+}𝑹)& ={\hat{T}}_{𝑹}\psi (𝒓)\\ & =c(𝑹)\psi (𝒓)\\ & =e^{i𝒌\cdot 𝑹}\psi (𝒓)\end{array}$

となるようにハミルトニアン$\hat{H}$と${\hat{T}}_{𝑹}$の同時固有状態 $\psi$ を選ぶことができる。よって以下が成り立つ。

$\psi (𝒓\mathit{+}𝑹)=e^{i𝒌\cdot 𝑹}\psi (𝒓)$

この結果はブロッホの定理として知られる。

関連項目

• シフト作用素
• 並進対称性
• 周期関数
• 群
• 量子力学における対称性
• ブロッホ波