[论文解读] The algebro-geometric solutions for the modified Camassa-Holm hierarchy

Yu Hou, Engui Fan+1 more|arXiv (Cornell University)|May 28, 2012

Nonlinear Waves and Solitons参考文献 31被引用 5

一句话总结

本文通过利用双周期曲线、Baker-Akhiezer函数、亚纯函数以及Dubrovin型方程，为整个修正Camassa-Holm（MCH）族的代数几何解建立了显式的theta函数表示。通过在有限亏格曲线上应用多项式递归形式化和迹公式，作者推导出MCH族势函数及相关量的显式、封闭形式解，将已知的Camassa-Holm方程结果推广至其修正形式。

ABSTRACT

This paper is dedicated to provide theta function representation of algebro-geometric solutions and related crucial quantities for the modified Camassa-Holm (MCH) hierarchy through %and studying a algebro-geometric initial value problem. Our main tools include the polynomial recursive formalism to derive the MCH hierarchy, the hyperelliptic curve with finite number of genus, the Baker-Akhiezer functions, the meromorphic function, the Dubrovin-type equations for auxiliary divisors, and the associated trace formulas. With the help of these tools, the explicit representations of the Baker-Ahhiezer functions, the meromorphic function, and the algebro-geometric solutions are obtained for the entire MCH hierarchy.

研究动机与目标

• 为构建整个修正Camassa-Holm（MCH）族的代数几何解，提出系统性框架。
• 将多项式递归形式化推广至MCH族及其Lax对的推导。
• 为MCH族中的Baker-Akhiezer函数、亚纯函数及势函数建立theta函数表示。
• 求解代数几何曲线上静止与时间依赖的MCH方程的初值问题。
• 将迹公式与Dubrovin型方程推广至时间依赖的MCH族。

提出的方法

• 采用多项式递归形式化生成MCH族及其相关Lax对。
• 引入与Lax矩阵$V_n$的特征多项式相关的亏格为$n$的双周期曲线$\mathcal{K}_n$。
• 利用曲线上Baker-Akhiezer函数与亚纯函数，推导显式表示。
• 推导辅助除子的Dubrovin型方程，并为该族建立迹公式。
• 通过引入独立的时间参数$t_r$，将静止结果推广至时间依赖情形，并分析演化方程。
• 利用theta函数以封闭形式表达Baker-Akhiezer函数、亚纯函数及势函数$u$。

实验结果

研究问题

• RQ1 如何系统性地构造整个修正Camassa-Holm族的代数几何解？
• RQ2 在有限亏格双周期曲线上，MCH族的Baker-Akhiezer函数与亚纯函数的显式theta函数表示是什么？
• RQ3 Dubrovin型方程与迹公式如何从静止情形推广至时间依赖的MCH族？
• RQ4 多项式递归形式化在生成MCH族及其Lax对中起到什么作用？
• RQ5 如何求解代数几何曲线上MCH系统的初值问题？

主要发现

• 本文为双周期曲线上亏格为$n$的整个MCH族的Baker-Akhiezer函数、亚纯函数及势函数$u$提供了显式的theta函数表示。
• 静止MCH方程被分解为辅助除子的Dubrovin型方程组，从而可推导出迹公式。
• 通过引入独立时间参数$t_r$，对静止解进行演化，构建了时间依赖的MCH族，且为所有相关量导出了自洽的演化方程。
• 通过恒等式$F_{n,t_r} = 2\widetilde{F}_r F_{n,x} - 2F_n \widetilde{F}_{r,x}$验证了零曲率条件，确认与族的一致性。
• 通过推导$zG_{n,t_r}(z) = F_n(z)\widetilde{H}_r(z) - H_n(z)\widetilde{F}_r(z)$及其相关演化方程，将结果推广至时间依赖情形。
• 整个框架在雅可比theta函数层面上得到验证，所有解均以$u$及除子点$\{\mu_j\}_{j=1}^n$或$\{\nu_j\}_{j=1}^n$表示。