论非线性发展方程求解中辅助方程法的历史演进

摘要

1834年8月，英国科学家罗素发现了孤立波自然现象。1895年，荷兰阿姆斯特丹大学的数学家德弗里斯(G.de Vries)在导师柯特维格(D.J.Korteweg)的指导下，研究单方向运动的浅水波时，建立了描述罗素孤立波现象的数学模型KdV方程，从理论上肯定了孤立波解的存在性。1955年，美国物理学家费米(Enrico Fermi)，帕斯塔(John Pasta)和犹拉姆(Stan Ulam)提出的著名的FPU问题，对于发现孤立子提供了第一个实验依据．1965年，美围Princeton大学应用数学家扎布斯基(N.J.Zabusky)和实验室的克鲁斯卡尔(M.D．Kruskal)发现了FPU问题中弦的位移满足KdV方程，而且他们通过计算机模拟重现了孤立波相互作用时表现出类此于粒子的性质，并由此提出“孤立子”的概念。孤立子概念的提出证明了孤立波解的稳定性。最近50多年来，人们利用计算机技术，在非线性光学中发现光孤子并应用于通信领域取得了成功。生物学中发现了达维多夫(Davydov)孤立子，海洋学中发现了内孤立波．另外，在凝聚态物理、激光物理、超导物理、经济学、人口问题和医学等诸多科学领域中相继发现了光滑孤立子解、尖峰孤立子解和紧孤立子解等多种孤立子。孤立子理论的研究内容大敛分为以下两类：⑴构造系统的求解方法：即构造和发展求解非线性方程的种系统的方法．这里指的非线性方程包括非线性偏微分方程，非线性常微分方程，非线性积分微分方程和非线性差分微分方程。对于许多非线性发展方程，已经有了多种有效的求解方法，但是没有一种通用的方法。⑵解释解的性质：研究解释可积方程的代数和几何的一系列美妙的性质．这里所说的可积方程是能够转化成线性方程的非线性方程对于研究解的性质方面一般有如下三个情况．第一种情况：当难以获得显示精确解时，分析研究非线性发展方程的适定性问题;第二种情况：利用计算数学的理论知识和计算机，对解进行模拟分析研究；第三种情况：利用试探法和构造变换法等数学技巧，获得非线性发展方程的精确解。虽然以上三种研究方法的角度不同，但是目的都是解释解的变化规律。数学史研究数学概念、数学方法和数学思想的起源与发展，以及与社会政治、经济和一般的文化的联系.1974年，吴文俊开始研究中国数学史．他在“古证复原”原则下，利用“反辉格”与“中西方数学对比”相结合的综合性方法来研究中国传统数学，揭开了中国数学的构造性和机械化性两个特点．在此基础上与计算机技术相结合发明了著名的“吴消元法”．吴文俊的工作成就是“古为今用”的典范.他提出的“新方法论”对于数学史和数学研究工作来说具有指导性和启发性作用。构造非线性发展方程的精确解是孤立子理论的重要研究课题之一．试探函数法与辅助方程法在构造非线性发展方程精确解领域发挥了非常重要的作用，已经获得了许多新成果。
　　 本文从“吴消元法”的发明得到启示，利用“新方法论”对2009年以前的辅助方程法和试探函数法有关的大量文献进行认真比较和仔细分析研究，获得了这两种方法的构造性和机械化性．在第四章中总结了试探函数法的构造性和机械化性两大特点．在此基础上，提出了新的试探函数法，构造了非线性连续（离散）发展方程新的精确解。在第五章中首先通过对Riccati方程法等辅助方程法有关的大量文献进行研究，梳理了辅助方程法的思想基础和来源问题，总结了辅助方程法的四个应用步骤体现了该方法的构造性和机械化性两大特点．在此基础上，初步发挥辅助方程法的两大特点，提出了三角函数型辅助方程法与双曲函数型辅助方程法等新的方法，构造了非线性发展方程的新精确解：⑴把非线性发展方程转化为非线性常微分方程的变换具有构造性；⑵辅助方程与非线性常微分方程的形式解具有构造性；⑶非线性方程组的求解问题具有机械化性；⑷非线性发展方程解的验证具有机械化性。理论上说：《非线性发展方程存在无穷多个解》。但是，辅助方程法有关的诸多博士（硕士）学位论文以及相关的文献只获得了有限多个精确解．木文为了获得非线性发展方程的无穷序列精确解，挖掘辅助方程法的两大特点的含义获得了Riccati方程、第一种椭圆辅助方程、第二种椭圆辅助方程等几种常用辅助方程的自B(a)cklund变换、拟B(a)cklund变换和解的非线性叠加公式，构造了连续（离散）和变系数（常系数）非线性发展方程的多种类型的无穷序列新精确解。①单函数型无穷序列精确解。就是Jacobi椭圆函数、双曲函数、三角函数和有理函数单独构成的无穷序列新精确解．这里包括无穷序列光滑孤立波解、无穷序列尖峰孤立波解和无穷序列紧孤立子解．木文不仅获得了K(m，n)方程、Degasperis-Procesi方程和CH方程的无穷序列尖峰孤立波解和无穷序列紧孤立子解，而且其他的非线性发展方程中也获得了此类精确解。②复合函数型无穷序列精确解．就是Jacobi椭圆函数、双曲函数、三角函数和有理函数通过几种形式复合而成的无穷序列精确解．这里包括光滑孤立波解、尖峰孤立波解和紧孤立子解通过几种形式复合而成的无穷序列新精确解。

目录

文摘

英文文摘

第一章 绪论

1.1 研究数学史的新方法论

1.2 吴方法和吴消元法的发明

1.3 吴消元法与非线性发展方程的求解方法

1.4 本文的主要工作

第二章 概述吴消元法的发明历史

2.1 曲折的数学之路（1919年-1945年）

2.2 吴文俊与拓扑学（1945年-1958年）

2.3 研究“对策论”的中国第一入（1958年-1974年）

2.4 吴文俊与研究数学史的新方法论（1974年-）

2.5 简单回顾发明计算机的历史

2.6 简单回顾西方数学机械化思想的发展历史

2.7 吴文俊与数学机械化纲领（1976年-）

第三章 简述建立孤子方程求解方法历史与孤立子理论的研究意义

3.1 简单回顾孤立子理论建立历史上的儿件大事

3.2 概述非线性发展方程求解方法发展历史(1967年-现在)

3.3 孤立子理论的研究意义

第四章 试探函数法的两大特点与非线性差分微分方程的新精确解

4.1 试探函数法的两大特点

4.2 试探函数法的扩展应用

第五章 辅助方程法的发展历史研究

5.1 “辅助方程法”思想

5.2 Riccati方程法与非线性发展方程的精确解

5.3 辅助方程法的思想基础与来源

5.4 辅助方程法两大特点与非线性发展方程的新精确解

第六章 辅助方程法的两大特点与非线性发展方程的无穷序列新精确解

6.1 辅助方程法两大特点的进-步研究

6.2 Riccati方程法的新应用

6.3 第二种椭圆辅助方程法的新应用

6.4 第二种椭圆辅助方程与Riccati方程相结合的方法与应用

6.5 三角函数型辅助方程法与双曲函数型辅助方程法的新应用

6.6 几种辅助方程的Backlund变换及其应用

6.7 第一种椭圆辅助方程与非线性发展方程的新类型无穷序列精确解

6.8 辅助方程法的发展阶段

结束语

参考文献

攻读博士学位期间获得的研究成果

致谢