[論文レビュー] Meromorphic traveling wave solutions of the Kuramoto-Sivashinsky equation

Alexandre Erëmenko|arXiv (Cornell University)|Apr 25, 2005

Nonlinear Waves and Solitons参考文献 12被引用数 43

ひとこと要約

この論文はネヴァンリンナ理論を用いて、Kuramoto-Sivashinsky方程式の移動波解を記述する常微分方程式のすべてのメラモーフィック解が、楕円関数、有理型関数、または指数型関数（具体的には tan(kz) の有理型関数）であることを証明する。Kuramoto, Tsuzuki, Kudryashov が以前に発見した解以外に、他のメラモーフィック解は存在しないことが示され、形式的ローラン級数展開の一意性が、このような解を同定するための主要な道具であることが確認される。

ABSTRACT

We determine all cases when there exists a meromorphic solution of the third order ODE describing traveling waves solutions of the Kuramoto-Sivashinsky equation. It turns out that there are no other meromorphic solutions besides those explicit solutions found by Kuramoto and Kudryashov. The general method used in this paper, based on Nevanlinna theory, is applicable to finding all meromorphic solutions of a wide class of non-linear ODE. Keywords: Kuramoto and Sivashinsky equation, meromorphic functions, elliptic functions, Nevanlinna theory.

研究の動機と目的

• Kuramoto-Sivashinsky方程式の移動波解を記述する常微分方程式のすべてのメラモーフィック解を特定すること。
• 既知の明示的解（楕円的、有理的、または指数的：tan(kz) の有理型関数）のみが存在し、それ以外の解は存在しないことを確立すること。
• 非線形常微分方程式のメラモーフィック解を分類するため、ネヴァンリンナ理論を、形式的ローラン級数展開の一意性を有するものに適用すること。
• 文献で以前に発見された解以外に、メラモーフィック解は存在しないこと、特により複雑な特異性を持つ解は含まれないことを確認すること。
• この手法が、類似する形式的ローラン級数の一意性を持つ他の非線形常微分方程式にも一般に適用可能であることを示すこと。

提案手法

• 常微分方程式 $\nu w^{\prime\prime\prime}+bw^{\prime\prime}+\mu w^{\prime}+w^{2}/2+A=0$ のメラモーフィック解の成長および値分布を、ネヴァンリンナ理論を用いて分析する。
• 特異点 z=0 における形式的ローラン級数展開（特に $w(z) = 120\nu z^{-3} - 15b z^{-2} + \cdots$）の一意性を用いて、解の型の候補を制限する。
• 対数導関数の補題およびネヴァンリンナ特性 $T(r,f)$ の性質を用い、$w$ と $L(w) = w^2 - 2A$ の成長率を比較する。
• 極の数に基づいて場合分けを行う：極が有限個の場合は有理型関数、無限個の場合はネヴァンリンナ理論を用いて楕円的または指数的型に分類する。
• 有限個の極を持つメラモーフィック関数は $T(r,w) = O(\log r)$ を満たすため、有理型関数であることを根拠にする。
• 代数的加法定理を満たす関数（ヴァイエルシュトラスクラス $W$）の分類を用い、すべてのメラモーフィック解が有理型、楕円的、または指数的関数に限られることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 文献で既に知られている解以外に、Kuramoto-Sivashinsky方程式の常微分方程式のメラモーフィック解は存在するか？
• RQ2 移動波解を満たすメラモーフィック関数（有理型、楕円的、指数的）の種類は何か？
• RQ3 ネヴァンリンナ理論を用いて、形式的ローラン級数展開が一意である非線形常微分方程式のすべてのメラモーフィック解を分類できるか？
• RQ4 パラメータのどのような条件下で楕円的または指数的解が存在するか？
• RQ5 分岐点や本質的特異点などの非極特異性を持つ解は存在するか？もしあるならば、どのような条件下で存在するか？

主な発見

• 常微分方程式 $\nu w^{\prime\prime\prime}+bw^{\prime\prime}+\mu w^{\prime}+w^{2}/2+A=0$ のすべてのメラモーフィック解は、ヴァイエルシュトラスクラス $W$ に属し、これは有理型関数、楕円関数、または $\exp(az)$ の有理型関数であることを意味する。
• 楕円的解は $b^2 = 16\mu\nu$ のときにかつそのときにのみ存在し、周期平行四辺形ごとに1つの三重極を持つ3次型の解である。
• 指数的解は $P(\tan(kz))$ の形をとり、ここで $P$ は次数が3以下である多項式であり、$k \in \mathbb{C}$ である。
• 非定数の有理型解は $b = \mu = A = 0$ のときにのみ存在し、$w(z) = 120\nu (z - z_0)^{-3}$ で与えられる。
• 上記の3つのクラス以外に、他のメラモーフィック解は存在しない。それ以外の解は、分岐点や本質的孤立特異点などの非極特異性を持つことになる。
• ある極における形式的ローラン級数展開の一意性は、分類を可能にする重要な性質であり、この手法は類似の性質を持つ広範な非線形常微分方程式のクラスに一般化可能である。