「金魚方程式」を無限個の粒子に拡張する試み:多項式から全関数へ移す難しさ
この論文は、いわゆる「金魚(goldfish)方程式」と呼ばれる美しい可解な力学系を、粒子数を無限にした場合にどう扱えるかを探ったものです。元の金魚方程式は任意の整数NについてN個の複素変数 zj(t) が従う非線形常微分方程式系で、手法として多項式の係数と根(零点)との変換を使うと自由運動に還元でき、簡単に解けます。本稿はこの「多項式→根」の対応を、多項式の代わりに全複素平面で定義された「全関数(entire function)」に拡張できるかを調べます。全関数とは特異点を持たない一様に微分可能な関数です。著者は別解としての非標準解析(non-standard analysis)も候補として挙げていますが、それは将来の課題に残しています。 研究で行ったことは次の通りです。まず多項式の場合の既知の仕組みを全関数に写すため、正規化 p(0)=1、q(0)=0 を課して Φ(z,t)=p(z)+t q(z) を考えます。p と q を零点の無限積で表せる「成長率が小さい(オーダー ρ<1)」全関数に制限すると、ハダマールの表示により多項式と非常に似た無限積表現が得られます。この状況下で、Φ の零点 zk(t) を定義し、有限次元の近似(p と q を最初の N 個の零点だけ使ってつくる多項式 pN,qN)を取り、N→∞ とすることで零点列が収束する様子を調べます。有限 N の場合は零点が金魚方程式を満たすので、その極限が無限個の場合にも相応する方程式を満たすかを論じています。 なぜ重要か。有限個の粒子で「完全に求められる」系を無限個に拡張できれば、可解系の理解が深まります。物理や数学で無限自由度系を考えるとき、有限系の直感や解法が使えれば解析上の強い道具になります。ここでは、全関数のクラス(特にオーダー ρ<1)を用いることで、多項式の場合に見られた「多項式の係数と零点の対応」をある程度持ち込めることを示唆しています。著者は、零点が時間について解析的に動くような(除去子や重根を避ける)十分な正則性条件のもとでは、無限個の零点列が有限の場合と同様の「無限版金魚方程式」を満たすことを示そうとしています。 しかし重要な注意点と不確実性も多く残ります。まず「次数」に相当する概念が無限個の零点にはないため、初期条件(零点の初期位置と初期速度)から p と q を一意に復元するための補間問題が難しくなります。全ての値を無限個の点で合わせる全関数の存在や一意性は自明ではありません。また、零点が互いに近づくと暗黙に使ってきた暗黙の微分論(陰関数定理を使った時間解析)は適用できなくなります。実際の具体例として、Φ(z,t)=cos(√z)+t[1−cos(2√z)] のような組合せでは、t→0 のときに一部の零点が無限大へ発散し、初期の零点とまったく関係のない新たな零点が現れます。これにより「ある零点列が時間連続で初期値に繋がる」という常識が崩れます。さらに、無限個の零点の二階時間微分には無限和が現れ、その近似が有限近似からうまく極限できるかは簡単には保証されません。論文ではこれらの問題を避けるために、零点列がある複素領域で解析的に続くことや、二重根が生じないことなどの仮定を置いて議論を進めています。 結論として、著者は全関数(特に成長の小さいもの)を対象にして多項式で働く手法を延長する道筋を示しました。しかし多くの技術的仮定と未解決の問題が残ります。補間問題、零点の衝突や発散、無限和の収束などの難点が本質的に残るため、全般的な一般化は容易ではありません。論文は具体的な反例や回避条件を示しつつ、正則性を仮定した場合には有限次元からの極限で期待される関係を得られる可能性を示しており、さらなる研究、とくに別手法として示された非標準解析の導入が今後の方向であると述べています。