ヒルベルト第6問題は解決した?粒子から流体方程式を導く研究の成果と条件

数理物理

──ヒルベルトの第6問題と「時間はなぜ戻らないのか」という謎──

はじめに──1900年に投げかけられた挑戦状

1900年、パリで開催された国際数学者会議で、ドイツの天才数学者ダフィット・ヒルベルトが壇上に立ちました。彼が発表したのは「20世紀の数学者たちへの挑戦状」とも言うべき23の未解決問題。その中の一つが、確率論や力学など、物理的理論の公理的な基礎を整えるという広い課題でした。

それから125年。2025年3月、アメリカのシカゴ大学とミシガン大学の研究チームが、この「ヒルベルトの第6問題」に解答を示す論文を発表しました。著者らが対象としているのは、粒子の力学から運動論を経て流体方程式を導く計画です。

この記事では、そもそもこの問題が何を問うているのか、なぜ125年も解けなかったのか、そして今回の発見がなぜ「時間はなぜ戻らないのか」という人類の古い謎とつながるのかを、できるだけわかりやすく解説します。

方程式を使うことと、別の理論から導くこと

ヒルベルト第六の問題

「物理法則は数学で書ける」と聞くと、「そんなの当然では?」と思う方も多いでしょう。確かに、物理学の教科書にはたくさんの数式が並んでいます。でもヒルベルトが問題にしたのは、もっと根本的なことでした。

物理の世界には、「スケール」によって異なるルールが存在します。たとえば、目に見えないほど小さな粒子(分子・原子)の動きを記述するルール、それが集まって気体になったときの統計的なふるまいを記述するルール、さらにそれが水や空気のような「流体」として大量に動くときのルール──これらはそれぞれ別の方程式で表されています。

問題は、「これらのルールが本当につながっているのか、数学的に証明できるか?」という点です。直感的には「小さなスケールのルールが積み重なって大きなスケールのルールになるはずだ」とわかります。でも「なんとなくそうなるはず」と「数学的に厳密に証明できる」の間には、途方もない距離があるのです。

ヒルベルトが求めたのは後者でした。「ちゃんと証明してみせよ」という、数学者らしい厳しい要求です。

3つのスケール、3つのルール──なにが難しいのか

少し具体的に見てみましょう。物理の世界には大きく分けて、3つのスケールがあります。

まず「ミクロ(極小)」のスケール。ここでは分子や原子が飛び回り、互いにぶつかり合っています。この研究では、粒子を弾性衝突する硬い球として理想化し、古典力学を使います。その模型には、「ある粒子がある向きに動いていれば、時間を巻き戻してもその法則は成り立つ」という特徴があります。つまり、この模型では全粒子の速度を正確に逆向きにすると、それまでの運動を逆にたどれます。

次に「メゾ(中間)」のスケール。膨大な数の粒子が集まったとき、一個一個を追うのは不可能なので、「全体として粒子がどう分布しているか」を統計的に記述します。これを表すのが「ボルツマン方程式」と呼ばれる式です。19世紀の物理学者ルートヴィヒ・ボルツマンが考え出したこの方程式は、気体がどのように広がり、熱が均一に分布していくかを記述します。

そして「マクロ(巨大)」のスケール。水や空気のような「流体」の動きを記述するのが「ナビエ・ストークス方程式」や「オイラー方程式」です。台風の動き、飛行機の翼の周りの気流、海の波──これらはすべてこの方程式で記述されます。

この3つのスケールは、それぞれ別々に発展してきた「異なる言語」です。ヒルベルトが求めたのは、「ミクロのニュートン力学という言語から出発して、メゾのボルツマン方程式を経由し、マクロの流体力学の言語に至るまでの完全な翻訳作業を、一切の見落としなく証明せよ」ということでした。

125年間の格闘──なぜそれほど難しかったのか

時間の矢

この問題に挑んだ数学者・物理学者は数えきれないほどいます。部分的な進展もありました。たとえば、「非常に短い時間の間なら、ミクロの法則からメゾの方程式を導くことができる」という証明は、20世紀を通じてじわじわと進みました。

しかし「短い時間の間だけ成立する」という証明では不十分です。現実の物理現象は、時間が経っても成立し続けます。「任意の長さの時間にわたって証明できるか」というのが、ずっと壁として立ちはだかっていました。

もう一つの難しさが、「どんな条件の下で成り立つのか」という問題です。数学の証明は、条件が少しでも違えばまったく別の話になります。現実の物理系に適用できるほど一般的な条件で証明できるかどうか、これも大きな課題でした。

さらに根深い問題がありました。それが「時間の矢」と呼ばれる謎です。ミクロのルールでは時間を逆にしても法則が成り立つのに、マクロの世界では時間は一方向にしか進みません。コーヒーにミルクを入れたら混ざっていきますが、混ざったコーヒーが自然に分離してブラックコーヒーに戻ることはない。この「なぜ時間は戻らないのか」という問いに、ミクロの法則から出発してどうやって答えるのか──これが「スケールの橋渡し」問題の核心にある、最も難しい部分でした。

2025年の突破口──何を、どうやって証明したのか

たくさんの小さな硬い球がぶつかり合う系

2025年3月、シカゴ大学とミシガン大学の研究者チーム(Yu Deng、Zaher Hani、Xiao Ma)が発表した論文は、この難問に正面から取り組みました。

彼らのアプローチは2段階です。

まず第1段階。「たくさんの小さな硬い球がぶつかり合う系」をモデルとして、そこから粒子全体の統計的なふるまいを記述するボルツマン方程式を導き出しました。ポイントは、ボルツマン方程式の強い解が存在する時間範囲まで導出を延長した先行研究を、周期的な設定へ拡張した点です。従来の研究が「短い時間だけ」の証明にとどまっていたのに対し、解が存在する限り長い時間区間を扱えるようになりました。解の存在を仮定せず無限時間を保証した、という意味ではありません。

次に第2段階。そのボルツマン方程式から、さらに流体力学の方程式(圧縮性オイラー方程式・非圧縮性ナビエ・ストークス・フーリエ系)を導き出しました。これにより、ミクロ→メゾ→マクロという3段階の「橋渡し」が、数学的に一本の道としてつながったのです。

カギとなったのは「周期的トーラス上での粒子系」という数学的な設定と、それを扱うために彼らが新たに開発した手法です。ここでのトーラスは周期境界を持つ平坦な空間で、粒子が空間の端に到達したら反対側から戻ってくるというイメージです。立体的なドーナツの表面を粒子が走るという意味ではありません。さらに、この手法は2次元でも3次元でも有効であることが確認されています。

粒子が増えても、占有体積は小さくなる

導出では、粒子数Nを増やし、直径εを小さくしながらNεd−1を一定に保つ「ボルツマン・グラッド極限」を使います。dは次元です。単位を規格化した3次元の箱で考えると、条件はNε²=一定になります。

N=10⁶、ε=10⁻³ならNε²=1です。直径を10分の1にすると、粒子数を100倍にして同じ値を保ちます。

設定 Nε² Nε³
N=10⁶、ε=10⁻³ 1 10⁻³
N=10⁸、ε=10⁻⁴ 1 10⁻⁴

体積1の箱で球が占める割合は、右列のπ/6倍です。粒子が増えても、その総体積は小さくなります。したがってこれは希薄気体の極限であり、ぎっしり詰まった液体の模型をそのまま扱うものではありません。この数値は考え方を示す例で、実験値や近似誤差の保証ではありません。

次の流体極限では衝突の尺度も変え、多数の衝突を経た集団を見ます。極限の順序、時間と空間の尺度、初期状態の条件が重要です。非圧縮性ナビエ・ストークス・フーリエ系の導出では、大域的な平衡に近い設定などが使われます。

時間反転と、集団を表す情報の違い

完全な粒子のリストと、一粒子の位置・速度の分布は異なる情報です。分布だけでは、各粒子がどの衝突履歴や相関を持つかをすべて復元できません。初期状態の仮定と極限の取り方も含めて、有効方程式に残る情報を調べます。

簡単な例として、等質量の2粒子の速度が+1と−1の場合も、両方0の場合も、平均速度は0です。しかし質量を各1とすると、運動エネルギーの合計は前者が1、後者が0です。平均一つでは元の集団を区別できません。ボルツマン方程式は平均より詳しい速度分布を扱いますが、それでも粒子間の相関は別の情報です。

可逆な式を書き換えただけで不可逆性が生まれたのではありません。また、コーヒーとミルクの混合は入口の比喩であり、論文の希薄硬球気体そのものではありません。今回の結果が、宇宙の初期エントロピーが低かった理由や「時間」全体の謎まで解決したと読むのも行き過ぎです。

公開論文の主張と、適用できる範囲

2026年9月16日に確認したarXivでは、対象論文は2025年3月3日公開のv1として掲載されています。ここでは公開論文の内容を紹介し、確認できていない査読完了や学界全体の評価を断定しません。

数学的な結果は、定理の仮定と一緒に読む必要があります。硬球の弾性衝突と周期境界という模型は、実際の容器の壁、化学反応、分子間の複雑な力、量子効果のすべてを含みません。別の系に適用するには、それらの違いを検討します。

条件を明示することは、研究の価値を否定することではありません。ある模型のもとで理論同士がつながると厳密に示すことと、その結果をあらゆる自然現象へ一般化することは別の仕事です。

流体方程式の導出と、解の滑らかさは別問題

粒子の模型から流体方程式が現れることと、その方程式の解があらゆる初期条件で滑らかに存在し続けることは異なる主張です。前者の導出で、滑らかな流体解が存在する時間区間を仮定することもあります。

したがって、この研究をナビエ・ストークス方程式の存在と滑らかさに関するミレニアム問題の解決と読み替えることはできません。また、方程式を導く定理があっても、任意の実験に対するシミュレーションの誤差がすぐ分かるわけではありません。粒子数、希薄さ、観測時間、境界条件を個別に照合する必要があります。

原論文で確認したい三つの点

まず対象が硬球の弾性衝突であること、次にNとεの関係、最後に時間区間と解の正則性の条件を確認すると、「導出」の意味が具体的になります。圧縮性オイラーと非圧縮性ナビエ・ストークス・フーリエ系では、同じ流体という言葉でも条件が違います。

この研究の価値は、粒子・分布・流体という三つの記述を、条件を明示した数学的な推論で結ぶ点にあります。「時間はなぜ戻らないか」という日常的な疑問を入口にしつつ、どの模型について何が示されたかを読むと、見出しだけでは分からない進歩を理解できます。

参考資料

タイトルとURLをコピーしました