tecktom.com

限界：偏極が取れない相空間・整数条件・偏極で変わる答え

2026年10月17日12分で読めますAI生成教科書『虎の巻』第10部 第6章 変形量子化との比較と限界
目次
  1. 偏極が取れない相空間
  2. 整数条件
  3. 偏極の選び方で答えが変わる
  4. 2つの道の限界を並べる
  5. 木下の層

AI 生成・木下が未勉強

量子力学の様々な構成方法　第10部 第6章 §10.6.5　★★★ 幾何学的量子化は偏極と整数条件を要し、偏極の選び方で答えが ℏ2\hbar^2 の大きさだけ変わる。変形量子化はどの相空間でも ⋆\star 積を与えるが、形式的な級数で Hilbert 空間を持たない

偏極が取れない相空間

偏極は、相空間の各点で Lagrange 部分空間を滑らかに選ぶことだった（第10部第4章）。これはいつでもできるとは限らない。

命題 10.6.7（球面には実偏極が無い ★★）

球面 S2S^2（ωS=Ssin⁡ϑ dϑ∧dφ\omega_S=S\sin\vartheta\,\mathrm{d}\vartheta\wedge\mathrm{d}\varphi）には実偏極が無い。

証明

2次元では1次元の部分空間は自動的に Lagrange で、可積分条件も自動的に満たされるので、実偏極は「各点で接平面の中の直線を滑らかに選ぶこと」（線の場）と同じである。線の場があれば、各点で直線上の単位ベクトル2つを選ぶことで S2S^2 の2重被覆を作ることができる。S2S^2 は単連結なので2重被覆は2枚の S2S^2 に分かれ、その1枚を取ると0にならないベクトル場が得られる。これは「球面上の連続なベクトル場は必ず0になる点を持つ」という定理（毛の生えた球の定理）に反する。

球面には正の正則偏極があり、第10部第5章ではそれでスピンを作った（第10部第5章）。逆に、正則偏極が取れない相空間もある。W. P. Thurston は、コンパクトなシンプレクティック多様体で Kähler 構造を持たないものの例を示した1W. P. Thurston (1976), “Some simple examples of symplectic manifolds”, Proc. Amer. Math. Soc. 55, 467–468。下の脚注へ。正の正則偏極は Kähler 構造を与えるので、このような相空間には正の正則偏極が無い。一方、De Wilde–Lecomte・Fedosov の結果から、どのシンプレクティック多様体にも ⋆\star 積はある。

整数条件

幾何学的量子化は、前量子化の線束が存在するために ∫Σω/(2πℏ)∈Z\int_\Sigma\omega/(2\pi\hbar)\in\mathbb{Z}（閉曲面 Σ\Sigma ごと）を要した（第10部第3章）。球面では 2S/ℏ∈Z2S/\hbar\in\mathbb{Z}、面積 AA のトーラスでは N=κA/(2πℏ)∈ZN=\kappa A/(2\pi\hbar)\in\mathbb{Z} である。スピンの大きさや Landau 準位の縮退度が整数になることは、この条件の幾何の表れである。しかし同時に、条件を満たさない ℏ\hbar では Hilbert 空間そのものを作ることができない。変形量子化には条件が無く、トーラスでは任意の ℏ\hbar で ⋆\star 積がある（章末の総合問題で具体的に作る）。その代わり、変形量子化の側では「Hilbert 空間の上で表現できるか」が別の問題として残り、トーラスでは有限次元の表現があるのが κA/(2πℏ)\kappa A/(2\pi\hbar) が整数のときに限られることが総合問題で示される。条件は消えたのではなく、⋆\star 積を作る段階から表現を作る段階へ移っている。

偏極の選び方で答えが変わる

平面の線形な偏極（鉛直・水平・正則）どうしは半形式つきの BKS の対で移り合い、偏極を保つ関数のスペクトルは偏極によらなかった（第10部第5章）。偏極が非線形になると、この一致は崩れる。第10部第5章では、エネルギーの等高線を葉とする実偏極（軌道の偏極）で振動子を量子化すると、半形式つきでBohr–Sommerfeld 条件 ∮p dq=2πℏ(n+12)\oint p\,\mathrm{d} q=2\pi\hbar(n+\frac12) が厳密な量子化条件になることを示した。この偏極ではハミルトニアン HH が葉の上で定数なので、HH は偏極を保ち、そのまま掛け算として量子化される。したがって、同じ HH を

  • 鉛直の偏極（位置表示）で量子化すると Schrödinger 作用素 −ℏ22m∂q2+V(q)-\frac{\hbar^2}{2m}\partial_q^2+V(q) のスペクトル（Weyl 量子化と同じ）、
  • 軌道の偏極で量子化すると Bohr–Sommerfeld 条件の解、

の2つの答えが出る。調和振動子では両者が一致するが、一般の VV では一致しない。第10部第5章の例題は V=q4V=q^4 でこの差を数値で示した。ここでは差の構造を ℏ\hbar の次数で見る。

命題 10.6.8（4次の摂動での2つの偏極の差 ★★★）

H=p22m+mω2q22+λq4H=\frac{p^2}{2m}+\frac{m\omega^2q^2}{2}+\lambda q^4 の nn 番目の準位の λ\lambda の1次の項は、鉛直の偏極（Weyl 量子化）と軌道の偏極（半形式つき Bohr–Sommerfeld）でそれぞれ

En(1),vert=λ(ℏ2mω)2(6n2+6n+3),En(1),orb=λ(ℏ2mω)2(6n2+6n+32)(10.6.18)E_n^{(1),\mathrm{vert}}=\lambda\Bigl(\frac{\hbar}{2m\omega}\Bigr)^2(6n^2+6n+3),\qquad E_n^{(1),\mathrm{orb}}=\lambda\Bigl(\frac{\hbar}{2m\omega}\Bigr)^2\Bigl(6n^2+6n+\frac32\Bigr)\tag{10.6.18}

で、差は nn によらない 3λℏ28m2ω2\frac{3\lambda\hbar^2}{8m^2\omega^2} である。

証明

鉛直の偏極では q4q^4 の Weyl 量子化は q^4\hat q^4 そのものなので、1次の項は ⟨n∣q^4∣n⟩\langle n | \hat q^4 | n \rangle である。q^=ℏ/(2mω)(a^+a^†)\hat q=\sqrt{\hbar/(2m\omega)}(\hat a+\hat a^\dagger) で、(a^+a^†)4(\hat a+\hat a^\dagger)^4 の対角要素はa^\hat a と a^†\hat a^\dagger を2個ずつ含む6通りの並びの和である。a^a^a^†a^†\hat a\hat a\hat a^\dagger\hat a^\dagger が (n+1)(n+2)(n+1)(n+2)、a^†a^†a^a^\hat a^\dagger\hat a^\dagger\hat a\hat a が n(n−1)n(n-1)、a^a^†a^a^†\hat a\hat a^\dagger\hat a\hat a^\dagger が (n+1)2(n+1)^2、a^†a^a^†a^\hat a^\dagger\hat a\hat a^\dagger\hat a が n2n^2、a^a^†a^†a^\hat a\hat a^\dagger\hat a^\dagger\hat a と a^†a^a^a^†\hat a^\dagger\hat a\hat a\hat a^\dagger がどちらも n(n+1)n(n+1) で、和は 6n2+6n+36n^2+6n+3 になる。

軌道の偏極では、量子化条件が作用変数 J=12π∮p dq=ℏ(n+12)J=\frac{1}{2\pi}\oint p\,\mathrm{d} q=\hbar(n+\frac12) で、エネルギーは JJ の関数として E(J)=ωJ+λ⟨q4⟩J+O(λ2)E(J)=\omega J+\lambda\langle q^4 \rangle _J+\mathcal{O}(\lambda^2) である。1次の項は、λ=0\lambda=0 の軌道 q=2J/(mω)sin⁡θq=\sqrt{2J/(m\omega)}\sin\theta の上での q4q^4 の平均（正準摂動論の1次）で、⟨sin⁡4θ⟩=38\langle \sin^4\theta \rangle =\frac38 から ⟨q4⟩J=32(Jmω)2\langle q^4 \rangle _J=\frac32\bigl(\frac{J}{m\omega}\bigr)^2。J=ℏ(n+12)J=\hbar(n+\frac12) を入れると 32(ℏmω)2(n+12)2=(ℏ2mω)2(6n2+6n+32)\frac32(\frac{\hbar}{m\omega})^2(n+\frac12)^2=(\frac{\hbar}{2m\omega})^2(6n^2+6n+\frac32)。差は (ℏ2mω)2⋅32=3ℏ28m2ω2(\frac{\hbar}{2m\omega})^2\cdot\frac32=\frac{3\hbar^2}{8m^2\omega^2}。

差の出どころは、q4q^4 が偏極を保つかどうかにある。鉛直の偏極は q4q^4 を保つので、q4q^4 は掛け算のまま厳密に量子化される。軌道の偏極は q4q^4 を保たず、この偏極で厳密に扱えるのは HH の関数だけで、q4q^4 はその軌道平均に置き換わる。変形量子化の言葉では、⟨n∣q^4∣n⟩=∫Wnq4 dq dp\langle n | \hat q^4 | n \rangle =\int W_nq^4\,\mathrm{d} q\,\mathrm{d} p の WnW_n を、その ℏ→0\hbar\to0 の極限 (ω/2π)δ(H−En)(\omega/2\pi)\delta(H-E_n)（第5部第5章）で置き換えたものが軌道平均である。WnW_n の等高線の近くの振動を軌道平均で落としたことが、nn によらない ℏ2\hbar^2 の差になる。主要な 6n2+6n6n^2+6n は両者で一致し、相対的な差は n→∞n\to\infty で 1/n21/n^2 のように小さくなる。

近似の裏付け

型 B（極限）　｜　小さいもの λℏ/(m2ω3)→0\lambda\hbar/(m^2\omega^3)\to0（4次の項が振動子の準位の間隔に比べて小さい）で λ\lambda の1次で比べる　｜　証明 証明済み（摂動級数は発散する＝Bender–Wu 1969 だが、固有値の漸近級数であることは B. Simon (1970), Ann. Phys. 58, 76 が証明した。1次で打ち切った誤差は O(λ2)\mathcal{O}(\lambda^2)）　｜　行き先 近似の数理 第7章

例題 10.6.5　λ=0.01\lambda=0.01 での2つの偏極の数値比較 ★★

オリジナルℏ=m=ω=1\hbar=m=\omega=1、λ=0.01\lambda=0.01 とする。

  1. (1) Schrödinger 作用素を振動子の基底60個で対角化した準位 E0,…,E3E_0,\dots,E_3 と、∮p dq=2π(n+12)\oint p\,\mathrm{d} q=2\pi(n+\frac12) を数値で解いた準位を比べよ。
  2. (2) 差を命題 10.6.8 の予言 3λ/83\lambda/8 と比べ、ずれの原因を述べよ。
解答

(1) 対角化で得た準位は 0.507260.50726、1.535651.53565、2.590852.59085、3.671103.67110、Bohr–Sommerfeld 条件の解は 0.503700.50370、1.532421.53242、2.587892.58789、3.668363.66836 である。差は 0.003560.00356、0.003230.00323、0.002960.00296、0.002730.00273 である（verify で両方を計算した）。

(2) 予言は 3λ/8=0.003753\lambda/8=0.00375。n=0n=0 で差は予言の 0.9490.949 倍で、nn が大きいほど比が下がる。λ\lambda の2次の項は nn の3次で増えるので、λ=0.01\lambda=0.01 では n=3n=3 で既に1次の比較からずれる。λ\lambda を 0.0050.005、0.0020.002 に下げると n=0n=0 での比は 0.9730.973、0.9890.989 と1に近づく（図 10.6.2）。どの λ\lambda でも厳密な準位の方が Bohr–Sommerfeld より上にあり、軌道の偏極が4次の項の寄与を小さく見積もっている。

図

図 10.6.2　H=p2/2+q2/2+λq4H=p^2/2+q^2/2+\lambda q^4（ℏ=m=ω=1\hbar=m=\omega=1）で、鉛直の偏極（Schrödinger 作用素の対角化）と軌道の偏極（半形式つき Bohr–Sommerfeld）の準位の差を、命題 10.6.8 の1次の予言 3λ/83\lambda/8 で割ったもの。実線は数値の結果（近似を含まない2つの量子化の差）、点線が λ\lambda の1次の予言。λ→0\lambda\to0 で比は1に近づく。

2つの道の限界を並べる

Groenewold の定理（第10部第1章）は、Poisson 括弧を交換子に厳密に写す量子化がすべての関数の上では無いことを述べた。2つの道はこの定理を別々の向きに避けている。

幾何学的量子化変形量子化
Groenewold の避け方括弧を厳密に保ち、量子化する関数を偏極を保つものに絞るすべての関数を扱い、括弧を ℏ\hbar の最低次だけ保つ（Moyal 括弧）
入力ω\omega・線束と接続・偏極・半形式Poisson 構造だけ
ℏ\hbar数。整数条件を満たす値だけ形式的なパラメータ。条件なし
作るものHilbert 空間と演算子関数の代数（⋆\star 積）
限界偏極が無い相空間（球面の実偏極・Thurston の例の正則偏極）、非線形な偏極で答えが変わる級数の収束は一般には保証されない。状態と表現は別に作る必要がある

変形量子化の級数 (10.6.1) は形式的で、多項式や Gauss 関数のように有限項で切れるか閉じた式になる場合を除くと、収束するとは限らない。3節の振動子の ⋆\star 指数関数が ∣ωt∣<π\lvert \omega t\rvert <\pi でしか式 (10.6.13) の形を持たない（cos⁡(ωt/2)=0\cos(\omega t/2)=0 で発散する）ことも、関数の言葉だけでは時間発展を全時間で扱いにくいことの例である。Hilbert 空間の上の演算子にすれば e−iH^t/ℏ\mathrm{e}^{-\mathrm{i}\hat Ht/\hbar} はすべての tt でユニタリで、式 (10.6.14) の右辺もすべての tt で意味を持つ。

1　W. P. Thurston (1976), “Some simple examples of symplectic manifolds”, Proc. Amer. Math. Soc. 55, 467–468。

木下の勉強ステータス

木下はまだこの記事を勉強していません。

AI（Claude）が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先：support@tecktom.com

目次

この記事が含まれている連載

連載AI生成教科書『虎の巻』授業とは別に、分野をまたいで気になったことを AI（Claude）が教材にし、木下が勉強しながら公開しています。上の段は AI が書いた本文、下の段は木下が勉強したあとに書いた文です。1787本の記事・木下 智貴
← AI生成教科書『虎の巻』の記事一覧へ