1次元で解決:ライプ=ソロピン(Lieb–Thirring)不等式の最良定数は 4/(3√3 π)
要点を平たく言うと、著者は1次元のシュレーディンガー作用素について、負の固有値(結合状態のエネルギー)の絶対値の合計を抑える古い不等式の最良定数が 4/(3√3 π) であることを証明しました。これはライプ=ソロピンの1976年の予想の、1次元・指数1の場合に対する正しさを確定した結果です。定数は最適(これより小さな定数では不等式が成り立たない)であると示されています。
論文が扱う不等式は次のような性質を持ちます。1次元のシュレーディンガー作用素に対して、負の固有値は束縛状態に対応します。ライプ=ソロピン不等式は、そのような負の固有値の絶対値をすべて足し合わせたものを、ポテンシャルの正の部分を3/2乗したものの積分で上から抑えるものです。長年の疑問は「その係数(定数)は何か」であり、今回の仕事はその答えを1次元・指数1の場合で与えています。
証明の仕立ては、スペクトル側(固有値の和)と運動(キネティック)側の不等式の双対性を使うことから始まります。著者はまず既に知られている1関数(スカラー)の鋭い不等式を出発点にします。そこから「累積質量(cumulative mass)」という変数を導入し、補助関数 q を使って項を整理します。複数の直交正規化された関数(直交族)に対しては多項式近似と積分による議論を用い、完全平方式などで差を消す工夫をして不等式を拡張しました。全体としては、Benguria と Loss の単一固有値向けの素朴な議論を、任意個数の直交関数族に拡張することによって鋭い定数を保ったまま成立させています。
なぜ重要かというと、ライプ=ソロピン不等式はスペクトル理論と量子多体系の解析において中心的な役割を果たすからです。特に指数1は運動エネルギーに関する双対的不等式と結びつき、物質の安定性の議論などにも関係します。これまでにこの予想は部分的に知られており、いくつかの指数や次元では既知の結果がありましたが、1次元・指数1の完全な決着は長年の未解決問題でした。本稿はその点を解消します。
重要な注意点もあります。今回の結論は本文で扱われている1次元かつ実値ポテンシャルの場合に限られます。高次元では同じ予想が成り立たない範囲も既に知られていますし、論文の抜粋からは最適化を与えるポテンシャルの具体形についての詳細は示されていません(ただし等号が成立する場合は単一の負の固有値を持つポテンシャルによって達成されると述べられています)。以上は与えられた本文抜粋に基づく要約です。