並進演算子 (量子力学)

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

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

## 位置の固有ケットと波動関数への作用
並進演算子 \hat{T}(\boldsymbol{x}) は粒子や場を  だけ動かす。したがって、位置演算子の固有状態  （つまり粒子の位置が確実に  の状態）に \hat{T}(\boldsymbol{x}) を作用させると、その位置は  に移る。
:\hat{T}(\boldsymbol{x})|\boldsymbol{r}\rangle = |\boldsymbol{r}+\boldsymbol{x}\rangle

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

これら２つの記述が等価であることの例を示す。状態  は、波動関数 \psi(\boldsymbol{r}) = \delta(\boldsymbol{r} - \boldsymbol{a}) に対応する(ここで  はディラックのデルタ関数)。一方で状態 \hat{T}(\boldsymbol{x})|\boldsymbol{a}\rangle = |\boldsymbol{a}+\boldsymbol{x}\rangleは、波動関数 \psi'(\boldsymbol{r}) = \delta(\boldsymbol{r} - (\boldsymbol{a} + \boldsymbol{x})) に対応する。これらは \psi'(\boldsymbol{r}) = \psi(\boldsymbol{r} - \boldsymbol{x})を満足する。

:{| class="toccolours mw-collapsible mw-collapsed" width="90%" style="text-align:left"
!**波動関数への並進演算子の作用のより一般的な導出:**
|-
|
位置演算子  はオブザーバブルであるため、その固有ベクトルの全体  \left\{|\boldsymbol r\rangle\right\}  はの基底をなす。 よってそれぞれのケットを、 \left\{|\boldsymbol r\rangle\right\}  表示の波動関数で特徴づけることができる。
:  \psi(\boldsymbol r) = \langle \boldsymbol r|\psi\rangle 
 \left\{|\boldsymbol r\rangle \right\}表示で

ケット  \boldsymbol{\hat r}|\psi\rangle の \left\{|\boldsymbol r\rangle \right\}
表示の波動関数を考える。

位置演算子  はエルミートで、 は位置演算子  の固有値  についての固有ベクトルであることを用いると、
:  \langle \boldsymbol r|\boldsymbol{\hat r}|\psi\rangle = \boldsymbol r\langle \boldsymbol r|\psi\rangle = \boldsymbol r\psi(\boldsymbol r) 

よって \left\

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

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

(正準)運動量演算子は、原点近くでの並進演算子の勾配として定義される。
 = i \hbar \left(\nabla \hat{T}(\boldsymbol{x})\right)_{\text{at }\boldsymbol{x}=\boldsymbol{0}}
|cellpadding
|border
|border colour = #50C878
|background colour = #ECFCF4}}
ここで  は換算プランク定数である。より具体的に書くと、 はベクトル演算子(つまり3つの演算子(\hat{p}_x, \hat{p}_y, \hat{p}_z)からなるベクトル)で、例えば\hat{p}_xは次のように定義される。
:\hat{p}_x = i\hbar \lim_{a \rightarrow 0} \frac{\hat T(a \boldsymbol e_{x}) - \hat{\mathbb{I}}}{a}
ここで\hat{\mathbb{I}}は恒等演算子、 は  方向の単位ベクトルである。\hat{p}_y, \hat{p}_zも同じように定義される。これは、 の最も一般的な定義である。

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

波動関数\psi(\boldsymbol{x})で表される１つの粒子の場合、 はよりはっきりとした便利な形で書ける。
:\begin{align} \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{align}
また３次元では、
:\boldsymbol{\hat{p}} = -i\hbar \nabla
のように、位置空間の波動関数に作用する演算子として書ける。これは  のよく知られた量子力学的な表現だが、ここではより基本的な出発点から導出した。

### 運動量演算子で表した並進演算子
ここまで  を並進演算子から定義した。逆に、並進演算子を  の関数として描くこともできる。並進演算子を  分割し、その極限をとった無限小並進は  で表すことができる。
:\begin{align}\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{align}
よって最終的に得られる表現は、
{\hbar}\right) = 1 - \frac{i\boldsymbol x\cdot\boldsymbol{\hat p}}{\hbar} - \frac{(\boldsymbol x\cdot\boldsymbol{\hat p})^2}{2\hbar^2} + \frac{i(\boldsymbol x\cdot\boldsymbol{\hat p})^3}{6\hbar^3} + \cdots
|cellpadding
|border
|border colour = #50C878
|background colour = #ECFCF4}}
ここでexpは演算子の指数関数で、右辺はテイラー級数展開である。 が非常に小さなときは、次のように近似的に表せる。
:\hat T(\boldsymbol x) \approx 1 - i \boldsymbol x \cdot \boldsymbol{\hat p} / \hbar

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

これらの関係が正しいことを確認するには、位置空間の波動関数に作用する並進演算子をテイラー展開すれば良い。指数関数をすべての次数に展開すれば、
:\begin{align}\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{align}
よってもし関数が複素平面のある領域において解析的であれば、すべての並進演算子は予想された関数の並進を生成する。

## 並進演算子の性質

### 逐次的な並進
粒子や場を  だけ動かした後  だけ動かしたとき、 だけ動かしたことになる。
:\hat T(\boldsymbol{x}_1) \hat T(\boldsymbol{x}_2) = \hat T(\boldsymbol{x}_1 + \boldsymbol{x}_2)
:

### 逆
並進演算子は可逆で、その逆は
:(\hat T(\boldsymbol{x}))^{-1} = \hat T(-\boldsymbol{x})
:
### 他の並進演算子との交換
:\hat T(\boldsymbol{x})\hat T(\boldsymbol{y}) = \hat T(\boldsymbol{y})\hat T(\boldsymbol{x})
:
### ユニタリー性
並進演算子はユニタリーで、特に、
: (\hat T(\boldsymbol{x}))^\dagger = (\hat T(\boldsymbol{x}))^{-1}
:
並進演算子がユニタリーであることは、運動量演算子がエルミートであることを示している。

### ブラへの作用
並進演算子が位置基底でのブラに作用すると、
: \langle \boldsymbol r| \hat T(\boldsymbol x) = \langle \boldsymbol r - \boldsymbol x|   
:

### 各成分への分割
上述の「逐次的な並進」の性質から、ベクトル \boldsymbol{x} = (x,y,z) による並進は、成分方向への並進の積として書くことができる。
:\hat{T}(\boldsymbol{x}) = \hat{T}(x\boldsymbol e_x)\hat{T}(y\boldsymbol e_y)\hat{T}(z\boldsymbol e_z)
ここで  は単位ベクトル。

### 位置演算子との交換子
並進演算子と位置演算子の交換子は、以下のように書ける。
: [\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)
:
これは上述の性質を利用して、次のようにも書ける。
: \hat T^{-1}(\boldsymbol x)\boldsymbol{\hat r}\hat T(\boldsymbol x) = \boldsymbol{\hat r} + \boldsymbol x\hat{\mathbb{I}}
ここで\hat{\mathbb{I}}は恒等演算子である。

### 運動量演算子との交換子
並進演算子は互いに交換し、また運動量演算子はスケール化された無限小並進演算子の和であるため、並進演算子は運動量演算子と交換する。すなわち、
:\hat T(\boldsymbol{x}) \hat{\boldsymbol{p}} = \hat{\boldsymbol{p}}\hat T(\boldsymbol{x})

## 並進群
全ての \boldsymbol xについての並進演算子  \hat T(\boldsymbol x) の集合  \mathfrak{T} は、逐次的な並進（すなわち関数の合成）の結果として定義される乗法の演算について、
群のすべての公理を満たす。
:* **閉包:** ２回続けて並進した結果は、別の１回の並進となる（上述の「逐次的な並進」を参照）。
:* **単位元の存在:** ベクトル**0**だけの並進は恒等演算子となる。すなわち演算子は何も影響も与えない。これは群の単位元として機能する。
:* **全ての元は逆元をもつ:** すでに証明した通り、どんな並進演算子 \hat T(\boldsymbol{x}) も、逆並進  \hat T(-\boldsymbol x) を逆元として持つ。
:* **結合性:** \hat T(\boldsymbol{x}_1)\left (\hat T(\boldsymbol{x}_2) \hat T(\boldsymbol{x}_3)\right ) = \left (\hat T(\boldsymbol{x}_1)\hat T(\boldsymbol{x}_2)\right )\hat T(\boldsymbol{x}_3)となることを要求する。これは関数の合成に基づくすべての群の場合のように、定義により正しい。 
よって全ての  での並進演算子  \hat T(\boldsymbol x) の集合  \mathfrak{T} は群をなす 。この**並進群**は連続的に無限個の元をもつ連続群である。さらに並進演算子は互いに交換する、すなわち２回並進（２回続けた並進）はその順番に依らない。よって並進群はアーベル群である。

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

## 並進された状態の位置と運動量の期待値
１次元における１つの粒子を考える。古典力学とは違い、量子力学において粒子ははっきり定まった位置も運動量も持たない。量子力学の定式化では、期待値が古典変数として働く。たとえば粒子が状態 |\psi\rangle にあったとき、位置の期待値は \langle \psi | \boldsymbol{\hat r} | \psi \rangle である。ここで  は位置演算子である。

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

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

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

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

### 連続並進対称性

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

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

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

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

このことはエーレンフェストの定理から得られる(運動量演算子 \hat{\boldsymbol p} が時間に依存しないため）。
:\begin{align} & \left[\hat H,\hat T(\boldsymbol x)\right]=0\\
& \Rightarrow [\hat H,\hat{\boldsymbol p}]=0 \\
& \Rightarrow \frac{\mathrm d}{\mathrm dt}\langle\hat{\boldsymbol p}\rangle= \frac{i}{\hbar}[\hat H,\hat{\boldsymbol p}]=0\end{align}
つまり系のハミルトニアンが連続並進に対して不変であれば、系は運動量保存則を持ち、運動量演算子の期待値は一定となる。これはネーターの定理の一つの例である。

### 離散並進対称性

ハミルトニアンが並進不変である特別な場合がある。この並進対称性は、ポテンシャルが周期的であるときに見られる。
: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\rangle=|r_j+x_j\rangle
また、
: \hat T_j^\dagger (x_j)\hat r_j\hat T_j(x_j)=\hat r_j+x_j\hat{\mathbb{I}}
(ここで \hat{\mathbb{I}} は恒等演算子である。上述の証明を参照)。

しかし x_j がポテンシャルの周期  と一致したときは、
: \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)
ハミルトニアン\hat Hの運動エネルギー部分は\boldsymbol{\hat p}についての関数で、任意の並進に対して不変であるため、全体のハミルトニアンは次式を満たす。
: \hat T_j^\dagger (a)\hat H\hat T_j(a)=\hat H
つまりハミルトニアンは並進演算子と交換する。すなわち同時対角化することができる。よってハミルトニアンはそのような（連続でない）並進について不変である

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

完全結晶中のイオンは、規則正しく周期的に配列している。よってすべてのブラベー格子ベクトル  において
: V(\boldsymbol{r+R})=V(\boldsymbol r ) 
の周期性をもつポテンシャル V(\boldsymbol{ r})中の電子の問題に行き着く。

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

それぞれのブラベー格子ベクトル  について、関数  に作用したとき  だけ変数をシフトさせる並進演算子  \hat T_{\boldsymbol R} を定義する。
:\hat T_{\boldsymbol R}f(\boldsymbol r)=f(\boldsymbol r+\boldsymbol R)
並進演算子全体はアーベル群を成すため、逐次的な２回並進はそれらが作用する順番に依存しない。つまり、
:\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}}
さらにハミルトニアンが周期的であるとして、
:\hat T_{\boldsymbol R}\hat H=\hat H\hat T_{\boldsymbol R}
よって全てのブラベー格子ベクトル  における \hat T_{\boldsymbol R}とハミルトニアン  は交換する演算子の集合を作る。よって  の固有状態は全ての  \hat T_{\boldsymbol R} の同時固有状態に選ぶことができる。
:\hat H\psi=\mathcal E\psi
:\hat T_{\boldsymbol R}\psi=c(\boldsymbol R)\psi
並進演算子の固有値  は、次の条件とつながっている。
:\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}}
つまり、
:\begin{align}\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{align}
また、
:\hat T_{\boldsymbol {R_1 +R_2}}\psi=c(\boldsymbol R_1+\boldsymbol R_2)\psi
よって次の関係が得られる。
:c(\boldsymbol R_1+\boldsymbol R_2)=c(\boldsymbol R_1)c(\boldsymbol R_2)
ここで \boldsymbol{a_i} をブラベー格子における３つの基本ベクトルとする。x_i をうまく選ぶと、c(\boldsymbol{a_i})を常に次のような形に書くことができる。
:c(\boldsymbol{a_i})=e^{2\pi ix_i}
 が次のように一般的なブラベー格子ベクトルであるとする。
:\boldsymbol R=n_1\boldsymbol a_1+n_2\boldsymbol a_2+n_3\boldsymbol a_3
このとき、
:\begin{align}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{align}
c(\boldsymbol{a_i})=e^{2\pi ix_i}を代入すると、
:\begin{align}c(\boldsymbol R) & =e^{2\pi i(n_1x_1+n_2x_2+n_3x_3)}\\
& = e^{i\boldsymbol k\cdot\boldsymbol R}\end{align}
ここで \boldsymbol k=\boldsymbol b_1x_1+\boldsymbol b_2x_2+\boldsymbol b_3x_3 は逆格子ベクトル、\boldsymbol b_i はその基底で \boldsymbol b_i\cdot\boldsymbol a_j=2\pi\delta_{ij} を満たす。

よって全てのブラベー格子ベクトル  で、
: \begin{align}\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{align}
となるようにハミルトニアン\hat Hと\hat T_{\boldsymbol R}の同時固有状態 \psi を選ぶことができる。よって以下が成り立つ。

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

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

## 参考文献