ac=bdbacklund变换中的应用及偏微分方程解的完备性.pdfVIP

摘 要 本文根据数学机械化的思想，在导师张鸿庆教授“AC=BD”模式的指导 下，以源于物理、力学等领域中的非线性问题所对应的非线性偏微分代数方程 (组)为研究对象，研究了它们的一些问题，如精确解、Backlund变换以及 解的完备性等． 第一章介绍了数学机械化的思想、应用、历史与发展情况以及非线性演化 方程解的构造性方法，同时介绍了一些关于该学科领域的国内外学者所取得 的成果． 第二章以“AC=BD”模式为指导，考虑了非线性偏微分方程(组)的精 确解的构造．给出了“AC=BD”模式的基本概念及理论初步，C、D算子 的构造方法以及C-D可积系统理论，介绍了Reid将线性偏微分方程化为标准 型的方法． 一 第三章运用数学机械化的思想，将“AC=BD”模式应用到Bacl【lund变 换中．给出了显式c—D对、隐式C．D对及Backlund变换的基本概念，并分别 给出了求自，Baclclund变换的算法及例子． 第四章介绍了吴微分特征列及伪带余除法的理论，讨论了线性偏微分代 数方程组的解(局部)的完备性问题． 关键词：数学机械化；吴方法；特征集；C—D对；偏微分方程；精确解 Backlund变换；解的完备性 Abstract Inthis theideasofthemathematics dissertation，by applying mechanization， ofthe modelof theinstructionAC=BD Professor under Zhang non- Hongqing，the linear differential or or equation partial algebraic equations(PDAEPDAEs)related which from et tosomenonlinear origin alaxe topics physics，mechanicsstudied，in- exact ofthesolutions transformation，the cludingsolutions，Backlund compatibility andSOon． to the 1isdevoted anddeveN Chapter investigatingidea，application，history ofthemathematicsmechanizationandtheconstructionofthesolutionsof opment nonlineardifferential achievementson partial equation(NPDE)．Inaddition，some andabroadare the domestic SUbject presented． 2considerstheconstructionofexactsol