检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]中国科学院研究生院,北京100049 [2]中国科学院数学机械化重点实验室,北京100080
出 处:《系统科学与数学》2006年第4期440-455,共16页Journal of Systems Science and Mathematical Sciences
基 金:国家863项目(2002AA103061);中科院研究生院科研启动基金(KYQD200502)资助课题
摘 要:基于Ritt-Wu特征集方法和Riquier-Janet理论,给出一种将线性微分方程组化成简单标准形式的有效算法.该算法通过消去冗余和添加可积条件获得线性微分方程组的完全可积系统(有形式幂级数解)或不相容判定.该算法不仅适用于常系数的线性偏微分方程组,而且对于变系数(以函数为系数)仍然有效.作者还给出了完全可积系统判定定理及其严格证明.Based on the Ritt-Wu's characteristic set method and Riquier-Janet theory, an algorithm to reduce the linear PDE system to a normal form is presented. With this algorithm, we get completely integrable system of linear PDE system by removing redundant terms and adding new integrability conditions. The theorem determining whether a system is completely integrable is given in the paper, and its proof is provided as well. Our algorithm is applicable not only to the linear PDEs with constant coefficients but also to the general case.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.46