位置空間と運動量空間

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

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

運動量空間（うんどうりょうくうかん、テンプレート:Lang-en-short）は、系が持ちうる全ての運動量ベクトル テンプレート:Math の集合である。 粒子の運動量ベクトルは、粒子の運動に対応し、テンプレート:Mathの次元を持つ。

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

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

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

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

古典力学での位置空間と運動量空間

ラグランジュ力学

ラグランジュ力学におけるラグランジアン テンプレート:Math は大抵、テンプレート:仮リンクで定義される。 ここで テンプレート:Math は テンプレート:Mvar組の一般化座標である。 オイラー＝ラグランジュ方程式は次のように書ける。

$\frac{d}{dt}\frac{\partial L}{\partial {\dot{q}}_i}=\frac{\partial L}{\partial q_i},{\dot{q}}_i\equiv \frac{d{q}_i}{dt}.$

ここでドット記号 テンプレート:Math は1階時間微分を表す。 各一般化座標について、対応する正準運動量を

$p_i=\frac{\partial L}{\partial {\dot{q}}_i},$

と定義すると、オイラー＝ラグランジュ方程式は次のように変形される。

${\dot{p}}_i=\frac{\partial L}{\partial q_i}.$

ラグランジアンは運動量空間でも表現されテンプレート:Sfn、テンプレート:Math となる。 ここで テンプレート:Math はテンプレート:Mvar組の一般化運動量である。ルジャンドル変換により、一般化座標空間でのラグランジアンの全微分の変数が変更される。つまり テンプレート:Mvar の全微分

$dL=\sum _{i=1}^n(\frac{\partial L}{\partial q_i}d{q}_i+\frac{\partial L}{\partial {\dot{q}}_i}d{\dot{q}}_i)+\frac{\partial L}{\partial t}dt,$

に対して、ラグランジアンの偏微分を一般化運動量の定義式およびオイラー＝ラグランジュ方程式によって書き換えると、次の関係を得る。

$dL=\sum _{i=1}^n({\dot{p}}_{i}d{q}_i+p_{i}d{\dot{q}}_i)+\frac{\partial L}{\partial t}dt.$

更に積の微分法則を用いると、一般化座標と一般化速度による微分が、一般化運動量とその時間微分による微分に置き換えられる。

$\begin{array}{cc}{\dot{p}}_{i}d{q}_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{array}$

これらを代入し、変形すると

$d[L-\sum _{i=1}^n(q_i{\dot{p}}_i+{\dot{q}}_i{p}_i)]=-\sum _{i=1}^n({\dot{q}}_{i}d{p}_i+q_{i}d{\dot{p}}_i)+\frac{\partial L}{\partial t}dt.$

ここで、運動量空間でのラグランジアン テンプレート:Math の全微分が次のように書けるとする。

$d{L}^{\prime }=\sum _{i=1}^n(\frac{\partial L^{\prime }}{\partial p_i}d{p}_i+\frac{\partial L^{\prime }}{\partial {\dot{p}}_i}d{\dot{p}}_i)+\frac{\partial L^{\prime }}{\partial t}dt$

この2つの式を比較すると、運動量空間でのラグランジアン テンプレート:Math と、テンプレート:Math から導出される一般化座標はそれぞれ次のようになる。

$L^{\prime }=L-\sum _{i=1}^n(q_i{\dot{p}}_i+{\dot{q}}_i{p}_i),-{\dot{q}}_i=\frac{\partial L^{\prime }}{\partial p_i},-q_i=\frac{\partial L^{\prime }}{\partial {\dot{p}}_i}.$

最後の2つの式を合わせると、運動量空間でのオイラー＝ラグランジュ方程式が得られる。

$\frac{d}{dt}\frac{\partial L^{\prime }}{\partial {\dot{p}}_i}=\frac{\partial L^{\prime }}{\partial p_i}.$

ルジャンドル変換の利点は、元々の関数と新しい関数の関係とそれらの変数が得られることである。座標形式と運動量形式の方程式はどちらも同等であり、系のダイナミクスについて同じ情報を含んでいる。この形式は、運動量や角運動量でラグランジアンが表されていても使えるため便利である。

ハミルトン力学

ハミルトン力学では、座標または運動量の一方のみを用いるラグランジュ力学とは異なり、ハミルトン方程式は座標と運動量を対等の立場に置く。 ハミルトニアン テンプレート:Math で表される系の運動方程式は次のように書ける。

${\dot{q}}_i=\frac{\partial H}{\partial p_i},{\dot{p}}_i=-\frac{\partial H}{\partial q_i}.$

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

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

基底関数として別の演算子の固有関数を選べば、同じ状態を異なる表現を得ることができる。 もし基底関数として運動量演算子の固有状態を選べば、得られる波動関数$\varphi$(k)は運動量空間における波動関数と言えるテンプレート:Sfnテンプレート:Page number。

実空間と逆空間との関係

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

位置空間での関数と演算子

位置空間での3次元波動関数$\psi$(r)を考えると、この関数を直交基底関数$\psi$_j(r)の重みを付けた和として表すことができる。

$\psi (𝐫)=\sum _j{\varphi }_j{\psi }_j(𝐫)$

連続的な場合では積分として表せる。

$\psi (𝐫)=\underset{𝐤\mathrm{-}\mathrm{s}\mathrm{p}\mathrm{a}\mathrm{c}\mathrm{e}}{\int }\varphi (𝐤){\psi }_{𝐤}(𝐫){\mathrm{d}}^3𝐤$

直交基底関数$\psi$_k(r)の集まりとして運動量演算子の固有関数に指定したとき、$\psi$(r)を再構成するのに必要な情報は$\varphi$(k)が全て持つことになる。それゆえ$\varphi$(k)は状態$\psi$の別の表現方法である。 量子力学での運動量演算子は、適当な定義域において次式で与えられる。

$\widehat{𝐩}=-i\hslash \frac{\partial }{\partial 𝐫}$

また固有値はħkで、その固有関数は、

${\psi }_{𝐤}(𝐫)=\frac{1}{(\sqrt{2\pi }{)}^3}{e}^{i𝐤\cdot 𝐫}$

であるため、

$\psi (𝐫)=\frac{1}{(\sqrt{2\pi }{)}^3}\underset{𝐤\mathrm{-}\mathrm{s}\mathrm{p}\mathrm{a}\mathrm{c}\mathrm{e}}{\int }\varphi (𝐤)e^{i𝐤\cdot 𝐫}{\mathrm{d}}^3𝐤$

よって運動量表示は位置表示とフーリエ変換によって関係していることがわかる。

運動量空間での関数と演算子

逆に、運動量空間における3次元波動関数$\varphi$(k)は、直交基底関数$\varphi$_j(k)の重みを付けた和として表される。

$\varphi (𝐤)=\sum _j{\psi }_j{\varphi }_j(𝐤)$

連続的な場合は、積分で表される。

$\varphi (𝐤)=\underset{𝐫\mathrm{-}\mathrm{s}\mathrm{p}\mathrm{a}\mathrm{c}\mathrm{e}}{\int }\psi (𝐫){\varphi }_{𝐫}(𝐤){\mathrm{d}}^3𝐫$

位置演算子は次式で与えられる。

$\widehat{𝐫}=i\hslash \frac{\partial }{\partial 𝐩}=i\frac{\partial }{\partial 𝐤}$

その固有値はrであり、固有関数は、

${\varphi }_{𝐫}(𝐤)=\frac{1}{(\sqrt{2\pi }{)}^3}{e}^{-i𝐤\cdot 𝐫}$

よって同じように位置演算子の固有関数で$\varphi$(k)を分解でき、それは逆フーリエ変換であることがわかる

$\varphi (𝐤)=\frac{1}{(\sqrt{2\pi }{)}^3}\underset{𝐫\mathrm{-}\mathrm{s}\mathrm{p}\mathrm{a}\mathrm{c}\mathrm{e}}{\int }\psi (𝐫)e^{-i𝐤\cdot 𝐫}{\mathrm{d}}^3𝐫$

位置演算子と運動量演算子のユニタリー同値性

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

逆格子空間と結晶

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

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

参考文献

• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book

関連項目

• 位相空間 (物理学)
• 逆格子空間（または波数空間）
• テンプレート:仮リンク