[论文解读] Meromorphic traveling wave solutions of the Kuramoto-Sivashinsky equation

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

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

一句话总结

本文利用Nevanlinna理论证明，Kuramoto-Sivashinsky方程的行波ODE的所有亚纯解要么是椭圆函数，要么是有理函数，要么是指数型函数（具体为tan(kz)的有理函数）。研究确立了除Kuramoto、Tsuzuki和Kudryashov先前发现的解之外，不存在其他亚纯解，并通过Nevanlinna理论和洛朗级数展开的唯一性，确认了该唯一性是识别此类解的关键工具。

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方程行波解所满足的ODE的所有亚纯解。
• 确立仅存在已知的显式解（即椭圆型、有理型或指数型，具体为tan(kz)的有理函数）这一事实，且不存在其他解。
• 应用Nevanlinna理论，对具有形式洛朗级数展开唯一性的非线性ODE的亚纯解进行分类。
• 确认仅存在文献中已知的亚纯解，排除具有更复杂奇点的解。
• 展示该方法对其他具有类似形式洛朗级数唯一性的非线性ODE具有普遍适用性。

提出的方法

• 将Nevanlinna理论应用于分析ODE $\nu w^{\prime\prime\prime}+bw^{\prime\prime}+\mu w^{\prime}+w^{2}/2+A=0$ 的亚纯解的增长性与值分布。
• 利用在零点处具有极点的正式洛朗级数展开的唯一性——具体为 $w(z) = 120\nu z^{-3} - 15b z^{-2} + \cdots$——来限制可能的解类型。
• 运用对数导数引理及Nevanlinna特征函数 $T(r,f)$ 的性质，比较 $w$ 与 $L(w) = w^2 - 2A$ 的增长速率。
• 根据极点数量区分情况：极点有限意味着有理型，而极点无限则通过Nevanlinna理论分类为椭圆型或指数型。
• 依赖于具有有限个极点的亚纯函数必满足 $T(r,w) = O(\log r)$，从而推出其有理型。
• 利用具有代数加法定理的函数分类（Weierstrass类 $W$）得出结论：所有亚纯解必为有理型、椭圆型或指数型。

实验结果

研究问题

• RQ1 是否存在Kuramoto-Sivashinsky ODE的亚纯解，超出文献中已知的解？
• RQ2 哪些类型的亚纯函数（有理型、椭圆型、指数型）可满足Kuramoto-Sivashinsky方程的行波ODE？
• RQ3 Nevanlinna理论能否用于对具有唯一形式洛朗级数展开的非线性ODE的所有亚纯解进行分类？
• RQ4 在何种参数条件下，椭圆型或指数型解存在？
• RQ5 是否存在具有非极点奇点（如本性奇点或分支点）的解？若存在，其条件为何？

主要发现

• ODE $\nu w^{\prime\prime\prime}+bw^{\prime\prime}+\mu w^{\prime}+w^{2}/2+A=0$ 的所有亚纯解均属于Weierstrass类 $W$，即为有理函数、椭圆函数或 $\exp(az)$ 的有理函数。
• 当且仅当 $b^2 = 16\mu\nu$ 时存在椭圆解，其阶为3，每个周期平行四边形内含一个三重极点。
• 指数解的形式为 $P(\tan(kz))$，其中 $P$ 为次数不超过3的多项式，且 $k \in \mathbb{C}$。
• 非平凡有理解仅在 $b = \mu = A = 0$ 时存在，其表达式为 $w(z) = 120\nu (z - z_0)^{-3}$。
• 除上述三类解外，不存在其他亚纯解；其余解必具有非极点奇点，如分支点或本性孤立奇点。
• 在极点处的形式洛朗级数展开的唯一性是实现分类的关键性质，且该方法适用于具有类似性质的广泛非线性ODE类。