水素様原子に対するKlein-Gordon方程式
非相対論的水素(様)原子については様々な解法があり、その豊富な解法には隠れた数理構造があることはこのブログで多数紹介している。
例えばレビュー記事としてまとめている。
【レビュー】非相対論的水素原子Schrödinger方程式における力学的対称性 - adhara’s blog
一方、相対論的水素原子においては非相対論的水素原子において存在していた 対称性に基づく縮退が破れる。
このことをKlein-Gordon方程式を解くことで見ようというのが、本記事である。
この記事を書くモチベーションとしては、相対論的水素原子に関する力学的対称性に関する様々な文献*1の存在がある。
ノートの構成は以下の様になっている。
- 問題設定
- エネルギースペクトル導出の準備
- エネルギースペクトルの導出
以下、ノートに詳細を記す。
Klein-Gordon.pdf - Google ドライブ
まとめと今後の展望
Klein-Gordn方程式では、非相対論的な問題では存在していた高度な対称性が失われることを見た。
次は水素原子に対するDirac方程式についても高度な対称性が失われることを見る。
共形変換代数so(4,2)
Minkowski空間 におけるMaxwell方程式はLorentz対称性に加えて共形対称性(conformal symmetry)をもつ。
本記事では共形対称性に対応する共形変換代数 について紹介する。
- 表記について
- ミンコフスキー距離を保つ微小な線形座標変換
- 狭義Lorentz変換とリー代数
- 並進演算子
- Poincaré対称性とリー代数
- Minkowski距離が0の場合にこれを保つ微小線形変換
- 伸長演算子
- 反転演算子
- 伸長演算子と反転演算子の関係
- 特殊共形変換演算子
- 共形変換代数
- コメント
- リファレンス
表記について
以下の議論ではEinsteinの縮約が使われる。
テンソルの上付き添え字は反変成分に、下付き添え字は共変成分に対応する。
ここで計量テンソル を導入したが、これを行列として表示した場合に
となるように定義している。時間成分は第0成分、空間成分は第1,2,3成分とする。
また反変ベクトルに対して、 は を表すものとする。
ミンコフスキー距離を保つ微小な線形座標変換
微小な線形座標変換
について考える。
微小座標変換がミンコフスキー距離 を保つとは、
が の範囲で成立することを言う。
このとき、右辺において となる項を無視すると、
が成立する。
すなわち、
が成立し、が反対称テンソルであることすなわち、
を要請する。
ミンコフスキー距離を保つ微小な線形変換は、Minkowski空間における狭義回転すなわち狭義Lorentz変換に対応する。
狭義Lorentz変換とリー代数
狭義回転演算子を としたとき、これに期待される役割は の範囲で反対称テンソル を用いて
と書けること、すなわち反対称テンソル を用いて
と書けることである。
このとき、 は、
と書ける。
ここで、狭義回転演算子
を導入すると、
が成立する。
ここで、同士の交換関係をリーブラケットと解釈すると、これらの演算子はリー代数 をなすことがわかる。
すなわち、
が成立する。
また、は基底をなし、リー代数の次元は6であることもわかる。
並進演算子
Minkowski 空間は並進対称性をもつ。
並進演算子を としたとき、これに期待される役割は の範囲で
と書けること、すなわち
と書けることである。
このとき、 は、
と書ける。
ここで、並進演算子
を導入すると、
と書ける。
明らかに
である。
Poincaré対称性とリー代数
並進演算子と狭義Lorentz変換演算子がなす代数はPoincaré代数と呼ばれ、Minkowski空間の対称性であるPoincaré対称性を記述する。
両演算子の間では交換関係
が成立する。
Poincaré代数はリー代数としては と同型である。
Minkowski距離が0の場合にこれを保つ微小線形変換
再び微小な線形座標変換
について考える。
微小座標変換がミンコフスキー距離 を保つとは、
が の範囲で成立することを言う。
このとき、狭義Lorentz変換に対応する微小線形変換に限らず、
のときも成立する。
これは計量を定数倍するものであり、スケール変換あるいは伸長変換(dilation)に対応するものである。
伸長演算子
座標を 倍する伸長演算子を としたとき、これに期待される役割は の範囲で
と書けること、すなわち
と書けることである。
すなわち、伸長演算子
を導入して、
と書ける。
伸長演算子とPoincaré代数を合わせたリー代数においては、次の交換関係が成立する。
このリー代数はスケール不変性を保つ理論について議論する際に必要となる。
反転演算子
反転変換(inversion)あるいは反転演算子という概念を導入する。
共形対称性を保つ理論を考える際には必須となる演算子である。
離散変換
を反転変換と呼び、対応する演算子を反転演算子と呼ぶ。
反転演算子は
となる性質を持つ。
また、 とした時に座標変換のヤコビアンは
である。
特殊共形変換演算子
反転演算子 は原点の変換について特異的な性質を持っており、扱いやすいものではない。
ところが のような演算子を考えると、これは特異性を持たない。
この演算子を特殊共形変換演算子と呼ぶ。
この演算子を求めよう。
まず、
となる。
ここで を用いると、
となる。
すなわち、
となる。
共形変換代数
Poincaré代数の各演算子と伸長演算子と特殊共形変換演算子がなす代数を共形変換代数という。
次の交換関係が成立する。
共形変換代数はリー代数としては と同型であるが、それを見通しよくするために、 として、
を導入する。
これを用いると、 は共形変換代数の基底をなすことがわかる。(次元は15)
そして、元の計量テンソルを拡張した新たな6次元の計量テンソル を導入する。
負の符号をもつ第(−1)成分と、正の符号をもつ第4成分が加わったことになる。
この計量テンソルを用いると、交換関係は
のように統一的に書かれることがわかる。
すなわち共形変換代数がリー代数としては と同型であることが明確となった。
コメント
共形変換代数は任意の次元のEuclid空間 やLorentz空間 に一般化できる。
すなわち、今回紹介したMinkowski空間 と同様の手法で共形変換代数を構成できる。
Euclid空間 の場合は共形変換代数は、 となり、Lorentz空間 の場合は共形変換代数は、 となる。
非相対論的水素原子の束縛状態スペクトルを経路積分により求める方法 〜Duru-Kleinert変換〜
数回に分けて、水素様原子に対する(非相対論的)束縛状態エネルギースペクトル
を求めるための8通りの解法を紹介する予定である。
- E. Schrödingerによる波動方程式解法(ラゲール陪多項式を用いる)
- W. Pauliによるso(4)代数を用いる解法
- su(1,1)代数を用いた解法
- 因数分解を用いた解法
- V. Fockによる運動量表示を用いた解法
- E. Schrödinger、P. S. Epstein、I. Wallerらによる波動方程式解法(放物線座標表示の解)
- Kustaanheimo-Stiefel 変換を用いた解法
- 経路積分を用いる方法
本記事では第八弾の経路積分を用いた方法を紹介する。
Schrödinger方程式のグリーン関数を経路積分によって計算するのだが、その際にDuru-Kleinert変換を用いることを特徴とする。
特に Grosche, C. (1993). An introduction into the Feynman path integral. arXiv preprint hep-th/9302097. を参考にした。
以下にノートを貼り付ける。
水素原子の経路積分.pdf - Google ドライブ
今後の展望
SO(4,2)代数構造との関連性、水素原子のコヒーレント状態について書く。
リファレンス
主に参考にした論文
Grosche, C. (1993). An introduction into the Feynman path integral. arXiv preprint hep-th/9302097.
Kustaanheimo-Stiefel (KS)変換の元論文は
クーロンポテンシャルのプロパゲータについては
Schwinger, J. (1964). Coulomb Green's function. Journal of Mathematical Physics, 5(11), 1606-1608.
Hostler, L. (1964). Coulomb Green's functions and the Furry approximation. Journal of Mathematical Physics, 5(5), 591-611.
経路積分とプロパゲータの一般的な話については
Feynman, R. P. (1948). Space-time approach to non-relativistic quantum mechanics. Reviews of Modern Physics, 20(2), 367.
Path integral formulation - Wikipedia
Propagator - Wikipedia
量子力学と経路積分 | R.P. ファインマン, A.R. ヒッブス, Richard P. Feynman, Albert R. Hibbs, 北原 和夫 |本 | 通販 | Amazon
Amazon | Path Integrals and Quantum Processes (Dover Books on Physics) | Swanson, Mark S. | Quantum Theory
経路積分による水素原子プロパゲータ計算については
Duru–Kleinert transformation - Wikipedia
Duru, I. H., & Kleinert, H. (1982). Quantum Mechanics of H? Atom from Path Integrals. Fortschritte der Physik, 30(8), 401-435.
Duru, I. H., & Kleinert, H. (1979). Solution of the Path Integral for the H-Atom. Physics Letters B, 84(2), 185-188.
Ho, R., & Inomata, A. (1982). Exact-path-integral treatment of the Hydrogen atom. Physical Review Letters, 48(4), 231.
Inomata, A. (1984). Alternative exact-path-integral treatment of the hydrogen atom. Physics Letters A, 101(5-6), 253-257.
臨時別冊・数理科学2017年6月「量子力学の探究」~ 多面的理解で築く現代物理の基礎 ~ 仲 滋文(前日本大学教授) 著
Path Integrals in Quantum Mechanics, Statistics, Polymer Physics, and Financial Markets/著者のページでも手に入ります。
ラゲール多項式やラゲール陪多項式のプロット
ラゲール多項式やラゲール陪多項式をSageMath(jupyter notebookバージョン)でプロットしてみた。
これらの定義はリファレンスや関連記事に詳しい。
SageMathにおいてラゲール多項式自体はここにあるように定義されているのだが、あえて
合流型超幾何関数を用いて定義した。
170507_Laguerre functions.pdf - Google ドライブ
SageMathについて
SageMathは内部でLaTeXを使えるので、グラフ中に数式を書いたりするのに大変便利である。
SageMath の jupyter notebook バージョンはインタラクティブに操作できるので便利である。
SageMath では数式から LaTeX のコードを生成することが可能である。
リファレンス
- M. Abramowitz and I. A. Stegun: "Handbook of Mathematical Functions With Formulas, Graphs, and Mathematical Tables", (1964) National Bureau of Standards Applied Mathematics Series 55. http://www.amazon.co.jp/Handbook-Mathematical-Functions-Formulas-Mathematics/dp/0486612724
- G. B. Arfken, H. J. Weber: "Mathematical Methods For Physicists", 6th edition (2005), ELSEVIER. http://www.amazon.co.jp/Mathematical-Methods-Physicists-Seventh-Edition/dp/0123846544
- N. N. Lebedev: "Special Functions & Their Applications", translated and edited by R. A. Silverman , (1965), Prentice-Hall, INC. http://www.amazon.co.jp/Special-Functions-Applications-Mathematics/dp/0486606244
- L. I. Schiff: "Quantum Mechanics" 3rd edition (1968), McGraw-Hill, INC. http://www.amazon.co.jp/Quantum-Mechanics-Pure-Applied-Physics/dp/0070552878
- Laguerre polynomials - Wikipedia
- Classical orthogonal polynomials - Wikipedia
- Orthogonal polynomials - Wikipedia
エルミート多項式をラゲール関数で書く。
エルミート(Hermite)多項式をラゲール(Laguerre)関数で書き換える、ということを行う。
合流型超幾何関数を用いたラゲール関数の定義
この記事においてラゲール関数はラゲール陪多項式に出てくる指数を非整数に拡張したものを意味するものとする。
指数が非整数となるラゲール関数はもはや多項式にはならないので、以前紹介した母関数やロドリゲス表示によって定義することは叶わない。
定義としては第一種合流型超幾何関数(例えばこちらを参照)を採用するのが良いと考えられる。(上記のラゲールの陪微分方程式を満たすことが示される)
すなわち、
で定義される。(ここでは は自然数で は非整数でも良い。ただし を非整数とするさらなる拡張も可能である。)
ここで第一種合流型超幾何関数は、
で定義される。( と書くこともある。)
しばしば出てくるポッホハマー記号 は特殊関数の文脈では
で定義される。(組み合わせ論の文脈では異なる定義となっているので注意。)
このとき、ラゲール関数はラゲールの陪微分方程式
の解となっていることがわかる。
エルミート多項式の定義と諸性質
エルミート多項式をここでは母関数を用いて定義する。
すなわち、
でエルミート多項式たち を定義する。
このとき、 を 回 微分して を代入することにより、ロドリゲス表示
を得る。
また、 を 微分することにより関係式
を得る。
さらに、 を 微分することにより関係式
を得る。
上の二つの関係式を合わせることにより、エルミートの微分方程式
を得る。
エルミート多項式をラゲール関数で書く。
まず、 とする。
の変数変換を行うと、、となることから、エルミートの微分方程式は
となる。
また、 と置いて同様に の変数変換を行うと、
となる。
ラゲールの陪微分方程式と見比べると、偶数次のエルミート多項式については一つ目の変数変換微分方程式を参照することにより、
となることがわかる。
奇数次のエルミート多項式については二つ目の変数変換微分方程式を参照することにより、
となることがわかる。
エルミート多項式の偶奇性より、 でも同じ表式であることがわかる。
エルミート多項式の第一種合流型超幾何関数による表示
ラゲール陪多項式の第一種合流型超幾何関数による表示と見比べることで、エルミート多項式も第一種合流型超幾何関数を用いて表示することができる
偶数次については
となり、奇数次については
となる。
リファレンス
- M. Abramowitz and I. A. Stegun: "Handbook of Mathematical Functions With Formulas, Graphs, and Mathematical Tables", (1964) National Bureau of Standards Applied Mathematics Series 55. Amazon CAPTCHA
- G. B. Arfken, H. J. Weber: "Mathematical Methods For Physicists", 6th edition (2005), ELSEVIER. Amazon.co.jp: Mathematical Methods for Physicists, Seventh Edition: A Comprehensive Guide: George B. Arfken, Hans J. Weber, Frank E. Harris: 洋書
- N. N. Lebedev: "Special Functions & Their Applications", translated and edited by R. A. Silverman , (1965), Prentice-Hall, INC. Amazon CAPTCHA
- L. I. Schiff: "Quantum Mechanics" 3rd edition (1968), McGraw-Hill, INC. Amazon.co.jp: Quantum Mechanics (Pure & Applied Physics): L. I. Schiff: 洋書
- Laguerre polynomials - Wikipedia
- Classical orthogonal polynomials - Wikipedia
- Orthogonal polynomials - Wikipedia
- Hermite polynomials - Wikipedia
- Confluent hypergeometric function - Wikipedia
- Coulomb wave function - Wikipedia
- Hypergeometric Functions — Sage Reference Manual v7.6: Functions
- Confluent Hypergeometric Function of the First Kind -- from Wolfram MathWorld
- Maxima 5.40.0 Manual: 15. Special Functions
- Pochhammer Symbol -- from Wolfram MathWorld
- Falling and rising factorials - Wikipedia
- ポッホハマー記号 - Wikipedia