AF: Small: Symbolic Computation and Difference and Differential Equations

数学和物理学中许多有趣的函数都是由差分或微分方程定义的。理解它们的代数性质是使用这些函数来描述物理和数学现象的关键。研究者将开发算法来揭示这些属性。特别是，他将开发算法来确定在给定一组线性差分方程的解之间发生的代数和微分关系。此外，他将发展理论并给出算法来测量参数化线性微分方程解随参数变化的代数行为。最后，他提出了对待定偏微分方程组的分解问题进行研究。尽管这些问题在外观上是不同的，但我们将使用基于研究定义方程的潜在对称性的技术来解决这些问题。在过去，研究者为解决微分和差分方程的理论和算法的发展做出了贡献，特别是这些方程的伽罗瓦理论和以封闭形式求解它们的算法。本项目在一定程度上改进和扩展了这项工作，但超越了上面提到的更广泛的问题。本研究涉及线性差分和微分方程系统的代数行为的基础和计算问题。它使许多科学领域的研究人员能够理解这些方程解的定性行为的各个方面。研究人员将开发对数论学家、组合学家和分析师有用的算法。此外，研究者预计这些算法将成为Maple和Mathematica代码的基础，从而对工程师和其他科学家的教育和日常工作产生影响。该项目的关键组成部分是人力资源的开发，促进与其他科学领域的互动以及促进国际合作。研究者不仅将继续培养他的博士生，而且将与他的同事们在北卡罗来纳州立大学进一步发展一个项目，以培养学生在符号计算的广泛主题。他将资助一名博士后学者，让该学者参与这里提出的研究，并培养该学者的教学技能，使该学者融入科学界。他将继续并扩展他的工作，修改本科抽象代数课程，将符号计算作为核心主题。此外，他将继续为不同领域的学生和同事组织研讨会，向广泛的科学界传播符号计算的一般思想，特别是符号分析的思想。他将继续他最近与德国、法国和中国的研究人员的合作，并将让北卡罗来纳州立大学的研究生参与这些项目，使他们能够融入国际研究界。

Many of the functions of interest in mathematics and physics are defined by difference or differential equations. Understanding their algebraic properties is key to using these functions to describe physical and mathematical phenomena. The investigator will develop algorithms that will reveal these properties. In particular, he will develop algorithms to determine the algebraic and differential relations that occur among solutions of a given set of linear difference equations. In addition, he will develop theory and give algorithms to measure the algebraic behavior of solutions of parameterized linear differential equations as one varies the parameter. Finally, he proposes to attack the problem of factoring underdetermined systems of partial differential equations.Although disparate in appearance, these problems will be attacked using techniques based on studying the underlying symmetries of the defining equations. In the past, the investigator has contributed to the development of theory and algorithms to solve differential and difference equations, in particular to the Galois theories of these equations and algorithms to solve them in closed form. The present project in part refines and extends this work but goes beyond to attack the broader problems mentioned above.This research addresses foundational and computational issues concerning the algebraic behavior of systems of linear difference and differential equations. It allows researchers in many scientific fields to understand aspects of the qualitative behavior of solutions of these equations. The researcher will develop algorithms that that will be useful to number theorists, combinatorists and analysts. In addition, the investigator anticipates that these algorithms will form the foundation on which Maple and Mathematica code are based and so have an impact on the education and day-to-day work of engineers and other scientists.Key components of this project are the development of human resources, the fostering of interactions with other scientific fields and the advancement of international collaborations. The investigator will continue to not only train his Ph.D. students but to further develop with his colleagues a program at NC State University to train students in a broad range of topics in Symbolic Computation. He will sponsor a postdoctoral scholar, involving this scholar in the research proposed here as well as develop the scholar's teaching skills and integrate the scholar into the scientific community. He will continue and expand his work on revising the undergraduate Abstract Algebra curriculum to include Symbolic Computation as a core topic. In addition he will continue to organize workshops aimed at students and colleagues in diverse fields to disseminate to a broad scientific community the ideas of Symbolic Computation in general and Symbolic Analysis in particular. He will continue his recent collaborations with researchers in Germany, France and China and will involve graduate students from NC State University in these projects, allowing them to integrate themselves in the international research community.