【執筆中】水素原子の数理物理のおこり

1. 水素原子のエネルギー準位の発見と量子力学の創設
2. エネルギーの偶然縮退と力学的対称性の発見
3. 因数分解解法と超対称性代数構造の発見
4. スペクトル生成代数と力学的群の発見
5. Kustaanheimo–Stiefel 変換による正則化と Hopf fibration
6. 経路積分
7. 水素原子の一般化コヒーレント状態
8. 参考文献

水素原子が量子論の中心問題になった出発点は，理論ではなく分光学でした．Balmer は可視光領域の水素発光線に簡潔な数式的規則性があることを見いだし [Balmer_1885]，Rydberg はそれをより一般的なスペクトル公式へ拡張しました [Rydberg_1889]．この公式は，水素原子のスペクトル線が単なる経験的な線の集まりではなく，整数で番号づけられる「項」の差として整理できることを示していました．現在の記法では，水素スペクトル系列はおおよそ

$$\frac{1}{\lambda}=R_{\mathrm H}\left(\frac{1}{m^2}-\frac{1}{n^2}\right),\qquad n>m$$

と書かれます．Balmer 系列は $m=2$ に対応しますが，その後，紫外領域の Lyman 系列，赤外領域の Paschen・Brackett・Pfund・Humphreys 系列が発見され，Rydberg 型の規則性が水素原子全体のスペクトル構造を貫くことが明らかになりました [Lyman_1906] [Lyman_1914] [Paschen_1908] [Brackett_1922] [Pfund_1924] [Humphreys_1953]．

この経験則に最初の力学的解釈を与えたのが Bohr の原子模型でした．Bohr は，電子の軌道運動に量子条件を課すことで，水素原子のエネルギーが離散的な値だけを取り，発光・吸収スペクトルが準位差として生じることを示しました [Bohr_1913a] [Bohr_1913b] [Bohr_1913c]．Sommerfeld は作用変数の量子化を用いて楕円軌道や相対論的補正を取り入れ，前期量子論を精密化しました [Sommerfeld_1916]．この枠組みでは，非相対論的な水素様原子の束縛状態エネルギーは

$$E_n=-\frac{\mu}{2\hbar^2}\left(\frac{Z e^2}{4\pi\varepsilon_0}\right)^2\frac{1}{n^2}$$

という形で表されます．ここで $\mu$ は換算質量であり，核を無限に重いとみなす近似では $\mu\simeq m_e$ です．スペクトル線の振動数は $h\nu=E_n-E_m$ によって与えられるため，Rydberg 公式の整数構造は，エネルギー準位の離散化として理解されるようになりました．

しかし，Bohr–Sommerfeld 理論は水素原子のエネルギー準位を驚くほどうまく説明した一方で，それはまだ完全な量子力学ではありませんでした．スペクトル線の強度や選択則，多電子原子，異常 Zeeman 効果，摂動を受けた原子の一般的な扱いなどでは，軌道という古典的描像に量子条件を重ねる方法の限界が現れました．つまり，Rydberg 公式と前期量子論によって「準位」は見えてきたものの，その準位を生む Hilbert 空間，演算子，波動関数，確率解釈の枠組みはまだ成立していなかったのです．

1925 年から 1926 年にかけて，この状況は急速に変わります．Heisenberg は，電子軌道そのものではなく観測可能な遷移量を基本に置く行列力学を提案し [Heisenberg_1925]，Born と Jordan，さらに Born–Heisenberg–Jordan は，非可換な行列演算として新しい力学を整備しました [BornJordan_1925] [BornHeisenbergJordan_1926]．Dirac も Poisson 括弧と交換子の対応を明確化し，量子力学の基本方程式を定式化しました [Dirac_1925]．

水素原子は，この新しい力学の試金石でもありました．Pauli は Schrödinger 方程式の解を待たずに，角運動量と Laplace–Runge–Lenz ベクトルに対応する保存量の代数を用いて，行列力学の立場から水素スペクトルを導きました [Pauli_1926]．Dirac も 1926 年に “Quantum Mechanics and a Preliminary Investigation of the Hydrogen Atom” を発表し，q-number 力学による水素原子の予備的解析を行いました [Dirac_1926]．この Dirac の仕事は，通常の三次元水素原子の完全解というより，軌道面内の二次元的模型を足場にした初期の試みとして位置づけると見通しがよいと思われます．

一方，Schrödinger は波動力学を提案し，固有値問題として水素原子のスペクトルを導きました [Schrödinger_1926a]．その後の一連の論文で波動力学の構造，摂動論，時間依存形式を整え [Schrödinger_1926b] [Schrödinger_1926d] [Schrödinger_1926e]，さらに Heisenberg–Born–Jordan の行列力学と自らの波動力学が等価であることを示しました [Schrödinger_1926c]．英語圏へは Physical Review の論文によって波動力学が広く紹介されます [Schrödinger_1926f]．こうして水素原子は，経験的スペクトル公式，前期量子論，新量子力学の三つを結びつける中心的な舞台となりました．

球対称ポテンシャルでは，空間回転対称性 \(SO(3)\) によって角運動量が保存し，波動関数は球面調和関数と動径関数に分離されます．このため，同じ角運動量量子数 \(l\) に対して磁気量子数 \(m=-l,\dots,l\) による \(2l+1\) 重縮退が現れます．しかし水素原子では，束縛状態のエネルギーが主量子数 \(n\) のみで決まり，同じ \(n\) に属する異なる \(l\) の状態も同じエネルギーを持ちます．この縮退は単なる \(SO(3)\) 回転対称性からは説明できず，「偶然縮退」と呼ばれることがあります．

この偶然縮退の背後にあるのが，古典 Kepler 問題ですでに知られていた Laplace–Runge–Lenz ベクトルです．角運動量 \(\boldsymbol{L}\) が軌道面の向きを保存する量であるのに対し，LRL ベクトル \(\boldsymbol{A}\) は楕円軌道の長軸方向を指定する保存量と見ることができます．したがって Kepler 問題では，単に中心力であることによる回転対称性だけでなく，軌道の形と向きをさらに固定する追加の保存量が存在しています．

量子力学においてこの隠れた保存量を最初期に活用したのが Pauli です．Pauli は Schrödinger 方程式の通常の微分方程式解法に頼らず，角運動量と量子化された LRL ベクトルの交換関係を用いて水素原子のエネルギースペクトルを代数的に導きました．束縛状態では，適切に規格化した LRL ベクトルと角運動量が合わさって \(\mathfrak{so}(4)\) 代数を作ります．この \(\mathfrak{so}(4)\simeq \mathfrak{su}(2)\oplus\mathfrak{su}(2)\) 構造により，エネルギー準位ごとの縮退度 \(n^2\) が表現論的に説明されます．

Fock はこの構造を別の角度から見抜きました．運動量表示の Schrödinger 方程式を立体射影によって四次元超球面 \(S^3\) 上の積分方程式へ移すことで，束縛状態の問題に \(SO(4)\) 回転対称性が現れることを明らかにしました．この見方では，水素原子の偶然縮退は三次元空間の回転対称性ではなく，運動量空間を \(S^3\) に持ち上げたときの四次元回転対称性として理解されます．

Bargmann は，Pauli の代数的解法と Fock の幾何学的解法の関係を整理し，両者が同じ隠れた \(SO(4)\) 構造を異なる言葉で捉えていることを明確にしました．Pauli の方法では LRL ベクトルが交換関係の中に現れ，Fock の方法では \(S^3\) の回転として現れます．Bargmann の議論は，この二つの見方をつなぐことで，水素原子の偶然縮退が偶然ではなく，隠れた対称性の反映であることを鮮明にしました．

運動学的対称性と力学的対称性

このような対称性は，通常の時空の対称性から直ちに読み取れるものではありません．空間回転や並進のように，配置空間や時空の幾何から直接従う対称性を運動学的対称性と呼ぶならば，LRL ベクトルに対応する対称性は，特定の Hamiltonian，すなわち Coulomb ポテンシャルの形に深く依存しています．束縛状態の水素原子に現れる \(SO(4)\) は，単なる運動学的対称性ではなく，力学的対称性の典型例と見ることができます．

力学的対称性という言葉で重要なのは，対称性が「空間そのもの」からではなく，「運動方程式または Hamiltonian の特殊な形」から生じるという点です．Coulomb ポテンシャル \(-1/r\) では LRL ベクトルが保存し，等方調和振動子 \(r^2\) では Fradkin テンソル，あるいは Jauch–Hill–Fradkin 型の保存量が現れます．この二つの系は，どちらも通常の回転対称性を超えた追加の保存量を持ち，古典的には閉じた軌道を持ち，量子論では大きな縮退を示します．

Bertrand の定理と二つの特別な中心力

この事実は Bertrand の定理と関連づけることができます．Bertrand の定理は，すべての有界軌道が閉じる中心力ポテンシャルは，Newton 型の \(-1/r\) ポテンシャルと等方調和振動子型の \(r^2\) ポテンシャルに限られる，という古典力学の定理です．

等方調和振動子でも，Jauch–Hill，Fradkin，Demkov らによって，通常の回転対称性を超える保存量と力学的対称性が詳しく研究されました．水素原子における LRL ベクトルが Kepler 楕円の向きを保存するのに対し，等方調和振動子では対称テンソル型の保存量が軌道の形を特徴づけます．この対応は，「水素原子だけが特別」なのではなく，「Coulomb 系と等方振動子系が，中心力系の中で特別な二大可解模型である」ことを示しています．

超可積分系への発展

その後，Smorodinsky–Winternitz らは，球対称性を仮定しないより広い Hamiltonian 系の中で，水素原子や等方調和振動子と同様に追加保存量を持つ系を系統的に探索しました．この流れは，のちに超可積分系の研究へと発展します．超可積分系とは，大まかに言えば，自由度の数より多くの独立な保存量を持つ系であり，古典論では軌道の強い制約や周期性，量子論では代数的なスペクトル計算や特殊関数との結びつきとして現れます．

この観点から見ると，水素原子の \(SO(4)\) 対称性は，単に水素原子スペクトルをうまく説明する技巧ではありません．それは，のちの超可積分系，二次代数，直交多項式，変数分離理論へつながる典型例です．Kepler–Coulomb 系と等方調和振動子は，現代的な言葉では最大超可積分系の代表例であり，その研究は Smorodinsky–Winternitz 系，Higgs 代数，Racah 代数などの話題にも接続していきます．

多重分離性：球座標だけではない水素原子

水素原子の高い対称性は，変数分離の多様性にも現れます．通常の教科書では球座標による解法がまず説明されますが，Coulomb ポテンシャルでは放物線座標でも Schrödinger 方程式を変数分離できます．球座標分離では角運動量 \(\boldsymbol{L}^2,L_z\) が前面に出るのに対し，放物線座標分離では LRL ベクトルの一成分と関係する量が前面に現れます．

放物線座標は，水素原子の束縛状態を別の量子数で分類するためだけの道具ではありません．一様電場を加えた Stark 効果では，電場の方向が一つの特別な軸を選ぶため，球対称性は壊れますが，放物線座標を用いると問題の構造を自然に捉えることができます．実際，Schrödinger は 1926 年の固有値問題に関する論文の第三報で Stark 効果を扱い，同じ時期に Epstein や Waller も水素原子の Stark 効果を波動力学の立場から研究しました．

また，放物線座標は散乱問題を考える際にも有用です．Coulomb ポテンシャルは長距離力であるため，平面波に対する単純な散乱理論だけでは扱いにくい面がありますが，入射方向を特別な軸として選ぶ放物線座標は，Coulomb 散乱の構造と相性がよい座標系です．このように，放物線座標は Stark 効果，散乱問題，そして束縛状態の縮退構造をつなぐ役割を果たしています．

複数の変数分離法が存在することは，単なる計算上の便利さではなく，隠れた対称性の反映です．水素原子で球座標分離と放物線座標分離が共存することは，超可積分系でしばしば見られる multiseparability の原型と見ることができます．同じ Hamiltonian に対して，球座標では角運動量が，放物線座標では LRL ベクトルの一成分が自然に現れるという事実は，水素原子の高い対称性を変数分離の側から見たものだと言えます．Kalnins，Miller，Winternitz らによる超可積分系の研究では，追加の対称性と複数の変数分離座標系の関係が重要な主題となりました．水素原子は，その最も古典的で重要な例の一つです．

水素原子の解法としては，級数解法や群論的解法がよく知られていますが，もう一つの重要な流れに因数分解解法があります．これは二階の Schrödinger 方程式を，一階微分演算子の積として分解し，隣り合う量子数をもつ固有関数を互いに結び付ける方法です．調和振動子の生成消滅演算子がその最も単純な例ですが，水素原子の動径方程式に対しても同様の発想が有効に働きます．

Schrödinger から Infeld–Hull へ

この流れの出発点として重要なのが，1940年頃の Schrödinger 自身による因数分解解法の論文です．Schrödinger は，固有値問題を一階演算子の積へ分解することで，固有値と固有関数を直接求める方法を示しました．その後，Infeld は類似の方法をさらに発展させ，Infeld–Hull の 1951年の総説 “The Factorization Method” によって，因数分解解法は多くの可解ポテンシャルを統一的に扱う体系として整理されました．

水素原子の場合，球座標分離後の動径 Hamiltonian を，角運動量量子数 $l$ に依存する一階演算子 $A_l,A_l^\dagger$ の積として表すことができます．すると，$l$ と $l+1$ の動径問題が互いに組になり，異なる角運動量をもつ動径波動関数の間に演算子的な対応が生まれます．この見方では，Laguerre 多項式の漸化式や微分公式も，単なる特殊関数の恒等式ではなく，Hamiltonian の因数分解から生じる関係として理解できます．

特殊関数論としての因数分解

犬井鉄郎『特殊函数』のような日本語の古典的文献でも，特殊関数の微分方程式，漸化式，昇降演算子の関係が重視されています．犬井は因数分解解法の発見者ではありませんが，直交多項式や特殊関数を，量子力学の固有値問題を解くための単なる「関数表」ではなく，演算子的・構造的に扱うことの重要性を早い段階で認識していた文献として位置づけられます．水素原子で現れる Laguerre 多項式や，調和振動子で現れる Hermite 多項式は，いずれもこの観点から見ると，因数分解解法・昇降演算子・直交多項式論が交差する典型例です．

超対称性量子力学としての再解釈

1980年代以降，因数分解解法は超対称性量子力学の言葉で再解釈されました．一次元の超対称性量子力学では，互いに組になる二つの Hamiltonian $$ H_- = A^\dagger A,\qquad H_+ = A A^\dagger $$ を一つの行列 Hamiltonian にまとめ，supercharge $Q,Q^\dagger$ によって $$ Q^2=(Q^\dagger)^2=0,\qquad \{Q,Q^\dagger\}=H_{\mathrm{SUSY}} $$ という代数を満たすようにします．この意味で，通常の因数分解解法から得られる構造は，標準的には$N=2$ 超対称性量子力学と呼んでよいものです．

水素原子の動径問題でも，角運動量 $l$ と $l+1$ に対応する有効ポテンシャルが partner Hamiltonian をなし，さらに定数のずれを除けば同じ形を保つshape invarianceを持ちます．そのため，水素原子の束縛スペクトルは，べき級数解法だけでなく，SUSY QM の一般論からも導けます．Cooper–Khare–Sukhatme のレビューや，佐々木隆『可解な量子力学系の数理物理』は，可解ポテンシャル，形状不変性，直交多項式の関係を理解するうえで有用です．

相対論的水素原子と Johnson–Lippmann 演算子

超対称性代数構造との関係は，非相対論的な動径方程式だけに限られません．Dirac 方程式で記述される相対論的水素原子にも，非相対論的 Runge–Lenz ベクトルの類似物としてJohnson–Lippmann 演算子が現れます．Johnson–Lippmann 演算子は Dirac–Coulomb Hamiltonian と可換な隠れた保存量であり，スピンを含む相対論的な Coulomb 問題の余分な縮退を説明します．

Dahl–Jørgensen は Dirac–Kepler 問題において Johnson–Lippmann 演算子と超対称性の関係を詳しく論じました．また Katsura–Aoki は，任意次元の相対論的水素原子に対して Johnson–Lippmann 演算子を一般化し，それを用いてexact $N=2$ supersymmetryを構成しました．この意味で，水素原子における SUSY QM は，単なる非相対論的動径方程式の因数分解にとどまらず，Laplace–Runge–Lenz 型の隠れた対称性，Dirac 方程式，相対論的縮退構造とも結び付いています．

水素原子に現れる Lie 代数的構造は，力学的対称性に関わるものだけではありません．まず，固定したエネルギー準位の中の縮退を説明する力学的対称性として，束縛状態では $\mathfrak{so}(4)$ が現れます．一方，異なる主量子数をもつ束縛状態を結び付けるには，ハミルトニアンと可換な保存量だけでは足りず，エネルギーを変える演算子を含むスペクトル生成代数が必要になります．

動径問題と $\mathfrak{sl}(2,\mathbf{R})$

因数分解解法の背後には，より構造的には $$ \mathfrak{su}(1,1)\simeq \mathfrak{sl}(2,\mathbf{R})\simeq \mathfrak{so}(2,1) $$ が現れます．標準的な生成子を $K_0,K_\pm$ と書けば，$$ [K_0,K_\pm]=\pm K_\pm,\qquad [K_+,K_-]=-2K_0 $$ を満たします．この代数は，水素原子の動径方程式，あるいは Coulomb–Sturmian 型の基底を整理する自然な代数として働きます．$\mathfrak{so}(4)$ が同一エネルギー準位内の角運動量縮退を説明するのに対し，$\mathfrak{sl}(2,\mathbf{R})$ は動径方向の量子数を上下させる代数として現れます．

したがって，ここでの $\mathfrak{sl}(2,\mathbf{R})$ は，「水素原子の空間回転対称性」ではなく，動径方程式を可解にするスペクトル生成的な代数です．この見方は，Schrödinger の因数分解法や，Bergmann–Frishman による水素原子と多次元調和振動子の関係，さらに現代的な $\mathfrak{su}(1,1)$ 代数解法へとつながります．

エネルギー符号ごとの力学的対称性とそれを統一する代数構造

Pauli–Fock–Bargmann の流れで現れる $\mathfrak{so}(4)$ は，主として束縛状態 $E<0$ の対称性です．しかし Coulomb 問題全体には，エネルギーの符号に応じて三つの標準的な力学的対称性が現れます：$$ E<0:\ SO(4),\qquad E=0:\ ISO(3),\qquad E>0:\ SO(3,1). $$ ここで $ISO(3)$ は三次元 Euclid 群です．これは，束縛楕円軌道，放物線軌道，双曲線散乱軌道に対応する Kepler 問題の幾何学的三分法ともよく対応します．

これら三つの対称性を別々に扱うだけでなく，一つの非コンパクト群の中で統一的に見る試みとして，$SO(4,1)$ が現れます．この群は，固定エネルギー面の対称性そのものというより，エネルギーや結合定数を動かす非不変群，あるいはスペクトル生成群として理解されます．$SO(4,1)$ の中では，$SO(4)$，$SO(3,1)$，$ISO(3)$ が異なる型の部分群・リトル群として現れるため，束縛状態，散乱状態，ゼロエネルギー状態を同じ幾何学的枠組みの中で見通せます．

$SO(4,2)$：$\mathfrak{sl}(2,\mathbf{R})$ と $SO(4,1)$ を含む大きな枠組み

さらに大きな力学的群として，水素原子には $SO(4,2)$ が現れます．これは四次元 Minkowski 空間の共形群とも同型な非コンパクト群であり，Lie 代数としては $$ \mathfrak{so}(4,2)\simeq \mathfrak{su}(2,2) $$ と書くことができます．水素原子における $SO(4,2)$ は，すべての生成子がハミルトニアンと可換な対称性群ではありません．そのため，しばしばdynamical noninvariance group，あるいはspectrum generating groupと呼ばれます．

$SO(4,2)$ の重要性は，束縛状態だけでなく，散乱状態やゼロエネルギー状態を含む Coulomb 問題の状態空間を，一つの表現論的枠組みで整理できる点にあります．歴史的には，Malkin–Man'ko が $SO(6,\mathbf{C})$ の形でこの構造に到達し，Barut–Kleinert らが非コンパクト力学群として水素原子へ応用しました．Bander–Itzykson の総説は，Pauli，Fock，Bargmann の方法を群論的に整理し，$SO(4)$，$SO(3,1)$，$SO(4,2)$ の関係を見通すうえで重要です．

Schwinger boson と振動子表示

$SO(4,2)$ を具体的に構成するうえで有効なのが，Schwinger boson，すなわちボソン生成消滅演算子の双一次式による Lie 代数の実現です．まず $SO(4)\simeq SU(2)\times SU(2)/\mathbb{Z}_2$ であることを用い，二組の二次元調和振動子から二つの $SU(2)$ を作ります．さらに四組のボソン演算子 $a_i,a_i^\dagger\ (i=1,\dots,4)$ の双一次式を考えると，四次元等方調和振動子側の大きな代数 $\mathfrak{sp}(8,\mathbf{R})$ が現れます．

このうち適切な十五個の双一次式が $\mathfrak{su}(2,2)\simeq\mathfrak{so}(4,2)$ を生成します．第5節で述べる KS 変換の立場から見ると，四次元調和振動子の $\mathfrak{sp}(8,\mathbf{R})$ の中で余分な $SO(2)$ 制約を課し，その制約と両立する部分を取り出すことで，水素原子側の $\mathfrak{so}(4,2)$ が得られると理解できます．つまり Schwinger boson 表示は，水素原子の $SO(4,2)$ と四次元調和振動子・KS 変換を結ぶ代数的な橋になっています．

四組のボソン生成消滅演算子による表示は，水素原子と四次元調和振動子のあいだに深い類似構造があることを示唆します．この類似は単なる計算上の偶然ではなく，Kepler 問題の衝突特異点を取り除く正則化の歴史，二次元・三次元の Kepler 問題を調和振動子へ移す変換，さらに Hopf fibration による幾何学的理解へとつながっています．

正則化の系譜：Euler から Levi-Civita へ

Kepler 問題では，粒子が中心力の中心へ落ち込むと $r=0$ で方程式が特異になります．この特異性を，時間変数と座標変数を取り替えることで取り除く発想は，一次元的・直線的な衝突問題を扱った Euler の研究にまで遡るものとして位置づけられます．その後，平面 Kepler 問題に対しては Bohlin の変換や Levi-Civita の正則化が現れます．複素座標で書けば，その核心はおおよそ $$ z = w^2, \qquad dt = |w|^2\,d\tau $$ という二重被覆と時間の再パラメータ化にあります．これにより，二次元 Kepler 問題は二次元等方調和振動子と深く結びつきます．

三次元 Kepler 問題と Kustaanheimo–Stiefel 変換

三次元では，複素数による $z=w^2$ の単純な一般化は存在しません．そこで Kustaanheimo と Stiefel は，四次元の変数 $(u_1,u_2,u_3,u_4)$ から三次元の変数 $(x_1,x_2,x_3)$ へ写す非一対一の変換を用いました．代表的な形の一つは $$ \begin{aligned} x_1 &= 2(u_1u_3-u_2u_4),\\ x_2 &= 2(u_1u_4+u_2u_3),\\ x_3 &= u_1^2+u_2^2-u_3^2-u_4^2, \end{aligned} \qquad r = u_1^2+u_2^2+u_3^2+u_4^2 $$ で与えられます．この変換に適切な時間変換を組み合わせると，三次元 Kepler 問題は四次元等方調和振動子の形へ移されます．ただし自由度は一つ余分に増えているので，その余分な自由度を消す制約条件を同時に課す必要があります．

四元数と Hopf fibration

KS 変換は，四元数を用いると幾何学的な意味が見えやすくなります．四次元実ベクトルを四元数 $q$ とみなし，$q$ と $q e^{i\alpha}$ が同じ三次元点へ写ると考えると，余分な角度 $\alpha$ が $S^1$ のファイバーを表していることが分かります．半径を固定すれば，これは $$ S^3 \longrightarrow S^2 $$ という Hopf fibration そのものです．したがって KS 変換は，単に「四次元から三次元への座標変換」ではなく，$S^3$ の各 $S^1$ ファイバーを同一視して $S^2$ を得る写像を，Kepler 問題の正則化に利用していると見ることができます．

量子力学への応用：水素原子と四次元調和振動子

量子力学では，KS 変換を Schrödinger 方程式へ適用することで，三次元水素原子の問題を四次元等方調和振動子の問題へ書き換えることができます．このときも，古典論と同じく余分な角度に対応する制約条件が現れます．Kibler と Négadi，Kibler・Ronveaux・Négadi，Chen と Kibler らの仕事では，この水素原子と調和振動子の対応が，固有値・固有関数・特殊関数の対応として詳しく調べられました．とくに，三次元球面調和関数や Laguerre 多項式を含む水素原子波動関数が，四次元調和振動子の調和解析とどのように対応するかが明確になります．

この観点は，前節で扱った $SO(4,2)$ の話とも接続します．四次元調和振動子の力学的代数は大きな対称性を持ちますが，KS 変換に伴う制約を課すと，水素原子側に残る対称性として $\mathfrak{su}(2,2)\simeq\mathfrak{so}(4,2)$ が現れます．したがって KS 変換は，水素原子を「四次元振動子から制約によって得られる系」と見る道を開き，古典正則化，Hopf fibration，量子力学的スペクトル，スペクトル生成代数をつなぐ結節点になります．

　　　　　

水水素原子を経路積分によって扱うことは，経路積分法の射程を考えるうえで重要な試金石でした．経路積分は，長らく自由粒子や調和振動子など，厳密に実行できる例がごく限られていました．そのため，Coulomb ポテンシャルをもつ水素原子に対して経路積分を実際に計算することは，単なる一つの可解例の追加ではなく，経路積分法がどこまで複雑な可解系を扱えるかを示す問題でもありました．

ただし，水素原子の場合，時間発展核をそのまま評価するよりも，まずエネルギー表示の Coulomb Green's function を導くことを目標にするのが自然です．グリーン関数の極は束縛状態のエネルギー準位を与え，その留数から波動関数を取り出すことができます．この意味で，Schwinger による Coulomb Green's function の表示や，Hostler–Pratt，Hostler による閉じた形のグリーン関数は，経路積分から再導出すべき標準解答として位置づけられます．

後で見るように，Kustaanheimo–Stiefel 変換はこの問題の解決に重要な役割を果たします．水素原子の Coulomb 問題を，より扱いやすい高次元調和振動子型の問題へ結びつけることで，経路積分を厳密に実行する道筋が開かれます．そしてこの成功は，水素原子そのものにとどまらず，経路積分で扱える可解系の範囲を広げる契機にもなりました．したがって本節では，「水素原子を経路積分で書く」こと自体ではなく，既知の Coulomb Green's function を経路積分からどのように実際に計算するかを主題にします．

Duru–Kleinert 変換

Coulomb ポテンシャルは原点で特異であり，通常の時間分割のままでは経路積分を直接評価しにくい模型です．Duru–Kleinert の方法の核心は，時間変数を新しい媒介変数へ再パラメータ化する space-time transformation と，KS 型の座標変換を組み合わせることで，Coulomb 問題を調和振動子的な Gaussian path integral へ還元する点にあります．したがって，Duru–Kleinert の意義は，単に水素原子の経路積分を形式的に書いたことではなく，Coulomb Green's function を実際に計算可能な形へ変換したことにあります．

Ho–Inomata の exact path integral treatment

Duru–Kleinert は Hamilton 形式の path integral に対して上記の変換をしたが，Coulomb Green's functionの計算までは至らなかった．Ho–Inomata はLagrange 形式の path integral に対して Duru–Kleinert と同様の変換を行うことで，Coulomb Green's functionの計算まで実施した．この定式化では，三次元 Coulomb 問題が四次元調和振動子の経路積分へ結びつくため，前節の KS 変換の幾何学的意味と自然につながります．得られた Green's function からスペクトルと規格化波動関数を導ける点で，Schwinger–Hostler 型の結果を経路積分から再構成する道筋として非常に見通しがよいものです．

Grosche–Steiner 的な位置づけ

Grosche と Steiner の経路積分の教科書では，厳密に評価可能な経路積分の一覧と文献が体系的に整理されています．その観点から見ると，Duru–Kleinert と Ho–Inomata の仕事は，「Schrödinger 方程式で解ける模型を，適切な変換によって経路積分でも実際に解ける模型へ移す」という流れの代表例です．水素原子は，調和振動子と並ぶ基本模型でありながら，Coulomb 特異性のために経路積分では非自明な模型です．その非自明性を，時間変換・KS 変換・調和振動子への還元によって克服したところに，経路積分における水素原子の歴史的な意味があります．

一般化コヒーレント状態への橋渡し

なお，経路積分とコヒーレント状態は本来近い関係にあります．調和振動子では，コヒーレント状態の過完備性と恒等分解を用いることで，通常の座標表示とは異なる位相空間表示の経路積分を構成できます．水素原子でも，KS 変換によって現れる四次元調和振動子，Schwinger boson 表示，さらに $SU(1,1)$ や $SO(4,2)$ の群論的表現を用いると，コヒーレント状態的な基底を通じて Coulomb 問題を捉え直す道が開けます．ただし，水素原子ではエネルギー準位が等間隔でなく，縮退や連続スペクトルも絡むため，調和振動子のコヒーレント状態をそのまま移植することはできません．この問題は独立した話題として重要なので，次節で改めて扱います．

コヒーレント状態は，Schrödinger が調和振動子に対して導入した，古典運動に最も近い量子状態の代表例です．標準的な調和振動子では，コヒーレント状態は消滅演算子の固有状態として定義され，位置と運動量の不確定性積 $ \Delta x\,\Delta p$ を最小に保ったまま時間発展します．また，過完備性と恒等分解を通じて $$ 1=\int |z\rangle\langle z|\,d\mu(z) $$ のような表示を与えるため，位相空間上の経路積分を構成する自然な基底にもなります．

Schrödinger は 1926 年の調和振動子に関する論文の末尾で，水素原子でも Kepler 楕円に沿って動く同様の波束を構成できるかもしれない，という問題意識を示しました．この意味で，水素原子のコヒーレント状態問題は，量子力学の創設期にまで遡る古い問題です．しかし，調和振動子の場合と異なり，水素原子ではエネルギー準位が $$ E_n=-{\mathrm{const.}\over n^2} $$ であり，準位間隔が一定ではありません．さらに各準位には $n^2$ 個の縮退があり，束縛状態だけでなく連続スペクトルも存在します．このため，「消滅演算子の固有状態」「最小不確定性波束」「古典 Kepler 楕円を追う波束」「恒等分解を持つ過完備系」「時間発展で同じ族に保たれる状態」という条件を，すべて同時に満たす標準的な定義は自明ではありません．

調和振動子から一般化コヒーレント状態へ

調和振動子のコヒーレント状態は，Hamiltonian が実質的に数演算子 $a^\dagger a$ で書けることに強く支えられています．消滅演算子の固有状態として定義した波束は，時間発展によって同じコヒーレント状態族の中を回転するだけで済みます．この事情は，エネルギーが等間隔であることと密接に結び付いています．

これに対して，一般のポテンシャルや非コンパクト対称性を持つ系では，コヒーレント状態を別の観点から定義し直す必要があります．代表的な流儀には，Barut–Girardello 型の「下降演算子の固有状態」として定義する方法，Perelomov 型の「群の作用で基準ベクトルの軌道を作る」方法，Klauder 型の「時間安定性・恒等分解・連続ラベル」を重視する方法などがあります．水素原子の一般化コヒーレント状態は，これらの定義が交差する典型的な難問と見なせます．

水素原子で何が難しいのか

水素原子で難しい点は，単に準位間隔が非等間隔であることだけではありません．まず，主量子数 $n$ ごとに大きな縮退があり，どの縮退空間の中でどの方向を「古典的な楕円軌道」と対応させるかを決める必要があります．次に，束縛状態の Hilbert 空間だけを扱うのか，散乱状態を含む Coulomb 問題全体を扱うのかで，適切な表現空間が変わります．さらに，短時間は古典軌道に沿う Rydberg wave packet を作れても，長時間では分散や revival が生じるため，「非拡散的な Kepler 波束」をどの意味で要求するかが問題になります．

したがって，水素原子の一般化コヒーレント状態では，何を最も重視するかによって構成が分かれます．古典 Kepler 楕円との対応を重視する立場，$SO(4)$ や $SO(4,2)$ の群論的表現を重視する立場，動径方向の $SU(1,1)$ 構造を重視する立場，あるいは恒等分解を用いた経路積分への応用を重視する立場は，互いに重なり合いながらも完全には同じではありません．

$SO(4,2)$，$SU(1,1)$，KS 変換との関係

第4節で見たように，水素原子には $SO(4)$，$SO(3,1)$，$SO(4,1)$，$SO(4,2)$，さらに動径方向の $SU(1,1)$ など，複数の Lie 代数的構造が現れます．このため，一般化コヒーレント状態を作る際にも，どの代数・どの群を基礎にするかで状態の意味が変わります．束縛状態全体を一つの大きな表現として扱うなら $SO(4,2)$ が自然に見えますし，動径量子数の昇降に注目するなら $SU(1,1)$ が自然です．また，KS 変換を通じて四次元調和振動子へ移せば，振動子側の通常のコヒーレント状態や Schwinger boson 表示から水素原子側の構造を読み替えることもできます．

ただし，$SO(4,2)$ を用いれば直ちに Schrödinger が望んだような波束が得られる，というわけではありません．Zlatev–Zhang–Feng は，調和振動子の Schrödinger コヒーレント状態に対応するような $SO(4,2)$ 型の水素原子コヒーレント状態を最も一般的に構成しても，十分に局在して古典 Kepler 軌道を追うという意味では期待通りにならない，と論じました．この結果は，水素原子における「コヒーレント」の意味を慎重に分けて考える必要があることを示しています．

肯定的構成と残る問題

一方で，Klauder は束縛状態部分に限れば，連続パラメータ表示，正の測度による恒等分解，時間安定性を満たすコヒーレント状態を構成できることを示しました．これは水素原子のコヒーレント状態問題に対する重要な肯定的解答です．ただし，対象は束縛状態部分空間であり，重みの選び方や縮退空間の扱いには自由度が残ります．Majumdar–Sharatchandra は古典的な作用角変数をラベルとする波束を構成し，Crawford はエネルギー縮退を持つ系での時間安定性を整理しました．Bellomo–Stroud は Klauder 型状態の分散を検討し，水素原子で「時間安定」と「非拡散的局在」が必ずしも同じ要請ではないことを明確にしました．

したがって，水素原子の一般化コヒーレント状態は，単一の完成した定義というより，目的に応じて複数の定義が併存する領域と見るのが自然です．調和振動子のような一意的な標準像を期待するよりも，古典軌道への局在，群論的自然性，時間安定性，過完備性，経路積分への応用という複数の条件のどれを優先するかを明示することが重要です．