位置空間と運動量空間

物理学や幾何学では、密接に関連した2つのベクトル空間がある。これは通常は3次元であるが、一般的にはどんな有限次元の空間でもよい。

**位置空間**（いちくうかん、）、あるいは**実空間**（じつくうかん、）ないし**[[座標]]空間**（ざひょうくうかん、）などとも呼ばれる、は空間の全ての位置ベクトル  の集合で、長さの次元を持つ。位置ベクトルは空間中の場所を定義する。ある位置ベクトルは位置空間上の一つの点に対応づけられる。
点粒子の運動は時間を変数として位置ベクトルを与える関数によって表され、関数によって与えられる位置ベクトル全体の集合は、粒子の描く軌道に対応づけられる。

**運動量空間**（うんどうりょうくうかん、）は、系が持ちうる全ての運動量ベクトル  の集合である。
粒子の運動量ベクトルは、粒子の運動に対応し、の次元を持つ。

数学的には、位置と運動量の双対性は*[[ポントリャーギン双対性]]*の1つの例である。特に位置空間で関数  が与えられたとき、そのフーリエ変換は運動量空間における関数  となる。逆に、運動量空間の関数を逆変換したものは位置空間の関数となる。

これらの量や考えは古典物理学と量子物理学を含むすべての（微視的）理論に通底するものである。系は構成粒子の位置または運動量を用いて記述でき、どちらの形式でも考えている系について等価な情報を与える。

位置と運動量の他に、波動に対して定義すると有用な量がある。波数ベクトル （または単に"ベクトル"とも呼ばれる）は長さの逆数の次元を持ち、時間の逆数の次元を持つ角周波数  との類似性を持つ。全ての波数ベクトルの集合を**空間**という。
通常、位置  は波数  よりも直観的にわかりやすく単純であるが、固体物理学などではその逆のことが言える。

量子力学における位置と運動量の双対性について、基礎的な結果として（ハイゼンベルクの）不確定性原理とが挙げられる。不確定性原理  は、位置と運動量を同時に正確に知ることはできないことを述べている（ はそれぞれ位置と運動量の不確定性を表す。 は換算プランク定数である）。ド・ブロイの関係式  は、自由粒子の運動量と波数は互いに比例関係にあることを述べている。
ド・ブロイの関係を念頭に置き、文脈に応じて「運動量」と「波数」という言葉を使い分けることがある。しかしド・ブロイの関係は結晶中において成り立たない。

## 古典力学での位置空間と運動量空間
### ラグランジュ力学
ラグランジュ力学におけるラグランジアン  は大抵、配位空間で定義される。
ここで  は 組の一般化座標である。
オイラー＝ラグランジュ方程式は次のように書ける。
:\frac{d}{dt}\frac{\partial L}{\partial \dot{q}_i} = \frac{\partial L}{\partial q_i} \,,\quad \dot{q}_i \equiv \frac{dq_i}{dt}\,. 
ここでドット記号  は1階時間微分を表す。
各一般化座標について、対応する正準運動量を
: p_i = \frac{\partial L}{\partial \dot{q}_i} \,, 
と定義すると、オイラー＝ラグランジュ方程式は次のように変形される。
:\dot{p}_i = \frac{\partial L}{\partial q_i} \,. 

ラグランジアンは運動量空間でも表現され、 となる。
ここで  は組の一般化運動量である。ルジャンドル変換により、一般化座標空間でのラグランジアンの全微分の変数が変更される。つまり  の全微分
:dL = \sum_{i=1}^n \left(\frac{\partial L }{\partial q_i}dq_i + \frac{\partial L }{\partial \dot{q}_i}d\dot{q}_i\right) + \frac{\partial L }{\partial t}dt\,, 
に対して、ラグランジアンの偏微分を一般化運動量の定義式およびオイラー＝ラグランジュ方程式によって書き換えると、次の関係を得る。
:dL = \sum_{i=1}^n (\dot{p}_i dq_i + p_i d\dot{q}_i ) + \frac{\partial L }{\partial t}dt\,.

更に積の微分法則を用いると、一般化座標と一般化速度による微分が、一般化運動量とその時間微分による微分に置き換えられる。
:
\begin{align}
\dot{p}_i dq_i &= d(q_i\dot{p}_i) - q_i d\dot{p}_i \\
p_i d\dot{q}_i &= d(\dot{q}_i p_i) - \dot{q}_i d p_i 
\end{align}

これらを代入し、変形すると
: 
d\left[L - \sum_{i=1}^n(q_i\dot{p}_i + \dot{q}_i p_i)\right] 
= -\sum_{i=1}^n (\dot{q}_i d p_i + q_i d\dot{p}_i) + \frac{\partial L }{\partial t}dt \,. 

ここで、運動量空間でのラグランジアン  の全微分が次のように書けるとする。
:dL' = \sum_{i=1}^n \left(\frac{\partial L'}{\partial p_i}dp_i + \frac{\partial L'}{\partial \dot{p}_i}d\dot{p}_i\right) + \frac{\partial L' }{\partial t}dt 
この2つの式を比較すると、運動量空間でのラグランジアン  と、 から導出される一般化座標はそれぞれ次のようになる。

:L' = L - \sum_{i=1}^n(q_i\dot{p}_i + \dot{q}_i p_i)\,,\quad -\dot{q}_i = \frac{\partial L'}{\partial p_i}\,,\quad -q_i = \frac{\partial L'}{\partial \dot{p}_i} \,.  

最後の2つの式を合わせると、運動量空間でのオイラー＝ラグランジュ方程式が得られる。
:\frac{d}{dt}\frac{\partial L'}{\partial \dot{p}_i} = \frac{\partial L'}{\partial p_i} \,. 
ルジャンドル変換の利点は、元々の関数と新しい関数の関係とそれらの変数が得られることである。座標形式と運動量形式の方程式はどちらも同等であり、系のダイナミクスについて同じ情報を含んでいる。この形式は、運動量や角運動量でラグランジアンが表されていても使えるため便利である。

### ハミルトン力学
ハミルトン力学では、座標または運動量の一方のみを用いるラグランジュ力学とは異なり、ハミルトン方程式は座標と運動量を対等の立場に置く。
ハミルトニアン  で表される系の運動方程式は次のように書ける。
: \dot{q}_i = \frac{\partial H}{\partial p_i} \,,\quad \dot{p}_i = - \frac{\partial H}{\partial q_i} \,. 

## 量子力学での位置空間と運動量空間

量子力学では、粒子は量子状態で記述される。量子状態は基底となる状態の重ね合わせ（すなわち加重和としての線形結合）として表すことができる。原理上は、状態の基底の集合は、空間を張るものであれば自由に選べる。
基底関数の集合として位置演算子の固有関数を選んだ場合、状態は位置空間（通常イメージする長さを単位とした空間）における波動関数 と言える。
有名な位置  についてのシュレーディンガー方程式は、位置表示における量子力学の1つの例である。

基底関数として別の演算子の固有関数を選べば、同じ状態を異なる表現を得ることができる。
もし基底関数として運動量演算子の固有状態を選べば、得られる波動関数\phi(**k**)は運動量空間における波動関数と言える。

## 実空間と逆空間との関係
波動関数の運動量表示はフーリエ変換と周波数領域の概念と関連している。
量子力学において粒子は運動量に比例する周波数を持つ（上述のド・ブロイの式）。そのため運動量成分の和として粒子を記述することは周波数成分の和として記述することと等価である（すなわちフーリエ変換） 。
このことは以下のように、ある表示から別の表示にどのように変換できるかを考えるとわかる。

### 位置空間での関数と演算子
位置空間での3次元波動関数\psi(**r**)を考えると、この関数を直交基底関数\psi*j*(**r**)の重みを付けた和として表すことができる。
:\psi(\mathbf{r})=\sum_j \phi_j \psi_j(\mathbf{r})
連続的な場合では積分として表せる。
:\psi(\mathbf{r})=\int_{\mathbf{k}{\rm-space}} \phi(\mathbf{k}) \psi_{\mathbf{k}}(\mathbf{r}) {\rm d}^3\mathbf{k}
直交基底関数\psi**k**(**r**)の集まりとして運動量演算子の固有関数に指定したとき、\psi(**r**)を再構成するのに必要な情報は\phi(**k**)が全て持つことになる。それゆえ\phi(**k**)は状態\psiの別の表現方法である。
量子力学での運動量演算子は、適当な定義域において次式で与えられる。
:\mathbf{\hat p} = -i \hbar\frac{\partial}{\partial \mathbf{r}}
また固有値は*ħ***k**で、その固有関数は、
:\psi_{\mathbf{k}}(\mathbf{r})=\frac{1}{(\sqrt{2\pi})^3} e^{i \mathbf{k}\cdot\mathbf{r}}
であるため、
:\psi(\mathbf{r})=\frac{1}{(\sqrt{2\pi})^3} \int_{\mathbf{k}{\rm-space}} \phi(\mathbf{k}) e^{i \mathbf{k}\cdot\mathbf{r}} {\rm d}^3\mathbf{k} 
よって運動量表示は位置表示とフーリエ変換によって関係していることがわかる。

### 運動量空間での関数と演算子
逆に、運動量空間における3次元波動関数\phi(**k**)は、直交基底関数\phi*j*(**k**)の重みを付けた和として表される。
:\phi(\mathbf{k})=\sum_j \psi_j \phi_j(\mathbf{k})
連続的な場合は、積分で表される。
:\phi(\mathbf{k})=\int_{\mathbf{r}{\rm-space}} \psi(\mathbf{r}) \phi_{\mathbf{r}}(\mathbf{k}) {\rm d}^3\mathbf{r}

位置演算子は次式で与えられる。
:\mathbf{\hat r} = i \hbar\frac{\partial}{\partial \mathbf p} = i\frac{\partial}{\partial \mathbf{k}}
その固有値は**r**であり、固有関数は、
:\phi_{\mathbf{r}}(\mathbf{k})=\frac{1}{(\sqrt{2\pi})^3} e^{-i \mathbf{k}\cdot\mathbf{r}}
よって同じように位置演算子の固有関数で\phi(**k**)を分解でき、それは逆フーリエ変換であることがわかる
:\phi(\mathbf{k})=\frac{1}{(\sqrt{2\pi})^3} \int_{\mathbf{r}{\rm-space}} \psi(\mathbf{r}) e^{-i \mathbf{k}\cdot\mathbf{r}} {\rm d}^3\mathbf{r} 

## 位置演算子と運動量演算子のユニタリー同値性
演算子**r**と**p**はユニタリー同値であり、そのユニタリー演算子はフーリエ変換によって与えられる。
よってこれらは同じスペクトルを持つ。
物理学的に言うと、運動量空間の波動関数に作用する**p**は、（フーリエ変換の像のもとで）位置空間の波動関数に作用する**r**と同じである。

## 逆格子空間と結晶

結晶中の電子（またその他の粒子）の**k**の値は、標準的な運動量ではなく大抵その結晶運動量と関係している。
よって**k**と**p**は単純な比例ではなく、異なる役割を果たす。
その例としてk·p摂動論がある。
結晶運動量は、波が単位セルから隣のセルに波がどのように変化するのかを記述する包絡波のようなものであるが、それぞれの単位セルの中で波がどのように変化するのかという情報は与えない。

**k**が実際の運動量の代わりに結晶運動量に関係していても**k**空間はやはり意味をもち有用であるが、上述の結晶ではない**k**空間とはいくつか異なる点がある。
例えば結晶の**k**空間では逆格子と呼ばれる無数の点があり、それらは**k** = **0**の点と「等価」である（これはエイリアシングに似ている）。
同じように第一ブリュアンゾーンは有限の大きさの**k**空間であり、全ての**k**はこの領域中のただ１つの点と「等価」である。

## 脚注

### 注釈

### 出典

## 参考文献
* 
* 
* 

## 関連項目
* 位相空間 (物理学)
* 逆格子空間（または波数空間）
* 配位空間