コンテンツにスキップ

Lieb–Thirring 不等式と物質の安定性:負の固有値の和から Coulomb 系の線形下界へ

対象読者: 本テーマ第 1〜6 章を学び、Schrödinger 作用素の負の固有値とフェルミ統計の基礎を知っている大学院生。Lieb–Thirring 不等式は仮定しません。

前提となる記事:シュレーディンガー作用素の自己共役性と束縛状態:Hardy・Kato・Birman–Schwinger

生 Markdown

原子の中の電子は原子核に引かれますが、核のごく近くに電子が詰め込まれてエネルギーが際限なく下がる、ということは起こりません。では電子と原子核の数をどんどん増やしたとき、1 粒子あたりのエネルギーは下がり続けないでしょうか。この記事の問いはこれです。鍵になるのは「同じ状態に 2 個の電子は入れない」という Pauli の排他原理で、これを不等式の形にしたものが Lieb–Thirring 不等式です。読み終えると、束縛状態のエネルギーの和をポテンシャルの積分だけで評価する方法と、それが物質の安定性につながる道筋が分かります。

  • H=−Δ+VH=-\Delta+V を L2(Rd)L^2(\mathbb{R}^d) 上の Schrödinger 作用素、E1≤E2≤⋯<0E_1\le E_2\le\cdots\lt0 をその負の固有値(重複度込み)とすると、∑j∣Ej∣γ≤Lγ,d∫V−γ+d/2\sum_j|E_j|^\gamma\le L_{\gamma,d}\int V_-^{\gamma+d/2} が成り立ちます(Lieb–Thirring 不等式)。γ\gamma の許される範囲は d=1d=1 で γ≥1/2\gamma\ge1/2、d=2d=2 で γ>0\gamma\gt0、d≥3d\ge3 で γ≥0\gamma\ge0 で、右辺は半古典(位相空間の体積)近似と同じ形をしています。
  • γ=1\gamma=1 の場合は、Fermi 粒子の運動エネルギーを密度で下から抑える運動エネルギー版 Tr(−Δη)≥Kd∫ρη1+2/d\mathrm{Tr}(-\Delta\eta)\ge K_d\int\rho_\eta^{1+2/d}(0≤η≤10\le\eta\le1)と Legendre 変換の関係で同値です。本章では運動エネルギー版を Rumin の方法で完全に証明し、γ≥1\gamma\ge1 をすべて導きます。
  • d≥3d\ge3 では、Birman–Schwinger 原理で固有値の個数を積分作用素の固有値の個数に置き換え、CLR 不等式(γ=0\gamma=0)を得たうえで、Aizenman–Lieb の持ち上げで γ>0\gamma\gt0 に移る、という別の筋道もあります。d=1,2d=1,2 で γ<1\gamma\lt1 の場合は、Birman–Schwinger 作用素の特異値の冪和を Kato–Seiler–Simon の不等式で評価してエネルギーについて積分すれば得られ、残るのは d=1d=1、γ=1/2\gamma=1/2 の端点(Weidl の定理、主張のみ)だけです。
  • Coulomb 系 HN,KH_{N,K} の基底エネルギーは、Fermi 統計の下で E0≥−C(N+K)E_0\ge-C(N+K)(第 2 種の安定性)を満たします。証明は「運動エネルギー版 Lieb–Thirring + Lieb–Oxford 不等式 + Thomas–Fermi 理論の非束縛定理」の 3 段(Lieb–Oxford 不等式は電子間の反発を密度で下から抑える不等式、Thomas–Fermi 理論は電子の密度だけで書いたエネルギーの理論です)で、Dyson–Lenard の最初の証明より格段に短くなりました。
  • Fermi 統計を外すと運動エネルギー版は成り立たず、Bose 粒子の Coulomb 系のエネルギーは N5/3N^{5/3} や N7/5N^{7/5} に比例して落ちます。相対論的な運動エネルギーでは Coulomb 項と同じ尺度変換を受けるので、結合定数が臨界値(∣p∣|p| 型で 2/π2/\pi、Brown–Ravenhall 型で 2/(π/2+2/π)2/(\pi/2+2/\pi))を超えると 1 体でも崩壊します。

水素原子のエネルギーが −∞-\infty でないこと(第 1 種の安定性)は、Hardy の不等式か Sobolev の不等式から 1 行で出ます。しかし日常の物質がそれ以上のこと、すなわち 1 粒子あたりのエネルギーが粒子数によらず下に有界である ことを満たしていることは、それほど自明ではありません。もし NN 個の電子と原子核の系のエネルギーが −N7/5-N^{7/5} のように振る舞えば、2 つの物体を合わせるとエネルギーが放出され、熱力学極限は存在しません。

Dyson と Lenard は 1967 年に、電子が Fermi 粒子であれば E0≥−C(N+K)E_0\ge-C(N+K) となることを初めて証明しましたが、その定数は 101410^{14} 程度と現実の値から大きく離れていました。1975 年に Lieb と Thirring は、Pauli の排他原理を「運動エネルギーが密度の 5/35/3 乗の積分で下から抑えられる」という 1 本の不等式に凝縮し、Thomas–Fermi 理論の非束縛定理と組み合わせて、見通しのよい証明を与えました。この不等式は、Schrödinger 作用素の負の固有値の和に関する評価と双対の関係にあり、こちらはスペクトル理論そのものの問題です。

本章ではスペクトル理論の側から始めます。前章 シュレーディンガー作用素の自己共役性と束縛状態 で扱った束縛状態の個数と深さを、ポテンシャルの積分ノルム 1 つで同時に抑えるのが Lieb–Thirring 不等式です。その後、多体系に移り、HVZ 定理(多体系と HVZ 定理)が本質スペクトルの位置を与えるのに対して、本章の結果は基底エネルギーの粒子数依存性を与えることを見ます。

ここから先は有料(買い切り ¥200)の内容です。

この章は博士課程以上・研究水準の内容です。続き(定義・定理・証明・例・演習)は ¥200 の買い切りで、他の有料章と 100 本ノックも含めてすべて読めます。無料の章は最後まで読めます。

購入する ログイン

このテーマの 100 本ノック(100 問)

執筆: Claude Code(Opus 5.5)、Claude Code(Sonnet 5.5)・監査 4 回(Claude Code)・最終 2026-10-12

この記事の誤りを報告する ・運営: 夢現技研合同会社 ・料金 ・利用条件 ・特定商取引法に基づく表記

© 2026 夢現技研合同会社 ・コード例は MIT ライセンスです。