COHERENT, REGULAR AND SIMPLE SYSTEMS IN ZERO DECOMPOSITIONS OF PARTIAL DIFFERENTIAL SYSTEMS

作     者：LI Ziming(Institute Of Algorithms and Scientific Computing, German National Research Centerfor Information Technology, D-52754 Sankt Augustin, Germany)WANG Dongming(LEIBNIZ-IMAG, 46, Avenue Felix Viallet,38031 Grenoble Cedex, France) 

出 版 物：《Systems Science and Mathematical Sciences》 (系统科学与复杂性学报(英文版))

年 卷 期：1999年第12卷第S1期

页      面：43-60页

核心收录：

学科分类：07[理学] 070104[理学-应用数学] 0701[理学-数学] 

主　　题：Coherent set geometric theorem proving irreducible triangular system partial differential polynomial system regular system simple system triangular system zero decomposition. 

摘      要：This paper studies triangular differential systems arising from various decompositions of partial differential polynomial systems. In theoretical aspects, we emphasizeon translating differential problems into purely algebraic ones. Rosenfeld’s lemma is extended to a more general setting; relations between passivity and coherence are clarified;regular systems and simple systems are generalized and proposed, respectively. In algorithmic aspects, we review the Ritt-Wu and Seidenberg algorithms, and outline a methodfor decomposing a differential polynomial system into simple ones. Some applications arealso discussed.