MathLabs

未解決問題、微分方程式と力学系, 幾何学、1900年に提起

ヒルベルトの第16問題

未解決ヒルベルト #16スメイル #13

この問題は2つの部分からなる。(1) RP2\mathbb{R}\mathrm{P}^2 内の次数 nn の非特異実代数曲線の連結成分(卵形線)がとりうる相対的配置(および RP3\mathbb{R}\mathrm{P}^3 内の実代数曲面の配置)を決定せよ。(2) P,QP, Q を高々 nn 次の実多項式とする平面多項式微分方程式系 x˙=P(x,y)\dot{x} = P(x,y), y˙=Q(x,y)\dot{y} = Q(x,y) に対して、リミットサイクル(孤立周期軌道)の個数に一様な有限の上界 H(n)H(n) が存在するかを判定し、それらのとりうる相対的配置を記述せよ。

研究の最前線 2026年時点

2026年現在、ヒルベルトの第16問題は未解決のままである。力学系に関する後半部分(スメイルの第13問題でもある)では、個別の有限性問題——単一の多項式ベクトル場 x˙=P(x,y)\dot{x}=P(x,y), y˙=Q(x,y)\dot{y}=Q(x,y) が無限個のリミットサイクルを持ちうるか——はユリ・イリヤシェンコ(1991年)とジャン・エカル(1992年)によって否定的に解決された。彼らはリミットサイクルがポリサイクルに集積しえないことを証明することで、1923年のデュラックの論文に1981年に見つかった欠陥を克服した。しかし、次数 nn のすべての多項式系にわたるリミットサイクル数の上限である一様上界 H(n)H(n) は、いかなる n≥2n \ge 2 に対しても有限であるかどうかすら分かっていない。2次系(n=2n=2)でさえ、史松齢(1980年)が4つのリミットサイクルを持つ例を構成し H(2)=4H(2)=4 と広く予想されているものの、H(2)<∞H(2)<\infty の証明をポアンカレ球面上の121個の退化グラフィックの有限巡回性の検証へと帰着させたデュモルティエ–ルサリー–ルソーのプログラムはまだ完結していない。一般の nn に対する下界は少なくとも H(n)=Ω(n2log⁡n)H(n) = \Omega(n^2 \log n) のオーダーで増大する(クリストファー–ロイド、1995年)。実代数幾何に関する前半部分では、非特異平面曲線のイソトピー配置は次数 n≤7n \le 7 まで完全に分類されているが、次数 88 以上は未解決である。

既知の最良の結果

  • 個々の平面多項式ベクトル場が持つリミットサイクルは有限個である(イリヤシェンコ、1991年;エカル、1992年)。
  • 2次系については H(2)≥4H(2) \ge 4 (史松齢、1980年)、一般の次数 nn については H(n)=Ω(n2log⁡n)H(n) = \Omega(n^2 \log n) (クリストファー–ロイド、1995年)が成り立つ一方、すべての n≥2n \ge 2 に対して H(n)<∞H(n) < \infty かどうかは未解決である。
  • 前半部分では、非特異実射影平面曲線の卵形線配置がアーノルド–ロフリン–ハルラモフの合同式とヴィロのパッチワーキング(1980年)によって次数 n≤7n \le 7 まで完全に分類されている。

使われた手法と限界

手法達成したこと限界
扇形正規化とリサージェント関数(イリヤシェンコ、エカル)複素領域での漸近級数やエカルのリサージェント超越級数を用いてポリサイクル近傍のデュラック回帰写像を解析し、その不動点が集積しえないことを証明して個別の有限性を解決する。非集積の議論は定性的で個々のベクトル場に依存しており、パラメータが分岐軌跡に近づくと退化するため、パラメータ空間全体にわたる一様上界 H(n)H(n) を与えない。
有限巡回性と退化グラフィックのブローアップ(デュモルティエ–ルサリー–ルソー)2次ベクトル場(n=2n = 2)のパラメータ空間をコンパクト化し、H(2)<∞H(2) < \infty の証明を、121個の特定の極限周期集合(グラフィック)がそれぞれ高々有限個のリミットサイクルしか分岐しないことを示す問題へと帰着させる。121個のうち最も退化したいくつかのグラフィックは反復ブローアップでも扱いきれておらず、次数 n≥3n \ge 3 では場合分けの数が組合せ論的に爆発する。

未解決の問い

  • 平面2次ベクトル場に対するヒルベルト数 H(2)H(2) は有限か、またそれは 4 に等しいか。
  • 次数 n=8n = 8 の非特異実平面曲線に対する卵形線のイソトピー配置の完全な分類はいかなるものか。

参考文献

  1. David Hilbert (1900). Mathematische Probleme
  2. Yulij S. Ilyashenko (1991). Finiteness theorems for limit cycles
  3. Jean Écalle (1992). Introduction aux fonctions analysables et preuve constructive de la conjecture de Dulac
  4. Yulij Ilyashenko (2002). Centennial history of Hilbert's 16th problem · DOI:10.1090/s0273-0979-02-00946-1