水の流れは証明できない？流体方程式の未解決問題と経営判断

百万ドルの難問、いまだ未解決。

蛇口から流れる水、扇風機が起こす風、天気予報が予測する大気の動き――これらすべてを記述する基礎方程式が、実は数学的に「必ず解ける」とは証明されていません。この方程式は「ナビエ・ストークス方程式」と呼ばれ、19世紀半ばに導かれてから150年以上が経ちますが、「なめらかで矛盾のない解が常に存在するかどうか」という根本的な問いに、誰も答えを出せていないのです。

この問題は2000年にアメリカのクレイ数学研究所が選定した「ミレニアム懸賞問題」の一つで、証明できれば100万ドルの賞金が贈られます（クレイ数学研究所 公式サイト）。7つの問題のうち解決したのはポアンカレ予想のみで、ロシアの数学者グリゴリー・ペレルマンが2002年から2003年にかけて発表した論文によって証明されたとされています。ナビエ・ストークス方程式の問題は、いまも未解決のまま残っています。

なぜ150年間も解けないのか

難しさの正体は、方程式が持つ「非線形性」にあります。線形の方程式であれば、小さな原因は小さな結果しか生みません。足し算のように予測が積み上がります。ところがナビエ・ストークス方程式には、流速同士が掛け合わさる項が含まれています。これは「流れが流れ自身に影響を与える」という構造を意味し、ごくわずかな乱れが自己増幅し、予測不能なほど複雑なパターンへと変わりうることを示しています。

天気予報が数日先までしか当たらない理由も、突き詰めれば同じ構造から来ています。初期条件のわずかな誤差が、非線形の相互作用によって時間とともに指数関数的に拡大していきます。これはいわゆる「バタフライ効果」として知られる現象と地続きの性質であり、非線形性という同じ源から生じます。ただし、解の存在や滑らかさが証明されていないという問題と、カオス的な予測不能性は、厳密には別の論点です。前者は「そもそも矛盾のない解が常に存在するか」という数学的な保証の話であり、後者は「解が存在するとしても、わずかな誤差で未来予測がどこまで狂うか」という話です。両者は同じ非線形性から生まれる兄弟のような性質でありながら、証明すべき中身は異なります。

解が「滑らか」でない世界とは

数学者が問うているのは「解が存在するか」だけでなく「その解がなめらかであり続けるか」です。ここでいう「なめらかでない」とは、ある瞬間に流速が無限大に発散する、つまり方程式が破綻する可能性を指します。

現実の流体で言えば、乱流の中で渦がどんどん小さくなり、エネルギーがミクロなスケールに向かって際限なく集中していくような状況が、理論上は否定しきれていません。実際の水や空気ではそうした「爆発」は観測されませんが、方程式だけを見たときに、それを数学的に禁止する証明がまだ存在しないのです。つまり私たちは、現象としては起きないと経験的に知っていることを、理論としては保証できていないという、奇妙な状態に置かれています。

未解決でも実務は回る、その理由と限界

ここで安心していただきたいのは、証明がなくても実務は普通に回っているという事実です。天気予報も、自動車や建築物の風洞シミュレーションも、方程式を近似的に数値で解く「数値流体力学（CFD）」という技術によって支えられており、これは日々実用に耐える精度を出しています。理論上の存在証明と、実務上の計算可能性は別問題であり、後者はすでに十分実用段階にあります。

ただし経営判断として押さえておきたい限界もあります。数値シミュレーションは有限の格子やタイムステップで近似計算を行うため、非線形性が強い領域（乱流の遷移点や極端な条件）では、計算結果が現実とずれるリスクが理論的に排除できません。AIを使った気象予測や需要予測でも同様で、モデルが学習したパターンの外側、つまり「これまで起きたことのない状況」に対しては、予測の信頼度が急激に下がる可能性があります。これは方程式の非線形性という根本原因と、地続きの話です。

中小企業が押さえるべき視点

製造業でCAEによる強度解析や熱流体解析を活用している企業、物流や小売でAIによる需要予測を導入している企業にとって、今回の話は「ツールを疑え」という単純な話ではありません。むしろ「シミュレーション結果は近似であり、絶対ではない」という前提を組織で共有することが実務上の防御線になります。

具体的には、重要な意思決定の前に複数の条件でシミュレーションを回して結果のばらつきを確認する、実測データとの照合を定期的に行う、極端な条件下での予測は参考値にとどめて現場の実験や検証を省略しないといった運用が有効です。数学の未解決問題は遠い話に見えますが、その核心にある「非線形性ゆえの予測の不確かさ」は、皆さまが日々向き合うシミュレーションやAI予測の中に、確かに息づいています。技術を過信せず、かといって恐れすぎず、検証というワンクッションを挟む姿勢こそが、この不確かな土台の上で健全に事業を進める鍵になります。