| この記事は 英語版の対応するページを翻訳することにより充実させることができます。(2024年6月)翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
- 英語版記事を日本語へ機械翻訳したバージョン(Google翻訳)。
- 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。
- 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。
- 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。
- 翻訳後、
{{翻訳告知|en|Matrix mechanics|…}} をノートに追加することもできます。
- Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。
|
| 出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。記事の信頼性向上にご協力をお願いいたします。(2024年6月) |
行列力学(ぎょうれつりきがく、英語: matrix mechanics)は、量子力学における理論形式の一つで、量子論をハイゼンベルク描像で行列表示で定式化したものである。マトリックス力学とも呼ばれる。1925年に物理学者ヴェルナー・ハイゼンベルクによって提唱され、マックス・ボルン、パスクアル・ヨルダンらとともに展開された。
ニールス・ボーアとアルノルト・ゾンマーフェルトの量子条件やアルベルト・アインシュタインの光量子論に代表される前期量子論は、原子構造やその発光スペクトルの解明といった一定の成果をあげるものの、量子力学的な世界を体系的に記述する枠組みを与えるものではなかった。1925 年、当時 23 歳でゲッティンゲン大学の講師であったハイゼンベルクは、古典的な物理描像を捨て、新しい量子力学の理論の定式化を行った。行列力学では運動量や位置などの物理量を行列を用いて表現し、ハイゼンベルクの運動方程式で自然を記述した。
行列力学が明らかにした物理量の非可換性は、量子力学における不確定性関係の構造を浮き彫りにした。古典力学では運動量や位置はある時点においては確定した(決定論的)値を持つが、量子力学では物理量の非可換性により、例えば運動量と位置とは同時に確定値を取れない。
量子力学の他の表現法としては、シュレーディンガー方程式で記述される波動力学、ファインマンの経路積分法などが存在する。行列力学と波動力学は対立していたが、後にこの 2 つの理論は等価であることが波動力学を構築したエルヴィン・シュレーディンガーによって証明され、共に量子力学の基礎的理論となった。行列力学は量子論をハイゼンベルク描像で行列表示で定式化したものであり、波動力学は量子論をシュレーディンガー描像で位置表示の波動関数で定式化したものである。
理論体系[編集]
ハイゼンベルク、ボルン、ヨルダンによって構築された行列力学の理論は次のようにまとめられる。
行列としての力学量[編集]
力学量A は 2 つの添え字 (m, n) で指定される要素の総体 {Amn(t)}、すなわち無限次元の行列として表現される。行列としての力学量 A において、その各成分は下記に示すように
という振動形の時間依存性を持つ。
![{\displaystyle A_{mn}(t)=A_{mn}e^{2\pi i\nu _{mn}t}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/455792b83cd06a9f5769d8c229ac8488fc5d6371)
ここで振動数 νmn は リッツの結合法則
![{\displaystyle \nu _{lm}+\nu _{mn}=\nu _{ln}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/913a20f573a6fd804e76c168df99ca3dbee27ca9)
を満たし、特にνnn=0である。また A はエルミート行列であり、
![{\displaystyle A_{mn}=A_{nm}^{*}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/407345e242b6e5e3d8ff1e963072637a60626261)
が成り立つ。
位置と運動量の正準交換関係[編集]
位置座標と運動量に対応する行列 X, P は同時刻で、次の正準交換関係を満たす。
![{\displaystyle [X,P]=XP-PX=i\hbar I}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f2d27dca72c67b8fe50ac9b0fab36547a3d94a9)
ここで I は対角成分がすべて 1 で、それ以外の成分が 0 である単位行列である。
多自由度の系であれば、
![{\displaystyle [X_{i},P_{j}]=i\hbar \delta _{ij}I}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f51f1ebb0f51ba1566479cb584e1ba1c6b11b642)
![{\displaystyle [X_{i},X_{j}]=[P_{i},P_{j}]=0\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5650a53cbf1a974fd5a684b667322e4062e7ed7)
である。
力学量の時間発展[編集]
力学量 A=A(X, P) の時間発展はハイゼンベルクの運動方程式
![{\displaystyle i\hbar {\frac {dA}{dt}}=[A,H]=AH-HA}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3cb0befbbe836e070bb7c2febfb1a34e00b94e0)
で記述される。ここで H は系のハミルトニアンに対応するエルミート行列である。
エネルギー固有値と時間発展[編集]
行列力学において、ハミルトニアンH(x, p ) はエネルギー固有値Enを成分とする対角行列
![{\displaystyle H(x,p)={\begin{pmatrix}E_{0}&0&0&\ldots \\0&E_{1}&0&\ldots \\0&0&E_{2}&\ldots \\\vdots &\vdots &\vdots &\ddots \\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/555e21bbcf7d448079917e37de093b27ab99b5ed)
として与えられる。これは、ハミルトニアン自身に対するハイゼンベルクの運動方程式が
![{\displaystyle i\hbar {\frac {dH}{dt}}=[H,H]=HH-HH=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/04d8c189bf79fac88f6719b6f2c985c629c0d0f1)
であり、対応するハミルトニアンの行列要素
が
![{\displaystyle i\hbar {\frac {d}{dt}}H_{mn}(t)=-2\pi \hbar \nu _{mn}H_{mn}e^{2\pi i\nu _{mn}t}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/456e44f469bb8b3333ba0ecf9cfb86394504f64f)
を満たし、
と表せることからの帰結である。
ハミルトニアンが対角行列であること及び同様の考察から、物理量A の各行列要素
における振動数νmnは、
![{\displaystyle \nu _{mn}={\frac {2\pi (E_{m}-E_{n})}{\hbar }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28ba1f6586f78a3245f55069701486150b134392)
の関係を満たすことがわかる。すなわち、系の時間発展はエネルギー固有値Enで定まる。
具体例[編集]
行列力学における具体例として、ボルンとヨルダンによって考察された1次元の調和振動子を考える。このとき、ハミルトニアンは
![{\displaystyle H(x,p)={\frac {p^{2}}{2m}}+{\frac {m\omega ^{2}x^{2}}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1362e7f78d512c5ba20f70470702987a7dcfb7c2)
である。
正準交換関係を満たし、かつハミルトニアンを対角化する(時間に依らない)行列X、P として
![{\displaystyle X={\sqrt {\frac {\hbar }{2m\omega }}}{\begin{pmatrix}0&1&0&0&\ldots \\1&0&{\sqrt {2}}&0&\ldots \\0&{\sqrt {2}}&0&{\sqrt {3}}&\ldots \\0&0&{\sqrt {3}}&0&\ldots \\\vdots &\ \vdots &\vdots &\vdots &\ddots \\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c0d3f56151878916cec04b368e1797cc37c9bfd7)
![{\displaystyle P={\sqrt {\frac {\hbar m\omega }{2}}}{\begin{pmatrix}0&-1&0&0&\ldots \\1&0&-{\sqrt {2}}&0&\ldots \\0&{\sqrt {2}}&0&-{\sqrt {3}}&\ldots \\0&0&{\sqrt {3}}&0&\ldots \\\vdots &\ \vdots &\vdots &\vdots &\ddots \\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ee8352be5f4d1d3de9293b2b27af39b5971e009)
がとれる。このX、P はハミルトニアンを次のように対角化する。
![{\displaystyle H(x(t),p(t))=H(X,P)={\frac {\hbar \omega }{2}}{\begin{pmatrix}1&0&0&0&\ldots \\0&3&0&0&\ldots \\0&0&5&0&\ldots \\0&0&0&7&\ldots \\\vdots &\ \vdots &\vdots &\vdots &\ddots \\\end{pmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/46f44b25e573c9c92bf43c66aad4ac210b04608c)
すなわち、エネルギー固有値は
![{\displaystyle E_{n}=\hbar \omega {\biggr (}n+{\frac {1}{2}}{\biggr )}\quad (n=0,1,2,\cdots )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/927289a81563b32396093c2417fc649295f8364e)
となる。
参考文献[編集]
- W. Heisenberg (1925). “Über quantentheoretische Umdeutung kinematischer und mechanischer Beziehungen”. Zeitschrift für Physik 33: 879-893.
- M. Born; P. Jordan (1925). “Zur Quantenmechanik”. Zeitschrift für Physik 34: 858-888.
- M. Born; W. Heisenberg and P. Jordan (1926). “Zur Quantenmechanik II”. Zeitschrift für Physik 35: 557-615.
- 高林武彦『量子論の発展史』筑摩書房〈ちくま学芸文庫〉、2002年。ISBN 4-480-08696-X。
- 朝永振一郎『量子力学I』みすず書房、1952年。
関連項目[編集]