未解決問題、数理物理学、1900年に提起
ヒルベルトの第6問題
部分的に解決ヒルベルト #6
幾何学と同じように、すでに数学が重要な役割を果たしている物理学の諸分野——とりわけ確率論と力学——を公理によって扱い、さらにボルツマンの気体分子運動論のように、衝突する 個の粒子からなる原子論的描像から の極限操作によって連続体としての流体の運動法則へと至る過程を数学的に展開せよ。
2026年現在、ヒルベルトの第6問題は部分的に解決されている。確率論の部門は1933年のコルモゴロフの測度論的公理によって完全に解決されており、古典的な気体分子運動論の部門——原子論的なニュートン力学から連続体流体力学を導出する課題——は2024–2025年に歴史的なブレイクスルーを迎えた。1975年のランフォードの定理から50年間、ボルツマン–グラッド極限 にある 個の剛体球からボルツマン方程式を厳密に導出する試みは、再衝突履歴が階乗的に増大するため平均自由時間の数分の1未満に閉じ込められていた。2024年11月および2025年3月に公開されたプレプリント(arXiv:2503.01800)において、鄧煜、ザヘル・ハニ、馬驍は層別クラスター展開と木の枝刈りスキームを導入し、対象となるボルツマン方程式の解が滑らかである限り任意の巨視的時間区間にわたって 上の再衝突を制御することに成功した。さらにこれを流体力学的スケーリング極限と連結することで、ニュートンの運動法則から直接、圧縮性オイラー方程式と非圧縮ナビエ–ストークス–フーリエ方程式を導出し、時間反転対称な粒子衝突からいかにして巨視的な時間非可逆性が現れるかを数学的に解明した。一方、物理学全体(とりわけ4次元の相互作用する場の量子論や量子重力)を公理化するというより広範な目標は未解決のままである。
既知の最良の結果
- 上の確率論の測度論的公理化(コルモゴロフ、1933年)およびヒルベルト空間による量子力学の公理化(フォン・ノイマン、1932年)。
- ボルツマン–グラッド極限 におけるニュートン的剛体球からのボルツマン方程式の短時間厳密導出(ランフォード、1975年)。
- 上の剛体球からのボルツマン方程式の長時間導出、および圧縮性オイラー方程式と非圧縮ナビエ–ストークス–フーリエ方程式への流体力学極限(鄧–ハニ–馬、2025年プレプリント、arXiv:2503.01800)。
使われた手法と限界
| 手法 | 達成したこと | 限界 |
|---|---|---|
| 測度論的確率論と作用素環 | 古典確率論(コルモゴロフ、1933年)および非相対論的量子力学・代数的場の量子論(フォン・ノイマン、ワイトマン、ハーグ–カストラー)に明快で普遍的な公理的枠組みを与える。 | 公理を書き下すだけでは、4次元の非自明な相互作用モデル(4次元ヤン–ミルズなど)が実際に存在してその公理を満たすことは証明できない。 |
| BBGKY階層とデュアメルの級数(ランフォードの手法) | 粒子周辺分布を衝突木によって表し、ボルツマン–グラッド極限において短時間区間 でボルツマン方程式へ収束することを証明する。 | 深さ の衝突木の個数が のオーダーで増大するため、素朴なデュアメル級数は平均自由時間の約5分の1を過ぎると発散し、流体方程式への流体力学極限を取るには短すぎる。 |
| 層別クラスター展開と衝突履歴の枝刈り(鄧–ハニ–馬) | 長い時間区間を薄い時間層に分割し、層間の相関をキュムラント展開して悪質な再衝突分子グラフを評価することで、 上で任意の巨視的時間および流体極限に到達する(2025年プレプリント)。 | 周期境界条件()、剛体球衝突、および極限のボルツマン解・流体解が滑らかさを保つ領域を前提としており、特異性を持つ流体領域や一般の長距離力は未解決である。 |
未解決の問い
- ボルツマン方程式と流体方程式の長時間導出を、 上の剛体球から物理的境界を持つ領域や一般の短距離・長距離相互作用ポテンシャルへと拡張できるか。
- 4次元の相互作用する場の量子論と相対論的重力を、統一された数学的に厳密な公理的基礎の上に置くことはできるか。
参考文献
- David Hilbert (1900). Mathematische Probleme
- Andrey N. Kolmogorov (1933). Grundbegriffe der Wahrscheinlichkeitsrechnung
- Oscar E. Lanford III (1975). Time evolution of large classical systems · DOI:10.1007/3-540-07171-7_1
- Yu Deng, Zaher Hani, Xiao Ma (2025). Hilbert's sixth problem: derivation of fluid equations via Boltzmann's kinetic theory · arXiv:2503.01800 [プレプリント・未査読]