“ac=b”理论和吴微分特征列及其应用.pdfVIP

中文摘要 摘要 随着计算机的发展和应用领域的不断扩大，符号计算在数学 领域中体现出了日益强大的生命力，本文就是以计算机代数为工 具，微分代数为理论背景，讨论了“AC=BD”理论及微分特征列 法的相关理论问题以及它们在微分方程组中的应用。 1978年，张鸿庆教授将代数消元和因式分解思想方法用于微 分方程组，成功地解决了一大类超定微分方程组的约化问题，并 提出解微分方程的“AC=BD”模式，近来这一理论又有了新的发 展，提出了c—D可积系统与c—D对的概念。本文的第一章就是 讨论这一理论及其应用。 1989年吴文俊院士提出了吴一微分特征列法，为微分几何定 理的机械化证明和自动推理的理论研究奠定了理论基础。本文的 第二章就是讨论吴微分特征列的一些基本的理论及其应用。 Reid标准型算法作为吴微分特征列的特例，在线性微分方程 组系统中发挥了极大的作用。本文最后一章就是以此为基础，讨 论吴方法在微分方程组的一些应用。 关键词：c—D可积系统，c—D对，吴微分特征列，Reid标准型， Rosenfeld．Grobner基， 英文摘要 Abstract Withthe ofthe andthe developmentcomputer ofit’Sapplied computationpresent expanding domain，symbol this the graduallypowerfulbioenergy．Inpaper,using asthetoolandthedifferentialasthe algebra aigebrabackgound， the of“AC=BD”andthedifferential wediscusstheory methodandtheir inthedifferential application equations． In1 Hsesthemethodof 978，professorZhanghongqing gebraic andfactorizationin differential and elimination equations a solve kindofthe oftheover successfullygreat reducingproblem differentiai themethodof determined equations．Hegives usedto “AC=BD”whichsolvethedifierential theorieshaveanew heforwardstheC．D this development，and andC—D discussthi