位置と運動量を表す物理空間、フーリエ変換双対
物理学 と 幾何学 には、密接に関連した 2 つの ベクトル空間 があり 、通常は 3 次元 ですが、一般には任意の有限次元です。
位置空間 ( 実空間 または 座標 空間とも呼ばれる) は、 ユークリッド空間 内のすべての 位置ベクトル r の集合であり 、 長さ の 次元を持ちます。位置ベクトルは空間内の点を定義します。( 点粒子 の位置ベクトルが時間とともに変化すると、 粒子の 軌跡で あるパスを描きます。) 運動量空間 は、物理システムが持つことができるすべての 運動量ベクトル pの集合です。粒子の運動ベクトルは、単位が [質量][長さ][時間] −1 であるその運動に対応します 。
数学的には、位置と運動量の双対性は ポンチャギン双対性 の一例です。特に、 関数が 位置空間で与えられている場合、 f ( r )、その フーリエ変換 により運動量空間の関数 φ ( p ) が得られます。逆に、運動量空間関数の逆フーリエ変換は位置空間関数です。
これらの量や考え方は古典物理学や量子物理学のすべてを超越しており、物理システムは構成粒子の位置かその運動量のいずれかを使用して記述することができ、どちらの定式化も、検討中のシステムについて同等に同じ情報を提供します。別の量は、 波 のコンテキストで定義すると便利です。 波動ベクトル k (または単に「 k ベクトル」) は 長さの逆数の次元を持ち、 時間 の逆数の次元を持つ 角周波数 ω の類似物になります 。すべての波動ベクトルの集合は k 空間 です。通常、 r は k よりも直感的で単純ですが、 固体物理学 などではその逆も当てはまります 。
量子力学は、 位置と運動量の二重性に関する 2 つの基本的な例を提供している 。1 つは、位置と運動量を同時に任意の精度で知ることはできないとするハイゼンベルクの不確定性原理 Δ x Δ p ≥ ħ /2 であり、 もう 1 つは、自由粒子の運動量と波数ベクトルが互いに比例することを示すド・ブロイ関係 p = ħ k で ある 。 [ 1 ] [ 2 ] この は、明確な場合は、「 運動量 」と「波数ベクトル」という用語は同じ意味で使用されている。ただし、ド・ブロイ関係は結晶では当てはまらない。
古典力学
ラグランジアン力学
ラグランジュ力学 では 、ラグランジュ L ( q , d q / dt , t ) は 配置空間 にあり 、 q = ( q 1 , q 2 ,..., q n ) は 一般 化座標 の n 組です 。 オイラー・ラグランジュの運動方程式 は、
d
d
t
∂
ら
∂
q
˙
私
=
∂
ら
∂
q
私
、
q
˙
私
≡
d
q
私
d
t
。
{\displaystyle {\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つのオーバードットは1つ の時間微分を 表す)。各一般化座標に対する正準運動量の定義を導入すると、
オイラー・ラグランジュ方程式は次のようになる。
p
私
=
∂
ら
∂
q
˙
私
、
{\displaystyle p_{i}={\frac {\partial L}{\partial {\dot {q}}_{i}}}\,,}
p
˙
私
=
∂
ら
∂
q
私
。
{\displaystyle {\dot {p}}_{i}={\frac {\partial L}{\partial q_{i}}}\,.}
ラグランジアンは運動量空間 でも 表現できる。 [4] L ′( p , d p / dt , t )、ここで p = ( p 1 , p 2 , ..., p n ) は 一般化運動量の n 組である。一般化座標空間ラグランジアンの
全微分 における変数を変更するために ルジャンドル変換が 実行される。
ここで、一般化運動量の定義とオイラー・ラグランジュ方程式は L の偏微分に置き換えられている。 微分 積分則 [注 1] により、一般化座標と速度の微分を一般化運動量の微分とその時間微分と交換することができ、
置換後には次のように簡略化され、整理される。
d
ら
=
∑
私
=
1
ん
(
∂
ら
∂
q
私
d
q
私
+
∂
ら
∂
q
˙
私
d
q
˙
私
)
+
∂
ら
∂
t
d
t
=
∑
私
=
1
ん
(
p
˙
私
d
q
私
+
p
私
d
q
˙
私
)
+
∂
ら
∂
t
d
t
、
{\displaystyle 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=\sum _{i=1}^{n}({\dot {p}}_{i}dq_{i}+p_{i}d{\dot {q}}_{i})+{\frac {\partial L}{\partial t}}dt\,,}
p
˙
私
d
q
私
=
d
(
q
私
p
˙
私
)
−
q
私
d
p
˙
私
{\displaystyle {\dot {p}}_{i}dq_{i}=d(q_{i}{\dot {p}}_{i})-q_{i}d{\dot {p}}_{i}}
p
私
d
q
˙
私
=
d
(
q
˙
私
p
私
)
−
q
˙
私
d
p
私
{\displaystyle p_{i}d{\dot {q}}_{i}=d({\dot {q}}_{i}p_{i})-{\dot {q}}_{i}dp_{i}}
d
[
ら
−
∑
私
=
1
ん
(
q
私
p
˙
私
+
q
˙
私
p
私
)
]
=
−
∑
私
=
1
ん
(
q
˙
私
d
p
私
+
q
私
d
p
˙
私
)
+
∂
ら
∂
t
d
t
。
{\displaystyle 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}dp_{i}+q_{i}d{\dot {p}}_{i})+{\frac {\partial L}{\partial t}}dt\,.}
さて、運動量空間ラグランジアンL ′
の全微分は、
ラグランジアン、運動量、およびそれらの時間微分を比較することにより、運動量空間ラグランジアン L ′と L ′から導かれる一般化座標は それぞれ次のようになる。
d
ら
′
=
∑
私
=
1
ん
(
∂
ら
′
∂
p
私
d
p
私
+
∂
ら
′
∂
p
˙
私
d
p
˙
私
)
+
∂
ら
′
∂
t
d
t
{\displaystyle 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}
ら
′
=
ら
−
∑
私
=
1
ん
(
q
私
p
˙
私
+
q
˙
私
p
私
)
、
−
q
˙
私
=
∂
ら
′
∂
p
私
、
−
q
私
=
∂
ら
′
∂
p
˙
私
。
{\displaystyle 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つの方程式を組み合わせると、運動量空間のオイラー・ラグランジュ方程式が得られる。
d
d
t
∂
ら
′
∂
p
˙
私
=
∂
ら
′
∂
p
私
。
{\displaystyle {\frac {d}{dt}}{\frac {\partial L'}{\partial {\dot {p}}_{i}}}={\frac {\partial L'}{\partial p_{i}}}\,.}
ルジャンドル変換の利点は、新しい関数と古い関数およびその変数の関係がプロセス中に得られることです。方程式の座標形式と運動量形式はどちらも同等であり、システムのダイナミクスに関する同じ情報を含んでいます。この形式は、運動量または角運動量がラグランジアンに入るときに、より役立つ場合があります。
ハミルトン力学
ハミルトン力学 では 、座標 か運動量のどちらか一方だけを使用するラグランジアン力学とは異なり、ハミルトンの運動方程式は座標と運動量を同等に扱います。ハミルトン H ( q , p , t )を持つシステムの場合 、方程式は次のようになります。
q
˙
私
=
∂
H
∂
p
私
、
p
˙
私
=
−
∂
H
∂
q
私
。
{\displaystyle {\dot {q}}_{i}={\frac {\partial H}{\partial p_{i}}}\,,\quad {\dot {p}}_{i}=-{\frac {\partial H}{\partial q_{i}}}\,.}
量子力学
量子力学 では 、粒子は 量子状態によって記述される。この量子状態は 基底状態 の 重ね合わせ として表すことができる。原理的には、基底状態が 状態 空間 に広がる 限り、基底状態の集合は自由に選択できる。 位置演算子 の (一般化)固有関数 を基底関数の集合として選択すると 、状態は 位置空間 における 波動関数 ψ ( r ) として表現される。位置 r に関するよく知られた シュレーディンガー方程式 は、位置表現における量子力学の例である。 [5]
異なる演算子の固有関数を基底関数の集合として選択することで、同じ状態のさまざまな表現に到達できます。 運動量演算子 の固有関数を基底関数の集合として選択すると、結果として得られる波動関数は 運動量空間 の波動関数と呼ばれます 。 [5]
ϕ
(
け
)
{\displaystyle \phi (\mathbf {k} )}
量子力学の特徴は、位相空間が離散変数、回転子、連続変数の3つのタイプに分けられることです。以下の表は、3種類の位相空間に関係するいくつかの関係をまとめたものです。 [6]
離散変数 (DV)、回転子 (ROT)、連続変数 (CV) 位相空間における共役変数間の関係の比較と要約 (arXiv:1709.04460 より引用)。物理的に関連する位相空間のほとんどは、これら 3 つの組み合わせで構成されています。各位相空間は位置と運動量で構成され、その可能な値は局所コンパクト アーベル群とその双対から取得されます。量子力学的状態はいずれかの変数で完全に表現でき、位置空間と運動量空間の間を移動するために使用される変換は、3 つのケースのそれぞれにおいて、フーリエ変換の変形です。表では、ブラケット表記法と、標準交換関係 (CCR) を説明する数学用語を使用しています。
相互関係
波動関数の運動量表現とド・ブロイ関係は、 フーリエ反転定理および 周波数領域 の概念と密接に関連している 。 自由粒子は 運動量に比例する 空間周波数 を持つため、粒子を周波数成分の合計として記述することは、運動量空間における「 十分に良い 」波動関数のフーリエ変換として記述することと同等である 。
け
=
|
け
|
=
2
π
/
λ
{\displaystyle k=|\mathbf {k} |=2\pi /\lambda }
p
=
|
p
|
=
ℏ
け
{\displaystyle p=|\mathbf {p} |=\hbar k}
位置スペース
位置空間 ψ ( r ) に3 次元の 波動関数があるとすると、この関数は直交基底関数 ψ j ( r ) の加重和として記述できます。または、連続の場合は積分として記述できます。関数の集合、たとえば運動量演算子の固有関数の集合を指定すると、関数は ψ ( r ) を 再
構築 する ため に 必要 な すべて の情報を保持し 、したがって状態 の代替記述となること
は明らかです 。
ψ
(
r
)
=
∑
じゅう
ϕ
じゅう
ψ
じゅう
(
r
)
{\displaystyle \psi (\mathbf {r} )=\sum _{j}\phi _{j}\psi _{j}(\mathbf {r} )}
ψ
(
r
)
=
∫
け
-空間
ϕ
(
け
)
ψ
け
(
r
)
d
3
け
{\displaystyle \psi (\mathbf {r} )=\int _{\mathbf {k} {\text{-space}}}\phi (\mathbf {k} )\psi _{\mathbf {k} }(\mathbf {r} )\mathrm {d} ^{3}\mathbf {k} }
ψ
k
(
r
)
{\displaystyle \psi _{\mathbf {k} }(\mathbf {r} )}
ϕ
(
k
)
{\displaystyle \phi (\mathbf {k} )}
ψ
{\displaystyle \psi }
座標表現では、 運動量演算子は適切な定義 域を持つ
( 分母表記については 行列計算を 参照)で与えられる 。 固有関数 はであり
、 固有値は ħ k で ある。したがって
、運動量表現はフーリエ変換による位置表現と関連していることがわかる。 [8]
p
^
=
−
i
ℏ
∂
∂
r
{\displaystyle \mathbf {\hat {p}} =-i\hbar {\frac {\partial }{\partial \mathbf {r} }}}
ψ
k
(
r
)
=
1
(
2
π
)
3
e
i
k
⋅
r
{\displaystyle \psi _{\mathbf {k} }(\mathbf {r} )={\frac {1}{({\sqrt {2\pi }})^{3}}}e^{i\mathbf {k} \cdot \mathbf {r} }}
ψ
(
r
)
=
1
(
2
π
)
3
∫
k
-space
ϕ
(
k
)
e
i
k
⋅
r
d
3
k
{\displaystyle \psi (\mathbf {r} )={\frac {1}{({\sqrt {2\pi }})^{3}}}\int _{\mathbf {k} {\text{-space}}}\phi (\mathbf {k} )e^{i\mathbf {k} \cdot \mathbf {r} }\mathrm {d} ^{3}\mathbf {k} }
運動量空間
逆に、運動量空間における3次元波動関数は、 直交基底関数の加重和 、
または積分として表すことができる。
ϕ
(
k
)
{\displaystyle \phi (\mathbf {k} )}
ϕ
j
(
k
)
{\displaystyle \phi _{j}(\mathbf {k} )}
ϕ
(
k
)
=
∑
j
ψ
j
ϕ
j
(
k
)
,
{\displaystyle \phi (\mathbf {k} )=\sum _{j}\psi _{j}\phi _{j}(\mathbf {k} ),}
ϕ
(
k
)
=
∫
r
-space
ψ
(
r
)
ϕ
r
(
k
)
d
3
r
.
{\displaystyle \phi (\mathbf {k} )=\int _{\mathbf {r} {\text{-space}}}\psi (\mathbf {r} )\phi _{\mathbf {r} }(\mathbf {k} )\mathrm {d} ^{3}\mathbf {r} .}
運動量表現では、 位置演算子は
、固有関数
と 固有値 rとともに
で与えられます 。したがって、この演算子の固有関数に関して同様の分解 を行うことができ、これは逆フーリエ変換であることがわかります。 [8]
r
^
=
i
ℏ
∂
∂
p
=
i
∂
∂
k
{\displaystyle \mathbf {\hat {r}} =i\hbar {\frac {\partial }{\partial \mathbf {p} }}=i{\frac {\partial }{\partial \mathbf {k} }}}
ϕ
r
(
k
)
=
1
(
2
π
)
3
e
−
i
k
⋅
r
{\displaystyle \phi _{\mathbf {r} }(\mathbf {k} )={\frac {1}{\left({\sqrt {2\pi }}\right)^{3}}}e^{-i\mathbf {k} \cdot \mathbf {r} }}
ϕ
(
k
)
{\displaystyle \phi (\mathbf {k} )}
ϕ
(
k
)
=
1
(
2
π
)
3
∫
r
-space
ψ
(
r
)
e
−
i
k
⋅
r
d
3
r
.
{\displaystyle \phi (\mathbf {k} )={\frac {1}{({\sqrt {2\pi }})^{3}}}\int _{\mathbf {r} {\text{-space}}}\psi (\mathbf {r} )e^{-i\mathbf {k} \cdot \mathbf {r} }\mathrm {d} ^{3}\mathbf {r} .}
ユニタリ同値
位置演算子と運動量演算子は ユニタリ同値 であり、 ユニタリ演算子は フーリエ変換、つまり振動子ハミルトニアンによって生成される位相空間の 1/4 サイクル回転によって明示的に与えられます。したがって、それらは同じ スペクトル を持ちます。物理的な言葉で言えば、運動量空間の波動関数に作用する p は、位置空間の波動関数に作用する r と同じです ( フーリエ変換の
イメージの下で)。
逆格子空間と結晶
結晶内の 電子 (または他の 粒子 )の場合、 k の値はほとんどの場合 、通常の運動量ではなく 結晶運動量に関連します。したがって、 k と p は 単純に 比例する のではなく、異なる役割を果たします。 例については、 k·p 摂動法を 参照してください。結晶運動量は、波が 1 つの 単位セル から次の単位セルまでどのように変化するかを説明する 波のエンベロープ のようなものですが、波が各単位セル内でどのように変化するかについては何も情報を提供しません
。
k が 真の運動量ではなく結晶の運動量に関係する 場合、 k 空間の概念は依然として意味があり、非常に有用ですが、上で説明した非結晶 k 空間とはいくつかの点で異なります。たとえば、結晶の k空間には、 逆格子 と呼ばれる点の無限の集合があり 、これは k = 0に「相当」します (これは エイリアシング に類似しています )。同様に、「 第 1 ブリルアン ゾーン」は k 空間の有限の体積であり 、あらゆる可能な k はこの領域内の 1 つの点に「相当」します。
参照
注記
^ 2つの関数 u と v の場合、積の微分は d ( uv ) = udv + vdu です。
^ ハンド、ルイス・N; フィンチ、ジャネット・D (1998)。解析力学。ケンブリッジ大学出版局。p. 190。ISBN 978-0-521-57572-0 。
^ ab ペレグ、Y.;プニーニ、R.ザールル、E.ヘクト、E. (2010)。 量子力学 (シャウムの概要シリーズ) (第 2 版)。マグロウヒル。 ISBN 978-0-07-162358-2 。
^ Albert, Victor V; Pascazio, Saverio; Devoret, Michel H (2017). 「一般位相空間: 離散変数から回転子および連続体の限界まで」. Journal of Physics A: Mathematical and Theoretical . 50 (50): 504002. arXiv : 1709.04460 . doi :10.1088/1751-8121/aa9314. S2CID 119290497.
^ ab R. ペンローズ (2007). 現実への道 . ヴィンテージ本. ISBN 978-0-679-77631-4 。
参考文献
Ballentine, Leslie E (1998). 量子力学 . WORLD SCIENTIFIC. doi :10.1142/3142. ISBN 978-981-02-2707-4 。
アイスバーグ、R.; レスニック、R. (1985)。 原子、分子、固体、核、粒子の量子物理学 (第 2 版)。ジョン ワイリー アンド サンズ 。ISBN 978-0-471-87373-0 。
Hall, BC (2013). 数学者のための量子理論 . 数学の大学院テキスト. 第267巻. Springer. 書誌コード :2013qtm..book.....H. ISBN 978-1461471158 。